On Dynamics Related to a Class of Numeration Systems

 In this paper, we investigate the class of numeration systems and we study the associated dynamical systems, called odometers. It is shown that these odometers are measure-theoretically isomorphic to rank one transformations on the unit interval, constructed by a cutting-stacking method. Furthermore, a symbolic coding leads to isomorphic shift systems arising from substitutions. Some skew products of the odometers by cocycles related to the sum of digits are shown to be ergodic.     

Dimension Groups for Polynomial Odometers

Here we study a class of dynamical systems we call polynomial odometers. These are adic maps on regularly structured Bratteli diagrams and include the Pascal and Stirling adic maps as examples. We describe the dimension groups associated with these systems and use this to study spaces of invariant measures. For many, but not all, the space of invariant measures is affinely homeomorphic to the space of Borel probability measures on a closed interval in $\mathbb{R}$ , we call such polynomial odometers reasonable. We describe the possible isomorphisms between dimension groups for reasonable polynomial odometers, and use this to prove a version of a result of Giordano, Putnam and Skau for this situation. Namely, we show that there is an isomorphism between unital ordered groups associated with two reasonable polynomial odometers if and only if there is a special kind of orbit equivalence between the two.     

The isomorphism problem for some universal operator algebras

This paper addresses the isomorphism problem for the universal (non-self-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct systems are isomorphic. The proof makes use of the complex analytic structure of the character space, together with some recent results on subproduct systems. Restricting attention to commutative operator algebras defined by a radical ideal of relations yields strong resemblances with classical algebraic geometry. These commutative operator algebras turn out to be algebras of analytic functions on algebraic varieties. We prove a projective Nullstellensatz connecting closed ideals and their zero sets. Under some technical assumptions, we find that two such algebras are isomorphic as algebras if and only if they are similar, and we obtain a clear geometrical picture of when this happens. This result is obtained with tools from algebraic geometry, reproducing kernel Hilbert spaces, and some new complex-geometric rigidity results of independent interest. The C^?-envelopes of these algebras are also determined. The Banach-algebraic and the algebraic classification results are shown to hold for the wot-closures of these algebras as well.     

On Symmetric Schauder Bases in Non-Archimedean Fréchet Spaces

 It is proved that any infinite-dimensional non-archimedean Fréchet space with a symmetric basis is isomorphic to c ₀ or ?^ℕ. A similar result is shown for homogeneous bases. It is also proved that any infinite-dimensional nuclear non-archimedean Fréchet space with a subsymmetric basis is isomorphic to ?^ℕ. In fact, much stronger results are obtained. Received August 27, 2001; in revised form February 8, 2002     

Self-induced systems

A minimal Cantor system is said to be self-induced whenever it is conjugate to one of its induced systems. Substitution subshifts and some odometers are classical examples, and we show that these are the only examples in the equicontinuous or expansive case. Nevertheless, we exhibit a zero entropy self-induced system that is neither equicontinuous nor expansive. We also provide non-uniquely ergodic self-induced systems with infinite entropy. Moreover, we give a characterization of self-induced minimal Cantor systems in terms of substitutions on finite or infinite alphabets.     

Automorphism group and dimension of ordered sets

It is shown that a finite groupG is isomorphic to the automorphism group of a two-dimensional ordered set if and only if it is a generalized wreath product of symmetric groups over an ordered index set that is a dual tree. Furthermore, every finite abelian group is isomorphic to the full automorphism group of a three-dimensional ordered set. Also every finite group is isomorphic to the automorphism group of an ordered set that does not contain an induced crown with more than four elements.     

Webs, Lenard schemes, and the local geometry of bi-Hamiltonian Toda and Lax structures

We introduce a criterion that a given bi-Hamiltonian structure admits a local coordinate system where both brackets have constant coefficients. This criterion is applied to the bi-Hamiltonian open Toda lattice in a generic point, which is shown to be locally isomorphic to a Kronecker odd-dimensional pair of brackets with constant coefficients. This shows that the open Toda lattice cannot be locally represented as a product of two bi-Hamiltonian structures. Near, a generic point, the bi-Hamiltonian periodic Toda lattice is shown to be isomorphic to a product of two open Toda lattices (one of which is a (trivial) structure of dimension 1). While the above results might be obtained by more traditional methods, we use an approach based on general results on geometry of webs. This demonstrates the possibility of applying a geometric language to problems on bi-Hamiltonian integrable systems; such a possibility may be no less important than the particular results proved in this paper. Based on these geometric approaches, we conjecture that decompositions similar to the decomposition of the periodic Toda lattice exist in local geometry of the Volterra system, the complete Toda lattice, the multidimensional Euler top, and a regular bi-Hamiltonian Lie coalgebra. We also state general conjectures about the geometry of more general "homogeneous" finite-dimensional bi-Hamiltonian structures. The class of homogeneous structures is shown to coincide with the class of systems integrable by Lenard scheme. The bi-Hamiltonian structures which admit a non-degenerate Lax structure are shown to be locally isomorphic to the open Toda lattice.     

Shadowing, entropy and minimal subsystems

We consider non-wandering dynamical systems having the shadowing property, mainly in the presence of sensitivity or transitivity, and investigate how closely such systems resemble the shift dynamical system in the richness of various types of minimal subsystems. In our excavation, we do discover regularly recurrent points, sensitive almost 1-1 extensions of odometers, minimal systems with positive topological entropy, etc. We also show that transitive semi-distal systems with shadowing are in fact minimal equicontinuous systems (hence with zero entropy) and, in contrast to systems with shadowing, the entropy points do not have to be densely distributed in transitive systems.     

On the Algebra Generated by the Bergman Projection and a Shift Operator I

Let be a domain with smooth boundary and let α be a C ²- diffeomorphism on satisfying the Carleman condition .We denote by the C*-algebra generated by the Bergman projection of G, all multiplication operators aI and the operator where is the Jacobian of α. A symbol algebra of is determined and Fredholm conditions are given. We prove that the C*-algebra generated by the Bergman projection of the upper half-plane and the operator is isomorphic and isometric to . Submitted: February 11, 2001?Revised: January 27, 2002     

Strong inclusion orders between L-subsets and its applications in L-convex spaces

Abstract

In this paper, the concept of strong inclusion orders between L-subsets is introduced. As a tool, it is applied to the following aspects. Firstly, the notion of algebraic L-closure operators is proposed and the resulting category is shown to be isomorphic to the category of L-convex spaces (also called algebraic L-closure spaces). Secondly, restricted L-hull operators, as generalizations of restricted hull operators, are introduced and the resulting category is also proved to be isomorphic to the category of L-convex spaces. Finally, by using the properties of strong inclusion orders, it is shown that the category of convex spaces can be embedded in the category of stratified L-convex spaces as a reflective subcategory and the concrete form of the coreflective functor from the category of L-convex spaces to the category of stratified L-convex spaces is presented.     

The cohomology of the moduli space of controllable linear systems

In this paper we explicitly describe, by generators and relations, the cohomology ring of the manifold _n,m (F) of controllable linear systems having m inputs and state-space dimension n. It is shown that the cohomology ring of _n,m (F) is isomorphic to the invariant cohomology ring of a product of projective spaces. Estimates for the cup length of the cohomology ring are obtained.     

Classification of Cyclic Steiner Quadruple Systems

The problem of classifying cyclic Steiner quadruple systems (CSQSs) is considered. A computational approach shows that the number of isomorphism classes of such designs with orders 26 and 28 is 52,170 and 1,028,387, respectively. It is further shown that CSQSs of order 2p, where p is a prime, are isomorphic iff they are multiplier equivalent. Moreover, no CSQSs of order less than or equal to 38 are isomorphic but not multiplier equivalent.     

Non-representable distributive semilattices

We present two examples of distributive algebraic lattices which are not isomorphic to the congruence lattice of any lattice. The first such example was discovered by F. Wehrung in 2005. One of our examples is defined topologically, the other one involves majority algebras. In particular, we prove that the congruence lattice of the free majority algebra on (at least) ℵ₂ generators is not isomorphic to the congruence lattice of any lattice. Our method is a generalization of Wehrung’s approach, so that we are able to apply it to a larger class of distributive semilattices.     

A family of nonisomorphic Markov random fields

It was recently shown that there exists a family of ℤ² Markov random fields which areK but are not isomorphic to Bernoulli shifts [4]. In this paper we show that most distinct members of this family are not isomorphic. This implies that there is a two parameter family of ℤ² Markov random fields of the same entropy, no two of which are isomorphic.     

The Schwan/Artin coordinatization for nearfield planes

Given any translation planeU, one can define the nucleusN as the subset of trace-preserving mappings of the point set satisfying a special linearity condition.N is always a nearfield isomorphic to the right-nucleus of a coordinatizing (left-)quasifield. If the transitivity axiom (NT) is valid,N is planar and the plane is isomorphic to the nearfield plane overN. Finally it is shown that (NT) is equivalent to the usual (P, OQ)-transitivity condition for nearfield planes.     

On hermitian trace forms over hilbertian fields

Let k be a field of characteristic different from 2. Let be a finite separable extension with a {\it k}-linear involution . For every -symmetric element , we define a hermitian scaled trace form by . If , it is called a hermitian trace form. In the following, we show that every even-dimensional quadratic form over a hilbertian field, which is not isomorphic to the hyperbolic plane, is isomorphic to a hermitian scaled trace form. Then we give a characterization of Witt classes of hermitian trace forms over some hilbertian fields. Received August 3, 1999; in final form January 10, 2000 / Published online March 12, 2001     

Unfolding of a Quadratic Integrable System with a Homoclinic Loop

In this paper, we make a complete study of the unfolding of a quadratic integrable system with a homoclinic loop. Making a Poincaré transformation and using some new techniques to estimate the number of zeros of Abelian integrals, we obtain the complete bifurcation diagram and all phase portraits of systems corresponding to different regions in the parameter space. In particular, we prove that two is the maximal number of limit cycles bifurcation from the system under quadratic non-conservative perturbations. Received July 16, 1999, Revised March 15, 2001, Accepted May 25, 2001     

Optimizing Area and Perimeter of Convex Sets for Fixed Circumradius and Inradius

 In this paper two problems posed by Santaló are solved: we determine the planar convex sets which have maximum and minimum area or perimeter when the circumradius and the inradius are given, obtaining complete systems of inequalities for the cases (A, R, r) and (p, R, r). This work is supported in part by Dirección General de Investigación (MCYT) BFM2001-2871, and by OTKA grants No 31984 and 30012 Received October 15, 2001; revised January 29, 2002     

Hamiltonian connected hourglass free line graphs

Thomassen [Reflections on graph theory, J. Graph Theory 10 (1986) 309-324] conjectured that every 4-connected line graph is hamiltonian. An hourglass is a graph isomorphic to K₅-E(C₄), where C₄ is a cycle of length 4 in K₅. In Broersma et al. [On factors of 4-connected claw-free graphs, J. Graph Theory 37 (2001) 125-136], it is shown that every 4-connected line graph without an induced subgraph isomorphic to the hourglass is hamiltonian connected. In this note, we prove that every 3-connected, essentially 4-connected hourglass free line graph, is hamiltonian connected.