# Quantum Queries on Permutations with a Promise

@inproceedings{Freivalds2009QuantumQO, title={Quantum Queries on Permutations with a Promise}, author={Rusins Freivalds and Kazuo Iwama}, booktitle={International Conference on Implementation and Application of Automata}, year={2009} }

This paper studies quantum query complexities for deciding (exactly or with probability 1.0) the parity of permutations of n numbers, 0 through n *** 1. Our results show quantum mechanism is quite strong for this non-Boolean problem as it is for several Boolean problems: (i) For n = 3, we need a single query in the quantum case whereas we obviously need two queries deterministically. (ii) For even n , n /2 quantum queries are sufficient whereas we need n *** 1 queries deterministically. (iii…

## 7 Citations

### Quantum vs . deterministic queries on permutations

- Computer Science, Mathematics
- 2011

A group of 5-permutations is presented such that the deterministic query complexity is 4 and the quantum Query complexity is 2, and the best proved advantage of quantum query algorithms is the result in [12].

### Quantum Queries on Permutations

- Computer Science, MathematicsDCFS
- 2015

The best proved advantage of quantum query algorithms is the result by Iwama/Freivalds where the quantum query complexity is \(m\) but the deterministic query complexity will be \((2m-1)\).

### Quantum Query Algorithms

- Computer Science
- 2013

The work by the author in a field of quantum algorithms development is reviewed, exact and bounded-error quantum query algorithms for computing Boolean functions are presented, and a query model is applied for computing multivalued functions.

### Exact quantum algorithms for promise problems in automata theory

- Computer ScienceArXiv
- 2011

In this note, we show that quantum finite automata can be polynomially more succinct than their classical counterparts for promise problems in case of exact computation. Additionally, in terms of…

### Superiority of exact quantum automata for promise problems

- Computer ScienceInf. Process. Lett.
- 2012

### Ultrametric automata and Turing machines

- Computer ScienceTuring-100
- 2012

We introduce a notion of ultrametric automata and Turing machines using p-adic numbers to describe random branching of the process of computation. These automata have properties similar to the…

### Nondeterministic Query Algorithms

- Computer ScienceJ. Univers. Comput. Sci.
- 2011

A new alternative definition of nondeterministic query algorithms is presented and the power of this model is demonstrated with an example of computing the Fano plane Boolean function, showing that for this function the difference between deterministic and nond deterministic query complexity is 7 N versus O(3 N).

## References

SHOWING 1-10 OF 12 REFERENCES

### Quantum lower bounds by polynomials

- Computer ScienceProceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
- 1998

This work examines the number T of queries that a quantum network requires to compute several Boolean functions on {0,1}/sup N/ in the black-box model and gives asymptotically tight characterizations of T for all symmetric f in the exact, zero-error, and bounded-error settings.

### Average-Case Quantum Query Complexity

- Computer ScienceSTACS
- 2000

It is shown that for average-case complexity under the uniform distribution, quantum algorithms can be exponentially faster than classical algorithms and under non-uniform distributions the gap can even be super-exponential.

### Quantum lower bounds by quantum arguments

- Computer ScienceSTOC '00
- 2000

Two new Ω(√N) lower bounds on computing AND of ORs and inverting a permutation and more uniform proofs for several known lower bounds which have been previously proven via a variety of different techniques are proved.

### Bounds for small-error and zero-error quantum algorithms

- Computer Science40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)
- 1999

We present a number of results related to quantum algorithms with small error probability and quantum algorithms that are zero-error. First, we give a tight analysis of the trade-offs between the…

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

- Computer ScienceProceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
- 1998

This work constructs a 1-way QFA that is exponentially smaller than any equivalent classical (even randomized) finite automaton, and thinks that this construction may be useful for design of other space-efficient quantum algorithms.

### Polynomial degree vs. quantum query complexity

- Computer Science44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings.
- 2003

The degree of a polynomial representing (or approximating) a function f is a lower bound for the quantum query complexity of f and this lower bound is shown by a new, more general version of quantum adversary method.

### Complexity measures and decision tree complexity: a survey

- Computer ScienceTheor. Comput. Sci.
- 2002

### Algebraic Factoring and Geometry Proving

- MathematicsCADE
- 1994

It is explained how geometric theorems may be proved by using irreducible zero decomposition for which algebraic factoring is necessary to help understand the ambiguity of a theorem and prove it even if its algebraic formulation does not precisely correspond to the geometric statement.

### String Matching Algorithms and Automata

- Computer ScienceResults and Trends in Theoretical Computer Science
- 1994

The structure of finite automata recognizing sets of the form A*p, for some word p, is studied, and the results obtained are used to improve the Knuth-Morris-Pratt string searching algorithm.

### Rapid solution of problems by quantum computation

- Computer ScienceProceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences
- 1992

A class of problems is described which can be solved more efficiently by quantum computation than by any classical or stochastic method. The quantum computation solves the problem with certainty in…