Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2011.14713 · Physical Review Applied

Low-Cost Fredkin Gate with Auxiliary Space

Wen‐Qiang Liu, Hai‐Rui Wei, L. C. Kwek

Published Nov 23, 2020• 63 citations
arXivHTMLPDF

Abstract

Effective quantum information processing is tantamount in part to minimization of the quantum resources needed by quantum logic gates. Here, we propose an optimization of an $n$-controlled-qubit Fredkin gate with a maximum of $2n+1$ two-qubit gates and $2n$ single-qudit gates by exploiting auxiliary Hilbert spaces. The number of logic gates required improves on earlier results on simulating arbitrary $n$-qubit Fredkin gates. In particular, the optimal result for a one-controlled-qubit Fredkin gate (which requires three qutrit-qubit partial-swap gates) breaks the theoretical nonconstructive lower bound of five two-qubit gates. Furthermore, using an additional spatial-mode degree of freedom, we design a possible architecture to implement a polarization-encoded Fredkin gate with linear optical elements.

DOI
10.1103/physrevapplied.14.054057

Related papers

Optimal synthesis of the Fredkin gate in a multilevel system

Wen-Qiang Liu, Hai-Rui Wei

Abstract The optimal cost of a three-qubit Fredkin gate is 5 two-qubit entangling gates, and the overhead climbs to 8 when restricted to controlled-not (CNOT) gates. By harnessing higher-dimensional Hilbert spaces, we reduce the cost of a three-qubit Fredkin gate from 8 CNOTs to 5 nearest-neighbor CNOTs. We also present a construction of an n-control-qubit Fredkin gate with 2n + 3 CNOTs and 2n single-qudit operations. Finally, we design deterministic and non-deterministic three-qubit Fredkin gates in photonic architectures. The cost of a non-deterministic three-qubit Fredkin gate is further reduced to 4 nearest-neighbor CNOTs, and the success of such a gate is heralded by a single-photon detector. Our insights bridge the gap between the theoretical lower bound and the current best result for the n-qubit quantum computation.

arXiv:2004.03134•New Journal of Physics•Apr 28, 2020•46 citations

Efficient and deterministic high-dimensional controlled-swap gates on hybrid linear optical systems with high fidelity

Gui-Long Jiang, Jun-Bin Yuan, Wen-Qiang Liu +1 more

Implementation of quantum logic gates with linear optical elements plays a prominent role in quantum computing due to the relatively easier manipulation and realization. We present efficient schemes to implement controlled-NOT (CNOT) gate and controlled-swap (Fredkin) gate by solely using linear optics. We encode the control qubits and target qudits in photonic polarization (two-level) and spatial degrees of freedom ($d$-level), respectively. Based on the hybrid encoding, CNOT and Fredkin gates are constructed in a deterministic way without any borrowed ancillary photons or measurement-induced nonlinearities. Remarkably, the number of linear optics required to implement a CNOT gate has been reduced to one polarization beam splitter (PBS), while only $d$ PBSs are necessary to implement a generalized Fredkin gate. The optical depths of all schemes are reduced to one and dimension-independent. Besides, the fidelity of our three-qubit Fredkin gate is higher than 99.7\% under realistic conditions, which is higher than the previous schemes.

quant-pharXiv:2602.09393•Feb 11, 2026•0 citations

Optimal simulation of three-qubit gates

Nengkun Yu, Mingsheng Ying

In this paper, we study the optimal simulation of three-qubit unitary by using two-qubit gates. First, we give a lower bound on the two-qubit gates cost of simulating a multi-qubit gate. Secondly, we completely characterize the two-qubit gate cost of simulating a three-qubit controlled controlled gate by generalizing our result on the cost of Toffoli gate. The function of controlled controlled gate is simply a three-qubit controlled unitary gate and can be intuitively explained as follows: the gate will output the states of the two control qubit directly, and apply the given one-qubit unitary $u$ on the target qubit only if both the states of the control are $\ket{1}$. Previously, it is only known that five two-qubit gates is sufficient for implementing such a gate [Sleator and Weinfurter, Phys. Rev. Lett. 74, 4087 (1995)]. Our result shows that if the determinant of $u$ is 1, four two-qubit gates is achievable optimal. Otherwise, five is optimal. Thirdly, we show that five two-qubit gates are necessary and sufficient for implementing the Fredkin gate(the controlled swap gate), which settles the open problem introduced in [Smolin and DiVincenzo, Phys. Rev. A, 53, 2855 (1996)]. The Fredkin gate is one of the most important quantum logic gates because it is universal alone for classical reversible computation, and thus with little help, universal for quantum computation. Before our work, a five two-qubit gates decomposition of the Fredkin gate was already known, and numerical evidence of showing five is optimal is found.

