Bernoulli automorphisms of finitely generated free MV-algebras

MV-algebras can be viewed either as the Lindenbaum algebras of ?ukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class, and the free n-generated free MV-algebra is representable as an algebra of piecewise-linear continuous functions with integer coefficients over the unit n-dimensional cube. In this paper we show that the automorphism group of such a free algebra contains elements having strongly chaotic behaviour, in the sense that their duals are measure-theoretically isomorphic to a Bernoulli shift. This fact is noteworthy from the viewpoint of algebraic logic, since it gives a distinguished status to Lebesgue measure as an averaging measure on the space of valuations. As an ergodic theory fact, it provides explicit examples of volume-preserving homeomorphisms of the unit cube which are piecewise-linear with integer coefficients, preserve the denominators of rational points, and enjoy the Bernoulli property.     

A Characterization of the free n-generated MV-algebra

An MV-algebra A=(A,0,¬,⊕) is an abelian monoid (A,0,⊕) equipped with a unary operation ¬ such that ¬¬x=x,x⊕¬0=¬0, and y⊕¬(y⊕¬x)=x⊕¬(x⊕¬y). Chang proved that the equational class of MV-algebras is generated by the real unit interval [0,1] equipped with the operations ¬x=1?x and x⊕y=min(1,x+y). Therefore, the free n-generated MV-algebra Free _n is the algebra of [0,1]-valued functions over the n-cube [0,1] ⁿ generated by the coordinate functions ξ _i ,i=1, . . . ,n, with pointwise operations. Any such function f is a McNaughton function, i.e., f is continuous, piecewise linear, and each piece has integer coefficients. Conversely, McNaughton proved that all McNaughton functions f: [0,1] ⁿ →[0,1] are in Free _n . The elements of Free _n are logical equivalence classes of n-variable formulas in the infinite-valued calculus of ?ukasiewicz. The aim of this paper is to provide an alternative, representation-free, characterization of Free _n .     

Revisiting the Farey AF Algebra

In a recent paper, F. Boca investigates the AF algebra \mathfrakA{{\mathfrak{A}}} associated with the Farey-Stern-Brocot sequence. We show that \mathfrakA{{\mathfrak{A}}} coincides with the AF algebra \mathfrakM₁{{\mathfrak{M_{1}}}} introduced by the present author in 1988. As proved in that paper (Adv. Math., vol.68.1), the K ₀-group of \mathfrakA{\mathfrak{A}} is the lattice-ordered abelian group M₁{\mathcal{M}_{1}} of piecewise linear functions on the unit interval, each piece having integer coefficients, with the constant 1 as the distinguished order unit. Using the elementary properties of M₁{\mathcal{M}_{1}} we can give short proofs of several results in Boca’s paper. We also prove many new results: among others, \mathfrakA{{\mathfrak{A}}} is a *-subalgebra of Glimm universal algebra, tracial states of \mathfrakA{{\mathfrak{A}}} are in one-one correspondence with Borel probability measures on the unit real interval, all primitive ideals of \mathfrakA{{\mathfrak{A}}} are essential. We describe the automorphism group of \mathfrakA{{\mathfrak{A}}} . For every primitive ideal I of \mathfrakA{{{\mathfrak{A}}}} we compute K ₀(I) and K₀(\mathfrakA/I){{K_{0}(\mathfrak{A}/I)}}.     

Abelian real W*-algebras

In this paper, we point out that most results on abelian (complex)W ^*-algebras hold in the real case. Of course, there are differences in homeomorphisms of period 2. Moreover, an abelian real Von Neumann algebra not containing any minimal projection on a separable real Hilbert space is * isomorphic toL _τ ^∞ ([0, 1]) (all real functions inL ^∞([0, 1])), orL ^∞([0, 1]) (as a realW ^*-algebra), orL _τ ^∞ ([0, 1]) ⋇L ^∞ ([0, 1]) (as a realW ^*-algebra), and it is different from the complex case. Partially supported by the NNSF     

Intrinsic generalized metrics

The intrinsic functions of two variables from a lattice-ordered group to itself that are symmetric and right invariant are called its intrinsic metrics. It is known that these are exactly the functions of the form d(x, y) = n|x - y| for some integer n, and that for n 3 1{n \geq 1} , the triangle inequality for these functions holds if and only if the group is abelian.     

On the Scrimger varieties of lattice-ordered groups

The containmentS _nL _n is proper. (Here n2 is a positive integer,S _n is the small variety of lattice-ordered groups of Scrimger andL _n is the variety of lattice-ordered groups defined by the law aⁿbⁿ=bⁿaⁿ.) Jo E. Smith proved this result for n a composite integer. In this note we proveS _nL _n when n is prime.Presented by L. Fuchs.     

Some applications of Banach algebra techniques

