Dynamical Borel-Cantelli lemmas for gibbs measures

LetT: X→X be a deterministic dynamical system preserving a probability measure μ. A dynamical Borel-Cantelli lemma asserts that for certain sequences of subsetsA _n ⊃ X and μ-almost every pointx∈X the inclusionT ⁿ x∈A _n holds for infinitely manyn. We discuss here systems which are either symbolic (topological) Markov chain or Anosov diffeomorphisms preserving Gibbs measures. We find sufficient conditions on sequences of cylinders and rectangles, respectively, that ensure the dynamical Borel-Cantelli lemma. Partially supported by NSF grant DMS-9732728. Partially supported by NSF grant DMS-9704489.     

Degrees of finite-to-one factor maps

Iff: Σ _A → Σ _A is an endomorphism of an irreducible shift of finite type, andp is a rational prime which divides the degree off, thenp divides every non-leading coefficient of χ_A. We also give constraints on the possible degrees of finite-to-one factor maps between shifts of finite type.     

Finite phase transitions in countable abelian groups

Let A be an infinite set that generates a group G. The sphere S _A (r) is the set of elements of G for which the word length with respect to A is exactly r. We say G admits all finite transitions if for every r ≥ 2 and every finite symmetric subset W ì G\{e}{W \subset G{\setminus}\{e\}}, there exists an A with S _A (r) = W. In this paper we determine which countable abelian groups admit all finite transitions. We also show that \mathbbRⁿ{\mathbb{R}^n} and the finitary symmetric group on \mathbbN{\mathbb{N}} admit all finite transitions.     

Hyperinvariant subspaces for some <Emphasis Type="Italic">B</Emphasis>–circular operators

We show that if A is a Hilbert–space operator, then the set of all projections onto hyperinvariant subspaces of A, which is contained in the von Neumann algebra υN(A) that is generated by A, is independent of the representation of υ N(A), thought of as an abstract W^*–algebra. We modify a technique of Foias, Ko, Jung and Pearcy to get a method for finding nontrivial hyperinvariant subspaces of certain operators in finite von Neumann algebras. We introduce the B–circular operators as a special case of Speicher's B–Gaussian operators in free probability theory, and we prove several results about a B–circular operator z, including formulas for the B–valued Cauchy– and R–transforms of z^*z. We show that a large class of L^∞([0,1])–circular operators in finite von Neumann algebras have nontrivial hyperinvariant subspaces, and that another large class of them can be embedded in the free group factor L(F₃). These results generalize some of what is known about the quasinilpotent DT–operator. Supported in part by NSF Grant DMS-0300336. with an Appendix by Gabriel Tucci     

Finite-dimensional crystals B 2,s for quantum affine algebras of type D (1) n

The Kirillov–Reshetikhin modules W^r,s are finite-dimensional representations of quantum affine algebras U’_q labeled by a Dynkin node r of the affine Kac–Moody algebra and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^2,s corresponding to W^2,s for the algebra of type D⁽¹⁾_n. 2000 Mathematics Subject Classification Primary—17B37; Secondary—81R10 Supported in part by the NSF grants DMS-0135345 and DMS-0200774.     

AlgebraicK-theory of von Neumann algebras

To every von Neumann algebra, one can associate a (multiplicative) determinant defined on the invertible elements of the algebra with range a subgroup of the Abelian group of the invertible elements of the center of the von Neumann algebra. This determinant is a normalization of the usual determinant for finite von Neumann algebras of type I, for the type II₁-case it is the Fuglede-Kadison determinant, and for properly infinite von Neumann algebras the determinant is constant equal to 1. It is proved that every invertible element of determinant 1 is a product of a finite number of commutators. This extends a result of T. Fack and P. de la Harpe for II₁-factors. As a corollary, it follows that the determinant induces an injection from the algebraicK ₁-group of the von Neumann algebra into the Abelian group of the invertible elements of the center. Its image is described. Another group,K ₁ ^w (A), which is generated by elements in matrix algebras overA that induce injective right multiplication maps, is also computed. We use the Fuglede-Kadison determinant to detect elements in the Whitehead group Wh(G).Partially supported by NSF Grant DMS-9103327.     

