[论文解读] The use of Bad Primes in Rational Reconstruction

Janko Boehm, Wolfram Decker+2 more|arXiv (Cornell University)|Jul 6, 2012

Polynomial and algebraic computation参考文献 7被引用 4

一句话总结

本文提出了一种基于高斯消元的容错有理数重构算法，即使在存在‘坏素数’（即因模运算中的结构性不一致而破坏标准重构的素数）的情况下，也能可靠地从模像中恢复有理数。该方法通过容忍未被检测到的坏素数而无需事先识别，确保在某些素数未能保持理想或模结构时仍能正确重构，从而实现了代数几何与交换代数中稳健的模算法。

ABSTRACT

A standard method for finding a rational number from its values modulo a collection of primes is to determine its value modulo the product of the primes via Chinese remaindering, and then use Farey sequences for rational reconstruction. Successively enlarging the set of primes if needed, this method is guaranteed to work if we restrict ourselves to good primes. Depending on the particular application, however, there may be no efficient way of identifying good primes. In the algebraic and geometric applications we have in mind, the final result consists of an a priori unknown ideal (or module) which is found via a construction yielding the (reduced) Groebner basis of the ideal. In this context, we discuss a general setup for modular and, thus, potentially parallel algorithms which can handle bad primes. A key new ingredient is an error tolerant algorithm for rational reconstruction via Gaussian reduction.

研究动机与目标

• 解决在代数与几何应用中因无法高效预先识别‘坏素数’（即扭曲理想或模结构的素数）而导致的模运算不可靠问题。
• 开发一种有理数重构算法，即使计算中部分素数为坏素数（尤其是仅能事后检测的素数），仍能保持正确性。
• 通过确保在存在坏素数的情况下仍能正确进行有理数重构，使格罗布纳基计算与正规化中的模算法具备鲁棒性与可并行性。
• 为使用模方法在有理数上计算理想与模提供一个通用框架，内置对各类坏素数的容错能力。

提出的方法

• 该方法用基于整数上高斯消元的新算法替代经典的法里（Farey）有理数重构，通过格约化从模值中计算有理数。
• 利用中国剩余定理将未知的有理数提升为模所有素数乘积的解，再通过高斯消元恢复分子与分母对。
• 该算法设计具有鲁棒性：即使部分素数为坏素数（例如违反理想结构或首项条件），只要多数素数为好素数，仍能恢复正确有理数。
• 该方法依赖于正确有理数位于由模像导出的某个线性系统核中的事实，即使坏素数引起扰动，高斯消元仍能识别该解。
• 该方法应用于通用模框架中：算法对每个素数计算一个格罗布纳基，最终的有理数重构步骤将这些结果合并为单一有理对象。
• 其关键创新在于基于格的重构实现容错：只要坏素数数量相对于总数较少，算法无需预先过滤坏素数。

实验结果

研究问题

• RQ1 如何在坏素数无法在计算前检测的情况下，使有理数重构具备鲁棒性？
• RQ2 何种数学结构使得即使部分模运算未能保持理想或模结构，也能实现可靠的有理数重构？
• RQ3 能否在不需事先识别坏素数的前提下，使用于交换代数中计算理想或模的模算法具备对坏素数的鲁棒性？
• RQ4 当坏素数数量超过多数投票法的阈值时，何种替代法可确保法里重构的正确性？
• RQ5 如何将高斯消元适配为在模不一致条件下实现有理数重构的可靠提升机制？

主要发现

• 所提出的基于高斯消元的有理数重构算法即使在部分素数为坏素数（包括仅能事后检测的素数）时，仍能成功恢复正确的有理数。
• 该方法在仿射代数的正规化与伴随曲线的计算中确保了正确重构，其中坏素数可能因理想或模结构在约化下失效而产生。
• 在例5.12中，素数5被证明为类型-5坏素数（即模理想约化后的格罗布纳基与特征零基的约化不匹配），但该算法仍正确重构了有理系数。
• 该算法对各类坏素数均具鲁棒性：类型-1（分母未定义）、类型-2（非素理想）、类型-3（首理想不匹配）、类型-4（首项不匹配）与类型-5（格罗布纳基不匹配）。
• 该方法通过依赖容错性避免了昂贵的素数预筛选，因此在坏素数稀少但不可预测的应用中，比基于拒绝的策略更高效。
• 该方法为代数几何中计算理想与模提供了一般模框架，即使某些素数扭曲了底层代数对象的模行为，仍能保证正确性。