不可能由度数：上同调与双稳视觉悖论
Impossible by Degrees: Cohomology & Bistable Visual Paradox
AI总结：
本文通过上同调理论分析双稳元素构建的视觉悖论，揭示从歧义到不可能的层次结构，并引入动画技术揭示单值性。
摘要：
Penrose三角形、楼梯以及相关的"不可能物体"长期以来被认为与第一上同调$H^1$有关：局部一致解释在环路上的障碍。本文为一类视觉悖论开发了上同调层次结构。限制在由双稳元素构建的系统中——如Necker立方体的前后方向、齿轮的顺时针/逆时针旋转或菱形拼接角的凸/凹解释——允许在整个过程中使用$\mathbb{Z}_2$系数，将障碍理论简化为奇偶算术。这揭示了从$H^0$到$H^2$的悖论类别层次结构，每一度都通过相对/绝对的区别细化，从歧义通过不可能到不可接触。离散斯托克斯定理作为核心工具出现：在每一度，相对上同调的连接同态将边界数据提升为内部障碍，为悖论上升层次结构提供统一机制。三个典型的系统——Necker立方体场、齿轮啮合和菱形拼接——被详细研究。在整个过程中，我们配对上同调与图像和动画。为了阐明底层结构，我们引入了"单值单向孔径方法"，一种通过局部截面的配置空间揭示单值性的动画技术。
英文摘要：
The Penrose triangle, staircase, and related ``impossible objects'' have long been understood as related to first cohomology $H^1$: the obstruction to extending locally consistent interpretations around a loop. This paper develops a cohomological hierarchy for a class of visual paradoxes. Restricting to systems built from \emph{bistable} elements -- components admitting exactly two local states, such as the Necker cube's forward/backward orientations, a gear's clockwise/counterclockwise spin, or a rhombic tiling corner's convex/concave interpretation -- allows the use of $\mathbb{Z}_2$ coefficients throughout, reducing obstruction theory to parity arithmetic. This reveals a hierarchy of paradox classes from $H^0$ through $H^2$, refined at each degree by the relative/absolute distinction, ranging from ambiguity through impossibility to inaccessibility. A discrete Stokes theorem emerges as the central tool: at each degree, the connecting homomorphism of relative cohomology promotes boundary data to interior obstruction, providing the uniform mechanism by which paradoxes ascend the hierarchy. Three paradigmatic systems -- Necker cube fields, gear meshes, and rhombic tilings -- are studied in detail. Throughout, we pair cohomology with imagery and animation. To illuminate the underlying structure, we introduce the \emph{Method of Monodromic Apertures}, an animation technique that reveals monodromy through a configuration space of local sections.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
