**Journal of Applied Mathematics and Physics**

Vol.06 No.06(2018), Article ID:85641,19 pages

10.4236/jamp.2018.66114

Optimal Estimate of Quantum States

Mario Mastriani ^{ }

Quantum Information Group, Merx Research, Aventura, FL, USA

Copyright © 2018 by author and Scientific Research Publishing Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

Received: May 24, 2018; Accepted: June 25, 2018; Published: June 28, 2018

ABSTRACT

An optimal estimator of quantum states based on a modified Kalman’s filter is proposed in this work. Such estimator acts after a state measurement, allowing us to obtain an optimal estimate of the quantum state resulting in the output of any quantum algorithm. This method is much more accurate than other types of quantum measurements, such as, weak measurement, strong measurement, and quantum state tomography, among others.

**Keywords:**

Kalman’s Filter, Quantum Algorithms, Quantum Measurement

1. Introduction

The problem of measurement in quantum mechanics [1] has been defined in various ways, originally by scientists, and more recently by philosophers of science who question the foundations of quantum mechanics. Measurements are described with diverse concepts in quantum physics such as:

• wave-functions (probability amplitudes) which according to the linear Schrödinger equation involve a unitary and deterministic operator, thus preserving information,

• superposition of states: linear combinations of wave-functions with complex coefficients that carry phase information and produce interference effects, known as the principle of superposition,

• quantum jumps between states accompanied by the “collapse” of the wave-function that according to Dirac’s projection postulate in a von Neumann’s Process can destroy or create information,

• collapses and jumps probabilities given by the square of the absolute value of the wave-function for a given state,

• values for possible measurements given by the eigenvalues associated with the eigenstates of the combined measuring apparatus and measured system, in other words, the axiom of measurement,

• the Heisenberg’s uncertainty principle.

The original problem stems from Niels Bohr’s “Copenhagen interpretation” of quantum mechanics since our measuring instruments, which are usually macroscopic objects and treatable with classical physics, can give us information about the microscopic world of atoms and subatomic particles like electrons and photons.

Bohr’s idea of “complementarity” insisted that a specific experiment could reveal only partial information―for example, the position of the particle. Whereas “exhaustive” information requires complementary experiments, for example when determining the momentum of the particle, responding to the limits of the Heisenberg’s uncertainty principle.

Some of us define the problem of measurement simply as the logical contradiction between two laws describing the motion of quantum systems: the first one talks about the unitary, continuous, and deterministic time evolution of the Schrödinger equation, whereas the second one involves their complete opposite counterpart, i.e., the non-unitary, discontinuous, and indeterministic collapse of the wave-function. John von Neumann saw a problem with two distinct (indeed, opposing) processes.

The mathematical formalism of quantum mechanics does not provide a way to predict when the wave-function stops evolving in a unitary fashion and collapses. Experimentally and practically, however, we can say that this occurs when the microscopic system interacts with a measuring apparatus.

Others define the measurement problem as the failure to observe macroscopic superpositions.

Decoherence theorists, e.g., H. Dieter Zeh and Wojciech Zurek, who use various non-standard interpretations of quantum mechanics that deny the projection postulate―quantum jumps―and even the existence of particles, define the measurement problem as the failure to observe superpositions such as Schrödinger’s cat. They also claim that unitary time evolution of the wave-function according to the Schrödinger wave-equation should produce such macroscopic superpositions.

Physics of Quantum Information treat a measuring apparatus in a quantum mechanically manner by describing its parts as in a metastable state like the excited states of an atom: the critically poised electrical potential energy in the discharge tube of a Geiger counter, or the supersaturated water and alcohol molecules of a Wilson cloud chamber. The pi-bond orbital rotation from cis- to trans- in the light-sensitive retinal molecule is an example of a critically poised apparatus.

Excited (metastable) states are poised to collapse when an electron (or photon) collides with the sensitive detector elements in the apparatus. This collapse is macroscopic and irreversible, generally a cascade of quantum events that release large amounts of energy, increasing the (Boltzmann) entropy. But in a “measurement” there is also a local decrease in the entropy (negative entropy or information). The increase in the global entropy is normally orders of magnitude more than the decrease in the small local entropy (an increase in stable information or Shannon entropy) that constitutes the “measured” experimental data available to human observers.

The creation of new information in a measurement follows the same two core processes of all information creation―quantum cooperative phenomena and thermodynamics. These two are involved in the formation of microscopic objects like atoms and molecules, as well as macroscopic objects like galaxies, stars, and planets.

According to the correspondence principle, all the laws of quantum physics asymptotically approach the laws of classical physics in the limit of large quantum numbers and large numbers of particles. Thus, Quantum Mechanics can be used to describe large macroscopic systems.

Does this mean that the positions and momenta of macroscopic objects are uncertain? Yes, it does. Although the uncertainty becomes vanishingly small for large objects, it is not zero. Niels Bohr used the uncertainty of macroscopic objects to defeat Albert Einstein’s several objections to quantum mechanics at the 1927 Solvay conferences.

But Bohr and Heisenberg also insisted that a measuring apparatus must be regarded as a purely classical system, since they cannot have it both ways: classical and quantum. So, can the macroscopic apparatus also be treated by quantum physics or not? Can it be described by the Schrödinger equation? And, can it be regarded as in a superposition of states?

The most famous examples of macroscopic superposition are perhaps Schrödinger’s cat, which is claimed to be in a superposition of being alive and dead at the same time for a cat in a box, and the Einstein-Podolsky-Rosen experiment, in which entangled electrons or photons are in a superposition of two-particle states that collapse over macroscopic distances to exhibit properties “non-locally” at a speed faster-than-light.

These treatments of macroscopic systems with quantum mechanics were intended to expose inconsistencies and incompleteness in quantum theory. The critics hoped to restore determinism and “local reality” to Physics. They resulted in some strange and extremely popular “mysteries” about “quantum reality”, such as the “many-worlds” interpretation, “hidden variables”, and signaling at a faster-than-light speed.

Physics developed a quantum-mechanical treatment of macroscopic systems, especially a measuring apparatus to show how it can create new information. If the apparatus were describable only by classical deterministic laws, no new information could come into existence. The apparatus needs to be adequately determined only, i.e., “classical” to a sufficient degree of accuracy.

Everything said so far indicates how sensitive is quantum computing to the correct measurement of the quantum states.

