Filters








252 Hits in 6.0 sec

One-way Quantum Computation - a tutorial introduction [article]

Dan E. Browne, Hans J. Briegel
2006 arXiv   pre-print
We highlight ways in which it is useful to understand one-way computation beyond simple equivalence with the quantum circuit model.  ...  In this book chapter, we provide a tutorial introduction to one-way quantum computation and many of the techniques one can use to understand it.  ...  about one-way quantum computation.  ... 
arXiv:quant-ph/0603226v2 fatcat:xbxwbodvffbrxcu4ig66e32jsi

Scrambling Dynamics and Out-of-Time Ordered Correlators in Quantum Many-Body Systems: a Tutorial [article]

Shenglong Xu, Brian Swingle
2022 arXiv   pre-print
This tutorial article introduces the physics of quantum information scrambling in quantum many-body systems.  ...  We introduce numerical methods, both exact diagonalization and tensor network methods, to calculate OTOC for generic quantum many-body systems.  ...  In this tutorial, we discuss scrambling dynamics in general quantum many-body systems in detail.  ... 
arXiv:2202.07060v2 fatcat:35ytuiaglvcibccxbak2var2be

Feedback for physicists: A tutorial essay on control

John Bechhoefer
2005 Reviews of Modern Physics  
This tutorial essay aims to give enough of the formal elements of control theory to satisfy the experimentalist designing or running a typical physics experiment and enough to satisfy the theorist wishing  ...  The minimum principle allows one to solve problems that would have no solution within the traditional analytical framework of calculus or the calculus of variations.  ...  This article is a tutorial essay on feedback and control theory.  ... 
doi:10.1103/revmodphys.77.783 fatcat:aimuu2w6njh3jf3wqn4jqgzbmu

Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial [chapter]

E. Haghverdi, P. Scott
2010 Lecture Notes in Physics  
The GoI interpretation of dynamics aims to develop an algebraic/geometric theory of invariants for information flow in networks of proofs.  ...  theory of "quantum whileloops" in quantum computing.  ...  For usual sequent calculus, Gentzen gave a Non-Deterministic algorithm π Y π (the cut-elimination procedure) for transforming proofs π into proofs π .  ... 
doi:10.1007/978-3-642-12821-9_5 fatcat:uo6lpvdkz5d7bclk4tis6u74ri

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus) [article]

Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
2021 arXiv   pre-print
First we look at some of the ideas behind the ZX-calculus, comparing and contrasting it with the usual quantum circuit formalism.  ...  We then survey results from the past 2 years falling into three categories: (1) completeness of the rules of the ZX-calculus, (2) state-of-the-art quantum circuit optimisation results in commercial and  ...  The ZX-calculus is a graphical language for expressing quantum computations, mainly over qubits.  ... 
arXiv:2102.10984v1 fatcat:fh6z344vxbfabdcspdlbcaeh7i

3Ms for Instruction: Reviews of Maple, Mathematica, and Matlab

N. Chonacky, D. Winch
2005 Computing in science & engineering (Print)  
We point to some exemplary materials and offer our own paradigms for major educational uses, which provide a framework for discussing the packages and drawing some implications for those issues in a concluding  ...  How well do these tool packages serve for materials-development work that faculty will likely perform alone? How efficient are they when fast response times are required for modifications?  ...  In addition, the application should provide the capability for graphical comparison of the results from the computer's simulation to data obtained by students from measurements on the physical circuits  ... 
doi:10.1109/mcse.2005.43 fatcat:ftaxtn7tt5fq7i77ppy5jb6zl4

PyZX: Large Scale Automated Diagrammatic Reasoning [article]

Aleks Kissinger, John van de Wetering
2019 arXiv   pre-print
Using the ZX-calculus, we can intuitively reason about quantum mechanics, and optimise and validate quantum circuits.  ...  The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a tensor network-like language that can represent arbitrary linear maps between qubits.  ...  The authors wish to thank Will Zeng for supporting the development of PyZX with a Unitary Fund, and Arianne Meijer for developing code to do circuit routing in PyZX.  ... 
arXiv:1904.04735v1 fatcat:anu4ufraibclnddd6bfxpcx374

PyZX: Large Scale Automated Diagrammatic Reasoning

Aleks Kissinger, John van de Wetering
2020 Electronic Proceedings in Theoretical Computer Science  
Using the ZX-calculus, we can intuitively reason about quantum theory, and optimise and validate quantum circuits.  ...  The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a type of tensor networks that can represent arbitrary linear maps between qubits.  ...  The authors wish to thank Will Zeng for supporting the development of PyZX with a Unitary Fund, and Arianne Meijer for developing code to do circuit routing in PyZX.  ... 
doi:10.4204/eptcs.318.14 fatcat:wgijkt3knndprhajyuxqizmcwq

