Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Algorithmica

Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem

Jaikumar Radhakrishnan, Martin Rötteler, Pranab Sen

Published Oct 17, 2008• 30 citations
Publisher
DOI
10.1007/s00453-008-9231-x

Related papers

Random Measurement Bases, Quantum State Distinction and Applications to the Hidden Subgroup Problem

Pranab Sen

We show that measuring any two low rank quantum states in a random orthonormal basis gives, with high probability, two probability distributions having total variation distance at least a universal constant times the Frobenius distance between the two states. This implies that for any finite ensemble of quantum states there is a single POVM that distinguishes between every pair of states from the ensemble by at least a constant times their Frobenius distance; in fact, with high probability a random POVM, under a suitable definition of randomness, suffices. There are examples of ensembles with constant pairwise trace distance where a single POVM cannot distinguish pairs of states by much better than their Frobenius distance, including the important ensemble of coset states of hidden subgroups of the symmetric group (Moore at al., 2005). We next consider the random Fourier method for the hidden subgroup problem (HSP) which consists of Fourier sampling the coset state of the hidden subgroup using random orthonormal bases for the group representations. In cases where every representation of the group has polynomially bounded rank when averaged over the hidden subgroup, the random Fourier method gives a POVM for the HSP operating on one coset state at a time and using totally a polynomial number of coset states. In particular, we get such POVMs whenever the group and the hidden subgroup form a Gel'fand pair, e.g., Abelian, dihedral and Heisenberg groups. This gives a positive counterpart to earlier negative results about random Fourier sampling when the above rank is exponentially large (Grigni et al., 2004), which happens for example in the HSP in the symmetric group. The drawback of random POVMs is that they are not efficient to implement, since measuring in a random basis takes exponential time as can be seen by a counting argument. This leads us to the open question of efficiently implementable pseudorandom measurement bases

arXiv:quant-ph/0512085•IEEE Conference on Computational Complexity (CCC)•Aug 8, 2006•30 citations

Quantum measurements for hidden subgroup problems with optimal sample complexity

亮周 河内, Akinori Kawachi

•Mar 1, 2008•0 citations

Optimal single-copy measurement for the hidden-subgroup problem

Dave Bacon, Thomas Decker

The optimization of measurements for the state distinction problem has recently been applied to the theory of quantum algorithms with considerable successes, including efficient alternative quantum algorithms for the non-Abelian hidden-subgroup problem. Previous work has identified the optimal single-copy measurement for the hidden-subgroup problem over Abelian groups as well as for the non-Abelian problem in the setting where the subgroups are restricted to be all conjugate to each other. Here we describe the optimal single-copy measurement for the hidden-subgroup problem when all of the subgroups of the group are given with equal a priori probability. The optimal measurement is seen to be a hybrid of the two previously discovered single-copy optimal measurements for the hidden-subgroup problem.

arXiv:0706.4478•Physical Review A•Mar 21, 2008•10 citations

Recent topics in quantum measurement problem

Mikio Namiki

•Jan 1, 1998•0 citations

Learning quantum symmetries

Isaac Holt, Sathyawageeswar Subramanian

Quantum algorithms are powerful tools for finding symmetries of classical objects, most famously through Shor's algorithm and the Hidden Subgroup Problem (HSP). In this work, we study quantum algorithms for learning symmetries of \emph{quantum} objects. Existing work in this area centres on the recently introduced State Hidden Subgroup Problem (StateHSP), a quantum generalisation of HSP in which the task is to learn the symmetry subgroup of a quantum state. We develop efficient quantum algorithms for non-abelian StateHSP when the hidden subgroup is normal and the ambient group belongs to a broad class of non-abelian groups, extending the previous general theory beyond the abelian setting. StateHSP learns \emph{Bose} symmetries, under which a state must be invariant exactly under the action of the symmetry group. In quantum mechanics, however, physically equivalent pure states are defined only up to global phase. Motivated by this, we introduce a natural notion of \emph{Anyonic} state symmetry learning, based on invariance up to global phase. We give an efficient quantum algorithm by reducing the problem to StateHSP, where the reduction rests on a new correspondence between linearisations of projective representations and linear error-correcting codes. As an application, we obtain an improved algorithm for learning stabiliser groups of mixed qudit states of arbitrary local dimension. Finally, we introduce symmetry learning problems for other quantum objects, including unitaries, Hamiltonians, and finite collections of states, and give efficient algorithms for them by reduction to state symmetry learning. Together, these results broaden the scope of state symmetry learning as a common algorithmic primitive for learning quantum symmetries.

quant-pharXiv:2609.38085•Sep 30, 2026•0 citations

From optimal measurement to efficient quantum algorithms for the hidden subgroup problem over semidirect product groups

Dave Bacon, Andrew M. Childs, Wim van Dam

