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

Orthogonality properties of linear combinations of orthogonal polynomials II

Let and be polynomials orthogonal on the unit circle with respect to the measures dσ and dμ, respectively. In this paper we consider the question how the orthogonality measures dσ and dμ are related to each other if the orthogonal polynomials are connected by a relation of the form , for , where . It turns out that the two measures are related by if , where and are known trigonometric polynomials of fixed degree and where the 's are the zeros of on . If the 's and 's are uniformly bounded then (under some additional conditions) much more can be said. Indeed, in this case the measures dσ and dμ have to be of the form and , respectively, where are nonnegative trigonometric polynomials. Finally, the question is considered to which weight functions polynomials of the form where denotes the reciprocal polynomial of , can be orthogonal. This revised version was published online in June 2006 with corrections to the Cover Date.     

Subexponential loss rates in a GI/GI/1 queue with applications

Consider a single server queue with i.i.d. arrival and service processes, $\{ A,A_n ,n \geqslant 0\} $ and $\{ C,\;C_n ,n\;\; \geqslant \;\;0\} $ , respectively, and a finite buffer B. The queue content process $\{ Q_n^B ,n \geqslant 0\} $ is recursively defined as $Q_{n + 1}^B = \min ((Q_n^B + A_{n + 1} - C_{n + 1} )^ + ,B),\;\;q^ + = \max (0,q)$ . When $\mathbb{E}(A - C) < 0$ , and A has a subexponential distribution, we show that the stationary expected loss rate for this queue $E(Q_n^B + A_{n + 1} - C_{n + 1} - B)^ + $ has the following explicit asymptotic characterization: $${\mathbb{E}}\left( {Q_n^B + A_{n + 1} - C_{n + 1} - B} \right)^ + ~{\mathbb{E}}\left( {A - B} \right)^ + {as} B \to \infty ,$$ independently of the server process C _n . For a fluid queue with capacity c, M/G/∞ arrival process A _t , characterized by intermediately regularly varying on periods σ^on, which arrive with Poisson rate Λ, the average loss rate $\lambda _{{loss}}^B $ satisfies λ _loss ^B ～ Λ E(τ^onη — B)⁺ as B → ∞, where $\eta = r + \rho - c,\;\rho \; = \mathbb{E}A_t < \;\;c;r\;\;(c \leqslant r)$ is the rate at which the fluid is arriving during an on period. Accuracy of the above asymptotic relations is verified with extensive numerical and simulation experiments. These explicit formulas have potential application in designing communication networks that will carry traffic with long-tailed characteristics, e.g., Internet data services.     

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.     

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

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.     

Lower Bounds for the Perron Root of a Sum of Nonnegative Matrices

Let $A^{(l)} (l = 1, \ldots ,k)$ be $n \times n$ nonnegative matrices with right and left Perron vectors $u^{(l)} $ and $v^{(l)} $ , respectively, and let $D^{(l)} $ and $E^{(l)} (l = 1, \ldots ,k)$ be positive-definite diagonal matrices of the same order. Extending known results, under the assumption that $$u^{(1)} \circ v^{(1)} = \ldots = u^{(k)} \circ v^{(k)} \ne 0$$ (where `` $ \circ $ '' denotes the componentwise, i.e., the Hadamard product of vectors) but without requiring that the matrices $A^{(l)} $ be irreducible, for the Perron root of the sum $\sum\nolimits_{l = 1}^k {D^{(l)} A^{(l)} E^{(l)} } $ we derive a lower bound of the form $$\rho \left( {\sum\limits_{l = 1}^k {D^{(l)} A^{(l)} E^{(l)} } } \right) \geqslant \sum\limits_{l = 1}^k {\beta _{l\rho } (A^{(l)} ),{\text{ }}\beta _l >0.} $$ Also we prove that, for arbitrary irreducible nonnegative matrices $A^{{\text{ (}}l{\text{)}}} (l = 1, \ldots ,k),$ , $$\rho \left( {\sum\limits_{l = 1}^k {A^{(l)} } } \right) \geqslant \sum\limits_{l = 1}^k {\alpha _{l\rho } (A^{(l)} ),} $$ where the coefficients ∝₁>0 are specified using an arbitrarily chosen normalized positive vector. The cases of equality in both estimates are analyzed, and some other related results are established. Bibliography: 8 titles.     

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.     

Classical Limit of the Scaled Elliptic Algebra \mathcal{A} ħ,η (\widetilde{\mathfrak{s}\mathfrak{l}}_2)

The classical limit of the scaled elliptic algebra $\mathcal{A}$ ?,η ( $\widetilde{\mathfrak{s}\mathfrak{l}}_2$ ) is investigated. The limiting Lie algebra is described in two equivalent ways: as a central extension of the algebra of generalized automorphic sl2 valued functions on a strip and as an extended algebra of decreasing automorphic sl2 valued functions on the real line. A bialgebra structure and an infinite-dimensional representation in the Fock space are studied. The classical limit of elliptic algebra $\mathcal{A}$ q,p ( $\widetilde{\mathfrak{s}\mathfrak{l}}_2$ ) is also briefly presented.     

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.     

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}.$      

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

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.     

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.     

Point Symmetric 2-Structures

We show that every symmetric 2-structure ${(P,\mathfrak G_1,\mathfrak G_2,\mathfrak K)}$ of the class (III) [cf. Karzel H et?al. (Result. Math., submitted)] is point symmetric, i.e. any two orthogonal chains ${A,B \in \mathfrak K}$ intersect in exactly one point and that any two points ${a,b \in P}$ have exactly one midpoint m :?=?a * b (with ${\widetilde m(a) = b}$ where ${\widetilde m}$ is the unique symmetry in the point m). ${ \widetilde{P} := \{\widetilde p \ | \ p \in P \}}$ is invariant, i.e. ${\forall a,b \in P : \widetilde a\circ \widetilde b\circ \widetilde a \in \widetilde P}$ . Therefore the pair ${(P,\widetilde{P})}$ is an invariant regular involution set and the loop derivation in a point ${o \in P}$ gives a K-loop (P,?+) uniquely 2-divisible.     

Lower Bounds for the Riemann Zeta Function on the Critical Line

We establish a relation between the lower bound for the maximum of the modulus of $\zeta (1/2 + iT + s)$ in the disk $|s| \leqslant H$ and the lower bound for the maximum of the modulus of $\zeta (1/2 + iT + it)$ on the closed interval $|t| \leqslant H$ for $0 < H(T) \leqslant {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}$ . We prove a theorem on the lower bound for the maximum of the modulus of $0 < H(T) \leqslant {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}$ on the closed interval $|t| \leqslant H$ for $40 \leqslant H(T) \leqslant \log \log T$ .