Entanglement spectroscopy with a depth-two quantum circuit

Entanglement spectroscopy with a depth-two quantum circuit

Yiğit Subaşı Theoretical Division, Los Alamos National Laboratory, Los Alamos, NM 87545, USA.    Lukasz Cincio Theoretical Division, Los Alamos National Laboratory, Los Alamos, NM 87545, USA.    Patrick J. Coles Theoretical Division, Los Alamos National Laboratory, Los Alamos, NM 87545, USA.
Abstract

Noisy intermediate-scale quantum (NISQ) computers have significant decoherence, limiting the depth of circuits that can be implemented on them. A strategy for NISQ algorithms is to reduce the circuit depth at the expense of increasing the qubit count. Here, we exploit this trade-off for an application called entanglement spectroscopy, where one computes the entanglement of a state on systems by evaluating the Rényi entropy of the reduced state . For a -qubit state , the Rényi entropy of order is computed via , with the complexity growing exponentially in for classical computers. Johri, Steiger, and Troyer [PRB 96, 195136 (2017)] introduced a quantum algorithm that requires copies of and whose depth scales linearly in . Here, we present a quantum algorithm requiring twice the qubit resources ( copies of ) but with a depth that is independent of both and . Surprisingly this depth is only two gates. Our numerical simulations show that this short depth leads to an increased robustness to decoherence.

\xyoption

matrix \xyoptionframe \xyoptionarrow \xyoptionarc \xyoptionps \xyoptiondvips \entrymodifiers=!C\entrybox

I Introduction

Quantum computers promise exponential speedups for various applications, such as simulation of quantum systems feynman1982simulating . Near-term devices, referred to as noisy intermediate-scale quantum (NISQ) computers preskill2018quantum , are not yet in the regime of realizing these speedups, although quantum supremacy preskill2012quantum ; neill2017blueprint for a specially designed academic problem may be coming soon. Nevertheless, the question of what NISQ computers may be useful for remains an interesting one preskill2018quantum .

Decoherence and gate fidelity continue to be an important issues for NISQ devices ball2018the . Ultimately these issues limit the depth of algorithms that can be implemented on these computers and increase the computational error for short-depth algorithms. Furthermore, NISQ computers do not currently have enough qubits to fully leverage the benefit of quantum error-correcting codes fowler2012surface ; you2013simulating . This highlights the need for strategies to reduce the depth of quantum algorithms in order to avoid the accumulation of errors temme2017error .

One such strategy notes that there is often a trade-off between the circuit depth and the number of qubits involved in one’s algorithm broadbent2009parallelizing . Namely, increasing the number of qubits can lead to shorter depth. Recently, industry quantum computers seem to be increasing their qubit counts relatively rapidly, although these qubits are noisy ball2018the . So this strategy may be fruitful in the near term (i.e., before error correction is possible). A second strategy notes that quantum algorithms can be hybridized (i.e., made into quantum-classical algorithms) whereby part of the computation is done on a classical computer mcclean2016theory ; cincio2018learning . This reduces the load for the (error-prone) quantum computer.

In this paper, we employ both of these strategies to dramatically reduce the circuit depth for a particular application called entanglement spectroscopy li2008entanglement ; Amico2008 ; horodecki2009quantum . Here one computes the entanglement of a pure bipartite quantum state on systems by measuring various entropies of the reduced state . The entanglement in is completely characterized by the eigenvalues of . Li and Haldane noted that the largest eigenvalues of contain more universal signatures than the von Neumann entropy alone li2008entanglement . They introduced the concept of entanglement spectrum, writing as the exponential of the “entanglement Hamilonian” so that the largest eigenvalues correspond to the lowest energies of . As noted, e.g., in johri2017entanglement , the integer Rényi entropies of can be used to reconstruct the largest eigenvalues of .

Entanglement spectroscopy will be important in the future when quantum computers are large enough to perform quantum simulation of many-body systems linke2017measuring . Imagine that is the output of the simulation, and one wants to characterize this state with a figure-of-merit quantifying entanglement. Since is already in quantum form (as opposed to a vector of amplitudes, as one would store it on a classical computer), one can directly act with a quantum gate sequence and measurements on to compute this figure-of-merit.

The Rényi entropy of order is defined as

(1)

where

(2)

