graph
35150 papers tagged with this keyword
A sharp density bound for 5-connected graphs with no $\Ke$ minor
Let $\Ke$ be obtained from $K_7$ by deleting two independent edges. We prove that every 5-connected graph on $n\ge7$ vertices with at least $4n-9$ edges contains a $\Ke$ minor, settling Conjecture~1.4 of Dvo\v rák, Norin and Rahman (arXiv preprint 2609.17760v1). The bound is sharp. We prove the stronger statement that every $4$-bilight graph on $n\ge4$ vertices with at least $4n-9$ edges contains either a $\Ke$ minor or a $K_6$ subgraph. Within their reduction framework, we strengthen the rooted-minor theorem. We show that every $4$-light 5-rooted graph of rooted $4$-density at least two has a model with two nonroot vertices and at most one missing edge incident with them. At the critical density, reductions preserve density exactly, which prevents them from creating a new $K_6$ subgraph.
Graphs of Moore-Penrose inverse of matrices possessing the treeangle property
It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.
Structural Characterizations and Algebraic Realizations of a Family of Regular Integral Graphs
All the eigenvalues of an integral graphs are integers. Integral graphs are extremely rare. They form an asymptotically vanishing fraction $2^{-Ω(n)}$ among all graphs on $n$ vertices. It makes the construction of a new family of integral graphs a challenging task. Also, most of the known infinite family of integral graphs rely on Cayley graphs over Abelian groups. In this article, we introduce a new family of integral graphs obtained from the groups. The construction of our graphs from groups is different from the construction of Cayley graphs. A spectral uniqueness theorem is established, which shows that each member of the infinite family is determined by its adjacency spectrum among all finite simple graphs. We also present recursive constructions that generates larger members of the family from smaller ones, providing a scalable class of integral graphs. Finally, we investigate algebraic realizations of these graphs as complements of Proper Prime Order Element Graphs of finite $2$-groups and obtain conditions characterizing such realizations. We also observe that the graphs obtained from different non-isomorphic groups have cospectral graphs.
Some results on the distance spectral radius and edge-disjoint spanning trees of graphs
Let $τ(G)$ denote the maximum number of edge-disjoint spanning trees in a connected graph $G$ of order $n$, and let $ρ_D(G)$ denote its distance spectral radius. For an integer $k\ge2$, Fan, He and Zhao [Discrete Appl. Math. 376 (2025) 31--40] obtained a sharp distance spectral radius condition for $τ(G)\ge k$ when $n\ge2k+6$. In this paper, we fill the gap $2k\le n\le2k+5$ and thus complete the result for all $n\ge2k$. The extremal graph given by Fan, He and Zhao remains valid for $n\ge2k+2$, while we determine the unique extremal graph for each of the orders $n=2k$ and $n=2k+1$. We further obtain sharp distance spectral radius conditions and characterize all extremal graphs under the minimum degree condition $δ(G)\ge k$ for all $n\ge2k$. Finally, for graphs with the stronger minimum degree condition $δ(G)\ge6k-4$ and order $n\ge2δ(G)+2$, we obtain a sharp distance spectral radius condition ensuring $τ(G)\ge k$ and determine the unique extremal graph.
Large Planar Point Sets Contain 4 Collinear Points or Almost 7-Cliques, and Related Results
We prove that every sufficiently large finite planar point set contains either four collinear points or seven points with at most one non-visible pair. More generally, we show that for every fixed graph $H$ with chromatic number at most five, or with chromatic number six and a color-critical edge, the visibility graph of every sufficiently large finite planar point set with no four collinear points contains a copy of $H$. These results extend the recent breakthrough of Bonnet (2026), guaranteeing six pairwise visible points, and come within one visibility edge of the next open case of the big-line-big-clique conjecture.
Signed GLMY Homology of Signed Graphs via Double Covers
We define a signed GLMY chain complex over $\mathbb{R}$ for signed digraphs using sheet-labelled regular paths. The complex is naturally isomorphic to the deck anti-invariant subcomplex of the ordinary GLMY complex on the signed double cover. The double-cover realization yields switching invariance and recovers ordinary GLMY homology for switching-balanced signings. Bidirected completion gives an orientation-independent homology theory for signed graphs. For a signed graph, the zero-dimensional homology identifies with the kernel of the signed Laplacian and has dimension equal to the number of balanced connected components. Signed GLMY homology is functorial under signed weak morphisms, which combine vertex maps with switching functions and allow compatible arrow contractions. For signed digraphs, the all-positive reduction retains the orientation sensitivity of ordinary GLMY homology, while explicit computations show additional sensitivity to the arrow signs. For a fixed digraph with five vertices and nine arrows, we classify all 512 arrow signings and obtain exactly four signed Betti vectors. Precisely 16 signings have nonzero second signed GLMY homology.
Automorphisms of Token Graphs That Send $4$-Cycles Generated by Two Edges to Cycles Generated by a $4$-Cycle and Two Tokens
Let $G$ be a connected graph. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertex set consists of all subsets of $k$ vertices of $G$, where two of them are adjacent whenever their symmetric difference is an edge of $G$. Every automorphism of $G$ induces one of $F_k(G)$, as does complementation when $k=|G|/2$; automorphisms of this form are called \emph{induced}. Fabila-Monroy et al.\ (Graphs and Combinatorics 42, 2026) show that token graphs can have many non-induced automorphisms, arising from \emph{twin cuts}. These are cut sets $\{x,y\}$ whose two vertices have the same neighbours (other than themselves) in $G$. These non-induced automorphisms send configurations with a prescribed number of tokens on each component of $G\setminus \{x,y\}$, totalling $k-1$, and exactly one token on one vertex of $\{x,y\}$, to the configuration obtained by moving (\emph{flipping}) the token at $\{x,y\}$ to the other vertex of $\{x,y\}$. These automorphisms send an induced $4$-cycle generated by moving two tokens on two disjoint edges to one generated by moving two tokens on a $4$-cycle; thus introducing what we call a \emph{twist}. We prove a partial converse: if an isomorphism $φ\colon F_k(G)\to F_{k'}(G')$ sends some $4$-cycle generated by moving two tokens on two disjoint edges to one generated by moving two tokens on a $4$-cycle, then $G$ and $G'$ have twin cuts $\{x,y\}$ and $\{x',y'\}$, respectively. We also show that any twist can be undone by composing $φ$ with twin-cut flips.
A note on the diameter of graphs of two-dimensional simplex codes
Let $Γ^s(2,q)$ be the graph induced in the Grassmann graph by the $q$-ary simplex codes of dimension 2. For $q=4$, this graph is known to have diameter 3. We prove that the same diameter occurs for every prime power $q\geq5$. Together with the elementary cases $q=2,3$, this gives diam$Γ^s(2,q)=0,2,3$ for $q=2$, $q=3$, and $q\geq4$, respectively. The upper bound is obtained from a consequence of a theorem of Marshall Hall on finite abelian groups. For $q\geq5$ an explicit diagonal pair of simplex lines gives the matching lower bound; we give two proofs, one using moments and one using products. For $q\geq7 we also retain an independent counting proof. The case $q=4$ is handled separately.
Signed circulants at the Ramanujan bound
For the circulant graph $C_n(1,2)$ with $n\ge10$ even, the $\F_2$ system requiring every quadrilateral to be unbalanced is consistent and its solutions form exactly four switching classes. We show that the class containing the signing which is $+1$ on step-$1$ edges and $(-1)^i$ on step-$2$ edges has spectrum $\{\pm2\sqrt{\cos^2θ_k+\cos^2 2θ_k}\}$ and spectral radius exactly $2\sqrt2$, well below the Kesten bound $2\sqrt3$; that the quadrilateral system is equivalent to alternating triangle fluxes, so that the four classes are coordinatized by $(τ_0,α)$ and the spectral radius depends only on the Hamilton-cycle holonomy $α$; and that the two twisted classes attain $ρ_-(n)=2\sqrt{\cos^2(π/n)+\cos^2(2π/n)}<2\sqrt2$. Exhaustive enumeration of all $2^{n+1}$ switching classes for $n\in\{8,10,12,14,16,18\}$ shows that $ρ_-(n)$ is the global minimum in every case, and we conjecture this for all even $n$; the lower bound is a flux-minimization statement in the sense of Lieb's flux-phase theorem. For odd $n$ the quadrilateral system is inconsistent.
Parity families and signed spectra: kernel averaging, near-Ramanujan bounds, and exact circulant models
We develop an affine $\mathbb F_2$ framework for structured signings of regular graphs. A family-averaging identity converts even spectral moments into parity-weighted closed-walk counts supported on the span of prescribed short even cycles, while a kernel-averaged Ihara identity gives the corresponding decomposition at the non-backtracking level. We give a finite-scale bounded-rank counting estimate and a conditioning corollary showing that, on bicycle-free graph sequences, any parity family of uniformly bounded codimension contains near-Ramanujan signings whenever the corresponding random-signing theorem applies. The latter is a transfer statement rather than a new concentration theorem. Finally, on $C_n(1,2)$ for even $n\ge10$, the quadrilateral-unbalanced family has exactly four switching classes and its twisted classes attain $ρ_-(n)=2\sqrt{\cos^2(π/n)+\cos^2(2π/n)}$; a period-$8$ signing has spectral radius $r_*=2.793604493334841\ldots$ for every positive multiple of $8$. Thus for $n=8m\ge32$ the constrained minimum is strictly larger than a value attained by an unrestricted signing, while equality of $r_*$ with the unrestricted minimum remains conjectural.
On Tournament Anti-Sidorenko Orientations of Trees
An oriented graph $\vec{H}$ is said to be tournament anti-Sidorenko if the homomorphism density of $\vec{H}$ in any tournament $\vec{T}$ is bounded above by the homomorphism density of $\vec{H}$ in a large uniformly random tournament. We prove the following:
(1) Every oriented path with at least three arcs and exactly one non-leaf source or sink vertex is tournament anti-Sidorenko.
(2) An oriented path is tournament anti-Sidorenko if the distance between any leaf vertex and any source or sink vertex is at least two and the distance between any pair of non-leaf source or sink vertices is a multiple of four.
(3) Every spider with exactly three legs admits a tournament anti-Sidorenko orientation.
The first result proves a conjecture posed by He, Mani, Nie, Tung and Wei. The third resolves a problem from the same paper, in fact establishing a substantially more general statement, and provides evidence in support of a conjecture of Fox, Himwich, Mani and Zhou. The second yields the first family of tournament anti-Sidorenko oriented paths which is exponentially large with respect to the number of arcs.
A SAT-based Filtering Framework for Exact Coverings of K33 by Cliques of Order 3, 4 or 5
We investigate the minimum number of cliques of orders $3$, $4$, and $5$ needed to cover the edges of $K_{33}$ with zero excess. General covering results yield the lower bound 57. The main result of the paper is that no decomposition of $K_{33}$ into $57$ blocks from $\{K_3,K_4,K_5\}$ exists.
Our approach is algorithmic and relies on a layered exact-search pipeline rather than a single monolithic solver. We combine symmetry reduction, enumeration of local signatures, arithmetic profile restrictions, geometric tests for partial configurations, SAT realisation on reduced instances, and final decoding checks. The benchmark comparison shows that this structured approach is substantially more effective than direct ILP, DLX, or SAT formulations on the full problem.
As a consequence, we obtain $C^ξ(33,\{3,4,5\},2)\ge 58$. A short additional counting argument further strengthens this to $C^ξ(33,\{3,4,5\},2)\ge 59$. We also give new compressed proofs for the known exceptional cases $K_{18}$ and $K_{19}$ in the setting of $\{K_3,K_4\}$-decompositions, illustrating the same combination of theoretical reduction and exact computation.
Finally, we explain the relevance of the $K_{33}$ result to the open packing problem of determining the packing number $D(33,5,2)$. A packing of $51$ copies of $K_5$ in $K_{33}$ would leave a $4$-regular graph on $9$ vertices, and our exclusion already rules out two natural candidate leave structures.
Odd Properly Colored Cycles in Edge-Colored Graphs
Published
• View Publication
• BIB
It is well-known that an undirected graph has no odd cycle if and only if it is bipartite. A less obvious, but similar result holds for directed graphs: a strongly connected digraph has no odd cycle if and only if it is bipartite. Can this result be further generalized to more general graphs such as edge-colored graphs? In this paper, we study this problem and show how to decide if there exists an odd properly colored cycle in a given edge-colored graph. As a by-product, we show how to detect if there is a perfect matching in a graph with even (or odd) number of edges in a given edge set.
Rooted Spider Embeddings and the Erd\H os-Sós Conjecture
Under a local density condition, we prove that every $k$-edge spider embeds at any prescribed center of degree at least $k$, unless all legs are even and the host graph has one of two specified structures. These structures contain complete bipartite subgraphs with prescribed neighborhoods. The proof uses path rerouting and three exchange lemmas that describe equality in neighborhood estimates. As a consequence, we recover the Erd\H os-Sós bound for all spiders.
Induced subgraphs and tree decompositions XVIII. Obstructions to bounded pathwidth
Published in Advances in Combinatorics 2026:8, 22pp
• View Publication
• BIB
The pathwidth of a graph $G$ is the smallest $w\in \mathbb{N}$ such that $G$ can be constructed from a sequence of graphs, each on at most $w+1$ vertices, by gluing them together in a linear fashion. We provide a full classification of the unavoidable induced subgraphs of graphs with large pathwidth.
Generalizations of Pólya's theorem on random walks obtained via an extension of the symbolic method in enumerative combinatorics. I
We use our extension of a fragment of the symbolic method in enumerative combinatorics when we allow finite sums defining the coefficients of generating functions to become infinite series to generalize Pólya's theorem on random walks. Pólya's theorem determines limits of the probabilities that walks in the grid graph on $\mathbb{Z}^d$, starting at the origin, visit the given vertex $\overline{v}$. We generalize the grid graph to the countable complete graph $K_{\mathbb{N}}$ on the vertices $1,2,\dots$, with edges weighted by complex numbers, and obtain 23 generalizations of Pólya's theorem.
Generating the symmetric group by three prefix reversals
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:1, Permutation Patterns 2025, Special issues (September 24, 2026) dmtcs:16975
• View Publication
• BIB
The cubic pancake graphs are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by three prefix reversals. There is the following open problem: characterize all the sets of three prefix reversals that generate $\mathrm{Sym}_n$. As the largest prefix reversal of length $n$ is always included in a triple, we give a complete solution of the problem when any of the two smallest or the two largest lengths but $n$ are included in a triple of prefix reversals. Moreover, some conditions implying a triple of prefix reversals does not generate $\mathrm{Sym}_n$ are considered. Computational results on the diameter and the girth of some cubic pancake graphs are presented, and conjectures for future research are formulated.
Improved lower bounds on the maximum size of graphs with girth 5
We present a new algorithm for improving lower bounds on $ex(n;\{C_3,C_4\})$, the maximum size (number of edges) of an $n$-vertex graph of girth at least 5. The core of our algorithm is a variant of a hill-climbing heuristic introduced by Exoo, McKay, Myrvold and Nadon (2011) to find small cages. Our algorithm considers a range of values of $n$ in multiple passes. In each pass, the hill-climbing heuristic for a specific value of $n$ is initialized with a few graphs obtained by modifying near-extremal graphs previously found for neighboring values of $n$, allowing to `propagate' good patterns that were found. Focusing on the range $n\in \{74,75, \dots, 198\}$, which is currently beyond the scope of exact methods, our approach yields improvements on existing lower bounds for $ex(n;\{C_3,C_4\})$ for all $n$ in the range, except for two values of $n$ ($n=96,97$).
A note on vertex-critical induced subgraphs of shift graphs
Shift graphs, introduced by Erdős and Hajnal in 1964, form one of the simplest known non-recursive constructions of triangle-free graphs with arbitrarily large chromatic number. In this note, we identify a surprising property: for each integer $k \geq 1$, the smallest $k$-chromatic shift graph contains a \emph{unique} induced $k$-vertex-critical subgraph. We give an explicit description of this subgraph and prove its uniqueness. This provides a new family of vertex-critical triangle-free graphs of arbitrarily large chromatic number.
Exact local spectral thresholds for perfect matchings in $3$-graphs and $3$-partite $3$-graphs
For a $3$-uniform hypergraph $H$, let $σ(H)$ be the minimum over the vertices of $H$ of the spectral radius of the link. Lin, Lu, Yuan and Zhao conjectured that $σ(H)>\tfrac{2n}3-2$ forces a perfect matching in a $3$-graph of order $n$ divisible by three, and Lu and Yuan conjectured that $σ(H)>τ(q)$ forces one in a $q$-balanced $3$-partite $3$-graph, where $τ(q)=\sqrt{q(q-1)/2}$ for odd $q$ and $τ(q)$ is given by a quartic for even $q$. In this paper, we prove both perfect matching conjectures for large order. Each proof passes through a stability theorem for fractional matchings: a fractional vertex cover of deficient weight with a zero coordinate is obtained, the link of that vertex carries the induced cover, and the spectral radius of such a link is bounded by an inequality whose extremal cases identify the corresponding space barriers.