Scheme to Detect the Strong-to-weak Symmetry Breaking via Randomized Measurements

핵심

당신이 엄격한 대칭성 규칙을 따라야 하는 복잡하고 노이즈가 많은 기계(양자 시스템)를 가지고 있다고 상상해 보십시오. 이 기계는 마치 완벽하게 균형 잡힌 모빌과 같습니다. 때때로 이 기계는 환경에 의해 "노이즈"가 발생하거나 "결맞음이 깨질(decohered)" 수 있습니다. 과거에 과학자들은 기계가 대칭성을 깨뜨리는 두 가지 방법을 알고 있었습니다. 즉, 완벽하게 균형을 유지하거나(대칭), 혹은 완전히 쓰러지거나(대칭성 붕괴) 하는 것입니다.

하지만 이 논문은 **"강-약 대칭성 붕괴(Strong-to-Weak Symmetry Breaking, SW-SSB)"**라는 매혹적인 새로운 중간 지대를 소개합니다. 이것을 다음과 같이 생각할 수 있습니다:

• 강한 대칭(Strong Symmetry): 기계가 완벽하게 균형을 이루고 있으며, 어떤 각도에서 보더라도 똑같이 보입니다.
• 약한 대칭(Weak Symmetry): 겉보기에는 균형 잡혀 보이지만, 내부를 들여다보면 내부의 톱니바퀴들이 서로 맞지 않게 돌아가고 있습니다.
• 붕괴(The Break): 기계가 "강한" 상태에서 시작했지만, 노이즈로 인해 내부의 질서는 상실되었음에도 불구하고 외부로는 여전히 괜찮아 보이는 "약한" 상태로 미끄러져 들어갑니다.

문제는 이 특정한 "미끄러짐"을 감지하는 것이 믿기 힘들 정도로 어렵다는 점입니다. 이는 마치 허리케인 속에서 속삭임을 들으려는 것과 같습니다. 전통적인 방식은 기계의 "스냅샷"을 두 번 찍어서 완벽하게 비교해야 하는데, 실제 실험실에서는 거의 불가능한 일입니다.

새로운 "무작위 추측" 기술

저자들은 **무작위 측정(Randomized Measurements)**이라고 불리는 방법을 사용하여 이 미끄러짐을 감지하는 영리하고 실용적인 방법을 제안합니다. 여기에는 다음과 같은 비유가 있습니다:

당신에게 두 개의 동일한 카드 덱(양자 상태를 나타냄)이 있다고 상상해 보십시오.

1. 원래의 덱: 당신은 카드를 무작위로 섞고 카드를 확인합니다.
2. "뒤틀린" 덱: 당신은 두 번째 덱을 가져오는데, 섞기 전에 특정 카드 몇 장을 비밀리에 바꿉니다(이는 "전하 연산자" 또는 Z-게이트를 적용하는 것을 나타냅니다). 그런 다음 카드를 섞고 이 카드들도 확인합니다.

두 덱을 카드 한 장씩 완벽하게 비교하려고 노력하는 대신(이는 어렵습니다), 저자들은 "해밍 거리(Hamming Distance)"(차이의 개수를 세는 것)라는 게임을 제안합니다.

• 이 섞고 확인하는 게임을 수백만 번 수행합니다.
• 매번, 당신이 본 두 덱 사이의 차이가 얼마나 되는지 숫자를 셉니다.
• 시스템이 대칭 단계(Symmetric Phase)(붕괴가 없는 상태)에 있다면, "뒤틀린" 덱은 대부분의 경우 원래의 덱과 매우 다르게 보일 것입니다. 즉, "차이의 개수"가 높고 뚜렷하게 나타납니다.
• 시스템이 SW-SSB 단계에 있다면(붕괴가 일어난 상태), 뒤틀린 덱은 카드를 바꿨음에도 불구하고 놀랍게도 원래의 덱과 매우 비슷하게 보일 것입니다. 즉, "차이의 개수"가 떨어지며 원래 덱의 패턴과 비슷해집니다.

이 게임을 여러 번 실행하고 차이의 통계를 살펴봄으로써, 그들은 완벽한 측정이 불가능하더라도 대칭성이 깨졌는지 여부를 알아낼 수 있습니다.

"적은 샘플"이라는 지름길

논문은 또한 실용적인 장애물에 대해서도 언급합니다. 완벽한 답을 얻으려면 수백만 개의 샘플이 필요할 수도 있으며, 이는 시간이 오래 걸립니다. 그러나 저자들은 영리한 지름길을 찾아냈습니다.

