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
8 Pith papers cite this work. Polarity classification is still indexing.
8
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
A subclass of Goldilocks QCA including the experimentally implemented one are integrable by mapping to free fermions, with local conserved quantities computed for hardware testing.
Analytic method for GGE quasi-momentum distribution in degenerate free-fermion models plus a conjecture adjusting the quasi-particle entanglement formula, tested numerically with good agreement on local observables but small deviations on entanglement.
A perturbation of two Ising chains (or interpolation between Jordan-Wigner and Fendley FFD models) yields an FFD-solvable spin chain without exponential degeneracies for generic couplings.
Derives path-product expansion for free-fermion modes and local conserved charges in generalized free-fermion models from Krylov basis generating function.
The succinct state 2-local Hamiltonian problem for qubit Hamiltonians is promise-MA-complete.
A frustration graph formalism for prime-d qudit observables yields a unitary map to generalized Pauli form plus bounds on observable sums used for qudit entanglement quantification.
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.
-
Integrability of Goldilocks quantum cellular automata
A subclass of Goldilocks QCA including the experimentally implemented one are integrable by mapping to free fermions, with local conserved quantities computed for hardware testing.
-
Correlation and entanglement dynamics of free fermions in disguise
Analytic method for GGE quasi-momentum distribution in degenerate free-fermion models plus a conjecture adjusting the quasi-particle entanglement formula, tested numerically with good agreement on local observables but small deviations on entanglement.
-
Free fermions in disguise without exponential degeneracies
A perturbation of two Ising chains (or interpolation between Jordan-Wigner and Fendley FFD models) yields an FFD-solvable spin chain without exponential degeneracies for generic couplings.
-
Solving models with generalized free fermions II: Path-product expansion and conserved charges
Derives path-product expansion for free-fermion modes and local conserved charges in generalized free-fermion models from Krylov basis generating function.
-
On the Complexity of the Succinct State Local Hamiltonian Problem
The succinct state 2-local Hamiltonian problem for qubit Hamiltonians is promise-MA-complete.
-
Frustration graph formalism for qudit observables
A frustration graph formalism for prime-d qudit observables yields a unitary map to generalized Pauli form plus bounds on observable sums used for qudit entanglement quantification.
- Enabling Lie-Algebraic Classical Simulation beyond Free Fermions