arXiv++ Combinatorics

We introduce a weighted adjacency-degree matrix \(A_{fg}(G)\) with edge weights \(f(d_i,d_j)\) and diagonal entries \(g(d_i)\), unifying adjacency, Laplacian, signless Laplacian, \(A_α\), ABC, Randić, Sombor and related matrices. For dendrimer trees \(D_{n,k}\) and Bethe trees \(B_{n,k}\), the characteristic polynomial is factorized through one recursive sequence \(P_{fg,n}\). When \(f^2(1,k)=f^2(k,k)\), this sequence admits a Chebyshev reduction to \( U_{j+1}(x)+δU_j(x)=0, \) covering \(L/L^+\) and \(A_α\); explicit cosine spectra occur only in special cases, such as the adjacency matrix and the \(L/L^+\) end factor of \(B_{n,k}\). We derive positive-semidefinite energy formulas, Gershgorin criteria, spectral-gap estimates, interlacing and non-interlacing results, partial eigenvalue-coincidence information, and McClelland- and Koolen--Moulton-type bounds. Several known results are recovered as special cases of this unified framework.

Mandal and Mehatari (\emph{Comp.\ Appl.\ Math.}, 2025) introduced the class $\mathcal{C}$ of cographs generated by a finite creation sequence $(α_1,\dots,α_m)$ of natural numbers, and derived the inertia, an extended eigenvalue-free interval, and the exact characteristic polynomial for the \emph{adjacency} matrix of such graphs. In this note we develop the parallel theory for the \emph{distance Laplacian} matrix $D^L(G)$ and \emph{distance signless Laplacian} matrix $D^Q(G)$. It is shown that $(0,α_{\min}) \cup (n-α_{\min}, n)$, $(0,n) \ \cup\ (n,\,n+α_{\min}) \ \cup\ (2n-α_{\min},\,2n)$, $\big(2\Tr_{\min},\ μ_{\max}(D^Q(G))\big)$ are the eigenvalue-free intervals of the Laplacian, distance Laplacian, and distance signless Laplacian matrices respectively for the said class of graphs.

We study integer-interval deformations of Coxeter arrangements of types $A$, $B$, and $D$, assigning an integer interval to each root direction through an integer-valued root function. We introduce a local compatibility condition on this root function. For compatible root functions, subject to additional local bounds in types $B$ and $D$, we derive characteristic-polynomial formulas as binomial sums over cyclic orders in type $A$ and signed permutations in types $B$ and $D$. The proofs use the finite-field method and reduce hyperplane avoidance to consecutive-gap inequalities. These formulas recover, in particular, the classical Catalan and Shi characteristic polynomials.

For every $N\ge36$, we realise any prescribed monic irreducible binary polynomial of degree $N$ as the characteristic polynomial of a linear hybrid cellular automaton on a near-square region of exactly $N$ cells. The transition matrix is Moore-local with a null boundary and has at most $3N-1$ directed nonself dependencies. The dependency graph retains a bidirectional Hamilton path; its indegree, outdegree and underlying undirected degree are at most six. The underlying graph contains an explicit square grid minor of side proportional to $\sqrt N$. The deterministic synthesis takes $O(N^3)$ bit operations. The construction combines a local similarity transformation with a transport potential and joint routing across consecutive row gaps. Exact verification of finite certificates, followed by induction, proves the required routing inequalities for every admissible width. We also give an entirely analytic construction with fewer than $7N/2$ dependencies and prove a lower bound of $5N/2-O(\sqrt N)$ for the retained path and full rectangular grid minor. This lower bound is sharp when the characteristic polynomial is unrestricted.

We determine the complete eigenvalue region of the following Markov chains on $2q$ states, for $q\ge2$. The states are $A_0,\ldots,A_{q-1}$ and $B_0,\ldots,B_{q-1}$. Each transition $A_j\to A_{j+1}$ and $B_j\to B_{j+1}$, for $0\le j<q-1$, has probability one. From $A_{q-1}$, the chain moves to $A_0$ with probability $a$ and to $B_0$ with probability $1-a$. From $B_{q-1}$, it moves to $B_0$ with probability $b$ and to $A_j$ with probability $(1-b)p_j$. Here $a,b\in[0,1]$ and $p_j\ge0$ with $\sum_{j=0}^{q-1}p_j=1$; these parameters vary over all permitted values. Every segment from zero to an attainable eigenvalue lies in the region. Its unit-circle points are exactly the roots of unity of order at most $2q$, as for unrestricted stochastic matrices of the same order, yet the full region is strictly smaller. It excludes $0<|\operatorname{Arg}λ|<π/q$. For odd $q$, the final nonreal boundary arc ends at a negative real point inside the unit disk; the remaining interval to $-1$ is also boundary. Every transition matrix has the same characteristic polynomial as one with $a=b$. Among $q+1$ fixed matrices in this balanced family, convex combinations of at most three realize every attainable eigenvalue, and two suffice on the boundary. Both bounds are sharp within this set. Consecutive reduced fractions in $[1/(2q),1/2]$ with denominators at most $2q$ select the upper nonreal boundary constructions. Each boundary radius is the unique solution of an equation whose left-hand side increases strictly with the radius.

