graph
34516 papers tagged with this keyword
Proper conflict-free choosability of planar graphs
A proper conflict-free coloring of a graph is a proper vertex coloring wherein each non-isolated vertex's open neighborhood contains at least one color appearing exactly once. For a non-negative integer $k$, a graph $G$ is said to be proper conflict-free (degree+$k$)-choosable if given any list assignment $L$ for $G$ where $|L(v)| = d(v) + k$ holds for every vertex $v \in V(G)$, there exists a proper conflict-free coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for all $v \in V(G)$. Recently, Kashima, Škrekovski, and Xu proposed two related conjectures on proper conflict-free choosability: the first asserts the existence of an absolute constant $k$ such that every graph is proper conflict-free (degree+$k$)-choosable, while the second strengthens this claim by restricting to connected graphs other than the cycle of length 5 and reducing the constant to $k=2$. In this paper, we confirm the second conjecture for three graph classes: $K_4$-minor-free graphs with maximum degree at most 4, outer-1-planar graphs with maximum degree at most 4, and planar graphs with girth at least 12; we also confirm the first conjecture for these same graph classes, in addition to all outer-1-planar graphs (without degree constraints). Moreover, we prove that planar graphs with girth at least 12 and outer-1-planar graphs are proper conflict-free $6$-choosable.
Fast algorithm for $S$-packing coloring of Halin graphs
Motivated by frequency assignment problems in wireless broadcast networks, Goddard, Hedetniemi, Hedetniemi, Harris, and Rall introduced the notion of $S$-packing coloring in 2008. Given a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of its vertex set into $k$ subsets $\{V_1, V_2, \ldots, V_k\}$ such that for each $1 \leq i \leq k$, the distance between any two distinct vertices $u, v \in V_i$ is at least $s_i + 1$. In this paper, we study the $S$-packing coloring problem for Halin graphs with maximum degree $Δ\leq 5$. Specifically, we present a linear-time algorithm that constructs a $(1,1,2,2,2)$-packing coloring for any Halin graph satisfying $Δ\leq 5$. It is worth noting that there are Halin graphs that are not $(1,2,2,2)$-packing colorable.
Exact rainbow numbers of cycle-related graphs in multi-hubbed wheels
The rainbow number ${\rm rb}(G, H)$ is the minimum number of colors $k$ for which any edge-coloring of $G$ with at least $k$ colors guarantees a rainbow subgraph isomorphic to $H$. The rainbow number has many applications in diverse fields such as wireless communication networks, cryptography, bioinformatics, and social network analysis. In this paper, we determine the exact rainbow number $\mathrm{rb}(G, H)$ where $G$ is a multi-hubbed wheel graph $W_d(s)$, defined as the join of $s$ isolated vertices and a cycle $C_d$ of length $d$ (i.e., $W_d(s) = \overline{K_s} + C_d$), and $H = θ_{t,\ell}$ represents a cycle $C_t$ of length $t$ with $0 \leq \ell \leq t-3$ chords emanating from a common vertex, by establishing \[ {\rm rb}(W_{d}(s), θ_{t,\ell}) = \begin{cases} \left\lfloor \dfrac{2t - 5}{t - 2}d \right\rfloor + 1, & \text{if } \ell=t-3,~s = 1 \text{ and } t\ge 4, \\[10pt] \left\lfloor \dfrac{3t-10}{t - 3}d \right\rfloor + 1, & \text{if } \ell=t-3,~s = 2\text{ and } t\ge 6,\\[10pt] \left\lfloor \dfrac{(s + 1)t - (3s + 4)}{t - 3}d \right\rfloor + 1, & \text{if } \ell=t-3,~s \geq 3\text{ and } t\ge 7,\\[10pt] \left\lfloor \dfrac{2t - 7}{t - 3}d \right\rfloor + 1, & \text{if } s = 1 \text{ and } t\ge \max\{5,\ell+4\}, \end{cases} \] when $d\geq 3t-5$, with all bounds for the parameter $t$ presented here being tight. This addresses the problems proposed by Jakhar, Budden, and Moun (2025), which involve investigating the rainbow numbers of large cycles and large chorded cycles in wheel graphs (specifically corresponding to the cases in our framework where $s=1$ and $\ell\in \{0,1\}$). Furthermore, it completely determines the rainbow numbers of cycles of arbitrary length in large wheel graphs, thereby generalizing a result of Lan, Shi, and Song (2019).
Improved Erdős-Pósa inequalities for odd cycles in planar graphs
In an undirected graph, the odd cycle packing number is the maximum number of pairwise vertex-disjoint odd cycles. The odd cycle transversal number is the minimum number of vertices that hit every odd cycle. The maximum ratio between transversal and packing number is called Erdős-Pósa ratio. We show that in planar graphs, this ratio does not exceed 4. This improves on the previously best known bound of 6 by Král', Sereni and Stacho.
Lovász--Saks--Schrijver Ideals and the Irreducible Components of the Variety of Orthogonal Representations of a Graph
Given a finite simple graph $G$ and a positive integer $d$, one can associate to $G$ the Lovász--Saks--Schrijver ideal $L_{G}(d)$, an ideal generated by quadratic polynomials coming from orthogonality conditions. The corresponding variety $\mathbb{V}(L_{G}(d))$, denoted $\mathrm{OR}_{d}(\overline{G})$, is the variety of orthogonal representations of the complement graph $\overline{G}$: its points are maps from the vertex set of $G$ to $\mathbb{K}^{d}$ that send adjacent vertices of $G$ to orthogonal vectors. In this paper we study the irreducible decomposition of $\mathrm{OR}_{d}(\overline{G})$ and the primary decomposition of $L_{G}(d)$. Our main focus is the case in which $G$ is a forest. Under this assumption, we determine the irreducible components of $\mathrm{OR}_{d}(\overline{G})$, compute their dimensions, and describe their defining equations, thereby obtaining the primary decomposition of $L_{G}(d)$. The key ingredient is a matroid-theoretic framework in which we associate to every forest $G$ a paving matroid $\mathcal{M}(G)$.
Computing parameters that generalize interval graphs using restricted modular partitions
Recently, Lafond and Luo [MFCS 2023] defined the $\mathcal{G}$-modular cardinality of a graph $G$ as the minimum size of a partition of $V(G)$ into modules that belong to a graph class $\mathcal{G}$. We analyze the complexity of calculating parameters that generalize interval graphs when parameterized by the $\mathcal{G}$-modular cardinality, where $\mathcal{G}$ corresponds either to the class of interval graphs or to the union of complete graphs. Namely, we analyze the complexity of computing the thinness and the simultaneous interval number of a graph.
We present a linear kernel for the Thinness problem parameterized by the interval-modular cardinality and an FPT algorithm for Simultaneous Interval Number when parameterized by the cluster-modular cardinality plus the solution size. The interval-modular cardinality of a graph is not greater than the cluster-modular cardinality, which in turn generalizes the neighborhood diversity and the twin-cover number. Thus, our results imply a linear kernel for Thinness when parameterized by the neighborhood diversity of the input graph, FPT algorithms for Thinness when parameterized by the twin-cover number and vertex cover number, and FPT algorithms for Simultaneous Interval Number when parameterized by the neighborhood diversity plus the solution size, twin-cover number, and vertex cover number. To the best of our knowledge, prior to our work no parameterized algorithms (FPT or XP) for computing the thinness or the simultaneous interval number were known.
On the negative side, we observe that Thinness and Simultaneous Interval Number parameterized by treewidth, pathwidth, bandwidth, (linear) mim-width, clique-width, modular-width, or even the thinness or simultaneous interval number themselves, admit no polynomial kernels assuming NP $\not\subseteq$ coNP/poly.
A solution to Godsil's conjecture on the edge-connectivity of graphs in association schemes
A graph $G$ is called equiarboreal if the number of spanning trees containing a given edge in $G$ is independent of the choice of edge. In [Combinatorica 1(2) (1981) 163--167], Godsil proved that any graph which is a colour class in an association scheme is equiarboreal, and further conjectured that the edge-connectivity of a connected graph which is a colour class in an association scheme equals its vertex degree. In this paper, we confirm this long-standing conjecture. More generally, we prove an even stronger result that the edge-connectivity of a connected regular equiarboreal graph equals its degree by combinatorial and electrical network approaches. As a consequence, we show that every connected regular equiarboreal graph on an even number of vertices has a perfect matching.
Spectral supersaturation for color-critical graphs
A graph is color-critical if it contains an edge whose deletion reduces its chromatic number. This class of graphs, including cliques and odd cycles, plays a central role in extremal graph theory. In this paper, following an influential line of research initiated by Bollobás-Nikiforov, we study the spectral supersaturation problem for color-critical graphs. Let $T_{n,r}$ be the $r$-partite Turán graph, let $\mathcal{T}_{n,r,q}$ denote the family of graphs obtained from $T_{n,r}$ by adding $q$ edges, and let $λ(G)$ be the spectral radius of a graph $G$. We first prove that for any color-critical graph $F$ with chromatic number $r+1$, there exists $δ_F > 0$ such that for sufficiently large $n$ and all $1 \leq q \leq δ_F \sqrt{n}$, any $n$-vertex graph $G$ with $λ(G) \ge \min_{T \in \mathcal{T}_{n,r,q}} λ(T)$ contains at least $q \cdot c(n,F)$ copies of $F$, where $c(n,F)$ denotes the minimum number of copies of $F$ created by adding a single edge to $T_{n,r}$; moreover, any extremal graph $G$ must belong to $ \mathcal{T}_{n,r,q}$.Next, we prove a spectral supersaturation result for the analogous condition $λ(G) \ge \max_{T \in \mathcal{T}_{n,r,q}} λ(T)$, valid for all $1 \leq q \leq δ_F n$. Together, these results provide a complete resolution to a problem proposed by Ning-Zhai, and establish a spectral counterpart to the well-known results of Mubayi and Pikhurko-Yilma in the extremal supersaturation setting. A notable feature of our first result is that the restriction $q = O(\sqrt{n})$ is tight up to a constant factor, in contrast to the linear bounds provided by other settings discussed above. As applications, we extend a result of Liu-Mubayi, and solve a related conjecture by Li-Lu-Peng.
Distinctive power and comparability of Harary polynomial
Let $\mathcal{P}$ be a graph property. A $\mathcal{P}$-coloring with at most $k$ colors is a coloring of the vertices of a simple graph $G$ such that each color class induces a graph in $\mathcal{P}$. Harary polynomials are generalizations of the chromatic polynomial for simple graphs based on conditional colorings. We denote by $χ_{\mathcal{P}}(G; k)$ the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. $χ_{\mathcal{P}}(G; k)$ is a polynomial in $\Z[k]$. A first paper studying Harary polynomials systematically was published in 2021 by O.Herscovici, J.A. Makowsky and V. Rakita. It studies under which conditions on $\mathcal{P}$ is $χ_{\mathcal{P}}(G; k)$ definable in Monadic Second Order Logic and under which conditions is $χ_{\mathcal{P}}(G; k)$ a chromatic invariant. Let $\mathcal{P}, \mathcal{Q}$ be two graph properties. Two graphs $G, H$ are $\mathcal{P}$-mates if $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$, $χ_{\mathcal{P}} \leq χ_{\mathcal{Q}}$, if for all graphs $G, H$ we have that $χ_{\mathcal{Q}}(G; k) = χ_{\mathcal{Q}}(H; k)$ implies $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. In this paper we study under which conditions on $\mathcal{P}$ are there any (many) $\mathcal{P}$-mates and under which conditions on $\mathcal{P}, \mathcal{Q}$ is $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$.
Roman domination in weighted graphs
A Roman dominating function for a (non-weighted) graph $G=(V,E)$, is a function $f:V\rightarrow \{0,1,2\}$ such that every vertex $u\in V$ with $f(u)=0$ has at least {one} neighbor $v\in V$ such that $f(v)=2$. The minimum weight $\sum_{v\in V}f(v)$ of a Roman {dominating function} $f$ on $G$ is called the Roman domination number of $G$ and is denoted by $γ_{R}(G)$. A graph {$G= (V,E)$} together with a positive real-valued weight-function $w:V\rightarrow \mathbf{R}^{>0}$ is called a {\it weighted graph} and is denoted by $(G;w)$. The minimum weight $\sum_{v\in V}f(v)w(v)$ of a Roman {dominating function} $f$ on $G$ is called the weighted Roman domination number of $G$ and is denoted by $γ_{wR}(G)$. The domination and Roman domination numbers of unweighted graphs have been extensively studied, particularly for their applications in bioinformatics and computational biology. However, graphs used to model biomolecular structures often require weights to be biologically meaningful. In this paper, we initiate the study of the weighted Roman domination number in weighted graphs. We first establish several bounds for this parameter and present various realizability results. Furthermore, we determine the exact values for several well-known graph families and demonstrate an equivalence between the weighted Roman domination number and the differential of a weighted graph.
The trinacria graphs $T_{(b+2)b2}$ are $e$-positive
In this paper, we identify a new family of $e$-positive graphs, called the trinacria graphs $T_{(b+2)b2}$, thereby providing a partial answer to Stanley's question on which graphs are $e$-positive. The trinacria graph $T_{abc}$ is the graph on $a+b+c+3$ vertices obtained by attaching paths $P_a$, $P_b$ and~$P_c$ to the vertices of a triangle, respectively. Our proof relies on several ad hoc combinatorial ideas, and employs divide-and-conquer techniques, charging arguments, and progressive repair methods.
First-Order Logic and Twin-Width for Some Geometric Graphs
For some geometric graph classes, tractability of testing first-order formulas is precisely characterised by the graph parameter twin-width. This was first proved for interval graphs among others in [BCKKLT, IPEC '22], where the equivalence is called delineation, and more generally holds for circle graphs, rooted directed path graphs, and $H$-graphs when $H$ is a forest. Delineation is based on the key idea that geometric graphs often admit natural vertex orderings, allowing to use the very rich theory of twin-width for ordered graphs.
Answering two questions raised in their work, we prove that delineation holds for intersection graphs of non-degenerate axis-parallel unit segment graphs, but fails for visibility graphs of 1.5D terrains. We also prove delineation for intersection graphs of circular arcs.
Benign Nonconvexity of Synchronization Landscape Induced by Graph Skeletons
We consider the homogeneous Kuramoto model on a graph and study the geometry of its associated nonconvex energy landscape. This problem admits a dual interpretation. On the one hand, it can be viewed as a geometric optimization problem, seeking configurations of phases that minimize the energy function $E(\boldsymbolθ):=-\sum_{1\leq i,j\neq n}A_{ij}\cos(θ_i-θ_j)$. On the other hand, the same function serves as the potential governing the dynamics of the classical homogeneous Kuramoto model. A central question is to identify which graphs induce a benign energy landscape, in the sense that every second-order stationary point is a global minimizer, corresponding to the fully synchronized state. In this case, the graph is said to be globally synchronizing. Most existing results establish global synchronization by relating a given graph to the complete graph, which is known to be globally synchronizing, and by showing that graphs sufficiently close to it inherit this property. In contrast, we uncover a fundamentally different mechanism: global synchronization, despite being a collective phenomenon, unfolds on these graphs through a sequential process of local synchronization that propagates along their structural skeletons. Our approach is based on a detailed analysis of the phasor geometry at second-order stationary points of the nonconvex energy landscape.
An alternative characterisation of graphs quasi-isometric to graphs of bounded treewidth
Quasi-isometry is a measure of how similar two graphs are at `large-scale'. Nguyen, Scott, and Seymour [arXiv:2501.09839] and Hickingbotham [arXiv:2501.10840] independently gave a characterisation of graphs quasi-isometric to graphs of treewidth $k$. In this paper, we give a new characterisation of such graphs. Specifically, we show that such graphs $G$ are characterised by the existence of a partition whose quotient has treewidth at most $k$ and such that each part has bounded weak diameter in $G$. The primary contribution of our characterisation is a structural description of graphs that admit such a quasi-isometry. This differs from the characterisation mentioned above, which primarily shows the existence of such a quasi-isometry. The characterisations are complementary, and neither immediately implies the other.
Acyclic subgraphs of digraphs with high chromatic number
Published in European Journal of Combinatorics, 2026
• View Publication
• BIB
For a digraph $G$, let $f(G)$ be the maximum chromatic number of an acyclic subgraph of $G$. For an $n$-vertex digraph $G$ it is proved that $f(G) \ge n^{5/9-o(1)}s^{-14/9}$ where $s$ is the bipartite independence number of $G$, i.e., the largest $s$ for which there are two disjoint $s$-sets of vertices with no edge between them. This generalizes a result of Fox, Kwan and Sudakov, who proved this for the case $s=0$ (i.e., tournaments and semicomplete digraphs). Consequently, if $s=n^{o(1)}$, then $f(G) \ge n^{5/9-o(1)}$ which polynomially improves the folklore bound $f(G) \ge n^{1/2-o(1)}$. As a corollary, with high probability, all orientations of the random $n$-vertex graph with edge probability $p=n^{-o(1)}$ (in particular, constant $p$, hence almost all $n$-vertex graphs) satisfy $f(G) \ge n^{5/9-o(1)}$. Our proof uses a theorem of Gallai and Milgram that together with several additional ideas, essentially reduces to the proof of Fox, Kwan and Sudakov.
Topological properties of generalized Markoff mod $p$ graphs
The generalized Markoff mod $p$ graph is defined via the equation $x^2+y^2+z^2=xyz+κ$ over the finite field $\mathbb{F}_p$ of prime order $p$. In this paper, we investigate the topological properties of the graph such as non-planarity, surface embeddability, and the existence of short cycles. Our approach is based on a systematic construction of $K_{3,3}$-subdivisions, integrating techniques from graph theory, computer algebra, and number theory.
Repeat times and a two-weight UST model
We study a model of random weighted uniform spanning trees on the complete graph with $n$ vertices, where each edge is assigned a weight of $n^{1+γ}$ with probability $1/n$ and $1$ otherwise. Whenever $γ$ is large enough, we prove that the diameter of the resulting tree is typically of order $n^{1/3} \log n$, up to a $\log \log n$ correction. Our approach uses estimates on repeat times for selecting components in a critical Erdős-Rényi graph, as well as concentration bounds on the sums of diameters of these components.
Generalized binomial edge ideals are Cartwright-Sturmfels
Binomial edge ideals associated to a simple graph G were introduced by Herzog and collaborators and, independently, by Ohtani. They became an ``instant classic" in combinatorial commutative algebra with more than 100 papers devoted to their investigation over the past 15 years. They exhibit many striking properties, including being radical and, moreover, Cartwright-Sturmfels. Using the fact that binomial edge ideals can be seen as ideals of 2-minors of a matrix of variables with two rows, generalized binomial edge ideals of 2-minors of matrices of m rows were introduced by Rauh and proved to be radical. The goal of this paper is to prove that generalized binomial edge ideals are Cartwright-Sturmfels. On the way we provide results on ideal constructions preserving the Cartwright-Sturmfels property. We also give examples and counterexamples to the Cartwright-Sturmfels property for higher minors.
On distance transitive graphs and $4$-geodesic transitive graphs
For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ composed of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path between $u_0$ and $u_s$. We say that $Γ$ is {\em $s$-geodesic transitive} if for each $i\leq s$, $Γ$ contains at least one $i$-geodesic, and its automorphism group acts transitively on the set of all $i$-geodesics. In this paper, by using the classification of almost simple primitive groups of rank $4$, we first classify all distance transitive graphs of diameter $3$. The resulting classification encompasses $73$ classes of graphs. As an application of this result, we have extended the main result of Jin and Tan [J. Algebra Combin. 60 (2024) 949--963]. More precisely, for a connected $(G,4)$-geodesic transitive graph with a nontrivial intransitive normal subgroup $N$ of $G$ that has at least $3$ orbits, where $G$ is an automorphism group of $Γ$, it is shown that either both $Γ$ and $Γ_N$ are known, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,4)$-geodesic transitive.
On the Density of Self-identifying Codes in $K_m \times P_n$ and $K_m \times C_n$
We study the asymptotic density of self-identifying codes in the direct product graphs $K_m \times P_n$ and $K_m \times C_n$ (the direct product of complete graphs with paths and cycles). A self-identifying code is a dominating set $S$ where each vertex $u$ (in $G$) is uniquely determined by the intersection $\bigcap_{c \in N[u] \cap S} N[c]$. Let $γ^{\rm SID}(G)$ denote its minimum size. For these product graphs, we establish new lower and upper bounds on $γ^{\rm SID}$. Crucially, from these bounds we prove that the asymptotic density $γ^{\rm SID}(G) / |V(G)|$ of a smallest self-identifying code converges to 1/3 for both families of graphs. This value matches the known asymptotic density of standard identifying codes in the same graphs, as established by Shinde and Waphare. Our result therefore shows that the stronger self-identifying constraint does not necessitate a higher density of vertices in this product setting.