Representation of measurable functions by series in Walsh subsystems

For any sequence {ω(n)} _n∈ℕ tending to infinity we construct a “quasiquadratic” representation spectrum Λ = {n ² + o(ω(n))} _n∈ℕ: for any almost everywhere (a. e.) finite measurable function f(x) there exists a series in the form $ \mathop \sum \limits_{k \in \Lambda } $ \mathop \sum \limits_{k \in \Lambda } α _k ω _k (x) that converges a. e. to this function, where {w _k (x)} _k∈ℕ is the Walsh system. We find representation spectra in the form {n ^l + o(n ^l )} _n∈ℕ, where l ∈ {2 ^k } _k∈ℕ.     

Comparison of exact constants in Kolmogorov-type inequalities for periodic and nonperiodic functions of many variables

We investigate the correlation between the constants K(ℝⁿ) and , where

Comonotone approximation of twice differentiable periodic functions

In the case where a 2π-periodic function f is twice continuously differentiable on the real axis ℝ and changes its monotonicity at different fixed points y _i ∈ [− π, π), i = 1,…, 2s, s ∈ ℕ (i.e., on ℝ, there exists a set Y := {y _i } _i∈ℤ of points y _i = y _i+2s + 2π such that the function f does not decrease on [y _i , y _i−1] if i is odd and does not increase if i is even), for any natural k and n, n ≥ N(Y, k) = const, we construct a trigonometric polynomial T _n of order ≤n that changes its monotonicity at the same points y _i ∈ Y as f and is such that

Cohomology of graded lie algebras of maximal class with coefficients in the adjoint representation

We compute explicitly the adjoint cohomology of two ℕ-graded Lie algebras of maximal class (infinite-dimensional filiform Lie algebras) m₀ and m₂. It is known that up to an isomorphism there are only three ℕ-graded Lie algebras of maximal class. The third algebra from this list is the “positive” part L ₁ of the Witt (or Virasoro) algebra, and its adjoint cohomology was computed earlier by Feigin and Fuchs. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2008, Vol. 263, pp. 106–119.     

The Decomposition Dimension of Graphs

 For an ordered k-decomposition ? = {G ₁, G ₂,…,G _k } of a connected graph G and an edge e of G, the ?-representation of e is the k-tuple r(e|?) = (d(e, G ₁), d(e, G ₂),…,d(e, G _k )), where d(e, G _i ) is the distance from e to G _i . A decomposition ? is resolving if every two distinct edges of G have distinct representations. The minimum k for which G has a resolving k-decomposition is its decomposition dimension dec(G). It is shown that for every two positive integers k and n≥ 2, there exists a tree T of order n with dec(T) = k. It is also shown that dec(G) ≤n for every graph G of order n≥ 3 and that dec(K _n ) ≤⌊(2n + 5)/3⌋ for n≥ 3. Received: June 17, 1998 Final version received: August 10, 1999     

Upper bound theorems for homology manifolds

In this paper we prove the Upper Bound Conjecture (UBC) for some classes of (simplicial) homology manifolds: we show that the UBC holds for all odd-dimensional homology manifolds and for all 2k-dimensional homology manifolds Δ such that β _k (Δ)⩽Σ{β _i (Δ):i ≠k-2,k,k+2 and 1 ⩽i⩽2k-1}, where β _i (Δ) are reduced Betti numbers of Δ. (This condition is satisfied by 2k-dimensional homology manifolds with Euler characteristic χ≤2 whenk is even or χ≥2 whenk is odd, and for those having vanishing middle homology.) We prove an analog of the UBC for all other even-dimensional homology manifolds. Kuhnel conjectured that for every 2k-dimensional combinatorial manifold withn vertices, . We prove this conjecture for all 2k-dimensional homology manifolds withn vertices, wheren≥4k+3 orn≤3k+3. We also obtain upper bounds on the (weighted) sum of the Betti numbers of odd-dimensional homology manifolds.     

