# Sum-difference exponents for boundedly many slopes, and rational complexity

Preprint · Terence Tao

- Archive id: arxiv:2511.15135
- Published: 2025-11-19
- arXiv: https://arxiv.org/abs/2511.15135
- Source URL: https://arxiv.org/abs/2511.15135
- PDF: https://arxiv.org/pdf/2511.15135
- Provenance: arxiv

## Abstract

The dimension of Kakeya sets can be bounded using sum-difference exponents $\\SD(R;s)$ for various sets of rational slopes $R$ and output slope $s$; the arithmetic Kakeya conjecture, which implies the Kakeya conjecture in all dimensions, asserts that the infimum of such exponents is $1$. The best upper bound on this infimum currently is $1.67513\\dots$. In this note, inspired by numerical explorations from the tool \\texttt{AlphaEvolve}, we study the regime where the cardinality of the set of slopes $R$ is bounded. In this regime, we establish that these exponents converge to $2$ at a rate controlled by the \\emph{rational complexity} of $s$ relative to $R$, which measures how efficiently $s$ can be expressed as a rational combination of slopes in $R$.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.