and we consider to be an integer in this work. Suppose that is a -qubit state. Since is a matrix, the complexity of computing and hence grows exponentially with for a classical computer. In contrast, Johri et al. johri2017entanglement introduced a quantum algorithm that computes with complexity growing bilinearly in and , i.e., with the product . Their algorithm generalized the well-known Swap Test for computing purity and state overlap. That is, by replacing the controlled-swap operator in the Swap Test with a controlled-permutation operator, their algorithm can compute for integer . This algorithm is shown in Fig. 1.

In this work, we propose an alternative quantum algorithm for entanglement spectroscopy. Our algorithm dramatically shortens the depth relative to that of Ref. johri2017entanglement , at the expense of requiring more qubits and more classical post-processing. Namely, Ref. johri2017entanglement requires copies of , with a circuit depth growing with . At the end a single ancilla qubit is measured to compute the expectation value of the Pauli- operator. In contrast, our algorithm requires copies of , while our circuit depth is, surprisingly, independent of both and . Furthermore, this depth is only two quantum gates. At the end all qubits are measured and the post-processing of our algorithm grows in proportion to . In this way we have transferred some of the complexity from quantum into classical computation. For NISQ devices, it is always better to push complexity onto classical computers, which are essentially error free.

Figure 1: Algorithm presented in johri2017entanglement to compute for integer . Here, contains qubits and is the reduced state of (containing qubits). Two Hadamards sandwich a controlled-permutation gate acting on copies of . The controlled-permutation gate is expanded in the inset, for the special case of . Each controlled- gate is then decomposed into controlled-swaps, which in turn are written in terms of CNOTs and one-body gates shende2009cnot . This shows that the algorithm’s gate depth grows in proportion to . Here we assumed for simplicity that the state contains half of the qubits in . The generalization to arbitrary bipartition is straightforward.

At the core of our algorithm is an alternative approach to computing the expectation value of an operator . It is well known that the Hadamard Test can be used to find by implementing the controlled- gate, see Fig. 2(a). In this work, we note that can be computed by implementing instead of controlled-, if one allows for two copies of . We call the latter approach the Two-Copy Test, and it is depicted in Fig. 2(b). For computing the Rényi entropies in Eq. (1), is set to be the cyclic permutation operator.

In what follows, we first give some background, including the connection between the permutation operator and the integer Rényi entropies as well as the connection between these entropies and the largest eigenvalues of the state. We then present our main result: a quantum circuit with a depth of two gates for computing the integer Rényi entropies. Finally, we numerically simulate our circuit as well as the circuit in Fig. 1, and we discuss how our circuit leads to increased robustness to noise, particularly when the readout error is small compared to other sources of noise.

Figure 2: Two different strategies for computing an operator’s expectation value. (a) The Hadamard Test involves applying controlled- and requires one copy of and one ancilla. By varying the final measurement in the plane of the Bloch sphere, one can extract linear combinations of and . (b) Here we invoke a different algorithm that we call the Two-Copy Test, which requires two copies of . This algorithm applies to one of the two copies and then measures the overlap between the copies, giving .

Ii Background

ii.1 Rényi entropies via the permutation operator

Nonlinear functions of a state can be obtained by evaluating linear expectation values on multiple copies of . One of the most well-known examples is the swap trick, which uses two copies of to evaluate the purity:

(3)

where is the swap operator. This trick generalizes to copies of as follows:

(4)

where

(5)

Here

(6)

is the cyclic permutation operator, permuting the subsystems of .

An important property of is that it factorizes into a tensor product of permutation operators when acting on a tensor-product Hilbert space. To make this clear, let denote the permutation operator acting on quantum systems, each of which is composed of qubits. Suppose that is a composite quantum system composed of subsystems:

(7)

and that each is composed of qubits:

(8)

where denotes the -th qubit in the -th subsystem, . Then, when acts on the Hilbert space associated with the system, it can be written as

(9)

provided that we order the qubits in the following way

(10)

Note that in (9) is the operator that permutes subsystems each of which is composed of one qubit.

ii.2 Computing eigenvalues from Rényi entropies

In order to exactly compute all eigenvalues of the density matrix of a system of qubits, one needs to know all Rényi entropies up to order . As noted in Ref. johri2017entanglement these quantities can be related to each other by the Newton-Girard Formula:

(11)

where is the dimension of and

(12)

However, in most cases we are only interested in a small number of largest eigenvalues . In Ref. johri2017entanglement it was argued that an approximation to the largest eigenvalues of can be obtained by truncating the polynomial on the right hand side of Eq. (11) to that order and solving for the roots. Using this method we can approximately compute largest eigenvalues of from the Rényi entropies of order up to .

