arXiv++ Combinatorics

Alon, Shpilka and Umans considered the following version of usual sunflower-free subset: a subset $\mbox{$\cal F$}\subseteq \{1,\ldots ,D\}^n$ for $D>2$ is sunflower-free if for every distinct triple $x,y,z\in \mbox{$\cal F$}$ there exists a coordinate $i$ where exactly two of $x_i,y_i,z_i$ are equal. Combining the polynomial method with character theory Naslund and Sawin proved that any sunflower-free set $\mbox{$\cal F$}\subseteq \{1,\ldots ,D\}^n$ has size $$ |\mbox{$\cal F$}|\leq c_D^n, $$ where $c_D=\frac{3}{2^{2/3}}(D-1)^{2/3}$. In this short note we give a new upper bound for the size of sunflower-free subsets of $\{1,\ldots ,D\}^n$. Our main result is a new upper bound for the size of sunflower-free $k$-uniform subsets. More precisely, let $k$ be an arbitrary integer. Let $\mbox{$\cal F$}$ be a sunflower-free $k$-uniform set system. Consider $M:=|\bigcup\limits_{F\in \mbox{$\cal F$}} F|. $ Then $$ |\mbox{$\cal F$}|\leq 3(\lceil\frac{2k}{3}\rceil+1)(2^{1/3}\cdot 3e)^k(\lceil\frac Mk\rceil -1)^{\lceil\frac{2k}{3}\rceil}. $$ In the proof we use Naslund and Sawin's result about sunflower-free subsets in $\{1,\ldots ,D\}^n$.

Croot, Lev and Pach used a new polynomial technique to give a new exponential upper bound for the size of three-term progression-free subsets in the groups $(\mathbb Z _4)^n$. The main tool in proving their striking result is a simple lemma about polynomials, which gives interesting new bounds for the size of subsets of the vector space $({\mathbb Z _p})^n$. Our main result is a generalization of this lemma. In the proof we combined Tao's slice rank bounding method with Gröbner basis technique. As an application, we improve Green's results and present new upper bounds for the size of difference sets in polynomial rings. We give a new, more concrete upper bound for the size of arithmetic progression-free subsets in $({\mathbb Z _p})^n$.

Let $p\geq 3$ be a prime and $n\geq 1$ be an integer. Let $K\subseteq {\mathbb{F}_p}$ denote a fixed subset with $0\in K$. Let $A\subseteq ({\mathbb{F}_p})^n$ be an arbitrary subset such that $$\{ \mathbf{a}-\mathbf{b}:~\mathbf{a},\mathbf{b}\in A,\mathbf{a}\neq \mathbf{b}\}\cap K^n=\emptyset. $$ Then we prove the exponential upper bound $$ |A|\leq ( p-|K|+ 1 )^n. $$ We use in our proof the linear algebra bound method.

Naslund used Tao's slice rank bounding method to give new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of finite Abelian groups of high rank. In our short manuscript we improve slightly Naslund's upper bounds. We extend Naslund's results and prove new exponential upper bounds for the Erdős--Ginzburg-Ziv constant of arbitrary finite Abelian groups. Our main results depend on a conjecture about Property D.

We combine here Tao's slice-rank bounding method and Gröbner basis techniques and apply here to the Erdős-Rado Sunflower Conjecture. Let $\frac{3k}{2}\leq n\leq 3k$ be integers. We prove that if $\mbox{$\cal F$}$ be a $k$-uniform family of subsets of $[n]$ without a sunflower with 3 petals, then $$ |\mbox{$\cal F$}|\leq 3{n \choose n/3}. $$ We give also some new upper bounds for the size of a sunflower-free family in $2^{[n]}$.

In an earlier work we described Gröbner bases of the ideal of polynomials over a field, which vanish on the set of characteristic vectors $\mathbf{v} \in \{0,1\}^n$ of the complete $d$ unifom set family over the ground set $[n]$. In particular, it turns out that the standard monomials of the above ideal are {\em ballot monomials}. We give here a partial extension of the latter fact. We prove that the lexicographic standard monomials for linear Sperner systems are also ballot monomials. A set family is a linear Sperner system if the characteristic vectors satisfy a linear equation $a_1v_1+\cdots +a_nv_n=k$, where $0<a_q\leq a_2\leq \cdots \leq a_n$ and $k$ are integers. As an application, we confirm a conjecture of Frankl for linear Sperner systems.

Ellenberg and Gijswijt gave recently a new exponential upper bound for the size of three-term arithmetic progression free sets in $({\mathbb Z_p})^n$, where $p$ is a prime. Petrov summarized their method and generalized their result to linear forms. In this short note we use Petrov's result to give new exponential upper bounds for the Erdős-Ginzburg-Ziv constant of finite Abelian groups of high rank. Our main results depend on a conjecture about Property D.

Let $W$ denote a linear space over a fixed field ${\mathbb F}$. We define the notions of weak $ISP$-system and weak $(u,v)$-system $\cal S=\{(U_i,V_i):~ 1\leq i\leq m\}$ of subspaces of $W$. We give upper bounds for the size of weak $ISP$-systems and weak $(u,v)$-systems.

Let $f(k,r,s)$ stand for the least number so that if $\cal F$ is an arbitrary $k$-uniform, $L$-intersecting set system, where $|L|=s$, and $\cal F$ has more than $f(k,r,s)$ elements, then $\cal F$ contains a sunflower with $r$ petals. We give an upper bound for $f(k,3,s)$. Let $g(k,r,\ell)$ be the least number so that any $k$-uniform, $\ell$-intersecting set system of more than $g(k,r,\ell)$ sets contains a sunflower with $r$ petals. We give also an upper bound for $g(k,r,\ell)$.

