arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2678 papers tagged with this keyword
Note about the complexity of the acyclic orientation with parity constraint problem
Published • View Publication • BIB
Let $G = (V, E)$ be a connected graph, and let $T$ in $V$ be a subset of vertices. An orientation of $G$ is called $T$-odd if any vertex $v \in V$ has odd in-degree if and only if it is in $T$. Finding a T -odd orientation of G can be solved in polynomial time as shown by Chevalier, Jaeger, Payan and Xuong (1983). Since then, $T$-odd orientations have continued to attract interest, particularly in the context of global constraints on the orientation. For instance, Frank and Király (2002) investigated $k$-connected $T$-odd orientations and raised questions about acyclic $T$-odd orientations. This problem is now recognized as an Egres problem and is known as the "Acyclic orientation with parity constraints" problem. Szegedy ( 005) proposed a randomized polynomial algorithm to address this problem. An easy consequence of his work provides a polynomial time algorithm for planar graphs whenever $|T | = |V | - 1$. Nevertheless, it remains unknown whether it exists in general. In this paper we contribute to the understanding of the complexity of this problem by studying a more general one. We prove that finding a $T$-odd acyclic orientation on graphs having some directed edges is NP-complete.
2025-04-27 v2
Deza graphs and regular polyhedra
Published • View Publication • BIB
We classify all regular polyhedra according to their type i.e., the collection of numbers of common neighbours that any pair of distinct vertices may have (polyhedra are planar, $3$-connected graphs). As an application, we recover the classification of planar Deza graphs. Next, we focus on the class of quartic polyhedral Deza graphs, and completely characterise it in terms of medial graphs of certain specific cubic polyhedra. Furthermore, within the aforementioned class of quartic polyhedral Deza graphs, we study the extremal graphs with respect to the ratio of number of triangular faces to the total. In the maximal extreme, these notably coincide with the class of line graphs of cubic polyhedra of girth $5$. We also fully characterise the quartic polyhedra of type $\{0,1,2,3\}$, and in particular we prove that none of them are medial graphs. On one hand our findings fit within the novel research area of common neighbours in graphs. On the other hand, our findings imply general properties of regular planar graphs and regular polyhedra.
Computing Distances on Graph Associahedra is Fixed-parameter Tractable
An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a polytope whose vertices correspond to elimination trees of $G$ and whose edges correspond to tree rotations, a natural operation between elimination trees. These objects generalize associahedra, which correspond to the case where $G$ is a path. Ito et al. [ICALP 2023] recently proved that the problem of computing distances on graph associahedra is NP-hard. In this paper we prove that the problem, for a general graph $G$, is fixed-parameter tractable parameterized by the distance $k$. Prior to our work, only the case where $G$ is a path was known to be fixed-parameter tractable. To prove our result, we use a novel approach based on a marking scheme that restricts the search to a set of vertices whose size is bounded by a (large) function of $k$.
2025-04-22 v2
A study of two Ramsey numbers involving odd cycles
The \emph{book graph} of order $(n+2)$, denoted by $B_{n}$, is the graph with $n$ distinct copies of triangles sharing a common edge called the `base'. A cycle of order $m$ is denoted by $C_{m}$. A lot of studies have been done in recent years on the Ramsey number $R(B_{n}, C_{m})$. However, the exact value remains unknown for several $n$ and $m$. In 2021, Lin and Peng obtained the value of $R(B_{n}, C_{m})$ under certain conditions on $n$ and $m$. In this paper, they remarked that the value is still unknown for the range $n\in [\frac{9m}{8}-125, 4m-14]$. In a recent paper, Hu et al. determined the value of the book-cycle Ramsey number within the range $n\in [ \frac{3m-5}{2}-125, 4m]$ where $m$ is odd and $n$ is sufficiently large. In this article, we extend the investigation to smaller values of $n$. We have obtained a bound of $R(B_{n}, C_{m})$ if $n\in [2m-3, 4m-14]$ and $m\geq 7$ is odd. This is a progress on the earlier result. A connected graph $G$ is said to be \emph{$H$-good} if the formula, \begin{equation*} R(G,H)= (|G|-1)(χ(H)-1)+σ(H) \end{equation*} holds, where $χ(H)$ is the chromatic number of $H$ and $σ(H)$ is the size of the smallest colour class for the $χ(H)$-colouring. In this article, we have studied the \emph{Ramsey goodness} of the graph pair $(C_{m}, \mathbb{K}_{2,n})$, where $\mathbb{K}_{2,n}$ is the complete biparite graph. We have obtained an exact value of $R(\mathbb{K}_{2,n},C_{m})$ for all $n$ satisfying $n\geq 3493$ and $n\geq 2m+499$ where $m\geq 7$ is odd. This shows that $\mathbb{K}_{2,n}$ is $C_{m}$-good, which extends a previous result on the Ramsey goodness of $(C_{m}, \mathbb{K}_{2,n})$. Also, this improves the lower bound on $n$ from a previous result on the Ramsey number $R(B_{n}, C_{m})$
2025-04-22 v2
Laplacian eigenvalue distribution and girth of graphs
Published • View Publication • BIB
Let $G$ be a connected graph on $n$ vertices with girth $g$. Let $m_GI$ denote the number of Laplacian eigenvalues of graph $G$ in an interval $I$. In this paper, we show that if $G$ is not a cycle, then $m_G(n-g+3,n]\leq n-g$. Moreover, we prove that $m_G(n-g+3,n]= n-g$ if and only if $G\cong C_3$ or $G\cong K_{3,2}$ or $G\cong U_1$, where $U_1$ is obtained from a cycle by joining a single vertex with a vertex of this cycle.
2025-04-19
Connectivity versus Lin-Lu-Yau curvature
Published • View Publication • BIB
We explore the interaction between connectivity and Lin-Lu-Yau curvature of graphs systematically. The intuition is that connected graphs with large Lin-Lu-Yau curvature also have large connectivity, and vice versa. We prove that the connectivity of a connected graph is lower bounded by the product of its minimum degree and its Lin-Lu-Yau curvature. On the other hand, if the connectivity of a graph $G$ on $n$ vertices is at least $\frac{n-1}{2}$, then $G$ has positive Lin-Lu-Yau curvature. Moreover, the bound $\frac{n-1}{2}$ here is optimal. Furthermore, we prove that the edge-connectivity is equal to the minimum vertex degree for any connected graph with positive Lin-Lu-Yau curvature. As applications, we estimate or determine the connectivity and edge-connectivity of an amply regular graph with parameters $(d,α,β)$ such that $1\neq β\geq α$.
Free Inhomogeneous Wreath Product of Quantum Groups
We introduce the free inhomogeneous wreath product of compact matrix quantum groups, which generalizes the free wreath product (Bichon 2004). We use this to present a general technique to determine quantum automorphism groups of connected graphs in terms of their maximal biconnected subgraphs, provided that we have sufficient information about their quantum automorphism groups. We show that this requirement is met for forests, outerplanar graphs, and block graphs leading to algorithms to compute the quantum automorphism groups of these graphs.
2025-04-17
Hexagonal and k-hexagonal graph's normalized Laplacian spectrum and applications
Substituting each edge of a simple connected graph $G$ by a path of length 1 and $k$ paths of length 5 generates the $k$-hexagonal graph $H^k(G)$. Iterative graph $H^k_n(G)$ is produced when the preceding constructions are repeated $n$ times. According to the graph structure, we obtain a set of linear equations, and derive the entirely normalized Laplacian spectrum of $H^k_n(G)$ when $k = 1$ and $k \geqslant 2$ respectively by analyzing the structure of the solutions of these linear equations. We find significant formulas to calculate the Kemeny's constant, multiplicative degree-Kirchhoff index and number of spanning trees of $H^k_n(G)$ as applications.
The characterization of graphs with two trivial distance ideals
The distance ideals of graphs are algebraic invariants that generalize the Smith normal form (SNF) and the spectrum of several distance matrices associated with a graph. In general, distance ideals are not monotone under taking induced subgraphs. However, in [7] the characterizations of connected graphs with one trivial distance ideal over $\mathbb{Z}[X]$ and over $\mathbb{Q}[X]$ were obtained in terms of induced subgraphs, where $X$ is a set of variables indexed by the vertices. Later, in [3], the first attempt was made to characterize the family of connected graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. There, it was proven that these graphs are $\{ \mathcal {F},\textsf{odd-holes}_{7}\}$-free, where $\textsf{odd-holes}_{7}$ consists of the odd cycles of length at least seven and $\mathcal{F}$ is a set of sixteen graphs. Here, we give a characterization of the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs and prove that the $\{\mathcal{F},\textsf{odd-holes}_{7}\}$-free graphs are precisely the graphs with at most two trivial distance ideals over $\mathbb{Z}[X]$. As byproduct, we also find that the determinant of the distance matrix of a connected bipartite graph is even, this suggests that it is possible to extend, to connected bipartite graphs, the Graham-Pollak-Lovász celebrated formula $\det(D(T_{n+1}))=(-1)^nn2^{n-1}$, and the Hou-Woo result stating that $\text{SNF}(D(T_{n+1}))=\textsf{I}_2\oplus 2\textsf{I}_{n-2}\oplus (2n)$, for any tree $T_{n+1}$ with $n+1$ vertices. Finally, we also give the characterizations of graphs with at most two trivial distance ideals over $\mathbb{Q}[X]$, and the graphs with at most two trivial distance univariate ideals.
2025-04-13 v2
Disjoint chorded cycles in a $2$-connected graph
Published • View Publication • BIB
A chorded cycle in a graph $G$ is a cycle on which two nonadjacent vertices are adjacent in the graph $G$. In 2010, Gao and Qiao independently proved a graph of order at least $4s$, in which the neighborhood union of any two nonadjacent vertices has at least $4s+1$ vertices, contains $s$ vertex-disjoint chorded cycles. In 2022, Gould raised a problem that asks whether increasing connectivity would improve the neighborhood union condition. In this paper, we solve the problem for $2$-connected graphs by proving that a $2$-connected graph of order at least $4s$, in which the neighborhood union of any two nonadjacent vertices has at least $4s$ vertices, contains $s$ vertex-disjoint chorded cycles.
2025-04-11
Harmonic Morphisms of Arithmetical Structures on Graphs
Let $φ\colon Γ_2 \rightarrow Γ_1$ be a harmonic morphism of connected graphs. We show that an arithmetical structure on $Γ_1$ can be pulled back via $φ$ to an arithmetical structure on $Γ_2$. We then show that some results of Baker and Norine on the critical groups for the usual Laplacian extend to arithmetical critical groups, which are abelian groups determined by the generalized Laplacian associated to these arithmetical structures. In particular, we show that the morphism $φ$ induces a surjective group homomorphism from the arithmetical critical group of $Γ_2$ to that of $Γ_1$ and an injective group homomorphism from the arithmetical critical group of $Γ_1$ to that of $Γ_2$. Finally, we prove a Riemann-Hurwitz formula for arithmetical structures.
2025-04-10 v2
Distance signless Laplacian spectral radius and tough graphs involving minimun degree
Let $G=(V(G),E(G))$ be a simple graph, where $V(G)$ and $E(G)$ are the vertex set and the edge set of $G$, respectively. The number of components of $G$ is denoted by $c(G)$. Let $t$ be a positive real number, and a connected graph $G$ is $t$-tough if $t c(G-S)\leq|S|$ for every vertex cut $S$ of $V(G)$. The toughness of graph $G$, denoted by $τ(G)$, is the largest value of $t$ for which $G$ is $t$-tough. Recently, Fan, Lin and Lu [European J. Combin. 110(2023), 103701] presented sufficient conditions based on the spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough with $t\geq 1$ being an integer, respectively. In this paper, we establish sufficient conditions in terms of the distance signless Laplacian spectral radius for graphs to be 1-tough with minimum degree $δ(G)$ and graphs to be $t$-tough, where $\frac{1}{t}$ is a positive integer. Moreover, we consider the relationship between the distance signless Laplacian spectral radius and $t$-tough graphs in terms of the order $n$.
2025-04-08
Characterization of $P_3$-connected graphs
For any pair of edges $e,f$ of a graph $G$, we say that {\em $e,f$ are $P_3$-connected in $G$} if there exists a sequence of edges $e=e_0,e_1,\ldots, e_k=f$ such that $e_i$ and $e_{i+1}$ are two edges of an induced $3$-vertex path in $G$ for every $0\leq i\leq k-1$. If every pair of edges of $G$ are $P_3$-connected in $G$, then $G$ is {\em $P_3$-connected}. $P_3$-connectivity was first defined by Chudnovsky et al. in 2024 to prove that every connected graph not containing $P_5$ as an induced subgraph has cop number at most two. In this paper, we give a characterization of $P_3$-connected graphs and prove that a simple graph is $P_3$-connected if and only if it is connected and has no homogeneous set whose induced subgraph contains an edge.
2025-04-07
On canonical sandpile actions of embedded graphs
The sandpile group of a connected graph is a group whose cardinality is the number of spanning trees. The group is known to have a canonical simply transitive action on spanning trees if the graph is embedded into the plane. However, no canonical action on the spanning trees is known for the nonplanar case. We show that for any embedded Eulerian digraph, one can define a canonical simply transitive action of the sandpile group on compatible Eulerian tours (a set whose cardinality equals to the number of spanning arborescences). This enables us to give a new proof that the rotor-routing action of a ribbon graph is independent of the root if and only if the embedding is into the plane (originally proved by Chan, Church and Grochow). Recently, Merino, Moffatt and Noble defined a sandpile group variant (called Jacobian) for embedded graphs, whose cardinality is the number of quasi-trees. Baker, Ding and Kim showed that this group acts canonically on the quasitrees. We show that the Jacobian of an embedded graph is canonically isomorphic to the usual sandpile group of the medial digraph, and the action by Baker at al. agrees with the action of the sandpile group of the medial digraph on Eulerian tours (which fact is made possible by the existence of a canonical bijection between Eulerian tours of the medial digraph and quasi-trees due to Bouchet).
2025-04-06
A Note on ID-Colorings and Symmetric Colorings of Cycles
A red-white coloring of a nontrivial connected graph $G$ is an assignment of red and white colors to the vertices of~$G$. Associated with each vertex $v$ of $G$ of diameter $d$ is a $d$-vector, called the code of $v$, whose $i$th coordinate is the number of red vertices at distance $i$ from $v$. A red-white coloring of $G$ for which distinct vertices have distinct codes is called an ID-coloring of $G$. In 2025, a criterion to determine whether a red-white coloring of a path is an ID-coloring or not was presented by Kono, with the aid of a result shown by Marcelo et al. in 2024. The criterion utilizes the fact that ID-colorings of paths are ``opposite'' of colorings with a certain symmetry. In this paper, we establish a similar criterion that can be applied for cycles whose order is a prime number at least 3. In order to do so, we employ an analogous approaches used for the criterion for paths, i.e., we pay attention to symmetries of given red-white colorings of cycles.
Maximizing the number of stars in graphs with forbidden properties
Published • View Publication • BIB
Erdős proved an upper bound on the number of edges in an $n$-vertex non-Hamiltonian graph with given minimum degree and showed sharpness via two members of a particular graph family. Füredi, Kostochka and Luo showed that these two graphs play the same role when ``number of edges'' is replaced by ``number of t-stars,'' and that two members of a more general graph family maximize the number of edges among non-$k$-edge-Hamiltonian graphs. In this paper we generalize their former result from Hamiltonicity to related properties (traceability, Hamiltonian-connectedness, $k$-edge Hamiltonicity, $k$-Hamiltonicity) and their latter result from edges to $t$-stars. We identify a family of extremal graphs for each property that is forbidden. This problem without the minimum degree condition was also open; here we conjecture a complete description of the extremal family for each property, and prove the characterization in some cases. Finally, using a different family of extremal graphs, we find the maximum number of $t$-stars in non-$k$-connected graphs.
2025-04-01
A Graph Minors Approach to Temporal Sequences
Published • View Publication • BIB
We develop a structural approach to simultaneous embeddability in temporal sequences of graphs, inspired by graph minor theory. Our main result is a classification theorem for 2-connected temporal sequences: we identify five obstruction classes and show that every 2-connected temporal sequence is either simultaneously embeddable or admits a sequence of improvements leading to an obstruction. This structural insight leads to a polynomial-time algorithm for deciding the simultaneous embeddability of 2-connected temporal sequences. The restriction to 2-connected sequences is necessary, as the problem is NP-hard for connected graphs, while trivial for 3-connected graphs. As a consequence, our framework also resolves the rooted-tree SEFE problem, a natural extension of the well-studied sunflower SEFE. More broadly, our results demonstrate the applicability of graph minor techniques to evolving graph structures and provide a foundation for future algorithmic and structural investigations in temporal graph theory.
2025-04-01 v3
A Tutte-type canonical decomposition of 3- and 4-connected graphs
Published in SODA 2026, 2942-3021 [Conference Proceedings] • View Publication • BIB
We provide a unique decomposition of every 4-connected graph into parts that are either quasi-5-connected, cycles of triangle-torsos and 3-connected torsos on $\leq 5$ vertices, generalised double-wheels, or thickened $K_{4,m}$'s. The decomposition can be described in terms of a tree-decomposition but with edges allowed in the adhesion-sets. Our construction is explicit, canonical, and exhibits a defining property of the Tutte-decomposition. As a corollary, we obtain a new Tutte-type canonical decomposition of 3-connected graphs into parts that are either quasi-4-connected, generalised wheels or thickened $K_{3,m}$'s. This decomposition is similar yet different from the tri-separation decomposition. As an application of the decomposition for 4-connectivity, in a follow-up paper we obtain a new theorem characterising all vertex-transitive finite connected graphs as essentially quasi-5-connected or on a short explicit list of graphs.
Herscovici Conjecture on Pebbling
Consider a configuration of pebbles on the vertices of a connected graph. A pebbling move is to remove two pebbles from a vertex and to place one pebble at the neighbouring vertex of the vertex from which the pebbles are removed. For a positive integer $t$, with every configuration of $π_t(G)$(least positive integer) pebbles, if we can transfer $t$ pebbles to any target through a number of pebbling moves then $π_t(G)$ is called the $t$-pebbling number of $G$. We discuss the computation of the $t$-pebbling number, the $2t-$ pebbling property and Herscovici conjecture considering total graphs. \bigskip \noindent Keywords: pebbling moves, $t$- pebbling number, $2t$-pebbling property, Herscovici conjecture, total graphs.
2025-03-29 v5
Spectral condition for $k$-factor-criticality in $t$-connected graphs
Published • View Publication • BIB
A graph $G$ is called $k$-factor-critical if $G-S$ has a perfect matching for every $S\subseteq G$ with $|S|=k$. A connected graph $G$ is called $t$-connected if it has more than $t$ vertices and remains connected whenever fewer than $t$ vertices are removed. We give a condition on the number of edges and a condition on the spectral radius for $k$-factor-criticality in $t$-connected graphs.