"소모스-4 수열"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
Pythagoras0 (토론 | 기여) |
Pythagoras0 (토론 | 기여) |
||
(같은 사용자의 중간 판 5개는 보이지 않습니다) | |||
1번째 줄: | 1번째 줄: | ||
==개요== | ==개요== | ||
− | * 점화식으로 정의되는 정수수열 | + | * 점화식으로 정의되는 정수수열 |
− | * <math>a_{n+4}a_{n} = a_{n+3} a_{n+1} + a_{n+ | + | * <math>a_{n+4}a_{n} = a_{n+3} a_{n+1} + a_{n+2}^2</math> |
− | * 초기조건이 <math>a_1=a_2=a_3=a_4=1</math> 인 경우 | + | * 초기조건이 <math>a_1=a_2=a_3=a_4=1</math> 인 경우 |
− | * 1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786 | + | * 1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786 |
− | |||
− | |||
− | |||
− | |||
==로랑현상== | ==로랑현상== | ||
− | * 초기조건이 <math>a_1=x,a_2=y,a_3=z,a_4=w</math> 인 경우:<math>x,y,z,w,\frac{w y+z^2}{x},\frac{w^2 x+w y z+z^3}{x y},\frac{y(wy+z^2)^2+w x (w^2 x+w y z+z^3)}{x^2 y z}</math | + | * 초기조건이 <math>a_1=x,a_2=y,a_3=z,a_4=w</math> 인 경우:<math>x,y,z,w,\frac{w y+z^2}{x},\frac{w^2 x+w y z+z^3}{x y},\frac{y(wy+z^2)^2+w x (w^2 x+w y z+z^3)}{x^2 y z}</math> |
− | * 점화식에서 얻어지는 항들이 모두 <math>\mathbb{Z}[x^{\pm},y^{\pm},z^{\pm},w^{\pm}]</math>의 원소, 즉 로랑 다항식이며, 이를 로랑현상(Laurent phenomenon) 이라 한다 '''[FZ2001]''' | + | * 점화식에서 얻어지는 항들이 모두 <math>\mathbb{Z}[x^{\pm},y^{\pm},z^{\pm},w^{\pm}]</math>의 원소, 즉 로랑 다항식이며, 이를 로랑현상(Laurent phenomenon) 이라 한다 '''[FZ2001]''' |
− | * 로랑현상에 의해 초기조건 <math>a_1=a_2=a_3=a_4=1</math>의 경우, 정수수열이 됨을 알 수 있다 | + | * 로랑현상에 의해 초기조건 <math>a_1=a_2=a_3=a_4=1</math>의 경우, 정수수열이 됨을 알 수 있다 |
− | + | ||
− | + | ||
==타원곡선 <math>y^2=4 x^3-4 x+1</math>== | ==타원곡선 <math>y^2=4 x^3-4 x+1</math>== | ||
− | * 타원곡선 <math>y^2=4 x^3-4 x+1</math | + | * 타원곡선 <math>y^2=4 x^3-4 x+1</math> |
− | * 점 <math>P=(1,1)</math>과 <math>Q=(0,1)</math>은 타원곡선 위에 놓여 있다. | + | * 점 <math>P=(1,1)</math>과 <math>Q=(0,1)</math>은 타원곡선 위에 놓여 있다. |
− | * 점 P+n Q 의 좌표를 구하면, 좌표의 분모로부터 소모스 수열을 얻을 수 있다 | + | * 점 P+n Q 의 좌표를 구하면, 좌표의 분모로부터 소모스 수열을 얻을 수 있다 |
− | + | ||
− | + | ||
− | + | ||
==역사== | ==역사== | ||
− | * QRT I (Quispel, Roberts, Thompson):<math>a_{n+4}a_{n} = \delta^2a_{n+3} a_{n+1} -\delta a_{n+1}^2</math | + | * QRT I (Quispel, Roberts, Thompson):<math>a_{n+4}a_{n} = \delta^2a_{n+3} a_{n+1} -\delta a_{n+1}^2</math> |
* M. Gaudin "La fonction d'onde de Bethe" (1983) | * M. Gaudin "La fonction d'onde de Bethe" (1983) | ||
* periodicity => Boltzman weights for hard hexagon model | * periodicity => Boltzman weights for hard hexagon model | ||
41번째 줄: | 37번째 줄: | ||
* [[수학사 연표]] | * [[수학사 연표]] | ||
− | + | ||
− | + | ||
==메모== | ==메모== | ||
− | + | * The density of primes <math>p\in \mathbb{Z}</math> dividing at least one term of this sequence is <math>11/21</math> | |
− | + | * Jones, Rafe, and Jeremy Rouse. “Galois Theory of Iterated Endomorphisms.” Proceedings of the London Mathematical Society 100, no. 3 (May 1, 2010): 763–94. doi:10.1112/plms/pdp051. | |
− | |||
− | |||
==관련된 항목들== | ==관련된 항목들== | ||
55번째 줄: | 49번째 줄: | ||
* [[바이어슈트라스 시그마 함수]] | * [[바이어슈트라스 시그마 함수]] | ||
− | + | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==매스매티카 파일 및 계산 리소스== | ==매스매티카 파일 및 계산 리소스== | ||
− | |||
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxOTcyN2RkMGUtMWU1NC00ZTkzLTk0OTgtMTMwODA2MjBlMjVh&sort=name&layout=list&num=50 | * https://docs.google.com/leaf?id=0B8XXo8Tve1cxOTcyN2RkMGUtMWU1NC00ZTkzLTk0OTgtMTMwODA2MjBlMjVh&sort=name&layout=list&num=50 | ||
* http://www.wolframalpha.com/input/?i= | * http://www.wolframalpha.com/input/?i= | ||
− | * [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences] | + | * [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences] |
− | ** http://oeis.org/A006720 | + | ** http://oeis.org/A006720 |
− | ** http://oeis.org/A006769 | + | ** http://oeis.org/A006769 |
− | + | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
==관련논문== | ==관련논문== | ||
− | + | * Van der Kamp, Peter H. ‘Somos-4 and Somos-5 Are Arithmetic Divisibility Sequences’. arXiv:1505.00194 [math], 1 May 2015. http://arxiv.org/abs/1505.00194. | |
+ | * Yura, Fumitaka. “Hankel Determinant Solution for Elliptic Sequence.” arXiv:1411.6972 [math-Ph, Physics:nlin], November 25, 2014. http://arxiv.org/abs/1411.6972. | ||
* Hone, A. N. W. 2005. Elliptic Curves and Quadratic Recurrence Sequences. Bulletin of the London Mathematical Society 37, no. 2 (April 1): 161 -171. doi:[http://dx.doi.org/10.1112/S0024609304004163 10.1112/S0024609304004163]. | * Hone, A. N. W. 2005. Elliptic Curves and Quadratic Recurrence Sequences. Bulletin of the London Mathematical Society 37, no. 2 (April 1): 161 -171. doi:[http://dx.doi.org/10.1112/S0024609304004163 10.1112/S0024609304004163]. | ||
* Swart, Christine, and Andrew Hone. 2005. Integrality and the Laurent phenomenon for Somos 4 sequences. math/0508094 (August 4). http://arxiv.org/abs/math/0508094 | * Swart, Christine, and Andrew Hone. 2005. Integrality and the Laurent phenomenon for Somos 4 sequences. math/0508094 (August 4). http://arxiv.org/abs/math/0508094 | ||
* '''[FZ2001]'''Fomin, Sergey, and Andrei Zelevinsky. 2001. The Laurent phenomenon. math/0104241 (April 25). http://arxiv.org/abs/math/0104241. | * '''[FZ2001]'''Fomin, Sergey, and Andrei Zelevinsky. 2001. The Laurent phenomenon. math/0104241 (April 25). http://arxiv.org/abs/math/0104241. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
[[분류:수열]] | [[분류:수열]] |
2020년 11월 12일 (목) 07:25 기준 최신판
개요
- 점화식으로 정의되는 정수수열
- \(a_{n+4}a_{n} = a_{n+3} a_{n+1} + a_{n+2}^2\)
- 초기조건이 \(a_1=a_2=a_3=a_4=1\) 인 경우
- 1, 1, 1, 1, 2, 3, 7, 23, 59, 314, 1529, 8209, 83313, 620297, 7869898, 126742987, 1687054711, 47301104551, 1123424582771, 32606721084786
로랑현상
- 초기조건이 \(a_1=x,a_2=y,a_3=z,a_4=w\) 인 경우\[x,y,z,w,\frac{w y+z^2}{x},\frac{w^2 x+w y z+z^3}{x y},\frac{y(wy+z^2)^2+w x (w^2 x+w y z+z^3)}{x^2 y z}\]
- 점화식에서 얻어지는 항들이 모두 \(\mathbb{Z}[x^{\pm},y^{\pm},z^{\pm},w^{\pm}]\)의 원소, 즉 로랑 다항식이며, 이를 로랑현상(Laurent phenomenon) 이라 한다 [FZ2001]
- 로랑현상에 의해 초기조건 \(a_1=a_2=a_3=a_4=1\)의 경우, 정수수열이 됨을 알 수 있다
타원곡선 \(y^2=4 x^3-4 x+1\)
- 타원곡선 \(y^2=4 x^3-4 x+1\)
- 점 \(P=(1,1)\)과 \(Q=(0,1)\)은 타원곡선 위에 놓여 있다.
- 점 P+n Q 의 좌표를 구하면, 좌표의 분모로부터 소모스 수열을 얻을 수 있다
역사
- QRT I (Quispel, Roberts, Thompson)\[a_{n+4}a_{n} = \delta^2a_{n+3} a_{n+1} -\delta a_{n+1}^2\]
- M. Gaudin "La fonction d'onde de Bethe" (1983)
- periodicity => Boltzman weights for hard hexagon model
- http://www.google.com/search?hl=en&tbs=tl:1&q=
- 수학사 연표
메모
- The density of primes \(p\in \mathbb{Z}\) dividing at least one term of this sequence is \(11/21\)
- Jones, Rafe, and Jeremy Rouse. “Galois Theory of Iterated Endomorphisms.” Proceedings of the London Mathematical Society 100, no. 3 (May 1, 2010): 763–94. doi:10.1112/plms/pdp051.
관련된 항목들
매스매티카 파일 및 계산 리소스
- https://docs.google.com/leaf?id=0B8XXo8Tve1cxOTcyN2RkMGUtMWU1NC00ZTkzLTk0OTgtMTMwODA2MjBlMjVh&sort=name&layout=list&num=50
- http://www.wolframalpha.com/input/?i=
- The On-Line Encyclopedia of Integer Sequences
관련논문
- Van der Kamp, Peter H. ‘Somos-4 and Somos-5 Are Arithmetic Divisibility Sequences’. arXiv:1505.00194 [math], 1 May 2015. http://arxiv.org/abs/1505.00194.
- Yura, Fumitaka. “Hankel Determinant Solution for Elliptic Sequence.” arXiv:1411.6972 [math-Ph, Physics:nlin], November 25, 2014. http://arxiv.org/abs/1411.6972.
- Hone, A. N. W. 2005. Elliptic Curves and Quadratic Recurrence Sequences. Bulletin of the London Mathematical Society 37, no. 2 (April 1): 161 -171. doi:10.1112/S0024609304004163.
- Swart, Christine, and Andrew Hone. 2005. Integrality and the Laurent phenomenon for Somos 4 sequences. math/0508094 (August 4). http://arxiv.org/abs/math/0508094
- [FZ2001]Fomin, Sergey, and Andrei Zelevinsky. 2001. The Laurent phenomenon. math/0104241 (April 25). http://arxiv.org/abs/math/0104241.