Some consequences of the Lindelöf conjecture

Suppose that the Lindelöf conjecture is valid in the following quantitative form: $$|\zeta (\frac{1}{2} + it)| \leqslant c_0 |t|^{\varepsilon (|t|)} $$ , where ε(t) is a monotone decreasing function, $\varepsilon (2t) \geqslant \tfrac{1}{2}\varepsilon (t),\varepsilon (t) \geqslant \tfrac{1}{{\sqrt {log t} }}$ . Then it is proved that for |t|≥T₀ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant v\} $ contains at most 20v log |t| zeros of ζ(s) if $\tfrac{1}{2} \geqslant v \geqslant \sqrt {\varepsilon (t)} $ . There exists an absolute constant A such that for |t|≥T₁ the disk $\{ s:|s - \tfrac{1}{2} - it| \leqslant A\varepsilon ^{\tfrac{1}{3}} (t)\} $ contains at least one zero of ζ(s). Bibliography: 2 titles.     

On an effective order estimate of the Riemann zeta function in the critical strip

The well-known explicit estimation of the order of the Riemann zeta function $$\left| {\zeta (\sigma + it)} \right| \ll t^{c_1 (1 - \sigma )^{{3 \mathord{\left/ {\vphantom {3 2}} \right. \kern-\nulldelimiterspace} 2}} } \ln ^{{2 \mathord{\left/ {\vphantom {2 3}} \right. \kern-\nulldelimiterspace} 3}} t$$ for \(\tfrac{1}{2} \leqslant \sigma \leqslant 1\) andt≧2 (see [3]) is proved with the constantc ₁=21. The improvement of the constantc ₁ is a consequence of some technical modifications in application of the Vinogradov's inequality for exponential sums with the constant improved byPantelejeva in [1].     

New estimates of continuity in $$M/GI/1/ \infty$$ queues

The paper deals with an estimation of the total variation distance between stationary distributions of waiting time in two queueing systems with equal Poisson inputs and different distributions B and $\widetilde B$ of service time. Assuming equality of two first moments of B and $\widetilde B$ the continuity inequalities are derived in terms of difference pseudomoments of B and $\widetilde B$ . When in addition the third moments of B and $\widetilde B$ coincide then the constant involved in the corresponding inequality has the asymptotics ${\text{O}}\left[ {\left( {1 - \rho } \right)^{{1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-0em} 2}} } \right]$ in the heavy traffic limit $\rho \to 1$ .     

On the Fourier--Haar Coefficients of Functions of Several Variables with Bounded Vitali Variation

In this paper, we study the behavior of the Fourier--Haar coefficients $a_{m_1 , \ldots ,m_n } \left( f \right)$ of functions $f$ Lebesgue integrable on the $n$ -dimensional cube $D_n = \left[ {0,1} \right]^n $ and having a bounded Vitali variation $V_{D_n } f$ on it. It is proved that $$\sum\limits_{m_1 = 2}^\infty \cdots \sum\limits_{m_n = 2}^\infty {\left| {a_{m_1 , \ldots ,m_n } \left( f \right)} \right|} \leqslant \left( {\frac{{2 + \sqrt 2 }}{3}} \right)^n {\text{ }}.{\text{ }}V_{D_n } f$$ and shown that this estimate holds for some function of bounded finite nonzero Vitali variation.     

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

The Wiener--Hopf Integral Equation in the Supercritical Case

We consider the scalar homogeneous equation $S(x) = \int_0^\infty {K(x - t)S(t)dt,{\text{ }}x \in \mathbb{R}^ + \equiv (0,\infty ),}$ with symmetric kernel $K:K( - x) = K(x),{\text{ }}x \in \mathbb{R}_1$ satisfying the conditions $0 \leqslant K \in L_1 (\mathbb{R}^ + ) \cap C^{\left( 2 \right)} (\mathbb{R}^ + )$ , $\int_0^\infty {K(t)dt > \frac{1}{2}} $ , $K' \leqslant 0{\text{ }}and 0 \leqslant K'' \downarrow {\text{ }}on \mathbb{R}^ + $ . We prove the existence of a real solution S of the equation given above with asymptotic behavior $S(x) = O(x){\text{ as }}x \to + \infty $ .     

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

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.     

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.     

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.     

On simultaneous approximation by lagrange interpolating polynomials

This paper considers to replace △_m(x)=(1-x~2)~2(1/2)/n +1/n~2 in the following result for simultaneousLagrange interpolating approximation with (1-x~2)~2(1/2)/n: Let f∈C_(-1.1)~0 and r=[(q+2)/2],then|f~(k)(x)-P_~(k)(f,x)|=O(1)△_(n)~(a-k)(x)ω(f~(a),△(x))(‖L_n-‖+‖L_n‖),0≤k≤q,where P_n( f ,x)is the Lagrange interpolating polynomial of degree n+ 2r-1 of f on the nodes X_nU Y_n(see the definition of the text), and thus give a problem raised in [XiZh] a complete answer.     

Integrability of the Majorants of Fourier Series and Divergence of the Fourier Series of Functions with Restrictions on the Integral Modulus of Continuity

