English
Related papers

Related papers: Diagrammatic security proof for 8-state encoding

200 papers

The quantum dense coding (DC) protocol, which has no security feature, deals with the transmission of classical information encoded in a quantum state by using shared entanglement between a single sender and a single receiver. Its…

Quantum Physics · Physics 2024-09-17 Ayan Patra , Rivu Gupta , Tamoghna Das , Aditi Sen De

We give a new class of security definitions for authentication in the quantum setting. These definitions capture and strengthen existing definitions of security against quantum adversaries for both classical message authentication codes…

Cryptography and Security · Computer Science 2016-09-15 Sumegha Garg , Henry Yuen , Mark Zhandry

In this paper, we present a flowchart-based description of the decoy-state BB84 quantum key distribution (QKD) protocol and provide a step-by-step, self-contained information-theoretic security proof for this protocol within the universal…

Quantum Physics · Physics 2025-05-27 Akihiro Mizutani , Toshihiko Sasaki , Go Kato

Quantum key distribution (QKD) offers a way for establishing information-theoretically secure communications. An important part of QKD technology is a high-quality random number generator (RNG) for quantum states preparation and for…

Quantum Physics · Physics 2018-01-24 A. S. Trushechkin , P. A. Tregubov , E. O. Kiktenko , Y. V. Kurochkin , A. K. Fedorov

Quantum key distribution (QKD) is the most widely studied quantum cryptographic model that exploits quantum effects to achieve information-theoretically secure key establishment. Conventional QKD contains public classical post-processing…

Quantum Physics · Physics 2026-01-07 Zixuan Hu , Zhenyu Li

We derive the category-theoretic backbone of quantum theory from a process ontology. More specifically, we treat quantum theory as a theory of systems, processes and their interactions. In this first part of a three-part overview, we first…

Quantum Physics · Physics 2016-05-30 Bob Coecke , Aleks Kissinger

A decision diagram (DD) is a graph-like data structure for homomorphic compression of Boolean and pseudo-Boolean functions. Over the past decades, decision diagrams have been successfully applied to verification, linear algebra, stochastic…

Quantum Physics · Physics 2026-02-23 Arend-Jan Quist , Tim Coopmans , Alfons Laarman

The ability to realize high-fidelity quantum communication is one of the many facets required to build generic quantum computing devices. In addition to quantum processing, sensing, and storage, transferring the resulting quantum states…

The coined quantum walk is a discretization of the Dirac equation of relativistic quantum mechanics, and it is the basis of many quantum algorithms. We investigate how it searches the complete bipartite graph of $N$ vertices for one of $k$…

Quantum Physics · Physics 2019-03-04 Mason L. Rhodes , Thomas G. Wong

We present a protocol for quantum key distribution using discrete modulation of coherent states of light. Information is encoded in the variable phase of coherent states which can be chosen from a regular discrete set ranging from binary to…

Quantum Physics · Physics 2015-05-13 Denis Sych , Gerd Leuchs

We consider discrete-alphabet encoding schemes for coherent-state quantum key distribution. The sender encodes the letters of a finite-size alphabet into coherent states whose amplitudes are symmetrically distributed on a circle centered in…

Quantum Physics · Physics 2018-08-02 Panagiotis Papanastasiou , Cosmo Lupo , Christian Weedbrook , Stefano Pirandola

The quantum mechanical formalism doesn't support our intuition, nor does it elucidate the key concepts that govern the behaviour of the entities that are subject to the laws of quantum physics. The arrays of complex numbers are kin to the…

Quantum Physics · Physics 2015-05-13 Bob Coecke

One of the applications of quantum technology is to use quantum states and measurements to communicate which offers more reliable security promises. Quantum data hiding, which gives the source party the ability of sharing data among…

Quantum Physics · Physics 2018-04-06 Xingyao Wu , Jianxin Chen

Implementing a qubit quantum computer in continuous-variable systems conventionally requires the engineering of specific interactions according to the encoding basis states. In this work, we present a unified formalism to conduct universal…

Quantum Physics · Physics 2016-09-06 Hoi-Kwan Lau , Martin B. Plenio

In quantum information and computation research, symbolic methods have been widely used for human specification and reasoning about quantum states and operations. At the same time, they are essential for ensuring the scalability and…

Programming Languages · Computer Science 2025-12-30 Mingsheng Ying

Accurate noise characterization in quantum gates and circuits is vital for the development of reliable quantum simulations for chemically relevant systems and fault-tolerant quantum computing. This paper reviews a variety of key…

This chapter provides an introduction to the use of diagrammatic language, or perhaps more accurately, diagrammatic calculus, in quantum information and quantum foundations. We illustrate the use of diagrammatic calculus in one particular…

Quantum Physics · Physics 2015-06-12 Bob Coecke , Ross Duncan , Aleks Kissinger , Quanlong Wang

A quantum cryptographic protocol based in public key cryptography combinations and private key cryptography is presented. Unlike the BB84 protocol [1] and its many variants [2,3] two quantum channels are used. The present research does not…

Quantum Physics · Physics 2012-05-15 Eduin H. Serna

In comparison to qubit-based protocols, qudit-based quantum key distribution (QKD) ones gen- erally allow two cooperative parties to share unconditionally secure keys under a higher channel noise. However, it is very hard to prepare and…

Quantum Physics · Physics 2018-03-09 Shuang Wang , Zhen-Qiang Yin , H. F. Chau , Wei Chen , Chao Wang , Guang-Can Guo , Zheng-Fu Han

Since Shor's discovery of an algorithm to factor numbers on a quantum computer in polynomial time, quantum computation has become a subject of immense interest. Unfortunately, one of the key features of quantum computers - the difficulty of…

Quantum Physics · Physics 2009-08-21 Daniel Gottesman