비적분 해밀토니안 시스템을 위한 근사 불변량 구축 및 가속기 적용

초록

본 논문은 비적분 해밀토니안 시스템에서 고차 다항식 형태의 근사 불변량(AI)을 단계적으로 구성하는 방법을 제시하고, 이를 현대 원형 입자 가속기의 한 턴 변환 행렬에 적용한다. AI의 변동을 혼돈 지표로 활용하여 자석 설계 파라미터를 최적화하면 동적 개구(Dynamic Aperture)를 확대할 수 있음을 시뮬레이션으로 입증한다.

상세 분석

이 연구는 비적분 해밀토니안 시스템에서 정확한 보존량이 존재하지 않을 때, KAM 이론이 제시하는 ‘근사 불변량’ 개념을 실용적인 계산 프레임워크로 전환한다. 핵심 아이디어는 한 턴 변환을 정사각 행렬 M으로 표현하고, M의 전치 행렬 Mᵀ가 고유값 1을 갖는 고유벡터 V를 찾아 다항식 형태의 AI W = VᵀZ(Ω) 를 구성하는 것이다. 여기서 Z(Ω)는 좌표와 운동량의 모노미얼을 차수 Ω까지 포함한 확장 벡터이다.

하지만 Mᵀ의 고차 항이 factorial( n ) 만큼 급격히 커져 고유분석이 고차 항에만 편향되는 문제를 인식하고, 저차(선형) 인바리언트를 초기값으로 삼아 차수별로 순차적으로 확장한다. 구체적으로, 2차 행렬(14×14)에서 Courant‑Snyder 불변량을 얻고, 이를 기반으로 3차 행렬(34×34)에서 상위 블록이 영행렬인 구조를 이용해 V(3) = (I−m₃)⁻¹ m₂ V(2) 로 해를 구한다. 이 과정은 (I−m₃) 가 가역이면 언제든 적용 가능하며, 고차 항이 비공진 조건 하에 설계된 가속기에서는 일반적으로 만족한다.

이와 같은 반복적 확장은 4차, 5차까지 진행될 수 있으며, 각 차수별 AI는 시뮬레이션 궤적에 대해 검증된다. 차수가 높아질수록 AI의 변동(σW/|⟨W⟩|)은 감소하지만, 일정 차수(논문에서는 5차) 이상에서는 수치 오차와 실제 불변량 존재 여부 사이의 경계가 모호해진다. 변동이 커지는 현상은 해당 차수에서 근사 토러스가 파괴되는 신호로 해석된다.

혼돈 지표로서 AI 변동을 활용한 실험적 검증에서는, 전통적인 FMA, Shannon 엔트로피, 전방‑역방 적분과 비교했을 때 AI 변동이 가장 직관적인 ‘액션 스미어’ 형태를 제공한다. 특히, AI 변동을 최소화하는 설계 목표를 설정하고, 선택된 고조파 sextupole을 튜닝함으로써 NSLS‑II 저장고의 온‑오프 모멘텀 동적 개구를 수 시간 내에 최적화하였다. 이는 다중 입자 트래킹 기반 최적화보다 계산 효율이 높으며, 고차 비선형 효과를 직접 반영한다는 장점을 가진다.

결론적으로, 논문은 (1) 고차 다항식 근사 불변량을 체계적으로 구축하는 알고리즘, (2) AI 변동을 혼돈 및 토러스 파괴의 정량적 지표로 활용하는 방법, (3) 가속기 설계 최적화에 AI 변동 최소화를 적용해 동적 개구를 확대하는 실증 사례를 제시한다. 이 접근법은 비적분 시스템 전반에 걸쳐 장기 안정성 분석과 제어 설계에 활용될 수 있는 강력한 도구로 평가된다.