arXiv++ Combinatorics

In the context of Stirling polynomials, Gessel and Stanley introduced the definition of Stirling permutation, which has attracted extensive attention over the past decades. Recently, we introduced Stirling permutation code and provided numerous equidistribution results as applications. The purpose of the present work is to further analyse Stirling permutation code. First, we derive an expansion formula expressing the joint distribution of the types $A$ and $B$ descent statistics over the hyperoctahedral group, and we also find an interlacing property involving the zeros of its coefficient polynomials. Next, we prove a strong connection between signed permutations in the hyperoctahedral group and Stirling permutations. Furthermore, we investigate unified generalizations of the trivariate second-order Eulerian polynomials and ascent-plateau polynomials. Using Stirling permutation codes, we provide expansion formulas for eight-variable and seventeen-variable polynomials, which imply several $e$-positive expansions and clarify the connections among several statistics. Our results generalize the results of Bóna, Chen-Fu, Dumont, Janson, Haglund-Visontai and Petersen.

The concept of a fully interlacing matrix of formal power series with real coefficients is introduced. This concept extends and strengthens that of an interlacing sequence of real-rooted polynomials with nonnegative coefficients, in the special case of row and column matrices. The fully interlacing property is shown to be preserved under matrix products, flips across the reverse diagonal and Veronese sections of the power series involved. These results and their corollaries generalize, unify and simplify several results which have previously appeared in the literature. An application to the theory of uniform triangulations of simplicial complexes is included.

In this note, we use eigenvalue interlacing to derive an inequality between the maximum degree of a graph and its maximum and minimum adjacency eigenvalues. The case of equality is fully characterized.

In this paper, we study dual quaternion and dual complex unit gain graphs and their spectral properties in a unified frame of dual unit gain graphs. Unit dual quaternions represent rigid movements in the 3D space, and have wide applications in robotics and computer graphics. Dual complex numbers found application in brain science recently. We establish the interlacing theorem for dual unit gain graphs, and show that the spectral radius of a dual unit gain graph is always not greater than the spectral radius of the underlying graph, and these two radii are equal if and only if the dual gain graph is balanced. By using the dual cosine functions, we establish the closed form of eigenvalues of adjacency and Laplacian matrices of dual complex and quaternion unit gain cycles. We then show the coefficient theorem holds for dual unit gain graphs. Similar results hold for the spectral radius of the Laplacian matrix of the dual unit gain graph too.

In this note, we study a family of polynomials that appear naturally when analysing the characteristic functions of the one-dimensional elephant random walk. These polynomials depend on a memory parameter $p$ attached to the model. For certain values of $p$, these polynomials specialise to classical polynomials, such as the Chebychev polynomials in the simplest case, or generating polynomials of various combinatorial triangular arrays (e.g.\ Eulerian numbers). Although these polynomials are generically non-orthogonal (except for $p=\frac{1}{2}$ and $p=1$), they have interlacing roots. Finally, we relate some algebraic properties of these polynomials to the probabilistic behaviour of the elephant random walk. Our methods are reminiscent of classical orthogonal polynomial theory and are elementary.

We prove that an infinite block-Toeplitz matrix with finite diagonal support is totally nonnegative if and only if it is the weight matrix of a cylindrical network. This generalizes a well-known theorem of Brenti concerning finite totally nonnegative matrices and planar networks; in particular, our work gives an alternative, self-contained proof of the non-square case. Our argument employs Temperley-Lieb immanants, first introduced by Rhoades and Skandera, which are certain elements of Lusztig's dual canonical bases. As an application, we also obtain a new proof of a well-known theorem relating totally nonnegative block-Toeplitz matrices to interlacing polynomials.

