Analogues of Horn’s theorem for finite unions of starshaped sets in ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Fix k, d, 1 ≤ k ≤ d + 1. Let $ \mathcal{F} $ \mathcal{F} be a nonempty, finite family of closed sets in ℝ ^d , and let L be a (d − k + 1)-dimensional flat in ℝ ^d . The following results hold for the set T ≡ ∪{F: F in $ \mathcal{F} $ \mathcal{F} }. Assume that, for every k (not necessarily distinct) members F ₁, …, F _k of $ \mathcal{F} $ \mathcal{F} ,∪{F _i : 1 ≤ i ≤ k} is starshaped and the corresponding kernel contains a translate of L. Then T is starshaped, and its kernel also contains a translate of L.     

On rigidity of Clifford torus in a unit sphere

We extend the scalar curvature pinching theorems due to Peng-Terng, Wei-Xu and Suh-Yang. Let M be an n-dimensional compact minimal hypersurface in S n+1 satisfying Sf 4 f_3~2 ≤ 1/n S~3 , where S is the squared norm of the second fundamental form of M, and f_k =sum λ_i~k from i and λ_i (1 ≤ i ≤ n) are the principal curvatures of M. We prove that there exists a positive constant δ(n)(≥ n/2) depending only on n such that if n ≤ S ≤ n + δ(n), then S ≡ n, i.e., M is one of the Clifford torus S~k ((k/n)~1/2 ) ×S~...     

Wavelet approximation and Fourier widths of classes of periodic functions of several variables. I

We obtain characterizations (and prove the corresponding equivalence of norms) of function spaces B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) of Nikol’skii-Besov and Lizorkin-Triebel types, respectively, in terms of representations of functions in these spaces by Fourier series with respect to a multiple system $ \mathcal{W}_m^\mathbb{I} $ \mathcal{W}_m^\mathbb{I} of Meyer wavelets and in terms of sequences of the Fourier coefficients with respect to this system. We establish order-sharp estimates for the approximation of functions in B _pq ^sm ($ \mathbb{I} $ \mathbb{I} ) and L _pq ^sm ($ \mathbb{I} $ \mathbb{I} ^k ) by special partial sums of these series in the metric of L _r ($ \mathbb{I} $ \mathbb{I} ^k ) for a number of relations between the parameters s, p, q, r, and m (s = (s ₁, ..., s _n ) ∈ ℝ₊ ⁿ , 1 ≤ p, q, r ≤ ∞, m = (m ₁, ..., m _n ) ∈ ℕ ⁿ , k = m ₁ +... + m _n , and $ \mathbb{I} $ \mathbb{I} = ℝ or $ \mathbb{T} $ \mathbb{T} ). In the periodic case, we study the Fourier widths of these function classes.     

Global solutions of the evolutionary Faddeev model with small initial data

We consider the Cauchy problem for evolutionary Faddeev model corresponding to maps from the Minkowski space ℝ¹⁺ⁿ to the unit sphere $ \mathbb{S} $ \mathbb{S} ², which obey a system of non-linear wave equations. The nonlinearity enjoys the null structure and contains semi-linear terms, quasi-linear terms and unknowns themselves. We prove that the Cauchy problem is globally well-posed for sufficiently small initial data in Sobolev space.     

On the sharp Jackson-Nikol’skii inequality for algebraic polynomials on a multidimensional Euclidean sphere

The best constant C _n,m in the Jackson-Nikol’skii inequality between the uniform and integral norms of algebraic polynomials of a given total degree n ≥ 0 on the unit sphere $ \mathbb{S}^{m - 1} $ \mathbb{S}^{m - 1} of the Euclidean space ℝ ^m is studied. Two-sided estimates for the constant C _n,m are obtained, which, in particular, give the order n ^m−1 of its behavior with respect to n as n → +∞ for a fixed m.     

Spaces with fibered approximation property in dimension <Emphasis Type="Italic">n</Emphasis>

A metric space M is said to have the fibered approximation property in dimension n (briefly, M ∈ FAP(n)) if for any ɛ > 0, m ≥ 0 and any map g: $ \mathbb{I} $ \mathbb{I} ^m × $ \mathbb{I} $ \mathbb{I} ⁿ → M there exists a map g′: $ \mathbb{I} $ \mathbb{I} ^m × $ \mathbb{I} $ \mathbb{I} ⁿ → M such that g′ is ɛ-homotopic to g and dim g′ ({z} × $ \mathbb{I} $ \mathbb{I} ⁿ ) ≤ n for all z ∈ $ \mathbb{I} $ \mathbb{I} ^m . The class of spaces having the FAP(n)-property is investigated in this paper. The main theorems are applied to obtain generalizations of some results due to Uspenskij [11] and Tuncali-Valov [10].     

