arXiv++ Combinatorics

We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement. We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively. For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.

We present monotonicity inequalities for certain functions involving eigenvalues of $p$-Laplacians on signed graphs with respect to $p$. Inspired by such monotonicity, we propose new spectrum-based graph invariants, called (variational) cut-off adjacency eigenvalues, that are relevant to certain eigenvector-dependent nonlinear eigenvalue problem. Using these invariants, we obtain new lower bounds for the $p$-Laplacian variational eigenvalues, essentially giving the state-of-the-art spectral asymptotics for these eigenvalues. Moreover, based on such invariants, we establish two inertia bounds regarding the cardinalities of a maximum independent set and a minimum edge cover, respectively. The first inertia bound enhances the classical Cvetković bound, and the second one implies that the $k$-th $p$-Laplacian variational eigenvalue is of the order $2^p$ as $p$ tends to infinity whenever $k$ is larger than the cardinality of a minimum edge cover of the underlying graph. We further discover an interesting connection between graph $p$-Laplacian eigenvalues and tensor eigenvalues and discuss applications of our invariants to spectral problems of tensors.

We study the hitting time index, a graph invariant defined in terms of expected hitting times of simple random walks on finite connected graphs, through its relation with the Kirchhoff index. Using the commute time identity and Tetali's formula, we decompose the hitting time index into a Kirchhoff-index term and a nonnegative asymmetry term expressed by degree-weighted effective resistance sums. We derive lower and upper bounds for the asymmetry term, together with their equality conditions, and obtain a lower bound for the hitting time index in terms of the range of the degree-weighted resistance sums. For trees, we obtain lower and upper bounds for the asymmetry term, with the upper bound expressed in terms of the Wiener index, and characterize the equality case in the lower bound. In particular, we show that among all trees of fixed order, the hitting time index is minimized uniquely by the star graph. Finally, we apply the decomposition to complete bipartite graphs, paths, and graphs obtained by conjoining complete graphs, and recover several known hitting-time formulas.

Progress in graph learning is hindered by benchmark practices that conflate the contributions of node features and graph structure, making it hard to tell whether a model actually learns from the graph, or whether it even needs to. We propose measuring this using graph invariants, i.e., permutation-invariant, task-agnostic structural descriptors. Our analysis on datasets substantiates three tacit assumptions in graph learning, namely that (i) a curated subset of invariants is more expressive than standard GNNs, (ii) benchmark datasets exhibit structural heterogeneity even when originating from the same domain, and (iii) simple models are often competitive with, and sometimes exceed, approaches based on transformers or message passing. We thus posit that graph invariants should become a standard tool for measuring graph learning task complexity and the relevance of graph structure.

Let $R$ be a commutative Artinian ring. We consider two graphs associated to $R$, namely the compressed zero-divisor graph $Γ_E(R)$ and the associate class graph $Γ_A(R)$. Partitioning the vertex set of a zero-divisor graph into its core and its boundary, we count the core vertices that dominate the core. This count is a graph invariant, and we estimate it for $Γ(R)$, $Γ_A(R)$ and $Γ_E(R)$. We prove that the count for $Γ_A(R)$ is bounded below by the count for $Γ_E(R)$, and that the lower bound is attained precisely when $R$ is Gorenstein. As a consequence we obtain that $R$ is Gorenstein if and only if $Γ_A(R)\congΓ_E(R)$ as graphs, the isomorphism being an arbitrary one and not merely the natural compression map. Using the same counting technique we then answer, for Artinian rings, a question of Anderson and LaGrange by showing that $Γ(R)\congΓ_E(R)$ if and only if $R\cong \mathbb Z_2^{\,n}$ for some $n\ge2$, or $R\cong\mathbb Z_4$, or $R\cong\mathbb Z_2[x]/(x^2)$.

