四维空间中的Kochen-Specker集
Kochen-Specker sets in four-dimensional spaces
AI总结：
首次在四维空间R^4中解析构造出无限的Kochen-Specker集族，并提供了简短的无计算机证明，区别于以往依赖计算机搜索的方法。
摘要：
我们首次在固定维度的空间，即R^4中，构造了一个无限的Kochen-Specker集族。以往大多数Kochen-Specker集的构造都基于计算机搜索，而我们的构造是解析的，并附带一个简短的无计算机证明。
英文摘要：
For the first time we construct an infinite family of Kochen-Specker sets in a space of fixed dimension, namely in R^4. While most of the previous constructions of Kochen-Specker sets have been based on computer search, our construction is analytical and it comes with a short, computer-free proof.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