Given a subvariety of the Grassmannian and a data point, we seek to find a point on the subvariety minimizing the Euclidean distance to the data point. The number of complex critical points of this optimization problem is the Euclidean distance (ED) degree. We show that the ED discriminant of the whole Grassmannian, that is, the set of data points with a number of critical points different than the ED degree, is the discriminant of the characteristic polynomial of the data as a projection matrix. Another closely connected algebraic complexity measure for a subvariety in the Grassmannian is the Grassmann distance (GD) degree, which is the number of complex critical points of the distance optimization problem when the data point itself is in the Grassmannian. We give formulae for ED and GD degrees of geometrically meaningful subvarieties of the Grassmannian, namely, products of smaller Grassmannians, matroid realization varieties, and Schubert varieties.

A finite nonempty set $F\subset\mathbb{N}$ is Schreier if $\min F\ge |F|$. First, we prove a linear recurrence relation and compute initial counts for Schreier sets consisting of intervals. Two intervals of integers are separated if their union is not an interval. If $\mathcal J_{k,n}$ is the collection of Schreier sets that are the union of exactly $k$ separated intervals, then the sequence $(|\mathcal{J}_{k,n}|)_{n=1}^\infty$ satisfies the characteristic polynomial $p_k(x) = (x-1)^{2k+1}(x+1)^k$. Furthermore, we introduce the new concept of $k$-super-Schreier sets and let $\mathcal{S}_{k,n}$ denote the collection of $k$-super-Schreier sets whose maximum is $n$. We show that the sequence $(|\mathcal{S}_{k,n}|)_{n=1}^\infty$ satisfies a Fibonacci-type recurrence with a remainder term expressible as a polynomial of $n$.

We introduce Gårding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations have ultra log-concave coefficient sequences. The Gårding property for several matroid generating functions is preserved under natural matroid operations. As applications, we derive new negative dependence results for generating functions associated with various classes of matroids and graphs, including examples previously beyond the scope of real stability and Lorentzian methods. We further obtain analogous results for characteristic polynomials arising from certain matrix classes.

We study the behavior of the characteristic and chromatic polynomials of certain families of graphs and their relation to homomorphism counts, focusing on polynomial dependence of the coefficients at each fixed codegree on the graph family parameter. We prove that the characteristic polynomials of strongly regular graphs with polynomial parameters form a two-level polynomial of infinite depth in the sense of Bogart and Woods. In contrast, the chromatic polynomials of Paley graphs have maximal constant depth two: their coefficient of codegree three is not eventually polynomial in the number of vertices. We also prove that both the chromatic and characteristic polynomials of every strongly polynomial graph sequence, in the sense of de La Harpe and Jaeger, have infinite depth. Finally, we investigate homomorphism counts between two strongly polynomial graph sequences. We show that infinite depth need not hold in general, but we construct target sequences for which it holds for every strongly polynomial source sequence.

The Delannoy numbers $d(n,k)$ count lattice paths from $(0,0)$ to $(n-k,k)$ using steps $(1,0),(0,1)$ and $(1,1)$. This paper introduces a graded poset $\mathcal{D}_n$ on the Delannoy paths ending on the line $x+y=n$, whose rank-generating function is the Delannoy polynomial $d_n(x)=\sum_{k=0}^n d(n,k)x^k$. We prove that $\\mathcal{D}_n$ is a self-dual lattice, which is call the Delannoy lattice. By establishing an explicit symmetric Boolean decomposition, we show that $\mathcal{D}_n$ is a symmetric Boolean order, thereby recovering the $γ$-positivity of $d_n(x)$. Such a decomposition is refined to a symmetric chain decomposition with the chain cover property, and is applied to determine all maximum antichains. We also investigate other combinatorial aspects of $\mathcal{D}_n$, including supersolvability, the Möbius number, characteristic polynomials, and zeta polynomials.

