Clebsch--Gordan decomposition for $mathrmSU(2)$, in indices

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite












Let $pi_m$, $m geq 0$, be the unitary irreps of $mathrmSU(2)$. The Clebsch--Gordan decomposition then gives that
$$ pi_m otimes pi_n = bigoplus_k=0^min(m,n)pi_m+n-2k.$$
But suppose I want to think of this decomposition as matrices. Evaluating at a point $x in mathrmSU(2)$, on the left I have
$$ (pi_m(x))_ij (pi_n(x))_pq.$$
How do the indices $i,j$ and $p,q$ correspond to the indices on the big matrix on the right?



Some motivation for the question. Expressions involving products of Fourier coefficients arise naturally in nonlinear harmonic analysis on $mathrmSU(2)$. In this specific instance I am interested in calculating $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n)pi_n(x)) = hatf(pi_m)^ji hatf(pi_n)^qp pi_m(x)_ij pi_n(x)_pq$ using the Clebsch--Gordan expansion above. Here $hatf(pi) = int_mathrmSU(2) f(x) pi(x^-1) mathrmd x. $




matrices representation-theory lie-groups




share|cite|improve this question






















  • The only possible answer is "it depends". The statement is that there is an isomorphism $pi_m otimes pi_n cong bigoplus_k = 0^min(m, n) pi_m + n - 2k$; once you choose bases of the left- and right-hand sides, you'll get a matrix $A$ describing this isomorphism, and then the answer is that $A(pi_m(x))_i j(pi_n(x))_p qA^-1$ is the matrix of the direct-sum representation in terms of your chosen basis for the right-hand side. Do you have a preferred choice of bases?
    – LSpice
    Aug 10 at 14:54






  • 1




    Yes, I suppose that would be it. Ultimately, the reason for my question is because I want to know how to contract the indices $(pi_m(x))_ij (pi_n(x))_pq$ on the left with a tensor $f^ijpq$, so the answer will be basis independent. But I want to do it in terms of the sum on the right!
    – onamoonlessnight
    Aug 10 at 15:21







  • 1




    The problem comes from harmonic analysis on $mathrmSU(2)$, and I am dealing with the product $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n) pi_n(x))$ for some function $f$ on $mathrmSU(2)$. There is more detail to the problem that leads me to want to use the Clebsch--Gordan decomposition as above as a means to compute $hatf(pi_m)^ji pi_m(x)_ij hatf(pi_n)^qp pi_n(x)_pq$, but it might entirely be that I am missing something obvious!
    – onamoonlessnight
    Aug 10 at 15:33







  • 1




    In my convention $hatf(pi)$ is $int f(g) pi(g^-1) , mathrmd g$, but yes, and I think I agree that $operatornameTr(hatf(pi_m) pi_m(x)) = ( f * operatornameTr(pi_m))(x)$. Does this help? (Ideally I want the end result in terms of $hatf$, not $f$, but if this lends itself nicely to the decomposition then that would be useful too).
    – onamoonlessnight
    Aug 10 at 16:06






  • 1




    Thanks a lot. This has given me a few ideas to try too, and I will edit the question to include the motivation as well.
    – onamoonlessnight
    Aug 10 at 23:03














up vote
4
down vote

favorite












Let $pi_m$, $m geq 0$, be the unitary irreps of $mathrmSU(2)$. The Clebsch--Gordan decomposition then gives that
$$ pi_m otimes pi_n = bigoplus_k=0^min(m,n)pi_m+n-2k.$$
But suppose I want to think of this decomposition as matrices. Evaluating at a point $x in mathrmSU(2)$, on the left I have
$$ (pi_m(x))_ij (pi_n(x))_pq.$$
How do the indices $i,j$ and $p,q$ correspond to the indices on the big matrix on the right?



Some motivation for the question. Expressions involving products of Fourier coefficients arise naturally in nonlinear harmonic analysis on $mathrmSU(2)$. In this specific instance I am interested in calculating $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n)pi_n(x)) = hatf(pi_m)^ji hatf(pi_n)^qp pi_m(x)_ij pi_n(x)_pq$ using the Clebsch--Gordan expansion above. Here $hatf(pi) = int_mathrmSU(2) f(x) pi(x^-1) mathrmd x. $




