Unavoidable Canonical Nonlinearity Induced by Gaussian Measures Discretization

Abstract

When we consider canonical averages for classical discrete systems, typically referred to as substitutional alloys, the map phi from many-body interatomic interactions to thermodynamic equilibrium configurations generally exhibits complicated nonlinearity. This canonical nonlinearity is fundamentally rooted in deviations of the discrete configurational density of states (CDOS) from continuous Gaussian families, and has conventionally been characterized by the Kullback-Leibler (KL) divergence on discrete statistical manifold. Thus, the previous works inevitablly missed intrinsic nonlinearities induced by discretization of Gaussian families, which remains invisible within conventional information-geometric descriptions. In the present work, we identify and quantify such unavoidable canonical nonlinearity by employing the specific transport cost W'2on the 2-Wasserstein framework with a cost function aligned with the Fisher metric for Gaussian families. We derive an explicit expression for this transport cost W'2 in the limit of vanishing discretization scale d to 0. We further show that this limiting Wasserstein distance admits a clear geometric interpretation on the statistical manifold, equivalent to a KL divergence associated with the expected parallel translations of continuous Gaussian. Our framework thus provides a transport-information-geometric characterization of discretization-induced nonlinearity in classical discrete systems. In addition, we confirm that this W'2-KL equivalence admits a natural generalization beyond Gaussian families. The correspondence reveals that the irreversible geometric distortion of the local measure induced by discretization, while extrinsic to information geometry alone, can generically be characterized by a standard KL divergence.