On the other hand, a new technology allows us to avoid the problem of quantum measurement [2] [3]. However, this technology lets us work exclusively with Computational Basis States (CBS), i.e., pure and orthogonal quantum base states.

In other words, none of the quantum measurement techniques currently in use: weak measurement, strong measurement, projective measurement and quantum state tomography allow a correct recovery of a generic quantum state resulting from the exit of a quantum algorithm without destructively distorting said state. This problem converts several (almost all) areas of Quantum Information Processing into mere theoretical speculations, namely: Quantum Algorithms, Quantum Image Processing, Quantum Signal Processing, Quantum Neural Networks, among others; which work fundamentally with generic qubits. Obviously, a new procedure to accurately estimate a generic quantum state is imperative as quantum technology advances.

Therefore, a new method of quantum measurement in the case of generic qubits becomes imperative (i.e., not just for CBS) and more accurate than the methods currently in use [4] - [26]. Thus, in this work, we present a novel proposal to recover quantum state to the output of a quantum algorithm after its measurement via a modified Kalman’s Filter [27] [28] [29] [30] [31] , and Recursive Least Squares (RLS) filter [32] [33] [34] , too. This is the essence of this work, which is organized as follows: Preliminaries to the new quantum measurement method are outlined in Section 2. A tour from Schrodinger equation to quantum algorithms is presented in Section 3. The new method (optimal state estimator) is outlined in Section 4. Finally, Section 5 provides a conclusion and future work proposals of this paper.

2. The Quantum Measurement Problem

In this section, we present the following topics:

− Wave-function collapse.

− Quantum Measurement Problem.

− Before and after measurement.

− Types of measurement and state reconstruction.

2.1. Wave-Function Collapse

In quantum mechanics, wave-function collapse is the phenomenon in which a wave-function (initially in a superposition of several eigenstates) appears reduced to a single eigenstate after interaction with a measuring apparatus [35]. It is the essence of measurement in quantum mechanics, and connects the wave-function with classical observables like position and momentum. Collapse is one of the two processes by which quantum systems evolve in time; the other is continuous evolution via the Schrödinger equation [36]. However in this role, collapse is merely a black box for thermodynamically irreversible interaction with a classical environment [37]. Calculations of quantum decoherence predicts apparent wave-function collapse when a superposition forms between the quantum system’s states and the environment’s states. Significantly, the combined wave-function of the system and environment continue to obey the Schrödinger equation [38].

When the Copenhagen interpretation was first expressed, Niels Bohr postulated that wave-function collapse cut the quantum world from the classical [39]. This tactical move allowed quantum theory to develop without distractions from interpretational worries. Nevertheless, it was debated if the collapse was a fundamental physical phenomenon, rather than just the epiphenomenon of some other processes. If this is the case, then, it would mean that nature is fundamentally stochastic, i.e. nondeterministic, and an undesirable attribute for a theory [37] [40] [41]. This issue remained incomplete until quantum decoherence entered mainstream opinion after its reformulation in the 1980s [4] [37] [38]. Decoherence explains the perception of wave-function collapse in terms of interacting large- and small-scale quantum systems, and is commonly taught at the graduate level, e.g. the Cohen-Tannoudji textbook [42]. The quantum filtering approach [43] [44] [45] [46] and the introduction of quantum causality non-demolition principle [47] allows us to think about a classical-environment derivation of wave-function collapse from the stochastic Schrödinger equation.

2.2. The Quantum Measurement Problem Itself

The measurement problem in quantum mechanics is the unresolved problem of how (or if) wave-function collapse occurs. The inability to observe this process directly has given rise to different interpretations of quantum mechanics, and poses a key set of questions that each interpretation must answer. The wave-function in quantum mechanics evolves deterministically according to the Schrödinger equation as a linear superposition of different states, but actual measurements always find the physical system in a definite state. Any future evolution is based on the state the system was discovered to be in when the measurement was made, meaning that the measurement “did something” to the process under examination. Whatever that “something” done does not appear to be explained by the basic theory.

To express matters differently (according to Steven Weinberg [4] [5] ), the Schrödinger wave-equation will determine the wave-function at any later time. If observers and their measuring apparatus are themselves described by a deterministic wave-function, why can we not predict precise results for measurements, but only probabilities? As a general question: how can one establish a correspondence between quantum and classical reality? [6].

2.3. Before and after Measuring

In quantum mechanics, measurement is a non-trivial and highly counter-intuitive process. First, because measurement outcomes are inherently probabilistic, i.e. regardless of the carefulness in the preparation of a measurement procedure, the possible outcomes of such measurement will be distributed according to a certain probability distribution. Secondly, once a measurement has been performed, a quantum system is unavoidably altered due to the interaction with the measurement apparatus. Consequently, for an arbitrary quantum system, pre-measurement and post-measurement quantum states are different in general [48].

Postulate. Quantum measurements are described by a set of measurement operators $\left\{{\widehat{M}}_{m}\right\}$ , which are indexed with m labels for the different measurement outcomes. These outcomes act on the state space of the system being measured. Measurement outcomes correspond to values of observables, such as position, energy and momentum, which are Hermitian operators [48] [49] corresponding to physically measurable quantities.

Let $|\psi \rangle $ be the state of the quantum system immediately before the measurement. Then, the probability that the m-th results occurs by

$p\left(m\right)=\langle \psi |{\widehat{M}}_{m}^{\u2020}{\widehat{M}}_{m}|\psi \rangle $ (1)

where ${\widehat{M}}_{m}^{\u2020}$ is the adjoint of ${\widehat{M}}_{m}$ , and the post-measurement quantum state is

${|\psi \rangle}_{pm}=\frac{{\widehat{M}}_{m}|\psi \rangle}{\sqrt{\langle \psi |{\widehat{M}}_{m}^{\u2020}{\widehat{M}}_{m}|\psi \rangle}}$ (2)

Operators ${\widehat{M}}_{m}$ must satisfy the completeness relation [48] , i.e.,

${\sum}_{m}{\widehat{M}}_{m}^{\u2020}{\widehat{M}}_{m}}=I$

because it guarantees that probabilities will sum to one:

