An ergodic theorem on Banach lattices

E is a Banach lattice that is weakly sequentially complete and has a weak unitu. TLf _n=ϕ means that the infimum of |f _n−ϕ| andu converges strongly to zero.T is a positive contraction operator onE andA _n=(1/n)(I+T+...+T ⁿ⁻¹). Without an additional assumption onE, the “truncated limit” TLA _nf need not exist forf inE. This limit exists for eachf ifE satisfies the following additional assumption (C): For everyf inE ₊ and for every numberα>0, there is a numberβ=β(f, α) such that ifg is inE ₊, ‖g‖≦1, 0≦f′≦f and ‖f′‖>α then ‖f′+g‖≧‖g‖+β. Research of this author is partially supported by NSERC Grant A3974. Research of this author is partially supported by NSF Grant 8301619.     

Funny rank-one weak mixing for nonsingular Abelian actions

We construct funny rank-one infinite measure preserving free actionsT of a countable Abelian groupG satisfying each of the following properties: (1)T _g1×…×T_gk is ergodic for each finite sequenceg ₁,…,g _k ofG-elements of infinite order, (2)T×T is nonconservative, (3)T×T is nonergodic but allk-fold Cartesian products are conservative, and theL ^∞-spectrum ofT is trivial, (4) for eachg of infinite order, allk-fold Cartesian products ofT _g are ergodic, butT _2g×T_g is nonconservative. A topological version of this theorem holds. Moreover, given an AT-flowW, we construct nonsingularG-actionsT with similar properties and such that the associated flow ofT isW. Orbit theory is used in an essential way here. The work was supported in part by INTAS 97-1843 and CRDF grant UM1-2092.     

Ordering Trees with Nearly Perfect Matchings by Algebraic Connectivity

Let T2k＋1 be the set of trees on 2k＋1 vertices with nearly perfect matchings and α（T） be the algebraic connectivity of a tree T. The authors determine the largest twelve values of the algebraic connectivity of the trees in T2k＋1. Specifically, 10 trees T2,T3,... ,T11 and two classes of trees T（1） and T（12） in T2k＋1 are introduced. It is shown in this paper that for each tree T^′1,T^″1∈T（1）and T^′12,T^″12∈T（12） and each i,j with 2≤i〈j≤11,α（T^′1）=α（T^″1）〉α（Tj）〉α（T^′12）=α（T^″12）.It is also shown that for each tree T with T∈T2k＋1／（T（1）∪{T2,T3,…,T11}∪T（12））,α（T^′12）〉α（T）.     

Irreducible characters of the group S n that are semiproportional on A n

Previously, we dubbed the conjecture that the alternating group A_n has no semiproportional irreducible characters for any natural n [1]. This conjecture was then shown to be equivalent to the following [3]. Let α and β be partitions of a number n such that their corresponding characters χ^α and χ^β in the group S_n are semiproportional on A_n. Then one of the partitions α or β is self-associated. Here, we describe all pairs (α, β) of partitions satisfying the hypothesis and the conclusion of the latter conjecture. Supported by RFBR (grant No. 07-01-00148) and by RFBR-NSFC (grant No. 05-01-39000). __________ Translated from Algebra i Logika, Vol. 47, No. 2, pp. 135–156, March–April, 2008.     

Low-dimensional representations of Aut (F 2)

LetF ₂ be the free group of rank two, and Φ₂ its automorphism group. We consider the problem of describing the representations of Φ₂ of degreen for small values ofn. Our main result is the classification (up to equivalence) of all indecomposable representations ρ of Φ₂ of degreen≤4 such that ρ(F ₂) ≠ 1. There are only finitely many such representations, and in all them ρ(F ₂) is solvable. This is no longer true in higher dimensions. Already forn=6 there exists a 1-parameter family of irreducible nonequivalent representations of Φ₂ such that ρ(F ₂) contains a free non-abelian subgroup. We also obtain some new 4-dimensional representations of the braid groupB ₄ which are indecomposable and reducible at the same time. It would be interesting to find some applications of these representations. Supported in part by the NSERC Grant A-5285 Supported in part by an NSERC grant     

