[논문 리뷰] Towards an algorithmisation of the Dirac constraint formalism

Vladimir P. Gerdt, A. Khvedelidze외 1명|ArXiv.org|2006. 11. 09.

Quantum Chromodynamics and Particle Interactions참고 문헌 10인용 수 6

한 줄 요약

이 논문은 교환대수의 그로버 기저를 이용하여 열화된 라그랑주 체계에서 디라크 제약 형식에 대한 알고리즘적 프레임워크를 제시한다. 이는 1분 내로 Maple 10에서 실행 가능한 가벼운 꼬리_SU(2) 양밀스 역학에 대해 주로 제약과 이차 제약의 자동 계산, 제1류 및 제2류로의 분류, 게이지 변환 생성자의 구성이 가능하게 하며 성공적으로 구현되었다.

ABSTRACT

Central issues of the Dirac constraint formalism are discussed in relation to the algorithmic methods of commutative algebra based on the Groebner basis techniques. For a wide class of finite dimensional polynomial degenerate Lagrangian systems, we describe an algorithmic scheme of computation of the complete set of constraints, their separation into subsets of first and second class constraints as well as the construction of a generator of local symmetry transformations. The proposed scheme is exemplified by considering the so-called light-cone Yang-Mills mechanics with an SU(2) gauge structure group.

연구 동기 및 목표

• 열화된 기계계에서 디라크 제약 형식의 알고리즘적 구현 부족 문제를 해결한다.
• 다항 라그랑주 체계에서 제약의 자동 식별 및 분류를 위한 계산 프레임워크를 개발한다.
• 제1류 제약이 있는 시스템에서 국소 게이지 대칭의 생성자를 알고리즘적으로 구성할 수 있도록 한다.
• 기호 계산을 이용한 제약계에서의 해밀턴 감소를 위한 실용적이고 계산 가능성을 확보하는 방법을 제공한다.
• 비틀림이 있는 비정상적인 예제인 빛의 꼬리_SU(2) 양밀스 역학에서 이 방법을 적용하여 전체 제약 분석 및 게이지 대칭 생성을 성공적으로 수행한다.

제안 방법

• 위상공간 변수에서 다항식 아이디얼에 그로버 기저 기법을 적용하여 열화된 헤시안 행렬에서 유래하는 제약을 계산하고 분석한다.
• 바라크 변환을 이용하여 허수 운동량 관계에서 유도된 주요 제약을 다항식 방정식으로 표현한다.
• 시간 진동을 통한 반복적 제약 전파를 이용하여 이차 제약을 생성한다.
• 포아송 괄호 행렬의 랭크와 행렬식을 분석하여 제약을 제1류 또는 제2류로 분류한다.
• 제1류 제약의 구조와 포아송 괄호에 대한 닫힘 성질을 이용하여 국소 게이지 변환의 생성자를 구성한다.
• 파arametric 그로버 기저를 이용하여 총 해밀토니안에서 물리적 매개변수(예: 결합 상수, 질량)와 시간에 의존하는 다항식을 다룬다.

실험 결과

연구 질문

• RQ1 교환대수를 이용하여 열화된 다항식 라그랑주 체계의 전체 제약 집합을 알고리즘적으로 계산할 수 있는가?
• RQ2 포아송 괄호 행렬과 같은 대수적 불변량을 통해 제1류 및 제2류 제약를 체계적으로 분리할 수 있는가?
• RQ3 국소 게이지 대칭의 생성자는 제약의 구조에서 알고리즘적으로 유도할 수 있는가?
• RQ4 이 알고리즘적 접근법은 게이지 대칭을 지닌 비틀림이 있는 물리적 모델에서 계산 가능성이 있는가?
• RQ5 기호 계산 도구는 물리적 라그랑주에 필수적인 계수를 다룰 수 있는가?

주요 결과

• 제안된 알고리즘은 빛의 꼬리_SU(2) 양밀스 역학 모델에서 모든 제약을 성공적으로 계산하고 분류하였으며, 제2류 제약 3개와 아벨 제1류 제약 2개를 포함한다.
• 국소 게이지 변환의 생성자는 알고리즘적으로 구성되었으며, 올리어 각도와 회전 변수와 같은 물리적 게이지 자유도와 일치함을 보였다.
• 이 방법은 원래의 제약계를 등가의 비제약 해밀턴계로 감소시켰으며, 감소된 해밀토니안은 $ H = \frac{g^2}{2}\left(p_1^2 + \frac{p_{\chi_3}^2}{4q_1^2}\right) $ 로 표현된다.
• SU(2) 모델의 계산은 Maple 10의 표준 그로버 기저 패키지를 사용하여 약 1분 내로 완료되어 실용성과 계산 가능성을 입증하였다.
• SU(3)과 같은 고차수 군으로의 확장은 가능하며, 최근 연구에서 이미 적절한 매개변수화가 제공되어 있다.
• 기존의 고급 그로버 기저 패키지(Gb, Fgb, GINV)는 매개변수 계수 처리에 한계가 있어, 현재 소프트웨어에서의 주요 장애물임을 드러냈다.