contain ↗ reference
7720 papers tagged with this keyword
Lower bounds for superpatterns and universal sequences
Published
• View Publication
• BIB
A permutation $σ\in S_n$ is said to be $k$-universal or a $k$-superpattern if for every $π\in S_k$, there is a subsequence of $σ$ that is order-isomorphic to $π$. A simple counting argument shows that $σ$ can be a $k$-superpattern only if $n\ge (1/e^2+o(1))k^2$, and Arratia conjectured that this lower bound is best-possible. Disproving Arratia's conjecture, we improve the trivial bound by a small constant factor. We accomplish this by designing an efficient encoding scheme for the patterns that appear in $σ$. This approach is quite flexible and is applicable to other universality-type problems; for example, we also improve a bound by Engen and Vatter on a problem concerning $(k+1)$-ary sequences which contain all $k$-permutations.
Large complete minors in random subgraphs
Published in Combinator. Probab. Comp. 30 (2021) 619-630
• View Publication
• BIB
Let $G$ be a graph of minimum degree at least $k$ and let $G_p$ be the random subgraph of $G$ obtained by keeping each edge independently with probability $p$. We are interested in the size of the largest complete minor that $G_p$ contains when $p = \frac{1+\varepsilon}{k}$ with $\varepsilon >0$. We show that with high probability $G_p$ contains a complete minor of order $\tildeΩ(\sqrt{k})$, where the $\sim$ hides a polylogarithmic factor. Furthermore, in the case where the order of $G$ is also bounded above by a constant multiple of $k$, we show that this polylogarithmic term can be removed, giving a tight bound.
A universal exponent for homeomorphs
Published
• View Publication
• BIB
We prove a uniform bound on the topological Turán number of an arbitrary two-dimensional simplicial complex $S$: any $n$-vertex two-dimensional complex with at least $C_S n^{3-1/5}$ facets contains a homeomorphic copy of $S$, where $C_S > 0$ is an absolute constant depending on $S$ alone. This result, a two-dimensional analogue of a classical result of Mader for one-dimensional complexes, sheds some light on an old problem of Linial from 2006.
Large induced trees in dense random graphs
Erdős and Palka initiated the study of the maximal size of induced trees in random graphs in 1983. They proved that for every fixed $0<p<1$ the size of a largest induced tree in $G_{n,p}$ is concentrated around $2\log_q (np)$ with high probability, where $q=(1-p)^{-1}$. De la Vega showed concentration around the same value for $p=C/n$ where $C$ is a large constant, and his proof also works for all larger $p$. We show that for any given tree $T$ with bounded maximum degree and of size $(2-o(1))\log_q(np)$, $G_{n,p}$ contains an induced copy of $T$ with high probability for $n^{-1/2}\ln^{10/9}n\leq p\leq 0.99$. This is asymptotically optimal.
Supereulerian 2-edge-coloured graphs
Published
• View Publication
• BIB
A 2-edge-coloured graph $G$ is {\bf supereulerian} if $G$ contains a spanning closed trail in which the edges alternate in colours. An {\bf eulerian factor} of a 2-edge-coloured graph is a collection of vertex disjoint induced subgraphs which cover all the vertices of $G$ such that each of these subgraphs is supereulerian. We give a polynomial algorithm to test if a 2-edge-coloured graph has an eulerian factor and to produce one when it exists. A 2-edge-coloured graph is {\bf (trail-)colour-connected} if it contains a pair of alternating $(u,v)$-paths ($(u,v)$-trails) whose union is an alternating closed walk for every pair of distinct vertices $u,v$. A 2-edge-coloured graph is {\bf M-closed} if $xz$ is an edge of $G$ whenever some vertex $u$ is joined to both $x$ and $z$ by edges of the same colour. M-closed 2-edge-coloured graphs, introduced in \cite{balbuenaDMTCS21}, form a rich generalization of 2-edge-coloured complete graphs. We show that if $G$ is an extension of an M-closed 2-edge-coloured complete graph, then $G$ is supereulerian if and only if $G$ is trail-colour-connected and has an eulerian factor. We also show that for general 2-edge-coloured graphs it is NP-complete to decide whether the graph is supereulerian. Finally we pose a number of open problems.
Ordered set partitions, Garsia-Procesi modules, and rank varieties
Published in Trans. Amer. Math. Soc., 374 (2021), pp. 2609-2660
• View Publication
• BIB
We introduce a family of ideals $I_{n,λ,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $λ$ a partition of $k\leq n$ and an integer $s \geq \ell(λ)$. This family contains both the Tanisaki ideals $I_λ$ and the ideals $I_{n,k}$ of Haglund-Rhoades-Shimozono as special cases. We study the corresponding quotient rings $R_{n,λ,s}$ as symmetric group modules. When $n=k$ and $s$ is arbitrary, we recover the Garsia-Procesi modules, and when $λ=(1^k)$ and $s=k$, we recover the generalized coinvariant algebras of Haglund-Rhoades-Shimozono. We give a monomial basis for $R_{n,λ,s}$, unifying the monomial bases studied by Garsia-Procesi and Haglund-Rhoades-Shimozono, and realize the $S_n$-module structure of $R_{n,λ,s}$ in terms of an action on $(n,λ,s)$-ordered set partitions. We also prove formulas for the Hilbert series and graded Frobenius characteristic of $R_{n,λ,s}$. We then connect our work with Eisenbud-Saltman rank varieties using results of Weyman. As an application of our work, we give a monomial basis, Hilbert series formula, and graded Frobenius characteristic formula for the coordinate ring of the scheme-theoretic intersection of a rank variety with diagonal matrices.
The Spherical Kakeya Problem in Finite Fields
Published
• View Publication
• BIB
We study subsets of the $n$-dimensional vector space over the finite field $\mathbb{F}_q$, for odd $q$, which contain either a sphere for each radius or a sphere for each first coordinate of the center. We call such sets radii spherical Kakeya sets and center spherical Kakeya sets, respectively.
For $n\ge 4$ we prove a general lower bound on the size of any set containing $q-1$ different spheres which applies to both kinds of spherical Kakeya sets. We provide constructions which meet the main terms of this lower bound.
We also give a construction showing that we cannot get a lower bound of order of magnitude~$q^n$ if we take lower dimensional objects such as circles in $\mathbb{F}_q^3$ instead of spheres, showing that there are significant differences to the line Kakeya problem.
Finally, we study the case of dimension $n=1$ which is different and equivalent to the study of sum and difference sets that cover $\mathbb{F}_q$.
The maximum number of induced $C_5$'s in a planar graph
Published
• View Publication
• BIB
Finding the maximum number of induced cycles of length $k$ in a graph on $n$ vertices has been one of the most intriguing open problems of Extremal Graph Theory. Recently Balogh, Hu, Lidický and Pfender answered the question in the case $k=5$. In this paper we determine precisely, for all sufficiently large $n$, the maximum number of induced $5$-cycles that an $n$-vertex planar graph can contain.
Constructions of difference sets in nonabelian 2-groups
Published in Alg. Number Th. 17 (2023) 93-130
• View Publication
• BIB
Difference sets have been studied for more than 80 years. Techniques from algebraic number theory, group theory, finite geometry, and digital communications engineering have been used to establish constructive and nonexistence results. We provide a new theoretical approach which dramatically expands the class of $2$-groups known to contain a difference set, by refining the concept of covering extended building sets introduced by Davis and Jedwab in 1997. We then describe how product constructions and other methods can be used to construct difference sets in some of the remaining $2$-groups. We announce the completion of ten years of collaborative work to determine precisely which of the 56,092 nonisomorphic groups of order 256 contain a difference set. All groups of order 256 not excluded by the two classical nonexistence criteria are found to contain a difference set, in agreement with previous findings for groups of order 4, 16, and 64. We provide suggestions for how the existence question for difference sets in $2$-groups of all orders might be resolved.
Weak saturation numbers of complete bipartite graphs in the clique
Published in Journal of Combinatorial Theory, Series A. Volume 178, February 2021, 105357
• View Publication
• BIB
The notion of weak saturation was introduced by Bollobás in 1968. Let $F$ and $H$ be graphs. A spanning subgraph $G \subseteq F$ is weakly $(F,H)$-saturated if it contains no copy of $H$ but there exists an ordering $e_1,\ldots,e_t$ of $E(F)\setminus E(G)$ such that for each $i \in [t]$, the graph $G \cup \{e_1,\ldots,e_i\}$ contains a copy $H'$ of $H$ such that $e_i \in H'$. Define $wsat(F,H)$ to be the minimum number of edges in a weakly $(F,H)$-saturated graph. In this paper, we prove for all $t \ge 2$ and $n \ge 3t-3$, that $wsat(K_n,K_{t,t}) = (t-1)(n + 1 - t/2)$, and we determine the value of $wsat(K_n,K_{t-1,t})$ as well. For fixed $2 \le s < t$, we also obtain bounds on $wsat(K_n,K_{s,t})$ that are asymptotically tight.
Subgraphs of large connectivity and chromatic number
Resolving a problem raised by Norin, we show that for each $k \in \mathbb{N}$, there exists an $f(k) \le 7k$ such that every graph $G$ with chromatic number at least $f(k)+1$ contains a subgraph $H$ with both connectivity and chromatic number at least $k$. This result is best-possible up to multiplicative constants, and sharpens earlier results of Alon-Kleitman-Thomassen-Saks-Seymour from 1987 showing that $f(k) = O(k^3)$, and of Chudnovsky-Penev-Scott-Trotignon from 2013 showing that $f(k) = O(k^2)$. Our methods are robust enough to handle list colouring as well: we also show that for each $k \in \mathbb{N}$, there exists an $f_\ell(k) \le 4k$ such that every graph $G$ with list chromatic number at least $f_\ell(k)+1$ contains a subgraph $H$ with both connectivity and list chromatic number at least $k$. This result is again best-possible up to multiplicative constants; here, unlike with $f(\cdot)$, even the existence of $f_\ell(\cdot)$ appears to have been previously unknown.
On the set $\{π(kn):\ k=1,2,3,\ldots\}$
An open conjecture of Z.-W. Sun states that for any integer $n>1$ there is a positive integer $k\le n$ such that $π(kn)$ is prime, where $π(x)$ denotes the number of primes not exceeding $x$. In this paper, we show that for any positive integer $n$ the set $\{π(kn):\ k=1,2,3,\ldots\}$ contains infinitely many $P_2$-numbers which are products of at most two primes. We also prove that under the Bateman--Horn conjecture the set $\{π(4k):\ k=1,2,3,\ldots\}$ contains infinitely many primes.
Duality theorems for stars and combs I: Arbitrary stars and combs
Published in Journal of Graph Theory (2021)
• View Publication
• BIB
Extending the well-known star-comb lemma for infinite graphs, we characterise the graphs that do not contain an infinite comb or an infinite star, respectively, attached to a given set of vertices. We offer several characterisations: in terms of normal trees, tree-decompositions, ranks of rayless graphs and tangle-distinguishing separators.
Obstructions for bounded branch-depth in matroids
Published in Advances in Combinatorics, 2021:4, 25pp
• View Publication
• BIB
DeVos, Kwon, and Oum introduced the concept of branch-depth of matroids as a natural analogue of tree-depth of graphs. They conjectured that a matroid of sufficiently large branch-depth contains the uniform matroid $U_{n,2n}$ or the cycle matroid of a large fan graph as a minor. We prove that matroids with sufficiently large branch-depth either contain the cycle matroid of a large fan graph as a minor or have large branch-width. As a corollary, we prove their conjecture for matroids representable over a fixed finite field and quasi-graphic matroids, where the uniform matroid is not an option.
On subspaces of Kloosterman zeros and permutations of the form $L_1(x^{-1})+L_2(x)$
Permutations of the form $F=L_1(x^{-1})+L_2(x)$ with linear functions $L_1,L_2$ are closely related to several interesting questions regarding CCZ-equivalence and EA-equivalence of the inverse function. In this paper, we show that $F$ cannot be a permutation if the kernel of $L_1$ or $L_2$ is too large. A key step of the proof is a new result on the maximal size of a subspace of $\mathbb{F}_{2^n}$ that contains only Kloosterman zeros, i.e. a subspace $V$ such that $K_n(v)=0$ for all $v \in V$ where $K_n(v)$ denotes the Kloosterman sum of $v$.}
On Maximal Functions With Curvature
We exhibit a class of "relatively curved" $\vecγ(t) := (γ_1(t),\dots,γ_n(t))$, so that the pertaining multi-linear maximal function satisfies the sharp range of Hölder exponents, \[ \left\| \sup_{r > 0} \ \frac{1}{r} \int_{0}^r \prod_{i=1}^n |f_i(x-γ_i(t))| \ dt \right\|_{L^p(\mathbb{R})} \leq C \cdot \prod_{i=1}^n \| f_j \|_{L^{p_j}(\mathbb{R})} \] whenever $\frac{1}{p} = \sum_{j=1}^n \frac{1}{p_j}$, where $p_j > 1$ and $p \geq p_{\vecγ}$, where $1 \geq p_{\vecγ} > 1/n$ for certain curves.
For instance, $p_{\vecγ} = 1/n^+$ for the case of fractional monomials, \[ \vecγ(t) = (t^{α_1},\dots,t^{α_n}), \; \; \; α_1 < \dots < α_n.\] Two sample applications of our method are as follows:
For any measurable $u_1,\dots,u_n : \mathbb{R}^{n} \to \mathbb{R}$, with $u_i$ independent of the $i$th coordinate vector, and any relatively curved $\vecγ$, \[ \lim_{r \to 0} \ \frac{1}{r} \int_0^r F\big(x_1 - u_1(x) \cdot γ_1(t),\dots,x_n - u_n(x) \cdot γ_n(t) \big) \ dt = F(x_1,\dots,x_n), \; \; \; a.e. \] for every $F \in L^p(\mathbb{R}^n), \ p > 1$.
Every appropriately normalized set $A \subset [0,1]$ of sufficiently large Hausdorff dimension contains the progression, \[ \{ x, x-γ_1(t),\dots,x - γ_n(t) \} \subset A, \] for some $t \geq c_{\vecγ} > 0$ strictly bounded away from zero, depending on $\vecγ$.
On stability of the Erdős-Rademacher Problem
Published
• View Publication
• BIB
Mantel's theorem states that every $n$-vertex graph with $\lfloor \frac{n^2}{4} \rfloor +t$ edges, where $t>0$, contains a triangle. The problem of determining the minimum number of triangles in such a graph is usually referred to as the Erdős-Rademacher problem. Lovász and Simonovits proved that there are at least $t\lfloor n/2 \rfloor$ triangles in each of those graphs. Katona and Xiao considered the same problem under the additional condition that there are no $s-1$ vertices covering all triangles. They settled the case $t=1$ and $s=2$. Solving their conjecture, we determine the minimum number of triangles for every fixed pair of $s$ and $t$, when $n$ is sufficiently large. Additionally, solving another conjecture of Katona and Xiao, we extend the theory for considering cliques instead of triangles.
The 1-2-3 Conjecture holds for graphs with large enough minimum degree
A simple graph more often than not contains adjacent vertices with equal degrees. This in particular holds for all pairs of neighbours in regular graphs, while a lot such pairs can be expected e.g. in many random models. Is there a universal constant $K$, say $K=3$, such that one may always dispose of such pairs from any given connected graph with at least three vertices by blowing its selected edges into at most $K$ parallel edges? This question was first posed in 2004 by Karoński, Łuczak and Thomason, who equivalently asked if one may assign weights $1,2,3$ to the edges of every such graph so that adjacent vertices receive distinct weighted degrees - the sums of their incident weights. This basic problem is commonly referred to as the 1-2-3 Conjecture nowadays, and has been addressed in multiple papers. Thus far it is known that weights $1,2,3,4,5$ are sufficient [J. Combin. Theory Ser. B 100 (2010) 347-349]. We show that this conjecture holds if only the minimum degree $δ$ of a graph is large enough, i.e. when $δ= Ω(\logΔ)$, where $Δ$ denotes the maximum degree of the graph. The principle idea behind our probabilistic proof relies on associating random variables with a special and carefully designed distribution to most of the vertices of a given graph, and then choosing weights for major part of the edges depending on the values of these variables in a deterministic or random manner.
Fano and weak Fano Hessenberg varieties
Published
• View Publication
• BIB
Regular semisimple Hessenberg varieties are smooth subvarieties of the flag variety, and their examples contain the flag variety itself and the permutohedral variety which is a toric variety. We give a complete classification of Fano and weak Fano regular semisimple Hessenberg varieties in type A in terms of combinatorics of Hessenberg functions. In particular, we show that if the anti-canonical bundle of a regular semisimple Hessenberg variety is nef, then it is in fact nef and big.
Covering minimal separators and potential maximal cliques in $P_t$-free graphs
Published
• View Publication
• BIB
A graph is called $P_t$-free} if it does not contain a $t$-vertex path as an induced subgraph. While $P_4$-free graphs are exactly cographs, the structure of $P_t$-free graphs for $t \geq 5$ remains little understood. On one hand, classic computational problems such as Maximum Weight Independent Set (MWIS) and $3$-Coloring are not known to be NP-hard on $P_t$-free graphs for any fixed $t$. On the other hand, despite significant effort, polynomial-time algorithms for MWIS in $P_6$-free graphs~[SODA 2019] and $3$-Coloring in $P_7$-free graphs~[Combinatorica 2018] have been found only recently. In both cases, the algorithms rely on deep structural insights into the considered graph classes.
One of the main tools in the algorithms for MWIS in $P_5$-free graphs~[SODA 2014] and in $P_6$-free graphs~[SODA 2019] is the so-called Separator Covering Lemma that asserts that every minimal separator in the graph can be covered by the union of neighborhoods of a constant number of vertices. In this note we show that such a statement generalizes to $P_7$-free graphs and is false in $P_8$-free graphs. We also discuss analogues of such a statement for covering potential maximal cliques with unions of neighborhoods.