2,237 research outputs found
A Note on the Quantum Query Complexity of Permutation Symmetric Functions
It is known since the work of [Aaronson and Ambainis, 2014] that for any permutation symmetric function f, the quantum query complexity is at most polynomially smaller than the classical randomized query complexity, more precisely that R(f) = O~(Q^7(f)). In this paper, we improve this result and show that R(f) = O(Q^3(f)) for a more general class of symmetric functions. Our proof is constructive and relies largely on the quantum hardness of distinguishing a random permutation from a random function with small range from Zhandry [Zhandry, 2015]
A note on the quantum query complexity of permutation symmetric functions
International audienceIt is known since the work of [AA14] that for any permutation symmetric function , the quantum query complexity is at most polynomially smaller than the classical randomized query complexity, more precisely that . In this paper, we improve this result and show that for a more general class of symmetric functions. Our proof is constructive and relies largely on the quantum hardness of distinguishing a random permutation from a random function with small range from Zhandry [Zha15]
The Structure of Promises in Quantum Speedups
It has long been known that in the usual black-box model, one cannot get
super-polynomial quantum speedups without some promise on the inputs. In this
paper, we examine certain types of symmetric promises, and show that they also
cannot give rise to super-polynomial quantum speedups. We conclude that
exponential quantum speedups only occur given "structured" promises on the
input.
Specifically, we show that there is a polynomial relationship of degree
between and for any function defined on permutations
(elements of in which each alphabet element occurs
exactly once). We generalize this result to all functions defined on orbits
of the symmetric group action (which acts on an element of by permuting its entries). We also show that when is constant, any
function defined on a "symmetric set" - one invariant under -
satisfies .Comment: 15 page
Block Sensitivity of Minterm-Transitive Functions
Boolean functions with symmetry properties are interesting from a complexity
theory perspective; extensive research has shown that these functions, if
nonconstant, must have high `complexity' according to various measures.
In recent work of this type, Sun gave bounds on the block sensitivity of
nonconstant Boolean functions invariant under a transitive permutation group.
Sun showed that all such functions satisfy bs(f) = Omega(N^{1/3}), and that
there exists such a function for which bs(f) = O(N^{3/7}ln N). His example
function belongs to a subclass of transitively invariant functions called the
minterm-transitive functions (defined in earlier work by Chakraborty).
We extend these results in two ways. First, we show that nonconstant
minterm-transitive functions satisfy bs(f) = Omega(N^{3/7}). Thus Sun's example
function has nearly minimal block sensitivity for this subclass. Second, we
give an improved example: a minterm-transitive function for which bs(f) =
O(N^{3/7}ln^{1/7}N).Comment: 10 page
Pseudorandom States, Non-Cloning Theorems and Quantum Money
We propose the concept of pseudorandom states and study their constructions,
properties, and applications. Under the assumption that quantum-secure one-way
functions exist, we present concrete and efficient constructions of
pseudorandom states. The non-cloning theorem plays a central role in our
study---it motivates the proper definition and characterizes one of the
important properties of pseudorandom quantum states. Namely, there is no
efficient quantum algorithm that can create more copies of the state from a
given number of pseudorandom states. As the main application, we prove that any
family of pseudorandom states naturally gives rise to a private-key quantum
money scheme.Comment: 20 page
- …