arXiv++ Combinatorics

Oda asked the following prominent question in Oberwolfbach: Let $P$ be a smooth lattice polytope. Does $P$ have the integer decomposition property? We answer Oda's question in the affirmative in the special case of smooth Fano polytopes. We prove that the delta-vector of a smooth Fano polytope is unimodal and we give upper and lower bound for the volume of smooth Fano polytopes.

We prove the following uniform version of a theorem by Lindström: Let $\mbox{$\cal F$}:=\{F_i:~ i\in I\}$ be a $k$-uniform set family of $[n]$, where $k\geq 1$. If $|\mbox{$\cal F$}|\geq n+1$, then there exist two disjoint subsets $I_1$ and $I_2$ of $I$ for which $$ \bigcup\limits_{i\in I_1} M_i=\bigcup\limits_{i\in I_2} M_i $$ and $$ \bigcap\limits_{i\in I_1} M_i=\bigcap\limits_{i\in I_2} M_i. $$ Our proof uses basic linear algebra.

We study some examples when there is actually an equality in the linear algebra bound. When the vectors considered span in fact the entire space. We would like to point out that in some cases this provides some interesting extra information about the extremal configuration. We obtain results on set families satisfying conditions on pairwise intersections, or Hamming distances. Also, we have an application to 2-distance sets in Euclidean spaces.

For a code $C$ in a space with maximal distance $n$, we say that $C$ has symmetric distances if its distance set $S(C)$ is symmetric with respect to $n / 2$. In this paper, we prove that if $C$ is a binary code with length $2n$, constant weight $n$ and symmetric distances, then \[ |C| \leq \binom{2 n - 1}{|S(C)|}. \] This result can be interpreted using the language of Johnson association schemes. More generally, we give a framework to study codes with symmetric distances in Q-bipartite Q-polynomial association schemes, and provide upper bounds for such codes. Moreover, we use number theoretic techniques to determine when the equality holds.

Let $q=p^α$ be a fixed prime power, $k\geq 2$ be an integer. We give a new upper bound for the size of $k$-wise $q$-modular $L$-avoiding $L$-intersecting set systems, where $L$ is any proper subset of $\{0, \ldots , q-1\}$. Our proof is based on the linear algebra bound method and basic number theory.

A family $\mbox{$\cal F$}=\{F_1,\ldots,F_m\}$ of subsets of $[n]$ is said to be ordered, if there exists an $1\leq r\leq m$ index such that $n\in F_i$ for each $1\leq i\leq r$, $n\notin F_i$ for each $i>r$ and $|F_i|\leq |F_j|$ for each $1\leq i<j\leq m$. Our main result is a new upper bound for the size of ordered $L$-intersecting set systems.

In this short note we give a new upper bound for the size of a set family with a single Hamming distance. Our proof is an application of the linear algebra bound method.

Let $t$ be a non-negative integer and $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a set-pair family satisfying $|A_i \cap B_i|\leq t$ for $1\leq i \leq m$. $\mbox{$\cal P$}$ is called strong Bollobás $t$-system, if $|A_i\cap B_j|>t$ for all $1\leq i\neq j \leq m$. Füredi conjectured the following nice generalization of Bollobás' Theorem: Let $t$ be a non-negative integer. Let $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ be a strong Bollobás $t$-system. Then $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i|-2t \choose |A_i|-t}\leq 1. $$ We confirmed the following special case of Füredi's conjecture along with some more results of similar flavor. Let $t$ be a non-negative integer. Let $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ denote a strong Bollobás $t$-system. Define $a_i:=|A_i|$ and $b_i:=|B_i|$ for each $i$. Assume that there exists a positive integer $N$ such that $a_i+b_i=N$ for each $i$. Then $$ \sum_{i=1}^m \frac{1}{a_i+b_i-2t \choose a_i-t}\leq 1. $$

Let $\mbox{$\cal V$} \subseteq {\mathbb F}^n$ be a finite set of points in an affine space. A finite set of affine hyperplanes $\{H_1, \ldots ,H_m\}$ is said to be an almost cover of $\mbox{$\cal V$}$ and $\mathbf{v}$, if their union $\cup_{j=1}^m H_j$ contains $\mbox{$\cal V$}\setminus \{\mathbf{v}\}$ but does not contain $\mathbf{v}$. We give here a lower bound for the size of a minimal almost cover of $\mbox{$\cal V$}$ and $\mathbf{v}$ in terms of the size of $\mbox{$\cal V$}$ and the dimension $n$. We prove a generalization of Sziklai and Weiner's Theorem. Our simple proof is based on Gröbner basis theory.

