Geometrically uniform hyperbolic codes

Geometrically uniform hyperbolic codes

Henrique Lazari^I; Reginaldo Palazzo Jr.^II,*

^IDepartamento de Matemática, Universidade Estadual Paulista, UNESP-Rio Claro, SP, Brazil, E-mail: [e-mail]

^IIDepartamento de Telemática, FEEC-UNICAMP, E-mail: [e-mail]

ABSTRACT

In this paper we generalize the concept of geometrically uniform codes, formerly employed in Euclidean spaces, to hyperbolic spaces. We also show a characterization of generalized coset codes through the concept of G-linear codes.

Mathematical subject classification: 14L35, 94B60.

Key words: classical groups, group codes.

1 Introduction

The concept of geometrically uniform signal constellations was introduced by Forney in [7]. This concept has been shown to be the most appropriate in the context of Euclidean signal constellations and spaces in the sense of unifying processes such as Ungerboeck set partitioning [14] and generalized concatenation [1].

One of the main objectives of geometrically uniform codes is related to the construction of geometrically uniform partitions and in particular the construction of generalized coset codes.

The objective of this paper is to extend the concepts of signal sets, lattices and set partitioning to the hyperbolic plane by making use of the associated hyperbolic regular tessellations and its corresponding full symmetry groups. In particular, we consider the concept of geometric uniformity for joint modulation and coding processes. Although the hyperbolic isometry groups have greater complexity than the Euclidean isometry groups the procedures and concepts related to the geometrically uniform partitions can be extended to the former. An interesting aspect is that the fundamental regions of the Euclidean regular tessellations always have an Abelian subgroup of order 4 belonging to the corresponding symmetry groups even if the they are not Abelian, whereas in the hyperbolic case more general groups have to be considered. In other words, the existence of regular tessellations in the hyperbolic plane of the type {p, q}, see Definition 2.1, generating signal sets justify the search for subgroups and quotient of groups associated with the full symmetry group of {p, q} which will provide relevant information about the structure of these groups.

The problem that motivated us to consider geometrically uniform codes in the hyperbolic plane is related to the results shown in [5] and [6] with respect to the better performance achieved by a binary communication system using soft-decision decoding (an 8-level quantizer leading to a binary input, 8-ary output symmetric channel, denoted by C_2,8[8, 2]) when compared to the hard-decision decoding (a 2-level quantizer leading to a binary-input binary-output symmetric channel, denoted by C_2,2[2, 2]), when viewed in this context. More specifically, assume that an 8-level quantizer is used in the demodulator output, leading to a C_2,8[8, 2] channel having the complete bipartite graph K_2,8 as the associated graph. The C_2,2[2, 2] channel is associated with the graph K_2,2 which is embedded on a sphere with two regions, denoted by S(2), thus on a surface of genus zero. In [5] it is shown that the C_2,8[8, 2] channel may be embedded on the following surfaces: sphere with 8 regions, denoted by S( 8); torus with 6 regions (genus 1), denoted by T( 6); two torus with 4 regions (genus 2), denoted by 2T( 4); and three torus with 2 regions (genus 3), denoted by 3T( 2). Since both channels have binary inputs it follows that the signal space has to be partitioned into two decision regions. As a consequence, the C_2,2[2, 2] channel is embedded on S(2), and the C_2,8[8, 2] channel is embedded on 3T( 2). The most evident topological difference is the genus of the surface.

A great deal of discrete memoryless channels of practical interest are embedded on compact surfaces with genus g = 2, 3, see [5].

On the other hand, in [6] it is shown that the error probability associated with a signal constellation (a set of points) depends on the curvature, K, or equivalently, on the genus of a surface (surface where the signal constellation lies), and that the best performance is achieved when considering surfaces with constant negative curvature among the possible values taking on by K, (K < 0, K > 0, and K = 0).

To the best of our knowledge this approach was not considered previously in the context of designing signal sets for digital communication systems. The design of signal constellations is strongly dependent on the existence of regular tessellations in the Euclidean or any other homogeneous space. The homogeneous spaces are important for they have rich algebraic structures and geometric properties so far not fully explored in the context of communication and coding theory. The algebraic structures provide the means for systematic devices implementations whereas the geometric properties are relevant mainly with respect to the efficiency of demodulation and decoding processes.

2 Hyperbolic tessellations

