Matrix Transformations of the Maddox Vector-Valued Sequence Spaces

In this paper, we give the matrix characterizations from any normal vector-valued FK-space containing ø(X) into scalar-valued sequence space c(q) and by applying this result, we also obtain necessary and sufficient conditions for infinite matrices mapping the sequence spaces , and F_r(X, p) into the space c(q), where p = (Pk) and q = (qk) are bounded sequences of positive real numbers and r 0.AMS Subject Classification (2000): 46A45.     

Matrix Transformations Between Some Vector-Valued Sequence Spaces

In this paper, we give necessary and sufficient conditions for infinite matrices mapping from the Nakano vector-valued sequence space (X, p) into any BK-space, and by using this result, we obtain the matrix characterizations from (X, p) into the sequence spaces (Y), c₀(Y, q), c(Y), _s(Y), E_r(Y), and F_r(Y), where p = (p_k) and q = (q_k) are bounded sequences of positive real numbers such that p_k 1 for all k N, r 0, and s 1.AMS Subject Classification (2000): 46A45     

On the Structure of a Certain Class of Mixed Tsirelson Spaces

We study Banach spaces of the form We call such a space a p-space, p[1,), if for every k the space is isomorphic to _pk and the sequence (p_k) strictly decreases to p. We examine the finite block representability of the spaces _r in a p-space proving that it depends not only on p but also on the sequences (p_k) and (n_k). Assuming that _i n_i ^1/q decreases to 0, where q is the conjugate exponent of p, we prove the existence of an asymptotic biorthogonal system in X and also that c ₀ is finitely representable in X. Moreover we investigate the modified versions of p-spaces proving that, if n_km1/pkm-1/pk_m-1 increases to infinity for a subsequence (n_km) , then ₁ embeds into X. We also investigate complemented minimality for the class of spaces where is either a subsequence of the sequence of Schreier classes ( _n)_{n N} or a subsequence of ( _n)_{n N}.     

The evaluation of Tornheim double sums. Part 2

We provide an explicit formula for the Tornheim double series T(a,0,c) in terms of an integral involving the Hurwitz zeta function. For integer values of the parameters, a=m, c=n, we show that in the most interesting case of even weight N:=m+n the Tornheim sum T(m,0,n) can be expressed in terms of zeta values and the family of integrals

Discretization of Compact Riemannian Manifolds Applied to the Spectrum of Laplacian

For κ ⩾ 0 and r₀ > 0 let ℳ(n, κ, r₀) be the set of all connected, compact n-dimensional Riemannian manifolds (Mⁿ, g) with Ricci (M, g) ⩾ −(n−1) κ g and Inj (M) ⩾ r₀. We study the relation between the kth eigenvalue λ_k(M) of the Laplacian associated to (Mⁿ,g), Δ = −div(grad), and the kth eigenvalue λ_k(X) of a combinatorial Laplacian associated to a discretization X of M. We show that there exist constants c, C > 0 (depending only on n, κ and r₀) such that for all M ∈ ℳ(n, κ, r₀) and X a discretization of for all k < |X|. Then, we obtain the same kind of result for two compact manifolds M and N ∈ ℳ(n, κ, r₀) such that the Gromov–Hausdorff distance between M and N is smaller than some η > 0. We show that there exist constants c, C > 0 depending on η, n, κ and r₀ such that for all . Mathematics Subject Classification (2000): 58J50, 53C20 Supported by Swiss National Science Foundation, grant No. 20-101 469     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

A note on a conjecture of Borwein and Choi

