Strong Gelfand Pair Theory

• Strong Gelfand pairs are defined as (G,H) where every irreducible character of H induces, and every irreducible character of G restricts, without repetition, a condition stricter than ordinary Gelfand pairs.
• Methodologies include explicit branching rules, Schur ring techniques, and symmetry breaking operators to classify such pairs in settings like SL(2,p), dihedral groups, and wreath products.
• The concept underpins advances in both finite-group and Lie-group harmonic analysis, connecting multiplicity-free decompositions to commutative convolution algebras and association schemes.

Searching arXiv for recent and foundational papers on strong Gelfand pairs and closely related ordinary Gelfand-pair background. A strong Gelfand pair is a pair $(G,H)$, typically with $G$ a finite group and $H\le G$, such that every irreducible character of $H$ induces to a multiplicity-free character of $G$. Equivalently, every irreducible character of $G$ restricts to $H$ without repeated irreducible constituents (Barton et al., 2021). In finite-group settings this is stronger than the ordinary Gelfand-pair condition, which requires multiplicity-freeness only for the induced trivial character $1_H^G$ (Marrow, 2 Oct 2025). A second, widely used formulation identifies strong Gelfand pairs with commutativity of the algebra of functions constant on $H$-conjugacy classes, or, in Schur-ring language, with commutativity of the Schur ring generated by the $H$-classes $G$0 (Bastian et al., 19 Sep 2025). The notion therefore lies at the intersection of multiplicity-free branching, commutative convolution structures, and finite-group harmonic analysis.

1. Definitions and equivalent formulations

In the finite-group literature represented here, a pair $G$1 is a strong Gelfand pair if for every irreducible character $G$2, the induced character $G$3 is multiplicity-free (Marrow, 14 Aug 2025). By Frobenius reciprocity, this is equivalent to the restriction statement

$G$4

so every irreducible representation of $G$5 restricts multiplicity-freely to $G$6 (Marrow, 2 Oct 2025).

This should be contrasted with the ordinary Gelfand-pair condition. For a finite group $G$7 and subgroup $G$8, the pair $G$9 is an ordinary Gelfand pair when

$H\le G$0

is multiplicity-free, equivalently when the algebra of $H\le G$1-bi-invariant functions is commutative under convolution (Tout, 2020). The strong condition imposes the same multiplicity-free requirement for every irreducible $H\le G$2-character, not only for the trivial one (Barton et al., 2021).

A further equivalent formulation uses conjugacy by $H\le G$3. In the Schur-ring approach, $H\le G$4 is a strong Gelfand pair exactly when the $H\le G$5-conjugacy classes

$H\le G$6

form the principal sets of a commutative Schur ring $H\le G$7 (Bastian et al., 19 Sep 2025). This formulation is central in the connection with association schemes and Terwilliger algebras.

For finite groups, the literature also records the standard reduction

$H\le G$8

which converts a multiplicity-free restriction problem into an ordinary Gelfand problem for a diagonal subgroup (Can et al., 2020). In the real reductive setting, the corresponding multiplicity-one statement

$H\le G$9

for irreducible Casselman–Wallach representations is explicitly identified with the strong Gelfand property for $H$0 (Ditlevsen et al., 2024).

2. Relation to ordinary Gelfand pairs

The distinction between ordinary and strong Gelfand pairs is structural rather than terminological. Ordinary Gelfand pairs control the spherical representation attached to the trivial $H$1-type; strong Gelfand pairs control all $H$2-types simultaneously (Marrow, 28 Oct 2025). This makes the strong condition much more restrictive.

A basic illustration appears in wreath products. The pair

$H$3

is an ordinary Gelfand pair if and only if $H$4 is abelian (Tout, 2020). The proof uses Stein’s branching rule

$H$5

so multiplicities are controlled by the dimensions of irreducible $H$6-modules $H$7 (Tout, 2020). Although that paper does not state a strong Gelfand theorem, it exhibits the branching mechanism that strong Gelfand problems refine.

The same distinction appears in complex reflection groups. The pair

$H$8

is an ordinary Gelfand pair, proved via Gelfand’s lemma and explicit spherical-function theory (Haastrecht, 2020). But that work concerns only multiplicity-freeness of $H$9, not multiplicity-free restriction for all irreducibles, so it does not establish a strong Gelfand property (Haastrecht, 2020).

In Lie-theoretic settings, ordinary Gelfand-pair structure can be highly rigid without implying the strong variant. For locally compact groups, Monod defines an ordinary Gelfand pair $G$0 by commutativity of the algebra $G$1 of bi-$G$2-invariant bounded Radon measures (Monod, 2019). He proves that every such pair admits an Iwasawa decomposition

$G$3

with $G$4 closed, co-compact, and amenable (Monod, 2019). This theorem is not a result about strong Gelfand pairs, but it supplies background for how commutativity hypotheses can force strong structural consequences.

3. Finite-group character theory and branching criteria

