contain ↗ reference
7694 papers tagged with this keyword
Mapping class group orbits of curves with self-intersections
Published
• View Publication
• BIB
We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are also isotopic. Furthermore, using a theorem by Basmajian, we get a bound on the number of mapping class group orbits on a given a hyperbolic surface that can contain short curves. For a fixed length, this bound is polynomial in the signature of the surface. The arguments we use are based on counting embeddings of ribbon graphs.
Chromatic number of ordered graphs with forbidden ordered subgraphs
Published
• View Publication
• BIB
It is well-known that the graphs not containing a given graph H as a subgraph have bounded chromatic number if and only if H is acyclic. Here we consider ordered graphs, i.e., graphs with a linear ordering on their vertex set, and the function f(H) = sup{chi(G) | G in Forb(H)} where Forb(H) denotes the set of all ordered graphs that do not contain a copy of H. If H contains a cycle, then as in the case of unordered graphs, f(H) is infinity. However, in contrast to the unordered graphs, we describe an infinite family of ordered forests H with infinite f(H). An ordered graph is crossing if there are two edges uv and u'v' with u < u' < v < v'. For connected crossing ordered graphs H we reduce the problem of determining whether f(H) is finite to a family of so-called monotonically alternating trees. For non-crossing H we prove that f(H) is finite if and only if H is acyclic and does not contain a copy of any of the five special ordered forests on four or five vertices, which we call bonnets. For such forests H, we show that f(H) <= 2^|V(H)| and that f(H) <= 2|V(H)|-3 if H is connected.
An exponential-type upper bound for Folkman numbers
Published in Combinatorica 37(4), 2017, 767-784
• View Publication
• BIB
For given integers $k$ and $r$, the Folkman number $f(k;r)$ is the smallest number of vertices in a graph $G$ which contains no clique on $k+1$ vertices, yet for every partition of its edges into $r$ parts, some part contains a clique of order $k$. The existence (finiteness) of Folkman numbers was established by Folkman (1970) for $r=2$ and by Nešetřil and Rödl (1976) for arbitrary $r$, but these proofs led to very weak upper bounds on $f(k;r)$.
Recently, Conlon and Gowers and independently the authors obtained a doubly exponential bound on $f(k;2)$. Here, we establish a further improvement by showing an upper bound on $f(k;r)$ which is exponential in a polynomial function of $k$ and $r$. This is comparable to the known lower bound $2^{Ω(rk)}$.
Our proof relies on a recent result of Saxton and Thomason (2015) (or, alternatively, on a recent result of Balogh, Morris, and Samotij (2015)) from which we deduce a quantitative version of Ramsey's theorem in random graphs.
The Kelmans-Seymour conjecture II: 2-vertices in $K_4^-$
We use $K_4^-$ to denote the graph obtained from $K_4$ by removing an edge, and use $TK_5$ to denote a subdivision of $K_5$. Let $G$ be a 5-connected nonplanar graph and $\{x_1,x_2,y_1,y_2\}\subseteq V(G)$ such that $G[\{x_1,x_2,$ $y_1,y_2\}]\cong K_4^-$ with $y_1y_2\notin E(G)$. Let $w_1,w_2,w_3\in N(y_2)-\{x_1,x_2\}$ be distinct. We show that $G$ contains a $TK_5$ in which $y_2$ is not a branch vertex, or $G-y_2$ contains $K_4^-$, or $G$ has a special 5-separation, or $G-\{y_2v:v\notin \{w_1,w_2,w_3,x_1,x_2\}\}$ contains $TK_5$.
Permutation groups and derangements of odd prime order
Published
• View Publication
• BIB
Let $G$ be a transitive permutation group of degree $n$. We say that $G$ is $2'$-elusive if $n$ is divisible by an odd prime, but $G$ does not contain a derangement of odd prime order. In this paper we study the structure of quasiprimitive and biquasiprimitive $2'$-elusive permutation groups, extending earlier work of Giudici and Xu on elusive groups. As an application, we use our results to investigate automorphisms of finite arc-transitive graphs of prime valency.
On the distances between Latin squares and the smallest defining set size
Published
• View Publication
• BIB
In this note we show that for each Latin square $L$ of order $n\geq 2$, there exists a Latin square $L'\neq L$ of order $n$ such that $L$ and $L'$ differ in at most $8\sqrt{n}$ cells. Equivalently, each Latin square of order $n$ contains a Latin trade of size at most $8\sqrt{n}$. We also show that the size of the smallest defining set in a Latin square is $Ω(n^{3/2})$. %That is, there are constants $c$ and $n_0$ such that for any $n>n_0$ the size of the smallest defining %set of order $n$ is at least $cn^{3/2}$.
The maximum weight stable set problem in $(P_6,\mbox{bull})$-free graphs
Published
• View Publication
• BIB
We present a polynomial-time algorithm that finds a maximum weight stable set in a graph that does not contain as an induced subgraph an induced path on six vertices or a bull (the graph with vertices $a, b, c, d, e$ and edges $ab, bc, cd, be, ce$).
Long induced paths in graphs
Published in European Journal of Combinatorics 62 (2017), 1-14
• View Publication
• BIB
We prove that every 3-connected planar graph on $n$ vertices contains an induced path on $Ω(\log n)$ vertices, which is best possible and improves the best known lower bound by a multiplicative factor of $\log \log n$. We deduce that any planar graph (or more generally, any graph embeddable on a fixed surface) with a path on $n$ vertices, also contains an induced path on $Ω(\sqrt{\log n})$ vertices. We conjecture that for any $k$, there is a contant $c(k)$ such that any $k$-degenerate graph with a path on $n$ vertices also contains an induced path on $Ω((\log n)^{c(k)})$ vertices. We provide examples showing that this order of magnitude would be best possible (already for chordal graphs), and prove the conjecture in the case of interval graphs.
On cyclability of digraphs
Given a directed graph $D$ of order $n\geq 4$ and a nonempty subset $Y$ of vertices of $D$ such that in $D$ every vertex of $Y$ reachable from every other vertex of $Y$. Assume that for every triple $x,y,z\in Y$ such that $x$ and $y$ are nonadjacent: If there is no arc from $x$ to $z$, then $d(x)+d(y)+d^+(x)+d^-(z)\geq 3n-2$. If there is no arc from $z$ to $x$, then $d(x)+d(y)+d^+(z)+d^-(x)\geq 3n-2$. We prove that there is a directed cycle in $D$ which contains all the vertices of $Y$, except possibly one. This result is best possible in some sense and gives a answer to a question of H. Li, Flandrin and Shu (Discrete Mathematics, 307 (2007) 1291-1297).
Bootstrap percolation on geometric inhomogeneous random graphs
Geometric inhomogeneous random graphs (GIRGs) are a model for scale-free networks with underlying geometry. We study bootstrap percolation on these graphs, which is a process modelling the spread of an infection of vertices starting within a (small) local region. We show that the process exhibits a phase transition in terms of the initial infection rate in this region. We determine the speed of the process in the supercritical case, up to lower order terms, and show that its evolution is fundamentally influenced by the underlying geometry. For vertices with given position and expected degree, we determine the infection time up to lower order terms. Finally, we show how this knowledge can be used to contain the infection locally by removing relatively few edges from the graph. This is the first time that the role of geometry on bootstrap percolation is analysed mathematically for geometric scale-free networks.
Classification of quasi-symmetric 2-(64,24,46) designs of Blokhuis-Haemers type
This paper completes the classification of quasi-symmetric 2-$(64,24,46)$ designs of Blokhuis-Haemers type supported by the dual code $C^{\perp}$ of the binary linear code $C$ spanned by the lines of $AG(3,2^2)$ initiated in \cite{bgr-vdt}. It is shown that $C^{\perp}$ contains exactly 30,264 nonisomorphic quasi-symmetric 2-$(64,24,46)$ designs obtainable from maximal arcs in $AG(2,2^2)$ via the Blokhuis-Haemers construction. The related strongly regular graphs are also discussed.
Universal Systems of Oblivious Mobile Robots
Published
• View Publication
• BIB
An oblivious mobile robot is a stateless computational entity located in a spatial universe, capable of moving in that universe. When activated, the robot observes the universe and the location of the other robots, chooses a destination, and moves there. The computation of the destination is made by executing an algorithm, the same for all robots, whose sole input is the current observation. No memory of all these actions is retained after the move. When the universe is a graph, distributed computations by oblivious mobile robots have been intensively studied focusing on the conditions for feasibility of basic problems (e.g., gathering, exploration) in specific classes of graphs under different schedulers. In this paper, we embark on a different, more general, type of investigation.
With their movements from vertices to neighboring vertices, the robots make the system transition from one configuration to another. Viewing this transition as the computation of an abstract function, we ask which functions are computed by which systems. Our main interest is on identifying sets of systems that are "universal", in the sense that they can collectively compute all finite functions. We are able to identify several such classes of fully synchronous systems. In particular, among other results, we prove the universality of the set of all graphs with at least one robot, of any set of graphs with at least two robots whose quotient graphs contain arbitrarily long paths, and of any set of graphs with at least three robots and arbitrarily large finite girths.
We then focus on the minimum size that a network must have for the robots to be able to compute all functions on a given finite set. We are able to approximate the minimum size of such a network up to a factor that tends to 2 as $n$ goes to infinity.
Rainbow perfect matchings and Hamilton cycles in the random geometric graph
Published
• View Publication
• BIB
Given a graph on $n$ vertices and an assignment of colours to the edges, a rainbow Hamilton cycle is a cycle of length $n$ visiting each vertex once and with pairwise different colours on the edges. Similarly (for even $n$) a rainbow perfect matching is a collection of $n/2$ independent edges with pairwise different colours. In this note we show that if we randomly colour the edges of a random geometric graph with sufficiently many colours, then a.a.s. the graph contains a rainbow perfect matching (rainbow Hamilton cycle) if and only if the minimum degree is at least $1$ (respectively, at least $2$). More precisely, consider $n$ points (i.e. vertices) chosen independently and uniformly at random from the unit $d$-dimensional cube for any fixed $d\ge2$. Form a sequence of graphs on these $n$ vertices by adding edges one by one between each possible pair of vertices. Edges are added in increasing order of lengths (measured with respect to the $\ell_p$ norm, for any fixed $1<p\le\infty$). Each time a new edge is added, it receives a random colour chosen uniformly at random and with repetition from a set of $\lceil Kn\rceil$ colours, where $K=K(d)$ is a sufficiently large fixed constant. Then, a.a.s. the first graph in the sequence with minimum degree at least $1$ must contain a rainbow perfect matching (for even $n$), and the first graph with minimum degree at least $2$ must contain a rainbow Hamilton cycle.
Once punctured disks, non-convex polygons, and pointihedra
Published in Ann. Combin. 22(3), 619-640 (2018)
• View Publication
• BIB
We explore several families of flip-graphs, all related to polygons or punctured polygons. In particular, we consider the topological flip-graphs of once-punctured polygons which, in turn, contain all possible geometric flip-graphs of polygons with a marked point as embedded sub-graphs. Our main focus is on the geometric properties of these graphs and how they relate to one another. In particular, we show that the embeddings between them are strongly convex (or, said otherwise, totally geodesic). We also find bounds on the diameters of these graphs, sometimes using the strongly convex embeddings. Finally, we show how these graphs relate to different polytopes, namely type D associahedra and a family of secondary polytopes which we call pointihedra.
On Minimum Maximal Distance-k Matchings
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (January 11, 2018) dmtcs:3271
• View Publication
• BIB
We study the computational complexity of several problems connected with finding a maximal distance-$k$ matching of minimum cardinality or minimum weight in a given graph. We introduce the class of $k$-equimatchable graphs which is an edge analogue of $k$-equipackable graphs. We prove that the recognition of $k$-equimatchable graphs is co-NP-complete for any fixed $k \ge 2$. We provide a simple characterization for the class of strongly chordal graphs with equal $k$-packing and $k$-domination numbers. We also prove that for any fixed integer $\ell \ge 1$ the problem of finding a minimum weight maximal distance-$2\ell$ matching and the problem of finding a minimum weight $(2 \ell - 1)$-independent dominating set cannot be approximated in polynomial time in chordal graphs within a factor of $δ\ln |V(G)|$ unless $\mathrm{P} = \mathrm{NP}$, where $δ$ is a fixed constant (thereby improving the NP-hardness result of Chang for the independent domination case). Finally, we show the NP-hardness of the minimum maximal induced matching and independent dominating set problems in large-girth planar graphs.
Note: This version (as compared to the journal submission) contains corrections to Section 4.
Triangle-independent sets vs. cuts
A set of edges $T$ in a graph $G$ is triangle-independent if $T$ contains at most one edge from each triangle in $G$. Let $α_1(G)$ denote the maximum size of the triangle-independent set in $G$, and let $τ_B(G)$ denote minimum size of a set $F \subseteq E(G)$ such that $G \setminus F$ is bipartite. We prove that $$α_1(G) + τ_B(G) \leq \frac{|V(G)|^2}{4},$$ verifying a conjecture due to Lehel, and independently Puleo, and a slightly weaker conjecture of Erdős, Gallai and Tuza. Further, we characterize the graphs which attain the equality.
Roth--Waring--Goldbach
Published in Int. Math. Res. Not. 2018, 2341--2374
• View Publication
• BIB
We use Green's transference principle to show that any subset of the $d$th powers of primes with positive relative density contains nontrivial solutions to a translation-invariant linear equation in $d^2+1$ or more variables, with explicit quantitative bounds.
Packing and Covering Immersion Models of Planar subcubic Graphs
Published
• View Publication
• BIB
A graph $H$ is an immersion of a graph $G$ if $H$ can be obtained by some sugraph $G$ after lifting incident edges. We prove that there is a polynomial function $f:\Bbb{N}\times\Bbb{N}\rightarrow\Bbb{N}$, such that if $H$ is a connected planar subcubic graph on $h>0$ edges, $G$ is a graph, and $k$ is a non-negative integer, then either $G$ contains $k$ vertex/edge-disjoint subgraphs, each containing $H$ as an immersion, or $G$ contains a set $F$ of $f(k,h)$ vertices/edges such that $G\setminus F$ does not contain $H$ as an immersion.
Upper bounds on probability thresholds for asymmetric Ramsey properties
Published in Random Structures Algorithms 44 (2014), no. 1, 1-28
• View Publication
• BIB
Given two graphs $G$ and $H$, we investigate for which functions $p=p(n)$ the random graph $G_{n,p}$ (the binomial random graph on $n$ vertices with edge probability $p$) satisfies with probability $1-o(1)$ that every red-blue-coloring of its edges contains a red copy of $G$ or a blue copy of $H$. We prove a general upper bound on the threshold for this property under the assumption that the denser of the two graphs satisfies a certain balancedness condition. Our result partially confirms a conjecture by the first author and Kreuter, and together with earlier lower bound results establishes the exact order of magnitude of the threshold for the case in which $G$ and $H$ are complete graphs of arbitrary size.
In our proof we present an alternative to the so-called deletion method, which was introduced by Rödl and Ruciński in their study of symmetric Ramsey properties of random graphs (i.e. the case $G=H$), and has been used in many proofs of similar results since then.
Extremal results for odd cycles in sparse pseudorandom graphs
Published in Combinatorica 34 (2014), no. 4, 379-406
• View Publication
• BIB
We consider extremal problems for subgraphs of pseudorandom graphs. For graphs $F$ and $Γ$ the generalized Turán density $π_F(Γ)$ denotes the density of a maximum subgraph of $Γ$, which contains no copy of~$F$. Extending classical Turán type results for odd cycles, we show that $π_{F}(Γ)=1/2$ provided $F$ is an odd cycle and $Γ$ is a sufficiently pseudorandom graph. In particular, for $(n,d,λ)$-graphs $Γ$, i.e., $n$-vertex, $d$-regular graphs with all non-trivial eigenvalues in the interval $[-λ,λ]$, our result holds for odd cycles of length $\ell$, provided \[ λ^{\ell-2}\ll \frac{d^{\ell-1}}n\log(n)^{-(\ell-2)(\ell-3)}\,. \] Up to the polylog-factor this verifies a conjecture of Krivelevich, Lee, and Sudakov. For triangles the condition is best possible and was proven previously by Sudakov, Szabó, and Vu, who addressed the case when $F$ is a complete graph. A construction of Alon and Kahale (based on an earlier construction of Alon for triangle-free $(n,d,λ)$-graphs) shows that our assumption on $Γ$ is best possible up to the polylog-factor for every odd $\ell\geq 5$.