graph
35150 papers tagged with this keyword
A Tight Lower bound on Trees in Graphs
Mubayi and Verstraete conjectured that if $T$ is a tree on $t + 1$ vertices, then any $n$-vertex graph $G$ with average degree $d$ contains at least \[ n d(d - 1) \cdots (d - t + 1) \] labeled copies of $T$ as long as $d$ is sufficiently large compared to $t$. We prove this is true and show that when the diameter of $T$ is at least $3$, equality holds iff $G$ is the disjoint union of cliques of size $d + 1$. When the diameter is $2$, equality holds iff $G$ is $d$-regular.
Sub-$n^k$ Deterministic algorithm for minimum $k$-way cut in simple graphs
We present a \emph{deterministic exact algorithm} for the \emph{minimum $k$-cut problem} on simple graphs.
Our approach combines the \emph{principal sequence of partitions (PSP)}, derived canonically from ideal loads, with a single level of \emph{Kawarabayashi--Thorup (KT)} contractions at the critical PSP threshold~$λ_j$.
Let $j$ be the smallest index with $κ(P_j)\ge k$ and $R := k - κ(P_{j-1})$.
We prove a structural decomposition theorem showing that an optimal $k$-cut can be expressed as the level-$(j\!-\!1)$ boundary $A_{\le j-1}$ together with exactly $(R-r)$ \emph{non-trivial} internal cuts of value at most~$λ_j$ and $r$ \emph{singleton isolations} (``islands'') inside the parts of~$P_{j-1}$.
At this level, KT contractions yield kernels of total size $\widetilde{O}(n / λ_j)$, and from them we build a \emph{canonical border family}~$\mathcal{B}$ of the same order that deterministically covers all optimal refinement choices.
Branching only over~$\mathcal{B}$ (and also including an explicit ``island'' branch) gives total running time
$$
T(n,m,k) = \widetilde{O}\left(\mathrm{poly}(m)+\Bigl(\tfrac{n}{λ_j}+n^{ω/3}\Bigr)^{R}\right),
$$
where $ω< 2.373$ is the matrix multiplication exponent.
In particular, if $λ_j \ge n^{\varepsilon}$ for some constant $\varepsilon > 0$, we obtain a \emph{deterministic sub-$n^k$-time algorithm}, running in $n^{(1-\varepsilon)(k-1)+o(k)}$ time.
Finally, combining our PSP$\times$KT framework with a small-$λ$ exact subroutine via a simple meta-reduction yields a deterministic $n^{c k+O(1)}$ algorithm for $c = \max\{ t/(t+1), ω/3 \} < 1$, aligning with the exponent in the randomized bound of He--Li (STOC~2022) under the assumed subroutine.
The spectral radius of $1$-planar graphs without complete subgraphs
A 1-planar graph refers to a graph that can be drawn on the plane such that each edge has at most one crossing. In this paper, focusing on the spectral Turán-type problems of $1$-planar graphs, we determine completely the unique spectral extremal graph among all $K_3$-free or $K_4$-free $1$-planar graphs, and provide a characterization of the spectral extremal graphs for $K_5$-free $1$-planar graphs, confining the candidates to a specific, small family.
Realizations and Uniqueness of Cut Complexes of Graphs
Published
• View Publication
• BIB
In this paper, we investigate three fundamental problems regarding cut complexes of graphs: their realizability, the uniqueness of graph reconstruction from them, and their algorithmic recognition. We define the parameter $m(d,n)$ as the minimum number of additional vertices needed to realize any $d$-dimensional simplicial complex on $n$ vertices as a cut complex, and prove foundational bounds. Furthermore, we characterize precisely when a graph on $n \geq 5$ vertices is uniquely reconstructible from its $3$-cut complex. Based on this characterization, we develop an $O(n^4)$ recognition algorithm. These results deepen the connection between graph structure and the topology of cut complexes.
Tales of Hoffman: from a distance
Hoffman proved that a graph $G$ with adjacency eigenvalues $λ_1\geq \cdots \geq λ_n$ and chromatic number $χ(G)$ satisfies $χ(G)\geq 1+κ,$ where $κ$ is the smallest integer such that $$λ_1+\sum_{i=1}^κλ_{n+1-i}\leq 0.$$ We extend this eigenvalue bound to the distance-$k$ setting, and also show a strengthening of it by proving that it also lower bounds the corresponding quantum distance coloring graph parameter. The new bound depends on a degree-$k$ polynomial which can be chosen freely, so one needs to make a good choice of the polynomial to obtain as strong a bound as possible. We thus propose linear programming methods to optimize it. We also investigate the implications of the new bound for the quantum distance chromatic number, showing that it is sharp for some classes of graphs. Finally, we extend the Hoffman bound to the distance setting of the vector chromatic number. Our results extend and unify several previous bounds in the literature.
A tropical version of Martens' theorem for metric graphs
We study the conjecture stated by Jensen and Len on a tropical version on Martens' theorem via the Brill--Noether rank of a tropical curve. We recall Coppens' counterexample of Martens-special chain of cycles, and we generalize the construction defining another class of graphs, Martens-special trees of cycles, for which the conjecture does not hold in a similar setting. These are not the only counterexamples. However, we prove that the conjecture holds for all metric graphs with a stricter assumption on the degree in the Brill--Noether rank.
Kernelization dichotomies for hitting minors under structural parameterizations
For a finite collection of connected graphs $\mathcal{F}$, the $\mathcal{F}$-MINOR-DELETION problem consists in, given a graph $G$ and an integer $\ell$, deciding whether $G$ contains a vertex set of size at most $\ell$ whose removal results in an $\mathcal{F}$-minor-free graph. We lift the existence of (approximate) polynomial kernels for $\mathcal{F}$-MINOR-DELETION by the solution size to (approximate) polynomial kernels parameterized by the vertex-deletion distance to graphs of bounded elimination distance to $\mathcal{F}$-minor-free graphs. This results in exact polynomial kernels for every family $\mathcal{F}$ that contains a planar graph, and an approximate polynomial kernel for PLANAR VERTEX DELETION. Moreover, combining our result with a previous lower bound, we obtain the following infinite set of dichotomies, assuming $NP \not\subseteq coNP/poly$: for any finite set $\mathcal{F}$ of biconnected graphs on at least three vertices containing a planar graph, and any minor-closed class of graphs $\mathcal{C}$, $\mathcal{F}$-MINOR-DELETION admits a polynomial kernel parameterized by the vertex-deletion distance to $\mathcal{C}$ if and only if $\mathcal{C}$ has bounded elimination distance to $\mathcal{F}$-minor-free graphs. For instance, this yields dichotomies for CACTUS VERTEX DELETION, OUTERPLANAR VERTEX DELETION, and TREEWIDTH-$t$ VERTEX DELETION for every integer $t \geq 0$. Prior to our work, such dichotomies were only known for the particular cases of VERTEX COVER and FEEDBACK VERTEX SET. Our approach builds on the techniques developed by Jansen and Pieterse [Theor. Comput. Sci. 2020] and also uses adaptations of some of the results by Jansen, de Kroon, and Wlodarczyk [STOC 2021].
Space Efficient Algorithms for Parameterised Problems
Published
• View Publication
• BIB
We study "space efficient" FPT algorithms for graph problems with limited memory. Let n be the size of the input graph and k be the parameter. We present algorithms that run in time f(k)*poly(n) and use g(k)*polylog(n) working space, where f and g are functions of k alone, for k-Path, MaxLeaf SubTree and Multicut in Trees. These algorithms are motivated by big-data settings where very large problem instances must be solved, and using poly(n) memory is prohibitively expensive. They are also theoretically interesting, since most of the standard methods tools, such as deleting a large set of vertices or edges, are unavailable, and we must a develop different way to tackle them.
Tropical KP Theory on Banana Curves
The Kadomtsev-Petviashvili (KP) equation is the cornerstone of integrable systems, whose solutions reflect deep connections in algebraic geometry. Banana curves are reducible rational curves obtained as a degeneration of hyperelliptic curves. In this work, we relate the family of KP multi-solitons arising from banana curves together with non-special divisors of fixed degree to the combinatorics of the tropical theta divisor of the curve. We describe the Voronoi and Delaunay polytopes and show that the latter are combinatorially equivalent to uniform matroid polytopes. As a consequence, the combinatorics of the tropical theta divisor canonically encodes the matroid and Grassmannian structures underlying the associated KP multi-soliton solutions. We define the Hirota variety of a banana graph, which parametrizes all tau functions arising from such a graph. Starting from the matroid arising from Delaunay polytopes and the periods in the tropical limit, we construct an explicit parametrization of this variety which realizes the tau function as a multi-soliton. Our framework specializes naturally to real and positive settings.
On Minimum Cost Rainbow Structures
We discuss the expected minimum cost of rainbow spanning trees and Hamilton cycles in randomly edge colored random graphs.
Displaying prescribed sets of ends by linked tree-decompositions
We show that if a subset $Ψ$ of the ends of a graph $G$ can be displayed by a tree-decomposition of finite adhesion, then it can also be displayed by a linked such tree-decomposition. This tree-decomposition captures all combinatorial information of the ends in $Ψ$: their degrees, their sets of dominating vertices, and their combined degrees.
Peripheral hyper-Wiener index of a graph
In this note, we introduce a new topological index of a graph G that we term peripheral hyper-Wiener index, denoted PWW(G). It is a natural extension of the peripheral Wiener index PW(G) initiated in [NB17] and is to the peripheral Wiener index what the hyper-Wiener index is to the Wiener index. We investigate its basic properties. We compute the peripheral hyper-Wiener index of the cartesian product and trees. In particular, we get an explicit formula for the case of the hypercubes. We also give lower and upper bounds on PW(G) and PWW(G) in terms of the order, size, diameter and the number of peripheral vertices. This paper is an echo to [NB17], most of the results we get are analogues of the ones therein.
On the transmission irregular trees with the maximum Wiener index
Published in J. Comb. Optim. 51 (2026), Art. No. 12
• View Publication
• BIB
The transmission of a vertex $v$ in a (chemical) graph $G$ is the sum of distances from $v$ to other vertices in $G$. If any two vertices of $G$ have different transmissions, then $G$ is transmission irregular. The Wiener index $W(G)$ of a graph $G$ is the sum of all distances between all unordered pairs of vertices in $G$, which has another formula as the half of the sum of transmissions of all vertices of $G$. In this paper, we consider the Wiener index maximization problem on the set of transmission irregular trees of a given order $n \in \mathbb{N}$. We solve the problem for all odd values of $n$ and for almost all even values of $n$. Each resolved extremal problem has a unique solution that is a chemical tree.
Laplacian Spectrum of cozero-divisor graphs of commutative polynomial rings
The cozero-divisor graph of a commutative ring $R$, denoted $Γ'(R)$, is the graph whose vertices are the non-zero and non-unit elements of $R$, with two distinct vertices $x$ and $y$ adjacent if and only if $x \notin Ry$ and $y \notin Rx$. This paper studies the structural properties of $Γ'(R)$ for the polynomial ring $R = \Z_n[x]/(x^2)$, where $n$ has the prime power decomposition of $p_1^{a_1}p_2^{a_2}\cdots p_q^{a_q}$. We provide a complete structure of the cozero-divisor graph for all $n$ up to cubic prime power decompositions. Furthermore, we determine the Laplacian spectrum of these graphs. Finally, we discuss the connectivity of such a cozero-divisor graph of the polynomial rings for any $n$. Our work provides the first comprehensive spectral analysis of cozero-divisor graphs for non-local polynomial rings and establishes powerful new techniques for bridging commutative algebra with spectral graph theory.
Large Components and Trees of Random Mappings
Let $\mathcal{T}_n$ be the set of all mappings $T:[n]\to[n]$, where $[n]=\{1,2,\ldots,n\}$. The corresponding graph $G_T$ of $T$, called a functional digraph, is a union of disjoint connected components. Each component is a directed cycle of rooted labeled trees. We assume that each $T\in\mathcal{T}_n$ is chosen uniformly at random from the set $\mathcal{T}_n$. The components and trees of $G_T$ are distinguished by their size. In this paper, we compute the limiting conditional probability ($n\to\infty$) that a vertex from the largest component of the random graph $G_T$, chosen uniformly at random from $[n]$, belongs to its $s$-th largest tree, where $s\ge 1$ is a fixed integer. This limit can be also viewed as an approximation of the probability that the $s$-th largest tree of $G_T$ is a subgraph of its largest component, which is a solution of a problem suggested by Mutafchiev and Finch (2024).
Upper Bound for Permanent Saturation of Metric Graphs using Interval Exchange Transformations
We refine upper bounds on the permanent saturation time of metric graphs using interval exchange transformations (IETs). Earlier results gave bounds under incommensurable edge lengths, we improve and generalize them by using the ergodic and minimal properties of IETs. By associating an IET to a metric graph, we show that the induced interval dynamics are ergodic and minimal, which ensures uniform coverage over time. Our main theorem gives a sharper upper bound for the saturation time in terms of edge lengths and structural constants of the graph. We also define the Lyapunov spectrum of the Kontsevich-Zorich cocycle for these maps and relate it to the system's dynamics. We validate our theoretical findings through simulations on specific graph configurations, such as the complete graph $K_4$ and star graphs, confirming the accuracy of our estimates. These results strengthen existing estimates and provide tools for studying connectivity at the interface of graph theory and dynamical systems.
Hamiltonicity of Bell and Stirling Colour Graphs
Published
• View Publication
• BIB
For a graph $G$ and a positive integer $k$, the $k$-Bell colour graph of $G$ is the graph whose vertices are the partitions of $V$ into at most $k$ independent sets, with two of these being adjacent if there exists a vertex $x$ such that the partitions are identical when restricted to $V - \{x\}$. The $k$-Stirling Colour graph of $G$ is defined similarly, but for partitions into exactly $k$ independent sets.
We show that every graph on $n$ vertices, except $K_n$ and $K_n - e$, has a Hamiltonian $n$-Bell colour graph, and this result is best possible. It is also shown that, for $k \geq 4$, the $k$-Stirling colour graph of a tree with at least $k+1$ vertices is Hamiltonian, and the 3-Bell colour graph of a tree with at least 3 vertices is Hamiltonian.
Fast computation of the first discrete homology group
We present a new algorithm for computing the first discrete homology group of a graph. By testing the algorithm on different data sets of random graphs, we find that it significantly outperforms other known algorithms.
Time to Cycle
Consider the random process that starts with $n$ vertices and no edges, where the edges of $K_n$ are added one at a time in a uniformly chosen random order $e_1, e_2,\ldots, e_{\binom{n}{2}}$. Let $T$ be the earliest time at which $e_1$ belongs to a cycle in this evolving random graph. By solving the appropriate graph enumeration problem we show that $\mathbb{E}[T]=n$. This fact turns out to be an instance of a much more general phenomenon and we are able to extend this theorem to all graphs and even to every matroid.
On the minimal forts of trees
In 2008, the zero forcing number of a graph was shown to be an upper bound on the graph's maximum nullity. In 2018, the concept of forts was introduced to provide a set covering characterization of zero forcing sets. Since then, forts have been integrated into integer programming models for zero forcing and have been used to yield bounds on the zero forcing number. In 2025, researchers explored the combinatorial question of how many minimal forts a graph can have. They demonstrated that the number of minimal forts in a graph with an order of at least six is strictly less than Sperner's bound. Moreover, the authors derived an explicit formula for the number of minimal forts in path, cycle, and spider graphs. For example, the number of minimal forts in a path graph aligns with the Padovan sequence, and thus exhibits exponential growth. In this article, we demonstrate that no tree with an order of $n$ can have fewer than $n/3$ minimal forts. Additionally, we provide a characterization of the trees that possess exactly $n/3$ minimal forts. We conjecture that the $n/3$ bound is valid for all graphs of order $n$. We present experimental evidence supporting this conjecture and prove that it holds for all Eulerian graphs.