On Total Incomparability of Mixed Tsirelson Spaces

We give criteria of total incomparability for certain classes of mixed Tsirelson spaces. We show that spaces of the form $T\left[ {\left( {\mathcal{M}_k ,\theta _k } \right)_{k = 1}^l } \right]$ with index $i\left( {\mathcal{M}_k } \right)$ finite are either c ₀ or $\ell _p $ saturated for some p and we characterize when any two spaces of such a form are totally incomparable in terms of the index $i\left( {\mathcal{M}_k } \right)$ and the parameter θ _k . Also, we give sufficient conditions of total incomparability for a particular class of spaces of the form $T\left[ {\left( {\mathcal{A}_k ,\theta _k } \right)_{k = 1}^\infty } \right]$ in terms of the asymptotic behaviour of the sequence $\left\| {\sum\limits_{j = 1}^n {e_i } } \right\|$ where (e _i is the canonical basis.     

Subspace Arrangements of Type B n and D n

Let ${\mathcal{D}}_{n,k} $ be the family of linear subspaces of ?ⁿ given by all equations of the form $\varepsilon _1 x_{i_1 } = \varepsilon _2 x_{i_2 } = \cdot \cdot \cdot \varepsilon _k x_{i_k } ,$ for 1 ≤ < ? ? ? < i _k ≤ i and $\left( {\varepsilon _1 ,...,\varepsilon _k } \right)\varepsilon \left\{ { + 1, - 1} \right\}^k $ Also let ${\mathcal{B}}_{n,k,h} $ be ${\mathcal{D}}_{n,k} $ enlarged by the subspaces $x_{j_1 } = x_{j_2 } = \cdot \cdot \cdot x_{j_h } = 0,$ for 1 ≤. The special cases ${\mathcal{B}}_{n,2,1} $ and ${\mathcal{D}}_{n,2} $ are well known as the reflection hyperplane arrangements corresponding to the Coxeter groups of type B _nand D _n respectively. In this paper we study combinatorial and topological properties of the intersection lattices of these subspace arrangements. Expressions for their Möbius functions and characteristic polynomials are derived. Lexicographic shellability is established in the case of ${\mathcal{B}}_{n,k,h,} 1 \leqslant h < k$ , which allows computation of the homology of its intersection lattice and the cohomology groups of the manifold $\begin{gathered} {\mathcal{D}}_{n,2} \\ M_{n,k,h,} = {\mathbb{R}}^n \backslash \bigcup {{\mathcal{B}}_{n,k,h,} } \\ \end{gathered} $ . For instance, it is shown that $H^d \left( {M_{n,k,k - 1} } \right)$ is torsion-free and is nonzero if and only if d = t(k ? 2) for some $t,0 \leqslant t \leqslant \left[ {{n \mathord{\left/ {\vphantom {n k}} \right. \kern-0em} k}} \right]$ . Torsion-free cohomology follows also for the complement in ?ⁿof the complexification ${\mathcal{B}}_{n,k,h}^C ,1 \leqslant h < k$ .     

Annihilators in BCK-Algebras

We introduce the concepts of an annihilator and a relative annihilator of a given subset of a BCK-algebra $\mathcal{A}$ . We prove that annihilators of deductive systems of BCK-algebras are again deductive systems and moreover pseudocomplements in the lattice ${\mathcal{D}\left( \mathcal{A} \right)}$ of all deductive systems on $\mathcal{A}$ . Moreover, relative annihilators of ${C \in \mathcal{D}\left( \mathcal{A} \right)}$ with respect to ${B\;{\text{in}}\;\mathcal{D}\left( \mathcal{A} \right)}$ are introduced and serve as relative pseudocomplements of C w.r.t. B in ${\mathcal{D}\left( \mathcal{A} \right)}$ .     

Converse Quadrature sum Inequalities for Freud Weights. ii

Let $W: = \exp \left( { - Q} \right)$ , where $Q$ is of smooth polynomial growth at $\infty$ , for example $Q\left( x \right) = \left| x \right|^\beta ,\beta >1$ . We call $W^2 $ a Freud weight. Let $\left\{ {x_{j{\kern 1pt} n} } \right\}_{j = 1}^n $ and $\left\{ {\lambda _{j{\kern 1pt} n} } \right\}_{j = 1}^n $ denote respectively the zeros of the $n$ th orthonormal polynomial $p_n$ for $W^2 $ and the Christoffel numbers of order $n$ . We establish converse quadrature sum inequalities associated with W, such as $$\left\| {\left( {PW} \right)\left( x \right)\left( {1 + \left| x \right|} \right)^r } \right\|_{L_p \left( R \right)} $$ with $C$ independent of $n$ and polynomials P of degree $ < n$ , and suitable restrictions on $r$ , $R$ . We concentrate on the case ${ \geqq 4}$ , as the case ${p < 4}$ was handled earlier. We are able to treat a general class of Freud weights, whereas our earlier treatment dealt essentially with $\left( { - \left| x \right|^\beta } \right),\beta = 2,4,6,....$ Some applications to Lagrange interpolation are presented.     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

A-Systems, Independent Functions, and Sets Bounded in Spaces of Measurable Functions

Let $U \subset L_o ([0,1],\mathcal{M},m)$ be a set of Lebesgue measurable functions. Suppose also that two seminormed spaces of real number sequences are given: $\mathcal{A}$ and $\mathcal{B}$ . We study $\left( {\mathcal{A},\mathcal{B}} \right)$ -sets U defined by the classes $\mathcal{A}$ and $\mathcal{B}$ as follows: $\forall a = (a_n ) \in \mathcal{A}, \forall (f_n (t)) \in u^\mathbb{N} $ (or for sequences similar to $(f_n (t))$ ) $\exists E = E(a) \subset [0,1], mE = 1$ such that $\{ a_n f_n (t)\} 1_E (t)\} \in \mathcal{B}, t \in [0,1]$ . We consider three versions of the definition of $\left( {\mathcal{A},\mathcal{B}} \right)$ -sets, one of which is based on functions independent in the probability sense. The case ${\mathcal{B}}=l_\infty$ is studied in detail. It is shown that $({\mathcal{A}},l_\infty)$ -independent sets are sets bounded or order bounded in some well-known function spaces (L _p , L _p,q , etc.) constructed with respect to the Lebesgue measure. A characterization of such sets in terms of seminormed spaces of number sequences is given. The (l ₁,c _°)- and $(\mathcal{A},l_1 )$ -sets were studied by E. M. Nikishin.     

