디랙‑버그만 알고리즘과 확장 해밀토니안의 함정

초록

디랙‑버그만 절차는 제약 시스템을 해밀토니안 형태로 변환하는 강력한 도구이지만, 1차와 2차 제1급 제약을 포함한 경우 총 해밀토니안과 확장 해밀토니안을 그대로 사용하면 물리적 정보를 잃게 된다. 전자기학 예시와 단순 토이 모델을 통해, 확장 해밀토니안에서는 제1급 제약이 모두 독립적인 게이지 변환 생성자가 되지만, 실제 물리량을 보존하려면 제약 모드에 대한 새로운 정의(스튁켈버그식 재정의)가 필요함을 보여준다. 또한, 디랙의 추측은 총 해밀토니안에서는 제한된 형태의 제약 조합만이 진정한 게이지 생성자이며, 확장 해밀토니안에서만 완전하게 성립한다는 점을 강조한다.

상세 분석

본 논문은 디랙‑버그만 알고리즘을 적용할 때 흔히 간과되는 두 가지 핵심 문제를 체계적으로 분석한다. 첫 번째는 총 해밀토니안(HT)에서 확장 해밀토니안(HE)으로 전이할 때, 제1급 제약이 추가되면서 물리적 자유도는 유지되지만 제약 모드에 대한 정보가 사라지는 현상이다. 전자기학을 예로 들면, 전기장의 종방향 성분이 임의의 라그랑지 승수 λ의 기울기 형태로 변형되어 원래의 정전기 해(쿨롱 법칙)가 사라진다. 이는 제약 모드가 “정적인” 물리 정보를 담고 있음에도 불구하고, 확장 해밀토니안에서는 이를 게이지 자유도로 전환시키는 과정에서 손실되는 것이다. 이를 보완하기 위해 저자는 모든 제1급 제약과 교환되는 양을 “게이지 불변량”으로 재정의하고, 이는 제약 표면 위에서 모든 제1급 제약과의 포아송 괄호가 영이 되도록 하는 새로운 변수 집합을 도입하는 방식이다. 이러한 재정의는 사실상 2차 제약(주요 제1급 제약에 대해 2차 제약으로 작용하는)과 연관된 변수에 스튁켈버그 필드를 도입하는 것과 동등하며, 원래의 물리적 내용(예: 정전기 포텐셜)을 보존한다.

두 번째 문제는 디랙의 추측(“모든 제1급 제약은 독립적인 게이지 변환 생성자이다”)의 적용 범위이다. 저자는 총 해밀토니안 수준에서는 실제 게이지 생성자가 기본 제1급 제약과 2차 제1급 제약의 특정 선형 결합임을 보여준다. 이는 전통적인 교과서식 서술과 달리, 2차 제약 자체가 독립적인 변환을 일으키지 않으며, 대신 기본 제약과의 조합을 통해 전체 변환을 만든다. 반면, 확장 해밀토니안에서는 모든 제1급 제약을 개별적으로 해밀토니안에 포함시키므로, 디랙의 추측이 완전하게 성립한다. 그러나 이 경우에도 물리적 해석을 유지하려면 앞서 언급한 게이지 불변량 재정의가 필수적이다.

논문은 또한 제약 시스템의 모드 카운팅을 명확히 정의한다. 총 변수 수(N_tot), 순수 게이지 모드(N_gauge), 동적 모드(N_dyn), 그리고 제약 모드(N_con)를 구분하고, 특히 제약 모드가 “비물리적”이라기보다 정적인 물리 정보를 담고 있음을 강조한다. 이를 통해 전자기학, 양-밀스 이론, 일반 상대성 이론 등 실제 필드 이론에 적용했을 때, 제약 모드가 사라지면 정전기·정중력 해가 사라지는 문제를 방지한다.

결론적으로, 저자는 디랙‑버그만 절차를 사용할 때 다음과 같은 실무적 지침을 제시한다. (1) 확장 해밀토니안을 사용할 경우, 제약 모드에 대한 새로운 정의를 도입해 물리적 정보를 보존할 것. (2) 총 해밀토니안 수준에서는 기본 제1급 제약과 2차 제1급 제약의 적절한 선형 결합을 게이지 생성자로 사용하고, 디랙의 추측은 확장 해밀토니안에서만 완전하게 적용됨을 인식할 것. (3) 모드 카운팅 시 제약 모드를 물리적 정적 해로 인정하고, 필요 시 스튁켈버그식 보강을 통해 전체 이론의 대칭성을 유지할 것. 이러한 접근은 기존 문헌에서 발생한 오해를 바로잡고, 제약 시스템의 정밀한 해석과 양자화에 필수적인 토대를 제공한다.