发表机构
WritersLogic, Inc.（WritersLogic公司）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明规则30中，非零有限构型的中心迹不可能最终恒定，并给出最大恒定前缀长度的精确公式及达到该长度的构型计数。
AI 中文摘要
对于每一个右半部分，我们确定了其规则30中心迹为常数的唯一左半部分：当初始中心为0时，是由右半部分的最高位1选择的一个交替尾部；当初始中心为1时，是一个单一的通用棋盘格。两个纤维中的每一个非零成员都携带无穷多个1，因此零行是唯一具有恒定迹的有限构型。对于支撑半径w，当初始中心为0时，最大恒定前缀长度的精确值为2*ceil(w/2)+1；当初始中心为1时，为2*floor(w/2)+2。因此两者的最大值为w+2，该最大值由恰好2^w个构型在w为偶数时达到，在w为奇数时由2^w - 1个构型达到。因此，非零有限规则30轨道的任何列都不是最终恒定的。
英文摘要
For every right half we determine the unique left half whose Rule 30 central trace is constant: an alternating tail selected by the leading one of the right half when the initial center is 0, and a single universal checkerboard when it is 1. Every nonzero member of either fiber carries infinitely many ones, so the zero row is the only finite configuration with a constant trace. For support radius w the sharp maximum constant-prefix length is 2*ceil(w/2)+1 when the initial center is 0 and 2*floor(w/2)+2 when it is 1, so the maximum over both is w+2, attained by exactly 2^w configurations for even w and 2^w - 1 for odd w. Hence no column of a nonzero finite Rule 30 orbit is eventually constant.
