Transcendence of Montgomery Reduction Factor in the Ring of Integers Modulo Infinitely Large Primes
Year: 2026
Type: preprint
Abstract: We prove the transcendence over $\mathbb{Q}$ of the image of Montgomery reduction factor $R'$ in the ring $\mathscr{A}$ of integers modulo infinitely large primes. Here, for an odd prime number $p$, $R'$ is defined as the modular inverse of a power $R$ of $2$ modulo $p$ satisfying $2^{-k} R \leq p < R$ for a fixed constant $k \in \mathbb{N}_{> 0}$ typically given as the standard bit size $32$ of an integer type, and is the element of $\mathbb{Z}/p \mathbb{Z}$ representing Montgomery reduction regarded as a $\mathbb{Z}/p \mathbb{Z}$-linear homomorphism.
Source: arXiv (Cornell University)
Author: Mihara, Tomoki
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7213318642