[BOOK][B] Quantum computing

J Gruska - 1999 - fi.muni.cz
Experimentally, secure quantum key distribution has been tested, using polarization or
phase of photons, for distance of 150 (200) km using standard optical fibres and for the …

Quantum computation, quantum theory and AI

M Ying - Artificial Intelligence, 2010 - Elsevier
The main purpose of this paper is to examine some (potential) applications of quantum
computation in AI and to review the interplay between quantum theory and AI. For the …

Quantum automata and quantum grammars

C Moore, JP Crutchfield - Theoretical Computer Science, 2000 - Elsevier
To study quantum computation, it might be helpful to generalize structures from language
and automata theory to the quantum case. To that end, we propose quantum versions of …

Formal verification of quantum programs: Theory, tools, and challenges

M Lewis, S Soudjani, P Zuliani - ACM Transactions on Quantum …, 2023 - dl.acm.org
Over the past 27 years, quantum computing has seen a huge rise in interest from both
academia and industry. At the current rate, quantum computers are growing in size rapidly …

[BOOK][B] Foundations of quantum programming

M Ying - 2024 - books.google.com
Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

Dense quantum coding and quantum finite automata

A Ambainis, A Nayak, A Ta-Shma… - Journal of the ACM (JACM …, 2002 - dl.acm.org
We consider the possibility of encoding m classical bits into many fewer n quantum bits
(qubits) so that an arbitrary bit from the original m bits can be recovered with good …

1-way quantum finite automata: strengths, weaknesses and generalizations

A Ambainis, R Freivalds - Proceedings 39th Annual Symposium …, 1998 - ieeexplore.ieee.org
We study 1-way quantum finite automata (QFAs). First, we compare them with their classical
counterparts. We show that, if an automaton is required to give the correct answer with a …

Optimal lower bounds for quantum automata and random access codes

A Nayak - 40th Annual Symposium on Foundations of …, 1999 - ieeexplore.ieee.org
Consider the finite regular language L/sub n/={w0| w/spl isin/{0, 1}*,| w|/spl les/n}. A.
Ambainis et al.(1999) showed that while this language is accepted by a deterministic finite …

[PDF][PDF] Exponential separation of quantum and classical communication complexity

R Raz - Proceedings of the thirty-first annual ACM symposium …, 1999 - dl.acm.org
Communication complexity has become a central completity model. In that model, we count
the amount of communication bits needed between two parties in order to solve certain …

[PDF][PDF] Dense quantum coding and a lower bound for 1-way quantum automata

A Ambainis, A Nayak, A Ta-Shma… - Proceedings of the thirty …, 1999 - dl.acm.org
We consider the possibility of encoding m classical bits into much fewer n quantum bits so
that an arbitrary bit from the original m bits can be recovered with a good probability, and we …