This paper delves into the spectral norm aspect of the Generalized Column and Row Subset Selection (GCRSS) problem. Given a target matrix $\mathbf{A}\in \mathbb{R}^{n\times d}$, the objective of GCRSS is to select a column submatrix $\mathbf{B}_{:,S}\in\mathbb{R}^{n\times k}$ from the source matrix $\mathbf{B}\in\mathbb{R}^{n\times d_B}$ and a row submatrix $\mathbf{C}_{R,:}\in\mathbb{R}^{r\times d}$ from the source matrix $\mathbf{C}\in\mathbb{R}^{n_C\times d}$, such that the residual matrix $(\mathbf{I}_n-\mathbf{B}_{:,S}\mathbf{B}_{:,S}^{\dagger})\mathbf{A}(\mathbf{I}_d-\mathbf{C}_{R,:}^{\dagger} \mathbf{C}_{R,:})$ has a small spectral norm. By employing the method of interlacing polynomials, we show that the smallest possible spectral norm of a residual matrix can be bounded by the largest root of a related expected characteristic polynomial. A deterministic polynomial time algorithm is provided for the spectral norm case of the GCRSS problem. We next focus on two specific GCRSS scenarios: the Generalized Column Subset Selection (GCSS) problem ($r=0$), and the submatrix selection problem ($\mathbf{B}=\mathbf{C}=\mathbf{I}_d$). In the GCSS scenario, we connect the expected characteristic polynomials to the convolution of multi-affine polynomials, leading to the derivation of the first provable reconstruction bound on the spectral norm of a residual matrix. In the submatrix selection scenario, we show that for any sufficiently small $\varepsilon>0$ and any square matrix $\mathbf{A}\in\mathbb{R}^{d\times d}$, there exist two subsets $S\subset [d]$ and $R\subset [d]$ of sizes $O(d\cdot \varepsilon^2)$ such that $\Vert\mathbf{A}_{S,R}\Vert_2\leq \varepsilon\cdot \Vert\mathbf{A}\Vert_2$.

The purpose of this work is to build a framework that allows for an in-depth study of various generalisations to inhomogeneous space of models of Borodin-Ferrari, Dieker-Warren, Nordenstam, Warren-Windridge of interacting particles in interlacing arrays, both in discrete and continuous time, involving both Bernoulli and geometric jumps. The models can in addition be either time-inhomogeneous or particle-inhomogeneous. We show that the correlation functions of these models are determinantal and using this we prove a short-time asymptotic for these dynamics to the discrete Bessel point process. We moreover prove a number of closely related results. We prove that the autonomous, inhomogeneous in space and time, TASEP-like and pushTASEP-like particle systems on the edges of the array have explicit transition kernels and that from any deterministic initial condition their distributions are marginals of a determinantal measure. We prove a novel duality relation between dynamics in inhomogeneous space and dynamics with inhomogeneities on the level of the array. We extend the work of Nordenstam on the shuffling algorithm for domino tilings of the Aztec diamond and its relation to push-block dynamics in interlacing arrays to general weights on the tilings and then connect this, for a special class of weights, back to our previous results. We also consider non-intersecting walks in inhomogeneous space and time with fixed starting and end points and obtain a formula for their correlation functions, involving among other ingredients, an explicit Riemann-Hilbert problem. We then prove a limit theorem for the bottom lines in this line-ensemble, under some technical conditions. The main computational tool throughout this work is a natural generalisation of a Toeplitz matrix, that we call inhomogeneous Toeplitz-like matrix $\mathsf{T}_{\mathbf{f}}$ with (a possibly matrix-valued) symbol $\mathbf{f}$.

The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-nullity pair problem is considered for complete graphs, cycles, and trees. The strong nullity interlacing property is introduced, and the corresponding supergraph lemma and decontraction lemma are developed as new tools for constructing matrices with a given nullity pair.

This paper explores interlacing inequalities in the Laplacian spectrum of signed cycles and investigates interlacing relationship between the spectrum of the net-Laplacian of a signed graph and its subgraph formed by removing a vertex together with its incident edges. Additionally, an inequality is derived between the net-Laplacian spectrum of a complete co-regular signed graph $Γ$ and the Laplacian spectrum of the graph obtained by removing any vertex $v$ from $Γ$. Also for a signed graph $Γ$, the net-Laplacian matrix is normalized and an inequality is derived between the spectrum of the normalized net-Laplacian of a signed graph and its subgraph, formed by contraction of edge and vertex.

