arXiv++ Combinatorics

Spectral characterization of graphs for various graph matrices constitutes a central topic in spectral graph theory. Let $G$ be a graph with adjacency matrix $A(G)$, diagonal degree matrix $\Deg(G)$, distance matrix $D(G)$, and transmission matrix \(\Trs(G)\), respectively. Recently, Alfaro and Zapata (2024) introduced the degree-distance matrices \(\Ddegp(G)=\Deg(G)+D(G)\) and \(\Ddeg(G)=\Deg(G)-D(G)\), together with the transmission-adjacency matrices \(\Atrsp(G)=\Trs(G)+A(G)\) and \(\Atrs(G)=\Trs(G)-A(G)\). Based on computational evidence for trees on at most \(20\) vertices, they conjectured that all trees are determined by the spectra of \(\Ddegp\) as well as \(\Ddeg\). In this paper, we disprove these conjectures by constructing an infinite family of pairs of non-isomorphic trees. More precisely, for each integer \(r\ge 3\), we construct a pair of trees on \(17r-15\) vertices which are simultaneously cospectral with respect to the following six matrices \[ A,\quad L,\quad Q,\quad D,\quad \Ddegp,\quad \Ddeg . \] The construction is based on an \(r\)-regularized leaf extension and an equitable-partition reduction. We also record a simple sign-switching observation for transmission-adjacency matrices: if \(G\) is bipartite, then \(\Atrs(G)\) and \(\Atrsp(G)\) are similar via a diagonal \(\{\pm1\}\)-matrix and have the same Smith normal form. Consequently, for trees, the spectral and Smith normal form problems for \(\Atrs\) and \(\Atrsp\) are equivalent.

By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. The algorithm instead operates directly on a rational generating function in the form of a nested root average, as produced by the \texttt{SimpCone[S]} framework. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that induces an exact non-coprime split of the outermost average. The resulting child terms are encoded as joint root averages, and Smith normal form is used to restore the recursive structure. Two structural invariants---the generation condition and full-column independence---ensure that the recursion is well defined and that all required pole exchanges are valid. For a fixed-dimensional simplicial cone, the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log \ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.

Inspired by the generalization of the formula of determinant of the distance matrix of trees to $k$-trees, we study the Smith normal form of Laplacian matrices associated with some simplicial complexes. We find relations between sandpile groups of adjacency graphs and the Smith normal form of Laplacian matrices of simplicial complexes. We use such relations to calculate the Smith normal form of the highest Laplacian matrix of simplicial annuli and $k$-trees. %The low dimensional cases seems to be more difficult to calculate. We also provide numerical experiments to visualize how good are these algebraic invariants to distinguish $k$-trees. Finally, we point out that the Graham-Lovász-Pollak matrix, used to compute the determinant of the distance matrix of trees, can be used in the context of Laplacian matrices of trees and block graphs.

We study when, and how compactly, a finite connected graph (G) embeds isometrically into a Cayley graph of a finite abelian group. The classical theory of partial cubes answers this for isometric subgraphs of hypercubes through the Djokovic-Winkler relation (θ); we extend the question to the full family of abelian Cayley graphs, whose hosts may carry composite generators and cyclic factors of any order. We introduce an involutive edge relation (\varphi), defined by two simultaneous distance equalities, which coincides with (θ) exactly on partial cubes and remains informative beyond them, together with an oriented relation (Φ) for non-involutive hosts, where generator classes are constrained to be partial permutations rather than matchings.The central result is a quotient labeling theorem: for any partition of the edge set into candidate generator classes, the most generic consistent vertex labeling is the quotient of the free module on the classes by the lattice of signed cycle-class incidences, computed by the Smith normal form; the binary case is its reduction modulo two. We prove that the finest partition always yields an isometric labeling, that compactifying the resulting universal group is itself an instance of the same quotient construction, and that the whole construction is algorithmic and certifiable. Worked examples include the triangle, the Petersen graph (embedding into the Clebsch graph of order 16), the Pappus graph (a 1024-fold compaction), and the diamond (a non-diagonal fold). Sharp dimension bounds and an exhaustive census of small graphs are developed in a companion paper. 2020 MSC: 05C12, 05C25, 20K01, 05C50