matrices representation-theory lie-groups




share|cite|improve this question






















  • The only possible answer is "it depends". The statement is that there is an isomorphism $pi_m otimes pi_n cong bigoplus_k = 0^min(m, n) pi_m + n - 2k$; once you choose bases of the left- and right-hand sides, you'll get a matrix $A$ describing this isomorphism, and then the answer is that $A(pi_m(x))_i j(pi_n(x))_p qA^-1$ is the matrix of the direct-sum representation in terms of your chosen basis for the right-hand side. Do you have a preferred choice of bases?
    – LSpice
    Aug 10 at 14:54






  • 1




    Yes, I suppose that would be it. Ultimately, the reason for my question is because I want to know how to contract the indices $(pi_m(x))_ij (pi_n(x))_pq$ on the left with a tensor $f^ijpq$, so the answer will be basis independent. But I want to do it in terms of the sum on the right!
    – onamoonlessnight
    Aug 10 at 15:21







  • 1




    The problem comes from harmonic analysis on $mathrmSU(2)$, and I am dealing with the product $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n) pi_n(x))$ for some function $f$ on $mathrmSU(2)$. There is more detail to the problem that leads me to want to use the Clebsch--Gordan decomposition as above as a means to compute $hatf(pi_m)^ji pi_m(x)_ij hatf(pi_n)^qp pi_n(x)_pq$, but it might entirely be that I am missing something obvious!
    – onamoonlessnight
    Aug 10 at 15:33







  • 1




    In my convention $hatf(pi)$ is $int f(g) pi(g^-1) , mathrmd g$, but yes, and I think I agree that $operatornameTr(hatf(pi_m) pi_m(x)) = ( f * operatornameTr(pi_m))(x)$. Does this help? (Ideally I want the end result in terms of $hatf$, not $f$, but if this lends itself nicely to the decomposition then that would be useful too).
    – onamoonlessnight
    Aug 10 at 16:06






  • 1




    Thanks a lot. This has given me a few ideas to try too, and I will edit the question to include the motivation as well.
    – onamoonlessnight
    Aug 10 at 23:03












up vote
4
down vote

favorite









up vote
4
down vote

favorite











Let $pi_m$, $m geq 0$, be the unitary irreps of $mathrmSU(2)$. The Clebsch--Gordan decomposition then gives that
$$ pi_m otimes pi_n = bigoplus_k=0^min(m,n)pi_m+n-2k.$$
But suppose I want to think of this decomposition as matrices. Evaluating at a point $x in mathrmSU(2)$, on the left I have
$$ (pi_m(x))_ij (pi_n(x))_pq.$$
How do the indices $i,j$ and $p,q$ correspond to the indices on the big matrix on the right?



Some motivation for the question. Expressions involving products of Fourier coefficients arise naturally in nonlinear harmonic analysis on $mathrmSU(2)$. In this specific instance I am interested in calculating $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n)pi_n(x)) = hatf(pi_m)^ji hatf(pi_n)^qp pi_m(x)_ij pi_n(x)_pq$ using the Clebsch--Gordan expansion above. Here $hatf(pi) = int_mathrmSU(2) f(x) pi(x^-1) mathrmd x. $




matrices representation-theory lie-groups




share|cite|improve this question














Let $pi_m$, $m geq 0$, be the unitary irreps of $mathrmSU(2)$. The Clebsch--Gordan decomposition then gives that
$$ pi_m otimes pi_n = bigoplus_k=0^min(m,n)pi_m+n-2k.$$
But suppose I want to think of this decomposition as matrices. Evaluating at a point $x in mathrmSU(2)$, on the left I have
$$ (pi_m(x))_ij (pi_n(x))_pq.$$
How do the indices $i,j$ and $p,q$ correspond to the indices on the big matrix on the right?



