Verified compilation of space-efficient reversible circuits 

1 min read

  Generation of reversible circuits from high-level code is an important problem in the compilation flow of quantum algorithms to lower-level hardware. The instantiation of quantum oracles in particular will require mapping classical circuits to a reversible implementation. Existing tools compile and optimize reversible circuits for various metrics, such as the overall circuit size or the Read more

Double semions in arbitrary dimension 

<1 min read

  In the paper, “Double semions in arbitrary dimension,” published in Communications in Mathematical Physics, Michael Freedman and Matthew Hastings present a new construction of topological phases of matter in higher dimensions, generalizing the double semion theory in two dimensions. This theory is distinct from the Dijkgraaf-Witten model and generalized toric code models. Read the published version. Read more

Training a quantum optimizer 

<1 min read

  In this paper, published in Physical Review A, we show how to greatly improve success at solving Constraint Satisfaction Problems on a quantum computer by using a learned schedule, instead of the standard linear ramps. The technique actually improves as the problem gets larger and more difficult, allowing classical machines to learn optimizations that Read more

Triple point topological metals 

<1 min read

  Topological materials can yield quasiparticles that behave in a manner similar to elementary particles that are part of the standard model of particle physics. In this paper, published in Physical Review X, we report on a new class of such quasiparticles—triple point fermions—which represent fermions that have mixed properties of Dirac and Weyl fermions. Read more

Direct from the 2016 Quantum Retreat in Redmond 

2 min read

  The 2016 QRetreat took place on Microsoft’s Redmond campus on April 28 and 29, 2016. QRetreat is an annual meeting of the Station Q Santa Barbara and Station Q Redmond teams. The goals of the meeting are to update each other on the recent research in an informal atmosphere and discuss current projects. This Read more

LIQUi| for quantum computing 

<1 min read

  LIQUi|> is a software architecture and tool suite for quantum computing. It includes a programming language, optimization and scheduling algorithms, and quantum simulators. LIQUi|> can be used to translate a quantum algorithm written in the form of a high-level program into the low-level machine instructions for a quantum device. LIQUi|> is developed by the Read more

Hybrid quantum-classical approach to correlated materials 

<1 min read

  Recent improvements in the control of quantum systems make it seem feasible to finally build a quantum computer within a decade. While it has been shown that such a quantum computer can in principle solve certain small electronic structure problems and idealized model Hamiltonians, the highly relevant problem of directly solving a complex correlated Read more

Exponential protection of zero modes in Majorana islands 

<1 min read

Quantum information theory has the potential to revolutionize computation, cryptography, and simulation of quantum systems. However, quantum states are fragile, and unwanted interactions with the environment destroy the information before it can be manipulated successfully. Now, a breakthrough experiment by researchers affiliated with Station Q Copenhagen has demonstrated a key property of Majorana zero modes Read more