2-Arc-transitive cyclic covers of $$K_{n,n}$$

In this paper, a complete classification is achieved of all the regular covers of the complete bipartite graphs \(K_{n,n}\) with cyclic covering transformation group, whose fibre-preserving automorphism group acts 2-arc-transitively. All these covers consist of one threefold covers of \(K_{6,6}\), one twofold cover of \(K_{12, 12}\) and one infinite family X(r, p) of p-fold covers of \(K_{p^r,p^r}\) with p a prime and r an integer such that \(p^r\ge 3\). This infinite family X(r, p) can be derived by a very simple and nice voltage assignment f as follows: \(X(r, p)=K_{p^r, p^r}\times _f \mathbb {Z}_p\), where \(K_{p^r, p^r}\) is a complete bipartite graph with the bipartition \(V=\{ \alpha \bigm |\alpha \in V(r,p)\}\cup \{ \alpha '\bigm |\alpha \in V(r,p)\}\) for the r-dimensional vector space V(r, p) over the field of order p and \(f_{\alpha ,\beta '}=\sum _{i=1}^ra_ib_i,\,\, \mathrm{for\,\,all}\,\,\alpha =(a_i)_r, \beta =(b_i)_r\in V(r,p)\).     

On criteria of estimation of the errors of cubature formulas

The paper considers cubature formulas for calculating integrals of functions f(X), X = (x ₁, …, x _n ) which are defined on the n-dimensional unit hypercube K ⁿ = [0, 1] ⁿ and have integrable mixed derivatives of the kind \(\partial _{\begin{array}{*{20}c} {\alpha _1 \alpha _n } \\ {x_1 , \ldots , x_n } \\ \end{array} } f(X)\), 0 ≤ α _j ≤ 2. We estimate the errors R[f] = \(\smallint _{K^n } \) f(X)dX ? Σ _{k = 1} ^N c _k f(X(k)) of cubature formulas (c _k > 0) as functions of the weights c _k of nodes X(k) and properties of integrable functions. The error is estimated in terms of the integrals of the derivatives of f over r-dimensional faces (r≤n) of the hypercube K ⁿ : |R(f)| ≤ \(\sum _{\alpha _j } \) G(α _j )\(\int_{K^r } {\left| {\partial _{\begin{array}{*{20}c} {\alpha _1 \alpha _n } \\ {x_1 , \ldots , x_n } \\ \end{array} } f(X)} \right|} \) dX _r , where coefficients G(α _j ) are criteria which depend only on parameters c _k and X(k). We present an algorithm to calculate these criteria in the two- and n-dimensional cases. Examples are given. A particular case of the criteria is the discrepancy, and the algorithm proposed is a generalization of those used to compute the discrepancy. The results obtained can be used for optimization of cubature formulas as functions of c _k and X(k).     

Hardy and Carleson Measure Spaces Associated with Operators on Spaces of Homogeneous Type