${\sum}_{m}\langle \psi |{\widehat{M}}_{m}^{\u2020}{\widehat{M}}_{m}|\psi \rangle}={\displaystyle {\sum}_{m}p\left(m\right)=1$

Let us work out a simple example, assuming we have a polarized photon with associated polarization orientations “horizontal” and “vertical”, where the horizontal polarization direction is denoted by
$|0\rangle ={\left[\begin{array}{cc}1& 0\end{array}\right]}^{\text{T}}$
, the vertical polarization direction is denoted by
$|1\rangle ={\left[\begin{array}{cc}0& 1\end{array}\right]}^{\text{T}}$
, and (•)^{T} is the transpose of (•). Thus, an arbitrary initial state for our photon can be described by the generic quantum state
$|\psi \rangle =\alpha |0\rangle +\beta |1\rangle $
, where
$\alpha $
and
$\beta $
(
$\left|\alpha \right|\le 1,\text{\hspace{0.17em}}\left|\beta \right|\le 1$
) are complex numbers constrained by the normalization condition
${\left|\alpha \right|}^{2}+{\left|\beta \right|}^{2}=1$
and
$\left\{|0\rangle ,|1\rangle \right\}$
is the computational basis spanning in the Hermitian space
${{\rm H}}^{2}$
.

Now, we construct two measurement operators ${\widehat{M}}_{0}=|0\rangle \langle 0|$ and ${\widehat{M}}_{1}=|1\rangle \langle 1|$ and two measurement outcomes ${a}_{0},{a}_{1}$ . Then, the full observable used for measurement in this experiment is $\widehat{M}={a}_{0}|0\rangle \langle 0|+{a}_{1}|1\rangle \langle 1|$ . According to the Postulate, the probabilities of obtaining outcome ${a}_{0}$ or outcome ${a}_{1}$ are given by $p\left({a}_{0}\right)={\left|\alpha \right|}^{2}$ and $p\left({a}_{1}\right)={\left|\beta \right|}^{2}$ . Corresponding post-measurement quantum states are as follows: if outcome is equal to ${a}_{0}$ then ${|\psi \rangle}_{pm}=|0\rangle $ ; if outcome is equal to ${a}_{1}$ then, ${|\psi \rangle}_{pm}=|1\rangle $ .

2.4. Types of Measurement and State Reconstruction

As we have seen in the previous subsection, quantum measurement is not a minor issue [4] [5] [6]. In fact, it is an issue still unresolved [7] [8] , which would make it impossible for every practical effort to implement any genuine quantum algorithm in general and quantum image processing algorithm in particular. Actually, it is an inherited problem of quantum physics also known as the paradox of measurement [9] [10] [11] [12].

From a practical point of view, inside the context of quantum image processing, the problem is reduced to the following: suppose we develop a quantum algorithm for filtering classic images. Clearly, the first problem would be, how to introduce a classical noisy image within a quantum computer, i.e., the design of the interfaces classical-to-quantum, and quantum-to-classical. But, the second would be, how to measure the results of a quantum filtering algorithm, and to take the result of that filtering process and carry it out to the classical world, in other words, the recovery of the classical version of the filtered image into its original space: the classical world where it was generated. It is obvious that an absolutely accurate technique of measurement is needed. Unfortunately, all efforts in this regard have been useless [13] [14].

However, in the last decade there have been several efforts to remedy this situation, namely:

− Weak measurement

− Restoring the quantum state

− Quantum state tomography

Weak measurement is a technique to measure the average value of a quantum observable ${|\psi \rangle}_{pm}$ without appreciably affecting the initial state $|\psi \rangle $ of the system being measured [15] [16] [17] [18] [19]. Weak measurements differ from normal (sometimes called “strong” or “von Neumann”) measurements in two ways:

1) If ${|\psi \rangle}_{pm}$ has discrete spectrum (which we assume for simplicity purposes), a strong measurement yields an eigenvalue of ${|\psi \rangle}_{pm}$ when the system is in a $|\psi \rangle $ state. If the measurement is repeated many times, starting each time with the system in a $|\psi \rangle $ state, one obtains a sequence of eigenvalues of ${|\psi \rangle}_{pm}$ which when averaged yields an approximation to $\langle \psi |{\psi}_{pm}|\psi \rangle $ , the expectation of ${|\psi \rangle}_{pm}$ in the $|\psi \rangle $ state.

By contrast, a weak measurement only yields a sequence of numbers which average to $\langle \psi |{\psi}_{pm}|\psi \rangle $ . For example, a strong measurement of the spin of a particle with a spin −1/2 must yield spin 1/2 or −1/2, but a particular weak measurement could yield spin 100, while a subsequent weak measurement on an identical system might be −128.3. Typically, a single weak measurement gives little information; only the average of a large number of such measurements is meaningful.

2) A strong measurement changes, or projects, an initial pure state $|\psi \rangle $ to an eigenvector of ${|\psi \rangle}_{pm}$ . The particular eigenvector obtained cannot be predicted, though its probability is determined. This substantially changes the $|\psi \rangle $ state unless $|\psi \rangle $ happened to be close to that eigenvector.

However, a weak measurement does not substantially change the initial state.

Weak measurements are usually implemented by coupling the original system $\Psi $ to be measured with an auxiliary quantum meter system M. The measurement along a scale involves―in practice―various microscopic quantum systems. The composite system is mathematically represented as the tensor product of $\Psi $ with M, denoted $\Psi \otimes M$ . A product state in this tensor product is typically denoted $|\psi \rangle |m\rangle $ , where $|\psi \rangle $ is a state of $\Psi $ and $|m\rangle $ is a state of M. States which are not product states are called entangled states.

The results obtained by this technique are as weak as its name, therefore, we proceed to the next.

Restoring the quantum state is an effort to recover the original $|\psi \rangle $ state from the alleged reversibility of a measurement operator through the matrix that represents such operator, that is to say, $\widehat{M}$ of Subsection 2.3 [20]. Parrott’s work is presented in opposition to the technique of weak measurement in general and Katz et al. work [17] in particular. Other relevant works mediate between the above [21] [22] , also without success.

Nowadays, we know based on Stochastic Processes and Adaptive Filtering [27] - [34] that the single matrix inversion in an estimate or identification process does not restore the state of a hidden system behind such matrix. This is due to the need of modeling the state, the measurement noises, and defining the architecture of the estimator in an accurate way for a correct system state recovery from the observables. This deficiency explains why Wiener’s filter was completely replaced by Kalman’s filter in the presence of such noises [27] [28] [29] [30] [31]. Therefore, this technique is as weak as that to which it opposes.

