Scholarlink

<p>Higher-order transformations acting on input quantum channels in an indefinite causal order—such as the quantum switch—cannot be described by quantum circuits using the same number of calls to the input channels. A natural question is whether they can be simulated, i.e., whether their action can be exactly and deterministically reproduced by a quantum circuit with more calls to the input channels. Here, we prove that the quantum switch acting on two <i>n</i>-qubit channels cannot be simulated by any quantum circuit using <i>k</i> calls to one channel and one to the other, if <i>k</i>&#xa0;&lt;&#xa0;2<sup><i>n</i></sup>. This establishes an exponential separation in quantum query complexity between processes with indefinite causal order and quantum circuits. Moreover, even with one extra call to both input channels, such a simulation remains impossible. We further demonstrate the robustness of this separation by extending the result to probabilistic and approximate simulations scenarios.</p>

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

Simulating the quantum switch with quantum circuits is computationally hard

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年11月20日

查看全文
  • Jessica Bavaresco,
  • Hlér Kristjánsson,
  • Mio Murao,
  • Tatsuki Odake,
  • Marco Túlio Quintino,
  • Philip Taranto,
  • Satoshi Yoshida

摘要

Higher-order transformations acting on input quantum channels in an indefinite causal order—such as the quantum switch—cannot be described by quantum circuits using the same number of calls to the input channels. A natural question is whether they can be simulated, i.e., whether their action can be exactly and deterministically reproduced by a quantum circuit with more calls to the input channels. Here, we prove that the quantum switch acting on two n-qubit channels cannot be simulated by any quantum circuit using k calls to one channel and one to the other, if k < 2n. This establishes an exponential separation in quantum query complexity between processes with indefinite causal order and quantum circuits. Moreover, even with one extra call to both input channels, such a simulation remains impossible. We further demonstrate the robustness of this separation by extending the result to probabilistic and approximate simulations scenarios.