In this paper we investigate Ramanujan hypergraphs by using hypergraph coverings. We first show that the spectrum of a $k$-fold covering $\bar{H}$ of a connected hypergraph $H$ contains the spectrum of $H$, and that it is the union of the spectrum of $H$ and the spectrum of an incidence-signed hypergraph with $H$ as underlying hypergraph if $k=2$, which generalizes Bilu-Linial result on graph coverings. We give a lower bound for the second largest eigenvalue of a $d$-regular hypergraph by universal cover, which generalizes Alon-Boppana bound on $d$-regular graphs and Feng-Li bound on $(d,r)$-regular hypergraphs. By using interlacing family of polynomials, we prove that every $(d,r)$-regular hypergraph has a right-sided Ramanujan $2$-covering, and has a left-sided Ramanujan $2$-covering if the roots of the matching polynomial of its incident graph satisfy some condition. By Ramanujan $2$-coverings, we prove the existence of some families of infinite many left-sided or right-sided $(d,r)$-regular Ramanujan hypergraphs under certain conditions on $d$ and $r$.

In the study of a tantalizing symmetry on Catalan objects, Bóna et al. introduced a family of polynomials $\{W_{n,k}(x)\}_{n\geq k\geq 0}$ defined by \begin{align*} W_{n,k}(x)=\sum_{m=0}^{k}w_{n,k,m}x^{m}, \end{align*} where $w_{n,k,m}$ counts the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. They proposed two conjectures on the interlacing property of these polynomials, one of which states that $\{W_{n,k}(x)\}_{n\geq k}$ is a Sturm sequence for any fixed $k\geq 1$, and the other states that $\{W_{n,k}(x)\}_{1\leq k\leq n}$ is a Sturm-unimodal sequence for any fixed $n\geq 1$. In this paper, we obtain certain recurrence relations for $W_{n,k}(x)$, and further confirm their conjectures.

We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process. Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support. Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.

We show that for threshold graphs, the eigenvalues of the signless Laplacian matrix interlace with the degrees of the vertices. As an application, we show that the signless Brouwer conjecture holds for threshold graphs, i.e., for threshold graphs the sum of the k largest eigenvalues is bounded by the number of edges plus k + 1 choose 2.

We provide a complete classification of the algebraicity of (generalized) hypergeometric functions with no restriction on the set of their parameters. Our characterization relies on the interlacing criteria of Christol (1987) and Beukers-Heckman (1989) for globally bounded and algebraic hypergeometric functions, however in a more general setting which allows arbitrary complex parameters with possibly integral differences. We also showcase the adapted criterion on a variety of different examples.

To apportion a complex matrix means to apply a similarity so that all entries of the resulting matrix have the same magnitude. We initiate the study of apportionment, both by unitary matrix similarity and general matrix similarity. There are connections between apportionment and classical graph decomposition problems, including graceful labelings of graphs, Hadamard matrices, and equiangluar lines, and potential applications to instantaneous uniform mixing in quantum walks. The connection between apportionment and graceful labelings allows the construction of apportionable matrices from trees. A generalization of the well-known Eigenvalue Interlacing Inequalities using graceful labelings is also presented. It is shown that every rank one matrix can be apportioned by a unitary similarity, but there are $2\x 2$ matrices that cannot be apportioned. A necessary condition for a matrix to be apportioned by unitary matrix is established. This condition is used to construct a set of matrices with nonzero Lebesgue measure that are not apportionable by a unitary matrix.

The second largest eigenvalue of a graph is an important algebraic parameter which is related with the expansion, connectivity and randomness properties of a graph. Expanders are highly connected sparse graphs. In coding theory, Expander codes are Error Correcting codes made up of bipartite expander graphs. In this paper, first we prove the interlacing of the eigenvalues of the adjacency matrix of the bipartite graph with the eigenvalues of the bipartite quotient matrices of the corresponding graph matrices. Then we obtain bounds for the second largest and second smallest eigenvalues. Since the graph is bipartite, the results for Laplacian will also hold for Signless Laplacian matrix. We then introduce a new method called vertex-split of a bipartite graph to construct asymptotically good expander codes with expansion factor $\frac{D}{2}<α< D$ and $ε<\frac{1}{2}$ and prove a condition for the vertex-split of a bipartite graph to be $k-$connected with respect to $λ_{2}.$ Further, we prove that the vertex-split of $G$ is a bipartite expander. Finally, we construct an asymptotically good expander code whose factor graph is a graph obtained by the vertex-split of a bipartite graph.

