contain ↗ reference
7720 papers tagged with this keyword
Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex I: An Asymptotic Result
In this paper and a companion paper, we prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a recent conjecture by Havet, Reed, Stein, and Wood. The present paper already contains an approximate version of the result.
Spanning Trees in Graphs of High Minimum Degree with a Universal Vertex II: A Tight Result
We prove that, if $m$ is sufficiently large, every graph on $m+1$ vertices that has a universal vertex and minimum degree at least $\lfloor \frac{2m}{3} \rfloor$ contains each tree $T$ with $m$ edges as a subgraph. Our result confirms, for large $m$, an important special case of a conjecture by Havet, Reed, Stein, and Wood. The present paper builds on the results of a companion paper in which we proved the statement for all trees having a vertex that is adjacent to many leaves.
On Wormald's differential equation method
This note contains a short and simple proof of Wormald's differential equation method (that yields slightly improved approximation guarantees and error probabilities). This powerful method uses differential equations to approximate the time-evolution/dynamics of random processes and algorithms.
Gaps in the cycle spectrum of 3-connected cubic planar graphs
We prove that, for every natural number $k$, every sufficiently large 3-connected cubic planar graph has a cycle whose length is in $[k,2k+9]$. We also show that this bound is close to being optimal by constructing, for every even $k\geq 4$, an infinite family of 3-connected cubic planar graphs that contain no cycle whose length is in $[k,2k+1]$.
On characterizing the critical graphs for matching Ramsey numbers
Given simple graphs $H_{1},H_{2},\ldots,H_{c}$, the Ramsey number $r(H_{1},H_{2},\ldots,H_{c})$ is the smallest positive integer $n$ such that every edge-colored $K_{n}$ with $c$ colors contains a subgraph in color $i$ isomorphic to $H_{i}$ for some $i\in\{1,2,\ldots,c\}$. The critical graphs for $r(H_1,H_2,\ldots,H_c)$ are edge-colored complete graphs on $r(H_1,H_2,\ldots,H_c)-1$ vertices with $c$ colors which contain no subgraphs in color $i$ isomorphic to $H_{i}$ for any $i\in \{1,2,\ldots,c\}$. For $n_1\geq n_2\geq \ldots\geq n_c\geq 1$, Cockayne and Lorimer (The Ramsey number for stripes, {\it J.\ Austral.\ Math.\ Soc.} \textbf{19} (1975), 252--256.) showed that $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})=n_{1}+1+ \sum\limits_{i=1}^c(n_{i}-1)$, in which $n_{i}K_{2}$ is a matching of size $n_{i}$. Using the Gallai-Edmonds Theorem, we characterized all the critical graphs for $r(n_{1}K_{2},n_{2}K_{2},\ldots,n_{c}K_{2})$, implying a new proof for this Ramsey number.
Four-term progression free sets with three-term progressions in all large subsets
This paper is mainly concerned with sets which do not contain four-term arithmetic progressions, but are still very rich in three term arithmetic progressions, in the sense that all sufficiently large subsets contain at least one such progression. We prove that there exists a positive constant $c$ and a set $A \subset \mathbb F_q^n$ which does not contain a four-term arithmetic progression, with the property that for every subset $A' \subset A$ with $|A'| \geq |A|^{1-c}$, $A'$ contains a nontrivial three term arithmetic progression. We derive this from a more general quantitative Roth-type theorem in random subsets of $\mathbb{F}_{q}^{n}$, which improves a result of Kohayakawa-Luczak-Rödl/Tao-Vu. We also discuss a similar phenomenon over the integers, where we show that for all $ε>0$, and all sufficiently large $N \in \mathbb N$, there exists a four-term progression-free set $A$ of size $N$ with the property that for every subset $A' \subset A$ with $|A'| \gg \frac{1}{(\log N)^{1-ε}} \cdot N$ contains a nontrivial three term arithmetic progression. Finally, we include another application of our methods, showing that for sets in $\mathbb{F}_{q}^{n}$ or $\mathbb{Z}$ the property of "having nontrivial three-term progressions in all large subsets" is almost entirely uncorrelated with the property of "having large additive energy".
Small unit-distance graphs in the plane
We prove that a graph on up to 9 vertices is a unit-distance graph if and only if it does not contain one of 74 so-called minimal forbidden graphs. This extends the work of Chilakamarri and Mahoney (1995), who provide a similar classification for unit-distance graphs on up to 7 vertices.
Gallai-Ramsey number of an 8-cycle
Given graphs $G$ and $H$ and a positive integer $k$, the Gallai-Ramsey number $gr_{k}(G : H)$ is the minimum integer $N$ such that for any integer $n \geq N$, every $k$-edge-coloring of $K_{n}$ contains either a rainbow copy of $G$ or a monochromatic copy of $H$. These numbers have recently been studied for the case when $G = K_{3}$, where still only a few precise numbers are known for all $k$. In this paper, we extend the known precise Gallai-Ramsey numbers to include $H = C_{8}$ for all $k$.
$b$-invariant edges in essentially 4-edge-connected near-bipartite cubic bricks
A {\em brick} is a non-bipartite matching covered graph without non-trivial tight cuts. Bricks are building blocks of matching covered graphs. We say that an edge $e$ in a brick $G$ is {\em $b$-invariant} if $G-e$ is matching covered and a tight cut decomposition of $G-e$ contains exactly one brick. A 2-edge-connected cubic graph is {\em essentially 4-edge-connected} if it does not contain nontrivial 3-cuts. A brick $G$ is {\em near-bipartite} if it has a pair of edges $\{e_1, e_2\}$ such that $G-\{e_1,e_2\}$ is bipartite and matching covered.
Kothari, de Carvalho, Lucchesi and Little proved that each essentially 4-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges. Moreover, they made a conjecture: every essentially 4-edge-connected cubic near-bipartite brick $G$, distinct from $K_4$, has at least $|V(G)|/2$ $b$-invariant edges. We confirm the conjecture in this paper. Furthermore, all the essentially 4-edge-connected cubic near-bipartite bricks, the numbers of $b$-invariant edges of which attain the lower bound, are presented.
Ramsey numbers and monotone colorings
Published in Journal of Combinatorial Theory, Series A 163, pages 34-58, 2019
• View Publication
• BIB
For positive integers $N$ and $r \geq 2$, an $r$-monotone coloring of $\binom{\{1,\dots,N\}}{r}$ is a 2-coloring by $-1$ and $+1$ that is monotone on the lexicographically ordered sequence of $r$-tuples of every $(r+1)$-tuple from~$\binom{\{1,\dots,N\}}{r+1}$. Let ${\overline{R}_{mon}}(n;r)$ be the minimum $N$ such that every $r$-monotone coloring of $\binom{\{1,\dots,N\}}{r}$ contains a monochromatic copy of $\binom{\{1,\dots,n\}}{r}$.
For every $r \geq 3$, it is known that ${\overline{R}_{mon}}(n;r) \leq tow_{r-1}(O(n))$, where $tow_h(x)$ is the tower function of height $h-1$ defined as $tow_1(x)=x$ and $tow_h(x) = 2^{tow_{h-1}(x)}$ for $h \geq 2$. The Erdős--Szekeres Lemma and the Erdős--Szekeres Theorem imply ${\overline{R}_{mon}}(n;2)=(n-1)^2+1$ and ${\overline{R}_{mon}}(n;3)=\binom{2n-4}{n-2}+1$, respectively. It follows from a result of Eliáš and Matoušek that ${\overline{R}_{mon}}(n;4)\geq tow_3(Ω(n))$.
We show that ${\overline{R}_{mon}}(n;r)\geq tow_{r-1}(Ω(n))$ for every $r \geq 3$. This, in particular, solves an open problem posed by Eliáš and Matoušek and by Moshkovitz and Shapira. Using two geometric interpretations of monotone colorings, we show connections between estimating ${\overline{R}_{mon}}(n;r)$ and two Ramsey-type problems that have been recently considered by several researchers. Namely, we show connections with higher-order Erdős--Szekeres theorems and with Ramsey-type problems for order-type homogeneous sequences of points.
We also prove that the number of $r$-monotone colorings of $\binom{\{1,\dots,N\}}{r}$ is $2^{N^{r-1}/r^{Θ(r)}}$ for $N \geq r \geq 3$, which generalizes the well-known fact that the number of simple arrangements of~$N$ pseudolines is $2^{Θ(N^2)}$.
Rainbow Numbers of $\mathbb{Z}_n$ for $a_1x_1+a_2x_2+a_3x_3 =b$
An exact $r$-coloring of a set $S$ is a surjective function $c:S\to [r]$. The rainbow number of a set $S$ for equation $eq$ is the smallest integer $r$ such that every exact $r$-coloring of $S$ contains a rainbow solution to $eq$. In this paper, the rainbow number of $\Z_p$, for $p$ prime and the equation $a_1x_1 + a_2x_2 + a_3x_3 = b$ is determined. The rainbow number of $\Z_{n}$, for a natural number $n$, is determined under certain conditions.
The scaling limit of a critical random directed graph
We consider the random directed graph $\vec{G}(n,p)$ with vertex set $\{1,2,\ldots,n\}$ in which each of the $n(n-1)$ possible directed edges is present independently with probability $p$. We are interested in the strongly connected components of this directed graph. A phase transition for the emergence of a giant strongly connected component is known to occur at $p = 1/n$, with critical window $p= 1/n + λn^{-4/3}$ for $λ\in \mathcal{R}$. We show that, within this critical window, the strongly connected components of $\vec{G}(n,p)$, ranked in decreasing order of size and rescaled by $n^{-1/3}$, converge in distribution to a sequence $(\mathcal{C}_1,\mathcal{C}_2,\ldots)$ of finite strongly connected directed multigraphs with edge lengths which are either 3-regular or loops. The convergence occurs the sense of an $\ell^1$ sequence metric for which two directed multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge-lengths. Our proofs rely on a depth-first exploration of the graph which enables us to relate the strongly connected components to a particular spanning forest of the undirected Erdős-Rényi random graph $G(n,p)$, whose scaling limit is well understood. We show that the limiting sequence $(\mathcal{C}_1,\mathcal{C}_2,\ldots)$ contains only finitely many components which are not loops. If we ignore the edge lengths, any fixed finite sequence of 3-regular strongly connected directed multigraphs occurs with positive probability.
Finite automata, probabilistic method, and occurrence enumeration of a pattern in words and permutations
The main theme of this paper is the enumeration of the occurrence of a pattern in words and permutations. We mainly focus on asymptotic properties of the sequence $f_r^v(k,n),$ the number of $n$-array $k$-ary words that contain a given pattern $v$ exactly $r$ times. In addition, we study the asymptotic behavior of the random variable $X_n,$ the number of pattern occurrences in a random $n$-array word. The two topics are closely related through the identity $P(X_n=r) = $ $\frac{1}{k^n}f_r^v(k,n).$ In particular, we show that for any $r\geq 0,$ the Stanley-Wilf sequence $\bigl(f_r^v(k,n)\bigr)^{1/n}$ converges to a limit independent of $r,$ and determine the value of the limit. We then obtain several limit theorems for the distribution of $X_n,$ including a CLT, large deviation estimates, and the exact growth rate of the entropy of $X_n.$ Furthermore, we introduce a concept of weak avoidance and link it to a certain family of non-product measures on words that penalize pattern occurrences but do not forbid them entirely. We analyze this family of probability measures in a small parameter regime, where the distributions can be understood as a perturbation of a uniform measure. Finally, we extend some of our results for words, including the one regarding the equivalence of the limits of the Stanley-Wilf sequences, to pattern occurrences in permutations.
Dehn-Sommerville from Gauss-Bonnet
We give a zero curvature proof of Dehn-Sommerville for finite simple graphs. It uses a parametrized Gauss-Bonnet formula telling that the curvature of the valuation G to f_G(t)=1+f0 t + ... + fd t^(d+1) defined by the f-vector of G is the anti-derivative F of f evaluated on the unit sphere S(x). Gauss Bonnet is then parametrized, f_G(t) = sum_x F_(S(x))(t), and holds for all simplicial complexes G. The Gauss-Bonnet formula chi(G)=sum_x K(x) for Euler characteristic chi(G) is the special case t=-1. Dehn-Sommerville is equivalent to the reflection symmetry f_G(t)+(-1)^d f_G(-1-t)=0 which is equivalent to the same symmetry for F. Gauss-Bonnet therefore relates Dehn-Sommerville for G with Dehn-Sommerville for the unit spheres S(x), where it is a zero curvature condition. A class X_d of complexes for which Dehn-Sommerville holds is defined inductively by requiring chi(G)=1+(-1)^d and S(x) in X_(d-1) for all x. It starts with X_(-1)={}. Examples are simplicial spheres, including homology spheres, any odd-dimensional discrete manifold, any even-dimensional discrete manifold with chi(G)=2. It also contains non-orientable ones for which Poincar'e-duality fails or stranger spaces like spaces where the unit spheres allow for two disjoint copies of manifolds with chi(G)=1. Dehn-Sommerville is present in the Barycentric limit. It is a symmetry for the Perron-Frobenius eigenvector of the Barycentric refinement operator A. The even eigenfunctions of A^T, the Barycentric Dehn-Sommerville functionals, vanish on X like 22 f1 - 33 f2 + 40 f3 - 45f4=0 for all 4-manifolds.
Metric dimension of combinatorial game graphs
The study of combinatorial games is intimately tied to the study of graphs, as any game can be realized as a directed graph in which players take turns traversing the edges until reaching a sink. However, there have heretofore been few efforts towards analyzing game graphs using graph theoretic metrics and techniques. A set $S$ of vertices in a graph $G$ resolves $G$ if every vertex in $G$ is uniquely determined by the vector of its distances from the vertices in $S$. A metric basis of $G$ is a smallest resolving set and the metric dimension is the cardinality of a metric basis. In this article we examine the metric dimension of the graphs resulting from some rulesets, including both short games (those which are sure to end after finitely many turns) and loopy games (those games for which the associated graph contains cycles).
Books versus triangles at the extremal density
A celebrated result of Mantel shows that every graph on $n$ vertices with $\lfloor n^2/4 \rfloor + 1$ edges must contain a triangle. A robust version of this result, due to Rademacher, says that there must in fact be at least $\lfloor n/2 \rfloor$ triangles in any such graph. Another strengthening, due to the combined efforts of many authors starting with Erdős, says that any such graph must have an edge which is contained in at least $n/6$ triangles. Following Mubayi, we study the interplay between these two results, that is, between the number of triangles in such graphs and their book number, the largest number of triangles sharing an edge. Among other results, Mubayi showed that for any $1/6 \leq β< 1/4$ there is $γ> 0$ such that any graph on $n$ vertices with at least $\lfloor n^2/4\rfloor + 1$ edges and book number at most $βn$ contains at least $(γ-o(1))n^3$ triangles. He also asked for a more precise estimate for $γ$ in terms of $β$. We make a conjecture about this dependency and prove this conjecture for $β= 1/6$ and for $0.2495 \leq β< 1/4$, thereby answering Mubayi's question in these ranges.
Perfect Pseudo-Matchings in cubic graphs
A perfect pseudo-matching M in a cubic graph G is a spanning subgraph of G such that every component of M is isomorphic to K_2 or to K_1,3.
In view of snarks G with dominating cycle C, this is a natural generalization of perfect matchings since G-E(C) is a perfect pseudo-matching.
Of special interest are such M where the graph G/M is planar because such G have a cycle double cover. We show that various well known classes of snarks contain planarizing perfect pseudo-matchings, and that there are at least as many snarks with planarizing perfect pseudo-matchings as there are cyclically 5-edge-connected snarks.
Increasing paths in countable graphs
In this paper we study variations of an old result by Müller, Reiterman, and the last author stating that a countable graph has a subgraph with infinite degrees if and only if in any labeling of the vertices (or edges) of this graph by positive integers we can always find an infinite increasing path. We study corresponding questions for hypergraphs and directed graphs. For example we show that the condition that a hypergraph contains a subhypergraph with infinite degrees is equivalent to the condition that any vertex labeling contains an infinite increasing loose path. We also find an equivalent condition for a graph to have a property that any vertex labeling with positive integers contains a path of arbitrary finite length, and we study related problems for oriented graphs and labelings with $\mathbb{Z}$ (instead of $\mathbb{N}$). For example, we show that for every simple hypergraph, there is a labelling of its edges by $\mathbb{Z}$ that forbids one-way infinite increasing paths.
Super-pancyclic hypergraphs and bipartite graphs
We find Dirac-type sufficient conditions for a hypergraph $\mathcal H$ with few edges to be hamiltonian. We also show that these conditions provide that $\mathcal H$ is {\em super-pancyclic}, i.e., for each $A \subseteq V(\mathcal H)$ with $|A| \geq 3$, $\mathcal H$ contains a Berge cycle with vertex set $A$.
We mostly use the language of bipartite graphs, because every bipartite graph is the incidence graph of a multihypergraph. In particular, we extend some results of Jackson on the existence of long cycles in bipartite graphs where the vertices in one part have high minimum degree. Furthermore, we prove a conjecture of Jackson from 1981 on long cycles in 2-connected bipartite graphs.
Sets with arithmetic progressions are abundant
Furstenberg, Glasscock, Bergelson, Beiglboeck have been studied abundance in arithmatic progression on various large sets like piecewise syndetic, central, thick, etc. but also there are so many sets in which abundance in progression is still unsettled like J-sets, C-sets, D-sets etc. But all of these sets have a common property that they contains arbitrary length of arithmatic progressions. These type of sets are called sets of A.P. rich, we have given an elementary proof of abundance of those sets.