This dissertation develops a framework for embedding arbitrary connected graphs isometrically into Cayley graphs of abelian groups, with applications to harmonic analysis on networks. It addresses representing irregular graph-structured data within highly symmetric algebraic hosts, on which classical Fourier theory applies verbatim rather than by analogy. The theoretical core is twofold. First, we introduce edge relations phi, Phi, and Psi that detect metric parallelism, a strict generalization of the Djokovic-Winkler relation beyond bipartite and partial-cube structures, with a transitive prune operation converting them into candidate same-generator edge partitions. Second, we prove the Cocycle/Quotient Labeling Theorem: any edge partition induces a most-generic consistent vertex labeling as a GF(2) quotient of dimension k = t - rank(A), where A is the cycle-class parity matrix; the labeling can fail only by shortcuts, never by stretching. With a shortcut-repair loop terminating in the isometric spanning-tree embedding, this gives a universal algorithm: every connected graph G embeds isometrically into a Cayley graph of (Z_2)^k with k <= n-1, verified exhaustively on all 995 connected graphs of at most seven vertices. A bounds theory follows: k >= max(diam(G), ceil(log2 n)); stars satisfy k_min(K_{1,q}) = ceil(log2 q) + 1, exponentially below the naive dimension; odd cycles require k = n-1. We then generalize the quotient machinery from GF(2) to Z via the Smith Normal Form, giving embeddings into products of cyclic groups. The primary application is harmonic analysis: these embeddings ground Fourier analysis, convolution, and wavelet transforms on graph signals, preserving translation-modulation duality, convolution theorems, and Plancherel identities that matrix-based graph signal processing lacks. We name this framework Group-Embedding-based Graph Signal Processing (GE-GSP).

We study intersections of conjugacy classes of square matrices over a finite field with affine coordinate subspaces, or equivalently matrices in a fixed adjoint orbit with prescribed entries. Our main result treats the case of prescribed columns: for a partially defined linear map we give a Hall scalar product formula for the number of extensions to an endomorphism with prescribed similarity invariants. This formula is expressed in terms of skew modified Hall--Littlewood functions and $q$-Whittaker functions. As applications, we count monic matrix polynomials over $\mathbb{F}_q$ with prescribed Smith normal form and with prescribed determinant, and recover the Gerstenhaber--Reiner formula for the number of square matrices with a fixed characteristic polynomial. We also note that known point-count formulas for Hessenberg varieties imply related formulas for Hessenberg supports involving chromatic quasisymmetric functions, motivating polynomiality questions for more general supports and prescribed affine slices.

Let $L_μ(G)=A(G)-μD(G)$ be the generalized $μ$-adjacency matrix of a finite graph $G$. Fan, Xing, Zhang, and Wang constructed pairs of non-degree-similar trees for which the Smith normal forms of the matrices $tI-L_μ(G)$ over $\mathbb{Q}(μ)[t]$ coincide, and conjectured that their construction remains valid when the attached rooted path is replaced by an arbitrary rooted tree. We prove this conjecture as a consequence of a more general coalescence theorem: if a finite graph $H$ has two vertices $u$ and $v$ that are cospectral for $L_μ(H)$, then, for every finite rooted graph $R$ with root $r$, the matrices \[ tI-L_μ(R(r)\odot H(u)) \quad\text{and}\quad tI-L_μ(R(r)\odot H(v)) \] have the same Smith normal form over $\mathbb{Q}(μ)[t]$, where $\odot$ denotes coalescence of rooted graphs. The proof uses an orthogonal intertwiner over a real closed extension field.

A valuation-theoretic framework is developed for studying tropical degenerations of multilinear network games. Equilibrium conditions are modeled by an ideal over the Puiseux field, and valuation classes and cluster multiplicities are used to describe the organization of Puiseux equilibrium branches under degeneration. For valuation vectors lying in the relative interiors of generator-wise maximal tropical cells, multilinearity is shown to force a binomial reduction of the generator-wise initial system. The resulting binomial systems are governed by exponent-difference graphs, strongly connected component decompositions, and lattice indices computed via Smith normal form. In particular, unimodular diagonal blocks yield initial-coefficient rigidity, whereas non-unimodular blocks give rise to torsion-type leading-coefficient multiplicities. The generic binomial theory is complemented by a collision-normalized cross-prism family. In this family, 2^L Puiseux equilibrium branches share the same valuation vector and the same leading-coefficient vector. The corresponding limiting initial fiber is supported at a single torus point, but this point is nonreduced with scheme-theoretic length 2^L. Thus valuation coalescence is realized as an intrinsic scheme-theoretic collision rather than merely as a loss of higher-order terms. These local degeneration invariants are then related to the algebraic-degree theory of network games, showing how global equilibrium counts can be refined by valuation classes, binomial initial systems, Smith lattice data, and nonreduced collision fibers.

