<p>Distributed inner product estimation (DIPE) is a fundamental task in quantum information, aiming to estimate the inner product between two unknown quantum states prepared on distributed quantum platforms. Existing rigorous sample complexity analyses are limited to unitary 4-designs, which pose significant practical challenges for near-term quantum devices. This work addresses this challenge by exploring DIPE with structured random circuits. We first establish that DIPE with an arbitrary unitary 2-design ensemble achieves an average sample complexity of <InlineEquation ID="IEq1"><EquationSource Format="TEX">\({\mathcal{O}}(\sqrt{{2}^{n}})\)</EquationSource><EquationSource Format="MATHML"><math><mrow><mi class="MJX-tex-caligraphic" mathvariant="script">O</mi><mo>(</mo><msqrt><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup></mrow></msqrt><mo>)</mo></mrow></math></EquationSource></InlineEquation>, where <i>n</i> is the number of qubits. We then analyze ensembles below unitary 2-designs—specifically, the brickwork and local unitary 2-design ensembles—demonstrating average sample complexities of <InlineEquation ID="IEq2"><EquationSource Format="TEX">\({\mathcal{O}}(\sqrt{2.1{8}^{n}})\)</EquationSource><EquationSource Format="MATHML"><math><mrow><mi class="MJX-tex-caligraphic" mathvariant="script">O</mi><mo>(</mo><msqrt><mrow><mn>2</mn><mo>.</mo><mn>1</mn><msup><mrow><mn>8</mn></mrow><mrow><mi>n</mi></mrow></msup></mrow></msqrt><mo>)</mo></mrow></math></EquationSource></InlineEquation> and <InlineEquation ID="IEq3"><EquationSource Format="TEX">\({\mathcal{O}}(\sqrt{2.{5}^{n}})\)</EquationSource><EquationSource Format="MATHML"><math><mrow><mi class="MJX-tex-caligraphic" mathvariant="script">O</mi><mo>(</mo><msqrt><mrow><mn>2</mn><mo>.</mo><msup><mrow><mn>5</mn></mrow><mrow><mi>n</mi></mrow></msup></mrow></msqrt><mo>)</mo></mrow></math></EquationSource></InlineEquation>, respectively. Furthermore, we analyze the state-dependent sample complexity. For brickwork ensembles, we develop a tensor network approach to compute the asymptotic state-dependent sample complexity, showing that it converges to <InlineEquation ID="IEq4"><EquationSource Format="TEX">\({\mathcal{O}}(\sqrt{2.1{8}^{n}})\)</EquationSource><EquationSource Format="MATHML"><math><mrow><mi class="MJX-tex-caligraphic" mathvariant="script">O</mi><mo>(</mo><msqrt><mrow><mn>2</mn><mo>.</mo><mn>1</mn><msup><mrow><mn>8</mn></mrow><mrow><mi>n</mi></mrow></msup></mrow></msqrt><mo>)</mo></mrow></math></EquationSource></InlineEquation> as the circuit depth increases. Remarkably, we find that DIPE with the global Clifford ensemble requires <InlineEquation ID="IEq5"><EquationSource Format="TEX">\(\Theta (\sqrt{{2}^{n}})\)</EquationSource><EquationSource Format="MATHML"><math><mrow><mi mathvariant="normal">Θ</mi><mo>(</mo><msqrt><mrow><msup><mrow><mn>2</mn></mrow><mrow><mi>n</mi></mrow></msup></mrow></msqrt><mo>)</mo></mrow></math></EquationSource></InlineEquation> copies, matching the performance of unitary 4-designs. For both local and global Clifford ensembles, we find that the efficiency can be further enhanced by the nonstabilizerness of states. Additionally, for approximate unitary 4-designs, the performance exponentially approaches that of exact unitary 4-designs as the circuit depth increases. Our results provide theoretically guaranteed methods for implementing DIPE with experimentally feasible unitary ensembles.</p>

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

Distributed quantum inner product estimation with structured random circuits

  • Congcong Zheng,
  • Kun Wang,
  • Xutao Yu,
  • Ping Xu,
  • Zaichen Zhang

摘要

Distributed inner product estimation (DIPE) is a fundamental task in quantum information, aiming to estimate the inner product between two unknown quantum states prepared on distributed quantum platforms. Existing rigorous sample complexity analyses are limited to unitary 4-designs, which pose significant practical challenges for near-term quantum devices. This work addresses this challenge by exploring DIPE with structured random circuits. We first establish that DIPE with an arbitrary unitary 2-design ensemble achieves an average sample complexity of \({\mathcal{O}}(\sqrt{{2}^{n}})\)O(2n), where n is the number of qubits. We then analyze ensembles below unitary 2-designs—specifically, the brickwork and local unitary 2-design ensembles—demonstrating average sample complexities of \({\mathcal{O}}(\sqrt{2.1{8}^{n}})\)O(2.18n) and \({\mathcal{O}}(\sqrt{2.{5}^{n}})\)O(2.5n), respectively. Furthermore, we analyze the state-dependent sample complexity. For brickwork ensembles, we develop a tensor network approach to compute the asymptotic state-dependent sample complexity, showing that it converges to \({\mathcal{O}}(\sqrt{2.1{8}^{n}})\)O(2.18n) as the circuit depth increases. Remarkably, we find that DIPE with the global Clifford ensemble requires \(\Theta (\sqrt{{2}^{n}})\)Θ(2n) copies, matching the performance of unitary 4-designs. For both local and global Clifford ensembles, we find that the efficiency can be further enhanced by the nonstabilizerness of states. Additionally, for approximate unitary 4-designs, the performance exponentially approaches that of exact unitary 4-designs as the circuit depth increases. Our results provide theoretically guaranteed methods for implementing DIPE with experimentally feasible unitary ensembles.