Figure 3: Circuits for computing with a depth of two. The classical post-processing is not shown, but is discussed in the text. (a) Refs. garcia2013swap ; cincio2018learning showed that the Bell-basis measurement on two copies of the state computes ). (b) Our algorithm applied to and , which is based on the Two-Copy Test shown in Fig. 2. Namely, we feed in two copies of , i.e., four copies of , in order to compute , where is the swap operator for the subsystems. This involves applying to one copy of and then measuring the overlap with the other copy of . The overlap measurement is the Bell-basis measurement, i.e., the same measurement employed in part (a) of this figure. (c) Note that the swap gate simply changes the targets of the subsequent CNOT gates in the circuit. Furthermore, note that all of the CNOTs and Hadamards can be performed in parallel, giving a circuit depth of two.

Iii Main Result

Here we present our main result: a circuit for computing the integer Rényi entropies with a depth of only two quantum gates. We emphasize that our circuit does require access to the full pure state in order to compute the Rényi entropies of the reduced state . For readability, we first illustrate our circuit for the simplest case of computing purity for one-qubit states.

iii.1 Special case of ,

Suppose is a single-qubit state and one wishes to compute . Previous work garcia2013swap ; cincio2018learning showed that this can be done via a Bell-basis measurement on two copies of the state, as depicted in Fig. 3(a). This measurement involves applying a CNOT followed by a Hadamard on one of the copies. Finally one applies a classical post-processing as a simple dot product with the probability vector, i.e.,

(13)

where is the probability vector for the measurement outcomes and .

For we recommend employing the aforementioned algorithm in Fig. 3(a). Nevertheless, we show how the algorithm presented in this paper applies to the case in Fig. 3(b). The Two-Copy Test in Fig. 2(b) is the basis of our algorithm. We feed in two copies of , i.e., four copies of . We apply the swap operator to one copy of , where the subscript indicates that the swap is being applied only to the subsystems. Then we measure the overlap with the other copy of , which gives:

(14)

The proof of Eq. (14) is straightforward and is shown below in Eq. (18).

We emphasize that the implementation of the swap gate is trivial since its only effect is to change the ordering of the qubits, as shown in Fig. 3(c). The same effect can be achieved by changing the indices of the target qubits in the CNOTs following the swap gate. The depth of the circuit in Fig. 3(c) is due to the gates that compose the overlap measurement, and this depth is two gates, since the various CNOTs and Hadamards on distinct qubits can be parallelized.

The classical post-processing needed to obtain Eq. (14) from the measurement results in Fig. 3(c) involves taking the dot product with the probability vector , as in Eq. (13), but with

(15)

The form of stated here requires one to reorder the qubits such that each qubit is grouped next to its overlap partner, i.e., each qubit controlling a CNOT in Fig. 3(c) is immediately followed by the qubit being targetted by that CNOT. An explicit form of the post-processing in this case is thus given by:

(16)
Figure 4: Circuit for computing the integer Rényi entropies , or more precisely , for where . The circuit acts on a total of copies of , or in other words, two copies of . We employ a compact notation for the cyclic permutation gate and for CNOT gates between multiple pairs of control and target qubits, respectively shown in (b) and (c) for the special case of .

iii.2 Circuit for general and

Our main result is the circuit in Fig. 4, which generalizes the special case shown in Fig. 3(b). This gives a general algorithm for computing the integer Rényi entropies for , for states with an arbitrary number of qubits. For simplicity, we assume the number of qubits in subsystems and are the same and equal to , as the extension to arbitrary bipartitions is straightforward. Due to the circuit’s generality, we introduce some compact circuit notation in Fig. 4(b) and (c), respectively defining the permutation gate and CNOT gates between multiple pairs of control and target qubits.

Surprisingly, the circuit depth is independent of the problem size, i.e., independent of both and . One can see this by noting that: (1) the cyclic permutation gate, shown in Fig. 4(b), does not add to the circuit depth since it just reorders the qubits, and (2) the CNOT and Hadamard gates on distinct qubits can be parallelized. The result is a circuit with a depth of two quantum gates.

Figure 5: Numerical simulation of our algorithm and the algorithm in Ref. johri2017entanglement using QuTiP. For each qubit, the decoherence parameters were set to in units of gate implementation time, and the measurement readout error was set to . Curves are plotted versus the parameter defined in (21). Plots (a), (b), and (c) show the , , and cases respectively, including the exact curve (black), the curve associated with the algorithm in Fig. 4 (red), and the curve associated with the algorithm in Fig. 1 (green). The relative error is plotted in (d) and (e) for the algorithms in Fig. 4 and Fig. 1, respectively.

