graph
34516 papers tagged with this keyword
Tighter Bounds on the Degree-Truncated Choice Number of Planar Graphs
Assume $G$ is a graph and $k$ is a positive integer. Let $f:V(G)\to \mathbb{N}$ be defined as $f(v)=\min\{k,d_G(v)\}$. If $G$ is $f$-choosable, then we say $G$ is degree-truncated $k$-choosable. The degree-truncated choice number of $G$ is $\operatorname{ch}^{\text{\st{d}}}(G) = \min\{k: G \text{ is degree-truncated $k$-choosable}\}$. For a family $\mathcal{G}$ of graphs, $\operatorname{ch}^{\text{\st{d}}}(\mathcal{G}) = \max\{\operatorname{ch}^{\text{\st{d}}}(G):G \in \mathcal{G}\}$. Let $\mathcal{P}$ denote the family of 3-connected non-complete planar graphs. Richter asked in 2008 whether $ch^{\text{\st{d}}}(\mathcal{P}) \le 6$. In 2025, Zhou, Zhu and Zhu answered this question in negative and proved that $8 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 16$. This result was improved by
Jiang, Xu, Xu, and Zhu, who proved that
$9 \le ch^{\text{\st{d}}}(\mathcal{P}) \le 12$. In this paper,
we further improve the result and prove that
$10 \le \operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) \le 11$. We conjecture that $\operatorname{ch}^{\text{\st{d}}}(\mathcal{P}) =10$, and we confirm this conjecture for those planar graphs $G \in \mathcal{P}$ for which the subgraph induced by vertices of degree at least 11 is 4-choosable.
No three algebraic conjugates of degree sixteen sum to zero
Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.
Erdős-Hajnal beyond the five-vertex path
The well-known Erdős-Hajnal conjecture states that for any graph $H$, there is a constant $c=c(H)>0$ such that every $n$-vertex graph $G$ with no induced copies of $H$ contains a clique or an independent set of size at least $n^{c}$.
In a recent breakthrough, Nguyen, Scott and Seymour proved that Erdős-Hajnal conjecture holds for the five-vertex path (Proceedings of London Mathematical Society 2026), which implies that Erdős-Hajnal conjecture holds for every five-vertex graph. In this paper, we prove that Erdős-Hajnal conjecture holds for graphs with no induced copies of $E$-graph, where $E$-graph is the graph obtained from the five-vertex path $P_5$ by adding a pendent edge to the middle vertex of the $P_5$. Our result generalizes the result of Nguyen, Scott and Seymour on five-vertex path.
The proof uses the iterative sparsification framework proposed by Nguyen, Scott and Seymour in their series work on Erdős-Hajnal conjecture with our generalization. We first reduce Erdős-Hajnal conjecture to a property called generlaized nice, which is a generalization of the ``nice'' property used in [T.~Nguyen, A.~Scott, and P.~Seymour. Induced subgraph density. VII. The five-vertex path. {\em Proceedings of the London Mathematical Society}, 132(3):e70133, 2026]. We then reduce the generalized nice property to a new property related to a structure called comb, where comb was first used in [M.~Chudnovsky, A.~Scott, P.~Seymour, and S.~Spirkl. Erdős-Hajnal for graphs with no 5-hole. {\em Proceedings of the London Mathematical Society}, 126(3): 997-1014, 2023]. Finally, we show that $E$-graph satisfies the desired property via a careful structural analysis imposed by the forbidden induced subgraph. One key step in the proof is to prove, via defining appropriate equivalence relations, that certain auxiliary graph satisfies the Erdős-Hajnal conjecture.
Periodic discrete graphs with prescribed spectrum
We construct a periodic weighted graph whose discrete Laplacian has a spectrum with precisely $n$ gaps. Moreover, we show that by an appropriate choice of the weights, the endpoints of these gaps, as well as the upper edge of the spectrum, attain the prescribed values. The underlying graph has a brush-like geometry: it consists of an infinite chain of vertices, each of which is connected to $n$ additional pendant vertices by extra edges. Semi-explicit formulae for the weight coefficients are provided: some of the coefficients are determined explicitly, while others are given as roots of an explicitly determined polynomial.
Temporal matching in trees
We study maximum matching problems in temporal graphs whose underlying graph is a tree. We consider two temporal models. In a $Δ$-matching, selected time edges sharing an endpoint must have time ticks differing by at least $Δ$. In a $γ$-matching, the selected objects are blocks of $γ$ consecutive appearances of the same underlying edge. We also consider the related ordered static problem of $d$-distance matchings.
We show that maximum $Δ$-matching remains NP-hard on temporal trees for every $Δ\geq 2$, even in the sparse case where each edge appears at most twice. Using a reduction between the temporal models, we obtain the analogous result for maximum $γ$-matching on temporal trees, even when each edge admits at most two $γ$-edges. We also show, via a reduction from $d$-distance matching, that maximum $γ$-matching is APX-hard even when the underlying graph is bipartite.
Complementing these hardness results, we identify several tractable cases. We prove that maximum $Δ$-matching is polynomial-time solvable on temporal trees in which every edge appears exactly once, and that maximum $γ$-matching is polynomial-time solvable when each edge admits at most one $γ$-edge. We also give dynamic-programming algorithms under bounded local-use and local-sparsity assumptions, and derive polynomial-time solvability of maximum $d$-distance matching when the input bipartite graph is a tree. Finally, we prove that both maximum $Δ$-matching and maximum $γ$-matching admit polynomial-time approximation schemes on temporal trees.
On linear $k$-graphs with codegree Turán density arbitrarily close to zero
Let $F$ be a $k$-uniform hypergraph, abbreviated as $k$-graph. The codegree Turán density $π_{\mathrm{co}}(F)$ is the supremum over all $γ\in [0,1]$ such that, for arbitrarily large $n$, there exists an $n$-vertex $F$-free $k$-graph $H$ whose every $(k-1)$-subset of vertices lies in at least $γn$ edges. In this paper, we prove that there is a linear $k$-graph $F$ with $0<π_{co}(F) < \varepsilon$ for any $\varepsilon>0$. The special case $k=3$ solve a question proposed by Ding, Lamaison, Liu, Wang and Yang (JLMS, 2025).
Size Ramsey minimal graphs for star forests
For given graphs $G_{1}, G_{2}, \dots, G_{t}$ and $G$, let $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ denote that each $t$-coloring of $E(G)$ yields a monochromatic copy of $G_{i}$ in color $i$ for some $i\in [t]$. The {\it size Ramsey number} $\hat{r}(G_{1}, G_{2}, \dots, G_{t})$ is the minimum size of $G$ such that $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$. A graph $G$ is a {\it size Ramsey minimal graph} for $(G_{1}, G_{2}, \dots, G_{t})$ if $G\rightarrow (G_{1}, G_{2}, \dots, G_{t})$ and $e(G)= \hat{r}(G_{1}, G_{2}, \dots, G_{t})$. A {\it star forest} is a vertex-disjoint union of stars, and a {\it uniform star forest} is a star forest with the same size of each component. In 1978, Burr, Erdős, Faudree, Rousseau and Schelp, and in 2025, Davoodi, Javadi, Kamranian and Raeisi completely characterized the size minimal graphs for uniform star forests. In this paper, we completely characterize the size Ramsey minimal graphs for uniform star forests in multicolors.
On Isomorphism theorem of the Comparability Graph of Lattices
In recent years, researchers have actively contributed to the field of graphs associated with algebraic structures and ordered structures. It is a fundamental question to ask whether we infer algebraic or ordered structure from associated graphs and vice versa. In this paper, we gave characterizations about comparability graphs and associated lattices. In particular, we determined some properties of lattices that are preserved under the graph isomorphism. We have also provided a technique to construct non-isomorphic lattices with isomorphic comparability graphs. Also, we find two classes of lattices in which the graph isomorphism gives the lattice isomorphism.
Stacking and Clearing in Directed Graph Pebbling
Suppose that pebbles are distributed on the vertices of a directed graph D. A directed pebbling step u -> v along an arc u -> v removes two pebbles from u and places one pebble on v. We study the stacking number stack(D), the least integer t >= 2 such that every configuration with t pebbles can be transformed by a finite sequence of pebbling steps into a configuration with all pebbles on a single vertex, and the clearing number clear(D), defined analogously by requiring a final configuration with one pebble.
Our main result is the formula stack(C_n) = n(2^{n-1}-1)+1 for the directed n-cycle C_n, for n >= 2. We also prove that, for finite simple digraphs with at least two vertices, stack(D) is defined precisely for strongly connected digraphs, and clear(D) is defined precisely for strongly connected digraphs whose directed cycle lengths have greatest common divisor 1.
Combinatorial and analytic aspects of independence polynomials of zero divisor graphs
The independence polynomial of a graph encapsulates all independent sets of differing sizes, a task classified as NP-hard in theoretical computer science. This article examines the independence polynomial of zero divisor graphs in commutative rings. We demonstrate that the independent sets, represented as a sequence of coefficients of the independence polynomial, exhibit unimodality and log-concavity. Therefore, for the independence polynomial of some zero divisor graphs, the unimodal conjecture is true. Additionally, the characteristics of the zeros of the independence polynomial are delineated, along with their corresponding annular regions on the plane.
The minimum degree question for the Maker Breaker Domination Game
The Maker Breaker Domination Game is a two player game played on a graph $G$ in which the players take turns to claim a vertex from the graph. The aim of the Dominator is to claim the vertices of a dominating set, and the aim of the Staller is to prevent this. In this paper, we consider the following problem: for a given integer $d$, what is the size of the smallest (with respect to the number of vertices) graph with minimum degree $d$ such that the Dominator loses going first? We write $β(d)$ to denote the answer to this question. We determine the precise value of $β(d)$ for $d\leq 3$. For general $d$ it was known that $2^{d+1} \leq β(d) \leq 2^{d+1}+2d$; the upper bound is due to a construction communicated to us by Valentin Gledel, while the lower bound follows from a simple application of the Erdős-Selfridge Theorem. We improve the lower bound to $β(d) \geq 2^{d+1}+2$.
Spectral bounds for distance coloring and packing parameters of graphs via semidefinite programming
Using methods from spectral graph theory and semidefinite programming, we obtain sharp spectral bounds for several graph parameters related to distance colorings and packing, including the injective chromatic number, the open packing number, the injective chromatic index, and the strong chromatic index. The new spectral bounds improve several existing combinatorial bounds. Furthermore, we apply the obtained eigenvalue bounds on the first two parameters to estimate the code covering number and the open packing number of hypercubes, obtaining new exact values and strengthened bounds regarding the existing literature. The obtained results illustrate the power of combining spectral and semidefinite programming tools for tackling coloring and packing problems in graph theory and coding theory.
Localization of spectral Turán theorems for signed graphs
In this paper, we extend localized Turán theorems to signed graphs and study the corresponding spectral Turán problems. Firstly, we establish a vertex-localized Turán-type inequality for signed graphs and characterize the extremal graphs reaching this bound. Secondly, we derive a sharp upper bound for the largest eigenvalue of a signed graph via localized Turán parameters, and identify the extremal graphs attaining equality. Finally, we generalize a walk-based local spectral Turán inequality to signed graphs. Our results generalize and improve several existing theorems for unsigned and signed graphs.
Temporal Cliques Admit Linear Spanners
A temporal graph is a graph in which every edge carries a non-empty set of time labels, and it is temporally connected if for every two vertices $u$ and $v$, there exists a $u$-$v$-path with non-decreasing time labels. A spanner is a subset of its edges preserving temporal connectivity. Unlike static graphs, temporally connected graphs need not admit sparse spanners; nonetheless, minimizing spanner size is a central and widely studied problem. A particularly intriguing question is whether temporal cliques admit spanners of linear size. Despite considerable effort over the past years, the best known upper bound remained $O(n \log n)$. We finally resolve this question, proving that every temporal clique on $n$ vertices admits a spanner of size $7n$. Moreover, such a spanner can be computed in polynomial time.
The Terwilliger algebra for the distance-regular graphs with valency three
In this paper, we discuss a family of highly regular graphs, said to be distance-regular. We are particularly interested in the distance-regular graphs with valency three. It is known that there exist exactly 13 such graphs. Let $Γ$ denote a distance-regular graph with vertex set $X$. For any vertex $x \in X$, the corresponding Terwilliger algebra $T=T(x)$ is generated by the adjacency algebra $M$ of $Γ$ and the dual adjacency algebra $M^*=M^*(x)$ of $Γ$ with respect to $x$. It is known that the algebra $T$ is semisimple. By construction, the vector space $V=\mathbb{C}^X$ is a module for $T$, said to be standard. In this paper we have the following goal. For each of the 13 distance-regular graphs $Γ$ with valency three, we will decompose the standard module $V$ into a direct sum of irreducible $T$-modules. Using this information, we will work out the dimension of $T$.
Impartial geodetic removing games on graphs
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the subset. The convex hull of a set of vertices is the smallest convex set containing the set. We study two games in which two players take turns selecting vertices of a graph until the convex hull of the jointly unselected vertices is too small. The last player to move is the winner. The achievement game ends when the convex hull of the jointly unselected vertices is not the vertex set. In the avoidance game, the convex hull of the jointly unselected vertices must always be the vertex set. We study the nim-values for several graph families, including cycle graphs, hypercube graphs, complete multipartite graphs, wheel graphs, generalized wheel graphs, and graphs with a unique minimal generating set.
Cubic graphs, $S$-minors and conformal minors
It is well-known that any class of simple graphs, that is characterized by finitely many forbidden minors, also admits a characterization by finitely many forbidden topological minors; furthermore, the list of forbidden topological minors may be derived from the list of forbidden minors.
We prove a similar result in Matching Theory. Our Main Theorem states that any class of matching covered graphs, that is characterized by finitely many forbidden $S$-minors that are cubic, also admits a characterization by finitely many forbidden conformal minors that are cubic as well; once again, the list of forbidden conformal minors may be derived from the list of forbidden $S$-minors.
In order to establish the above, we first prove that every matching covered graph has one of two graphs as a conformal minor -- either $K_4$, or the $Θ$ graph (that is, two vertices joined by three edges). (In fact, we need and prove a much stronger statement.) This is reminiscent of a theorem due to Lovász: every nonbipartite matching covered graph has one of two graphs as a conformal minor -- either $K_4$, or the triangular prism $\overline{C_6}$.
As applications of our Main Theorem, we deduce known 'forbidden conformal minor characterizations' of pfaffian near-bipartite graphs, and of pfaffian solid graphs, using their respective known 'forbidden $S$-minor characterizations'.
A Structural Approach to Burning Number
Graph burning is a deterministic discrete-time process that models the propagation of information within a network as a set of fires that spread in a graph. The associated graph parameter, the burning number, measures the speed of that spread. The smaller the burning number of a graph is, the faster information spreads in the corresponding network. In this paper, we mainly study the burning number from a structural point of view. In particular, we structurally characterize all graphs with burning number 2. We then proceed to compute the burning number of split graphs and $\{ K_2+2K_1, P_4, C_4\}$-free graphs. In particular, we show that connected split graphs and connected $\{ K_2+2K_1, P_4, C_4\}$-free graphs are well-burnable. Lastly, we provide a blueprint on how to investigate the burning number of a given social network.
Recurrence and coefficient inequality for the partial Petrial polynomial of graphs
The partial Petrial polynomial of a ribbon graph, introduced by Gross, Mansour and Tucker, enumerates partial Petrials by Euler genus. Recently, Deng, Jin and Yan defined an analogue for grafts and showed that it can be expressed as a rank-generating function of an adjacency matrix. In this paper we first prove a recurrence relation that reduces the partial Petrial polynomial of a graph with respect to an arbitrary edge, expressing it as a sum of three terms involving graphs obtained by local complementation and edge pivoting. This recurrence extends the known leaf-reduction formula to vertices of any positive degree. Second, using this recurrence we compare the lowest and highest degree coefficients of the polynomial. We prove that the lowest coefficient is always at most the highest coefficient, and that equality holds if and only if the graph has no edges.
Characterization and chromatic number of triangle-free graphs with diameter 2
In this paper, we consider triangle-free graphs with diameter 2. If a triangle-free graph $G$ with diameter 2 is not isomorphic to a star, then the radius of $G$ is also 2, where such a graph is also called a $2$-self-centered graph. Shekarriz et al. [A characterization for 2-self-centered graphs, Discuss. Math. Graph Theory 38 (2018), 27--37.] gave a characterization of 2-self-centered graphs. However, there is a slight flaw in their characterization. Thus, in this paper, we modify it and prove an accurate characterization of those graphs. Furthermore, by using our characterization, we prove some results concerning the chromatic number of triangle-free graphs with diameter 2.