Publications

Preprints

(122)   Fejér–Riesz factorization for positive noncommutative trigonometric polynomials, latest revision 11 December 2025 (with , )

(121)   Quantitative semidefinite certificates for ground-state energies of Pauli Hamiltonians, latest revision 28 May 2026 (with , )

(120)   The bulk spectral gap is semi-decidable: a convergent family of certified upper bounds, latest revision 1 June 2026 (with , , , , , )

(119)   Duality, extreme points and hulls for noncommutative partial convexity, latest revision 17 December 2024 (with , Tea Štrekelj)

(118)   Robust self-testing with CHSH mod 3, latest revision 3 April 2026 (with , )

(117)   Operator-Valued Positivstellensätze on Matrix Convex Sets and Free Products of Finite Abelian Groups, latest revision 27 April 2026 (with , )

(116)   The Effective Lasserre's Perturbative Positivstellensatz, latest revision 13 March 2026 (with , )

(115)   Quantitative quantum soundness for all multipartite compiled nonlocal games, latest revision 29 September 2025 (with , , , , , )

(114)   Exploiting Term Sparsity in Symmetry-Adapted Basis for Polynomial Optimization, latest revision 21 November 2025 (with , and )

(113)   Inclusion constants for free spectrahedra with applications to quantum incompatibility, latest revision 20 December 2025 (with , , , )

(112)   Quantum Max d-Cut via qudit swap operators, latest revision 3 October 2025 (with , Tea Štrekelj)

(111)   Quantitative Quantum Soundness for Bipartite Compiled Bell Games via the Sequential NPA Hierarchy, latest revision 29 September 2025 (with , , , , , )

(110)   Quantitative Tsirelson's Theorems via Approximate Schur's Lemma and Probabilistic Stampfli's Theorems, latest revision 15 September 2025 (with , )

(109)   Classifying minimal vanishing sums of roots of unity, latest revision 21 July 2020 (with Louis Christie and ). Accompanying python code can be found here.

To appear

(108)   Karush-Kuhn-Tucker conditions for non-commutative optimization problems, Foundations of Computational Mathematics (with , , Andrew Garner, )