超立方体、超平面与原子概念学习中由约束诱导的复杂度崩溃
Hypercubes, Hyperplanes, and Constraint-Induced Complexity Collapse in Atomic Concept Learning
查看机构详情
- National University, San Diego（圣地亚哥国立大学）
机构由 AI 辅助整理，请以论文原文为准。
浏览论文内容
中文总结 AI 辅助
本文通过超立方体与超平面几何研究原子概念学习，发现除全对角线外超平面的复杂度可坍缩为有限类，明确复杂度局域化特性，阐释了归约机制并提出结构化分类的现代解读。
中文摘要 AI 辅助
我们通过基础实例的超立方体与超平面几何，重新研究高阶原子概念学习。我们的出发点是，r维基础原子所处的环境超立方体并非结构均匀，其逻辑复杂度由超平面组织：除全对角线外的每条超平面都会坍缩为有限多个初等等价类，且该界限与项深度无关；而全对角线是特例，其类数量无界增长。这种不对称性不仅是几何层面的，还反映了概念本身的归约理论结构。基于作者前期工作提出的高维框架，我们通过典范简单概念、极小序与代表性归约重新阐释这些结果，得到高维中超平面行为的分类，并表明复杂度是局域化的，而非均匀分布在实例空间中。本文包含完全推导的二元情形、显式处理的三元超立方体，以及驱动坍缩的归约机制的详细说明。三维情形已展现正交族、部分对角线与特例全对角线的核心现象。这种几何-逻辑视角明确了原子概念学习中复杂度的集中位置，并提出了基于约束假设空间与结构化分类的现代阐释。
英文摘要
We revisit higher-arity atomic concept learning through the geometry of hypercubes and hyperplanes of ground instances. Our starting point is the observation that the ambient r-dimensional hypercube of ground atoms is not structurally uniform. Its logical complexity is organized by hyperplanes: every hyperplane other than the full diagonal collapses into finitely many elementary-equivalence classes, with a bound independent of the term depth, while the full diagonal is exceptional and its class count grows without bound. This asymmetry is not merely geometric. It reflects the reduction-theoretic structure of the concepts themselves. Building on a higher-dimensional framework developed in the author's earlier work, we reinterpret these results through canonical simple concepts, minimal orderings, and representative reductions. This yields a taxonomy of hyperplane behavior in higher dimensions and shows that complexity is localized rather than spread uniformly through the instance space. The paper includes a fully worked binary case, an explicit treatment of the ternary hypercube, and an unpacked account of the reduction machinery that drives the collapse. The three-dimensional case already exhibits the essential phenomenon of orthogonal families, partial diagonals, and the exceptional full diagonal. This geometric-logical perspective clarifies where complexity is concentrated in atomic concept learning and suggests a modern interpretation in terms of constrained hypothesis spaces and structured classification.
