arXiv++ Combinatorics

The generalized composition graph is used by Cardoso and some researchers for factorization of the adjacency spectrum and Laplacian of a simple graph. Because the generalized composition graph is an example of a set-theoretic linear operad, this operation can be iterated at more than one level, where the complex language of partition refinement in the iteration is represented in terms of Schr"oder trees. This allows us to generalize the factorization of the adjacency spectrum and Laplacian of a simple graph presented by Cardoso in terms of Schr"oder trees and colorings over the edges of a graph. Cardoso's technique has been generalized by other authors for the universal adjacency matrix of a graph. This work also presents generalized factorizations in terms of Schr"oder trees and colorings on the edges of a graph for the universal adjacency spectrum, the characteristic polynomial of the universal adjacency matrix, and the generalized characteristic polynomial of a graph.

The characteristic polynomials of the Laplacian and the distance Laplacian matrices of power graphs of groups of order $ pqr $, where $ p,q $ and $ r $ are { primes,} are obtained. Further, the characteristic polynomials of these matrices for proper power graphs of cyclic and dicyclic groups are given. The important inequalities for the zeros of the distance Laplacian characteristic polynomials of power graphs of finite groups are presented in comments.

We study independent sets in strong powers of circulant graphs using a transfer matrix formulation. The compatibility constraints separate into intra-layer and inter-layer components, yielding a transfer operator that is equivariant under the dihedral group action. The characteristic polynomial of the transfer operator factors into an \emph{anomalous} component (arising from the trivial isotypic component, with rational coefficients) and a \emph{cyclotomic} component (arising from nontrivial Fourier modes, splitting over the maximal real cyclotomic subfield). We show that the spectral radius is attained in the trivial isotypic component, so the dominant exponential growth is governed by a low-dimensional orbit-compressed operator. The independence polynomial is computed exactly for strong cylinders and tori, with the cyclotomic sector contributing a sparse correction confined to high-weight coefficients. All results are verified for $C_7$.

Spectral hypergraph theory studies the structural properties of a hypergraph that can be inferred from the eigenvalues and the eigenvectors of either matrices or tensors associated with it. In this paper we study the spectral indistinguishability in the hypergraph setting. We present a general switching method to construct uniform $E$-cospectral hypergraphs (hypergraphs with the same $E$-spectrum), and discuss some of its multiple applications. Our method not only provides a framework to unify the existing methods for obtaining $E$-cospectral hypergraphs via switching, but also generalizes most of the existing switching tools, yielding multiple new constructions. Finally, we compare common methods of computing $E$-characteristic polynomials, and in particular show that one standard method, while useful for generic tensors, is uninformative for almost all hypergraphs.

For $k$-summand base-$N$ addition, the carry process is a Markov chain on $\{0,\ldots,k-1\}$ whose transition matrix--the Holte matrix $T$--has eigenvalues $\{N^{-j}\}_{j=0}^{k-1}$, all simple and independent of $N$. We give the complete biorthogonal eigenvector system. The left eigenvectors factor as $\sum_i u_j[i] x^i = c_{k,j} (x-1)^j A_{k-j}(x)$, where $c_{k,j} = |s(k,k-j)|/k!$ involves unsigned Stirling numbers and $A_n(x)$ is the Eulerian polynomial. The right eigenvectors satisfy $\sum_i \binom{k-1}{i} v_j[i] x^i = (1+x)^{k-1-j} Q_j(x)$, where the quotient polynomials $Q_j$ have palindrome symmetry $x^j Q_j(1/x) = (-1)^j Q_j(x)$ and converge to $(1-x)^j$ as $k \to \infty$; for $j \le 3$, we give explicit closed forms in terms of $k$. The cascade-free avoidance count satisfies $a(L) = (\sqrt{d})^L U_L(x)$ (Chebyshev polynomial of the second kind) whenever the restricted transfer matrix has dimension $d \le 2$; we prove this is sharp: for $k$-summand addition, Chebyshev form holds for $k = 3$ and fails for $k \ge 4$. The proof uses oscillatory matrix theory to establish non-vanishing of all spectral residues. The characteristic polynomial of the restricted transfer matrix is determined in closed form by a Stirling-weighted Lagrange interpolation at the Holte eigenvalues. Two systems with binary carry state spaces are shadow-equivalent if and only if they share the pair $(N, d)$. The general classification for $k$-state systems reduces to the characteristic polynomial of $T$.