Let (X, d, μ) be a metric measure space with doubling property. The Hardy spaces associated with operators L were introduced and studied by many authors. All these spaces, however, were first defined by L ²(X) functions and finally the Hardy spaces were formally defined by the closure of these subspaces of L ²(X) with respect to Hardy spaces norms. A natural and interesting question in this context is to characterize the closure. The purpose of this paper is to answer this question. More precisely, we will introduce \({CMO}_{L}^{p}(X)\), the Carleson measure spaces associated with operators L, and characterize the Hardy spaces associated with operators L via \(({CMO}_{L}^{p}(X))'\), the distributions of \({CMO}_{L}^{p}(X)\).     

Removability of isolated singularities for anisotropic elliptic equations with gradient absorption

We study the well-posedness of the third-order degenerate differential equation \(\left( {{P_3}} \right):\alpha {\left( {Mu} \right)^{\prime \prime \prime }}\left( t \right) + {\left( {Mu} \right)^{\prime \prime }}\left( t \right) = \beta Au\left( t \right) + f\left( t \right)\), (t ∈ [0, 2p]) with periodic boundary conditions \(Mu\left( 0 \right) = Mu\left( {2\pi } \right),\;Mu'\left( 0 \right) = Mu'\left( {2\pi } \right),\;Mu''\left( 0 \right) = Mu''\left( {2\pi } \right)\), in periodic Lebesgue–Bochner spaces L^p(T,X), periodic Besov spaces B_p,q^s(T,X) and periodic Triebel–Lizorkin spaces F_p,q^s(T,X), where A, B and M are closed linear operators on a Banach space X satisfying D(A) \( \cap \)D(B) ? D(M) and α, β, γ ∈ R. Using known operator-valued Fourier multiplier theorems, we completely characterize the well-posedness of (P₃) in the above three function spaces.     

Regular maps of graphs of order 4<Emphasis Type="Italic">p</Emphasis>

A 2-cell embedding f : X → S of a graph X into a closed orientable surface S can be described combinatorially by a pair M = (X;ρ ) called a map, where ρ is a product of disjoint cycle permutations each of which is the permutation of the arc set of X initiated at the same vertex following the orientation of S . It is well known that the automorphism group of M acts semi-regularly on the arc set of X and if the action is regular, then the map M and the embedding f are called regular. Let p and q be primes. Du et al. [J. Algebraic Combin., 19, 123-141 (2004)] classified the regular maps of graphs of order pq . In this paper all pairwise non-isomorphic regular maps of graphs of order 4 p are constructed explicitly and the genera of such regular maps are computed. As a result, there are twelve sporadic and six infinite families of regular maps of graphs of order 4 p ; two of the infinite families are regular maps with the complete bipartite graphs K2p,2p as underlying graphs and the other four infinite families are regular balanced Cayley maps on the groups Z4p , Z22 × Zp and D4p .     

Generalized Lebesgue points for Sobolev functions

In many recent articles, medians have been used as a replacement of integral averages when the function fails to be locally integrable. A point x in a metric measure space (X, d, μ) is called a generalized Lebesgue point of a measurable function f if the medians of f over the balls B(x, r) converge to f(x) when r converges to 0. We know that almost every point of a measurable, almost everywhere finite function is a generalized Lebesgue point and the same is true for every point of a continuous function. We show that a function f ∈ M ^s,p (X), 0 < s ≤ 1, 0 < p < 1, where X is a doubling metric measure space, has generalized Lebesgue points outside a set of \(\mathcal{H}^h\)-Hausdorff measure zero for a suitable gauge function h.     

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

     

Cardinality of the Ellis semigroup on compact metric countable spaces

Let E(X, f) be the Ellis semigroup of a dynamical system (X, f) where X is a compact metric space. We analyze the cardinality of E(X, f) for a compact countable metric space X. A characterization when E(X, f) and \(E(X,f)^* = E(X,f) \setminus \{ f^n : n \in \mathbb {N}\}\) are both finite is given. We show that if the collection of all periods of the periodic points of (X, f) is infinite, then E(X, f) has size \(2^{\aleph _0}\). It is also proved that if (X, f) has a point with a dense orbit and all elements of E(X, f) are continuous, then \(|E(X,f)| \le |X|\). For dynamical systems of the form \((\omega ^2 +1,f)\), we show that if there is a point with a dense orbit, then all elements of \(E(\omega ^2+1,f)\) are continuous functions. We present several examples of dynamical systems which have a point with a dense orbit. Such systems provide examples where \(E(\omega ^2+1,f)\) and \(\omega ^2+1\) are homeomorphic but not algebraically homeomorphic, where \(\omega ^2+1\) is taken with the usual ordinal addition as semigroup operation.     

On Elliptic Extensions in the Disk

Given two arbitrary functions f ⁽⁰⁾, f ⁽¹⁾ on the boundary of the unit disk D in \({\mathbb R}^2\), it is shown that there exists a second order uniformly elliptic operator L and a function v in L ^p , with L ^p second derivatives (1?p?Lv?=?0 a.e. in D and with v?=?f ⁽⁰⁾ and \(\frac{ \partial v}{\partial n} = f^{(1)}\) on \(\partial{D}\). A similar extension property was proved in Cavazzoni (2003) for any pair of functions f ⁽⁰⁾, f ⁽¹⁾ that are analytic; a result is obtained under weaker regularity assumptions, e.g. with \(\frac{\partial f^{(0)}}{\partial \theta}\) and f ⁽¹⁾ Hölder continuous with exponent \(\eta > \frac{1}{2}\).     

Riesz transform characterization of Hardy spaces associated with Schrödinger operators with compactly supported potentials

Let L=?Δ+V be a Schrödinger operator on ? ^d , d≥3. We assume that V is a nonnegative, compactly supported potential that belongs to L ^p (? ^d ), for some p>d /2. Let K _t be the semigroup generated by ?L. We say that an L ¹(? ^d )-function f belongs to the Hardy space \(H^{1}_{L}\) associated with L if sup?_t>0|K _t f| belongs to L ¹(? ^d ). We prove that \(f\in H^{1}_{L}\) if and only if R _j f∈L ¹(? ^d ) for j=1,…,d, where R _j =(?/? x _j )L ^?1/2 are the Riesz transforms associated with L.     

Interpolation of vector measures

Let (Ω, Σ) be a measurable space and m ₀: Σ → X ₀ and m ₁: Σ → X ₁ be positive vector measures with values in the Banach Köthe function spaces X ₀ and X ₁. If 0 < α < 1, we define a new vector measure [m ₀, m ₁] _α with values in the Calderón lattice interpolation space X ₀ ^1?ga X ₁ ^α and we analyze the space of integrable functions with respect to measure [m ₀, m ₁] _α in order to prove suitable extensions of the classical Stein-Weiss formulas that hold for the complex interpolation of L ^p -spaces. Since each p-convex order continuous Köthe function space with weak order unit can be represented as a space of p-integrable functions with respect to a vector measure, we provide in this way a technique to obtain representations of the corresponding complex interpolation spaces. As applications, we provide a Riesz-Thorin theorem for spaces of p-integrable functions with respect to vector measures and a formula for representing the interpolation of the injective tensor product of such spaces.     

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.     

Almost Sure Limit of the Smallest Eigenvalue of Some Sample Correlation Matrices

Let X ⁽ⁿ⁾=(X _ij ) be a p×n data matrix, where the n columns form a random sample of size n from a certain p-dimensional distribution. Let R ⁽ⁿ⁾=(ρ _ij ) be the p×p sample correlation coefficient matrix of X ⁽ⁿ⁾, and \(S^{(n)}=(1/n)X^{(n)}(X^{(n)})^{\ast}-\bar{X}\bar{X}^{\ast}\) be the sample covariance matrix of X ⁽ⁿ⁾, where \(\bar{X}\) is the mean vector of the n observations. Assuming that X _ij are independent and identically distributed with finite fourth moment, we show that the smallest eigenvalue of R ⁽ⁿ⁾ converges almost surely to the limit \((1-\sqrt{c}\,)^{2}\) as n→∞ and p/n→c∈(0,∞). We accomplish this by showing that the smallest eigenvalue of S ⁽ⁿ⁾ converges almost surely to \((1-\sqrt{c}\,)^{2}\).     

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

Legendre–Fenchel transform of the spectral exponent of polynomials of weighted composition operators

For the spectral radius of weighted composition operators with positive weight e ^φ T _α , \({\varphi\in C(X)}\) , acting in the spaces L ^p (X, μ) the following variational principle holds

$\ln r(e^\varphi T_\alpha)=\max_{\nu\in M^1_\alpha} \left\{\int\limits_X\varphi d\nu-\frac{\tau_\alpha(\nu)}{p}\right\},$

where X is a Hausdorff compact space, \({\alpha:X\mapsto X}\) is a continuous mapping and τ _α some convex and lower semicontinuous functional defined on the set \({M^1_\alpha}\) of all Borel probability and α-invariant measures on X. In other words \({\frac{\tau_\alpha}{p}}\) is the Legendre– Fenchel conjugate of ln r(e ^φ T _α ). In this paper we consider the polynomials with positive coefficients of weighted composition operator of the form \({A_{\varphi, {\bf c}}= \sum_{k=0}^n e^{c_k} (e^{\varphi} T_{\alpha})^k}\) , \({{\bf c}=(c_k)\in {\Bbb R}^{n+1}}\) . We derive two formulas on the Legendre–Fenchel transform of the spectral exponent ln r(A _φ,c) considering it firstly depending on the function φ and the variable c and secondly depending only on the function φ, by fixing c.

     

Reflexivity and the Grothendieck property for positive tensor products of Banach lattices-I

Let X be a Banach lattice and p, p′ be real numbers such that 1 < p, p′<∞ and 1/p + 1/p′ = 1. Then \({\ell_p\hat{\otimes}_FX}\) (respectively, \({\ell_p\tilde{\otimes}_{i}X}\)), the Fremlin projective (respectively, the Wittstock injective) tensor product of ? _p and X, has reflexivity or the Grothendieck property if and only if X has the same property and each positive linear operator from ? _p (respectively, from ? _p′) to X* (respectively, to X**) is compact.     

The dual space of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of a vector measure

For a vector measure ν having values in a real or complex Banach space and \({p \in}\) [1, ∞), we consider L ^p (ν) and \({L_{w}^{p}(\nu)}\), the corresponding spaces of p-integrable and scalarly p-integrable functions. Given μ, a Rybakov measure for ν, and taking q to be the conjugate exponent of p, we construct a μ-Köthe function space E _q (μ) and show it is σ-order continuous when p > 1. In this case, for the associate spaces we prove that L ^p (ν) ^×  = E _q (μ) and \({E_q(\mu)^\times = L_w^p(\nu)}\). It follows that \({L_p (\nu) ^{**} = L_w^p (\nu)}\). We also show that L ¹ (ν) ^×  may be equal or not to E _∞ (μ).     

The weighted Hardy spaces associated to self-adjoint operators and their duality on product spaces

Let L be a non-negative self-adjoint operator acting on L²(R ⁿ ) satisfying a pointwise Gaussian estimate for its heat kernel. Let w be an A _r weight on R ⁿ × R ⁿ , 1 < r < ∞. In this article we obtain a weighted atomic decomposition for the weighted Hardy space H _L,w ^p (R ⁿ ×R ⁿ ), 0 < p ≤ 1 associated to L. Based on the atomic decomposition, we show the dual relationship between H _L,w ¹ (R ⁿ × R ⁿ ) and BMO_L,w(R ⁿ × R ⁿ ).     

A Refinement of the Kolmogorov–Marcinkiewicz–Zygmund Strong Law of Large Numbers

Let {X _n ; n≥1} be a sequence of independent copies of a real-valued random variable X and set S _n =X ₁+???+X _n , n≥1. This paper is devoted to a refinement of the classical Kolmogorov–Marcinkiewicz–Zygmund strong law of large numbers. We show that for 0<p<2,

$\sum_{n=1}^{\infty}\frac{1}{n}\biggl(\frac{|S_{n}|}{n^{1/p}}\biggr)<\infty\quad \mbox{almost surely}$

if and only if

$\begin{cases}\mathbb{E}|X|^{p}<\infty &; \mbox{if }0 < p < 1,\\\mathbb{E}X=0,\ \sum_{n=1}^{\infty}\frac{|\mathbb{E}XI\{|X|\leq n\}|}{n}<\infty,\mbox{ and }\\\sum_{n=1}^{\infty}\frac{\int_{\min\{u_{n},n\}}^{n}\mathbb{P}(|X|>t)\,dt}{n}<\infty &; \mbox{if }p = 1,\\\mathbb{E}X=0\mbox{ and }\int_{0}^{\infty}\mathbb{P}^{1/p}(|X|>t)\,dt<\infty,&;\mbox{if }1 < p < 2,\end{cases}$

where \(u_{n}=\inf \{t:~\mathbb{P}(|X|>t)<\frac{1}{n}\}\), n≥1. Versions of the above result in a Banach space setting are also presented. To establish these results, we invoke the remarkable Hoffmann-Jørgensen (Stud. Math. 52:159–186, 1974) inequality to obtain some general results for sums of the form \(\sum_{n=1}^{\infty}a_{n}\|\sum_{i=1}^{n}V_{i}\|\) (where {V _n ; n≥1} is a sequence of independent Banach-space-valued random variables, and a _n ≥0, n≥1), which may be of independent interest, but which we apply to \(\sum_{n=1}^{\infty}\frac{1}{n}(\frac{|S_{n}|}{n^{1/p}})\).