In this paper we introduce and explore the following new graph invariant: For a graph $G$ on $k$ vertices, $G \neq K_k$, let $st(n,G)$ denote the maximum number of edges in a graph of order $n$ which does not contain any subgraph on $k$ vertices strictly containing $G$. A basic relation to classical Turán numbers is developed via the following: For $G$ on $k$ vertices, let $D(G) = \{ H : |H| = |G|, H = G + e \}$. Using this notion we prove that $ex(n,G) \leq st(n,G) = ex(n, D(G) ) \leq \min \{ ex(n,H) : H \in D(G) \}$ holds for all $n \geq |G|$. The family $D(G)$ happened to be smoothly amenable to the use of classical extremal results, and in many cases allows us to get asymptotically sharp estimates as well as exact values of $st(n,G)$. From the many results proved here we state the following as an illustration. (1) If $χ(G) \geq 3$ and $χ(D(G)) = χ(G)$, then $st(n,G) = (1+o(1))ex(n,K_{χ(G)})$. (2) If $χ(D(G)) = χ(G) +1$, then $G$ is a complete $χ(G)$-partite graph and $st(n,G) = ex(n,K_{χ(G) +1})$ for $n$ sufficiently large. (3) For $k$ odd, $k\geq 5$, $st(n,C_k) = ex(n,C_k) = ex(n,K_3)$ for $n$ sufficiently large. (4) If $T$ is a tree of order $q$ with diameter $k \geq 2$ and $q \geq k+1 \geq 3$, then $ex(n, \{C_3,...,C_{k+1}\}) \leq st(n,T) \leq ex(n, \{C_3,...,C_{k+1}\}) + (q-1)n$. Many results concerning even cycles, theta graphs, dense bipartite graphs and graphs of the form $G = G^* \cup tK_1$ are obtained, moreover the value of $st(n,G)$ is computed for all graphs on at most 4 vertices.

Roman-type domination parameters form an important class of graph invariants that model protection and resource allocation problems on networks. Among them, $[k]$-Roman domination provides a unified framework that generalizes Roman, double Roman, and higher-order variants. In this paper we investigate the $[k]$-Roman domination number of cylindrical grids $C_m\Box P_n$ and derive several new constructive upper bounds. Our approach combines three complementary techniques: linear periodic constructions, uniform ceiling-type labelings, and packing-based refinements. We first analyze the case $C_9\Box P_n$, where these three families of bounds can be compared explicitly and their relative efficiency is shown to depend on the parameter $k$. We then extend the linear constructions to cylindrical grids whose circumference is a multiple of one of the values $3,\dots,9$, obtaining a unified family of upper bounds for $C_{rt}\Box P_n$. Motivated by the asymptotic behavior of these estimates, we further derive general upper bounds depending only on the residue class of $m$ modulo $5$, which apply to all cylindrical grids. As a consequence, we obtain explicit estimates for the double Roman domination number $γ_{[2]R}(C_m\Box P_n)$ and compare the resulting multiple-based constructions with the residue-class bounds. This comparison shows that the residue-class construction becomes asymptotically superior for all sufficiently large admissible circumferences, while several exceptional small cases remain better covered by tailored constructions.

The number of spanning trees is a classical graph invariant and an important measure of network reliability, as it counts the minimal connected spanning substructures that can maintain communication in a network. Let $\mathcal{B}(n,d)$ be the set of connected bipartite graphs of order $n$ and diameter $d$. Motivated by reliability design problems for bipartite network models with fixed order and diameter, this paper determines all graphs with the maximum number of spanning trees in $\mathcal{B}(n,d)$. The result gives an extremal characterization of bipartite network topologies with the largest number of connected spanning backbones under prescribed order and diameter constraints, and provides a structural reference for the design of reliable bipartite networks.

The House of Graphs is an online database of graphs which can be accessed at https://houseofgraphs.org/. It serves as a central repository for complete lists of graphs for various graph classes. However, its main feature is a searchable database of so-called "interesting" graphs. The development of the original House of Graphs started in 2010 and it was completely rebuilt in 2021-2022. Each graph in the database is accompanied by a significant amount of meta-data such as a name, drawings, precomputed graph invariants, and comments. Given this amount of information and the importance of reliability in the scientific world, robust data management is essential to ensure accuracy and consistency across the database. In this article, we therefore focus on knowledge management in the House of Graphs and describe the inner workings of the House of Graphs and how we ensure that its data is coherent, qualitative and stable.

