graph
34516 papers tagged with this keyword
Perturbation of dense graphs
In the past two decades, various properties of randomly perturbed/augmented (hyper)graphs have been intensively studied, since the model was introduced by Bohman, Frieze and Martin in 2003. The model usually considers a deterministic graph $G$ with minimum degree condition, perturbed/augmented by a binomial random graph $G(n,p)$ on the same vertex set. In this paper, we show that for many problems of finding spanning subgraphs, one can indeed relax the minimum degree condition to a density condition. This includes the embedding problem for $F$-factors when $F$ is not a forest, graphs with bounded maximum degree, $r$-th power of $k$-uniform tight Hamilton cycles for $r,k\ge 2$, and $k$-uniform Hamilton $\ell$-cycles for $\ell\in[2,k-1]$. These results strengthen the results of Balogh, Treglown, and Wagner, of Böttcher, Montgomery, Parczyk, and Person, and of Chang, Han and Thoma.
State Transfer on Unitary Cayley Graphs and Quadratic Unitary Cayley Graphs
The unitary Cayley graph, denoted $X_n$, is the graph with vertex set ${\mathbb{Z}}_n$ such that two distinct vertices $a$ and $b$ are adjacent if $a-b=u$ for some $u$ with $1 \leq u \leq n-1$ and $\gcd(u,n) = 1$. The quadratic unitary Cayley graph, denoted $G_n$, is the graph with vertex set ${\mathbb{Z}}_n$ such that two distinct vertices $a$ and $b$ are adjacent if $a-b=u^2$ or $a-b=-u^2$ for some $u$ with $1 \leq u \leq n-1$ and $\gcd(u,n) = 1$. In this paper, we classify all $X_n$ admitting pretty good fractional. We also classify all $X_n$ that admit fractional revival. It turns out that $X_n$ admits fractional revival if and only if it admits pretty good fractional revival. Further, we classify all $G_n$ admitting periodicity. As a consequence, we obtain all $G_n$ admitting perfect state transfer. We also classify $G_n$ admitting pretty good state transfer, pretty good fractional revival and fractional revival.
On the Parameterized Complexity of Grundy Domination and Zero Forcing Problems
We consider two different problem families that deal with domination in graphs. On the one hand, we focus on dominating sequences. In such a sequence, every vertex dominates some vertex of the graph that was not dominated by any earlier vertex in the sequence. The problem of finding the longest dominating sequence is known as $\mathsf{Grundy~Domination}$. Depending on whether the closed or the open neighborhoods are used for domination, there are three other versions of this problem: $\mathsf{Grundy~Total~Domination}$, $\mathsf{L\text{-}Grundy~Domination}$, and $\mathsf{Z\text{-}Grundy~Domination}$. We show that all four problem variants are $\mathsf{W[1]}$-complete when parameterized by the solution size.
On the other hand, we consider the family of zero forcing problems which form the parametric duals of the Grundy domination problems. In these problems, one looks for the smallest set of vertices initially colored blue such that certain color change rules are able to color all other vertices blue. Bhyravarapu et al. [IWOCA 2025] showed that the dual of $\mathsf{Z\text{-}Grundy~Domination}$, known as $\mathsf{Zero~Forcing~Set}$, is in $\mathsf{FPT}$ when parameterized by the treewidth or the solution size. We extend their treewidth result to the other three variants of zero forcing and their respective Grundy domination problems. Our algorithm also implies an $\mathsf{FPT}$ algorithm for $\mathsf{Grundy~Domination}$ when parameterized by the number of vertices that are not in the dominating sequence. In contrast, we show that $\mathsf{L\text{-}Grundy~Domination}$ is $\mathsf{W[1]}$-hard for that parameter.
Symbolic Constraints in Polyhedral Enclosure and Tetrahedral Decomposition in Genus-0 Polyhedra
I present a coordinate-free, symbolic framework for determining whether a given set of polygonal faces can form a closed, genus-zero polyhedral surface and for predicting admissible internal tetrahedral decompositions consistent with incidence constraints. The method uses only discrete combinatorial variables, such as the number of tetrahedra T, internal gluing triangles Ni, and internal triangulation segments Si, and applies feasibility checks prior to any geometric embedding. For polyhedra in normal form, I record exact incidence identities linking V, E, and F to a flatness parameter S defined as the sum over faces of (degree minus three), and identify parity-sensitive extremal behavior in E, F, and S arising from minimal vertex-degree constraints. These external identities and parity-dependent bounds hold for genus-zero polyhedral graphs under standard simplicity and connectivity assumptions. For internal quantities, I prove exact relations Ni = 2T - V + 2 and T - Ni + Si = 1, and derive restricted linear ranges for tetrahedral decompositions in normal form with no interior vertices. Together, these results yield a symbolic workflow for rapid pre-screening of combinatorially impossible configurations, reducing reliance on costly geometric validation in computational geometry, graphics, and automated modeling.
On Graham's rearrangement conjecture over $\mathbb{F}_2^n$
A sequence $s_1,s_2,\ldots, s_k$ of elements of a group $G$ is called a valid ordering if the partial products $s_1, s_1 s_2, \ldots, s_1\cdots s_k$ are all distinct. A long-standing problem in combinatorial group theory asks whether, for a given group $G$, every subset $S \subseteq G\setminus \{\mathrm{id}\}$ admits a valid ordering; the instance of the additive group $\mathbb{F}_p$ is the content of a well-known 1971 conjecture of Graham. Most partial progress to date has concerned the edge cases where either $S$ or $G \setminus S$ is quite small. Our main result is an essentially complete resolution of the problem for $G=\mathbb{F}_2^n$: we show that there is an absolute constant $C>0$ such that every subset $S\subseteq \mathbb{F}_2^n \setminus \{0\}$ of size at least $C$ admits a valid ordering. Our proof combines techniques from additive and probabilistic combinatorics, including the Freiman--Ruzsa theorem and the absorption method.
Along the way, we also solve the general problem for moderately large subsets: there is a constant $c>0$ such that for every group $G$ (not necessarily abelian), every subset $S \subseteq G\setminus \{\mathrm{id}\}$ of size at least $|G|^{1-c}$ admits a valid ordering. Previous work in this direction concerned only sets of size at least $(1-o(1))|G|$. A main ingredient in our proof is a structural result, similar in spirit to the Arithmetic Regularity Lemma, showing that every Cayley graph can be efficiently decomposed into mildly quasirandom components.
Flipping odd matchings in geometric and combinatorial settings
We study the problem of reconfiguring odd matchings, that is, matchings that cover all but a single vertex. Our reconfiguration operation is a so-called flip where the unmatched vertex of the first matching gets matched, while consequently another vertex becomes unmatched. We consider two distinct settings: the geometric setting, in which the vertices are points embedded in the plane and all occurring odd matchings are crossing-free, and a combinatorial setting, in which we consider odd matchings in general graphs.
For the latter setting, we provide a complete polynomial time checkable characterization of graphs in which any two odd matchings can be reconfigured into each another. This complements the previously known result that the flip graph is always connected in the geometric setting [Aichholzer, Brötzner, Perz, and Schnider. Flips in odd matchings]. In the combinatorial setting, we prove that the diameter of the flip graph, if connected, is linear in the number of vertices. Furthermore, we establish that deciding whether there exists a flip sequence of length $k$ transforming one given matching into another is NP-complete in both the combinatorial and the geometric settings. To prove the latter, we introduce a framework that allows us to transform partial order types into general position with only polynomial overhead. Finally, we demonstrate that when parameterized by the flip distance $k$, the problem is fixed-parameter tractable (FPT) in the geometric setting when restricted to convex point sets.
Alternating odd cycles and orientations of Kneser-like graphs
We call an oriented odd cycle alternating if it has exactly one vertex whose in-degree and out-degree are both positive. In this paper, we investigate whether certain graphs admit an orientation that avoids alternating odd cycles as subgraphs, or one in which all their shortest odd cycles become alternating. Our focus is on topologically $χ$-chromatic graphs, that is, graphs for which the topological method yields a sharp lower bound on the chromatic number. We present results for several graph families, including Kneser graphs, Schrijver graphs, and generalized Mycielski graphs.
Cycles of Length 4 or 8 in Graphs with Diameter 2 and Minimum Degree at Least 3
In this short note it is shown that every graph of diameter 2 and minimum degree at least 3 contains a cycle of length 4 or 8. This result contributes to the study of the Erdős-Gyárfás Conjecture by confirming it for the class of diameter-2 graphs.
Strong binding numbers and factors
Let $G$ be a simple graph. The $k$-th neighborhood of a vertex subset $S \subseteq V(G)$, denoted $Λ^k(S)$, is the set of vertices that are adjacent to at least $k$ vertices in $S$. The $k$-th binding number $β^k(G)$ is defined as the minimum ratio $|Λ^k(S)|/|S|$ over all subsets $S \subseteq V(G)$ with $|S| \ge k$ and $Λ^k(S) \ne V(G)$. This parameter generalizes the classical binding number introduced by Woodall. Andersen showed that the condition $β^1(G) \ge 1$ does not guarantee the existence of a $1$-factor in $G$, while Barát et al. proved that $β^2(G) \ge 1$ suffices for the existence of a $2$-factor. In this paper, we extend this result to general $k \ge 2$ by showing that any graph $G$ with even $k|V(G)|$ and $β^k(G) \ge 1$ contains a $k$-factor. Moreover, if $G$ is additionally a split graph of even order, then it admits a $(k+1)$-factor. We also prove that any graph $G$ with $β^k(G) \ge 1$ contains at least $k-1$ disjoint perfect or near-perfect matchings. Finally, for any bipartite graph $G$ with bipartition $(X, Y)$, we introduce an analogue of the $k$-th binding number and show that, under the condition $β^k(G, X) \ge 1$, the graph admits $k$ disjoint matchings, each covering $X$.
Borel Polychromatic Number of Grids
We study Borel polychromatic colorings of grid graphs arising from free Borel actions of $\mathbb{Z}^d$. A polychromatic coloring is one in which every unit $d$-dimensional cube sees all available colors. In the classical setting, every grid admits a $2^d$-polychromatic coloring, while in the Borel setting this fails. Our main result shows that every free $\mathbb{Z}^d$-action admits a Borel $(2^d-1)$-polychromatic coloring. This result is sharp: any action where the generators act ergodically does not admit a Borel $2^d$-polychromatic coloring. We conclude with open directions for extending the theory beyond cube tilings and for exploring the dependence of Borel polychromatic numbers on the underlying action.
Crossing and non-crossing families
For a finite set $P$ of points in the plane in general position, a \emph{crossing family} of size $k$ in $P$ is a collection of $k$ line segments with endpoints in $P$ that are pairwise crossing. It is a long-standing open problem to determine the largest size of a crossing family in any set of $n$ points in the plane in general position. It is widely believed that this size should be linear in $n$.
Motivated by results from the theory of partitioning complete geometric graphs, we study a variant of this problem for point sets $P$ that do not contain a \emph{non-crossing family} of size $m$, which is a collection of 4 disjoint subsets $P_1$, $P_2$, $P_3$, and $P_4$ of $P$, each containing $m$ points of $P$, such that for every choice of 4 points $p_i \in P_i$, the set $\{p_1,p_2,p_3,p_4\}$ is such that $p_4$ is in the interior of the triangle formed by $p_1,p_2,p_3$. We prove that, for every $m \in \mathbb{N}$, each set $P$ of $n$ points in the plane in general position contains either a crossing family of size $n/2^{O(\sqrt{\log{m}})}$ or a non-crossing family of size $m$, by this strengthening a recent breakthrough result by Pach, Rubin, and Tardos (2021). Our proof is constructive and we show that these families can be obtained in expected time $O(nm^{1+o(1)})$. We also prove that a crossing family of size $Ω(n/m)$ or a non-crossing family of size $m$ in $P$ can be found in expected time $O(n)$.
Eigenvalues of Maximal Abelian Covers
We fully characterize the eigenvalues (flat bands) of the maximal abelian cover of a finite multi-graph in terms of the combinatorics of the base graph. This solves a problem of Higuchi and Nomura (2009, Problem 6.11). We use our new criterion to prove that the maximal abelian cover of any regular multi-graph has no eigenvalues, thereby proving a conjecture of (ibid., Conjecture 6.12). In an appendix, we relate our criterion for eigenvalues of the maximal abelian cover to an existing criterion for eigenvalues of the universal cover.
A subbase property for describing edge-end spaces
In a previous joint work with Aurichi and Magalhães Jr., we showed that the topological spaces arising from the edge-end structure of infinite graphs define a proper subfamily of those obtained through the well-known (vertex-)ends. This result was later recovered by a more general approach due to Pitz, who also stated the problem of finding a purely topological characterization for the class of edge-end spaces. His question reads as an edge-related version of a similar conjecture posed by Diestel in 1992, but there regarding the usual end structure of infinite graphs and which was recently answered also by Pitz via the existence of a suitable clopen subbase. This paper shows how an extra intersection property can be combined with his solution in order to restrict it to the edge-end spaces, hence stating a topological description for this later family as well.
Intersections of longest cycles in vertex-transitive and highly connected graphs
Motivated by the classical conjectures of Lovász, Thomassen, and Smith, recent work has renewed interest in the study of longest cycles in important graph families, such as vertex-transitive and highly connected graphs. In particular, Groenland et al.\ proved that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{8/5})$ separating them, yielding improved bounds toward these conjectures. Their proof combines Turán-type arguments with computer-assisted search.
We prove two results addressing problems of Babai (1979) and Smith (1984) on intersections of longest cycles in vertex-transitive and highly connected graphs. First, we strengthen the bound of Groenland et al.\ by showing that if two longest cycles and in a graph share $m$ vertices, then there exists a vertex cut of size $O(m^{3/2})$ separating them. As a consequence, we show that in every \(k\)-connected graph, any two longest cycles intersect in at least \(Ω(k^{2/3})\) vertices, improving the best known bound toward Smith's conjecture. Our proof is purely combinatorial, employing supersaturation-type estimates beyond the existing Turán-type approach. Second, we prove that in every connected vertex-transitive graph on \(n\) vertices, any two longest cycles intersect in at least \(f(n)\) vertices for some function \(f(n)\to\infty\) as \(n\to\infty\), thereby resolving a problem of Babai (1979) for the class of vertex-transitive graphs central to his original motivation. In doing so, we introduce a new method for constructing longer cycles in vertex-transitive graphs based on a given cycle, which may be of independent interest.
Singular Values Versus Expansion in Directed and Undirected Graphs
We relate the nontrivial singular values $σ_2,\ldots,σ_n$ of the normalized adjacency matrix of an Eulerian directed graph to combinatorial measures of graph expansion: \\ 1. We introduce a new directed analogue of conductance $φ_{dir}$, and prove a Cheeger-like inequality showing that $φ_{dir}$ is bounded away from 0 iff $σ_2$ is bounded away from 1. In undirected graphs, this can be viewed as a unification of the standard Cheeger Inequality and Trevisan's Cheeger Inequality for the smallest eigenvalue.\\ 2. We prove a singular-value analogue of the Higher-Order Cheeger Inequalities, giving a combinatorial characterization of when $σ_k$ is bounded away from 1. \\ 3. We tighten the relationship between $σ_2$ and vertex expansion, proving that if a $d$-regular graph $G$ with the property that all sets $S$ of size at most $n/2$ have at least $(1+δ)\cdot |S|$ out-neighbors, then $1-σ_2=Ω(δ^2/d)$. This bound is tight and saves a factor of $d$ over the previously known relationship.
Polynomial Property Testing
Property testers are fast, randomized "election polling"-type algorithms that determine if an input (e.g., graph or hypergraph) has a certain property or is $\varepsilon$-far from the property. In the dense graph model of property testing, it is known that many properties can be tested with query complexity that depends only on the error parameter $\varepsilon$ (and not on the size of the input), but the current bounds on the query complexity grow extremely quickly as a function of $1/\varepsilon$. Which properties can be tested efficiently, i.e., with $\mathrm{poly}(1/\varepsilon)$ queries? This survey presents the state of knowledge on this general question, as well as some key open problems.
A tail bound for cumulant series for complex functions of independent random variables
We obtain explicit bounds on the truncation error of the cumulant series of a bounded complex function of a random vector with independent components. The bounds are based on multidimensional differences. This extends the theory of the author with Brendan McKay and Rui-Ray Zhang (J. Combin. Th., Ser. B, 2025) from real functions to complex functions. We demonstrate some initial applications including a Berry--Esseen bound, an Edgeworth expansion for triangles in random graphs, and enumeration of regular graphs.
Enumeration of Cayley graphs over a nonabelian group of order $8p$
Let $T_{8p} = \left\langle a,b\mid a^{2p}=b^8=e,a^p=b^4,b^{-1}ab=a^{-1} \right\rangle$ be a nonabelian group of order $8p$, where $p$ is an odd prime number. In this paper, we give the formula to calculate the number of Cayley graphs over $T_{8p}$ up to isomorphism by using the Pólya Enumeration Theorem. Moreover, we get the formula to calculate the number of connected Cayley graphs over $T_{8p}$ by deleting the disconnected graphs. By applying the results, we list the exact number of (connected) Cayley graphs for $3\leq p \leq 13$.
Graphs arising from the dual Steenrod algebra
We extend Wood's graph theoretic interpretation of certain quotients of the mod $2$ dual Steenrod algebra to quotients of the mod $p$ dual Steenrod algebra where $p$ is an odd prime and to quotients of the $C_2$-equivariant dual Steenrod algebra. We establish connectedness criteria for graphs associated to monomials in these algebra quotients and investigate questions about trees and Hamilton cycles in these settings. We also give graph theoretic interpretations of algebraic structures such as the coproduct and antipode arising from the Hopf algebra structure on the mod $p$ dual Steenrod algebra and the Hopf algebroid structure of the $C_2$-equivariant dual Steenrod algebra.
Characterizing and Recognizing Twistedness
In a simple drawing of a graph, any two edges intersect in at most one point (either a common endpoint or a proper crossing). A simple drawing is generalized twisted if it fulfills certain rather specific constraints on how the edges are drawn. An abstract rotation system of a graph assigns to each vertex a cyclic order of its incident edges. A realizable rotation system is one that admits a simple drawing such that at each vertex, the edges emanate in that cyclic order, and a generalized twisted rotation system can be realized as a generalized twisted drawing. Generalized twisted drawings have initially been introduced to obtain improved bounds on the size of plane substructures in any simple drawing of $K_n$. They have since gained independent interest due to their surprising properties. However, the definition of generalized twisted drawings is very geometric and drawing-specific.
In this paper, we develop characterizations of generalized twisted drawings that enable a purely combinatorial view on these drawings and lead to efficient recognition algorithms. Concretely, we show that for any $n \geq 7$, an abstract rotation system of $K_n$ is generalized twisted if and only if all subrotation systems induced by five vertices are generalized twisted. This implies a drawing-independent and concise characterization of generalized twistedness. Besides, the result yields a simple $O(n^5)$-time algorithm to decide whether an abstract rotation system is generalized twisted and sheds new light on the structural features of simple drawings. We further develop a characterization via the rotations of a pair of vertices in a drawing, which we then use to derive an $O(n^2)$-time algorithm to decide whether a realizable rotation system is generalized twisted.