The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
One-way Quantum Computation - a tutorial introduction
[article]
2006
arXiv
pre-print
Preserved Fulltext
Other Versions
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2005
Reviews of Modern Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2005
Computing in science & engineering (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2020
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2011
New Journal of Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2018
PLoS ONE
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2008
American Journal of Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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