Software Tool Chains for Quantum Computing Alan Geller
Software Tool Chains for Quantum Computing Alan Geller Software Architect QuArC, Microsoft Research Microsoft Proprietary Quantum Computing at Microsoft Research Station Q (Santa Barbara): Mathematics & Theoretical Physics with partners in Experimental Physics Focus: Topological Quantum Computing (TQC) QuArC (Redmond): Quantum Architectures and Computation Quantum Algorithms, Architecture and Machine Design Focus: Real world applications, fault tolerance, scalable architectures Infrastructure / Engineering (Redmond, Copenhagen): Software tools for quantum algorithm development Focus: LIQ simulation platform, SoL| compiler and runtime, QCoDeS lab software platform| compiler and runtime, QCoDeS lab software platform Dave Wecker, Alex Johnson, Alan Geller Microsoft Proprietary Overview Microsoft Proprietary Why is this important now?
The first classical computers were invented in the 1940s Software for classical computers didnt proliferate until modern IDEs were developed ~30 years later We shouldnt have to wait 30 years after we have a quantum computer to be able to easily write quantum software! Microsoft Proprietary Activity View Code Compil e Debug
Execut e& Validat e Microsoft Proprietary Component View Code Debugger Microsoft Proprietary Compil e Debug Runtime & Simulator IDE Execut e& Validat e Compiler
Coding Programming languages Different languages lend themselves to different programmers and to different types of problems We use F# because its the most productive for us Code readability is very important Code is a communication mechanism for humans, not just input to a compiler Microsoft Proprietary let QFT (qs:Qubits) = let n = qs.Length for aIdx in n-1..-1..0 do let a = qs.[aIdx] H a for k in 2..aIdx+1 do let c = qs.[aIdx-(k-1)] CR k c a
Compiling The compiler front end maps the quantum algorithm to quantum intermediate language (QIL) The back end rewrites the QIL for execution on actual hardware Different quantum computers will require different rewrites of the original QIL We have designed and built a layered architecture to support flexible rewriting Microsoft Proprietary Push symbol n = Property: qs.Length Push symbol inputSequence = Call function Operators.op_RangeStep Args:
Call function Operators.op_Subtraction Args: Var: n Int: 1 Int: -1 Int: 0 For each aIdx In: inputSequence Do: Push symbol a = Property: qs.Item[aIdx] Invoke operation H with args: Var: a For k From: 2 To: Call function Operators.op_Addition Args: Var: aIdx Int: 1 By: 1 Do: Push symbol c = Property: qs.Item[(expr)] Invoke operation CR with args: Executing and Validation SoL
Execution takes place at many levels Simulation is a special form of execution Validation is determining whether or not the result of a computation is correct For some problems, validation is straightforward (3-SAT and other NP decision problems) 300 Kelvin - Room CMOS CPU 77K-Nitrogen Superconductin CPUg Memory 4K-Helium Quantu
Control m Qubits For others, this is more difficult (chemistry simulation) .02K- Microsoft Proprietary Memory Debugging Because debugging involves looking at the intermediate state, it is difficult to debug on real hardware Often the best solution is to debug using simulation We have a debugging interface for our system using LIQUi| as as the simulation engine
The alternative is to guess a fix and retest until you think the answer is right Microsoft Proprietary Architecture Microsoft Proprietary Basic Picture Language C# F# Front End Parser/Lexer QIL Compiler Back End Error Gate
Rewriting Optimization Layout Correction Execution Engine Resource Manager Hardware Interface Simulation Debugger Simulation Microsoft Proprietary IDE LIQ| compiler and runtime, QCoDeS lab software platform| http://github.com/msr-quarc/Liquid Language C# F#
Front End Parser/Lexer QIL Compiler Back End Error Gate Rewriting Optimization Layout Correction Execution Engine Resource Manager Hardware Interface Simulation
Debugger Simulation Microsoft Proprietary IDE SoL| compiler and runtime, QCoDeS lab software platform| and QCoDeS Language C# F# Front End Parser/Lexer QIL Compiler Back End Error Gate Rewriting Optimization
Layout Correction Execution Engine Resource Manager Hardware Interface Simulation Debugger Simulation Microsoft Proprietary IDE QCoDeS Rewriting in SoL| compiler and runtime, QCoDeS lab software platform| A machine model presents a logical view of a quantum computer
Machine models are layered Physical machines provide a direct mechanism for executing their supported gates Virtual machines map logical qubits and gates into qubits and actions on the machine below Machine models can be stacked arbitrarily Microsoft Proprietary Rewrites arbitrary rotations to Clifford + T sequences Rotation Rewriter Rewrites T gates using magic states Magic Manages distillation and magic state qubits State Rewriter Rewrites Clifford gates and state preparation as pulses Transmo Rewrites measurements as oscillation readouts Remaps logical to physical qubits to adapt to chip
n Rewriter topology QCoDeS Interface Rewrites pulses and readouts into QCoDeS experiment steps Example Machine Model Stack Rewriting in SoL| compiler and runtime, QCoDeS lab software platform| (2) Error correction codes are virtual machine models Simulation is a physical machine model Machine model stack can be as deep or as shallow as necessary 2D Toric Code
Rewriter LIQ| compiler and runtime, QCoDeS lab software platform| Simulation Engine Microsoft Proprietary Rewrites logical Pauli gates into chain operations Rewrites logical measurement into chain measurements Performs scheduled syndrome measurements and decoding Rewrites gates into stabilizer circuits (CHP) Rewrites measurements into amplitude computation and random choice Sample Machine Model Stack Rewriting in SoL| compiler and runtime, QCoDeS lab software platform| (3) We can write machine models for hardware that doesnt exist yet
We can experiment with new codes and new techniques Machine models can be written by anyone Implements logical qubits using the 2D color code Implements T gates transversely by 2D-3D switching to a 3D color code Color Code Rewrites T gates using magic states Magic State Manages distillation and magic state qubits Rewriter Ising Majorana Braider Microsoft Proprietary
Rewrites Clifford gates and state preparation as braids Rewrites measurements as interferometric Sample Machine Model Stack Status LIQ is freely available on GitHub https://github.com/msr-quarc/Liquid http://research.microsoft.com/en-us/projects/liquid/ Currently for Windows, working on a CoreCLR version for Mac, Linux QCoDeS is under development We expect partner labs to start using it imminently We intend to make it publicly available once it is sufficiently robust SoL is under development and internal-only No release plans determined as yet Microsoft Proprietary Thank You
Alan Geller Software Architect QuArC, Microsoft Research 2015 Microsoft Corporation. All rights reserved. Microsoft, Windows, Windows Vista and other product names are or may be registered trademarks and/or trademarks in the U.S. and/or other countries. The information herein is for informational purposes only and represents the current view of Microsoft Corporation as of the date of this presentation. Because Microsoft must respond to changing market conditions, it should not be interpreted to be a commitment on the part of Microsoft, and Microsoft cannot guarantee the accuracy of any information provided after the date of this presentation. MICROSOFT MAKES NO WARRANTIES, EXPRESS, IMPLIED OR STATUTORY, AS TO THE INFORMATION IN THIS PRESENTATION. Microsoft Proprietary
Mathematical Reasoning across the Curriculum Software Development Foundations and Software Engineering Murali Sitaraman Clemson University This research is funded in part by NSF grants CCF-0811748 and DUE-1022941 Computer Science and Engineering College of Engineering The Ohio State University You can...
Capital Punishment Atkins v. Virginia Roper v. Simmons Elizabeth Howell 3/6/06 Atkins v. Virginia (2002) Background: Atkins was sentenced to death for capital murder. The Virginia Supreme Court upheld the death sentence, rejecting the argument that he should not be...
Rest from training. NSAIDs can be used sparingly. Surgical Approach. When swelling and lesions are prominent, arthroscopic surgery is often recommended. During surgery the joint is thoroughly explored and suspicious lesions are probed.
Kendall & Kendall 3-* Learning Objectives Understand how projects are initiated and selected Define a business problem and determine the feasibility of a proposed project Plan a project by identifying activities and scheduling them Understand how an alternative approach called...
of existing communication protocols for space (SpaceWire, FiberWire,...) and conventional (Ethernet, FireWire,…) applications. 2. Development of software models of current readout systems, to be used as test bench for next phases. 3. Definition of a custom communication protocol granting the...
Arrays & structs as arguments. When an array is passed as an argument to a function, the address of the 1st element is passed. Structs. are passed . by value, exactly as the basic types. Array == (in run time)...
Why? Mitacs. Mitacs - Math of Information Technology and Complex Systems. Used to Stand for Math, now it can be anything… Ex: Music - looking at piano students and keeping them engaged in classesProStudio Mixers - recording studio
FIT for Embedded System Test Development PRESENTER : Jingwen Chen Main topics Agile methodology from the desktop world XP Inspired embedded system life-cycle Adapting FIT into embedded system development What is FIT/FitNesse EmbeddedFitNesse testing framework MatLab/C++ FitNesse testing framework Issues...
Ready to download the document? Go ahead and hit continue!