Generalized Absolute Values and Polar Decompositions of a Bounded Operator

Generalized absolute values as well as corresponding to them generalized polar decompositions of a bounded linear operator T of a Hilbert space H{\mathcal{H}} into a Hilbert space K{\mathcal{K}} are defined, motivated by the inequality |áTx, y?_K|² ￡ á|T|x, x?_Há|T^*|y, y?_K{|\langle{Tx}, {y}\rangle}_{\mathcal{K}}|^2 \leq \langle|T|x, {x}\rangle_{\mathcal{H}}\langle{|T^{*}|y}, {y}\rangle_{\mathcal{K}} . It is shown that there is a natural bijection between generalized absolute values of T and of T* which sends |T| to |T*|. For a bounded nonnegative operator A on H{\mathcal{H}} and a bounded Borel function f: \mathbbR₊ ? \mathbbR₊{f: \mathbb{R}_+ \to \mathbb{R}_+} , equivalent conditions for A and f(|T|) to be generalized absolute values of T are established and corresponding to them generalized absolute values of T* are determined.     

Arithmetic of semigroups of series in multiplicative systems

We study the arithmetic of a semigroup M_P\mathcal{M}_{\mathcal{P}} of functions with operation of multiplication representable in the form f(x) = ?_{n = 0}^￥ a_nc_n(x)    ( a_n 3 0,?_{n = 0}^￥ a_n = 1 ) f(x) = \sum\nolimits_{n = 0}^\infty {{a_n}{\chi_n}(x)\quad \left( {{a_n} \ge 0,\sum\nolimits_{n = 0}^\infty {{a_n} = 1} } \right)} , where { c_n }_{n = 0}^￥ \left\{ {{\chi_n}} \right\}_{n = 0}^\infty is a system of multiplicative functions that are generalizations of the classical Walsh functions. For the semigroup M_P\mathcal{M}_{\mathcal{P}}, analogs of the well-known Khinchin theorems related to the arithmetic of a semigroup of probability measures in R ⁿ are true. We describe the class I₀(M_P)I_0(\mathcal{M}_{\mathcal{P}}) of functions without indivisible or nondegenerate idempotent divisors and construct a class of indecomposable functions that is dense in M_P\mathcal{M}_{\mathcal{P}} in the topology of uniform convergence.     

Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces

We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( A^a ) ?R( A^a ) )_q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.     

Asymptotic property of approximation to x αsgn x by Newman Type Operators

Approximation to the function ｜x｜ plays an important role in approximation theory. This paper studies the approximation to the function xαsgn x, which equals ｜x｜ if α = 1. We construct a Newman Type Operator rn（x） and prove max ｜x｜≤1｜xαsgn x-rn（x）｜～Cn1/4e-π1/2（1/2）αn.     

Sharp Kolmogorov-type inequalities for norms of fractional derivatives of multivariate functions

Let C( \mathbbR^m ) C\left( {{\mathbb{R}^m}} \right) be the space of bounded and continuous functions x:\mathbbR^m ? \mathbbR x:{\mathbb{R}^m} \to \mathbb{R} equipped with the norm

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Measure preserving transformations of jump Lévy processes

Let x(t),t ? [ 0,1 ] \xi (t),t \in \left[ {0,1} \right] , be a jump Lévy process. By P_x {\mathcal{P}_\xi } we denote the law of in the Skorokhod space \mathbbD {\mathbb{D}} [0, 1]. Under some nondegeneracy condition on the Lévy measure Λ of the process, we construct a group of P_x {\mathcal{P}_\xi } -preserving transformations of the space \mathbbD {\mathbb{D}} [0, 1]. Bibliography: 10 titles.     

Holomorphic Extension Theorems in Lipschitz Domains of {\mathbb{C}}^{2}

The holomorphic functions of several complex variables are closely related to the continuously differentiable solutions $f : {\mathbb{R}}^{2n} \mapsto {\mathbb{C}}_{n}$f : {\mathbb{R}}^{2n} \mapsto {\mathbb{C}}_{n} of the so called isotonic system

Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

Around splitting and reaping for partitions of ω

