Construction of Signal Sets From Quotient Rings of the Quaternion Orders Associated With Arithmetic Fuchsian Groups

This paper aims to construct signal sets from quotient rings of the quaternion over a real number field associated with the arithmetic Fuchsian group Γ
_4g
, where g is the genus of the associated surface. These Fuchsian groups consist of the edge-pairing isometries of the regular hyperbolic polygons (fundamental region) P
_4g
, which tessellate the hyperbolic plane D
²
. The corresponding tessellations are the self-dual tessellations {4g, 4g}. Knowing the generators of the quaternion orders which realize the edge-pairings of the polygons, the signal points of the signal sets derived from the quotient rings of the quaternion orders are determined. It is shown by examples the relevance of adequately selecting the ideal in the maximal order to construct the signal sets satisfying the property of geometrical uniformity. The labeling of such signals is realized by using the mapping by set partitioning concept to solve the corresponding Diophantine equations (extreme quadratic forms). Trellis coded modulation and multilevel codes whose signal sets are derived from quotient rings of quaternion orders are considered possible applications.