One of the important algebraic structures in communication theory is the vector space, that is, a space whose metric is compatible with a norm (Euclidean spaces). It is by use of this structure that it is possible to model and to analyze new communications systems, new modulation schemes, signal processing techniques, signal constellations, and so on. On the other hand, the hyperbolic space, locally (K < 0) may be seen as a vector space and since the hyperbolic space is complete, simply connected and of constant negative curvature, the vector space structure holds globally. However, the important difference from the Euclidean space is that there is no norm compatible with the Riemannian metric.

In this section, we consider the hyperbolic plane 2 as a space where we may design signal constellations from regular tessellations. One advantage of these tessellations is that they can be analyzed from its associated groups, [2] and [3].

Definition 2.1. A regular tessellation of the hyperbolic plane

² is a partition of

² by non-overlapping regular polygons with the same number of sides which intersect entirely on edges or vertices. A regular tessellation in which q regular p-gons meet at each vertex is denoted by {p, q}.

Since the sum of the internal angles of a hyperbolic triangle is less than p,it follows that there exists a hyperbolic tessellation {p, q} if and only if(p - 2)(q - 2) > 4, [3, pp. 154-156]. Associated with each tessellation {p, q} there exists a group called full symmetry group of {p, q}, and denoted by [p, q]. This group is the isometry group of ², denoted by Isom(²), generated by reflections in the hyperbolic lines in which the tessellations {p, q} self-reflects, [2], that is [p, q] consists of the isometries of ² leaving {p, q} invariant [3]. From [2], the group [p, q] is generated by the reflections r₁, r₂ and r₃ on the edges of the hyperbolic triangle with angles . Consequently, the presentation of the group [p, q] associated with the tessellation {p, q} is given by

Given a tessellation {p, q} with group [p, q], its dual tessellation is {q, p} with group [q, p]. It is immediate that [p, q] and [q, p] are isomorphic, however the tessellations {p, q} and {q, p} coincide if and only if p = q. The case p = q is called self-dual and if p = q = 4g for an integer g > 2, then the tessellation {4g, 4g} , by a suitable identification of its edges, yields a universal covering for ² as an oriented compact surface of genus g and its group [4g, 4g] has as a normal subgroup, the fundamental group of this surface, defined by

From this we have that p_g [4g, 4g] and

[4g, 4g] = p_g

_4g,

where denotes the semidirect product, and _4g denotes the dihedral group with 8g elements. The group [p, q] can be obtained as a subgroup of index 2p of the group G*(2, p, q), called the triangle group which has a triangle D* with angles as the fundamental region. Associated with the triangle group is the Fuchsian group, [11] and [12],

G(2, p, q) = G*(2, p, q) Ç PSL(2, ),

with signature (0; 2, p, q) and fundamental region D* È r₁(D*).

Regular tessellations of the form {4g, 4g} can be obtained as sub-tessellations of the tessellation associated with a triangle group G* or its Fuchsian part G, with fundamental region D or (D = D* È r₁(D*)) from the determination of the 4g-gons formed by the union of copies of D or D* and such that its sides are identified to form an oriented surface of genus g. This procedure is equivalent to determining a subgroup of G isomorphic to p_g, the fundamental group of the compact oriented surface of genus g. Hence, the triangle groups are important groups to be employed in the search for relevant tessellations for the purpose of designing signal constellations.

3 Signal sets matched to groups

Definition 3.1. A signal set is a discrete subset of the Euclidean or hyperbolic spaces. For each point s Î S the Voronoi region of s is the set R_V(s) = {x Î : d(x, s) = min_{t Î S}d(x, t)}. A signal set S is matched to a group G if there exists a surjective map m: G ® S, such that for all g,g¢ Î G, d(m(g), m(g¢)) = d(m(g^-1 · g¢), m(e)). Such an m is called a matched mapping. In addition to that, if m is injective, then m^-1 is called a matched labelling.

If m: G ® S is a matched mapping, then H = m^-1(m(e)) is a subgroup of G and g º g¢ modH if, and only if, m(g) = m(g¢). Thus, any matched mapping m corresponds to a bijection gH m(g) of the left cosets of H in G in the elements of S. It immediately follows that if H G, then the quotient map m: ® S is a matched labelling. We say that a labelling m: G ® S is an effective labelling if H does not contain a non-trivial normal subgroup of G. In this case, we say that S is effectively matched to G. This is the most general situation for if S is not effectively matched to G, then considering H¢ as the greatest normal subgroup of G in H, results that the map m: ® S is well-defined, equivalently, m(g) = m(g¢) if and only if gH¢ = g¢H¢ and g¢g^-1Î H¢ Í H.