Some motivation for the question. Expressions involving products of Fourier coefficients arise naturally in nonlinear harmonic analysis on $mathrmSU(2)$. In this specific instance I am interested in calculating $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n)pi_n(x)) = hatf(pi_m)^ji hatf(pi_n)^qp pi_m(x)_ij pi_n(x)_pq$ using the Clebsch--Gordan expansion above. Here $hatf(pi) = int_mathrmSU(2) f(x) pi(x^-1) mathrmd x. $





matrices representation-theory lie-groups





share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 10 at 23:11

























asked Aug 9 at 17:38









onamoonlessnight

692414




692414











  • The only possible answer is "it depends". The statement is that there is an isomorphism $pi_m otimes pi_n cong bigoplus_k = 0^min(m, n) pi_m + n - 2k$; once you choose bases of the left- and right-hand sides, you'll get a matrix $A$ describing this isomorphism, and then the answer is that $A(pi_m(x))_i j(pi_n(x))_p qA^-1$ is the matrix of the direct-sum representation in terms of your chosen basis for the right-hand side. Do you have a preferred choice of bases?
    – LSpice
    Aug 10 at 14:54






  • 1




    Yes, I suppose that would be it. Ultimately, the reason for my question is because I want to know how to contract the indices $(pi_m(x))_ij (pi_n(x))_pq$ on the left with a tensor $f^ijpq$, so the answer will be basis independent. But I want to do it in terms of the sum on the right!
    – onamoonlessnight
    Aug 10 at 15:21







  • 1




    The problem comes from harmonic analysis on $mathrmSU(2)$, and I am dealing with the product $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n) pi_n(x))$ for some function $f$ on $mathrmSU(2)$. There is more detail to the problem that leads me to want to use the Clebsch--Gordan decomposition as above as a means to compute $hatf(pi_m)^ji pi_m(x)_ij hatf(pi_n)^qp pi_n(x)_pq$, but it might entirely be that I am missing something obvious!
    – onamoonlessnight
    Aug 10 at 15:33







  • 1




    In my convention $hatf(pi)$ is $int f(g) pi(g^-1) , mathrmd g$, but yes, and I think I agree that $operatornameTr(hatf(pi_m) pi_m(x)) = ( f * operatornameTr(pi_m))(x)$. Does this help? (Ideally I want the end result in terms of $hatf$, not $f$, but if this lends itself nicely to the decomposition then that would be useful too).
    – onamoonlessnight
    Aug 10 at 16:06






  • 1




    Thanks a lot. This has given me a few ideas to try too, and I will edit the question to include the motivation as well.
    – onamoonlessnight
    Aug 10 at 23:03
















  • The only possible answer is "it depends". The statement is that there is an isomorphism $pi_m otimes pi_n cong bigoplus_k = 0^min(m, n) pi_m + n - 2k$; once you choose bases of the left- and right-hand sides, you'll get a matrix $A$ describing this isomorphism, and then the answer is that $A(pi_m(x))_i j(pi_n(x))_p qA^-1$ is the matrix of the direct-sum representation in terms of your chosen basis for the right-hand side. Do you have a preferred choice of bases?
    – LSpice
    Aug 10 at 14:54






  • 1




    Yes, I suppose that would be it. Ultimately, the reason for my question is because I want to know how to contract the indices $(pi_m(x))_ij (pi_n(x))_pq$ on the left with a tensor $f^ijpq$, so the answer will be basis independent. But I want to do it in terms of the sum on the right!
    – onamoonlessnight
    Aug 10 at 15:21







  • 1




    The problem comes from harmonic analysis on $mathrmSU(2)$, and I am dealing with the product $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n) pi_n(x))$ for some function $f$ on $mathrmSU(2)$. There is more detail to the problem that leads me to want to use the Clebsch--Gordan decomposition as above as a means to compute $hatf(pi_m)^ji pi_m(x)_ij hatf(pi_n)^qp pi_n(x)_pq$, but it might entirely be that I am missing something obvious!
    – onamoonlessnight
    Aug 10 at 15:33







  • 1




    In my convention $hatf(pi)$ is $int f(g) pi(g^-1) , mathrmd g$, but yes, and I think I agree that $operatornameTr(hatf(pi_m) pi_m(x)) = ( f * operatornameTr(pi_m))(x)$. Does this help? (Ideally I want the end result in terms of $hatf$, not $f$, but if this lends itself nicely to the decomposition then that would be useful too).
    – onamoonlessnight
    Aug 10 at 16:06






  • 1




    Thanks a lot. This has given me a few ideas to try too, and I will edit the question to include the motivation as well.
    – onamoonlessnight
    Aug 10 at 23:03















