무작위 양자 연산과 초연산자 스펙트럼

이 논문은 양자 정보와 양자 동역학 분야에서 무작위 양자 연산(quantum operations, 즉 완전 양자 채널)의 체계적인 정의와 그 통계적 특성을 제시한다. 고전적인 확률 행렬 S가 만족하는 비음성 및 열합 1 조건을 출발점으로, 양자 시스템에서는 상태를 밀도 행렬 ρ(≥0, Trρ=1)로 기술하고, 이를 보존하는 선형 사상 Φ:M_N→M_N를 완전 양자 채널이라 정의한다. 완전 양자성은 Choi 행렬 D(Φ)≥0 로, 트레이스 보존은 Tr_A D = I_N (또는 Tr D = N) 로 표현된다. 리쉐플링 연산 R을 도입하면 Φ_R = D가 되며, 이때 Φ_R≥0와 Tr_B Φ_R = I_N이면 Φ는 양자 이중 확률(bistochastic) 채널이 된다. 논문은 이러한 조건 하에서 Φ의 스펙트럼이 단위 원판 안에 존재하고, 최대 고유값이 1이며, 그에 대응하는 고유벡터는 불변 상태 ω(≥0, Trω=1)임을 증명한다. 이는 고전적인 Frobenius‑Perron 정리의 양자 버전이다. 무작위 채널을 생성하기 위한 두 가지 알고리즘을 제시한다. 첫 번째는 N^2×M 크기의 복소 Ginibre 행렬 X를 무작위로 뽑아 Y=Tr_A(XX^†)를 구하고, D = (I⊗√Y) X X^† (I⊗√Y) 로 만든 뒤 리쉐플링하여 Φ를 얻는 방법이다. 이때 M≥1이며, M=N^2이면 D/N이 Hilbert‑Schmidt 측정에 해당하는 완전 양자 채널을 만든다. 두 번째는 Haar 측정에 따라 무작위 유니터리 U∈U(NM)를 선택하고, 환경을 M 차원 순수 상태 |ν⟩로 초기화한 뒤 ρ' = Tr_M