graph
35150 papers tagged with this keyword
The crossing number and the unit-distance crossing number of the Hamming graphs H(d,3)=K_3^{box d}, and their realizations over many coordinate fields
The Hamming graph H(d,3)=K_3^{box d} (n=3^d vertices) is the graph of single-symbol errors of ternary codes, yet we ask a geometric question of it: can it be drawn in the plane with every edge exactly one unit long and no two non-adjacent vertices a unit apart? It can, for every d, joining two problems into one.
Where does it live? As a Minkowski sum of unit triangles, each H(d,3) has a hidden flexibility carrying its coordinates up the constructibility ladder (compass, origami, and beyond), so one graph is realizable over many number fields at once, in the plane and in R^3 (edim(H(d,q))=q-1). Yet almost every faithful realization is transcendental: the Galois picture is a measure-zero shadow of a vast transcendental continuum, matching the exists-R hardness of unit-distance recognition.
How crowded must a unit drawing be? We separate the ordinary crossing number from a unit-distance crossing number (absent from Schaefer's survey), and one recursion H(d,3)=H(d-1,3) box K_3 controls both. We prove cr(H)=Theta(n^2), with sharp one-page constant 7/6; and Omega(n^2) <= udcr(H) <= O(n^2 log n) by concentration, plus a closed-form majorant (3/2)n^2(L^2-L+1), L=log_3 n. The least-crossing drawing we find is constructible (origami): field and crossings are two readings of one geometry. All claims are verified computationally; the lower bound udcr=Omega(n^2 log n) is the central open problem.
Soltés problem for the Kirchhoff index of a graph
Published in Applied Mathematics and Computation, Volume 510, 2026
• View Publication
• BIB
We say that $v\in V(G)$ is a \textit{good vertex} if the Kirchhoff index remains unchanged when $v$ is removed, i.e. $Kf(G)=Kf(G-v)$. In 1991, Šoltés studied the Wiener index of a graph and posed the problem of identifying graphs for which the removal of an arbitrary vertex preserves the Wiener index. In this paper, we explore a similar concept: identifying \textit{Kirchhoff Šoltés graphs}, i.e. graphs in which all vertices are good vertices. We show that the cycle $C_5$ is a Kirchhoff Šoltés graph. We consider several relaxed versions of the Kirchhoff Šoltés problem, where the primary objective is to identify graphs containing at least one good vertex. One of them is the \textit{$β$-Kirchhoff Šoltés problem}, which seeks to find an infinite family of graphs in which the proportion of good vertices is at least $β$, with $β\in (0,1]$ being a specified rational number. Another one involves constructing infinite families of graphs where the proportion of good vertices increases and asymptotically approaches a given real number $γ\in (0,1]$ as the order of the graph grows. We demonstrate that both relaxed versions have infinitely many solutions. In particular, we prove the existence of infinitely many graphs for which the proportion $β$ of good vertices, $1/7\leq β<1/5$ tends to a certain irrational number. Furthermore, we prove the existence of infinitely many graphs with half good vertices, and for each $s\in\mathbb{N}$, we construct an infinite family of graphs whose proportion of good vertices tends to $\frac{s+1}{2s+1}$. These findings could be pivotal in addressing the original problem of determining whether there are additional solutions beyond $C_5$.
Constructive recurrences for determinants and permanents of banded Toeplitz matrices
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.
On the number of solutions of systems of diagonal equations through diagonal GP-graphs: the general and the Hermitian-form cases
For any $m, s \in \mathbb{N}$, we study the number $N_{m\times s,q}(κ, β)$ of solutions $(x_1,\ldots,x_s) \in (\mathbb{F}_q)^s$ of the monic system of diagonal equations
$$ X_{1}^{k_i} + \cdots + X_{s}^{k_i}= β_i, \qquad (1\le i \le m), $$ with $κ=(k_1,\ldots,k_m) \in \mathbb{N}^m$ and $β=(β_1,\ldots,β_m) \in (\mathbb{F}_q)^m$. We show that this number can be obtained in terms of some data of \textit{diagonal} GP-graphs $Γ(κ,q)$. This is a new family of graphs that we introduce here, $Γ(κ,q)$, with $κ= (k_1,\ldots,k_m) \in \mathbb{N}^{m}$, is the directed graph with vertex set the finite field $\mathbb{F}_q$ and there is an arc from $u$ to $v$ if and only if $v-u \in R_κ = \{ (x^{k_1},\ldots,x^{k_m}) : x \in \mathbb{F}_{q}^*\}$. In particular, we give three different expressions for $N_{m\times s,q}(κ, β)$: one in terms of walks, another in terms of adjacency matrices of $Γ(κ,q)$ and the last one in terms of the spectrum of $Γ(κ,q)$. Finally, we explicitly derive combinatorial formulas for the number of solutions $N_{m}(s,q) = N_{m\times s,q}(κ_\ell, 0)$ of monic homogeneous systems of diagonal equations of the form $$ X_1^{q^{\ell_i}+1} + \cdots + X_s^{q^{\ell_i}+1} = 0 \qquad (1\le i \le m),$$ with $κ_\ell=(\ell_1,\ldots,\ell_m)=(1,3,\ldots,2m-1)$ and $m\ge 2$, via the known spectrum of Hermitian-form graphs, which can be viewed as diagonal GP-graphs. For any $m,s \in \mathbb{N}$, we give general summation and recursive formulas for $N_m(s,q) \in \mathbb{Z}[q]$. For the small cases $N_{1}(s,q)$, $N_{2}(s,q)$ and $N_{m}(s,q)$, with $1\le s \le 5$, we give explicit expressions.
Near-bipartite bricks in which every b-invariant edge is a forcing edge
A connected graph is matching covered if it has at least one edge and every edge lies in some perfect matching.Lovász proved that every matching covered graph G can be uniquely decomposed into a list of bricks and braces up to multiple edges. Denote by b(G) the number of bricks in such a decomposition. An edge e of G is removable if G-e is also matching covered; is b-invariant if e is removable and b(G-e)=b(G). Furthermore, an edge e of G is a forcing edge if it lies in precisely one perfect matching of G. Lucchesi and Murty proposed the problem of characterizing bricks, distinct from K_4, \overline{C_6}, and the Petersen graph, in which every b-invariant edge is a forcing edge. In this paper, we solve this problem for near-bipartite bricks by providing a complete characterization.
Exponential Lower Bounds for the Pfaffian Number of Graphs
Galluccio--Loebl and Tesler showed that the perfect-matching polynomial of a graph embedded in an orientable surface of genus $g$ can be written as a linear combination of at most $4^g$ Pfaffians. We show that, in general, exponentially many Pfaffians are necessary. More precisely, for every $g\ge1$, there exists a graph of orientable genus at most $g$ whose perfect-matching polynomial requires at least $(8/3)^g$ Pfaffians in any such linear representation. In particular, for every even integer $n\ge6$, there is a graph on $n$ vertices with Pfaffian number at least $(8/3)^{\lfloor n/6\rfloor}$. Moreover, the lower bound is witnessed even by cubic bipartite matching-covered graphs. We prove this by showing that expressing the permanent of an $n\times n$ matrix of distinct variables as a linear combination of determinants obtained by changing signs of its entries requires exponentially many determinants. As a consequence, we improve a recent linear lower bound on the Pfaffian number due to Junchaya, Miranda, and Lucchesi to an exponential lower bound.
Generalized Turán problem for directed cycles
For integers $k, \ell \geq 3$, let $\mathrm{ex}(n, \overrightarrow{C_k}, \overrightarrow{C_\ell})$ denote the maximum number of directed cycles of length $k$ in any oriented graph on $n$ vertices which does not contain a directed cycle of length $\ell$. We establish the order of magnitude of $\mathrm{ex}(n, \overrightarrow{C_k}, \overrightarrow{C_\ell})$ for every $k$ and $\ell$ and determine its value up to a lower error term when $k \nmid \ell$ and $\ell$ is large enough. Additionally, we calculate the value of $\mathrm{ex}(n, \overrightarrow{C_k}, \overrightarrow{C_\ell})$ for some other specific pairs $(k, \ell)$ showing that a diverse class of extremal constructions can appear for small values of $\ell$.
Maximizing the signless Laplacian spectral radius of simplicial 2-complexes with a prescribed second Betti number
We study how a prescribed second Betti number constrains the largest eigenvalue of the signless Laplacian on edges of a pure two-dimensional simplicial complex. For each fixed positive second Betti number, we determine all maximizing complexes provided that the number of vertices is sufficiently large. Every maximizer consists of a full cone over a complete graph together with a family of triangles avoiding the apex, any two of which share an edge; the number of added triangles equals the prescribed Betti number. The maximizer is unique up to isomorphism except when this number is three or four, for which we describe all additional extremal complexes. The proof uses homological constraints and Perron vector estimates to establish the full cone structure, followed by an exact Schur complement comparison to classify the added triangles. We also obtain an asymptotic expansion of the maximum spectral radius and extend the extremal result to Betti numbers growing more slowly than the fourth root of the number of vertices. These results provide a two-dimensional counterpart of spectral extremal theorems for connected graphs with a prescribed cyclomatic number.
Partial-Twuality Polynomials of Paired Matrices
Gross, Mansour, and Tucker~[European Journal of Combinatorics, 95 (2021): 103329] introduced the \emph{partial-twuality polynomials} of ribbon graphs. Recently, Deng, Jin, and Yan generalized the partial-twuality polynomials to the framework of matrix algebra and investigated several of their basic properties. They asked whether there exist matrix operations, called partial duality $δ$ and partial Petrie duality $τ$, on pairs $(M,A)$, where $M$ is a square matrix whose rows and columns are indexed by a finite set $V$ and $A\subseteq V$, such that $δ^2=τ^2=(δτ)^3=id$ and the exponent of the partial-twuality polynomials coincides with some parameter of the matrix obtained by applying \(\bullet\) to \((M, A)\). In this paper, we introduce a paired-matrix framework for partial-twuality polynomials over the binary field $\mathbb{GF}(2)$. We prove that there exist two local operations \(δ\) and \(τ\) on \(\bigl((M,I_{|V|}),A\bigr)\) satisfying $δ^2=τ^2=(δτ)^3=id$ and $P_{\langle \bullet \rangle}((M,I_{|V|}),z)=P_{\langle \bullet \rangle}(M,z)$ for $\bullet \in \{δ, τ, δτ, τδ, δτδ\}$, thereby answering their question affirmatively. Finally, we establish a recurrence relation for the partial \(\langleδτδ\rangle\)-polynomial with respect to an edge. This recurrence enables the computation of the partial \(\langleδτδ\rangle\)-polynomial for certain bouquets, simple graphs, and simple signed graphs.
Edge-addition monotonicity of positive p-energy fails for every p >= 1
At a 2021 AIM workshop, Guo conjectured that the positive square energy s+ = E+_2 should inherit the familiar edge-addition monotonicity of the spectral radius, rho(G + uv) >= rho(G). That conjecture was subsequently shown to fail at p = 2. Tang, Liu, and Wang then introduced positive p-energy, proved nonmonotonicity for every 1 <= p < 3, and in version 3 of their preprint (26 March 2025) explicitly conjectured that monotonicity should hold for p >= 3. We disprove this conjectured high-exponent extension completely: for every real p > 2 there are infinitely many connected graphs G and nonedges uv such that E+_p(G + uv) < E+_p(G).
Together with the Tang-Liu-Wang counterexamples below 3, this shows that no exponent p >= 1 restores the spectral-radius-style monotonicity: positive p-energy can decrease under the addition of an edge for every real p >= 1.
The construction is a chain of clique blocks joined by regular bipartite graphs. An equitable quotient converges to Q = I + cA(P_k). For noninteger p, a binomial-series sign argument for a fractional power of I - cA(P_k) gives the required negative endpoint entry. At integer exponents, choosing c across the first spectral threshold leaves exactly one negative eigenvalue, and path locality forces the positive spectral contribution to have negative sign. We also give a fully rational 38-vertex certificate at p = 4 and determine the complete failure interval of a fixed 17-vertex counterexample at p = 3.
Formation control from the generic combinatorial viewpoint: edge dynamics and directed sensing
We develop a geometric framework for distance-based formation control that separates the evolution of inter-agent distances from its realization by compatible node motions, reducing the stability problem to the edge space. We show that local exponential convergence of the edge dynamics implies local exponential convergence of the formation, and that stability is certified by spectral properties of a linear edge operator. We introduce a hierarchy of generic spectral properties --- weak admissibility, admissibility, and strong admissibility --- that provide necessary conditions for local exponential stability. Specializing to directed sensing, we obtain a necessary and sufficient spectral condition for local stability at an arbitrary target, together with a quadratic sufficient certificate. These conditions reveal that stability depends jointly on the graph orientation and target geometry, and show that persistence is neither necessary nor sufficient for local convergence. We show that every generically rigid graph admits an admissible orientation and, for acyclic orientations, we give an exact combinatorial characterization of admissibility. Finally, the quadratic certificate leads to a semidefinite program for synthesizing stabilizing edge gains.
A Four-Connected Graph without a Legal System
In a 2021 paper, Jankiewicz, Norin, and Wise asked whether there exists a finite $4$-connected graph of girth at least four and nonnegative Charney--Davis curvature such that no $4$-connected ordinary subgraph admits a legal system. We construct such a graph by starting from the hexagonal prism and attaching three $K_{3,4}$-based caps along pairwise disjoint induced $4$-cycles. The key structural input is a restriction theorem showing that a legal system on an induced-$4$-cycle amalgam restricts to each side, so the obstruction carried by the negatively curved prism survives the attachments. The resulting $33$-vertex graph is $4$-regular and $4$-connected, has girth four and Charney--Davis curvature one, and, by $4$-regularity, is its own unique $4$-connected ordinary subgraph.
Matroids with cycle systems are regular
A cycle system for a matroid $M$ is a collection of cycles (unions of circuits) whose intersection properties mimic the cut sets of a graph. Cycle systems were introduced by Corry, the first author, McClain, Perkinson, and Yi, who showed that the $h$-vector of any matroid that admits a cycle system is a pure $O$-sequence, confirming a conjecture of Stanley for this class. Those authors also conjectured that any matroid admitting a cycle system must be binary. Here we answer this conjecture in the affirmative, and prove the stronger result that any such matroid must in fact be regular (representable over any field). From this, we conclude that if $M$ is connected, every cycle system for $M$ is a basis for its circuit space of. We establish other properties of cycle systems along the way, which may be of independent interest.
Premaniplexes of rank $3$ and $4$ as symmetry type graphs of maniplexes
We show that every finite premaniplex of rank $3$ or $4$ is the symmetry type graph of a finite maniplex, settling the finite rank $3$ and $4$ case of the maniplex version of the symmetry type graph problem. The proof uses the fact that the universal string
Coxeter groups of rank $3$ and $4$ are amalgams (of finite groups), hence they act on a tree, which allows us to use a lifting theorem of Potočnik and Spiga.
Degreewise Cut-Semigroup Saturation for $K_5$-Minor-Free Graphs and Seymour's Planar Edge-Colouring Conjecture
For every positive integer $k$, we prove that the homogeneous cut semigroup of every $K_5$-minor-free graph is saturated at height $k$ if and only if every planar $k$-graph is $k$-edge-colourable. Here a $k$-graph is a loopless $k$-regular multigraph in which every odd vertex cut has size at least $k$. A triangle expansion of a cubic plane dual converts cut decompositions into perfect-matching decompositions. The converse uses symmetric difference with a fixed perfect matching. The equivalence identifies the normality conjecture for $K_5$-minor-free cut polytopes with Seymour's planar edge-colouring conjecture. In particular, the known cases $k\leq 8$ give saturation through height eight.
Fractional revival in complementary prisms of graphs
The complementary prism $G\overline{G}$ of a graph $G$ is obtained from the disjoint union of $G$ and its complement $\overline{G}$ by adding an edge between each vertex $a$ in $G$ and its copy $a'$ in $\overline{G}.$ This paper explores a general framework for studying fractional revival with respect to real symmetric matrices with a block structure. The framework is then used to show that, for a fixed state $\mathbf{u}$ in $G$ orthogonal to the all-one vector, the complementary prism $G\overline{G}$ exhibits fractional revival from the state $[\mathbf{u},\mathbf{0}]^T$ with respect to the adjacency, Laplacian, and signless Laplacian matrices. We further characterize perfect pair state transfer in the complementary prism of a complete graph and establish the existence of perfect pair and plus state transfer in the complementary prism of a complete bipartite graph.
A maximum matching based refinement of Brouwers conjecture
Let $G$ be a simple graph on $n$ vertices and $e(G)$ edges. Let $μ_1\geq \cdots \geq μ_{n-1}\geq μ_n=0$ be the Laplacian eigenvalues of $G$. For $k=1, \ldots, n$, let $S_k(G)=\sum_{i=1}^{k}μ_i$. Brouwers conjecture asserts that for any $k\in\{1,\ldots, n\}$, $S_k(G)\leq e(G)+\binom{k+1}{2}$. In [Bounding the sum of the largest Laplacian eigenvalues of graphs, {\em Discrete Appl. Math.}, 170:95--103, (2014)], Rocha and Trevisan showed that the conjecture holds true for $1 \leq k \leq \lfloor g/5 \rfloor$, where $g$ denotes the girth of $G$. This bound on $k$ was later improved by Chen in [Improved results on Brouwers conjecture for sum of the Laplacian eigenvalues of a graph, {\em Linear Algebra Appl.}, 557:327--338, (2018)], who established that the conjecture holds for $1 \leq k \leq \lfloor g/4 \rfloor$. In this article, we further strengthen these results by proving that the Brouwers conjecture holds for $1\leq k\leq\left\lfloor \frac{m(G)}{2}\right\rfloor,$ where $m(G)$ denotes the matching number of $G$. Since $m(G)\geq \lfloor g/2\rfloor$, the case constitutes a genuine improvement over the aforementioned results. As an application, we show that if $G$ is a graph of order $n$ and with a perfect matching, then the Brouwers conjecture holds for $1\leq k\leq \left\lfloor \frac{n}{4}\right\rfloor$. Finally, we provide a new perspective on verifying Brouwers conjecture by proving that $G$ satisfies the Brouwers conjecture if and only if for a fixed positive integer $h$, $\mathcal{S}_h(\overline{G})\leq e(\overline{G})+\binom{h+1}{2}$ holds whenever $\mathcal{S}_h(G)\leq e(G)+\binom{h+1}{2}$, where $\overline{G}$ denotes the complement of $G$.
Local Search for Almost-Spanning Square Grids in Erdős--Rényi Random Graphs
Finding large lattice subgraphs in sparse Erdős--Rényi random graphs is a classical problem at the interface of random graph theory and algorithms. General bounded-degree embedding and universality theorems give powerful results for broad graph families, but when specialized to square grids they operate at densities substantially larger than the grid-emergence scale. In this paper we exploit the specific geometry of the square grid. We introduce the Quarantined Local Search, a three-phase local algorithm that separates the construction of an initial boundary from the later corner-closure process and controls adaptive negative exposure through bounded pair-test histories. We prove that, for every fixed $δ\in (0,1)$, there exists $C_δ>0$ such that the algorithm embeds a $k\times k$ square grid with $k^2\le (1-δ)n$ in $G(n,p)$ with high probability whenever $p\ge C_δ\sqrt{\ln k/n}$. Thus, for $k^2=Θ(n)$, a density of order $\sqrt{\log n/n}$ is sufficient, a factor of order $\sqrt{\log n}$ above the corresponding $n^{-1/2}$ emergence scale.
The saturated spectral radius for complete graphs
A graph is $K_{r+1}$-saturated if it is $K_{r+1}$-free and adding any missing edge creates a copy of $K_{r+1}$. Kim, Kim, Kostochka, and O conjectured that $K_{r-1}\vee(n-r+1)K_1$ minimizes the spectral radius among all $n$-vertex $K_{r+1}$-saturated graphs. They proved the case $r=2$, and the cases $r=3$ and $r\in\{4,5\}$ were subsequently established by Kim, Kostochka, O, Shi, and Wang, and by Wang and Hou, respectively. We settle the conjecture for all $r\ge3$: if $n\ge r+1$ and $G$ is an $n$-vertex $K_{r+1}$-saturated graph, then \[ ρ(G)\ge \frac{r-2+\sqrt{(r-2)^2+4(r-1)(n-r+1)}}{2}, \] with equality if and only if $G\cong K_{r-1}\vee(n-r+1)K_1$. We also prove O's local two-walk conjecture for every $r\ge2$: \[ \sum_{w\in N_G(v)}d_G(w) \ge (r-2)d_G(v)+(r-1)(n-r+1) \qquad(v\in V(G)). \] If $G$ has no universal vertex, the inequality holds with the additional term $(r-1)(r-2)$ on the right-hand side. This constant is best possible uniformly in $n$ for every fixed $r$, and gives a strict improvement when $r\ge3$. A corresponding spectral bound follows.
Residues of weighted dynamical Ihara zeta functions on finite regular graphs
A weighted dynamical version $\mathbf{Z}_f$ of the classical Ihara zeta function is presented on connected finite regular graphs, expressed in terms of weighted periodic orbit data. We establish its meromorphic continuation, with poles given by the resonances of the associated non-backtracking transfer operator acting on a suitable Banach space, and compute its residues. At simple spectral parameters, the residue of $\mathbf{Z}_f$ is identified with the invariant Ruelle distribution on the graph phase space. Combining this result with a relation obtained by Arends-Palmirotta, we further derive Patterson-Sullivan and Wigner residue formulae. This provides a finite-graph analogue of residue formulae for weighted dynamical zeta functions for geodesic flow on rank one locally symmetric spaces, in the spirit of Schütte-Barkhofen-Weich.