Decompose a general two-qubit gate into general controlled-qubit gates
$begingroup$
We often seek to decompose multi-qubit unitaries into single-qubit rotations and controlled-rotations, minimising the latter or restricting to gates like CNOTs.
I'm interested in expressing a general 2-qubit unitary in the minimum total number of gates, which can include controlled general unitaries. That is, express $U_{4}$ with as few as possible gates in ${U_2,; |0⟩⟨0|mathbb{1} + |1⟩⟨1|U_2}$. While I could simply take the shortest decomposition to CNOTs and rotations (Vatan et al) and bring some rotations into the CNOTs, I suspect another formulation could add more control-unitaries to achieve fewer total gates.
How can I go about performing this decomposition algorithmically for any 2-qubit unitary?
This decomposition could be useful for easily extending distributed quantum simulators with the ability to effect general 2-qubit unitaries, which otherwise ad-hoc communication code.
quantum-gate circuit-construction gate-synthesis
$endgroup$
add a comment |
$begingroup$
We often seek to decompose multi-qubit unitaries into single-qubit rotations and controlled-rotations, minimising the latter or restricting to gates like CNOTs.
I'm interested in expressing a general 2-qubit unitary in the minimum total number of gates, which can include controlled general unitaries. That is, express $U_{4}$ with as few as possible gates in ${U_2,; |0⟩⟨0|mathbb{1} + |1⟩⟨1|U_2}$. While I could simply take the shortest decomposition to CNOTs and rotations (Vatan et al) and bring some rotations into the CNOTs, I suspect another formulation could add more control-unitaries to achieve fewer total gates.
How can I go about performing this decomposition algorithmically for any 2-qubit unitary?
This decomposition could be useful for easily extending distributed quantum simulators with the ability to effect general 2-qubit unitaries, which otherwise ad-hoc communication code.
quantum-gate circuit-construction gate-synthesis
$endgroup$
add a comment |
$begingroup$
We often seek to decompose multi-qubit unitaries into single-qubit rotations and controlled-rotations, minimising the latter or restricting to gates like CNOTs.
I'm interested in expressing a general 2-qubit unitary in the minimum total number of gates, which can include controlled general unitaries. That is, express $U_{4}$ with as few as possible gates in ${U_2,; |0⟩⟨0|mathbb{1} + |1⟩⟨1|U_2}$. While I could simply take the shortest decomposition to CNOTs and rotations (Vatan et al) and bring some rotations into the CNOTs, I suspect another formulation could add more control-unitaries to achieve fewer total gates.
How can I go about performing this decomposition algorithmically for any 2-qubit unitary?
This decomposition could be useful for easily extending distributed quantum simulators with the ability to effect general 2-qubit unitaries, which otherwise ad-hoc communication code.
quantum-gate circuit-construction gate-synthesis
$endgroup$
We often seek to decompose multi-qubit unitaries into single-qubit rotations and controlled-rotations, minimising the latter or restricting to gates like CNOTs.
I'm interested in expressing a general 2-qubit unitary in the minimum total number of gates, which can include controlled general unitaries. That is, express $U_{4}$ with as few as possible gates in ${U_2,; |0⟩⟨0|mathbb{1} + |1⟩⟨1|U_2}$. While I could simply take the shortest decomposition to CNOTs and rotations (Vatan et al) and bring some rotations into the CNOTs, I suspect another formulation could add more control-unitaries to achieve fewer total gates.
How can I go about performing this decomposition algorithmically for any 2-qubit unitary?
This decomposition could be useful for easily extending distributed quantum simulators with the ability to effect general 2-qubit unitaries, which otherwise ad-hoc communication code.
quantum-gate circuit-construction gate-synthesis
quantum-gate circuit-construction gate-synthesis
edited Feb 13 at 22:48
Blue♦
6,49641555
6,49641555
asked Feb 13 at 22:21
Anti EarthAnti Earth
2888
2888
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
A simple place to start would be to put all the controls on qubit #2, so that you can propagate all of the single-qubit operations on qubit #1 across the two-qubit operations and merge them together. That would give you a circuit with at most 8 gates:
--------C1-------C2-------C3---S5---
| | |
---S1---*---S2---*---S3---*----S4---
This is probably not minimal.
A general 4x4 unitary has 7+5+3+1=16 real parameters. Every single-qubit gate has three real parameters (Euler angles), and every two-qubit gate has four real parameters (Euler angles + phase kickback). So the above construction has 4*3 + 4*4 = 28 real parameters.
It is provable that you need at least three different controlled gates for some two-qubit operations. So the absolute best you could hope for is three of those and one single-qubit operation. But some of the degrees of freedom overlap, so I suspect you need more single-qubit gates.
$endgroup$
$begingroup$
This is a great start (and looks like the quantum shannon decomp), thanks very much! I suspect one can go shorter by controlling on both qubits, as does the smallest (I think?) decomp of SWAP (3 CNOTs)
$endgroup$
– Anti Earth
Feb 14 at 18:07
$begingroup$
As nicely explained here, the cosine-sine decomposition can decompose a 2-qubit U into 3 multiplexors (two of which feature 2 general unitaries, one of which features two Y rotations). Each multiplexor can be two controlled gates (one NOT-controlled, else an additional NOT is needed). So using controlled-unitaries and NOT gates, that's a worst case 9 ops. Allowing NOT-controlled (easy to code up) unitaries, that's 6 ops. Allowing multiplexors (not too difficult to code up), that's 3 ops.
$endgroup$
– Anti Earth
Feb 15 at 0:37
$begingroup$
@AntiEarth My reading of your question was that you would count a "multiplexor" as two separate gates. You may want to clarify exactly what your constraints are.
$endgroup$
– Craig Gidney
Feb 15 at 0:45
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "694"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5481%2fdecompose-a-general-two-qubit-gate-into-general-controlled-qubit-gates%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
A simple place to start would be to put all the controls on qubit #2, so that you can propagate all of the single-qubit operations on qubit #1 across the two-qubit operations and merge them together. That would give you a circuit with at most 8 gates:
--------C1-------C2-------C3---S5---
| | |
---S1---*---S2---*---S3---*----S4---
This is probably not minimal.
A general 4x4 unitary has 7+5+3+1=16 real parameters. Every single-qubit gate has three real parameters (Euler angles), and every two-qubit gate has four real parameters (Euler angles + phase kickback). So the above construction has 4*3 + 4*4 = 28 real parameters.
It is provable that you need at least three different controlled gates for some two-qubit operations. So the absolute best you could hope for is three of those and one single-qubit operation. But some of the degrees of freedom overlap, so I suspect you need more single-qubit gates.
$endgroup$
$begingroup$
This is a great start (and looks like the quantum shannon decomp), thanks very much! I suspect one can go shorter by controlling on both qubits, as does the smallest (I think?) decomp of SWAP (3 CNOTs)
$endgroup$
– Anti Earth
Feb 14 at 18:07
$begingroup$
As nicely explained here, the cosine-sine decomposition can decompose a 2-qubit U into 3 multiplexors (two of which feature 2 general unitaries, one of which features two Y rotations). Each multiplexor can be two controlled gates (one NOT-controlled, else an additional NOT is needed). So using controlled-unitaries and NOT gates, that's a worst case 9 ops. Allowing NOT-controlled (easy to code up) unitaries, that's 6 ops. Allowing multiplexors (not too difficult to code up), that's 3 ops.
$endgroup$
– Anti Earth
Feb 15 at 0:37
$begingroup$
@AntiEarth My reading of your question was that you would count a "multiplexor" as two separate gates. You may want to clarify exactly what your constraints are.
$endgroup$
– Craig Gidney
Feb 15 at 0:45
add a comment |
$begingroup$
A simple place to start would be to put all the controls on qubit #2, so that you can propagate all of the single-qubit operations on qubit #1 across the two-qubit operations and merge them together. That would give you a circuit with at most 8 gates:
--------C1-------C2-------C3---S5---
| | |
---S1---*---S2---*---S3---*----S4---
This is probably not minimal.
A general 4x4 unitary has 7+5+3+1=16 real parameters. Every single-qubit gate has three real parameters (Euler angles), and every two-qubit gate has four real parameters (Euler angles + phase kickback). So the above construction has 4*3 + 4*4 = 28 real parameters.
It is provable that you need at least three different controlled gates for some two-qubit operations. So the absolute best you could hope for is three of those and one single-qubit operation. But some of the degrees of freedom overlap, so I suspect you need more single-qubit gates.
$endgroup$
$begingroup$
This is a great start (and looks like the quantum shannon decomp), thanks very much! I suspect one can go shorter by controlling on both qubits, as does the smallest (I think?) decomp of SWAP (3 CNOTs)
$endgroup$
– Anti Earth
Feb 14 at 18:07
$begingroup$
As nicely explained here, the cosine-sine decomposition can decompose a 2-qubit U into 3 multiplexors (two of which feature 2 general unitaries, one of which features two Y rotations). Each multiplexor can be two controlled gates (one NOT-controlled, else an additional NOT is needed). So using controlled-unitaries and NOT gates, that's a worst case 9 ops. Allowing NOT-controlled (easy to code up) unitaries, that's 6 ops. Allowing multiplexors (not too difficult to code up), that's 3 ops.
$endgroup$
– Anti Earth
Feb 15 at 0:37
$begingroup$
@AntiEarth My reading of your question was that you would count a "multiplexor" as two separate gates. You may want to clarify exactly what your constraints are.
$endgroup$
– Craig Gidney
Feb 15 at 0:45
add a comment |
$begingroup$
A simple place to start would be to put all the controls on qubit #2, so that you can propagate all of the single-qubit operations on qubit #1 across the two-qubit operations and merge them together. That would give you a circuit with at most 8 gates:
--------C1-------C2-------C3---S5---
| | |
---S1---*---S2---*---S3---*----S4---
This is probably not minimal.
A general 4x4 unitary has 7+5+3+1=16 real parameters. Every single-qubit gate has three real parameters (Euler angles), and every two-qubit gate has four real parameters (Euler angles + phase kickback). So the above construction has 4*3 + 4*4 = 28 real parameters.
It is provable that you need at least three different controlled gates for some two-qubit operations. So the absolute best you could hope for is three of those and one single-qubit operation. But some of the degrees of freedom overlap, so I suspect you need more single-qubit gates.
$endgroup$
A simple place to start would be to put all the controls on qubit #2, so that you can propagate all of the single-qubit operations on qubit #1 across the two-qubit operations and merge them together. That would give you a circuit with at most 8 gates:
--------C1-------C2-------C3---S5---
| | |
---S1---*---S2---*---S3---*----S4---
This is probably not minimal.
A general 4x4 unitary has 7+5+3+1=16 real parameters. Every single-qubit gate has three real parameters (Euler angles), and every two-qubit gate has four real parameters (Euler angles + phase kickback). So the above construction has 4*3 + 4*4 = 28 real parameters.
It is provable that you need at least three different controlled gates for some two-qubit operations. So the absolute best you could hope for is three of those and one single-qubit operation. But some of the degrees of freedom overlap, so I suspect you need more single-qubit gates.
edited Feb 13 at 23:07
answered Feb 13 at 22:33
Craig GidneyCraig Gidney
4,576320
4,576320
$begingroup$
This is a great start (and looks like the quantum shannon decomp), thanks very much! I suspect one can go shorter by controlling on both qubits, as does the smallest (I think?) decomp of SWAP (3 CNOTs)
$endgroup$
– Anti Earth
Feb 14 at 18:07
$begingroup$
As nicely explained here, the cosine-sine decomposition can decompose a 2-qubit U into 3 multiplexors (two of which feature 2 general unitaries, one of which features two Y rotations). Each multiplexor can be two controlled gates (one NOT-controlled, else an additional NOT is needed). So using controlled-unitaries and NOT gates, that's a worst case 9 ops. Allowing NOT-controlled (easy to code up) unitaries, that's 6 ops. Allowing multiplexors (not too difficult to code up), that's 3 ops.
$endgroup$
– Anti Earth
Feb 15 at 0:37
$begingroup$
@AntiEarth My reading of your question was that you would count a "multiplexor" as two separate gates. You may want to clarify exactly what your constraints are.
$endgroup$
– Craig Gidney
Feb 15 at 0:45
add a comment |
$begingroup$
This is a great start (and looks like the quantum shannon decomp), thanks very much! I suspect one can go shorter by controlling on both qubits, as does the smallest (I think?) decomp of SWAP (3 CNOTs)
$endgroup$
– Anti Earth
Feb 14 at 18:07
$begingroup$
As nicely explained here, the cosine-sine decomposition can decompose a 2-qubit U into 3 multiplexors (two of which feature 2 general unitaries, one of which features two Y rotations). Each multiplexor can be two controlled gates (one NOT-controlled, else an additional NOT is needed). So using controlled-unitaries and NOT gates, that's a worst case 9 ops. Allowing NOT-controlled (easy to code up) unitaries, that's 6 ops. Allowing multiplexors (not too difficult to code up), that's 3 ops.
$endgroup$
– Anti Earth
Feb 15 at 0:37
$begingroup$
@AntiEarth My reading of your question was that you would count a "multiplexor" as two separate gates. You may want to clarify exactly what your constraints are.
$endgroup$
– Craig Gidney
Feb 15 at 0:45
$begingroup$
This is a great start (and looks like the quantum shannon decomp), thanks very much! I suspect one can go shorter by controlling on both qubits, as does the smallest (I think?) decomp of SWAP (3 CNOTs)
$endgroup$
– Anti Earth
Feb 14 at 18:07
$begingroup$
This is a great start (and looks like the quantum shannon decomp), thanks very much! I suspect one can go shorter by controlling on both qubits, as does the smallest (I think?) decomp of SWAP (3 CNOTs)
$endgroup$
– Anti Earth
Feb 14 at 18:07
$begingroup$
As nicely explained here, the cosine-sine decomposition can decompose a 2-qubit U into 3 multiplexors (two of which feature 2 general unitaries, one of which features two Y rotations). Each multiplexor can be two controlled gates (one NOT-controlled, else an additional NOT is needed). So using controlled-unitaries and NOT gates, that's a worst case 9 ops. Allowing NOT-controlled (easy to code up) unitaries, that's 6 ops. Allowing multiplexors (not too difficult to code up), that's 3 ops.
$endgroup$
– Anti Earth
Feb 15 at 0:37
$begingroup$
As nicely explained here, the cosine-sine decomposition can decompose a 2-qubit U into 3 multiplexors (two of which feature 2 general unitaries, one of which features two Y rotations). Each multiplexor can be two controlled gates (one NOT-controlled, else an additional NOT is needed). So using controlled-unitaries and NOT gates, that's a worst case 9 ops. Allowing NOT-controlled (easy to code up) unitaries, that's 6 ops. Allowing multiplexors (not too difficult to code up), that's 3 ops.
$endgroup$
– Anti Earth
Feb 15 at 0:37
$begingroup$
@AntiEarth My reading of your question was that you would count a "multiplexor" as two separate gates. You may want to clarify exactly what your constraints are.
$endgroup$
– Craig Gidney
Feb 15 at 0:45
$begingroup$
@AntiEarth My reading of your question was that you would count a "multiplexor" as two separate gates. You may want to clarify exactly what your constraints are.
$endgroup$
– Craig Gidney
Feb 15 at 0:45
add a comment |
Thanks for contributing an answer to Quantum Computing Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5481%2fdecompose-a-general-two-qubit-gate-into-general-controlled-qubit-gates%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown