Floquet code
通过周期性测量序列动态生成逻辑量子比特;测量日程本身定义时变稳定子结构。
- 成熟度
- 核心基础
- 重要度
- 核心主题
- 证据
- 2 篇代表来源
主题要点
低权重两体测量
stabilizer group 随时间变化
decoder 必须理解测量周期与时空检测事件
全栈位置与直接关系
code/code/floquet通过周期性测量序列动态生成逻辑量子比特;测量日程本身定义时变稳定子结构。
低权重两体测量
stabilizer group 随时间变化
decoder 必须理解测量周期与时空检测事件
code/code/floquetCode dossier
这里汇总参数景观中的结构化记录、码族谱系中的构造说明、执行路线与外部知识库,作为完整主题页的代码专属延伸。
码距必须连同测量周期和时空错误模型定义,故不与静态 [[n,k,d]] 点混画。
时变稳定子/子系统 Floquet 周期,而非固定静态 parity-check matrix。
时变稳定子/子系统 Floquet 周期,而非固定静态 parity-check matrix。
低权重两体测量
stabilizer group 随时间变化
decoder 必须理解测量周期与时空检测事件
Honeycomb Floquet Dynamic-code Execution Route:三轮两体测量周期、时变稳定子、detector 编译、动态逻辑 frame 与阈值评测。当前路线绑定 Floquet spacetime matching、Dynamic subsystem decoder,并覆盖 Three-color two-body cycle、Cross-round detector relations。
码距必须连同测量周期和时空错误模型定义,故不与静态 [[n,k,d]] 点混画。
瞬时稳定子、跨轮 detector 与整周期逻辑映射不可混为一谈;只保存静态检查会丢失定义该码的时间信息。
2021Dynamically Generated Logical Qubits2026Handbook of Error-Correcting CodesDeep reference
定义、代数构造、保护能力与执行证据均按来源段落独立维护;中文稿经过术语整理,英文稿保留用于逐段对照。
Floquet 码由周期性测量调度而不是单个静态稳定子群定义;逻辑子空间随测量周期动态生成。蜂窝 Floquet 码在环面上编码两个逻辑量子比特,其距离随晶格线性尺度增长。
A Floquet code is defined by a periodic measurement schedule rather than one static stabilizer group; the logical subspace is generated dynamically through the cycle. The honeycomb Floquet code encodes two logical qubits on a torus and has distance growing with lattice linear size.
在三价蜂窝图的三类边上依次测量两体 XX、YY、ZZ gauge 算符。每个时刻的瞬时稳定子、跨时刻由测量结果乘积形成的 detector,以及整周期后的逻辑映射是三种不同对象,数据模式必须分别保存。
Measure two-body XX, YY, and ZZ gauge operators in sequence on the three edge colors of a trivalent honeycomb graph. Instantaneous stabilizers, cross-time detectors formed from measurement products, and the full-period logical map are distinct objects and must be stored separately.
保护来自时空测量记录中的拓扑结构,而非某一时刻的静态检查集合。只给出无测量错误的瞬时码距不足以描述读出故障;完整协议必须把测量错误纳入三维 detector 图。
代表文献
Protection is topological in the spacetime measurement record, not in a single instantaneous check set. An instantaneous distance with perfect measurements does not cover readout faults; the full protocol must include them in a three-dimensional detector graph.
参数依赖闭曲面、边界、晶格大小和所选周期;环面规范构造编码两个逻辑量子比特。两体测量降低单次检查权重,但总开销还包括多轮周期、辅助量子比特、复位和时空解码窗口。
Parameters depend on surface, boundaries, lattice size, and schedule; the canonical toric construction encodes two logical qubits. Weight-two measurements reduce check locality, but total overhead includes repeated periods, ancillas, reset, and the spacetime decoding window.
一个完整 Floquet 周期可以对逻辑算符实施确定的 Clifford 自同构,因此等待一个周期本身可能是逻辑操作。更一般的门需要改变测量图、引入缺陷或与其他码协议接口,不能从两体测量直接推出通用性。
A full Floquet period can implement a deterministic Clifford automorphism of logical operators, so waiting through a period may itself be a logical operation. More general gates require schedule deformation, defects, or interfaces; universality does not follow from weight-two measurements.
将相邻周期中受约束的测量结果组合成 detector,再把故障映射为空时图上的边或超边,可使用匹配或相关解码。解码器必须知道调度相位;忽略时间顺序会丢失定义码所需的信息。
Constrained outcomes from neighboring periods are combined into detectors, and faults become edges or hyperedges in spacetime for matching or correlated decoding. The decoder must know the schedule phase; discarding temporal order discards information that defines the code.
两体测量有利于低连接硬件,但 ancilla 故障、复位故障和测量串扰仍会产生相关时空事件。容错声明必须给出 detector error model、周期边界处理和逻辑 observable 的追踪规则。
Weight-two measurements favor low-connectivity hardware, but ancilla faults, reset faults, and measurement crosstalk still create correlated spacetime events. A fault-tolerance claim needs a detector error model, period-boundary treatment, and logical-observable tracking.
实现重点是高保真重复两体 Pauli 测量、快速复位和稳定时序,而不只是制备一次编码态。工程数据应包含每个周期的 detector 率、相关长度和泄漏处置。
Implementation emphasizes repeated high-fidelity two-body Pauli measurements, fast reset, and stable timing rather than one-time encoded-state preparation. Engineering data should include per-period detector rates, correlation lengths, and leakage handling.
Floquet 码属于子系统与动态量子码的交叉区域,并与蜂窝模型及表面码的时空拓扑描述相关。把一个周期冻结成静态稳定子通常会改变保护机制,因此不能按静态 H_X/H_Z 相等来判定等价。
Floquet codes lie at the intersection of subsystem and dynamical quantum codes and relate to honeycomb models and spacetime surface-code descriptions. Freezing one period into a static stabilizer code generally changes the protection mechanism, so equality of static H_X/H_Z matrices is not an equivalence test.
最小可复现记录应包括晶格、边着色、测量顺序、周期相位、detector 定义和逻辑 observable。只存“honeycomb”名称或两体检查列表会丢失码身份。
A minimal reproducible record includes lattice, edge coloring, measurement order, cycle phase, detector definitions, and logical observables. Storing only the name “honeycomb” or a list of two-body checks loses the code identity.