Existence d’un generateur suivant une sous-suite de densite superieure nulle

Ergodic theory: for every dynamical system (X,A,T, μ), totally ergodic and of finite entropy, there exist a sequenceS of integers, of upper density zero, and a partitionQ ofX, such that V _i∈S T ⁻ⁱ Q is the whole σ-algebraA. Furthermore, there is a “universal” sequenceS ⁰ for which this property is true if we restrict ourselves to the class of strongly mixing systems.      

Diagonalization of compact operators on Hilbert modules overC *-algebras of real rank zero

The classical Hilbert-Schmidt theorem can be extended to compact operators on HilbertA-modules overW ^*-algebras of finite type; i.e., with minor restrictions, compact operators onH* _A can be diagonalized overA. We show that ifB is a weakly denseC ^*-subalgebra ofA with real rank zero and if some additional condition holds, then the natural extension fromH _B toH* _A ⊃H _B of a compact operator can be diagonalized so that the diagonal elements belong to the originalC ^*-algebraB. Translated fromMatematicheskie Zametki, Vol. 62, No. 6, pp. 865–870, December, 1997. Translated by O. V. Sipacheva     

Latin trades in groups defined on planar triangulations

For a finite triangulation of the plane with faces properly coloured white and black, let A_W\mathcal{A}_{W} be the abelian group constructed by labelling the vertices with commuting indeterminates and adding relations which say that the labels around each white triangle add to the identity. We show that A_W\mathcal{A}_{W} has free rank exactly two. Let A_W^*\mathcal{A}_{W}^{*} be the torsion subgroup of  A_W\mathcal{A}_{W} , and A_B^*\mathcal{A}_{B}^{*} the corresponding group for the black triangles. We show that A_W^*\mathcal{A}_{W}^{*} and A_B^*\mathcal{A}_{B}^{*} have the same order, and conjecture that they are isomorphic. For each spherical latin trade W, we show there is a unique disjoint mate B such that (W,B) is a connected and separated bitrade. The bitrade (W,B) is associated with a two-colourable planar triangulation and we show that W can be embedded in  A_W^*\mathcal{A}_{W}^{*} , thereby proving a conjecture due to Cavenagh and Drápal. The proof involves constructing a (0,1) presentation matrix whose permanent and determinant agree up to sign. The Smith normal form of this matrix determines A_W^*\mathcal{A}_{W}^{*} , so there is an efficient algorithm to construct the embedding. Contrasting with the spherical case, for each genus g≥1 we construct a latin trade which is not embeddable in any group and another that is embeddable in a cyclic group.     

Fast decoding of quasi-perfect Lee distance codes

A code D over Z ² _n is called a quasi-perfect Lee distance-(2t + 1) code if d _L(V,W) ≥ 2t + 1 for every two code words V,W in D, and every word in Z ² _n is at distance ≤ t + 1 from at least one code word, where D _L(V,W) is the Lee distance of V and W. In this paper we present a fast decoding algorithm for quasi-perfect Lee codes. The basic idea of the algorithm comes from a geometric representation of D in the 2-dimensional plane. It turns out that to decode a word it suffices to calculate its distance to at most four code words.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Quadratically Hyponormal Recursively Generated Weighted Shifts Need Not Be Positively Quadratically Hyponormal

We study a class of weighted shifts W _α defined by a recursively generated sequence α ≡ α₀, … , α _m−2, (α _m−1, α _m , α _m+1)^∧ and characterize the difference between quadratic hyponormality and positive quadratic hyponormality. We show that a shift in this class is positively quadratically hyponormal if and only if it is quadratically hyponormal and satisfies a finite number of conditions. Using this characterization, we give a new proof of [12, Theorem 4.6], that is, for m = 2, W _α is quadratically hyponormal if and only if it is positively quadratically hyponormal. Also, we give some new conditions for quadratic hyponormality of recursively generated weighted shift W _α (m ≥ 2). Finally, we give an example to show that for m ≥ 3, a quadratically hyponormal recursively generated weighted shift W _α need not be positively quadratically hyponormal.     

