Kdtyjb

At what level can a party fight a mimic?

The need of reserving one's ability in job interviews

How to lift/raise/repair a segment of concrete slab?

What type of investment is best suited for a 1-year investment on a down payment?

Toast materialize

In iTunes 12 on macOS, how can I reset the skip count of a song?

How can I create a Table like this in Latex?

Plagiarism of code by other PhD student

Is it possible to convert a suspension fork to rigid by drilling it?

Are small insurances worth it

How do I deal with being jealous of my own players?

It took me a lot of time to make this, pls like. (YouTube Comments #1)

How can I handle a player who pre-plans arguments about my rulings on RAW?

How to substitute values from a list into a function?

Canadian citizen, on US no-fly list. What can I do in order to be allowed on flights which go through US airspace?

What is a term for a function that when called repeatedly, has the same effect as calling once?

What are all the squawk codes?

Real life puzzle: Unknown alphabet or shorthand

Skis versus snow shoes - when to choose which for travelling the backcountry?

Why doesn't Object.keys return a keyof type in TypeScript?

If a set is open, does that imply that it has no boundary points?

What is better: yes / no radio, or simple checkbox?

I can't die. Who am I?

Don't know what I’m looking for regarding removable HDDs?

POVM three-qubit circuit for symmetric quantum states

Positive maps on pure states?Embedding classical information into norm of a quantum stateWhy does the “Phase Kickback” mechanism work in the Quantum phase estimation algorithm?SWAP gate(s) in the $R(lambda^{-1})$ step of the HHL circuit for $4times 4$ systemsInner product of quantum statesDecomposition of arbitrary 2 qubit operatorUnderstanding the Group Leaders Optimization AlgorithmThree sender quantum simultaneous decoder conjectureHow to analyze highly entangled quantum circuits?How to formulate the master equation for three systems?

4

$begingroup$

I have been reading this paper but don't yet understand how to implement a circuit to determine in which state the qubit is not for a cyclic POVM. More specifically, I want to implement a cyclic POVM with $m=3$;

Update: I came across having to implement this unitary matrix:
$$
M=
frac{1}{sqrt{2}}left[ {begin{array}{cc}
1 & 1 \
1 & w \
end{array} } right]
$$
Where $w$ is a third root of unity using rotations, after which I am stuck.

quantum-state quantum-information circuit-construction mathematics quantum-operation

share|improve this question

edited yesterday

xbk365

asked yesterday

xbk365xbk365

213

New contributor

xbk365 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

4

$begingroup$

I have been reading this paper but don't yet understand how to implement a circuit to determine in which state the qubit is not for a cyclic POVM. More specifically, I want to implement a cyclic POVM with $m=3$;

Update: I came across having to implement this unitary matrix:
$$
M=
frac{1}{sqrt{2}}left[ {begin{array}{cc}
1 & 1 \
1 & w \
end{array} } right]
$$
Where $w$ is a third root of unity using rotations, after which I am stuck.

quantum-state quantum-information circuit-construction mathematics quantum-operation

share|improve this question

edited yesterday

xbk365

asked yesterday

xbk365xbk365

213

New contributor

xbk365 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

add a comment | 

$begingroup$

I have been reading this paper but don't yet understand how to implement a circuit to determine in which state the qubit is not for a cyclic POVM. More specifically, I want to implement a cyclic POVM with $m=3$;

Update: I came across having to implement this unitary matrix:
$$
M=
frac{1}{sqrt{2}}left[ {begin{array}{cc}
1 & 1 \
1 & w \
end{array} } right]
$$
Where $w$ is a third root of unity using rotations, after which I am stuck.

quantum-state quantum-information circuit-construction mathematics quantum-operation

share|improve this question

edited yesterday

xbk365

asked yesterday

xbk365xbk365

213

New contributor

xbk365 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

$endgroup$

share|improve this question

edited yesterday

xbk365

asked yesterday

xbk365xbk365

213

New contributor

xbk365 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

share|improve this question

edited yesterday

xbk365

asked yesterday

xbk365xbk365

213

New contributor

xbk365 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked yesterday

xbk365xbk365

213

New contributor

xbk365 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.

asked yesterday

xbk365xbk365

213

1 Answer
1

active

oldest

votes

4

$begingroup$

This is not the unitary that you have to implement: you need a two-qubit unitary
$$
frac{1}{sqrt{3}}left(begin{array}{cccc}
1 & 1 & 1 & 0 \
1 & omega & omega^2 & 0 \
1 & omega^2 & omega & 0 \
0 & 0 & 0 & sqrt{3}
end{array}right),
$$
where $omega=e^{2ipi/3}$, the point being that if you introduce an ancilla qubit in the state 0, apply this unitary, and then measure in the computational basis, the 3 measurement outcomes 00, 01 and 10 correspond to the 3 POVM elements.

I don't (yet) have a circuit implementation for this. You'll see the paper you cite carefully avoids talking about the Fourier transform in non-power of 2 dimensions. You certainly could use the standard constructions based on Givens rotations, but the result is going to be fairly horrible.

Here's an attempt at a circuit. I've made a few tweaks since I last ran it through a computer to check, so it's always possible that a slight error has crept in, but broadly...

Here, I'm using $Z^r$ to denote
$$
left(begin{array}{cc} 1 & 0 \ 0 & e^{ipi r} end{array}right),
$$
and
$$
V=frac{1}{sqrt{3}}left(begin{array}{cc}
1 & sqrt{2} \ -sqrt{2} & 1
end{array}right).
$$

share|improve this answer

edited yesterday

answered yesterday

DaftWullieDaftWullie

14.5k1541

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Hmm, I was actually talking about F2, not the whole unitary. Or, I am missing something?
  $endgroup$
  – chubakueno
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @chubakueno You said you wanted $m=3$, which means you need $F_3$, which is a $3times 3$ matrix which we must embed into a $4times 4$ matrix if we're using qubits.
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I understand now. So, is there an example of IQFT for non power of twos there? I would be surprised to find there isn't, but what do I know.
  $endgroup$
  – chubakueno
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @chubakueno I didn't immediately find one. I've now constructed one for the $m=3$ case, but don't have time right now to write it into a circuit.
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @xbk365 once i’m done with the evening’s childcare responsibilities...
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  

 | 
show 1 more 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
});


}
});

