# Autocorrelation and Kakeya constants

> **Placeholder.** This problem is here so the problem panel can be tried out. Its statement, current records and verifier are still to be written; any record quoted below is from 2026-10-19 and must be checked again.

## Problem

Construct explicit step functions and finite sets that improve the constants studied in Mathematical exploration and discovery at scale (arXiv:2511.02864) and arXiv:2511.15135: autocorrelation inequalities, the Erdős minimum overlap problem and arithmetic Kakeya exponents. Every submission is checked in exact rational arithmetic. Which constants to list, and their current values, are still to be filled in.