1 citations · 1 across the 1 of their papers we have counts for
4 papers
Non-Interactive Quantum Statistical and Perfect Zero-Knowledge
Hirotada Kobayashi
This paper introduces quantum analogues of non-interactive perfect and statistical zero-knowledge proof systems. Similar to the classical cases, it is shown that sharing randomness…
Two-way Quantum One-counter Automata
Tomohiro Yamasaki, Hirotada Kobayashi, Hiroshi Imai
After the first treatments of quantum finite state automata by Moore and Crutchfield and by Kondacs and Watrous, a number of papers study the power of quantum finite state automata…
Quantum Certificate Verification: Single versus Multiple Quantum Certificates
Hirotada Kobayashi, Keiji Matsumoto, Tomoyuki Yamakami
The class MA consists of languages that can be efficiently verified by classical probabilistic verifiers using a single classical certificate, and the class QMA consists of languag…
Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement
Hirotada Kobayashi, Keiji Matsumoto
This paper gives the first formal treatment of a quantum analogue of multi-prover interactive proof systems. It is proved that the class of languages having quantum multi-prover in…