graph
34516 papers tagged with this keyword
Eigenvalue bounds for distance-edge colorings
For a fixed positive integer $t$, we consider the graph colouring problem in which edges at distance at most $t$ are given distinct colours. We obtain sharp lower bounds for the distance-$t$ chromatic index, the least number of colours necessary for such a colouring. Our bounds are of algebraic nature; they depend on the eigenvalues of the line graph and on a polynomial which can be found using integer linear programming methods. We show several graph classes that attain equality for our bounds, and also present some computational results which illustrate the bound's performance. Lastly, we investigate the implications the spectral approach has to the Erdős-Nešetřil conjecture, and derive some conditions which a graph must satisfy if we could use it to obtain a counter example through the proposed spectral methods.
Grundy double domination number: bounds, graph operations, and efficient computation for $P_4$-tidy graphs
Inspired by graph domination games, various domination-type vertex sequences have been introduced, including the Grundy double dominating sequence (GDDS) of a graph and its associated parameter, the Grundy double domination number (GDDN). The decision version of the problem of computing the GDDN is known to be NP-complete, even when restricted to split graphs and bipartite graphs. In this paper, we establish general tight bounds for the GDDN. We also describe GDDSs for vertex-removed graphs and for the join of two graphs. Applying these results, we prove that computing the GDDN is linear for $P_4$-tidy graphs, thereby solving an open problem previously posed for cographs by B. Brešar et al. in [Brešar, B., Pandey, A., and Sharma, G. (2022). Computational aspects of some vertex sequences of grundy domination-type. Indian J. Discrete Math., 8:21-38].
Making Graphs Irregular through Irregularising Walks
The 1-2-3 Conjecture, introduced by Karoński, Łuczak, and Thomason in 2004, was recently solved by Keusch. This implies that, for any connected graph $G$ different from $K_2$, we can turn $G$ into a locally irregular multigraph $M(G)$, i.e., in which no two adjacent vertices have the same degree, by replacing some of its edges with at most three parallel edges. In this work, we introduce and study a restriction of this problem under the additional constraint that edges added to $G$ to reach $M(G)$ must form a walk (i.e., a path with possibly repeated edges and vertices) of $G$. We investigate the general consequences of having this additional constraint, and provide several results of different natures (structural, combinatorial, algorithmic) on the length of the shortest irregularising walks, for general graphs and more restricted classes.
Infinitely many counterexamples to a conjecture of Lovász
Motivated by the well-known conjecture of Ryser which relates maximum matchings to minimum vertex covers in $r$-partite $r$-uniform hypergraphs, Lovász formulated a stronger conjecture. It states that one can always reduce the matching number by removing $r-1$ vertices. This conjecture was very recently disproven for $r=3$ by Clow, Haxell, and Mohar using the line graph of a $3$-regular graph of order $102$. Building on this, we describe a simple infinite family of counterexamples based on generalized Petersen graphs for the case $r=3$ and give specific counterexamples for $r=4$.
RSB bounds on the maximum cut
In the context of random regular graphs, the size of the maximum cut is probably the second most studied graph parameter after the independence ratio. Zdeborová and Boettcher used the cavity method, a non-rigorous statistical physics technique, to predict one-step replica symmetry breaking (1-RSB) formulas. Coja-Ohglan et al. confirmed these predictions as rigorous upper bounds using the interpolation method. While these upper bounds were not expected to be exact, they may be very close to the true values.
In this paper, we establish 2-RSB upper bounds and fine-tune their parameters to beat the aforementioned 1-RSB bounds.
Symmetry classes of Hamiltonian cycles
We initiate the study of Hamiltonian cycles up to symmetries of the underlying graph. Our focus lies on the extremal case of Hamiltonian-transitive graphs, i.e., Hamiltonian graphs where, for every pair of Hamiltonian cycles, there is a graph automorphism mapping one cycle to the other. This generalizes the extensively studied uniquely Hamiltonian graphs. In this paper, we show that Cayley graphs of abelian groups are not Hamiltonian-transitive (under some mild conditions and some non-surprising exceptions), i.e., they contain at least two structurally different Hamiltonian cycles. To show this, we reduce Hamiltonian-transitivity to properties of the prime factors of a Cartesian product decomposition, which we believe is interesting in its own right. We complement our results by constructing infinite families of regular Hamiltonian-transitive graphs and take a look at the opposite extremal case by constructing a family with many different Hamiltonian cycles up to symmetry.
Hamilton cycles in regular graphs perturbed by a random 2-factor
In this paper, we prove that for each $d \geq 2$, the union of a $d$-regular graph with a uniformly random $2$-factor on the same vertex set is Hamiltonian with high probability. This resolves a conjecture by Draganić and Keevash for all values of $d$.
An Explicit Formula for Vertex Enumeration in the CUT(n) Polytope via Probabilistic Methods
We present an explicit closed-form formula for the vertices of the classical cut polytope $\operatorname{CUT}(n)$, defined as the convex hull of cut vectors of the complete graph $K_n$. Our derivation proceeds via a related polytope, denoted $\mathbf{1}$-$\operatorname{CUT}(n)$, whose vertices are obtained by flipping all bits of the $\operatorname{CUT}(n)$ vertices. This polytope arises naturally in a probabilistic context involving agreement probabilities among symmetric Bernoulli random variables which serves as the starting point of this work.
Our approach constructs the vertex set recursively via a binary encoding that stems from this probabilistic perspective. We prove that the resulting sequence of encoded integers, when appropriately scaled, exhibits an almost-linear behavior closely approximating the line $y = x - \frac{1}{2}$. This structure motivates the introduction of the alternating cycle function, an integer-valued map whose key property is power-of-two composition invariance. The function serves as the foundation for our closed-form enumeration formula.
The result provides a rare instance of explicit vertex characterization for a $0$/$1$-polytope and offers a transparent combinatorial construction independent of enumeration algorithms.
Computational Verification of the Buratti--Horak--Rosa Conjecture for Small Integers and Inductive Approaches
This paper presents a comprehensive computational approach to verify and inductively construct Hamiltonian paths for the Buratti--Horak--Rosa (BHR) Conjecture. The conjecture posits that for any multiset $L$ of $p-1$ positive integers not exceeding $\lfloor p/2 \rfloor$, there exists a Hamiltonian path in the complete graph $K_p$ with vertex-set $\{0, 1, \dots, p-1\}$ whose edge lengths (under the cyclic metric) match $L$, if and only if for every divisor $d$ of $p$, the number of multiples of $d$ appearing in $L$ is at most $p - d$.
Building upon prior computational work by Mariusz Meszka, which verified the conjecture for all primes up to $p=23$, our Python program extends this verification significantly. We approach the problem by systematically generating frequency partitions (FPs) of edge lengths and employing a recursive backtracking algorithm. We report successful computational verification for all frequency partitions for integers $p < 32$, specifically presenting results for $p=31$ and a composite $p=26$. For the composite number $p=30$, the Python code took approximately 11 hours to verify on a Lenovo laptop. For $p=16$, $167,898$ valid multisets were processed, taking around 20 hours on Google Colab Pro+.
Furthermore, we introduce and implement two constructive, inductive strategies for building Hamiltonian paths: (1) increasing the multiplicity of an existing edge length, and (2) adding a new edge length. These methods, supported by a reuse-insertion heuristic and backtracking search, demonstrate successful constructions for evolving FPs up to $p=40$. Through these empirical tests and performance metrics, we provide strong computational evidence for the validity of the BHR conjecture within the scope tested, and outline the scalability of our approach for higher integer values.
The number of possibilities for random dating
Published in Journal of Combinatorial Theory, Series A, vol. 115 (2008), pp. 1265-1271
• Search Publication
Let $G$ be a regular graph and $H$ a subgraph on the same vertex set. We give surprisingly compact formulas for the number of copies of $H$ one expects to find in a random subgraph of $G$.
Minors of non-hamiltonian polyhedra and the Herschel family
We show that every non-hamiltonian polyhedron contains the Herschel graph as a minor, implying that the Herschel graph is the unique minor-minimal non-hamiltonian polyhedron. Our approach unifies many previously known results on minors of non-hamiltonian polyhedra, while strengthening them with significantly shorter, non-computer-assisted proofs. As an application, we characterize non-hamiltonian polyhedra with no $K_{2,6}$ minor, resolving a conjecture of Ellingham, Marshall, Ozeki, Royle, and Tsuchiya.
On minors of non-hamiltonian graphs
A theorem of Tutte states that every 4-connected non-hamiltonian graph contains $K_{3,3}$ as a minor. We strengthen this result by proving that such a graph must contain $K_{3,4}$ as a minor, thereby confirming a special case of a conjecture posed by Chen, Yu, and Zang in a strong form. This result may be viewed as a step toward characterizing the minor-minimal 4-connected non-hamiltonian graphs. As a 3-connected analog, Ding and Marshall conjectured that every 3-connected non-hamiltonian graph has a minor of $K_{3,4}$, $\mathfrak{Q}^+$, or the Herschel graph, where $\mathfrak{Q}^+$ is obtained from the cube by adding a new vertex adjacent to three independent vertices. We confirm this conjecture.
Adjacency spectral radius and H-factors in 1-binding graphs
Let $G$ be a graph, and let $H:V(G)\longrightarrow\{\{1\},\{0,2\}\}$ be a set-valued function. Hence, $H(v)$ equals $\{1\}$ or $\{0,2\}$ for any $v\in V(G)$. We let $$ H^{-1}(1)=\{v: v\in V(G) \ \mbox{and} \ H(v)=1\}. $$ An $H$-factor of $G$ is a spanning subgraph $F$ of $G$ such that $d_F(v)\in H(v)$ for each $v\in V(G)$. Lu and Kano showed a characterization for the existence of an $H$-factor in a graph [Characterization of 1-tough graphs using factors, Discrete Math. 343 (2020) 111901]. Let $A(G)$ and $ρ(G)$ denote the adjacency matrix and the adjacency spectral radius of $G$, respectively. By using Lu and Kano's result, we pose a sufficient condition with respect to the adjacency spectral radius to guarantee the existence of an $H$-factor in a 1-binding graph. In this paper, we prove that if a connected 1-binding graph $G$ of order $n\geq11$ satisfies $ρ(G)\geqρ(K_1\vee(K_{n-4}\cup K_2\cup K_1))$, then $G$ has an $H$-factor for each $H:V(G)\longrightarrow\{\{1\},\{0,2\}\}$ with $H^{-1}(1)$ even, unless $G=K_1\vee(K_{n-4}\cup K_2\cup K_1)$.
On plane cycles in geometric multipartite graphs
A geometric graph is a drawing of a graph in the plane where the vertices are drawn as points in general position and the edges as straight-line segments connecting their endpoints. It is plane if it contains no crossing edges. We study plane cycles in geometric complete multipartite graphs. We prove that if a geometric complete multipartite graph contains a plane cycle of length $t$, with $t \geq 6$, it also contains a smaller plane cycle of length at least $\lfloor t/2\rfloor + 1$. We further give a characterization of geometric complete multipartite graphs that contain plane cycles with a color class appearing at least twice. For geometric drawings of $K_{n,n}$, we give a sufficient condition under which they have, for each $s \leq n$, a plane cycle of length 2s. We also provide an algorithm to decide whether a given geometric drawing of $K_{n,n}$ contains a plane Hamiltonian cycle in time $O(n \log n + nk^2) + O(k^{5k})$, where k is the number of vertices inside the convex hull of all vertices. Finally, we prove that it is NP-complete to decide if a subset of edges of a geometric complete bipartite graph H is contained in a plane Hamiltonian cycle in H.
Conformal Rigidity and Spectral Embeddings of Graphs
We investigate the structure of conformally rigid graphs. Graphs are conformally rigid if introducing edge weights cannot increase (decrease) the second (last) eigenvalue of the Graph Laplacian. Edge-transitive graphs and distance-regular graphs are known to be conformally rigid. We establish new results using the connection between conformal rigidity and edge-isometric spectral embeddings of the graph. All $1$-walk regular graphs are conformally rigid, a consequence of a stronger property of their embeddings. Using symmetries of the graph, we establish two related characterizations of when a vertex-transitive graph is conformally rigid. This provides a necessary and sufficient condition for a Cayley graph on an abelian group to be conformally rigid. As an application we exhibit an infinite family of conformally rigid circulants. Our symmetry technique can be interpreted in the language of semidefinite programming which provides another criterion for conformal rigidity in terms of edge orbits. The paper also describes a number of explicit conformally rigid graphs whose conformal rigidity is not yet explained by the existing theory.
Labeled Chip-Firing on Directed $k$-ary Trees and Where Chips Land
Chip-firing is a combinatorial game played on a graph, in which chips are placed and dispersed on the vertices until a stable configuration is achieved. We study a chip-firing variant on an infinite, rooted directed $k$-ary tree, where we place $k^n$ chips labeled $1,2,3,\dots, k^n$ on the root for some nonnegative integer $n$. A vertex $v$ can fire if it has at least $k$ chips; when it fires, $k$ chips are selected, and the chip with the $i$th smallest label is sent to the $i$th leftmost child of $v$. A stable configuration is reached when no vertices can fire. In this paper, we prove numerous properties of the stable configuration, such as that chips land on vertices in ranges and the lengths of those ranges. We also describe where each chip can land. This helps us describe possible stable configurations of the game.
On graph automorphisms related to Snort
We study the outcomes of various positions of the game Snort. When played on graphs admitting an automorphism of order two that maps vertices outside of their closed neighbourhoods (called opposable graphs), the second player has a winning strategy. We give a necessary and sufficient condition for a graph to be opposable, and prove that the property of being opposable is preserved by several graph products. We show examples that a graph being second-player win does not imply that the graph is opposable, which answers Kakihara's conjecture. We give an analogous definition to opposability, which gives a first-player winning strategy; we prove a necessary condition for this property to be preserved by the Cartesian and strong products. As an application of our results, we determine the outcome of Snort when played on various $n\times m$ chess graphs.
Accelerated Cops and Robbers
We consider a variant of Cops and Robbers in which both the cops and the robber are allowed to traverse up to $s$ edges on each of their turns, where $s \ge 2$. We give several general for this new model as well as establish bounds for the cop numbers for grids and hypercubes. We also determine the capture time of cop-win graphs when $s = 2$ up to a small additive constant.
Local Search Improvements for Soft Happy Colouring
For $0\leq ρ\leq 1$ and a coloured graph $G$, a vertex $v$ is $ρ$-happy if at least $ρ\mathrm{deg}(v)$ of its neighbours have the same colour as $v$. Soft happy colouring of a partially coloured graph $G$ is the problem of finding a vertex colouring $σ$ that preserves the precolouring and has the maximum number of $ρ$-happy vertices. It is already known that this problem is NP-hard and directly relates to the community structure of the graphs; under a certain condition on the proportion of happiness $ρ$ and for graphs with community structures, the induced colouring by communities can make all the vertices $ρ$-happy. We show that when $0\leq ρ_1<ρ_2\leq 1$, a complete $ρ_2$-happy colouring has a higher accuracy of community detection than a complete $ρ_1$-happy colouring. Moreover, when $ρ$ is greater than a threshold, it is unlikely for an algorithm to find a complete $ρ$-happy colouring with colour classes of almost equal sizes. Three local search algorithms for soft happy colouring are proposed, and their performances are compared with one another and other known algorithms. Among them, the linear-time local search is shown to be not only very fast, but also a reliable algorithm that can dramatically improve the number of $ρ$-happy vertices.
Hamilton Cycles In Vertex-Transitive Graphs of Order 10p
After long-term efforts, the Hamilton path (cycle) problem for connected vertex-transitive graphs of order $pq$ (where $p$ and $q$ are primes) was finally resolved in 2021, see [10]. Fifteen years ago, mathematicians began addressing this problem for graphs of order $2pq$. Among these studies, it was proved in 2012 (see [21]) that every connected vertex-transitive graph of order $10p$ (where $p \neq 7$ is a prime) contains a Hamilton path, with the exception of a family of graphs that was recently confirmed in [11]. In this paper, we achieve a further result: every connected vertex-transitive graph of order $10p$ (where $p$ is a prime) contains a Hamilton cycle, except for the truncation of the Petersen graph.