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} , ω).     

Minimax goodness-of-fit testing in multivariate nonparametric regression

We consider an unknown response function f defined on Δ = [0, 1] ^d , 1 ≤ d ≤ ∞, taken at n random uniform design points and observed with Gaussian noise of known variance. Given a positive sequence r _n → 0 as n → ∞ and a known function f ₀ ∈ L ₂(Δ), we propose, under general conditions, a unified framework for goodness-of-fit testing the null hypothesis H ₀: f = f ₀ against the alternative H ₁: f ∈ $ \mathcal{F} $ \mathcal{F} , ∥f − f ₀∥ ≥ r _n , where $ \mathcal{F} $ \mathcal{F} is an ellipsoid in the Hilbert space L ₂(Δ) with respect to the tensor product Fourier basis and ∥ · ∥ is the norm in L ₂(Δ). We obtain both rate and sharp asymptotics for the error probabilities in the minimax setup. The derived tests are inherently non-adaptive. Several illustrative examples are presented. In particular, we consider functions belonging to ellipsoids arising from the well-known multidimensional Sobolev and tensor product Sobolev norms as well as from the less-known Sloan-Woźniakowski norm and a norm constructed from multivariable analytic functions on the complex strip.     

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 .     

On equivalences of derived and singular categories

Let X and Y be two smooth Deligne-Mumford stacks and consider a pair of functions f: X → $ \mathbb{A}^1 $ \mathbb{A}^1 , g:Y → $ \mathbb{A}^1 $ \mathbb{A}^1 . Assuming that there exists a complex of sheaves on X × $ \mathbb{A}^1 $ \mathbb{A}^1 Y which induces an equivalence of D ^b (X) and D ^b (Y), we show that there is also an equivalence of the singular derived categories of the fibers f ⁻¹(0) and g ⁻¹(0). We apply this statement in the setting of McKay correspondence, and generalize a theorem of Orlov on the derived category of a Calabi-Yau hypersurface in a weighted projective space, to products of Calabi-Yau hypersurfaces in simplicial toric varieties with nef anticanonical class.     

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.     

Trace class Toeplitz operators with unbounded symbols on weighted Bergman spaces

In this note we construct a function φ in L2（Bn,dμ） which is unbounded on any neighborhood of each boundary point of Bn such that Tφ is a trace class operator on weighted Bergman space Lα2（Bn,dμ） for several complex variables.     

Hereditarily indecomposable Banach algebras of diagonal operators

We provide a characterization of the Banach spaces X with a Schauder basis (e _n ) _n∈ℕ which have the property that the dual space X* is naturally isomorphic to the space L _diag(X) of diagonal operators with respect to (e _n ) _n∈ℕ. We also construct a Hereditarily Indecomposable Banach space $ \mathfrak{X} $ \mathfrak{X} _D with a Schauder basis (e _n ) _n∈ℕ such that $ \mathfrak{X} $ \mathfrak{X} *_D is isometric to L _diag($ \mathfrak{X} $ \mathfrak{X} _D) with these Banach algebras being Hereditarily Indecomposable. Finally, we show that every T ∈ L _diag($ \mathfrak{X} $ \mathfrak{X} _D) is of the form T = λI + K, where K is a compact operator.     

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.     

On the error terms for representation numbers of quadratic forms

Let f be a primitive positive integral binary quadratic form of discriminant −D, and r _f (n) the number of representations of n by f up to automorphisms of f. We first improve the error term E(x) of $ \sum\limits_{n \leqq x} {r_f (n)^\beta } $ \sum\limits_{n \leqq x} {r_f (n)^\beta } for any positive integer β. Next, we give an estimate of ∫₁ ^T |E(x)|² x ^−3/2 dx when β = 1.     

Multidimensional analog of the Hardy condition for power series

In the middle of the 20th century Hardy obtained a condition which must be imposed on a formal power series f(x) with positive coefficients in order that the series f ⁻¹(x) = $ \sum\limits_{n = 0}^\infty {b_n x^n } $ \sum\limits_{n = 0}^\infty {b_n x^n } b _n x ⁿ be such that b ₀ > 0 and b _n ≤ 0, n ≥ 1. In this paper we find conditions which must be imposed on a multidimensional series f(x ₁, x ₂, …, x _m ) with positive coefficients in order that the series f ⁻¹(x ₁, x ₂, …, x _m ) = $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } $ \sum i_1 ,i_2 , \ldots ,i_m \geqslant 0^b i_1 ,i_2 , \ldots ,i_m ^{x_1^{i_1 } x_2^{i_2 } \ldots x_m^{i_m } } satisfies the property b _{0, …, 0} > 0, $ bi_1 ,i_2 , \ldots ,i_m $ bi_1 ,i_2 , \ldots ,i_m ≤ 0, i ₁² + i ₂² + … + i _m ² > 0, which is similar to the one-dimensional case.     

