[논문 리뷰] Unbounded length minimal synchronizing words for quantum channels over qutrits

Bjørn Kjos-Hanssen, Swarnalakshmi Lakshmanan|arXiv (Cornell University)|2026. 03. 01.

Quantum Computing Algorithms and Architecture인용 수 0

한 줄 요약

논문은 qutrits에서의 양자 채널에 대해 임의로 큰 최소 길이를 갖는 synchronizing 단어가 존재한다는 것을 증명하므로, Černý’s conjecture가 이 양자 설정에서 차원(dimension)을 기저 상태로 삼는 경우 실패한다.

ABSTRACT

Grudka, Karczewski, Kurzynski, Stempin, Wójcik and Wojcik (2025) constructed quantum channels with synchronizing words of length 3 for qutrits. We extend their result to arbitrarily long minimal synchronizing words, providing a contrast to Černý's conjecture for finite automata.

연구 동기 및 목표

• 결정론적 자동자 맥락에서 Černý의 추측을 동기부여하고 이를 qutrits의 양자 채널과 대조한다.
• 주어진 길이 l에 대해 경계가 있는 동기 단어가 존재하지 않는 양자 채널들을 구성한다.
• 고정된 형태의 동기 단어가 모든 상태를 단일 기저 상태로 매핑할 수 있음을 보인다.
• 꽤 작아지는 각도 매개변수에서 더 짧은 단어가 상태를 동기화하지 못함을 트레이스 거리 분석으로 보여준다.

제안 방법

• 크라우스 연산자 A, A1, A2와 회전 각도 θ = π/(2n)인 family Bn을 사용한 양자 채널 구성 도입.
• 상태를 C^3의 밀도 행렬들의 집합으로 두고 알파벳 {A, Bn}인 결정론적 자동자 Mn과 Mn′를 정의한다.
• 트레이스 거리의 경계와 Hölder 불평등을 이용해 거의 항등에 가까운 연산 Bn 아래에서 상태의 근접성을 한정한다.
• 어떤 고정된 l에 대해 길이가 ≤ l인 단어가 Mn 또는 Mn′를 동기화하지 못하도록 충분히 큰 n이 존재함을 증명한다.
• ABn^nA 단어가 Mn과 Mn′를 동기화하여 모든 상태를 |e2><e2|로 매핑함을 보인다.

실험 결과

연구 질문

• RQ1 qutrits에서의 양자 채널에 대해 임의의(무한하지 않은) 최소 길이를 갖는 동기 단어들이 존재할 수 있는가?
• RQ2 finite automata에 대한 Černý 경계 (q−1)^2가 고정된 차원에서 양자 설정으로 확장되는가?
• RQ3 양자 채널에서의 거의 항등 교란이 짧은 동기 단어의 존재에 어떤 영향을 미치는가?
• RQ4 특정 단어 형식(예: ABn^nA)이 n에 독립적으로 동기화를 유도하는 양자 채널 가족을 구성하는 것이 가능한가?

주요 결과

• 각 l에 대해 Mn과 Mn′가 길이가 ≤ l인 동기 단어를 갖지 않는 n이 존재한다.
• 모든 상태를 동일한 밀도 행렬 |e2><e2|로 매핑하는 동기 단어 ABn^nA가 존재한다.
• θ가 n과 함께 감소함에 따라 Bn이 항등에 접근하게 되어 더 긴 최소 동기 단어를 보장한다.
• 트레이스 거리 경계는 짧은 단어가 특정 기저 상태 밀도 행렬 간의 거리를 좁힐 수 없음을 보여준다.
• 구성은 Grudka 등의 결과를 일반화하여 qutrit 채널에 대해 임의로 긴 최소 동기 단어를 얻는다.