English

On Worst-Case Optimal Polynomial Intersection

Discrete Mathematics 2026-04-13 v1 Information Theory math.IT Quantum Physics

Abstract

The Optimal Polynomial Intersection (OPI) problem is the following: Given sets S1,,SmFS_1, \ldots, S_m \subseteq \mathbb{F} and evaluation points a1,,amFa_1, \ldots, a_m \in \mathbb{F}, find a polynomial QF[x]Q \in \mathbb{F}[x] of degree less than nn so that Q(ai)SiQ(a_i) \in S_i for as many i{1,2,,m}i \in \{1, 2, \ldots, m\} as possible. Decoded Quantum Interferometry (DQI) is a quantum algorithm that efficiently returns good solutions to the problem, even on worst-case instances (Jordan et. al., 2025). The quality of the solutions returned follows a semicircle law, which outperforms known efficient classical algorithms. But does DQI obtain the best possible solutions? That is, are there solutions better than the semicircle law for worst-case OPI instances? Surprisingly, before this work, the best existential results coincide with (and follow from) the best algorithmic results. In this work, we show that there are better solutions for worst-case OPI instances over prime fields. In particular, DQI and the semicircle law are not optimal. For example, when the lists SiS_i have size ρp\rho p for ρ1/2\rho \sim 1/2, our results imply the existence of a solution that asymptotically beats the semicircle law whenever n/m0.6225n/m \geq 0.6225, and we show that an asymptotically perfect solution exists whenever n/m0.7496n/m \geq 0.7496. Our results generalize to Max-LINSAT problems derived from any Maximum Distance Separable (MDS) code, and to any ρ(0,1)\rho \in (0,1). The key insight to our improvement is a connection to local leakage resilience of secret sharing schemes. Along the way, we recover several re-proofs of the existence of solutions achieving the semicircle law.

Keywords

Cite

@article{arxiv.2604.09533,
  title  = {On Worst-Case Optimal Polynomial Intersection},
  author = {Yihang Sun and Mary Wootters},
  journal= {arXiv preprint arXiv:2604.09533},
  year   = {2026}
}

Comments

45 pages, 4 figures