그들은 적은 수의 샘플(긴 응시가 아닌 짧은 훑어보기)만으로도 시스템이 대칭성을 깨뜨리고 있는지 여부를 여전히 판단할 수 있다는 것을 깨달았습니다. 그들은 KL 발산(KL Divergence)(유사도 점수라고 생각하십시오)이라는 수학적 도구를 사용합니다.

• 두 덱 사이의 "유사도 점수"가 높으면, 시스템은 새로운 "강-약" 단계에 있는 것입니다.
• 점수가 낮으면, 여전히 일반적인 대칭 단계에 있는 것입니다.

그들은 이를 시뮬레이션된 모델(회전하는 팽이들의 줄인 양자 비트 체인)에 테스트했으며, 적은 수의 샘플(짧은 훑어보기)만으로도 그들의 방법이 대칭성 붕괴가 일어나는 지도의 경계를 정확하게 그려낼 수 있음을 발견했습니다.

이것이 왜 중요한가 (논문에 따르면)

저자들은 이것이 현대적인 양자 장치(원자나 이온을 사용하는 장치 등)에서 실행할 수 있는 실용적인 프로토콜이라고 주장합니다. 이는 실험가들이 이론적으로만 이야기하는 것이 아니라, 실제 실험실에서 이 새로운 유형의 양자 상(SW-SSB)을 실제로 관찰하고 연구할 수 있는 문을 열어줍니다. 그들은 특히 그들의 방법이 현대 양자 컴퓨터에서 흔히 볼 수 있는 "전체 연결(all-to-all)" 구조를 가진 시스템에 잘 작동한다고 명시했습니다.

요약하자면, 그들은 완벽한 측정을 위한 충분한 시간이나 데이터가 없더라도, 무작위 측정을 통해 양자 시스템의 미묘하고 숨겨진 변화를 감지할 수 있게 해주는 "통계적 추측 게임"을 발명한 것입니다.

기술 요약

기술 요약: 무작위 측정을 통한 강-약 대칭성 깨짐(Strong-to-Weak Symmetry Breaking) 검출 기법

문제 정의
최근 이론적 발전은 혼합 양자 상태(mixed quantum states)에서 나타나는 새로운 물질 상인 강-약 자발적 대칭성 깨짐(Strong-to-Weak Spontaneous Symmetry Breaking, SW-SSB)을 확인하였다. 이 시나리오에서, 밀도 행렬의 "강한(strong)" 대칭성(대칭 연산자가 위상 차이를 두고 상태와 교환되는 조건, $U\rho = e^{i\theta}\rho$)은 "약한(weak)" 대칭성($U\rho U^\dagger = \rho$)으로 자발적으로 붕괴한다. SW-SSB의 표준적인 이론적 진단 도구는 다음과 같이 정의되는 레니-2 상관 함수(Rényi-2 correlator)이다:
$$C^{(2)}(j, k) = \frac{\text{tr}[O_j O_k^\dagger \rho O_k O_j^\dagger \rho]}{\text{tr}[\rho^2]}$$
여기서 $O$는 전하를 띤 연산자(charged operator)이다. 분모(순도, purity)는 무작위 측정을 통해 측정할 수 있는 반면, 분자는 원래의 상태 $\rho$와 전하를 띤 연산자에 의해 진화된 상태($\tilde{\rho} = O_j O_k^\dagger \rho O_k O_j^\dagger$) 사이의 복잡한 중첩을 포함한다. 현재 일반적인 밀도 행렬에 대해 이 분자를 측정할 수 있는 실질적인 실험 프로토콜이 부족하여, SW-SSB에 대한 실험적 연구가 저해되고 있다.

방법론
저자들은 무작위 측정 도구 상자(randomized measurement toolbox)를 사용하여 레니-2 상관 함수의 분자를 추정하는 구체적인 프로토콜을 제안한다. 이 체계는 $N$개의 큐비트 시스템에서 작동하며 과정은 다음과 같다:

