A relation between the Laplacian and signless Laplacian eigenvalues of a graph

Let G be a graph of order n such that \(\sum_{i=0}^{n}(-1)^{i}a_{i}\lambda^{n-i}\) and \(\sum_{i=0}^{n}(-1)^{i}b_{i}\lambda^{n-i}\) are the characteristic polynomials of the signless Laplacian and the Laplacian matrices of G, respectively. We show that a _i ≥b _i for i=0,1,…,n. As a consequence, we prove that for any α, 0<α≤1, if q ₁,…,q _n and μ ₁,…,μ _n are the signless Laplacian and the Laplacian eigenvalues of G, respectively, then \(q_{1}^{\alpha}+\cdots+q_{n}^{\alpha}\geq\mu_{1}^{\alpha}+\cdots+\mu _{n}^{\alpha}\).     

On Generalized Markoff-Hurwitz-type Equations over Finite Fields

Let N _q denote the number of solutions of the generalized Markoff-Hurwitz-type equation

$a_1x_1^{m_1}+a_2x_2^{m_2}+\cdots+a_nx_n^{m_n}=b\,x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n}$

over the finite field \(\mathbb{F}_{q}\), where m _i ,k _i are positive integers\(,a_{i},b\in \mathbb{F}_{q}^{*}\) for i=1,…,n and n≥2. By introducing and applying augmented degree matrix, we show that if \(\gcd(\sum_{i=1}^{n}k_{i}m/m_{i}-m,q-1)=1\) where m=m ₁ ??? m _n then N _q =q ^n?1+(?1)^n?1. This partially solves one of Carlitz’s problems and generalizes as well as simplifies some results of Baoulina about these type equations.

     

Some Hecke algebra products and corresponding random walks

Let i=1+q+???+q ^i?1. For certain sequences (r ₁,…,r _l ) of positive integers, we show that in the Hecke algebra ? _n (q) of the symmetric group \(\mathfrak{S}_{n}\), the product \((1+\boldsymbol{r}_{\boldsymbol{1}}T_{r_{1}})\cdots (1+\boldsymbol{r}_{\boldsymbol{l}}T_{r_{l}})\) has a simple explicit expansion in terms of the standard basis {T _w }. An interpretation is given in terms of random walks on \(\mathfrak{S}_{n}\).     

Analysing the Wu metric on a class of eggs in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> – II

We study the Wu metric for the non-convex domains of the form \( E_{2m} = \{ z \in \mathbb {C}^{n} : \vert {z_{1} \vert }^{2m} + \vert {z_{2}\vert }^{2} + {\cdots } + \vert {z_{n-1}\vert }^{2} + \vert {z_{n}\vert }^{2} <1 \}\), where 0 < m < 1/2. We give explicit expressions for the Kobayashi metric and the Wu metric on such pseudo-eggs E _2m . We verify that the Wu metric is a continuous Hermitian metric on E _2m , real analytic everywhere except along the complex hypersurface Z = {(0,z ₂,…,z _n ) ∈ E _2m }. We also show that the holomorphic curvature of the Wu metric for this non-compact family of pseudoconvex domains is bounded above in the sense of currents by a negative constant independent of m. This verifies a conjecture of S. Kobayashi and H. Wu for such E _2m .     

On a Congruence Involving Generalized Fibonomial Coefficients

Let (F_n)_n≥0 be the Fibonacci sequence. For 1 ≤ k ≤ m, the Fibonomial coefficient is defined as

$${\left[ {\begin{array}{*{20}{c}} n \\ k \end{array}} \right]_F} = \frac{{{F_{n - k + 1}} \cdots {F_{n - 1}}{F_n}}}{{{F_1} \cdots {F_k}}}$$