Let $G$ be a strongly regular graph of prime order $p$ with connection degree $k \geq 6$. We prove that the \emph{quantum walk characteristic polynomial} $χ_q(G,λ) \coloneqq \det(λI - U_G)$, where $U_G$ is the coined quantum walk operator on $G$, completely determines $G$ up to isomorphism within the class of strongly regular graphs of the same order. The proof proceeds in three steps. First, we show that $U_G$ block-diagonalizes under the discrete Fourier transform over $\Z_p$, yielding $p$ blocks $U_G^{(j)}$ of size $k \times k$. Second, we prove an explicit formula \[ χ_q\!\bigl(U_G^{(j)}, λ\bigr) = (λ-1)^{(k-2)/2}(λ+1)^{(k-2)/2} \!\left(λ^2 - \tfrac{2\widehat{A}_G(j)}{k}\,λ+ 1\right), \] from which the Fourier coefficient $\widehat{A}_G(j)$ is recovered as the unique real part of an eigenvalue of $U_G^{(j)}$ distinct from $\pm 1$. Third, the inverse discrete Fourier transform recovers the connection set $S$ of $G$, and Turner's theorem (1967) identifies $G$ up to isomorphism. As a consequence, graph isomorphism is decidable in polynomial time within this class using the quantum walk spectrum, without resorting to the general quasi-polynomial algorithm of Babai (2016).

We introduce the priority lattice, a structure arising from the priority search algorithm on rooted trees and forests. We prove bijectively that its maximal chains are labeled by parking functions, and that the maximal chains of its principal ideals are labeled by partial parking functions. We establish that it is a graded lattice and compute its Möbius function and characteristic polynomials.

Kirchhoff index, Kf(G), introduced by Klein and Randic in 1993, represents the total effective resistances between all pairs of vertices in a graph G, where each edge is regarded as a resistor. In this paper, the Kirchhoff indices of a particular sequence of nested geometric graphs with weighted multiple edges, denoted by Gn, are investigated. A recurrence relation for the characteristic polynomial of the Laplacian matrix L(Gn) is derived, and an explicit formula for Kf(Gn) is obtained. These facilitate the analysis of the variation of Kf(Gn) as as n goes to infinity. Consequently, Kf(Gn) is shown to grow asymptotically linearly, characterized by a specific asymptotic formula. In the course of this derivation, a recurrence relation for the determinant of a block tridiagonal matrix is established. The Kirchhoff index of a 4-regular graph constructed from Gn is also determined.

Given a finite group $G$, the \emph{Prime Order Element (POE) Graph} $Γ(G)$ consists of the group elements as the vertices, and two vertices $x$ and $y$ are adjacent if and only if $o(xy)$ is prime. This paper presents a thorough structural and spectral analysis of the POE graphs associated with the finite Abelian groups of different types. The order of a finite Abelian group may be a prime or a product of primes, which influences the structure of POE graphs. The POE graph is connected when the order of the Abelian group is a square-free integer. The POE graphs of the other Abelian groups have multiple connected components. Some of these components are isomorphic to the POE graph of a lower-order group. We study various graph-theoretic properties of the components, including regularity and bipartiteness. Arranging the elements of the group in a number of particular orders, we observe the block structure in the adjacency matrix of POE graphs. It assists us in investigating the spectral properties of POE graphs. We explicitly derive the characteristic polynomials governing both integral and irrational eigenvalues, and compute the eigenvalues with multiplicity in terms of the structure of the graphs.

