클래식 리 대수와 플럭스브레인 다항식 계산 프로그램

본 논문은 플럭스브레인(Fluxbrane) 해가 만족해야 하는 열린 토다 체인(open Toda chain) 방정식 시스템을 다루며, 특히 고전적인 단순 리 대수(Aₙ, Bₙ, Cₙ, Dₙ)와 연관된 다항식 해를 효율적으로 구하는 방법을 제시한다. 서론에서는 방정식 (1.1)과 경계조건 (1.2)를 소개하고, 해가 양의 실수 함수 Hₛ(z) 로서 다항식 형태를 가질 것이라는 가설을 제시한다. 여기서 z=ρ²이며, Pₛ는 브레인 전하 밀도와 관련된 양이다. 다항식 차수 nₛ는 두 배 듀얼 와일 벡터의 성분으로 정의되며, 이는 Cartan 행렬 A의 역행렬을 통해 nₛ=2∑_{s'}A^{-1}_{ss'} 로 계산된다(식 1.4). 2장에서는 고전 리 대수들의 Cartan 행렬과 그 역행렬을 명시적으로 제시한다. Aₙ의 경우 (2.3)식에 따라 대각선에 2, 인접 대각선에 -1이 배치되고, 역행렬은 (2.4)식으로 주어진다. Bₙ과 Cₙ는 (2.6), (2.7)식으로 표현되며, 마지막 행·열에 -2가 들어가는 특수 구조를 가진다. Dₙ은 (2.10)식에 따라 두 개의 꼬리 노드가 존재한다. 각 경우에 대해 nₛ는 (2.5), (2.9), (2.12)식으로 구해지며, 이는 차수의 상한을 결정한다. 3장에서는 다항식 계수를 구하기 위한 알고리즘을 상세히 설명한다. 첫 단계는 사용자가 원하는 리 대수 종류와 차원 S를 입력하면, 프로그램이 해당 Cartan 행렬 A를 자동으로 구성한다. 이는 `AlgLie` 프로시저를 통해 조건부로 -1, -2 등을 삽입함으로써 구현된다. 이후 `MatrixInverse`를 이용해 A^{-1}를 구하고, `add`와 `*2` 연산을 통해 두 배 듀얼 와일 벡터 n을 얻는다. 다음으로 P 행렬을 초기화하고, Hₛ(z)=1+∑_{k=1}^{nₛ}P_{s,k} z^{k} 로 정의한다. 여기서 P_{s,1}=Pₛ는 입력 파라미터이며, 나머지 계수는 (1.1)에 대입해 전개한 후 차수별로 방정식을 만든다. Maple의 `coeff`, `degree`, `solve` 등을 활용해 이 연립 방정식을 풀어 P_{s,k} 값을 구한다. 최종적으로 `H` 벡터에 구해진 계수를 대입해 다항식 형태를 출력한다. 프로그램 흐름은 `LinearAlgebra`와 `PolynomialTools` 패키지를 중심으로 구성되며, Maple 11.01 환경에서 동작한다. 4장에서는 구체적인 예시를 제시한다. A₁(=sl(2))에서는 H₁=1+P₁z 로 가장 단순한 형태가 나오며, A₂에서는 H₁=H₂=1+P₁z+¼P₁P₂z² 로 n₁=n₂=2임을 확인한다. A₃에서는 차수가 3까지 확장되어 H₁, H₂, H₃에 각각 1/36, 1/144 등 복잡한 계수가 나타난다. B₃와 C₂의 경우 차수가 6, 4까지 올라가며, 다항식 내부에 다양한 조합의 P₁, P₂, P₃가 등장한다. D₄에 대해서도 프로그램이 정상적으로 다항식을 산출한다는 점을 보여준다. 모든 결과는 기존 문헌