Poincaré Series of the Weyl Groups of the Elliptic Root Systems A 1 (1,1), A 1 (1,1)* and A 2 (1,1)

We calculate the Poincaré series of the elliptic Weyl group W(A ₂ ^(1,1)), which is the Weyl group of the elliptic root system of type A ₂ ^(1,1). The generators and relations of W(A ₂ ^(1,1)) have been already given by K. Saito and the author.     

Generalized Calogero–Moser systems from rational Cherednik algebras

We consider ideals of polynomials vanishing on the W-orbits of the intersections of mirrors of a finite reflection group W. We determine all such ideals that are invariant under the action of the corresponding rational Cherednik algebra hence form submodules in the polynomial module. We show that a quantum integrable system can be defined for every such ideal for a real reflection group W. This leads to known and new integrable systems of Calogero–Moser type which we explicitly specify. In the case of classical Coxeter groups, we also obtain generalized Calogero–Moser systems with added quadratic potential.     

Subelliptic Cordes Estimates in the Grušin Plane

We apply subelliptic Cordes conditions and Talenti–Pucci type inequalities to prove W ^2,2 and C ^1,α estimates for p-harmonic functions in the Grušin plane for p near 2.J. J. Manfred; partially supported by NSF award DMS-0500983     

Continuity andkth order differentiability in Orlicz-Sobolev spaces:W kLA

The paper gives a necessary and sufficient condition for the embedding of the Orlicz-Sobolev spaceW ^kL_A (Ω) inC(Ω). The same condition is also found to be necessary and sufficient so that a continuous function inW ^kL_A (Ω) be differentiable of orderk almost everywhere in Ω.     

Decompositions of finite-to-one factor maps

We examine the question of when a finite-to-one factor map θ: ∑_A →S, from a shift of finite type onto a sofic shift, can be decomposed as a left closing map (onto a shift of finite type) followed by a right closing map (or vice versa). We give a finite procedure for deciding this question. In general, we show that there are finitely many such decompositions, up to conjugacy. If the degree of θ is one, then there is at most one such decomposition.     

A semigroup approach to fractional powers

We say that A has fractional powers {A _t } _t≥0 if there exists a nondegenerate C-regularized semigroup {W(t)} _t≥0 such that A=C ⁻¹ W(1); then A _t ≡C ⁻¹ W(t). We show that this generalizes the usual definition of fractional powers for nonnegative operators, and enables many operators with spectrum containing the entire unit disc to have fractional powers. Our definition gives clear, simple proofs of the basic properties of fractional powers. We show that, for nonnegative operators, the fractional powers with the property that, if A is of type θ, then A _t is of type t θ, whenever t θ<π, are unique. More generally, for injective G∈B(X) commuting with A, we show that an operator A of G-regularized type θ has a unique family of fractional powers with the property that A _t is of G-regularized type t θ whenever t θ<π. This leads to a construction of fractional powers of operators with polynomially bounded resolvent outside of an appropriate sector. We show that an operator is of regularized type if and only if it has exponentially bounded regularized imaginary powers. This work was done while the second author was visiting Ohio University, with funding from Universitat de València. He would like to thank Ohio University and Professor deLaubenfels for their hospitality and support.     

Riesz transforms and elliptic PDEs with VMO coefficients

The present paper is concerned withL ^p-theory of the uniformly elliptic differential operator

Liftings for Haar measure on {0,1} k

We callE ⊆ {0,1} ^k projective if for some countableA ⊆κ there is anE _A ⊆ {0, 1} ^A such thatE=E _A ×{0,1} ^k\A andE _A is a projective subset of the Cantor set {0, 1} ^A . We construct a model where Haar measure on {0,1} ^k has no projective lifting (and in particular no Baire lifting) for anyκ≥ω. Research partially supported by NATO Science Fellowship. The first author would like to thank the Mathematics Department at the University of Essex for its hospitality during the academic year 1988/89 while part of this research was being carried out. This research was initiated while the second author was a postdoctoral fellow at the University of Toronto. Its completion was supported by NSF grant DMS-8505550.