基于连分数的模编码分数解释框架

《Entropy》：A Fractional Interpretation of Modular Encodings via Continued Fractions

　　

模编码传统上通过精确整数重构来解释，最常用的是中国剩余定理（CRT）。然而，在仅需要位置、比较或结构信息的应用中，完整重构可能提供超出即时需求的信息。本文建立了一个分数解释框架，其中剩余数系统（RNS）编码被映射到归一化分数像，并通过其连分数结构进行分析。RNS动态范围内整数的归一化分数像构成一个有限格，其均匀间距等于该范围的倒数。该间距为评估连分数收敛项提供了自然的观测尺度。通过将经典有理逼近性质与经认证的有限精度误差界及固有RNS分辨率相结合，该框架识别出足以用于定位或精确提升的有理逼近项，而无需完整的连分数展开。所选逼近项在展开实线上定义相位一致的有理影子。在相位稳定分支中，双重认证产生一单位定位或精确最近整数提升。定向截断可能改为将小分数像移过下相位边界并使其在接近一處重新出现。由最小冗余模编码导出的辅助精确秩不变量检测该丢失的整数跃迁。在所得的相位穿越分支中，定向恢复锚点相对于满足显式Legendre证书的所选连分数收敛项（以下称为结构认证收敛项）是不变的，而分辨能力由被丢弃截断尾部的认证包络支配。定点包络直接由局部截断余数构造，通过将Cauchy–Schwarz下界与二进表格上优函数相结合，无需精确尾部评估或第二次CRT重构。研究人员建立了连分数认证条件、定位与精确提升保证、精确相位跃迁检测、相位一致定向恢复、定点尾部包络界以及有限精度观测和残差评估的扰动界。详细的数值示例展示了精确秩恢复、认证提前停止、定向二进截断下的稳定性以及检测到相位穿越后的精确恢复。所得框架通过从模编码中提取经认证的中间信息，并为指定输出水平确定可用观测和误差证书是否足以在无条件重构变得必要之前完成任务，从而补充完整CRT重构。

研究背景方面，剩余数系统（RNS）以一组关于两两互素模数的剩余向量表示整数，其无进位和通道并行算术特性使其在编码理论、密码学、计算机代数和大规模精确计算中具有吸引力。然而，比较、排序、缩放、除法、符号确定和逆向转换需要无法从单个剩余通道直接获得的全局信息。标准解决方案是精确重构，最常用的是中国剩余定理（CRT）。但许多计算任务最初并不需要完整整数，比较、范围判定、近似缩放步骤或早期算法分支可能仅需动态范围内可靠的位置或结构信息。这一观察推动了近似和浮点输出CRT方法以及针对不完美剩余数据的鲁棒CRT构造。本文的核心问题是该数值像能否不仅被视为终端近似，而是被视为一个结构化数学对象，允许经认证的有理插值。归一化CRT恒等式提供了自然起点：将模校正因子吸收到归一化剩余中后，除以动态范围M产生一个聚合量，其分数分量构成间距为1/M的有限格。RNS本身提供了评估数值和有理解释的自然观测尺度。

研究人员开展了以下研究：建立基于精确关系的模编码分数解释，识别固有格间距作为自然认证尺度；将连分数识别与经认证的观测误差预算及固有RNS分辨率相结合，产生对指定输出水平而言充分性经认证的有理逼近项；在展开实线上引入相位一致有理影子，并将其与整数域中的提升有理代表区分；引入通过用冗余模2扩展主RNS获得的辅助精确秩不变量，以检测定向截断下丢失的整数跃迁；对于检测到的相位穿越，证明定向恢复锚点相对于所选结构认证收敛项不变；直接从局部截断余数构造定点尾部包络。结论包括：在相位稳定分支中，结构认证收敛项可提供相位一致有理影子、一单位定位或精确最近整数提升；定向截断可能移除一个整数跃迁并使小分数像跨越下相位边界；辅助精确秩不变量检测该事件并选择相位穿越分支；在相位穿越分支中，所选有理影子与其带符号残差之和相对于结构认证收敛项不变，连分数生成可在第一个此类收敛项处停止；分辨能力由被丢弃截断尾部的认证包络提供。重要意义在于：该框架补充了完整CRT重构，通过从模编码中提取经认证的中间信息，并为指定输出水平确定可用观测和误差证书是否足以在无条件重构变得必要之前完成任务。

关键技术方法方面（不超过250字）：研究人员采用连分数逼近与Legendre识别准则对归一化分数像进行有理结构分析；利用最小冗余RNS（主模数加冗余模2）的模秩恢复方法获取精确归一化秩以进行相位控制；采用定向二进截断模型评估有限精度观测并建立认证误差界；通过Cauchy–Schwarz下界与二进表格上优函数构造截断尾部的定点包络；数值验证采用主RNS模数集{3,5,7,11,13,17,19,23,29,31}及两个源整数进行分支验证。

