Some results on distance two labelling of outerplanar graphs

Let G be an outerplanar graph with maximum degree △. Let χ（G^2） and A（G） denote the chromatic number of the square and the L（2, 1）-labelling number of G, respectively. In this paper we prove the following results： （1） χ（G^2） = 7 if △= 6; （2） λ（G） ≤ △ ＋5 if △ ≥ 4, and ）,（G）≤ 7 if △ = 3; and （3） there is an outerplanar graph G with △ = 4 such that ）λ（G） = 7. These improve some known results on the distance two labelling of outerplanar graphs.     

Weak amenability of CAT(0)-cubical groups

We prove that if G is a discrete group that admits a metrically proper action on a finite-dimensional CAT(0) cube complex X, then G is weakly amenable. We do this by constructing uniformly bounded Hilbert space representations π _z for which the quantities z ^{ℓ (g)} are matrix coefficients. Here ℓ is a length function on G obtained from the combinatorial distance function on the complex X.     

Sobolev embeddings into BMO, VMO, andL ∞

LetX be a rearrangement-invariant Banach function space onR ⁿ and letV ¹ X be the Sobolev space of functions whose gradient belongs toX. We give necessary and sufficient conditions onX under whichV ¹ X is continuously embedded into BMO or intoL _∞. In particular, we show thatL _{n, ∞} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded into BMO and, similarly,L _{n, 1} is the largest rearrangement-invariant spaceX such thatV ¹ X is continuously embedded intoL _∞. We further show thatV ¹ X is a subset of VMO if and only if every function fromX has an absolutely continuous norm inL _{n, ∞} . A compact inclusion ofV ¹ X intoC ⁰ is characterized as well.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-Invariants of finite aspherical CW-complexes

Let X be a finite aspherical CW-complex whose fundamental group π ₁(X) possesses a subnormal series with a non-trivial elementary amenable group G ₀. We investigate the L ²-invariants of the universal covering of such a CW-complex X. The main result is the proof of the vanishing of the L ²-torsion under the condition that π ₁(X) has semi-integral determinant. We further show that the Novikov–Shubin invariants are positive.     

Isometry Groups of Proper Hyperbolic Spaces

Let X be a proper hyperbolic geodesic metric space and let G be a closed subgroup of the isometry group Iso(X) of X. We show that if G is not elementary then for every p ∈ (1, ∞) the second continuous bounded cohomology group H²_cb(G, L^p(G)) does not vanish. As an application, we derive some structure results for closed subgroups of Iso(X). Partially supported by Sonderforschungsbereich 611.     

Strongly solid group factors which are not interpolated free group factors

We give examples of non-amenable infinite conjugacy classes groups Γ with the Haagerup property, weakly amenable with constant Λ_cb(Γ) = 1, for which we show that the associated II₁ factors L(Γ) are strongly solid, i.e. the normalizer of any diffuse amenable subalgebra P ì L(G){P \subset L(\Gamma)} generates an amenable von Neumann algebra. Nevertheless, for these examples of groups Γ, L(Γ) is not isomorphic to any interpolated free group factor L(F _t ), for 1 < t ≤  ∞.     

Possible limit laws for entrance times of an ergodic aperiodic dynamical system