Quantum state tomography is the process of reconstructing the quantum state (via a density matrix) for a source of quantum systems by measurements done on the systems coming from that source [33] [24]. Being the density matrix for pure or mixed states,

$\widehat{\rho}={\displaystyle {\sum}_{m}p\left(m\right)|{\psi}_{m}\rangle \langle {\psi}_{m}|}$ (3)

The source may be any device or system which prepares quantum states either consistently into quantum pure states or otherwise into general mixed states. To be able to uniquely identify the state, the measurements must be tomographically complete. That is, the measured operators must form an operator basis on the Hilbert space of the system, providing all the information about that state. Such a set of observations is sometimes called a quorum. On the other hand, in a quantum process tomography, known quantum states are used to prove if such quantum process can find out how that process can be described. Similarly, quantum measurement tomography works to find out what measurement is being performed. The general principle behind quantum state tomography is that by repeatedly performing many different measurements on quantum systems described by identical density matrices frequency counts can be used to infer probabilities. These probabilities are combined with Born’s rule to determine a density matrix which fits best with the observations [25] [26]. Obviously, this method is a rustic estimator of the density matrix and not the states themselves. In fact, it is a monitor of the elements of the matrix, only. Therefore, our problem persists.

3. From Schrödinger’s Equation to Quantum Algorithms

3.1. Schrödinger’s Equation and the Unitary Operators

A quantum state can be transformed into another state by a unitary operator, symbolized as U, with ${U}^{\u2020}U=I$ , where ${U}^{\u2020}$ is the adjoint of U and I is the identity matrix, which is required to preserve the inner products: If we transform $|\chi \rangle $ and $|\psi \rangle $ to $U|\chi \rangle $ and $U|\psi \rangle $ , then $\langle \chi |{U}^{\u2020}U|\psi \rangle =\langle \chi |\psi \rangle $ , being $|\chi \rangle $ and $|\psi \rangle $ two wave-functions. In particular, unitary operators preserve lengths: $\langle \psi |{U}^{\u2020}U|\psi \rangle =\langle \psi |\psi \rangle =1$ .

On the other hand, the unitary operator satisfies the following differential equation known as the Schrödinger’s equation [49] [50] [51] [52] :

$\frac{\text{d}}{\text{d}t}U\left(t\right)=\frac{-i\widehat{H}}{\hslash}U\left(t\right)$ (4)

where $\widehat{H}$ represents the Hamiltonian matrix of the Schrödinger’s equation, $i=\sqrt[2]{-1}$ , and $\hslash $ is the Planck constant. Multiplying both sides of Equation (4) by $|\psi \left(0\right)\rangle $ and setting $|\psi \left(t\right)\rangle =U\left(t\right)|\psi \left(0\right)\rangle $ , yields

$\frac{\text{d}}{\text{d}t}|\psi \left(t\right)\rangle =\frac{-i\widehat{H}}{\hslash}|\psi \left(t\right)\rangle $ (5)

The solution to the Schrödinger’s equation is given by the matrix exponential of the Hamiltonian matrix for the time invariant case:

$U\left(t\right)={\text{e}}^{\frac{-i\widehat{H}t}{\hslash}}$ (6)

Thus, the probability amplitudes evolve across time according to the following equation:

$|\psi \left(t\right)\rangle ={\text{e}}^{\frac{-i\widehat{H}t}{\hslash}}|\psi \left(0\right)\rangle $ (7)

Equation (7) is the main piece in building circuits, gates and quantum algorithms, being U who represents such elements [49].

Finally, the discrete version of Equation (5) is

$|{\psi}_{t+1}\rangle =\frac{-i\widehat{H}}{\hslash}|{\psi}_{t}\rangle $ (8)

Equation (8) is the foundation on which we build the optimal estimator of quantum states.

3.2. Quantum Circuits, Gates and Algorithms

As we can see in Figure 1, and remember Equation (8), the quantum algorithm (with identical considerations for circuits and gates) can be seen as a transfer (that makes an input-to-output mapping) that has two types of output:

a) the result of the algorithm (circuit of the gate), i.e., $|{\psi}_{t+1}\rangle $ , and

b) part of the input $|{\psi}_{t}\rangle $ , i.e., $|{\underset{\_}{\psi}}_{t}\rangle $ (underlined $|{\psi}_{t}\rangle $ ), in order to impart reversibility to the circuit, which is a critical need in quantum computing [1].

Besides, we can clearly see a module for measuring $|{\psi}_{t+1}\rangle $ (which will be extensively discussed in the next section) with their respective output, i.e., $|{\phi}_{t+1}\rangle $ , and a number of elements needed for the physical implementation of the quantum algorithm (circuit or gate), namely: control, ancilla and trash [50]. In this figure as well as in the rest of them (unlike [49] ) a single fine line represents a

Figure 1. Module to measuring, quantum algorithm and the elements needed to their physical implementation.

wire carrying 1 qubit or N qubits (qudit), interchangeably, while a single thick line represents a wire carrying 1 or N classical bits, interchangeably, too.

However, the mentioned concept of reversibility is closely related to energy consumption, and hence to the Landauer’s Principle.

On the other hand, computational complexity studies the amount of time and space required to solve a computational problem. Another important computational resource is energy. In this section, we study the energy requirements for computation. Surprisingly, it turns out that computation, both classical and quantum, can in principle be done without expending any energy. Such energy consumption in computation turns out to be deeply linked to the reversibility of the computation.

What is the connection between energy consumption and irreversibility in computation? Landauer’s principle provides the connection, stating that, in order to erase information, it is necessary to dissipate energy. More precisely, Landauer’s principle may be stated as follows:

Landauer’s principle (first form): Suppose a computer erases a single bit of information. The amount of energy dissipated into the environment is at least k_{B}T ln 2, where k_{B} is a universal constant known as Boltzmann’s constant, and T is the temperature of the environment around the computer.

According to the laws of thermodynamics, Landauer’s principle can be given an alternative form stated not in terms of energy dissipation, but rather in terms of entropy:

Landauer’s principle (second form): Suppose a computer erases a single bit of information. The entropy of the environment increases by at least k_{B} ln2, where k_{B} is Boltzmann’s constant.