Let $X$ be an $n$-element set. A set-pair system $\mbox{$\cal P$}=\{(A_i,B_i)\}_{1\leq i\leq m}$ is a collection of pairs of disjoint subsets of $X$. It is called skew Bollobás system if $A_i\cap B_j\neq \emptyset$ for all $1\leq i<j \leq m$. The best possible inequality $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i| \choose |A_i|}\leq n+1. $$ is established along with some more results of similar flavor.

Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be subsets of $[n]$ and let $t$ be a non-negative integer with the following property: $|A_i \cap B_i|\leq t$ for each $i$ and $|A_i\cap B_j|>t$ whenever $i< j$. Then $m\leq 2^{n-t}$. Our proof uses Lovász' tensor product method. We prove the following skew version of Bollobás' Theorem. Let $A_1, \ldots ,A_m$ and $B_1, \ldots ,B_m$ be finite sets of $[n]$ satisfying the conditions $A_i \cap B_i =\emptyset$ for each $i$ and $A_i\cap B_j\ne \emptyset$ for each $i< j$. Then $$ \sum_{i=1}^m \frac{1}{|A_i|+|B_i| \choose |A_i|}\leq n+1. $$ Both upper bounds are sharp.

An almost cover of a finite set in the affine space is a collection of hyperplanes that together cover all points of the set except one. Using the polynomial method, we determine the minimum size of an almost cover of the vertex set of the permutohedron and address a few related questions.

Let $\mbox{$\cal F$}\subseteq 2^{[n]}$ be a fixed family of subsets. Let $D(\mbox{$\cal F$})$ stand for the following set of Hamming distances: $$ D(\mbox{$\cal F$}):=\{d_H(F,G):~ F, G\in \mbox{$\cal F$},\ F\neq G\}. $$ $\mbox{$\cal F$}$ is said to be a Hamming symmetric family, if $d\in D(\mbox{$\cal F$})$ implies $n-d\in D(\mbox{$\cal F$})$ for each $d\in D(\mbox{$\cal F$})$. We give sharp upper bounds for the size of Hamming symmetric families. Our proof is based on the linear algebra bound method.

Let $q,n \geq 1$ be integers, $[q]=\{1,\ldots, q\}$, and $\mathbb F$ be a field with $|\mathbb F|\geq q$. The set of increasing sequences $$ I(n,q)=\{(f_1,f_2, \dots, f_n) \in [q]^n:~ f_1\leq f_2\leq\cdots \leq f_n \} $$ can be mapped via an injective map $i: [q]\rightarrow \mathbb F $ into a subset $J(n,q)$ of the affine space ${\mathbb F}^n$. We describe reduced Gröbner bases, standard monomials and Hilbert function of the ideal of polynomials vanishing on $J(n,q)$. As applications we give an interpolation basis for $J(n,q)$, and lower bounds for the size of increasing Kakeya sets, increasing Nikodym sets, and for the size of affine hyperplane covers of $J(n,q)$.

Dvir and Moran proved the following upper bound for the size of a family $\mbox{$\cal F$}$ of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Let $d\leq n$ be integers. Let $\mbox{$\cal F$}$ be a family of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Then \[ \left|\mbox{$\cal F$}\right|\le 2\sum_{k=0}^{\lfloor d/2 \rfloor}\binom nk. \] Our main result is the following uniform version of Dvir and Moran's result. Let $d\leq n$ be integers. Let $\mbox{$\cal F$}$ be an uniform family of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} Δ\mbox{$\cal F$})\leq d$. Then \[ \left|\mbox{$\cal F$}\right|\le 2 {n \choose \lfloor d/2 \rfloor}. \] Denote by $\mathbf{v_F}\in \{0,1\}^n$ the characteristic vector of a set $F \subseteq [n]$. Our proof is based on the following uniform version of Croot-Lev-Pach Lemma: Let $0\leq d\leq n$ be integers. Let $\mbox{$\cal H$}$ be a $k$-uniform family of subsets of $[n]$. Let $\mathbb F$ be a field. Suppose that there exists a polynomial $P(x_1, \ldots ,x_n,y_1, \ldots ,y_n)\in \mathbb F[x_1, \ldots ,x_n,y_1, \ldots ,y_n]$ with $\mbox{deg}(P)\leq d$ such that $P(\mathbf{v_F},\mathbf{v_F})\ne 0$ for each $F\in \mbox{$\cal H$}$ and $P(\mathbf{v_F},\mathbf{v_G})= 0$ for each $F\ne G\in \mbox{$\cal H$}$. Then \[ \left|\mbox{$\cal H$}\right|\le 2 {n \choose \lfloor d/2 \rfloor}. \]

