Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Stability for the Complete Intersection Theorem, and the Forbidden Intersection Problem of Erdős and Sós
Published
• View Publication
• BIB
A family $F$ of sets is said to be $t$-intersecting if $|A \cap B| \geq t$ for any $A,B \in F$. The seminal Complete Intersection Theorem of Ahlswede and Khachatrian (1997) gives the maximal size $f(n,k,t)$ of a $t$-intersecting family of $k$-element subsets of $[n]=\{1,2,\ldots,n\}$, together with a characterisation of the extremal families.
The forbidden intersection problem, posed by Erdős and Sós in 1971, asks for a determination of the maximal size $g(n,k,t)$ of a family $F$ of $k$-element subsets of $[n]$ such that $|A \cap B| \neq t-1$ for any $A,B \in F$.
In this paper, we show that for any fixed $t \in \mathbb{N}$, if $o(n) \leq k \leq n/2-o(n)$, then $g(n,k,t)=f(n,k,t)$. In combination with prior results, this solves the above problem of Erdős and Sós for any constant $t$, except for in the ranges $n/2-o(n) < k < n/2+t/2$ and $k < 2t$.
One key ingredient of the proof is the following sharp `stability' result for the Complete Intersection Theorem: if $k/n$ is bounded away from $0$ and $1/2$, and $F$ is a $t$-intersecting family of $k$-element subsets of $[n]$ such that $|F| \geq f(n,k,t) - O(\binom{n-d}{k})$, then there exists a family $G$ such that $G$ is extremal for the Complete Intersection Theorem, and $|F \setminus G| = O(\binom{n-d}{k-d})$. We believe this result to be of interest in its own right; indeed, it proves a conjecture of Friedgut from 2008. We prove it by combining classical `shifting' arguments with a `bootstrapping' method based upon an isoperimetric inequality.
Another key ingredient is a `weak regularity lemma' for families of $k$-element subsets of $[n]$, where $k/n$ is bounded away from 0 and 1. This states that any such family $F$ is approximately contained within a `junta', such that the restriction of $F$ to each subcube determined by the junta is `pseudorandom' in a certain sense.
Feet in Orthogonal-Buekenhout-Metz Unitals
Given an Orthogonal-Buekenhout-Metz unital $U_{α,β}$, embedded in $PG(2,q^2)$, and a point $P\notin U_{α,β}$, we study the set of feet, $τ_{P}(U_{α,β})$, of $P$ in $U_{α,β}$. We characterize geometrically each of these sets as either $q+1$ collinear points or as $q+1$ points partitioned into two arcs. Other results about the geometry of these sets are also given.
Strong shellability of simplicial complexes
Imposing a strong condition on the linear order of shellable complexes, we introduce strong shellability. Basic properties, including the existence of dimension-decreasing strong shelling orders, are developed with respect to nonpure strongly shellable complexes. Meanwhile, pure strongly shellable complexes can be characterized by the corresponding codimension one graphs. In addition, we show that the facet ideals of pure strongly shellable complexes have linear quotients.
Edgewise strongly shellable clutters
Published
• View Publication
• BIB
When $\mathcal{C}$ is a chordal clutter in the sense of Woodroofe or Emtander, we show that the complement clutter is edgewise strongly shellable. When $\mathcal{C}$ is indeed a finite simple graph, we study various characterizations of chordal graphs from the point of view of strong shellability. In particular, the generic graph $G_T$ of a tree is shown to be bi-strongly shellable. We also characterize edgewise strongly shellable bipartite graphs in terms of constructions from upward sequences. \end{abstract}
Pebbling Meets Coloring: Reversible Pebble Game On Trees
Published
• View Publication
• BIB
The reversible pebble game is a combinatorial game played on rooted DAGs. This game was introduced by Bennett (1989) motivated by applications in designing space efficient reversible algorithms. Recently, Chan (2013) showed that the reversible pebble game number of any DAG is the same as its Dymond-Tompa pebble number and Raz-Mckenzie pebble number.
We show, as our main result, that for any rooted directed tree T, its reversible pebble game number is always just one more than the edge rank coloring number of the underlying undirected tree U of T. It is known that given a DAG G as input, determining its reversible pebble game number is PSPACE-hard. Our result implies that the reversible pebble game number of trees can be computed in polynomial time.
We also address the question of finding the number of steps required to optimally pebble various families of trees. It is known that trees can be pebbled in $n^{O(\log(n))}$ steps where $n$ is the number of nodes in the tree. Using the equivalence between reversible pebble game and the Dymond-Tompa pebble game (Chan, 2013), we show that complete binary trees can be pebbled in $n^{O(\log\log(n))}$ steps, a substantial improvement over the naive upper bound of $n^{O(\log(n))}$. It remains open whether complete binary trees can be pebbled in polynomial (in $n$) number of steps. Towards this end, we show that almost optimal (i.e., within a factor of $(1 + ε)$ for any constant $ε> 0$) pebblings of complete binary trees can be done in polynomial number of steps.
We also show a time-space trade-off for reversible pebbling for families of bounded degree trees by a divide-and-conquer approach: for any constant $ε> 0$, such families can be pebbled using $O(n^ε)$ pebbles in $O(n)$ steps. This generalizes an analogous result of Kralovic (2001) for chains.
Forbidden Subgraph Bounds for Parallel Repetition and the Density Hales-Jewett Theorem
We study a special kind of bounds (so called forbidden subgraph bounds, cf. Feige, Verbitsky '02) for parallel repetition of multi-prover games.
First, we show that forbidden subgraph upper bounds for $r \ge 3$ provers imply the same bounds for the density Hales-Jewett theorem for alphabet of size $r$. As a consequence, this yields a new family of games with slow decrease in the parallel repetition value.
Second, we introduce a new technique for proving exponential forbidden subgraph upper bounds and explore its power and limitations. In particular, we obtain exponential upper bounds for two-prover games with question graphs of treewidth at most two and show that our method cannot give exponential bounds for all two-prover graphs.
Affine planes, ternary rings, and examples of non-Desarguesian planes
The paper is devoted to a detailed self-contained exposition of a part of the theory of affine planes leading to a construction of affine (or, equivalently, projective) planes not satisfying the Desarques axiom. It is intended to complement the introductory expositions of the theory of affine and projective planes. A novelty of our exposition is a new notation for the ternary operation in a ternary ring, much more suggestive than the standard one.
Algebra of linear recurrence relations in arbitrary characteristic
The goal of this paper is to present an algebraic approach to the basic results of the theory of linear recurrence relations. This approach is based on the ideas from the theory of representations of one endomorphisms (a special case of which is well known as the theory of the Jordan normal form of matrices). The notion of the divided derivatives, an analogue of the divided powers, turned out to be crucial for proving the results in a natural way and in their natural generality. The final form of our methods was influenced by the the umbral calculus of G.-C. Rota.
The Tutte expansion revisited
The Tutte polynomial of a connected graph was originally defined by Tutte as a sum over all spanning trees of monomials depending on a fixed linear order on the set of edges. Tuttle proved that while these monomials do depend on the linear order, the sum does not. The present paper is a result of a reflection upon this classical theorem of Tutte. It is devoted to an elementary and detailed proof of this theorem in its natural generality, i.e. not for graphs, but for matroids.
In contrast with usual methods, the emphasis is on the properties of maps (as opposed to elements) naturally associated to a matroid (or a graph) and an order. In order to fully explain the four-fold symmetry of the proof, we introduce notion of linking between two matroids on the same set. While every matroid is, in fact, linked only to itself and to its dual matroid, the notion of a linking identifies the essential features of the theory and allows to replace the usual four similar arguments by a single one. This is done in Theorem 9.1, which is the focal point of the present paper.
With the exception of Introduction, the present paper is self-contained modulo basic concepts related to sets and maps. In particular, no knowledge of the matroid theory or of the graph theory is assumed.
Unfoldings of the Cube
Published
• View Publication
• BIB
Just how many different connected shapes result from slicing a cube along some of its edges and unfolding it into the plane? In this article we answer this question by viewing the cube both as a surface and as a graph of vertices and edges. This dual perspective invites an interplay of geometric, algebraic, and combinatorial techniques. The initial observation is that a cutting pattern which unfolds the cubical surface corresponds to a spanning tree of the cube graph. The Matrix-Tree theorem can be used to calculate the number of spanning trees in a connected graph, and thus allows us to compute the number of ways to unfold the cube. Since two or more spanning trees may yield the same unfolding shape, Burnside's lemma is required to count the number of incongruent unfoldings. Such a count can be an arduous task. Here we employ a combination of elementary algebraic and geometric techniques to bring the problem within the range of simple hand calculations.
Proof of a recent conjecture of Z.-W. Sun
The polynomials $d_n(x)$ are defined by \begin{align*} d_n(x) &= \sum_{k=0}^n{n\choose k}{x\choose k}2^k. \end{align*} We prove that, for any prime $p$, the following congruences hold modulo $p$: \begin{align*} \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(-\frac{1}{4}\right)^2 &\equiv \begin{cases} 2(-1)^{\frac{p-1}{4}}x,&\text{if $p=x^2+y^2$ with $x\equiv 1\pmod{4}$,} 0,&\text{if $p\equiv 3\pmod{4}$,} \end{cases} [5pt] \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(-\frac{1}{6}\right)^2 &\equiv 0, \quad\text{if $p>3$,} [5pt] \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(\frac{1}{4}\right)^2 &\equiv \begin{cases} 0,&\text{if $p\equiv 1\pmod{4}$,} (-1)^{\frac{p+1}{4}}{\frac{p-1}{2}\choose \frac{p-3}{4}},&\text{if $p\equiv 3\pmod{4}$.} \end{cases} \sum_{k=0}^{p-1}\frac{2k\choose k}{4^k} d_k\left(\frac{1}{6}\right)^2 &\equiv 0, \quad\text{if $p>5$.} \end{align*} The $p\equiv 3\pmod{4}$ case of the first one confirms a conjecture of Z.-W. Sun, while the second one confirms a special case of another conjecture of Z.-W. Sun.
Tight lower bounds on the matching number in a graph with given maximum degree
Published
• View Publication
• BIB
Let $k \geq 3$. We prove the following three bounds for the matching number, $α'(G)$, of a graph, $G$, of order $n$ size $m$ and maximum degree at most $k$.
If $k$ is odd, then $α'(G) \ge \left( \frac{k-1}{k(k^2 - 3)} \right) n \, + \, \left( \frac{k^2 - k - 2}{k(k^2 - 3)} \right) m \, - \, \frac{k-1}{k(k^2 - 3)}$. If $k$ is even, then $α'(G) \ge \frac{n}{k(k+1)} \, + \, \frac{m}{k+1} - \frac{1}{k}$. If $k$ is even, then $α'(G) \ge \left( \frac{k+2}{k^2+k+2} \right) m \, - \, \left( \frac{k-2}{k^2+k+2} \right) n \, - \frac{k+2}{k^2+k+2}$.
In this paper we actually prove a slight strengthening of the above for which the bounds are tight for essentially all densities of graphs.
The above three bounds are in fact powerful enough to give a complete description of the set $L_k$ of pairs $(γ,β)$ of real numbers with the following property. There exists a constant $K$ such that $α'(G) \geq γn + βm - K$ for every connected graph $G$ with maximum degree at most~$k$, where $n$ and $m$ denote the number of vertices and the number of edges, respectively, in $G$. We show that $L_k$ is a convex set. Further, if $k$ is odd, then $L_k$ is the intersection of two closed half-spaces, and there is exactly one extreme point of $L_k$, while if $k$ is even, then $L_k$ is the intersection of three closed half-spaces, and there are precisely two extreme points of $L_k$.
Ramsey-type numbers involving graphs and hypergraphs with large girth
A question of Erdős asks if for every pair of positive integers $r$ and $k$, there exists a graph $H$ having $\textrm{girth}(H)=k$ and the property that every $r$-colouring of the edges of $H$ yields a monochromatic cycle $C_k$. The existence of such graphs was confirmed by the third author and Ruciński.
We consider the related numerical problem of determining the smallest such graph with this property. We show that for integers $r$ and $k$, there exists a graph $H$ on $R^{10k^2} k^{15k^3}$ vertices (where $R = R(C_k;r)$ is the $r$-colour Ramsey number for the cycle $C_k$) having $\textrm{girth}(H)=k$ and the Ramsey property that every $r$-colouring of $E(H)$ yields a monochromatic $C_k$. Two related numerical problems regarding arithmetic progressions in sets and cliques in graphs are also considered.
On a problem by Shapozenko on Johnson graphs
Published
• View Publication
• BIB
The Johnson graph $J(n,m)$ has the $m$--subsets of $\{1,2,\ldots,n\}$ as vertices and two subsets are adjacent in the graph if they share $m-1$ elements. Shapozenko asked about the isoperimetric function $μ_{n,m}(k)$ of Johnson graphs, that is, the cardinality of the smallest boundary of sets with $k$ vertices in $J(n,m)$ for each $1\le k\le {n\choose m}$. We give an upper bound for $μ_{n,m}(k)$ and show that, for each given $k$ such that the solution to the Shadow Minimization Problem in the Boolean lattice is unique, and each sufficiently large $n$, the given upper bound is tight. We also show that the bound is tight for the small values of $k\le m+1$ and for all values of $k$ when $m=2$.
Steinberg's Conjecture is false
Published
• View Publication
• BIB
Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture.
Lovász' original lower bound: Getting tighter bounds and Reducing computational complexity
In this article, we give conditions on a graph under which the Lovász' original bound of the graph can be improved by increasing the topological connectivity of its neighbourhood complex. We also work out conditions under which computing the topological connectivity of hom complex of a pair of graphs can be simplified. In particular, hom complex as a covariant functor acting on a double mapping cylinder of graphs is a homotopy pushout of hom complex functor applied to its subgraphs. We give applications of this result where the computation of hom complexes is simplified. Finally, we explain why double mapping cylinder of graphs does not give a satisfactory definition of homotopy pushout in the category of graphs.
A constructive characterisation of circuits in the simple $(2,1)$-sparse matroid
Published
• View Publication
• BIB
A simple graph $G=(V,E)$ is a $(2,1)$-circuit if $|E|=2|V|$ and $|E(H)|\leq 2|V(H)|-1$ for every proper subgraph $H$ of $G$. Motivated, in part, by ongoing work to understand unique realisations of graphs on surfaces, we derive a constructive characterisation of $(2,1)$-circuits. The characterisation uses the well known 1-extension and $X$-replacement operations as well as several summation moves to glue together $(2,1)$-circuits over small cutsets.
A note on the double-critical graph conjecture
A connected $n$-chromatic graph $G$ is double-critical if for all the edges $xy$ of $G$, the graph $G-x-y$ is $(n-2)$-chromatic. In 1966, Erd\H os and Lovász conjectured that the only double-critical $n$-chromatic graph is $K_n$. This conjecture remains unresolved for $n \ge 6.$ In this short note, we verify this conjecture for claw-free graphs $G$ of chromatic number $6$.
Congruences modulo powers of $2$ for the number of unique path partitions
Published in in: Analytic Number Theory, Modular Forms and q-Hypergeometric Series, G. E. Andrews, F. G. Garvan (eds.), Springer Proceedings in Mathematics & Statistics, Springer-Verlag, Cham, 2018, pp. 401-408
• View Publication
• BIB
We compute the congruence class modulo 16 of the number of unique path partitions of $n$ (as defined by Olsson), thus generalising previous results by Bessenrodt, Olsson and Sellers [Ann. Combin. 13 (2013), 591-602].
Polynomial splitting measures and cohomology of the pure braid group
Published in Arnold Mathematical Journal 3, no. 2, 219--249 (2017)
• View Publication
• BIB
We study for each $n$ a one-parameter family of complex-valued measures on the symmetric group $S_n$, which interpolate the probability of a monic, degree $n$, square-free polynomial in $\mathbb{F}_q[x]$ having a given factorization type. For a fixed factorization type, indexed by a partition $λ$ of $n$, the measure is known to be a Laurent polynomial. We express the coefficients of this polynomial in terms of characters associated to $S_n$-subrepresentations of the cohomology of the pure braid group $H^{\bullet}(P_n, \mathbb{Q})$. We deduce that the splitting measures for all parameter values $z= -\frac{1}{m}$ (resp. $z= \frac{1}{m}$), after rescaling, are characters of $S_n$-representations (resp. virtual $S_n$-representations.)