Consider a gate which takes two bits as input and produces a single bit as output. This gate is intrinsically irreversible because, given the output of the gate, the input is not uniquely determined. For example, if the output of the gate is 1, then the input could have been any one of 00, 01, or 10. On the other hand, the gate is an example of a reversible logic gate because, given the output of the gate, it is possible to infer what input must have been. Another way of understanding irreversibility is to think of it in terms of information erasure. If a logic gate is irreversible, then some of the information input to the gate is lost irretrievably when the gate operates―that is, some of the information has been erased by the gate.

Conversely, in a reversible computation, no information is ever erased, because the input can always be recovered from the output. Thus, saying that a computation is reversible is equivalent to saying that no information is erased during the computation.

Summing-up, the above expressed justifies the inexcusable need for the presence of $|{\underset{\_}{\psi}}_{t}\rangle $ to the output of the quantum gate [49].

4. Optimal State Estimator (OSE)

4.1. Classical State Estimator in Noiseless Environments

In order to develop an optimal estimate of quantum states, we start defining everything on a classical type of estimator called Recursive Least Square RLS [32] [33] [34] and derived from the famous Kalman’s filter [27] [28] [29] [30] [31]. Such estimator (in time discrete version and in a noiseless environment) is based on Figure 2, in which,

A: plant $\in {\mathbb{R}}^{N\times N}$

M: measurement operator $\in {\mathbb{R}}^{M\times N}$

Δ: unitary delay $\left(N\times N\right)$

t: time

X: state to be estimated $\in {\mathbb{R}}^{N\times 1}$

Y: observable $\in {\mathbb{R}}^{M\times 1}$

ε: estimate error $\in {\mathbb{R}}^{M\times 1}$

K: Kalman’s gain $\in {\mathbb{R}}^{N\times M}$

$\widehat{X}$ : estimated state $\in {\mathbb{R}}^{N\times 1}$

$\widehat{Y}$ : output of estimator $\in {\mathbb{R}}^{M\times 1}$

Original System:

Figure 2. RLS.

${X}_{t}={A}_{t}{X}_{t-1}$ (9)

${Y}_{t}={M}_{t}{X}_{t}$ (10)

Estimator:

${\widehat{X}}_{t}={A}_{t}{\widehat{X}}_{t-1}+{K}_{t}{\epsilon}_{t}$ (11)

${\widehat{Y}}_{t}={M}_{t}{\widehat{X}}_{t}$ (12)

Then, we can define a priori and a posteriori (respectively) estimate error as:

${\epsilon}_{t}^{-}={Y}_{t}-{\widehat{Y}}_{t}^{-}={Y}_{t}-{M}_{t}{\widehat{X}}_{t}^{-}$ (13)

and

${\epsilon}_{t}={Y}_{t}-{\widehat{Y}}_{t}={Y}_{t}-{M}_{t}{\widehat{X}}_{t}$ (14)

The a priori estimate error covariance is then

$\Xi \left\{\left({\epsilon}_{t}^{-}\right){\left({\epsilon}_{t}^{-}\right)}^{\text{T}}\right\}=\Xi \left\{\left({Y}_{t}-{M}_{t}{\widehat{X}}_{t}^{-}\right){\left({Y}_{t}-{M}_{t}{\widehat{X}}_{t}^{-}\right)}^{\text{T}}\right\}$ (15)

where
$\Xi \{\u2022\}$
means square error of “•”, and (•)^{T} means transpose of “(•)”. On the other hand, the a posteriori estimate error covariance is

$\Xi \left\{{\epsilon}_{t}{\epsilon}_{t}^{\text{T}}\right\}=\Xi \left\{\left({Y}_{t}-{M}_{t}{\widehat{X}}_{t}\right){\left({Y}_{t}-{M}_{t}{\widehat{X}}_{t}\right)}^{\text{T}}\right\}$ (16)

This adaptation process is based on the minimization of the mean square error criterion defined in the last equation. Developing Equation (16), rearranging terms, and minimizing the mean square error with respect to $\widehat{X}$ , we obtain the Wiener’s filter for stationary signals:

$\widehat{X}={R}_{MM}^{-1}{r}_{MY}$ (17)

where, ${R}_{MM}$ is the autocorrelation matrix M and ${r}_{MY}$ is the cross-correlation vector of M and Y. In the following equation, we formulate a recursive, time-update and adaptive version of Equation (17). In fact, ${R}_{MM}$ can be expressed in a recursive fashion as

${R}_{MM}{}_{,t}={R}_{MM}{}_{,t-1}+{M}_{t}{M}_{t}^{\text{T}}$ (18)

To introduce adaptability to the time variations of the signal statistics, the autocorrelation estimate in Equation (18) can be windowed by an exponentially decaying window:

${R}_{MM}{}_{,t}=\lambda {R}_{MM}{}_{,t-1}+{M}_{t}{M}_{t}^{\text{T}}$ (19)

where $\lambda $ is the so-called adaptation, or forgetting factor, and is in the range $0<\lambda <1$ . Similarly, the cross-correlation vector can be calculated in a recursive form as

${r}_{MY,t}={r}_{MY,t-1}+{M}_{t}{Y}_{t}$ (20)

This equation can be made adaptive using an exponentially decaying forgetting factor $\lambda $ again:

${r}_{MY,t}=\lambda {r}_{MY,t-1}+{M}_{t}{Y}_{t}$ (21)

For a recursive solution of the least square error Equation (21), we need to obtain a recursive time-update formula for the inverse matrix in the form

${R}_{MM,t}^{-1}={R}_{MM,t-1}^{-1}+Updat{e}_{t}$ (22)

where “Update_{t}” is an updated factor to be actualized in each step of time. After an extensive series of considerations, developments and replacements, such as
${P}_{MM,t}={R}_{MM,t}^{-1}$
, we get the following set of equations related to RLS adaptation algorithm [32] [33] [34] in a very similar form to Kalman’s filter [27] [28] [29] [30] [31].

Initial values:

${P}_{MM,0}=\delta I$ (23)

being I the identity matrix and $\delta $ a number different to 0

${\widehat{X}}_{0}={\widehat{X}}_{I}$ (24)

Filter gain matrix:

${K}_{t}={P}_{MM,t-1}^{-}{M}_{t}{\left[\lambda I+{M}_{t}^{\text{T}}{P}_{MM,t-1}^{-}{M}_{t}\right]}^{-1}$ (25)

Error signal equation:

${\epsilon}_{t}^{-}={Y}_{t}-{M}_{t}{\widehat{X}}_{t-1}^{-}$ (26)

Estimated states:

