arXiv subjects

Jack Spilecki

Publications and source records attributed to Jack Spilecki.

6 recordsLinked to original sources

arXiv2026

Optimal cloning of mixed states

We consider the problem of approximate cloning of quantum states: given $n$ copies of an unknown state $\rho \in \mathbb{C}^{d \times d}$, prepare an $(n+k)$-copy state with high fidelity to $\rho^{\otimes (n+k)}$. Werner's pure state cloner is the optimal channel for the pure state case, and shows that $n = \Theta(kd/\varepsilon)$ copies are necessary and sufficient to clone $k$ additional copies of an unknown pure state to fidelity $1-\varepsilon$. The random purification channel gives a straightforward extension of Werner's cloner to mixed state inputs: given $n$ copies of a mixed state, randomly purify your input, apply Werner's channel in the larger Hilbert space, and then trace out the auxiliary registers. This gives a mixed state cloner using $n = O(krd/\varepsilon)$ copies to clone rank-$r$ states. Can one do any better? We show that the answer is no: one must use $n = \Omega(krd/\varepsilon)$ copies. We prove our lower bound by studying the special case of projector cloning, in which the input state $\rho$ is promised to be of the form $P/r$, where $P$ is a rank-$r$ orthogonal projector. As a further application of our techniques, we consider the closely related problem of approximate transposition of quantum states, where one seeks to convert $\rho^{\otimes n}$ to a $k$-copy state with high fidelity to $(\rho^T)^{\otimes k}$. Here, we again show $n = \Theta(krd/\varepsilon)$ copies are necessary and sufficient for this task.

quant-ph↗

arXiv2026

The Keyl-Werner algorithm is not optimal for spectrum estimation

We give an algorithm which, given $n = O(d^2 \cdot (\log\log(d)/\log(d))^2)$ copies of $\rho$, estimates the eigenvalues of $\rho$ to constant error in total variation distance. Thus, we can learn the eigenvalues of a quantum state with fewer copies than the $\Theta(d^2)$ needed to run full state tomography. This is the first improvement to spectrum estimation over the influential Keyl-Werner algorithm, which uses $n = \Theta(d^2)$ copies, thereby resolving a question raised by Keyl and Werner in 2001 and refuting a 2016 conjecture of Wright. Our main technical tool is a new tomography guarantee, where the error of tomography in a particular direction $|w\rangle$ scales with $\langle w | \rho |w\rangle$ for all directions simultaneously. From this stronger "relative-error" bound, we recover better algorithms for principal component analysis in Bures distance and tomography in $\chi^2$-divergence as corollaries.

quant-ph↗

arXiv2026

Nonasymptotic bounds for quantum purity amplification

In quantum purity amplification, one is given $n$ copies of a noisy quantum state $\rho \in \mathbb{C}^{d \times d}$ and asked to prepare $k$ copies of its principal eigenstate $|v_d\rangle$. Several prior works have derived information-theoretically optimal algorithms for this problem, but the bounds they prove are only shown in the asymptotic regime as the number of samples $n$ tends to infinity. In this paper, we establish the following nonasymptotic guarantee: if $\rho$'s eigenvalues are sorted $p_1 \leq \cdots \leq p_d$ and $p_{d-1} < p_d$, then \begin{equation*} n = O\Big(k + \frac{k}{\delta} \cdot \frac{1-p_d}{(p_d-p_{d-1})^2}\Big) \end{equation*} copies suffice to output a state with fidelity at least $1-\delta$ with $|v_d^{\otimes k}\rangle$. Our bound holds for arbitrary spectra, and is independent of the dimension $d$. In the case of depolarizing noise, our finite-sample guarantee matches the optimal asymptotic scaling. Our proof is based on the combinatorics of random Young diagrams.

quant-ph↗

arXiv2025

Mixed state tomography reduces to pure state tomography

