6 papers
Good Quantum Locally Testable Codes from Lossless Cubical Complexes
Itay Cohen, Itai Leigh, Assaf Reiner +2
Sipser and Spielman constructed LDPC codes from either bipartite \emph{spectral} expanders or one-sided \emph{lossless} expanders. In higher dimensions, \emph{spectral} expansion s…
PureSuperQMA(exp) = BellPureSymQMA(poly) = QMA via Dimension-Free Bosonic Argmax
William Gay, Fernando Granha Jeronimo, Lenny Liu +3
Pure-state consistency problems naturally lead to quantum proof systems in which a single pure witness must satisfy many acceptance constraints. The corresponding class $\mathsf{Pu…
On quantum functionals for higher-order tensors
Alonso Botero, Matthias Christandl, Thomas C. Fraser +2
Upper and lower quantum functionals, introduced by Christandl, Vrana and Zuiddam (STOC 2018, J. Amer. Math. Soc. 2023), are families of monotone functions of tensors indexed by a w…
Quantum Merlin-Arthur with an internally separable proof
Roozbeh Bassirian, Bill Fefferman, Itai Leigh +2
We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP NEXP. This gives a new route to prove…
Discreteness of asymptotic tensor ranks
Jop Briët, Matthias Christandl, Itai Leigh +2
Tensor parameters that are amortized or regularized over large tensor powers, often called "asymptotic" tensor parameters, play a central role in several areas including algebraic…
Sampling and Certifying Symmetric Functions
Yuval Filmus, Itai Leigh, Artur Riazanov +1
A circuit samples a distribution with an error if the statistical distance between the output of on the uniform input and …