English
Related papers

Related papers: Application of Quantum Process Calculus to Higher …

200 papers

For the first time in history, we are seeing a branching point in computing paradigms with the emergence of quantum processing units (QPUs). Extracting the full potential of computation and realizing quantum algorithms with a…

Quantum Physics · Physics 2022-11-29 Sergey Bravyi , Oliver Dial , Jay M. Gambetta , Dario Gil , Zaira Nazario

Quantum signal processing (QSP) provides a representation of scalar polynomials of degree $d$ as products of matrices in $\mathrm{SU}(2)$, parameterized by $(d+1)$ real numbers known as phase factors. QSP is the mathematical foundation of…

Quantum Physics · Physics 2025-10-02 Lin Lin

Quantum computing promises substantial speedups by exploiting quantum mechanical phenomena such as superposition and entanglement. Corresponding design methods require efficient means of representation and manipulation of quantum…

Quantum Physics · Physics 2023-11-15 Alwin Zulehner , Stefan Hillmich , Robert Wille

Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components, as well as communications between these components. Moreover, to model concurrent and…

Quantum Physics · Physics 2007-05-23 Marie Lalire

Superconducting quantum circuits are promising candidate for building scalable quantum computers. Here, we use a four-qubit superconducting quantum processor to solve a two-dimensional system of linear equations based on a quantum algorithm…

Quantum teleportation is a cornerstone of quantum information processing, enabling the nonlocal transmission of quantum states across arbitrary distances using shared entanglement and classical communication. While the standard protocol…

Quantum Physics · Physics 2026-04-21 Junyao Zhang , Jonathan Ku , Zhiding Liang , Hai Li , Yiran Chen , Ben McCarty

Quipper is a recently developed programming language for expressing quantum computations. This paper gives a brief tutorial introduction to the language, through a demonstration of how to make use of some of its key features. We illustrate…

Programming Languages · Computer Science 2013-07-08 Alexander S. Green , Peter LeFanu Lumsdaine , Neil J. Ross , Peter Selinger , Benoît Valiron

Quantum state transfer protocols are a major toolkit in many quantum information processing tasks, from quantum key distribution to quantum computation. To assess performance of a such a protocol, one often relies on the average fidelity…

Quantum computing technologies are making steady progress. This has opened new opportunities for tackling problems whose complexity prevents their description on classical computers. A prototypical example of these complex problems are…

Quantum Physics · Physics 2023-09-28 Thomas Ayral , Pauline Besserve , Denis Lacroix , Edgar Andres Ruiz Guzman

A quantum processor, like any computing device, requires the development of both hardware and the necessary set of software solutions, starting with quantum algorithms and ending with means of accessing quantum devices. As part of the…

Quantum error correction is an essential tool for reliably performing tasks for processing quantum information on a large scale. However, integration into quantum circuits to achieve these tasks is problematic when one realizes that…

Superdense coding proved that entanglement-assisted quantum communications can improve the data transmission rates compared to classical systems. It allows sending 2 classical bits between the parties in exchange of 1 quantum bit and a…

Quantum Physics · Physics 2012-10-11 Sandor Imre

Using a quantumlike description for light propagation in nonhomogeneous optical fibers, quantum information processing can be implemented by optical means. Quantum-like bits (qulbits) are associated to light modes in the optical fiber and…

Quantum Physics · Physics 2009-11-07 M. A. Man'ko , V. I. Man'ko , R. Vilela Mendes

The cost of distributed quantum operations such as the telegate and teledata protocols is high due to latencies from distributing entangled photons and classical information. This paper proposes an extension to the telegate and teledata…

Quantum Physics · Physics 2025-02-05 Jacob Peckham , Dwight Makaroff , Steven Rayan

The field of quantum algorithms is vibrant. Still, there is currently a lack of programming languages for describing quantum computation on a practical scale, i.e., not just at the level of toy problems. We address this issue by introducing…

Programming Languages · Computer Science 2013-07-08 Alexander S. Green , Peter LeFanu Lumsdaine , Neil J. Ross , Peter Selinger , Benoît Valiron

Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, $\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra, APTC with localities to process…

Logic in Computer Science · Computer Science 2021-10-26 Yong Wang

The development of a universal fault-tolerant quantum computer that can solve efficiently various difficult computational problems is an outstanding challenge for science and technology. In this work, we propose a technique for an efficient…

Quantum Physics · Physics 2024-07-02 Anastasiia S. Nikolaeva , Evgeniy O. Kiktenko , Aleksey K. Fedorov

Quantum information processing protocols are efficiently implemented on spin-$\frac{1}{2}$ networks. A quantum communication protocol generally involves a certain number of parties having local access to a subset of a larger system, whose…

Quantum Physics · Physics 2021-12-17 S. Lorenzo , F. Plastina , M. Consiglio , T. J. G. Apollaro

While quantum measurement theories are built around density matrices and observables, the laws of thermodynamics are based on processes such as are used in heat engines and refrigerators. The study of quantum thermodynamics fuses these two…

Quantum Physics · Physics 2021-08-25 Xingrui Song , Mahdi Naghiloo , Kater Murch

We define some of the programming and system-level challenges facing the application of quantum processing to high-performance computing. Alongside barriers to physical integration, prominent differences in the execution of quantum and…

Quantum Physics · Physics 2017-12-06 Keith A. Britt , Fahd A. Mohiyaddin , Travis S. Humble