<p>The von Neumann entropy of an <i>n</i>-partite system <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(A_1^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mn>1</mn> <mi>n</mi> </msubsup> </math></EquationSource> </InlineEquation> given a system <i>B</i> can be written as the sum of the von Neumann entropies of the individual subsystems <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(A_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> given <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(A_1^{k-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mn>1</mn> <mrow> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </msubsup> </math></EquationSource> </InlineEquation> and <i>B</i>. While it is known that such a chain rule does not hold for the smooth min-entropy, we prove a counterpart of this for a variant of the smooth min-entropy, which is equal to the conventional smooth min-entropy up to a constant. This enables us to lower bound the smooth min-entropy of an <i>n</i>-partite system in terms of, roughly speaking, equally strong entropies of the individual subsystems. We call this a <i>universal chain rule</i> for the smooth min-entropy, since it is applicable for all values of <i>n</i>. Using duality, we also derive a similar relation for the smooth max-entropy. Our proof utilises the entropic triangle inequality based technique developed in Marwah and Dupuis (Commun Math Phys 405(9):211, 2024. <a href="https://doi.org/10.1007/s00220-024-05074-8">https://doi.org/10.1007/s00220-024-05074-8</a>) for analysing approximation chains. Additionally, we also prove an approximate version of the entropy accumulation theorem, which significantly relaxes the conditions required on the state to bound its smooth min-entropy. In particular, it does not require the state to be produced through a sequential process like previous entropy accumulation type bounds. In our companion paper Marwah and Dupuis (Security proof for parallel DIQKD, 2025. <a href="https://arxiv.org/abs/2507.03991">https://arxiv.org/abs/2507.03991</a>), we use it to prove the security of parallel device independent quantum key distribution.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Universal Chain Rules from Entropic Triangle Inequalities

  • Ashutosh Marwah,
  • Frédéric Dupuis

摘要

The von Neumann entropy of an n-partite system \(A_1^n\) A 1 n given a system B can be written as the sum of the von Neumann entropies of the individual subsystems \(A_k\) A k given \(A_1^{k-1}\) A 1 k - 1 and B. While it is known that such a chain rule does not hold for the smooth min-entropy, we prove a counterpart of this for a variant of the smooth min-entropy, which is equal to the conventional smooth min-entropy up to a constant. This enables us to lower bound the smooth min-entropy of an n-partite system in terms of, roughly speaking, equally strong entropies of the individual subsystems. We call this a universal chain rule for the smooth min-entropy, since it is applicable for all values of n. Using duality, we also derive a similar relation for the smooth max-entropy. Our proof utilises the entropic triangle inequality based technique developed in Marwah and Dupuis (Commun Math Phys 405(9):211, 2024. https://doi.org/10.1007/s00220-024-05074-8) for analysing approximation chains. Additionally, we also prove an approximate version of the entropy accumulation theorem, which significantly relaxes the conditions required on the state to bound its smooth min-entropy. In particular, it does not require the state to be produced through a sequential process like previous entropy accumulation type bounds. In our companion paper Marwah and Dupuis (Security proof for parallel DIQKD, 2025. https://arxiv.org/abs/2507.03991), we use it to prove the security of parallel device independent quantum key distribution.