算法信息论对于构建NP #P的可能示例的重要性

On the importance of scalability and resource estimation of quantum algorithms for domain sciences

The quantum information science community has seen a surge in new algorithmic developments across scientific domains. These developments have demonstrated polynomial or better improvements in computational and space complexity, incentivizing further research in the field. However, despite recent progress, many works fail to provide quantitative estimates on algorithmic scalability or quantum resources required -- e.g., number of logical qubits, error thresholds, etc. -- to realize the highly sought "quantum advantage." In this paper, we discuss several quantum algorithms and motivate the impor…

利用解纠缠态和数学信息论构造一个非P问题

Using Disentangled States and Algorithmic Information Theory to Construct a Not P Problem

本文利用Chaitin数Ω和N路解纠缠态的一般分解是一个不可约的句子，其系数的数目随N以非多项式的方式增长，构造了一个在P中永远不能解决的问题。

具有静态内部缺陷的量子计算机中的流形算法误差

Manifold algorithmic errors in quantum computers with static internal imperfections

在某些量子计算机体系结构中，不可避免地存在静态内部缺陷和残余相互作用，导致主动算法的内部退相干、耗散和破坏性幺正移位。通过精确的数值模拟，我们确定了约瑟夫森电荷量子比特量子计算机这些错误的相对重要性和起源。特别是，我们确定CNOT门通过原生剩余耦合与其空闲相邻量子位相互作用的动力学行为很像指数衰减机制中的扰动踢顶，其中保真度衰减仅弱依赖于扰动强度。这意味着门错误（无论是酉的还是非酉的）的追溯移除可能是不可能的，并且有效的纠错方案必须与门的子组件的实现同时操作。

纠缠量子态局域隐变量模型的数学构造

Algorithmic construction of local hidden variable models for entangled quantum states

构建纠缠量子态的局域隐变量（LHV）模型是一个挑战，因为该模型应该再现所有可能的局域测量的量子预测。在这里，我们提出了一个简单的方法来建立LHV模型，适用于一般的纠缠态，其中包括在验证的统计结果从一个有限的测量集是本地的，一个简单得多的问题。这导致了一系列的测试，在极限，完全捕获的一组量子态承认一个LHV模型。类似的方法被开发用于构造局部隐藏状态模型。我们用几个例子说明了这些方法的实际意义，并讨论了进一步的应用。

Algorithmic construction of local models for entangled quantum states: optimization for two-qubit states

The correlations of certain entangled quantum states can be fully reproduced via a local model. We discuss in detail the practical implementation of an algorithm for constructing local models for entangled states, recently introduced by Hirsch et al. [Phys. Rev. Lett. 117, 190402 (2016)] and Cavalcanti et al. [Phys. Rev. Lett. 117, 190401 (2016)]. The method allows one to construct both local hidden state (LHS) and local hidden variable (LHV) models, and can be applied to arbitrary entangled states in principle. Here we develop an improved implementation of the algorithm, discussing the optimi…

模式QUBO：3SAT到QUBO变换的算法化构造

Pattern QUBOs: Algorithmic construction of 3SAT-to-QUBO transformations

本文提出模式QUBO概念及算法化方法，用于自动构造新的3SAT到QUBO变换，并引入近似变换以减少变量和量子比特使用，同时保持一定有效性。