Example 3.1. Let A be a metric space with a left (right) invariant metric d_A and G a group with a group metric d_G such that there exists a map m: G ® A which is an isometry. Then for any g, h Î G we have

d_A(m(g), m(h)) = d_G(g, h) = d_G(g · h^-1, e) = d_A(m(g · h^-1), m(e))

resulting that m is a matched labelling.

Theorem 3.1. [8] There exists a matched labelling between a signal set S and a group G if, and only if, G is isomorphic to a transitive subgroup of G(S), the isometry group of S.

In [10] it is shown that certain nonlinear binary codes are the image of linear codes over

₄, allowing in this way more effective decoding procedures. In [9] it is considered the possible extensions of the ₄-linearity to the G-linearity, where G is a group.

The next definition of G-linear codes encompasses the definition presented in [9], and it fits nicely with the purposes of this paper.

Definition 3.2. A code Í S^I is G-linear if there exists an isometry µ: G ® S, a group code

< G^I, and a permutation s Î S^I such that s() = µ(), µ also denotes the extension µ: G^I® S^I.

Considering the map m = s^-1 ° µ: G^I ® S^I we have:

implying that m: G^I ® S^I is a matched labelling, and so is m: ® . From Theorem 3.1, is isomorphic to the transitive group of symmetries of , denoted by G().

4 Geometrically uniform signal sets

Definition 4.1. [7] A signal set S is called geometrically uniform if the action of the group of symmetries of S, G(S) on S is transitive. More explicitly, for every pair x,y Î S, there exists an isometry u Î G(S) such that u(x) = y leaving S = {u(x): u Î G(S)} invariant. A group U that is minimal for the property that S = {u(x): u Î U} is called the generator group of S.

Example 4.1. Consider the tessellation {8, 8} in the hyperbolic plane ².Then the set S consisting of the center of mass of the octagons of the tessellation (or equivalently, the vertices of the octagons of the dual tessellation) is geometrically uniform, since for each fixed x Î S, we have S = {T(x): T Î [8, 8]}. Since [8, 8] = p₈

₈, where ₈ = ₈

₂, it follows that ₈(x) = {T(x): x Î ₈} = P is an octagon (dual), and P is itself geometrically uniform with G(P) = ₈. Note that |P| = 8 and |₈| = 16. Thus, G(P) has more elements than needed to generate P. However, considering the subgroups G₁ = ₈ and G₂ = ₄

₂ in ₈ then, we have P = G₁(x) = G₂(x) . Since G₁ and G₂ are not isomorphics and they are proper subgroups of ₈, we conclude that either a signal set may have a group of symmetries with more elements than that of the signal set itself, or may have a symmetry group with the same number of elements, however with non-isomorphic groups.

Slepian, [13], has provided an example of a signal set S with 10 signals in ⁵ that is not the orbit of any subgroup of symmetries of ⁵. Therefore, not all signal sets, even Euclidean ones, is geometrically uniform.

Definition 4.2. Given a signal set S, a subgroup U(S) of G(S) is a generator group of S, if S = {u(s₀): u Î U(S)}, for a fixed s₀ in S, and U(S) is minimal for the generation of S in the sense that the map m: U(S) ® S, m(u) = u(s₀) is a bijection.

Clearly, m induces in S a group structure isomorphic to the one of U(S).

Theorem 4.1. Let S be a signal set, then the following statements are equivalents:

(i) S is geometrically uniform;

(ii) There exists a matched labelling between S and U(S);

(iii) S is U(S)-linear with m: U(S) ® S.

Proof. (i) (ii) follows from Theorem 3.1, and (i) (iii) follows immediately from the remark just after Definition 3.2.

Lemma 4.1. Let S be a geometrically uniform signal set, and x and y any two signals in S. Then there exists an isometry u Î G(S) such that u(x) = y, and u(R_V(x)) = R_V(y). In other words, the Voronoi regions are all congruents.

Proof. v Î R_V(x) if, and only if, d(x, v) = min_{z Î S}{d(z, v)} but

Hence, u(v) Î R_V(y) and u(R_V(x)) Í R_V(y). Considering u^-1, we obtain the inequality in the reverse order, and so u(R_V(x)) = R_V(y).

