Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Lecture notes in computer science

The Categories of Quantum Information Hiding Protocol

Shujiang Xu, Lianhai Wang, Guangqi Liu, Xiaohui Han, Dawei Zhao, Lijuan Xu

Published Jan 1, 2017• 0 citations
Publisher
DOI
10.1007/978-3-319-68505-2_13

Related papers

Quantum Information Protocols for Cryptography

Bassem Abd-El-Atty, Salvador Elías Venegas-Andraca, Ahmed A. Abd El‐Latif

Studies in big data•Oct 13, 2017•17 citations

Quantum information effects

Chris Heunen, Robin Kaarsgaard

We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is fully expressive for irreversible quantum computing, including measurement. We provide universal categorical constructions that semantically interpret this arrow metalanguage with choice, starting with any rig groupoid interpreting the reversible base language. Several properties of quantum measurement follow in general, and we translate (noniterative) quantum flow charts into our language. The semantic constructions turn the category of unitaries between Hilbert spaces into the category of completely positive trace-preserving maps, and they turn the category of bijections between finite sets into the category of functions with chosen garbage. Thus they capture the fundamental theorems of classical and quantum reversible computing of Toffoli and Stinespring.

arXiv:2107.12144•Proceedings of the ACM on Programming Languages•Jan 12, 2022•1 citation

Demonstration of the Quantum No-Hiding Theorem in a Category Theoretic Framework: An IBM Quantum Experience

Amolak Ratan Kalra, Shiroman Prakash, Bikash K. Behera +1 more

In this note, we demonstrate the quantum no-hiding theorem of Braunstein and Pati [Phys. Rev. Lett. 98, 080502 (2007)] using the IBM 5Q quantum processor. We also analyze the circuit using the ZX calculus of Coecke and Duncan [New J Phys. 13(4), 043016 (2011)], which provides a pictorial/category-theoretic demonstration of the no-hiding theorem.

•Sep 27, 2017•2 citations

Quantum Information Classification Scheme

Daniele Binosi, Tommaso Calarco, Rosario Fazio +1 more

The European Physical Journal D•Apr 13, 2006•0 citations

Hided information transmission protocol using quantum teleportation

Haiwen Ou

An hided information transmission protocol using quantum teleportation is proposed.It can transmit 1 bit classic hiding information by using 2 bit of public classic information and a pair of entangled photons.An implementation frame is also presented.Finally,the performance of the transmission scheme is analyzed.

Journal of Xidian University•Jan 1, 2008•0 citations

Steganographic Communication with Quantum Information

Keye Martin

Lecture notes in computer science•Jan 1, 2007•37 citations
We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is fully expressive for irreversible quantum computing, including measurement. We provide universal categorical constructions that semantically interpret this arrow metalanguage with choice, starting with any rig groupoid interpreting the reversible base language. Several properties of quantum measurement follow in general, and we translate (noniterative) quantum flow charts into our language. The semantic constructions turn the category of unitaries between Hilbert spaces into the category of completely positive trace-preserving maps, and they turn the category of bijections between finite sets into the category of functions with chosen garbage. Thus they capture the fundamental theorems of classical and quantum reversible computing of Toffoli and Stinespring.