English

Heyde theorem for locally compact Abelian groups containing no subgroups topologically isomorphic to the 2-dimensional torus

Probability 2024-05-07 v1

Abstract

We prove the following group analogue of the well-known Heyde theorem on a characterization of the Gaussian distribution on the real line. Let XX be a second countable locally compact Abelian group containing no subgroups topologically isomorphic to the 2-dimensional torus. Let GG be the subgroup of XX generated by all elements of XX of order 22 and let α\alpha be a topological automorphism of the group XX such that Ker(I+α)={0}{\rm Ker}(I+\alpha)=\{0\}. Let ξ1\xi_1 and ξ2\xi_2 be independent random variables with values in XX and distributions μ1\mu_1 and μ2\mu_2 with nonvanishing characteristic functions. If the conditional distribution of the linear form L2=ξ1+αξ2L_2 = \xi_1 + \alpha\xi_2 given L1=ξ1+ξ2L_1 = \xi_1 +\xi_2 is symmetric, then μj\mu_j are convolutions of Gaussian distributions on XX and distributions supported in GG. We also prove that this theorem is false if XX is the 2-dimensional torus.

Keywords

Cite

@article{arxiv.2405.02789,
  title  = {Heyde theorem for locally compact Abelian groups containing no subgroups topologically isomorphic to the 2-dimensional torus},
  author = {Gennadiy Feldman},
  journal= {arXiv preprint arXiv:2405.02789},
  year   = {2024}
}

Comments

13 pages