Semidefinite bounds for nonbinary codes based on quadruples

For nonnegative integers q, n, d, let \(A_q(n,d)\) denote the maximum cardinality of a code of length n over an alphabet [q] with q letters and with minimum distance at least d. We consider the following upper bound on \(A_q(n,d)\). For any k, let \(\mathcal{C}_k\) be the collection of codes of cardinality at most k. Then \(A_q(n,d)\) is at most the maximum value of \(\sum _{v\in [q]^n}x(\{v\})\), where x is a function \(\mathcal{C}_4\rightarrow {\mathbb {R}}_+\) such that \(x(\emptyset )=1\) and \(x(C)=\!0\) if C has minimum distance less than d, and such that the \(\mathcal{C}_2\times \mathcal{C}_2\) matrix \((x(C\cup C'))_{C,C'\in \mathcal{C}_2}\) is positive semidefinite. By the symmetry of the problem, we can apply representation theory to reduce the problem to a semidefinite programming problem with order bounded by a polynomial in n. It yields the new upper bounds \(A_4(6,3)\le 176\), \(A_4(7,3)\le 596\), \(A_4(7,4)\le 155\), \(A_5(7,4)\le 489\), and \(A_5(7,5)\le 87\).     

Lie n-derivatio ns o n $ {\mathcal {}}$-subspace lattice algebras

Let \(\mathcal {L}\) be a \(\mathcal {J}\)-subspace lattice on a Banach space X over the real or complex field \(\mathbb {F}\) with dimX ≥ 3 and let n ≥ 2 be an integer. Suppose that dimK ≠ 2 for every \(K\in \mathcal {J}{(\mathcal L)}\) and \(L: \text {Alg}\, \mathcal {L}\rightarrow \text {Alg}\,\mathcal {L}\) is a linear map. It is shown that L satisfies \({\sum }_{i=1}^{n}p_{n} (A_{1}, \ldots , A_{i-1}, L(A_{i}), A_{i+1}, \ldots , A_{n})=0\) whenever p _n (A ₁,A ₂,…,A _n ) = 0 for \(A_{1},A_{2},\ldots ,A_{n}\in \text {Alg}\,\mathcal {L}\) if and only if for each \(K\in \mathcal {J}(\mathcal {L})\), there exists a bounded linear operator \(T_{K}\in \mathcal {B}(K)\), a scalar λ _K and a linear functional \(h_{K}: \text {Alg}\,\mathcal {L}\rightarrow \mathbb {F}\) such that L(A)x = (T _K A ? A T _K + λ _K A + h _K (A)I)x for all x ∈ K and all \(A\in \text {Alg}\,\mathcal {L}\). Based on this result, a complete characterization of linear n-Lie derivations on \(\text {Alg}\,\mathcal {L}\) is obtained.     

Generalized Drazin invertibility and local spectral theory

If \(A\in B(\mathcal{X})\) is an upper triangular Banach space operator with diagonal \((A_1,A_2)\), \(A_1\) invertible and \(A_2\) quasinilpotent, then \(A_1^{-1}\oplus A_2\) satisfies either of the single-valued extension property, Dunford’s condition (C), Bishop’s property \((\beta )\), decomposition property \((\delta )\) or is decomposable if and only if \(A_1\) has the property. The operator \(A^{-1}_1\oplus 0\) is subscalar (resp., left polaroid, right polaroid) if and only if \(A_1\) is subscalar (resp., left polaroid, right polaroid). For Drazin invertible operators A, with Drazin inverse B, this implies that B satisfies any one of these properties if and only if A satisfies the property.     

Subseries of $$ \mathrm{\mathcal{I}}$$-convergent series

We say that an ideal \( \mathrm{\mathcal{I}}\) has property (T) if for every \( \mathrm{\mathcal{I}}\)-convergent series \( {\sum}_{n=1}^{\infty }{x}_n \), there exists a set A ∈ \( \mathrm{\mathcal{I}}\) such that ∑_n?∈??\Ax _n converges in the usual sense. The main aim of this paper is to focus on several different classes of ideals, such as summable ideals, F _σ ideals, and matrix summability ideals, and to show that they do not have the mentioned property.     

Map determined by rank-$$\varvec{}$$ matrice for relatively mall $$\varvec{}$$

Let n and s be integers such that \(1\le s<\frac{n}{2}\), and let \(M_n(\mathbb {K})\) be the ring of all \(n\times n\) matrices over a field \(\mathbb {K}\). Denote by \([\frac{n}{s}]\) the least integer m with \(m\ge \frac{n}{s}\). In this short note, it is proved that if \(g:M_n(\mathbb {K})\rightarrow M_n(\mathbb {K})\) is a map such that \(g\left( \sum _{i=1}^{[\frac{n}{s}]}A_i\right) =\sum _{i=1}^{[\frac{n}{s}]}g(A_i)\) holds for any \([\frac{n}{s}]\) rank-s matrices \(A_1,\ldots ,A_{[\frac{n}{s}]}\in M_n(\mathbb {K})\), then \(g(x)=f(x)+g(0)\), \(x\in M_n(\mathbb {K})\), for some additive map \(f:M_n(\mathbb {K})\rightarrow M_n(\mathbb {K})\). Particularly, g is additive if \(char\mathbb {K}\not \mid \left( [\frac{n}{s}]-1\right) \).     

An inequality between Willmore functional and Weyl functional for submanifolds in space forms

Let \({\phi : M \to R^{n+p}(c)}\) be an n-dimensional submanifold in an (n + p)-dimensional space form R ^n+p(c) with the induced metric g. Willmore functional of \({\phi}\) is \({W(\phi) = \int_{M}(S - nH^{2})^{n/2}dv}\) , where \({S = \sum_{\alpha,i, j}(h^{\alpha}_{ij} )^2}\) is the square of the length of the second fundamental form, H is the mean curvature of M. The Weyl functional of (M, g) is \({\nu(g) = \int_{M}|W_{g}|^{n/2}dv}\) , where \({|W_{g}|^{2} = \sum_{i, j,k,l} W^{2}_{ijkl}}\) and W _ijkl are the components of the Weyl curvature tensor W _g of (M, g). In this paper, we discover an inequality relation between Willmore functional \({W(\phi)}\) and Weyl funtional ν(g).     

Blow-up solutions for Hardy–Sobolev equations on compact Riemannian manifolds

Let (M, g) be a smooth compact Riemannian manifold of dimension \(n\ge 6\), \(\xi _0\in M\), and we are concerned with the following Hardy–Sobolev elliptic equations:

$$\begin{aligned} -\Delta _gu+h(x)u=\frac{u^{2^{*}(s)-1-\epsilon }}{d_{g}(x,\xi _0)^s},\ \ \ \ u>0\ \ \mathrm{in} \ \ M, \end{aligned}$$

(0.1)

where \(\Delta _g\,=\,\mathrm{div}_g(\nabla )\) is the Laplace–Beltrami operator on M, h(x) is a \(C^1\) function on M, \(\epsilon \) is a sufficiently small real parameter, \(2^{*}(s):=\frac{2(n-s)}{n-2}\) is the critical Hardy–Sobolev exponent with \(s\in (0,2)\), and \(d_{g}\) is the Riemannian distance on M. Performing the Lyapunov–Schmidt reduction procedure, we obtain the existence of blow-up families of positive solutions of problem (0.1).

     

On ℤ<Subscript>2</Subscript>-graded identities of the super tensor product of <Emphasis Type="Italic">UT</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) by the Grassmann algebra

