Abstract
Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dualrail photons effective nonlinearities and neardeterministic nontrivial twoqubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use singlerail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This nogo theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.
Introduction
Optical implementations of qubits have played an important role in quantum information science^{1,2}. Photons exhibit an intrinsic lack of decoherence and are simple to control by standard offtheshelf components. Furthermore, photonic qubits for quantum computation are particularly attractive because they can be used to interface to various quantum communication applications^{3}. Due to the extremely small photonphoton coupling available in existing materials, it was at one point believed that optical qubits could not be used for scalable quantum computation. However, it is now understood that the process of photon detection itself can lead to effective photonphoton nonlinearities. In particular Knill, Laflamme and Milburn (KLM)^{4} launched the field of linear optics quantum computing (LOQC) by showing that deterministic singlephoton sources and highefficiency singlephoton detectors allow the realization of scalable, probabilistic quantum computation purely with linear optical elements. This holds in spite of the fact that using linear optics alone, the success probability of the nonlinear sign shift gate used in the KLM scheme cannot be improved above 1/4^{5,6}. Since the original KLM proposal, a number of authors have suggested various simplifications, modifications and optimizations^{7,8,9,10}. Although these results formally show that scalable quantum computing is possible, the realization is very demanding in practice due to the large resource overhead arising from the required nondeterministic photon detection events. This becomes particularly apparent when considering beamsplitterbased twophoton gates, which are probabilistic in nature. In fact all optical twoqubit gates^{11}, including the promising nondestructive CNOT gate^{12,13}, fail in the case where more than one photon is emitted into the same optical output mode, due to photon bunching. One proposal to actively suppress such gate failure events in the polarization encoding uses the quantum Zeno effect, by coupling to the output light fields to atomic transitions^{14,15}.
While the previous discussion concerned mostly dualrail qubits, less is known about singlerail photonic qubits. Here we address the natural question of whether linear optical elements alone can be used to establish quantum interference such that the photonbunching effect and thus the probability of gate failure, can be eliminated for the case of singlerail encoding. We show that this cannot be achieved in the sense that one cannot simultaneously and deterministically implement a linear optical twophoton entangling gate and decouple the doubleoccupancy states (in this work we are not concerned with singlephoton nonlocality^{16}). We thus prove a nogo theorem for photon bunching suppression via allunitary linear optics. Our result is complementary to the recent proof that the singlephoton fraction in any of the singlemode states resulting from purely linear optical processing (even including conditioning on results of detections) cannot be made to exceed the efficiency of the best available photon source^{17}. We stress that our proof applies in the setting of deterministic LOQC; we do not address the possibility of simultaneously optimizing the suppression of photon bunching and the success probability of LOQC gates in the singlerail setting. Nor do we address here what may be gained by adding measurements or other nonunitary operations^{18}.
Results
Problem formulation
In the standard circuit model of quantum computing any unitary transformation on n qubits can be decomposed as a product of gates, each of which acts nontrivially on at most two qubits and is the identity on the other qubits^{19}. Likewise, in the linear optics model, any unitary transformation on M modes can be decomposed into a product of “linear optical elements,” each of which acts nontrivially on at most two modes and is the identity on the other M – 2 modes^{20,21}. As linear optical operations we consider just passive elements, in particular phase shifters and beam splitters, as they generate all linear optical elements [i.e., all 2 × 2 unitaries, the group U(2)] when acting on the same pair of modes. Moreover, when they are allowed to act on overlapping pairs of modes, the linear optical elements generate all M × M unitaries [i.e., the group U(M)]^{20}.
Single photon optical qubits come primarily in two varieties: singlerail^{22,23}, where a qubit is represented by the absence or presence of a single photon of fixed polarization in one optical mode and dualrail^{19}, where each qubit is encoded into the presence of a single photon in one or the other of two spatial optical modes. Polarization qubits^{24}—where each qubit is represented by two orthogonal polarization modes—are formally equivalent to dualrail qubits^{11}, so we will use both interchangeably (see Figure 1). Most LOQC proposals, including the original KLM scheme, use dualrail qubits, but there is considerable interest in the singlerail encoding scheme as well, as evidenced by the numerous experiments devoted to preparation of arbitrary states of singlerail qubits^{25,26,27,28,29}. In the dualrail encoding singlequbit operations are straightforward while nontrivial twoqubits are challenging and are implemented probabilistically^{4}. The reverse is true for singlerail encoding: it is easy to generate twoqubit entanglement deterministically, while singlequbit gates can be implemented probabilistically^{30}. In both the single and dualrail encodings twoqubit gate failure due to photon bunching is a major challenge standing in the way of scalability. Let us next explain this in more detail.
The subspace of interest in the singlerail encoding is spanned by the 6dimensional Fock state basis where
Here 0〉 is the global vacuum, , a_{i} and n_{i} are the creation, annihilation and number operator for mode i, respectively, satisfying the standard bosonic commutation relations. The subspace is spanned by the computational basis of singlephoton states in each of the two modes, while is the subspace of “bunched” two photon states in either one of the two modes (doubleoccupation states). The latter are the problematic states causing computational errors in the singlerail encoding.
To define a basis for the polarization (i.e., dual rail) encoding consider the creation operators , where i ∈ {1, 2} is the spatial mode index, p ∈ {H, V} is the polarization mode index and all commute for all values of i and p. The ith qubit basis states are then and , so that the computational and doubleoccupation (error) subspaces are, respectively,
It is well known that linear optics is insufficient for generating nontrivial (entangling) twoqubit gates in the dualrail encoding. Indeed, this, together with the inherent weakness of nonlinear photonic interactions such as the Kerr effect, is the raison d'être of the KLM scheme. The reason is a straightforward grouptheoretic counting argument. Consider m = 2K optical modes. If dualrail linear optics could generate an entangling gate between one pair of qubits, which could then be swapped to all other pairs of qubits using beam splitters, the set of linear optical elements would generate the group U(2^{K}). However, this contradicts the fact that the set of linear optical elements can only generate U(2K)^{20,31}. This means that it is impossible to generate an entangling gate in the subspace , irrespective of what happens in . Another perspective on this is offered by results showing the unfeasibility of a linear optics Bell state analyzer, which rule out the implementation of a deterministic CNOT gate using dualrail qubits^{32,33}. However, these arguments cannot be applied in the singlerail case where a beam splitter suffices to generate twoqubit entanglement in the subspace . Since we are concerned in this work with deterministic gates we shall not consider the possibility of photonbunching suppression and concurrent enhancement of the success probability of twoqubit gates in the dualrail case. Instead, we devote the remainder of this work to the nogo theorem for deterministic gates in the singlerail case.
Nogo theorem for two modes
We now proceed to prove the following nogo theorem: it is not possible to implement a deterministic entangling gate between two singlerail qubits while at the same time removing the “bunched” twophoton states using only linear optics. In this section we assume that only two photons in two modes are used; in the following section we allow for an arbitrary number of photons and modes.
The Hermitian beamsplitter generator is
and the Hermitian phase shifter generators are, for each mode,
Let us also define
Then it is easily checked using the identities in the Methods section that the set of Hermitian operators {X, Y, Z} is closed under commutation and moreover satisfies su(2) commutation relations. Therefore the beamsplitter generator X and the phase shifter generators (combined as Z) generate U(2). The most general unitary evolution operator we can then construct according to the Euler decomposition is the following composite gate:
where we have allowed a more general linear combination of the two phase shifter generators than Z, since they can be independently tuned.
We are interested in the (reducible) representation of the unitary operator (6) in the 6dimensional Fock state basis . We shall now show that if one demands that U does not couple and , then without further assumptions it is not possible to implement an entangling gate between the two singlerail qubits. In the basis we have
where diag denotes a diagonal matrix and where
Note that consists of three blocks (1, A_{2} and B_{2}) of dimensions 1 (vacuum), 2 (one photon) and 3 (two photons), respectively. Therefore repeated applications of the composite gate U with different values for the angles α, β, γ, δ, will still have the same triple block structure. Hence our construction is general in the sense that we need only consider a single composite gate U.
Now, the problem is that the twophoton block includes . We would like to decouple these two states from the other four. Clearly, this can be done by setting the matrix elements U_{4,5}, U_{4,6}, U_{5,4} and U_{6,4} [i.e., the (1, 2), (1, 3), (2, 1), (3, 1) elements of B_{2}] to zero. As is clear from Eq. (8), a necessary and sufficient condition for this is
This is achieved whenever is an integer multiple of π/2. If we pick an even multiple 2n of π/2 we have
If we pick an odd multiple 2n + 1 of π/2 we have
where
In both cases U has a blockdiagonal structure where the twophotons per mode states are decoupled from the other four states. Considering just the 4dimensional block acting on span, we have for the even case
i.e., a tensor product of two singlequbit phase gates. Similarly, for the odd case we have
where , a nonentangling gate. Unfortunately this means that, having decoupled span, the action of U on the subspace is equivalent to a tensor product of two singlequbit phase gates and therefore is no longer entangling.
The reason for this nogo result is straightforward: we are forced to set equal to a multiple of π/2 in order to prevent coupling to the span subspace. Once we do this we are left with only four independent parameters (α, β, γ, δ), which are the parameters of the two phase shifters [see Eq. (6)]. The latter can only generate phase gates. To circumvent this result would require the use of some type of nonlinear optical element (see Figure 2).
Nogo theorem for M > 2 modes
One might wonder whether the inclusion of additional modes and photons allows to circumvent the nogo theorem. In this section we show that this is not the case.
Consider a linear optical system with M modes containing an arbitrary number of photons, of which only two modes–supporting two qubits–are the target of linear optical quantum computation. We therefore refer to these two modes as the “computational modes.” Clearly the choice of which two modes are identified as the computational modes is immaterial, so that without loss of generality we use the first two modes to this end. The computational basis still comprises only those states having either zero or one photons per mode in the first two modes, except that now an arbitrary number of photons is allowed in the ancillary modes 3, …, M. , where the occupation numbers are arbitrary. Then the computational basis states are the set . The basis set for the problematic subspace of bunched states is now . We assume that the photonic system is initialized in span. Furthermore, we assume that the initial state is a product state between the computational and ancilla modes, i.e., there is no initial entanglement between these two set of modes. Our proof does not apply otherwise, so that initialization errors are outside of the scope of this work and will have to be dealt with by other means.
Now let V be some arbitrary passive linear unitary optical transformation on all, or some subset, of the M modes. For example, V could be a product of phase shifters and beam splitters coupling any pair of modes. Its most general form is
an arbitrary element of U(M)^{20}. The operator V replaces U [Eq. (6)] from our earlier twomode discussion and we shall show that even it cannot be used to decouple the computational basis states from the bunched states while simultaneously implementing an arbitrary unitary transformation on the computational modes. V has the following unitary representation in terms of the matrix v = {v_{ij}}, in the basis of bosonic creation operators (see Methods):
Note that V commutes with the number operator, i.e., its only nonvanishing matrix elements are between Fock states with equal occupation numbers. Note also that if we write V = exp(iΩ) where , then Ω0〉 = 0 due to the annihilation operator a_{j}, so that V0〉 = 0〉 and hence 〈0V0〉 = 1.
At first sight it might appear that the inclusion of ancilla modes could be useful. For example, one might hope that the bunched state 200〉 (for M = 3) can be transformed into the computational state 002〉, where the two photons have been transferred to the ancilla mode. However, this approach fails for passive allunitary linear optics. The reason is that we must rule out the reverse process, i.e., we must impose the following necessary “don't cause errors” condition:
V cannot transfer any photons from the ancillary modes into the computational modes in a manner which transforms a valid computational basis state into a bunched state.
For example, V is not allowed to take the computational basis state to (ignoring normalization). Thus, we impose the necessary conditions for all i ∈ {3, …, M}
Then,
where to arrive at (18b) we used Eq. (16) and to arrive at (18c) we used V0〉 = 0〉 along with the standard bosonic commutation relations and to arrive at (18d) we used the fact that both sums in (18c) vanish due to . We can thus conclude that v_{i}_{1} must vanish for all i ∈ {3, …, M}. After we impose the additional necessary condition , we find that v_{i}_{2} must vanish for all i ∈ {3, …, M}. In addition, it follows from unitarity of v that then also v_{1i} and v_{2i} must vanish for all i ∈ {3, …, M} (see Methods). That is, we have proved that the “don't cause errors” condition implies that v has a blockdiagonal structure:
where v_{c} is a 2 × 2 block (over the computational modes i, j ∈ {1, 2}) and v_{a} is an (M – 2) × (M – 2) block (over the ancilla modes i, j ∈ {3, …, M}). This, in turn, can be interpreted as “don't couple”. It states that, subject to the “don't cause errors” condition, V cannot couple the computational and ancilla modes and in particular cannot cause photons to leak from the ancilla modes into the computational, or vice versa. For example, V cannot couple the two computational basis states 001〉 and 100〉 (M = 3). It is conceptually clear that this implies that nothing is gained by the introduction of the ancilla modes. However, let us provide a formal proof as well.
Assume, as before, that the system is initially in a factorized state between the computational and ancilla modes: , where F and G are arbitrary polynomials in the creation operators, e.g., , where are arbitrary coefficients. Note that because of the blockdiagonal structure of v it follows that
where F′ is a new polynomial. Here the key point is that the ancilla modes do not appear in F′. A similar calculation reveals that , where G′ is a new polynomial. Therefore the action of V on an arbitrary factorized initial state is
For the computational modes this is equivalent to , where the nogo theorem for M = 2 holds.
Discussion
We have shown that using linear optics alone it is not possible to cancel the photon bunching effect while at the same time implementing a deterministic universal set of logic gates using singlerail photonic qubits. In spirit our result agrees with previous theoretical work concerning the dualrail encoding case^{4,32,33}, showing that passive linear optics does not involve particle interactions other than those imposed by statistics and can be understood in terms of classical wave mechanics. One approach is to then consider additional nonlinear operations such as photondetection or absorption^{14}, the Kerr effect, or light squeezing, in order to enable universal linear optical quantum computing. However, our work leaves open the possibility that a more general analysis than we have considered here, in particular one which accounts for the possibility of a probabilistic enhancement (or even optimization) of both photonbunching suppression and linear optical gate fidelity, might circumvent our nogo theorem. Nor did we consider measurements of the ancilla modes or other nonunitary transformations. For example, one might consider a nonunitary transformation with maps the bunched state 200〉 (on a total of three modes) to the computational basis state 002〉, without at the same time mapping 002〉 back into the computational subspace. In this sense the results presented here are thus a starting point for a study of the use of additional resources in linear optics quantum computing using singlerail qubits.
Methods
Unitary representation of V in the creation operator basis
To prove that the representation of V in Eq. (16) is unitary one can use the standard bosonic commutation relations along with the BakerHausdorff formula
where [_{m}A, B] : = [A, [_{m}_{−1}A, B]] and [_{1}A, B] ≡ [A, B], for arbitrary operators A and B and , to establish that v = e^{−iθ}, where θ = {θ_{ij}} is the orthogonal matrix of angles appearing in Eq. (15). Indeed, setting α = i, and using the identity , we have:
etc., so that . Thus
so that v_{ij} = [e^{iθ}]_{ji}, whence v = e^{−iθ} as claimed.
Proof that “don't cause errors” implies “don't couple”
Consider a unitary matrix v with the block structure
where x and z are square and y can be rectangular. The unitarity condition v^{†}v = I yields
so that x^{†}x = I and x^{†}y = 0. By unitarity of v the matrix X cannot be zero, so x^{−1} = x^{†} and hence also xx^{†} = I. Thus xx^{†}y = y = 0. In the context of our proof in the last section, we showed that the “don't cause errors” condition implies that both v_{i}_{1} = v_{i}_{2} = 0 for all i ∈ {3, …, M}. This is the 0 block in Eq. (25). The vanishing of the y block then implies that also v_{1i} = v_{2i} = 0 for all i ∈ {3, …, M}, which is the “don't couple” result.
References
O'Brien, J. L. Optical quantum computing. Science 318, 1567–1570 (2007).
AspuruGuzik, A. & Walther, P. Photonic quantum simulators. Nature Physics 8, 285–291 (2012).
O'Brien, J. L., Furusawa, A. & Vučković, J. Photonic quantum technologies. Nature Photonics 3, 687 (2009).
Knill, E., Laflamme, R. & Milburn, G. A scheme for efficient quantum computation with linear optics. Nature 409, 46 (2001).
Scheel, S. & Lütkenhaus, N. Upper bounds on success probabilities in linear optics. New J. Phys. 6, 51 (2004).
Eisert, J. Optimizing linear optics quantum gates. Phys. Rev. Lett. 95, 040502 (2005).
Pittman, T. B., Jacobs, B. C. & Franson, J. D. Probabilistic quantum logic operations using polarizing beam splitters. Phys. Rev. A 64, 062311 (2001).
Knill, E. Quantum gates using linear optics and postselection. Phys. Rev. A 66, 052306 (2002).
Ralph, T. C., White, A. G., Munro, W. J. & Milburn, G. J. Simple scheme for efficient linear optics quantum gates. Phys. Rev. A 65, 012314 (2001).
Uskov, D. B., Kaplan, L., Smith, A. M., Huver, S. D. & Dowling, J. P. Maximal success probabilities of linearoptical quantum gates. Phys. Rev. A 79, 042326 (2009).
Kok, P. et al. Linear optical quantum computing with photonic qubits. Rev. Mod. Phys. 79, 135–174 (2007).
Pittman, T. B., Jacobs, B. C. & Franson, J. D. Demonstration of nondeterministic quantum logic operations using linear optical elements. Phys. Rev. Lett. 88, 257902 (2002).
Pittman, T. B., Fitch, M. J., Jacobs, B. C. & Franson, J. D. Experimental controllednot logic gate for single photons in the coincidence basis. Phys. Rev. A 68, 032316 (2003).
Franson, J. D., Jacobs, B. C. & Pittman, T. B. Quantum computing using single photons and the zeno effect. Phys. Rev. A 70, 062302 (2004).
Leung, P. M. & Ralph, T. C. Optical zeno gate: bounds for fault tolerant operation. New J. Phys. 9, 224 (2007).
Dunningham, J. & Vedral, V. Nonlocality of a single particle. Phys. Rev. Lett. 99, 180404 (2007).
Berry, D. W. & Lvovsky, A. I. Linearoptical processing cannot increase photon efficiency. Phys. Rev. Lett. 105, 203601 (2010).
Verstraete, F., Wolf, M. M. & Ignacio Cirac, J. Quantum computation and quantumstate engineering driven by dissipation. Nat Phys 5, 633–636 (2009).
Nielsen, M. & Chuang, I. Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, England, 2000).
Reck, M., Zeilinger, A., Bernstein, H. J. & Bertani, P. Experimental realization of any discrete unitary operator. Phys. Rev. Lett. 73, 58–61 (1994).
Aaronson, S. & Arkhipov, A. The computational complexity of linear optics. (2010). arXiv:1011.3245.
Pegg, D. T., Phillips, L. S. & Barnett, S. M. Optical state truncation by projection synthesis. Phys. Rev. Lett. 81, 1604–1606 (1998).
Lee, H.W. & Kim, J. Quantum teleportation and Bell's inequality using singleparticle entanglement. Phys. Rev. A 63, 012305 (2000).
Milburn, G. J. Quantum optical Fredkin gate. Phys. Rev. Lett. 62, 2124–2127 (1989).
Lombardi, E., Sciarrino, F., Popescu, S. & De Martini, F. Teleportation of a vacuum onephoton qubit. Phys. Rev. Lett. 88, 070402 (2002).
Resch, K. J., Lundeen, J. S. & Steinberg, A. M. Quantum state preparation and conditional coherence. Phys. Rev. Lett. 88, 113601 (2002).
Lvovsky, A. I. & Mlynek, J. Quantumoptical catalysis: Generating nonclassical states of light by means of linear optics. Phys. Rev. Lett. 88, 250401 (2002).
Babichev, S. A., Ries, J. & Lvovsky, A. I. Quantum scissors: Teleportation of singlemode optical states by means of a nonlocal single photon. Europhys. Lett. 64, 1 (2003).
Babichev, S. A., Brezger, B. & Lvovsky, A. I. Remote preparation of a singlemode photonic qubit by measuring field quadrature noise. Phys. Rev. Lett. 92, 047903 (2004).
Lund, A. P. & Ralph, T. C. Nondeterministic gates for photonic singlerail quantum logic. Phys. Rev. A 66, 032307 (2002).
Wu, L.A. & Lidar, D. A. Qubits as parafermions. J. Math. Phys 43, 4506–4525 (2002).
Lütkenhaus, N., Calsamiglia, J. & Suominen, K.A. Bell measurements for teleportation. Phys. Rev. A 59, 3295–3300 (1999).
Calsamiglia, J. & Lütkenhaus, N. Maximum efficiency of a linearoptical Bellstate analyzer. Appl. Phys. B 72, 67–71 (2001).
Acknowledgements
L.A.W. is supported by the Basque Government (grant IT47210) and the Spanish MICINN (project No. FIS200912773C0202 and No. FIS201236673C0303). P.W. acknowledges support from the European Commission, QESSENCE (No. 248095), QUILMI (No. 295293) and the ERANet CHISTERA project QUASAR, the John Templeton Foundation, the Vienna Center for Quantum Science and Technology (VCQ), the Austrian Nanoinitiative NAP Platon, the Austrian Science Fund (FWF) through the SFB FoQuS (No. F4006N16), START (No. Y585N20) and the doctoral programme CoQuS, the Vienna Science and Technology Fund (WWTF) under grant ICT12041 and the Air Force Office of Scientific Research, Air Force Material Command, United States Air Force, under grant number FA86551113004. D.A.L. is supported by the National Science Foundation under grant No. PHY969969 and by the ARO MURI grant W911NF1110268.
Author information
Authors and Affiliations
Contributions
All authors contributed equally.
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Rights and permissions
This work is licensed under a Creative Commons AttributionNonCommercialNoDerivs 3.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/byncnd/3.0/
About this article
Cite this article
Wu, LA., Walther, P. & Lidar, D. Nogo theorem for passive singlerail linear optical quantum computing. Sci Rep 3, 1394 (2013). https://doi.org/10.1038/srep01394
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/srep01394
This article is cited by

Ondemand generation and characterization of a microwave timebin qubit
npj Quantum Information (2020)

Quantum computing with graphene plasmons
npj Quantum Information (2019)

Transmission losses in optical qubits for controlled teleportation
Quantum Information Processing (2017)

Teleporting photonic qudits using multimode quantum scissors
Scientific Reports (2013)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.