arXiv++ Combinatorics

Combinatorial aspects of R-subgroups of finite dimensional Beidleman near-vector spaces over nearfields are studied. A characterization of R-subgroups is used to obtain the smallest possible size of a generating set of a subgroup, which is much smaller than its dimension. Furthermore, a formula for the number of R-subgroups of an n-dimensional near-vector space is developed.

A noisy entropy inequality for boolean functions by Samorodnitsky is applied to binary codes. It is shown that a binary code that achieves capacity on the binary erasure channel admits optimal list size for list decoding on some binary symmetric channels (in a regime where this optimal list size is exponentially large).

We settle a version of the conjecture about intransitive dice posed by Conrey, Gabbard, Grant, Liu and Morrison in 2016 and Polymath in 2017. We consider generalized dice with $n$ faces and we say that a die $A$ beats $B$ if a random face of $A$ is more likely to show a higher number than a random face of $B$. We study random dice with faces drawn iid from the uniform distribution on $[0,1]$ and conditioned on the sum of the faces equal to $n/2$. Considering the "beats" relation for three such random dice, Polymath showed that each of eight possible tournaments between them is asymptotically equally likely. In particular, three dice form an intransitive cycle with probability converging to $1/4$. In this paper we prove that for four random dice not all tournaments are equally likely and the probability of a transitive tournament is strictly higher than $3/8$.

We consider two problems regarding arithmetic progressions in symmetric sets in the finite field (product space) model. First, we show that a symmetric set $S\subseteq\mathbb{Z}_q^n$ containing $|S|=μ\cdot q^n$ elements must contain at least $δ(q,μ)\cdot q^n\cdot 2^n$ arithmetic progressions $x,x+d,\ldots,x+(q-1)\cdot d$ such that the difference $d$ is restricted to lie in $\{0,1\}^n$. Second, we show that for prime $p$ a symmetric set $S\subseteq\mathbb{F}^n_p$ with $|S|=μ\cdot p^n$ elements contains at least $μ^{C(p)}\cdot p^{2n}$ arithmetic progressions of length $p$. This establishes that the qualitative behavior of longer arithmetic progressions in symmetric sets is the same as for progressions of length three.

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.