We calculate the trade-off between the quality of estimating the quantum state of an ensemble of identically prepared qubits and the minimum level of disturbance that has to be introduced by this procedure in quantum mechanics. The trade-off is quantified using two mean fidelities: the operation fidelity which characterizes the average resemblance of the final qubit state to the initial one, and the estimation fidelity describing the quality of the obtained estimate. We analyze properties of quantum operations saturating the achievability bound for the operation fidelity versus the estimation fidelity, which allows us to reduce substantially the complexity of the problem of finding the trade-off curve. The reduced optimization problem has the form of an eigenvalue problem for a set of tridiagonal matrices, and it can be easily solved using standard numerical tools.
We present one-shot compression protocols that optimally encode ensembles of $N$ identically prepared mixed states into $O(\log N)$ qubits. In contrast to the case of pure-state ensembles, we find that the number of encoding qubits drops down discontinuously as soon as a nonzero error is tolerated and the spectrum of the states is known with sufficient precision. For qubit ensembles, this feature leads to a 25% saving of memory space. Our compression protocols can be implemented efficiently on a quantum computer.
Efficient quantum compression for identically prepared states with arbitrary dimensio
School of Mathematics Science, Zhejiang University（浙江数学学院）；School of Mathematics and Statistics, Central South University（中南大学数学与统计学院）；Institute of Computational Mathematics and Information Technologies, Kazan Federal University（喀山联邦大学计算数学与信息技术研究所）
We establish the ultimate limits to the compression of sequences of identically prepared qubits. The limits are determined by Holevo's information quantity and are attained through use of the optimal universal cloning machine, which finds here a novel application to quantum Shannon theory.
Knowing and guessing, these are two essential epistemological pillars in the theory of quantum-mechanical measurement. As formulated quantum mechanics is a statistical theory. In general, a priori unknown states can be completely determined only when measurements on infinite ensembles of identically prepared quantum systems are performed. But how one can estimate (guess) quantum state when just incomplete data are available (known)? What is the most reliable estimation based on a given measured data? What is the optimal measurement providing only a finite number of identically prepared quantum…
We present a universal algorithm for the optimal quantum state estimation of an arbitrary finite dimensional system. The algorithm specifies a physically realizable positive operator valued measurement (POVM) on a finite number of identically prepared systems. We illustrate the general formalism by applying it to different scenarios of the state estimation of N independent and identically prepared two-level systems (qubits).
We report on the experimental implementation of a polarimeter based on a scheme known to be optimal for obtaining the polarization vector of ensembles of spin-1/2 quantum systems, and the alignment procedure for this polarimeter is discussed. We also show how to use this polarimeter to estimate the polarization state for identically prepared ensembles of single photons and photon pairs and extend the method to obtain the density matrix for generic multi-photon states. State reconstruction and performance of the polarimeter is illustrated by actual measurements on identically prepared ensembles…
We propose a scheme for an exact efficient transformation of a tensor product state of many identically prepared qubits into a state of a logarithmically small number of qubits. Using a quadratic number of elementary quantum gates we transform N identically prepared qubits into a state, which is nontrivial only on the first log(N+1) qubits. This procedure might be useful for quantum memories, as only a small portion of the original qubits has to be stored. Another possible application is in communicating a direction encoded in a set of quantum states, as the compressed state provides a high-ef…
Given a composite quantum system in which the states of the subsystems are independently (but not necessarily identically) prepared, we construct separate measurements on the subsystems from any given joint measurement such that the former always give at least as large information as the latter. This construction offers new insights into the understanding of measurements on this type of composite systems. Moreover, this construction essentially proves the intuition that separate measurements on the subsystems are sufficient to extract the maximal information about the separately prepared subsy…
Theoretical considerations of Bell-inequality experiments usually assume identically prepared and independent pairs of particles. Here we consider pairs that exhibit both intra- and inter-pair entanglement. The pairs are taken from a large many-body system where all the pairs are generally entangled with each other. Using an explicit example based on single mode entanglement and an ancillary Bose-Einstein condensate, we show that the Bell-inequality violation in such systems can display statistical properties that are remarkably different from those obtained using identically prepared, indepen…
Collective measurements on identically prepared quantum systems can extract more information than local measurements, thereby enhancing information-processing efficiency. Although this nonclassical phenomenon has been known for two decades, it has remained a challenging task to demonstrate the advantage of collective measurements in experiments. Here we introduce a general recipe for performing deterministic collective measurements on two identically prepared qubits based on quantum walks. Using photonic quantum walks, we realize experimentally an optimized collective measurement with fidelity…
With an easily applicable criterion based on permutation symmetries of (identically prepared) replicas of quantum states we identify distinct entanglement classes in high-dimensional multi- partite systems. The different symmetry properties of inequivalent states provide a rather intuitive picture of the otherwise very abstract classification of many-body entangled states.
In this article we study lossless compression of strings of pure quantum states of indeterminate-length quantum codes which were introduced by Schumacher and Westmoreland. Past work has assumed that the strings of quantum data are prepared to be encoded in an independent and identically distributed way. We introduce the notion of quantum stochastic ensembles, allowing us to consider strings of quantum states prepared in a more general way. For any identically distributed quantum stochastic ensemble we define an associated quantum Markov chain and prove that the optimal average codeword length …
The dynamics of an ensemble of identically prepared two-qubit systems is investigated which is subjected to the iteratively applied measurements and conditional selection of a typical entanglement purification protocol. It is shown that the resulting measurement-induced non-linear dynamics of the two-qubit state exhibits strong sensitivity to initial conditions and also true chaos. For a special class of initially prepared two-qubit states two types of islands characterize the asymptotic limit. They correspond to a separable and a maximally entangled two-qubit state, respectively, and their bo…
We derive analytical formula for the optimal trade-off between the mean estimation fidelity and the mean fidelity of the qubit state after a partial measurement on N identically prepared qubits. We also conjecture analytical expression for the optimal fidelity trade-off in case of a partial measurement on N identical copies of a d-level system.
Quantum state tomography is a fundamental tool in quantum information processing. It allows us to estimate the state of a quantum system by measuring different observables on many identically prepared copies of the system. This is, in general, a very time-consuming task that requires a large number of measurements. There are, however, systems in which the data acquisition can be done more efficiently. In fact, an ensemble of quantum systems can be prepared and manipulated by external fields while being continuously and collectively probed, producing enough information to estimate its state. Th…
In quantum mechanics, useful experiments require multiple measurements performed on the identically prepared physical objects composing experimental ensembles. Experimental systems also suffer from environmental interference, and one should not assume that all objects in the experimental ensemble suffer interference identically from a single, uncontrolled environment. Here we present a framework for treating multiple quantum environments and fluctuations affecting only subsets of the experimental ensemble. We also discuss a kinematic effect of indistinguishability not applicable to closed syst…
Positive operator valued measurements on a finite number of N identically prepared systems of arbitrary spin J are discussed. Pure states are characterized in terms of Bloch-like vectors restricted by a SU(2 J+1) covariant constraint. This representation allows for a simple description of the equations to be fulfilled by optimal measurements. We explicitly find the minimal POVM for the N=2 case, a rigorous bound for N=3 and set up the analysis for arbitrary N.
The optimal estimation of a quantum mechanical 2-state system (qubit) - with N identically prepared qubits available - is obtained by measuring all qubits simultaneously in an entangled basis. We report the experimental estimation of qubits using a succession of N measurements on individual qubits where the measurement basis is changed during the estimation procedure conditioned on the outcome of previous measurements (self-learning estimation). The performance of this adaptive algorithm is compared with other algorithms using measurements in a factorizing basis.
We extend our previous results on local asymptotic normality (LAN) for qubits, to quantum systems of arbitrary finite dimension $d$. LAN means that the quantum statistical model consisting of $n$ identically prepared $d$-dimensional systems with joint state $ρ^{\otimes n}$ converges as $n\to\infty$ to a statistical model consisting of classical and quantum Gaussian variables with fixed and known covariance matrix, and unknown means related to the parameters of the density matrix $ρ$. Remarkably, the limit model splits into a product of a classical Gaussian with mean equal to the diagonal param…
For a given ensemble of $N$ independent and identically prepared particles, we calculate the binary decision costs of different strategies for measurement of polarised spin 1/2 particles. The result proves that, for any given values of the prior probabilities and any number of constituent particles, the cost for a combined measurement is always less than or equal to that for any combination of separate measurements upon sub-ensembles. The Bayes cost, which is that associated with the optimal strategy (i.e., a combined measurement) is obtained in a simple closed form.
A general quantum measurement on an unknown quantum state enables us to estimate what the state originally was. Simultaneously, the measurement has a destructive effect on a measured quantum state which is reflected by the decrease of the output fidelity. We show for any $d$-level system that quantum non-demolition (QND) measurement controlled by a suitably prepared ancilla is a measurement in which the decrease of the output fidelity is minimal. The ratio between the estimation fidelity and the output fidelity can be continuously controlled by the preparation of the ancilla. Different measure…
We derive an optimal bound on the sum of entropic uncertainties of two or more observables when they are sequentially measured on the same ensemble of systems. This optimal bound is shown to be greater than or equal to the bounds derived in the literature on the entropic uncertainties of two observables which are measured on distinct but identically prepared ensembles of systems. In the case of a two-dimensional Hilbert Space, the optimal bound for successive measurements of two spin components, is seen to be strictly greater than the optimal bound for the case when they are measured on distin…
We address the problem of estimating pure qubit states with non-ideal (noisy) measurements in the multiple-copy scenario, where the data consists of a number N of identically prepared qubits. We show that the average fidelity of the estimates can increase significantly if the estimation protocol allows for inconclusive answers, or abstentions. We present the optimal such protocol and compute its fidelity for a given probability of abstention. The improvement over standard estimation, without abstention, can be viewed as an effective noise reduction. These and other results are exemplified for …
Optimal and finite positive operator valued measurements on a finite number $N$ of identically prepared systems have been presented recently. With physical realization in mind we propose here optimal and minimal generalized quantum measurements for two-level systems. We explicitly construct them up to N=7 and verify that they are minimal up to N=5. We finally propose an expression which gives the size of the minimal optimal measurements for arbitrary $N$.
We propose an approach to reconstruct any superconducting charge qubit state by using quantum state tomography. This procedure requires a series of measurements on a large enough number of identically prepared copies of the quantum system. The experimental feasibility of this procedure is explained and the time scales for different quantum operations are estimated according to experimentally accessible parameters. Based on the state tomography, we also investigate the possibility of the process tomography.
The effects of the measurement apparatus on quantum coherence are studied by considering a purely dephasing model of a qubit. The initial state is prepared from a thermal state of the whole system by performing a nonselective measurement on the qubit. The magnitude of the initial postmeasurement coherence is bounded by the value $1/2$, which is realized with special measurement schemes and in the low-temperature limit. The magnitude of coherence identically vanishes, increases or decreases with approximately constant velocity over a determined short time scale, according to the choice of the p…
The determination of the density matrix of an ensemble of identically prepared quantum systems by performing a series of measurements, known as quantum tomography, is minimal when the number of outcomes is minimal. The most accurate minimal quantum tomography of qubits, sometimes called a tetrahedron measurement, corresponds to projections over four states which can be represented on the Bloch sphere as the vertices of a regular tetrahedron. We investigate whether it is possible to implement the tetrahedron measurement of double slit qubits of light, using measurements performed on a single pl…
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 given temperature; (ii) independent identically prepared qubits with 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' a…
We design a universal quantum homogenizer, which is a quantum machine that takes as an input a system qubit initially in the state $ρ$ and a set of N reservoir qubits initially prepared in the same state $ξ$. In the homogenizer the system qubit sequentially interacts with the reservoir qubits via the partial swap transformation. The homogenizer realizes, in the limit sense, the transformation such that at the output each qubit is in an arbitratily small neighbourhood of the state $ξ$ irrespective of the initial states of the system and the reservoir qubits. This means that the system qubit und…
Realistic physical implementations of quantum computers can entail tradeoffs which depart from the ideal model of quantum computation. Although these tradeoffs have allowed successful demonstration of certain quantum algorithms, a crucial question is whether they fundamentally limit the computational capacity of such machines. We study the limitations of a quantum computation model in which only ensemble averages of measurement observables are accessible. Furthermore, we stipulate that input qubits may only be prepared in highly random, ``hot'' mixed states. In general, these limitations are b…
We consider n identically prepared qubits and study the asymptotic properties of the joint state ρ^{\otimes n}. We show that for all individual states ρsituated in a local neighborhood of size 1/\sqrt{n} of a fixed state ρ^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 exist 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 fe…
We investigate the problem of optimally reversing the action of an arbitrary quantum channel C which acts independently on each component of an ensemble of n identically prepared d-dimensional quantum systems. In the limit of large ensembles, we construct the optimal reversing channel R* which has to be applied at the output ensemble state, to retrieve a smaller ensemble of m systems prepared in the input state, with the highest possible rate m/n. The solution is found by mapping the problem into the optimal reversal of Gaussian channels on quantum-classical continuous variable systems, which …
We study macroscopic observables defined as the total value of a physical quantity over a collection of quantum systems. We show that previous results obtained for infinite ensemble of identically prepared systems lead to incorrect conclusions for finite ensembles. In particular, exact measurement of a macroscopic observable significantly disturbs the state of any finite ensemble. However, we show how this disturbance can be made arbitrarily small when the measurement are of finite accuracy. We demonstrate a tradeoff between state disturbance and measurement coarseness as a function of the siz…
It is not a problem to complement a classical bit, i.e. to change the value of a bit, a 0 to a 1 and vice versa. This is accomplished by a NOT gate. Complementing a qubit in an unknown state, however, is another matter. We show that this operation cannot be done perfectly. We define the Universal-NOT (U-NOT) gate which out of N identically prepared pure input qubits generates M output qubits in a state which is as close as possible to the perfect complement. This gate can be realized by classical estimation and subsequent re-preparation of complements of the estimated state. Its fidelity is th…
We consider the problem of determining the mixed quantum state of a large but finite number of identically prepared quantum systems from data obtained in a sequence of ideal (von Neumann) measurements, each performed on an individual copy of the system. In contrast to previous approaches, we do not average over the possible unknown states but work out a ``typical'' probability distribution on the set of states, as implied by the experimental data. As a consequence, any measure of knowledge about the unknown state and thus any notion of ``best strategy'' (i.e. the choice of observables to be me…
We study the compression of n quantum systems, each prepared in the same state belonging to a given parametric family of quantum states. For a family of states with f independent parameters, we devise an asymptotically faithful protocol that requires a hybrid memory of size (f/2)log(n), including both quantum and classical bits. Our construction uses a quantum version of local asymptotic normality and, as an intermediate step, solves the problem of compressing displaced thermal states of n identically prepared modes. In both cases, we show that (f/2)log(n) is the minimum amount of memory neede…
Power storage devices are shown to increase their efficiency if they are designed by using quantum systems. We show that the average power output of a quantum battery based on a quantum interacting spin model, charged via a local magnetic field, can be enhanced with the increase of spin quantum number. In particular, we demonstrate such increment in the power output when the initial state of the battery is prepared as the ground or canonical equilibrium state of the spin-j XY model and the bilinear-biquadratic spin-j Heisenberg chain (BBH) in presence of the transverse magnetic field. Interest…
The trade-off between the information gain and the state disturbance is derived for quantum operations on a single qubit prepared in a uniformly distributed pure state. The derivation is valid for a class of measures quantifying the state disturbance and the information gain which satisfy certain invariance conditions. This class includes in particular the Shannon entropy versus the operation fidelity. The central role in the derivation is played by efficient quantum operations, which leave the system in a pure output state for any measurement outcome. It is pointed out that the optimality of …
This review, of the understanding of quantum mechanics, is broad in scope, and aims to reflect enough of the literature to be representative of the current state of the subject. To enhance clarity, the main findings are presented in the form of a coherent synthesis of the reviewed sources. The review highlights core characteristics of quantum mechanics. One is statistical balance in the collective response of an ensemble of identically prepared systems, to differing measurement types. Another is that states are mathematical terms prescribing probability aspects of future events, relating to an…
We introduce probability estimation, a broadly applicable framework to certify randomness in a finite sequence of measurement results without assuming that these results are independent and identically distributed. Probability estimation can take advantage of verifiable physical constraints, and the certification is with respect to classical side information. Examples include randomness from single-photon measurements and device-independent randomness from Bell tests. Advantages of probability estimation include adaptability to changing experimental conditions, unproblematic early stopping whe…
Quantum estimation involving multiple parameters remains an important problem of both theoretical and practical interest. In this work, we study the problem of simultaneous estimation of two parameters that are respectively associate with the length and direction of the Bloch vector for identically prepared qubit states that is confined to a plane, where in order to obtain the optimal estimation precision for both parameters, collective measurements on multiple qubits are necessary. Upon treating $N$ qubits as an ensemble of spin-1/2 systems, we show that simultaneous optimal estimation for bo…
Quantum state reconstruction based on weak continuous measurement has the advantage of being fast, accurate, and almost non-perturbative. In this work we present a pedagogical review of the protocol proposed by Silberfarb et al., PRL 95 030402 (2005), whereby an ensemble of identically prepared systems is collectively probed and controlled in a time-dependent manner so as to create an informationally complete continuous measurement record. The measurement history is then inverted to determine the state at the initial time through a maximum-likelihood estimate. The general formalism is applied …
This dissertation studies the statistics and modeling of a quantum system probed by a coherent laser field. We focus on an ensemble of qubits dispersively coupled to a traveling wave light field. The first research topic explores the quantum measurement statistics of a quasi-monochromatic laser probe. We identify the shortest timescale that successive measurements approximately commute. Our model predicts that for a probe in the near infrared, noncommuting measurement effects are apparent for subpicosecond times. The second dissertation topic attempts to find an approximation to a conditional …
This thesis addresses the problem of developing a quantum counter-part of the well established classical theory of control. We dwell on the fundamental fact that quantum states are generally not perfectly distinguishable, and quantum measurements typically introduce noise in the system being measured. Because of these, it is generally not clear whether the central concept of the classical control theory -- that of observing the system and then applying feedback -- is always useful in the quantum setting. We center our investigations around the problem of transforming the state of a quantum sys…
Robust quantum computation with d-level quantum systems (qudits) poses two requirements: fast, parallel quantum gates and high fidelity two-qudit gates. We first describe how to implement parallel single qudit operations. It is by now well known that any single-qudit unitary can be decomposed into a sequence of Givens rotations on two-dimensional subspaces of the qudit state space. Using a coupling graph to represent physically allowed couplings between pairs of qudit states, we then show that the logical depth of the parallel gate sequence is equal to the height of an associated tree. The imp…
Measurements in quantum mechanics cannot perfectly distinguish all states and necessarily disturb the measured system. We present and analyse a proposal to demonstrate fundamental limits on quantum control of a single qubit arising from these properties of quantum measurements. We consider a qubit prepared in one of two non-orthogonal states and subsequently subjected to dephasing noise. The task is to use measurement and feedback control to attempt to correct the state of the qubit. We demonstrate that projective measurements are not optimal for this task, and that there exists a non-projecti…
This PHD thesis is concerned with uncertainty relations in quantum probability theory, state estimation in quantum stochastics, and natural bundles in differential geometry. After some comments on the nature and necessity of decoherence in open systems and its absence in closed ones, we prove sharp, state-independent inequalities reflecting the Heisenberg principle, the necessity of decoherence and the impossibility of perfect joint measurement. These bounds are used to judge how far a particular measurement is removed from the optimal one. We do this for a qubit interacting with the quantized…
