graph
34516 papers tagged with this keyword
Quasi-isometries, contractions, and intersection graphs
We prove that a graph $G$ is quasi-planar - i.e. quasi-isometric to a planar graph - if and only if it can be obtained by iterating the following two operations a bounded number of times: a) subdividing each edge into a path of bounded length, and b) taking the intersection graph of a family of connected subgraphs covering $G$. This applies both to infinite graphs, and to families of finite graphs with uniform constants.
The backward implication relies on, and generalises, a deep result of Davies, partly proved independently by Chang, Conroy, Tan & Zheng, saying that every string graph is quasi-planar. The forward implication requires new ideas.
As a byproduct of our proofs, we deduce that every contraction minor of a quasi-planar graph is quasi-planar. Moreover, if $G$ admits a tree-decomposition with adhesions of bounded diameter and quasi-planar induced bags, then $G$ is itself quasi-planar.
Our results apply to other graph classes as well, and we offer various tools for understanding quasi-isometries as well as bi-Lipschitz equivalences between graphs.
A Necessary and Sufficient Hall Condition for Hypergraphs
We prove a necessary and sufficient Hall condition for a family $A=(A_e)_{e\in E(G)}$ of hypergraphs, possibly with loops, indexed by the edges of a forest $G$. We also show that acyclicity of the index graph is sharp for this Hall characterization. As an application, we prove that every $5$-tough chordal graph is Hamilton-connected, improving earlier sufficient toughness bounds for Hamiltonicity of $18$ in 1998 and $10$ in 2017.
Volumes of consecutively defined sets
Published in The Australasian Journal of Combinatorics 96(1) (2026), 38--48
• Search Publication
We study a variant of the graph polytopes of a path and of a cycle where we replace the inequality $x_{i} + x_{i+1} \leq 1$ with the two inequalities $(1-α) \cdot x_{i} + α\cdot x_{i+1} \leq α$ for $0 \leq x_{i} \leq α$ and $α\cdot x_{i} + (1-α) \cdot x_{i+1} \leq α$ for $α\leq x_{i} \leq 1$. Using a self-adjoint operator and its eigenvalues we obtain convergent series for their volumes. As a corollary we obtain that the volumes of the set associated to a path on $n$ vertices and the set associated to a cycle on $n+1$ vertices are related by a constant factor of $α$.
An extremal theorem for graphs with non-negative Bakry--Émery curvature
Recently, Chen, Liu, and You (An extremal theorem for positive curvature of graphs, arXiv:2607.02297) proved an extremal theorem for positive Lin--Lu--Yau curvature. They further proposed the similar problems for other discrete curvature. In this paper, we prove a sharp extremal theorem for non-negative Bakry--Émery curvature with non-normalized Laplacian: every graph of order \(n\geq 7\) with more than \[
\binom {n}{2}-\lfloor{\frac{n}{2}\rfloor}-2 \] edges satisfies $CD(0,\infty)$, and this threshold is optimal.
A Proof of the Imbalance Conjecture
For an edge $uv$ of a finite simple graph $G$, its imbalance is $|d_G(u)-d_G(v)|$, and the imbalance multiset $M_G$ consists of the imbalances of all edges of $G$. Kozerenko and Skochko conjectured that $M_G$ is graphic whenever every edge has positive imbalance. We prove this conjecture. The main ingredient is a lower bound for the truncated sum $\sum_{e\in E(G)}\min\{k,\operatorname{imb}_G(e)\}$ when at least $k$ edges have imbalance at least $k$. This bound yields all Erdos-Gallai inequalities for the nonincreasing list of edge imbalances; a parity computation then completes the proof.
Commuting Graph of Unitriangular Group UT(4; p)
Let G = UT(4; p) be the group of all 4 ? 4 unitriangular matrices over the fi?nite fi?eld Fp, where p is a prime. Using the six-parameter form of the elements of G, we describe the commutativity relation explicitly and use it to analyse the struc- ture of the graph. We prove that the reduced commuting graph is connected and has diameter 3. We also determine the size of its maximal cliques, chromatic number, independence number, per- fectness, etc. by decomposing the graph into cosets, layers, and direction parts.
The Sharp Upper Bounds for the Median Eigenvalues of Graphs
Let $λ_1\geqλ_2\geq\cdots\geqλ_n$ be the eigenvalues of a simple graph $G$ of order $n$. The HL-index of $G$ is defined by $R(G)=\max\|λ_h|,|λ_\ell|\}$ with $h=\lfloor(n+1)/2\rfloor$ and $\ell=\lceil(n+1)/2\rceil$.In this paper, we prove that if $G$ is $ K_4$-minor-free or $ K _ {2,3} $-minor-free, then $R(G)\leq\sqrt{5}-1$ with equality attained by an infinite family of outerplanar graphs.Moreover, we show that $R(G)\leq\sqrt{d-2}$ for triangle-free graphs with maximum degree at most $d$ and average degree at most $(d-2)(d^2-2d+2)/(d^2-3d+5)$.
A sharp extension of Halin's removable-edge theorem to matchings
A subgraph $H$ of a $k$-connected graph $G$ is called \emph{$k$-removable} if $G-E(H)$ remains $k$-connected. Halin proved that every $k$-connected graph $G$ with $δ(G)\ge k+1$ has a $k$-removable edge. We extend this result from a single edge to matchings of any prescribed size by showing that, for positive integers $k$ and $m$, every $k$-connected graph $G$ with $δ(G)\ge\max\{k+1,2m-2\}$ contains a $k$-removable matching of size $m$, unless $G\cong K_{2m-1}$, or $(k,m)=(1,2)$ and $G$ is a cycle. This confirms a conjecture of Li, Zhou, Fujita, and Mao. The minimum degree bound is sharp, and both exceptions are unavoidable. Consequently, $\max\{k+1,2m-1\}$ is the sharp minimum degree threshold guaranteeing such a matching without exceptions. The proof combines a prescribed-set strengthening of Halin's removable-edge theorem with an extremal analysis of maximum $k$-removable matchings.
Row pathwidth of complete binary trees
We show that if a complete binary tree of height $h$ is isomorphic to a subgraph of the strong product of a graph $H$ and a path, then $\mathrm{pw}(H)$ is $Ω(h)$. This solves a problem posed by Bose, Dujmović, Javarsineh, Morin, and Wood (2022). The proof was found by OpenAI's GPT-5.6 Sol Pro.
Choquet-type extension theory of set-pair functions, and applications to graph limits, hypergraphs, Riemannian manifolds and metric measure spaces
We propose Choquet extension for set-pair functions, $L^p$ integration of Choquet extensions, and global extension constants, and apply these to investigate optimization problems and bound many combinatorial and geometric quantities. Our research line is also applicable to the study of original Choquet extension; within this framework, parallel results for the original version are obtained. Specifically, we use Choquet-type extensions to build an equivalent functional representation of set-based fractional optimization, which finds applications in various settings, such as maxcut, bipartiteness ratio, and conductance on graph limits or Riemannian manifolds. We further establish the $L^p$ integration of a family of Choquet extensions, and apply it to derive spectral bounds for conductance and other combinatorial quantities on measure spaces. A monotonicity inequality on global extension constants is proposed, which unifies classical estimates and uncovers new bounds for a lot of geometric and combinatorial quantities, such as torsional rigidity, Cheeger constants, Dirichlet $p$-isoperimetric constant, and $p$-Laplacian eigenvalues, in totally distinct underlying structures----including hypergraphs, graph limits, Riemannian manifolds and metric measure spaces.
Degeneracy: From Graphs to Matroids
A graph is $k$-degenerate if every subgraph has a vertex of degree at most $k$. We extend this notion to matroids, defining a loopless matroid $M$ to be $k$-degenerate if every restriction of $M$ contains a cocircuit of size at most $k$; $M$ is minimally $k$-degenerate if it has cogirth $k$ and every proper restriction of $M$ has cogirth at most $k-1$. Our main result characterizes extremal minimally $k$-degenerate matroids. We also extend the known arboricity bound for matroids, showing that $k$-degenerate matroids have arboricity at most $k$ and providing sharper bounds.
Crossing tournaments are polynomially $\vecχ$-bounded
Given a tournament $T$, Aboulker, Aubian, Charbit, and Lopes (2023) defined its clique number $\vecω(T)$ as the minimum clique number of a backedge graph of $T$, and raised the question: Which classes of tournaments are polynomially $\vecχ$-bounded? Aboulker, Duron, Jacob, Kimbrough, Thomassé, and this work's authors (2026) showed that this holds for classes of tournaments whose arc sets may be written as the union of a bounded number of comparability digraphs.
What about classes of tournaments that do not admit such a decomposition? The crossing tournaments of Nguyen, Scott, and Seymour (2025) are an example of such a class, as shown in the aforementioned 2026 work; we show that nonetheless crossing tournaments are polynomially $\vecχ$-bounded by adapting a method of Davies and McCarty (2021) and Davies (2022).
We additionally show that we cannot extend this result for crossing tournaments to tournaments with chordal graphs as backedge graphs.
Degree sum conditions for a graph to have bounded conflict-free connection number
A path in an edge-coloured graph is called \emph{conflict-free} if a colour is exclusively applied to one of its edges. A graph $G$ is considered \emph{conflict-free connected} if every pair of vertices in $V(G)$ is connected by a conflict-free path. The minimum number of colours required to render a connected graph $G$ conflict-free connected is referred to as the \emph{conflict-free connection number}. In this paper, we introduce several sharp conditions on the minimum degree sum of any $4$ independent vertices in $G$ to ensure that the conflict-free connection number of $G$ is bounded.
On the self-intersection time of non-backtracking random walks
We study the self-intersection time of the non-backtracking random walk on connected undirected graphs. For every fixed $Δ\geq 3$ we show that the expected self-intersection time is $O(\sqrt{n} \log n)$ on $n$-vertex graphs with minimum degree at least $3$ and maximum degree at most $Δ$. For regular graphs with a uniform spectral gap, we improve this to $O(\sqrt{n})$. We also show an $Ω(\sqrt{n})$ lower bound on a class of regular expanders. Our upper bound on the expected self-intersection time implies an improved mixing time bound on Glauber dynamics for the Ising model on $Δ$-regular graphs at the tree uniqueness threshold.
On B-Colorings in Planar Graphs
Gyárfás and Sárközy [Studia Sci. Math. Hungar., 2023] defined a B-coloring of a graph to be a proper coloring of the edge set in which any $C_4$ is totally multicolored. Let $q_B(G)$ denote the minimum number of colors sufficient for a B-coloring of a graph $G$. In this paper, we prove that any planar graph $G$ with $Δ=Δ(G)$ and $Δ_2=Δ_2(G)$ has $q_B(G)\leqΔ+\max\{Δ_2,38\}$, refining a bound by Kong, Wang, and Zheng [J. Graph Theory, 2026].
On a conjecture of Kolokolnikov on algebraic connectivity
For a graph $G$, let $α(G)$ be the second smallest eigenvalue of the Laplacian matrix of $G$, also known as the algebraic connectivity. Algebraic connectivity plays an important role in characterizing the connectivity of graphs and convergence properties of networks. Kolokolnikov conjectured that among all graphs on $n$ vertices with exactly $2n-4$ edges, $α(G)\leq 2$ and one of the maximizers is the complete bipartite graph whose two parts have sizes two and $n-2$, respectively. In this paper, we completely resolve this conjecture.
The Cycle Rank Threshold: Perfect Matchings and Property (P) in Bipartite Graphs
We determine the maximum cycle rank for which property~(P) is equivalent to the existence of a perfect matching in bipartite graphs. It is known that this equivalence holds for bipartite graphs of cycle rank at most \(3\)~\cite{puja}. In this paper, we extend the equivalence to bipartite graphs of cycle rank \(4\) and show that this bound is sharp.
Maximizing the algebraic connectivity of graphs of given order and size: a proof of a conjecture of Kolokolnikov
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.
Superlinear Lower Bounds for Monochromatic Path Partitions
In 1989, Gyárfás conjectured that the vertex set of every $r$-edge-coloured complete graph can be partitioned into at most $r$ vertex-disjoint monochromatic paths. Erdős, Gyárfás, and Pyber subsequently proposed the analogous conjecture for monochromatic cycles. Pokrovskiy proved Gyárfás's conjecture for $r=3$, while disproving the conjecture of Erdős, Gyárfás, and Pyber for every $r\ge3$ by constructing colourings that require at least $r+1$ monochromatic cycles. In this paper, we disprove Gyárfás's conjecture in a quantitatively strong superlinear form: for every sufficiently large $r$, there exists an $r$-edge-coloured complete graph that requires at least $(1-o(1))r\log\log r$ vertex-disjoint monochromatic paths. Consequently, the monochromatic cycle-partition number is also superlinear in $r$. Our construction also extends to the balanced bipartite setting, disproving a conjecture of Pokrovskiy.
Seven Exact Finite Zarankiewicz Numbers from a Single 13 x 18 Core
We present a unified proof and certificate package establishing seven exact finite Zarankiewicz values for the forbidden graph $K_{3,3}$: $z(12,18;3)=108$, $z(13,17;3)=110$, $z(13,18;3)=116$, $z(14,17;3)=118$, $z(14,18;3)=124$, $z(15,17;3)=126$, and $z(15,18;3)=132$.
The witnesses form a connected family generated by an explicit $13 \times 18$ matrix with 116 ones. Deleting one row or one column and adding either of exactly two admissible weight-eight rows for this fixed labeled core produces the remaining witnesses. The exceptional upper-bound closure, $z(12,18;3)\leq108$, combines the published uniqueness of the extremal $12 \times 17$ graph with 103 edges and an exhaustive rejection of all $\binom{12}{6}=924$ possible degree-six column extensions. The supplement contains all witnesses, a portable verifier, a machine-readable report, and integrity hashes. Prior numerical ingredients and the role of the present work are separated cell by cell.