Skip to main content
added 2 characters in body
Source Link
darij grinberg
  • 35.5k
  • 4
  • 125
  • 268

By standard manipulations with the group algebra, your sum has a combinatorial/probabilistic interpretation that makes its nonnegativity clear.

The element $ \frac{1}{|G|} \sum_{ g\in G} [g hg^{-1} ]$ in the group algebra is conjugacy invariant, and so acts by scalars on each irreducible representation. Because its trace on a representation with the character $\chi$ is $ \frac{1}{|G|} \sum_{ g\in G} \chi( g hg^{-1} ) = \frac{1}{|G|} \sum_{ g\in G} \chi( h )= \chi(h)$, its unique eigenvalue must be $\frac{\chi(h)}{\chi(1)}$. Hence for $h_1,h_2,h_3$ three elements of the group,

$$ \left( \frac{1}{|G|} \sum_{ g\in G} [g h_1g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_2g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_3g^{-1} ]\right) $$

acts on this representation with eigenvalue $\frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}$.

Now the group algebra, as a module over itself, is the sum over irreducible characters $\chi$ of $\chi(1) $ copies of the representation with character $\chi$. Hence the trace of this element on the group algebra is $$\sum_{\chi} \chi(1) \cdot \chi(1) \cdot \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}= \sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)}.$$

On the other hand, the trace of an element of the group algebra on itself is the order of the group times the coefficient of $[1]$. The coefficient of $1$$[1]$ in this particular element is $\frac{1}{ |G|^3}$ times the number of $g_1,g_2,g_3$ such that $g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1$. This gives the combinatorial interpretation

$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \left| \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}\right|$$

from which non-negativity is clear.

I would guess this is probably in the group theory literature somewhere but I wouldn't know where.

By standard manipulations with the group algebra, your sum has a combinatorial/probabilistic interpretation that makes its nonnegativity clear.

The element $ \frac{1}{|G|} \sum_{ g\in G} [g hg^{-1} ]$ in the group algebra is conjugacy invariant, and so acts by scalars on each irreducible representation. Because its trace on a representation with the character $\chi$ is $ \frac{1}{|G|} \sum_{ g\in G} \chi( g hg^{-1} ) = \frac{1}{|G|} \sum_{ g\in G} \chi( h )= \chi(h)$, its unique eigenvalue must be $\frac{\chi(h)}{\chi(1)}$. Hence for $h_1,h_2,h_3$ three elements of the group,

$$ \left( \frac{1}{|G|} \sum_{ g\in G} [g h_1g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_2g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_3g^{-1} ]\right) $$

acts on this representation with eigenvalue $\frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}$.

Now the group algebra, as a module over itself, is the sum over irreducible characters $\chi$ of $\chi(1) $ copies of the representation with character $\chi$. Hence the trace of this element on the group algebra is $$\sum_{\chi} \chi(1) \cdot \chi(1) \cdot \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}= \sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)}.$$

On the other hand, the trace of an element of the group algebra on itself is the order of the group times the coefficient of $[1]$. The coefficient of $1$ in this particular element is $\frac{1}{ |G|^3}$ times the number of $g_1,g_2,g_3$ such that $g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1$. This gives the combinatorial interpretation

$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \left| \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}\right|$$

from which non-negativity is clear.

I would guess this is probably in the group theory literature somewhere but I wouldn't know where.

By standard manipulations with the group algebra, your sum has a combinatorial/probabilistic interpretation that makes its nonnegativity clear.

The element $ \frac{1}{|G|} \sum_{ g\in G} [g hg^{-1} ]$ in the group algebra is conjugacy invariant, and so acts by scalars on each irreducible representation. Because its trace on a representation with the character $\chi$ is $ \frac{1}{|G|} \sum_{ g\in G} \chi( g hg^{-1} ) = \frac{1}{|G|} \sum_{ g\in G} \chi( h )= \chi(h)$, its unique eigenvalue must be $\frac{\chi(h)}{\chi(1)}$. Hence for $h_1,h_2,h_3$ three elements of the group,