This paper establishes an upper bound on the number of generalized cospectral mates of simple graphs, where the generalized spectrum consists of the spectrum of a graph and its complement. Moving beyond the classical problem of identifying graphs determined by their generalized spectrum, we address the more quantitative question of how many non-isomorphic graphs can share the same generalized spectrum. Our approach is based on arithmetic constraints derived from the Smith Normal Form (SNF) of the walk matrix, which leads to a tight upper bound on the number of generalized cospectral mates of a graph. Our upper bound applies to a much broader class of graphs than those previously shown to have no generalized cospectral mates (graphs determined by generalized spectrum). Consequently, this work extends the family of graphs for which strong and informative spectral uniqueness results are available.

Testing the unimodular equivalence of two full-dimensional integral simplices can be reduced to testing unimodular permutation (UP) equivalence of two nonsingular matrices. We conduct a systematic study of UP-equivalence, which leads to the first average-case quasi-polynomial time algorithm, called \texttt{HEM}, for deciding the unimodular equivalence of $d$-dimensional integral simplices, as well as achieving a polynomial-time complexity with a failure probability less than $2.5 \times 10^{-7}$. A key ingredient is the introduction of the \emph{permuted Hermite normal form} and its associated \emph{pattern group}, which streamlines the UP-equivalence test by comparing canonical forms derived from induced coset representatives. We also present an acceleration strategy based on Smith normal forms. As a theoretical by-product, we prove that two full-dimensional integral simplices are unimodularly equivalent if and only if their $n$-dimensional pyramids are unimodularly equivalent. This resolves an open question posed by Abney-McPeek et al.

Let $\mathcal{A}$ be a $k$-th order $n$-dimensional tensor, and we denote by ${\rm am}(λ, \mathcal{A})$ the algebraic multiplicity of the eigenvalue $λ$ of $\mathcal{A}$. The projective eigenvariety $\mathbb{V}_λ(\mathcal{A})$ is defined as the set of eigenvectors of $\mathcal{A}$ associated with $λ$, considered in the complex projective space. For a connected uniform hypergraph $H$, let $\mathcal{A}(H)$ and $\mathcal{L}(H)$ denote its adjacency tensor and Laplacian tensor, respectively. Let $ρ$ be the spectral radius of $\mathcal{A}(H)$, for which it is known that $|\mathbb{V}_ρ(\mathcal{A}(H))| = |\mathbb{V}_{0}(\mathcal{L}(H))|$. Recently, Fan [arXiv:2410.20830v2, 2024] conjectured that ${\rm am}(ρ, \mathcal{A}(H)) = |\mathbb{V}_ρ(\mathcal{A}(H))|$ and ${\rm am}(0, \mathcal{L}(H)) = {\rm am}(ρ, \mathcal{A}(H))$. In this paper, we prove these two conjectures, and thereby establish $$ {\rm am}(ρ, \mathcal{A}(H)) = |\mathbb{V}_ρ(\mathcal{A}(H))| = |\mathbb{V}_{0}(\mathcal{L}(H))| = {\rm am}(0, \mathcal{L}(H)). $$ As shown by Fan et al., $|\mathbb{V}_ρ(\mathcal{A}(H))|$ and $|\mathbb{V}_{0}(\mathcal{L}(H))|$ can be computed via the Smith normal form of the incidence matrix of $H$ over $\mathbb{Z}_{k}$. Consequently, we provide a method for computing the algebraic multiplicity of the spectral radius and zero Laplacian eigenvalue for connected uniform hypergraphs.

We introduce the family of graphical Hermite simplices and study the Smith normal forms of their matrices of vertex vectors, which is equivalent to studying the group structure of the cokernels for these matrices. Our motivation is to study the behavior of lattice simplices subject to small lattice perturbations of their vertices. In this case, a graphical Hermite simplex is a perturbation of a rectangular simplex, i.e., a simplex defined by a diagonal matrix and the origin, with the perturbation controlled by the structure of a directed graph. We first establish sufficient conditions on the graphs and diagonal entries of these matrices that imply having a single non-unit invariant factor, i.e., a cyclic cokernel. We then obtain bounds on the invariant factors of the defining matrices related to lengths of paths in the corresponding directed graph.

