Isomorphisms,definable relations,and Scott families for integral domains and commutative semigroups

In the present article, we prove the following four assertions: (1) For every computable successor ordinal α, there exists a Δ _α ⁰ -categorical integral domain (commutative semigroup) which is not relatively Δ _α ⁰ -categorical (i.e., no formally Σ _α ⁰ Scott family exists for such a structure). (2) For every computable successor ordinal α, there exists an intrinsically Σ _α ⁰ -relation on the universe of a computable integral domain (commutative semigroup) which is not a relatively intrinsically Σ _α ⁰ -relation. (3) For every computable successor ordinal α and finite n, there exists an integral domain (commutative semigroup) whose Δ _α ⁰ -dimension is equal to n. (4) For every computable successor ordinal α, there exists an integral domain (commutative semigroup) with presentations only in the degrees of sets X such that Δ _α ⁰ (X) is not Δ _α ⁰ . In particular, for every finite n, there exists an integral domain (commutative semigroup) with presentations only in the degrees that are not n-low.     

Refined Self-normalized Large Deviations for Independent Random Variables

Let X ₁,X ₂,…?, be independent random variables with EX _i =0 and write \(S_{n}=\sum_{i=1}^{n}X_{i}\) and \(V_{n}^{2}=\sum_{i=1}^{n}X_{i}^{2}\). This paper provides new refined results on the Cramér-type large deviation for the so-called self-normalized sum S _n /V _n . The major techniques used to derive these new findings are different from those used previously.     

The SL(<Emphasis Type="Italic">V</Emphasis>)-ample cone of product of flag varieties

Let k be an algebraically closed field, and V be a vector space of dimension n over k. For a set ω = (\(\vec d\)(1), ..., \(\vec d\)(m)) of sequences of positive integers, denote by L _ω the ample line bundle corresponding to the polarization on the product X = Π _i=1 ^m Flag(V, \(\vec n\)(i)) of flag varieties of type \(\vec n\)(i) determined by ω. We study the SL(V)-linearization of the diagonal action of SL(V) on X with respect to L _ω. We give a sufficient and necessary condition on ω such that X ^ss (L _ω) ≠ \(\not 0\) (resp., X ^s (L _ω) ≠ \(\not 0\)). As a consequence, we characterize the SL(V)-ample cone (for the diagonal action of SL(V) on X), which turns out to be a polyhedral convex cone.     

Rearranged series by Haar system

For the orthonormal Haar system {X _n} the paper proves that for each 0 < ? < 1 there exist a measurable set E ? [0, 1] with measure | E | > 1 ? ? and a series of the form Σ _n=1 ^∞ a _n X _n with a _i ↘ 0, such that for every function f ∈ L ¹(0, 1) one can find a function \(\tilde f\) ∈ L ¹(0, 1) coinciding with f on E, and a series of the form

$\sum\limits_{i = 1}^\infty {\delta _i a_i \chi _i } where \delta _i = 0 or 1$

, that would converge to \(\tilde f\) in L ¹(0, 1).

     

Exact distribution of MLE of covariance matrix in a GMANOVA-MANOVA model

For a GMANOVA-MANOVA model with normal error: Y = XB1Z1 T B2Z2 T E, E- Nq×n(0, In (?) ∑), the present paper is devoted to the study of distribution of MLE, ∑, of covariance matrix ∑. The main results obtained are stated as follows: (1) When rk(Z) -rk(Z2) ≥ q-rk(X), the exact distribution of ∑ is derived, where z = (Z1,Z2), rk(A) denotes the rank of matrix A. (2) The exact distribution of |∑| is gained. (3) It is proved that ntr{[S-1 - ∑-1XM(MTXT∑-1XM)-1MTXT∑-1]∑}has X2(q_rk(x))(n-rk(z2)) distribution, where M is the matrix whose columns are the standardized orthogonal eigenvectors corresponding to the nonzero eigenvalues of XT∑-1X.     

Note: A conjecture on partitions of groups

We conjecture that every infinite group G can be partitioned into countably many cells \(G = \bigcup\limits_{n \in \omega } {A_n }\) such that cov(A _n A _n ^?1 ) = |G| for each n ∈ ω Here cov(A) = min{|X|: X} ? G, G = X A}. We confirm this conjecture for each group of regular cardinality and for some groups (in particular, Abelian) of an arbitrary cardinality.     

On the approximation of continuous functions of two variables