. In 2013, Marques, Sellers and Trojovský proved that if p is a prime number such that p ≡ ±1 (mod 5), then p?\({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all integers a ≥ 1. In 2010, in particular, Kilic generalized the Fibonomial coefficients for

$${\left[ {\begin{array}{*{20}{c}} n \\ k \end{array}} \right]_{F,m}} = \frac{{{F_{\left( {n - k + 1} \right)m}} \cdots {F_{\left( {n - 1} \right)m}}{F_{nm}}}}{{{F_m} \cdots {F_{km}}}}$$

. In this note, we generalize Marques, Sellers and Trojovský result to prove, in particular, that if p ≡ ±1 (mod 5), then \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_{F,m}} \equiv 1\) (mod p), for all a ≥ 0 and m ≥ 1.

     

Abelian covers of alternating groups

Let \({C={\rm inf} (k/n)\sum_{i=1}^n x_i(x_{i+1}+\cdots+x_{i+k})^{-1}}\), where the infimum is taken over all pairs of integers \({n\geq k\geq 1}\) and all positive \({x_1,\ldots,x_n}\), \({x_{n+i}=x_i}\). We prove that \({\ln 2 \leq C < 0.9305}\). In the definition of the constant C, the operation \({{\rm inf}_{k}\, {\rm inf}_{n}\, {\rm inf}_{x}}\) can be replaced by \({{\rm lim}_{k \to \infty}\, {\rm lim}_{n \to \infty} {\rm inf}_{x}}\).     

On the Exact Maximum Complexity of Minkowski Sums of Polytopes