How to make qubits speak [article]

Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi
2021 arXiv   pre-print
We also provide some guidance for the actual execution, so that the reader can give it a go as well.  ...  This is a story about making quantum computers speak, and doing so in a quantum-native, compositional and meaning-aware manner. Recently we did question-answering with an actual quantum computer.  ...  Natural language when we map it to a 'quantum circuit skeleton' now looks like this [20] : In this picture as well as in our experiments we used the 'ZX-calculus' [21] for drawing quantum circuits,  ... 
arXiv:2107.06776v1 fatcat:lfkqyncqvbewva675pv5gshy3i

Interacting quantum observables: categorical algebra and diagrammatics

Bob Coecke, Ross Duncan
2011 New Journal of Physics  
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of  ...  Using the well-studied canonical correspondence between graphical calculi and symmetric monoidal categories, our results provide a purely graphical formalisation of complementarity for quantum observables  ...  Acknowledgments References Non-determinism, mixed states and classical data flow The graphical treatment so far has been limited to pure states, and therefore does not capture the full behaviour of quantum  ... 
doi:10.1088/1367-2630/13/4/043016 fatcat:pqn5iqcw2nbrfpdcdln3dnbj2e

Open source software in quantum computing [article]

Mark Fingerhuth, Tomáš Babej, Peter Wittek
2018 PLoS ONE   pre-print
We review a wide range of open source software for quantum computing, covering all stages of the quantum toolchain from quantum hardware interfaces through quantum compilers to implementations of quantum  ...  algorithms, as well as all quantum computing paradigms, including quantum annealing, and discrete and continuous-variable gate-model quantum computing.  ...  (Red Hat), Alejandro Pozas-Kerstjens (ICFO-The Institute of Photonic Sciences), Nathan Killoran (Xanadu), Colin Lupton (Black Brane Systems), and Maria Schuld (Xanadu and University of KwaZulu-Natal) for  ... 
doi:10.1371/journal.pone.0208561 pmid:30571700 pmcid:PMC6301779 arXiv:1812.09167v1 fatcat:u7hgtxb6yzegrjr35ijpq7kbdu

Lectures on Quantum Tensor Networks [article]

Jacob Biamonte
2020 arXiv   pre-print
It includes scientists who have employed tensor networks in their modeling codes who have interest in the tools graphical reasoning capacity.  ...  of quantum information processing.  ...  language [24] ; (iii) aspects of categorical quantum mechanics [25] as they describe quantum circuits [26, 27] as well as (iv) the graphical language of digital circuits.  ... 
arXiv:1912.10049v2 fatcat:aitkggs36rd5lhkmlzztlgky5y

Formal Verification of Quantum Programs: Theory, Tools and Challenges [article]

Marco Lewis and Sadegh Soudjani and Paolo Zuliani
2021 arXiv   pre-print
Research into creating verification frameworks for quantum programs has seen recent development, with a variety of tools implemented using a collection of theoretical ideas.  ...  Significant efforts are being made to improve the reliability of quantum hardware and to develop suitable software to program quantum computers.  ...  The ZX-calculus is a graphical tool designed to convert quantum circuits into a graphical model and back again (but not all graphs are quantum circuits).  ... 
arXiv:2110.01320v1 fatcat:lhzma7wkbfdfhmlrnm6fmo2axm

Computation in undergraduate physics: The Lawrence approach

David M. Cook
2008 American Journal of Physics  
In contrast, for a dozen years the Lawrence Department of Physics has been striving to embed the use of general purpose graphical, symbolic, and numeric computational tools throughout our curriculum.  ...  Developed with support from the (US) National Science Foundation, the Keck Foundation, and Lawrence University, our approach involves introducing freshman to tools for data acquisition and analysis, offering  ...  week), graphical visualization using IRIS/NAG Explorer (2 weeks), symbolic manipulations using MAPLE (2 weeks), and circuit simulation using SPICE[20] (2 weeks).  ... 
doi:10.1119/1.2834739 fatcat:edckrgsnfzgdtlc6iiqh27m6ce

Computation in Undergraduate Physics: The Lawrence Approach [chapter]

David M. Cook
2001 Lecture Notes in Computer Science  
In contrast, for a dozen years the Lawrence Department of Physics has been striving to embed the use of general purpose graphical, symbolic, and numeric computational tools throughout our curriculum.  ...  Developed with support from the (US) National Science Foundation, the Keck Foundation, and Lawrence University, our approach involves introducing freshman to tools for data acquisition and analysis, offering  ...  week), graphical visualization using IRIS/NAG Explorer (2 weeks), symbolic manipulations using MAPLE (2 weeks), and circuit simulation using SPICE[20] (2 weeks).  ... 
doi:10.1007/3-540-45545-0_119 fatcat:6g6dqrmi6reivigwjgprzhiqle
« Previous Showing results 1 — 15 out of 252 results