English
Related papers

Related papers: Quantum automata cannot detect biased coins, even …

200 papers

There had been well known claims of ``provably unbreakable'' quantum protocols for bit commitment and coin tossing. However, we, and independently Mayers, showed that all proposed quantum bit commitment (and therefore coin tossing) schemes…

Quantum Physics · Physics 2008-02-03 Hoi-Kwong Lo , H. F. Chau

Some of the most interesting and important results concerning quantum finite automata are those showing that they can recognize certain languages with (much) less resources than corresponding classical finite automata…

Formal Languages and Automata Theory · Computer Science 2019-02-20 Shenggen Zheng , Jozef Gruska , Daowen Qiu

We find an application in quantum finite automata for the ideas and results of [JL21] and [JL22]. We reformulate quantum finite automata with multiple-time measurements using the algebraic notion of near-ring. This gives a unified…

Formal Languages and Automata Theory · Computer Science 2022-04-21 George Jeffreys , Siu-Cheong Lau

Is there any hope for quantum computing to challenge the Turing barrier, i.e. to solve an undecidable problem, to compute an uncomputable function? According to Feynman's '82 argument, the answer is {\it negative}. This paper re-opens the…

Quantum Physics · Physics 2007-05-23 Cristian S. Calude , Boris Pavlov

We address a well-known problem in combinatorics involving the identification of counterfeit coins with a systematic approach. The methodology can be applied to cases where the total number of coins is exceedingly large such that brute…

Combinatorics · Mathematics 2009-05-04 Eldin Wee Chuan Lim

We show that deterministic finite automata equipped with $k$ two-way heads are equivalent to deterministic machines with a single two-way input head and $k-1$ linearly bounded counters if the accepted language is strictly bounded, i.e., a…

Formal Languages and Automata Theory · Computer Science 2014-08-07 Holger Petersen

Recently, it was demonstrated both theoretically and experimentally on the D-Wave quantum annealer that transverse-field quantum annealing does not find all ground states with equal probability. In particular, it was proposed that more…

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In…

Formal Languages and Automata Theory · Computer Science 2016-06-29 Tomoyuki Yamakami

We study 1-way quantum finite automata (QFAs) and compare them with their classical counterparts. We show that 1-way QFAs can be very space efficient. We construct a 1-way QFAs that are quadratically smaller than any equivalent…

Quantum Physics · Physics 2007-05-23 Arnolds Kikusts

It is known that 2-state binary and 3-state unary probabilistic finite automata and 2-state unary quantum finite automata recognize uncountably many languages with cutpoints. These results have been obtained by associating each recognized…

Formal Languages and Automata Theory · Computer Science 2023-06-22 Aleksejs Naumovs , Maksims Dimitrijevs , Abuzer Yakaryılmaz

In this paper, we will present an algorithm to resolve the counterfeit coins problem in the case that the number of false coins is unknown in advance.

Combinatorics · Mathematics 2010-04-06 An-Ping Li

The potential of the exact quantum information processing is an interesting, important and intriguing issue. For examples, it has been believed that quantum tools can provide significant, that is larger than polynomial, advantages in the…

Formal Languages and Automata Theory · Computer Science 2014-11-26 Jozef Gruska , Daowen Qiu , Shenggen Zheng

Honesty has never been scientifically proved to be the best policy in any case. It is pointed out that only honest person can prevent his dishonest partner to bias the outcome of quantum coin tossing.

Cryptography and Security · Computer Science 2008-12-27 Arindam Mitra

We show that bounded-error affine finite automata recognize uncountably many (and so some non-Turing recognizable) languages when using real-valued transitions.

Formal Languages and Automata Theory · Computer Science 2022-12-23 Abuzer Yakaryılmaz

We investigate the (non)-existence of universal automata for some classes of automata, such as finite automata and pushdown automata, and in particular the influence of the representation and encoding function. An alternative approach,…

Formal Languages and Automata Theory · Computer Science 2012-08-01 Manfred Kudlek

Due to the beyond-classical capability of quantum computing, quantum machine learning is applied independently or embedded in classical models for decision making, especially in the field of finance. Fairness and other ethical issues are…

Quantum Physics · Physics 2022-07-25 Ji Guan , Wang Fang , Mingsheng Ying

Coin flipping is a cryptographic primitive for which strictly better protocols exist if the players are not only allowed to exchange classical, but also quantum messages. During the past few years, several results have appeared which give a…

Quantum Physics · Physics 2011-04-27 Esther Hänggi , Jürg Wullschleger

We investigate weak coin flipping, a fundamental cryptographic primitive where two distrustful parties need to remotely establish a shared random bit. A cheating player can try to bias the output bit towards a preferred value. For weak coin…

Quantum Physics · Physics 2019-11-27 Atul Singh Arora , Jérémie Roland , Stephan Weis

There are fundamental limits to the accuracy with which one can determine the state of a quantum system. I give an overview of the main approaches to quantum state discrimination. Several strategies exist. In quantum hypothesis testing, a…

Quantum Physics · Physics 2009-11-06 Anthony Chefles

Quantum protocols for coin-flipping can be composed in series in such a way that a cheating party gains no extra advantage from using entanglement between different rounds. This composition principle applies to coin-flipping protocols with…

Quantum Physics · Physics 2007-05-23 Carlos Mochon