Higher order mixing and rigidity of algebraic actions on compact Abelian groups

Let Γ be a discrete group and fori=1,2; letα _i be an action of Γ on a compact abelian groupX _i by continuous automorphisms ofX _i. We study measurable equivariant mapsf: (X ₁,α ₁)→(X ₂,α ₂), and prove a rigidity result under certain assumption on the order of mixing of the underlying actions.     

A structure theorem for boundary-transitive graphs with infinitely many ends

We prove a structure theorem for locally finite connected graphsX with infinitely many ends admitting a non-compact group of automorphisms which is transitive in its action on the space of ends, Ω _X . For such a graphX, there is a uniquely determined biregular treeT (with both valencies finite), a continuous representationφ : Aut(X) → Aut(T) with compact kernel, an equivariant homeomorphism λ : Ω _X → Ω _T , and an equivariant map τ : Vert(X) → Vert(T) with finite fibers. Boundary-transitive trees are described, and some methods of constructing boundary-transitive graphs are discussed, as well as some examples.     

On some inequalities of probabilistic number theory

Let Q ₊ denote the set of positive rational numbers. We define discrete probability measures ν _x on the σ-algebra of subsets of Q ₊.We introduce additive functions ƒ: Q ₊ → G and obtain a bound for ν_x(ƒ (r) ∉ X+X−X) using a probability related to some independent random variables. This inequality is an analogue to that proved by I. Ruzsa for additive arithmetical functions. Published in Lietuvos Matematikos Rinkinys, Vol. 46, No. 2, pp. 256–266, April–June, 2006.     

A poisson formula for solvable Lie groups

Given a probability measure μ on a locally compact second countable groupG the space of bounded μ-harmonic functions can be identified withL ^∞(η, α) where (η, α) is a BorelG-space with a σ-finite quasiinvariant measure α. Our goal is to show that when μ is an arbitrary spread out probability measure on a connected solvable Lie groupG then the μ-boundary (η, α) is a contractive homogeneous space ofG. Our approach is based on a study of a class of strongly approximately transitive (SAT) actions ofG. A BorelG-space η with a σ-finite quasiinvariant measure α is called SAT if it admits a probability measurev≪α, such that for every Borel set A with α(A)≠0 and every ε>0 there existsg∈G with ν(gA)>1−ε. Every μ-boundary is a standard SATG-space. We show that for a connected solvable Lie group every standard SATG-space is transitive, characterize subgroupsH⊆G such that the homogeneous spaceG/H is SAT, and establish that the following conditions are equivalent forG/H: (a)G/H is SAT; (b)G/H is contractive; (c)G/H is an equivariant image of a μ-boundary.     

On compactification of metric spaces

Iff:X →X* is a homeomorphism of a metric separable spaceX into a compact metric spaceX* such thatf(X)=X*, then the pair (f,X*) is called a metric compactification ofX. An absoluteG _δ-space (F _σ-space)X is said to be of the first kind, if there exists a metric compactification (f,X*) ofX such that , whereG _i are sets open inX* and dim[Fr(G _i)]<dimX. (Fr(G _i) being the boundary ofG _i and dimX — the dimension ofX). An absoluteG _δ-space (F _σ-space), which is not of the first kind, is said to be of the second kind. In the present paper spaces which are both absoluteG _δ andF _σ-spaces of the second kind are constructed for any positive finite dimension, a problem related to one of A. Lelek in [11] is solved, and a sufficient condition onX is given under which dim [X* −f(X)]≧k, for any metric compactification (f,X*) ofX, wherek≦dimX is a given number. This research has been sponsored by the U.S. Navy through the Office of Naval Research under contract No. 62558-3315.     

On the topology induced by the adjoint of a semigroup of operators

The adjoint of aC ₀-semigroup on a Banach spaceX induces a locally convex σ(X,X ^ℴ)-topology inX, which is weaker than the weak topology ofX. In this paper we study the relation between these two topologies. Among other things a class of subsets ofX is given on which they coincide. As an application, an Eberlein-Shmulyan type theorem is proved for the σ(X,X ^ℴ)-topology and it is shown that the uniform limit of σ(X,X ^ℴ)-compact operators is σ(X,X ^ℴ)-compact. Finally our results are applied to the problem when the Favard class of a semigroup equals the domain of the infinitesimal generator.     