We report on our ongoing project to develop a computational pipeline, AutoGraphForge, for an automated graph-theoretic conjecturing-refuting-formalizing-proving system. Conjecture generation is counterexample-guided and runs in rounds: a Graffiti3 generator proposes conjectures over a small, evolving snapshot table $T$ (initially a few hundred graphs with their computed invariants) that grows only by counterexamples to its own conjectures. A novelty filter of $559$ classical and folklore relations, closed under transitive composition and linear identity substitution, decides via a linear program whether a candidate is already implied by known results. Surviving candidates are tested against a dataset of about $348,000$ graphs, unioning the complete House of Graphs invariant export, the exhaustive census of all connected graphs on at most nine vertices, several extremal families (strongly regular, minimal Ramsey, Cayley, cages, barbells, lollipops, spiders), and random models. Counterexample-search algorithms then attack the remainder. Run for several rounds on an HPC cluster, the loop yields $6,522$ conjectures that survived the refutation dataset, the novelty filter and every active-search run -- among them nontrivial relations between the annihilation number and the edge-cover number for bipartite and regular graphs, which we prove by hand. A subsequent formalization and proving stage deterministically translates each surviving conjecture into a Lean 4 statement skeleton; every candidate proof is kernel-verified against a pinned mathlib4 and our custom invariant preamble. This stage integrates two neural provers -- DeepSeek-Prover-V2-671B (served with vLLM) and the Lean-specialised OProver-32B -- behind the independent kernel check. It is implemented end-to-end and passes initial sanity checks, with the full pipeline currently running on the cluster.

The trace of the average mixing matrix of a quantum walk measures the "laziness" of the walk: the higher the trace, the more likely that the walker returns home in the long run. In this paper, we develop tools to study this graph invariant arising from Laplacian quantum walks. It is known that the complete graph $K_n$ is the laziest connected graph on $n$ vertices. Using our machinery, we show that the star $S_n$ is the second laziest connected graph on $n$ vertices (and hence the laziest tree on $n$ vertices), the complete multipartite graph $K_{n-2,1,1}$ is the third laziest connected graph on $n$ vertices, and the double star $DS(n-3,1)$ is the second laziest tree on $n$ vertices. We also show that on the same number of vertices, more unbalanced double stars are lazier.

The algebraic connectivity of a graph $G$ is a well studied graph invariant that is related to other properties of the graph such as connectivity and expansion. Given $n$ and $m$, $α(n,m)$ is the maximum algebraic connectivity of a graph with $n$ vertices with $m$ edges. In 2015, Kolokolnikov conjectured that $α(n,2n-4)=2$ for $n\geq 3$, and verified this claim computationally for $n \le 12$. In this paper, we prove Kolokolnikov's conjecture.

The classical bond lattice of a graph was used in a formula of Whitney to compute the chromatic polynomial. In this paper, we use weighted versions of the bond lattice, to introduce and study a new polynomial and a new symmetric function invariant of a graph. Examples of the new polynomial invariant include the classical Narayana polynomials (for the path graph), the tree-Eulerian polynomials (for the complete graph), and the binomial-Eulerian polynomials (for the star graph). These examples suggest an interesting connection to $h$-polynomials of general graph-associahedra. We prove that for any chordal graph, our polynomial graph invariant is $γ$-positive. Multiweighted bond posets yield a symmetric function graph invariant that is an analog of the chromatic polynomial. The highest degree homogeneous component of this symmetric function is of particular interest. The parking function symmetric function introduced by Haiman arises as an example, as do symmetric functions studied by the first author in connection with multibracketed Lie algebras and with colored exterior algebras. The $γ$-positivity result mentioned above is a specialization of an $e$-positivity result for the highest degree homogeneous component, which we prove for any chordal graph using the theory of lexicographic shellability. We conjecture that this symmetric function is Schur-log-concave, which specializes to Huh's log-concavity theorem for the chromatic polynomial.

Place the vertices of a finite graph at projective points. Each edge defines a span map to $\mathrm{Gr}(2,n)$; the pulled-back Chern classes generate a graded algebra $A_G^{(n)}$. This assignment is a covariant graph functor, so the abstract graded-algebra type is a graph invariant. In ambient dimension four, the Hilbert series is incomparable with the chromatic and Tutte polynomials. On five vertices in dimension three, the $34$ graph classes yield $33$ algebra types, strictly refining both classical polynomials. For every tree $T$, we obtain a closed Hilbert-series formula depending only on $|V(T)|$ and $n$, while $A_T^{(3)}$ determines $T$ up to isomorphism. More precisely, its cubic relation data is a complete tree invariant of polynomial size. Finally, the graphical configuration space embeds as a dense open in the picture variety, and picture spaces with equal additive homology can have nonisomorphic edge-Chern algebras.

A long-standing question by S. Lando asks whether the $\mathfrak{sl}(2)$-weight system extends to a unique 4-invariant of graphs. We show that, in full generality, the answer to this question is negative. However, for certain specializations of the weight system, extensions do exist. Explicit formulae for computing two such specializations of the weight system are already known. We construct recurrence relations for one additional such extension and discuss the last remaining specialization, which conjecturally admits an extension. We also study the polynomial coefficients of the $\mathfrak{sl}(2)$-weight system and resolve the questions concerning their extension.

