技术摘要：具有近指数级索菲克剖面的可纳群，以及需要近线性内存的量子信道

1. 问题陈述

本文探讨了两个在几何群论和量子信息论中相互关联的问题：

1. 群论： 一个可纳群（amenable group）在远离有限性的程度上可以有多远？具体而言，作者研究了群块（group chunk）$E$ 的索菲克剖面（sofic profile）$\sigma_E(r)$。该函数衡量了通过置换来模拟群的一个有限子集所需的最小点数，使得乘法表正确且不同元素在除 $1/r$ 比例之外的所有点上都是分离的。虽然已知可纳群具有有限的索菲克剖面，但这些剖面的增长率仍是一个悬而未决的问题。Cornulier 曾询问，一个索菲克群是否可能拥有一个虽然无界但并非关于 $r$ 线性的剖面。作者此前关于 Houghton 群 $H_3$ 的工作确立了超多项式剖面（$\exp(r^{0.129})$），但此类计数论证的理论上限是 $\exp(O(r))$。问题在于：一个可纳群能否接近这个指数级的上限？

2. 量子信息： 重复应用量子信道的内存成本是多少？具体而言，本文考虑了一个顺序应用固定信道 $\Phi$ $n$ 次的设备，每次应用后都会释放输出，然后再接收下一个输入。该设备有一个内存寄存器，该寄存器从不完全重置，但可能会交换量子比特（exchange）或开始导入/引入“纯度”（熵亏损）。目标是确定内存大小 $Q$、纯度预算 $B$ 与使用次数 $n$ 之间的权衡关系，特别是对于那些位于具有有限迹分解（finite tracial factorizations）的信道闭包中的信道。

2. 研究方法

群构造：配置灯（Configuration Lamps）

作者构造了一个特定的有限提出（finitely presented）初等可纳群 $\Gamma$。该构造是一种“灯泡”（lamplighter）变体，其中“灯泡”（$S_3$ 的副本）不是放置在 Houghton 群 $H_3$ 的射线上的点上（如 Houghton 群所示），而是放置在 $H_3$ 三条射线的有限二进制配置上。

• 灯手（The Lighter）： 作用于配置空间 $V = \mathbb{F}_2^Y$ 的仿射映射群。这包括点的置换（来自 $H_3$）、平移（翻转一个点）以及变换（向另一个点添加一个点）。
• 灯泡（The Lamps）： 每个有限配置处都有一个 $S_3$ 副本。
• 核心机制： $H_3$ 移动点，而仿射映射移动配置。至关重要的是，$N$ 个点携带 $2^N$ 个配置（灯泡）。作者表明，任何两个灯泡都可以通过一系列每步最多涉及三个点的移动过程被带到一起（交换位置）。交换两个灯泡的代价受 $H_3$ 的 Dehn 函数控制，该函数是多项式的。因此，交换 $2^N$ 个灯泡所需的“面积”相对于灯泡数量是多项式对数级的，而非相对于距离的多项式级。

计数准则

对索菲克剖面的下界依赖于一个“计数准则”（定理 2.1，改编自 [26]）。其原理是：

• 如果一个群包含许多有限群（此处为 $S_3$）的副本，并且这些副本可以“廉价地”被运输到许多位置（通过短词），且这些副本的成对交换子具有较小的“面积”（即使它们交换所需的关系较少），那么任何近似表示该群的表示都必须很大。
• 近似交换的 $S_3$ 副本携带熵。如果 $N$ 个这样的副本能廉价地交换，则表示的维度 $D$ 必须满足 $\log D \gtrsim N$。
• 作者构造了 $\Gamma$ 中的 25 个关系，这些关系强制要求 $2^N$ 个 $S_3$ 副本以面积界限 $\Lambda_N \approx N^{2+\kappa}$（其中 $\kappa \approx 12.75$）进行交换。

量子信道构造

群 $\Gamma$ 被转化为一个作用在 $\mathbb{C}^{873}$ 上的小工具信道（gadget channel）$\Phi$。

• 小工具信道： 由一组有限的群关系构造而成。它在正则表示中评估这些关系，并追踪群代数的迹。
• 单轮定理（One-Round Theorem）： 将该群与信道联系起来的核心引擎是“加权单轮定理”（定理 10.1）。它指出，近似实现小工具信道的因果服务（设备）的一轮单轮过程，会揭示该群在设备内存上的一个近似表示。该表示的“缺陷”与该轮的泄漏量和熵产生量的平方根相关。
• 放大（Amplification）： 通过将单轮定理应用于 $\Gamma$ 中 $2^N$ 个廉价交换的 $S_3$ 副本，作者推导出了模拟 $n$ 次信道所需的内存熵的下界。

上界