${\widehat{X}}_{t}={\widehat{X}}_{t-1}^{-}-{K}_{t}{\epsilon}_{t}^{-}$ (27)

Inverse correlation matrix update:

${P}_{MM,t}={\lambda}^{-1}\left[I-{K}_{t}{M}_{t}\right]{P}_{MM,t-1}^{-}$ (28)

Discrete estimator time-update equations:

${\widehat{X}}_{t}^{-}={A}_{t}{\widehat{X}}_{t-1}$ (29)

${P}_{MM,t-1}^{-}={A}_{t}{P}_{MM,t-1}{A}_{t}^{\text{T}}$ (30)

Indeed, A and M are time-invariant [27] - [34]. However, Equation (30) should be modified to work in noiseless environments, which are the most real scenarios the filter will be used.

4.2. Quantum State Estimator in Noiseless Environments

From Equation (2), we have

${|\psi \rangle}_{pm}=|\phi \rangle =\frac{{\widehat{M}}_{m}|\psi \rangle}{\sqrt{\langle \psi |{\widehat{M}}_{m}^{\u2020}{\widehat{M}}_{m}|\psi \rangle}}$ (31)

being $\sqrt{\langle \psi |{\widehat{M}}_{m}^{\u2020}{\widehat{M}}_{m}|\psi \rangle}$ a norm of ${\widehat{M}}_{m}$ , as follows,

$\Vert {\widehat{M}}_{m}\Vert =\sqrt{\langle \psi |{\widehat{M}}_{m}^{\u2020}{\widehat{M}}_{m}|\psi \rangle}$ (32)

In fact, we can take any norm of ${\widehat{M}}_{m}$ , even for different $|\psi \rangle $ of the original. Thus, we will have a

$|\phi \rangle =\frac{{\widehat{M}}_{m}}{\Vert {\widehat{M}}_{m}\Vert}|\psi \rangle ={\tilde{M}}_{m}|\psi \rangle $ (33)

for each m, i.e., a battery of estimators as shown in Figure 3.

According to Figure 3, A will be the quantum algorithm (circuit or gate), and, we can get $|\psi \rangle $ for each m with this estimator. Therefore, the complete set of equations is:

Inside Quantum Computer:

$|{\psi}_{t+1}\rangle ={A}_{t}|{\psi}_{t}\rangle $ (quantum algorithm) (34)

$|{\phi}_{t+1}\rangle ={\tilde{M}}_{t}|{\psi}_{t+1}\rangle $ (quantum measurement) (35)

Optimal State Estimator (OSE):

$|{\widehat{\psi}}_{t+1}\rangle ={A}_{t}|{\widehat{\psi}}_{t}\rangle +{K}_{t}|{\epsilon}_{t+1}\rangle $ (36)

$|{\widehat{\phi}}_{t+1}\rangle ={\tilde{M}}_{t}|{\widehat{\psi}}_{t+1}\rangle $ (37)

Estimate error:

$|{\epsilon}_{t+1}\rangle =|{\phi}_{t+1}\rangle -|{\widehat{\phi}}_{t+1}\rangle $ (38)

Three important considerations:

• although A is time-invariant, this methodology also resists the variant version. In fact, we can do similar considerations relating to M. Besides, A arises from Equation (7), i.e., $A=U={\text{e}}^{\frac{-i\widehat{H}t}{\hslash}}$ , then: $\left(|\psi \left(t\right)\rangle ={\text{e}}^{\frac{-i\widehat{H}t}{\hslash}}|\psi \left(0\right)\rangle \right)\to \left(|\psi \left(t+\Delta t\right)\rangle ={\text{e}}^{\frac{-i\widehat{H}\Delta t}{\hslash}}|\psi \left(t\right)\rangle \right)$ , which in its discrete version will be: $\left(|{\psi}_{t+1}\rangle ={U}_{t+1,t}|{\psi}_{t}\rangle \right)\to \left(|{\psi}_{t+1}\rangle ={A}_{t}|{\psi}_{t}\rangle \right)$ ,

• OSE is a reorganized RLS/Kalman’s filter, but it is the same as them algorithmically speaking, and we started with a poor measurement, however as OSE evolves the accuracy of estimate improves through successive measurements.

Figure 4 shows the complete schematic of Figure 1 but now with the OSE added to its output.

Figure 3. Modified RLS.

Figure 4. Quantum algorithm (circuit or gate), measurement and OSE.

4.3. Quantum State Estimator in Noisy Environments

We assume the existence of state and measurement noises, as seen in Figure 5, with equation inside a quantum computer

$|{\psi}_{t+1}\rangle ={A}_{t}|{\psi}_{t}\rangle +{N}_{t+1}^{s}$ (quantum algorithm) (39)

$|{\phi}_{t+1}\rangle ={\tilde{M}}_{t}|{\psi}_{t+1}\rangle +{N}_{t+1}^{m}$ (quantum measurement) (40)

where, the random variables ${N}_{t+1}^{s}$ and ${N}_{t+1}^{m}$ represent the state and measurement noises, respectively. Both are assumed to be independent of each other. In practice,

− the state noise covariance $Q=\Xi \left\{\left({N}_{t}^{s}\right){\left({N}_{t}^{s}\right)}^{\text{T}}\right\}$ , and

− the measurement noise covariance $R=\Xi \left\{\left({N}_{t}^{m}\right){\left({N}_{t}^{m}\right)}^{\text{T}}\right\}$

matrices might change with each time-step or measurement, however here we assume that both are constant. Thus, only three equations change regarding classic estimator, namely,

Filter gain matrix:

${K}_{t}={P}_{MM,t-1}^{-}{M}_{t}{\left[R+{M}_{t}^{\text{T}}{P}_{MM,t-1}^{-}{M}_{t}\right]}^{-1}$ (41)

Inverse correlation matrix update:

${P}_{MM,t}=\left[I-{K}_{t}{M}_{t}\right]{P}_{MM,t-1}^{-}$ (42)

Discrete estimator time update equation:

${P}_{MM,t-1}^{-}={A}_{t}{P}_{MM,t-1}{A}_{t}^{\text{T}}+Q$ (43)

However, and as the OSE is a linear system, we can move the state noise to the output and work with a unique noise that represents both. Therefore, the last equation is not used.

All these noises may be associated with different factors: quantum noise [48] [49] [53] [54] [55] , quantum decoherence [48] [56] - [61] , and measurement errors [4] - [26]. The accuracy of our estimator (OSE) depends on two aspects