The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph. The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules. It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.

In this paper we introduce "graph linear notation" -- a complete graph invariant -- which is positioned as an alternative definition for the finite graphs. This invariant is constructed using an algorithm similar to the algorithm of finding canonical forms of graphs. Storing graph linear notation instead of a regular graph allows us to greatly simplify two major problems: the construction of illustrations for graphs with regards to possible graph symmetries, and the comparison of two graphs for isomorphism. We also demonstrate the transferability to the graph linear notations such classical graph theory concepts as colourings and graph paths.

We present more than seventy optimal degree-diameter Cayley graphs that are non-isomorphic to previously known optimal Cayley graphs with the same degree and diameter. For each graph, we provide comprehensive data on its parameters and structural invariants. Comparison with known constructions reported by Marston Conder on the Combinatorics Wiki and in related works reveals significant differences in girth, algebraic connectivity, domination number, automorphism group structure, cycle distributions, distance-related properties, and other graph invariants. These findings show that optimal degree-diameter Cayley graphs are frequently non-unique. The new examples enlarge the catalogue of known optimal graphs and provide benchmarks for investigations in degree-diameter problems, algebraic graph theory, and extremal graph theory. Since some of the graphs were identified through randomized search techniques, the collection is not exhaustive.

We introduce the \emph{Morse ensemble polynomial} $\ME_K(z_0,\ldots,z_d)$ of a finite simplicial complex $K$, defined as the generating function $\ME_K = \sum_M \prod_i z_i^{c_i(M)}$ over all acyclic matchings $M$ on the face poset of $K$, where $c_i(M)$ counts critical $i$-simplices. This polynomial records the complete distribution of Morse vectors across all discrete Morse functions on $K$, and is an isomorphism invariant of simplicial complexes. Our main results are the following. \textbf{(I) The Laplacian Formula}: for any connected graph $G$, $\ME_G = z_1^{m-n}\det(z_0z_1\,I_n + L_G)$, identifying $\ME_G$ as a complete Laplacian spectral invariant and showing $\ME_G$ to be incomparable with the Tutte polynomial. \textbf{(II) The Top-Face Recursion}: adding a $d$-simplex $σ$ (with $\partialσ\subset K$) to a complex $K$ gives a recursion $\ME_{K\cup\{σ\}} = z_d\cdot\ME_K + \sum_{τ\precσ}(\ME_{P(K')\setminus\{σ,τ\}}-F(K,σ,τ))$. The correction term is controlled by the top incidence graph: an incidence-separation criterion detects exactly when $F=0$, and the incidence distance gives the leading obstruction term. As a topological application, this recursion gives exact coefficient recursions for perfect and optimal discrete Morse vectors. \textbf{(III) The independence ME polynomial} $Φ(G) := \ME_{\mathrm{Ind}(G)}$ is a fine graph invariant which strictly refines the graph-level Morse ensemble $\ME_G$, separates examples not distinguished by $T_G$ and $I(G;t)$, and records collapse-level information of $\mathrm{Ind}(G)$ through coefficients such as $[z_0]Φ(G)$.

In this paper, we introduce the comaximal graph $Γ(L)$ of a finite-dimensional Lie algebra $L$, whose vertices are the nontrivial proper Lie subalgebras of $L$ over a field $\mathbb{F}$, and two vertices $A$ and $B$ are adjacent if and only if $\langle A, B\rangle =L$. We establish general structural properties, including a characterization of isolated vertices via the Frattini subalgebra and a criterion for completeness in terms of $μ$-algebras. We classify $Γ(L)$ for all Lie algebras of dimension at most three over a finite field $\mathbb{F}_q$, providing an explicit description in each case. The resulting graphs exhibit a rich range of behaviors, depending on the structure of the derived algebra and the action of $\operatorname{ad}x$. For $L\cong \mathfrak{sl}_2(\mathbb{F}_q)$, we determine several graph invariants, including the degree sequence, clique number, chromatic number, domination number, diameter, and radius, and show that $Γ(L)$ is connected and non-planar. The graph contains a large clique formed by the nonsplit semisimple lines together with the Borel subalgebras, while the nilpotent and split semisimple lines have a more restricted adjacency structure governed by their containment in Borel subalgebras.