Exponential convergence in probability for empirical means of Lévy processes

Let （Xt）t≥0 be a Lévy process taking values in R^d with absolutely continuous marginal distributions. Given a real measurable function f on R^d in Kato＇s class, we show that the empirical mean 1/t ∫ f（Xs）ds converges to a constant z in probability with an exponential rate if and only if f has a uniform mean z. This result improves a classical result of Kahane et al. and generalizes a similar result of L. Wu from the Brownian Motion to general Lévy processes.     

Distortio n theorems o n the Lie ball $$ \mathcal{R}_{IV} $$ ( n) i n ℂ n

In this paper, we introduce the subfamilies H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) of holomorphic mappings defined on the Lie ball $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n) which reduce to the family of holomorphic mappings and the family of locally biholomorphic mappings when m = 1 and m → +∞, respectively. Various distortion theorems for holomophic mappings H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are established. The distortion theorems coincide with Liu and Minda’s as the special case of the unit disk. When m = 1 and m → +∞, the distortion theorems reduce to the results obtained by Gong for $ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n), respectively. Moreover, our method is different. As an application, the bounds for Bloch constants of H _m ($ \mathcal{R}_{IV} $ \mathcal{R}_{IV} (n)) are given.     

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

Dual Riemannian spaces of constant curvature on a normalized hypersurface

In this paper, the following results are obtained: 1) It is proved that, in the fourth order differential neighborhood, a regular hypersurface V _n−1 embedded into a projective-metric space K _n , n ≥ 3, intrinsically induces a dual projective-metric space $ \bar K_n $ \bar K_n . 2) An invariant analytical condition is established under which a normalization of a hypersurface V _n−1 ⊂ K _n (a tangential hypersurface $ \bar V_{n - 1} $ \bar V_{n - 1} ⊂ $ \bar K_n $ \bar K_n ) by quasitensor fields H _n ⁱ , H _i ($ \bar H_n^i $ \bar H_n^i , $ \bar H_i $ \bar H_i ) induces a Riemannian space of constant curvature. If the two conditions are fulfilled simultaneously, the spaces R _n−1 and $ \bar R_{n - 1} $ \bar R_{n - 1} are spaces of the same constant curvature $ K = - \tfrac{1} {c} $ K = - \tfrac{1} {c} . 3) Geometric interpretations of the obtained analytical conditions are given.     

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.     

Rate of decay of weakly lacunary series

Let function f(z) ≠ 0 be analytic in the unit disk and have sparse nonzero Taylor coefficients. Then the rate of decay of the function f as x → 1 − 0 depends on the rate of sparseness of its nonzero Taylor coefficients. In this paper, we consider the case f(z) = $ \sum\nolimits_{k = 0}^\infty {a_k z^{n_k } } $ \sum\nolimits_{k = 0}^\infty {a_k z^{n_k } } , where n _k ≥ A ₀(k + 2) ^p logb(k + 2).     

Smooth maps of a foliated manifold in a symplectic manifold

Let M be a smooth manifold with a regular foliation $ \mathcal{F} $ \mathcal{F} and a 2-form ω which induces closed forms on the leaves of $ \mathcal{F} $ \mathcal{F} in the leaf topology. A smooth map f: (M, $ \mathcal{F} $ \mathcal{F} ) → (N, σ) in a symplectic manifold (N, σ) is called a foliated symplectic immersion if f restricts to an immersion on each leaf of the foliation and further, the restriction of f*σ is the same as the restriction of ω on each leaf of the foliation. If f is a foliated symplectic immersion then the derivative map Df gives rise to a bundle morphism F: TM → T N which restricts to a monomorphism on T $ \mathcal{F} $ \mathcal{F} ⊆ T M and satisfies the condition F*σ = ω on T $ \mathcal{F} $ \mathcal{F} . A natural question is whether the existence of such a bundle map F ensures the existence of a foliated symplectic immersion f. As we shall see in this paper, the obstruction to the existence of such an f is only topological in nature. The result is proved using the h-principle theory of Gromov.     

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

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.