• our ability to model these noises, and

• the greater or lesser presence of such noises in the experiment.

Figure 5. Modified Kalman’s estimator for noisy environments.

5. Conclusions and Future Works

In this paper, we have presented an optimal estimator of quantum states based on a modified Kalman’s Filter. Such estimator acts after state measurement, allowing us to obtain an optimal estimate of the quantum state resulting in the output of any quantum algorithm (circuit or gate). Finally, the OSE allows us a complete estimate of the quantum state in a much more accurate way than methods currently in use, which are: weak measurement, strong measurement, projective and quantum state tomography.

All of them fail to give an exact value for the state of a generic qubit resulting from a quantum algorithm. This lack can be seen explicitly in those algorithms involved in Quantum Image Processing (QImP) [62]. In that paper, it is clearly shown that quantum measurement itself acts as a noise that disturbs what is measured, e.g., if the quantum algorithm used consists of a filter which eliminates the noise of an image (inside quantum machine), the quantum measurement―on its way out―will add a new noise to the resulting image, i.e., the image returns to have noise. A question arises automatically: why do we then introduce the image into a quantum machine if after all the filtering must be done in the classical environment, that is, outside the quantum machine? For this reason, it is very important to apply the innovation of this paper to those algorithms used in QImP.

Finally and based on our current study, the solution presented in this paper for an optimal estimate of a generic quantum state is essential to effectively and efficiently face the simulation of all types of quantum algorithms involved in quantum information processing, in general, and quantum signal processing and quantum neural networks, in particular.

Acknowledgements

We would like to thank Luis and Federico Guyet from Merx Communications LLC, for their tremendous help and support.

Cite this paper

Mastriani, M. (2018) Optimal Estimate of Quantum States. Journal of Applied Mathematics and Physics, 6, 1363-1381. https://doi.org/10.4236/jamp.2018.66114

References

