Abstract:The (low soundness) linearity testing problem for the middle slice of the Boolean cube is as follows. Let $\varepsilon>0$ and $f$ be a function on the middle slice on the Boolean cube, such that when choosing a uniformly random quadruple $(x,y,z ,x\oplus y\oplus z)$ of vectors of $2n$ bits with exactly $n$ ones, the probability that $f(x\oplus y \oplus z) = f(x) \oplus f(y) \oplus f(z)$ is at least $1/2+\varepsilon$. The linearity testing problem, posed by David, Dinur, Goldenberg, Kindler and Shinkar, asks whether there must be an actual linear function that agrees with $f$ on $1/2+\varepsilon'$ fraction of the inputs, where $\varepsilon' = \varepsilon'(\varepsilon)>0$. We solve this problem, showing that $f$ must indeed be correlated with a linear function. To do so, we prove a dense model theorem for the middle slice of the Boolean hypercube for Gowers uniformity norms. Specifically, we show that for every $k\in\mathbb{N}$, the normalized indicator function of the middle slice of the Boolean hypercube $\{0,1\}^{2n}$ is close in Gowers norm to the normalized indicator function of the union of all slices with weight $t = n\pmod{2^{k-1}}$. Using our techniques we also give a more general `low degree test' and a biased rank theorem for the slice.

How much can heavy lines cover?

Long lines in subsets of large measure in high dimension

Marstrand type slicing statements in $\mathbb{Z}^{2}\subset \mathbb{R}^{2}$ are false for the counting dimension

Enumeration of points, lines, planes, etc

Some variants of the generalized Borel Theorem and applications

A Borel linear subspace of R^\omega that cannot be covered by countably many closed Haar-meager sets

Saturated configuration and new large construction of equiangular lines

On the maximum field of linearity of linear sets

A Marstrand type slicing theorem for subsets of $\mathbb{Z}^2 \subset \mathbb{R}^2$ with the mass dimension

Infinite Lineability: On the Abundance of Dense Subspaces

Thin Set Versions of Hindman's Theorem

On rich lines in grids

Spanning $H$-subdivisions and perfect $H$-subdivision tilings in dense digraphs

Lines on digraphs of low diameter

Universal Sets for Projections

Combining the theorems of Turán and de Bruijn-Erd\H os

A Dense Model Theorem for the Boolean Slice

Equiangular lines via matrix projection

The GHP Scaling Limit of Uniform Spanning Trees in High Dimensions

Covering the Sierpiński carpet with tubes

On the number of hyperedges in the hypergraph of lines and pseudo-discs