On the respective terms of the derived and the polycentral series of a free lie algabra and an ideal

Let F be a free Lie algebra of rank> 1 and S be an ideal of F. Denote by F_m and F_{n l},…,n_k the terms of the lower central and the polycentral series of F. The aim of this paper is to provide a sufficient condition for the quotient algebra F_{n l},…,n_k/S_{n l},…,n_k to be infinitely generated. The case F_m/S_m was studied in [6] for free groups and in [ 2 ] for free Lie algebras. In this paper the following main theorem is proved : If F = F2 = S, k > 1 and n_i > 1 for i=l,…, k, then F_{n l}…,n_k/S_{n l} is infinitely generated.     

Description of polygonal regions by polynomials of bounded degree

We show that every (possibly unbounded) convex polygon P in \mathbbR²{\mathbb{R}^2} with m edges can be represented by inequalities p ₁ ≥ 0, . . ., p _n ≥ 0, where the p _i ’s are products of at most k affine functions each vanishing on an edge of P and n = n(m, k) satisfies s(m, k) ￡ n(m, k) ￡ (1+e_m) s(m, k){s(m, k) \leq n(m, k) \leq (1+\varepsilon_m) s(m, k)} with s(m,k) ≔ max {m/k, log₂ m} and e_m ? 0{\varepsilon_m \rightarrow 0} as m ? ￥{m \rightarrow \infty}. This choice of n is asymptotically best possible. An analogous result on representing the interior of P in the form p ₁ > 0, . . ., p _n >  0 is also given. For k ≤ m/log₂ m these statements remain valid for representations with arbitrary polynomials of degree not exceeding k.     

Third power moments of the error terms corresponding to certain arithmetic functions

For positive integersn, letd(l ₁,M ₁;l ₂,M ₂;n) denote the number of factorizationsn=n ₁ n ₂ where each of the factorsn∈ℕ belongs to a prescribed congruence classl _i moduloM _i (i=1,2). In this article an asymptotic result is derived for the third power moment of the error term in the formula for the Dirichlet summmatory function ofd(l ₁,M ₁;l ₂,M ₂;n). This extends a recent result of [17] for the classic “unrestricted” case ofd(n)=d(1,1;1,1; n). Moreover, the technique developed is applied to the analogous problem related to Fourier coefficients of cusp forms. In memory of Professor Karl Prachar This article is part of a research project supported by theAustrian Science Foundation (Nr. P 9298-PHY)     

Moments of randomly stopped sums-revisited

Conditions are obtained for (*)E|S _T |^γ<∞, γ>2 whereT is a stopping time and {S _n=∑ ₁ ⁿ ,X _j ℱ _n ,n⩾1} is a martingale and these ensure when (**)X _n ,n≥1 are independent, mean zero random variables that (*) holds wheneverET ^γ/2<∞, sup _n≥1 E|X _n |^γ<∞. This, in turn, is applied to obtain conditions for the validity ofE|S _k,T |^γ<∞ and of the second moment equationES _k,T ² =σ ² EΣ _j=k ^T S _k−1,j−1 ² where and {X _n , n≥1} satisfies (**) and ,n≥1. The latter is utilized to elicit information about a moment of a stopping rule. It is also shown for i.i.d. {X _n , n≥1} withEX=0,EX ²=1 that the a.s. limit set of {(n log logn)^−k/2 S _k,n ,n≥k} is [0,2 ^k/2/k!] or [−2 ^k/2/k!] according ask is even or odd and this can readily be reformulated in terms of the corresponding (degenerate kernel)U-statistic .     

Convergence rates of the LIL for random fields in Hilbert spaces

