arXiv++ Combinatorics

In this note we formulate a conjecture about two group ring identities and prove that it would imply the Alon-Jaeger-Tarsi conjecture.

Pilz's conjecture states that for any finite set $A=\{a_1,a_2,\dots,a_k\}$ of positive integers and positive integer $n$ in the union of the sets $\{a_1,2a_1,\dots,na_1\},\dots, \{a_k,2a_k,\dots,na_k\}$ (considered as a multiset) at least $n$ values appear an odd number of times. In this short note we consider a variant of this problem. Namely, we show that in the sumset $\{a_1,2a_1,\dots,na_1\}+\dots+\{a_k,2a_k,\dots,na_k\}$ (considered as a multiset) at least $n$ values appear an odd number of times.

We prove that if $G$ is an abelian group and $H_1x_1,\dots,H_{k}x_k$ is an irredundant (minimal) cover of $G$ with cosets, then $$|G:\bigcap_{i=1}^{k}H_{i}|=2^{O(k)}.$$ This bound is the best possible up to the constant hidden in the $O(\cdot)$ notation, and it resolves conjectures of Pyber (1996) and Szegedy (2007). We further show that if $G$ is an elementary $p$-group for some large prime $p$, and $H_1,\dots,H_k$ is a sequence of hyperplanes with many repetitions, then the bound above can be improved. As a consequence, we establish a substantial strengthening of the recently solved Alon-Jaeger-Tarsi conjecture: there exists $α>0$ such that for every invertible matrix $M\in\mathbb{F}_p^{n\times n}$ and any set of at most $p^α$ forbidden coordinates, one can find a vector $x\in\mathbb{F}_p^{n}$ such that neither $x$ nor $Mx$ have a forbidden coordinate.

Recently, the first two authors proved the Alon-Jaeger-Tarsi conjecture on non-vanishing linear maps, for large primes. We extend their ideas to address several other related conjectures. We prove the weak Additive Basis conjecture proposed by Szegedy, making a significant step towards the Additive Basis conjecture of Jaeger, Linial, Payan, and Tarsi. In fact, we prove it in a strong form: there exists a set $A\subset\mathbb{F}_p^*$ of size $O(\log p)$ such that if $B\subset\mathbb{F}_p^{n}$ is the union of $p$ linear bases, then $A\cdot B=\{a\cdot v:a\in A, v\in B\}$ is an additive basis. An old result of Tomkinson states that if $G$ is a group, and $\{H_{i}x_{i}:i\in [k]\}$ is an irredundant coset cover of $G$, then $|G:\bigcap_{i\in [k]} H_{i}|\leq k!,$ and this bound is the best possible. It is a longstanding open problem whether the upper bound can be improved to $e^{O(k)}$ in case we restrict cosets to subgroups. Pyber proposed to study this question for abelian groups. We show that somewhat surprisingly, if $G$ is abelian, the upper bound can be improved to $e^{O(k\log \log k)}$ already in the case of general coset covers, making the first substantial improvement over the $k!$ bound. Finally, we prove a natural generalization of the Alon-Jaeger-Tarsi conjecture for multiple matrices.

In this paper we resolve the Alon-Jaeger-Tarsi conjecture for sufficiently large primes. Namely, we show that for any finite field $\mathbb{F}$ of size $61<|\mathbb F|\ne 79$ and any nonsingular matrix $M$ over $\mathbb{F}$ there exists a vector $x$ such that neither $x$ nor $Ax$ has a 0 component.

Let $A$ be a finite, nonempty subset of an abelian group. We show that if every element of $A$ is a sum of two other elements, then $A$ has a nonempty zero-sum subset. That is, a (finite, nonempty) sum-full subset of an abelian group is not zero-sum-free.

We introduce a geometric method to study additive combinatorial problems. Using equivariant cohomology we reprove the Dias da Silva-Hamidoune theorem. We improve a result of Sun on the linear extension of the Erdős-Heilbronn conjecture. We generalize a theorem of G. Kós (the Grashopper problem) which in some sense is a simultaneous generalization of the Erdős-Heilbronn conjecture. We also prove a signed version of the Erdős-Heilbronn conjecture and the Grashopper problem. Most identities used are based on calculating the projective degree of an algebraic variety in two different ways.