Symbolic model checking quantum circuits in Maude [PDF]
PeerJ Computer Science, 2023 This article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation.
Canh Minh Do, Kazuhiro Ogata
doaj +3 more sources
Information transmission with continuous variable quantum erasure channels [PDF]
Quantum, 2023 Quantum capacity, as the key figure of merit for a given quantum channel, upper bounds the channel's ability in transmitting quantum information. Identifying different types of channels, evaluating the corresponding quantum capacity, and finding the ...
Changchun Zhong +2 more
doaj +3 more sources
Robust entanglement distribution via quantum network coding [PDF]
New Journal of Physics, 2016 Many protocols of quantum information processing, like quantum key distribution or measurement-based quantum computation, ‘consume’ entangled quantum states during their execution.
Michael Epping +2 more
doaj +2 more sources
Beating no-go theorems by engineering defects in quantum spin models [PDF]
New Journal of Physics, 2015 Diverse no-go theorems exist, ranging from no-cloning to monogamies of quantum correlations and Bell inequality violations, which restrict the processing of information in the quantum world.
Debasis Sadhukhan +4 more
doaj +4 more sources
Coding Theorems for Quantum Channels [PDF]
, 1998 The more than thirty years old issue of the (classical) information capacity of quantum communication channels was dramatically clarified during the last years, when a number of direct quantum coding theorems was discovered.
Holevo, Alexander S.
core +5 more sources
Hyperdense coding and superadditivity of classical capacities in hypersphere theories
New Journal of Physics, 2015 In quantum superdense coding, two parties previously sharing entanglement can communicate a two bit message by sending a single qubit. We study this feature in the broader framework of general probabilistic theories.
Serge Massar +2 more
doaj +2 more sources
The chain rule implies Tsirelson's bound: an approach from generalized mutual information
New Journal of Physics, 2012 In order to analyze an information theoretical derivation of Tsirelson's bound based on information causality, we introduce a generalized mutual information (GMI), defined as the optimal coding rate of a channel with classical inputs and general ...
Eyuri Wakakuwa, Mio Murao
doaj +2 more sources
Continuous-variable dense coding via a general Gaussian state: Monogamy relation [PDF]
, 2014 We study a continuous variable (CV) dense-coding protocol, originally proposed to employ a two-mode squeezed state, using a general two-mode Gaussian state as a quantum channel.
Ji, Se-Wan +3 more
core +5 more sources
General Scheme for Perfect Quantum Network Coding with Free Classical Communication
International Colloquium on Automata, Languages and Programming, 2009 This paper considers the problem of efficiently transmitting quantum states through a network. It has been known for some time that without additional assumptions it is impossible to achieve this task perfectly in general -- indeed, it is impossible even
K. Iwama +9 more
core +3 more sources
Quantum secure direct communication with private dense coding using general preshared quantum state [PDF]
Physical Review Applied, 2021 We study quantum secure direct communication by using a general preshared quantum state and a generalization of dense coding. In this scenario, Alice is allowed to apply a unitary on the preshared state to encode her message, and the set of allowed ...
Jiawei Wu, G. Long, Masahito Hayashi
semanticscholar +1 more source