Our main result is a new upper bound for the size of k-uniform, L-intersecting families of sets, where L contains only positive integers. We characterize extremal families in this setting. Our proof is based on the Ray-Chaudhuri--Wilson Theorem. As an application, we give a new proof for the Erdős-Ko-Rado Theorem, improve Fisher's inequality in the uniform case and give an uniform version of the Frankl-Füredi conjecture .

Let $\mbox{ V}(n,d,q)$ stand for the $q$--ary Hamming spheres. Let $\mbox{ C}\subseteq (q)^n$ denote a tuple system such that $\mbox{ C}\subseteq \cup_{i=0}^s \mbox{ V}(n,d_i,q)$, where $d_1<\ldots <d_s$. We give here a general upper bound on the size of a shattered sets of the tuple system $\mbox{ C}$.

Let $W$ denote the $n$-dimensional affine space over the finite field $\mathbb F_q$. We prove here a Bollobás-type upper bound in the case of the set of affine subspaces. We give a construction of a pair of families of affine subspaces, which shows that our result is almost sharp.

Recent work has focused on the roots z of the Ehrhart polynomial of a lattice polytope P. The case when Re(z) = -1/2 is of particular interest: these polytopes satisfy Golyshev's "canonical line hypothesis". We characterise such polytopes when dim(P) <= 7. We also consider the "half-strip condition", where all roots z satisfy -dim(P)/2 <= Re(z) <= dim(P)/2-1, and show that this holds for any reflexive polytope with dim(P) <= 5. We give an example of a 10-dimensional reflexive polytope which violates the half-strip condition, thus improving on an example by Ohsugi--Shibata in dimension 34.

Let $n$ be an arbitrary integer, let $p$ be a prime factor of $n$. Denote by $ω_1$ the $p^{th}$ primitive unity root, $ω_1:=e^{\frac{2πi}{p}}$. Define $ω_i:=ω_1^i$ for $0\leq i\leq p-1$ and $B:=\{1,ω_1,...,ω_{p-1}\}^n$. Denote by $K(n,p)$ the minimum $k$ for which there exist vectors $v_1,...,v_k\in B$ such that for any vector $w\in B$, there is an $i$, $1\leq i\leq k$, such that $v_i\cdot w=0$, where $v\cdot w$ is the usual scalar product of $v$ and $w$. Gröbner basis methods and linear algebra proof gives the lower bound $K(n,p)\geq n(p-1)$. Galvin posed the following problem: Let $m=m(n)$ denote the minimal integer such that there exists subsets $A_1,...,A_m$ of $\{1,...,4n\}$ with $|A_i|=2n$ for each $1\leq i\leq n$, such that for any subset $B\subseteq [4n]$ with $2n$ elements there is at least one $i$, $1\leq i\leq m$, with $A_i\cap B$ having $n$ elements. We obtain here the result $m(p)\geq p$ in the case of $p>3$ primes.

Explicit construction of Ramsey graphs has remained a challenging open problem for a long time. Frankl--Wilson \cite{FW}, Alon \cite{A} and Grolmusz \cite{G2} gave the best explicit constructions of graphs on $m$ vertices with no clique or independent set of size $m^{(1+o(1))\frac{1}{4}\frac{\log m}{\log \log m}}$. We describe here an explicit construction which produces for every integer $m>1$ a graph on at least $m^{(1+o(1))\frac{1}{3}\frac{\log m}{\log \log m}}$ vertices containing neither a clique of size $m$ nor an independent set of size $m$. In the proof we use the polynomial subspace method and some character theory of the complete symmmetric group.

R. P. Stanley proved the Upper Bound Conjecture in 1975. We imitate his proof for the Ehrhart rings. We give some upper bounds for the volume of integrally closed lattice polytopes. We derive some inequalities for the delta-vector of integrally closed lattice polytopes. Finally we apply our results for reflexive integrally closed and order polytopes.

Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system for the components of the $h$--vector of the clique complex of an arbitrary chordal graph.

We describe the Betti numbers of the edge ideals $I(G)$ of uniform hypergraphs $G$ such that $I(G)$ has linear graded free resolution. We give an algebraic equation system and some inequalities for the components of the $f$--vector of the clique complex of an arbitrary chordal graph. Finally we present an explicit formula for the multiplicity of the Stanley-Reisner ring of the edge ideals of any chordal graph.

Let $Δ$ be simplicial complex and let $k[Δ]$ denote the Stanley--Reisner ring corresponding to $Δ$. Suppose that $k[Δ]$ has a pure free resolution. Then we describe the Betti numbers and the Hilbert--Samuel multiplicity of $k[Δ]$ in terms of the $h$--vector of $Δ$. As an application, we derive a linear equation system and some inequalities for the components of the $h$--vector of the clique complex of an arbitrary chordal graph. As an other application, we derive a linear equation system and some inequalities for the components of the $h$--vector of Cohen--Macaulay simplicial complexes.

P. Frankl and J. Pach proved the following uniform version of Sauer's Lemma. Let $n,d,s$ be natural numbers such that $d\leq n$, $s+1\leq n/2$. Let $\cF \subseteq {[n] \choose d}$ be an arbitrary $d$-uniform set system such that $\cF$ does not shatter an $s+1$-element set, then $$ |\cF|\leq {n \choose s}.$$ We prove here two generalizations of the above theorem to $n$-tuple systems. To obtain these results, we use Gröbner basis methods, and describe the standard monomials of Hamming spheres.