Codimension 1 Subvarieties of {\mathcal{M}_g } and Real Gonality of Real Curves

Let ${\mathcal{M}_g }$ be the moduli space of smooth complex projective curves of genus g. Here we prove that the subset of ${\mathcal{M}_g }$ formed by all curves for which some Brill-Noether locus has dimension larger than the expected one has codimension at least two in ${\mathcal{M}_g }$ . As an application we show that if ${X \in \mathcal{M}_g }$ is defined over $\mathbb{R}$ then there exists a low degree pencil ${u:X \to \mathbb{P}^1 }$ defined over $\mathbb{R}.$      

Regular Semigroups of Endomorphisms of von Neumann Factors

We study a class of $E_0$ -semigroups of endomorphisms of a von Neumann factor $\mathcal{M}$ possessing the following property: an $e_0$ -semigroup of endomorphisms of $\mathcal{B}\left( \mathcal{H} \right)$ , where $\mathcal{H}$ is the standard representation space for $\mathcal{M}$ , and a product system of Hilbert spaces can be associated with each of these $E_0$ -semigroups.     

Characterization of Lie higher derivations on triangular algebras

Let $\mathcal{A}$ and $\mathcal{B}$ be unital rings, and $\mathcal{M}$ be an $\left( {\mathcal{A},\mathcal{B}} \right)$ -bimodule, which is faithful as a left $\mathcal{A}$ -module and also as a right $\mathcal{B}$ -module. Let $\mathcal{U} = Tri\left( {\mathcal{A},\mathcal{M},\mathcal{B}} \right)$ be the triangular algebra. In this paper, we give some different characterizations of Lie higher derivations on $\mathcal{U}$ .     

On Certain Integral Operators of Fractional Type

In this paper we study integral operators of the form $$T\,f\left( x \right) = \int {k_1 \left( {x - a_1 y} \right)k_2 \left( {x - a_2 y} \right)...k_m \left( {x - a_m y} \right)f\left( y \right)dy} ,$$ $$k_i \left( y \right) = \sum\limits_{j \in Z} {2^{\frac{{jn}}{{q_i }}} } \varphi _{i,j} \left( {2^j y} \right),\,1 \leqq q_i < \infty ,\frac{1}{{q_1 }} + \frac{1}{{q_2 }} + ... + \frac{1}{{q_m }} = 1 - r,$$ $0 \leqq r < 1$ , and $\varphi _{i,j}$ satisfying suitable regularity conditions. We obtain the boundedness of $T:L^p \left( {R^n } \right) \to T:L^q \left( {R^n } \right)$ for $1 < p < \frac{1}{r}$ and $\frac{1}{q} = \frac{1}{p} - r$ .     

Representation of Integers by Positive Quaternary Quadratic Forms

