Showing 1–3 of 3 results for author: Koiran, P

Adversary lower bounds for nonadaptive quantum algorithms

Authors: Pacal Koiran, Jürgen Landes, Natacha Portier, Penghui Yao

Abstract: We present general methods for proving lower bounds on the query complexity of nonadaptive quantum algorithms. Our results are based on the adversary method of Ambainis. We present general methods for proving lower bounds on the query complexity of nonadaptive quantum algorithms. Our results are based on the adversary method of Ambainis. △ Less

Submitted 9 April, 2008; originally announced April 2008.

Journal ref: Dans proceedings of WoLLIC 2008 - WoLLIC 2008 15th Workshop on Logic, Language, Information and Computation, Edinburgh : Royaume-Uni

A quantum lower bound for the query complexity of Simon's problem

Authors: Pascal Koiran, Vincent Nesme, Natacha Portier

Abstract: Simon in his FOCS'94 paper was the first to show an exponential gap between classical and quantum computation. The problem he dealt with is now part of a well-studied class of problems, the hidden subgroup problems. We study Simon's problem from the point of view of quantum query complexity and give here a first nontrivial lower bound on the query complexity of a hidden subgroup problem, namely… ▽ More Simon in his FOCS'94 paper was the first to show an exponential gap between classical and quantum computation. The problem he dealt with is now part of a well-studied class of problems, the hidden subgroup problems. We study Simon's problem from the point of view of quantum query complexity and give here a first nontrivial lower bound on the query complexity of a hidden subgroup problem, namely Simon's problem. Our bound is optimal up to a constant factor. △ Less

Submitted 12 January, 2005; originally announced January 2005.

Comments: 8 pages, 1 figure

Decidable and undecidable problems about quantum automata

Authors: Vincent D. Blondel, Emmanuel Jeandel, Pascal Koiran, Natacha Portier

Abstract: We study the following decision problem: is the language recognized by a quantum finite automaton empty or non-empty? We prove that this problem is decidable or undecidable depending on whether recognition is defined by strict or non-strict thresholds. This result is in contrast with the corresponding situation for probabilistic finite automata for which it is known that strict and non-strict th… ▽ More We study the following decision problem: is the language recognized by a quantum finite automaton empty or non-empty? We prove that this problem is decidable or undecidable depending on whether recognition is defined by strict or non-strict thresholds. This result is in contrast with the corresponding situation for probabilistic finite automata for which it is known that strict and non-strict thresholds both lead to undecidable problems. △ Less

Submitted 11 April, 2003; originally announced April 2003.

Comments: 10 pages

Report number: LIP RR 2003-24