arXiv++ Combinatorics

In this paper, we give the rank of the walk matrix of the Dynkin graph $A_n$, and prove that its Smith normal form is $$\diag(\underbrace{1,\ldots,1}_{\lceil\frac{n}{2}\rceil},0,\ldots,0).$$

It is well known that the spectrum and the Smith normal form of a matrix can be computed in polynomial time. Thus, it is interesting to explore how good are these parameters for distinguishing graphs. This is relevant since it is related to the Graph Isomorphism Problem (GIP), which asks to determine whether two graphs are isomorphic. In this paper, we explore the computational advantages of using the spectrum and the Smith normal form of two matrices associated with a graph. By considering the SNF or the spectrum of two matrices of a graph as a single parameter, we compute the number of non-isomorphic graphs with the same parameter with up to 9 vertices, and with up to 10 vertices when the number of graphs with 9 vertices with the same parameter is less than 1000. Focusing on the best 20 combinations of matrices for graphs with 10 vertices, we notice that the number of such graphs with a mate is less than 100 in any of these 20 cases. This computational result improves on similar previous explorations. Therefore, the use of the spectrum or the SNF of two matrices at the same time shows a substantial improvement in distinguishing graphs.

$\newcommand{\Max}{\mathrm{Max4PC}}$ The Four point condition (4PC henceforth) is a well known condition characterising distances in trees $T$. Let $w,x,y,z$ be four vertices in $T$ and let $d_{x,y}$ denote the distance between vertices $x,y$ in $T$. The 4PC condition says that among the three terms $d_{w,x} + d_{y,z}$, $d_{w,y} + d_{x,z}$ and $d_{w,z} + d_{x,y}$ the maximum value equals the second maximum value. We define an $\binom{n}{2} \times \binom{n}{2}$ sized matrix $\Max_T$ from a tree $T$ where the rows and columns are indexed by size-2 subsets. The entry of $\Max_T$ corresponding to the row indexed by $\{w,x\}$ and column $\{y,z\}$ is the maximum value among the three terms $d_{w,x} + d_{y,z}$, $d_{w,y} + d_{x,z}$ and $d_{w,z} + d_{x,y}$. In this work, we determine basic properties of this matrix like rank, give an algorithm that outputs a family of bases, and find the determinant of $\Max_T$ when restricted to our basis. We further determine the inertia and the Smith Normal Form (SNF) of $\Max_T$.

We study chip-firing on a signed graph $G_φ$, employing a general theory of chip-firing on invertible matrices introduced by Guzmán and Klivans. Here a negative edge designates an adversarial relationship, so that firing a vertex incident to such an edge leads to a loss of chips at both endpoints. The chip-firing rule for $G_φ$ is described by its reduced Laplacian matrix $L_{G_φ}$, which also defines the critical group ${\mathcal K}(G_φ)$. The valid chip configurations are given by the lattice points of a rational cone determined by $G_φ$ and the underlying graph $G$. This gives rise to notions of critical as well as $z$-superstable configurations, both of which are counted by the determinant of $L_{G_φ}$. We establish general results regarding these configurations, focusing on efficient methods of verifying the underlying properties. We then study the critical groups of signed graphs in the context of vertex switching and Smith normal forms. We use this to compute the critical groups of various classes of signed graphs including signed cycles, wheels, complete graphs, and fans, in the process generalizing results of Biggs and others.

The search for a highly discriminating and easily computable invariant to distinguish graphs remains a challenging research topic. Here we focus on cospectral graphs whose complements are also cospectral (generalized cospectral), and on coinvariant graphs (same Smith normal form) whose complements are also coinvariant (generalized coinvariant). We show a new characterization of generalized cospectral graphs in terms of codeterminantal graphs. We also establish the Smith normal form of some graph classes for certain associated matrices, and as an application, we prove that the Smith normal form can be used to uniquely determine star graphs. Finally, for graphs up to 10 vertices, we present enumeration results on the number of generalized cospectral graphs and generalized coinvariant graphs with respect to several associated matrices.

The Picard group of an undirected graph is a finitely generated abelian group, and the Jacobian is the torsion subgroup of the Picard group. These groups can be computed by using the Smith normal form of the Laplacian matrix of the graph or by using chip-firing games associated with the graph. One may consider its generalization to directed graphs based on the Laplacian matrix. We compute Picard groups and Jacobians for several classes of directed trees, cycles, wheel, and multipartite graphs.