We investigate splitting number and reaping number for the structure (ω) ^ω of infinite partitions of ω. We prove that \mathfrakr_d ￡ non(M),non(N),\mathfrakd{\mathfrak{r}_{d}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N}),\mathfrak{d}} and \mathfraks_d 3 \mathfrakb{\mathfrak{s}_{d}\geq\mathfrak{b}} . We also show the consistency results ${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})}${\mathfrak{r}_{d} > \mathfrak{b}, \mathfrak{s}_{d} < \mathfrak{d}, \mathfrak{s}_{d} < \mathfrak{r}, \mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and ${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})}${\mathfrak{s}_{d} > \mathsf{cof}(\mathcal{M})} . To prove the consistency \mathfrakr_d < add(M){\mathfrak{r}_{d} < \mathsf{add}(\mathcal{M})} and \mathfraks_d < cof(M){\mathfrak{s}_{d} < \mathsf{cof}(\mathcal{M})} we introduce new cardinal invariants \mathfrakr_pair{\mathfrak{r}_{pair}} and \mathfraks_pair{\mathfrak{s}_{pair}} . We also study the relation between \mathfrakr_pair, \mathfraks_pair{\mathfrak{r}_{pair}, \mathfrak{s}_{pair}} and other cardinal invariants. We show that cov(M),cov(N) ￡ \mathfrakr_pair ￡ \mathfraks_d,\mathfrakr{\mathsf{cov}(\mathcal{M}),\mathsf{cov}(\mathcal{N})\leq\mathfrak{r}_{pair}\leq\mathfrak{s}_{d},\mathfrak{r}} and \mathfraks ￡ \mathfraks_pair ￡ non(M),non(N){\mathfrak{s}\leq\mathfrak{s}_{pair}\leq\mathsf{non}(\mathcal{M}),\mathsf{non}(\mathcal{N})} .     

Estimates of the Solutions of Strongly Degenerate Elliptic Equations in Weighted Sobolev Spaces

Let W ì \mathbbRⁿ \Omega \subset \mathbb{R}^n be an open set and l(x) | u |_p,l = ( ò_W l^p (x)| u(x) |^p dx )^1/p \text (1 \leqslant p < + ￥\text),\left| u \right|_{p,l} = \left( {\int\limits_\Omega {l^p (x)\left| {u(x)} \right|^p dx} } \right)^{1/p} {\text{ (1}} \leqslant p < + \infty {\text{),}}     

Closed-Range Composition Operators on {\mathbb{A}^2} and the Bloch Space

For any analytic self-map j{\varphi} of {z : |z| <  1} we give four separate conditions, each of which is necessary and sufficient for the composition operator C_j{C_{\varphi}} to be closed-range on the Bloch space B{\mathcal{B}} . Among these conditions are some that appear in the literature, where we provide new proofs. We further show that if C_j{C_{\varphi}} is closed-range on the Bergman space \mathbbA²{\mathbb{A}^2} , then it is closed-range on B{\mathcal{B}} , but that the converse of this fails with a vengeance. Our analysis involves an extension of the Julia-Carathéodory Theorem.     

On the Circumference of 2-Connected $$\mathcal{P}_{3}$$-Dominated Graphs

Let G be a connected graph. For at distance 2, we define , and , if then . G is quasi-claw-free if it satisfies , and G is P ₃-dominated() if it satisfies , for every pair (x, y) of vertices at distance 2. Certainly contains as a subclass. In this paper, we prove that the circumference of a 2-connected P ₃-dominated graph G on n vertices is at least min or , moreover if then G is hamiltonian or , where is a class of 2-connected nonhamiltonian graphs.     

Representation of Polynomials by Linear Combinations of Radial Basis Functions

Let ${\mathcal {P}_{n}^{d}}$ denote the space of polynomials on ? ^d of total degree n. In this work, we introduce the space of polynomials ${\mathcal {Q}_{2 n}^{d}}$ such that ${\mathcal {P}_{n}^{d}}\subset {\mathcal {Q}_{2 n}^{d}}\subset\mathcal{P}_{2n}^{d}$ and which satisfy the following statement: Let h be any fixed univariate even polynomial of degree n and $\mathcal{A}$ be a finite set in ? ^d . Then every polynomial P from the space  ${\mathcal {Q}_{2 n}^{d}}$ may be represented by a linear combination of radial basis functions of the form h(∥x+a∥), $a\in \mathcal{A}$ , if and only if the set $\mathcal{A}$ is a uniqueness set for the space  ${\mathcal {Q}_{2 n}^{d}}$ .     

Pointwise estimates for Lagrange interpolation polynomials

Let f ∈ C[?1, 1]. Let the approximation rate of Lagrange interpolation polynomial of f based on the nodes $ \left\{ {\cos \frac{{2k - 1}} {{2n}}\pi } \right\} \cup \{ - 1,1\} $ be Δ _{n + 2}(f, x). In this paper we study the estimate of Δ _{n + 2}(f,x), that keeps the interpolation property. As a result we prove that $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left| {T_n (x)} \right|\ln (n + 1) + \omega \left( {f,\frac{{\sqrt {1 - x^2 } }} {n}\left| {T_n (x)} \right|} \right)} \right\}, $$ where T _n (x) = cos (n arccos x) is the Chebeyshev polynomial of first kind. Also, if f ∈ C ^r [?1, 1] with r ≧ 1, then $$ \Delta _{n + 2} (f,x) = \mathcal{O}(1)\left\{ {\frac{{\sqrt {1 - x^2 } }} {{n^r }}\left| {T_n (x)} \right|\omega \left( {f^{(r)} ,\frac{{\sqrt {1 - x^2 } }} {n}} \right)\left( {\left( {\sqrt {1 - x^2 } + \frac{1} {n}} \right)^{r - 1} \ln (n + 1) + 1} \right)} \right\}. $$      

