경계가 있는 균일 매트릭스 곱 상태를 위한 일반화된 정준형

초록

**
본 논문은 경계 행렬을 허용하는 균일 MPS(MPS‑X)에 대해 새로운 정준형(gCF)을 제시한다. 이를 위해 비반감성(non‑semisimple) 행렬 집합이 생성하는 대수와 스팬의 구조를 분석하고, 차단 길이가 일정 수준을 넘으면 스팬이 대수로 수렴한다는 일반화된 양자 Wielandt 부등식을 증명한다. 결과적으로 모든 안정적인 MPS‑X는 블록‑가역 MPO가 작용하는 ‘대수적 정규언어 상태’ 위에 표현될 수 있음을 보이며, 기존의 주기적 경계(PBC) MPS 정준형을 확장한다.

**

상세 분석

**
이 연구는 기존 MPS 이론이 주기적 경계에만 적용될 수 있다는 한계를 정확히 짚어낸다. 저자들은 먼저 MPS‑X를 정의하고, ‘안정성(stability)’이라는 개념을 도입한다. 안정성은 일정 차단 길이 (L_{\text{stab}}) 이후에 행렬 곱들의 스팬 (\mathcal{A}(\ell))가 전체 대수 (\operatorname{Alg}({A_i}))와 동일해지는 성질을 의미한다. 이는 물리적으로는 시스템 크기에 무관하게 장거리 구조를 포착하는 ‘백본(backbone)’ 상태가 존재한다는 것을 보장한다.

백본 상태는 ‘대수적 정규언어 상태(algebraic regular language states, algebraic RLS)’로 명명된다. 일반적인 정규언어 상태는 문자열 집합 (L\subset\Sigma^*)에 대해 (|L_N\rangle=\sum_{w\in L\cap\Sigma^N}|w\rangle) 로 정의되지만, 여기서는 각 기호에 복소 가중치를 부여하는 연산 (\hat S(m))를 도입해 보다 풍부한 계수를 허용한다. 이를 통해 GHZ, W, Dicke 등 물리적으로 중요한 상태들을 모두 algebraic RLS 형태로 기술할 수 있다.

핵심 수학적 기여는 비반감성 행렬 집합의 스팬과 대수 구조에 대한 정밀한 분석이다. 저자들은 다음 두 가지 주요 결과를 증명한다.

1. 대수·스팬 구조 정리: 차단 길이 (p)를 충분히 크게 잡으면, 모든 블록‑대각 행렬이 블록‑가역(block‑invertible) 형태로 변환될 수 있다. 즉, 차단 후 얻어지는 행렬 집합은 블록마다 완전한 대수를 형성한다.
2. 일반화된 양자 Wielandt 부등식: 기존 Wielandt 부등식은 반감성(semisimple) 경우에만 적용되었지만, 여기서는 비반감성 경우에도 차단 길이 (L_{\text{W}}\leq C,D^4) (여기서 (D)는 결합 차원, (C)는 상수) 로 스팬이 대수로 수렴함을 보인다. 이는 차단 후 영행렬이 포함될 때 스팬이 완전 대수로 변하는 시점을 명시적으로 제공한다.

이러한 대수적 결과를 바탕으로 저자들은 일반화된 정준형(gCF) 을 제시한다. gCF는 다음 두 부분으로 구성된다.

• 상단(upper) 블록: 블록‑가역 MPO (M) 로, 짧은 거리 상관과 국소 엔탱글먼트를 담당한다.
• 하단(backbone) 블록: algebraic RLS (|L_N\rangle) 로, 장거리 위상과 스케일 불변성을 담는다.

정준형은 ‘matrix‑CF’와 ‘gCF’ 두 단계로 나뉘며, 각각은 블록‑대각화와 블록‑가역성 보장을 위한 변환 행렬 (P)와 (Z_j) 를 이용한다. 또한, 정준형의 자유도(불변성)와 관련된 ‘gCF 자유도 정리’를 증명해, 동일한 물리 상태를 나타내는 서로 다른 텐서 집합이 어떻게 서로 변환되는지를 완전히 규정한다.

마지막으로, 저자들은 실제 예시(예: W‑state)와 함께 차단 절차, 블록‑가역 변환, 그리고 algebraic RLS 표현을 단계별로 시연한다. 이를 통해 gCF가 실제 계산에 적용 가능함을 입증하고, 기존 DMRG·MPO 기반 알고리즘에 경계 효과를 자연스럽게 포함시킬 수 있는 이론적 토대를 제공한다.

전체적으로 이 논문은 MPS‑X라는 새로운 클래스의 구조적 이해를 가능하게 하며, 기존 PBC MPS 정준형을 일반화함으로써 경계가 있는 1D 양자 시스템, 비평형 동역학, 그리고 MPO 기반 양자 회로 설계 등에 광범위한 응용 가능성을 열어준다.

**