$$ \left( \frac{1}{|G|} \sum_{ g\in G} [g h_1g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_2g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_3g^{-1} ]\right) $$

acts on this representation with eigenvalue $\frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}$.

Now the group algebra, as a module over itself, is the sum over irreducible characters $\chi$ of $\chi(1) $ copies of the representation with character $\chi$. Hence the trace of this element on the group algebra is $$\sum_{\chi} \chi(1) \cdot \chi(1) \cdot \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}= \sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)}.$$

On the other hand, the trace of an element of the group algebra on itself is the order of the group times the coefficient of $[1]$. The coefficient of $[1]$ in this particular element is $\frac{1}{ |G|^3}$ times the number of $g_1,g_2,g_3$ such that $g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1$. This gives the combinatorial interpretation

$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \left| \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}\right|$$

from which non-negativity is clear.

I would guess this is probably in the group theory literature somewhere but I wouldn't know where.

added 14 characters in body
Source Link
Will Sawin
  • 162k
  • 9
  • 349
  • 613

By standard manipulations with the group algebra, your sum has a combinatorial/probabilistic interpretation that makes its nonnegativity clear.

The element $ \frac{1}{|G|} \sum_{ g\in G} [g hg^{-1} ]$ in the group algebra is conjugacy invariant, and so acts by scalars on each irreducible representation. Because its trace on a representation with the character $\chi$ is $ \frac{1}{|G|} \sum_{ g\in G} \chi( g hg^{-1} ) = \frac{1}{|G|} \sum_{ g\in G} \chi( h )= \chi(h)$, its unique eigenvalue must be $\frac{\chi(h)}{\chi(1)}$. Hence for $h_1,h_2,h_3$ three elements of the group,

$$ \left( \frac{1}{|G|} \sum_{ g\in G} [g h_1g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_2g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_3g^{-1} ]\right) $$

acts on this representation with eigenvalue $\frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}$.

Now the group algebra, as a module over itself, is the sum over irreducible characters $\chi$ of $\chi(1) $ copies of the representation with character $\chi$. Hence the trace of this element on the group algebra is $$\sum_{\chi} \chi(1) \cdot \chi(1) \cdot \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}= \sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)}.$$

On the other hand, the trace of an element of the group algebra on itself is the order of the group times the coefficient of $[1]$. The coefficient of $1$ in this particular element is $\frac{1}{ |G|^3}$ times the number of $g_1,g_2,g_3$ such that $g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1$. This gives the combinatorial interpretation

$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}$$$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \left| \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}\right|$$

from which non-negativity is clear.

I would guess this is probably in the group theory literature somewhere but I wouldn't know where.

By standard manipulations with the group algebra, your sum has a combinatorial/probabilistic interpretation that makes its nonnegativity clear.

The element $ \frac{1}{|G|} \sum_{ g\in G} [g hg^{-1} ]$ in the group algebra is conjugacy invariant, and so acts by scalars on each irreducible representation. Because its trace on a representation with the character $\chi$ is $ \frac{1}{|G|} \sum_{ g\in G} \chi( g hg^{-1} ) = \frac{1}{|G|} \sum_{ g\in G} \chi( h )= \chi(h)$, its unique eigenvalue must be $\frac{\chi(h)}{\chi(1)}$. Hence for $h_1,h_2,h_3$ three elements of the group,

$$ \left( \frac{1}{|G|} \sum_{ g\in G} [g h_1g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_2g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_3g^{-1} ]\right) $$

acts on this representation with eigenvalue $\frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}$.

Now the group algebra, as a module over itself, is the sum over irreducible characters $\chi$ of $\chi(1) $ copies of the representation with character $\chi$. Hence the trace of this element on the group algebra is $$\sum_{\chi} \chi(1) \cdot \chi(1) \cdot \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}= \sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)}.$$