It is shown that if P _m ^α,β (x) (α, β > ?1, m = 0, 1, 2, …) are the classical Jaboci polynomials, then the system of polynomials of two variables {Ψ _mn ^α,β (x, y)} _m,n=0 ^r = {P _m ^α,β (x)P _n ^α,β (y)} _{m, n=0} ^r (r = m + n ≤ N ? 1) is an orthogonal system on the set Ω _N×N = ?ub;(x _i , y _i ) _i,j=0 ^N , where x _i and y _i are the zeros of the Jacobi polynomial P _n ^α,β (x). Given an arbitrary continuous function f(x, y) on the square [?1, 1]², we construct the discrete partial Fourier-Jacobi sums of the rectangular type S _{m, n, N} ^α,β (f; x, y) by the orthogonal system introduced above. We prove that the order of the Lebesgue constants ∥S _{m, n, N} ^α,β ∥ of the discrete sums S _{m, n, N} ^α,β (f; x, y) for ?1/2 < α, β < 1/2, m + n ≤ N ? 1 is O((mn) ^{q + 1/2}), where q = max?ub;α,β?ub;. As a consequence of this result, several approximate properties of the discrete sums S _{m, n, N} ^α,β (f; x, y) are considered.     

Convergence and localization of multiple Fourier series for classes of bounded Λ-variation

Previously obtained results for convergence and localization of multiple trigonometric Fourier series for functions from classes of bounded Λ-variation and embedding of these classes into each other are strengthened in the paper. The case when sequences Λ and M have a limit of the ratio Σ _n=1 ^N 1/λ _n /Σ _n=1 ^N 1/µ _n is considered. A more strict condition, the existence of a limit for the ratio λ _n /µ _n was considered before.     

Isotopes of the alternative monster and the Skosyrsky algebra

We prove that the isotopes of the alternative monster and the Skosyrsky algebra satisfy the identity П_i=1⁴ [x_i, y_i] = 0. Hence, the algebras themselves satisfy the identity П_i=1⁴ (c, x_i, y_i) = 0. We also show that none of the identities П_i=1ⁿ(c, x_i, y_i) = 0 holds in all commutative alternative nil-algebras of index 3. Thus, we refute the Grishkov–Shestakov hypothesis about the structure of the free finitely generated commutative alternative nil-algebras of index 3.     

Self-normalized limit theorems for linear processes generated by <Emphasis Type="Italic">ρ</Emphasis>-mixing innovations<Superscript>*</Superscript>

In this paper, we study the asymptotic behavior of the self-normalizer V _n ² for partial sums of linear processes generated by strictly stationary ρ-mixing innovations with infinite variance. Further, by using this we derive self-normalized versions of the CLT, the functional CLT, and the almost sure CLT for partial sums of the processes.     

Series by Haar system with monotone coefficients

Let χ = {χ _n } _n=0 ^∞ be the Haar system normalized in L ²(0, 1) and M = {M _s } _s=1 ^∞ be an arbitrary, increasing sequence of nonnegative integers. For any subsystem of χ of the form {φ _k } = χS = {χ _n } _n∈S , where S = S(M) = {n _k } _k=1 ^∞ = {n ∈ V[p]: p ∈ M}, V[0] = {1, 2} and V[p] = {2 ^p + 1, 2 ^p + 2, …, 2 ^p+1} for p = 1, 2, … a series of the form Σ _i=1 ^∞ a _i φ _i with a _i ↘ 0 is constructed, that is universal with respect to partial series in all classes L ^r (0, 1), r ∈ (0, 1), in the sense of a.e. convergence and in the metric ofL ^r (0, 1). The constructed series is universal in the class of all measurable, finite functions on [0, 1] in the sense of a.e. convergence. It is proved that there exists a series by Haar system with decreasing coefficients, which has the following property: for any ? > 0 there exists a measurable function µ(x), x ∈ [0, 1], such that 0 ≤ µ(x) ≤ 1 and |{x ∈ [0, 1], µ(x) ≠ = 1}| < ?, and the series is universal in the weighted space L _µ[0, 1] with respect to subseries, in the sense of convergence in the norm of L _µ[0, 1].     

Invariance of the generalized oscillator under a linear transformation of the related system of orthogonal polynomials

We consider the families of polynomials P = { P _n (x)} _n=0 ^∞ and Q = { Q _n (x)} _n=0 ^∞ orthogonal on the real line with respect to the respective probability measures μ and ν. We assume that { Q _n (x)} _n=0 ^∞ and {P _n (x)} _n=0 ^∞ are connected by linear relations. In the case k = 2, we describe all pairs (P,Q) for which the algebras A _P and A _Q of generalized oscillators generated by { Qn(x)} _n=0 ^∞ and { Pn(x)} _n=0 ^∞ coincide. We construct generalized oscillators corresponding to pairs (P,Q) for arbitrary k ≥ 1.     

A numerical algorithm for solving a nonstationary problem of optimal control

