We study the quantum action-dependent channel. The model can be viewed as a quantum analog of the classical action-dependent channel model. In this setting, the communication channel has two inputs: Alice's transmission and the input environment. The action-dependent mechanism enables the transmitter to influence the channel's environment through an action channel. Specifically, Alice encodes her message into a quantum action, which subsequently affects the environment state. For example, a quantum measurement at the encoder can induce a state collapse of the environment. In addition, Alice has access to side information. Unlike the classical model, she cannot have a copy of the environment state due to the no-cloning theorem. Instead, she shares entanglement with this environment. We establish an achievable communication rate for reliable message transmission via the quantum action-dependent channel, thereby extending the classical action-dependent framework to the quantum domain.
论文ID : 2510.09834标题 : Quantum Action-Dependent Channels作者 : Michael Korenberg, Uzi Pereg (Technion - Israel Institute of Technology)分类 : quant-ph (Quantum Physics)发表时间 : 2025年10月10日 (arXiv预印本)论文链接 : https://arxiv.org/abs/2510.09834 本文研究量子动作依赖信道(quantum action-dependent channel),这是经典动作依赖信道模型的量子类比。在该设置中,通信信道有两个输入:Alice的传输和输入环境。动作依赖机制使发送方能够通过动作信道影响信道环境。具体而言,Alice将消息编码为量子动作,随后影响环境状态。例如,编码器处的量子测量可以诱导环境的状态坍缩。此外,Alice可以访问边信息。与经典模型不同,由于不可克隆定理,她无法拥有环境状态的副本,而是与环境共享纠缠。我们为通过量子动作依赖信道的可靠消息传输建立了可达通信速率,从而将经典动作依赖框架扩展到量子领域。
本文要解决的核心问题是:如何在量子通信系统中实现发送方对信道环境的主动控制,并建立相应的通信容量界限。
理论意义 :将经典信息论中的动作依赖信道概念扩展到量子领域,填补了量子信息理论的重要空白实际应用 :在量子通信、量子计量学和量子传感等领域具有重要应用价值技术挑战 :量子系统的独特性质(如不可克隆定理、纠缠特性)使得经典方法无法直接应用经典框架不适用 :经典动作依赖信道假设可以完美复制信道参数,但量子状态不可克隆量子边信息建模 :需要通过纠缠而非复制来建模边信息分析复杂性 :量子系统的动作依赖性增加了容量分析的复杂度量子技术的发展需要更深入理解量子通信系统中发送方主动控制信道环境的能力,这对于设计高效的量子通信协议至关重要。
首次提出量子动作依赖信道模型 :将Weissman的经典动作依赖信道框架扩展到量子领域建立可达速率界限 :推导出量子动作依赖信道的可达通信速率公式开发单次编码方案 :提出基于量子单次信息论方法的编码策略理论分析框架 :建立了处理量子动作依赖性的数学工具和分析方法输入 :
消息 M ∈ { 1 , 2 , … , M } M \in \{1, 2, \ldots, M\} M ∈ { 1 , 2 , … , M } 量子动作信道 T G → S S 0 T_{G \rightarrow SS_0} T G → S S 0 量子通信信道 N S A → B N_{SA \rightarrow B} N S A → B 输出 :
约束条件 :
平均错误概率 p ˉ e ( n ) ≤ ϵ \bar{p}_e^{(n)} \leq \epsilon p ˉ e ( n ) ≤ ϵ 信道使用次数为 n n n 量子动作依赖信道系统包含三个关键组件:
动作编码器 :Alice将消息 m m m 编码为量子动作状态 ρ G ( m ) \rho_G^{(m)} ρ G ( m ) 动作信道 :T G → S S 0 T_{G \rightarrow SS_0} T G → S S 0 产生环境系统 S S S 和边信息系统 S 0 S_0 S 0 传输编码器 :基于边信息 S 0 S_0 S 0 生成信道输入 A A A 消息 m → 动作状态 ρ_G^(m) → 动作信道 T_{G→SS_0} → (环境 S, 边信息 S_0)
↓
边信息 S_0 → 传输编码器 E_{S_0→A}^(m) → 信道输入 A → 通信信道 N_{SA→B} → 输出 B
动作信道的输出:
ρ S S 0 ( m ) = T G → S S 0 ⊗ n ( ρ G n ( m ) ) \rho_{SS_0}^{(m)} = T_{G \rightarrow SS_0}^{\otimes n}(\rho_{G^n}^{(m)}) ρ S S 0 ( m ) = T G → S S 0 ⊗ n ( ρ G n ( m ) )
传输编码后的状态:
ρ S A ( m ) = id S ⊗ E S 0 → A ( m ) ( ρ S S 0 ( m ) ) \rho_{SA}^{(m)} = \text{id}_S \otimes E_{S_0 \rightarrow A}^{(m)}(\rho_{SS_0}^{(m)}) ρ S A ( m ) = id S ⊗ E S 0 → A ( m ) ( ρ S S 0 ( m ) )
Bob接收的状态:
ρ B ( m ) = N S A → B ⊗ n ( ρ S A ( m ) ) \rho_B^{(m)} = N_{SA \rightarrow B}^{\otimes n}(\rho_{SA}^{(m)}) ρ B ( m ) = N S A → B ⊗ n ( ρ S A ( m ) )
与经典模型不同,量子版本使用纠缠来建模边信息:
经典:Alice拥有信道参数的完美副本 量子:Alice与环境系统 S S S 通过系统 S 0 S_0 S 0 共享纠缠 采用量子单次信息论技术,直接分析有限次信道使用的错误概率,而非依赖渐近论证。
使用pinching映射处理量子态的非对易性:
E A ( B ) : = ∑ i Π i B Π i E_A(B) := \sum_i \Pi_i B \Pi_i E A ( B ) := ∑ i Π i B Π i
其中 { Π i } \{\Pi_i\} { Π i } 是算子 A A A 的本征空间投影算子。
本文主要进行理论分析,没有传统意义上的实验设置,而是通过数学证明建立结果。
可达速率 :R low = I ( V U ; B ) ρ − I ( V ; S ∣ U ) ρ R_{\text{low}} = I(VU;B)_\rho - I(V;S|U)_\rho R low = I ( V U ; B ) ρ − I ( V ; S ∣ U ) ρ 平均错误概率 :p ˉ e ( n ) = 1 − 1 M ∑ m = 1 M Tr [ D m ρ B ( m ) ] \bar{p}_e^{(n)} = 1 - \frac{1}{M}\sum_{m=1}^M \text{Tr}[D_m \rho_B^{(m)}] p ˉ e ( n ) = 1 − M 1 ∑ m = 1 M Tr [ D m ρ B ( m ) ] Sandwiched Rényi散度 :D ~ α ( ρ ∥ σ ) \tilde{D}_\alpha(\rho \| \sigma) D ~ α ( ρ ∥ σ ) 量子互信息 :I ( A ; B ) ρ = H ( ρ A ) + H ( ρ B ) − H ( ρ A B ) I(A;B)_\rho = H(\rho_A) + H(\rho_B) - H(\rho_{AB}) I ( A ; B ) ρ = H ( ρ A ) + H ( ρ B ) − H ( ρ A B ) 纯化距离 :P ( ρ , σ ) = 1 − F 2 ( ρ , σ ) P(\rho, \sigma) = \sqrt{1 - F^2(\rho, \sigma)} P ( ρ , σ ) = 1 − F 2 ( ρ , σ ) 量子动作依赖信道的可达速率为:
R low = I ( V U ; B ) ρ − I ( V ; S ∣ U ) ρ R_{\text{low}} = I(VU;B)_\rho - I(V;S|U)_\rho R low = I ( V U ; B ) ρ − I ( V ; S ∣ U ) ρ
其中优化变量包括:
经典辅助变量对 ( V , U ) ∼ p V U (V,U) \sim p_{VU} ( V , U ) ∼ p V U 状态集合 { σ G u } \{\sigma_G^u\} { σ G u } 编码信道 F S 0 → A v F_{S_0 \rightarrow A}^v F S 0 → A v 对于 α ∈ ( 0 , 1 2 ) \alpha \in (0, \frac{1}{2}) α ∈ ( 0 , 2 1 ) ,平均错误概率满足:
E C [ p ˉ e ( 1 ) ] ≤ 12 ⋅ ν 1 α 2 α [ R + R S − D ~ 1 − α ( ρ V U B ∥ ρ V U ⊗ ρ B ) ] + 2 α ν 2 α 2 α R S 2 α D ~ 1 + α ( ρ V U S ∥ ρ V − U − S ) E_C[\bar{p}_e^{(1)}] \leq 12 \cdot \nu_1^\alpha 2^{\alpha[R+R_S-\tilde{D}_{1-\alpha}(\rho_{VUB}\|\rho_{VU}\otimes\rho_B)]} + \frac{2}{\alpha}\frac{\nu_2^\alpha}{2^{\alpha R_S}}2^{\alpha\tilde{D}_{1+\alpha}(\rho_{VUS}\|\rho_{V-U-S})} E C [ p ˉ e ( 1 ) ] ≤ 12 ⋅ ν 1 α 2 α [ R + R S − D ~ 1 − α ( ρ V U B ∥ ρ V U ⊗ ρ B )] + α 2 2 α R S ν 2 α 2 α D ~ 1 + α ( ρ V U S ∥ ρ V − U − S )
当 n → ∞ n \to \infty n → ∞ 且 α → 0 \alpha \to 0 α → 0 时:
Sandwiched Rényi散度收敛到量子相对熵 错误概率趋于零的条件简化为速率约束 动作依赖的优势 :发送方可以通过选择不同动作影响信道环境量子特性的影响 :纠缠边信息提供了经典系统无法实现的能力容量界限的结构 :可达速率具有类似于经典Gel'fand-Pinsker信道的结构Weissman (2010) :首次提出经典动作依赖信道模型应用领域 :缺陷存储器、磁记录重写、多用户通信Dupuis (2009) :量子Gel'fand-Pinsker信道容量Anshu等 (2020) :量子窃听信道的安全通信Pereg (2022) :带参数估计的量子通信相比现有工作,本文首次将动作依赖性引入量子通信,允许发送方主动控制信道环境,而非被动适应固定的量子环境。
成功扩展 :将经典动作依赖信道框架成功扩展到量子领域可达速率 :建立了具体的可达速率公式和证明编码策略 :提供了可行的量子编码方案单向界限 :目前只建立了可达性结果,未给出匹配的上界复杂度 :量子编码和解码的实际复杂度较高实现挑战 :需要精确的量子态制备和测量技术容量定理 :寻找匹配的上界以确定精确容量多用户扩展 :推广到量子多址接入和广播信道实际应用 :探索在量子传感和量子网络中的应用理论创新 :首次将动作依赖概念引入量子信息论,具有重要理论价值技术严谨 :使用先进的量子单次信息论方法,证明严密框架完整 :从模型定义到编码方案再到性能分析,形成完整体系写作清晰 :技术细节表述准确,逻辑结构清晰实用性限制 :理论结果距离实际应用还有较大距离优化复杂 :可达速率的优化涉及多个变量,计算复杂数值示例缺失 :缺乏具体的数值例子来说明理论结果学术贡献 :为量子信息论开辟新的研究方向理论基础 :为未来的量子通信协议设计提供理论基础技术推动 :推动量子编码理论的发展量子网络 :分布式量子计算和通信系统量子传感 :需要主动控制环境的量子测量系统量子密码 :安全量子通信协议设计本文引用了42篇相关文献,主要包括:
经典信息论基础文献(Shannon, Gel'fand-Pinsker, Costa等) 量子信息论核心文献(量子信道容量、量子编码理论) 动作依赖信道相关工作(Weissman及后续研究) 量子单次信息论技术文献 总结 :这是一篇高质量的理论论文,成功将经典动作依赖信道概念扩展到量子领域,建立了完整的理论框架。虽然距离实际应用还有距离,但为量子信息论提供了重要的理论贡献,具有重要的学术价值和潜在影响力。