# Rearranging equation in Dirac-notation for 3 particles (quantumteleportation)

1. Jun 30, 2009

### keen23

Hello all!
I try to follow the computation in my textbook (nielsen, quantum computation) and miss a step.

1. The problem statement, all variables and given/known data
They say the following state
$$|p\rangle=\frac{1}{2}\big[a (|0\rangle+|1\rangle)(|00\rangle+|11\rangle)+b(|0\rangle-|1\rangle)(|10\rangle+|01\rangle)\big]$$
could be rearranged to
$$|p\rangle=\frac{1}{2}\big[|00\rangle(a|0\rangle+b |1\rangle)+|01\rangle(a|1\rangle+b|0\rangle)+|10\rangle(a|0\rangle-b|1\rangle)+|11\rangle(a|1\rangle-b|0\rangle)}\big]$$.

But I don't see how.

(The start state comes from combining an arbitrary state a|0>+b|1> with an epr-pair in bell-state, then using CNOT for particles 1 and 2, then Hadamardgate on particle 1, well, I think that's not important for my question).

2. Relevant equations

3. The attempt at a solution
With normal expansion I get:
$$|p\rangle=\frac{1}{2}\big[a|0\rangle|00\rangle+a|0\rangle|11\rangle+a|1\rangle|00\rangle+a|1\rangle|11\rangle+b|0\rangle|10\rangle+b|0\rangle|01\rangle-b|1\rangle|10\rangle-b|1\rangle|01\rangle$$
$$=|00\rangle a(|0\rangle +|1\rangle )+|01\rangle b(|0\rangle -|1\rangle )+|10\rangle b(|0\rangle -|1\rangle )+|11\rangle a(|0\rangle +|1\rangle )$$

So "normal" expansion seems not to be the right way, but how shall I do it? Even if I think about the physical meaning I don't see what's wrong.
Maybe someone has more experience?
Thanks for your help!

2. Jun 30, 2009

### Hurkyl

Staff Emeritus
I think your mistake is that you're setting |00>|1> and |1>|00> equal -- but surely the first one equals |001> and the second equals |100>, which are different?

3. Jun 30, 2009

### keen23

Oh no! Yes, sure. that was my mistake.
Thank you!
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.875506579875946, "perplexity": 3186.5196009929286}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-13/segments/1521257648177.88/warc/CC-MAIN-20180323024544-20180323044544-00464.warc.gz"}