Let $W(D_n)$ denote the walk matrix of the Dynkin graph $D_n$. We prove that the Smith normal form of $W(D_n)$ is $$\textup{diag}[\underbrace{1,1,\ldots,1}_{\frac{n}{2}-1},\underbrace{2,2,\ldots,2}_{\frac{n}{2}-1},0,0]$$ when $n\equiv 0\pmod{4}$. This gives an affirmative answer to a question in [W. Wang, C. Wang, S. Guo, On the walk matrix of the Dynkin graph $D_n$, Linear Algebra Appl. 653 (2022) 193--206].

Let $G$ be a connected graph with adjacency matrix $A(G)$. The distance matrix $D(G)$ of $G$ has rows and columns indexed by $V(G)$ with $uv$-entry equal to the distance $\mathrm{dist}(u,v)$ which is the number of edges in a shortest path between the vertices $u$ and $v$. The transmission $\mathrm{trs}(u)$ of $u$ is defined as $\sum_{v\in V(G)}\mathrm{dist}(u,v)$. Let $\mathrm{trs}(G)$ be the diagonal matrix with the transmissions of the vertices of $G$ in the diagonal, and $\mathrm{deg}(G)$ the diagonal matrix with the degrees of the vertices in the diagonal. In this paper we investigate the Smith normal form (SNF) and the spectrum of the matrices $D^{\mathrm{deg}}_+(G):=\mathrm{deg}(G)+D(G)$, $D^{\mathrm{deg}}(G):=\mathrm{deg}(G)-D(G)$, $A^{\mathrm{trs}}_+(G):=\mathrm{trs}(G)+A(G)$ and $A^{\mathrm{trs}}(G):=\mathrm{trs}(G)-A(G)$. In particular, we explore how good the spectrum and the SNF of these matrices are for determining graphs up to isomorphism. We found that the SNF of $A^{\mathrm{trs}}$ has an interesting behaviour when compared with other classical matrices. We note that the SNF of $A^{\mathrm{trs}}$ can be used to compute the structure of the sandpile group of certain graphs. We compute the SNF of $D^{\mathrm{deg}}_+$, $D^{\mathrm{deg}}$, $A^{\mathrm{trs}}_+$ and $A^{\mathrm{trs}}$ for several graph families. We prove that complete graphs are determined by the SNF of $D^{\mathrm{deg}}_+$, $D^{\mathrm{deg}}$, $A^{\mathrm{trs}}_+$ and $A^{\mathrm{trs}}$. Finally, we derive some results about the spectrum of $D^{\mathrm{deg}}$ and $A^{\mathrm{trs}}$.

We investigate the algebra and combinatorics of an analogue of the Hermite normal form that classifies finite-index submodules of $\mathbb F_q[[T]]^d$. We identity both normal forms as instances of Gröbner basis theory under different monomial orders, where the Hermite normal form corresponds to the lex order, and the new normal form the hlex order. We note that the hlex normal form recovers the Smith normal form, a feature not enjoyed by the Hermite normal form. We also identify the combinatorial structure underlying the cell decomposition induced by the hlex normal form, which appears to be of independent interest. Notably, the statistics tracking the cell dimensions is compatible, in a certain way, with a collection of $d$ ``spiral shifting operators'' on $\mathbb N^d$, which pairwise commute and collectively act freely and transitively. Using these operators, we give direct proofs of some new combinatorial identities obtained by translating the results of Solomon and Petrogradsky in terms of the hlex normal form.

In this paper, we investigate $q$-Varchenko matrices for some hyperplane arrangements with symmetry in two and three dimensions, and prove that they have a Smith normal form over $\mathbb Z[q]$. In particular, we examine the hyperplane arrangement for the regular $n$-gon in the plane and the dihedral model in the space and Platonic polyhedra. In each case, we prove that the $q$-Varchenko matrix associated with the hyperplane arrangement has a Smith normal form over $\mathbb Z[q]$ and realize their congruent transformation matrices over $\mathbb Z[q]$ as well.

