{"id":"arxiv/2608.02590","url":"https://arxiv.org/abs/2608.02590","tags":["quant-ph","cs.CC"],"score":0,"title":"Optimal Quantum de Finetti Theorems via Argmax Rounding","domain":"quant-ph","source":"arxiv","authors":["Fernando Granha Jeronimo","Pei Wu","Haochen Xu"],"reviews":0,"subject":"quant-ph","summary":"We prove optimal finite quantum de Finetti upper bounds. Given a bosonic state $ρ_N\\in D(\\mathrm{Sym}^N(\\mathbb C^d))$, there is a probability measure $ν$ on the unit sphere such that \\[ \\left\\| ρ_N^{(2)}-\\int |u\\rangle\\langle u|^{\\otimes 2}\\,dν(u) \\right\\|_1 \\le \\frac{\\sqrt{d-1}}{N-1}. \\] By purification, the bosonic theorem also gives the optimal $O(d/N)$ upper bound for arbitrary exchangeable states. These results settle the dimension dependence left open by Christandl, König, Mitchison, and Renner (CMP 2007). The proof casts de Finetti approximation as sum-of-squares rounding and applies…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-03","reactions":{}}