As noted earlier, the conceptual basis of our algorithm is the Two-Copy Test from Fig. 2(b). We prepare two copies of the state . We apply the permutation gate to one of these copies, where the subscript indicates that the permutation is applied only to the subsystems. Then we measure the overlap with the other copy, giving

(17)

Taking the logarithm of Eq. (17) and dividing by then gives the Rényi entropy . The proof of Eq. (17) is simply

(18)

The classical post-processing needed to obtain Eq. (17) from the measurement results is analogous to that discussed previously in Eq. (15), namely

(19)

Again, the form of here requires a special ordering of the qubits, whereby each qubit that controls a CNOT in Fig. 4 is followed by the target qubit for that CNOT. Hence each vector is associated with a pair of qubits, and there are a total of qubit pairs in Fig. 4.

Iv Numerical Simulation

We employed QuTiP johansson2012qutip ; johansson2013qutip (Quantum Toolbox in Python) to simulate the implementation of the algorithm presented in Fig. 4 as well as the algorithm from Ref. johri2017entanglement . We considered , so that is a one-qubit state, and , , and corresponding to , , and . In particular, we considered a one-parameter family of states prepared as follows:

(20)

where is a controlled-NOT with () as the control (target) qubit, and

(21)

The parameter determines how much entanglement has and hence how mixed the reduced state is.

Our simulation accounted for relaxation and decoherence due to and processes, choosing for each qubit. Here is the execution time of each quantum gate, which for simplicity we chose to be the same for all 1-qubit gates and CNOT gates. In addition, we accounted for measurement noise, with a readout error of for each qubit. We did not model gate imperfections.

The simulation results are shown in Fig. 5. Panels (a), (b), and (c) compare the algorithms in Fig. 4 and Fig. 1 with the exact curve for 2, 3, and 4, respectively. In each case, the algorithm in Fig. 4 gets closer to the exact curve. The relative errors for the two algorithms are shown in panels (d) and (e).

For the particular noise parameters chosen in Fig. 5, it appears that the error increases with more rapidly for the algorithm in Fig. 1. Naturally, one expects the error to increase with for both algorithms, since the number of state preparations of (each of which has an associated error) increases linearly with . In addition, the depth of the algorithm in Fig. 1 increases linearly in , while the number of measurements in the algorithm in Fig. 4 increases linearly in . As a result, one expects the algorithm in Fig. 1 to be more sensitive to decoherence (due to the increased depth), while the algorithm in Fig. 4 should be more sensitive to readout error (due to the increased number of measurements).

Although we did not model gate imperfections in Fig. 5, we expect them to effect our algorithm less than the algorithm in Fig. 1. This is because, for each CNOT gate that one needs to implement in our algorithm, one needs to implement 8 CNOT gates in the algorithm in Fig. 1 shende2009cnot .

V Conclusions

In this work we presented a new quantum algorithm for computing the integer Rényi entropies, which can be used to determine the entanglement spectrum. Relative to the algorithm in johri2017entanglement , our algorithm doubled the number of qubits required but dramatically reduced the quantum gate depth. In doing so, we pushed the quantum gate scaling (which is proportional for the algorithm in johri2017entanglement ) into the complexity of classical post-processing; hence our algorithm is a hybrid quantum-classical algorithm. As a result, the quantum portion of our algorithm has a depth of only two gates. This makes it ideal for implementations on NISQ computers, whose qubit counts are rapidly growing, but whose qubits remain noisy.

We remark that computing higher order Rényi entropies may be used to compute bounds for von Neumann entropic quantities smith2017quantifying . We also note that the Two-Copy Test in Fig. 2 for computing the expectation value of an operator may be of independent interest, since it avoids implementing a (costly) controlled- gate as in the Hadamard Test and hence is more amenable to blackbox implementation of .

Vi Acknowledgements

YS acknowledges support of the LDRD program at Los Alamos National Laboratory (LANL). LC was supported by the U.S. Department of Energy through the J. Robert Oppenheimer fellowship. PJC was supported by the LANL ASC Beyond Moore’s Law project.

References

Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
""
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
   
Add comment
Cancel
Loading ...
294260
This is a comment super asjknd jkasnjk adsnkj
Upvote
Downvote
""
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters
Submit
Cancel

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test
Test description