We consider some functional Banach algebras with multiplications as the usual convolution product * and the so‐called Duhamel product ?. We study the structure of generators of the Banach algebras (C⁽ⁿ⁾[0, 1], *) and (C⁽ⁿ⁾[0, 1], ?). We also use the Banach algebra techniques in the calculation of spectral multiplicities and extended eigenvectors of some operators. Moreover, we give in terms of extended eigenvectors a new characterization of a special class of composition operators acting in the Lebesgue space L^p[0, 1] by the formula (C_φf)(x) = f(φ(x)).     

A topological analog of Halmos' conjugacy lemma

Using a new lemma indicated by the title, and a recent measure preserving version of Lusin's Theorem, we prove the following theorem: Any isomorphism-invariant measure theoretic property which is typical for automorphisms of a Lebesgue space is also typical for Lebesgue measure preserving homeomorphisms of the unit cubeI ⁿ ,n2. We also prove a partial converse of this theorem. Taken together, these results clarify the relationship between pairs of theorems proved by several authors, which established the typicality of specific properties (such as ergodicity and weak mixing) separately in the measurable and continuous cases.     

Non-periodic Tilings of ? n by Crosses

An n-dimensional cross consists of 2n+1 unit cubes: the “central” cube and reflections in all its faces. A tiling by crosses is called a Z-tiling if each cross is centered at a point with integer coordinates. Periodic tilings of ℝ ⁿ by crosses have been constructed by several authors for all n∈N. No non-periodic tiling of ℝ ⁿ by crosses has been found so far. We prove that if 2n+1 is not a prime, then the total number of non-periodic Z-tilings of ℝ ⁿ by crosses is 2^à₀2^{\aleph _{0}} while the total number of periodic Z-tilings is only ℵ₀. In a sharp contrast to this result we show that any two tilings of ℝ ⁿ ,n=2,3, by crosses are congruent. We conjecture that this is the case not only for n=2,3, but for all n where 2n+1 is a prime.     

Asymptotic expansions in n−1 for percolation critical values on the n‐Cube and ℤn

We use the lace expansion to prove that the critical values for nearest‐neighbor bond percolation on the n‐cube {0, 1}ⁿ and on the integer lattice ?ⁿ have asymptotic expansions, with rational coefficients, to all orders in powers of n^?1. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2005     

On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

A generalization of a result of R. Lyons about measures on [0, 1)

Letμ be a probability measure on [0, 1), invariant underS:x ↦px mod 1, and for which almost every ergodic component has positive entropy. Ifq is a real number greater than 1 for which logq/ logp is irrational, andT _n sendsx toq ⁿx mod 1, then for any ε>0 the measureμT _n ⁻¹ will — for a set ofn of positive lower density — be within ε of Lebesgue measure.     

Coloured peak algebras and Hopf algebras

For G a finite abelian group, we study the properties of general equivalence relations on G _n = G ⁿ ⋊ _n , the wreath product of G with the symmetric group _n , also known as the G-coloured symmetric group. We show that under certain conditions, some equivalence relations give rise to subalgebras of G _n as well as graded connected Hopf subalgebras of ⨁ _{n≥ o} G _n . In particular we construct a G-coloured peak subalgebra of the Mantaci-Reutenauer algebra (or G-coloured descent algebra). We show that the direct sum of the G-coloured peak algebras is a Hopf algebra. We also have similar results for a G-colouring of the Loday-Ronco Hopf algebras of planar binary trees. For many of the equivalence relations under study, we obtain a functor from the category of finite abelian groups to the category of graded connected Hopf algebras. We end our investigation by describing a Hopf endomorphism of the G-coloured descent Hopf algebra whose image is the G-coloured peak Hopf algebra. We outline a theory of combinatorial G-coloured Hopf algebra for which the G-coloured quasi-symmetric Hopf algebra and the graded dual to the G-coloured peak Hopf algebra are central objects. 2000 Mathematics Subject Classification Primary: 16S99; Secondary: 05E05, 05E10, 16S34, 16W30, 20B30, 20E22Bergeron is partially supported by NSERC and CRC, CanadaHohlweg is partially supported by CRC     

Test rank of an abelian product of a free Lie algebra and a free abelian Lie algebra

Let F be a free Lie algebra of rank n ≥ 2 and A be a free abelian Lie algebra of rank m ≥ 2. We prove that the test rank of the abelian product F ×A is m. Morever we compute the test rank of the algebra F/g_k( F) ^￠F/\gamma _{k}\left( F\right) ^{^{\prime }}.     

Poincaré type inequalities on the discrete cube and in the CAR algebra

