Creating controlled R1 gates in Q#?
$begingroup$
I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing
(Controlled X)([control],target);
However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried
(Controlled R1)([control],theta,target);
and get the following error:
The shape of the given tuple does not match the argument type.
From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.
To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.
quantum-gate q#
New contributor
$endgroup$
add a comment |
$begingroup$
I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing
(Controlled X)([control],target);
However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried
(Controlled R1)([control],theta,target);
and get the following error:
The shape of the given tuple does not match the argument type.
From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.
To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.
quantum-gate q#
New contributor
$endgroup$
add a comment |
$begingroup$
I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing
(Controlled X)([control],target);
However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried
(Controlled R1)([control],theta,target);
and get the following error:
The shape of the given tuple does not match the argument type.
From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.
To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.
quantum-gate q#
New contributor
$endgroup$
I know how to create controlled versions of gates like X, Y, Z. For example, a controlled X gate would be implemented by writing
(Controlled X)([control],target);
However, I've tried numerous times to create a controlled R1 gate with no success, and there are no examples available on the Q# documentation or elsewhere on the web from what I've seen. As an example of what I've attempted, I've tried
(Controlled R1)([control],theta,target);
and get the following error:
The shape of the given tuple does not match the argument type.
From what I gather the issue is that an X gate does not require any additional parameters, whereas an angle needs to be specified for the R1 gate to be well defined.
To see the relevant documentation, please visit R1 Operation, Q# Docs, and Operations and Functions, Q# Docs.
quantum-gate q#
quantum-gate q#
New contributor
New contributor
New contributor
asked 2 hours ago
Alex SAlex S
1303
1303
New contributor
New contributor
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));
.
This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...
$endgroup$
$begingroup$
I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
$endgroup$
– Alex S
1 hour ago
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
});
}
});
Alex S is a new contributor. Be nice, and check out our Code of Conduct.
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%2f5323%2fcreating-controlled-r1-gates-in-q%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$
If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));
.
This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...
$endgroup$
$begingroup$
I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
$endgroup$
– Alex S
1 hour ago
add a comment |
$begingroup$
If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));
.
This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...
$endgroup$
$begingroup$
I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
$endgroup$
– Alex S
1 hour ago
add a comment |
$begingroup$
If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));
.
This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...
$endgroup$
If the base operation takes several arguments, you need to enclose the corresponding arguments of the controlled version of the operation in parentheses to convert them into a single tuple. In your case, you need to call it as (Controlled R1)([control], (theta, target));
.
This is covered in the "Controlled" section of Q# type model documentation with Rz gate used as an example. I wonder how to make this information more discoverable...
answered 2 hours ago
Mariia MykhailovaMariia Mykhailova
1,500211
1,500211
$begingroup$
I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
$endgroup$
– Alex S
1 hour ago
add a comment |
$begingroup$
I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
$endgroup$
– Alex S
1 hour ago
$begingroup$
I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
$endgroup$
– Alex S
1 hour ago
$begingroup$
I was looking through the Operations and Functions section of the docs which is probably why I overlooked this. Just as a suggestion, it would probably be easier if they included examples of how to use these functors on the Microsoft.Quantum.Primitive gate pages. In any event, thanks for the help.
$endgroup$
– Alex S
1 hour ago
add a comment |
Alex S is a new contributor. Be nice, and check out our Code of Conduct.
Alex S is a new contributor. Be nice, and check out our Code of Conduct.
Alex S is a new contributor. Be nice, and check out our Code of Conduct.
Alex S is a new contributor. Be nice, and check out our Code of Conduct.
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%2f5323%2fcreating-controlled-r1-gates-in-q%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