The Heyde theorem is one of the well-known characterization theorems in mathematical statistics. According to the classical Kac–Bernstein theorem, if the sum and the difference of independent random variables are independent, then these random variables have Gaussian distributions (i.e., are normally distributed). A generalization of this statement is the Skitovich–Darmois theorem, in which linear forms of ${\displaystyle n}$ independent random variables are considered instead of the sum and the difference. In Heyde's theorem, the Gaussian distribution is characterized by the symmetry of the conditional distribution of one linear form given another. The theorem was proved in 1970 by C. C. Heyde^[1]; see also ^[2].

Let ${\displaystyle \xi _{j},j=1,2,\ldots ,n,}$  be independent random variables, and let ${\displaystyle \alpha _{j},\beta _{j}}$  be nonzero constants such that ${\displaystyle \beta _{i}\alpha _{i}^{-1}+\beta _{j}\alpha _{j}^{-1}\neq 0}$ for all ${\displaystyle i\neq j}$. If the conditional distribution of the linear form ${\displaystyle L_{2}=\beta _{1}\xi _{1}+\cdots +\beta _{n}\xi _{n}}$ given ${\displaystyle L_{1}=\alpha _{1}\xi _{1}+\cdots +\alpha _{n}\xi _{n}}$ is symmetric, then all random variables ${\displaystyle \xi _{j}}$ have Gaussian distributions.

The proof of the theorem relies on Cramér's decomposition theorem for the Gaussian distribution, as well as on the following theorem of Marcinkiewicz: if, in a neighborhood of zero, the logarithm of the characteristic function of a distribution is a polynomial, then the distribution is Gaussian.

Numerous works have been devoted to generalizing Heyde's theorem to the case where independent random variables take values in a locally compact Abelian group and the coefficients of the linear forms are topological automorphisms of the group. A survey of these results can be found in ^[3]. As an example, one of the group analogues of Heyde's theorem is given below.

Theorem^[4]. Let ${\displaystyle X}$ be a second countable locally compact Abelian group containing no elements of order 2. Let ${\displaystyle \mathrm {Aut} (X)}$ denote the group of topological automorphisms of ${\displaystyle X}$, and let ${\displaystyle \xi _{j},j=1,2,\dots ,n,}$ be independent random variables taking values in ${\displaystyle X}$ with distributions ${\displaystyle \mu _{j}}$ whose characteristic functions do not vanish. Let ${\displaystyle \alpha _{j},\beta _{j}\in \mathrm {Aut} (X)}$ and assume that ${\displaystyle \beta _{i}\alpha _{i}^{-1}\pm \beta _{j}\alpha _{j}^{-1}\in \mathrm {Aut} (X)}$ for all ${\displaystyle i\neq j}$. If the conditional distribution of the linear form ${\displaystyle L_{2}=\beta _{1}\xi _{1}+\dots +\beta _{n}\xi _{n}}$ given ${\displaystyle L_{1}=\alpha _{1}\xi _{1}+\dots +\alpha _{n}\xi _{n}}$ is symmetric, then all distributions ${\displaystyle \mu _{j}}$ are Gaussian.

The proof relies on group analogues of Cramér's decomposition theorem for the Gaussian distribution and the Marcinkiewicz theorem.