q uantum g roup introduction quantum circuits spiders zx
play

Q UANTUM G ROUP Introduction Quantum circuits Spiders - PowerPoint PPT Presentation

Apr 13, 2023 •178 likes •1.19k views

Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Diagrammatic Reasoning and Quantum Computation Aleks Kissinger ACA, Kalamata November 4, 2015 Q UANTUM G ROUP Introduction Quantum circuits Spiders ZX-calculus MBQC

  1. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey As an equational theory • The good: • complete for Clifford circuits: � C 1 � = � C 2 � = ⇒ C 1 = E C 2 • unique normal forms • relatively compact (3 generators, 15 rules) • The bad: • rules are large, and don’t carry any intuition or algebraic structure • rewrite strategy is complicated (17 derived gates, 100 derived rules) • The ugly: • proof of completeness is extremely complicated ( > 100 pages long! though mostly machine-generated)

  2. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Can we do better? • Yes!

  3. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Can we do better? • Yes! • We can capture underlying algebraic structure by decomposing gates into smaller pieces ⊕ H ⊕ H H ⊕ Z α ⊕ H

  4. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Can we do better? • Yes! • We can capture underlying algebraic structure by decomposing gates into smaller pieces ⊕ H ⊕ H H ⊕ Z α ⊕ H

  5. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Decomposing CNOT ⊕

  6. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Decomposing CNOT ⊕

  7. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Decomposing CNOT ⊕ | i � | j �

  8. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Decomposing CNOT | i � ⊕ copy | i � | i � | j �

  9. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Decomposing CNOT | i � | i ⊕ j � ⊕ copy xor | i � | j �

  10. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps  | 00 � �→ | 0 �   �   | 0 � �→ | 00 � | 01 � �→ | 1 �  ⊕ | 1 � �→ | 11 � | 10 � �→ | 1 �     | 11 � �→ | 0 � 

  11. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps � � | 0 � �→ | 00 � | ++ � �→ | + � ⊕ | 1 � �→ | 11 � |−−� �→ |−�

  12. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps � � | 0 � �→ | 00 � | + � �→ | ++ � ⊕ | 1 � �→ | 11 � |−� �→ |−−�

  13. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps � � | 0 � �→ | 00 � | + � �→ | ++ � | 1 � �→ | 11 � |−� �→ |−−�

  14. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps � | 0 � �→ | 00 � | 1 � �→ | 11 �

  15. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps � � | 0 � �→ | 00 � | 0 � �→ 1 | 1 � �→ | 11 � | 1 � �→ 1

  16. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps � | 0 � �→ | 00 � � � 0 | + � 1 | | 1 � �→ | 11 �

  17. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey ‘Copy’ maps � | 0 � �→ | 00 � � � 0 | + � 1 | | 1 � �→ | 11 � � | 00 � �→ | 0 � � | 0 � + | 1 � | 11 � �→ | 1 �

  18. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Algebraic identities... These satisfy 8 identities: = = = = = = = ...making them a commutative Frobenius algebra .

  19. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey But luckily... ...you don’t need to remember all that! The only thing to remember is, for: ... � | 0 .. 0 � �→ | 0 ... 0 � := | 1 .. 1 � �→ | 1 ... 1 � ...

  20. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey But luckily... ...you don’t need to remember all that! The only thing to remember is, for: ... � | 0 .. 0 � �→ | 0 ... 0 � := | 1 .. 1 � �→ | 1 ... 1 � ... we have: ... ... ... = ... ... ... ...

  21. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey But luckily... ...you don’t need to remember all that! The only thing to remember is, for: ... � | 0 .. 0 � �→ | 0 ... 0 � := | 1 .. 1 � �→ | 1 ... 1 � ... we have: ... ... ... = ... ... ... ... or equivalently: =

  22. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey But luckily... ...you don’t need to remember all that! The only thing to remember is, for: ... � | + .. + � �→ | + ... + � := |− .. −� �→ |− ... −� ... we have: ... ... ... = ... ... ... ... or equivalently: =

  23. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey What about 2-colour diagrams? Direction of edges doesn’t matter: = =:

  24. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey What about 2-colour diagrams? Direction of edges doesn’t matter: = =: ...in fact, only topology matters : = =

  25. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Interaction: Hopf algebra Red + green spiders also satisfy: = = =

  26. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Interaction: Hopf algebra Red + green spiders also satisfy: = = = ...from which we can derive: = make the overall structure into a Hopf algebra

  27. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Circuit calculation ⊕ = ⊕ ⊕

  28. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Circuit calculation =

  29. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Circuit calculation = � � ⇐

  30. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Making spiders universal ... � | 0 .. 0 � �→ | 0 ... 0 � := | 1 .. 1 � �→ | 1 ... 1 � ... ... � | + .. + � �→ | + ... + � := |− .. −� �→ |− ... −� ...

  31. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Making spiders universal ... � | 0 .. 0 � �→ | 0 ... 0 � := α | 1 .. 1 � �→ e i α | 1 ... 1 � ... ... � | + .. + � �→ | + ... + � := α |− .. −� �→ e i α |− ... −� ...

  32. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Making spiders universal ... ... ... ... � α | 0 .. 0 � �→ | 0 ... 0 � ... = := α α + β | 1 .. 1 � �→ e i α | 1 ... 1 � ... ... β ... ... ... ... ... ... � α | + .. + � �→ | + ... + � ... = := α α + β |− .. −� �→ e i α |− ... −� ... ... β ... ...

  33. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Making spiders universal Theorem Phased spiders are universal for qubit quantum computation. Proof. Let: γ ⊕ := := U β α

  34. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey The ZX-calculus The ZX-calculus consists of the two spider-fusion rules: ... ... ... ... ... ... α α ... ... = = α + β α + β ... ... β β ... ... ... ...

  35. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey The ZX-calculus The ZX-calculus consists of the two spider-fusion rules: ... ... ... ... ... ... α α ... ... = = α + β α + β ... ... β β ... ... ... ... four Interaction rules: α π = = = = π π π - α π

  36. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey The ZX-calculus The ZX-calculus consists of the two spider-fusion rules: ... ... ... ... ... ... α α ... ... = = α + β α + β ... ... β β ... ... ... ... four Interaction rules: α π = = = = π π π - α π and the Colour Change rule: · · · · · · · · · · α α = · · · · · ·

  37. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey The ZX-calculus The ZX-calculus consists of the two spider-fusion rules: ... ... ... ... ... ... α α ... ... = = α + β α + β ... ... β β ... ... ... ... four Interaction rules: α π = = = = π π π - α π and the Colour Change rule: · · · · · π · · · · · 2 where := α α π = 2 · · · π 2 · · ·

  38. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Completeness Theorem (Backens 2013) The ZX-calculus is complete for Clifford ZX-diagrams: � D 1 � = � D 2 � = ⇒ D 1 = zx D 2 . . . . . . · · · · · · · · · · · · D 1 := D 2 := π π π π 2 2 2 2 · · · · · · · · · · · · . . . . . .

  39. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing

  40. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model

  41. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  42. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  43. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  44. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  45. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  46. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  47. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  48. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  49. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  50. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ...

  51. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurement-based quantum computing • Measurement-based quantum computing is an alternative (and equivalent) paradigm to the circuit model • Rather than repeatedly applying operations to a small number of systems, start with a big entangled state called a graph state and do many local measurements in different bases: ... ... ... ... ... ... • But crucially, the choices of measurements can depend on past measurement outcomes . This is called feed-forward , and it’s where all the magic happens.

  52. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Graph states and cluster states • Graph states are prepared by starting with many qubits in the | + � state and creating entanglement with controlled-Z operations: =

  53. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Graph states and cluster states • Graph states are prepared by starting with many qubits in the | + � state and creating entanglement with controlled-Z operations: = • Since controlled-Z’s commute, the only relevant part is the graph: ... ... ... ... ← → ... ... ... ... ... ... ... ... ... ... ...

  54. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurements and feed-forward • Compute with single qubit ONB measurements of this form: � � � � π α α + π , ,

  55. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurements and feed-forward • Compute with single qubit ONB measurements of this form: � � � � π α α + π , , • We want to get the first outcome and treat the second outcome as an error: α error π ...

  56. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurements and feed-forward • We can propagate the error out using the ZX-rules: α α α π = = π ... ... ... π π α α = = π π π ... ... π

  57. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurements and feed-forward • We can propagate the error out using the ZX-rules: α α α π = = π ... ... ... π π α α = = π π π ... ... π • If we know an error occurred, we can modify our later measurement choices to account for it: γ + π α − β γ α β = π π ... ...

  58. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Measurements and feed-forward • We can propagate the error out using the ZX-rules: α α α π = = π ... ... ... π π α α = = π π π ... ... π • If we know an error occurred, we can modify our later measurement choices to account for it: γ + π α − β γ α β = π π ... ... � � • ⇐

  59. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Notable results

  60. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Notable results: MBQC • Duncan & Perdrix used the ZX-calculus to offer a new technique for transforming MBQC patterns to circuits, which has some advantages over other known methods, e.g. not requiring ancillas. 1 • For more details, Ducan has written a self-contained introduction to MBQC from the diagrammatic/ZX point of view, which is available on the arXiv. 2 1 Rewriting measurement-based quantum computations with generalised flow. R. Duncan, S. Perdrix, ICALP 2010. personal.strath.ac.uk/ross.duncan/papers/gflow.pdf 2 A graphical approach to measurement-based quantum computing. R. Duncan. arXiv:1203.6242

  61. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Notable results: quantum algorithms • Vicary gave graphical characterisations of standard quantum algorithms 3 • ...a framework since used by Vicary & Zeng to develop new algorithms as generalisations 4 3 The Topology of Quantum Algorithms. LICS 2013, J. Vicary. arXiv:1209.3917 4 Abstract structure of unitary oracles for quantum algorithms. J.Vicary, W. Zeng. arXiv:1406.1278

  62. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Notable results: quantum protocols • Coecke, along with 3 Wangs and a Zhang give graphical proof of QKD 5 • Hillebrand gave rewriting proofs of many ( ∼ 25) quantum protocols. 6 • Zamdzhiev used ZX-calculus to verify 3 kinds of quantum secret sharing. 7 5 Graphical Calculus for Quantum Key Distribution. B. Coecke, Q. Wang, B. Wang, Y. Wang, and Q. Zhang. QPL 2011. 6 Quantum Protocols involving Multiparticle Entanglement and their Representations in the zx-calculus. A. Hillebrand. Masters thesis, Oxford 2011. www.cs.ox.ac.uk/people/bob.coecke/Anne.pdf 7 An Abstract Approach towards Quantum Secret Sharing. Masters thesis, Oxford 2012. www.cs.ox.ac.uk/people/bob.coecke/VladimirZamdzhievThesis.pdf

  63. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Notable results: quantum non-locality • AK, Coecke, Duncan, and Wang gave diagrammatic presentation of GHZ/Mermin non-locality argument 8 α 1 α 2 α 3 = = = � α i � α i � α i • ...which has since been generalised to arbitrary dimensions and quantum-like theories 9 8 Strong Complementarity and Non-locality in Categorical Quantum Mechanics. B. Coecke, R. Duncan, A. Kissinger, Q. Wang. LICS 2012. 9 Mermin Non-Locality in Abstract Process Theories. QPL 2015

  64. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Where do we go from here? • Completeness (Clifford + T, full)

  65. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Where do we go from here? • Completeness (Clifford + T, full) • Automation: implementation of Clifford decision procedure, theory synthesis

  66. Introduction Quantum circuits Spiders ZX-calculus MBQC Survey Where do we go from here? • Completeness (Clifford + T, full) • Automation: implementation of Clifford decision procedure, theory synthesis • Bigger algorithms , more sophisticated protocols , and generally more expressiveness of the diagrammatic language