If a hyperbolic signal set is designed from the tessellation {p, q}, then it is immediate that each polygon is a Voronoi region. In the general case of a Fuchsian group G (a subgroup of the automorphisms of ², is the universal covering of ²/G), a Voronoi region is the Dirichlet region, [12].

The congruence of the Voronoi regions is responsible for establishing the relevant properties associated with the signal sets, namely: the global distance profile and the error probability of each signal in the constellation is locally determined.

5 Hyperbolic geometrically uniform partitions

The concept of geometrically uniform partitions was introduced by Forney [7], in the context of Euclidean signal sets. As previously mentioned, although the hyperbolic isometry groups have a greater complexity when compared to the Euclidean isometry groups, it is possible to extend to the former the concept of geometrically uniform partitions, as we show in this and in the next sections. For a detailed exposition, we refer the reader to [4].

Definition 5.1. Let S be a geometrically uniform signal set, say S = {u(s₀): u Î U(S)}, for some fixed s₀ in S. Let U¢ be a normal subgroup of U(S), generator group of the signal set S. Denoting the orbit of U¢ by S¢, where S¢ = {u(s): u Î U¢}, it follows that if

U = U¢ È U¢ a È U¢ b È....

is a decomposition of U in cosets of U¢, then the partition of S is given by

S = U¢ s₀ È U¢ as₀ È U¢ bs₀....,

denoted by S/S¢, and it is called a geometrically uniform partition. We denote U(S¢) by U¢.

Definition 5.2. We call a geometrically uniform partition of a signal set S which is geometrically uniform with a generator group U(S) to any partition S/S¢ induced by a normal subgroup U¢ of U(S).

The concept of geometrically uniform partition is important when we take into account the next fundamental result.

Theorem 5.1. [7] If S/S¢ is a geometrically uniform partition, then the elements of S/S¢ are geometrically uniform, mutually congruent and have U¢ as the common generator group.

Proof. Let be denoted by = U(S)/U¢. If a Î , then a = U¢u_a = u_aU¢ for some u_a Î U(S). Let the corresponding element of the partition S/S¢ be denoted by S¢(a). Thus,

Therefore, S¢(a) @ S¢ and for every a Î , the S¢(a) are all congruents.

On the other hand,

is the orbit of u_a(s₀) by U¢. Hence, all S¢(a) are geometrically uniform with a common generator group U¢.

From Theorem 5.1 it makes sense to use the notation U(S¢) for U¢.

Example 5.1. The Ungerboeck partitions [14] are Euclidean geometrically uniform binary partitions associated with M-PSK signal sets with M = 2^k and subgroups (not necessarily normal) of the form 2^j-PSK determining a partition sequence. The polygons S associated with the hyperbolic tessellations (regular p-gons) have _p as their group of symmetries. Hence, they are constellations generated by p-PSK (U(S) = p-PSK < _p).

Theorem 5.1 generalizes in a natural way Ungerboeck's construction, by repeated application in a chain

...U(S¢¢) U(S¢) U(S).

This leads naturally to a geometrically uniform chain partition

S / S¢ / S¢¢ /...,

where in each level the partition sets are congruents and have a common generator group.

Example 5.2. In the Euclidean case, if L is a lattice and L¢ is a sublattice of L of finite index, then any signal set S = L + a is partitioned in |L /L¢| geometrically uniform subsets L¢ a + v with v Î [L /L¢] for some complete set of representatives [L /L¢] of L modulo L¢.

In the hyperbolic case we have some points to consider: Since the dual tessellation is generated by translations, then an equivalent condition to T(L) = L, where T denotes translation, is exactly the fact that the tessellation be self-dual. This is equivalent to being of the type {p, p}. In general, the group generated by translations may have elements of finite order other than the neutral element. In the self-dual case, since the group p_g has only the relation (Õ[a_i, b_i] = 1), it follows that p_g has only the neutral element with finite order.

6 Isometric labelling

Definition 6.1. Let S/S¢ be a geometrically uniform partition. We say that a group is a label group for S/S¢ if there exists an isomorphism

m is called a labelling isomorphism. The bijective map

defined by the composition of the labelling isomorphism with the bijection

is called an isometric labelling of the subsets of S belonging to the partition S/S¢.

The previous definition may be visualized in the next diagram:

The fact that m is a well-defined function is a consequence of the fact that if u_aU¢ = vU¢ then u¢_av^-1Î U¢ = U(S¢). Hence, u_av^-1(S¢) = S¢. Therefore, u_a(S¢) = v(S¢).

