"슈르 다항식(Schur polynomial)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
이 항목의 수학노트 원문주소==
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로) |
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “</h5>” 문자열을 “==” 문자열로) |
||
| 1번째 줄: | 1번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 수학노트 원문주소 | + | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">이 항목의 수학노트 원문주소== |
* [[슈르 다항식(Schur polynomial)]] | * [[슈르 다항식(Schur polynomial)]] | ||
| 7번째 줄: | 7번째 줄: | ||
| − | ==개요 | + | ==개요== |
* 변수의 개수 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번째 줄: | ||
| − | ==예 | + | ==예== |
* 변수의 개수가 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번째 줄: | ||
| − | ==영 태블로 | + | ==영 태블로== |
<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번째 줄: | ||
| − | ==The first Giambelli formula (Jacobi-Trudy 항등식) | + | ==The first Giambelli formula (Jacobi-Trudy 항등식)== |
* 슈르 다항식은 complete homogeneous polynomial 의 다항식으로 표현할 수 있다 | * 슈르 다항식은 complete homogeneous polynomial 의 다항식으로 표현할 수 있다 | ||
| 54번째 줄: | 54번째 줄: | ||
| − | ==역사 | + | ==역사== |
| 65번째 줄: | 65번째 줄: | ||
| − | ==메모 | + | ==메모== |
<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번째 줄: | ||
| − | ==관련된 항목들 | + | ==관련된 항목들== |
| 81번째 줄: | 81번째 줄: | ||
| − | ==매스매티카 파일 및 계산 리소스 | + | ==매스매티카 파일 및 계산 리소스== |
* https://docs.google.com/file/d/0B8XXo8Tve1cxYWE1NTJlYzktMTk5Mi00YWUyLWE2M2YtMTdhNmIwOTc0NmY3/edit | * https://docs.google.com/file/d/0B8XXo8Tve1cxYWE1NTJlYzktMTk5Mi00YWUyLWE2M2YtMTdhNmIwOTc0NmY3/edit | ||
| 96번째 줄: | 96번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역 | + | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역== |
* 단어사전<br> | * 단어사전<br> | ||
| 114번째 줄: | 114번째 줄: | ||
| − | ==사전 형태의 자료 | + | ==사전 형태의 자료== |
* http://ko.wikipedia.org/wiki/ | * http://ko.wikipedia.org/wiki/ | ||
| 126번째 줄: | 126번째 줄: | ||
| − | ==리뷰논문, 에세이, 강의노트 | + | ==리뷰논문, 에세이, 강의노트== |
| 134번째 줄: | 134번째 줄: | ||
| − | ==관련논문 | + | ==관련논문== |
* http://www.jstor.org/action/doBasicSearch?Query= | * http://www.jstor.org/action/doBasicSearch?Query= | ||
| 144번째 줄: | 144번째 줄: | ||
| − | ==관련도서 | + | ==관련도서== |
* 도서내검색<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년 11월 1일 (목) 13:53 판
이 항목의 수학노트 원문주소==
개요
- 변수의 개수 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\)
- 다음과 같이 두 다항식을 정의하자
- \(a_{\lambda+\rho}=\operatorname{det}(x_{i}^{\lambda_{j}+n-j})\)
- \(a_{\rho}=\operatorname{det}(x_{i}^{n-j})\)
- 반데몬드 행렬과 행렬식 (Vandermonde matrix)
- 슈르다항식은 다음과 같이 정의된다
\(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}\)
- Math Overflow http://mathoverflow.net/search?q=
관련된 항목들
매스매티카 파일 및 계산 리소스
- https://docs.google.com/file/d/0B8XXo8Tve1cxYWE1NTJlYzktMTk5Mi00YWUyLWE2M2YtMTdhNmIwOTc0NmY3/edit
- http://www.wolframalpha.com/input/?i=
- http://functions.wolfram.com/
- NIST Digital Library of Mathematical Functions
- Abramowitz and Stegun Handbook of mathematical functions
- The On-Line Encyclopedia of Integer Sequences
- Numbers, constants and computation
- 매스매티카 파일 목록
수학용어번역==
- 단어사전
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 한국통계학회 통계학 용어 온라인 대조표
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/Lindström–Gessel–Viennot_lemma
- The Online Encyclopaedia of Mathematics
- NIST Digital Library of Mathematical Functions
- The World of Mathematical Equations
리뷰논문, 에세이, 강의노트
관련논문
관련도서
- \(\rho : n-1,n-2,\cdots, 0\)
- \(\lambda: \lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_n\geq 0\)
- \(a_{\lambda+\rho}=\operatorname{det}(x_{i}^{\lambda_{j}+n-j})\)
- \(a_{\rho}=\operatorname{det}(x_{i}^{n-j})\)
- 반데몬드 행렬과 행렬식 (Vandermonde matrix)
\(s_{\lambda} = \frac{a_{\lambda+\rho}}{a_{\rho}}\)
\(\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)\)
\(\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)\)
- 단어사전
- 발음사전 http://www.forvo.com/search/
- 대한수학회 수학 학술 용어집
- 한국통계학회 통계학 용어 온라인 대조표
- 남·북한수학용어비교
- 대한수학회 수학용어한글화 게시판
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/Lindström–Gessel–Viennot_lemma
- The Online Encyclopaedia of Mathematics
- NIST Digital Library of Mathematical Functions
- The World of Mathematical Equations
리뷰논문, 에세이, 강의노트
관련논문