Showing 20 papers (Total: 83133 papers, 48023 authors in database)
A Tight Bound for Hypergraph Regularity I
The hypergraph regularity lemma -- the extension of Szemerédi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several (very different) proofs of this lemma, obtained by Gowers, by Nagle-Rödl-Schacht-Skokan and by Tao. Unfortunately, what all these proofs have in common is that they yield regular partitions whose order is given by the $k$-th Ackermann function. We show that such Ackermann-type bounds are unavoidable for every $k \ge 2$, thus confirming a prediction of Tao.
Prior to our work, the only result of the above type was Gowers' famous lower bound for graph regularity. In this paper we describe the key new ideas which enable us to overcome several barriers which stood in the way of establishing such bounds for hypergraphs of higher uniformity. One of them is a tight bound for a new (very weak) version of the {\em graph} regularity lemma. Using this bound, we prove a lower bound for any regularity lemma of $3$-uniform hypergraphs that satisfies certain mild conditions. We then show how to use this result in order to prove a tight bound for the hypergraph regularity lemmas of Gowers and Frankl--Rödl. We will obtain similar results for hypergraphs of arbitrary uniformity $k\geq 2$ in a subsequent paper.
A Tight Bound for Hypergraph Regularity II
The hypergraph regularity lemma -- the extension of Szemerédi's graph regularity lemma to the setting of $k$-uniform hypergraphs -- is one of the most celebrated combinatorial results obtained in the past decade. By now there are several (very different) proofs of this lemma, obtained by Gowers, by Nagle-Rödl-Schacht-Skokan and by Tao. Unfortunately, what all these proofs have in common is that they yield regular partitions whose order is given by the $k$-th Ackermann function.
In a recent paper we have shown that these bounds are unavoidable for $3$-uniform hypergraphs. In this paper we extend this result by showing that such Ackermann-type bounds are unavoidable for every $k \ge 2$, thus confirming a prediction of Tao.
A Bound on the Shannon Capacity via a Linear Programming Variation
Published in SIAM J. Discrete Math. 32 (2018), 2229-2241
• View Publication
• BIB
We prove an upper bound on the Shannon capacity of a graph via a linear programming variation. We show that our bound can outperform both the Lovász theta number and the Haemers minimum rank bound. As a by-product, we also obtain a new upper bound on the broadcast rate of Index Coding.
On the affine Schützenberger involution
Published
• View Publication
• BIB
We consider an involution on the affine Weyl group of type $A$ induced from the nontrivial automorphism on the (finite) Dynkin diagram. We prove that the number of left cells fixed by this involution in each two-sided cell is given by a certain Green polynomial of type $A$ evaluated at -1.
$N$-detachable pairs in 3-connected matroids I: unveiling $X$
Published in Journal of Combinatorial Theory, Series B, 141 (2020), 295-342
• View Publication
• BIB
Let $M$ be a 3-connected matroid, and let $N$ be a 3-connected minor of $M$. We say that a pair $\{x_1,x_2\} \subseteq E(M)$ is $N$-detachable if one of the matroids $M/x_1/x_2$ or $M \backslash x_1 \backslash x_2$ is both 3-connected and has an $N$-minor. This is the first in a series of three papers where we describe the structures that arise when it is not possible to find an $N$-detachable pair in $M$. In this paper, we prove that if $M$ has no $N$-detachable pairs, then either $M$ has a 3-separating set, which we call $X$, with certain strong structural properties, or $M$ has one of three particular 3-separators that can appear in a matroid with no $N$-detachable pairs.
Cylindric symmetric functions and positivity
Published
• View Publication
• BIB
We introduce new families of cylindric symmetric functions as subcoalgebras in the ring of symmetric functions $Λ$ (viewed as a Hopf algebra) which have non-negative structure constants. Combinatorially these cylindric symmetric functions are defined as weighted sums over cylindric reverse plane partitions or - alternatively - in terms of sets of affine permutations. We relate their combinatorial definition to an algebraic construction in terms of the principal Heisenberg subalgebra of the affine Lie algebra $\mathfrak{\widehat{sl}}_n$ and a specialised cyclotomic Hecke algebra. Using Schur-Weyl duality we show that the new cylindric symmetric functions arise as matrix elements of Lie algebra elements in the subspace of symmetric tensors of a particular level-0 module which can be identified with the small quantum cohomology ring of the $k$-fold product of projective space. The analogous construction in the subspace of alternating tensors gives the known set of cylindric Schur functions which are related to the small quantum cohomology ring of Grassmannians. We prove that cylindric Schur functions form a subcoalgebra in $Λ$ whose structure constants are the 3-point genus 0 Gromov-Witten invariants. We show that the new families of cylindric functions obtained from the subspace of symmetric tensors also share the structure constants of a symmetric Frobenius algebra, which we define in terms of tensor multiplicities of the generalised symmetric group $G(n,1,k)$.
A Polyhedral Method for Sparse Systems with many Positive Solutions
Published in SIAM J. Appl. Algebra Geometry, 2(4) (2018), 620-645
• View Publication
• BIB
We investigate a version of Viro's method for constructing polynomial systems with many positive solutions, based on regular triangulations of the Newton polytope of the system. The number of positive solutions obtained with our method is governed by the size of the largest positively decorable subcomplex of the triangulation. Here, positive decorability is a property that we introduce and which is dual to being a subcomplex of some regular triangulation. Using this duality, we produce large positively decorable subcomplexes of the boundary complexes of cyclic polytopes. As a byproduct we get new lower bounds, some of them being the best currently known, for the maximal number of positive solutions of polynomial systems with prescribed numbers of monomials and variables. We also study the asymptotics of these numbers and observe a log-concavity property.
The minimum asymptotic density of binary caterpillars
Published
• View Publication
• BIB
Given $d\geq 2$ and two rooted $d$-ary trees $D$ and $T$ such that $D$ has $k$ leaves, the density $γ(D,T)$ of $D$ in $T$ is the proportion of all $k$-element subsets of leaves of $T$ that induce a tree isomorphic to $D$, after erasing all vertices of outdegree $1$. In a recent work, it was proved that the limit inferior of this density as the size of $T$ grows to infinity is always zero unless $D$ is the $k$-leaf binary caterpillar $F^2_k$ (the binary tree with the property that a path remains upon removal of all the $k$ leaves). Our main theorem in this paper is an exact formula (involving both $d$ and $k$) for the limit inferior of $γ(F^2_k,T)$ as the size of $T$ tends to infinity.
Two Examples of Toric Arrangements
Published in Journal of Combinatorial Theory, Series A 167 (2019) 389-402
• View Publication
• BIB
We show that the integral cohomology algebra of the complement of a toric arrangement is not determined by the poset of layers. Moreover, the rational cohomology algebra is not determined by the arithmetic matroid (however it is determined by the poset of layers).
Hardness and structural results for half-squares of restricted tree convex bipartite graphs
Published
• View Publication
• BIB
Let $B=(X,Y,E)$ be a bipartite graph. A half-square of $B$ has one color class of $B$ as vertex set, say $X$; two vertices are adjacent whenever they have a common neighbor in $Y$. Every planar graph is a half-square of a planar bipartite graph, namely of its subdivision. Until recently, only half-squares of planar bipartite graphs, also known as map graphs (Chen, Grigni and Papadimitriou [STOC 1998, J. ACM 2002]), have been investigated, and the most discussed problem is whether it is possible to recognize these graphs faster and simpler than Thorup's $O(n^{120})$-time algorithm (Thorup [FOCS 1998]).
In this paper, we identify the first hardness case, namely that deciding if a graph is a half-square of a balanced bisplit graph is NP-complete. (Balanced bisplit graphs form a proper subclass of star convex bipartite graphs.) For classical subclasses of tree convex bipartite graphs such as biconvex, convex, and chordal bipartite graphs, we give good structural characterizations of their half-squares that imply efficient recognition algorithms. As a by-product, we obtain new characterizations of unit interval graphs, interval graphs, and of strongly chordal graphs in terms of half-squares of biconvex bipartite, convex bipartite, and of chordal bipartite graphs, respectively. Good characterizations of half-squares of star convex and star biconvex bipartite graphs are also given, giving linear-time recognition algorithms for these half-squares.
A variation of a theorem by Pósa
A graph $G$ is $\ell$-hamiltonian if for any linear forest $F$ of $G$ with $\ell$ edges, $F$ can be extended to a hamiltonian cycle of $G$. We give a sharp upper bound for the maximum number of cliques of a fixed size in a non-$\ell$-hamiltonian graph. Furthermore, we prove stability for the bound: if a non-$\ell$-hamiltonian graph contains almost the maximum number of cliques, then it must be a subgraph of one of two examples.
Unimodal Polynomials and Lattice Walk Enumeration with Experimental Mathematics
The main theme of this dissertation is retooling methods to work for different situations.
I have taken the method derived by O'Hara and simplified by Zeilberger to prove unimodality of $q$-binomials and tweaked it. This allows us to create many more families of polynomials for which unimodality is not, a priori, given. I analyze how many of the tweaks affect the resulting polynomial. Ayyer and Zeilberger proved a result about bounded lattice walks. I employ their generating function relation technique to analyze lattice walks with a general step set in bounded, semi-bounded, and unbounded planes. The method in which we do this is formulated to be highly algorithmic so that a computer can automate most, if not all, of the work. I easily recover many well-known results for simpler step sets and discover new results for more complex step sets.
Erdős-Szekeres On-Line
In 1935, Erdős and Szekeres proved that $(m-1)(k-1)+1$ is the minimum number of points in the plane which definitely contain an increasing subset of $m$ points or a decreasing subset of $k$ points (as ordered by their $x$-coordinates). We consider their result from an on-line game perspective: Let points be determined one by one by player A first determining the $x$-coordinate and then player B determining the $y$-coordinate. What is the minimum number of points such that player A can force an increasing subset of $m$ points or a decreasing subset of $k$ points? We introduce this as the Erdős-Szekeres on-line number and denote it by $\text{ESO}(m,k)$. We observe that $\text{ESO}(m,k) < (m-1)(k-1)+1$ for $m,k \ge 3$, provide a general lower bound for $\text{ESO}(m,k)$, and determine $\text{ESO}(m,3)$ up to an additive constant.
Rado's theorem for rings and modules
Published
• View Publication
• BIB
We extend classical results of Rado on partition regularity of systems of linear equations with integer coefficients to the case when the coefficient ring is either an arbitrary integral domain or a noetherian ring. In particular, we show that a system of homogeneous linear equations over an infinite integral domain is partition regular if and only if the corresponding matrix satisfies the columns conditions. The crucial idea is to study partition regularity for general modules rather than only for rings. Contrary to previous techniques, our approach is independent of the characteristic of the coefficient ring.
Weighted self-avoiding walks
Published
• View Publication
• BIB
We study the connective constants of weighted self-avoiding walks (SAWs) on infinite graphs and groups. The main focus is upon weighted SAWs on finitely generated, virtually indicable groups. Such groups possess so-called 'height functions', and this permits the study of SAWs with the special property of being bridges. The group structure is relevant in the interaction between the height function and the weight function. The main difficulties arise when the support of the weight function is unbounded, since the corresponding graph is no longer locally finite.
There are two principal results, of which the first is a condition under which the weighted connective constant and the weighted bridge constant are equal. When the weight function has unbounded support, we work with a generalized notion of the 'length' of a walk, which is subject to a certain condition.
In the second main result, the above equality is used to prove a continuity theorem for connective constants on the space of weight functions endowed with a suitable distance function.
Edge-sum distinguishing labeling
Published
• View Publication
• BIB
We study \emph{edge-sum distinguishing labeling}, a type of labeling recently introduced by Tuza in [Zs. Tuza, \textit{Electronic Notes in Discrete Mathematics} 60, (2017), 61-68] in context of labeling games.
An \emph{ESD labeling} of an $n$-vertex graph $G$ is an injective mapping of integers $1$ to $l$ to its vertices such that for every edge, the sum of the integers on its endpoints is unique. If $l$ equals to $n$, we speak about a \emph{canonical ESD labeling}.
We focus primarily on structural properties of this labeling and show for several classes of graphs if they have or do not have a canonical ESD labeling. As an application we show some implications of these results for games based on ESD labeling. We also observe that ESD labeling is closely connected to the well-known notion of \emph{magic} and \emph{antimagic} labelings, to the \emph{Sidon sequences} and to \emph{harmonious labelings}.
Large Genus Asymptotics for Volumes of Strata of Abelian Differentials
Published
• View Publication
• BIB
In this paper we consider the large genus asymptotics for Masur-Veech volumes of arbitrary strata of Abelian differentials. Through a combinatorial analysis of an algorithm proposed in 2002 by Eskin-Okounkov to exactly evaluate these quantities, we show that the volume $ν_1 \big( \mathcal{H}_1 (m) \big)$ of a stratum indexed by a partition $m = (m_1, m_2, \ldots , m_n)$ is $\big( 4 + o(1) \big) \prod_{i = 1}^n (m_i + 1)^{-1}$ as $2g - 2 = \sum_{i = 1}^n m_i$ tends to $\infty$. This confirms a prediction of Eskin-Zorich and generalizes some of the recent results of Chen-Moeller-Zagier and Sauvaget, who established these limiting statements in the special cases $m = 1^{2g - 2}$ and $m = (2g - 2)$, respectively.
We also include an Appendix by Anton Zorich that uses our main result to deduce the large genus asymptotics for Siegel-Veech constants that count certain types of saddle connections.
An explicit Formula for Bernoulli Polynomials with a $q$ Parameter in Terms of $r$-Whitney Numbers
Published
• View Publication
• BIB
We define the Bernoulli polynomials with a $q$ parameter in terms of $r$-Whitney numbers of the second kind. Some algebraic properties and combinatorial identities of these polynomials are given. Also, we obtain several relations between the Cauchy and Bernoulli polynomials with a $q$ parameter in terms of $r$-Whitney numbers of both kinds.
Solvability of Mazes by Blind Robots
In this paper we introduce and investigate a new type of automata which turns out to be rich in deep and complex phenomena. For our model, a maze is a countable strongly connected digraph called the board together with a proper colouring of its edges (the edges leaving a vertex have distinct colours) and two special vertices: the origin and the destination. A pointer or robot starts at the origin of a maze and moves naturally between its vertices, according to a finite or infinite sequence of specific instructions from the set of all colours called an algorithm; if the robot is at a vertex for which there is no out-edge of the colour indicated by the instruction, it remains at that vertex and proceeds to execute the next instruction in the sequence. The central object of study is the existence of algorithms that simultaneously solve, that is guide the robot to visit the destination in, certain large sets of mazes.
One of the most natural and interesting sets of mazes arises from the square lattice $\Z^2$ viewed as a graph with arbitrarily many edges removed (each edge corresponds to a pair of opposite directed edges), together with the suggestive colouring that assigns to each directed edge the corresponding cardinal direction. In this set-up, a research question of Leader and Spink from 2011, which proved to be very profound, asks whether there exists an algorithm which solves this set of mazes.
In this paper we make progress towards this question. We consider the subset of all such mazes which have arbitrarily many horizontal edges removed but only finitely many vertical edges removed in consecutive columns, and construct an algorithm which solves this subset of mazes.
An explicit two-source extractor with min-entropy rate near 4/9
Published in Mathematika 65 (2019) 950-957
• View Publication
• BIB
In 2005 Bourgain gave the first explicit construction of a two-source extractor family with min-entropy rate less than $1/2$. His approach combined Fourier analysis with innovative but inefficient tools from arithmetic combinatorics and yielded an unspecified min-entropy rate which was greater than $.499$. This remained essentially the state of the art until a 2015 breakthrough of Chattopadhyay and Zuckerman in which they gave an alternative approach which produced extractors with arbitrarily small min-entropy rate. In the current work, we revisit the Fourier analytic approach. We give an improved analysis of one of Bourgain's extractors which shows that it in fact extracts from sources with min-entropy rate near $\frac{21}{44} =.477\ldots$, moreover we construct a variant of this extractor which we show extracts from sources with min-entropy rate near $4/9 $ = $.444\ldots$. While this min-entropy rate is inferior to Chattopadhyay and Zuckerman's construction, our extractors have the advantage of exponential small error which is important in some applications. The key ingredient in these arguments is recent progress connected to the restriction theory of the finite field paraboloid by Rudnev and Shkredov. This in turn relies on a Rudnev's point-plane incidence estimate, which in turn relies on Kollár's generalization of the Guth-Katz incidence theorem.