Lower bound in the Bernstein inequality for the first derivative of algebraic polynomials

We prove that max |p′(x)|, where p runs over the set of all algebraic polynomials of degree not higher than n ≥ 3 bounded in modulus by 1 on [−1, 1], is not lower than ( n - 1 ) \mathord

Notes on the nuclearity of random subalgebras of O2{\mathcal {O}_2}

There exists a separable exact C*-algebra A which contains all separable exact C*-algebras as subalgebras, and for each norm-dense measure μ on A and independent μ-distributed random elements x ₁, x ₂, ... we have lim_{n ? ￥}\mathbb P(C^*(x₁,?,x_n) is nuclear)=0{\rm {lim}}_{n \rightarrow \infty}\mathbb {P}(C^*(x_1,\ldots,x_n) \mbox{ is nuclear})=0. Further, there exists a norm-dense non-atomic probability measure μ on the Cuntz algebra O₂{\mathcal {O}_2} such that for an independent sequence x ₁, x ₂, ... of μ-distributed random elements x _i we have lim inf_{n ? ￥}\mathbb P(C^*(x₁,?,x_n) is nuclear)=0{\rm {lim\, inf}}_{n \rightarrow \infty}\mathbb {P}(C^*(x_1,\ldots,x_n) \mbox{ is nuclear})=0. We introduce the notion of the stochastic rank for a unital C*-algebra and prove that the stochastic rank of C([0, 1] ^d ) is d.     

Uniform estimates for order statistics and Orlicz functions

We establish uniform estimates for order statistics: Given a sequence of independent identically distributed random variables ξ ₁, … , ξ _n and a vector of scalars x = (x ₁, … , x _n ), and 1 ≤ k ≤ n, we provide estimates for \mathbb E   k-min_{1 ￡ i ￡ n} |x_ix_i|{\mathbb E \, \, k-{\rm min}_{1\leq i\leq n} |x_{i}\xi _{i}|} and \mathbb E k-max_{1 ￡ i ￡ n}|x_ix_i|{\mathbb E\,k-{\rm max}_{1\leq i\leq n}|x_{i}\xi_{i}|} in terms of the values k and the Orlicz norm ||y_x||_M{\|y_x\|_M} of the vector y _x  = (1/x ₁, … , 1/x _n ). Here M(t) is the appropriate Orlicz function associated with the distribution function of the random variable |ξ ₁|, G(t) = \mathbb P ({ |x₁| ￡ t}){G(t) =\mathbb P \left(\left\{ |\xi_1| \leq t\right\}\right)}. For example, if ξ ₁ is the standard N(0, 1) Gaussian random variable, then G(t) = ?{\tfrac2p}ò₀^t e^-\fracs22ds {G(t)= \sqrt{\tfrac{2}{\pi}}\int_{0}^t e^{-\frac{s^{2}}{2}}ds }  and M(s)=?{\tfrac2p}ò₀^se^-\frac12t2dt{M(s)=\sqrt{\tfrac{2}{\pi}}\int_{0}^{s}e^{-\frac{1}{2t^{2}}}dt}. We would like to emphasize that our estimates do not depend on the length n of the sequence.     

On Representations of Integers in Thin Subgroups of {{\rm SL}_2({\mathbb {Z}})}

Let ${\Gamma < {\rm SL}(2, {\mathbb Z})}Let G < SL(2, \mathbb Z){\Gamma < {\rm SL}(2, {\mathbb Z})} be a free, finitely generated Fuchsian group of the second kind with no parabolics, and fix two primitive vectors v₀, w₀ ? \mathbb Z²  \  {0}{v_{0}, w_{0} \in \mathbb {Z}^{2} \, {\backslash} \, \{0\}}. We consider the set S{\mathcal {S}} of all integers occurring in áv₀g, w₀?{\langle v_{0}\gamma, w_{0}\rangle}, for g ? G{\gamma \in \Gamma} and the usual inner product on \mathbb R²{\mathbb {R}^2}. Assume that the critical exponent δ of Γ exceeds 0.99995, so that Γ is thin but not too thin. Using a variant of the circle method, new bilinear forms estimates and Gamburd’s 5/6-th spectral gap in infinite-volume, we show that S{\mathcal {S}} contains almost all of its admissible primes, that is, those not excluded by local (congruence) obstructions. Moreover, we show that the exceptional set \mathfrak E(N){\mathfrak {E}(N)} of integers |n| < N which are locally admissible (n ? S   (mod  q)   for all   q 3 1){(n \in \mathcal {S} \, \, ({\rm mod} \, q) \, \, {\rm for\,all} \,\, q \geq 1)} but fail to be globally represented, n ? S{n \notin \mathcal {S}}, has a power savings, |\mathfrak E(N)| << N^1-e₀{|\mathfrak {E}(N)| \ll N^{1-\varepsilon_{0}}} for some ${\varepsilon_{0} > 0}${\varepsilon_{0} > 0}, as N → ∞.