Toeplitz Operators on Analytic Besov Spaces

We characterize complex measures μ on the unit disk for which the Toeplitz operator T _μ is bounded or compact on the analytic Besov spaces B _p with 1 ≤ p < ∞. Research supported in part by NSF grant, DMS 0200587 (first author); and by a NSERC grant (third author).     

Irreducible characters with equal roots in the groups Sn and An

We show that treating of (non-trivial) pairs of irreducible characters of the group S_n sharing the same set of roots on one of the sets A_n and S_n \ A_n is divided into three parts. This, in particular, implies that any pair of such characters χ^α and χ^β (α and β are respective partitions of a number n) possesses the following property: lengths d(α) and d(β) of principal diagonals of Young diagrams for α and β differ by at most 1. Supported by RFBR grant No. 04-01-00463 and by RFBR-NSFC grant No. 05-01-39000. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 3–25, January–February, 2007.     

Optimal interpolation in spaces of Lorentz-Zygmund type

The Lorentz-Zygmund spaces, introduced by C. Bennett and K. Rudnick in [BR], are generalized by taking the exterior norm in arbitrary rearrangement invariant spaceE instead of onlyL _r-spaces. On the spacesL _p,α,E thus obtained, we study all operatorsT of two weak types (a, b) and (p, q) with 1≤a<p≤∞, 1≤b<q≤∞, and prove thatT:L _p,α,E→L _q,α−1,E. Moreover, for any set of parametersp, q, α, E, we construct the smallest possible spaceB _q,α,E such thatT:L _p,α,E→B _q,α,E and the largest possible spaceA _p,α,E such thatT:A _p,α,E→L _q,α−1,E. For spaces of all three types, we find their fundamental functions and Boyd indices, state various embeddings, equivalences and other properties. The research was supported by the Center of Scientific Absorption of the Ministry of Absorption of the State of Israel.     

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.     

Stationary Symmetric <Emphasis Type="Italic">α</Emphasis>-Stable Discrete Parameter Random Fields

We establish a connection between the structure of a stationary symmetric α-stable random field (0<α<2) and ergodic theory of non-singular group actions, elaborating on a previous work by Rosiński (Ann. Probab. 28:1797–1813, 2000). With the help of this connection, we study the extreme values of the field over increasing boxes. Depending on the ergodic theoretical and group theoretical structures of the underlying action, we observe different kinds of asymptotic behavior of this sequence of extreme values. Supported in part by NSF grant DMS-0303493, NSA grant MSPF-05G-049 and NSF training grant “Graduate and Postdoctoral Training in Probability and Its Applications” at Cornell University.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

Remarks on g-functions on H^n

In this paper, the authors study some properties of Littlewood-Paley g-functions gψ（f）,Lusin area functions Sψ,α（f） and Littlewood-Paley gψ^＊,λ（f） functions defined on H^n, where α,λ 〉 0 and ψ, f are suitable functions. They are the generalization of the corresponding operators on R^n.     

The excess of complex Hadamard matrices

A complex Hadamard matrix,C, of ordern has elements 1, –1,i, –i and satisfiesCC ^*=nI_nwhereC ^* denotes the conjugate transpose ofC. LetC=[c _ij] be a complex Hadamard matrix of order is called the sum ofC. (C)=|S(C)| is called the excess ofC. We study the excess of complex Hadamard matrices. As an application many real Hadamard matrices of large and maximal excess are obtained.Supported by an NSERC grant.Supported by Telecom grant 7027, an ATERB and ARC grant # A48830241.     

Isospectral deformations on Riemannian manifolds which are diffeomorphic to compact Heisenberg manifolds

It is known that ifH _m is the classical (2m+1)-dimensional Heisenberg group, Γ a cocompact discrete subgroup ofH _m andg a left invariant metric, then (Γ/H _{m, g}) is infinitesimally spectrally rigid within the family of left invariant metrics. The purpose of this paper is to show that for everym≥2 and for a certain choice of Γ andg, there is a deformation (Γ/H _{m, g α}) withg=g ₁ such that for every α≠1, (Γ/H _{m, g α})does admit a nontrivial isospectral deformation. For α≠1 the metricsg _α will not beH _m-left invariant, and the (Γ/H _m, gx_α) will not be nilmanifolds, but still solvmanifolds.     

