Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Span programs and quantum time complexity   Span programs are an important model of quantum computation due to their
tight correspondence with quantum query complexity. For any decision problem
$f$, the minimum complexity of a span program for $f$ is equal, up to a
constant factor, to the quantum query complexity of $f$. Moreover, this
correspondence is constructive. A span program for $f$ with complexity $C$ can
be compiled into a bounded error quantum algorithm for $f$ with query
complexity $O(C)$, and vice versa.
  In this work, we prove an analogous connection for quantum time complexity.
In particular, we show how to convert a quantum algorithm for $f$ with time
complexity $T$ into a span program for $f$ such that it compiles back into a
quantum algorithm for $f$ with time complexity $\widetilde{O}(T)$. While the
query complexity of quantum algorithms obtained from span programs is
well-understood, it is not generally clear how to implement certain
query-independent operations in a time-efficient manner. We show that for span
programs derived from algorithms with a time-efficient implementation, we can
preserve the time efficiency when implementing the span program. This means in
particular that span programs not only fully capture quantum query complexity,
but also quantum time complexity.
  One practical advantage of being able to convert quantum algorithms to span
programs in a way that preserves time complexity is that span programs compose
very nicely. We demonstrate this by improving Ambainis's variable-time quantum
search result using our construction through a span program composition for the
OR function.

22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
27
The categories of this paper are: comp-gas
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
28
The categories of this paper are: alg-geom
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
36
The categories of this paper are: cmp-lg
26
The categories of this paper are: bayes-an
10
The categories of this paper are: q-bio