Routed quantum circuits

• URL: http://arxiv.org/abs/2011.08120v2
• Date: Mon, 12 Jul 2021 15:40:58 GMT
• Title: Routed quantum circuits
• Authors: Augustin Vanrietvelde, Hl\'er Kristj\'ansson, Jonathan Barrett
• Abstract summary: We argue that the quantum-theoretical structures studied in several recent lines of research cannot be adequately described within the standard framework of quantum circuits. We propose an extension to the framework of quantum circuits, given by textitrouted linear maps and textitrouted quantum circuits
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We argue that the quantum-theoretical structures studied in several recent lines of research cannot be adequately described within the standard framework of quantum circuits. This is in particular the case whenever the combination of subsystems is described by a nontrivial blend of direct sums and tensor products of Hilbert spaces. We therefore propose an extension to the framework of quantum circuits, given by \textit{routed linear maps} and \textit{routed quantum circuits}. We prove that this new framework allows for a consistent and intuitive diagrammatic representation in terms of circuit diagrams, applicable to both pure and mixed quantum theory, and exemplify its use in several situations, including the superposition of quantum channels and the causal decompositions of unitaries. We show that our framework encompasses the `extended circuit diagrams' of Lorenz and Barrett [arXiv:2001.07774 (2020)], which we derive as a special case, endowing them with a sound semantics.

Related papers

• Relational Quantum Geometry [0.0]
  We identify non-commutative or quantum geometry as a mathematical framework which unifies three objects. We first provide a rigorous account of the extended phase space, and demonstrate that it can be regarded as a classical principal bundle with a Poisson manifold base. We conclude that the quantum orbifold is equivalent to the G-framed algebra proposed in prior work.
  arXiv  Detail & Related papers  (2024-10-14T19:29:27Z)
• Quantum channels, complex Stiefel manifolds, and optimization [45.9982965995401]
  We establish a continuity relation between the topological space of quantum channels and the quotient of the complex Stiefel manifold. The established relation can be applied to various quantum optimization problems.
  arXiv  Detail & Related papers  (2024-08-19T09:15:54Z)
• A vertical gate-defined double quantum dot in a strained germanium double quantum well [48.7576911714538]
  Gate-defined quantum dots in silicon-germanium heterostructures have become a compelling platform for quantum computation and simulation. We demonstrate the operation of a gate-defined vertical double quantum dot in a strained germanium double quantum well. We discuss challenges and opportunities and outline potential applications in quantum computing and quantum simulation.
  arXiv  Detail & Related papers  (2023-05-23T13:42:36Z)
• Quantum Circuit Completeness: Extensions and Simplifications [44.99833362998488]
  The first complete equational theory for quantum circuits has only recently been introduced. We simplify the equational theory by proving that several rules can be derived from the remaining ones. The complete equational theory can be extended to quantum circuits with ancillae or qubit discarding.
  arXiv  Detail & Related papers  (2023-03-06T13:31:27Z)
• The Stochastic-Quantum Correspondence [0.0]
  This paper introduces an exact correspondence between a general class of systems and quantum theory. This correspondence provides a new framework using Hilbert-space methods to formulate highly generic, non-Markovian types of dynamics. This paper also uses the correspondence in the other direction to reconstruct quantum theory from physical models.
  arXiv  Detail & Related papers  (2023-02-20T04:11:05Z)
• Constraint Inequalities from Hilbert Space Geometry & Efficient Quantum Computation [0.0]
  Useful relations describing arbitrary parameters of given quantum systems can be derived from simple physical constraints imposed on the vectors in the corresponding Hilbert space. We describe the procedure and point out that this parallels the necessary considerations that make Quantum Simulation of quantum fields possible. We suggest how to use these ideas to guide and improve parameterized quantum circuits.
  arXiv  Detail & Related papers  (2022-10-13T22:13:43Z)
• A Complete Equational Theory for Quantum Circuits [58.720142291102135]
  We introduce the first complete equational theory for quantum circuits. Two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations.
  arXiv  Detail & Related papers  (2022-06-21T17:56:31Z)
• Quantum Circuits in Additive Hilbert Space [0.0]
  We show how conventional circuits can be expressed in the additive space and how they can be recovered. In particular in our formalism we are able to synthesize high-level multi-controlled primitives from low-level circuit decompositions. Our formulation also accepts a circuit-like diagrammatic representation and proposes a novel and simple interpretation of quantum computation.
  arXiv  Detail & Related papers  (2021-11-01T19:05:41Z)
• Circuit Complexity in Topological Quantum Field Theory [0.0]
  Quantum circuit complexity has played a central role in advances in holography and many-body physics. In a departure from standard treatments, we aim to quantify the complexity of the Euclidean path integral. We argue that the pants decomposition provides a natural notion of circuit complexity within the category of 2-dimensional bordisms. We use it to formulate the circuit complexity of states and operators in 2-dimensional topological quantum field theory.
  arXiv  Detail & Related papers  (2021-08-30T18:00:00Z)
• Depth-efficient proofs of quantumness [77.34726150561087]
  A proof of quantumness is a type of challenge-response protocol in which a classical verifier can efficiently certify quantum advantage of an untrusted prover. In this paper, we give two proof of quantumness constructions in which the prover need only perform constant-depth quantum circuits.
  arXiv  Detail & Related papers  (2021-07-05T17:45:41Z)
• QUANTIFY: A framework for resource analysis and design verification of quantum circuits [69.43216268165402]
  QUANTIFY is an open-source framework for the quantitative analysis of quantum circuits. It is based on Google Cirq and is developed with Clifford+T circuits in mind. For benchmarking purposes QUANTIFY includes quantum memory and quantum arithmetic circuits.
  arXiv  Detail & Related papers  (2020-07-21T15:36:25Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.