[论文解读] Unbounded length minimal synchronizing words for quantum channels over qutrits

Bjørn Kjos-Hanssen, Swarnalakshmi Lakshmanan|arXiv (Cornell University)|Mar 1, 2026

Quantum Computing Algorithms and Architecture被引用 0

一句话总结

论文证明，在qutrit量子信道中存在最小长度可任意增大的同步词，因此在以基态作为基集合的量子维度情形下，Černý猜想在此量子设定中失败。

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都不存在同步词的量子信道。
• 证明存在一种固定形式的同步词能够将所有状态映射到单一基态。
• 通过迹距离分析演示，当角度参数变小，短词无法实现状态同步。

提出的方法

• 引入使用 Kraus 算符 A、A1、A2 的量子信道构造，以及参数族 Bn，其旋转角度为 theta = pi/(2n)。
• 将确定性自动机 Mn 与 Mn' 的状态定义为 C^3 上的密度矩阵，字母表为 {A, Bn}。
• 利用迹距离界限和 Hölder 不等式来限定在近似恒等操作 Bn 下状态的保持距离。
• 证明对于任意固定长度 l，总存在足够大的 n，使得长度 ≤ l 的任意词都不能同步 Mn 或 Mn'。
• 证明单词 ABn^nA 通过将所有状态映射到 |e2><e2| 来实现对 Mn 与 Mn' 的同步。

实验结果

研究问题

• RQ1 qutrit 量子信道是否存在任意（无界）最小长度的同步词？
• RQ2 对于固定维度，Černý 上界 (q−1)^2 能否扩展到量子设定？
• RQ3 量子信道中的近同一性扰动如何影响短同步词的存在性？
• RQ4 是否可以构造一族量子信道，使得特定形式的词（如 ABn^nA）在与 n 无关的情况下产生同步？

主要发现

• 对于每个 l，存在一个 n，使得 Mn 与 Mn' 没有长度 ≤ l 的同步词。
• 存在一个同步词 ABn^nA，可以将所有状态映射到相同的密度矩阵 |e2><e2|。
• 随着 n 增大、theta 降低，Bn 趋近于单位运算，从而确保最小同步词更长。
• 迹距离界限表明短词无法跨越某些基态密度矩阵之间的距离。
• 该构造将 Grudka 等人的结果推广为 qutrit 信道的任意长最小同步词。