graph
34763 papers tagged with this keyword
Chromatic Zeros On Hierarchical Lattices and Equidistribution on Parameter Space
Associated to any finite simple graph $Γ$ is the chromatic polynomial $P_Γ(q)$ whose complex zeroes are called the chromatic zeros of $Γ$. A hierarchical lattice is a sequence of finite simple graphs $\{Γ_n\}_{n=0}^\infty$ built recursively using a substitution rule expressed in terms of a generating graph. For each $n$, let $μ_n$ denote the probability measure that assigns a Dirac measure to each chromatic zero of $Γ_n$. Under a mild hypothesis on the generating graph, we prove that the sequence $μ_n$ converges to some measure $μ$ as $n$ tends to infinity. We call $μ$ the limiting measure of chromatic zeros associated to $\{Γ_n\}_{n=0}^\infty$. In the case of the Diamond Hierarchical Lattice we prove that the support of $μ$ has Hausdorff dimension two.
The main techniques used come from holomorphic dynamics and more specifically the theories of activity/bifurcation currents and arithmetic dynamics. We prove a new equidistribution theorem that can be used to relate the chromatic zeros of a hierarchical lattice to the activity current of a particular marked point. We expect that this equidistribution theorem will have several other applications.
Regular graphs with linearly many triangles
A $d$-regular graph on $n$ nodes has at most $T_{\max} = \frac{n}{3} \tbinom{d}{2}$ triangles. We compute the leading asymptotics of the probability that a large random $d$-regular graph has at least $c \cdot T_{\max}$ triangles, and provide a strong structural description of such graphs.
When $d$ is fixed, we show that such graphs typically consist of many disjoint $d+1$-cliques and an almost triangle-free part. When $d$ is allowed to grow with $n$, we show that such graphs typically consist of $d+o(d)$ sized almost cliques together with an almost triangle-free part.
This confirms a conjecture of Collet and Eckmann from 2002 and considerably strengthens their observation that the triangles cannot be totally scattered in typical instances of regular graphs with many triangles.
Existence of Regular Nut Graphs and the Fowler Construction
In this paper the problem of the existence of regular nut graphs is addressed. A generalization of Fowler's Construction which is a local enlargement applied to a vertex in a graph is introduced to generate nut graphs of higher order. Let $N(ρ)$ denote the set of integers $n$ such that there exists a regular nut graph of degree $ρ$ and order $n$. It is proven that $N(3) = \{12\} \cup \{2k : k \geq 9\}$ and that $N(4) = \{8,10,12\} \cup \{n: n \geq 14\}$. The problem of determining $N(ρ)$ for $ρ> 4$ remains completely open.
Finite 2-arc-transitive strongly regular graphs and 3-geodesic-transitive graphs
We classify all the $2$-arc-transitive strongly regular graphs, and use this classification to study the family of finite $(G,3)$-geodesic-transitive graphs of girth $4$ or $5$ for some group $G$ of automorphisms. For this application we first give a reduction result on the latter family of graphs: let $N$ be a normal subgroup of $G$ which has at least $3$ orbits on vertices. We show that $Γ$ is a cover of its quotient $Γ_N$ modulo the $N$-orbits, and that either $Γ_N$ is $(G/N,3)$-geodesic-transitive of the same girth as $Γ$, or $Γ_N$ is a $(G/N,2)$-arc-transitive strongly regular graph, or $Γ_N$ is a complete graph with $G/N$ acting 3-transitively on vertices. The classification of $2$-arc-transitive strongly regular graphs allows us to characterise the $(G,3)$-geodesic-transitive covers $Γ$ when $Γ_N$ is complete or strongly regular.
Combinatorial reciprocity for the chromatic polynomial and the chromatic symmetric function
Published
• View Publication
• BIB
Let G be a graph, and let $χ$G be its chromatic polynomial. For any non-negative integers i, j, we give an interpretation for the evaluation $χ$ (i) G (--j) in terms of acyclic orientations. This recovers the classical interpretations due to Stanley and to Green and Zaslavsky respectively in the cases i = 0 and j = 0. We also give symmetric function refinements of our interpretations, and some extensions. The proofs use heap theory in the spirit of a 1999 paper of Gessel.
Sesqui-regular graphs with fixed smallest eigenvalue
Let $λ\geq2$ be an integer. For strongly regular graphs with parameters $(v, k, a,c)$ and smallest eigenvalue $-λ$, Neumaier gave two bounds on $c$ by using algebraic property of strongly regular graphs. In this paper, we will study a new class of regular graphs called sesqui-regular graphs, which contains strongly regular graphs as a subclass, and prove that for a sesqui-regular graph with parameters $(v,k,c)$ and smallest eigenvalue at least $-λ$, if $k$ is very large, then either $c \leq λ^2(λ-1)$ or $v-k-1 \leq \frac{(λ-1)^2}{4} + 1$ holds.
On asymptotic behavior of Bell polynomials and concentration of vertex degree of large random graphs
We study concentration properties of vertex degrees of $n$-dimensional Erdos-Rényi random graphs with the edge probability $ρ/n$ by means of high moments of these random variables in the limit when $n$ and $ρ$ tend to infinity. These moments are asymptotically close to one-variable Bell polynomials ${\cal B}_k(ρ), k\in {\bf N}$ that represent moments of the Poisson probability distribution ${\cal P}(ρ)$. We study asymptotic behavior of the Bell polynomials and modified Bell polynomials for large values of $k$ and $ρ$ with the help of the local limit theorem for auxiliary random variables.
Using the results obtained, we get the upper bounds for the deviation probabilities of the normalized maximal vertex degree of the Erdos-Rényi random graphs in the limit $n,ρ\to\infty$ such that the ratio $ρ/\log n $ remains finite or infinitely increases.
Completion and deficiency problems
Given a partial Steiner triple system (STS) of order $n$, what is the order of the smallest complete STS it can be embedded into? The study of this question goes back more than 40 years. In this paper we answer it for relatively sparse STSs, showing that given a partial STS of order $n$ with at most $r \le \varepsilon n^2$ triples, it can always be embedded into a complete STS of order $n+O(\sqrt{r})$, which is asymptotically optimal. We also obtain similar results for completions of Latin squares and other designs.
This suggests a new, natural class of questions, called deficiency problems. Given a global spanning property $\mathcal{P}$ and a graph $G$, we define the deficiency of the graph $G$ with respect to the property $\mathcal{P}$ to be the smallest positive integer $t$ such that the join $G\ast K_t$ has property $\mathcal{P}$. To illustrate this concept we consider deficiency versions of some well-studied properties, such as having a $K_k$-decomposition, Hamiltonicity, having a triangle-factor and having a perfect matching in hypergraphs.
The main goal of this paper is to propose a systematic study of these problems; thus several future research directions are also given.
The game chromatic index of trees of maximum degree 4 with at most three degree-four vertices in a row
Fong et al. (The game chromatic index of some trees with maximum degree four and adjacent degree-four vertices, J. Comb Optim 36 (2018) 1-12) proved that the game chromatic index of any tree $T$ of maximum degree 4 whose degree-four vertices induce a forest of paths of length $l$ less than 2 is at most 5. In this paper, we show that the bound 5 is also valid for $l\leq 2$. This partially solves the problem of characterization of the trees whose game chromatic index exceeds the maximum degree by at most 1, which was proposed by Cai and Zhu (Game chromatic index of $k$-degenerate graphs, J. Graph Theory 36 (2001) 144-155).
New bounds for the b-chromatic number of vertex deleted graphs
A b-coloring of a graph is a proper coloring of its vertices such that each color class contains a vertex adjacent to at least one vertex of every other color class. The b-chromatic number of a graph is the largest integer k such that the graph has a b-coloring with k colors. In this work we present lower bounds for the b-chromatic number of a vertex-deleted subgraph of a graph, particularly regarding two important classes, quasi-line and chordal graphs. We also get bounds for the b-chromatic number of G -{x}, when G is a graph with large girth.
Proper 3-orientations of bipartite planar graphs with minimum degree at least 3
We show that every bipartite planar graph with minimum degree at least 3 has proper orientation number at most 3.
Erdös-Pósa property of minor-models with prescribed vertex sets
A minor-model of a graph $H$ in a graph $G$ is a subgraph of $G$ that can be contracted to $H$. We prove that for a positive integer $\ell$ and a non-empty planar graph $H$ with at least $\ell-1$ connected components, there exists a function $f_{H, \ell}:\mathbb{N}\rightarrow \mathbb{R}$ satisfying the property that every graph $G$ with a family of vertex subsets $Z_1, \ldots, Z_m$ contains either $k$ pairwise vertex-disjoint minor-models of $H$ each intersecting at least $\ell$ sets among prescribed vertex sets, or a vertex subset of size at most $f_{H, \ell}(k)$ that meets all such minor-models of $H$. This function $f_{H, \ell}$ is independent with the number $m$ of given sets, and thus, our result generalizes Mader's $\mathcal S$-path Theorem, by applying $\ell=2$ and $H$ to be the one-vertex graph. We prove that such a function $f_{H, \ell}$ does not exist if $H$ consists of at most $\ell-2$ connected components.
Random walks and forbidden minors II: A $\text{poly}(d\varepsilon^{-1})$-query tester for minor-closed properties of bounded-degree graphs
Let $G$ be a graph with $n$ vertices and maximum degree $d$. Fix some minor-closed property $\mathcal{P}$ (such as planarity). We say that $G$ is $\varepsilon$-far from $\mathcal{P}$ if one has to remove $\varepsilon dn$ edges to make it have $\mathcal{P}$. The problem of property testing $\mathcal{P}$ was introduced in the seminal work of Benjamini-Schramm-Shapira (STOC 2008) that gave a tester with query complexity triply exponential in $\varepsilon^{-1}$. Levi-Ron (TALG 2015) have given the best tester to date, with a quasipolynomial (in $\varepsilon^{-1}$) query complexity. It is an open problem to get property testers whose query complexity is $\text{poly}(d\varepsilon^{-1})$, even for planarity.
In this paper, we resolve this open question. For any minor-closed property, we give a tester with query complexity $d\cdot \text{poly}(\varepsilon^{-1})$. The previous line of work on (independent of $n$, two-sided) testers is primarily combinatorial. Our work, on the other hand, employs techniques from spectral graph theory. This paper is a continuation of recent work of the authors (FOCS 2018) analyzing random walk algorithms that find forbidden minors.
Pebble Exchange Group of Graphs
Published in European Journal of Combinatorics (2021)
• View Publication
• BIB
A graph puzzle ${\rm Puz}(G)$ of a graph $G$ is defined as follows. A configuration of ${\rm Puz}(G)$ is a bijection from the set of vertices of a board graph to the set of vertices of a pebble graph, both graphs being isomorphic to some input graph $G$. A move of pebbles is defined as exchanging two pebbles which are adjacent on both a board graph and a pebble graph. For a pair of configurations $f$ and $g$, we say that $f$ is equivalent to $g$ if $f$ can be transformed into $g$ by a finite sequence of moves.
Let ${\rm Aut}(G)$ be the automorphism group of $G$, and let ${\rm 1}_G$ be the unit element of ${\rm Aut}(G)$. The pebble exchange group of $G$, denoted by ${\rm Peb}(G)$, is defined as the set of all automorphisms $f$ of $G$ such that ${\rm 1}_G$ and $f$ are equivalent to each other.
In this paper, some basic properties of ${\rm Peb}(G)$ are studied. Among other results, it is shown that for any connected graph $G$, all automorphisms of $G$ are contained in ${\rm Peb}(G^2)$, where $G^2$ is a square graph of $G$.
An Improved Error Term for Tur$\acute{\rm a}$n Number of Expanded Non-degenerate 2-graphs
For a 2-graph $F$, let $H_F^{(r)}$ be the $r$-graph obtained from $F$ by enlarging each edge with a new set of $r-2$ vertices. We show that if $χ(F)=\ell>r \geq 2$, then $ {\rm ex}(n,H_F^{(r)})= t_r (n,\ell-1)+ Θ( {\rm biex}(n,F)n^{r-2}),$ where $t_r (n,\ell-1)$ is the number of edges of an $n$-vertex complete balanced $\ell-1$ partite $r$-graph and ${\rm biex}(n,F)$ is the extremal number of the decomposition family of $F$. Since ${\rm biex}(n,F)=O(n^{2-γ})$ for some $γ>0$, this improves on the bound ${\rm ex}(n,H_F^{(r)})= t_r (n,\ell-1)+ o(n^r)$ by Mubayi (2016). Furthermore, our result implies that ${\rm ex}(n,H_F^{(r)})= t_r (n,\ell-1)$ when $F$ is edge-critical, which is an extension of the result of Pikhurko (2013).
Borel sets of Rado graphs and Ramsey's Theorem
The well-known Galvin-Prikry Theorem states that Borel subsets of the Baire space are Ramsey: Given any Borel subset $\mathcal{X}\subseteq [ω]^ω$, where $[ω]^ω$ is endowed with the metric topology, each infinite subset $X\subseteq ω$ contains an infinite subset $Y\subseteq X$ such that $[Y]^ω$ is either contained in $\mathcal{X}$ or disjoint from $\mathcal{X}$. Kechris, Pestov, and Todorcevic point out in their seminal 2005 paper the dearth of similar results for homogeneous structures. Such results are a necessary step to the larger goal of finding a correspondence between structures with infinite dimensional Ramsey properties and topological dynamics, extending their correspondence between the Ramsey property and extreme amenability. In this article, we prove an analogue of the Galvin-Prikry theorem for the Rado graph. Any such infinite dimensional Ramsey theorem is subject to constraints following from the 2006 work of Laflamme, Sauer, and Vuksanovic. The proof uses techniques developed for the author's work on the Ramsey theory of the Henson graphs as well as some new methods for fusion sequences, used to bypass the lack of a certain amalgamation property enjoyed by the Baire space.
Equitable 2-partitions of the Hamming graphs with the second eigenvalue
The eigenvalues of the Hamming graph $H(n,q)$ are known to be $λ_i(n,q)=(q-1)n-qi$, $0\leq i \leq n$. The characterization of equitable 2-partitions of the Hamming graphs $H(n,q)$ with eigenvalue $λ_{1}(n,q)$ was obtained by Meyerowitz in [15]. We study the equitable 2-partitions of $H(n,q)$ with eigenvalue $λ_{2}(n,q)$. We show that these partitions are reduced to equitable 2-partitions of $H(3,q)$ with eigenvalue $λ_{2}(3,q)$ with exception of two constructions.
Fractional matchings, component-factors and edge-chromatic critical graphs
Published in Graphs and Combinatorics (2021)
• View Publication
• BIB
The first part of the paper studies star-cycle factors of graphs. It characterizes star-cycle factors of a graph $G$ and proves upper bounds for the minimum number of $K_{1,2}$-components in a $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor of a graph $G$. Furthermore, it shows where these components are located with respect to the Gallai-Edmonds decomposition of $G$ and it characterizes the edges which are not contained in any $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor of $G$. The second part of the paper proves that every edge-chromatic critical graph $G$ has a $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor, and the number of $K_{1,2}$-components is bounded in terms of its fractional matching number. Furthermore, it shows that for every edge $e$ of $G$, there is a $\{K_{1,1}, K_{1,2}, C_n\colon n\ge 3\}$-factor $F$ with $e \in E(F)$. Consequences of these results for Vizing's critical graph conjectures are discussed.
Color Refinement, Homomorphisms, and Hypergraphs
Recent results show that the structural similarity of graphs can be characterized by counting homomorphisms to them: the Tree Theorem states that the well-known color-refinement algorithm does not distinguish two graphs G and H if and only if, for every tree T, the number of homomorphisms Hom(T,G) from T to G is equal to the corresponding number Hom(T,H) from T to H (Dell, Grohe, Rattan 2018). We show how this approach transfers to hypergraphs by introducing a generalization of color refinement. We prove that it does not distinguish two hypergraphs G and H if and only if, for every connected Berge-acyclic hypergraph B, we have Hom(B,G) = Hom(B,H). To this end, we show how homomorphisms of hypergraphs and of a colored variant of their incidence graphs are related to each other. This reduces the above statement to one about vertex-colored graphs.
Sparse graphs are near-bipartite
Published in SIAM Journal on Discrete Math. Vol. 34(3), 2020, pp. 1725-1768
• Search Publication
A multigraph $G$ is near-bipartite if $V(G)$ can be partitioned as $I,F$ such that $I$ is an independent set and $F$ induces a forest. We prove that a multigraph $G$ is near-bipartite when $3|W|-2|E(G[W])|\ge -1$ for every $W\subseteq V(G)$, and $G$ contains no $K_4$ and no Moser spindle. We prove that a simple graph $G$ is near-bipartite when $8|W|-5|E(G[W])|\ge -4$ for every $W\subseteq V(G)$, and $G$ contains no subgraph from some finite family $\mathcal{H}$. We also construct infinite families to show that both results are best possible in a very sharp sense.