Proof of the Fukui conjecture via resolution of singularities and related methods. I

The present article is the preliminary part of a series devoted to extending the foundation of the Asymptotic Linearity Theorems (ALTs), which prove the Fukui conjecture concerning the additivity problem of the zero-point vibrational energies of hydrocarbons. In this article, we establish a theorem, referred to as the G Boundedness Theorem, through which one can easily form a chain of logical implications that reduces a proof of the Fukui conjecture to that of the Piecewise Monotone Lemma (PML). This chain of logical implications serves as a basis throughout this series of articles. The PML, which has been indispensable for demonstrating any version of the ALTs and has required for its proof a mathematical language not generally known to chemists, is directly related to the theory of algebraic curves. Proofs of the original and enhanced versions of the PML are obtainable via resolution of singularities and related methods.