Let $W(D_n)$ denote the walk matrix of the Dynkin graph $D_n$, a tree obtained from the path of order $n-1$ by adding a pendant edge at the second vertex. We prove that $\text{rank}\,W(D_n)=n-2$ if $4\mid n$ and $\text{rank}\,W(D_n)=n-1$ otherwise. Furthermore, we prove that the Smith normal form of $W(D_n)$ is $$\text{diag}[\underbrace{1,1,\ldots,1}_{\lceil\frac{n}{2}\rceil},\underbrace{2,2,\ldots,2}_{\lfloor\frac{n}{2}\rfloor-1},0]$$ when $4\nmid n$. This confirms a recent conjecture in [W.Wang, F.Liu, W.Wang, Generalized spectral characterizations of almost controllable graphs, European J. Combin., 96(2021):103348].

Spectral characterization of graphs is an important topic in spectral graph theory, which has received a lot of attention from researchers in recent years. It is generally very hard to show a given graph to be determined by its spectrum. Recently, Wang [10] gave a simple arithmetic condition for graphs being determined by their generalized spectra. Let $G$ be a graph with adjacency matrix $A$ on $n$ vertices, and $W=[e,Ae,\ldots,A^{n-1}e]$ ($e$ is the all-one vector) be the walk-matrix of $G$. A theorem of Wang [10] states that if $2^{-\lfloor n/2\rfloor}\det W$ (which is always an integer) is odd and square-free, then $G$ is determined by the generalized spectrum. In this paper, we find a new and short route which leads to a stronger version of the above theorem. The result is achieved by using the Smith Normal Form of the walk-matrix of $G$. The proposed method gives a new insight in dealing with the problem of generalized spectral characterization of graphs.

We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice. This generalizes and yields a concise toric geometric proof of the same fact proven purely algebraically by Lopez and Villarreal for the case of a projective space and a standard homogeneous lattice ideal of dimension one. We also prove a Nullstellensatz type theorem over a finite field establishing a one to one correspondence between subgroups of the dense split torus and certain homogeneous lattice ideals. As application, we compute the main parameters of generalized toric codes on subgroups of the torus of Hirzebruch surfaces, generalizing the existing literature.

We show that singular numbers (also known as invariant factors or Smith normal forms) of products and corners of random matrices over $\mathbb{Q}_p$ are governed by the Hall-Littlewood polynomials, in a structurally identical manner to the classical relations between singular values of complex random matrices and Heckman-Opdam hypergeometric functions. This implies that the singular numbers of a product of corners of Haar-distributed elements of $\text{GL}_N(\mathbb{Z}_p)$ form a discrete-time Markov chain distributed as a Hall-Littlewood process, with the number of matrices in the product playing the role of time. We give an exact sampling algorithm for the Hall-Littlewood processes which arise by relating them to an interacting particle system similar to PushTASEP. By analyzing the asymptotic behavior of this particle system, we show that the singular numbers of such products obey a law of large numbers and their fluctuations converge dynamically to independent Brownian motions. In the limit of large matrix size, we also show that the analogues of the Lyapunov exponents for matrix products have universal limits within this class of $\text{GL}_N(\mathbb{Z}_p)$ corners.

Let a polyhedron $P$ be defined by one of the following ways: (i) $P = \{x \in R^n \colon A x \leq b\}$, where $A \in Z^{(n+k) \times n}$, $b \in Z^{(n+k)}$ and $rank\, A = n$; (ii) $P = \{x \in R_+^n \colon A x = b\}$, where $A \in Z^{k \times n}$, $b \in Z^{k}$ and $rank\, A = k$. And let all rank order minors of $A$ be bounded by $Δ$ in absolute values. We show that the short rational generating function for the power series $$ \sum\limits_{m \in P \cap Z^n} x^m $$ can be computed with the arithmetic complexity $ O\left(T_{SNF}(d) \cdot d^{k} \cdot d^{\log_2 Δ}\right), $ where $k$ and $Δ$ are fixed, $d = \dim P$, and $T_{SNF}(m)$ is the complexity to compute the Smith Normal Form for $m \times m$ integer matrix. In particular, $d = n$ for the case (i) and $d = n-k$ for the case (ii). The simplest examples of polyhedra that meet conditions (i) or (ii) are the simplicies, the subset sum polytope and the knapsack or multidimensional knapsack polytopes. We apply these results to parametric polytopes, and show that the step polynomial representation of the function $c_P(y) = |P_{y} \cap Z^n|$, where $P_{y}$ is parametric polytope, can be computed by a polynomial time even in varying dimension if $P_{y}$ has a close structure to the cases (i) or (ii). As another consequence, we show that the coefficients $e_i(P,m)$ of the Ehrhart quasi-polynomial $$ \left| mP \cap Z^n\right| = \sum\limits_{j = 0}^n e_i(P,m)m^j $$ can be computed by a polynomial time algorithm for fixed $k$ and $Δ$.

