关于通用量子计算机的评注

根据Deutsch，通用量子图灵机(UQTM)通过对总系统重复固定酉变换，能将任意数据态上的任意酉变换，通过包含程序作为输入态的另一部分来实现。我们注意到，若如此UQTM确实存在，其程序态依赖于数据态，且所规定的停机方案确实有效，则如Myers所指出的，停机量子比特与其他量子比特间将无纠缠。然而，若要求程序独立于数据，则出现相关纠缠，且无论是否监测停机量子比特都有问题。我们还注意到，对于Nielson与Chuang所讨论的确定性可编程量子门阵列，若允许程序依赖于数据态，则其存在性未被排除。另一方面，若UQTM存在，它可由重复固定门阵列的操作来模拟。但更重要的是，我们观察到Deutsch的UQTM是否存在、以及关键拼接方案（停机方案为其特例）是否有效，实际上仍属开放问题。