arXiv:1301.3727•Jan 16, 2013•2 citations

Efficient and deterministic high-dimensional controlled-swap gates on hybrid linear optical systems with high fidelity

Gui‐Long Jiang, Jun-Bin Yuan, Wen‐Qiang Liu +1 more

Implementation of quantum logic gates with linear optical elements plays a prominent role in quantum computing due to their relatively easy manipulation and realization. We present efficient schemes to implement controlled-not (cnot) gates and controlled-swap (Fredkin) gates by using solely linear optics. We encode the control qubits and target qudits in photonic polarization (two-level) and spatial degrees of freedom ($d$ level), respectively. On the basis of the hybrid encoding, cnot and Fredkin gates are constructed in a deterministic way without any borrowed ancillary photons or measurement-induced nonlinearities. Remarkably, the number of linear optics required to implement a cnot gate has been reduced to one polarizing beam splitter, while only $d$ polarizing beam splitters are necessary to implement a generalized Fredkin gate. The optical depths of all schemes are reduced to 1 and and are dimension independent. Besides, the fidelity of our three-qubit Fredkin gate is higher than 99.7% under realistic conditions, which is higher than in previous schemes.

Physical Review Applied•Jan 2, 2024•40 citations

Implementation of a quantum Fredkin gate using an entanglement resource

Franck Ferreyrol, Timothy C. Ralph, Geoff J. Pryde

Summary form only given. Photonic qubit logic provides flexible, low noise scheme for quantum information processing. However, implementation of increasing scale requires numbers of resources beyond what is readily available. A recent demonstration [1] has shown how to add a control operation to existing unitary transformations, providing a practical method for moving to medium-scale quantum circuits. Here we use the entanglement-based version of this scheme to implement a complex quantum gate - the Fredkin, or 3-qubit swap gate - with significantly less resources than its decomposition into a 2-qubit gate array.In the technique proposed in [1], the Hilbert space is expended in order to have a four-level system for each qubit. Each system is composed of a qubit sub-system on which the target operation acts, and a second qubit sub-system, which remains unaffected. The control is added by gates that switch between the different subsystems according to the control qubit. Despite its conceptual simplicity, this technique still uses too many gates for practical implementations with current photonic technology. A more feasible way is a version that replaces the gates with pre-existing entanglement between the gates with qubit system and the second subsystem. The experiment is based on four possible photon pairs -called x, o, s and e - with photons either only in x and e, leading to the swapping, or only in o and s, leading to no swapping (Fig. 1). Each qubit is encoded twice and the two last modes are only used for triggering. The coincidences and the polarization beam splitter on two first mode ensure that the possibilities for the origin of the photons are linked to the state of the control qubit.The four possible photon pairs are encoding in the polarization mode coming from two polarization entangling down-conversion crystals. One crystal give a photon pair either in modes x or o and the second one a pair in mode s or e . We then separate spatially the polarization mode using beam displacer or Sagnac interferometers to preserve the phase stability (Fig . 2) . From the simulation we expect a fidelity around 85% for the truth table.

Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC)•May 1, 2013•2 citations

A quantum Fredkin gate (Conference Presentation)

Raj B. Patel, Joseph Ho, Franck Ferreyrol +2 more