Homogenous projective factors for actions of semi-simple Lie groups

We analyze the structure of a continuous (or Borel) action of a connected semi-simple Lie group G with finite center and real rank at least 2 on a compact metric (or Borel) space X, using the existence of a stationary measure as the basic tool. The main result has the following corollary: Let P be a minimal parabolic subgroup of G, and K a maximal compact subgroup. Let λ be a P-invariant probability measure on X, and assume the P-action on (X,λ) is mixing. Then either λ is invariant under G, or there exists a proper parabolic subgroup Q⊂G, and a measurable G-equivariant factor map ϕ:(X,ν)→(G/Q,m), where ν=∫ _K kλdk and m is the K-invariant measure on G/Q. Furthermore, The extension has relatively G-invariant measure, namely (X,ν) is induced from a (mixing) probability measure preserving action of Q. Oblatum 14-X-1997 & 18-XI-1998 / Published online: 20 August 1999     

Asymptotic behavior of a multivariate stable law when the exponent tends to zero

The asymptotic behavior as α→0 of the function f(α)=P(0<Λ^α(X_α)<R) is studied, where R>0, X_α is a strictly stable random vector with exponent α and values in a Banach spaceB, and Λ is a non-negative measurable homogeneous functional onB. Proceedings of the Seminar on Stability Problems for Stochastic Models, Moscow, 1993.     

Orthogonal almost locally minimal projections on ℓ 1 n

A projectionP on a Banach spaceX with ‖P‖≤λ₀ is called almost locally minimal if, for every α>0 small enough, the ballB(P,α) in the space of operatorsL(X) does not contain a projectionQ with ‖Q‖≤‖P‖(1–Dα²), whereD=D(λ₀) is a constant independent of ‖P‖. It is shown that, for everyp≥1 and every compact abelian groupG, every translation invariant projection onL _p(G) is almost locally minimal. Orthogonal projections on ℓ ₁ ⁿ are investigated with respect to some weaker local minimality properties. Participant in Workshop in Linear Analysis and Probability, Texas A&M University, College Station, Texas 1998. Partially supported by the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

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.     

Additive summable processes and their stochastic integral

We define and study a class of summable processes, called additive summable processes, that is larger than the class used by Dinculeanu and Brooks [D-B]. We relax the definition of a summable processesX:Ω×ℝ₊→E⊂L(F, G) by asking for the associated measureI _X to have just an additive extension to the predictableσ-algebra ℘, such that each of the measures (I _X) _z , forz∈(L _G ^p )*, beingσ-additive, rather than having aσ-additive extension. We define a stochastic integral with respect to such a process and we prove several properties of the integral. After that we show that this class of summable processes contains all processesX:Ω×ℝ₊→E⊂L(F, G) with integrable semivariation ifc ₀ ∋G.     

On shadowing property for inverse limit spaces

We study here the G-shadowing property of the shift map σ on the inverse limit space X _f, generated by an equivariant self-map f on a metric G-space X.      

Idealization of a decomposition theorem

In 1986, Tong [13] proved that a function f : (X,τ)→(Y,φ) is continuous if and only if it is α-continuous and A-continuous. We extend this decomposition of continuity in terms of ideals. First, we introduce the notions of regular-I-closed sets, A _I-sets and A _I -continuous functions in ideal topological spaces and investigate their properties. Then, we show that a function f : (X,τ,I)→(Y, φ) is continuous if and only if it is α-I-continuous and A _I-continuous. This revised version was published online in June 2006 with corrections to the Cover Date.     

On a problem of Zambakhidze-Smirnov

We say that the action extension problem is solvable for a bicompact groupG if for any metricG-space and for any topological embeddingc of the orbit spaceX into a metric spaceY there exist aG-space ℤ, an invariant topological embeddingb: → ℤ, and a homeomorphismh: Y → Z such that the diagram is commutative. We prove the following theorem: for a bicompact zero-dimensional groupG, the action extension problem is solvable for the class of dense topological embeddings. Translated fromMatematicheskie Zametki, Vol. 58, No. 1, pp. 3–11, July, 1995.     