- 1. Busch, P., Lahti, P., Pellonpää, J.P. and Ylinen, K. (2016) Quantum Measurement. Springer, New York. https://doi.org/10.1007/978-3-319-43389-9
- 2. Mastriani, M. (2015) Quantum Boolean Image Denoising. Quantum Information Processing, 14, 1647-1673. https://doi.org/10.1007/s11128-014-0881-0
- 3. Mastriani, M. (2014) Quantum Edge Detection for Image Segmentation in Optical Environments. arXiv:1409.2918 [cs.CV]
- 4. Weinberg, S. (1998) The Oxford History of the Twentieth Century. Howard, M. and Louis, W.R., Eds. Oxford University Press, Oxford, 26.
- 5. Weinberg, S. (2005) Einstein’s Mistakes in Physics Today. Physics Today, 58, 31. https://doi.org/10.1063/1.2155755
- 6. Zurek, W.H. (2003) Decoherence, Einselection, and the Quantum Origins of the Classical. Reviews of Modern Physics, 75, 715-775. https://doi.org/10.1103/RevModPhys.75.715
- 7. Volz, J., et al. (2011) Measuring the Internal State of a Single Atom without Energy Exchange. arXiv:1106.1854v1 [quant-ph]
- 8. Koashi, M. and Imoto, N. (2001) What Is Possible without Disturbing Partially Known Quantum States? arXiv:quant-ph/0101144
- 9. Bohm, D. (1951) Quantum Theory. Prentice-Hall Inc., New York.
- 10. Ghirardi, G.C., Rimini, A. and Weber, T. (1980) A General Argument against Superluminal Transmission through the Quantum Mechanical Measurement Process. Lettere Al Nuovo Cimento, 27, 293-298. https://doi.org/10.1007/BF02817189
- 11. Merzbacher, E. (1970) Quantum Mechanics. John Wiley and Sons, New York.
- 12. Redhead, M. (1990) Incompleteness, Nonlocality, and Realism. Oxford University Press, Oxford.
- 13. Duty, T., et al. (2008) Observation of Quantum Capacitance in the Cooper-Pair Transistor. arXiv:cond-mat/0503531 [cond-mat.supr-con]
- 14. Sillanpaa, M.A., et al. (2006) Direct Observation of Josephson Capacitance. arXiv:cond-mat/0504517 [cond-mat.mes-hall]
- 15. Hosten, O. and Kwiat, P.G. (2006) Weak Measurements and Counterfactual Computation. arXiv:quant-ph/0612159
- 16. Kastner, R.E. (2017) Demystifying Weak Measurements. arXiv:1702.04021v2 [quant-ph]
- 17. Katz, N., et al. (2008) Reversal of the Weak Measurement of a Quantum State in a Superconducting Phase Qubit. Physical Review Letters, 101, Article ID: 200401. https://doi.org/10.1103/PhysRevLett.101.200401
- 18. Berry, M.V., Brunner, N., Popescu, S. and Shukla, P. (2011) Can Apparent Superluminal Neutrino Speeds Be Explained as a Quantum Weak Measurement? Journal of Physics A: Mathematical and Theoretical, 44, Article ID: 492001. https://doi.org/10.1088/1751-8113/44/49/492001
- 19. Lundeen, J.S. (2006) Generalized Measurement and Post-Selection in Optical Quantum Information. PhD Thesis, University of Toronto, Toronto.
- 20. Parrott, S. (2013) Essay on Restoring the Quantum State after a Measurement. http://www.math.umb.edu/~sp/restore2.pdf
- 21. Bruder, C. and Loss, D. (2008) Viewpoint: Undoing a Quantum Measurement. Physics, 1, 34. https://doi.org/10.1103/Physics.1.34
- 22. Cheong, Y.W. and Lee, S.-W. (2012) Balance between Information Gain and Reversibility in Weak Measurement.
- 23. Balló, G. (2009) Master of Engineering in Information Technology Thesis: Quantum Process Tomography Using Optimization Methods. University of Pannonia, Pannonia.
- 24. Niggebaum, A. (2011) Quantum State Tomography of the 6 Qubit Photonic Symmetric Dicke State. Master Thesis, Ludwig Maximilians Universität München.
- 25. Blume-Kohout, R. (2006) Optimal, Reliable Estimation of Quantum States.
- 26. Altepeter, J.B., Jeffrey, E.R. and Kwiat, P.G. (2005) Photonic State Tomography Review Article. Advances in Atomic, Molecular, and Optical Physics, 52, 105-159. https://doi.org/10.1016/S1049-250X(05)52003-2
- 27. Grewal, M.S. and Andrews, A.P. (2001) Kalman Filtering: Theory and Practice Using MATLAB. 2nd Edition, John Wiley & Sons, New York.
- 28. Sanchez, E.N., Alanís, A.Y. and Loukianov, A.G. (2008) Discrete-Time High Order Neural Control: Trained with Kalman Filtering. Springer-Verlag, Berlín. https://doi.org/10.1007/978-3-540-78289-6
- 29. Dini, D.H. and Mandic, D.P. (2012) Class of Widely Linear Complex Kalman Filters. IEEE Transactions on Neural Networks and Learning Systems, 23, 775-786. https://doi.org/10.1109/TNNLS.2012.2189893
- 30. Haykin, S. (2001) Kalman Filtering and Neural Networks. John Wiley & Sons, New York. https://doi.org/10.1002/0471221546
- 31. Brookner, E. (1998) Tracking and Kalman Filtering Made Easy. John Wiley & Sons, New York. https://doi.org/10.1002/0471224197
- 32. Farhang-Boroujeny, B. (1998) Adaptive Filtering: Theory and Applications. John Wiley & Sons, New York.
- 33. Haykin, S. (2002) Adaptive Filter Theory. 3rd Edition, Prentice-Hall, New York.
- 34. Diniz, P.S.R. (2008) Adaptive Filtering: Algorithms and Practical Implementation. 2nd Edition, Kluwer Academic Publishers, New York. https://doi.org/10.1007/978-0-387-68606-6
- 35. Griffiths, D.J. (2005) Introduction to Quantum Mechanics, 2e. Pearson Prentice Hall, New York, Upper Saddle River, 106-109.
- 36. Von Neumann, J. (1932) Mathematische Grundlagen der Quantenmechanik. Springer, Berlin.
- 37. Von Neumann, J. (1955) Mathematical Foundations of Quantum Mechanics. Princeton University Press, New York.
- 38. Schlosshauer, M. (2005) Decoherence, the Measurement Problem, and Interpretations of Quantum Mechanics. Reviews of Modern Physics, 76, 1267-1305. https://doi.org/10.1103/RevModPhys.76.1267
- 39. Zurek, W.H. (2009) Quantum Darwinism. Nature Physics, 5, 181-188. https://doi.org/10.1038/nphys1202
- 40. Bohr, N. (1928) The Quantum Postulate and the Recent Development of Atomic Theory. Nature, 121, 580-590. https://doi.org/10.1038/121580a0
- 41. Bombelli, L. (2010) Wave-Function Collapse in Quantum Mechanics. Topics in Theoretical Physics, 10-13.http://www.phy.olemiss.edu/~luca/Topics/qm/collapse.html
- 42. Pusey, M., Barrett, J. and Rudolph, T. (2012) On the Reality of the Quantum State.
- 43. Cohen-Tannoudji, C. (2006) Quantum Mechanics. 2 Volumes, Wiley, New York, 22.
- 44. Belavkin, V.P. (1979) Optimal Measurement and Control in Quantum Dynamical Systems. Technical Report, Copernicus University, Torun, 3-38.
- 45. Belavkin, V.P. (1992) Quantum Stochastic Calculus and Quantum Nonlinear Filtering. Journal of Multivariate Analysis, 42, 171-201. https://doi.org/10.1016/0047-259X(92)90042-E
- 46. Belavkin, V.P. (1999) Measurement, Filtering and Control in Quantum Open Dynamical Systems. Reports on Mathematical Physics, 43, A405-A425. https://doi.org/10.1016/S0034-4877(00)86386-7
- 47. Belavkin, V.P. (1994) Nondemolition Principle of Quantum Measurement Theory. Foundations of Physics, 24, 685-714. https://doi.org/10.1007/BF02054669
- 48. Venegas-Andraca, S.E. (2006) Discrete Quantum Walks and Quantum Image Processing. Centre for Quantum Computation, University of Oxford, Oxford.
- 49. Nielsen, M.A. and Chuang, I.L. (2004) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge.
- 50. Kaye, P., Laflamme, R. and Mosca, M. (2004) An Introduction to Quantum Computing. Oxford University Press, Oxford.
- 51. Stolze, J. and Suter, D. (2007) Quantum Computing: A Short Course from Theory to Experiment. WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
- 52. Busemeyer, J.R., Wang, Z. and Townsend, J.T. (2006) Quantum Dynamics of Human Decision-Making. Journal of Mathematical Psychology, 50, 220-241. https://doi.org/10.1016/j.jmp.2006.01.003
- 53. Master, C.P. (2005) Quantum Computing under Real-World Constraints: Efficiency of an Ensemble Quantum Algorithm and Fighting Decoherence by Gate Design. PhD Thesis. Stanford University, Stanford.
- 54. Arias, A., Gheondea, A. and Gudder, S. (2002) Fixed Points of Quantum Operations. Journal of Mathematical Physics, 43, 5872-5881. https://doi.org/10.1063/1.1519669
- 55. Michalski, M. (2013) Computational Complexity in the Analysis of Quantum Operations. In: Jamiolkowski, A., Ed., Open Systems, Entanglement and Quantum Optics, InTechOpen, London, 41-63.
- 56. Alagic, G. and Russell, A. (2005) Decoherence in Quantum Walk on the Hypercube.
- 57. Dass, T. (2005) Measurements and Decoherence.
- 58. Kendon, V. and Tregenna, B. (2002) Decoherence in a Quantum Walk on the Line.
- 59. Kendon, V. and Tregenna, B. (2003) Decoherence Can Be Useful in Quantum Walks. Physical Review A, 67, Article ID: 042315. https://doi.org/10.1103/PhysRevA.67.042315
- 60. Kendon, V. and Tregenna, B. (2003) Decoherence in Discrete Quantum Walks. Selected Lectures from DICE 2002. Lecture Notes in Physics, 633, 253-267. https://doi.org/10.1007/978-3-540-40968-7_18
- 61. Romanelli, A., et al. (2005) Decoherence in the Quantum Walk on the Line. Journal of Physics A, 347c, 137-152. https://doi.org/10.1016/j.physa.2004.08.070
- 62. Mastriani, M. (2017) Quantum Image Processing? Quantum Information Processing, 16, 1-42.