<p>The quantum central limit theorem for bosonic quantum systems states that the sequence of states <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="29" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho ^{\boxplus n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>ρ</mi> <mrow> <mo>⊞</mo> <mi>n</mi> </mrow> </msup> </math></EquationSource> </InlineEquation> obtained from the <i>n</i>-fold convolution of a centered quantum state <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> </InlineEquation> converges to a quantum Gaussian state <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho _\textrm{G}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ρ</mi> <mtext>G</mtext> </msub> </math></EquationSource> </InlineEquation> that has the same first and second moments as <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> </InlineEquation>. In this paper, we contribute to resolving the problem of finding the optimal rate of convergence for this quantum central limit theorem. We first show that if an <i>m</i>-mode quantum state has a finite moment of order <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(\max \{3, 2m\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">max</mo> <mo stretchy="false">{</mo> <mn>3</mn> <mo>,</mo> <mn>2</mn> <mi>m</mi> <mo stretchy="false">}</mo> </mrow> </math></EquationSource> </InlineEquation>, then we have <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq6.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="177" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Vert \rho ^{\boxplus n} - \rho _\textrm{G}\Vert _1={\mathcal {O}}(n^{-1/2})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">‖</mo> </mrow> <msup> <mi>ρ</mi> <mrow> <mo>⊞</mo> <mi>n</mi> </mrow> </msup> <mo>-</mo> <msub> <mi>ρ</mi> <mtext>G</mtext> </msub> <msub> <mrow> <mo stretchy="false">‖</mo> </mrow> <mn>1</mn> </msub> <mo>=</mo> <mi mathvariant="script">O</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mo>-</mo> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We also introduce a notion of Poincaré inequality for quantum states and show that if <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq2.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\rho \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ρ</mi> </math></EquationSource> </InlineEquation> satisfies this Poincaré inequality, then <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="23_2025_1609_Article_IEq8.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="155" /> </InlineMediaObject> <EquationSource Format="TEX">\(D(\rho ^{\boxplus n}\Vert \rho _\textrm{G})= {\mathcal {O}}(n^{-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>D</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>ρ</mi> <mrow> <mo>⊞</mo> <mi>n</mi> </mrow> </msup> <mo stretchy="false">‖</mo> <msub> <mi>ρ</mi> <mtext>G</mtext> </msub> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi mathvariant="script">O</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>n</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. By giving an explicit example, we verify that both these convergence rates are optimal.</p>

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

Toward Optimal Convergence Rates for the Quantum Central Limit Theorem

  • Salman Beigi,
  • Hami Mehrabi

摘要

The quantum central limit theorem for bosonic quantum systems states that the sequence of states \(\rho ^{\boxplus n}\) ρ n obtained from the n-fold convolution of a centered quantum state \(\rho \) ρ converges to a quantum Gaussian state \(\rho _\textrm{G}\) ρ G that has the same first and second moments as \(\rho \) ρ . In this paper, we contribute to resolving the problem of finding the optimal rate of convergence for this quantum central limit theorem. We first show that if an m-mode quantum state has a finite moment of order \(\max \{3, 2m\}\) max { 3 , 2 m } , then we have \(\Vert \rho ^{\boxplus n} - \rho _\textrm{G}\Vert _1={\mathcal {O}}(n^{-1/2})\) ρ n - ρ G 1 = O ( n - 1 / 2 ) . We also introduce a notion of Poincaré inequality for quantum states and show that if \(\rho \) ρ satisfies this Poincaré inequality, then \(D(\rho ^{\boxplus n}\Vert \rho _\textrm{G})= {\mathcal {O}}(n^{-1})\) D ( ρ n ρ G ) = O ( n - 1 ) . By giving an explicit example, we verify that both these convergence rates are optimal.