contain ↗ reference
7689 papers tagged with this keyword
Roth's theorem for four variables and additive structures in sums of sparse sets
Published
• View Publication
• BIB
We show that if a subset A of {1,...,N} does not contain any solutions to the equation x+y+z=3w with the variables not all equal, then A has size at most exp(-c(log N)^{1/7}) N, where c > 0 is some absolute constant. In view of Behrend's construction, this bound is of the right shape: the exponent 1/7 cannot be replaced by any constant larger than 1/2.
We also establish a related result, which says that sumsets A+A+A contain long arithmetic progressions if A is a subset of {1,...,N}, or high-dimensional subspaces if A is a subset of a vector space over a finite field, even if A has density of the shape above.
Arbitrary Orientations of Hamilton Cycles in Digraphs
Published
• View Publication
• BIB
Let $n$ be sufficiently large and suppose that $G$ is a digraph on $n$ vertices where every vertex has in- and outdegree at least $n/2$. We show that $G$ contains every orientation of a Hamilton cycle except, possibly, the antidirected one. The antidirected case was settled by DeBiasio and Molla, where the threshold is $n/2+1$. Our result is best possible and improves on an approximate result by Häggkvist and Thomason.
The Erdős-Hajnal Conjecture for Long Holes and Anti-holes
Published
• View Publication
• BIB
Erdős and Hajnal conjectured that, for every graph $H$, there exists a constant $c_H$ such that every graph $G$ on $n$ vertices which does not contain any induced copy of $H$ has a clique or a stable set of size $n^{c_H}$. We prove that for every $k$, there exists $c_k>0$ such that every graph $G$ on $n$ vertices not inducing a cycle of length at least $k$ nor its complement contains a clique or a stable set of size $n^{c_k}$.
Decomposition of bounded degree graphs into $C_4$-free subgraphs
Published in European Journal of Combinatorics 44: 99-105, 2015
• View Publication
• BIB
We prove that every graph with maximum degree $Δ$ admits a partition of its edges into $O(\sqrtΔ)$ parts (as $Δ\to\infty$) none of which contains $C_4$ as a subgraph. This bound is sharp up to a constant factor. Our proof uses an iterated random colouring procedure.
Squares and their centers
Published in Journal d'Analyse Mathematique 134 (2018), 643-669
• View Publication
• BIB
We study the relationship between the sizes of two sets $B, S\subset\mathbb{R}^2$ when $B$ contains either the whole boundary, or the four vertices, of a square with axes-parallel sides and center in every point of $S$, where size refers to one of cardinality, Hausdorff dimension, packing dimension, or upper or lower box dimension. Perhaps surprinsingly, the results vary depending on the notion of size under consideration. For example, we construct a compact set $B$ of Hausdorff dimension $1$ which contains the boundary of an axes-parallel square with center in every point $[0,1]^2$, but prove that such a $B$ must have packing and lower box dimension at least $\tfrac{7}{4}$, and show by example that this is sharp. For more general sets of centers, the answers for packing and box counting dimensions also differ. These problems are inspired by the analogous problems for circles that were investigated by Bourgain, Marstrand and Wolff, among others.
Extremal problems on shadows and hypercuts in simplicial complexes
Published
• View Publication
• BIB
Let $F$ be an $n$-vertex forest. We say that an edge $e\notin F$ is in the shadow of $F$ if $F\cup\{e\}$ contains a cycle. It is easy to see that if $F$ is "almost a tree", that is, it has $n-2$ edges, then at least $\lfloor\frac{n^2}{4}\rfloor$ edges are in its shadow and this is tight. Equivalently, the largest number of edges an $n$-vertex cut can have is $\lfloor\frac{n^2}{4}\rfloor$. These notions have natural analogs in higher $d$-dimensional simplicial complexes, graphs being the case $d=1$. The results in dimension $d>1$ turn out to be remarkably different from the case in graphs. In particular the corresponding bounds depend on the underlying field of coefficients. We find the (tight) analogous theorems for $d=2$. We construct $2$-dimensional "$\mathbb Q$-almost-hypertrees" (defined below) with an empty shadow. We also show that the shadow of an "$\mathbb F_2$-almost-hypertree" cannot be empty, and its least possible density is $Θ(\frac{1}{n})$. In addition we construct very large hyperforests with a shadow that is empty over every field.
For $d\ge 4$ even, we construct $d$-dimensional $\mathbb{F} _2$-almost-hypertree whose shadow has density $o_n(1)$.
Finally, we mention several intriguing open questions.
Set families with forbidden subposets
Published
• View Publication
• BIB
Let $F$ be a family of subsets of $\{1,\ldots,n\}$. We say that $F$ is $P$-free if the inclusion order on $F$ does not contain $P$ as an induced subposet. The \emph{Turán function} of $P$, denoted $π^*(n,P)$, is the maximum size of a $P$-free family of subsets of $\{1,\ldots,n\}$. We show that $π^*(n,P) \le (4r + O(\sqrt{r}))\binom{n}{n/2}$ if $P$ is an $r$-element poset of height at most $2$. We also show that $π^*(n,S_r) = (r+O(\sqrt{r}))\binom{n}{n/2}$ where $S_r$ is the standard example on $2r$ elements, and that $π^*(n,B_2) \le (2.583+o(1))\binom{n}{n/2}$, where $B_2$ is the $2$-dimensional Boolean lattice.
When Does the Set of $(a, b, c)$-Core Partitions Have a Unique Maximal Element?
Published
• View Publication
• BIB
In 2007, Olsson and Stanton gave an explicit form for the largest $(a, b)$-core partition, for any relatively prime positive integers $a$ and $b$, and asked whether there exists an $(a, b)$-core that contains all other $(a, b)$-cores as subpartitions; this question was answered in the affirmative first by Vandehey and later by Fayers independently. In this paper we investigate a generalization of this question, which was originally posed by Fayers: for what triples of positive integers $(a, b, c)$ does there exist an $(a, b, c)$-core that contains all other $(a, b, c)$-cores as subpartitions? We completely answer this question when $a$, $b$, and $c$ are pairwise relatively prime; we then use this to generalize the result of Olsson and Stanton.
Induced Matchings in Graphs of Maximum Degree 4
Published
• View Publication
• BIB
For a graph $G$, let $ν_s(G)$ be the induced matching number of $G$. We prove the sharp bound $ν_s(G)\geq \frac{n(G)}{9}$ for every graph $G$ of maximum degree at most $4$ and without isolated vertices that does not contain a certain blown up $5$-cycle as a component. This result implies a consequence of the well known conjecture of Erdős and Nešetřil, saying that the strong chromatic index $χ_s'(G)$ of a graph $G$ is at most $\frac{5}{4}Δ(G)^2$, because $ν_s(G)\geq \frac{m(G)}{χ_s'(G)}$ and $n(G)\geq \frac{m(G)Δ(G)}{2}$. Furthermore, it is shown that there is polynomial-time algorithm that computes induced matchings of size at least $\frac{n(G)}{9}$.
On the prime graph of simple groups
Published in Bull. Aust. Math. Soc. 91 (2015) 227-240
• View Publication
• BIB
Let $G$ be a finite group, let $π(G)$ be the set of prime divisors of $|G|$ and let $Γ(G)$ be the prime graph of $G$. This graph has vertex set $π(G)$, and two vertices $r$ and $s$ are adjacent if and only if $G$ contains an element of order $rs$. Many properties of these graphs have been studied in recent years, with a particular focus on the prime graphs of finite simple groups. In this note, we determine the pairs $(G,H)$, where $G$ is simple and $H$ is a proper subgroup of $G$ such that $Γ(G) = Γ(H)$.
Number of cliques in graphs with a forbidden subdivision
Published in SIAM J. Discrete Math., 29(October 2015)(4), pp. 1999-2005
• View Publication
• BIB
We prove that for all positive integers $t$, every $n$-vertex graph with no $K_t$-subdivision has at most $2^{50t}n$ cliques. We also prove that asymptotically, such graphs contain at most $2^{(5+o(1))t}n$ cliques, where $o(1)$ tends to zero as $t$ tends to infinity. This strongly answers a question of D. Wood asking if the number of cliques in $n$-vertex graphs with no $K_t$-minor is at most $2^{ct}n$ for some constant $c$.
The independent neighborhoods process
Published
• View Publication
• BIB
A triangle $T^{(r)}$ in an $r$-uniform hypergraph is a set of $r+1$ edges such that $r$ of them share a common $(r-1)$-set of vertices and the last edge contains the remaining vertex from each of the first $r$ edges. Our main result is that the random greedy triangle-free process on $n$ points terminates in an $r$-uniform hypergraph with independence number $O((n \log n)^{1/r})$. As a consequence, using recent results on independent sets in hypergraphs, the Ramsey number $r(T^{(r)}, K_s^{(r)})$ has order of magnitude $s^r/\log s$. This answers questions posed in~\cite{BFM, KMV} and generalizes the celebrated results of Ajtai-Komlós-Szemerédi~\cite{AKS} and Kim~\cite{K} to hypergraphs.
On triangle-free graphs that do not contain a subdivision of the complete graph on four vertices as an induced subgraph
Published
• View Publication
• BIB
We prove a decomposition theorem for the class of triangle-free graphs that do not contain a subdivision of the complete graph on four vertices as an induced subgraph. We prove that every graph of girth at least~5 in this class is 3-colorable.
Saturated Graphs of Prescribed Minimum Degree
Published
• View Publication
• BIB
A graph $G$ is $H$-saturated if it contains no copy of $H$ as a subgraph but the addition of any new edge to $G$ creates a copy of $H$. In this paper we are interested in the function sat$_{t}(n,p)$, defined to be the minimum number of edges that a $K_{p}$-saturated graph on $n$ vertices can have if it has minimum degree at least $t$. We prove that sat$_{t}(n,p) = tn - O(1)$, where the limit is taken as $n$ tends to infinity. This confirms a conjecture of Bollobás when $p = 3$. We also present constructions for graphs that give new upper bounds for sat$_{t}(n,p)$ and discuss an analogous problem for saturated hypergraphs.
A product for permutation groups and topological groups
Published in Duke Math. J. 166, no. 15 (2017), 2965-2999
• View Publication
• BIB
We introduce a new product for permutation groups. It takes as input two permutation groups, M and N, and produces an infinite group M [X] N which carries many of the permutational properties of M. Under mild conditions on M and N the group M [X] N is simple.
As a permutational product, its most significant property is the following: M [X] N is primitive if and only if M is primitive but not regular, and N is transitive. Despite this remarkable similarity with the wreath product in product action, M [X] N and M Wr N are thoroughly dissimilar. The product provides a general way to build exotic examples of non-discrete, simple, totally disconnected, locally compact, compactly generated topological groups from discrete groups.
We use this to solve a well-known open problem from topological group theory, by obtaining the first construction of uncountably many pairwise non-isomorphic simple topological groups that are totally disconnected, locally compact, compactly generated and non-discrete. The groups we construct all contain the same compact open subgroup.
To build the product, we describe a group U(M,N) that acts on an edge-transitive biregular tree T. This group has a natural universal property and is analogous to the iconic universal group construction of M. Burger and S. Mozes for locally finite regular trees.
Matchings in vertex-transitive bipartite graphs
A theorem of A. Schrijver asserts that a $d$-regular bipartite graph on $2n$ vertices has at least $$\left(\frac{(d-1)^{d-1}}{d^{d-2}}\right)^n$$ perfect matchings. L. Gurvits gave an extension of Schrijver's theorem for matchings of density $p$. In this paper we give a stronger version of Gurvits's theorem in the case of vertex-transitive bipartite graphs. This stronger version in particular implies that for every positive integer $k$, there exists a positive constant $c(k)$ such that if a $d$-regular vertex-transitive bipartite graph on $2n$ vertices contains a cycle of length at most $k$, then it has at least $$\left(\frac{(d-1)^{d-1}}{d^{d-2}}+c(k)\right)^n$$ perfect matchings.
We also show that if $(G_i)$ is a Benjamini--Schramm convergent graph sequence of vertex-transitive bipartite graphs, then $$\frac{\ln pm(G_i)}{v(G_i)}$$ is convergent, where $pm(G)$ and $v(G)$ denote the number of perfect matchings and the number of vertices of $G$, respectively.
We also show that if $G$ is $d$-regular vertex-transitive bipartite graph on $2n$ vertices and $m_k(G)$ denote the number of matchings of size $k$, and $$M(G,t)=1+m_1(G)t+m_2(G)t^2+\dots +m_n(G)t^n=\prod_{k=1}^n(1+γ_k(G)t),$$ where $γ_1(G)\leq \dots \leq γ_n(G)$, then $$γ_k(G)\geq \frac{d^2}{4(d-1)}\frac{k^2}{n^2},$$ and $$\frac{m_{n-1}(G)}{m_n(G)}\leq \frac{2}{d}n^2.$$ The latter result improves on a previous bound of C. Kenyon, D. Randall and A. Sinclair. There are examples of $d$-regular bipartite graphs for which these statements fail to be true without the condition of vertex-transitivity.
Most switching classes with primitive automorphism groups contain graphs with trivial groups
The operation of switching a graph $Γ$ with respect to a subset $X$ of the vertex set interchanges edges and non-edges between $X$ and its complement, leaving the rest of the graph unchanged. This is an equivalence relation on the set of graphs on a given vertex set, so we can talk about the automorphism group of a switching class of graphs.
It might be thought that switching classes with many automorphisms would have the property that all their graphs also have many automorphisms. However the main theorem of this paper shows a different picture: with finitely many exceptions, if a non-trivial switching class $\mathcal{S}$ has primitive automorphism group, then it contains a graph whose automorphism group is trivial. We also find all the exceptional switching classes; up to complementation, there are just six.
Vertex and edge orbits of Fibonacci and Lucas cubes
Published
• View Publication
• BIB
The Fibonacci cube $Γ_n$ is obtained from the $n$-cube $Q_n$ by removing all the vertices that contain two consecutive 1s. If, in addition, the vertices that start and end with 1 are removed, the Lucas cube $Λ_n$ is obtained. The number of vertex and edge orbits, the sets of the sizes of the orbits, and the number of orbits of each size, are determined for the Fibonacci cubes and the Lucas cubes under the action of the automorphism group. In particular, the set of the sizes of the vertex orbits of $Λ_n$ is $\{k \ge 1;\ k \divides n\} \cup\, \{k \ge 18;\ k \divides 2n\}$, the number of the vertex orbits of $Λ_n$ of size $k$, where $k$ is odd and divides $n$, is equal to $\sum_{d\divides k}μ\left(\frac{k}{d}\right) F_{\lfloor \frac{d}{2}\rfloor + 2}$, and the number of the edge orbits of $Λ_n$ is equal to the number of the vertex orbits of $Γ_{n-3}$. Dihedral transformations of strings and primitive strings are essential tools to prove these results.
Partitioning two-coloured complete multipartite graphs into monochromatic paths and cycles
Published
• View Publication
• BIB
We show that any complete $k$-partite graph $G$ on $n$ vertices, with $k \ge 3$, whose edges are two-coloured, can be covered with two vertex-disjoint monochromatic paths of distinct colours. We prove this under the necessary assumption that the largest partition class of $G$ contains at most $n/2$ vertices. This extends known results for complete and complete bipartite graphs.
Secondly, we show that in the same situation, all but $o(n)$ vertices of the graph can be covered with two vertex-disjoint monochromatic cycles of distinct colours, if colourings close to a split colouring are excluded. From this we derive that the whole graph, if large enough, may be covered with 14 vertex-disjoint monochromatic cycles.
Canonical rings of Q-divisors on P^1
Published in ODorney, Evan. Ann. Comb. (2015) 19: 765
• View Publication
• BIB
The canonical ring $S_D = \bigoplus_{d \geq 0} H^0(X, \lfloor dD \rfloor)$ of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular forms. We study the generators and relations of S_D for the simplest curve X = P^1. When D contains at most two points, we give a complete description of S_D; for general D, we give bounds on the generators and relations. We also show that the generators (for at most five points) and a Groebner basis of relations between them (for at most four points) depend only on the coefficients in the divisor D, not its points or the characteristic of the ground field; we conjecture that the minimal system of relations varies in a similar way. Although stated in terms of algebraic geometry, our results are proved by translating to the combinatorics of lattice points in simplices and cones.