A graph is integral if the spectrum of its adjacency matrix consists entirely of integers. We prove that every simple graph having a pendant path with at least three edges has an eigenvalue in $(1,2\cos(π/9)]$ and one in $[-2\cos(π/9),-1)$, and hence is not integral. This settles a conjecture of Braga, Del-Vecchio and Rodrigues (2021) on integral generalized sun graphs. The argument is matrix-theoretic: adjoining a terminal path on three new coordinates to an arbitrary real symmetric matrix produces the same spectral obstruction, and the positive interval above is optimal in this generality. We then disprove a second conjecture of the same authors, which asserts that the cycle of an integral generalized sun graph other than a cycle has length divisible by four. The graph obtained from a hexagon by attaching $6,6,12,6,6$ pendant vertices to five of its six vertices is integral and has $42$ vertices. We show that it is the smallest member of an infinite family governed by the Pell equation $x^{2}-2k^{2}=-7$, and we compute in closed form the characteristic polynomial of the analogous graphs on an arbitrary even cycle. Integrality within this family forces the cycle to be a square or a hexagon, and the square case yields a second infinite family governed by the Pell equation $k^{2}-2c^{2}=1$.

For fixed nonnegative integers $m_1,m_2$, let $A_n=(a_{j-i})_{i,j=1}^n$ be the leading $n\times n$ section of a Toeplitz matrix with lower and upper semibandwidths $m_1$ and $m_2$. We give two constructive Laplace-expansion methods for scalar recurrences of $\det A_n$ and $\perm A_n$. The increasing-rows method eliminates a fixed family of boundary cofactors and gives recurrence order at most $d=\binom{m_1+m_2}{m_1}$ for both sequences. The row-column method closes normalized boundary minors recursively and packages them in a sparse transfer matrix. Its reachable states are classified exactly: level $j$ is indexed by a pair of $j$-subsets of $[m_1]$ and $[m_2]$. Hence the transfer dimension is $d$, and we obtain an explicit formula for the number of nonzero transitions. For determinants, the complementary cofactors of the increasing-rows construction are coordinates of the classical compound companion representation. The independently constructed row-column transfer has the Widom characteristic polynomial and is generically similar to the compound transfer. Thus the order $d$ recurrence is generically minimal for the unrestricted fixed-band determinant family. For permanents the same state graph gives the binomial upper bound, without a general minimality claim. The pentadiagonal case recovers Sweet's order-six determinant recurrence and its permanent analogue, while the one-superdiagonal family gives closed scalar recurrences and rational generating functions. Position-dependent band weights preserve the finite state graph but replace the constant transfer by a cocycle. For cyclic determinants, Fourier diagonalization produces all subset products of the symbol roots and a generically minimal annihilator of degree $2^{m_1+m_2}$, corresponding to the passage from one exterior degree to the full exterior algebra.

Introduced by Birkhoff in 1912 to study the four-color conjecture, the chromatic polynomial has become one of the most extensively studied graph polynomials. It is closely connected to the Tutte polynomial through specialization, to the characteristic polynomial of the associated graphic matroid, and to the flow polynomial through planar duality. It has also inspired several related polynomials, including the $σ$-polynomial, the $w$-polynomial, and the $τ$-polynomial. This survey examines these relationships, illustrated in Figure 1, and reviews the main results.

We study the restricted fan cut inside the dual fundamental Weyl chamber by the weights of a $27$-dimensional minuscule representation of $E_6$; the two such representations are dual and give the same arrangement. Only $11$ of the $27$ weights have kernels meeting its interior, and we prove that they determine the entire fan. It has exactly $14$ chambers and $18$ extreme rays, every chamber is a six-dimensional simplicial cone, and we determine all facets, rays, and incidence relations. The chamber count was previously obtained by Diaconescu and Entin; the simplicial structure, extreme rays, and incidence data are new. The geometry of the $27$ lines on a cubic surface then explains and organizes the resulting chamber architecture. We also enumerate all faces, compute both characteristic polynomials---the arrangement is not supersolvable---together with lattice indices and projective chamber volumes, and describe the oriented matroid. Our main result is representation-theoretic. A distinguished $14$-element visible subposet of the minuscule $\mathbf{56}$ of $E_7$, defined entirely inside $E_7$, has Hasse diagram equal to the chamber adjacency graph of the $E_6$ arrangement. Three canonical $7+7$ splittings of it, of types $A_7$, $D_7$, and $E_7$, are the visible traces of Levi-center $\mathfrak{u}(1)$-charge decompositions of the $\mathbf{56}$ and reproduce the three level-$8$ decompositions on the $E_6$ side. More strongly, the simple-root labels on its covers, transported by minimal-length coset representatives, recover chamber by chamber all six facets and, globally, the $11$ active weight hyperplanes and the boundary walls of the dual Weyl chamber. Thus the $E_7$ shadow records not merely the chamber graph but, once matched with the independent $E_6$ classification, the full local wall architecture of $I(E_6,\mathbf{27})$.