The finite-group theory of strong Gelfand pairs is driven by concrete branching formulas, Mackey theory, and degree bounds. A recurring tool is the total character

$G$5

If $G$6 and there exists $G$7 with

$G$8

then $G$9 cannot be a strong Gelfand pair, because $G$0 would have to be multiplicity-free and therefore could not exceed the sum of all irreducible $G$1-degrees (Marrow, 2 Oct 2025). This obstruction is used decisively for the Suzuki groups and for $G$2 in even characteristic (Marrow, 2 Oct 2025, Humphries et al., 28 Apr 2025).

A second recurring principle is downward propagation of failure: if $G$3 and $G$4 is not a strong Gelfand pair, then $G$5 is not one either (Barton et al., 2021). This allows classifications to begin with maximal subgroups.

For index-$G$6 subgroups, Clifford-theoretic splitting and fusion behavior often resolves the problem. In the hyperoctahedral and symplectic classifications, irreducible characters are separated into those whose induction remains irreducible and those that split into two inequivalent constituents; total-character formulas are then derived from that dichotomy (Can et al., 2020, Humphries et al., 28 Apr 2025).

The branching-rule viewpoint is especially explicit in wreath products. For $G$7, the paper on strong Gelfand subgroups of wreath products uses the irreducible parametrization

$G$8

and proves reduction formulas that transfer multiplicity questions from $G$9 to symmetric-group induction problems governed by Littlewood–Richardson and Pieri rules (Can et al., 2020). This makes strong Gelfandness in wreath products a combinatorial branching problem.

4. Classification results in major finite families

A large part of the recent literature is devoted to family-by-family classification.

For $H$0, the classification is complete. If $H$1, then:

• if $H$2, the only strong Gelfand pair is

$H$3

where $H$4 is the subgroup of upper triangular matrices;

• if $H$5, there are exactly two:

$H$6

where $H$7 is the unique index-$H$8 subgroup of $H$9 (Barton et al., 2021).

For dihedral and dicyclic groups, the classification is likewise explicit. In $1_H^G$0, the strong Gelfand subgroups are precisely reflection subgroups, dihedral subgroups, the maximal cyclic subgroup $1_H^G$1, and, when $1_H^G$2 is even, $1_H^G$3 (Marrow, 14 Aug 2025). In $1_H^G$4, they are precisely subgroups of the form $1_H^G$5, dicyclic subgroups, $1_H^G$6, and $1_H^G$7 (Marrow, 14 Aug 2025).

For wreath products, a fundamental theorem states that for every finite group $1_H^G$8,

$1_H^G$9

is a strong Gelfand subgroup if and only if $H$0 has at most two parts and the second part is $H$1, $H$2, or $H$3 (Can et al., 2020). Equivalently,

$H$4

is a strong Gelfand pair exactly for $H$5 (Can et al., 2020). The same paper completely classifies strong Gelfand subgroups of the hyperoctahedral groups $H$6, organized by the projection $H$7 and involving subgroups such as $H$8, $H$9, and $H$0 (Can et al., 2020).

For Suzuki groups, the result is predominantly negative. If $H$1, then $H$2 has no nontrivial proper strong Gelfand subgroup: $H$3 (Marrow, 2 Oct 2025). The exceptional small case $H$4 has exactly four strong Gelfand subgroups: $H$5 (Marrow, 2 Oct 2025).

For $H$6 with $H$7 even, the classification is again completely negative for $H$8: $H$9 (Humphries et al., 28 Apr 2025). The proof rules out all maximal subgroups, including $G$00, $G$01, $G$02, subfield groups, and Suzuki subgroups (Humphries et al., 28 Apr 2025).

For sporadic groups, automorphism groups, and covers, the classification is also essentially complete. Among sporadic simple groups, the only proper strong Gelfand pairs are

$G$03

(Marrow, 28 Oct 2025). For most larger sporadic or sporadic-adjacent groups, including $G$04 and the Tits group $G$05, there are no proper strong Gelfand subgroups (Marrow, 28 Oct 2025).

5. Strong Gelfand pairs, Schur rings, and association schemes

A separate line of work studies strong Gelfand pairs through algebraic combinatorics. For a finite group $G$06 and subgroup $G$07, if the $G$08-classes $G$09 form the principal sets of a commutative Schur ring $G$10, then $G$11 is a strong Gelfand pair (Bastian et al., 19 Sep 2025). From such a pair one obtains an association scheme on $G$12 with relations

$G$13

where the $G$14 are the $G$15-classes (Bastian et al., 19 Sep 2025).

This perspective supports a sharp classification theorem for when the associated Terwilliger algebra is almost commutative. If $G$16, then $G$17 is a strong Gelfand pair and the Terwilliger algebra $G$18 is almost commutative if and only if either:

1. $G$19 is abelian and $G$20 is any proper subgroup; or
2. $G$21 is a Frobenius group with Frobenius kernel $G$22 and cyclic complement, where $G$23 is abelian or a Camina $G$24-group (Bastian et al., 19 Sep 2025).