A polynomial P(X) with coefficients {ǃ} of odd degree N - 1 is cyclotomic if and only if¶¶P(X) = ±F_p1 (±X)F_p2(±X^p1) ?F_pr(±X^{p1 p2 ?p_r-1}) P(X) = \pm \Phi_{p1} (\pm X)\Phi_{p2}(\pm X^{p1}) \cdots \Phi_{p_r}(\pm X^{p1 p2 \cdots p_r-1}) ¶where N = p₁ p₂ · · · p_r and the p_i are primes, not necessarily distinct, and where F_p(X) : = (X^p - 1) / (X - 1) \Phi_{p}(X) := (X^{p} - 1) / (X - 1) is the p-th cyclotomic polynomial. This is a conjecture of Borwein and Choi [1]. We prove this conjecture for a class of polynomials of degree N - 1 = 2^r p^l - 1 N - 1 = 2^{r} p^{\ell} - 1 for any odd prime p and for integers r, l\geqq 1 r, \ell \geqq 1 .     

General Hypergeometric Functions of Matrices and their Connection to Representations of Linear Groups and Lie Algebras

One considers Gelfand’s hypergeometric functions on the space of p×q matrices and their generalizations to the case of multi-dimensional matrices of arbitrary order k ₁×???×k _p. It is shown that these functions form bases of some $\frak g$ -modules, where $\frak g=\frak{gl}(p,\mathbb{C})\times\frak{gl}(q,\mathbb{C})$ or $\frak g=\frak{gl}(k_{1},\mathbb{C})\times\cdots\times\frak{gl}(k_{p},\mathbb{C})$ , respectively.     

Grothendieck’s comparison theorem and multivariable Fredholm theory

We use a variant of Grothendieck’s comparison theorem to show that, for a Fredholm tuple T ∈ L(X)ⁿ on a complex Banach space, there are isomorphisms . We conclude that a Fredholm tuple T ∈ L(X)ⁿ satisfies Bishop’s property (β) at z = 0 if and only if the vanishing conditions hold for . We apply these observations and results from commutative algebra to show that a graded tuple on a Hilbert space is Fredholm if and only if it satisfies Bishop’s property (β) at z = 0 and that, in this case, its cohomology groups can grow at most like k^p. Received: 14 January 2009     

Another construction for large sets of Kirkman triple systems

A large set of Kirkman triple systems of order v, denoted by LKTS(v), is a collection , where every is a KTS(v) and all form a partition of all triples on X. In this article, we give a new construction for LKTS(6v + 3) via OLKTS(2v + 1) with a special property and obtain new results for LKTS, that is there exists an LKTS(3v) for , where p, q ≥ 0, r _i , s _j ≥ 1, q _i is a prime power and mod 12.      

A new characterization for some linear groups

Let G be a group and π _e (G) be the set of element orders of G. Let k ? p_e(G){k\in\pi_e(G)} and m _k be the number of elements of order k in G. Let nse(G) = {m_k|k ? p_e(G)}{{\rm nse}(G) = \{m_k|k\in\pi_e(G)\}} . In Shen et al. (Monatsh Math, 2009), the authors proved that A₄ @ PSL(2, 3), A₅ @ PSL(2, 4) @ PSL(2,5){A_4\cong {\rm PSL}(2, 3), A_5\cong \rm{PSL}(2, 4)\cong \rm{PSL}(2,5)} and A₆ @ PSL(2,9){A_6\cong \rm{PSL}(2,9)} are uniquely determined by nse(G). In this paper, we prove that if G is a group such that nse(G) = nse(PSL(2, q)), where q ? {7,8,11,13}{q\in\{7,8,11,13\}} , then G @ PSL(2,q){G\cong {PSL}(2,q)} .     

Topological dimensions and multifractal Rényi dimensions of Polish spaces: a multifractal Szpilrajn type theorem

In this paper we consider the relationship between the topological dimension and the lower and upper q-Rényi dimensions and of a Polish space X for q ∈ [1, ∞]. Let and denote the Hausdorff dimension and the packing dimension, respectively. We prove that for all analytic metric spaces X (whose upper box dimension is finite) and all q ∈ (1, ∞); of course, trivially, for all q ∈ [1, ∞]. As a corollary to this we obtain the following result relating the topological dimension and the lower and upper q-Rényi dimensions: for all Polish spaces X and all q ∈ [1, ∞]; in (1) and (2) we have used the following notation, namely, for two metric spaces X and Y, we write X ∼ Y if and only if X is homeomorphic to Y. Equality (1) has recently been proved for q = ∞ by Myjak et al. Author’s address: Department of Mathematics, University of St. Andrews, St. Andrews, Fife KY16 9SS, Scotland     

