graph
34516 papers tagged with this keyword
Local limits of determinantal processes
Let $H_n$ be the row space of a signed adjacency matrix of a $C_4$-free bipartite bi-regular graph in which one part has degree $d(n)\to\infty$ and the other part has degree $k+1$ where $k\geq 1$ is a fixed integer. We show that the local limit as $n\to \infty$ of the determinantal process corresponding to the orthogonal projection on $H_n$ is a variant of a Poisson$(k)$ branching process conditioned to survive.
This setup covers a wide class of determinantal processes such as uniform spanning trees, Kalai's determinantal hypertrees, hyperforests in regular cell complexes, discrete Grassmanians, incidence matroids and more, as long as their degree tends to $\infty$.
A characterization of graphs of diameter two with fewer lines than vertices
In 2008 Chen and Chvátal conjectured that any metric space on n points has at least n lines, unless all the points belong to one line. Chv\atal proved in 2014 that this is indeed the case for metric spaces with distances 0, 1 and 2. In this work, we prove that there exists a family of ten graphs such that a metric space defined by a graph of diameter two has fewer lines than points if and only if the associated graph belongs to that family.
String graphs are quasi-isometric to planar graphs
We prove that for every countable string graph $S$, there is a planar graph $G$ with $V(G)=V(S)$ such that \[ \frac{1}{23660800}d_S(u,v) \le d_G(u,v) \le 162 d_S(u,v) \] for all $u,v\in V(S)$, where $d_S(u,v)$, $d_G(u,v)$ denotes the distance between $u$ and $v$ in $S$ and $G$ respectively. In other words, string graphs are quasi-isometric to planar graphs.
This theorem lifts a number of theorems from planar graphs to string graphs, we give some examples. String graphs have Assouad-Nagata (and asymptotic dimension) at most 2. Connected, locally finite, quasi-transitive string graphs are accessible. A finitely generated group $Γ$ is virtually a free product of free and surface groups if and only if $Γ$ is quasi-isometric to a string graph.
Two further corollaries are that countable planar metric graphs and complete Riemannian planes are also quasi-isometric to planar graphs, which answers a question of Georgakopoulos and Papasoglu. For finite string graphs and planar metric graphs, our proofs yield polynomial time (for string graphs, this is in terms of the size of a representation given in the input) algorithms for generating such quasi-isometric planar graphs.
Rational Exponents for Generalized Turán Numbers
The generalized Turán number $\text{ex}(n,H,\mathcal{F})$ denotes the maximum number of copies of $H$ in an $n$-vertex graph which contains no copies of any graph in a family $\mathcal{F}$ of graphs. The generalized rational exponents conjecture states that for every rational $r\geq 1$ there exist graphs $H,F$ such that $\text{ex}(n,H,\{F\})=Θ(n^r)$. We extend a result of Bukh and Conlon to show that for every non-empty graph $H$ on $v\geq 2$ vertices and every rational $r$ in the interval $[v-1,v]$ there exists a finite family $\mathcal{F}_r$ such that $\text{ex}(n,H,\mathcal{F}_r)=Θ(n^r)$.
Burling graphs in graphs with large chromatic number
A graph class is $χ$-bounded if the only way to force large chromatic number in graphs from the class is by forming a large clique. In the 1970s, Erdős conjectured that intersection graphs of straight-line segments in the plane are $χ$-bounded, but this was disproved by Pawlik et al. (2014), who showed another way to force large chromatic number in this class -- by triangle-free graphs $B_k$ with $χ(B_k)=k$ constructed by Burling (1965). This also disproved the celebrated conjecture of Scott (1997) that classes of graphs excluding induced subdivisions of a fixed graph are $χ$-bounded.
We prove that in broad classes of graphs excluding induced subdivisions of a fixed graph, including the increasingly more general classes of segment intersection graphs, string graphs, region intersection graphs, and hereditary classes of graphs with finite asymptotic dimension, large chromatic number can be forced only by large cliques or large graphs $B_k$.
One corollary is that the hereditary closure of $\{B_k\colon k\geq 1\}$ forms a minimal hereditary graph class with unbounded chromatic number -- the second known graph class with this property after the class of complete graphs. Another corollary is that the decision variant of approximate coloring in the aforementioned graph classes can be solved in polynomial time by exhaustively searching for a sufficiently large clique or copy of $B_k$. We also discuss how our results along with some results of Chudnovsky, Scott, and Seymour on the existence of colorings can be turned into polynomial-time algorithms for the search variant of approximate coloring in string graphs (with intersection model in the input) and other aforementioned graph classes. Such an algorithm has not yet been known for any graph class that is not $χ$-bounded.
On a refinement of the Ahlswede--Katona Theorem
A classical theorem of Ahlswede and Katona determines the maximum density of the $2$-edge star in a graph with a given edge density. Motivated by its application in hypergraph Turán problems, we establish a refinement of their result under the additional assumption that the graph contains a large independent set in which every vertex has high degree.
Recognizing Leaf Powers and Pairwise Compatibility Graphs is NP-Complete
Leaf powers and pairwise compatibility graphs were introduced over twenty years ago as simplified graph models for phylogenetic trees. Despite significant research, several properties of these graph classes remain poorly understood. In this paper, we establish that the recognition problem for both classes is NP-complete. We extend this hardness result to a broader hierarchy of graph classes, including pairwise compatibility graphs and their generalizations, multi interval pairwise compatibility graphs.
Mixing time and isoperimetry in random geometric graphs
In this paper we study the mixing time of the simple random walk on the giant component of supercritical $d$-dimensional random geometric graphs generated by the unit intensity Poisson Point Process in a $d$-dimensional cube of volume $n$. With $r_g$ denoting the threshold for having a giant component, we show that for every $ε> 0$ and any $r \ge (1+ε)r_g$, the mixing time of the giant component is with high probability $Θ(n^{2/d}/r^{2})$, thereby closing a gap in the literature. The main tool is an isoperimetric inequality which holds, w.h.p., for any large enough vertex set, a result which we believe is of independent interest. Our analysis also implies that the relaxation time is of the same order.
Constrained Ramsey numbers for rainbow $P_5$
Given a graph $H$ and a positive integer $k$, the {\it $k$-colored Ramsey number} $R_k(H)$ is the minimum integer $n$ such that in every $k$-edge-coloring of the complete graph $K_{n}$, there is a monochromatic copy of $H$. Given two graphs $H$ and $G$, the {\it constrained Ramsey number} (also called {\it rainbow Ramsey number}) $f(H,G)$ is defined as the minimum integer $n$ such that, in every edge-coloring of $K_{n}$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. Let $P_t$ be the path on $t$ vertices. Gyárfás, Lehel and Schelp proved that $f(H,P_5)=R_3(H)$ when $H$ is a path or a cycle. Li, Besse, Magnant, Wang and Watts conjectured that $f(H,P_5)=R_3(H)$ for any graph $H$, and confirmed this for all connected graphs and all bipartite graphs. In this paper, we address this conjecture for multiple classes of disconnected graphs with chromatic number at least 3. Our newly established general results encompass all known results on this problem. We also obtain several results for a bipartite variation of the problem. In addition, we propose a series of questions concerning this problem from multiple distinct aspects for further research.
Edge-colored 3-uniform hypergraphs without rainbow paths of length 3 and its applications to Ramsey theory
Motivated by Ramsey theory problems, we consider edge-colorings of 3-uniform hypergraphs that contain no rainbow paths of length 3. There are three 3-uniform paths of length 3: the tight path $\mathcal{T}=\{v_1v_2v_3, v_2v_3v_4, v_3v_4v_5\}$, the messy path $\mathcal{M}=\{v_1v_2v_3, v_2v_3v_4, v_4v_5v_6\}$ and the loose path $\mathcal{L}=\{v_1v_2v_3,$ $v_3v_4v_5, v_5v_6v_7\}$. In this paper, we characterize the structures of edge-colored complete 3-uniform hypergraph $K_n^{(3)}$ without rainbow $\mathcal{T}$, $\mathcal{M}$ and $\mathcal{L}$, respectively. This generalizes a result of Thomason-Wagner on edge-colored complete graph $K_n$ without rainbow paths of length 3. We also obtain a multipartite generalization of these results.
As applications, we obtain several Ramsey-type results. Given two $3$-uniform hypergraphs $H$ and $G$, the {\it constrained Ramsey number} $f(H,G)$ is defined as the minimum integer $n$ such that, in every edge-coloring of $K^{(3)}_n$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. For $G\in \{\mathcal{T}, \mathcal{M}, \mathcal{L}\}$ and infinitely many 3-uniform hypergraphs $H$, we reduce $f(H, G)$ to the 2-colored Ramsey number $R_2(H)$ of $H$, that is, $f(H, G)=R_2(H)$. Given a $3$-uniform hypergraph $G$ and an integer $n\geq |V(G)|$, the {\it anti-Ramsey number} $ar(n, G)$ is the minimum integer $k$ such that, in every edge-coloring of $K^{(3)}_n$ with at least $k$ colors, there is a rainbow copy of $G$. We show that $ar(n, \mathcal{T})=\left\lfloor\frac{n}{3}\right\rfloor+2$ for $n\geq 5$, $ar(n, \mathcal{M})=3$ for $n\geq 7$, and $ar(n, \mathcal{L})=n$ for $n\geq 7$. Our newly obtained Ramsey-type results extend results of Gyárfás-Lehel-Schelp and Liu on constrained Ramsey numbers, and improve a result of Tang-Li-Yan on anti-Ramsey numbers.
On the b-chromatic number of star graph operators
A $b$-coloring is a proper coloring such that for each color class, there exists at least one vertex that is adjacent to at least one vertex in every other color class. The $b$-chromatic number of a graph $G$ is the maximum number $k$ such that $G$ admits a $b$-coloring with $k$ colors. This paper focuses on the $b$-chromatic number of the power graph of the Cartesian product of star graphs. In addition, we also study the total graph and the line graph of the Cartesian product of star graphs. Our main result generalizes the result shown in \cite{qn} on the b-chromatic number of the Cartesian product of two stars. We find exact values for the b-chromatic number of particular Cartesian products of complete graphs and explore the bounds of the generalized Cartesian product of complete graphs.
Hamiltonian Cycles in Subdivided Doubles
The subdivided double construction on 4-regular graphs was used by Potočnik and Wilson to explore semi-symmetric (edge-transitive but not vertex-transitive) graphs, and can be used to construct every semi-symmetric 4-regular graph that contains a pair of twin vertices. We show that (regardless of symmetry) subdivided doubles have another curious property: they have exponentially many Hamiltonian cycles each of which is complementary to another Hamiltonian cycle.
Odd and Even Harder Problems on Cycle-Factors
For a graph (undirected, directed, or mixed), a cycle-factor is a collection of vertex-disjoint cycles covering the entire vertex set. Cycle-factors subject to parity constraints arise naturally in the study of structural graph theory and algorithmic complexity. In this work, we study four variants of the problem of finding a cycle-factor subject to parity constraints: (1) all cycles are odd, (2) all cycles are even, (3) at least one cycle is odd, and (4) at least one cycle is even. These variants are considered in the undirected, directed, and mixed settings. We show that all but the fourth problem are NP-complete in all settings, while the complexity of the fourth one remains open for the directed and undirected cases. We also show that in mixed graphs, even deciding the existence of any cycle factor is NP-complete.
Fair and Tolerant (FAT) Graph Colorings
We introduce and study Fair and Tolerant colorings (FAT colorings), where each vertex tolerates a given fraction of same-colored neighbors while fairness is preserved across the other coloring classes. Moreover, we define the FAT chromatic number $χ^{\mathrm{FAT}}(G)$ as the largest integer $k$ for which $G$ admits a FAT $k$-coloring. We establish general bounds on $χ^{\mathrm{FAT}}$, relate it to structural and spectral properties of graphs, and characterize it completely for several families of graphs. We conclude with a list of open questions that suggest future directions.
Planarity and dimension I
The dimension of a partially ordered set $P$ (poset for short) is the least positive integer $d$ such that $P$ is isomorphic to a subposet of $\mathbb{R}^d$ with the natural product order. Dimension is arguably the most widely studied measure of complexity for posets, and standard examples in posets are the canonical structure forcing dimension to be large. In many ways, dimension for posets is analogous to chromatic number for graphs with standard examples in posets playing the role of cliques in graphs. However, planar graphs have chromatic number at most four, while posets with planar diagrams may have arbitrarily large dimension. The key feature of all known constructions of such posets is that large dimension is forced by a large standard example. The question of whether every poset of large dimension and with a planar cover graph contains a large standard example has been a critical challenge in posets theory since the early 1980s, with very little progress over the years. We answer the question in the affirmative. Namely, we show that every poset $P$ with a planar cover graph has dimension $\mathcal{O}(s^8)$, where $s$ is the maximum order of a standard example in $P$.
Long paths need not minimize $H$-colorings among trees
Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. By appropriate choice of $H$, these colorings can express, for instance, the independent sets or proper vertex colorings of $G$.
Sidorenko proved that for any $H$, the $n$-vertex star admits at least as many $H$-colorings as any other $n$-vertex tree, but the minimization question remains open in general. For many graphs $H$, path graphs are among the trees with the fewest $H$-colorings, but work of Leontovich and subsequently Csikvári and Lin shows that there is a graph $E_7$ on seven vertices and a target graph $H$ for which there are strictly fewer $H$-colorings of $E_7$ than of the path on seven vertices.
We introduce a new strategy for enumerating homomorphisms from path-like trees to highly symmetric target graphs that allows us to make the previous observations completely explicit and extend them to infinitely many $n$ beyond $n=7$. In particular, we exhibit a target graph $H$ with the property that for each sufficiently large $n$, there is a tree $E_n$ on $n$ vertices that admits strictly fewer $H$-colorings than the path on $n$ vertices.
An AI enhanced approach to the tree unimodality conjecture
Given a graph $G$, its independence sequence is the integral sequence $a_1,a_2,...,a_n$, where $a_i$ is the number of independent sets of vertices of size i. In the late 80's Alavi, Erdos, Malde, Schwenk showed that this sequence need not be unimodal for general graphs, but conjectured that it is always unimodal whenever $G$ is a tree. This conjecture was then naturally generalized to claim that the independence sequence of trees should be log concave, in the sense that $a_i^2$ is always above $a_{i-1}a_{i+1}$. This conjecture stood for many years, until in 2023, Kadrawi, Levit, Yosef, and Mizrachi proved that there were exactly two trees on 26 vertices whose independence sequence was not log concave. In this paper, we use the AI architecture PatternBoost, developed by Charton, Ellenberg, Wagner, and Williamson to train a machine to find counter-examples to the log-concavity conjecture. We will discuss the successes of this approach - finding tens of thousands of new counter-examples to log-concavity with vertex set sizes varying from 27 to 101 - and some of its fascinating failures.
Stability of the independence number of $G(n, r, 1)$ graphs
In this paper we obtain the stability theorem for the independence number of $G(n, r, 1)$ graphs. This result was previously stated in the paper of M. Pyaderkin but the proof there was incorrect. We introduce the correct proof of the key lemma and thus finally complete the proof of this theorem.
Polynomial bounds for pathwidth
Dallard, Milanič, and Štorgel conjectured that for a hereditary graph class $\mathcal{G}$, if there is some function $f:\mathbb{N}\to\mathbb{N}$ such that every graph $G\in \mathcal{G}$ with clique number $ω(G)$ has treewidth at most $f(ω(G))$, then there is a polynomial function $f$ with the same property. Chudnovsky and Trotignon refuted this conjecture in a strong sense, showing that neither polynomial nor any prescribed growth can be guaranteed in general. Here we prove that, in stark contrast, the analog of the Dallard-Milanič-Štorgel conjecture for pathwidth is true: For every hereditary graph class $\mathcal{G}$, if the pathwidth of every graph in $\mathcal{G}$ is bounded by some function of its clique number, then the pathwidth of every graph in $\mathcal{G}$ is bounded by a polynomial function of its clique number.
Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
We prove a model-theoretic representation theorem for the distribution of an ergodic exchangeable $k$-uniform hypergraph: every such measure arises as the pushforward of the countably-iterated Morley product of a global Borel-definable Keisler measure over the countable universal homogeneous $k$-uniform hypergraph. We show this by starting with a Borel $k$-hypergraphon $W$ and constructing a Keisler measure $μ_{W}$ such that generic sampling with respect to $μ_{W}$ yields the same invariant measure as does the standard hypergraphon sampling procedure with respect to $W$. When $k = 2$, our results give a new representation theorem for ergodic exchangeable graphs via Keisler measures over a monster model of the Rado graph.