The only possible answer is "it depends". The statement is that there is an isomorphism $pi_m otimes pi_n cong bigoplus_k = 0^min(m, n) pi_m + n - 2k$; once you choose bases of the left- and right-hand sides, you'll get a matrix $A$ describing this isomorphism, and then the answer is that $A(pi_m(x))_i j(pi_n(x))_p qA^-1$ is the matrix of the direct-sum representation in terms of your chosen basis for the right-hand side. Do you have a preferred choice of bases?
– LSpice
Aug 10 at 14:54




The only possible answer is "it depends". The statement is that there is an isomorphism $pi_m otimes pi_n cong bigoplus_k = 0^min(m, n) pi_m + n - 2k$; once you choose bases of the left- and right-hand sides, you'll get a matrix $A$ describing this isomorphism, and then the answer is that $A(pi_m(x))_i j(pi_n(x))_p qA^-1$ is the matrix of the direct-sum representation in terms of your chosen basis for the right-hand side. Do you have a preferred choice of bases?
– LSpice
Aug 10 at 14:54




1




1




Yes, I suppose that would be it. Ultimately, the reason for my question is because I want to know how to contract the indices $(pi_m(x))_ij (pi_n(x))_pq$ on the left with a tensor $f^ijpq$, so the answer will be basis independent. But I want to do it in terms of the sum on the right!
– onamoonlessnight
Aug 10 at 15:21





Yes, I suppose that would be it. Ultimately, the reason for my question is because I want to know how to contract the indices $(pi_m(x))_ij (pi_n(x))_pq$ on the left with a tensor $f^ijpq$, so the answer will be basis independent. But I want to do it in terms of the sum on the right!
– onamoonlessnight
Aug 10 at 15:21





1




1




The problem comes from harmonic analysis on $mathrmSU(2)$, and I am dealing with the product $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n) pi_n(x))$ for some function $f$ on $mathrmSU(2)$. There is more detail to the problem that leads me to want to use the Clebsch--Gordan decomposition as above as a means to compute $hatf(pi_m)^ji pi_m(x)_ij hatf(pi_n)^qp pi_n(x)_pq$, but it might entirely be that I am missing something obvious!
– onamoonlessnight
Aug 10 at 15:33





The problem comes from harmonic analysis on $mathrmSU(2)$, and I am dealing with the product $operatornameTr(hatf(pi_m) pi_m(x)) operatornameTr(hatf(pi_n) pi_n(x))$ for some function $f$ on $mathrmSU(2)$. There is more detail to the problem that leads me to want to use the Clebsch--Gordan decomposition as above as a means to compute $hatf(pi_m)^ji pi_m(x)_ij hatf(pi_n)^qp pi_n(x)_pq$, but it might entirely be that I am missing something obvious!
– onamoonlessnight
Aug 10 at 15:33





1




1




In my convention $hatf(pi)$ is $int f(g) pi(g^-1) , mathrmd g$, but yes, and I think I agree that $operatornameTr(hatf(pi_m) pi_m(x)) = ( f * operatornameTr(pi_m))(x)$. Does this help? (Ideally I want the end result in terms of $hatf$, not $f$, but if this lends itself nicely to the decomposition then that would be useful too).
– onamoonlessnight
Aug 10 at 16:06




In my convention $hatf(pi)$ is $int f(g) pi(g^-1) , mathrmd g$, but yes, and I think I agree that $operatornameTr(hatf(pi_m) pi_m(x)) = ( f * operatornameTr(pi_m))(x)$. Does this help? (Ideally I want the end result in terms of $hatf$, not $f$, but if this lends itself nicely to the decomposition then that would be useful too).
– onamoonlessnight
Aug 10 at 16:06




