[논문 리뷰] Dimer lambda_d Expansion Computer Computations

Paul Federbush|ArXiv.org|2008. 04. 26.

Theoretical and Computational Physics참고 문헌 3인용 수 3

한 줄 요약

이 논문은 1/d의 거듭제곱에 대한 dimer λ_d 전개를 고정밀도 컴퓨터 계산을 통해 제시하며, 점점 더 정교한 점근적 급수를 1/d³ 항까지 연장한다. Maple을 사용한 기호 계산을 통해 d=1,2,3에 대해 정규화된 계수 $ar{J}_i$를 계산하였으며, 이는 이전의 수작업 계산을 확인하고 새로운 1/d³ 항을 도출하였다. 또한 d=2와 d=3에 대해 수치적으로 두 가지 근사 수열을 연구하였고, 이는 명백한 수렴성을 보이지 않았다.

ABSTRACT

In a previous paper an asymptotic expansion for lambda_d in powers of 1/d was developed. The results of computer computations for some terms in the expansion, as well as various quantities associated to the expansion, are herein presented. The computations (in integer arithmetic) are actually done only for d=1, d=2, and d=3, but some results for arbitrary dimension follow from the general structure of the theory. In particular we obtain the next term in powers of 1/d, the 1/d^3 term in the asymptotic expansion for lambda_d, as well as checking the correctness of the terms previously calculated by hand. For d=2 and d=3 a second expansion for lambda_d is defined and numerically studied. Contrary to our hopes this second type of expansion appears not to be convergent. There is not enough evidence to argue if the expansions for lambda_d in powers of 1/d are convergent for either d=2 or d=3, but likely they are not. (Certainly convergence, but at a very slow rate, remains an interesting possibility in all our cases.)

연구 동기 및 목표

• 컴퓨터 대수를 사용하여 $\lambda_d$의 점근적 전개에서 $1/d$의 거듭제곱에 대한 고차항을 계산하기 위해.
• 이전에 수작업으로 계산된 $\bar{J}_i$ 계수들을 d=1,2,3 차원에서 검증하고 확장하기 위해.
• d=2와 d=3에서 $\lambda_d$에 대한 두 개의 서로 다른 근사 수열의 수렴 행동을 조사하기 위해.
• 6차항까지 $\bar{J}_i$를 효율적으로 계산하기 위한 네 단계로 구성된 계산 파ipeline을 개발하고 구현하기 위해.

제안 방법

• Maple을 사용한 기호 계산을 통해 i=1에서 6까지, d=1,2,3에 대해 $\bar{J}_i = \frac{1}{N} \cdot \frac{1}{i!} \cdot J_i$를 계산한다.
• 계산은 네 단계로 진행된다: (1단계) 오버랩 패턴을 가진 s-dimer 트리를 생성한다, (2단계) 연결된 타일 합을 계산한다, (3단계) 타일 오버랩에서 $J_s$를 평가한다, (4단계) 주 공식에 대입하여 근사치를 도출한다.
• s-dimer 트리는 각 초기 부분열이 항상 연결되어 있는 s개의 위치한 타일로 구성된 순서된 시퀀스로 정의되며, 이는 효율적인 알고리즘적 열거를 가능하게 한다.
• 정수 산술을 사용하고 부동소수점 연산을 피하여 $\bar{J}_i$의 기호 평가에서 정밀도를 보장한다.
• 두 개의 근사 수열을 구성하였다: $A_r$은 직접적인 $1/d^i$ 항에 기반하고, $B_r$은 생성 함수를 모델링하기 위해 형식적 매개변수 $x$를 사용한다.
• $\bar{J}_6$를 d=2와 d=3에서 계산하는 데 수주간의 CPU 시간이 소요되었으며, $\bar{J}_7$는 현재 방법으로는 비현실적임을 추정한다.

실험 결과

연구 질문

• RQ1 점근적 전개에서 $\lambda_d$의 다음 항은 무엇인가? 특히 $1/d^3$ 계수는 무엇인가?
• RQ2 이전에 수작업으로 계산된 $\bar{J}_i$ 계수들이 정확한가? 그리고 컴퓨터 대수를 통해 검증될 수 있는가?
• RQ3 d=2와 d=3에서 $\lambda_d$에 대한 두 근사 수열 $A_r$과 $B_r$은 수렴하는가?
• RQ4 d=1,2,3에서 계산된 값들로부터 임의의 차원 d에 대해 $\bar{J}_i$의 일반형을 유도할 수 있는가?
• RQ5 d=2와 d=3에서 $i=6$을 초월하여 $\bar{J}_i$ 계산을 확장하는 데 필요한 계산 복잡도는 무엇인가?

주요 결과

• 점근적 전개는 $1/d^3$ 항까지 연장되었으며, $\lambda_d \sim \frac{1}{2}\ln(2d) - \frac{1}{2} + \frac{1}{8d} + \frac{5}{96d^2} + \frac{5}{64d^3} + \cdots$ 로 표현된다.
• d=1,2,3에 대해 $\bar{J}_i$ 계수는 정확히 계산되었다: $\bar{J}_1 = 0$, $\bar{J}_2 = \frac{1}{8d}$, $\bar{J}_3 = \frac{1}{12d^2}$, $\bar{J}_4 = -\frac{3}{32d^2} + \frac{3}{64d^3}$, $\bar{J}_5 = -\frac{1}{8d^3} - \frac{3}{80d^4}$, $\bar{J}_6 = \frac{7}{48d^3} - \frac{5}{64d^4} - \frac{1}{6d^5}$.
• d=2일 때, $A_r$ 수열은 $A_3 = 0.2784$를 제공하며 알려진 정확한 값 $\lambda_2 \approx 0.29156$에 가까워진다. 반면 $B_r$ 수열은 $B_2 = 0.2921$에서 정점에 도달한 후 감소한다.
• d=3일 때, $A_r$ 수열은 $A_3 = 0.4462$를 제공하며 알려진 범위 $0.440075 \leq \lambda_3 \leq 0.457547$ 내에 있다. $B_r$ 수열은 $B_2 = 0.4538$에서 정점에 도달한 후 감소한다.
• d=2와 d=3에 대해 $B_r$ 수열은 수렴하지 않으며, 진동과 함께 점차 감소함을 보여, 이 형식적 전개가 수렴하지 않음을 시사한다.
• $\bar{J}_6$를 d=2와 d=3에서 계산하는 데 수주간의 CPU 시간이 소요되었으며, 이는 $\bar{J}_7$ 계산에 약 일 년이 넘는 계산 시간과 상당한 새로운 이론적 통찰이 필요함을 시사한다.