graph
35252 papers tagged with this keyword
Path Eccentricity and Forbidden Induced Subgraphs
The path eccentricity of a connected graph $G$ is the minimum integer $k$ such that $G$ has a path such that every vertex is at distance at most $k$ from the path. A result of Duffus, Jacobson, and Gould from 1981 states that every connected $\{\text{claw}, \text{net}\}$-free graph $G$ has a Hamiltonian path, that is, $G$ has path eccentricity $0$. Several more recent works identified various classes of connected graphs with path eccentricity at most $1$, or, equivalently, graphs having a spanning caterpillar, including connected $P_5$-free graphs, AT-free graphs, and biconvex graphs. Generalizing all these results, we apply the work on structural distance domination of Bacsó and Tuza [Discrete Math., 2012] and characterize, for every positive integer $k$, graphs such that every connected induced subgraph has path eccentricity less than $k$. More specifically, we show that every connected $\{S_{k}, T_{k}\}$-free graph has a path eccentricity less than $k$, where $S_k$ and $T_k$ are two specific graphs of path eccentricity $k$ (a subdivided claw and the line graph of such a graph). As a consequence, every connected $H$-free graph has path eccentricity less than $k$ if and only if $H$ is an induced subgraph of $3P_{k}$ or $P_{2k+1} + P_{k-1}$. For such cases, we also provide a robust polynomial-time algorithm that finds a path witnessing the upper bound on the path eccentricity. Our main result also answers an open question of Bastide, Hilaire, and Robinson [Discrete Math., 2025].
Color-Constrained Arborescences in Edge-Colored Digraphs
Published
• View Publication
• BIB
Given a multigraph $G$ whose edges are colored from the set $[q]:=\{1,2,\ldots,q\}$ (\emph{$q$-colored graph}), and a vector $α=(α_1,\ldots,α_{q}) \in \mathbb{N}^{q}$ (\emph{color-constraint}), a subgraph $H$ of $G$ is called \emph{$α$-colored}, if $H$ has exactly $α_i$ edges of color $i$ for each $i \in[q]$. In this paper, we focus on $α$-colored arborescences (spanning out-trees) in $q$-colored multidigraphs. We study the decision, counting and search versions of this problem. It is known that the decision and search problems are polynomial-time solvable when $q=2$ and that the decision problem is NP-complete when $q$ is arbitrary. However the complexity status of the problem for fixed $q$ was open for $q > 2$. We show that, for a $q$-colored digraph $G$ and a vertex $s$ in $G$, the number of $α$-colored arborescences in $G$ rooted at $s$ for all color-constraints $α\in \mathbb{N}^q$ can be read from the determinant of a symbolic matrix in $q-1$ indeterminates. This result extends Tutte's matrix-tree theorem for directed graphs and gives a polynomial-time algorithm for the counting and decision problems for fixed $q$. We also use it to design an algorithm that finds an $α$-colored arborescence when one exists. Finally, we study the weighted variant of the problem and give a polynomial-time algorithm (when $q$ is fixed) which finds a minimum weight solution.
Orbits of consistent walk in dart-transitive maps
In a simple graph, a shunt is a symmetry which sends an edge to an incident edge (without fixing their shared vertex). The orbit of this edge under the shunt forms a consistent cycle. The important theorem of Biggs and Conway says that in a dart-transitive graph of valence q, there are exactly q-1 orbits of consistent cycles. These ideas have become a useful tool in the area of graphs symmetries, and generalize easily to consistent walks in graphs which are not simple. These walks are not necessarily cycles, or even circuits. This paper considers these walks and their orbits in the venue of dart-transitive maps and classifies them geometrically.
The $α$-representation for the Tait coloring and for the characteristic polynomial of matroid
Published
• View Publication
• BIB
Consider a finite field $\mathbb F_q$, $q=p^d$, where $p$ is an odd number. Let $M=(E,r)$ be a regular matroid; denote by ${\mathcal B}$ the family of its bases, $\bar s(M;α)=\sum_{B\in {\mathcal B}}\prod_{e\not\in B} α_e$, where ${α_e\in \mathbb F_q}$, $α_e\neq 0$. Let a subset $A\equiv A(α)$ in $E$ have the maximal cardinality and satisfy the condition $\bar s(M|A;α)\neq 0$, while ${r^*}(α)=|A|-r(E)$. Let us represent the value of the characteristic polynomial of the matroid $M$ at the point $q$ as the linear combination of Legendre symbols with respect to $\bar s(M|A;α)$, whose coefficients are modulo equal to $1/q^{r^*(α)/2}$. This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier. The latter formula is an analog of the so-called $α$-representation of vacuum Feynman amplitudes in the case of a finite field, which has inspired the Kontsevich conjecture (1997). The $α$-representation technique is also applicable for expressing the number of Tait colorings for a cubic biconnected planar graph in terms of principal minors of the matrix of faces of this graph.
The law of the circumference of sparse binomial random graphs
There has been much interest in the distribution of the circumference, the length of the longest cycle, of a random graph $G(n,p)$ in the sparse regime, when $p = Θ\left(\frac{1}{n}\right)$. Recently, the first author and Frieze established a scaling limit for the circumference in this regime, along the way establishing an alternative 'structural' approximation for this parameter. In this paper, we give a central limit theorem for the circumference in this regime using a novel argument based on the Efron-Stein inequality, which relies on a combinatorial analysis of the effect of resampling edges on this approximation.
A new bound in Majority Dynamics on Random Graphs
We study the evolution of majority dynamics on Erdős-Rényi $G(n,p)$ random graphs. In this process, each vertex of a graph is assigned one of two initial states. Subsequently, on every day, each vertex simultaneously updates its state to the most common state in its neighbourhood.
If the difference in the numbers of vertices in each state on day $0$ is larger than $ \max \left\{\frac{1}{\sqrt{p}} \exp\left[A\sqrt{\log \left(\frac{1}{p}\right)}\right] , Bp^{-3/2} n^{-1/2} \right\}$ for constants $A$ and $B$, we demonstrate that the state with the initial majority wins with overwhelmingly high probability. This extends work by Linh Tran and Van Vu (2023), who previously considered this phenomenon.
We also study majority dynamics with a random initial assignment of vertex states. When each vertex is assigned to a state with equal probability, we show that unanimity occurs with high probability for every $p \geq λn^{-2/3}$, for some constant $λ$. This improves work by Fountoulakis, Kang and Makai (2020).
Furthermore, we also consider a random initial assignment of vertex states where a vertex is slightly more likely to be in the first state than the second state. Previous work by Zehmakan (2018) and Tran and Vu (2023) provided conditions on how big this bias needs to be for the first colour to achieve unanimity with high probability. We strengthen these results by providing a weaker sufficient condition.
An improved hypergraph Mantel's Theorem
In a recent paper, Chao and Yu used an entropy method to show that the Turán density of a certain family $\mathcal{F}$ of $\lfloor r/2\rfloor$ triangle-like $r$-uniform hypergraphs is $r!/r^r$. Later, Liu determined for large $n$ the exact Turán number $\text{ex}(n,\mathcal{F})$ of this family, and showed that the unique extremal graph is the balanced complete $r$-partite $r$-uniform hypergraph. These two results together can be viewed as a hypergraph version of Mantel's Theorem. In this paper, building on their methods, we improve both of these results by showing that they still hold with a subfamily $\mathcal{F}'\subset\mathcal{F}$ of size $\lceil r/e\rceil$ in place of $\mathcal{F}$.
On finite nilpotent groups with the same enhanced power graph
The enhanced power graph of a group $G$ is the graph $P_e(G)$ whose vertex set is $G$, such that two distinct vertices $x$ and $y$, are adjacent if $\langle x, y\rangle$ is cyclic. In this paper, we analyze the structure of the enhanced power graph of a finite nilpotent group in terms of the enhanced power graphs of its Sylow subgroups. We establish that for two nilpotent groups, their enhanced power graphs are isomorphic if and only if the enhanced power graphs of their Sylow subgroups are isomorphic. Additionally, we identify specific nilpotent groups for which the enhanced power graphs uniquely characterize the group structure, meaning that if $P_e(G)\cong P_e(H)$ then $G \cong H$. Finally, we extend these results to power graphs and cyclic graphs.
A strengthening of a degree sequence condition for Hamiltonicity in tough graphs
Published
• View Publication
• BIB
Generalizing Chvátal's classic 1972 result, Hoàng proposed in 1995 the following conjecture, which strengthens Chvátal's result in terms of toughness: Let $t\ge 1$ be a positive integer and $G$ be a $t$-tough graph on $n \ge 3$ vertices with degree sequence $d_1, d_2, \dots, d_n$ in non-increasing order. Suppose for each $i\in [1, \lfloor\frac{n-1}{2} \rfloor]$, if $d_i \le i \text{ and } d_{n-i+t} < n - i $ implies $d_j + d_{n-j+t} \ge n$ for all $j\in [i+1, \lfloor\frac{n-1}{2} \rfloor]$, then $G$ is Hamiltonian. Hoàng verified the conjecture for $t=1$. In this paper, we verfity the conjecture for all $t\ge 4$. Our proof relies on a toughness closure lemma for $t\ge 4$ that we previously established. Additionally, we show that the toughness closure lemma does not hold when $t=1$.
Sharp character bounds and cutoff for symmetric groups
We develop a flexible technique to bound the characters of symmetric groups, via the Naruse hook length formula, the Larsen--Shalev character bounds, and appropriate diagram slicings. It allows us to prove a uniform exponential character bound with optimal constant $1/2$. We furthermore prove sharp character bounds for conjugacy classes having a macroscopic number of fixed points, and deduce that the random walks on the associated Cayley graphs exhibit a total variation and $L^2$ cutoff.
Lower bounding the MaxCut of high girth 3-regular graphs using the QAOA
We study MaxCut on 3-regular graphs of minimum girth $g$ for various $g$'s. We obtain new lower bounds on the maximum cut achievable in such graphs by analyzing the Quantum Approximate Optimization Algorithm (QAOA). For $g \geq 16$, at depth $p \geq 7$, the QAOA improves on previously known lower bounds. Our bounds are established through classical numerical analysis of the QAOA's expected performance. This analysis does not produce the actual cuts but establishes their existence. When implemented on a quantum computer, the QAOA provides an efficient algorithm for finding such cuts, using a constant-depth quantum circuit. To our knowledge, this gives an exponential speedup over the best known classical algorithm guaranteed to achieve cuts of this size on graphs of this girth. We also apply the QAOA to the Maximum Independent Set problem on the same class of graphs.
Every $2k$-connected $(P_2\cup kP_1)$-free graph with toughness greater than one is hamiltonian-connected
Given a graph $H$, a graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. Shi and Shan conjectured that every $1$-tough $2k$-connected $(P_2 \cup kP_1)$-free graph is hamiltonian for $k \geq 4$. This conjecture has been independently confirmed by Xu, Li, and Zhou, as well as by Ota and Sanka. Inspired by this, we prove that every $2k$-connected $(P_2\cup kP_1)$-free graph with toughness greater than one is hamiltonian-connected.
Topological Indices With Degree Sequence $\mathscr{D}$ of Tree
Published
• View Publication
• BIB
In this paper, we refer to a asymptotic degree sequence as $\mathscr{D}=(d_1,d_2,\dots,d_n)$. The examination of topological indices on trees gives us a general overview through bounds to find the maximum and minimum bounds which reflect the maximum and minimum number of edges incident to every vertex in the graph, Albertson index known as $\sum_{uv\in E(G)}\lvert d_u(G)-d_v(G) \rvert$, Sigma index $σ(G)$ among $\mathscr{D}$ of tree $T$ when $d_n\geqslant \dots \geqslant d_1$. According to the first zegrb we show for a degree sequence of order $n=4$, $\operatorname{irr}(T)=M_1(T)^2-2\sqrt{M_1(T)}+\sum_{i=1}^4\left|x_i-x_{i+1}\right|-(b+c)-1$.
Connected Partitions via Connected Dominating Sets
The classical theorem due to Győri and Lovász states that any $k$-connected graph $G$ admits a partition into $k$ connected subgraphs, where each subgraph has a prescribed size and contains a prescribed vertex, as long as the total size of target subgraphs is equal to the size of $G$. However, this result is notoriously evasive in terms of efficient constructions, and it is still unknown whether such a partition can be computed in polynomial time, even for $k = 5$.
We make progress towards an efficient constructive version of the Győri--Lovász theorem by considering a natural strengthening of the $k$-connectivity requirement. Specifically, we show that the desired connected partition can be found in polynomial time, if $G$ contains $k$ disjoint connected dominating sets. As a consequence of this result, we give several efficient approximate and exact constructive versions of the original Győri--Lovász theorem:
1. On general graphs, a Győri--Lovász partition with $k$ parts can be computed in polynomial time when the input graph has connectivity $Ω(k \cdot \log^2 n)$;
2. On convex bipartite graphs, connectivity of $4k$ is sufficient;
3. On biconvex graphs and interval graphs, connectivity of $k$ is sufficient, meaning that our algorithm gives a ``true'' constructive version of the theorem on these graph classes.
An infinite family of simple graphs underlying chiral, orientable reflexible and non-orientable rotary maps
Published
• View Publication
• BIB
In this paper, we provide the first known infinite family of simple graphs, each of which is the skeleton of a chiral map, a skeleton of a reflexible map on an orientable surfaces, as well as a skeleton of a reflexible map on a non-orientable surface. This family consists of all lexicographic product $C_n[mK_1]$, where $m\ge 3$, $n = sm$, with $s$ an integer not divisible by $4$. This answers a question posed in [S.\ Wilson, Families of regular graphs in regular maps, {\em Journal of Combinatorial Theory, Series B} 85 (2002), 269--289].
The Scarf complex of squarefree powers, symbolic powers of edge ideals, and cover ideals of graphs
Published in Communications in Algebra, 54(3), 982--1001 (2026)
• View Publication
• BIB
Every monomial ideal $I$ has a Scarf complex, which is a subcomplex of its minimal free resolution. We say that $I$ is Scarf if its Scarf complex is also its minimal free resolution. In this paper, we fully characterize all pairs $(G,n)$ of a graph $G$ and an integer $n$ such that the squarefree power $I(G)^{[n]}$ or the symbolic power $I(G)^{(n)}$ of the edge ideal $I(G)$ is Scarf. We also determine all graphs $G$ such that its cover ideal $J(G)$ is Scarf, with an explicit description when $G$ is either chordal or bipartite.
A Spectral Approach to Kemeny's Constant
Kemeny's constant quantifies the expected time for a random walk to reach a randomly chosen vertex, providing insight into the global behavior of a Markov chain. We present a novel eigenvector-based formula for computing Kemeny's constant. Moreover, we analyze the impact of network structure on Kemeny's constant. In particular, we use various spectral techniques, such as spectral sparsification of graphs and eigenvalue interlacing, and show that they are particularly useful in this context for deriving approximations and sharp bounds for Kemeny's constant
Good Triangulations of Cosmological Polytopes
Published
• View Publication
• BIB
Cosmological polytopes of graphs are a geometric tool in physics to study wavefunctions for cosmological models whose Feynman diagram is given by the graph. After their recent introduction by Arkani-Hamed, Benincasa and Postnikov the focus of interest shifted towards their mathematical properties, e.g., their face structure and triangulations. Juhnke, Solus and Venturello used toric geometry to show that these polytopes have a so-called good triangulation that is unimodular. Based on these results Bruckamp et al. studied the Ehrhart theory of those polytopes and in particular the h*-polynomials of cosmological polytopes of multitrees and multicycles. In this article we complete this part of the story. We enumerate all maximal simplices in good triangulations of any cosmological polytope. Furthermore, we provide a method to turn such a triangulation into a half-open decomposition from which we deduce that the h*-polynomial of a cosmological polytope is a specialization of the Tutte polynomial of the defining graph. This settles several open questions and conjectures of Juhnke, Solus and Venturello as well as Bruckamp et al.
Deciding if a DAG is Interesting is Hard
The \emph{interestingness score} of a directed path $Π= e_1, e_2, e_3, \dots, e_\ell$ in an edge-weighted directed graph $G$ is defined as $\texttt{score}(Π) := \sum_{i=1}^\ell w(e_i) \cdot \log{(i+1)}$, where $w(e_i)$ is the weight of the edge $e_i$. We consider two optimization problems that arise in the analysis of Mapper graphs, which is a powerful tool in topological data analysis. In the IP problem, the objective is to find a collection $\mathcal{P}$ of edge-disjoint paths in $G$ with the maximum total interestingness score. %; that is, two raised to the power of the sum of the weights of the paths in $\mathcal{P}$. For $k \in \mathbb{N}$, the $k$-IP problem is a variant of the IP problem with the extra constraint that each path in $\mathcal{P}$ must have exactly $k$ edges. Kalyanaraman, Kamruzzaman, and Krishnamoorthy (Journal of Computational Geometry, 2019) claim that both IP and $k$-IP (for $k \geq 3$) are NP-complete. We point out some inaccuracies in their proofs. Furthermore, we show that both problems are NP-hard in directed acyclic graphs.
Wavefunction coefficients from Amplitubes
Published
• View Publication
• BIB
Given a graph its set of connected subgraphs (tubes) can be defined in two ways: either by considering subsets of edges, or by considering subsets of vertices. We refer to these as binary tubes and unary tubes respectively. Both notions come with a natural compatibility condition between tubes which differ by a simple adjacency constraint. Compatible sets of tubes are refered to as tubings. By considering the set of binary tubes, and summing over all maximal binary-tubings, one is lead to an expression for the flat space wavefunction coefficients relevant for computing cosmological correlators. On the other hand, considering the set of unary tubes, and summing over all maximal unary-tubings, one is lead to expressions recently referred to as amplitubes which resemble the scattering amplitudes of $\text{tr}(φ^3)$ theory. In this paper we study the two definitions of tubing in order to provide a new formula for the flat space wavefunction coefficient for a single graph as a sum over products of amplitubes. Motivated by our rewriting of the wavefunction coefficient we introduce a new definition of tubing which makes use of both the binary and unary tubes which we refer to as cut tubings. We explain how each cut tubing induces a decorated orientation of the underlying graph satisfying an acyclic condition and demonstrate how the set of all acyclic decorated orientations for a given graph count the number of basis functions appearing in the kinematic flow.