1




1




Thanks a lot. This has given me a few ideas to try too, and I will edit the question to include the motivation as well.
– onamoonlessnight
Aug 10 at 23:03




Thanks a lot. This has given me a few ideas to try too, and I will edit the question to include the motivation as well.
– onamoonlessnight
Aug 10 at 23:03















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2877494%2fclebsch-gordan-decomposition-for-mathrmsu2-in-indices%23new-answer', 'question_page');

);

Post as a guest






















active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2877494%2fclebsch-gordan-decomposition-for-mathrmsu2-in-indices%23new-answer', 'question_page');

);

Post as a guest
































































-

這個網誌中的熱門文章

How to combine Bézier curves to a surface?

圖片
Clash Royale CLAN TAG #URR8PPP up vote 2 down vote favorite My aim is to smooth the terrain in a video game. Therefore I contrived an algorithm that makes use of Bézier curves of different orders. But this algorithm is defined in a two dimensional space for now. To shift it into the third dimension I need to somehow combine the Bézier curves. Given two curves in each two dimensions, how can I combine them to build a surface? I thought about something like a curve of a curve. Or maybe I could multiply them somehow. How can I combine them to cause the wanted behavior? Is there a common approach? In the image you can see the input, on the left, and the output, on the right, of the algorithm that works in a two dimensional space. For the real application there is a three dimensional input. The algorithm relays only on the adjacent tiles. Given these it will define the control points of the mentioned Bézier curve. Additionally it marks one side of the curve as inside t
閱讀完整內容

Carbon dioxide

圖片
"CO2" redirects here. For other uses, see CO2 (disambiguation). Carbon dioxide Names Other names Carbonic acid gas Carbonic anhydride Carbonic oxide Carbon oxide Carbon(IV) oxide Dry ice (solid phase) Identifiers CAS Number 124-38-9   Y 3D model (JSmol) Interactive image Interactive image 3DMet B01131 Beilstein Reference 1900390 ChEBI CHEBI:16526   Y ChEMBL ChEMBL1231871   N ChemSpider 274   Y ECHA InfoCard 100.004.271 EC Number 204-696-9 E number E290 (preservatives) Gmelin Reference 989 KEGG D00004   Y MeSH Carbon+dioxide PubChem CID 280 RTECS number FF6400000 UNII 142M471B3J   Y UN number 1013 (gas), 1845 (solid) InChI InChI=1S/CO2/c2-1-3   Y Key: CURLTUGMZLYLDI-UHFFFAOYSA-N   Y InChI=1/CO2/c2-1-3 Key: CURLTUGMZLYLDI-UHFFFAOYAO SMILES O=C=O C(=O)=O Properties Chemical formula C O 2 Molar mass 44.01 g·mol −1 Appearance Colorless gas Odor Low concentrations: none High concentrations: sharp; acidic [1] Density 1562 kg/m 3 (solid at 1 atm and −78.5 °C) 1101 kg/m 3 (liquid at
閱讀完整內容

Why am i infinitely getting the same tweet with the Twitter Search API?

圖片
up vote 0 down vote favorite My code workes perfectly for other queries, but for one query I am infinitely getting the same tweet. I can't understand what the problem is. API call: query='Allergic asthma OR Nonallergic asthma OR Occupational asthma OR EIB OR Exercise-induced bronchoconstriction OR Nocturnal asthma OR Cough-variant asthma' new_tweets = api.search(q=searchQuery, count=100, since_id=since_id, lang='en',tweet_mode='extended') if not new_tweets: print("No more tweets found") break for tweet in new_tweets: if True: print(jsonpickle.encode(tweet._json, unpicklable=False)) my_file = open('searchTweets.txt','a') my_file.write(jsonpickle.encode(tweet._json, unpicklable=False)+'n') my_file.close() else: continue Output in file: https://pastebin.com/JmRCsTeE These are the JSONs of the same Tweet. Other queries that work: Breast cancer OR Prostate cancer OR Colon cancer OR Lung cancer Type 2 dia
閱讀完整內容