Considering the positive d-dimensional lattice point Z ₊ ^d (d ≥ 2) with partial ordering ≤, let {X _k: k ∈ Z ₊ ^d } be i.i.d. random variables taking values in a real separable Hilbert space (H, ‖ · ‖) with mean zero and covariance operator Σ, and set $ S_n = \sum\limits_{k \leqslant n} {X_k } $ S_n = \sum\limits_{k \leqslant n} {X_k } , n ∈ Z ₊ ^d . Let σ _i ², i ≥ 1, be the eigenvalues of Σ arranged in the non-increasing order and taking into account the multiplicities. Let l be the dimension of the corresponding eigenspace, and denote the largest eigenvalue of Σ by σ ². Let logx = ln(x ∨ e), x ≥ 0. This paper studies the convergence rates for $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) $ \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}} P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt {2\left| n \right|\log \log \left| n \right|} } \right) . We show that when l ≥ 2 and b > −l/2, E[‖X‖²(log ‖X‖) ^d−2(log log ‖X‖) ^b+4] < ∞ implies $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} $ \begin{gathered} \mathop {\lim }\limits_{\varepsilon \searrow \sqrt {d - 1} } (\varepsilon ^2 - d + 1)^{b + l/2} \sum\limits_n {\frac{{\left( {\log \log \left| n \right|} \right)^b }} {{\left| n \right|\log \left| n \right|}}P\left( {\left\| {S_n } \right\| \geqslant \sigma \varepsilon \sqrt 2 \left| n \right|\log \log \left| n \right|} \right)} \hfill \\ = \frac{{K(\Sigma )(d - 1)^{\frac{{l - 2}} {2}} \Gamma (b + l/2)}} {{\Gamma (l/2)(d - 1)!}} \hfill \\ \end{gathered} , where Γ(·) is the Gamma function and $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } $ \prod\limits_{i = l + 1}^\infty {((\sigma ^2 - \sigma _i^2 )/\sigma ^2 )^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} } .     

ℓ<Superscript>1</Superscript>-spreading models in mixed Tsirelson spacemodels in mixed Tsirelson space

Suppose that (F _n ) _n=1 ^∞ is a sequence of regular families of finite subsets of ℝ and (θ _n ) _n=1 ^∞ is a nonincreasing null sequence in (0,1). The mixed Tsirelson spaceT[(θ _n ,F _n ) _n=1 ^∞ ] is the completion ofc ₀₀ with respect to the implicitly defined norm , where the last supremum is taken over all sequences (E _i ) _i=1 ^k in [ℕ]^<∞ such that maxE _i<minE _i +1 and . Necessary and sufficient conditions are obtained for the existence of higher order ℓ¹-spreading models in every subspace generated by a subsequence of the unit vector basis ofT[(θ _n ,F _n ) _n=1 ^∞ ].     

A characteristic property of spheres

Summary We prove: Let S be a closed n-dimensional surface in an(n+1)-space of constant curvature (n ≥ 2); k₁ ≥ ... ≥ k_n denote its principle curvatures. Let φ(ξ₁, ..., ξ_n) be such that . Then if φ(k₁, ..., k_n)=const on S and S is subject to some additional general conditions (those(II ₀) or(II) n^o 1), S is a sphere. To Enrico Bompiani on his scientific Jubilee     

Erdos-Ko-Rado Theorems of Labeled Sets

For k = (k1, ··· , kn) ∈ Nn, 1 ≤ k1 ≤···≤ kn, let Lkr be the family of labeled r-sets on k given by Lkr := {{(a1, la1), ··· , (ar, lar)} : {a1, ··· , ar} ■[n],lai ∈ [kai],i = 1, ··· , r}. A family A of labeled r-sets is intersecting if any two sets in A intersect. In this paper we give the sizes and structures of intersecting families of labeled r-sets.     

Integration of the lifting formulas and the cyclic homology of the algebras of differential operators