1. 무작위 기저 선택: 각 큐비트 $i$에 대해, 무작위 파울리 방향 $\hat{n}_i \in \{\hat{x}, \hat{y}, \hat{z}\}$를 독립적으로 선택한다.
2. 원래 상태에 대한 측정: 시스템을 상태 $\rho$로 준비하고, $\hat{n}_i$ 방향으로 측정을 수행하여 비트 문자열 결과 $s$를 얻는다.
3. 진화된 상태에 대한 측정: 시스템을 $\tilde{\rho}$ 상태(큐비트 $j$와 $k$에 $Z$ 게이트를 적용하여 $\rho$로부터 얻은 상태)로 준비한다. 동일한 무작위 방향 $\hat{n}_i$를 따라 측정을 수행하여 비트 문자열 결과 $s'$를 얻는다.
4. 통계적 추정: 이 과정을 $N_a$번 반복함으로써, $s$와 $s'$ 사이의 통계적 상관관계를 이용하여 분자 $P_{ZZ} = \text{tr}[\tilde{\rho}\rho]$를 추정한다:
   $$P_{ZZ} \approx \frac{1}{N_a} \sum_{a=1}^{N_a} 2^N (-2)^{-D(s_a, s'_a)}$$
   여기 여기서 $D(s, s')$는 비트 문자열 사이의 해밍 거리(Hamming distance)이다. 저자들은 이 추정량이 무한한 샘플 한계에서 편향되지 않음을(unbiased) 증명한다.

프로토콜을 입증하기 위해, 저자들은 모든 노드 간 결맞음 해제(all-to-all decoherence)가 가해진 횡장 이징 사슬(transverse-field Ising chain)이라는 풀 수 있는 모델을 활용한다. 결맞음 해제 채널은 낮은 강도에서는 강한 대칭성을 보존하지만, 높은 강도에서는 SW-SSB로 유도하는 결맞음 해제를 정의한다. 임계점 $\mu_c$는 초이-자미올코프스키 동형성(Choi-Jamiolkowski isomorphism)과 안장점 근사(saddle-point approximation)를 사용하여 분석적으로 도출된다.

주요 결과

• 편향되지 않은 추정: 작은 시스템 크기($N \lesssim 7$)에 대한 정확한 대각화(exact diagonalization)를 이용한 수치 시뮬레이션은 제안된 프로토콜이 순도 측정과 유사한 분산을 가지면서 $P_{ZZ}$의 편향되지 않은 추정치를 제공함을 확인시켜 준다.
• 샘플 복잡도 제한: 저자들은 표준 편차가 적절한 수의 샘플($N_a \sim 10^6$)을 사용할 때 기대값과 비슷해지는 더 큰 시스템 크기($N \gtrsim 7$)에 대해, 제안된 추정치의 샘플 복잡도 문제를 발견하였다. 이는 현재의 샘플 제약 조건 하에서 더 큰 시스템에 대한 직접적인 레니-2 상관 함수 계산을 비실용적으로 만든다.
• KL 발산을 통한 대안적 검출: 직접적인 상관 함수 계산의 높은 샘플 복잡도를 우회하기 위해, 저자들은 해밍 거리의 분포인 $p_I(D)$(순도용)와 $p_{ZZ}(D)$(분자용)에 기반한 대안적인 기준을 제안한다.
  • **대칭 상(symmetric phase)**에서는 $P_{ZZ} \ll P_I$이므로, 구별 가능한 분포와 유의미한 쿨백-라이블러(Kullback-Leibler, KL) 발산이 나타난다.
  • SW-SSB 상에서는 $P_{ZZ}$와 $P_I$가 동일한 차수(order)를 가지며, 이로 인해 분포가 수렴하고 KL 발산이 소멸한다.
• 상 경계 추정: KL 발산을 프록시(proxy)로 사용하여, 저자들은 결맞음 해제된 이징 모델의 상도표를 성공적으로 재구성하였다. 놀랍게도, 이 대안적 접근 방식은 작은 시스템 크기($N=7$)와 상대적으로 적은 샘의 수($N_a = 10^4$)를 사용하여 행렬 곱 상태(Matrix Product State, MPS) 시뮬레이션으로부터 도출된 이론적 예측과 일치하는 합리적인 상 경계 추정치를 제공하였다.

의의 및 주장
본 논문은 리드베르그 원자 배열(Rydberg atom arrays)이나 트랩된 이온 시스템(trapped ion systems)과 같은 현재의 최첨단 양자 장치에서 무작위 측정을 통해 SW-SSB를 검출할 수 있는 최초의 실질적인 프로토콜을 제공한다고 주장한다. 저자들은 이 체계가 비국소적 연산(non-local operations)이나 여러 복제본(replicas)의 동시 준비를 요구하지 않아 근미래의 실험(near-term experiments)에 실행 가능하다는 점을 강조한다.

이 연구는 혼합 상태에서의 새로운 양자 상에 대한 실험적 연구를 위한 경로를 열어준다. 해밍 거리의 분포를 이용한 KL 발산 기준을 통해 적은 샘플 수로도 상 경계를 높은 정확도로 추정할 수 있음을 보여줌으로써, 저자들은 SW-SSB의 실험적 검증이 실현 가능함을 시사한다. 논문은 논의의 중심이 레니-2 상관 함수에 있지만, 유사한 체계가 다른 SW-SSB 정의(예: 충실도(fidelity) 또는 와이트만 상관 함수(Wightman correlators))로 확장될 수 있음을 언급하며, 이는 향후 연구 과제로 남겨두었다.