graph
34516 papers tagged with this keyword
$K_4^-$-free triple systems without large stars in the complement
The $n$-star $S_n$ is the $n$-vertex triple system with ${n-1 \choose 2}$ edges all of which contain a fixed vertex, and $K_4^-$ is the unique triple system with four vertices and three edges. We prove that the Ramsey number $r(K_4^-, S_n)$ has order of magnitude $n^2 /\log n$.
This confirms a conjecture of Conlon, Fox, He, Suk, Verstraëte and the first author. It also generalizes the well-known bound of Kim for the graph Ramsey number $r(3,n)$, as the link of any vertex in a $K_4^-$-free triple system is a triangle-free graph. Our method builds on the approach of Guo and Warnke who adapted Kim's lower bound for $r(3,n)$ to the pseudorandom setting.
Toric ideals of graphs minimally generated by a Gröbner basis
Describing families of ideals that are minimally generated by at least one, or by all, of their reduced Gröbner bases is a central topic in commutative algebra. In this paper, we address this problem in the context of toric ideals of graphs. We say that a graph $G$ is an MG-graph if its toric ideal $I_G$ is minimally generated by some Gröbner basis, and a UMG-graph if every reduced Gröbner basis of $I_G$ forms a minimal generating set. We prove that a graph $G$ is a UMG-graph if and only if its toric ideal $I_G$ is a generalized robust ideal (that is, its universal Gröbner basis coincides with its universal Markov basis). Although the class of MG-graphs is not closed under taking subgraphs, we prove that it is hereditary, that is, closed under taking induced subgraphs. In addition, we describe two families of bipartite MG-graphs: ring graphs (which correspond to complete intersection toric ideals, as shown by Gitler, Reyes, and Villarreal) and graphs in which all chordless cycles have the same length. The latter extends a result of Ohsugi and Hibi, which corresponds to graphs whose chordless cycles are all of length $4$.
Strengthening Wilf's lower bound on clique number
Given an integer $k$, deciding whether a graph has a clique of size $k$ is an NP-complete problem. Wilf's inequality provides a spectral bound for the clique number of simple graphs. Wilf's inequality is stated as follows: $\frac{n}{n - λ_{1}} \leq ω$, where $λ_1$ is the largest eigenvalue of the adjacency matrix $A(G)$, $n$ is the number of vertices in $G$, and $ω$ is the clique number of $G$. Strengthening this bound, Elphick and Wocjan proposed a conjecture in 2018, which is stated as follows: $\frac{n}{n - \sqrt{s^{+}}} \leq ω$, where $s^+ = \sum_{λ_{i} > 0} λ_{i}^2$ and $λ_i$ are the eigenvalues of $A(G)$. In this paper, we have settled this conjecture for some classes of graphs, such as conference graphs, strongly regular graphs with $λ= μ$ (i.e., $srg(n, d, μ, μ)$) and $n\geq 2d$, the line graph of $K_{n}$, the Cartesian product of strongly regular graphs, and Ramanujan graph with $n\geq 11d$.
The Minimum Eternal Vertex Cover Problem on a Subclass of Series-Parallel Graphs
Eternal vertex cover is the following two-player game between a defender and an attacker on a graph. Initially, the defender positions k guards on k vertices of the graph; the game then proceeds in turns between the defender and the attacker, with the attacker selecting an edge and the defender responding to the attack by moving some of the guards along the edges, including the attacked one. The defender wins a game on a graph G with k guards if they have a strategy such that, in every round of the game, the vertices occupied by the guards form a vertex cover of G, and the attacker wins otherwise. The eternal vertex cover number of a graph G is the smallest number k of guards allowing the defender to win and Eternal Vertex Cover is the problem of computing the eternal vertex cover number of the given graph.
We study this problem when restricted to the well-known class of series-parallel graphs. In particular, we prove that Eternal Vertex Cover can be solved in linear time when restricted to melon graphs, a proper subclass of series-parallel graphs. Moreover, we also conjecture that this problem is NP-hard on series-parallel graphs.
Finding large $k$-colorable induced subgraphs in (bull, chair)-free and (bull,E)-free graphs
We study the Max Partial $k$-Coloring problem, where we are given a vertex-weighted graph, and we ask for a maximum-weight induced subgraph that admits a proper $k$-coloring. For $k=1$ this problem coincides with Maximum Weight Independent Set, and for $k=2$ the problem is equivalent (by complementation) to Minimum Odd Cycle Transversal. Furthermore, it generalizes $k$-Coloring. We show that Max Partial $k$-Coloring on $n$-vertex instances with clique number $ω$ can be solved in time
* $n^{\mathcal{O}(kω)}$ if the input graph excludes the bull and the chair as an induced subgraph,
* $n^{\mathcal{O}(kω\log n)}$ if the input graph excludes the bull and E as an induced subgraph.
This implies that $k$-Coloring can be solved in polynomial time in the former class, and in quasipolynomial-time in the latter one.
Supports for Outerplanar and Bounded Treewidth Graphs
We study the existence and construction of sparse supports for hypergraphs derived from subgraphs of a graph $G$. For a hypergraph $(X,\mathcal{H})$, a support $Q$ is a graph on $X$ s.t. $Q[H]$, the graph induced on vertices in $H$ is connected for every $H\in\mathcal{H}$.
We consider \emph{primal}, \emph{dual}, and \emph{intersection} hypergraphs defined by subgraphs of a graph $G$ that are \emph{non-piercing}, (i.e., each subgraph is connected, their pairwise differences remain connected).
If $G$ is outerplanar, we show that the primal, dual and intersection hypergraphs admit supports that are outerplanar. For a bounded treewidth graph $G$, we show that if the subgraphs are non-piercing, then there exist supports for the primal and dual hypergraphs of treewidth $O(2^{tw(G)})$ and $O(2^{4tw(G)})$ respectively, and a support of treewidth $2^{O(2^{tw(G)})}$ for the intersection hypergraph. We also show that for the primal and dual hypergraphs, the exponential blow-up of treewidth is sometimes essential.
All our results are algorithmic and yield polynomial-time algorithms (when the treewidth is bounded). The existence and construction of sparse supports is a crucial step in the design and analysis of PTASs and/or sub-exponential time algorithms for several packing and covering problems.
Supersaturation of odd linear cycles
An $r$-uniform linear cycle of length $\ell$, denoted by $C^r_{\ell}$, is an $r$-graph with $\ell$ edges $e_1,e_2,\dots,e_{\ell}$ where $e_i=\{v_{(r-1)(i-1)},v_{(r-1)(i-1)+1},\dots,v_{(r-1)i}\}$ (here $v_0=v_{(r-1)\ell}$). For $0<δ<1$ and $n$ sufficiently large, we show that every $n$-vertex $r$-graph $G$ with $n^{r-δ}$ edges contains at least $n^{(r-1)(2\ell+1)-δ(2\ell+1+\frac{4\ell-1}{(r-1)(2\ell+1)-3})-o(1)}$ copies of $C^r_{2\ell+1}$. Further, conditioning on the existence of dense high-girth hypergraphs, we show that there exists $n$-vertex $r$-graphs with $n^{r-δ}$ edges and at most $n^{(r-1)(2\ell+1)-δ(2\ell+1+\frac{1}{(r-1)\ell-1})+o(1)}$ copies of $C^r_{2\ell+1}$.
A general framework for quasi-isometries in symbolic dynamics beyond groups
We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. For these structures, which we call blueprints, we provide a general framework for symbolic dynamics under a partial monoid action, and for transferring invariants of their symbolic dynamics through quasi-isometries. In particular, we show that the undecidability of the domino problem, the existence of strongly aperiodic subshifts of finite type, and the existence of subshifts of finite type without computable points are all quasi-isometry invariants for finitely presented blueprints. As an application of this model, we show that a variant of the domino problem for geometric tilings of $\mathbb{R}^d$ is undecidable for $d \geq 2$ on any underlying tiling space with finite local complexity.
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).
Erdős-Ko-Rado Theorems for Paths in Graphs
A family of sets is $s$-intersecting if every pair of its sets has at least $s$ elements in common. It is an $s$-star if all its members have some $s$ elements in common. A family of sets is called $s$-EKR
if all its $s$-intersecting subfamilies have size at most that of some $s$-star. For example, the classic 1961 Erdős-Ko-Rado theorem states essentially that the family of $r$-sized subsets of $\{1,2,\ldots,n\}$ is $s$-EKR when $n$ is a large enough function of $r$ and $s$, and the 1967 Hilton-Milner theorem provides the near-star structure of the largest non-star intersecting family of such sets. Two important conjectures along these lines followed: by Chvátal in 1974, that every family of sets that all subsets of its members is 1-EKR, and by Holroyd and Talbot in 2005, that, for every graph, the family of all its $r$-sized independent sets is 1-EKR when every maximal independent set has size at least $2r$.
In this paper we present similar 1-EKR results for families of length-$r$ paths in graphs, specifically for sun graphs, which are cycles with pendant edges attached in a uniform way, and theta graphs, which are collections of pairwise internally disjoint paths sharing the same two endpoints. We also prove $s$-EKR results for such paths in suns, and give a Hilton-Milner type result for them as well. A set is a transversal of a family of sets if it intersects each member of the family, and the transversal number of the family is the size of its smallest transversal. For example, stars have transversal number 1, and the Hilton-Milner family has transversal number 2. We conclude the paper with some transversal results involving what we call triangular families, including a few results for projective planes.
An analogue of the Herbrand-Ribet theorem in graph theory
We study an analogue of the Herbrand-Ribet theorem, and its refinement by Mazur and Wiles, in graph theory. For an odd prime number $p$, we let $\mathbb{F}_{p}$ and $\mathbb{Z}_{p}$ denote the finite field with $p$ elements and the ring of $p$-adic integers, respectively. We consider Galois covers $Y/X$ of finite graphs with Galois group $Δ$ isomorphic to $\mathbb{F}_{p}^{\times}$. Given a $\mathbb{Z}_{p}$-valued character of $Δ$, we relate the cardinality of the corresponding character component of the $p$-primary subgroup of the degree zero Picard group of $Y$ to the $p$-adic absolute value of the special value at $u=1$ of the corresponding Artin-Ihara $L$-function.
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.
Planar and Outerplanar Spectral Extremal Problems based on Paths
Let SPEX$_\mathcal{P}(n,F)$ and SPEX$_\mathcal{OP}(n,F)$ denote the sets of graphs with the maximum spectral radius over all $n$-vertex $F$-free planar and outerplanar graphs, respectively. Define $tP_l$ as a linear forest of $t$ vertex-disjoint $l$-paths and $P_{t\cdot l}$ as a starlike tree with $t$ branches of length $l-1$. Building on the structural framework by Tait and Tobin [J. Combin. Theory Ser. B, 2017] and the works of Fang, Lin and Shi [J. Graph Theory, 2024] on the planar spectral extremal graphs without vertex-disjoint cycles, this paper determines the extremal graphs in $\text{SPEX}_\mathcal{P}(n,tP_l)$ and $\text{SPEX}_\mathcal{OP}(n,tP_l)$ for sufficiently large $n$. When $t=1$, since $tP_l$ is a path of a specific length, our results adapt Nikiforov's findings [Linear Algebra Appl. 2010] under the (outer)planarity condition. When $l=2$, note that $tP_l$ consists of $t$ independent $K_2$, then as a corollary, we generalize the results of Wang, Huang and Lin [arXiv: 2402.16419] and Yin and Li [arXiv:2409.18598v2]. Moreover, motivated by results of Zhai and Liu [Adv. in Appl. Math, 2024], we consider the extremal problems for edge-disjoint paths and determine the extremal graphs in $\text{SPEX}_\mathcal{P}(n,P_{t\cdot l})$ and $\text{SPEX}_\mathcal{OP}(n,P_{t\cdot l})$ for sufficiently large $n$.
Extremal graphs for the sum of the first two largest signless Laplacian eigenvalues
For a graph $G$, let $S_2(G)$ be the sum of the first two largest signless Laplacian eigenvalues of $G$, and $f(G)=e(G)+3-S_2(G)$. Very recently, Zhou, He and Shan proved that $K^+_{1,n-1}$ (the star graph with an additional edge) is the unique graph with minimum value of $f(G)$ among graphs on $n$ vertices. In this paper, we prove that $K^+_{1,e(G)-1}$ is the unique graph with minimum value of $f(G)$ among graphs with $e(G)$ edges.
Graph Laplacians with Higher Accuracy
Motivated by discrete Laplacian differential operators with various accuracy orders in numerical analysis, we introduce new matrices attached to a simple graph that can be considered graph Laplacians with higher accuracy. In particular, we show that the number of graphs having cospectral mates with these matrices is significantly less than the ones with other known matrices. We also investigate their spectral properties and explicitly compute their eigenvalues and eigenvectors for some graphs. Along the line, we also prove the existence of a weighted signed graph with given Laplacian eigenvalues.
An Ore-type condition for hamiltonicity in graphs
The bipartite-hole-number of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist positive integers $s$ and $t$ with $s+t=k+1$ with the property that for any two disjoint sets $A,B\subseteq V(G)$ with $|A|=s$ and $|B|=t$, there is an edge between $A$ and $B$. In this paper, based on Ore-type conditions, we show that if a graph $G$ is 2-connected and the degree sum of any two nonadjacent vertices in $G$ is at least $ 2\widetildeα(G)$, then $G$ is hamiltonian. Furthermore, we prove that if $G$ is 3-connected and the degree sum of any two nonadjacent vertices in $G$ is at least $ 2\widetildeα(G)+1$, then $G$ is hamiltonian-connected.
Trisimplicial vertices in (fork, odd parachute)-free graphs
An {\em odd hole} in a graph is an induced subgraph which is a cycle of odd length at least five. An {\em odd parachute} is a graph obtained from an odd hole $H$ by adding a new edge $uv$ such that $x$ is adjacent to $u$ but not to $v$ for each $x\in V(H)$. A graph $G$ is perfectly divisible if for each induced subgraph $H$ of $G$, $V(H)$ can be partitioned into $A$ and $B$ such that $H[A]$ is perfect and $ω(H[B])<ω(H)$. A vertex of a graph is {\em trisimplicial} if its neighbourhood is the union of three cliques. In this paper, we prove that $χ(G)\leq \binom{ω(G)+1}{2}$ if $G$ is a (fork, odd parachute)-free graph by showing that $G$ contains a trisimplicial vertex when $G$ is nonperfectly divisible. This generalizes some results of Karthick, Kaufmann and Sivaraman [{\em Electron. J. Combin.} \textbf{29} (2022) \#P3.19], and Wu and Xu [{\em Discrete Math.} \textbf{347} (2024) 114121]. As a corollary, every nonperfectly divisible claw-free graph contains a trisimplicial vertex.
Balanced colorings of Erdős-Rényi hypergraphs
An $r$-uniform hypergraph $H = (V, E)$ is $r$-partite if there exists a partition of the vertex set into $r$ parts such that each edge contains exactly one vertex from each part. We say an independent set in such a hypergraph is balanced if it contains an equal number of vertices from each partition. The balanced chromatic number of $H$ is the minimum value $q$ such that $H$ admits a proper $q$-coloring where each color class is a balanced independent set. In this note, we determine the asymptotic behavior of the balanced chromatic number for sparse $r$-uniform $r$-partite Erdős--Rényi hypergraphs. A key step in our proof is to show that any balanced colorable hypergraph of average degree $d$ admits a proper balanced coloring with $r(r-1)d + 1$ colors. This extends a result of Feige and Kogan on bipartite graphs to this more general setting.
Spectra and eigenspaces of non-normal Cayley graphs
In this paper, we construct some non-normal Cayley graphs and explicitly provide their spectra and eigenspaces using representation theory of finite groups.
The Flood Polynomial of a Graph
The flood polynomial of a simple finite graph is a weight generating function that counts all flooding cascade sets of the graph. The flood polynomial is inspired by the water mechanics in the video game Minecraft. We give necessary conditions for two graphs to have the same flood polynomial. We then provide a formula for the flood polynomials of certain families of graphs. We will see that many flood polynomials can be expressed using a Fibonacci-like recurrence and in some cases are equal to Fibonacci or Lucas polynomials. We then provide general examples of pairs of distinct graphs with the same flood polynomial. In these examples, the flood polynomial will be expressed as the product of Fibonacci and Lucas polynomials.