3 papers
quant-ph2026
FTCircuitBench: A Benchmark Suite for Fault-Tolerant Quantum Compilation and Architecture
Adrian Harkness, Shuwen Kan, Chenxu Liu +10
Realizing large-scale quantum advantage is expected to require quantum error correction (QEC), making the compilation and optimization of logical operations a critical area of rese…
math.OC2025
Linear Convergence and Error Bounds for Optimization Without Strong Convexity
Kira van Treek, Javier F. Peña, Juan C. Vera +1
Many optimization algorithms$\unicode{x2013}$including gradient descent, proximal methods, and operator splitting techniques$\unicode{x2013}$can be formulated as fixed-point iterat…
math.OC2024
Lagrangian Reformulation for Nonconvex Optimization: Tailoring Problems to Specialized Solvers
Rodolfo A. Quintero, Juan C. Vera, Luis F. Zuluaga
In recent years, there has been a surge of interest in studying different ways to reformulate nonconvex optimization problems, especially those that involve binary variables. This…