研究结果方面：第一，独立精确秩恢复。对于源值X=1000000，利用有界局部表值、短累加和冗余奇偶剩余，无需完整CRT重构即可恢复精确归一化秩。第二，精确分数像与早期认证停止。精确归一化聚合量的连分数展开中，第一个同时满足结构和精确提升证书的收敛项即可产生精确提升代表，连分数过程在该收敛项处停止，终端精确分数对恢复而言不必要。第三，定向二进截断。以最小公共精度进行定向二进截断后，精确与截断观测共享连分数前缀并产生相同收敛项，同一提升代表仍然精确。第四，相位穿越验证。选择非平凡小源整数X=1000，以故意低的公共二进精度进行截断，精确秩比较检测到丢失的整数跃迁；观测分数的连分数展开中第一个结构认证收敛项提供相位一致有理影子，其锚点独立于具体结构认证收敛项；通过Cauchy–Schwarz下界和局部欧几里得除法及二进表格上优函数构造尾部包络，代入相位穿越恢复公式后得到单元素容许整数集，实现精确恢复。该证书既未使用被丢弃尾部的精确评估，也未使用第二次CRT重构。

讨论部分总结：该框架改变了分数RNS信息的角色，不再将有限精度分数输出视为编码整数的近似替代品，而是在固有格尺度上解释该输出并询问从可用精度中可以认证什么。这一视角支持多种不同结果：结构有理信息、一单位定位、精确相位稳定提升、精确定向恢复或完整有限容许整数候选集。当无条件需要精确整数时，完整CRT重构仍是适当操作；该框架转而针对较弱认证输出或通过早期恢复获得精确值已能满足计算任务的设置。第二个概念要点是有理结构、全局相位和定向截断损失的分离。连分数组织分数观测中可见的有理信息；精确秩不变量检测定向截断是否移除了一个整数跃迁；一旦检测到穿越，所选结构认证收敛项及其带符号残差确定不变相位校正锚点，而分辨能力由被丢弃尾部的认证包络提供。所提出的定点包络通过将Cauchy–Schwarz下界与二进表格上优函数相结合，从局部截断余数构造该信息。与浮点输出和近似CRT方法的关系在于：本文框架共享分数起点，但赋予结果不同的地位——观测分数相对于离散间距1/M进行解释并附带显式不确定性证书。与经典有理重构的关系在于：经典有理重构解决不同的逆问题，从模信息及适当的分子-分母界寻求精确有理数；本文框架不直接从大整数模的剩余推断未知精确有理目标，而是从RNS编码导出的分数观测开始，询问在编码整数尺度上何种可见有理结构既经认证又操作充分。操作范围与实现含义方面：当应用需要经认证的决策而非无条件恢复编码整数的每一位时，该框架最为有用，包括范围判定、顺序或符号相关测试、有界定位、精确早期恢复以及剩余域验证前的候选约简。局限性包括：保证需要经认证的不确定性界；精度缩放是第二限制，随着M增长，格间距1/M可能低于固定算术格式的分辨率；第三限制出现在定向恢复区间包含多个容许整数时，方法返回完整认证候选集但无法在没有额外信息的情况下选择单一值；第四限制涉及锚点选择，选择具有最大相对局部截断损失的通道给出确定性且低成本的规则，但未证明该通道对每个剩余向量最小化恢复区间宽度。未来工作将研究面向硬件的实现、与优化CRT方法的定量比较、候选集的剩余域验证、区间最优锚点选择、密码学尺度模数集以及利用最小冗余保护其他非模RNS操作。

研究结论部分翻译：这项工作的主要成果是改变了模编码可以被解释的方式。所提出的框架不再将归一化分数像仅视为从CRT恒等式导出的近似数值输出，而是将其视为一个结构化数值对象，其连分数内容可以在剩余系统的固有分辨率下进行评估。这在独立剩余通道和无条件整数重构之间创建了一个中间解释层。在该层内，结论的强度适应实际可用的信息。在相位稳定分支中，结构认证收敛项可提供相位一致有理影子、一单位定位或精确最近整数提升。定向截断可能改为移除一个整数跃迁并使小分数像跨越下相位边界。辅助精确秩不变量检测该事件并选择相位穿越分支。在该分支中，所选有理影子与其带符号残差之和相对于结构认证收敛项不变，因此连分数生成可在第一个此类收敛项处停止。在检测到穿越后，分辨能力由被丢弃截断尾部的认证包络提供。所提出的定点构造通过将Cauchy–Schwarz下界与二进表格上优函数相结合，直接从局部截断余数导出该包络。它使用与最大主模数相关联的公共有界宽度格式，不需要精确尾部评估或第二次CRT重构。所得的定向区间通过单元素容许集产生精确恢复，或产生完整有限认证整数候选集。这一视角阐明了部分模信息的价值和局限。连分数不会恢复观测中缺失的细节，有理逼近仅相对于RNS间距和经认证的不确定性预算才具有操作意义。同样，粗糙但有效的尾部包络可能留下若干候选，而无效包络可能破坏证书。当可用界充分时，完整重构可以被推迟或避免；当不充分时，该框架明确陈述剩余模糊性，而不是将其隐藏在无支撑的点估计之后。由此产生的模算术、有理逼近、精确相位控制和定点尾部包络之间的联系暗示了一个更广泛的纲领，其中非模RNS操作围绕任务相关的认证信息而非自动完整重构来组织。未来工作将研究面向硬件的实现、与优化CRT方法的定量比较、候选集的剩余域验证、区间最优锚点选择、密码学尺度模数集以及利用最小冗余保护其他非模RNS操作。