We integrate the Lifting cocycles Y_2n+1, Y_2n+3, Y_2n+5,? ([Sh1,2]) \Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,([\rm Sh1,2]) on the Lie algebra Dif_n of holomorphic differential operators on an n-dimensional complex vector space to the cocycles on the Lie algebra of holomorphic differential operators on a holomorphic line bundle l \lambda on an n-dimensional complex manifold M in the sense of Gelfand--Fuks cohomology [GF] (more precisely, we integrate the cocycles on the sheaves of the Lie algebras of finite matrices over the corresponding associative algebras). The main result is the following explicit form of the Feigin--Tsygan theorem [FT1]:¶¶ H^·_Lie(\frak g\frak l^fin_￥(Dif_n);\Bbb C) = ù^·(Y_2n+1, Y_2n+3, Y_2n+5,? ) H^\bullet_{\rm Lie}({\frak g}{\frak l}^{\rm fin}_\infty({\rm Dif}_n);{\Bbb C}) = \wedge^\bullet(\Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,) .     

On dimension of the Schur multiplier of nilpotent Lie algebras

Let L be an n-dimensional non-abelian nilpotent Lie algebra and $ s(L) = \frac{1} {2}(n - 1)(n - 2) + 1 - \dim M(L) $ s(L) = \frac{1} {2}(n - 1)(n - 2) + 1 - \dim M(L) where M(L) is the Schur multiplier of L. In [Niroomand P., Russo F., A note on the Schur multiplier of a nilpotent Lie algebra, Comm. Algebra (in press)] it has been shown that s(L) ≥ 0 and the structure of all nilpotent Lie algebras has been determined when s(L) = 0. In the present paper, we will characterize all finite dimensional nilpotent Lie algebras with s(L) = 1; 2.     

On Sums of Two Coprime k-th Powers(II)

For fixed k ≥ 3, let E_k(x) denote the error term of the sum ?_{n ￡ x}r_k(n)\sum_{n\le x}\rho_k(n) , where r_k(n) = ?_{n=|m|^k+|l|^k, g.c.d.(m,l)=1}\rho_k(n) = \sum_{n=|m|^k+|l|^k, g.c.d.(m,l)=1} 1. It is proved that if the Riemann hypothesis is true, then E₃(x) << x^331/1254+eE_3(x)\ll x^{331/1254+\varepsilon} , E₄(x) << x^37/184+eE_4(x)\ll x^{37/184+\varepsilon} . A short interval result is also obtained.     

A Ramsey-Sperner theorem

Letn≥k≥1 be integers and letf(n, k) be the smallest integer for which the following holds: If ℱ is a family of subsets of ann-setX with |ℱ|<f(n,k) then for everyk-coloring ofX there existA B ∈ ℱ,A∈B, A⊂B such thatB-A is monochromatic. Here it is proven that for a fixedk there exist constantsc _k andd _k such that and ask→∞. The proofs of both the lower and the upper bounds use probabilistic methods.     

Completely monotone multisequences, symmetric probabilities and a normal limit theorem

Let G _n,k be the set of all partial completely monotone multisequences of ordern and degreek, i.e., multisequencesc _n(β₁,β₂,…, β _k ), β₁,β₂,…, β_k = 0,1,2,…, β₁+β₂ + … +β _k ≤n,c _n(0,0,…, 0) = 1 and whenever β₀ ≤n - (β₁ + β₂ + … + β _k ) where Δc _n(β₁,β₂,…, β _k ) =c _n(β₁ + 1, β₂,…, β _k )+c _n(β₁,β₂+1,…, β _k )+…+c _n (β₁,β₂,…, β _k +1) -c _n(β₁,β₂,…, β _k ). Further, let Π _n,k be the set of all symmetric probabilities on {0,1,2,…,k} ⁿ . We establish a one-to-one correspondence between the sets G _n,k and Π _n,k and use it to formulate and answer interesting questions about both. Assigning to G _n,k the uniform probability measure, we show that, asn→∞, any fixed section {it{c_n}(β₁,β₂,…, β _k ), 1 ≤ Σβ _i ≤m}, properly centered and normalized, is asymptotically multivariate normal. That is, converges weakly to MVN[0, Σ _m ]; the centering constantsc ₀(β₁, β₂,…, β _k ) and the asymptotic covariances depend on the moments of the Dirichlet (1, 1,…, 1; 1) distribution on the standard simplex inR ^k.