[论文解读] Structure of Resource Theory of Block Coherence

Prabir Kumar Dey, Dipayan Chakraborty+4 more|arXiv (Cornell University)|Aug 5, 2019

Photoreceptor and optogenetics research参考文献 6被引用 5

一句话总结

本文在POVM基态相干性资源理论中引入了块非相干操作（BIO）、严格块非相干操作（SBIO）以及物理块非相干操作（PBIO）。提供了这些操作的解析Kraus算符表示，并推导出所需Kraus算符最大数量的上界，从而实现了在块对角框架下对自由操作的表征，适用于态转换准则与协议设计。

ABSTRACT

Emerging from the superposition principle, the resource theory of coherence plays a crucial role in many information-processing tasks. Recently, a generalization to this resource theory was investigated with respect to arbitrary positive operator valued measurement (POVM) based on Naimark's dilation theorem. Here, we introduce the notion of Block Incoherent Operations (BIO), Strictly Block Incoherent Operations (SBIO) and Physically Block Incoherent Operations (PBIO) and provide an analytical expression for Kraus operators of these operations to have a better understanding of the resource theory of block coherence which in turn gives a more clear picture of POVM based resource theory of coherence. A dilation theorem corresponding to SBIO has been introduced to enlighten the proper physical interpretation of this operation. These free operations will be helpful in finding out the conditions of state transformations and could be implemented in various protocols. For a transparent view of this resource theory, we have successfully introduced the concept of state transformation under SBIO.

研究动机与目标

• 将相干性资源理论的范畴从标准非相干操作推广至块结构自由操作，构建POVM基框架下的理论体系。
• 为BIO、SBIO与PBIO提供解析的Kraus算符表示，扩展标准非相干操作已知结果。
• 推导BIO与SBIO所需Kraus算符最大数量的上界，实现对这些操作的实际表征。
• 通过Neimark扩展与块去极化操作，建立块形式与现有自由操作类（如IO、SIO、PIO）之间的联系。
• 为在块结构POVM框架下进一步研究自由操作类（如DIO与TIO）奠定基础。

提出的方法

• 将块非相干操作（BIO）定义为CPTP映射，其每个Kraus算符在块对角结构的列划分中至多有一个非零块。
• 引入严格块非相干操作（SBIO），要求在行与列划分中至多有一个非零块，将SIO推广至块形式。
• 提出物理块非相干操作（PBIO）作为PIO的物理动机扩展，其Kraus算符表示为酉算符与非相干投影算符的乘积。
• 利用Neimark扩展将POVM基测量与标准量子操作关联，从而在POVM框架中定义自由操作。
• 通过列与行划分约束，利用递归关系推导BIO与SBIO的Kraus算符数量上界，以 $ C_{k+1} = 1 $ 作为初始条件。
• 通过反向代入与非零块配置的组合求和，计算Kraus算符的最大数量。

实验结果

研究问题

• RQ1 如何在POVM基框架下推广非相干操作，以实现对相干性更基础的处理？
• RQ2 BIO、SBIO与PBIO在块对角结构下的解析Kraus算符形式为何？
• RQ3 在块形式下，BIO与SBIO所需Kraus算符数量的上界可如何确定？
• RQ4 所提出的块操作在投影算符秩为一的极限下，如何与标准自由操作类（IO、SIO、PIO）关联？
• RQ5 是否可将DIO或TIO等进一步的自由操作类扩展至POVM基框架下的块形式？

主要发现

• BIO的Kraus算符在每个列划分中至多有一个非零块，推广了标准IO的列稀疏性条件。
• SBIO的Kraus算符在每个行与列划分中至多有一个非零块，将SIO的行与列稀疏性推广至块形式。
• 对于PBIO，其Kraus算符形式为 $ K_j = U_j P_j $，其中 $ P_j $ 为非相干投影算符，$ U_j $ 为酉算符，推广了PIO的结构。
• BIO所需Kraus算符最大数量的上界为 $ \boxed{ \textstyle\frac{1}{2} \bigg( \textstyle\frac{1}{2} \bigg) } $，通过块配置的递归求和推导得出。
• 对于SBIO，其Kraus算符最大数量的上界为 $ \boxed{ \textstyle\frac{1}{2} \bigg( \textstyle\frac{1}{2} \bigg) } $，通过跨划分的非零块排列组合求和得出。
• 当块去极化映射使用秩一投影算符时，该框架可恢复标准IO与SIO，确认与现有理论的一致性。