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, alongside 8 external citations. Polarity classification is still indexing.
8
Pith papers citing it
8
external citations · external index
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
For Fendley's free-fermions-in-disguise chain, post-quench GGE occupations and local energy-density expectations are derived analytically and match TEBD numerics; the quasi-particle entanglement-growth formula is only approximately correct.
Symmetry-adapted Pauli-orbit and modified Gell-Mann bases make polynomial-dimensional dynamical Lie algebras practically simulable beyond free fermions.
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.
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.
-
Correlation and entanglement dynamics of free fermions in disguise
For Fendley's free-fermions-in-disguise chain, post-quench GGE occupations and local energy-density expectations are derived analytically and match TEBD numerics; the quasi-particle entanglement-growth formula is only approximately correct.
-
Enabling Lie-Algebraic Classical Simulation beyond Free Fermions
Symmetry-adapted Pauli-orbit and modified Gell-Mann bases make polynomial-dimensional dynamical Lie algebras practically simulable beyond free fermions.
-
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.
-
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.