contain ↗ reference
7694 papers tagged with this keyword
The growth constant of odd cutsets in high dimensions
Published
• View Publication
• BIB
A cutset is a non-empty finite subset of $\mathbb{Z}^d$ which is both connected and co-connected. A cutset is odd if its vertex boundary lies in the odd bipartition class of $\mathbb{Z}^d$. Peled suggested that the number of odd cutsets which contain the origin and have $n$ boundary edges may be of order $e^{Θ(n/d)}$ as $d \to \infty$, much smaller than the number of general cutsets, which was shown by Lebowitz and Mazel to be of order $d^{Θ(n/d)}$. In this paper, we verify this by showing that the number of such odd cutsets is $(2+o(1))^{n/2d}$.
Topology of scrambled simplices
Published
• View Publication
• BIB
In this paper we define a family of topological spaces, which contains and vastly generalizes the higher-dimensional Dunce hats. Our definition is purely combinatorial, and is phrased in terms of identifications of boundary simplices of a~standard d-simplex. By virtue of the construction, the obtained spaces may be indexed by words, and they automatically carry the structure of a $Δ$-complex.
As our main result, we completely determine the homotopy type of these spaces. In fact, somewhat surprisingly, we are able to prove that each of them is either contractible or homotopy equivalent to an odd-dimensional sphere. We develop the language to determine the homotopy type directly from the combinatorics of the indexing word.
As added benefit of our investigation, we are able to emulate the Dunce hat phenomenon, and to obtain a large family of both $Δ$-complexes, as well as simplicial complexes, which are contractible, but not collapsible.
Which subsets of an infinite random graph look random?
Published
• View Publication
• BIB
Given a countable graph, we say a set $A$ of its vertices is \emph{universal} if it contains every countable graph as an induced subgraph, and $A$ is \emph{weakly universal} if it contains every finite graph as an induced subgraph. We show that, for almost every graph on $\mathbb N$, $(1)$ every set of positive upper density is universal, and $(2)$ every set with divergent reciprocal sums is weakly universal. We show that the second result is sharp (i.e., a random graph on $\mathbb N$ will almost surely contain non-universal sets with divergent reciprocal sums) and, more generally, that neither of these two results holds for a large class of partition regular families.
Induced subgraphs of graphs with large chromatic number. V. Chandeliers and strings
Published
• View Publication
• BIB
It is known that every graph of sufficiently large chromatic number and bounded clique number contains, as an induced subgraph, a subdivision of any fixed forest, and a subdivision of any fixed cycle. Equivalently, forests and triangles are pervasive, where H is pervasive (in some class of graphs) if for all s>0, every graph in the class with bounded clique number and sufficiently large chromatic number contains an induced subdivision of H, with every edge subdivided at least s times.
Which other graphs are pervasive? Chalopin, Esperet, Li and Ossona de Mendez proved that every such graph is a forest of lanterns: roughly, the blocks are lanterns (graphs obtained from a tree by adding one extra vertex), and there are rules about how blocks fit together. It is not known whether every forest of lanterns is pervasive; but in another paper two of us prove that banana trees (multigraphs obtained from a forest by adding parallel edges) are pervasive, thus generalizing the two results above. This paper contains the first half of the proof, which works for any forest of lanterns, not just for banana trees.
A class of graphs is r-controlled if for every graph in the class, its chromatic number is at most some function (determined by the class) of the largest chromatic number of an r-ball in the graph. In this paper we prove that for all r>1, every forest of lanterns is pervasive in every r-controlled class
These results turn out particularly nicely when applied to string graphs (intersection graphs of sets of curves in the plane). A chandelier is a graph obtained from a tree by adding a vertex adjacent to its leaves. We prove that the class of string graphs is 2-controlled, and thus forests of lanterns are pervasive in this class. Furthermore, string graphs of sufficiently large chromatic number and bounded clique number contain any fixed chandelier as an induced subgraph.
Rainbow Turán problems for paths and forests of stars
Published
• View Publication
• BIB
For a fixed graph $F$, we would like to determine the maximum number of edges in a properly edge-colored graph on $n$ vertices which does not contain a {\emph rainbow copy} of $F$, that is, a copy of $F$ all of whose edges receive a different color. This maximum, denoted by $ex^*(n,F)$, is the {\emph rainbow Turán number} of $F$, and its systematic study was initiated by Keevash, Mubayi, Sudakov and Verstraëte in 2007. We determine $ex^*(n,F)$ exactly when $F$ is a forest of stars, and give bounds on $ex^*(n,F)$ when $F$ is a path with $k$ edges, disproving a conjecture in Keevash et al.
Algorithms for Colourful Simplicial Depth and Medians in the Plane
Published
• View Publication
• BIB
The colourful simplicial depth of a point x in the plane relative to a configuration of n points in k colour classes is exactly the number of closed simplices (triangles) with vertices from 3 different colour classes that contain x in their convex hull. We consider the problems of efficiently computing the colourful simplicial depth of a point x, and of finding a point, called a median, that maximizes colourful simplicial depth.
For computing the colourful simplicial depth of x, our algorithm runs in time O(n log(n) + k n) in general, and O(kn) if the points are sorted around x. For finding the colourful median, we get a time of O(n^4). For comparison, the running times of the best known algorithm for the monochrome version of these problems are O(n log(n)) in general, improving to O(n) if the points are sorted around x for monochrome depth, and O(n^4) for finding a monochrome median.
Restricted completion of sparse partial Latin squares
Published in Combinator. Probab. Comp. 28 (2019) 675-695
• View Publication
• BIB
An $n \times n$ partial Latin square $P$ is called $α$-dense if each row and column has at most $αn$ non-empty cells and each symbol occurs at most $αn$ times in $P$. An $n \times n$ array $A$ where each cell contains a subset of $\{1,\dots, n\}$ is a $(βn, βn, βn)$-array if each symbol occurs at most $βn$ times in each row and column and each cell contains a set of size at most $βn$. Combining the notions of completing partial Latin squares and avoiding arrays, we prove that there are constants $α, β> 0$ such that, for every positive integer $n$, if $P$ is an $α$-dense $n \times n$ partial Latin square, $A$ is an $n \times n$ $(βn, βn, βn)$-array, and no cell of $P$ contains a symbol that appears in the corresponding cell of $A$, then there is a completion of $P$ that avoids $A$; that is, there is a Latin square $L$ that agrees with $P$ on every non-empty cell of $P$, and, for each $i,j$ satisfying $1 \leq i,j \leq n$, the symbol in position $(i,j)$ in $L$ does not appear in the corresponding cell of $A$.
$χ$-bounds, operations and chords
Published in Journal of Graph Theory, 88, 0364-9024, 2018
• View Publication
• BIB
A \emph{long unichord} in a graph is an edge that is the unique chord of some cycle of length at least 5. A graph is \emph{long-unichord-free} if it does not contain any long-unichord. We prove a structure theorem for long-unichord-free graph. We give an $O(n^4m)$-time algorithm to recognize them. We show that any long-unichord-free graph $G$ can be colored with at most $O(ω^3)$ colors, where $ω$ is the maximum number of pairwise adjacent vertices in $G$.
Graphic TSP in cubic graphs
We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time.
Random subgraphs of properly edge-coloured complete graphs and long rainbow cycles
Published
• View Publication
• BIB
A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. In 1980 Hahn conjectured that every properly edge-coloured complete graph $K_n$ has a rainbow Hamiltonian path. Although this conjecture turned out to be false, it was widely believed that such a colouring always contains a rainbow cycle of length almost $n$. In this paper, improving on several earlier results, we confirm this by proving that every properly edge-coloured $K_n$ has a rainbow cycle of length $n-O(n^{3/4})$. One of the main ingredients of our proof, which is of independent interest, shows that a random subgraph of a properly edge-coloured $K_n$ formed by the edges of a random set of colours has a similar edge distribution as a truly random graph with the same edge density. In particular it has very good expansion properties.
Perfect vector sets, properly overlapping partitions, and largest empty box
We revisit the following problem (along with its higher dimensional variant): Given a set $S$ of $n$ points inside an axis-parallel rectangle $U$ in the plane, find a maximum-area axis-parallel sub-rectangle that is contained in $U$ but contains no points of $S$. (I) We present an algorithm that finds a large empty box amidst $n$ points in $[0,1]^d$: a box whose volume is at least $\frac{\log{d}}{4(n + \log{d})}$ can be computed in $O(n+d \log{d})$ time. (II) To better analyze the above approach, we introduce the concepts of perfect vector sets and properly overlapping partitions, in connection to the minimum volume of a maximum empty box amidst $n$ points in the unit hypercube $[0,1]^d$, and derive bounds on their sizes.
Orientations of graphs with uncountable chromatic number
Published
• View Publication
• BIB
Motivated by an old conjecture of P. Erdős and V. Neumann-Lara, our aim is to investigate digraphs with uncountable dichromatic number and orientations of undirected graphs with uncountable chromatic number. A graph has uncountable chromatic number if its vertices cannot be covered by countably many independent sets, and a digraph has uncountable dichromatic number if its vertices cannot be covered by countably many acyclic sets. We prove that consistently there are digraphs with uncountable dichromatic number and arbitrarily large digirth; this is in surprising contrast with the undirected case: any graph with uncountable chromatic number contains a 4-cycle. Next, we prove that several well known graphs (uncountable complete graphs, certain comparability graphs, and shift graphs) admit orientations with uncountable dichromatic number in ZFC. However, we show that the statement "every graph $G$ of size and chromatic number $ω_1$ has an orientation $D$ with uncountable dichromatic number" is independent of ZFC.
Representing convex geometries by almost-circles
Finite convex geometries are combinatorial structures. It follows from a recent result of M.\ Richter and L.G.\ Rogers that there is an infinite set $T_{rr}$ of planar convex polygons such that $T_{rr}$ with respect to geometric convex hulls is a locally convex geometry and every finite convex geometry can be represented by restricting the structure of $T_{rr}$ to a finite subset in a natural way. An \emph{almost-circle of accuracy} $1-ε$ is a differentiable convex simple closed curve $S$ in the plane having an inscribed circle of radius $r_1>0$ and a circumscribed circle of radius $r_2$ such that the ratio $r_1/r_2$ is at least $1-ε$. %
Motivated by Richter and Rogers' result, we construct a set $T_{new}$ such that (1) $T_{new}$ contains all points of the plane as degenerate singleton circles and all of its non-singleton members are differentiable convex simple closed planar curves; (2) $T_{new}$ with respect to the geometric convex hull operator is a locally convex geometry; (3) as opposed to $T_{rr}$, $T_{new}$ is closed with respect to non-degenerate affine transformations; and (4) for every (small) positive $ε\in\real $ and for every finite convex geometry, there are continuum many pairwise affine-disjoint finite subsets $E$ of $T_{new}$ such that each $E$ consists of almost-circles of accuracy $1-ε$ and the convex geometry in question is represented by restricting the convex hull operator to $E$. The affine-disjointness of $E_1$ and $E_2$ means that, in addition to $E_1\cap E_2=\emptyset$, even $ψ(E_1)$ is disjoint from $E_2$ for every non-degenerate affine transformation $ψ$.
Restricting cohomology classes to disk and segment configuration spaces
Published
• View Publication
• BIB
The configuration space of n labeled disks of radius r inside the unit disk is denoted Conf_{n, r}(D^2). We study how the cohomology of this space depends on r. In particular, given a cohomology class of Conf_{n, 0}(D^2), for which r does its restriction to Conf_{n, r}(D^2) vanish? A related question: given the configuration space Seg_{n, r}(D^2) of n labeled, oriented segments of length r, it has a map to (S^1)^n that records the direction of each segment. For which r does this angle map have a continuous section? The paper consists of a collection of partial results, and it contains many questions and conjectures.
Biased Graphs. VI. Synthetic Geometry
Published in European J. Combinatorics, 81 (2019), 119-141
• Search Publication
A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called balanced, such that no theta subgraph contains exactly two balanced circles. A biased graph $Ω$ has two natural matroids, the frame matroid $G(Ω)$, and the lift matroid $L(Ω)$, and their extensions the full frame matroid $G^{{}^{{}_{{}_\bullet}}\!}(Ω)$ and the extended (or complete) lift matroid $L_0(Ω)$. In Part IV we used algebra to study the representations of these matroids by vectors over a skew field and the corresponding embeddings in Desarguesian projective spaces. Here we redevelop those representations, independently of Part IV and in greater generality, by using synthetic geometry.
A hierarchy of maximal intersecting triple systems
Published
• View Publication
• BIB
We reach beyond the celebrated theorems of Erdős-Ko-Rado and Hilton-Milner, and, a recent theorem of Han-Kohayakawa, and determine all maximal intersecting triples systems. It turns out that for each $n\ge7$ there are exactly 15 pairwise non-isomorphic such systems (and 13 for $n=6$). We present our result in terms of a hierarchy of Turán numbers $\ex^{(s)}(n, M_2^{3})$, $s\ge1$, where $M_2^{3}$ is a pair of disjoint triples. Moreover, owing to our unified approach, we provide short proofs of the above mentioned results (for triple systems only). The triangle $C_3$ is defined as $C_3=\{\{x_1,y_3,x_2\},\{x_1,y_2,x_3\}, \{x_2,y_1,x_3\}\}$. Along the way we show that the largest intersecting triple system $H$ on $n\ge6$ vertices, which is not a star and is triangle-free, consists of $\max\{10,n\}$ triples. This facilitates our main proof's philosophy which is to assume that $H$ contains a copy of the triangle and analyze how the remaining edges of $H$ intersect that copy.
Longest monotone subsequences and rare regions of pattern-avoiding permutations
Published in Electronic Journal of Combinatorics, Volume 24 (2017), Issue 4, Paper #P4.13
• View Publication
• BIB
We consider the distributions of the lengths of the longest monotone and alternating subsequences in classes of permutations of size $n$ that avoid a specific pattern or set of patterns, with respect to the uniform distribution on each such class. We obtain exact results for any class that avoids two patterns of length 3, as well as results for some classes that avoid one pattern of length 4 or more. In our results, the longest monotone subsequences have expected length proportional to $n$ for pattern-avoiding classes, in contrast with the $\sqrt n$ behaviour that holds for unrestricted permutations.
In addition, for a pattern $τ$ of length $k$, we scale the plot of a random $τ$-avoiding permutation down to the unit square and study the "rare region," which is the part of the square that is exponentially unlikely to contain any points. We prove that when $τ_1>τ_k$, the complement of the rare region is a closed set that contains the main diagonal of the unit square. For the case $τ_1=k,$ we also show that the lower boundary of the part of the rare region above the main diagonal is a curve that is Lipschitz continuous and strictly increasing on $[0,1]$.
Exact Ramsey numbers of odd cycles via nonlinear optimisation
Published
• View Publication
• BIB
For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ R_k(C_n)=2^{k-1}(n-1)+1. \] This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B \textbf{14} (1973), 46--54] for large $n$. The proof is analytic in nature, the first step of which is to use the regularity method to relate this problem in Ramsey theory to one in nonlinear optimisation. This allows us to prove a stability-type generalisation of the above and establish a surprising correspondence between extremal $k$-colourings for this problem and perfect matchings in the $k$-dimensional hypercube $Q_k$.
Introduction to Cluster Algebras. Chapters 1-3
This is a preliminary draft of Chapters 1-3 of our forthcoming textbook "Introduction to Cluster Algebras." This installment contains:
Chapter 1. Total positivity
Chapter 2. Mutations of quivers and matrices
Chapter 3. Clusters and seeds
Bounded Diameter Arboricity
Published
• View Publication
• BIB
We introduce the notion of \emph{bounded diameter arboricity}. Specifically, the \emph{diameter-$d$ arboricity} of a graph is the minimum number $k$ such that the edges of the graph can be partitioned into $k$ forests each of whose components has diameter at most $d$. A class of graphs has bounded diameter arboricity $k$ if there exists a natural number $d$ such that every graph in the class has diameter-$d$ arboricity at most $k$. We conjecture that the class of graphs with arboricity at most $k$ has bounded diameter arboricity at most $k+1$. We prove this conjecture for $k\in \{2,3\}$ by proving the stronger assertion that the union of a forest and a star forest can be partitioned into two forests of diameter at most 18. We use these results to characterize the bounded diameter arboricity for planar graphs of girth at least $g$ for all $g\ne 5$. As an application we show that every 6-edge-connected planar (multi)graph contains two edge-disjoint $\frac{18}{19}$-thin spanning trees.