In the nonabelian classified case, the associated scheme has an explicit wreath-product decomposition

$G$25

(Bastian et al., 19 Sep 2025). This result ties strong Gelfand pairs to the structure theory of commutative association schemes and shows that the almost-commutative condition is highly restrictive.

6. Lie groups, multiplicity one, and analytic variants

Beyond finite groups, the phrase “strong Gelfand pair” is also used in representation theory of Lie groups to mean multiplicity one for restriction: $G$26 for all irreducible representations $G$27 of $G$28 and $G$29 of $G$30 (Ditlevsen et al., 2024). The paper on $G$31 takes this as background and studies explicit symmetry breaking operators between principal series (Ditlevsen et al., 2024). In that setting, the pair is already known to be a strong Gelfand pair, and the focus is on constructing the unique intertwiner in $G$32 by distribution kernels with meromorphic and then holomorphic dependence on induction parameters (Ditlevsen et al., 2024).

A broader analytic framework appears for Lie groups of polynomial growth. There a strong Gelfand pair $G$33 is defined by commutativity of the convolution algebra

$G$34

of $G$35-conjugation-invariant functions on $G$36 (Astengo et al., 2021). Proposition 2.2 in that work states that the following are equivalent:

• $G$37 is a strong Gelfand pair;
• $G$38 is an ordinary Gelfand pair;
• for every irreducible unitary representation $G$39 of $G$40, the restriction $G$41 is multiplicity-free (Astengo et al., 2021).

That paper studies the spherical transform and property (S), namely the isomorphism

$G$42

between Schwartz spaces on the group side and on the embedded spectrum $G$43 (Astengo et al., 2021). In the strong setting, the spectrum decomposes by $G$44-types: $G$45 and property (S) reduces to obtaining Schwartz extensions for each $G$46-component with rapid decay in $G$47 (Astengo et al., 2021). For semidirect products $G$48 with $G$49 abelian, the paper proves that ordinary and strong property (S) are equivalent (Astengo et al., 2021).

7. Conceptual themes and structural patterns

Several general patterns recur across the literature.

First, strong Gelfand phenomena are rare. This is explicit in the negative classifications for Suzuki groups, $G$50, $G$51, and the Tits group, where no proper strong Gelfand subgroup survives beyond small exceptions (Marrow, 2 Oct 2025, Humphries et al., 28 Apr 2025, Marrow, 28 Oct 2025).

Second, when strong Gelfand pairs do occur, they often align with highly structured subgroup embeddings: Borel-type subgroups in $G$52, Young-type subgroups with very small second block, Frobenius kernels with cyclic complements, or diagonal reductions to ordinary multiplicity-free pairs (Barton et al., 2021, Can et al., 2020, Bastian et al., 19 Sep 2025).

Third, ordinary Gelfand-pair background often supplies the ambient geometry. Monod’s theorem that every ordinary Gelfand pair admits a decomposition

$G$53

with $G$54 amenable (Monod, 2019), Carmeli’s stability theory for symmetric pairs (Carmeli, 2015), and the complex-symmetric-pair regularity and descendant machinery of van Dijk–style Gelfand problems (Rubio, 2019) all provide frameworks that are representation-theoretically adjacent to strong Gelfand questions, especially through the diagonal-pair reformulation (Rubio, 2019).

Finally, combinatorial and harmonic-analytic approaches complement one another. In finite groups, the decisive tools are character degrees, branching rules, and explicit decompositions (Tout, 2020, Barton et al., 2021). In Lie groups, one instead sees symmetry breaking operators, differential operators, spherical transforms, and spectrum embeddings (Ditlevsen et al., 2024, Astengo et al., 2021).

8. Historical and methodological perspective

The modern literature treats strong Gelfand pairs less as a single unified classification problem than as a family of multiplicity-one problems adapted to different categories. In finite groups, the emphasis is on subgroup classification and exact branching formulas. In symmetric and reductive settings, the emphasis shifts to invariant distributions, regularity of descendants, and reduction to ordinary Gelfand problems for diagonal pairs (Rubio, 2019, Carmeli, 2015).

A plausible implication is that the term “strong Gelfand pair” now serves as a bridge concept linking several traditions:

• multiplicity-free subgroup theory in finite groups (Can et al., 2020);
• commutative Schur rings and association schemes (Bastian et al., 19 Sep 2025);
• branching problems for reductive groups (Ditlevsen et al., 2024);
• and strong-transitivity or geometric rigidity phenomena adjacent to ordinary Gelfand theory in buildings and symmetric spaces (Caprace et al., 2013).

What remains consistent across these settings is the same underlying principle: a strong Gelfand pair is one in which branching from $G$55 to $G$56 exhibits multiplicity one uniformly across all irreducible data, and this uniformity forces highly rigid algebraic or geometric structure.