LetG denote the set of decreasingG: ℝ→ℝ withGэ1 on ]−∞,0], and ƒ ₀ ^∞ G(t)dt⩽1. LetX be a compact metric space, andT: X→X a continuous map. Let μ denone aT-invariant ergodic probability measure onX, and assume (X, T, μ) to be aperiodic. LetU⊂X be such that μ(U)>0. Let τ _U (x)=inf{k⩾1:T ^k xεU}, and defineG _U (t)=1/u(U)u({xεU:u(U)τU(x)>t),tεℝ We prove that for μ-a.e.x∈X, there exists a sequence (U _n ) _n≥1 of neighbourhoods ofx such that {x}=∩ _n U _n , and for anyG ∈G, there exists a subsequence (n _k ) _k≥1 withG _{U n k} ↑U weakly. We also construct a uniquely ergodic Toeplitz flowO(x ^∞,S, μ), the orbit closure of a Toeplitz sequencex ^∞, such that the above conclusion still holds, with moreover the requirement that eachU _n be a cylinder set. In memory of Anzelm Iwanik     

On the Riesz transform associated with the ultraspherical polynomials

We define and investigate the Riesz transform associated with the differential operatorL _λ f(θ)=−f"(θ)−2λ cot’θ. We prove that it can be defined as a principal value and that it is bounded onL ^P ([0, π],dm _λ (θ)),dm _λ(θ)=sin^2λ θdθ, for every 1<p<∞ and of weak type (1,1). The same boundedness properties hold for the maximal operator of the truncated operators. The speed of convergence of the truncated operators is measured in terms of the boundedness inL ^P (dm _λ ), 1<p<∞, and weak type (1,1) of the oscillation and ρ-variation associated to them. Also, a multiplier theorem is proved to get the boundedness of the conjugate function studied by Muckenhoupt and Stein for 1<p<∞ as a corollary of the results for the Riesz transform. Moreover, we find a condition on the weightv which is necessary and sufficient for the existence of a weightu such that the Riesz transform is bounded fromL ^P (v dm _λ ) intoL ^P (u dm _λ ). The authors were partially supported by RTN Harmonic Analysis and Related Problems contract HPRN-CT-2001-00273-HARP. The first and fourth authors were supported in part by KBN grant 1-P93A 018 26. The second and third authors were partially supported by BFM grant 2002-04013-C02-02.     

On the stability of the uniform minimality of a set of exponentials

Some conditions on sequences (λ _n ) and (μ _n ) to be nearby are given in order that the corresponding systems of complex exponentials (exp(iλ _n t)) and (exp(iμ _n t)) be simultaneously uniformly minimal in L ^p (−π, π), 1 ≤ p < ∞, and in C[−π, π]. __________ Translated from Sovremennaya Matematika. Fundamental'nye Napravleniya (Contemporary Mathematics. Fundamental Directions), Vol. 25, Theory of Functions, 2007.     

A Spectral Gap Property for Random Walks Under Unitary Representations

Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $\pi ,\mathcal{H}Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation p,H\pi ,\mathcal{H} of G, we study spectral properties of the operator π(μ) acting on H\mathcal{H} Assume that μ is adapted and that the trivial representation 1 _G is not weakly contained in the tensor product p?[`(p)]\pi\otimes \overline\pi We show that π(μ) has a spectral gap, that is, for the spectral radius r_spec(p(m))r_{\rm spec}(\pi(\mu)) of π(μ), we have r_spec(p(m)) < 1.r_{\rm spec}(\pi(\mu))< 1. This provides a common generalization of several previously known results. Another consequence is that, if G has Kazhdan’s Property (T), then r_spec(p(m)) < 1r_{\rm spec}(\pi(\mu))< 1 for every unitary representation π of G without finite dimensional subrepresentations. Moreover, we give new examples of so-called identity excluding groups.     

Strong Arens irregularity of Beurling algebras with a locally convex topology

Let G be a locally compact group with a weight function ω. Recently, we have shown that the Banach space L₀^∞ (G,1/ω) can be identified with the strong dual of L¹(G, ω)equipped with some locally convex topologies τ. Here we use this duality to introduce an Arens multiplication on (L¹(G, ω), τ)**, and prove that the topological center of (L¹(G, ω), τ)** is (L¹(G, ω); this enables us to conclude that (L¹(G, ω), τ) is Arens regular if and only if G is discrete. We also give a characterization for Arens regularity of L₀^∞ (G, 1/ω)¹. Received: 8 March 2005     

Spectra of ergodic group actions

LetG be a locally compact second countable abelian group, (X, μ) aσ-finite Lebesgue space, and (g, x) →gx a non-singular, properly ergodic action ofG on (X, μ). Let furthermore Γ be the character group ofG and let Sp(G, X) ⊂ Γ denote theL ^∞-spectrum ofG on (X, μ). It has been shown in [5] that Sp(G, X) is a Borel subgroup of Γ and thatσ (Sp(G, X))<1 for every probability measureσ on Γ with lim sup_g→∞Re (g)<1, where is the Fourier transform ofσ. In this note we prove the following converse: ifσ is a probability measure on Γ with lim sup_g→∞Re (g)<1 (g)=1 then there exists a non-singular, properly ergodic action ofG on (X, μ) withσ(Sp(G, X))=1.     

A simple map with no prime factors

An ergodic measure-preserving transformationT of a probability space is said to be simple (of order 2) if every ergodic joining λ ofT with itself is eitherμ×μ or an off-diagonal measureμ _S , i.e.,μ _S (A×B)=μ(A∩S ^;−n ;B) for some invertible, measure preservingS commuting withT. Veech proved that ifT is simple thenT is a group extension of any of its non-trivial factors. Here we construct an example of a weakly mixing simpleT which has no prime factors. This is achieved by constructing an action of the countable Abelian group ℤ⊕G, whereG=⊕ _i=1 ^∞ ℤ₂, such that the ℤ-subaction is simple and has centralizer coinciding with the full ℤ⊕G-action.     

Denting and strongly extreme points in the unit ball of spaces of operators

For 1 ≤p ≤ ∞ we show that there are no denting points in the unit ball of ℓ(l^p). This extends a result recently proved by Grząślewicz and Scherwentke whenp = 2 [GS1]. We also show that for any Banach spaceX and for any measure space (Ω, A, μ), the unit ball of ℓ(L ¹ (μ), X) has denting points iffL ¹(μ) is finite dimensional and the unit ball ofX has a denting point. We also exhibit other classes of Banach spacesX andY for which the unit ball of ℓ(X, Y) has no denting points. When X* has the extreme point intersection property, we show that all ‘nice’ operators in the unit ball of ℓ(X, Y) are strongly extreme points.     

Higher order Riesz transforms associated with Bessel operators

In this paper we investigate Riesz transforms R _μ ^(k) of order k≥1 related to the Bessel operator Δ_μ f(x)=-f”(x)-((2μ+1)/x)f’(x) and extend the results of Muckenhoupt and Stein for the conjugate Hankel transform (a Riesz transform of order one). We obtain that for every k≥1, R _μ ^(k) is a principal value operator of strong type (p,p), p∈(1,∞), and weak type (1,1) with respect to the measure dλ(x)=x ^2μ+1  dx in (0,∞). We also characterize the class of weights ω on (0,∞) for which R _μ ^(k) maps L ^p (ω) into itself and L ¹(ω) into L ^1,∞(ω) boundedly. This class of weights is wider than the Muckenhoupt class of weights for the doubling measure dλ. These weighted results extend the ones obtained by Andersen and Kerman.     

Group measure space decomposition of II1 factors and W*-superrigidity

We prove a “unique crossed product decomposition” result for group measure space II₁ factors L ^∞(X)⋊Γ arising from arbitrary free ergodic probability measure preserving (p.m.p.) actions of groups Γ in a fairly large family G\mathcal{G}, which contains all free products of a Kazhdan group and a non-trivial group, as well as certain amalgamated free products over an amenable subgroup. We deduce that if T _n denotes the group of upper triangular matrices in PSL (n,ℤ), then any free, mixing p.m.p. action of G = \operatornamePSL(n,\mathbbZ)*_Tn\operatornamePSL(n,\mathbbZ)\Gamma=\operatorname{PSL}(n,\mathbb{Z})*_{T_{n}}\operatorname{PSL}(n,\mathbb{Z}) is W^∗-superrigid, i.e. any isomorphism between L ^∞(X)⋊Γ and an arbitrary group measure space factor L ^∞(Y)⋊Λ, comes from a conjugacy of the actions. We also prove that for many groups Γ in the family G\mathcal{G}, the Bernoulli actions of Γ are W^∗-superrigid.     

On semigroups generated by restrictions of elliptic operators to invariant subspaces

Let A be the closed unbounded operator inL _p(G) that is associated with an elliptic boundary value problem for a bounded domainG. We prove the existence of a spectral projectionE determined by the set Γ = {λ;θ ₁≦argλ≦θ ₂} and show thatAE is the infinitesimal generator of an analytic semigroup provided that the following conditions hold: 1<p<∞; the boundary ϖΓ of Γ is contained in the resolvent setp(A) ofA;π/2≦θ<θ ₂≦3π/2 ; and there exists a constantc such that (I)││(λ-A)^-1││≦c/│λ│ for λ∈ϖΓ. The following consequence is obtained: Suppose that there exist constantsM andc such that λ∈p(A) and estimate (I) holds provided that |λ|≧M and Re λ=0. Then there exist bounded projectionE ⁻ andE ⁺ such thatA is completely reduced by the direct sum decompositionL _p(G)=E⁻L_p (G) ⊕E⁺L_p (G) and each of the operatorsAE ⁻ and—AE ⁺ is the infinitestimal generator of an analytic semigroup.     

A nilpotent Roth theorem

Let T and S be invertible measure preserving transformations of a probability measure space (X, ℬ, μ). We prove that if the group generated by T and S is nilpotent, then exists in L ²-norm for any u, v∈L ^∞(X, ℬ, μ). We also show that for A∈ℬ with μ(A)>0 one has . By the way of contrast, we bring examples showing that if measure preserving transformations T, S generate a solvable group, then (i) the above limits do not have to exist; (ii) the double recurrence property fails, that is, for some A∈ℬ, μ(A)>0, one may have μ(A∩T _-n A∩S ^{- n} A)=0 for all n∈ℕ. Finally, we show that when T and S generate a nilpotent group of class ≤c, in L ²(X) for all u, v∈L ^∞(X) if and only if T×S is ergodic on X×X and the group generated by T ^-1 S, T ^-2 S ²,..., T ^-c S ^c acts ergodically on X. Oblatum 19-V-2000 & 5-VII-2001?Published online: 12 October 2001