On the other hand, the trace of an element of the group algebra on itself is the order of the group times the coefficient of $[1]$. The coefficient of $1$ in this particular element is $\frac{1}{ |G|^3}$ times the number of $g_1,g_2,g_3$ such that $g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1$. This gives the combinatorial interpretation

$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}$$

from which non-negativity is clear.

I would guess this is probably in the group theory literature somewhere but I wouldn't know where.

By standard manipulations with the group algebra, your sum has a combinatorial/probabilistic interpretation that makes its nonnegativity clear.

The element $ \frac{1}{|G|} \sum_{ g\in G} [g hg^{-1} ]$ in the group algebra is conjugacy invariant, and so acts by scalars on each irreducible representation. Because its trace on a representation with the character $\chi$ is $ \frac{1}{|G|} \sum_{ g\in G} \chi( g hg^{-1} ) = \frac{1}{|G|} \sum_{ g\in G} \chi( h )= \chi(h)$, its unique eigenvalue must be $\frac{\chi(h)}{\chi(1)}$. Hence for $h_1,h_2,h_3$ three elements of the group,

$$ \left( \frac{1}{|G|} \sum_{ g\in G} [g h_1g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_2g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_3g^{-1} ]\right) $$

acts on this representation with eigenvalue $\frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}$.

Now the group algebra, as a module over itself, is the sum over irreducible characters $\chi$ of $\chi(1) $ copies of the representation with character $\chi$. Hence the trace of this element on the group algebra is $$\sum_{\chi} \chi(1) \cdot \chi(1) \cdot \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}= \sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)}.$$

On the other hand, the trace of an element of the group algebra on itself is the order of the group times the coefficient of $[1]$. The coefficient of $1$ in this particular element is $\frac{1}{ |G|^3}$ times the number of $g_1,g_2,g_3$ such that $g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1$. This gives the combinatorial interpretation

$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \left| \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}\right|$$

from which non-negativity is clear.

I would guess this is probably in the group theory literature somewhere but I wouldn't know where.

Source Link
Will Sawin
  • 162k
  • 9
  • 349
  • 613

By standard manipulations with the group algebra, your sum has a combinatorial/probabilistic interpretation that makes its nonnegativity clear.

The element $ \frac{1}{|G|} \sum_{ g\in G} [g hg^{-1} ]$ in the group algebra is conjugacy invariant, and so acts by scalars on each irreducible representation. Because its trace on a representation with the character $\chi$ is $ \frac{1}{|G|} \sum_{ g\in G} \chi( g hg^{-1} ) = \frac{1}{|G|} \sum_{ g\in G} \chi( h )= \chi(h)$, its unique eigenvalue must be $\frac{\chi(h)}{\chi(1)}$. Hence for $h_1,h_2,h_3$ three elements of the group,

$$ \left( \frac{1}{|G|} \sum_{ g\in G} [g h_1g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_2g^{-1} ]\right) \left( \frac{1}{|G|} \sum_{ g\in G} [g h_3g^{-1} ]\right) $$

acts on this representation with eigenvalue $\frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}$.

Now the group algebra, as a module over itself, is the sum over irreducible characters $\chi$ of $\chi(1) $ copies of the representation with character $\chi$. Hence the trace of this element on the group algebra is $$\sum_{\chi} \chi(1) \cdot \chi(1) \cdot \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)^3}= \sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)}.$$

On the other hand, the trace of an element of the group algebra on itself is the order of the group times the coefficient of $[1]$. The coefficient of $1$ in this particular element is $\frac{1}{ |G|^3}$ times the number of $g_1,g_2,g_3$ such that $g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1$. This gives the combinatorial interpretation

$$\sum_{\chi} \frac{ \chi(h_1) \chi(h_2) \chi(h_3)}{\chi(1)} = \frac{1}{ |G|^2} \{ g_1,g_2,g_3 \in G \mid g_1 h_1 g_1^{-1} g_2 h_2 g_2^{-1} g_3 h_3 g_3^{-1} =1 \}$$

from which non-negativity is clear.

I would guess this is probably in the group theory literature somewhere but I wouldn't know where.