A longstanding belief in quantum tomography is that estimating a mixed state is far harder than estimating a pure state. This is borne out in the mathematics, where mixed state algorithms have always required more sophisticated techniques to design and analyze than pure state algorithms. We present a new approach to tomography demonstrating that, contrary to this belief, state-of-the-art mixed state tomography follows easily and naturally from pure state algorithms. We analyze the following strategy: given $n$ copies of an unknown state $\rho$, convert them into copies of a purification $|\rho\rangle$; run a pure state tomography algorithm to produce an estimate of $|\rho\rangle$; and output the resulting estimate of $\rho$. The purification subroutine was recently discovered via the "acorn trick" of Tang, Wright, and Zhandry. With this strategy, we obtain the first tomography algorithm which is sample-optimal in all parameters. For a rank-$r$ $d$-dimensional state, it uses $n = O((rd + \log(1/\delta))/\varepsilon)$ samples to output an estimate which is $\varepsilon$-close in fidelity with probability at least $1-\delta$. This algorithm also uses poly$(n)$ gates, making it the first gate-efficient tomography algorithm which is sample-optimal even in terms of the dimension $d$ alone. Moreover, with this method we recover essentially all results on mixed state tomography, including its applications to tomography with limited entanglement, classical shadows, and quantum metrology. Our proofs are simple, closing the gap in conceptual difficulty between mixed and pure tomography. Our results also clarify the role of entangled measurement in mixed state tomography: the only step of the algorithm which requires entanglement across copies is the purification step, suggesting that, for tomography, the reason entanglement is useful is for consistent purification.

quant-ph↗

arXiv2025

Optimal lower bounds for quantum state tomography

We show that $n = \Omega(rd/\varepsilon^2)$ copies are necessary to learn a rank $r$ mixed state $\rho \in \mathbb{C}^{d \times d}$ up to error $\varepsilon$ in trace distance. This matches the upper bound of $n = O(rd/\varepsilon^2)$ from prior work, and therefore settles the sample complexity of mixed state tomography. We prove this lower bound by studying a special case of full state tomography that we refer to as projector tomography, in which $\rho$ is promised to be of the form $\rho = P/r$, where $P \in \mathbb{C}^{d \times d}$ is a rank $r$ projector. A key technical ingredient in our proof, which may be of independent interest, is a reduction which converts any algorithm for projector tomography which learns to error $\varepsilon$ in trace distance to an algorithm which learns to error $O(\varepsilon)$ in the more stringent Bures distance.

quant-ph↗

arXiv2025

The debiased Keyl's algorithm: a new unbiased estimator for full state tomography

In the problem of quantum state tomography, one is given $n$ copies of an unknown rank-$r$ mixed state $\rho \in \mathbb{C}^{d \times d}$ and asked to produce an estimator of $\rho$. In this work, we present the debiased Keyl's algorithm, the first estimator for full state tomography which is both unbiased and sample-optimal. We derive an explicit formula for the second moment of our estimator, with which we show the following applications. (1) We give a new proof that $n = O(rd/\varepsilon^2)$ copies are sufficient to learn a rank-$r$ mixed state to trace distance error $\varepsilon$, which is optimal. (2) We further show that $n = O(rd/\varepsilon^2)$ copies are sufficient to learn to error $\varepsilon$ in the more challenging Bures distance, which is also optimal. (3) We consider full state tomography when one is only allowed to measure $k$ copies at once. We show that $n =O\left(\max \left(\frac{d^3}{\sqrt{k}\varepsilon^2}, \frac{d^2}{\varepsilon^2} \right) \right)$ copies suffice to learn in trace distance. This improves on the prior work of Chen et al. and matches their lower bound. (4) For shadow tomography, we show that $O(\log(m)/\varepsilon^2)$ copies are sufficient to learn $m$ given observables $O_1, \dots, O_m$ in the "high accuracy regime", when $\varepsilon = O(1/d)$, improving on a result of Chen et al. More generally, we show that if $\mathrm{tr}(O_i^2) \leq F$ for all $i$, then $n = O\Big(\log(m) \cdot \Big(\min\Big\{\frac{\sqrt{r F}}{\varepsilon}, \frac{F^{2/3}}{\varepsilon^{4/3}}\Big\} + \frac{1}{\varepsilon^2}\Big)\Big)$ copies suffice, improving on existing work. (5) For quantum metrology, we give a locally unbiased algorithm whose mean squared error matrix is upper bounded by twice the inverse of the quantum Fisher information matrix in the asymptotic limit of large $n$, which is optimal.

quant-ph↗