Graham-Lovász-Pollak \cite{GL,GP} obtained the celebrated formula $$\det({\sf D}(T_{n+1}))=(-1)^nn2^{n-1},$$ for the determinant of the distance matrix ${\sf D}(T_{n+1})$ for any tree $T_{n+1}$ with $n+1$ vertices. Later, Hou and Woo \cite{HW} extended this formula to the Smith normal form (SNF) obtaining that $\SNF({\sf D}(T_{n+1}))={\sf I}_2\oplus 2{\sf I}_{n-2}\oplus [2n]$, for any tree $T_{n+1}$ with $n+1$ vertices. A $k$-{\it tree} is either a complete graph on $k$ vertices or a graph obtained from a smaller $k$-tree by adjoining a new vertex together with $k$ edges connecting it to a $k$-clique. If $τ$ and $τ'$ are $d$-cliques in a $k$-tree $T$, a $d$-{\it walk} between $τ$ and $τ'$ is a finite sequence $τ_1σ_1τ_2σ_2\cdotsτ_l$, where $τ_1=τ$, $τ_l=τ'$, and the $d$-cliques $τ_i$ and $τ_{i+1}$ are incident to the same $(d+1)$-clique $σ_i$. For $d\in\{1,\dots,k\}$, the $d$-{\it distance} from the $d$-cliques $τ$ and $τ'$ is the number of $(d+1)$-cliques in a minimum $d$-walk from $τ$ and $τ'$, and is denoted by $\dist^d(τ,τ')$. Let $c_d$ denote the number of $d$-cliques in the $k$-tree $T$. Then the $d$-distance matrix ${\sf D}^d(T)$ of the $k$-tree $T$ is the $c_d\times c_d$ matrix, indexed by the $d$-cliques of $T$, such that the $(i,j)$-entry is $0$ if $i=j$, and $\dist^d(τ_i,τ_j)$ otherwise. Here, we show that, for $k$ and $n$ fixed, the SNF of the $k$-distance matrix is the same for any $k$-tree with $n$ vertices. Specifically, for any $k$-tree $T_{n}$ with $n$ vertices such that $n\geq k+2$, the Smith normal form of ${\sf D}^{k}(T_{n})$ is $${\sf I}_{(k-1)(n-k)+2}\oplus (k+1){\sf I}_{n-k-2}\oplus [k(k+1)(n-k)],$$ which extends Graham-Lovász-Pollak and Hou-Woo results.

Let $G$ be a graph with adjacency matrix $A(G)$ and degree matrix $D(G)$, and let $L_μ(G):=A(G)-μD(G)$. Two graphs $G_1$ and $G_2$ are called \emph{degree-similar} if there exists an invertible matrix $M$ such that $M^{-1} A(G_1) M =A(G_2)$ and $M^{-1} D(G_1) M =D(G_2)$. In this paper, we address three problems concerning degree-similar graphs proposed by Godsil and Sun. First, we present a new characterization of degree-similar graphs using degree partition, from which we derive methods and examples for constructing cospectral graphs and degree-similar graphs. Second, we construct infinite pairs of non-degree-similar trees $G_1$ and $G_2$ such that $tI- L_μ(G_1)$ and $tI-L_μ(G_2)$ have the same Smith normal form over $\Q(μ)[t]$, which provides a negative answer to a problem posed by Godsil and Sun. Third, we establish several invariants of degree-similar graphs and obtain results on unicyclic graphs that are degree-similar determined. Lastly we prove that for a strongly regular graph $G$ and any two edges $e$ and $f$ of $G$, $G \backslash e$ and $G \backslash f$ have identical $μ$-polynomial, i.e., $\det(tI-L_μ(G \backslash e))=\det(tI-L_μ(G \backslash f))$, which enables the construction of pairs of non-isomorphic graphs with same $μ$-polynomial, where $G \backslash e$ denotes the graph obtained from $G$ by deleting the edge $e$.

The distance ideals of graphs are algebraic invariants that generalize the Smith normal form (SNF) and the spectrum of several distance matrices associated with a graph. In general, distance ideals are not monotone under taking induced subgraphs. However, in [7] the characterizations of connected graphs with one trivial distance ideal over $\mathbb{Z}[X]$ and over $\mathbb{Q}[X]$ were obtained in terms of induced subgraphs, where $X$ is a set of variables indexed by the vertices. Later, in [3], the first attempt was made to characterize the family of connected graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. There, it was proven that these graphs are $\{ \mathcal {F},\textsf{odd-holes}_{7}\}$-free, where $\textsf{odd-holes}_{7}$ consists of the odd cycles of length at least seven and $\mathcal{F}$ is a set of sixteen graphs. Here, we give a characterization of the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs and prove that the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs are precisely the graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. As byproduct, we also find that the determinant of the distance matrix of a connected bipartite graph is even, this suggests that it is possible to extend, to connected bipartite graphs, the Graham-Pollak-Lovász celebrated formula $\det(D(T_{n+1}))=(-1)^nn2^{n-1}$, and the Hou-Woo result stating that $\text{SNF}(D(T_{n+1}))=\textsf{I}_2\oplus 2\textsf{I}_{n-2}\oplus (2n)$, for any tree $T_{n+1}$ with $n+1$ vertices. Finally, we also give the characterizations of graphs with at most two trivial distance ideals over $\mathbb{Q}[X]$, and the graphs with at most two trivial distance univariate ideals.

