"슈르 다항식(Schur polynomial)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로)
7번째 줄: 7번째 줄:
 
 
 
 
  
<h5>개요</h5>
+
==개요</h5>
  
 
* 변수의 개수 n과 d의 분할(partition)이 <math>\lambda</math>가 주어지면 d차 다항식 <math> s_\lambda(x_1,\ldots,x_n)</math> 이 결정된다
 
* 변수의 개수 n과 d의 분할(partition)이 <math>\lambda</math>가 주어지면 d차 다항식 <math> s_\lambda(x_1,\ldots,x_n)</math> 이 결정된다
23번째 줄: 23번째 줄:
 
 
 
 
  
<h5>예</h5>
+
==예</h5>
  
 
*  변수의 개수가 3이고, 4의 분할인 경우의 슈르 다항식<br><math>\left( \begin{array}{cc}  \{4\} & x_1^4+x_1^3 x_2+x_1^2 x_2^2+x_1 x_2^3+x_2^4+\left(x_1^3+x_1^2 x_2+x_1 x_2^2+x_2^3\right) x_3+\left(x_1^2+x_1 x_2+x_2^2\right) x_3^2+\left(x_1+x_2\right) x_3^3+x_3^4 \\  \{3,1\} & x_1^3 x_2+x_1^2 x_2^2+x_1 x_2^3+x_1^3 x_3+2 x_1^2 x_2 x_3+2 x_1 x_2^2 x_3+x_2^3 x_3+x_1^2 x_3^2+2 x_1 x_2 x_3^2+x_2^2 x_3^2+x_1 x_3^3+x_2 x_3^3 \\  \{2,2\} & x_1^2 x_2^2+x_1^2 x_2 x_3+x_1 x_2^2 x_3+x_1^2 x_3^2+x_1 x_2 x_3^2+x_2^2 x_3^2 \\  \{2,1,1\} & x_1^2 x_2 x_3+x_1 x_2^2 x_3+x_1 x_2 x_3^2 \\  \{1,1,1,1\} & 0 \end{array} \right)</math><br>
 
*  변수의 개수가 3이고, 4의 분할인 경우의 슈르 다항식<br><math>\left( \begin{array}{cc}  \{4\} & x_1^4+x_1^3 x_2+x_1^2 x_2^2+x_1 x_2^3+x_2^4+\left(x_1^3+x_1^2 x_2+x_1 x_2^2+x_2^3\right) x_3+\left(x_1^2+x_1 x_2+x_2^2\right) x_3^2+\left(x_1+x_2\right) x_3^3+x_3^4 \\  \{3,1\} & x_1^3 x_2+x_1^2 x_2^2+x_1 x_2^3+x_1^3 x_3+2 x_1^2 x_2 x_3+2 x_1 x_2^2 x_3+x_2^3 x_3+x_1^2 x_3^2+2 x_1 x_2 x_3^2+x_2^2 x_3^2+x_1 x_3^3+x_2 x_3^3 \\  \{2,2\} & x_1^2 x_2^2+x_1^2 x_2 x_3+x_1 x_2^2 x_3+x_1^2 x_3^2+x_1 x_2 x_3^2+x_2^2 x_3^2 \\  \{2,1,1\} & x_1^2 x_2 x_3+x_1 x_2^2 x_3+x_1 x_2 x_3^2 \\  \{1,1,1,1\} & 0 \end{array} \right)</math><br>
33번째 줄: 33번째 줄:
 
 
 
 
  
<h5>영 태블로</h5>
+
==영 태블로</h5>
  
 
<math>s_\lambda(x_1,\ldots,x_n) = \sum_T w(T)</math>
 
<math>s_\lambda(x_1,\ldots,x_n) = \sum_T w(T)</math>
43번째 줄: 43번째 줄:
 
 
 
 
  
<h5>The first Giambelli formula (Jacobi-Trudy 항등식)</h5>
+
==The first Giambelli formula (Jacobi-Trudy 항등식)</h5>
  
 
* 슈르 다항식은 complete homogeneous polynomial 의 다항식으로 표현할 수 있다
 
* 슈르 다항식은 complete homogeneous polynomial 의 다항식으로 표현할 수 있다
54번째 줄: 54번째 줄:
 
 
 
 
  
<h5>역사</h5>
+
==역사</h5>
  
 
 
 
 
65번째 줄: 65번째 줄:
 
 
 
 
  
<h5>메모</h5>
+
==메모</h5>
  
 
<math>s_{\lambda} =\sum_{w\in S_{r} } \epsilon(w) h_{\lambda+\rho - w.\lambda}</math>
 
<math>s_{\lambda} =\sum_{w\in S_{r} } \epsilon(w) h_{\lambda+\rho - w.\lambda}</math>
75번째 줄: 75번째 줄:
 
 
 
 
  
<h5>관련된 항목들</h5>
+
==관련된 항목들</h5>
  
 
 
 
 
81번째 줄: 81번째 줄:
 
 
 
 
  
<h5>매스매티카 파일 및 계산 리소스</h5>
+
==매스매티카 파일 및 계산 리소스</h5>
  
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxYWE1NTJlYzktMTk5Mi00YWUyLWE2M2YtMTdhNmIwOTc0NmY3/edit
 