In this paper we study irreducible simplicial arrangements of projective planes in $\mathbb{P}^{3}(\mathbb{R})$ from combinatorial and projective geometry viewpoints. We first formulate a simpliciality criterion in terms of incidences between rank-two and rank-three flats, together with equivalent formulations using face numbers, reduced restrictions, and characteristic polynomials. We also relate the classical planar restriction data of Grünbaum-Shephard to Ziegler multirestrictions. Our principal result concerns the rank-four special-vertex property: among the irreducible crystallographic Coxeter arrangements of rank four, the arrangements of types $A_4$ and $B_4$ admit a special vertex, whereas those of types $D_4$ and $F_4$ do not. A simplicial deletion chain inside $B_4$ supplies further irreducible examples with a special vertex. Finally, we compare rank-flat, Purdy-type, and Grünbaum-Shephard defects for these arrangements.

We study how irreducible factors associated with main eigenvalues constrain the connected components of generalized cospectral mates. Let $M_G(x):=\prod_{λ {\rm main}}(x-λ)$ be the main polynomial of $G$, where the product is over the distinct main eigenvalues, and write $φ_G(x)=\prod_{i=1}^{r}f_i(x)^{m_i}$, where the $f_i$ are distinct monic irreducible polynomials over $\mathbb Q$. With $I_{\mathrm m}(G) :=\{\,i:f_i\mid M_G\,\}$, define $κ_{\mathrm m}(G):=\sum_{i\in I_{\mathrm m}(G)}m_i$. For a graph $X$, write $c(X)$ and $β(X)$ for its number of connected components and cycle rank, respectively. We prove that every graph $H$ with the same characteristic polynomial and main polynomial as $G$ satisfies $c(H)\leκ_{\mathrm m}(G)$. Consequently, if $T$ is a tree and $H$ is generalized cospectral with $T$, then $β(H)=c(H)-1 \le κ_{\mathrm m}(T)-1$. We develop the case $κ_{\mathrm m}(T)=2$ further. A disconnected generalized cospectral mate must be the union of a tree and a connected bipartite unicyclic graph, and its two component coronals are uniquely prescribed by the canonical partial-fraction decomposition of the coronal of $T$ with respect to the two irreducible main factors. Consequently, these factor coronals must be realizable as coronals of actual graph components; their Laurent coefficients must therefore be nonnegative integers satisfying low-order walk identities. These realizability conditions, supplemented by matching restrictions on the unicyclic component, yield effective tree-forcing obstructions. As an application, we show that the double star $D(2m,m+1)$ is determined by its generalized spectrum but not by its adjacency spectrum whenever $m\ge2$ and neither $m$ nor $2m+2$ is a perfect square. In particular, the double stars $D(8t+4,4t+3), t\ge0$, is an explicit infinite family of graphs that are DGS but not DS.

A \(\mathbb{T}\)-gain digraph is a directed graph with complex unit gains on its arcs, allowing for no restrictions on oppositely directed arcs. This framework unifies various graph types, such as signed graphs, mixed graphs, complex unit gain graphs, digraphs, and signed digraphs. The gain adjacency, Laplacian, and signless Laplacian matrices are generally non-Hermitian with complex spectra. We develop the spectral theory of these matrices, extending classical results from signed digraphs and complex unit-gain graphs. For the gain adjacency matrix, we establish determinant and characteristic polynomial formulas, characterize cycle balance through switching equivalence and cospectrality with the underlying digraph. We further bound the spectral radius in terms of the underlying digraph and its maximum out-degree, with equality characterized by $μ$-balance. As a consequence, we determine the spectra of $\mathbb{T}$-gain unicyclic digraphs. Moreover, we characterize cycle balance and antibalance for the Laplacian and signless Laplacian matrices, respectively, through the presence of a zero eigenvalue.

In this paper, we investigate the eigenvalues of character degree graphs, with particular emphasis on the arithmetic properties of their spectra. First, we study \((n-2)\)-regular character degree graphs of solvable groups and derive an explicit formula for their characteristic polynomials. We show that all their eigenvalues are rational and, consequently, that their splitting field is \(\mathbb{Q}\). We then consider supergraphs obtained by adding edges to these graphs and prove that the corresponding splitting field is a quadratic extension of \(\mathbb{Q}\). Next, using their structural decomposition, we examine a general class of Lewis graphs. For this class, we establish bounds on both the number of irrational eigenvalues and the degree of the associated splitting fields. Finally, we investigate prime character degree graphs of diameter \(3\), focusing on the arithmetic nature of their eigenvalues and the degree of their splitting fields.

We investigate a notion of cospectrality for integer matrices that is parameterized by algebraic number fields. Given a number field and a symmetric integer matrix, we wonder when conjugating the integer matrix by an orthogonal matrix with entries in the given field can produce new integer matrices. Our results concern sufficient conditions for the associated notion of spectral determination, and we give constraints on the orthogonal matrices when the conditions are not applicable. The results use the discriminant of the characteristic polynomial and properties of Krylov subspaces. We leverage the theory to develop an algorithm to find all cospectral mates over a given (small) field. An implementation of the algorithm is made available.

In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.