The following properties are immediate:

(i) m() = S¢, where denotes the identity element of ;

(ii) .

A partition S/S¢ admits an isometric labelling by a group if

(a) S is geometrically uniform;

(b) The subsets of the geometrically uniform partitions are mutually congruents;

(c) There exist isometry groups U(S) and U(S¢) such that U(S) generates S, U(S¢) generates S¢, U(S¢) U(S) and .

Theorem 6.1. A bijective labelling map m: ® S/S¢ is an isometric labelling if and only if for every a Î A there exists an isometry u_a: ® such that for every b Î , m(ab) = u_a(m(b)).

Proof. If m: ® S/S¢ is an isometric labelling, from the isomorphism we have ab u_abU¢ and ab

u_aU¢u_bU¢ = u_au_bU¢ where we obtain

Conversely, if m(ab) = u_a(m(b)), for every a, b Î , then u_ab(S¢) = u_au_b(S¢). This implies that m(ab) = m(a)m(b), where m is a homomorphism.

7 Geometrically uniform signal space codes

The next definition establishes what we mean by a geometrically uniform signal space code.

Definition 7.1. Let (,*) be a group and I Í (eventually finite). Consider the sequence space ^I= {{a_k}_{k Î I}: a_kÎ , "k Î I}, where denotes the alphabet and I an index set. Consider the natural group structure in ^I. Given a signal set S, a geometrically uniform partition S/S¢, and a label set , we extend in a natural way the isometric labelling map to m: ^I ® (S/S¢)^I. We call a labelling code to any subset Í ^I. With these notations, the generalized coset code (signal space code) is established as C(S/S¢, ) = m(c).

Since

we have C(S/S¢, ) Í S^I is a signal sequence, s Î S^I is a code sequence or an element of C(S/S¢, ), if there exists some c Î such that s_k Î m(c_k) for all k Î I. If S Í ⁿ, then C(S/S¢, ) Í ⁿ)^I. Since is not a vector space, there is no definite form for the product.

The next results describe how should an encoder be designed for the hyperbolic signal space codes.

Let S/S¢ be a geometrically uniform partition generated by a partition whose group generators are U(S) and U(S¢), and @ U(S)/U(S¢) is the label group.

Definition 7.2. Let S/S¢ be a geometrically uniform partition with label group and Í ^I be a normal subgroup (

^I), then a generalized coset code is the subset

The next theorem provides a connection between G-linearity and the generalized coset codes.

Theorem 7.1. Under the hypothesis of Definition 7.2, a generalized coset code is a U(S)-linear code.

Proof. Since S is geometrically uniform, let the labelling be given by

for some fixed s₀ in S. Denoting

and the well-defined labelling by

(in fact, if uU(S¢) = vU(S¢), then u^-1v Î U(S¢). Hence, u^-1v(S¢) = S¢. Therefore, u(S¢) = v(S¢)). Let H = {u Î G: uU(S¢) Î }. Thus, if u, v Î H, uU ¢, vU¢ Î and since < , it follows that uv^-1U¢ Î and uv^-1Î H. Since e Î H, it follows that H < G. On the other hand, since

this shows that C(S/S¢, ) is U(S)-linear.

In the hyperbolic context, a generalization of the Euclidean definition of geometrically uniform codes, where the label group must be Abelian, we impose the condition that code be a normal subgroup of the label group .

Lemma 7.1. If C(S/S¢, ) is a generalized coset code, then

is a geometrically uniform partition and m: ^I ® is an isometric labelling for this partition.

Proof.

(a) U(S^I) = U(S)^I. In fact, we have U(S^I) Í U(S)^I. Now, if H < U(S)^I, then H = H_k where H_k < U(S) for all k, and if U(S^I) = H U(S)^I we have H_k U(S) for any k Î I, but then S = Hs₀, contrary to the minimality of U(S). Therefore, U(S^I) = U(S)^I;

(b) U(S¢)^I

U(S)^I follows from U(S¢) U(S);

(c) m: ^I ® is an isometry, where yields a geometrically uniform partition with label space ^I@ .

Lemma 7.2. With the previous notations, if

^I then with the induced structures, (S¢)^I< C(S/S¢, ) < S^I, we have the isomorphisms:

that is, the chain partitions of the groups S^I/C(S/S¢, )/(S¢)^I and ^I//are isomorphics.

Proof. We consider the case |I| = 1. For the general case, it follows by considering the coordinates.

