graph
35299 papers tagged with this keyword
Interlacing Families IV: Bipartite Ramanujan Graphs of All Sizes
Published
• View Publication
• BIB
We prove that there exist bipartite Ramanujan graphs of every degree and every number of vertices. The proof is based on analyzing the expected characteristic polynomial of a union of random perfect matchings, and involves three ingredients: (1) a formula for the expected characteristic polynomial of the sum of a regular graph with a random permutation of another regular graph, (2) a proof that this expected polynomial is real rooted and that the family of polynomials considered in this sum is an interlacing family, and (3) strong bounds on the roots of the expected characteristic polynomial of a union of random perfect matchings, established using the framework of finite free convolutions we recently introduced.
A sharp threshold for a modified bootstrap percolation with recovery
Published in Journal of Statistical Physics, Volume 157, Issue 3 (2014), pp 531-570
• View Publication
• BIB
Bootstrap percolation is a type of cellular automaton on graphs, introduced as a simple model of the dynamics of ferromagnetism. Vertices in a graph can be in one of two states: `healthy' or `infected' and from an initial configuration of states, healthy vertices become infected by local rules. While the usual bootstrap processes are monotone in the sets of infected vertices, in this paper, a modification is examined in which infected vertices can return to a healthy state. Vertices are initially infected independently at random and the central question is whether all vertices eventually become infected. The model examined here is such a process on a square grid for which healthy vertices with at least two infected neighbours become infected and infected vertices with no infected neighbours become healthy. Sharp thresholds are given for the critical probability of initial infections for all vertices eventually to become infected.
Positive independence densities of finite rank countable hypergraphs are achieved by finite hypergraphs
Published
• View Publication
• BIB
The independence density of a finite hypergraph is the probability that a subset of vertices, chosen uniformly at random contains no hyperedges. Independence densities can be generalized to countable hypergraphs using limits. We show that, in fact, every positive independence density of a countably infinite hypergraph with hyperedges of bounded size is equal to the independence density of some finite hypergraph whose hyperedges are no larger than those in the infinite hypergraph. This answers a question of Bonato, Brown, Kemkes, and Prałat about independence densities of graphs. Furthermore, we show that for any $k$, the set of independence densities of hypergraphs with hyperedges of size at most $k$ is closed and contains no infinite increasing sequences.
A survey of Turán problems for expansions
Published
• View Publication
• BIB
The $r$-expansion $G^+$ of a graph $G$ is the $r$-uniform hypergraph obtained from $G$ by enlarging each edge of $G$ with a vertex subset of size $r-2$ disjoint from $V(G)$ such that distinct edges are enlarged by disjoint subsets. Let $ex_r(n,F)$ denote the maximum number of edges in an $r$-uniform hypergraph with $n$ vertices not containing any copy of the $r$-uniform hypergraph $F$. Many problems in extremal set theory ask for the determination of $ex_r(n,G^+)$ for various graphs $G$. We survey these Turán-type problems, focusing on recent developments.
The Hamilton-Waterloo Problem with $C_4$ and $C_m$ Factors
The Hamilton-Waterloo problem with uniform cycle sizes asks for a $2-$ factorization of the complete graph $K_v$ (for odd {\em v}) or $K_v$ minus a $1-$factor (for even {\em v}) where $r$ of the factors consist of $n-$cycles and $s$ of the factors consist of $m-$cycles with $r+s=\left \lfloor \frac{v-1}{2} \right \rfloor$. In this paper, the Hamilton-Waterloo Problem with $4-$cycle and $m-$cycle factors for odd $m\geq 3$ is studied and all possible solutions with a few possible exceptions are determined.
Extremal results for Berge-hypergraphs
Published
• View Publication
• BIB
Let $G$ be a graph and $\mathcal{H}$ be a hypergraph both on the same vertex set. We say that a hypergraph $\mathcal{H}$ is a \emph{Berge}-$G$ if there is a bijection $f : E(G) \rightarrow E(\mathcal{H})$ such that for $e \in E(G)$ we have $e \subset f(e)$. This generalizes the established definitions of "Berge path" and "Berge cycle" to general graphs. For a fixed graph $G$ we examine the maximum possible size (i.e.\ the sum of the cardinality of each edge) of a hypergraph with no Berge-$G$ as a subhypergraph. In the present paper we prove general bounds for this maximum when $G$ is an arbitrary graph. We also consider the specific case when $G$ is a complete bipartite graph and prove an analogue of the K\H ovári-Sós-Turán theorem.
Dimension and cut vertices: an application of Ramsey theory
Published in Steve Butler, Joshua Cooper, and Glenn Hurlbert (eds.) Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, pp. 187-199, Cambridge University Press, Cambridge, 2018 (Chapter 11)
• View Publication
• BIB
Motivated by quite recent research involving the relationship between the dimension of a poset and graph-theoretic properties of its cover graph, we show that for every $d\geq 1$, if $P$ is a poset and the dimension of a subposet $B$ of $P$ is at most $d$ whenever the cover graph of $B$ is a block of the cover graph of $P$, then the dimension of $P$ is at most $d+2$. We also construct examples which show that this inequality is best possible. We consider the proof of the upper bound to be fairly elegant and relatively compact. However, we know of no simple proof for the lower bound, and our argument requires a powerful tool known as the Product Ramsey Theorem. As a consequence, our constructions involve posets of enormous size.
The Kuenneth formula for graphs
We construct a Cartesian product G x H for finite simple graphs. It satisfies the Kuenneth formula: H^k(G x H) is a direct sum of tensor products H^i(G) x H^j(G) with i+j=k and so p(G x H,x) = p(G,x) p(H,y) for the Poincare polynomial p(G,x) and X(G x H) = X(G) X(H) for the Euler characteristic X(G)=p(G,-1). G1=G x K1 has as vertices the simplices of G and a natural digraph structure. We show that dim(G1) is larger or equal than dim(G) and G1 is homotopic to G. The Kuenneth identity is proven using Hodge describing the harmonic forms by the product f g of harmonic forms of G and H and uses a discrete de Rham theorem given by a combinatorial chain homotopy between simplicial and de Rham cohomology. We show dim(G x H) = dim(G1) + dim(H1) implying that dim(G x H) is larger or equal than dim(G) + dim(H) as for Hausdorff dimension in the continuum. The chromatic number c(G1) is smaller or equal than c(G) and c(G x H) is bounded above by c(G)+c(H)-1. The automorphism group of G x H contains Aut(G) x Aut(H). If G~H and U~V then (G x U) ~ (H x V) if ~ means homotopic: homotopy classes can be multiplided. If G is k-dimensional geometric meaning that all unit spheres S(x) in G are (k-1)-discrete homotopy spheres, then G1 is k-dimensional geometric. If G is k-dimensional geometric and H is l-dimensional geometric, then G x H is geometric of dimension (l+k). The product extends to a ring of chains which unlike the category of graphs is closed under boundary operation taking quotients G/A with A subset Aut(G). As we can glue graphs or chains, joins or fibre bundles can be defined with the same features as in the continuum, allowing to build isomorphism classes of bundles.
Graphs with small diameter determined by their $D$-spectra
Published
• View Publication
• BIB
Let $G$ be a connected graph with vertex set $V(G)=\{v_{1},v_{2},...,v_{n}\}$. The distance matrix $D(G)=(d_{ij})_{n\times n}$ is the matrix indexed by the vertices of $G,$ where $d_{ij}$ denotes the distance between the vertices $v_{i}$ and $v_{j}$. Suppose that $λ_{1}(D)\geqλ_{2}(D)\geq\cdots\geqλ_{n}(D)$ are the distance spectrum of $G$. The graph $G$ is said to be determined by its $D$-spectrum if with respect to the distance matrix $D(G)$, any graph having the same spectrum as $G$ is isomorphic to $G$. In this paper, we give the distance characteristic polynomial of some graphs with small diameter, and also prove that these graphs are determined by their $D$-spectra.
Random knots using Chebyshev billiard table diagrams
Published in Topology and its Applications 194 (2015) 4-21
• View Publication
• BIB
We use the Chebyshev knot diagram model of Koseleff and Pecker in order to introduce a random knot diagram model by assigning the crossings to be positive or negative uniformly at random. We give a formula for the probability of choosing a knot at random among all knots with bridge index at most 2. Restricted to this class, we define internal and external reduction moves that decrease the number of crossings of the diagram. We make calculations based on our formula, showing the numerics in graphs and providing evidence for our conjecture that the probability of any knot appearing in this model decays to zero as the number of crossings goes to infinity.
Anti-magic labeling of regular graphs
Published
• View Publication
• BIB
A graph $G=(V,E)$ is antimagic if there is a one-to-one correspondence $f: E \to \{1,2,\ldots, |E|\}$ such that for any two vertices $u,v$, $\sum_{e \in E(u)}f(e) \ne \sum_{e\in E(v)}f(e)$. It is known that bipartite regular graphs are antimagic and non-bipartite regular graphs of odd degree at least three are antimagic. Whether all non-bipartite regular graphs of even degree are antimagic remained an open problem. In this paper, we solve this problem and prove that all even degree regular graphs are antimagic. The paper was submitted to December 2014 by Journal of Graph Theory.
Path Graphs, Clique Trees, and Flowers
An \emph{asteroidal triple} is a set of three independent vertices in a graph such that any two vertices in the set are connected by a path which avoids the neighbourhood of the third.
A classical result by Lekkerkerker and Boland \cite{6} showed that interval graphs are precisely the chordal graphs that do not have asteroidal triples.
Interval graphs are chordal, as are the \emph{directed path graphs} and the \emph{path graphs}.
Similar to Lekkerkerker and Boland, Cameron, Hoáng, and Lévêque \cite{4} gave a characterization of directed path graphs by a "special type" of asteroidal triple, and asked whether or not there was such a characterization for path graphs.
We give strong evidence that asteroidal triples alone are insufficient to characterize the family of path graphs, and give a new characterization of path graphs via a forbidden induced subgraph family that we call \emph{sun systems}.
Key to our new characterization is the study of \emph{asteroidal sets} in sun systems, which are a natural generalization of asteroidal triples.
Our characterization of path graphs by forbidding sun systems also generalizes a characterization of directed path graphs by forbidding odd suns that was given by Chaplick et al.~\cite{9}.
Subdivision into i-packings and S-packing chromatic number of some lattices
Published
• View Publication
• BIB
An $i$-packing in a graph $G$ is a set of vertices at pairwise distance greater than $i$. For a nondecreasing sequence of integers $S=(s\_{1},s\_{2},\ldots)$, the $S$-packing chromatic number of a graph $G$ is the least integer $k$ such that there exists a coloring of $G$ into $k$ colors where each set of vertices colored $i$, $i=1,\ldots, k$, is an $s\_i$-packing.
This paper describes various subdivisions of an $i$-packing into $j$-packings ($j\textgreater{}i$) for the hexagonal, square and triangular lattices. These results allow us to bound the $S$-packing chromatic number for these graphs, with more precise bounds and exact values for sequences $S=(s\_{i}, i\in\mathbb{N}^{*})$, $s\_{i}=d+ \lfloor (i-1)/n \rfloor$.
Fine structure of 4-critical triangle-free graphs I. Planar graphs with two triangles and 3-colorability of chains
Published
• View Publication
• BIB
Aksenov proved that in a planar graph G with at most one triangle, every precoloring of a 4-cycle can be extended to a 3-coloring of G. We give an exact characterization of planar graphs with two triangles in that some precoloring of a 4-cycle does not extend. We apply this characterization to solve the precoloring extension problem from two 4-cycles in a triangle-free planar graph in the case that the precolored 4-cycles are separated by many disjoint 4-cycles. The latter result is used in followup papers to give detailed information about the structure of 4-critical triangle-free graphs embedded in a fixed surface.
Fine structure of 4-critical triangle-free graphs II. Planar triangle-free graphs with two precolored 4-cycles
Published in SIAM J. Discrete Math 31 (2017) 865-874
• View Publication
• BIB
We study 3-coloring properties of triangle-free planar graphs $G$ with two precolored 4-cycles $C_1$ and $C_2$ that are far apart. We prove that either every precoloring of $C_1\cup C_2$ extends to a 3-coloring of $G$, or $G$ contains one of two special substructures which uniquely determine which 3-colorings of $C_1\cup C_2$ extend. As a corollary, we prove that there exists a constant $D>0$ such that if $H$ is a planar triangle-free graph and $S\subseteq V(H)$ consists of vertices at pairwise distances at least $D$, then every precoloring of $S$ extends to a 3-coloring of $H$. This gives a positive answer to a conjecture of Dvořák, Král' and Thomas, and implies an exponential lower bound on the number of 3-colorings of triangle-free planar graphs of bounded maximum degree.
Fine structure of 4-critical triangle-free graphs III. General surfaces
Published
• View Publication
• BIB
Dvořák, Král' and Thomas gave a description of the structure of triangle-free graphs on surfaces with respect to 3-coloring. Their description however contains two substructures (both related to graphs embedded in plane with two precolored cycles) whose coloring properties are not entirely determined. In this paper, we fill these gaps.
Improper Interval Graphs and the Corresponding Minimal Forbidden Interval Subgraphs
An interval graph is considered improper if and only if it has a representation such that an interval contains another interval. Previously these have been investigated in terms of balance and minimal forbidden interval subgraphs for the class of 1-improper interval graphs. This paper investigates the minimal forbidden interval sub-graphs further, generalizing results to all p-improper interval graphs. It is apparent that there are many different types of possible minimal forbidden subgraphs that fall into four broad categories.
Semi-algebraic colorings of complete graphs
We consider $m$-colorings of the edges of a complete graph, where each color class is defined semi-algebraically with bounded complexity. The case $m = 2$ was first studied by Alon et al., who applied this framework to obtain surprisingly strong Ramsey-type results for intersection graphs of geometric objects and for other graphs arising in computational geometry. Considering larger values of $m$ is relevant, e.g., to problems concerning the number of distinct distances determined by a point set.
For $p\ge 3$ and $m\ge 2$, the classical Ramsey number $R(p;m)$ is the smallest positive integer $n$ such that any $m$-coloring of the edges of $K_n$, the complete graph on $n$ vertices, contains a monochromatic $K_p$. It is a longstanding open problem that goes back to Schur (1916) to decide whether $R(p;m)=2^{O(m)}$, for a fixed $p$. We prove that this is true if each color class is defined semi-algebraically with bounded complexity. The order of magnitude of this bound is tight. Our proof is based on the Cutting Lemma of Chazelle {\em et al.}, and on a Szemerédi-type regularity lemma for multicolored semi-algebraic graphs, which is of independent interest. The same technique is used to address the semi-algebraic variant of a more general Ramsey-type problem of Erdős and Shelah.
On derivatives of graphon parameters
Published in J. Combin. Theory Ser. A, 145 (2017) 364-368
• View Publication
• BIB
We give a short elementary proof of the main theorem in the paper "Differential calculus on graphon space" by Diao et al. (JCTA 2015), which says that any graphon parameters whose $(N+1)$-th derivatives all vanish must be a linear combination of homomorphism densities $t(H, -)$ over graphs $H$ on at most $N$ edges.
Games on Random Boards
Published
• View Publication
• BIB
We consider the following two-player game on a graph. A token is located at a vertex, and the players take turns to move it along an edge to a vertex that has not been visited before. A player who cannot move loses. We analyze outcomes with optimal play on percolation clusters of Euclidean lattices.
On Z^2 with two different percolation parameters for odd and even sites, we prove that the game has no draws provided closed sites of one parity are sufficiently rare compared with those of the other parity (thus favoring one player). We prove this also for certain d-dimensional lattices with d>=3. It is an open question whether draws can occur when the two parameters are equal.
On a finite ball of Z^2, with only odd sites closed but with the external boundary consisting of even sites, we identify up to logarithmic factors a critical window for the trade-off between the size of the ball and the percolation parameter. Outside this window, one or other player has a decisive advantage.
Our analysis of the game is intimately tied to the effect of boundary conditions on maximum-cardinality matchings.