上界是通过 $\Gamma$ 的索菲克模型（sofic models）得出的。作者使用仿射哈希（affine hashing）构造了这些模型：

• 他们使用随机仿射映射将配置映射到一个有限的哈希空间。
• 这些模型比使用 Følner 集得到的模型要小得多（对于 $\Gamma$ 而言，Følner 集的模型大小是双指数级的）。
• 这些模型直接提供了近似信道的设备（因果服务），从而提供了内存和纯度的上界。

3. 核心贡献与结果

定理 A：群 $\Gamma$

作者证明了存在一个具有近指数级索菲克剖面 $\sigma_E(r)$ 的有限提出初等可纳群 $\Gamma$：
$$\exp\left( c \frac{r}{(\log r)^\kappa} \right) \le \sigma_E(r) \le \exp(C r \log r)$$
其中 $\kappa = 6 + \log 107 < 12.75$。

• 意义： 这是第一个被证明具有接近 $\exp(O(r))$ 这一计数准则允许的理论上限的剖面的可纳群。其指数为 $1+o(1)$。
• 酉模型（Unitary Models）： 相同的关系控制着酉模型，表明任何满足关系且具有微小缺陷的酉表示，其维度 $D$ 必须满足 $\log D \gtrsim \epsilon^{-2} / (\log(1/\epsilon))^{2\kappa}$。
• 嵌入： $\Gamma$ 嵌入到 Brin 的群 $3V$（一个具有未知索菲克性的有限提出单纯群）中，这意味着 $3V$ 也拥有一个具有近指数级剖面的块。

定理 B：量子信道

群 $\Gamma$ 定义了一个作用在 $\mathbb{C}^{873}$ 上的显式量子信道 $\Phi$，其 Choi 秩 $r^*=130$。该信道位于具有有限迹分解的信道的闭包中。

• 内存 vs. 纯度： 对于 $n$ 次使用，如果设备的纯度预算为 $B$（其中 $\log n \le B \le c_0 n$），则内存 $Q$ 必须满足：
  $$Q \ge c \frac{n}{B (\log n)^{2\kappa}}$$
  反之，存在精确服务，其 $Q \le K (n/B) \log(2n/B)$。
• 秩速率（Rank Rate）： 在最优交换速率（“秩速率” $J \le \frac{n}{2} \log r^*$）下，内存规模为 $Q \approx \sqrt{n}$（忽略多项式对数因子），并且可以通过同阶的纯度来实现。
• 意义： 这为“单次使用廉价但多次使用昂贵”的信道建立了明确的内存与纯度权衡。它表明，即使对于处于有限迹信道闭包中的信道，如果纯度较低，重复使用时内存也会随 $n$ 近乎线性地增长。

定理 C：有限环境

信道 $\Phi$ 是可分解的，并且位于具有有限迹分解的信道的闭包中。然而，任何以精度 $u$ 近似 $\Phi$ 的有限维浴（bath）必须满足维度：
$$\dim \ge \exp\left( c u^{-1} / (\log(1/u))^{2\kappa} \right)$$
这量化了 $\Phi$ 与具有有限迹分解的距离，表明随着精度的提高，所需的浴维度呈近指数级增长。

4. 意义与主张

本文声称解决了可纳群的索菲克剖面能有多大这一问题，证明了它可以是近指数级的，接近计数法所能检测到的极限。

在量子信息背景下，本文提供了：

1. 显式示例： 一个具体的量子信道，其连续使用的内存成本很高，这与那些可以用固定有限内存模拟的信道形成对比。
2. 定量界限： 关于内存、纯度和使用次数之间权衡关系的精确渐近界限，显示出内存和纯度以固定速率进行权衡（$Q \cdot B \approx n^{1+o(1)}$）。
3. 与物理学的联系： 其结果意味着，在 $\nu$ 维局部晶格系统中，需要至少 $\delta^{-1/\nu}$ 的时间才能以精度 $\delta$ 产生此类信道。同时指出，虽然自共轭动力学的自主极限通常是“廉价”的，但一个有界的非局部哈密顿量可以产生具有相同高昂内存/纯度权衡的信道。

作者强调，这些结果的“引擎”是单轮定理，它将设备单轮运行的内存与底层群的近似表示联系起来。这使得群的几何性质（交换灯泡的代价）可以直接转化为量子设备的资源约束。

本文并未声称解决了 Brin 群 $3V$ 的索菲克性问题，而是利用 $\Gamma$ 嵌入 $3V$ 的事实，说明如果 $3V$ 是索菲克的，那么它必然拥有具有近指数级剖面的块。类似地，关于 Thompson 群 $V$ 的结果取决于 $F$ 的可纳性。本文对常数保持了审慎的态度，指出多项式对数因子的指数很大，且下界仅在 $n$ 非常大时才会显现。