One of the greatest challenges in modern science is the realisation of quantum computers which, as their scale increases, will allow enhanced performance of tasks across many areas of quantum information processing. Quantum logic gates play a vital role in realising these applications by carrying out the elementary operations on the qubits; a key aim is minimising the resources needed to build these gates into useful circuits. While the salient features of a quantum computer have been shown in proof-of-principle experiments, e.g., single- and two-qubit gates, difficulties in scaling quantum systems to encode and manipulate multiple qubits has hindered demonstrations of more complex operations. This is exemplified by the classical Fredkin (or controlled-SWAP) gate [1] for which, despite many theoretical proposals [2,3] relying on concatenating multiple two-qubit gates, a quantum analogue has yet to be realised. Here, by directly adding control to a two-qubit SWAP unitary [4], we use photonic qubit logic to report the first experimental demonstration of a quantum Fredkin gate [5]. Our scheme uses linear optics and improves on the overall probability of success by an order of magnitude over previous proposals [2,3]. This optical approach allows us to add control an arbitrary black-box unitary which is otherwise forbidden in the standard circuit model [6]. Additionally, the action of our gate exhibits quantum coherence allowing the generation of the highest fidelity three-photon GHZ states to date. The quantum Fredkin gate has many applications in quantum computing, quantum measurements [7] and cryptography [8,9]. Using our scheme, we apply the Fredkin gate to the task of direct measurements of the purity and state overlap of a quantum system [7] without recourse to quantum state tomography.