For integers $n \ge 3$ and $r \ge 1$, let $Γ_{n,r}$ be the alternating-oriented digraph obtained by gluing $r$ directed $n$-cycles along a single edge in a staircase pattern, and let $A_{n,r}$ be its adjacency matrix. A canonical $n$-layer partition puts $A_{n,r}$ into an $n$-cyclic block form and isolates a cyclic product core $K_{n,r}$, so the nonzero spectrum of $A_{n,r}$ is obtained from that of $K_{n,r}$ by taking $n$th roots. We show that $K_{n,r}$ is totally nonnegative and irreducible, and hence its nonzero eigenvalues are real, positive, and simple. It follows that all nonzero eigenvalues of $A_{n,r}$ are simple and occur in $\exp(2πi/n)$-orbits, forming unions of regular $n$-gons in the complex plane. A one-step Schur complement yields a three-term recursion in $r$ for the characteristic polynomials $Φ_{n,r} \in \mathbb{Z}[x]$. This determines both the multiplicity of the eigenvalue $0$ and the number of nonzero eigenvalues, and leads to a generating function with cubic denominator. Applying a Tran-type confinement theorem gives the uniform bound $ρ(A_{n,r}) \le (27/4)^{1/n}$ and the sharp limit $\displaystyle\lim_{r \to \infty} ρ(A_{n,r}) = (27/4)^{1/n}$ for each fixed $n$. Finally, specializing at $x=1$ relates $Φ_{n,r}(1)$ to Padovan spiral numbers and yields a complete classification of rational nonzero eigenvalues.

For $α\in [0,1]$, the $A_α$-matrix of graph $G$ is $A_α(G) = αD(G) + (1- α) A(G)$, where $A(G)$ and $D(G)$ are adjacency and degree diagonal matrix of $G$, respectively. Let $G_1 \dot{\vee}_Q G_2$, $G_1 \underline{\vee}_Q G_2$, $G_1 \dot{\vee}_T G_2$ and $G_1 \underline{\vee}_T G_2$ represent the $Q$-vertex join, $Q$-edge join, $T$-vertex join and $T$-edge join respectively, obtained from the graphs $G_1$ and $G_2$. This article determines the $A_α$-characteristic polynomials of the graphs $G_1 \dot{\vee}_Q G_2$, $G_1 \underline{\vee}_Q G_2$, $G_1 \dot{\vee}_T G_2$ and $G_1 \underline{\vee}_T G_2$ where $G_1$ is regular and $G_2$ can be any graph. The $A_α$-spectra of these graphs are computed in terms of those of $G_1$ and $G_2$ for both $G_1$ and $G_2$ are regular, as well as for $G_1$ is regular and $G_2$ is $K_{a,b}$, a complete bipartite graph. As an application, we construct an infinite number of pairs of graphs that have the same $A_α$-spectrum.

We initiate the study of a multivariate graph polynomial $Φ_G(x,y,z)$ that interpolates between classical counting polynomials for matchings and for cycle structures arising in the Harary--Sachs expansion of the characteristic polynomial. We focus on analytic properties and computational consequences. Our main contribution is an explicit, degree-uniform zero-free region for $Φ_G$ on bounded-degree graphs, obtained via the Fernández--Procacci convergence criterion for abstract polymer gases.

The product matrix of a finite commutative ring $R=\{x_1,x_2,\ldots,x_n\}$ and an element $u \in R$ is the matrix $A_u(R)=[a_{ij}]$, where $a_{ij}=1$ if $x_ix_j=u$, and $a_{ij}=0$ otherwise. This provides a natural extension of the concept of the adjacency matrix of the zero-divisor graph of a ring, which has been studied extensively. In this paper, we find the characteristic polynomial of $A_u(R)$ for a local ring $R$ of odd order and a unit $u$. By studying the structure of a finite local ring, we find the characteristic polynomial of $A_u(R)$ for a local ring $R$ and any $u \in R$ in two cases: when the Jacobson radical of $R$ has either the maximal or the minimal possible index of nilpotency.

In this paper, we introduce the bivariate exponential generating function $F_l(x,y)$ for the number of level-$l$ faces of an exponential sequence of arrangements (ESA), and establish the formula $F_l(x,y)=\big(F_1(x,y)\big)^l$ with a combinatorial interpretation. Its specialization at $x=0$ recovers a result first obtained by Chen et al. [3,4] for certain classic ESAs and later generalized to all ESAs by Southerland et al. [8]. As a byproduct, we obtain that an alternating sum of the number of level-$l$ faces is invariant with respect to the choice of ESA, and is exactly the Stirling number of the second kind. We also extend the binomial-basis expansion theorem [3,4,14] and Stanley's formula on ESAs [9] from characteristic polynomials to Whitney polynomials.