(a) C(S/S¢, ) < S. If f, y Î C(S/S¢, ), then there exist c₁, c₂ Î such that f Î m(c₁) and y Î m(c₂) . If f: U(S) ® S is a bijection that induces the group structure in S, then there exist v, w Î U(S) such that f(v) = f and f(w) = y. Then vw Î u_c1U¢ · u_c2U¢ = u_c1u_c2U¢ = u_c1c2U¢, and f(vw) = fy Î m(c₁c₂). Therefore, fy Î C(S/S¢, ). Since vU¢ = u_c1U¢, we have (vU¢)^-1 = (u_c1U¢)^-1 or v^-1U¢ = . Therefore, f^-1Î m() Î C(S/S¢, ) and C(S/S¢, ) < S.

(b) S¢ < C(S/S¢, ). Since C(S/S¢, ) = m(c), we define V: = f^-1(C(S/S¢, )). This implies, V < U(S) and

In particular, m(1) = U(S¢) = U¢ = 1 · U¢ Í V, and it follows that S¢ Í C(S/S¢, ) or S¢ < C(S/S¢, ).

(c) . Since V = f^-1(C(S/S¢, )), we have

Considering

(F is well-defined for u₁U¢ = u₂U¢ implies Î U¢ Í V. Therefore, u₁V = u₂V.), we have Ker F = (u_a Î V if, and only if, f(u_a) Î m(c) for some c Î if, and only if, a Î ). Therefore,

(d) . Considering,

and the label isomorphism as g(c) = u_cU¢, we have

(in fact, if u_cU¢ Î g(), by definition u_cU¢ Í V, and so u_cU¢ Î then uU¢ = wU¢ and so

w Î u_cU¢ or w = u_cu₁ for c Î and u₁Î U¢.

Thus, g() = ) and

Hence, we have is the image of C by the labelling isomorphism, or equivalently,

Letting f|V and taking quotients, we have

from (2) and (3) we have then that: @ .

The right cosets of in (recall that \vartriangleleft ) are written in the form · a, where a Î is arbitrary. For such a class · a, the labelling m: ® defines a subset C(S/S¢, · a) of S^I called a label translate of C(S/S¢, ), that is,

Lemma 7.3. The label translates of C(S/S¢, ) are the right cosets of C(S/S¢, ) in S^I under the induced group structure.

Proof. We consider the case |I| = 1. For the general case, it follows by considering the coordinates. Let

It follows that C(S/S¢, · a) = C(S/S¢, ) · f(u_a).

The previous results assure us the validity of the following version of Forney's Theorem on the generalized coset codes.

Theorem 7.2. If C(S/S¢, ) is a generalized coset code, then S^I/C(S/S¢, )/(S¢)^I is a geometrically uniform partition chain and the label translate C(S/S¢, · a) of C(S/S¢, ) are geometrically uniform, mutually congruent and have common symmetry group U(C(S/S¢, )) = V.

Corollary 7.1. If C(S/S¢,) is a (translate of a) generalized coset code, then: (a) The Voronoi regions associated with two code sequences s,s¢ Î C(S/S¢,) are congruents; (b) The distance profile DP(s) = {||s - s¢|| : s¢ Î C(S/S¢,)} from a given signal point s Î C(S/S¢,) to the remaining points s¢ Î C(S/S¢,) is independent of s.

Example 7.1. With the notations introduced in Theorem 7.1, we define, for an arbitrary s₀ in ², the signal set S = [15,3](s₀) and the subset S¢ = P(s₀). As a consequence, we have U(S) = [15,3], and U(S¢) = P. From Theorem 7.1, the label group

where we denote

₂ = {1, r₁} . With the notations introduced in Definitions 6.1 and 7.2, the labelling

have the form m(1) = s₀mod P, and m(r₁) = r₁(s₀) mod P. Now, taking I = {1, 2}, we have the natural extension for the labelling

Denoting A² = {(1, 1);(1, r₁);(r₁, 1);(r₁, r₁)}, and considering the label code ₁ = {(1, 1);(1, r₁)}, we have the signal space code:

