Epistemic Quantum Computational Structures in a Hilbert-space Environment

• Autorzy: Beltrametti E. , Dalla Chiara M. L. , Giuntini R. , Leporini R. , Sergioli G.
• Języki publikacji: EN

Abstrakty

EN

Quantum computation and quantum computational logics are intrinsically connected with some puzzling epistemic problems. In the framework of a quantum computational approach to epistemic logic we investigate the following question: is it possible to interpret the basic epistemic operations (having information, knowing) as special kinds of Hilbert-space operations? We show that non-trivial knowledge operations cannot be represented by unitary operators. We introduce the notions of strong epistemic quantum computational structure and of epistemic quantum computational structure, where knowledge operations are identified with special examples of quantum operations. This represents the basic tool for developing an epistemic quantum computational semantics, where epistemic sentences (like "Alice knows that the spin-value in the x-direction is up") are interpreted as quantum pieces of information that may be stored by quantum objects.

Słowa kluczowe

EN

quantum computational logics; epistemic structures

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2012
• Tom: Vol. 115, nr 1
• Strony: 1--14
• Opis fizyczny: Bibliogr. 15 poz.

Twórcy

autor

Beltrametti E.

autor

Dalla Chiara M. L.

autor

Giuntini R.

autor

Leporini R.

autor

Sergioli G.

• Dipartimento di Filosofia e Teoria delle Scienze Umane, Universita di Cagliari, via Is Mirrionis 1, I-09123 Cagliari, Italy,

Bibliografia

• [1] D. Aharonov, "A simple proof that Toffoli and Hadamard are quantumuniversal", [arXiv:quant-ph/0301040], 2003.
• [2] D. Aharonov, A. Kitaev, N. Nisan, "Quantum circuits with mixed states", STOC '98: Proceedings of the thirtieth annual ACM symposium on Theory of computing, ACM Press, pp. 20-30, 1998.
• [3] E. Beltrametti, M. L. Dalla Chiara, R. Giuntini, G. Sergioli, "Quantum teleportation and quantum epistemic semantics", to appear.
• [4] G. Chiribella, G. M. D'Ariano, P. Perinotti, "Transforming quantum operations: Quantum supermaps", A Letters Journal Exploring the Frontiers of Physics 83, pp. 30004-p1-30004-p6, 2008.
• [5] M. L. Dalla Chiara, R. Giuntini, H. Freytes, A. Ledda, G. Sergioli, "The algebraic structure of an approximately universal system of quantum computational gates", Foundations of Physics 39, pp. 559-572, 2009.
• [6] M. L. Dalla Chiara, R. Giuntini, R. Greechie, Reasoning in Quantum Theory, Kluwer, Dordrecht, 2004.
• [7] G. Cattaneo, M. L. Dalla Chiara, R. Giuntini, "An Unsharp Quantum Logic from Quantum Computation", in P. Weingartner (ed.), Alternative Logics. Do Sciences need them?, Springer, Berlin-Heidelberg, 2003, pp. 323-338.
• [8] M. L. Dalla Chiara, R. Giuntini, A. Ledda, R. Leporini, G. Sergioli, "Entanglement as a semantic resource" Foundations of Physics 40, pp. 1494-1518, 2010.
• [9] M. L. Dalla Chiara, R. Giuntini, R. Leporini, "Logics from quantum computation", International Journal of Quantum Information 3, pp. 293-337, 2005.
• [10] G. Gudder, "Quantum computational logics", International Journal of Theoretical Physics 42, pp. 39-47, 2003.
• [11] Hong-yi Fan, Li-yun Hu, "Infinite-dimensional Kraus operators for describing amplitudue-damping channel and laser process", Optics Communications 282, pp. 932-935, 2009.
• [12] K. Kraus, States, Effects and Operations, Springer, Berlin, 1983.
• [13] M. Nielsen, I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, Cambridge, 2000.
• [14] J. Preskill, Quantum Information and Computation, Lecture Notes for Physics 229, 1998 (available at www.theory.caltech.edu/people/preskill/ph229).
• [15] Y. Shi, "Both Toffoli and controlled-Not need little help to do universal quantumcomputation", [arXiv:quantph/ 0205115], 2002.