Explorerβ€ΊQuantum Computingβ€ΊQuantum Physics
Research PaperResearchia:202604.14017

On Worst-Case Optimal Polynomial Intersection

Yihang Sun

Abstract

The Optimal Polynomial Intersection (OPI) problem is the following: Given sets $S_1, \ldots, S_m \subseteq \mathbb{F}$ and evaluation points $a_1, \ldots, a_m \in \mathbb{F}$, find a polynomial $Q \in \mathbb{F}[x]$ of degree less than $n$ so that $Q(a_i) \in S_i$ for as many $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 o...

Submitted: April 14, 2026Subjects: Quantum Physics; Quantum Computing

Description / Details

The Optimal Polynomial Intersection (OPI) problem is the following: Given sets S1,…,SmβŠ†FS_1, \ldots, S_m \subseteq \mathbb{F} and evaluation points a1,…,am∈Fa_1, \ldots, a_m \in \mathbb{F}, find a polynomial Q∈F[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ρp for ρ∼1/2ρ\sim 1/2, our results imply the existence of a solution that asymptotically beats the semicircle law whenever n/mβ‰₯0.6225n/m \geq 0.6225, and we show that an asymptotically perfect solution exists whenever n/mβ‰₯0.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)ρ\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.


Source: arXiv:2604.09533v1 - http://arxiv.org/abs/2604.09533v1 PDF: https://arxiv.org/pdf/2604.09533v1 Original Link: http://arxiv.org/abs/2604.09533v1

Please sign in to join the discussion.

No comments yet. Be the first to share your thoughts!

Access Paper
View Source PDF
Submission Info
Date:
Apr 14, 2026
Topic:
Quantum Computing
Area:
Quantum Physics
Comments:
0
Bookmark