We prove L ^p Poincaré inequalities with suitable dimension free constants for functions on the discrete cube {?1, 1} ⁿ . As well known, such inequalities for p an even integer allow to recover an exponential inequality hence the concentration phenomenon first obtained by Bobkov and Götze. We also get inequalities between the L ^p norms of $ \left\vert \nabla f\right\vert We prove L ^p Poincaré inequalities with suitable dimension free constants for functions on the discrete cube {−1, 1} ⁿ . As well known, such inequalities for p an even integer allow to recover an exponential inequality hence the concentration phenomenon first obtained by Bobkov and G?tze. We also get inequalities between the L ^p norms of and moreover L ^p spaces may be replaced by more general ones. Similar results hold true, replacing functions on the cube by matrices in the *-algebra spanned by n fermions and the L ^p norm by the Schatten norm C _p .     

Superbranching processes and projections of random Cantor sets

We study sequences (X ₀, X ₁, ...) of random variables, taking values in the positive integers, which grow faster than branching processes in the sense that , for m, n0, where the X _n (m, i) are distributed as X _n and have certain properties of independence. We prove that, under appropriate conditions, X _n ^1/n almost surely and in L ¹, where =sup E(X _n )^1/n . Our principal application of this result is to study the Lebesgue measure and (Hausdorff) dimension of certain projections of sets in a class of random Cantor sets, being those obtained by repeated random subdivisions of the M-adic subcubes of [0, 1] ^d . We establish a necessary and sufficient condition for the Lebesgue measure of a projection of such a random set to be non-zero, and determine the box dimension of this projection.Work done partly whilst visiting Cornell University with the aid of a Fulbright travel grant     

Ein Null-Zwei-Gesetz auf lokalkompakten abelschen Halbgruppen

Let λ, μ be regular probability measures on a locally compact abelian semigroup S, λ * μ the convolution of λ and μ, λⁿ the n^th iterated convolution of λ, δ_x the point measure of x?S. We study the totalvariation of λⁿ–δ_x * λⁿ for n → ∞. We shall see that for a certain class of semigroups the limit of this sequence is either 0 or 2.     

Weighted Maximum Over Minimum Modulus of Polynomials, Applied to Ray Sequences of Padé Approximants

Let a≥ 0 , ɛ >0 . We use potential theory to obtain a sharp lower bound for the linear Lebesgue measure of the set Here P is an arbitrary polynomial of degree ≤ n . We then apply this to diagonal and ray Padé sequences for functions analytic (or meromorphic) in the unit ball. For example, we show that the diagonal \left{ [n/n]\right} _n=1 ^∞ sequence provides good approximation on almost one-eighth of the circles centre 0 , and the \left{ [2n/n]\right} _n=1 ^∞ sequence on almost one-quarter of such circles. July 18, 2000. Date revised: . Date accepted: April 19, 2001.     

Weak continuity of Riemann integrable functions in Lebesgue-Bochner spaces

In general, Banach space-valued Riemann integrable functions defined on [0, 1] （equipped with the Lebesgue measure） need not be weakly continuous almost everywhere. A Banach space is said to have the weak Lebesgue property if every Riemann integrable function taking values in it is weakly continuous almost everywhere. In this paper we discuss this property for the Banach space LX^1 of all Bochner integrable functions from [0, 1] to the Banach space X. We show that LX^1 has the weak Lebesgue property whenever X has the Radon-Nikodym property and X＊ is separable. This generalizes the result by Chonghu Wang and Kang Wan [Rocky Mountain J. Math., 31（2）, 697-703 （2001）] that L^1[0, 1] has the weak Lebesgue property.     

Fractional Planks

Abstract. In 1950 Bang proposed a conjecture which became known as ``the plank conjecture': Suppose that a convex set S contained in the unit cube of R ⁿ and touching all its sides is covered by planks. (A plank is a set of the form {(x ₁ , ..., x _n ): x _j ∈ I} for some j ∈ {1, ...,n} and a measurable subset I of [0, 1]. Its width is defined as |I| .) Then the sum of the widths of the planks is at least 1 . We consider a version of the conjecture in which the planks are fractional. Namely, we look at n -tuples f ₁ , ..., f _n of nonnegative-valued measurable functions on [0,1] which cover the set S in the sense that ∑ f _j (x _j ) ≥ 1 for all (x ₁ , ..., x _n )∈ S . The width of a function f _j is defined as ∈t ₀ ¹ f _j (x) dx . In particular, we are interested in conditions on a convex subset of the unit cube in R ⁿ which ensure that it cannot be covered by fractional planks (functions) whose sum of widths (integrals) is less than 1 . We prove that this (and, a fortiori, the plank conjecture) is true for sets which touch all edges incident with two antipodal points in the cube. For general convex bodies inscribed in the unit cube in R ⁿ we prove that the sum of widths must be at least 1/n (the true bound is conjectured to be 2/n ).