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.     

Best Uniform Rational Approximations of Functions by Orthoprojections

Let C[-1,1] be the Banach space of continuous complex functions $f$ on the interval [-1,1] equipped with the standard maximum norm $\left\| f \right\|$ ; let $\omega \left( \cdot \right) = \omega \left( { \cdot ,f} \right)$ be the modulus of continuity of $f$ ; and let $R_n = R_n \left( f \right)$ be the best uniform approximation of $f$ by rational functions (r.f.) whose degrees do not exceed $n = 1, 2, \ldots $ . The space C[-1,1] is also regarded as a pre-Hilbert space with respect to the inner product given by $\left( {f,g} \right) = \left( {1/\pi } \right)\int_{ - 1}^1 {f\left( x \right)g\left( x \right)} \left( {1 - x^2 } \right)^{ - 1/2} dx$ . Let $z_n = \{ z_1 , z_2 , \ldots z_n \} $ be a set of points located outside the interval [-1,1]. By $F\left( { \cdot ,f,z_n } \right)$ we denote an orthoprojection operator acting from the pre-Hilbert space C[-1,1] onto its ( ${n + 1}$ )-dimensional subspace consisting of rational functions whose poles (with multiplicity taken into account) can only be points of the set $z_n $ . In this paper, we show that if $f$ is not a rational function of degree $ \leqslant n$ , then we can find a set of points $z_n = z_n \left( f \right)$ such that $\left\| {f\left( \cdot \right) - F\left( { \cdot ,f,z_n } \right)} \right\| \leqslant 12R_n ln\frac{3}{{\omega ^{ - 1} \left( {R_n /3} \right)}}.$      

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

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

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.     

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.     

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

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

Improved bounds for separating hash families

An ${(N;n,m,\{w_1,\ldots, w_t\})}$ -separating hash family is a set ${\mathcal{H}}$ of N functions ${h: \; X \longrightarrow Y}$ with ${|X|=n, |Y|=m, t \geq 2}$ having the following property. For any pairwise disjoint subsets ${C_1, \ldots, C_t \subseteq X}$ with ${|C_i|=w_i, i=1, \ldots, t}$ , there exists at least one function ${h \in \mathcal{H}}$ such that ${h(C_1), h(C_2), \ldots, h(C_t)}$ are pairwise disjoint. Separating hash families generalize many known combinatorial structures such as perfect hash families, frameproof codes, secure frameproof codes, identifiable parent property codes. In this paper we present new upper bounds on n which improve many previously known bounds. Further we include constructions showing that some of these bounds are tight.     

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.     

Note on Periodic Complementary Sets of Binary Sequences

Denote by $PCS_p^n $ resp. $ACS_p^n $ thecollection consisting of ordered p-tuples of binary sequences(i.e., sequences whose elements are $ \pm 1$ ), each having length n, such that the sum of their periodic resp. aperiodicauto-correlation functions is a delta function. We fill many open cases inthe Bömer and Antweiler diagram [3] of the known cases where $PCS_p^n $ exist for $p \leqslant 12$ and $n \leqslant 50$ . In particular we show that $PCS_2^{34} $ exist, whileit is well known [1] that $ACS_2^{34} $ do not.     

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.     

The index of centralizers of elements in classical Lie algebras

The index of a finite-dimensional Lie algebra $\mathfrak{g}$ is the minimum of dimensions of the stabilizers $\mathfrak{g}_\alpha $ over all covectors $\alpha \in \mathfrak{g}^ * $ . Let $\mathfrak{g}$ be a reductive Lie algebra over a field $\mathbb{K}$ of characteristic ≠ = 2. Élashvili conjectured that the index of $\mathfrak{g}_\alpha $ is always equal to the index, or, which is the same, the rank of $\mathfrak{g}$ . In this article, Élashvili’s conjecture is proved for classical Lie algebras. Furthermore, it is shown that if $\mathfrak{g} = \mathfrak{g}\mathfrak{l}_n $ or $\mathfrak{g} = \mathfrak{s}\mathfrak{p}_{2n} $ and $e \in \mathfrak{g}$ is a nilpotent element, then the coadjoint action of $\mathfrak{g}_e $ has a generic stabilizer. For $\mathfrak{g}$ , we give examples of nilpotent elements $e \in \mathfrak{g}$ such that the coadjoint action of $\mathfrak{g}_e $ does not have a generic stabilizer.     

On the Linear Dependence of a Finite Set of Additive Functions

In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .     

Transformations z(t) = L(t)y(ϕ(t)) of ordinary differential equations

The paper describes the general form of an ordinary differential equation of an order n + 1 (n ≥ 1) which allows a nontrivial global transformation consisting of the change of the independent variable and of a nonvanishing factor. A result given by J. Aczél is generalized. A functional equation of the form $f\left( {s,w_{00} \upsilon _0 ,...,\sum\limits_{j = 0}^n {w_{nj\upsilon _j } } } \right) = \sum\limits_{j = 0}^n {w_{n + 1j\upsilon j} + w_{n + 1n + 1} f\left( {x,\upsilon ,\upsilon _1 ,...,\upsilon _n } \right),}$ where $w_{n + 10} = h\left( {s,x,x_1 ,u,u_1 ,...,u_n } \right),w_{n + 11} = g\left( {s,x,x_1 ,...,x_n ,u,u_1 ,...,u_n } \right){\text{ and }}w_{ij} = a_{ij} \left( {x_i ,...,x_{i - j + 1} ,u,u_1 ,...,u_{i - j} } \right)$ for the given functions a _ij is solved on $\mathbb{R},u \ne {\text{0}}$ .     

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

Nil-Manifolds Cannot be Immersed as Hypersurfaces in Euclidean Spaces

We prove that the $2n + 1$ -dimensional Heisenberg group H _n and the 4-manifolds $Nil^4 $ and $Nil^3 \times \mathbb{R}$ endowed with an arbitrary left-invariant metric admit no C ³-regular immersions into Euclidean spaces $\mathbb{R}^{2n + 2} $ and $\mathbb{R}^5 $ , respectively.