<p>The distillability conjecture of two-copy 4 <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10773_2025_6068_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\times\)</EquationSource> </InlineEquation> 4 Werner states is one of the main open problems in quantum information. We prove two special cases of the conjecture by leveraging certain inequalities of eigenvalues and vectorization of matrices. The first case occurs when two 4 <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10773_2025_6068_Article_IEq1.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\times\)</EquationSource> </InlineEquation> 4 matrices <Emphasis Type="BoldItalic">A</Emphasis> and <Emphasis Type="BoldItalic">B</Emphasis> are both unitarily equivalent to block diagonal matrices with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10773_2025_6068_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{2}\)</EquationSource> </InlineEquation> by <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10773_2025_6068_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{2}\)</EquationSource> </InlineEquation> blocks. It is established by leveraging unitary invariance of singular values, decomposition of positive semi-definite matrices and some basic inequalities. The second case occurs when <Emphasis Type="BoldItalic">B</Emphasis> is unitarily equivalent to either <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10773_2025_6068_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{-A}\)</EquationSource> </InlineEquation> or <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10773_2025_6068_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{-A}^{\varvec{T}}\)</EquationSource> </InlineEquation>. It is established by leveraging the norm of commutators and the connection between vectorization of matrices and Kronecker product. In addition, we propose a simplified version of the distillability conjecture when both <Emphasis Type="BoldItalic">A</Emphasis> and <Emphasis Type="BoldItalic">B</Emphasis> are matrices with distinct eigenvalues.</p>

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

On the Distillability Conjecture in Matrix Theory

  • Saiqi Liu,
  • Lin Chen

摘要

The distillability conjecture of two-copy 4 \(\times\) 4 Werner states is one of the main open problems in quantum information. We prove two special cases of the conjecture by leveraging certain inequalities of eigenvalues and vectorization of matrices. The first case occurs when two 4 \(\times\) 4 matrices A and B are both unitarily equivalent to block diagonal matrices with \(\varvec{2}\) by \(\varvec{2}\) blocks. It is established by leveraging unitary invariance of singular values, decomposition of positive semi-definite matrices and some basic inequalities. The second case occurs when B is unitarily equivalent to either \(\varvec{-A}\) or \(\varvec{-A}^{\varvec{T}}\) . It is established by leveraging the norm of commutators and the connection between vectorization of matrices and Kronecker product. In addition, we propose a simplified version of the distillability conjecture when both A and B are matrices with distinct eigenvalues.