Let F be a field of characteristic zero and E be the unitary Grassmann algebra generated over an infinite-dimensional F-vector space L. Denote by \(\mathcal{E} = \mathcal{E}^{(0)} \oplus \mathcal{E}^{(1)}\) an arbitrary ?₂-grading of E such that the subspace L is homogeneous. Given a superalgebra A = A ⁽⁰⁾ ⊕ A ⁽¹⁾, define the superalgebra \(A\hat \otimes \mathcal{E}\) by \(A\hat \otimes \mathcal{E} = (A^{(0)} \otimes \mathcal{E}^{(0)} ) \oplus (A^{(1)} \otimes \mathcal{E}^{(1)} )\). Note that when E is the canonical grading of E then \(A\hat \otimes \mathcal{E}\) is the Grassmann envelope of A. In this work we find bases of ?₂-graded identities and we describe the ?₂-graded codimension and cocharacter sequences for the superalgebras \(UT_2 (F)\hat \otimes \mathcal{E}\), when the algebra UT ₂(F) of 2 ×2 upper triangular matrices over F is endowed with its canonical grading.     

Multiplicity of nodal solutions to the Yamabe problem

Given a compact Riemannian manifold (M, g) without boundary of dimension \(m\ge 3\) and under some symmetry assumptions, we establish existence of one positive and multiple nodal solutions to the Yamabe-type equation

