量子科技中心_量科网

本文识别出，在严格截断点下，精确概率模拟代价是有限自动机量子优势的天然定量度量。针对两个代表性模型，本文给出了精确的模拟律。一个具有c个经典状态和q维量子寄存器的一向有限自动机，其精确概率模拟代价为Θ(c q²)，而一个n维“测量一次”型一向量子有限自动机的最坏情况代价为Θ(n²)。证明过程建立了一个“制备-测试”框架，其中前缀生成相关的实算子自由度，后缀将其转化为严格截断点测试。同样的障碍通过有限符号秩矩阵重新表述，阐明了Forster谱方法的作用。结合周围的双向分离结果，这些结论给出了有限自动机量子优势的一个清晰层级结构。