We consider $n$ identically prepared qubits and study the asymptotic properties of the joint state ${\ensuremath{\rho}}^{\ensuremath{\bigotimes}n}$. We show that for all individual states, $\ensuremath{\rho}$ situated in a local neighborhood of size $1∕\sqrt{n}$ of a fixed state ${\ensuremath{\rho}}^{\mathbf{0}}$, the joint state converges to a displaced thermal equilibrium state of a quantum harmonic oscillator. The precise meaning of the convergence is that there exists physical transformations ${T}_{n}$ (trace preserving quantum channels) which map the qubits states asymptotically close to their corresponding oscillator state, uniformly over all states in the local neighborhood. A few consequences of the main result are derived. We show that the optimal joint measurement in the Bayesian setup is also optimal within the point-wise approach. Moreover, this measurement converges to the heterodyne measurement which is the optimal joint measurement of position and momentum for the quantum oscillator. A problem of local state discrimination is solved using local asymptotic normality.
We consider n identically prepared qubits and study the asymptotic properties of the joint state \ensuremathρ\ensuremath⨂n. We show that for all individual states, \ensuremathρ situated in a local neighborhood of size 1∕n of a fixed state \ensuremathρ0, the joint state converges to a displaced thermal equilibrium state of a quantum harmonic oscillator. The precise meaning of the convergence is that there exists physical transformations Tn (trace preserving quantum channels) which map the qubits states asymptotically close to their corresponding oscillator state, uniformly over all states in the local neighborhood. A few consequences of the main result are derived. We show that the optimal joint measurement in the Bayesian setup is also optimal within the point-wise approach. Moreover, this measurement converges to the heterodyne measurement which is the optimal joint measurement of position and momentum for the quantum oscillator. A problem of local state discrimination is solved using local asymptotic normality.
We derive a bound on the precision of state estimation for finite dimensional quantum systems and prove its attainability in the generic case where the spectrum is non-degenerate. Our results hold under an assumption called local asymptotic covariance, which is weaker than unbiasedness or local unbiasedness. The derivation is based on an analysis of the limiting distribution of the estimator’s deviation from the true value of the parameter, and takes advantage of quantum local asymptotic normality, a useful asymptotic characterization of identically prepared states in terms of Gaussian states. We first prove our results for the mean square error of a special class of models, called D -invariant, and then extend the results to arbitrary models, generic cost functions, and global state estimation, where the unknown parameter is not restricted to a local neighbourhood of the true value. The extension includes a treatment of nuisance parameters, i.e. parameters that are not of interest to the experimenter but nevertheless affect the precision of the estimation. As an illustration of the general approach, we provide the optimal estimation strategies for the joint measurement of two qubit observables, for the estimation of qubit states in the presence of amplitude damping noise, and for noisy multiphase estimation.
A successful state-transfer (or teleportation) experiment must perform better than the benchmark set by the ``best'' measure and prepare procedure. We consider the benchmark problem for the following families of states: (i) displaced thermal equilibrium states of a given temperature; (ii) independent identically prepared qubits with a completely unknown state. For the first family we show that the optimal procedure is heterodyne measurement followed by the preparation of a coherent state. This procedure was known to be optimal for coherent states and for squeezed states with the ``overlap fidelity'' as the figure of merit. Here, we prove its optimality with respect to the trace norm distance and supremum risk. For the second problem we consider n independent and identically distributed (i.i.d.) spin-21 systems in an arbitrary unknown state $\ensuremath{\rho}$ and look for the measurement-preparation pair (Mn,Pn) for which the reconstructed state ${\ensuremath{\omega}}_{n}:={P}_{n}○{M}_{n}({\ensuremath{\rho}}^{\ensuremath{\bigotimes}n})$ is as close as possible to the input state (i.e., $\ensuremath{\Vert}{\ensuremath{\omega}}_{n}\ensuremath{-}{\ensuremath{\rho}}^{\ensuremath{\bigotimes}n}\ensuremath{\Vert}{}_{1}$ is small). The figure of merit is based on the trace norm distance between the input and output states. We show that asymptotically with n this problem is equivalent to the first one. The proof and construction of (Mn,Pn) uses the theory of local asymptotic normality developed for state estimation which shows that i.i.d. quantum models can be approximated in a strong sense by quantum Gaussian models. The measurement part is identical to ``optimal estimation,'' showing that ``benchmarking'' and estimation are closely related problems in the asymptotic set up.
This thesis is entitled Quantum Local Asymptotic Normality and other questions of Quantum Statistics ,. Quantum statistics are statistics on quantum objects. In classical statistics, we usually start from the data. Indeed, if we want to predict the weather, and can measure the wind or the temperature, we can measure both. On the other hand the laws of physics themselves forbid us to measure simultaneously the speed and the position of an electron. We therefore have to start with the observed object itself, and choose the best measurement for our purposes.\n\nMy main result is that, for all statistical purposes, numerous copies of the same spin (magnetic state of an electron) is equivalent to a Gaussian state of a quantum harmonic oscillator, typically laser light. We can extend this to higher dimensions. As an application, we get an (asymptotically) optimal estimation scheme for unknown spins. The idea is to transform the spins into laser light, and use the already known optimal estimation methods for laser light.\n\nThe thesis furthermore includes four smaller problems, notably how to estimate a unitary (natural) evolution very quickly, and how best to decide which is the state of a quantum object, among a finite number
Given an ensemble of mixed qubit states, it is possible to increase the purity of the constituent states using a procedure known as state purification. The reverse operation, which we refer to as dilution, produces a larger ensemble, while reducing the purity level of the systems. In this paper we find asymptotically optimal procedures for purification and dilution of an ensemble of independently and identically distributed mixed qubit states, for some given input and output purities and an asymptotic output rate. Our solution involves using the statistical tool of local asymptotic normality, which recasts the qubit problem in terms of attenuation and amplification of a single-mode displaced Gaussian state. Therefore, to obtain the qubit solutions, we must first solve the analogous problems in the Gaussian setup. We provide full solutions to all of the above for the (global) trace-norm figure of merit.
We address the problem of exact and approximate transformation of quantum dichotomies in the asymptotic regime, i.e., the existence of a quantum channel E mapping ρ1⊗n into ρ2⊗Rnn with an error ϵn (measured by trace distance) and σ1⊗n into σ2⊗Rnn exactly, for a large number n . We derive second-order asymptotic expressions for the optimal transformation rate Rn in the small-, moderate-, and large-deviation error regimes, as well as the zero-error regime, for an arbitrary pair (ρ1,σ1) of initial states and a commuting pair (ρ2,σ2) of final states. We also prove that for σ1 and σ2 given by thermal Gibbs states, the derived optimal transformation rates in the first three regimes can be attained by thermal operations. This allows us, for the first time, to study the second-order asymptotics of thermodynamic state interconversion with fully general initial states that may have coherence between different energy eigenspaces. Thus, we discuss the optimal performance of thermodynamic protocols with coherent inputs and describe three novel resonance phenomena allowing one to significantly reduce transformation errors induced by finite-size effects. What is more, our result on quantum dichotomies can also be used to obtain, up to second-order asymptotic terms, optimal conversion rates between pure bipartite entangled states under local operations and classical communication. Published by the American Physical Society 2024
We give collective tomography protocols for quantum states and channels with known symmetries, using random purification and dilation to reduce learning to pure-state estimation. For states commuting with a compact-group representation with multiplicities mλ, the optimal copy complexity is Θ((∑λmλ2+logη−1)/ε2) for sufficiently small trace-distance error ε and failure probability η for the nontrivial case ∑λmλ2>1. For G-covariant channels with finite-dimensional unitary representations of a compact group G, parallel O(DG/ε2) queries achieve a diamond-distance error $\varepsilon $ at fixed success probability 2/3, where DG counts the real parameters of covariant Choi operators before imposing trace preservation. For permutation-covariant channels on k qudits of fixed local dimension d, at sufficiently small fixed error and fixed success probability 2/3, we obtain the optimal query scalings Θd(kd4−1) for diamond distance and Θd(kd4−d2) for Choi trace distance. Furthermore, we resolve an open problem in quantum tomography of constructing efficient quantum circuits that approximate the Hayashi measurement for optimal pure-state estimation. We encode states in the symmetric subspace into bosonic occupation modes, realize the measurement by heterodyne detection and normalization, and approximate this procedure on qubits using the quantum Hermite transform. Combined with our symmetry-compatible purification and dilation circuits, this yields query-optimal and gate-efficient learners of permutation-covariant states and channels with gate complexity Od(poly(k,ε−1,logη−1)).