The purpose of this thesis is to introduce two new kinds of hyperplane arrangements, inspired by the graphic arrangements and $q$-deformations of graphic arrangements. In this thesis, the author extends the definition of $q$-deformation to simplicial complexes, with the conjecture by Nian, Tsujie, Uchiumi and Yoshinaga. The author also investigates a special case called graphic monomial arrangement, including the characteristic polynomials and freeness with a further extension to fields with primitive roots.

We establish a connection between Drinfeld modules and rank metric codes, focusing on the case of semifield codes. Our framework constructs rank metric codes from linear subspaces of endomorphisms of a Drinfeld module, using tools such as characteristic polynomials on Tate modules and the Chebotarev density theorem. We show that Sheekey's construction [She20] fits naturally into this setting, yielding a short conceptual proof of one of his main results. We then give a new construction of infinite families of semifield codes arising from Drinfeld modules defined over finite fields.

We confirm a recent conjecture by Xin and Zhang, which establishes a simple product formula for the characteristic polynomial of an $(n-1) \times (n-1)$ tridiagonal matrix $C$. This characteristic polynomial arises from a recurrence relation that enumerates $n \times n$ nonnegative integer matrices with all row and column sums equal to $t$, also called the Ehrhart polynomial of the $n$th Birkhoff polytope. The proof relies on an unexpected observation: shifting $C$ by a scalar multiple of the identity matrix yields a matrix similar to a lower triangular matrix. In triangular form, the characteristic polynomial reduces to the product of the diagonal entries, leading to the desired closed-form expression. Moreover, we extend this method to broader families of tridiagonal matrices. This provides a new approach for deriving exact enumeration formulas.

The adjacency-diametrical matrix (AD matrix) of a connected graph $G$ with diameter $d$, denoted by $AD(G)$, is the matrix indexed by the vertices of $G$ in which the $(i,j)$-entry of $AD(G)$ is $1$ if $d_G(v_i,v_j)=1$, is $d$ if $d_G(v_i,v_j)=d$, and $0$ otherwise, where $d_G(v_i,v_j)$ denotes the distance between the vertices $v_i$ and $v_j$ in $G$. We determine the spectrum of the AD matrix for paths, cycles, and double star graphs and obtain its determinant for a connected graph. We characterize a class of bipartite graphs using the coefficients of the characteristic polynomial and the eigenvalues of the AD matrix. We establish bounds relating the eigenvalues of the AD matrix to various graph invariants, and we determine the spectrum of the AD matrix for graphs formed by the join, lexicographic product, and Cartesian product operations under certain conditions on the constituent graphs.

We introduce the \emph{chamber zeta function} for a complex of groups, defined via an Euler product over primitive tailless chamber galleries, extending the Ihara--Bass framework from weighted graphs to higher-rank settings. Let $\mathcal{B}$ be the Bruhat--Tits building of $\mathrm{PGL}_{3}(F)$ for a non-archimedean local field $F$ with residue field $\mathbb{F}_{q}$. For the standard arithmetic quotient $Γ\backslash\mathcal{B}$ with $Γ=\mathrm{PGL}_{3}(\mathbb{F}_{q}[t])$, we prove an Ihara--Bass type \emph{determinant formula} expressing the chamber zeta function as the reciprocal of a characteristic polynomial of a naturally defined chamber transfer operator. In particular, the chamber zeta function is \emph{rational} in its complex parameter. As an application of the determinant formula, we obtain explicit counting results for closed gallery classes arising from tailless galleries in $\mathcal{B}$, including exact identities and spectral asymptotics governed by the chamber operator.

The characteristic polynomial plays an important role in study of hyperplane arrangements. There are several refinements of the characteristic polynomial. One of them is the coboundary polynomial defined by Crapo. Another refinement is the characteristic quasi-polynomial for an integral arrangement defined by Kamiya, Takemura, and Terao. Recently, the first and third authors introduced the characteristic quasi-polynomial for arrangement defined over a residually finite Dedekind domain. In this article, we introduce the common refinement of the coboundary polynomial and characteristic quasi-polynomial for an arrangement over a residually finite Dedekind domain.