Abstract:For a field $\mathbb{F}$ and integers $d$ and $k$, a set ${\cal A} \subseteq \mathbb{F}^d$ is called $k$-nearly orthogonal if its members are non-self-orthogonal and every $k+1$ vectors of ${\cal A}$ include an orthogonal pair. We prove that for every prime $p$ there exists some $\delta = \delta(p)>0$, such that for every field $\mathbb{F}$ of characteristic $p$ and for all integers $k \geq 2$ and $d \geq k$, there exists a $k$-nearly orthogonal set of at least $d^{\delta \cdot k/\log k}$ vectors of $\mathbb{F}^d$. The size of the set is optimal up to the $\log k$ term in the exponent. We further prove two extensions of this result. In the first, we provide a large set ${\cal A}$ of non-self-orthogonal vectors of $\mathbb{F}^d$ such that for every two subsets of ${\cal A}$ of size $k+1$ each, some vector of one of the subsets is orthogonal to some vector of the other. In the second extension, every $k+1$ vectors of the produced set ${\cal A}$ include $\ell+1$ pairwise orthogonal vectors for an arbitrary fixed integer $1 \leq \ell \leq k$. The proofs involve probabilistic and spectral arguments and the hypergraph container method.

Furstenberg set problem and exceptional set estimate in prime fields: dimension two implies higher dimensions

Furstenberg sets estimate in the plane

A Fourier analytic approach to exceptional set estimates for orthogonal projections

On variants of the Furstenberg set problem

Orthogonal projections in the plane over prime order fields

A study guide for "On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" after T. Orponen and P. Shmerkin

Bounding the dimension of exceptional sets for orthogonal projections

Orthogonal projection, dual Furstenberg problem, and discretized sum-product

Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities

Exceptional projections of sets exhibiting almost dimension conservation

A Furstenberg-type problem for circles, and a Kaufman-type restricted projection theorem in $\mathbb{R}^3$

Larger Nearly Orthogonal Sets over Finite Fields

The Furstenberg-Sárközy theorem for polynomials in one or more prime variables

Non commutative multidimensional stronger Central Sets Theorem

Arithmetic structure of the exceptional set of projections

Brauer $p$-dimension and Kato's Swan Conductor

Large sum-free sets in finite vector spaces I

Old and new results on the Furstenberg sets

Nearly Orthogonal Sets over Finite Fields

Exceptional projections of self-affine sets with strong irreducibility

On the distance sets spanned by sets of dimension $d/2$ in $\mathbb{R}^d$