Asymptotics of multinomial sums and identities between multi-integrals

We calculate the asymptotics of combinatorial sums ∑ _α f(α)( _α ⁿ ) ^β , whereα = (α ₁, …,α _h ) withα _i =α _j for certaini, j. Hereh is fixed and theα _i ’s are natural numbers. This implies the asymptotics of the correspondingS _n -character degrees ∑_λ f(λ)d _λ ^β . For certain sequences ofS _n characters which involve Young’s rule, the latter asymptotics were obtained earlier [1] by a different method. Equating the two asymptotics, we obtain equations between multi-integrals which involve Gaussian measures. Special cases here give certain extensions of the Mehta integral [5], [6]. Supported by the Weizmann Institute of Science, Rehovot, Israel; by the Institute for Advanced Study, Princeton, New Jersey, USA; NSF grant number DMS 9304580; and by the Centre National de Recherche Scientifique, Lille, France. This work was partially supported by an NSF grant number DMS 94-01197.     

Degenerate triply nonlinear problems with nonhomogeneous boundary conditions

The paper addresses the existence and uniqueness of entropy solutions for the degenerate triply nonlinear problem: b(v) _t − div α(v, ▽g(v)) = f on Q:= (0, T) × Ω with the initial condition b(v(0, ·)) = b(v ₀) on Ω and the nonhomogeneous boundary condition “v = u” on some part of the boundary (0, T) × ∂Ω”. The function g is continuous locally Lipschitz continuous and has a flat region [A ₁, A ₂,] with A ₁ ≤ 0 ≤ A ₂ so that the problem is of parabolic-hyperbolic type.     

Perfect Partitions of Convex Sets in the Plane

   Abstract. For a region X in the plane, we denote by area(X) the area of X and by ℓ (∂ (X)) the length of the boundary of X . Let S be a convex set in the plane, let n ≥ 2 be an integer, and let α ₁ , α ₂ , . . . ,α _n be positive real numbers such that α ₁ +α ₂ + ⋅ ⋅ ⋅ +α _n =1 and 0< α _i ≤ 1/2 for all 1 ≤ i ≤ n . Then we shall show that S can be partitioned into n disjoint convex subsets T ₁ , T ₂ , . . . ,T _n so that each T _i satisfies the following three conditions: (i) area(T _i )=α _i × area(S) ; (ii) ℓ (T _i ∩ ∂ (S))= α _i × ℓ (∂ (S)) ; and (iii) T _i ∩ ∂ (S) consists of exactly one continuous curve.     

Discriminant analysis for locally stationary processes

In this paper, we discuss discriminant analysis for locally stationary processes, which constitute a class of non-stationary processes. Consider the case where a locally stationary process {X_t,T} belongs to one of two categories described by two hypotheses π₁ and π₂. Here T is the length of the observed stretch. These hypotheses specify that {X_t,T} has time-varying spectral densities f(u,λ) and g(u,λ) under π₁ and π₂, respectively. Although Gaussianity of {X_t,T} is not assumed, we use a classification criterion D( f:g), which is an approximation of the Gaussian likelihood ratio for {X_t,T} between π₁ and π₂. Then it is shown that D( f:g) is consistent, i.e., the misclassification probabilities based on D( f:g) converge to zero as T→∞. Next, in the case when g(u,λ) is contiguous to f(u,λ), we evaluate the misclassification probabilities, and discuss non-Gaussian robustness of D( f:g). Because the spectra depend on time, the features of non-Gaussian robustness are different from those for stationary processes. It is also interesting to investigate the behavior of D( f:g) with respect to infinitesimal perturbations of the spectra. Introducing an influence function of D( f:g), we illuminate its infinitesimal behavior. Some numerical studies are given.