Recommend

Q UANTUM C OMPUTING W HY N OW ? Practical Applications Quantum Supremacy Quantum Excitement

Q UANTUM C OMPUTING W HY N OW ? Practical Applications Quantum Supremacy Quantum Excitement

Q UANTUM COMPUTATION FOR THE DISCOVERY OF NEW MATERIALS AND CHEMISTRY Jarrod R. McClean Alvarez Fellow - Computational Research Division Lawrence Berkeley National Laboratory Q UANTUM C OMPUTING W HY N OW ? Practical Applications Quantum

645 views • 39 slides
A mathematical view of quantum computation J UANJO R U AND S EBASTIAN X AMB F ACULTAT DE M

A mathematical view of quantum computation J UANJO R U AND S EBASTIAN X AMB F ACULTAT DE M

Q UANTUM C OMPUTATION AND I NFORMATION S EMINAR S ECURITY AND Q UANTUM I NFORMATION G ROUP T ECHNICAL U NIVERSITY OF L ISBON 9 October 2009 A mathematical view of quantum computation J UANJO R U AND S EBASTIAN X AMB F ACULTAT DE M

487 views • 37 slides
Picturing Quantum Entanglement ...in MBQC Aleks Kissinger March 7, 2015 Q UANTUM G ROUP

Picturing Quantum Entanglement ...in MBQC Aleks Kissinger March 7, 2015 Q UANTUM G ROUP