* https://docs.google.com/file/d/0B8XXo8Tve1cxYWE1NTJlYzktMTk5Mi00YWUyLWE2M2YtMTdhNmIwOTc0NmY3/edit
114번째 줄: 114번째 줄:
 
 
 
 
  
<h5>사전 형태의 자료</h5>
+
==사전 형태의 자료</h5>
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
126번째 줄: 126번째 줄:
 
 
 
 
  
<h5>리뷰논문, 에세이, 강의노트</h5>
+
==리뷰논문, 에세이, 강의노트</h5>
  
 
 
 
 
134번째 줄: 134번째 줄:
 
 
 
 
  
<h5>관련논문</h5>
+
==관련논문</h5>
  
 
* http://www.jstor.org/action/doBasicSearch?Query=
 
* http://www.jstor.org/action/doBasicSearch?Query=
144번째 줄: 144번째 줄:
 
 
 
 
  
<h5>관련도서</h5>
+
==관련도서</h5>
  
 
*  도서내검색<br>
 
*  도서내검색<br>
 
** http://books.google.com/books?q=
 
** http://books.google.com/books?q=
 
** http://book.daum.net/search/contentSearch.do?query=
 
** http://book.daum.net/search/contentSearch.do?query=

2012년 10월 31일 (수) 23:39 판

이 항목의 수학노트 원문주소

 

 

==개요

  • 변수의 개수 n과 d의 분할(partition)이 \(\lambda\)가 주어지면 d차 다항식 \( s_\lambda(x_1,\ldots,x_n)\) 이 결정된다
  • 다음과 같은 두 개의 d의 분할을 생각하자
    • \(\rho : n-1,n-2,\cdots, 0\)
    • \(\lambda: \lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_n\geq 0\)
  • 다음과 같이 두 다항식을 정의하자
  • 슈르다항식은 다음과 같이 정의된다
    \(s_{\lambda} = \frac{a_{\lambda+\rho}}{a_{\rho}}\)

 

 

==예

  • 변수의 개수가 3이고, 4의 분할인 경우의 슈르 다항식
    \(\left( \begin{array}{cc} \{4\} & x_1^4+x_1^3 x_2+x_1^2 x_2^2+x_1 x_2^3+x_2^4+\left(x_1^3+x_1^2 x_2+x_1 x_2^2+x_2^3\right) x_3+\left(x_1^2+x_1 x_2+x_2^2\right) x_3^2+\left(x_1+x_2\right) x_3^3+x_3^4 \\ \{3,1\} & x_1^3 x_2+x_1^2 x_2^2+x_1 x_2^3+x_1^3 x_3+2 x_1^2 x_2 x_3+2 x_1 x_2^2 x_3+x_2^3 x_3+x_1^2 x_3^2+2 x_1 x_2 x_3^2+x_2^2 x_3^2+x_1 x_3^3+x_2 x_3^3 \\ \{2,2\} & x_1^2 x_2^2+x_1^2 x_2 x_3+x_1 x_2^2 x_3+x_1^2 x_3^2+x_1 x_2 x_3^2+x_2^2 x_3^2 \\ \{2,1,1\} & x_1^2 x_2 x_3+x_1 x_2^2 x_3+x_1 x_2 x_3^2 \\ \{1,1,1,1\} & 0 \end{array} \right)\)

 

 

 

==영 태블로

\(s_\lambda(x_1,\ldots,x_n) = \sum_T w(T)\)

여기서 sum is over all semistandard Young tableaux T of shape λ

 

 

==The first Giambelli formula (Jacobi-Trudy 항등식)

  • 슈르 다항식은 complete homogeneous polynomial 의 다항식으로 표현할 수 있다
  • \(s_{\lambda} = \operatorname{det}(h_{\lambda_{i}-i+j})\)
  • 변수가 3인 경우의 complete homogeneous polynomial은 다음과 같다
    \(\left( \begin{array}{cc} h_1 & x_1+x_2+x_3 \\ h_2 & x_1^2+x_1 x_2+x_2^2+x_1 x_3+x_2 x_3+x_3^2 \\ h_3 & x_1^3+x_1^2 x_2+x_1 x_2^2+x_2^3+x_1^2 x_3+x_1 x_2 x_3+x_2^2 x_3+x_1 x_3^2+x_2 x_3^2+x_3^3 \\ h_4 & x_1^4+x_1^3 x_2+x_1^2 x_2^2+x_1 x_2^3+x_2^4+x_1^3 x_3+x_1^2 x_2 x_3+x_1 x_2^2 x_3+x_2^3 x_3+x_1^2 x_3^2+x_1 x_2 x_3^2+x_2^2 x_3^2+x_1 x_3^3+x_2 x_3^3+x_3^4 \end{array} \right)\)
  • 예. \(s_{(2,1,1)}(x_1,x_2,x_3)=h_1^2 h_2-h_2^2-h_1 h_3+h_4\)

 

 

==역사

 

 

 

==메모

\(s_{\lambda} =\sum_{w\in S_{r} } \epsilon(w) h_{\lambda+\rho - w.\lambda}\)

 

 

==관련된 항목들

 

 

==매스매티카 파일 및 계산 리소스

 

 

수학용어번역

 

 

 

==사전 형태의 자료

 

 

==리뷰논문, 에세이, 강의노트

 

 

 

==관련논문

 

 

==관련도서