graph
34516 papers tagged with this keyword
The Saturation Spectrum of Berge Stars
The forbidden subgraph problem is among the oldest in extremal combinatorics -- how many edges can an $n$-vertex $F$-free graph have? The answer to this question is the well-studied extremal number of $F$. Observing that every extremal example must be maximally $F$-free, a natural minimization problem is also studied -- how few edges can an $n$-vertex maximal $F$-free graph have? This leads to the saturation number of $F$. Both of these problems are notoriously difficult to extend to $k$-uniform hypergraphs for any $k\ge 3$.
Barefoot et al., in the case of forbidding triangles in graphs, asked a beautiful question -- which numbers of edges, between the saturation number and the extremal number, are actually realized by an $n$-vertex maximal $F$-free graph? Hence named the saturation spectrum of $F$, this has since been determined precisely for several classes of graphs through a large number of papers over the past two decades.
In this paper, we extend the notion of the saturation spectrum to the hypergraph context. Given a graph $F$ and a hypergraph $G$ embedded on the same vertex set, we say $G$ is a {\bf{Berge-$F$}} if there exists a bijection $φ:E(F)\to E(G)$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We completely determine the saturation spectrum for $3$-uniform Berge-$K_{1,\ell}$ for $1\leq \ell\leq 4$, and for $\ell=5$ when $5\mid n$. We also determine all but a constant number of values in the spectrum for $3$-uniform Berge-$K_{1,\ell}$ for all $\ell\geq 5$. We note that this is the first result determining the saturation spectrum for any non-trivial hypergraph.
Integral Ricci Curvature for Graphs
We introduce the notion of integral Ricci curvature $I_{κ_0}$ for graphs, which measures the amount of Ricci curvature below a given threshold $κ_0$. We focus our attention on the Lin-Lu-Yau Ricci curvature. As applications, we prove a Bonnet-Myers-type diameter estimate, a Moore-type estimate on the number of vertices of a graph in terms of the maximum degree $d_M$ and diameter $D$, and a Lichnerowicz-type estimate for the first eigenvalue $λ_1$ of the Graph Laplacian, generalizing the results obtained by Lin, Lu, and Yau. All estimates are uniform, depending only on geometric parameters like $κ_0$, $I_{κ_0}$, $d_M$, or $D$, and do not require the graphs to be positively curved.
On a problem of Erdos and Hajnal
Addressing a question of Erdos and Hajnal we show that one can force a graph with no large independent sets and no monochromatic triples as successors of strong limit singular cardinals, even without assuming GCH. The result can be pushed down to $\aleph_ω$.
On Geodesic Leech Labeling of Some Graph Classes
Let $f:E\rightarrow \{1,2,3,\dots\}$ be an edge labeling of $G$. The geodesic path number of $G$, $t_{gp}(G)$, is the number of geodesic paths in $G$. An edge labeling $f$ is called a geodesic Leech labeling, if the set of weights of the geodesic paths in $G$ is $\{1,2,3,\dots,t_{gp}(G)\}$, where the weight of a path $P$ is the sum of the labels assigned to the edges of $P$. A graph which admits a geodesic Leech labeling is called a geodesic Leech graph. Otherwise, we call it a non-geodesic Leech graph. In this paper, we prove that cycles $C_n$, $n \geq 5$ are non-geodesic Leech graphs. We also prove that there are at most three regular complete bipartite graphs that are geodesic Leech. We show that degree sequence cannot characterize geodesic Leech graphs. The geodesic path number of the wheel graph $W_n$ is obtained and the geodesic Leech labeling of $W_5$ and $W_6$ is given.
Packing edge disjoint cliques in graphs
Let $r \ge 3$ be fixed and $G$ be an $n$-vertex graph. A long-standing conjecture of Győri states that if $e(G) = t_{r-1}(n) + k$, where $t_{r-1}(n)$ denotes the number of edges of the Turán graph on $n$ vertices and $r - 1$ parts, then $G$ has at least $(2 - o(1))k/r$ edge disjoint $r$-cliques. We prove this conjecture.
Rainbow Turán numbers for short brooms
A graph $G$ is rainbow-$F$-free if it admits a proper edge-coloring without a rainbow copy of $F$. The rainbow Turán number of $F$, denoted $\mathrm{ex^*}(n,F)$, is the maximum number of edges in a rainbow-$F$-free graph on $n$ vertices. We determine bounds on the rainbow Turán numbers of stars with a single edge subdivided twice; we call such a tree with $t$ total edges a $t$-edge \textit{broom} with length-$3$ handle, denoted by $B_{t,3}$. We improve the best known upper bounds on $\mathrm{ex^*}(n,B_{t,3})$ in all cases where $t \neq 2^s - 2$. Moreover, in the case where $t$ is odd and in a few cases when $t \equiv 0 \mod 4$, we provide constructions asymptotically achieving these upper bounds. Our results also demonstrate a dependence of $\mathrm{ex^*}(n,B_{t,3})$ on divisibility properties of $t$.
Indicated list colouring game on graphs
Given a graph $G$ and a list assignment $L$ for $G$, the indicated $L$-colouring game on $G$ is played by two players: Ann and Ben. In each round, Ann chooses an uncoloured vertex $v$, and Ben colours $v$ with a colour from $L(v)$ that is not used by its coloured neighbours. If all vertices are coloured, then Ann wins the game. Otherwise after a finite number of rounds, there remains an uncoloured vertex $v$ such that all colours in $L(v)$ have been used by its coloured neighbours, Ben wins. We say $G$ is indicated $L$-colourable if Ann has a winning strategy for the indicated $L$-colouring game on $G$. For a mapping $g: V(G) \to \mathbb{N}$,
we say $G$ is indicated $g$-choosable if $G$ is indicated $L$-colourable for every list assignment $L$ with $|L(v)| \ge g(v)$ for each vertex $v$, and $G$ is indicated degree-choosable if $G$ is indicated $g$-choosable for $g(v) =d_G(v)$ (the degree of $v$).
This paper proves that
a graph $G$ is not indicated degree-choosable if and only if $G$ is an expanded Gallai-tree - a graph whose maximal connected induced subgraphs with no clique-cut are complete graphs or blow-ups of odd cycles, along with a technical condition (see Definition \ref{def-egt}).
This leads to a linear-time algorithm that determines if a graph is indicated degree-choosable.
A connected graph $G$ is called an IC-Brooks graph if its indicated chromatic number equals $Δ(G)+1$. Every IC-Brooks graph is a regular expanded Gallai-tree. We show that if $r \le 3$, then every $r$-regular expanded Gallai-tree is an IC-Brooks graph. For $r \ge 4$, there are $r$-regular expanded Gallai-trees that are not IC-Brooks graphs. We give a characterization of IC-Brooks graphs, and present a linear-time algorithm that determines if a given graph of bounded maximum degree is an IC-Brooks graph.
A survey on Hedetniemi's conjecture
In 1966, Hedetniemi conjectured that for any positive integer $n$ and graphs $G$ and $H$, if neither $G$ nor $H$ is $n$-colourable, then $G \times H$ is not $n$-colourable. This conjecture has received significant attention over the past half century, and was disproved by Shitov in 2019. Shitov's proof shows that Hedetniemi's conjecture fails for sufficiently large $n$. Shortly after Shitov's result, smaller counterexamples were found in a series of papers, and it is now known that Hedetniemi's conjecture fails for all $n \ge 4$, and holds for $n \le 3$. Hedetniemi's conjecture has inspired extensive research, and many related problems remain open. This paper surveys the results and problems associated with the conjecture, and explains the ideas used in finding counterexamples.
The Lovász number of random circulant graphs
This paper addresses the behavior of the Lovász number for dense random circulant graphs. The Lovász number is a well-known semidefinite programming upper bound on the independence number. Circulant graphs, an example of a Cayley graph, are highly structured vertex-transitive graphs on integers modulo $n$, where the connectivity of pairs of vertices depends only on the difference between their labels. While for random circulant graphs the asymptotics of fundamental quantities such as the clique and the chromatic number are well-understood, characterizing the exact behavior of the Lovász number remains open. In this work, we provide upper and lower bounds on the expected value of the Lovász number and show that it scales as the square root of the number of vertices, up to a log log factor. Our proof relies on a reduction of the semidefinite program formulation of the Lovász number to a linear program with random objective and constraints via diagonalization of the adjacency matrix of a circulant graph by the discrete Fourier transform (DFT). This leads to a problem about controlling the norms of vectors with sparse Fourier coefficients, which we study using results on the restricted isometry property of subsampled DFT matrices.
Arrangements of circles, the regions surrounded by them and labeled Poincaré-Reeb graphs
We are interested in arrangements of circles and the regions surrounded by them. {\it Poincaré-Reeb graphs} have been fundamental and strong tools in studying shapes of regions surrounded by real algebraic curves, since around 2020. They are natural graphs the regions naturally collapse to and were first formulated by Sorea with several researchers. Studying shapes of such regions is one of fundamental studies in real algebraic geometry and combinatorics for example. This is surprisingly new and recently developing.
Our study introduces labels on vertices and edges of such graphs encoding information of the circles where we concentrate on regions surrounded by circles. The author studied local changes of Poincaré-Reeb graphs by addition of circles under certain rules before and we discuss changes of new types. The author has started related studies motivated by singularity theory of real algebraic maps and found first that our regions are the images of natural real algebraic maps, generalizing natural projections of spheres.
The dual Cheeger-Buser inequality for graphons
We introduce the notion of bipartiteness ratio for graphons. We prove the dual Cheeger-Buser inequality for graphons, which relates the gap between $2$ and the top of the spectrum of the Laplacian of a graphon with its bipartiteness ratio. The dual Cheeger-Buser inequality was established by Trevisan and Bauer-Jost for graphs. Our result is an analog of that for graphons.
Constructing a Tutte polynomial for graphs embedded in surfaces
There are several different extensions of the Tutte polynomial to graphs embedded in surfaces. To help frame the different options, here we consider the problem of extending the Tutte polynomial to cellularly embedded graphs starting from first principles. We offer three different routes to defining such a polynomial and show that they all lead to the same polynomial. This resulting polynomial is known in the literature under a few different names including the ribbon graph polynomial, and 2-variable Bollobas-Riordan polynomial.
Our overall aim here is to use this discussion as a mechanism for providing a gentle introduction to the topic of Tutte polynomials for graphs embedded in surfaces.
From descriptive to distributed
In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory provide new insights and techniques to the theory of distributed computing. We focus on the two classical topics from graph theory, vertex and edge colorings. After summarizing the up-to-date results from both areas, we discuss the adaptation of Marks' games method to the LOCAL model of distributed computing and the development of the multi-step Vizing's chain technique, which led to the construction of the first non-trivial distributed algorithms for Vizing colorings. We provide a list of related open problems to complement our discussion. Finally, we describe an efficient deterministic distributed algorithm for Brooks coloring on graphs of subexponential growth.
Fast and Furious: A study on Monotonicity and Speed in Cops-and-Robber Games
In this paper, we study different variants of the Cops-and-Robber game with respect to cop- and robber\-/monotonicity.
We study a visible and invisible robber and variants where the robber is lazy, thus can only move when the cops announce to move on top of him.
In all four combinations, we also vary the number $s$ of edges that the robber can traverse in a single round, called speed.
We complete the study of the unbounded speed case by showing that, besides the active variants, also the visible lazy variant has both the cop- and robber\-/monotonicity property.
Furthermore, we prove that the cop\-/monotone invisible lazy copwidth characterizes path-width, while the non\-/monotone and robber\-/monotone is known to characterize tree-width, thus these variants differ even in the unbounded speed case.
We find that, even with speed restriction, the cop\-/monotone invisible copwidth and the robber\-/monotone invisible active copwidth all characterize path-width.
On the other hand, we show that the path-width of a graph can be arbitrarily larger than the number of cops needed to win the non\-/monotone invisible active variant.
To complete our study of cop\-/monotone variants, we show that also in the visible variants the cop\-/monotone copwidth can be arbitrarily larger than the non\-/monotone.
Regarding robber\-/monotonicity, for all speeds $s\geq 4$, we give graphs where the non\-/monotone and robber\-/monotone copwidth differ.
On the other hand, we prove that there is a function that bounds the robber\-/monotone copwidth in terms of the non\-/monotone copwidth and the speed, thus the gap between the variants is bounded.
This proof also yields that a graph class has bounded expansion if and only if, for every speed $s$, the number of cops needed in any robber\-/monotone lazy variant is bounded by some constant $c(s)$.
An efficient algorithm for generating transmission irregular trees
The transmission of a vertex in a connected graph is the sum of distances from that vertex to all the other vertices. A connected graph is transmission irregular if any two distinct vertices have different transmissions. We present an efficient algorithm that generates all the transmission irregular trees up to a given order, up to isomorphism.
Extremal graphs for disjoint union of vertex-critical graphs
For a graph $F$, let ${\rm EX}(n,F)$ be the set of $F$-free graphs of order $n$ with the maximum number of edges. The graph $F$ is called vertex-critical, if the deletion of its some vertex induces a graph with smaller chromatic number. For example, an odd wheel (obtained by connecting a vertex to a cycle of even length) is a vertex-critical graph with chromatic number 3. For $h\geq2$, let $F_{1},F_{2},...,F_{h}$ be vertex-critical graphs with the same chromatic number. Let $\cup_{1\leq i\leq h}F_{i}$ be the disjoint union of them. In this paper, we characterize the graphs in ${\rm EX}(n,\cup_{1\leq i\leq h}F_{i})$, when there is a proper order among the graphs $F_{1},F_{2},...,F_{h}$. This solves a conjecture (on extremal problem for disjoint union of odd wheels) proposed by Xiao and Zamora \cite{XZ}.
Coarse cops and robber in graphs and groups
(abstract shortened to meet arxiv's length requirements) We investigate two variants of the classical Cops and robber game in graphs, recently introduced by Lee, Martínez-Pedroza, and Rodríguez-Quinche. The two versions are played in infinite graphs and the goal of the cops is to prevent the robber to visit some ball of finite radius (chosen by the robber) infinitely many times. Moreover the cops and the robber move at a different speed, and the cops can choose a radius of capture before the game starts. Depending on the order in which the parameters are chosen, this naturally defines two games, a weak version and a strong version (in which the cops are more powerful), and thus two variants of the cop number of a graph $G$: the weak cop number and the strong cop number. It turns out that these two parameters are invariant under quasi-isometry and thus we can investigate these parameters in finitely generated groups by considering any of their Cayley graphs; the parameters do not depend on the chosen set of generators.
We answer a number of questions raised by Lee, Martínez-Pedroza, and Rodríguez-Quinche, and more recently by Cornect and Martínez-Pedroza. This includes a proof that the weak and strong cop numbers are monotone under quasi-isometric embedding, characterizations of graphs of weak cop number 1 and graphs of strong cop number 1, and a proof that the grid has infinite strong cop number. Moreover we tie the weak cop number of a graph $G$ to the existence of asymptotic minors of large tree-width in $G$, and use the result to prove that any finitely presented group has weak cop number 1 or $\infty$.
We have learned very recently that some of our results have been obtained independently by Appenzeller and Klinge, using fairly different arguments.
A Note on Weak Saturation Number of Trees
In this paper, we estimate the weak saturation numbers of trees. As a case study, we examine caterpillars and obtain several tight estimates. In particular, this implies that for any $α\in [1,2]$, there exist caterpillars with $k$ vertices whose weak saturation numbers are of order $k^α$. We call a tree good if its weak saturation number is exactly its edge number minus one. We provide a sufficient condition for a tree to be a good tree. With the additional property that all leaves are at even distances from each other, this condition fully characterizes good trees. The latter result also provides counterexamples, demonstrating that Theorem 8 of a paper by Faudree, Gould and Jacobson (R. J. Faudree, R. J. Gould, and M. S. Jacobson. Weak saturation numbers for sparse graphs. {\it Discussiones Mathematicae Graph Theory}, 33(4): 677-693, 2013.) is incorrect.
Hunting a rabbit: complexity, approximability and some characterizations
In the Hunters and Rabbit game, $k$ hunters attempt to shoot an invisible rabbit on a given graph $G$. In each round, the hunters select $k$ vertices to shoot at, while the rabbit moves along an edge of $G$. The hunters win if, at any point, the rabbit is shot. The hunting number of $G$, denoted $h(G)$, is the minimum integer $k$ such that $k$ hunters have a winning strategy regardless of the rabbit's moves.
The computational complexity of determining $h(G)$ has been one of the longest-standing open questions about the game. Our first main contribution resolves this by proving that computing $h(G)$ is NP-hard, even for bipartite simple graphs. We further show that the problem remains NP-hard even when $h(G) = O(n^ε)$ or when $n - h(G) = O(n^ε)$, where $n$ is the order of $G$. In addition, we prove that it is NP-hard to approximate $h(G)$ additively within $O(n^{1-ε})$.
When a time limit $l$ is imposed on the hunting process, we show that computing $h(G)$ remains NP-hard for any $l \ge 2$ bounded by a polynomial in $n$. On the positive side, we present a polynomial-time $l$-factor approximation algorithm for computing the hunting number with time limit $l$, and we show that $h(G)$ can be computed in polynomial time for bipartite graphs when only two time slots are allowed ($l = 2$).
Finally, we provide a forbidden-subgraph characterization of graphs with loops that satisfy $h(G) = 1$, extending a known characterization for simple graphs.
Fractional revival on quasi-abelian Cayley graphs
Fractional revival, a quantum transport phenomenon critical to entanglement generation in quantum spin networks, generalizes the notion of perfect state transfer on graphs. A Cayley graph $\mathrm{Cay}(G,S)$ is called quasi-abelian if its connection set $S$ is a union of conjugacy classes of the group $G$. In this paper, we establish a necessary and sufficient condition for quasi-abelian Cayley graphs to have fractional revival. This extends a result of Cao and Luo (2022) on the existence of fractional revival in Cayley graphs over abelian groups.