xbk365 is a new contributor. Be nice, and check out our Code of Conduct.

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fquantumcomputing.stackexchange.com%2fquestions%2f5620%2fpovm-three-qubit-circuit-for-symmetric-quantum-states%23new-answer', 'question_page');
}
);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

This is not the unitary that you have to implement: you need a two-qubit unitary
$$
frac{1}{sqrt{3}}left(begin{array}{cccc}
1 & 1 & 1 & 0 \
1 & omega & omega^2 & 0 \
1 & omega^2 & omega & 0 \
0 & 0 & 0 & sqrt{3}
end{array}right),
$$
where $omega=e^{2ipi/3}$, the point being that if you introduce an ancilla qubit in the state 0, apply this unitary, and then measure in the computational basis, the 3 measurement outcomes 00, 01 and 10 correspond to the 3 POVM elements.

I don't (yet) have a circuit implementation for this. You'll see the paper you cite carefully avoids talking about the Fourier transform in non-power of 2 dimensions. You certainly could use the standard constructions based on Givens rotations, but the result is going to be fairly horrible.

Here's an attempt at a circuit. I've made a few tweaks since I last ran it through a computer to check, so it's always possible that a slight error has crept in, but broadly...

Here, I'm using $Z^r$ to denote
$$
left(begin{array}{cc} 1 & 0 \ 0 & e^{ipi r} end{array}right),
$$
and
$$
V=frac{1}{sqrt{3}}left(begin{array}{cc}
1 & sqrt{2} \ -sqrt{2} & 1
end{array}right).
$$

share|improve this answer

edited yesterday

answered yesterday

DaftWullieDaftWullie

14.5k1541

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Hmm, I was actually talking about F2, not the whole unitary. Or, I am missing something?
  $endgroup$
  – chubakueno
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @chubakueno You said you wanted $m=3$, which means you need $F_3$, which is a $3times 3$ matrix which we must embed into a $4times 4$ matrix if we're using qubits.
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I understand now. So, is there an example of IQFT for non power of twos there? I would be surprised to find there isn't, but what do I know.
  $endgroup$
  – chubakueno
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @chubakueno I didn't immediately find one. I've now constructed one for the $m=3$ case, but don't have time right now to write it into a circuit.
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @xbk365 once i’m done with the evening’s childcare responsibilities...
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  

 | 