We construct an example of a function from the class $H_1^{\omega ^ * } $ , where $\omega ^ * (t) = \sqrt {\log \log (t^{ - 1} )/\log (t^{ - 1} )} $ , $0 < t \leqslant t_0 $ , whose trigonometric Fourier series is divergent almost everywhere. We obtain sharp integrability conditions for the majorants of the partial sums of trigonometric Fourier series in terms of whether the functions in question belong to the classes $H_1^\omega $ .     

Schrödinger equation and oscillatory Hilbert transforms of second degree

Let $h(t,x): = p.v. \sum\limits_{n \in Z\backslash \left| 0 \right|} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} = \mathop {\lim }\limits_{N \to \infty } \sum\limits_{0< \left| n \right| \leqslant N} {\frac{{e^{\pi i(tn^2 + 2xn)} }}{{2\pi in}}} $ ( $(i = \sqrt { - 1;} t,x$ -real variables). It is proved that in the rectangle $D: = \left\{ {(t,x):0< t< 1,\left| x \right| \leqslant \frac{1}{2}} \right\}$ , the function h satisfies the followingfunctional inequality: $\left| {h(t,x)} \right| \leqslant \sqrt t \left| {h\left( {\frac{1}{t},\frac{x}{t}} \right)} \right| + c,$ where c is an absolute positive constant. Iterations of this relation provide another, more elementary, proof of the known global boundedness result $\left\| {h; L^\infty (E^2 )} \right\| : = ess sup \left| {h(t,x)} \right|< \infty .$ The above functional inequality is derived from a general duality relation, of theta-function type, for solutions of the Cauchy initial value problem for Schrödinger equation of a free particle. Variation and complexity of solutions of Schrödinger equation are discussed.     

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.     

Randomly weighted sums of dependent subexponential random variables*

We consider the randomly weighted sums $ \sum\nolimits_{k = 1}^n {{\theta_k}{X_k},n \geqslant 1} $ , where $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ are n real-valued random variables with subexponential distributions, and $ \left\{ {{\theta_k},1 \leqslant k \leqslant n} \right\} $ are other n random variables independent of $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ and satisfying $ a \leqslant \theta \leqslant b $ for some $ 0 < a \leqslant b < \infty $ and all $ 1 \leqslant k \leqslant n $ . For $ \left\{ {{X_k},1 \leqslant k \leqslant n} \right\} $ satisfying some dependent structures, we prove that $$ {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant m \leqslant n} \sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\sum\limits_{k = 1}^m {{\theta_k}{X_k} > x} } \right)\sim {\text{P}}\left( {\mathop {{\max }}\limits_{1 \leqslant k \leqslant n} {\theta_k}{X_k} > x} \right)\sim \sum\limits_{k = 1}^m {{\text{P}}\left( {{\theta_k}{X_k} > x} \right)} $$ as x??????.     

On 1-isometries of affine quadrics over finite fields

Letq be a regular quadratic form on a vector space (V, $\mathbb{F}$ ) and assume $4 \leqslant dim V \leqslant \infty \wedge |\mathbb{F}| \in \mathbb{N}$ . A 1-isometry of the central quadric $\mathcal{F}: = \{ x \in V|q(x) = 1\}$ is a permutation ? of $\mathcal{F}$ such that (*) $$q(x - y) = \nu \Leftrightarrow q(x^\varphi - y^\varphi ) = \nu \forall x,y \in \mathcal{F}$$ holds true for a fixed element ν of $\mathbb{F}$ . For arbitraryν ∈ $\mathbb{F}$ we prove that? is induced (in a certain sense) by a semi-linear bijection $(\sigma ,\varrho ):(V,\mathbb{F}) \to (V,\mathbb{F})$ such thatq oσ =? oq, provided $\mathcal{F}$ contains lines and the exceptional case $(\nu = 2 \Lambda |\mathbb{F}| = 3 \Lambda \dim V = 4 \Lambda |\mathcal{F}| = 24)$ is excluded. In the exceptional case and as well in case of dim V = 3 there are counterexamples. The casesν ≠ 2 and v=2 require different techniques.     

Solvability of nonlinear systems including (γ, δ)-comparison pairs

Let $\gamma ,\delta \in \mathbb{R}^n $ with $\gamma _j ,\delta _j \in \{ 0,1\} $ . A comparison pair for a system of equations f_i(u₁,…,u_n)=0 (i=1,…,n) is a pair of vectors $v,w \in \mathbb{R}^n ,v \leqslant w$ , such that $$\begin{array}{*{20}c} {\gamma _i f_i (u_1 , \ldots ,u_{i - 1} ,v_i ,u_i + 1, \ldots ,u_n ) \leqslant 0,} \\ {\delta _i f_i (u_1 , \ldots ,u_{i - 1} ,w_i ,u_i + 1, \ldots ,u_n ) \geqslant 0} \\ \end{array} $$ for $\gamma _j u_j \geqslant v_j ,\delta _j u_j \leqslant w_j (j = 1, \ldots ,n)$ . The presence of comparison pairs enables one to essentially weaken the assumptions of the existence theorem. Bibliography: 1 title.     

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