Let {φ _n ^(α,β) (z)} _n=0 ^∞ be a system of Jacobi polynomials orthonormal on the circle |z| = 1 with respect to the weight (1 ? cos τ)^α+1/2(1 + cos τ)^β+1/2 (α, β > ?1), and let \(\psi _n^{\left( {\alpha ,\beta } \right)*} \left( z \right): = z^n \overline {\psi _n^{\left( {\alpha ,\beta } \right)} \left( {{1 \mathord{\left/ {\vphantom {1 {\bar z}}} \right. \kern-\nulldelimiterspace} {\bar z}}} \right)}\)). We establish relations between the polynomial φ _n ^(α,?1/2) (z) and the nth (C, α ? 1/2)-mean of the Maclaurin series for the function (1 ? z)^?α?3/2 and also between the polynomial φ _n ^(α,?1/2)* (z) and the nth (C, α + 1/2)-mean of the Maclaurin series for the function (1 ? z)^?α?1/2. We use these relations to derive an asymptotic formula for φ _n ^(α,?1/2) (z); the formula is uniform inside the disk |z| < 1. It follows that φ _n ^(α,?1/2) (z) ≠ 0 in the disk |z| ≤ ρ for fixed φ ∈ (0, 1) and α > ?1 if n is sufficiently large.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> estimates for Riesz transform and their commutators associated with Schrödinger type operator

Let H ₂ = (?Δ)² + V ² be the Schrödinger type operator, where V satisfies reverse Hölder inequality. In this paper, we establish the L ^p boundedness for V ² H ₂ ^?1 , H ₂ ^?1 V ², VH ₂ ^?1/2 and H ₂ ^?1 V ², and that of their commutators. We also prove that H ₂ ^?1 V ²,VH ₂ ^?1/2 are bounded from BMO _L to BMO _L .     

An additive cohomological equation and typical behavior of Birkhoff sums over a translation of the multidimensional torus

For a periodic function f with a given decrease of the moduli of its Fourier coefficients, we analyze the solvability of the equation \(w(T_\alpha x) - w(x) = f(x) - \smallint _{\mathbb{T}^d } f(t) dt\) and the asymptotic behavior of the Birkhoff sums Σ _s=0 ^n?1 f(T _α ^s x) for almost every α. The results obtained are applied to the study of ergodic properties of a cylindrical cascade and of a special flow on the torus.     

Graded Lie algebras with few nontrivial components

We prove that if a (?/n?)-graded Lie algebra L = ? _i=0 ^n?1 L _i has d nontrivial components L _i and the null component L ₀ has finite dimension m, then L has a homogeneous solvable ideal of derived length bounded by a function of d and of codimension bounded by a function of m and d. An analogous result holds also for the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 with few nontrivial components L _i if the null component L ₀ has finite order m. These results generalize Kreknin’s theorem on the solvability of the (?/n?)-graded Lie rings L = ? _i=0 ^n?1 L _i with trivial component L ₀ and Shalev’s theorem on the solvability of such Lie rings with few nontrivial components L _i . The proof is based on the method of generalized centralizers which was created by E. I. Khukhro for Lie rings and nilpotent groups with almost regular automorphisms of prime order [1], as well as on the technique developed in the work of N. Yu. Makarenko and E. I. Khukhro on the almost solvability of Lie algebras with an almost regular automorphism of finite order [2].     

A self-normalized law of the iterated logarithm for the geometrically weighted random series

Let {X, X_n; n ≥ 0} be a sequence of independent and identically distributed random variables with EX=0, and assume that EX~2I(|X| ≤ x) is slowly varying as x →∞, i.e., X is in the domain of attraction of the normal law. In this paper, a self-normalized law of the iterated logarithm for the geometrically weighted random series Σ~∞_(n=0)β~nX_n(0 β 1) is obtained, under some minimal conditions.     

Almost everywhere divergence of lacunary subsequences of partial sums of fourier series

If an increasing sequence {n _m } of positive integers and a modulus of continuity ω satisfy the condition Σ _m=1 ^∞ ω(1/n _m )/m < ∞, then it is known that the subsequence of partial sums \(S_{n_m } \left( {f,x} \right)\) converges almost everywhere to f(x) for any function f ∈ H ₁ ^ω . We show that this sufficient convergence condition is close to a necessary condition for a lacunary sequence {n _m }.     

Large Deviations for Symmetrised Empirical Measures

In this paper we prove a Large Deviation Principle for the sequence of symmetrised empirical measures \(\frac{1}{n}\sum_{i=1}^{n}\delta_{(X^{n}_{i},X^{n}_{\sigma_{n}(i)})}\) where σ _n is a random permutation and ((X _i ⁿ )_1≤i≤n ) _n≥1 is a triangular array of random variables with suitable properties. As an application we show how this result allows to improve the Large Deviation Principles for symmetrised initial-terminal conditions bridge processes recently established by Adams, Dorlas and König.     

Self-normalized moderate deviations for independent random variables

Let X1,X2,...be a sequence of independent random variables(r.v.s) belonging to the domain of attraction of a normal or stable law.In this paper,we study moderate deviations for the self-normalized sum ∑ni=1 Xi/Vn,p,where Vn,p =(∑ni=1 |Xi|p)1/p(p>1).Applications to the self-normalized law of the iterated logarithm,Studentized increments of partial sums,t-statistic,and weighted sum of independent and identically distributed(i.i.d.) r.v.s are considered.