# Quantum Complexity of Testing Group Commutativity

@article{Magniez2007QuantumCO,
title={Quantum Complexity of Testing Group Commutativity},
author={Fr{\'e}d{\'e}ric Magniez and Ashwin Nayak},
journal={Algorithmica},
year={2007},
volume={48},
pages={221-232}
}
• Published 2007
• Mathematics, Computer Science, Physics
• Algorithmica
AbstractWe consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pak, who gave a randomized algorithm involving O(k) group operations. We construct a quite optimal quantum algorithm for this problem whose complexity is in $\tilde{O}(k^{2/3})$. The algorithm uses and highlights the power of the quantization method of Szegedy. For the lower bound of $\Omega(k^{2/3})$, we give a… Expand
88 Citations

#### Topics from this paper

Quantum Query Complexity of Multilinear Identity Testing
• Computer Science, Mathematics
• Electron. Colloquium Comput. Complex.
• 2008
This work studies the problem of testing if the polynomial of a black-box finite ring is an \emph{identity} for the given ring and gives a quantum algorithm with query complexity sub-linear in the number of generators for the ring, when theNumber of indeterminates of the input polynometric is small. Expand
Quantum Algorithms for Algebraic Problems ∗
In this paper we present quantum query and time complexity bounds for several group testing problems. For a set S and a binary operation on S, we consider the decision problems whether a givenExpand
Quantum Property Testing of Group Solvability
• Computer Science, Mathematics
• LATIN
• 2008
This paper constructs an efficient quantum algorithm that tests whether (Γ, ċ) is a solvable group, or is far from any solvable groups, and the number of queries used by the algorithm is polylogarithmic in the size of the set Γ. Expand
Quantum Property Testing of Group Solvability
• Mathematics, Physics
• Algorithmica
• 2009
This paper constructs an efficient quantum algorithm that tests whether (Γ,⋅) is a solvable group, or is far from any solable group, and the number of queries used by the algorithm is polylogarithmic in the size of the set Γ. Expand
A Quantum Algorithm for the Commutativity of Finite Dimensional Algebras
• Mathematics, Computer Science
• IEEE Access
• 2019
This algorithm, based on Grover’s quantum search, is shown to provide a quadratic speed-up over any classical algorithm with equal success rate and to be optimal among the class of probabilistic quantum query algorithms. Expand
Quantum Algorithms for a Set of Group Theoretic Problems
• Computer Science, Physics
• Int. J. Found. Comput. Sci.
• 2015
We introduce two decision problems, STABILIZERD and TRANSLATING COSETD, and give quantum reductions from them to the problem ORBIT SUPERPOSITION, as well as quantum reductions to them from two groupExpand
The Quantum Query Complexity of Algebraic Properties
• Computer Science, Physics
• FCT
• 2007
The first application of the new quantum random walk technique by Magniez, Nayak, Roland, and Santha that improves the previous bounds by Ambainis [3] and Szegedy [23] is given. Expand
Testing Group Commutativity in Constant Time
Lipton and Zalcstein presented a constant time algorithm for testing if a group is abelian in 12. However, the reference only contains a short abstract without proof. In this paper, we give a selfExpand
Testing Group Commutativity in Constant Time
Lipton and Zalcstein presented a constant time algorithm for testing if a group is abelian in 12 . However, the reference only contains a short abstract without proof. In this paper, we give a selfExpand
Quantum Algorithm for Commutativity Testing of a Matrix Set
Suppose we have k matrices of size n by n. We are given an oracle that knows all the entries of k matrices, that is, we can query the oracle an (i,j) entry of the l-th matrix. The goal is to test ifExpand

#### References

SHOWING 1-10 OF 29 REFERENCES
Quantum algorithms for solvable groups
• J. Watrous
• Mathematics, Computer Science
• STOC '01
• 2001
An important byproduct of this polynomial-time quantum algorithm is able to produce a pure quantum state that is uniform over the elements in any chosen subgroup of a solvable group, which yields a natural way to apply existing quantum algorithms to factor groups of solvable groups. Expand
Quantum lower bounds by polynomials
• Mathematics, Computer Science
• Proceedings 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. Expand
Quantum lower bound for the collision problem
A lower bound of Ω(n1/5) is shown on the number of queries needed by a quantum computer to solve the problem of deciding whether two sets are equal or disjoint on a constant fraction of elements. Expand
Quantum speed-up of Markov chain based algorithms
• M. Szegedy
• Mathematics, Computer Science
• 45th Annual IEEE Symposium on Foundations of Computer Science
• 2004
It is shown that under certain conditions, the quantum version of the Markov chain gives rise to a quadratic speed-up, and that the quantum escape time, just like its classical version, depends on the spectral properties of the transition matrix with the marked rows and columns deleted. Expand
On the Complexity of Matrix Group Problems I
• Mathematics, Computer Science
• FOCS
• 1984
A theory of black box groups is built, and it is proved that for such subgroups, membership and divisor of the order are in NPB, and under a plausible mathematical hypothesis on short presentations of finite simple groups, nom membership and exaact order will also be inNPB. Expand
Quantum walk algorithm for element distinctness
• A. Ambainis
• Mathematics, Physics
• 45th Annual IEEE Symposium on Foundations of Computer Science
• 2004
An O(N/sup k/(k+1)/) query quantum algorithm is given for the generalization of element distinctness in which the authors have to find k equal items among N items. Expand
Polynomial Degree and Lower Bounds in Quantum Complexity: Collision and Element Distinctness with Small Range
A general method for proving quantum lower bounds for problems with small range is given, and a better lower bound is obtained on the polynomial degree of the two-level AND-OR tree. Expand
Quantum Lower Bound for the Collision Problem with Small Range
• S. Kutin
• Computer Science, Mathematics
• Theory Comput.
• 2005
A modified version of Aaronson and Shi's quantum lower bound for the r-to-one collision problem that removes a restriction that applies only when the range has size at least 3n/2. Expand
Lower Bounds for Discrete Logarithms and Related Problems
• V. Shoup
• Mathematics, Computer Science
• EUROCRYPT
• 1997
Lower bounds on the complexity of the discrete logarithm and related problems are proved that match the known upper bounds: any generic algorithm must perform Ω(p1/2) group operations, where p is the largest prime dividing the order of the group. Expand
Quantum computation and quantum information
• T. Paul
• Mathematics, Computer Science
• Mathematical Structures in Computer Science
• 2007
This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing. The first two papers dealExpand