Micro-Local Analysis with Fourier Lebesgue Spaces. Part?I

Let ω,ω ₀ be appropriate weight functions and q∈[1,∞]. We introduce the wave-front set, WF_FL^q(w)(f)\mathrm{WF}_{\mathcal{F}L^{q}_{(\omega)}}(f) of f ? S￠f\in \mathcal{S}' with respect to weighted Fourier Lebesgue space FL^q_(w)\mathcal{F}L^{q}_{(\omega )}. We prove that usual mapping properties for pseudo-differential operators Op (a) with symbols a in S^(w₀)_r,0S^{(\omega _{0})}_{\rho ,0} hold for such wave-front sets. Especially we prove that

Domination inequality for martingale transforms of a Rademacher sequence

Letf _n = Σ _k=1 ⁿ v _k r _k ,n=1,…, be a martingale transform of a Rademacher sequence (r _n)and let (r _n ^′ ) be an independent copy of (r _n).The main result of this paper states that there exists an absolute constantK such that for allp, 1≤p<∞, the following inequality is true: In order to prove this result, we obtain some inequalities which may be of independent interest. In particular, we show that for every sequence of scalars (a _n)one has where is theK-interpolation norm between ℓ₁ and ℓ₂. We also derive a new exponential inequality for martingale transforms of a Rademacher sequence. This research was supported in part by an NSF grant and an FRPD grant at NCSU.     

Estimates for functionals by deviations of the Riesz sums in seminormed spaces

Suppose that (X, p) is a sermonized space, is a linearly independent system of elements in X, is a sequence of linear bounded functionals such that c _k (x _l ) = δ _kl ,

Classification of all noncommutative polynomials whose Hessian has negative signature one and a noncommutative second fundamental form

Every symmetric polynomial p = p(x) = p(x ₁,..., x _g ) (with real coefficients) in g noncommuting variables x ₁,..., x _g can be written as a sum and difference of squares of noncommutative polynomials:

Summation of weakly dependent sequences by Cesàro methods

Пусть (X, A, u) — пространст во с конечной мерой, (ξ_k) ₁ ^∞ — последовательност ь функций, \(\xi _k \varepsilon L_{2r} (X), r > 1, \int\limits_X {\xi _k d\mu = 0} \) . Изучаются условия, п ри которых справедли вgа - у. з. б.ч., т. e. (ξ _k) суммируется к ну лю почти всюду методо м (С, а),а > 0. Приведем два резу льтата. 1) Если (ξ _k) — слабо мульт ипликативная систем а (в частности, мартингал-разности или независимая сист ема), то условие $$\mathop \sum \limits_1^\infty \mathop {\smallint }\limits_X \left| {\xi _k } \right|^{2r} d\mu \cdot c_r (k,\alpha )< \infty $$ влечетβ - у.з.б.ч. Здесьc _r(k,α)=k ^-2rα при 0<α<(r+1)/2r, c_r=k^?(r+1) In3r-1 k приа=(r+1)/2r, с_r=k^?(r+1) при а >(r+1)/2r. 2) Если (ξ _k) независимы,Mξ _k=0, (r+1)/2r<α=1, то условия $$\mathop \sum \limits_{k = 1}^\infty \frac{{(M\xi _k^2 )^r }}{{k^{r + 1} }}< \infty ,\mathop \sum \limits_{k = 1}^\infty \frac{{M|\xi _k |^{2r} }}{{k^{2r\alpha } }}< \infty $$ влекут за собой а - у. з. б. ч.     

Improved bounds on the Hadwiger–Debrunner numbers

