On the natural representation of S() into L ^2(P()) : Discrete harmonics and Fourier transform

DOI10.1006/JCTA.2002.3291MaRDI QIDQ1865387zbMATH OpenOpenAlexFDO

Authors José Manuel Marco, Javier Parcet

Publication date 26 March 2003

Published in Journal of Combinatorial Theory. Series A (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0312232

discrete Terwilliger algebra symmetric group Laplacian operator finite Fourier transform Krawtchouk polynomials Hahn polynomials Johnson association scheme finite symmetric space

Mathematics Subject Classification ID

Association schemes, strongly regular graphs (05E30) Connections of hypergeometric functions with groups and algebras, and related topics (33C80)

Abstract: Let

O m e g a

denote a non-empty finite set. Let

S (O m e g a)

stand for the symmetric group on

O m e g a

and let us write

P (O m e g a)

for the power set of

O m e g a

. Let

h o : S (O m e g a) o U (L^{2} (P (O m e g a)))

be the left unitary representation of

S (O m e g a)

associated with its natural action on

P (O m e g a)

. We consider the algebra consisting of those endomorphisms of

L^{2} (P (O m e g a))

which commute with the action of

h o

. We find an attractive basis

B

for this algebra. We obtain an expression, as a linear combination of

B

, for the product of any two elements of

B

. We obtain an expression, as a linear combination of

B

, for the adjoint of each element of

B

. It turns out the Fourier transform on

P (O m e g a)

is an element of our algebra; we give the matrix which represents this transform with respect to

B

.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On the natural representation of \(S({\Omega})\) into \(L ^{2}(\mathcal{P}({\Omega)})\) : Discrete harmonics and Fourier transform

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1865387)