Real moments of the restrictive factor

Let λ be a real number such that 0 < λ < 1. We establish asymptotic formulas for the weighted real moments Σ _n≤x R ^λ (n)(1 − n/x), where R(n) =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu - 1} } is the Atanassov strong restrictive factor function and n =$ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } $ \prod\nolimits_{\nu = 1}^k {p_\nu ^{\alpha _\nu } } is the prime factorization of n.     

Descriptive set-theoretical properties of an abstract density operator

Let $ \mathcal{K} $ \mathcal{K} (ℝ) stand for the hyperspace of all nonempty compact sets on the real line and let d ^±(x;E) denote the (right- or left-hand) Lebesgue density of a measurable set E ⊂ ℝ at a point x∈ ℝ. In [3] it was proved that

On holomorphic solutions of some inhomogeneous linear differential equations in a banach space over a non-archimedean field

Let A be a closed linear operator on a Banach space $ \mathfrak{B} $ \mathfrak{B} over the field Ω of complex p-adic numbers having an inverse operator defined on the whole $ \mathfrak{B} $ \mathfrak{B} , and f be a locally holomorphic at 0 $ \mathfrak{B} $ \mathfrak{B} -valued vector function. The problem of existence and uniqueness of a locally holomorphic at 0 solution of the differential equation y ^(m) − Ay = f is considered in this paper. In particular, it is shown that this problem is solvable under the condition $ \mathop {\lim }\limits_{n \to \infty } \sqrt[n]{{\left\| {A^{ - n} } \right\|}} $ \mathop {\lim }\limits_{n \to \infty } \sqrt[n]{{\left\| {A^{ - n} } \right\|}} = 0. It is proved also that if the vector-function f is entire, then there exists a unique entire solution of this equation. Moreover, the necessary and sufficient conditions for the Cauchy problem for such an equation to be correctly posed in the class of locally holomorphic functions are presented.     

New improvements on connectivity of cages

A (δ, g)-cage is a δ-regular graph with girth g and with the least possible number of vertices. In this paper, we show that all (δ, g)-cages with odd girth g ≥ 9 are r-connected, where (r − 1)² ≤ δ + $ \sqrt \delta $ \sqrt \delta − 2 < r ² and all (δ, g)-cages with even girth g ≥ 10 are r-connected, where r is the largest integer satisfying $ \frac{{r\left( {r - 1} \right)^2 }} {4} + 1 + 2r\left( {r - 1} \right) \leqslant \delta $ \frac{{r\left( {r - 1} \right)^2 }} {4} + 1 + 2r\left( {r - 1} \right) \leqslant \delta . These results support a conjecture of Fu, Huang and Rodger that all (δ, g)-cages are δ-connected.     

Strict topology over the space of measures with continuous translations on a locally compact foundation semigroup

Let $ \mathfrak{S} $ \mathfrak{S} be a locally compact semigroup, ω be a weight function on $ \mathfrak{S} $ \mathfrak{S} , and M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) be the weighted semigroup algebra of $ \mathfrak{S} $ \mathfrak{S} . Let L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) be the C*-algebra of all M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)-measurable functions g on $ \mathfrak{S} $ \mathfrak{S} such that g/ω vanishes at infinity. We introduce and study a strict topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) and show that the Banach space L ₀^∞ ($ \mathfrak{S} $ \mathfrak{S} ; M _a ($ \mathfrak{S} $ \mathfrak{S} , ω)) can be identified with the dual of M _a ($ \mathfrak{S} $ \mathfrak{S} , ω) endowed with β ¹($ \mathfrak{S} $ \mathfrak{S} , ω). We finally investigate some properties of the locally convex topology β ¹($ \mathfrak{S} $ \mathfrak{S} , ω) on M _a ($ \mathfrak{S} $ \mathfrak{S} , ω).     

Local limit theorem for the first crossing time of a fixed level by a random walk

