English
Related papers

Related papers: Application of Quantum Process Calculus to Higher …

200 papers

Distributed quantum computing (DQC) is a new paradigm aimed at scaling up quantum computing via the interconnection of smaller quantum processing units (QPUs). Shared entanglement allows teleportation of both states and gates between QPUs.…

Quantum Physics · Physics 2025-01-22 Felix Burt , Kuan-Cheng Chen , Kin Leung

The development of quantum computing technologies builds on the unique features of quantum physics while borrowing familiar principles from the design of conventional devices. We introduce the fundamental concepts required for designing and…

Quantum channels are known to provide qualitatively better information transfer capacities over their classical counterparts. Examples include quantum cryptography, quantum dense coding, and quantum teleportation. This is a short review on…

Quantum Physics · Physics 2015-03-19 Aditi Sen De , Ujjwal Sen

Two-way quantum key distribution protocols utilize bi-directional quantum communication to establish a shared secret key. Due to the increased attack surface, security analyses remain challenging. Here we investigate a high-dimensional…

Quantum Physics · Physics 2022-03-08 Walter O. Krawec

Teleportation protocol is conventionally treated as a method for quantum state transfer between two spatially separated physical carriers. Recent experimental progress in manipulation with high-dimensional quantum systems opens a new…

Quantum Physics · Physics 2016-05-17 E. O. Kiktenko , A. K. Fedorov , V. I. Man'ko

Quantum computing has seen tremendous progress in the past years. However, due to limitations in scalability of quantum technologies, it seems that we are far from constructing universal quantum computers for everyday users. A more feasible…

Quantum Physics · Physics 2017-08-17 Elham Kashefi , Anna Pappa

In this article, we propose a quantum communication protocol via 2-step discrete time quantum walks with two coins on a graph of 10 vertices containing both cycles and paths. Quantum walks are known for their ability to integrate quantum…

Quantum Physics · Physics 2025-01-22 Rachana Soni , Neelam Choudhary , Navneet Pratap Singh

Quantum simulation is a promising pathway toward practical quantum advantage by simulating large-scale quantum systems. In this work, we propose communication-efficient distributed quantum simulation protocols by exploring three quantum…

Quantum Physics · Physics 2024-11-06 Tianfeng Feng , Jue Xu , Wenjun Yu , Zekun Ye , Penghui Yao , Qi Zhao

In this paper, a quantum version of classical alternating bit protocol is proposed. This protocol provides a reliable method to transmit the secret quantum data via a noisy quantum channel while the entanglement between particles is not…

Cryptography and Security · Computer Science 2016-06-02 Hadi Farahani

This dissertation explores quantum computation using qudits encoded into large spins, emphasizing the concept of quantum co-design to harness the unique capabilities of physical platforms for enhanced quantum information processing. First,…

Quantum Physics · Physics 2024-05-14 Sivaprasad Omanakuttan

Quantum networks are complex systems formed by the interaction among quantum processors through quantum channels. Analogous to classical computer networks, quantum networks allow for the distribution of quantum operations among quantum…

Quantum Physics · Physics 2023-07-14 Matheus Guedes de Andrade , Nitish K. Panigrahy , Wenhan Dai , Saikat Guha , Don Towsley

We present the quantum programming language cQPL which is an extended version of QPL [P. Selinger, Math. Struct. in Comp. Sci. 14(4):527-586, 2004]. It is capable of quantum communication and it can be used to formulate all possible quantum…

Quantum Physics · Physics 2007-05-23 Wolfgang Mauerer

We present a concise but complete conceptual treatment of quantum computing implemented with Cavity Quantum Electrodynamics (CQED. The paper is intended as a brief overview for professionals who are coming over to the field from other areas…

Quantum Physics · Physics 2012-10-25 Zachary Burell

A `register' in quantum information processing -- is composition of k quantum systems, `qudits'. The dimensions of Hilbert spaces for one qudit and whole quantum register are d and d^k respectively, but we should have possibility to prepare…

Quantum Physics · Physics 2010-06-11 Alexander Yu. Vlasov

Robust quantum computation with d-level quantum systems (qudits) poses two requirements: fast, parallel quantum gates and high fidelity two-qudit gates. We first describe how to implement parallel single qudit operations. It is by now well…

Quantum Physics · Physics 2009-11-13 Dianne P. O'Leary , Gavin K. Brennen , Stephen S. Bullock

In this chapter a quantum communication protocol with use of repeaters is presented. The protocol is constructed for qudits i.e. the generalized quantum information units. One-dit teleportation is based on the generalized Pauli-Z…

Quantum Physics · Physics 2016-04-14 Marek Sawerwain , Joanna Wiśniewska

The quantum teleportation protocol can be used to probabilistically simulate a quantum circuit with backward-in-time connections. This allows us to analyze some conceptual problems of time travel in the context of physically realizable…

Quantum Physics · Physics 2012-03-06 George Svetlichny

Quantum communication has been leading the way of many remarkable theoretical results and experimental tests in physics. In this context, quantum communication complexity (QCC) has recently drawn earnest research attention as a tool to…

Quantum Physics · Physics 2020-11-11 Hipólito Gómez-Sousa

This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus…

Logic in Computer Science · Computer Science 2013-11-27 Philip Atzemoglou

Construction of explicit quantum circuits follows the notion of the "standard circuit model" introduced in the solid and profound analysis of elementary gates providing quantum computation. Nevertheless the model is not always optimal (e.g.…

Quantum Physics · Physics 2007-05-23 K. Ch. Chatzisavvas , C. Daskaloyannis , C. P. Panos