We approach the hidden subgroup problem by performing the so-called pretty good measurement on hidden subgroup states. For various groups that can be expressed as the semidirect product of an abelian group and a cyclic group, we show that the pretty good measurement is optimal and that its probability of success and unitary implementation are closely related to an average-case algebraic problem. By solving this problem, we find efficient quantum algorithms for a number of nonabelian hidden subgroup problems, including some for which no efficient algorithm was previously known: certain metacyclic groups as well as all groups of the form /spl Zopf//sub p/ /sup r/ /spl times/ /spl Zopf//sub p/ fixed r (including the Heisenberg group, r = 2). In particular our results show that entangled measurements across multiple copies of hidden subgroup states can be useful for efficiently solving the nonabelian HSP.

arXiv:quant-ph/0504083•Annual Symposium on Foundations of Computer Science•Nov 15, 2005•124 citations
We show that measuring any two low rank quantum states in a random orthonormal basis gives, with high probability, two probability distributions having total variation distance at least a universal constant times the Frobenius distance between the two states. This implies that for any finite ensemble of quantum states there is a single POVM that distinguishes between every pair of states from the ensemble by at least a constant times their Frobenius distance; in fact, with high probability a random POVM, under a suitable definition of randomness, suffices. There are examples of ensembles with constant pairwise trace distance where a single POVM cannot distinguish pairs of states by much better than their Frobenius distance, including the important ensemble of coset states of hidden subgroups of the symmetric group (Moore at al., 2005). We next consider the random Fourier method for the hidden subgroup problem (HSP) which consists of Fourier sampling the coset state of the hidden subgroup using random orthonormal bases for the group representations. In cases where every representation of the group has polynomially bounded rank when averaged over the hidden subgroup, the random Fourier method gives a POVM for the HSP operating on one coset state at a time and using totally a polynomial number of coset states. In particular, we get such POVMs whenever the group and the hidden subgroup form a Gel'fand pair, e.g., Abelian, dihedral and Heisenberg groups. This gives a positive counterpart to earlier negative results about random Fourier sampling when the above rank is exponentially large (Grigni et al., 2004), which happens for example in the HSP in the symmetric group. The drawback of random POVMs is that they are not efficient to implement, since measuring in a random basis takes exponential time as can be seen by a counting argument. This leads us to the open question of efficiently implementable pseudorandom measurement bases
The optimization of measurements for the state distinction problem has recently been applied to the theory of quantum algorithms with considerable successes, including efficient alternative quantum algorithms for the non-Abelian hidden-subgroup problem. Previous work has identified the optimal single-copy measurement for the hidden-subgroup problem over Abelian groups as well as for the non-Abelian problem in the setting where the subgroups are restricted to be all conjugate to each other. Here we describe the optimal single-copy measurement for the hidden-subgroup problem when all of the subgroups of the group are given with equal a priori probability. The optimal measurement is seen to be a hybrid of the two previously discovered single-copy optimal measurements for the hidden-subgroup problem.
Quantum algorithms are powerful tools for finding symmetries of classical objects, most famously through Shor's algorithm and the Hidden Subgroup Problem (HSP). In this work, we study quantum algorithms for learning symmetries of \emph{quantum} objects. Existing work in this area centres on the recently introduced State Hidden Subgroup Problem (StateHSP), a quantum generalisation of HSP in which the task is to learn the symmetry subgroup of a quantum state. We develop efficient quantum algorithms for non-abelian StateHSP when the hidden subgroup is normal and the ambient group belongs to a broad class of non-abelian groups, extending the previous general theory beyond the abelian setting. StateHSP learns \emph{Bose} symmetries, under which a state must be invariant exactly under the action of the symmetry group. In quantum mechanics, however, physically equivalent pure states are defined only up to global phase. Motivated by this, we introduce a natural notion of \emph{Anyonic} state symmetry learning, based on invariance up to global phase. We give an efficient quantum algorithm by reducing the problem to StateHSP, where the reduction rests on a new correspondence between linearisations of projective representations and linear error-correcting codes. As an application, we obtain an improved algorithm for learning stabiliser groups of mixed qudit states of arbitrary local dimension. Finally, we introduce symmetry learning problems for other quantum objects, including unitaries, Hamiltonians, and finite collections of states, and give efficient algorithms for them by reduction to state symmetry learning. Together, these results broaden the scope of state symmetry learning as a common algorithmic primitive for learning quantum symmetries.
We approach the hidden subgroup problem by performing the so-called pretty good measurement on hidden subgroup states. For various groups that can be expressed as the semidirect product of an abelian group and a cyclic group, we show that the pretty good measurement is optimal and that its probability of success and unitary implementation are closely related to an average-case algebraic problem. By solving this problem, we find efficient quantum algorithms for a number of nonabelian hidden subgroup problems, including some for which no efficient algorithm was previously known: certain metacyclic groups as well as all groups of the form /spl Zopf//sub p/ /sup r/ /spl times/ /spl Zopf//sub p/ fixed r (including the Heisenberg group, r = 2). In particular our results show that entangled measurements across multiple copies of hidden subgroup states can be useful for efficiently solving the nonabelian HSP.