show 1 more comment

4

$begingroup$

This is not the unitary that you have to implement: you need a two-qubit unitary
$$
frac{1}{sqrt{3}}left(begin{array}{cccc}
1 & 1 & 1 & 0 \
1 & omega & omega^2 & 0 \
1 & omega^2 & omega & 0 \
0 & 0 & 0 & sqrt{3}
end{array}right),
$$
where $omega=e^{2ipi/3}$, the point being that if you introduce an ancilla qubit in the state 0, apply this unitary, and then measure in the computational basis, the 3 measurement outcomes 00, 01 and 10 correspond to the 3 POVM elements.

I don't (yet) have a circuit implementation for this. You'll see the paper you cite carefully avoids talking about the Fourier transform in non-power of 2 dimensions. You certainly could use the standard constructions based on Givens rotations, but the result is going to be fairly horrible.

Here's an attempt at a circuit. I've made a few tweaks since I last ran it through a computer to check, so it's always possible that a slight error has crept in, but broadly...

Here, I'm using $Z^r$ to denote
$$
left(begin{array}{cc} 1 & 0 \ 0 & e^{ipi r} end{array}right),
$$
and
$$
V=frac{1}{sqrt{3}}left(begin{array}{cc}
1 & sqrt{2} \ -sqrt{2} & 1
end{array}right).
$$

share|improve this answer

edited yesterday

answered yesterday

DaftWullieDaftWullie

14.5k1541

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Hmm, I was actually talking about F2, not the whole unitary. Or, I am missing something?
  $endgroup$
  – chubakueno
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @chubakueno You said you wanted $m=3$, which means you need $F_3$, which is a $3times 3$ matrix which we must embed into a $4times 4$ matrix if we're using qubits.
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I understand now. So, is there an example of IQFT for non power of twos there? I would be surprised to find there isn't, but what do I know.
  $endgroup$
  – chubakueno
  yesterday
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @chubakueno I didn't immediately find one. I've now constructed one for the $m=3$ case, but don't have time right now to write it into a circuit.
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @xbk365 once i’m done with the evening’s childcare responsibilities...
  $endgroup$
  – DaftWullie
  yesterday
  

  
  
  
  

 | 
show 1 more comment

$begingroup$

This is not the unitary that you have to implement: you need a two-qubit unitary
$$
frac{1}{sqrt{3}}left(begin{array}{cccc}
1 & 1 & 1 & 0 \
1 & omega & omega^2 & 0 \
1 & omega^2 & omega & 0 \
0 & 0 & 0 & sqrt{3}
end{array}right),
$$
where $omega=e^{2ipi/3}$, the point being that if you introduce an ancilla qubit in the state 0, apply this unitary, and then measure in the computational basis, the 3 measurement outcomes 00, 01 and 10 correspond to the 3 POVM elements.

I don't (yet) have a circuit implementation for this. You'll see the paper you cite carefully avoids talking about the Fourier transform in non-power of 2 dimensions. You certainly could use the standard constructions based on Givens rotations, but the result is going to be fairly horrible.

Here's an attempt at a circuit. I've made a few tweaks since I last ran it through a computer to check, so it's always possible that a slight error has crept in, but broadly...

Here, I'm using $Z^r$ to denote
$$
left(begin{array}{cc} 1 & 0 \ 0 & e^{ipi r} end{array}right),
$$
and
$$
V=frac{1}{sqrt{3}}left(begin{array}{cc}
1 & sqrt{2} \ -sqrt{2} & 1
end{array}right).
$$

share|improve this answer

edited yesterday

answered yesterday

DaftWullieDaftWullie

14.5k1541

$endgroup$

share|improve this answer

edited yesterday

answered yesterday

DaftWullieDaftWullie

14.5k1541

answered yesterday

DaftWullieDaftWullie

14.5k1541

answered yesterday

DaftWullieDaftWullie

14.5k1541