Any Banach space has an equivalent norm with trivial isometries

For any Banach spaceX there is a norm |||·||| onX, equivalent to the original one, such that (X, |||·|||) has only trivial isometries. For any groupG there is a Banach spaceX such that the group of isometries ofX is isomorphic toG × {− 1, 1}. For any countable groupG there is a norm ‖ · ‖ _G onC([0, 1]) equivalent to the original one such that the group of isometries of (C([0, 1]), ‖ · ‖ _G ) is isomorphic toG × {−1, + 1}.     

A Decomposition Theorem for Compact-Valued Henstock Integral

We prove that if X is a separable Banach space, then a measurable multifunction Γ : [0, 1] → ck(X) is Henstock integrable if and only if Γ can be represented as Γ = G + f, where G : [0, 1] → ck(X) is McShane integrable and f is a Henstock integrable selection of Γ.     

Asymptotic behavior of nonexpansive mappings in normed linear spaces

LetT be a nonexpansive mapping on a normed linear spaceX. We show that there exists a linear functional.f, ‖f‖=1, such that, for allx∈X, lim_n→x f(T ⁿ x/n)=lim_n→x‖T ⁿ x/n ‖=α, where α≡inf _y∈c ‖Ty-y‖. This means, ifX is reflexive, that there is a faceF of the ball of radius α to whichT ⁿ x/n converges weakly for allx (inf_z∈f g(T ⁿ x/n-z)→0, for every linear functionalg); ifX is strictly conves as well as reflexive, the convergence is to a point; and ifX satisfies the stronger condition that its dual has Fréchet differentiable norm then the convergence is strong. Furthermore, we show that each of the foregoing conditions on X is satisfied if and only if the associated convergence property holds for all nonexpansiveT. Supported by National Science Foundation Grant MCS-79-066.     

Degree Sums,Connectivity and Dominating Cycles in Graphs

Let G be a graph of order n with connectivity κ≥3 and let α be the independence number of G. Set σ₄(G)= min{∑⁴ _{i =1} d(x _i ):{x ₁,x ₂,x ₃,x ₄} is an independent set of G}. In this paper, we will prove that if σ₄(G)≥n+2κ, then there exists a longest cycle C of G such that V(G−C) is an independent set of G. Furthermore, if the minimum degree of G is at least α, then G is hamiltonian. Received: July 31, 1998?Final version received: October 4, 2000     

Extremal properties of contraction semigroups onc 0

For any complex Banach spaceX, letJ denote the duality mapping ofX. For any unit vectorx inX and any (C ₀) contraction semigroup (T _t ) _t>0 onX, Baillon and Guerre-Delabriere proved that ifX is a smooth reflexive Banach space and if there isx ^*∈J(x) such that ÷〈(T(t)x, J(x)〈÷→1 ast→∞, then there is a unit vectory∈X which is an eigenvector of the generatorA of (T _t ) _t>0 associated with a purely imaginary eigenvalue. They asked whether this result is still true ifX is replaced byc ₀. In this article, we show the answer is negative Partial results of this paper were obtained when the author attended the International Conference of Convexity at the University of Marne-La-Vallée. He would like to express his gratitude for the kind hospitality offered to him. He would also like to thank Profs. Goldstein and Jamison for their valuable suggestions.     

On the finiteness of a field-theoretic invariant for commutative rings

If T is a (commutative unital) ring extension of a ring R, then Λ(T /R) is defined to be the supremum of the lengths of chains of intermediate fields between R _P /P R _P and T _Q /QT _Q , where Q varies over Spec(T) and P:= Q ∩ R. The invariant σ(R):= sup Λ(T/R), where T varies over all the overrings of R. It is proved that if Λ(S/R)< ∞ for all rings S between R and T, then (R, T) is an INC-pair; and that if (R, T) is an INC-pair such that T is a finite-type R-algebra, then Λ(T/R)< ∞. Consequently, if R is a domain with σ(R) < ∞, then the integral closure of R is a Prüfer domain; and if R is a Noetherian G-domain, then σ(R) < ∞, with examples showing that σ(R) can be any given non-negative integer. Other examples include that of a onedimensional Noetherian locally pseudo-valuation domain R with σ(R)=∞.