We present a tight bound on the exact maximum complexity of Minkowski sums of polytopes in ?³. In particular, we prove that the maximum number of facets of the Minkowski sum of k polytopes with m ₁,m ₂,…,m _k facets, respectively, is bounded from above by \(\sum_{1\leq i. Given k positive integers m ₁,m ₂,…,m _k , we describe how to construct k polytopes with corresponding number of facets, such that the number of facets of their Minkowski sum is exactly \(\sum_{1\leq i. When k=2, for example, the expression above reduces to 4m ₁ m ₂?9m ₁?9m ₂+26.     

Irreducible Modules Over Witt Algebras $\mathcal {W}_{n}$ and Over 𝖘𝖑n+1(ℂ)$\mathfrak {sl}_{n+1}(\mathbb {C})$

In this paper, by using the “twisting technique” we obtain a class of new modules A _b over the Witt algebras \(\mathcal {W}_{n}\) from modules A over the Weyl algebras \(\mathcal {K}_{n}\) (of Laurent polynomials) for any \(b\in \mathbb {C}\). We give necessary and sufficient conditions for A _b to be irreducible, and determine necessary and sufficient conditions for two such irreducible \(\mathcal {W}_{n}\)-modules to be isomorphic. Since \(\mathfrak {sl}_{n+1}(\mathbb {C})\) is a subalgebra of \(\mathcal {W}_{n}\), all the above irreducible \(\mathcal {W}_{n}\)-modules A _b can be considered as \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules. For a class of such \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules, denoted by Ω_1?a (λ ₁, λ ₂, ? ,λ _n ) where \(a\in \mathbb {C}, \lambda _{1},\lambda _{2},\cdots ,\lambda _{n} \in \mathbb {C}^{*}\), we determine necessary and sufficient conditions for these \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules to be irreducible. If the \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-module Ω_1?a (λ ₁, λ ₂,? ,λ _n ) is reducible, we prove that it has a unique nontrivial submodule W _1?a (λ ₁, λ ₂,...λ _n ) and the quotient module is the finite dimensional \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-module with highest weight mΛ _n for some non-negative integer \(m\in \mathbb {Z}_{+}\). We also determine necessary and sufficient conditions for two \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules of the form Ω_1?a (λ ₁, λ ₂,? ,λ _n ) or of the form W _1?a (λ ₁, λ ₂,...λ _n ) to be isomorphic.     

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.

     

MULTITRANSITIVITY OF CALOGERO-MOSER SPACES

Let G be the group of unimodular automorphisms of a free associative ?-algebra on two generators. A theorem of G. Wilson and the first author [BW] asserts that the natural action of G on the Calogero-Moser spaces C _n is transitive for all n ? ?. We extend this result in two ways: first, we prove that the action of G on C _n is doubly transitive, meaning that G acts transitively on the configuration space of ordered pairs of distinct points in C _n ; second, we prove that the diagonal action of G on \( {C}_{n_1}\times {C}_{n_2}\times \cdots \times {C}_{n_m} \) is transitive provided n ₁,?n ₂,?…,?n _m are pairwise distinct numbers.     

On some permutation binomials and trinomials over $$\mathbb {F}_{2^n}$$

In this work, we completely characterize (1) permutation binomials of the form \(x^{{{2^n -1}\over {2^t-1}}+1}+ ax \in \mathbb {F}_{2^n}[x], n = 2^st, a \in \mathbb {F}_{2^{2t}}^{*}\), and (2) permutation trinomials of the form \(x^{2^s+1}+x^{2^{s-1}+1}+\alpha x \in \mathbb {F}_{2^t}[x]\), where s, t are positive integers. The first result, which was our primary motivation, is a consequence of the second result. The second result may be of independent interest.     

Functional limit theorems for the maxima of perturbed random walk and divergent perpetuities in the <Emphasis Type="Italic">M</Emphasis><Subscript>1</Subscript>-topology

Let (ξ ₁, η ₁), (ξ ₂, η ₂),… be a sequence of i.i.d. two-dimensional random vectors. In the earlier article Iksanov and Pilipenko (2014) weak convergence in the J ₁-topology on the Skorokhod space of \(n^{-1/2}\underset {0\leq k\leq [n\cdot ]}{\max }\,(\xi _{1}+\ldots +\xi _{k}+\eta _{k+1})\) was proved under the assumption that contributions of \(\underset {0\leq k\leq n}{\max }\,(\xi _{1}+\ldots +\xi _{k})\) and \(\underset {1\leq k\leq n}{\max }\,\eta _{k}\) to the limit are comparable and that n ^?1/2(ξ ₁+… + ξ _[n?]) is attracted to a Brownian motion. In the present paper, we continue this line of research and investigate a more complicated situation when ξ ₁+… + ξ _[n?], properly normalized without centering, is attracted to a centered stable Lévy process, a process with jumps. As a consequence, weak convergence normally holds in the M ₁-topology. We also provide sufficient conditions for the J ₁-convergence. For completeness, less interesting situations are discussed when one of the sequences \(\underset {0\leq k\leq n}{\max }\,(\xi _{1}+\ldots +\xi _{k})\) and \(\underset {1\leq k\leq n}{\max }\,\eta _{k}\) dominates the other. An application of our main results to divergent perpetuities with positive entries is given.     

Generalized modified Gold sequences

In this paper, a large family \({\mathcal{F}^k(l)}\) of binary sequences of period 2 ⁿ ? 1 is constructed for odd n = 2m + 1, where k is any integer with gcd(n, k) = 1 and l is an integer with 1 ≤ l ≤ m. This generalizes the construction of modified Gold sequences by Rothaus. It is shown that \({\mathcal{F}^k(l)}\) has family size \({2^{ln}+2^{(l-1)n}+\cdots+2^n+1}\), maximum nontrivial correlation magnitude 1 + 2^m+l. Based on the theory of quadratic forms over finite fields, all exact correlation values between sequences in \({\mathcal{F}^k(l)}\) are determined. Furthermore, the family \({\mathcal{F}^k(2)}\) is discussed in detail to compute its complete correlation distribution.     

Circular Law for Noncentral Random Matrices

Let (X _jk )_j,k≥1 be an infinite array of i.i.d. complex random variables with mean 0 and variance 1. Let λ _n,1,…,λ _n,n be the eigenvalues of \((\frac{1}{\sqrt{n}}X_{jk})_{1\leqslant j,k\leqslant n}\). The strong circular law theorem states that, with probability one, the empirical spectral distribution \(\frac{1}{n}(\delta _{\lambda _{n,1}}+\cdots+\delta _{\lambda _{n,n}})\) converges weakly as n→∞ to the uniform law over the unit disc {z∈?,|z|≤1}. In this short paper, we provide an elementary argument that allows us to add a deterministic matrix M to (X _jk )_{1≤ j,k ≤ n} provided that Tr(MM ^*)=O(n ²) and rank(M)=O(n ^α ) with α<1. Conveniently, the argument is similar to the one used for the noncentral version of the Wigner and Marchenko–Pastur theorems.     

Sets with even partition functions and 2-adic integers

For P ? \(\mathbb{F}_2 \)[z] with _P(0) = 1 and deg(_P) ≥ 1, let \(\mathcal{A}\) = \(\mathcal{A}\)(P) (cf. [4], [5], [13]) be the unique subset of ? such that Σ _n≥0 p(\(\mathcal{A}\), n)z ⁿ ≡ P(z) (mod 2), where p(\(\mathcal{A}\), n) is the number of partitions of n with parts in \(\mathcal{A}\). Let p be an odd prime and P ? \(\mathbb{F}_2 \)[z] be some irreducible polynomial of order p, i.e., p is the smallest positive integer such that P(z) divides 1 + z ^p in \(\mathbb{F}_2 \)[z]. In this paper, we prove that if m is an odd positive integer, the elements of \(\mathcal{A}\) = \(\mathcal{A}\)(P) of the form 2 ^k m are determined by the 2-adic expansion of some root of a polynomial with integer coefficients. This extends a result of F. Ben Saïd and J.-L. Nicolas [6] to all primes p.     

Generalizations of Schöbi’s Tetrahedral Dissection

Let v ₁,…,v _n be unit vectors in ? ⁿ such that v _i ?v _j =?w for i≠j, where \(-1. The points ∑ _i=1 ⁿ λ _i v _i (1≥λ ₁≥???≥λ _n ≥0) form a “Hill-simplex of the first type,” denoted by \(\mathcal {Q}_{n}(w)\). It was shown by Hadwiger in 1951 that \(\mathcal {Q}_{n}(w)\) is equidissectable with a cube. In 1985, Schöbi gave a three-piece dissection of \(\mathcal {Q}_{3}(w)\) into a triangular prism \(c\mathcal {Q}_{2}(\frac{1}{2})\times I\), where I denotes an interval and \(c=\sqrt{2(w+1)/3}\). In this paper, we generalize Schöbi’s dissection to an n-piece dissection of \(\mathcal {Q}_{n}(w)\) into a prism \(c\mathcal {Q}_{n-1}(\frac{1}{n-1})\times I\), where \(c=\sqrt{(n-1)(w+1)/n}\). Iterating this process leads to a dissection of \(\mathcal {Q}_{n}(w)\) into an n-dimensional rectangular parallelepiped (or “brick”) using at most n! pieces. The complexity of computing the map from \(\mathcal {Q}_{n}(w)\) to the brick is O(n ²). A second generalization of Schöbi’s dissection is given which applies specifically in ?⁴. The results have applications to source coding and to constant-weight binary codes.     

Searching for a Best Least Absolute Deviations Solution of an Overdetermined System of Linear Equations Motivated by Searching for a Best Least Absolute Deviations Hyperplane on the Basis of Given Data

We consider the problem of searching for a best LAD-solution of an overdetermined system of linear equations Xa=z, X∈?^m×n, m≥n, \(\mathbf{a}\in \mathbb{R}^{n}, \mathbf {z}\in\mathbb{R}^{m}\). This problem is equivalent to the problem of determining a best LAD-hyperplane x?a ^T x, x∈? ⁿ on the basis of given data \((\mathbf{x}_{i},z_{i}), \mathbf{x}_{i}= (x_{1}^{(i)},\ldots,x_{n}^{(i)})^{T}\in \mathbb{R}^{n}, z_{i}\in\mathbb{R}, i=1,\ldots,m\), whereby the minimizing functional is of the form

$F(\mathbf{a})=\|\mathbf{z}-\mathbf{Xa}\|_1=\sum_{i=1}^m|z_i-\mathbf {a}^T\mathbf{x}_i|.$

An iterative procedure is constructed as a sequence of weighted median problems, which gives the solution in finitely many steps. A criterion of optimality follows from the fact that the minimizing functional F is convex, and therefore the point a ^?∈? ⁿ is the point of a global minimum of the functional F if and only if 0∈?F(a ^?).

Motivation for the construction of the algorithm was found in a geometrically visible algorithm for determining a best LAD-plane (x,y)?αx+βy, passing through the origin of the coordinate system, on the basis of the data (x _i ,y _i ,z _i ),i=1,…,m.     

Complete weight enumerators of a class of linear codes

Let \(\mathbb {F}_{q}\) be the finite field with \(q=p^{m}\) elements, where p is an odd prime and m is a positive integer. For a positive integer t, let \(D\subset \mathbb {F}^{t}_{q}\) and let \({\mathrm {Tr}}_{m}\) be the trace function from \(\mathbb {F}_{q}\) onto \(\mathbb {F}_{p}\). In this paper, let \(D=\{(x_{1},x_{2},\ldots ,x_{t}) \in \mathbb {F}_{q}^{t}\setminus \{(0,0,\ldots ,0)\} : {\mathrm {Tr}}_{m}(x_{1}+x_{2}+\cdots +x_{t})=0\},\) we define a p-ary linear code \(\mathcal {C}_{D}\) by

$$\begin{aligned} \mathcal {C}_{D}=\{\mathbf {c}(a_{1},a_{2},\ldots ,a_{t}) : (a_{1},a_{2},\ldots ,a_{t})\in \mathbb {F}^{t}_{q}\}, \end{aligned}$$

where

$$\begin{aligned} \mathbf {c}(a_{1},a_{2},\ldots ,a_{t})=({\mathrm {Tr}}_{m}(a_{1}x^{2}_{1}+a_{2}x^{2}_{2}+\cdots +a_{t}x^{2}_{t}))_{(x_{1},x_{2},\ldots ,x_{t}) \in D}. \end{aligned}$$

We shall present the complete weight enumerators of the linear codes \(\mathcal {C}_{D}\) and give several classes of linear codes with a few weights. This paper generalizes the results of Yang and Yao (Des Codes Cryptogr, 2016).

     

Meromorphic Jost functions and asymptotic expansions for Jacobi parameters

We show that the parameters a _n , b _n of a Jacobi matrix have a complete asymptotic expansion

$a_n^2 - 1 = \sum\limits_{k = 1}^{K(R)} {p_k (n)\mu _k^{ - 2n} + O(R^{ - 2n} ),} b_n = \sum\limits_{k = 1}^{K(R)} {p_k (n)\mu _k^{ - 2n + 1} + O(R^{ - 2n} )} $

, where 1 < |µ_j| < R for j ? K(R) and all R, if and only if the Jost function, u, written in terms of z (where E = z + z ^?1) is an entire meromorphic function. We relate the poles of u to the µ_j’s.

     

The <Emphasis Type="Italic">p</Emphasis>-adic order of some fibonomial coefficients whose entries are powers of <Emphasis Type="Italic">p</Emphasis>

Let (F _n ) _n≥0 be the Fibonacci sequence. For 1 ≤ k ≤ m, the Fibonomial coefficient is defined as

$${\left[ {\begin{array}{*{20}{c}} m \\ k \end{array}} \right]_F} = \frac{{{F_{m - k + 1}} \cdots {F_{m - 1}}{F_m}}}{{{F_1} \cdots {F_k}}}$$

. In 2013, Marques, Sellers and Trojovský proved that if p is a prime number such that p ≡ ±2 (mod 5), then \(p{\left| {\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]} \right._F}\) for all integers a ≥ 1. In 2015, Marques and Trojovský worked on the p-adic order of \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all a ≥ 1 when p ≠ 5. In this paper, we shall provide the exact p-adic order of \({\left[ {\begin{array}{*{20}{c}} {{p^{a + 1}}} \\ {{p^a}} \end{array}} \right]_F}\) for all integers a, b ≥ 1 and for all prime number p.