Single-query quantum algorithms for symmetric problems

2016 ◽  
pp. 19-38
Author(s):  
Orest Bucicovschi ◽  
Daniel Copeland ◽  
David Meyer ◽  
James Pommersheim

Given a unitary representation of a finite group on a finite-dimensional Hilbert space, we show how to find a state whose translates under the group are distinguishable with the highest probability. We apply this to several quantum oracle problems, including the GROUP MULTIPLICATION problem, in which the product of an ordered n-tuple of group elements is to be determined by querying elements of the tuple. For any finite group G, we give an algorithm to find the product of two elements of G with a single quantum query with probability 2/|G|. This generalizes Deutsch’s Algorithm from Z2 to an arbitrary finite group. We further prove that this algorithm is optimal. We also introduce the HIDDEN CONJUGATING ELEMENT PROBLEM, in which the oracle acts by conjugating by an unknown element of the group. We show that for many groups, including dihedral and symmetric groups, the unknown element can be determined with probability 1 using a single quantum query.

1991 ◽  
Vol 34 (2) ◽  
pp. 224-228
Author(s):  
Morton E. Harris

AbstractLet G be a finite group, let k be a field and let R be a finite dimensional fully G-graded k-algebra. Also let L be a completely reducible R-module and let P be a projective cover of R. We give necessary and sufficient conditions for P|R1 to be a projective cover of L|R1 in Mod (R1). In particular, this happens if and only if L is R1-projective. Some consequences in finite group representation theory are deduced.


2017 ◽  
Vol 16 (02) ◽  
pp. 1750025 ◽  
Author(s):  
Jinke Hai ◽  
Shengbo Ge ◽  
Weiping He

Let [Formula: see text] be a finite group and let [Formula: see text] be the holomorph of [Formula: see text]. If [Formula: see text] is a finite nilpotent group or a symmetric group [Formula: see text] of degree [Formula: see text], then the normalizer property holds for [Formula: see text].


2016 ◽  
Vol 68 (2) ◽  
pp. 258-279 ◽  
Author(s):  
Lucas Calixto ◽  
Adriano Moura ◽  
Alistair Savage

AbstractAn equivariant map queer Lie superalgebra is the Lie superalgebra of regular maps from an algebraic variety (or scheme) X to a queer Lie superalgebra q that are equivariant with respect to the action of a finite group Γ acting on X and q. In this paper, we classify all irreducible finite-dimensional representations of the equivariant map queer Lie superalgebras under the assumption that Γ is abelian and acts freely on X. We show that such representations are parameterized by a certain set of Γ-equivariant finitely supported maps from X to the set of isomorphism classes of irreducible finite-dimensional representations of q. In the special case where X is the torus, we obtain a classification of the irreducible finite-dimensional representations of the twisted loop queer superalgebra.


2017 ◽  
Vol 16 (04) ◽  
pp. 1750065 ◽  
Author(s):  
Ali Reza Moghaddamfar

Let [Formula: see text] be the prime graph associated with a finite group [Formula: see text] and [Formula: see text] be the degree pattern of [Formula: see text]. A finite group [Formula: see text] is said to be [Formula: see text]-fold [Formula: see text]-characterizable if there exist exactly [Formula: see text] nonisomorphic groups [Formula: see text] such that [Formula: see text] and [Formula: see text]. The purpose of this paper is two-fold. First, it shows that the symmetric group [Formula: see text] is [Formula: see text]-fold [Formula: see text]-charaterizable. Second, it shows that there exist many infinite families of alternating and symmetric groups, [Formula: see text] and [Formula: see text], which are [Formula: see text]-fold [Formula: see text]-characterizable with [Formula: see text].


2012 ◽  
Vol 11 (01) ◽  
pp. 1250001 ◽  
Author(s):  
ALI REZA SALEMKAR ◽  
SARA CHEHRAZI ◽  
SOMAIEH ALIZADEH NIRI

Given a maximal subalgebra M of a finite-dimensional Lie algebra L, a θ-pair for M is a pair (A, B) of subalgebras such that A ≰ M, B is an ideal of L contained in A ∩ M, and A/B includes properly no nonzero ideal of L/B. This is analogous to the concept of θ-pairs associated to maximal subgroups of a finite group, which has been studied by a number of authors. A θ-pair (A, B) for M is said to be maximal if M has no θ-pair (C, D) such that A < C. In this paper, we obtain some properties of maximal θ-pairs and use them to give some characterizations of solvable, supersolvable and nilpotent Lie algebras.


1970 ◽  
Vol 2 (3) ◽  
pp. 347-357 ◽  
Author(s):  
R. M. Bryant ◽  
R. A. Bryce ◽  
B. Hartley

We prove here that the (saturated) formation generated by a finite soluble group has only finitely many (saturated) subformations. This answers a question asked by Professor W. Gaschütz. Some partial results are also given in the case of a formation generated by an arbitrary finite group.


1929 ◽  
Vol 25 (2) ◽  
pp. 168-174 ◽  
Author(s):  
G. de B. Robinson

Let a finite group Τ be represented as an irreducible group of order N of linear substitutions on n variables,The variables may be chosen so that the substitutions of the group leave invariant the Hermitian form


2001 ◽  
Vol 71 (2) ◽  
pp. 149-158 ◽  
Author(s):  
R. M. Bryant ◽  
I. C. Michos

AbstractLet G be a finite group of order pk, where p is a prime and k ≥ 1, such that G is either cyclic, quaternion or generalised quaternion. Let V be a finite-dimensional free KG-module where K is a field of characteristic p. The Lie powers Ln(V) are naturally KG-modules and the main result identifies these modules up to isomorphism. There are only two isomorphism types of indecomposables occurring as direct summands of these modules, namely the regular KG-module and the indecomposable of dimension pk – pk−1 induced from the indecomposable K H-module of dimension p − 1, where H is the unique subgroup of G of order p. Formulae are given for the multiplicities of these indecomposables in Ln(V). This extends and utilises work of the first author and R. Stöhr concerned with the case where G has order p.


2020 ◽  
pp. 1-7
Author(s):  
Omar Tout

Abstract It is well known that the pair $(\mathcal {S}_n,\mathcal {S}_{n-1})$ is a Gelfand pair where $\mathcal {S}_n$ is the symmetric group on n elements. In this paper, we prove that if G is a finite group then $(G\wr \mathcal {S}_n, G\wr \mathcal {S}_{n-1}),$ where $G\wr \mathcal {S}_n$ is the wreath product of G by $\mathcal {S}_n,$ is a Gelfand pair if and only if G is abelian.


Sign in / Sign up

Export Citation Format

Share Document