Let HD _d (p, q) denote the minimal size of a transversal that can always be guaranteed for a family of compact convex sets in Rd which satisfy the (p, q)-property (p ≥ q ≥ d + 1). In a celebrated proof of the Hadwiger–Debrunner conjecture, Alon and Kleitman proved that HD _d (p, q) exists for all p ≥ q ≥ d + 1. Specifically, they prove that \(H{D_d}(p,d + 1)is\tilde O({p^{{d^2} + d}})\).We present several improved bounds: (i) For any \(q \geqslant d + 1,H{D_d}(p,d) = \tilde O({p^{d(\frac{{q - 1}}{{q - d}})}})\). (ii) For q ≥ log p, \(H{D_d}(p,q) = \tilde O(p + {(p/q)^d})\). (iii) For every ? > 0 there exists a p₀ = p₀(?) such that for every p ≥ p₀ and for every \(q \geqslant {p^{\frac{{d - 1}}{d} + \in }}\) we have p ? q + 1 ≤ HD _d (p, q) ≤ p ? q + 2. The latter is the first near tight estimate of HD _d (p, q) for an extended range of values of (p, q) since the 1957 Hadwiger–Debrunner theorem.We also prove a (p, 2)-theorem for families in R² with union complexity below a specific quadratic bound.     

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Let X be a metric measure space with an s-regular measure μ. We prove that if A ì X{A\subset X} is r{\varrho} -porous, then dim_p(A) ￡ s-cr^s{{\rm {dim}_p}(A)\le s-c\varrho^s} where dim_p is the packing dimension and c is a positive constant which depends on s and the structure constants of μ. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if μ is a doubling measure. However, in the doubling case we find a fixed N ì X{N\subset X} with μ(N) = 0 such that dim_p(A) ￡ dim_p(X)-c(log\tfrac1r)^-1r^t{{\rm {dim}_p}(A)\le{\rm {dim}_p}(X)-c(\log \tfrac1\varrho)^{-1}\varrho^t} for all r{\varrho} -porous sets A ì X\ N{A \subset X{\setminus} N} . Here c and t are constants which depend on the structure constant of μ. Finally, we characterize uniformly porous sets in complete s-regular metric spaces in terms of regular sets by verifying that A is uniformly porous if and only if there is t < s and a t-regular set F such that A ì F{A\subset F} .     

A Quadrature Formula for Diffusion Polynomials Corresponding to a Generalized Heat Kernel

Let {φ _k } be an orthonormal system on a quasi-metric measure space  ${\mathbb{X}}Let {φ _k } be an orthonormal system on a quasi-metric measure space  \mathbbX{\mathbb{X}}, {ℓ _k } be a nondecreasing sequence of numbers with lim  _k→∞ ℓ _k =∞. A diffusion polynomial of degree L is an element of the span of {φ _k :ℓ _k ≤L}. The heat kernel is defined formally by K_t(x,y)=?_k=0^￥exp(-l_k²t)f_k(x)[`(f_k(y))]K_{t}(x,y)=\sum_{k=0}^{\infty}\exp(-\ell _{k}^{2}t)\phi_{k}(x)\overline{\phi_{k}(y)}. If T is a (differential) operator, and both K _t and T _y K _t have Gaussian upper bounds, we prove the Bernstein inequality: for every p, 1≤p≤∞ and diffusion polynomial P of degree L, ‖TP‖ _p ≤c ₁ L ^c ‖P‖ _p . In particular, we are interested in the case when \mathbbX{\mathbb{X}} is a Riemannian manifold, T is a derivative operator, and p 1 2p\not=2. In the case when \mathbbX{\mathbb{X}} is a compact Riemannian manifold without boundary and the measure is finite, we use the Bernstein inequality to prove the existence of quadrature formulas exact for integrating diffusion polynomials, based on an arbitrary data. The degree of the diffusion polynomials for which this formula is exact depends upon the mesh norm of the data. The results are stated in greater generality. In particular, when T is the identity operator, we recover the earlier results of Maggioni and Mhaskar on the summability of certain diffusion polynomial valued operators.