arXiv subjects

Lenny Liu

Publications and source records attributed to Lenny Liu.

5 recordsLinked to original sources

arXiv2026

Dimension-Free Polylogarithmic Quantum Shadow Tomography from Sequential Pretty-Good Measurements

Shadow Tomography is a fundamental problem in quantum information theory. Given multiple copies of an unknown $d$-dimensional quantum state $ρ$ and a known collection of observables ${E_1,\ldots,E_M}$, the goal is to estimate all expectation values $\{\text{Tr}(ρE_i)\}_{i=1}^M$ to additive accuracy $\varepsilon$ with probability at least $1-δ$. An elusive open question from the seminal shadow tomography work of Aaronson is whether this task admits a dimension-independent sample complexity with only polylogarithmic dependence on $M$, as suggested by the best-known lower bounds. In this work, we propose two different quantum protocols for shadow tomography with the best sample complexity \[ O\left( \frac{\log(M)\log(M/δ)}{\varepsilon^2} \right), \] which is polylogarithmic in the number of observables and independent of the dimension of the unknown state, thereby answering Aaronson's original question while also providing an exponential improvement in the prior best dimension independent sample complexity of shadow tomography.

quant-ph↗

arXiv2026

PureSuperQMA(exp) = BellPureSymQMA(poly) = QMA via Dimension-Free Bosonic Argmax

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{PureSuperQMA}$ was previously known to lie between $\mathsf{QMA}$ and $\mathsf{QMA}(2)$, and Kamminga and Rudolph (ITCS'26) conjectured that both containments are strict. In this paper, we prove the following surprising complexity collapses $$ \mathsf{QMA} = \mathsf{PureSuperQMA} = \mathsf{PureSuperQMA}(\text{exp}) = \mathsf{BellPureSymQMA}(\text{poly}) $$ Here $\mathsf{PureSuperQMA}(\text{exp})$ allows exponentially many checks which are uniformly indexed and efficiently generated, while requiring an inverse-polynomial violation margin and an inverse-polynomial fraction of violated checks for the NO cases. $\mathsf{BellPureSymQMA}(\text{poly})$ is a related model that requires the prover to give the verifier polynomially many copies of a pure state, which the verifier measures separately with logarithmic output length for each local measurement, before processing the outcomes jointly. The main technical ingredient is a dimension-free stability bound for symmetric tensor states. Our simulations use polynomially many witness registers and combine a random-pair SWAP test with a permutation-invariant lift of the original verification procedure. The key step is to show that, on the symmetric subspace, the extremal verification value is close to that of some tensor-power witness with dimension-independent error. Applying this argument to the two verification models yields both simulations. As a consequence, exact $k$-local pure-state consistency is $\mathsf{QMA}$-complete for every fixed $k\ge2$, and so are the corresponding exact bosonic and fermionic pure $N$-representability problems.

quant-ph↗

arXiv2026

The Honeycomb Framework for Code Bounds

We introduce the honeycomb hierarchy, a representation-theoretic framework that gives new asymptotic upper bounds on $R_2(δ)$. Its first level is the two-row hyperoctahedral representation graph associated with type $S^{(n-k,k)}$. Retaining every two-row irreducible and every coordinate box-transfer channel, together with a moving-projection theorem, yields an explicit four-parameter exponent $κ_{\mathrm{HC}}$. The earlier whole-cube exponent $κ_H$ is a boundary restriction of this optimization, whereas the fully optimized second MRRW exponent $M_2$ is an exact symmetric slice. The prior best curve is the combined $κ_{\mathrm{bin}}=\min\{κ_{\mathrm{CW}},κ_H\}$, which uses a constant-weight branch $κ_{\mathrm{CW}}$. Replacing only the whole-cube branch by the honeycomb bound gives $κ_{\mathrm{best}}=\min\{κ_{\mathrm{CW}}, κ_{\mathrm{HC}}\}$. We prove, on $0<δ<1/2$, \[ R_2(δ)\le κ_{\mathrm{best}}(δ) \le κ_{\mathrm{bin}}(δ) \le R_{\mathrm{2MQC}}(δ)<M_2(δ),\\[-1mm] κ_{\mathrm{best}}(δ) \le \min\{κ_{\mathrm{CW}}(δ), κ_{\mathrm{bal}}(δ)\} <R_{\mathrm{2MQC}}(δ), \qquad κ_H(δ)=R_{\mathrm{MQC}}(δ). \] The hierarchy has two further directions. Increasing the representation depth replaces scalar by matrix-valued transfers on the hive. Increasing the anchor depth localizes it in a stable-set hierarchy. The resulting bounds are monotone in both directions and eventually recover $A_2(n,d)$. A complementary Horn--channel hierarchy gives matrix optimizations whose $2\times2$ level is $κ_{\mathrm{HC}}$ and whose $3\times3$ level is a stronger bound. Already at low levels, they can be used to improve the strongest previous general bounds, while the honeycomb framework provides a route towards tighter bounds.

cs.IT↗

arXiv2026

$(5+ε)$-Approximation of Fréchet Distance in Strongly Subquadratic Time

We give randomized $(5+ε)$-approximation algorithms for both the continuous and discrete Fréchet distances on arbitrary two polygonal curves $τ$ and $σ$ in $\mathbb R^d$ for fixed $d$, with $n$ and $m\le n$ vertices respectively. Our algorithm for continuous Fréchet runs in $\widetilde O_{d,ε}(n m^{8/9})$ time, and our algorithm for discrete Fréchet runs in $\widetilde O_{d,ε}(n m^{4/5})$ time. These bounds improve the recent strongly subquadratic constant-factor approximation algorithms of Cheng, Huang, and Zhang~\cite{cheng2025constant}, which give $(7+ε)$-approximations. The approximation improvement comes from certifying long boundary-to-boundary reachability directly through auxiliary surrogate curves, avoiding an extra conversion back to input subcurves and hence removing one triangle-inequality loss. The running-time improvement comes from a two-scale macro-surrogate search combined with dyadic auxiliary-transfer structures, with the discrete case gaining a faster bound from exact planar reachability in the discrete free-space graph.

cs.CG↗

arXiv2026

Optimal Proximity Gap for Folded Reed--Solomon Codes via Subspace Designs

A collection of sets satisfies a $(δ,\varepsilon)$-proximity gap with respect to some property if for every set in the collection, either (i) all members of the set are $δ$-close to the property in (relative) Hamming distance, or (ii) only a small $\varepsilon$-fraction of members are $δ$-close to the property. In a seminal work, Ben-Sasson \textit{et al.}\ showed that the collection of affine subspaces exhibits a $(δ,\varepsilon)$-proximity gap with respect to the property of being Reed--Solomon (RS) codewords with $δ$ up to the so-called Johnson bound for list decoding. Their technique relies on the Guruswami--Sudan list decoding algorithm for RS codes, which is guaranteed to work in the Johnson bound regime. Folded Reed--Solomon (FRS) codes are known to achieve the optimal list decoding radius $δ$, a regime known as capacity. Moreover, a rich line of list decoding algorithms was developed for FRS codes. It is then natural to ask if FRS codes can be shown to exhibit an analogous $(δ,\varepsilon)$-proximity gap, but up to the so-called optimal capacity regime. We answer this question in the affirmative (and the framework naturally applies more generally to suitable subspace-design codes). An additional motivation to understand proximity gaps for FRS codes is the recent results [BCDZ'25] showing that they exhibit properties similar to random linear codes, which were previously shown to be related to properties of RS codes with random evaluation points in [LMS'25], as well as codes over constant-size alphabet based on AEL [JS'25].

cs.IT↗