Two remarks on Normality Preserving Borel Automorphisms of R^n
Let T be a bijective map on Rn such that both T and T−1 are Borel measurable. For any $\btheta \in \mathbb{R}^n$ and any real n×n positive definite matrix Σ, let $N (\btheta, Σ)$ denote the n-variate normal (gaussian) probability measure on Rn with mean vector $\btheta$ and covariance matrix Σ. Here we prove the following two results: (1) Suppose $N(\btheta_j, I)T^{-1}$ is gaussian for 0≤j≤n where I is the identity matrix and $\{\btheta_j - \btheta_0, 1 \leq j \leq n \}$ is a basis for Rn. Then T is an affine linear transformation; (2) Let Σj=I+εjujuj′, 1≤j≤n where εj>−1 for every j and uj,1≤j≤n is a basis of unit vectors in Rn with uj′ denoting the transpose of the column vector uj. Suppose N(0,I)T−1 and N(0,Σj)T−1, 1≤j≤n are gaussian. Then T(x)=s∑1EsVsUx a.e. x where s runs over the set of 2n diagonal matrices of order n with diagonal entries ±1, U,V are n×n orthogonal matrices and {Es} is a collection of 2n Borel subsets of Rn such that {Es} and {VsU(Es)} are partitions of Rn modulo Lebesgue-null sets and for every j, VsUΣj(VsU)−1 is independent of all s for which the Lebesgue measure of Es is positive. The converse of this result also holds. \vskip0.1in Our results constitute a sharpening of the results of S. Nabeya and T. Kariya