精读笔记
Problem Setting
论文标题：Coherent Swap Regret and Channel-Proof Learning（arXiv preprint / 2026）。
这篇论文解决的不是“量子状态在线学习如何做 external no-regret”，而是更尖锐的问题：当 learner 每轮产生一个局部量子状态 ρ_t，事后 comparator 可以对这些实际收到/产生的状态统一施加一个物理允许的 CPTP map Λ 时，能否做到 sublinear regret，且最优 d,T 依赖是什么。
真正困难点在 comparator 的信息结构：replacement comparator 只问“如果我丢掉推荐、换成固定 σ 会怎样”；CPTP swap comparator 问的是“如果我利用推荐寄存器中的信息，对其做系统性重写会怎样”。后者是 classical swap regret / correlated equilibrium 在量子推荐中的对应物。关键矛盾是：learner 的 action 是 state，但 comparator 是作用在 realized state sequence 上的 channel；如果直接把 channel 当 action 做 external regret，就解错了问题。
以前路线卡在两个位置：一是 quantum games 中很多 no-regret 结果仍是 external-regret 或 equilibrium computation over states/channels；二是 quantum Φ-equilibrium 提供了稳定性定义，但没有给出 all-CPTP local-deviation benchmark 的 tight finite-time online learning rate。本文把这个缺口定位成“quantum internal regret against physical rewrites”。
Motivation
已有 external regret 对量子推荐协议的稳定性过弱，因为它只排除固定替换状态。对真实玩家来说，收到局部寄存器后最自然的偏差不是丢弃它，而是测量、旋转、加噪、制备，或任意 CPTP preprocessing。也就是说，external regret 只验证 coarse stability；channel-proofness 才验证 correlated-equilibrium 级别的 incentive constraint。
作者的核心观察是 deviation classes 之间存在结构性断点：unital deviations 并不难，因为最大混态被所有 unital maps 固定；replacement deviations 只是 external regret；真正带来 swap-regret 难度的是 non-unital 且能使用 recommendation register 的 rewrites，甚至 deterministic measurement-and-preparation 已经足够达到最坏情形。
所以这篇论文缺的不是另一个 matrix multiplicative weights 变体，而是一个正确的 benchmark 分层：哪些物理 deviation 真的增加学习难度，哪些只是看起来“量子”但 minimax 上无害。
Core Idea
核心思想是把 quantum swap regret 变成 Choi 空间里的 external regret，但要通过 fixed-point play 完成闭环。learner 不直接维护“下一轮该玩的状态”的分布，而是维护一个候选 deviation channel Λ_t 的 normalized Choi state J_t；然后选择 Λ_t 的 fixed point ρ_t 来玩。这样当前 payoff 满足 Tr(G_tρ_t)=Tr(G_tΛ_t(ρ_t))=<A_t,J_t>，而任意 comparator Λ⋆ 的 deviation payoff 是 <A_t,J⋆>。于是 coherent swap regret 精确等于 Choi learner 在 CPTP Choi body 上的 linear regret。
这和 classical external-to-internal reduction 在精神上接近，但在量子情形中信息被重新组织为“learn a deviation rule, play its fixed point”。新的 inductive bias 是：learner 的行为被约束在当前 deviation channel 的 invariant state 上，从而让自身行为和 comparator rewrite 处在同一个线性化坐标系里。这个建模改变比具体 mirror update 更重要；没有 fixed-point identity，Choi linearization 不能直接给出 regret equality。
Method
1. Choi representation：解决 comparator 非线性的问题。CPTP map Λ 通过 normalized Choi state J 表示，Tr(GΛ(ρ)) 写成 <d(G⊗ρ^T),J>。这一步把“对 channel 的 supremum”变成 Choi spectrahedron 上的线性优化。
2. Fixed-point play：解决 learner payoff 与 learned channel payoff 对齐的问题。每轮维护 Λ_t 后，播放任意 fixed point ρ_t，使 Λ_t(ρ_t)=ρ_t。这样 learner 的原始 payoff 正好等于 learned channel 的 Choi payoff，swap regret 变成 <A_t,J⋆−J_t> 的标准外部 regret。
3. Entropic mirror ascent over CPTP Choi slice：解决如何在线学习 deviation channel。更新是相对熵正则的 convex program，而不是闭式 softmax。它给出二阶 mirror bound，控制 Σ<A_t^2,J_t>。
4. Variance collapse：解决维度过大的问题。naive norm bound 会给 <A_t^2,J_t>≤d^2，得到 O(d√(Tlogd))；利用 Choi trace-preserving 约束 Tr_out J_t=I/d，可得 <A_t^2,J_t>≤d Tr(ρ_t^2)≤d，从而得到 O(√(dTlogd))。
5. Diagonal embedding lower bound：解决 optimality。把问题限制到 diagonal effects 和 deterministic measurement-and-preparation maps，即 classical swap regret 子问题，直接继承 Ω(√(dTlogd)) moderate-horizon lower bound。
Key Insight / Why It Works
最核心贡献是 variance collapse，而不是“用了 Choi 表示”本身。Choi 表示只是标准线性化工具；真正避免维度爆炸的是把 mirror iterate 限制在 CPTP Choi slice 上以后，trace-preserving marginal 把二阶项中的 output 自由度平均掉了。换句话说，算法不是靠更强 optimization，而是靠正确的 feasible geometry 让 variance 从 d^2T collapse 到 dT。
fixed-point architecture 是第二个关键点。它把 internal regret 的难点转成外部 regret：当前策略 J_t 并不直接输出 state，而是先定义一个 channel，再找 fixed point。这个 trick 的本质是构造一个自洽状态，使“服从推荐”和“应用当前 learned deviation”不可区分。它是 classical Φ-regret/fixed-point 思想的量子化，但在 CPTP-Choi 几何里变得非常干净。
lower bound 的归因也很清楚：难度不是 coherence、unitarity 或 noncommutativity。最坏情形完全来自 classical diagonal subalgebra；deterministic measurement-and-preparation 已经足够。这个判断很重要，因为它否定了一个直觉误解：all-CPTP benchmark 难不是因为量子相干操作更复杂，而是因为 non-unital rewrites 能利用推荐寄存器中的条件信息。
哪些部分可能只是辅助：SDP audit、小 qubit/RPS 例子主要是概念澄清，不是技术核心；bandit appendix 是接口级结果，不能支撑 full partial-feedback claim。computational model 也明显把困难转移给 convex optimization oracle，实际 scalability 增益来源不清。这里没有 data/scaling/retrieval 成分；这是纯理论几何和 regret reduction。
Relation To Prior Work
最接近的谱系有三条：classical swap regret / correlated equilibrium、quantum Φ-equilibria、matrix multiplicative weights / online learning of quantum states。本文真正不同点在于 decision problem：learner 的 action 是 state，而 comparator 是作用于 realized state sequence 的 channel。这区别于“learner 直接选择 channel 并和固定 channel 比”的 external regret。
和 Lin et al. 的 quantum Φ-equilibrium 相比，本文不是重新定义 all-CPTP equilibrium，而是补上 finite-time learning rate 和 minimax classification。和 Bansal/Aaronson 等 quantum online learning 相比，本文不是学习 quantum object 本身，而是学习 deviation rule 来诱导 internal-regret dynamics。和 Blum-Mansour / Gordon-Greenwald-Marks 相比，fixed-point reduction 思想并不新；实质新增是把它放到 normalized Choi CPTP slice，并发现 trace-preserving marginal 使二阶方差塌缩。
看似量子的新意中，Choi SDP 和 relative entropy mirror 都是既有工具；真正新增的信息是 deviation class hierarchy：unital=zero regret，replacement=external scale，measurement-and-preparation=full swap scale，all-CPTP 不比这个更坏。
Dataset / Evaluation
这篇是理论论文，没有传统 dataset 或 empirical benchmark。evaluation 主要由定理、lower bound embedding、equilibrium convergence、SDP audit 和构造性例子组成。
这些证据足以支持核心 claim 的一部分：在 full-information、finite-dimensional convex-optimization oracle model、moderate horizon T≳dlogd 下，all-CPTP coherent swap regret 的 minimax rate 是 Θ(√(dTlogd))，且 external/replacement stability 会漏掉 CPTP deviations。
但 evaluation 不支持实际 deployment claim：没有展示 mirror step 的可扩展实现，没有真实量子设备或 large-scale numerical experiments，也没有验证 partial-feedback 场景下的 pathwise coherent swap regret。bandit appendix 只是 pseudo-regret，并且 exploration 会破坏 fixed-point identity；它不能被解读为完整 bandit learning theory。
Limitation
最大限制是计算模型。每轮要解 Choi body 上的 relative-entropy convex program，其 KKT 是 noncommutative matrix-scaling；还要找当前 channel 的 fixed point。文中明确没有声称闭式 softmax、polylog-time quantum circuit 或实际高效实现。因此算法的可扩展性上限很明显：理论 regret tight 不等于可部署。
第二，full-information 假设很强。玩家需要观察 induced local payoff effect G_t；现实量子博弈中通常只有 scalar payoff 或 noisy measurement。appendix 的 probing-bandit 是 pseudo-regret，且 supremum 在 expectation 外；文中未充分说明如何得到真正 pathwise E supΛ regret。
第三，lower bound 完全来自 classical diagonal embedding。这对 worst-case optimality 足够，但也意味着论文没有揭示非交换量子结构是否产生新的困难或新的可利用结构。所谓 coherent swap 的最坏难度本质上仍由 classical swap regret 驱动。
第四，equilibrium learning 只能产生 separable time-average recommendations。channel-proofness audit 可用于 entangled states，但 synthesis theorem 不学习 entangled recommendation。若目标是量子推荐中真正利用 entanglement 的机制，本文只是给了 audit，不是生成模型。
第五，moderate-horizon qualifier 很关键。作者没有声称 small-horizon / fixed-accuracy / huge action-space regime 下 √(dTlogd) 仍是正确规律；这一点不能被忽略。
Takeaway
- 1. 量子推荐中的正确稳定性 benchmark 应该是 local CPTP preprocessing，而不是 replacement-state external regret；否则会把 coarse stability 误当 correlated stability。
- 2. all-CPTP swap regret 的 worst-case 难度并不来自“量子相干”，而来自 non-unital use of recommendation register；这个 insight 可以迁移到其他含私有信号/推荐寄存器的学习问题。
- 3. normalized Choi geometry + fixed-point play 是一个可复用模板：学习 deviation operator，播放其 fixed point，把 internal regret 转成外部 regret。
- 自然下一步是 channel-valued actions 下的 superchannel regret。
一句话总结
这篇论文把量子内部遗憾的正确基准定位为 all-CPTP channel-proofness，并用 fixed-point Choi mirror dynamics 加 variance collapse 给出 moderate-horizon 最优率；它的本质贡献是 deviation-class 几何分解，而不是新的量子优化工程。