P. Hrube\v s, S. Natarajan Ramamoorthy, A. Rao and A. Yehudayoff proved the following result: Let $p$ be a prime and let $f\in \mathbb F _p[x_1,\ldots,x_{2p}]$ be a polynomial. Suppose that $f(\mathbf{v_F})=0$ for each $F\subseteq [2p]$, where $|F|=p$ and that $f(\mathbf{0})\neq 0$. Then $\mbox{deg}(f)\geq p$. We prove here the following generalization of their result. Let $p$ be a prime and $q=p^α>1$, $α\geq 1$. Let $n>0$ be a positive integer and $q-1\leq d\leq n-q+1$ be an integer. Let $\mathbb F$ be a field of characteristic $p$. Suppose that $f(\mathbf{v_F})=0$ for each $F\subseteq [n]$, where $|F|=d$ and $\mbox{deg}(f)\leq q-1$. Then $f(\mathbf{v_F})=0$ for each $F\subseteq [n]$, where $|F|\equiv d \mbox{ (mod }q)$. Let $t=2d$ be an even number and $L\subseteq [d-1]$ be a given subset. We say that $\mbox{$\cal F$}\subseteq 2^{[t]}$ is an {\em $L$-balancing family} if for each $F\subseteq [t]$, where $|F|=d$ there exists a $G\subseteq [n]$ such that $|F\cap G|\in L$. We give a general upper bound for the size of an $L$-balancing family.

Pach and Palincza proved the following generalization of Ellenberg and Gijswijt's bound for the size of $k$-term arithmetic progression-free subsets, where $k\in \{4,5,6\}$: Let $m>0$ be an integer such that $6$ divides $m$ and let $k\in \{4,5,6\}$. Then $$ r_k({\mathbb Z}_{m}^n)\leq (0.948m)^n $$ if $n$ is sufficiently large. Building on the proof technique of Pach and Palincza's upper bound we generalize the Ellenberg and Gijswijt's bound in the following way: Let $p>2$ be any integer and let $q>2$ be a prime. Suppose that $p\leq q$. Then the there exists an $n_0\in \mathbb N$ integer and a $0<δ(p,q)<1$ real number such that $$ r_p({\mathbb Z}_{q}^n)\leq (δ(p,q)q)^n $$ for each $n>n_0$.

In a recent paper Petrov and Pohoata developed a new algebraic method which combines the Croot-Lev-Pach Lemma from additive combinatorics and Sylvester's Law of Inertia for real quadratic forms. As an application, they gave a simple proof of the Bannai-Bannai-Stanton bound on the size of $s$-distance sets (subsets $\mbox{$\cal A$}\subseteq {\mathbb R}^n$ which determine at most $s$ different distances). In this paper we extend their work and prove upper bounds for the size of $s$-distance sets in various real algebraic sets. This way we obtain a novel and short proof for the bound of Delsarte-Goethals-Seidel on spherical $s$-distance sets and a generalization of a bound by Bannai-Kawasaki-Nitamizu-Sato on $s$-distance sets on unions of spheres. In our arguments we use the method of Petrov and Pohoata together with some Gröbner basis techniques.

In this paper we give a short, new proof of a natural generalization of Gerzon's bound. This bound improves the Delsarte, Goethals and Seidel's upper bound in a special case. Our proof is a simple application of the linear algebra bound method.

Let $q,d\geq 2$ be integers. Define $$ J(q,d):=\frac 1q \Big( \min_{0<x<1} \frac{1-x^q}{1-x} x^{-\frac{q-1}{d}}\Big). $$ Let $\mbox{$\cal G$}\subseteq {\mathbb R}^n$ be an arbitrary subset. We denote by $d(\mbox{$\cal G$})$ the set of (non-zero) distances among points of $\mbox{$\cal G$}$: $$ d(\mbox{$\cal G$}):=\{d( p_1, p_2):~ p_1, p_2\in \mbox{$\cal G$}, p_1\ne p_2\}. $$ Our main result is a new upper bound for the size of $s$-distance sets in boxes. More concretely, let $A_i\subseteq \mathbb R$, $|A_i|=q\geq 2$ be subsets for each $1\leq i\leq n$. Consider the box $\mbox{$\cal B$}:=\prod_{i=1}^n A_i\subseteq {\mathbb R}^n$. Suppose that $\mbox{$\cal G$}\subseteq \mbox{$\cal B$}$ is a set such that $|d(\mbox{$\cal G$})|\leq s$. Let $d:=\frac{n(q-1)}{s}$. Then $$|\mbox{$\cal G$}|\leq 2(qJ(q,d))^n.$$ We use Tao's slice rank bounding method in our proof.