Cover Image

Certified bounds on optimization problems in quantum theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Naceur, Younes, Wang, Jie, Magron, Victor, Acín, Antonio
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Symbolic Computation Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
by: Magron, Victor, et al.
Published: (2020)

Certifying ground-state properties of quantum many-body systems
by: Wang, Jie, et al.
Published: (2023)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
by: Younes, Grace, et al.
Published: (2025)

Certificates for nonnegativity of multivariate integer polynomials under perturbations
by: Bender, Matías R, et al.
Published: (2025)

Probabilistic algorithm for computing all local minimizers of Morse functions on a compact domain
by: Din, Mohab Safey El, et al.
Published: (2025)

Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
by: Cory-Wright, Ryan, et al.
Published: (2023)

State polynomials: positivity, optimization and nonlinear Bell inequalities
by: Klep, Igor, et al.
Published: (2023)

An $O(n$)-Algorithm for the Higher-Order Kinematics and Inverse Dynamics of Serial Manipulators using Spatial Representation of Twists
by: Mueller, Andreas
Published: (2025)

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic
by: Li, Xiakun, et al.
Published: (2026)

Certifying solutions of degenerate semidefinite programs
by: Kolmogorov, Vladimir, et al.
Published: (2024)

Constraint-Generation Policy Optimization (CGPO): Nonlinear Programming for Policy Optimization in Mixed Discrete-Continuous MDPs
by: Gimelfarb, Michael, et al.
Published: (2024)

On Exact Reznick, Hilbert-Artin and Putinar's Representations
by: Magron, Victor, et al.
Published: (2018)

Local Hamiltonian decomposition and classical simulation of parametrized quantum circuits
by: Adhikari, Bibhas, et al.
Published: (2024)

Positivity of state, trace, and moment polynomials, and applications in quantum information
by: Huber, Felix, et al.
Published: (2024)

Quantitative semidefinite certificates for ground-state energies of Pauli Hamiltonians
by: Klep, Igor, et al.
Published: (2026)

Robust self-testing with CHSH mod 3
by: Klep, Igor, et al.
Published: (2026)

Scalable Ground-State Certification of Quantum Spin Systems via Structured Noncommutative Polynomial Optimization
by: Wang, Jie, et al.
Published: (2026)

Upper bound hierarchies for noncommutative polynomial optimization
by: Klep, Igor, et al.
Published: (2024)

A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
by: Wang, Jie, et al.
Published: (2023)

Quantum Hyperdimensional Computing: a foundational paradigm for quantum neuromorphic architectures
by: Cumbo, Fabio, et al.
Published: (2025)

SMLP: Symbolic Machine Learning Prover (User Manual)
by: Brauße, Franz, et al.
Published: (2024)

SMLP: Symbolic Machine Learning Prover
by: Brauße, Franz, et al.
Published: (2024)

Inclusion constants for free spectrahedra with applications to quantum incompatibility
by: Bluhm, Andreas, et al.
Published: (2025)

Convergence rates for polynomial optimization on set products
by: Magron, Victor
Published: (2025)

An introduction to variational quantum algorithms for combinatorial optimization problems
by: Grange, Camille, et al.
Published: (2022)

A meaningful optimal control problem in quantum and classical physics
by: Lazarus, Arnaud, et al.
Published: (2025)

Field theory with the Maxima computer algebra system
by: Toth, Viktor T.
Published: (2023)

A heuristic for solving the irregular strip packing problem with quantum optimization
by: Matt, Paul-Amaury, et al.
Published: (2024)

On semidefinite-representable sets over valued fields
by: Cornou, Corentin, et al.
Published: (2026)

Certifying Phase Abstraction
by: Froleyks, Nils, et al.
Published: (2024)

A quadratic Grassmann manifold optimization problem arising from quantum embedding methods
by: Ayral, Thomas, et al.
Published: (2026)

Qudit-based scalable quantum algorithm for solving the integer programming problem
by: Goswami, Kapil, et al.
Published: (2025)

First-order optimality conditions for non-commutative optimization problems
by: Araújo, Mateus, et al.
Published: (2023)

Slow convergence of the moment-SOS hierarchy for an elementary polynomial optimization problem
by: Henrion, Didier, et al.
Published: (2024)

YAQQ: Yet Another Quantum Quantizer -- Design Space Exploration of Quantum Gate Sets using Novelty Search
by: Sarkar, Aritra, et al.
Published: (2024)

SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
by: Feeney, Sean, et al.
Published: (2026)

Solving quadratic binary optimization problems using quantum SDP methods: Non-asymptotic running time analysis
by: Henze, Fabian, et al.
Published: (2025)

On the convergence of the variational quantum eigensolver and quantum optimal control
by: Wiedmann, Marco, et al.
Published: (2025)

Non-commutative optimization problems with differential constraints
by: Araújo, Mateus, et al.
Published: (2024)

Combining Neural Networks and Symbolic Regression for Analytical Lyapunov Function Discovery
by: Feng, Jie, et al.
Published: (2024)