我们还证明了更严格的 bTC 0 ( k ) 电路大小下限,这些下限是确定性解决关系问题所必需的,我们利用这些下限显著减少这种形式量子优势的潜在展示所需的估计资源需求。bTC 0 ( k ) 电路可以计算某些类的多项式阈值函数 (PTF),而这些类反过来可以作为神经网络的自然模型,并表现出增强的表达力和计算能力。此外,对于足够大的 k 值,bTC 0 ( k ) 包含 TC 0 作为子类。主要挑战在于建立经典相关性下限,以及设计获胜概率存在量子经典差距的非局部游戏,以便超越量子位到更高维度。我们通过为多输出 bTC 0 ( k ) 电路开发新的、更严格的多切换引理来应对前一个挑战。我们通过分析一类新的非局部博弈来解决后者,这些博弈以 mod p 计算的方式定义,其特点是经典成功概率与量子成功概率之间存在指数差异。这些技术工具可能具有更普遍和独立的兴趣。
主要关键词