Let X,X(1),X(2),... be independent identically distributed random variables with mean zero and a finite variance. Put S(n) = X(1) + ... + X(n), n = 1, 2,..., and define the Markov stopping time η _y = inf {n ≥ 1: S(n) ≥ y} of the first crossing a level y ≥ 0 by the random walk S(n), n = 1, 2,.... In the case $ \mathbb{E} $ \mathbb{E} |X|³ < ∞, the following relation was obtained in [8]: $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) $ \mathbb{P}\left( {\eta _0 = n} \right) = \frac{1} {{n\sqrt n }}\left( {R + \nu _n + o\left( 1 \right)} \right) as n → ∞, where the constant R and the bounded sequence ν _n were calculated in an explicit form. Moreover, there were obtained necessary and sufficient conditions for the limit existence $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ H\left( y \right): = \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0, and there was found a representation for H(y). The present paper was motivated by the following reason. In [8], the authors unfortunately did not cite papers [1, 5] where the above-mentioned relations were obtained under weaker restrictions. Namely, it was proved in [5] the existence of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _y = n} \right) for every fixed y ≥ 0 under the condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ only; In [1], an explicit form of the limit $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) $ \mathop {\lim }\limits_{n \to \infty } n^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} \mathbb{P}\left( {\eta _0 = n} \right) was found under the same condition $ \mathbb{E} $ \mathbb{E} X ² < ∞ in the case when the summand X has an arithmetic distribution. In the present paper, we prove that the main assertion in [5] fails and we correct the original proof. It worth noting that this corrected version was formulated in [8] as a conjecture.     

The best extension of algebraic polynomials from the unit circle

We study the class $ \mathfrak{P}_n $ \mathfrak{P}_n of algebraic polynomials P _n (x, y) in two variables of total degree n whose uniform norm on the unit circle Γ₁ centered at the origin is at most 1: $ \left\| {P_n } \right\|_{C(\Gamma _1 )} $ \left\| {P_n } \right\|_{C(\Gamma _1 )} ≤ 1. The extension of polynomials from the class $ \mathfrak{P}_n $ \mathfrak{P}_n to the plane with the least uniform norm on the concentric circle Γ _r of radius r is investigated. It is proved that the values θ _n (r) of the best extension of the class $ \mathfrak{P}_n $ \mathfrak{P}_n satisfy the equalities θ _n (r) = r ⁿ for r > 1 and θ _n (r) = r ⁿ⁻¹ for 0 < r < 1.     

A cohomological steinness criterion for holomorphically spreadable complex spaces

Let X be a complex space of dimension n, not necessarily reduced, whose cohomology groups H ¹(X, $ \mathcal{O} $ \mathcal{O} ), ...,H ⁿ⁻¹(X, $ \mathcal{O} $ \mathcal{O} ) are of finite dimension (as complex vector spaces). We show that X is Stein (resp., 1-convex) if, and only if, X is holomorphically spreadable (resp., X is holomorphically spreadable at infinity).     

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}} } .     

Integral-type operators from a mixed norm space to a bloch-type space on the unit ball

Let $ \mathbb{B} $ \mathbb{B} be the unit ball in ℂ ⁿ and let H($ \mathbb{B} $ \mathbb{B} ) be the space of all holomorphic functions on $ \mathbb{B} $ \mathbb{B} . We introduce the following integral-type operator on H($ \mathbb{B} $ \mathbb{B} ):

Linear maps that strongly preserve regular matrices over the Boolean algebra

The set of all m × n Boolean matrices is denoted by $ \mathbb{M} $ \mathbb{M} _m,n . We call a matrix A ∈ $ \mathbb{M} $ \mathbb{M} _m,n regular if there is a matrix G ∈ $ \mathbb{M} $ \mathbb{M} _n,m such that AGA = A. In this paper, we study the problem of characterizing linear operators on $ \mathbb{M} $ \mathbb{M} _m,n that strongly preserve regular matrices. Consequently, we obtain that if min{m, n} ⩽ 2, then all operators on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserve regular matrices, and if min{m, n} ⩾ 3, then an operator T on $ \mathbb{M} $ \mathbb{M} _m,n strongly preserves regular matrices if and only if there are invertible matrices U and V such that T(X) = UXV for all X ε $ \mathbb{M} $ \mathbb{M} _m,n , or m = n and T(X) = UX ^T V for all X ∈ $ \mathbb{M} $ \mathbb{M} _n .     

Congruence formulae modulo powers of 2 for class numbers of cyclic quartic fields

Let K = $ k(\sqrt \theta ) $ k(\sqrt \theta ) be a real cyclic quartic field, k be its quadratic subfield and $ \tilde K = k(\sqrt { - \theta } ) $ \tilde K = k(\sqrt { - \theta } ) be the corresponding imaginary quartic field. Denote the class numbers of K, k and $ \tilde K $ \tilde K by h _K , h _k and {417-3} respectively. Here congruences modulo powers of 2 for h ⁻ = h _K /h _K and $ \tilde h^ - = h_{\tilde K} /h_k $ \tilde h^ - = h_{\tilde K} /h_k are obtained via studying the p-adic L-functions of the fields.