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
-
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.