$$\begin{aligned} -\text {div}_{g}(a\nabla u)+bu=c|u|^{2^{*}-2}u\quad \text { on }M, \end{aligned}$$

where \(a,b,c\in \mathcal {C}^{\infty }(M), a\) and c are positive, ? div\(_{g}(a\nabla )+b\) is coercive, and \(2^{*}=\frac{2m}{m-2}\) is the critical Sobolev exponent. In particular, if \(R_{g}\) denotes the scalar curvature of (M, g), we give conditions which guarantee that the Yamabe problem

$$\begin{aligned} \Delta _{g}u+\frac{m-2}{4(m-1)}R_{g}u=\kappa u^{2^{*}-2}\quad \text { on }M \end{aligned}$$

admits a prescribed number of nodal solutions.

     

An isometrical ℂP<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>-theorem

Let M ⁿ (n ? 3) be a complete Riemannian manifold with sec _M ? 1, and let \(M_i^{n_i }\) (i = 1, 2) be two complete totally geodesic submanifolds in M. We prove that if n₁ + n₂ = n ? 2 and if the distance |M₁M₂| ? π/2, then M _i is isometric to \(\mathbb{S}^{n_i } /\mathbb{Z}_h\), \(\mathbb{C}P^{n_i /2}\), or \(\mathbb{C}P^{n_i /2} /\mathbb{Z}_2 \) with the canonical metric when n _i > 0; and thus, M is isometric to S ⁿ /? _h , ?P^n/2, or ?P^n/2/?₂ except possibly when n = 3 and \(M_1 (or M_2 )\mathop \cong \limits^{iso} \mathbb{S}^1 /\mathbb{Z}_h \) with h ? 2 or n = 4 and \(M_1 (or M_2 )\mathop \cong \limits^{iso} \mathbb{R}P^2 \).     

Hyperbolas over two-dimensional Fibonacci quasilattices

For the number n _s (α, β; X) of points (x ₁ , x ₂) in the two-dimensional Fibonacci quasilattices \( \mathcal{F}_m^2 \) of level m?=?0, 1, 2,… lying on the hyperbola x ₁ ² ? ??αx ₂ ² ?=?β and such that 0?≤?x ₁? ≤?X, x ₂? ≥?0, the asymptotic formula

$ {n_s}\left( {\alpha, \beta; X} \right)\sim {c_s}\left( {\alpha, \beta } \right)\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty $

is established, and the coefficient c _s (α, β) is calculated exactly. Using this, we obtain the following result. Let F _m be the Fibonacci numbers, A _i ∈ \( \mathbb{N} \), i?=?1, 2, and let \( \overleftarrow {{A_i}} \) be the shift of A _i in the Fibonacci numeral system. Then the number n _s (X) of all solutions (A ₁ , A ₂) of the Diophantine system