•Dec 7, 2016•0 citations
Effective quantum information processing is tantamount in part to minimization of the quantum resources needed by quantum logic gates. Here, we propose an optimization of an nnn-controlled-qubit Fredkin gate with a maximum of 2n+12n+12n+1 two-qubit gates and 2n2n2n single-qudit gates by exploiting auxiliary Hilbert spaces. The number of logic gates required improves on earlier results on simulating arbitrary nnn-qubit Fredkin gates. In particular, the optimal result for a one-controlled-qubit Fredkin gate (which requires three qutrit-qubit partial-swap gates) breaks the theoretical nonconstructive lower bound of five two-qubit gates. Furthermore, using an additional spatial-mode degree of freedom, we design a possible architecture to implement a polarization-encoded Fredkin gate with linear optical elements.
Abstract The optimal cost of a three-qubit Fredkin gate is 5 two-qubit entangling gates, and the overhead climbs to 8 when restricted to controlled-not (CNOT) gates. By harnessing higher-dimensional Hilbert spaces, we reduce the cost of a three-qubit Fredkin gate from 8 CNOTs to 5 nearest-neighbor CNOTs. We also present a construction of an n-control-qubit Fredkin gate with 2n + 3 CNOTs and 2n single-qudit operations. Finally, we design deterministic and non-deterministic three-qubit Fredkin gates in photonic architectures. The cost of a non-deterministic three-qubit Fredkin gate is further reduced to 4 nearest-neighbor CNOTs, and the success of such a gate is heralded by a single-photon detector. Our insights bridge the gap between the theoretical lower bound and the current best result for the n-qubit quantum computation.
Implementation of quantum logic gates with linear optical elements plays a prominent role in quantum computing due to the relatively easier manipulation and realization. We present efficient schemes to implement controlled-NOT (CNOT) gate and controlled-swap (Fredkin) gate by solely using linear optics. We encode the control qubits and target qudits in photonic polarization (two-level) and spatial degrees of freedom (ddd-level), respectively. Based on the hybrid encoding, CNOT and Fredkin gates are constructed in a deterministic way without any borrowed ancillary photons or measurement-induced nonlinearities. Remarkably, the number of linear optics required to implement a CNOT gate has been reduced to one polarization beam splitter (PBS), while only ddd PBSs are necessary to implement a generalized Fredkin gate. The optical depths of all schemes are reduced to one and dimension-independent. Besides, the fidelity of our three-qubit Fredkin gate is higher than 99.7\% under realistic conditions, which is higher than the previous schemes.
In this paper, we study the optimal simulation of three-qubit unitary by using two-qubit gates. First, we give a lower bound on the two-qubit gates cost of simulating a multi-qubit gate. Secondly, we completely characterize the two-qubit gate cost of simulating a three-qubit controlled controlled gate by generalizing our result on the cost of Toffoli gate. The function of controlled controlled gate is simply a three-qubit controlled unitary gate and can be intuitively explained as follows: the gate will output the states of the two control qubit directly, and apply the given one-qubit unitary uuu on the target qubit only if both the states of the control are ∣1⟩\ket{1}∣1⟩. Previously, it is only known that five two-qubit gates is sufficient for implementing such a gate [Sleator and Weinfurter, Phys. Rev. Lett. 74, 4087 (1995)]. Our result shows that if the determinant of uuu is 1, four two-qubit gates is achievable optimal. Otherwise, five is optimal. Thirdly, we show that five two-qubit gates are necessary and sufficient for implementing the Fredkin gate(the controlled swap gate), which settles the open problem introduced in [Smolin and DiVincenzo, Phys. Rev. A, 53, 2855 (1996)]. The Fredkin gate is one of the most important quantum logic gates because it is universal alone for classical reversible computation, and thus with little help, universal for quantum computation. Before our work, a five two-qubit gates decomposition of the Fredkin gate was already known, and numerical evidence of showing five is optimal is found.
Implementation of quantum logic gates with linear optical elements plays a prominent role in quantum computing due to their relatively easy manipulation and realization. We present efficient schemes to implement controlled-not (cnot) gates and controlled-swap (Fredkin) gates by using solely linear optics. We encode the control qubits and target qudits in photonic polarization (two-level) and spatial degrees of freedom (ddd level), respectively. On the basis of the hybrid encoding, cnot and Fredkin gates are constructed in a deterministic way without any borrowed ancillary photons or measurement-induced nonlinearities. Remarkably, the number of linear optics required to implement a cnot gate has been reduced to one polarizing beam splitter, while only ddd polarizing beam splitters are necessary to implement a generalized Fredkin gate. The optical depths of all schemes are reduced to 1 and and are dimension independent. Besides, the fidelity of our three-qubit Fredkin gate is higher than 99.7% under realistic conditions, which is higher than in previous schemes.
Summary form only given. Photonic qubit logic provides flexible, low noise scheme for quantum information processing. However, implementation of increasing scale requires numbers of resources beyond what is readily available. A recent demonstration [1] has shown how to add a control operation to existing unitary transformations, providing a practical method for moving to medium-scale quantum circuits. Here we use the entanglement-based version of this scheme to implement a complex quantum gate - the Fredkin, or 3-qubit swap gate - with significantly less resources than its decomposition into a 2-qubit gate array.In the technique proposed in [1], the Hilbert space is expended in order to have a four-level system for each qubit. Each system is composed of a qubit sub-system on which the target operation acts, and a second qubit sub-system, which remains unaffected. The control is added by gates that switch between the different subsystems according to the control qubit. Despite its conceptual simplicity, this technique still uses too many gates for practical implementations with current photonic technology. A more feasible way is a version that replaces the gates with pre-existing entanglement between the gates with qubit system and the second subsystem. The experiment is based on four possible photon pairs -called x, o, s and e - with photons either only in x and e, leading to the swapping, or only in o and s, leading to no swapping (Fig. 1). Each qubit is encoded twice and the two last modes are only used for triggering. The coincidences and the polarization beam splitter on two first mode ensure that the possibilities for the origin of the photons are linked to the state of the control qubit.The four possible photon pairs are encoding in the polarization mode coming from two polarization entangling down-conversion crystals. One crystal give a photon pair either in modes x or o and the second one a pair in mode s or e . We then separate spatially the polarization mode using beam displacer or Sagnac interferometers to preserve the phase stability (Fig . 2) . From the simulation we expect a fidelity around 85% for the truth table.
One of the greatest challenges in modern science is the realisation of quantum computers which, as their scale increases, will allow enhanced performance of tasks across many areas of quantum information processing. Quantum logic gates play a vital role in realising these applications by carrying out the elementary operations on the qubits; a key aim is minimising the resources needed to build these gates into useful circuits. While the salient features of a quantum computer have been shown in proof-of-principle experiments, e.g., single- and two-qubit gates, difficulties in scaling quantum systems to encode and manipulate multiple qubits has hindered demonstrations of more complex operations. This is exemplified by the classical Fredkin (or controlled-SWAP) gate [1] for which, despite many theoretical proposals [2,3] relying on concatenating multiple two-qubit gates, a quantum analogue has yet to be realised. Here, by directly adding control to a two-qubit SWAP unitary [4], we use photonic qubit logic to report the first experimental demonstration of a quantum Fredkin gate [5]. Our scheme uses linear optics and improves on the overall probability of success by an order of magnitude over previous proposals [2,3]. This optical approach allows us to add control an arbitrary black-box unitary which is otherwise forbidden in the standard circuit model [6]. Additionally, the action of our gate exhibits quantum coherence allowing the generation of the highest fidelity three-photon GHZ states to date. The quantum Fredkin gate has many applications in quantum computing, quantum measurements [7] and cryptography [8,9]. Using our scheme, we apply the Fredkin gate to the task of direct measurements of the purity and state overlap of a quantum system [7] without recourse to quantum state tomography.