无限电路的限制
Restrictions of Infinite Circuits
- Department of Mathematics, UCLA（加州大学洛杉矶分校数学系）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文通过无限电路与Borel集的联系，提出限制引理，以纯组合方式证明Borel层级定理及类Ramsey性质，并讨论其局限。
AI中文摘要：
我们通过Borel集与无限电路之间的联系，提出了一种新的Borel秩下界方法。我们证明了Håstad切换引理的一个无限类比，称为“限制引理”，该引理表明，通过固定某些输入的值，我们可以同时降低一个Borel函数的复杂度，同时大体上保持另一个函数的复杂度。这一结果提供了Borel层级定理的一个纯组合证明，以及Borel集和函数的各种类Ramsey性质的简单证明。我们证明了限制引理是精确的，并讨论了在Borel函数和$\mathsf{AC}^0$电路族的背景下，展示限制技术局限性的反例。
英文摘要：
We present a new approach to lower bounds on Borel rank via a connection between Borel sets and infinite circuits. We prove an infinite analog to Håstad's switching lemma called the \emph{restriction lemma}, which shows that by fixing the values of some inputs, we can simultaneously reduce the complexity of one Borel function while largely maintaining the complexity of another. This result provides a purely combinatorial proof of the Borel hierarchy theorem, as well as simple proofs of various Ramsey-like properties of Borel sets and functions. We prove that the restriction lemma is sharp and also discuss counterexamples demonstrating the limitations of the restriction technique, in the context of both Borel functions and $\mathsf{AC}^0$ circuit families.