ZX-calculus Hopf algebras and Entanglement Picturing Quantum Entanglement ...in MBQC Aleks Kissinger March 7, 2015 Q UANTUM G ROUP ZX-calculus Hopf algebras and Entanglement ZX-calculus The ZX-calculus is a formalism that studies

392 views • 28 slides
Topics in Quantum Machine Learning Vedran Dunjko v.dunjko@liacs.leidenuniv.nl 1 Q uantum M

Topics in Quantum Machine Learning Vedran Dunjko v.dunjko@liacs.leidenuniv.nl 1 Q uantum M

Topics in Quantum Machine Learning Vedran Dunjko v.dunjko@liacs.leidenuniv.nl 1 Q uantum M achine L earning (QML) Q uantum I nformation M achine L earning/ AI P rocessing ( QIP ) (ML/AI) ML QIP (quantum-applied ML) [74] QIP ML

3.88k views • 67 slides
A first-order logic for string diagrams Aleks Kissinger David Quick Oxford Quantum Group CALCO

A first-order logic for string diagrams Aleks Kissinger David Quick Oxford Quantum Group CALCO

Introduction !-Logic Interpretation Example Summary A first-order logic for string diagrams Aleks Kissinger David Quick Oxford Quantum Group CALCO June 2015 Q UANTUM G ROUP Introduction !-Logic Interpretation Example Summary