$ \left\{ {\begin{array}{*{20}{c}} {A_1^2 + \overleftarrow {A_1^2} - 2{A_2}{{\overleftarrow A }_2} + \overleftarrow {A_2^2} = {F_{2s}},} \\ {\overleftarrow {A_1^2} - 2{A_1}{{\overleftarrow A }_1} + A_2^2 - 2{A_2}{{\overleftarrow A }_2} + 2\overleftarrow {A_2^2} = {F_{2s - 1}},} \\ \end{array} } \right. $

0?≤?A ₁? ≤?X, A ₂? ≥?0, satisfies the asymptotic formula

$ {n_s}(X)\sim \frac{{{c_s}}}{{{\text{ar}}\cosh \left( {{{1} \left/ {\tau } \right.}} \right)}}\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty . $

Here τ?=?(?1?+?√5)/2 is the golden ratio, and c _s ?=?1/2 or 1 for s?=?0 or s?≥?1, respectively.

     

On integer programming with bounded determinants

Let A be an \((m \times n)\) integral matrix, and let \(P=\{ x :A x \le b\}\) be an n-dimensional polytope. The width of P is defined as \( w(P)=min\{ x\in \mathbb {Z}^n{\setminus }\{0\} :max_{x \in P} x^\top u - min_{x \in P} x^\top v \}\). Let \(\varDelta (A)\) and \(\delta (A)\) denote the greatest and the smallest absolute values of a determinant among all \(r(A) \times r(A)\) sub-matrices of A, where r(A) is the rank of the matrix A. We prove that if every \(r(A) \times r(A)\) sub-matrix of A has a determinant equal to \(\pm \varDelta (A)\) or 0 and \(w(P)\ge (\varDelta (A)-1)(n+1)\), then P contains n affine independent integer points. Additionally, we present similar results for the case of k-modular matrices. The matrix A is called totally k-modular if every square sub-matrix of A has a determinant in the set \(\{0,\, \pm k^r :r \in \mathbb {N} \}\). When P is a simplex and \(w(P)\ge \delta (A)-1\), we describe a polynomial time algorithm for finding an integer point in P.     

Some irreducibility and indecomposability results for truncated binomial polynomials of small degree

In this paper, we show that the truncated binomial polynomials defined by \(P_{n,k}(x)={\sum }_{j=0}^{k} {n \choose j} x^{j}\) are irreducible for each k≤6 and every n≥k+2. Under the same assumption n≥k+2, we also show that the polynomial P _n,k cannot be expressed as a composition P _n,k (x) = g(h(x)) with \(g \in \mathbb {Q}[x]\) of degree at least 2 and a quadratic polynomial \(h \in \mathbb {Q}[x]\). Finally, we show that for k≥2 and m,n≥k+1 the roots of the polynomial P _m,k cannot be obtained from the roots of P _n,k , where m≠n, by a linear map.     

On the peripheral spectrum of positive elements

Let A be an ordered Banach algebra with a unit \(\mathbf{e}\) and a cone \(A^+\). An element p of A is said to be an order idempotent if \(p^2 = p\) and \(0 \le p\le \mathbf{e}\). An element \(a\in A^+\) is said to be irreducible if the relation \((\mathbf{e}-p)ap = 0\), where p is an order idempotent, implies \(p = 0\) or \(p = \mathbf{e}\). For an arbitrary element a of A the peripheral spectrum \(\sigma _\mathrm{per}(a)\) of a is the set \(\sigma _\mathrm{per}(a) = \{\lambda \in \sigma (a):|\lambda | = r(a)\}\), where \(\sigma (a)\) is the spectrum of a and r(a) is the spectral radius of a. We investigate properties of the peripheral spectrum of an irreducible element a. Conditions under which \(\sigma _\mathrm{per}(a)\) contains or coincides with \(r(a)H_m\), where \(H_m\) is the group of all \(m^\mathrm{th}\) roots of unity, and the spectrum \(\sigma (a)\) is invariant under rotation by the angle \(\frac{2\pi }{m}\) for some \(m\in {\mathbb N}\), are given. The correlation between these results and the existence of a cyclic form of a is considered. The conditions under which a is primitive, i.e., \(\sigma _\mathrm{per}(a) = \{r(a)\}\), are studied. The necessary assumptions on the algebra A which imply the validity of these results, are discussed. In particular, the Lotz–Schaefer axiom is introduced and finite-rank elements of A are defined. Other approaches to the notions of irreducibility and primitivity are discussed. Conditions under which the inequalities \(0 \le b < a\) imply \(r(b) < r(a)\) are studied. The closedness of the center \(A_\mathbf{e}\), i.e., of the order ideal generated by \(\mathbf{e}\) in A, is proved.     

On a vectorized version of a generalized Richardson extrapolation process

Let {x _m } be a vector sequence that satisfies

$$\boldsymbol{x}_{m}\sim \boldsymbol{s}+\sum\limits^{\infty}_{i=1}\alpha_{i} \boldsymbol{g}_{i}(m)\quad\text{as \(m\to\infty\)}, $$

s being the limit or antilimit of {x _m } and \(\{\boldsymbol {g}_{i}(m)\}^{\infty }_{i=1}\) being an asymptotic scale as m → ∞, in the sense that

$$\lim\limits_{m\to\infty}\frac{\|\boldsymbol{g}_{i+1}(m)\|}{\|\boldsymbol{g}_{i}(m)\|}=0,\quad i=1,2,\ldots. $$

The vector sequences \(\{\boldsymbol {g}_{i}(m)\}^{\infty }_{m=0}\), i = 1, 2,…, are known, as well as {x _m }. In this work, we analyze the convergence and convergence acceleration properties of a vectorized version of the generalized Richardson extrapolation process that is defined via the equations

$$\sum\limits^{k}_{i=1}\langle\boldsymbol{y},{\Delta}\boldsymbol{g}_{i}(m)\rangle\widetilde{\alpha}_{i}=\langle\boldsymbol{y},{\Delta}\boldsymbol{x}_{m}\rangle,\quad n\leq m\leq n+k-1;\quad \boldsymbol{s}_{n,k}=\boldsymbol{x}_{n}+\sum\limits^{k}_{i=1}\widetilde{\alpha}_{i}\boldsymbol{g}_{i}(n), $$

s _{n, k} being the approximation to s. Here, y is some nonzero vector, 〈? ,?〉 is an inner product, such that \(\langle \alpha \boldsymbol {a},\beta \boldsymbol {b}\rangle =\overline {\alpha }\beta \langle \boldsymbol {a},\boldsymbol {b}\rangle \), and Δx _m = x _{m + 1}? x _m and Δg _i (m) = g _i (m + 1)?g _i (m). By imposing a minimal number of reasonable additional conditions on the g _i (m), we show that the error s _{n, k} ? s has a full asymptotic expansion as n→∞. We also show that actual convergence acceleration takes place, and we provide a complete classification of it.

     

Infinitely many solutions for Kirchhoff equations with sign-changing potential and Hartree nonlinearity

This paper is concerned with the following Kirchhoff-type equations:

$$\begin{aligned} \left\{ \begin{array}{ll} \displaystyle -\big (a+b\int _{\mathbb {R}^{3}}|\nabla u|^{2}\mathrm {d}x\big )\Delta u+ V(x)u+\mu \phi |u|^{p-2}u=f(x, u)+g(x,u), &{} \text{ in } \mathbb {R}^{3},\\ (-\Delta )^{\frac{\alpha }{2}} \phi = \mu |u|^{p}, &{} \text{ in } \mathbb {R}^{3},\\ \end{array} \right. \end{aligned}$$

where \(a>0,~b,~\mu \ge 0\) are constants, \(\alpha \in (0,3)\), \(p\in [2,3+2\alpha )\), the potential V(x) may be unbounded from below and \(\phi |u|^{p-2}u\) is a Hartree-type nonlinearity. Under some mild conditions on V(x), f(x, u) and g(x, u), we prove that the above system has infinitely many nontrivial solutions. Specially, our results cover the general Schrödinger equations, the Kirchhoff equations and the Schrödinger–Poisson system.

     

Spectral multiplier theorems and averaged <Emphasis Type="Italic">R</Emphasis>-boundedness

Let A be a 0-sectorial operator with a bounded \(H^\infty (\Sigma _\sigma )\)-calculus for some \(\sigma \in (0,\pi ),\) e.g. a Laplace type operator on \(L^p(\Omega ),\, 1< p < \infty ,\) where \(\Omega \) is a manifold or a graph. We show that A has a \(\mathcal {H}^\alpha _2(\mathbb {R}_+)\) Hörmander functional calculus if and only if certain operator families derived from the resolvent \((\lambda - A)^{-1},\) the semigroup \(e^{-zA},\) the wave operators \(e^{itA}\) or the imaginary powers \(A^{it}\) of A are R-bounded in an \(L^2\)-averaged sense. If X is an \(L^p(\Omega )\) space with \(1 \le p < \infty \), R-boundedness reduces to well-known estimates of square sums.     

Uniform in bandwidth exact rates for a class of kernel estimators

Given an i.i.d sample (Y _i , Z _i ), taking values in \({\mathbb{R}^{d'}\times\mathbb{R}^d}\), we consider a collection Nadarya–Watson kernel estimators of the conditional expectations \({\mathbb{E}( <\,c_g(z),g(Y)>+d_g(z)\mid Z=z)}\), where z belongs to a compact set \({H\subset \mathbb{R}^d}\), g a Borel function on \({\mathbb{R}^{d'}}\) and c _g (·), d _g (·) are continuous functions on \({\mathbb{R}^d}\). Given two bandwidth sequences \({h_n<\mathfrak{h}_n}\) fulfilling mild conditions, we obtain an exact and explicit almost sure limit bounds for the deviations of these estimators around their expectations, uniformly in \({g\in\mathcal{G},\;z\in H}\) and \({h_n\le h\le \mathfrak{h}_n}\) under mild conditions on the density f _Z , the class \({\mathcal{G}}\), the kernel K and the functions c _g (·), d _g (·). We apply this result to prove that smoothed empirical likelihood can be used to build confidence intervals for conditional probabilities \({\mathbb{P}( Y\in C\mid Z=z)}\), that hold uniformly in \({z\in H,\; C\in \mathcal{C},\; h\in [h_n,\mathfrak{h}_n]}\). Here \({\mathcal{C}}\) is a Vapnik–Chervonenkis class of sets.