A Lean 4 machine-verified proof establishes that depth-p QAOA on the ring of disagrees attains approximation ratio (2p+1)/(2p+2) exactly.
Title resolution pending
5 Pith papers cite this work. Polarity classification is still indexing.
5
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
quant-ph 5roles
background 1polarities
background 1representative citing papers
Weak nonassociativity introduces a population-dependent coherent term into open-system master equations that suppresses steady-state entanglement by up to 59% in a two-qubit Ising model while leaving relaxation timescales unchanged.
The paper decomposes dynamical Lie algebras of XY-mixer topologies and demonstrates warm-starting QAOA via pre-training on restricted generators to improve convergence on constrained optimization problems.
Optimized nonadiabatic annealing schedules in a frustrated Ising ring achieve linear scaling of preparation time with system size despite an exponentially small gap.
Systematic numerical study of QAOA parameter transfer on heavy-hex Ising models with local cubic terms shows transferred angles from small instances yield improving expectation values up to 49 layers on instances up to 156 qubits, with hardware runs confirming gains up to p=10.
citing papers explorer
-
A Machine-Verified Proof of a Quantum-Optimization Conjecture
A Lean 4 machine-verified proof establishes that depth-p QAOA on the ring of disagrees attains approximation ratio (2p+1)/(2p+2) exactly.
-
Non-Associativity Induced Modifications of Open-System Quantum Dynamics: General Master Equation and a Two-Qubit Ising Case Study
Weak nonassociativity introduces a population-dependent coherent term into open-system master equations that suppresses steady-state entanglement by up to 59% in a two-qubit Ising model while leaving relaxation timescales unchanged.
-
The Lie Algebra of XY-mixer Topologies and Warm Starting QAOA for Constrained Optimization
The paper decomposes dynamical Lie algebras of XY-mixer topologies and demonstrates warm-starting QAOA via pre-training on restricted generators to improve convergence on constrained optimization problems.
-
Continuous-time quantum control across an exponentially small bottleneck in a frustrated Ising ring model
Optimized nonadiabatic annealing schedules in a frustrated Ising ring achieve linear scaling of preparation time with system size despite an exponentially small gap.
-
Evaluating the Limits of QAOA Parameter Transfer at High-Rounds on Sparse Ising Models With Geometrically Local Cubic Terms
Systematic numerical study of QAOA parameter transfer on heavy-hex Ising models with local cubic terms shows transferred angles from small instances yield improving expectation values up to 49 layers on instances up to 156 qubits, with hardware runs confirming gains up to p=10.