1.43k views • 139 slides
The Quantum Risk & Post-Quantum Crypto JP Aumasson The Quantum Risk & Post-Quantum

The Quantum Risk & Post-Quantum Crypto JP Aumasson The Quantum Risk & Post-Quantum

The Quantum Risk & Post-Quantum Crypto JP Aumasson The Quantum Risk & Post-Quantum Crypto JP Aumasson uantum /me 15 years experience in applied cryptography (PhD, industry, consulting) Designed widely used algorithms Author of the

816 views • 52 slides
Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies Daniel J. Bernstein

Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies Daniel J. Bernstein

Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies Daniel J. Bernstein Tanja Lange Chloe Martindale Lorenz Panny quantum.isogeny.org Key bits where all known attacks take 2 operations (naive serial attack metric,

412 views • 16 slides
New reasoning techniques for monoidal algebra Aleks Kissinger November 4, 2015 Q UANTUM G ROUP

New reasoning techniques for monoidal algebra Aleks Kissinger November 4, 2015 Q UANTUM G ROUP

Intro Monoidal algebras Diagrammatic reasoning Semantic-driven strategies New reasoning techniques for monoidal algebra Aleks Kissinger November 4, 2015 Q UANTUM G ROUP Intro Monoidal algebras Diagrammatic reasoning Semantic-driven

1.26k views • 112 slides
Optimizing quantum circuits with classical thinking Craig Gidney Google Quantum AI QPL/MFPS

Optimizing quantum circuits with classical thinking Craig Gidney Google Quantum AI QPL/MFPS

Optimizing quantum circuits with classical thinking Craig Gidney Google Quantum AI QPL/MFPS 2018 Goal: explain section 3-D of arXiv:1805.03662 [...] [...] Key ideas we'll cover 1. Cost of error corrected quantum computation 2. Preparing

993 views • 45 slides
Quantum Computation and Quantum Circuits Robert Spalek, CWI September 18, 2003 1 Classical

Quantum Computation and Quantum Circuits Robert Spalek, CWI September 18, 2003 1 Classical

Quantum Computation and Quantum Circuits Robert Spalek, CWI September 18, 2003 1 Classical computation deterministic computer in 1 state at each moment parallel computation modelled by circuits: & & x 1 x 2 x 3 x 4

307 views • 14 slides
Leonardo DiCarlo Leonardo DiCarlo Superconducting quantum circuits: Superconducting quantum

Leonardo DiCarlo Leonardo DiCarlo Superconducting quantum circuits: Superconducting quantum

Leonardo DiCarlo Leonardo DiCarlo Superconducting quantum circuits: Superconducting quantum circuits: Circuit QED Circuit QED Circuit QED: Cavity QED with wires Josephson-junction qubits Transmission-line resonators mediate

435 views • 12 slides
Simulation of quantum circuits by ZX-diagram contraction John van de Wetering

Simulation of quantum circuits by ZX-diagram contraction John van de Wetering

Simulation of quantum circuits by ZX-diagram contraction John van de Wetering john@vdwetering.name Institute for Computing and Information Sciences Radboud University Nijmegen September 6, 2019 Holy Trinity of quantum circuits Holy Trinity

794 views • 64 slides
A Potential Scenario for the Reference Quantum Mission 6 Government Use Only - Quantum Network -

A Potential Scenario for the Reference Quantum Mission 6 Government Use Only - Quantum Network -

A Potential Scenario for the Reference Quantum Mission 6 Government Use Only - Quantum Network - May 11 & 13, 2020 Q UANTUM I NFORMATION S CIENCE AND NIST D R . C ARL J. W ILLIAMS , D EPUTY D IRECTOR P HYSICAL M EASUREMENT L ABORATORY PMLs

407 views • 27 slides
Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies Daniel J. Bernstein

Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies Daniel J. Bernstein

Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies Daniel J. Bernstein Tanja Lange Chloe Martindale Lorenz Panny quantum.isogeny.org Non-interactive key exchange Alice: secret a , public aG . Bob: secret b , public bG

499 views • 28 slides
Q UANTUM TRANSPORT OF ULTRA COLD 33400 TALENCE. ATOMS IN OPTICAL DISORDER Philippe BOUYER Using

Q UANTUM TRANSPORT OF ULTRA COLD 33400 TALENCE. ATOMS IN OPTICAL DISORDER Philippe BOUYER Using

LP2N Institut dOptique dAquitaine Q UANTUM TRANSPORT OF ULTRA COLD 33400 TALENCE. ATOMS IN OPTICAL DISORDER Philippe BOUYER Using ultra cold atoms to build a controllable quantum system to simulate other quantum systems. U LTRACOLD ATOMS

827 views • 35 slides
From classical circuits to quantum circuits Alexis De Vos and Stijn De Baerdemacker Waterloo, 9

From classical circuits to quantum circuits Alexis De Vos and Stijn De Baerdemacker Waterloo, 9

From classical circuits to quantum circuits Alexis De Vos and Stijn De Baerdemacker Waterloo, 9 June 2015 Un bonjour de Waterloo, Belgique pour Waterloo, Ontario

640 views • 46 slides
Classical simulations of quantum circuits Resource-theoretic approach to quantum computing Kamil

Classical simulations of quantum circuits Resource-theoretic approach to quantum computing Kamil

Classical simulations of quantum circuits Resource-theoretic approach to quantum computing Kamil Korzekwa Faculty of Physics, Astronomy and Applied Computer Science, Jagiellonian University, Poland Outline 1. Motivation 2. Background 3.

492 views • 18 slides
Sparse Quantum Codes from Quantum Circuits Steve Flammia QEC 2014 15 December 2014 ETH Zrich

Sparse Quantum Codes from Quantum Circuits Steve Flammia QEC 2014 15 December 2014 ETH Zrich

Sparse Quantum Codes from Quantum Circuits Steve Flammia QEC 2014 15 December 2014 ETH Zrich Joint work with D Bacon, A W Harrow, and J Shi arxiv:1411.3334 Quantum Error Correction Quantum error correction allows us to deal with the

641 views • 28 slides
Leonardo DiCarlo Leonardo DiCarlo Superconducting quantum circuits: Superconducting quantum

Leonardo DiCarlo Leonardo DiCarlo Superconducting quantum circuits: Superconducting quantum

Leonardo DiCarlo Leonardo DiCarlo Superconducting quantum circuits: Superconducting quantum circuits: The transmon qubit The transmon qubit Natures quantum bits true qubits effective qubits energy = 1 e = 1 = 0 E 01 g = 0

396 views • 10 slides
Quantum circuits: From Structure to Software Aleks Kissinger Quantum Natural Language Processing,

Quantum circuits: From Structure to Software Aleks Kissinger Quantum Natural Language Processing,

Quantum circuits: From Structure to Software Aleks Kissinger Quantum Natural Language Processing, Oxford 2020 Aleks Kissinger QNLP 2020 1 / 34 Quantum software 1. := the code the runs on a quantum computer factoring search physical

1.09k views • 73 slides
Unitary designs from statistical mechanics in random quantum circuits Nick Hunter-Jones

Unitary designs from statistical mechanics in random quantum circuits Nick Hunter-Jones

Unitary designs from statistical mechanics in random quantum circuits Nick Hunter-Jones Perimeter Institute June 10, 2019 Yukawa Institute for Theoretical Physics Based on: NHJ, 1905.12053 Random quantum circuits are efficient implementations

708 views • 40 slides
Improved classical simulation of quantum 3 Appendix circuits dominated by Clifford gates

Improved classical simulation of quantum 3 Appendix circuits dominated by Clifford gates

1 Introduction Model of Computation Gottesmann-Knill Theorem Magic States 2 Algorithm Improved classical simulation of quantum 3 Appendix circuits dominated by Clifford gates Presented by Patrick Rall Publication by Sergey Bravyi

522 views • 20 slides
Three-qubit quantum error correction with superconducting circuits Matt Reed Yale University

Three-qubit quantum error correction with superconducting circuits Matt Reed Yale University

Three-qubit quantum error correction with superconducting circuits Matt Reed Yale University December 6, 2011 - 10:00 am Leo DiCarlo Luigi Frunzio Simon Nigg Steven Girvin Luyan Sun Robert Schoelkopf Outline Introduction to

759 views • 29 slides
W HY Q UANTUM C HEMISTRY ? Understanding Control T HE E LECTRONIC S TRUCTURE P ROBLEM The

W HY Q UANTUM C HEMISTRY ? Understanding Control T HE E LECTRONIC S TRUCTURE P ROBLEM The

Q UANTUM C OMPUTATION FOR C HEMISTRY AND M ATERIALS Jarrod R. McClean Alvarez Fellow - Computational Research Division Lawrence Berkeley National Laboratory W HY Q UANTUM C HEMISTRY ? Understanding Control T HE E LECTRONIC S TRUCTURE P ROBLEM

502 views • 34 slides

More recommend