In this paper, we give an explicit formula for the rank of the $Q$-walk matrix of the Dynkin graph $A_n$. Moreover, we prove that its Smith normal form is $$ \mathrm{diag}\left( \underset{r=\lceil \frac{n}{2} \rceil}{\underbrace{1,2,2,...,2}},0,...,0 \right), $$ where $r$ is the rank of the $Q$-walk matrix $W_Q\left( A_n \right) $ of the Dynkin graph $A_n$.

Spectral characterizations of graphs is an important topic in spectral graph theory which has been studied extensively by researchers in recent years. The study of oriented graphs, however, has received less attention so far. In Qiu et al.~\cite{QWW} (Linear Algebra Appl. 622 (2021) 316-332), the authors gave an arithmetic criterion for an oriented graph to be determined by its \emph{generalized skew spectrum} (DGSS for short). More precisely, let $Σ$ be an $n$-vertex oriented graph with skew adjacency matrix $S$ and $W(Σ)=[e,Se,\ldots,S^{n-1}e]$ be the \emph{walk-matrix} of $Σ$, where $e$ is the all-one vector. A theorem of Qiu et al.~\cite{QWW} shows that a self-converse oriented graph $Σ$ is DGSS, provided that the Smith normal form of $W(Σ)$ is ${\rm diag}(1,\ldots,1,2,\ldots,2,2d)$, where $d$ is an odd and square-free integer and the number of $1$'s appeared in the diagonal is precisely $\lceil \frac{n}{2}\rceil$. In this paper, we show that the above square-freeness assumptions on $d$ can actually be removed, which significantly improves upon the above theorem. Our new ingredient is a key intermediate result, which is of independent interest: for a self-converse oriented graphs $Σ$ and an odd prime $p$, if the rank of $W(Σ)$ is $n-1$ over $\mathbb{F}_p$, then the kernel of $W(Σ)^{\rm T}$ over $\mathbb{F}_p$ is \emph{anisotropic}, i.e., $v^{\rm T}v\neq 0$ for any $0\ne v\in{{\rm ker}\,W(Σ)^{\rm T}}$ over $\mathbb{F}_p$.

The critical group of a connected graph is closely related to the graph Laplacian, and is of high research value in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. In this paper, we study the k-partite graphs and introduce an algorithm to get the structure of their critical groups by calculating the Smith normal forms of their graph Laplacians. When k is from 2 to 6, we characterize the structure of the critical groups completely, which can generalize the results of the complete bipartite graphs.

We focus on strongly connected, strong for short, digraphs since in this setting distance is defined for every pair of vertices. Distance ideals generalize the spectrum and Smith normal form of several distance matrices associated with strong digraphs. We introduce the concept of pattern which allow us to characterize the family $Γ_1$ of digraphs with only one trivial distance ideal over ${\mathbb Z}$. This result generalizes an analogous result for undirected graphs that states that connected graphs with one trivial ideal over $\mathbb{Z}$ consists of either complete graphs or complete bipartite graphs. It turns out that the strong digraphs in $Γ_1$ consists in the circuit with 3 vertices and a family $Λ$ of strong digraphs that contains complete graphs and complete bipartite graphs, regarded as digraphs. We also compute all distance ideals of some strong digraphs in the family $Λ$. Then, we explore circuits, which turn out to be an infinite family of minimal forbidden digraphs, as induced subdigraphs, for the strong digraphs in $Γ_1$. This suggests that a characterization of $Γ_1$ in terms of forbidden induced subdigraphs is harder than using patterns.

The degree matrix of a graph is the diagonal matrix with diagonal entries equal to the degrees of the vertices of $X$. If $X_1$ and $X_2$ are graphs with respective adjacency matrices $A_1$ and $A_2$ and degree matrices $D_1$ and $D_2$, we say that $X_1$ and $X_2$ are degree similar if there is an invertible real matrix $M$ such that $M^{-1}A_1M=A_2$ and $M^{-1}D_1M=D_2$. If graphs $X_1$ and $X_2$ are degree similar, then their adjacency matrices, Laplacian matrices, unsigned Laplacian matrices and normalized Laplacian matrices are similar. We first show that the converse is not true. Then, we provide a number of constructions of degree-similar graphs. Finally, we show that the matrices $A_1-μD_1$ and $A_2-μD_2$ are similar over the field of rational functions $\mathbb{Q}(μ)$ if and only if the Smith normal forms of the matrices $tI-(A_1-μD_1)$ and $tI-(A_2-μD_2)$ are equal.