so s = (s₁,s₂) Î C(S/S¢, ₁) if, and only if, there exists (c₁; c₂) Î ₁ such that s_i Î m(c_i) for i = 1, 2. For the case in consideration, c₁ = 1, and it follows that s Î S¢ × S¢ or s Î S¢ × r₁(S¢). Therefore, C(S/S¢, ₁) = S¢ × S¢ È S¢ × r₁(S¢). In the same way, defining ₂ = {(1, 1);(r₁, 1)} and ₃ = {(1 ,1);(r₁, r₁)}, we obtain the signal space codes C(S/S¢, ₂) = S¢ × S¢ È r₁(S¢) × S¢ and C(S/S¢, ₃) = S¢ × S¢ È r₁ (S¢) × r₁(S¢), respectively.

Example 7.2. Considering the group

and the label group

₁ = {(1, 1, 1); (1, 1, r₁); (1, r₁, 1); (1, r₁, r₁)},

similarly to the previous procedure, the following signal space code is obtained

C(S/S¢, ₁) = S¢ × S¢ × S¢ È S¢ × S¢ × r₁(S¢) È S¢ × r₁(S¢) × S¢ È S¢ × r₁(S¢) × r₁(S¢).

8 Conclusions

Since there are discrete memoryless communication channels of practical interest which may be embedded on surfaces with genus g = 0,1,2, and 3, and in addition to this, the design of geometrically uniform signal sets and codes were extensively considered only for the cases g = 0 and 1. Hence, comes the question: What should be the conditions to be followed in order to design geometrically uniform signal sets and codes when g = 2 and 3? The answer to this question was the aim of this paper where we considered both the concepts of regular tessellations {p, q} and the corresponding full symmetry group [p, q] and its subgroups in the hyperbolic plane which are necessary to the establishment of the extension of the concept of geometrically uniform signal sets, partitions and signal space codes to the hyperbolic plane.

Received: 05/I/03. Accepted: 16/XII/04

#590/03.

• [1] E. Biglieri, Performance Evaluation of Digital Communication Schemes Based on Generalized Concatenation, Politecnico di Torino, Torino, (1991).
• [2] H.M.S. Coxeter and W.O.J. Moser, Generators and Relations for Discrete Groups, Berlin, Springer, (1965).
• [3] P.A. Firby and C.F. Gardiner, Surface Topology, New York, Ellis Horwood, (1991).
• [4] H. Lazari, A Contribution to the Hyperbolic Geometrically Uniform Codes, Ph.D. Dissertation, DT-FEEC-UNICAMP, Feb. 2000 (in portuguese).
• [5] J.D. Lima and R. Palazzo Jr., ''Embedding discrete memoryless channels on compact and minimal surfaces'', IEEE Information Theory Workshop, India 2002.
• [6] R.G. Cavalcante, Performance Analysis of Signal Constellations in Riemannian Varieties, MS Thesis, FEEC-UNICAMP, Brazil, (2002) (in portuguese).
• [7] G.D. Forney Jr., ''Geometrically uniform codes'', IEEE Trans. Inform. Theory, vol. IT 37 no. 5, pp. 1241-1260, Sep. (1991).
• [8] H.A. Loeliger, ''Signal sets matched to groups'', IEEE Trans. Inform. Theory, vol. IT-37, no. 6, pp. 1675-1682, Nov. (1991).
• [9] J.R. Gerônimo, R. Palazzo Jr., S.I.R. Costa, J.C. Interlando and P. Brumatti, ''On the existence of Z₄ × Z₂^k-2-linear binary codes from the nonexistence of Z_2k-linear binary codes'', Preprint.
• [10] A.R. Hammons Jr., V. Kumar, A.R. Calderbank, N.A.J. Sloane and P. Solé, ''The Z₄-linearity of Kerdock, Preparata, Goethals and related codes'', IEEE Trans. Inform. Theory, 40 no. 2, p. 301-319, March (1994).
• [11] S. Katok, Fuchsian Groups, Chicago, University of Chicago Press, (1992).
• [12] W. Magnus, A. Karras and D. Solitar, Combinatorial Group Theory, New York, Interscience, (1966).
• [13] D. Slepian, ''Group codes for the gaussian channel'', Bell Sys. Tech. Journal, v. 37 (1968), p. 575-602.
• [14] G. Ungerboeck, ''Channel coding with multilevel/phase signals'', IEEE Trans. Inform. Theory, vol. IT 28 no.1, pp.55-67, Jan. (1982).

*

This work has been supported by FAPESP, CNPq, and CAPES, Brazil.

Publication Dates

• Publication in this collection
  07 Nov 2005
• Date of issue
  Aug 2005

History

• Accepted
  16 Dec 2004
• Received
  05 Jan 2003