Certifying optimality of Bell inequality violations: noncommutative polynomial optimization through semidefinite programming and local optimization

Hrga, Timotej (avtor), Klep, Igor (avtor), Povh, Janez (avtor)

Bell inequalities are pillars of quantum physics in that their violations imply that certain properties of quantum physics (e.g., entanglement) cannot be represented by any classical picture of physics. In this article Bell inequalities and their violations are considered through the lens of noncommutative polynomial optimization. Optimality of these violations is certified for a large majority of a set of standard Bell inequalities, denoted A2-A89 in the literature. The main techniques used in the paper include the NPA hierarchy, i.e., the noncommutative version of the Lasserre semidefinite programming (SDP) hierarchies based on the Helton-McCullough Positivstellensatz,the Gelfand-Naimark-Segal (GNS) construction with a novel use of the Artin-Wedderburn theory for rounding and projecting, and nonlinear programming (NLP). A new "Newton chip"-like technique for reducing sizes of SDPs arising in the constructed polynomial optimization problems is presented.This technique is based on conditional expectations. Finally, noncommutative Gröbner bases are exploited to certify when an optimizer (a solution yielding optimum violation) cannot be extracted from a dual SDP solution.

• Jezik: Angleški jezik
• Ključne besede: noncommutative polynomial, Bell inequality, violation, Gröbner basis, semidefinite programming, eigenvalue optimization, GNS construction, Artin-Wedderburn theory
• Vrsta gradiva: Članek v reviji
• Tipologija: 1.01 - Izvirni znanstveni članek
• Organizacija: FS - Fakulteta za strojništvo ; FMF - Fakulteta za matematiko in fiziko
• Status publikacije: Objavljeno
• Različica publikacije: Recenzirani rokopis
• Leto izida: 2024
• Št. strani: Str. 1341-1373
• Številčenje: Vol. 34, iss. 2
• PID: 20.500.12556/RUL-175239
• UDK: 519.8
• ISSN pri članku: 1052-6234
• DOI: 10.1137/22M1473340
• COBISS.SI-ID: 197627907
• Datum objave v RUL: 22.10.2025

Gradivo je del revije

• Naslov: SIAM journal on optimization
• Skrajšan naslov: SIAM j. optim.
• Založnik: SIAM
• ISSN: 1052-6234
• COBISS.SI-ID: 12144985

Licence

• Licenca: CC BY 4.0, Creative Commons Priznanje avtorstva 4.0 Mednarodna
• Povezava: http://creativecommons.org/licenses/by/4.0/deed.sl
• Opis: To je standardna licenca Creative Commons, ki daje uporabnikom največ možnosti za nadaljnjo uporabo dela, pri čemer morajo navesti avtorja.