{"id":"arxiv/2609.09033","url":"https://arxiv.org/abs/2609.09033","tags":["quant-ph"],"score":0,"title":"Semidefinite extension complexity of the separable set, with applications to approximate disentanglers","domain":"quant-ph","source":"arxiv","authors":["Sevag Gharibian","Carsten Hecht","Dorian Rudolph"],"reviews":0,"subject":"quant-ph","summary":"We prove quantitative lower bounds on the semidefinite extension complexity of the set of separable quantum states on $\\mathbb{C}^d\\otimes\\mathbb{C}^d$. We consider semidefinite programs (SDPs) that approximate the maximum acceptance probability of a measurement over separable states, the optimization problem underlying QMA(2). In the extended-formulation model of Harrow, Natarajan, and Wu (HNW), all measurements share a common feasible region and an objective-independent embedding of product states that exactly reproduces their acceptance probabilities. For every $0 0$ such that, for…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-09-08","reactions":{}}