Let $f(x,y,x,w) = x^2 + y^2 + z^2 + Dw^2$ , where $D >1$ is an integer such that $D \ne d^2$ and ${{\sqrt n } \mathord{\left/ {\vphantom {{\sqrt n } {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}} \right. \kern-0em} {\sqrt D = n^\theta , 0 < \theta < {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}}}$ . Let $rf(n)$ be the number of representations of n by f. It is proved that $r_f (n) = \pi ^2 \frac{n}{{\sqrt D }}\sigma _f (n) + O\left( {\frac{{n^{1 + \varepsilon - c(\theta )} }}{{\sqrt D }}} \right),$ where $\sigma _f (n)$ is the singular series, $c(\theta ) >0$ , and ε is an arbitrarily small positive constant. Bibliography: 14 titles.     

Approximation by M. Riesz Kernels in L p for p<1

Let α > 0. We consider the linear span $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right)$ of scalar Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^\alpha }}} \right\}_{a \in \mathbb{R}^n }$ and the linear span $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right)$ of vector Riesz's kernels $\left\{ {\tfrac{1}{{\left| {x - a} \right|^{\alpha + 1} }}\left( {x - a} \right)} \right\}_{a \in \mathbb{R}^n }$ . We study the following problems. (1) When is the intersection $\mathfrak{X}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n } \right)$ dense in L^p(?ⁿ)? (2) When is the intersection $\mathfrak{Y}_\alpha \left( {\mathbb{R}^n } \right) \cap L^p \left( {\mathbb{R}^n ,\mathbb{R}^n } \right)$ dense in L^p(?ⁿ, ?ⁿ)? Bibliography: 15 titles.     

An Analog of the Cameron--Johnson Theorem for Linear ℂ-Analytic Equations in Hilbert Space

The well-known Cameron--Johnson theorem asserts that the equation $\dot x = \mathcal{A}\left( t \right)x$ with a recurrent (Bohr almost periodic) matrix $\mathcal{A}\left( t \right)$ can be reduced by a Lyapunov transformation to the equation $\dot y = \mathcal{B}\left( t \right)y$ with a skew-symmetric matrix $\mathcal{B}\left( t \right)$ , provided that all solutions of the equation $\dot x = \mathcal{A}\left( t \right)x$ and of all its limit equations are bounded on the whole line. In the note, a generalization of this result to linear $\mathbb{C}$ -analytic equations in a Hilbert space is presented.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Sensitivity of best recovery in the Sobolev spaces W_\infty ^{r,d} , \widetilde W_\infty ^{r,d}for perturbed sampling

Let $I^d $ be the d‐dimensional cube, $I^d = [0,1]^d $ , and let $F \ni f \mapsto Sf \in L_\infty (I^d ) $ be a linear operator acting on the Sobolev space F, where Fis either $$$$ or $$$$ where $$\left\| f \right\|_F = \sum\limits_{\left| m \right| = r} {\mathop {{\text{esssup}}}\limits_{x \in I^d } \left| {\frac{{\partial f^{\left| m \right|} }} {{\partial x_1^{m_1 } \partial x_2^{m_2 } \cdot \cdot \cdot \partial x_d^{m_d } }}(x)} \right|.} $$ We assume that the problem elements fsatisfy the condition $\sum\nolimits_{\left| m \right| = r} {{\text{esssup}}} _{x \in I^d } \left| {f^{(m)} (x)} \right| \leqslant 1 $ and that Sis continuous with respect to the supremum norm. We study sensitivity of optimal recovery of Sfrom inexact samples of ftaken at npoints forming a uniform grid on $I^d $ . We assume that the inaccuracy in reading the sample vector is measured in the pth norm and bounded by a nonnegative number δ. The sensitivity is defined by the difference between the optimal errors corresponding to the exact and perturbed readings, respectively. Our main result is that this difference is bounded by $\mathcal{A}\delta $ , where $\mathcal{A} $ is a positive constant independent of the number of samples. This indicates that the curse of dimension, which badly affects the optimal errors, does not extend to sensitivity.     

Arrangements of Hyperplanes and the Number of Threshold Functions

Two approaches on estimating the number of threshold functions which were recently developed by the author are discussed. Let P(K,n) denote the number of threshold functions in K-valued logic. The first approach establishes that $$P(K,n + 1) \geqslant \frac{1}{2}\left( {\mathop {K^{n - 1} }\limits_{\left\lfloor {n - 4 - 2\frac{n}{{\log _K n}}} \right\rfloor } } \right)P\left( {K,\left\lfloor {{\text{2}}\frac{n}{{\log _K n}} + 3} \right\rfloor } \right).$$ The key argument of investigation is the generalization of the result of Odlyzko on subspaces spanned by random selections of ±1-vectors. Let $E_K = \{ 0,1 \ldots ,K - 1\} $ and let E denote the set of all vectors $w_i ,i = 1, \ldots ,K^n $ , which have the form $(1,a_1 , \ldots ,a_n ),a_i \in E_K $ . Denote by $\Lambda _n (K)$ the number of all collections of different vectors $(w_{i_1 } , \ldots ,w_{i_n } ),2 \leqslant i_1 , \ldots ,i_n \leqslant \mathbb{K}^n $ , such that, for any k, $1 \leqslant k \leqslant n$ , the vector $w_{i_k } $ is minimal among all vectors from the set $E \cap {\text{span}}(w_{i_k } , \ldots ,w_{i_n } )$ . The second approach is based on topology-combinatorical techniques and allows to establish the following inequality $P(K,n) \geqslant 2\Lambda _n (K)$ .