Zobrazeno 1 - 10
of 436
pro vyhledávání: '"NAGARAJAN, Rajagopal"'
Publikováno v:
In Tetrahedron 28 September 2024 165
Publikováno v:
EPTCS 195, 2015, pp. 71-83
Quantum Information Processing, which is an exciting area of research at the intersection of physics and computer science, has great potential for influencing the future development of information processing systems. The building of practical, genera
Externí odkaz:
http://arxiv.org/abs/1511.01568
In this paper we introduce a technique and a tool for formal verification of various quantum information processing protocols. The tool uses stabilizer formalism and is capable of representing concurrent quantum protocol, thus is more expressive than
Externí odkaz:
http://arxiv.org/abs/1312.5951
Publikováno v:
EPTCS 95, 2012, pp. 67-80
We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. The key idea is to define two systems, one modelling a protocol
Externí odkaz:
http://arxiv.org/abs/1210.0614
Publikováno v:
EPTCS 59, 2011, pp. 104-110
Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of fam
Externí odkaz:
http://arxiv.org/abs/1108.0469
Publikováno v:
Volume No. 06, Issue No. 04 of IJQI, Pg 907 - 928, 2008
The Kolmogorov complexity of a string is the length of its shortest description. We define a second quantised Kolmogorov complexity where the length of a description is defined to be the average length of its superposition. We discuss this complexity
Externí odkaz:
http://arxiv.org/abs/0809.2642
Publikováno v:
Phys. Rev. A 79, 012302 (2009)
We describe a method for lossless quantum compression if the output of the information source is not known. We compute the best possible compression rate, minimizing the expected base length of the output quantum bit string (the base length of a quan
Externí odkaz:
http://arxiv.org/abs/0808.2003
We introduce a model-checking tool intended specially for the analysis of quantum information protocols. The tool incorporates an efficient representation of a certain class of quantum circuits, namely those expressible in the so-called stabiliser fo
Externí odkaz:
http://arxiv.org/abs/0704.3705
Autor:
Rogers, Caroline, Nagarajan, Rajagopal
We describe lossless quantum compression of unknown mixtures (of non-orthogonal states) and give an expression of the optimal rate of compression.
Comment: 15 pages, 2 figures
Comment: 15 pages, 2 figures
Externí odkaz:
http://arxiv.org/abs/quant-ph/0508170