We present enumeration results on the number of connected graphs up to 10 vertices for which there is at least one other graph with the same spectrum (a cospectral mate), or at least one other graph with the same Smith normal form (coinvariant mate) with respect to several matrices associated to a graph. The present data give some indication that possibly the Smith normal form of the distance Laplacian and the signless distance Laplacian matrices could be a finer invariant to distinguish graphs in cases where other algebraic invariants, such as those derived from the spectrum, fail. Finally, we show a new graph characterization using the Smith normal form of the signless distance Laplacian matrix.

Determinantal ideals of graphs generalize, among others, the spectrum and the Smith normal form (SNF) of integer matrices associated to graphs. In this work we investigate the relationship of the spectrum and the SNF with the determinantal ideals. We show that an eigenvalue divides the $k$-th invariant factor of its SNF if the eigenvalue belongs to a variety of the $k$-th univariate integer determinantal ideal of the matrix. This result has as a corollary a theorem of Rushanan. We also study graphs having the same determinantal ideals with at most one indeterminate; the socalled codeterminantal graphs, which generalize the concepts of cospectral and coinvariant graphs. We establish a necessary and sufficient condition for graphs to be codeterminantal on $\mathbb{R}[x]$, and we present some computational results on codeterminantal graphs up to 9 vertices. Finally, we show that complete graphs and star graphs are determined by the SNF of its distance Laplacian matrix.

Unlike an irreducible $Z$-matrices, a weakly irreducible $Z$-tensor $\mathcal{A}$ can have more than one eigenvector associated with the least H-eigenvalue. We show that there are finitely many eigenvectors of $\mathcal{A}$ associated with the least H-eigenvalue. If $\mathcal{A}$ is further combinatorial symmetric, the number of such eigenvectors can be obtained explicitly by the Smith normal form of the incidence matrix of $\mathcal{A}$. When applying to a connected uniform hypergraph $G$, we prove that the number of Laplacian eigenvectors of $G$ associated with the zero eigenvalue is equal to the the number of adjacency eigenvectors of $G$ associated with the spectral radius, which is also equal to the number of signless Laplacian eigenvectors of $G$ associated with the zero eigenvalue if zero is an signless Laplacian eigenvalue.

In recent work, the authors used an order lowering operator $\nabla$, introduced by Stanley, to prove the strong Sperner property for the weak Bruhat order on the symmetric group. Hamaker, Pechenik, Speyer, and Weigandt interpreted $\nabla$ as a differential operator on Schubert polynomials and used this to prove a new identity for Schubert polynomials and a determinant conjecture of Stanley. In this paper we study a raising operator $Δ$ for the \emph{strong} Bruhat order, which is in many ways dual to $\nabla$. We prove a Schubert identity dual to that of Hamaker et al. and derive formulas for counting weighted paths in the Hasse diagrams of the strong order which agree with path counting formulas for the weak order. We also show that powers of $\nabla$ and $Δ$ have the same Smith normal forms, which we describe explicitly, answering a question of Stanley.

The \emph{critical} group of a finite connected graph is an abelian group defined by the Smith normal form of its Laplacian. Let $q$ be a power of a prime and $H$ be a multiplicative subgroup of $K=\mathbb{F}_{q}$. By $\mathrm{Cay}(K,H)$ we denote the Cayley graph on the additive group of $K$ with `connection' set $H$. A strongly regular graph of the form $\mathrm{Cay}(K,H)$ is called a \emph{cyclotomic strongly regular graph}. Let $p$ and $\ell >2$ be primes such that $p$ is primitive $\pmod{\ell}$. We compute the \emph{critical} groups of a family of \emph{cyclotomic strongly regular graphs} for which $q=p^{(\ell-1)t}$ (with $t\in \mathbb{N}$) and $H$ is the unique multiplicative subgroup of order $k=\frac{q-1}{\ell}$. These graphs were first discovered by van Lint and Schrijver in \cite{VS}.