We introduce a family of polynomials, which arise in three distinct ways: in the large $N$ expansion of a matrix integral, as a weighted enumeration of factorisations of permutations, and via the topological recursion. More explicitly, we interpret the complex Grassmannian $\mathrm{Gr}(M,N)$ as the space of $N \times N$ idempotent Hermitian matrices of rank $M$ and develop a Weingarten calculus to integrate products of matrix elements over it. In the regime of large $N$ and fixed ratio $\frac{M}{N}$, such integrals have expansions whose coefficients count factorisations of permutations into monotone sequences of transpositions, with each sequence weighted by a monomial in $t = 1 - \frac{N}{M}$. This gives rise to the desired polynomials, which specialise to the monotone Hurwitz numbers when $t = 1$. These so-called deformed monotone Hurwitz numbers satisfy a cut-and-join recursion, a one-point recursion, and the topological recursion. Furthermore, we conjecture on the basis of overwhelming empirical evidence that the deformed monotone Hurwitz numbers are real-rooted polynomials whose roots satisfy remarkable interlacing phenomena. An outcome of our work is the viewpoint that the topological recursion can be used to "topologise" sequences of polynomials, and we claim that the resulting families of polynomials may possess interesting properties. As a further case study, we consider a weighted enumeration of dessins d'enfant and conjecture that the resulting polynomials are also real-rooted and satisfy analogous interlacing properties.

A theorem of Nosal and Nikiforov states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, where the equality holds if and only if $G$ is a complete bipartite graph. A well-known spectral conjecture of Bollobás and Nikiforov [J. Combin. Theory Ser. B 97 (2007)] asserts that if $G$ is a $K_{r+1}$-free graph with $m$ edges, then $λ_1^2(G) + λ_2^2(G) \le (1-\frac{1}{r})2m$. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] confirmed the conjecture in the case $r=2$. Using this base case, they proved further that $λ(G)\le \sqrt{m-1}$ for every non-bipartite triangle-free graph $G$, with equality if and only if $m=5$ and $G=C_5$. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented an improvement by showing $λ(G) \le β(m)$, where $β(m)$ is the largest root of $Z(x):=x^3-x^2-(m-2)x+m-3$. The equality in Zhai--Shu's result holds only if $m$ is odd and $G$ is obtained from the complete bipartite graph $K_{2,\frac{m-1}{2}}$ by subdividing exactly one edge. Motivated by this observation, Zhai and Shu proposed a question to find a sharp bound when $m$ is even. We shall solve this question by using a different method and characterize three kinds of spectral extremal graphs over all triangle-free non-bipartite graphs with even size. Our proof technique is mainly based on applying Cauchy interlacing theorem of eigenvalues of a graph, and with the aid of a triangle counting lemma in terms of both eigenvalues and the size of a graph.

Rail-yard graphs are a general class of graphs introduced in \cite{bbccr} on which the random dimer coverings form Schur processes. We study asymptotic limits of random dimer coverings on rail yard graphs with free boundary conditions on both the left boundary and the right boundary (double-sided free boundary) when the mesh sizes of the graphs go to 0. Each dimer covering corresponds to a sequence of interlacing partitions starting with an arbitrary partition and ending in an arbitrary partition. Under the assumption that the probability of each dimer covering is proportional to the product of weights of present edges, we obtain the moment formula for the height function which includes an infinite product. By passing down to the scaling limit, we compute the limit shape (law of large numbers) of the rescaled height functions and prove the convergence of unrescaled height fluctuations to a diffeomorphic image of the restriction of the 0-boundary Gaussian free field (central limit theorem) on the upper half plane to a subset. Applications include the limit shape and height fluctuations for free boundary steep tilings as proposed in \cite{BCC17}. The technique to obtain these results is to analyze a class of Macdonald processes with dual specializations, subject to further complexities arising from the infinite product in the moment formula. We also obtain a new algorithm to sample double-sided free boundary dimer coverings on rail-yard graphs, which fulfills an open problem in \cite{bbbccv14}.