SciELO - Scientific Electronic Library Online

vol.31 issue1Chebyshev polynomials for solving two dimensional linear and nonlinear integral equations of the second kindFundamental solution in the theory of micropolar thermoelastic diffusion with voids author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand




Related links


Computational & Applied Mathematics

On-line version ISSN 1807-0302

Comput. Appl. Math. vol.31 no.1 São Carlos  2012 

A new approach for data transmission system on topological surfaces



João D. LimaI, *; Francisco M. SilvaI; Elmer R.L. VillarealII

IMestrado em Ciência da Computação, Universidade do Estado do Rio Grande do Norte 59633-010 Mossoró, RN, Brazil E-mails: /
IIDepartamento de Ciências Exatas, Universidade Federal do Semi-Árido 59610-090, Mossoró, RN, Brazil E-mail:




This work introduces a new data transmission system in which the main blocks, coding, modulation and channel are designed on a Riemannian manifolds. An intrinsic algebraic structure to the manifolds (surface), the homology group will be used to compose an error corrector code, a partition on the surface extracted from the embedding of a graph, which will compose the modulation design, and the channel design is the result of an association rule applied to the embedded graph.

Mathematical subject classification: Primary: 06B10; Secondary: 06D05.

Key words: modulation, coding, graph embedding, homology group.



1 Introduction

Modulation on Riemannian manifold introduced in the 1960s [13], calledtwister modulation, has been the subject of recent works [1, 9, 14], due to thegood performance presented and of course because of these surfaces which will be the new spaces to be addressed. On a smaller scale, the first proposals for coding on Riemannian manifolds are emerging [2, 8]. The great source of mathematical results achieved in Riemannian geometry has aroused the interest of researchers in the search of new projects of modulations and codification.

In this work, the main components of a data transmission system, the coding, modulation and the channel, will be offered on a Riemannian manifold from an embedding of a graph. As these components are connected by an embedding of a graph, the relation is called compatibility. The data transmission system in which the coding, modulation and channel are compatible among themselves and called of integrated system.

There are many algebraic structures existing in the Riemannian manifolds theory that can be used to compose error corrector codes, however, the homology group is the more natural and is related to the embedded graph [8]. To meet the compatibility relation, we are presenting this structure as a component of a compatible code which attends to the pattern of an integrated system.

The logical principles in which the relations of compatibilities among coding, modulation and channel have been established and their respective geometric constructions that gave rise to the definitions of these components are showed in Section . The integrated system definition and a brief comment on the performance are discussed in Section 2. The identification process of compatible modulations is described in Section 3. An example of compatible code, which give information on the integrated system performance is the topic of Section 4. The complete process of the integrated system components' identification will be discussed in Section 5. The conclusions are in Section 7.


2 Compatibility concepts

Aiming to introduce the compatibility concepts, it is assumed that a data transmission system uses an alphabet m-ary, indicated by set m, where m is apositive integer, to transmit data through a discrete memoryless channel, DMC, with m-ary input and n-ary output, denoted by Cm,n. The labeling of the graph vertices, symbols and codewords of this system are represented through a trellis Φ, which section is a sub graph of the complete graph Km,n. A particular case of this representation is shown in Figure 1. Note that the sequence γ = (0, 2, 2, 1, 0) corresponds to a codeword u = (02 22 21 10), it is defined on a channel C4,4. Thus, γ is associated to a connected path of the trellis. The connectivity of the path, results from the fact that a bit information is sent by channel in each interval, condition represented by the trellis. As consequence,every source coding sequence or every codeword are represented by a connected path on the trellis.



Observe that γ1 = (2, 1, 1, 2, 1, 0) and γ2 = (1, 3, 3, 3, 0) sequences correspond, respectively, to codewords v = (21 11 12 21 10) and w = (13 33 30), but we can not consider those as codewords coming from trellis Φ. The transition 12 in v is not a trellis edge, and w is not defined on a connected pathof the Φ.

2.1 Compatibility between coding and channel

In the trellis Φ are observed two properties: (I) every sequence on the channel C4,4 it will be formed by elements of 4; and (II), if the channel transition ofthe vertices i to vertices j is represented by ij, then C4,4 does not have the transitions 03, 12, 20, 31. Thus, it makes sense to use these two conditions to introduce the concept of compatibility between coding system and channel. To do so, let m be the input of the alphabet and output of the channel Cm,m.

Definition 2.1. It is said that a coding is compatible with the channel Cm,m if every codeword u contains only elements of m and the whole subsequence ij of u is one transition of Cm,m. Otherwise, we said that coding and channel are incompatible.

If a codeword u satisfies the Definition 2.1, it is easy to see that u is represented by a unique connected path on the Cm,m trellis, important condition that establishes the uniqueness of the codewords. The compatibility between source coding and channel depends on only the properties (I) and (II). It was observed that linear, blocs and convolutional codes, among others, are important code classes compatible with channels. As it is known that, codewords of linear codes are generated from operations on a generator matrix, then by Definition 2.1, every set of sequences of m associated with connected paths of the trellis are considered a code compatible with a channel Cm,m. As there are sets that do not come from linear structures, the compatible code classes incorporate other classes of different codes from linear codes. It will be seen later that exists a natural structure of linear code related with this process.

2.2 Compatibility between modulation and channel

The natural representative of a discrete memoryless channel Cm,n is a bipartite graph Km,n or a sub graph that one. In both cases, a modulation project is necessarily a metrical space partitioned in n decision regions (or Voronoi regions), where signal is present in the center each respective region. One way that such partitions can be obtained is through the dual embedding of 2-cells of bipartite graph Km,n. While the embedding condition implies the uniqueness of thechannel transitions, the 2-cell embedding implies the uniqueness of the partition. This condition was established by Dyck [4] and later proved by Youngs [12] through the following enunciate.

Theorem 2.2. There is an one-to-one correspondence between rotation system of the graph G and its embeddings on orientable surfaces.

Our purpose is to obtain a modulation project on the metric space that accurately represents the channel transitions and has well defined the Voronoi regions. This is possible if and only if the project is realizable on a surface coming from a graph embedding.

The idea to obtain a modulation project associated with a DMC coming from Lima-Palazzo's work [8]. Later Lima-Lima [7] has showed that is possible to obtain this project through an embedding of a complete graph. A recent analysis in the Lima-Lima's work by Lima-Matias [5], has showed that association process can be simplified and established through any connected graph.It is not a trivial process, it evolves concepts of orientable graph and its dual.

2.3 Association process

The process established by Lima-Lima-Matias consists in taking a connected graph Gp,q, embedding it on a surface Ω as 2-cells embedding, constructing the dual embedding, and to define two modulation projects called quadrature amplitude modulations on surface (QAMS). To be more specific, let's suppose that the embedding is of form

where Rα represents a region of α edges defined by sequence γ = (γ1, γ2, ..., γα) called orbital sequence. In the orbital sequence γ, γi {0, 1, ..., p - 1}, corresponds to the vertex vγi of G, and γ defines the closed path on surface Ω corresponding the region frontier Ra. Furthermore, the dual embedding of G is given by . As a modulation project for a constellation of m signals might divide the metric space (Ω, δ) in m Voronoi regions, in particular, we have two partitions on Ω: the embedding partition in k regions , and the dual partition in p regions . So, we have two projects of modulation, the modulation k-QAMS coming from embedding of Gp,q, and dual modulation p-QAMS. Of course there are modulations for k and p signals, respectively. Once that the signals of the constellation are associated to points of Ω, k signals of k-QAMS correspond to the k vertexes of dual G', and p signals of p-QAMS correspond to the p vertexes of G. Finally, we might associate the channels Ck,k and Cp,p to modulations k-QAMS and p-QAMS, process that will be described following.

2.4 Channel compatible with a modulation

In the Heawood's description process [11] of the graph embedding , the partition is obtained through the orientable graph (or digraph). In this process, an orientation on vertexes of G defines k regions of partition (Voronoi regions of k-QAMS). But on the digraph G, each edge e = (vi, vj) contains its inverse e-1 = (vj, vi), and so, each edge e = (vi, vj) of G defines two transitions on the channel Ck,k, and each edge e = (vh, vk) of dual G' defines two transitions on the channel Cp,p. Thus, we can define a channel Ck,k compatible with a modulation k-QAMS, for this.

Let be a 2-cells embedding of a graph G, and , is a dual embedding. Suppose that A = {s0, s1, ..., sk - 1}and A' = are the respectively alphabetic symbols used in the channels Ck,k and Cp,p.

Definition 2.3. It is said that the modulation k-QAMS (p-QAMS) is compatible with the channel Ck,k (Cp,p), if each edge e = (vi,vj) (e' = (vh,vk)) of the graph G (G') defines two transitions (si,sj) and (sj,si) ((sh,sk) and (sk,sh)) of the channel Ck,k (Cp,p).

If a modulation m-QAMS and a channel Ck,k satisfy the condition of Definition 2.3, it still will said that the channel Ck,k is compatible with the modulation k-QAMS.

In this process it is has been considered a discrete memoryless channel. The 2-cell embedding can even be used in this kind of project, it is missed only the condition of uniqueness, because exist identical modulations coming from distinct embeddings. But it is impossible discard the embedding condition, therefore, there would not be uniformity of channel transitions. A modulation is the process to broadcast a signal, but here, we are going to consider the modulations as a space metric (Ω, d) with a region partition Rα (where Rα is an α-gon) on Ω, denoted by Ξ = (Ω, d, Rα). By Theorem 2.2, the modulation Ξ compatible with channel Cm,n is well defined by rotation system of complete graph, Θ(Km,n). If the objective is to describe a modulation relating to its all components, then we write

Ξ: Km,n(Θ) Ω Rα

A modulation m-QAMS is compatible with a channel Cm,m, when the rotation system Θ and the 2-cells embedding are fixed. From the algebraic point of view, it is always possible to identify the kind of regions, genus surface and the own partition, but, the topological embedding is highly complex. In this work, it will be seen some non trivial examples.

In Figure 2, trellis section consists in a graph K4,4(8, 9) associated to the channel C4,4, which the rotation system is given by

Θ (K4,4) = {0(135), 1(062), 2(137), 3(042), 4(357), 5(04), 6(17), 7(264)}.



This partition embedding is composed by a single region 22-gon defined by orbital sequence γ = (1, 0, 3, 4, 5, 0, 1, 6, 7, 4, 3, 2, 7, 6, 1, 2, 3, 0, 5, 4, 7, 2). It is a maximal embedding on bi-torus of the kind K4,4(8, 9) 2T R22. As is not used modulation for one signal, only dual modulation is defined. As K4,4 has 8 vertexes, the dual modulation is the form 8-QAMS, each decision region is composed by 1-gon. To better understand this process, we will see the next example. Choosing other rotation system for graph K4,4(8,9), for example,

Θ' (K4,4) = {0(135), 1(026), 2(137), 3(024), 4(357), 5(04), 6(17), 7(264)}

(see Figure 2(a)), we obtain a different embedding K4,4(8, 9) T 2R6+ R10 defined by sequences γ1(0, 3, 2, 7, 6, 1), γ2(0, 5, 4, 3, 2, 1) and γ3(3, 5, 4, 7, 2, 1, 6, 7, 4) (see Figure 2(b-c)). The dual embedding is given by K'(3, 9) T 2R2 + 6R3, and defined by dual γx0(1, 0, 2), γy0(1, 2, 0), γx1(1, 0, 2),γy1(1, 2, 0), γx2(1, 0, 0), γy2(1, 0), γx3(0, 2) e γy3(0, 2, 0) (see Figure 2(c-e)).

In Figure 2, embeddings (b) and (c) correspond to the planar and spacialtopological projects of modulation 3-QAMS on the torus for a constellation of three signals which decision regions are defined by orbital sequences γ1, γ2, γ3. Its compatible channel C3,3 is shown in Figure 3(a). Embeddings (d) and (e) of the Figure 2 correspond to the planar and spacial topological projects of dual modulation 8-QAMS on the torus for a constellation of eight signals which decision regions are defined by orbital sequences γx0, γy0, ..., γx3, γy3. Its compatible channel C8,8 is shown in Figure 3(a). The embeddings of K4,4 (8,9) and their dual, shown in Figure 2, represent the complete steps of a topological modulation projects 3-QAMS and 8-QAMS compatible with the channels C3,3 and C8,8 which associated graph was fixed by rotation in (a). The plane model in (b) illustrates the partition on the torus caused by embedding of K4,4 and its dual. The dual graph partition embedding together is shown in (e). The constructions (b) and (d) are very important because they are necessary to construct the modulation on torus, through its parametric equation, and to lead the problem to the Riemann Geometry environment. Finally, (c) and (e) show the spacial models corresponding to the embeddings (b) and (d). The goal of these constructions is to verify that topological modulation is compatible with channel which can be constructed on a topological riamannian manifolds.



It is observed that, the channel Ck,k compatible with modulation k-QAMS is defined on the dual partition from an embedding of graph

But Km,n and its dual, are both embeddings in Ω and is a dual in another. On the other hand, if the dual defines the modulation p-QAMS compatible with the channel Cp,p, this is, defined on the graph Gp,q. Thus, embedding of Km,n defines a compatible modulation, called directed compatible modulation with Cn,n. Sometimes we will call dual compatible modulation to refer the compatible modulation coming from the dual embedding. Despite of the compatible modulation on the embedding partition is not always uniform, the dual always will be, if the vertices degree of the associated channel is considered satisfying a determined condition.

Proposition 2.4. Let be a 2-cells embedding of graph G. If Ck,k and Cp,p are DMC channels compatible with modulations k-QAMS and p-QAMS, then are true the followings affirmations:

(i) For all k, γ(Gp,q) < m < γM(Gp,q), there are directed and dual compatible modulation in mΩ.

(ii) The directed and dual compatible modulations are modulations on Ω for a constellation of k and p signals, respectively.

(iii) The dual compatible modulation is uniform if, and only if, all vertices of Gp,q have the same degree.

Proof. The affirmation (i) follows by Theorem 2.2, (ii) is an embedding partition consequence and dual definition, and (iii) is due the number of edges of one dual region, the vertex degree in its inner, as the uniform modulation, all regions have the same number of the edges.

By Proposition 2.4, it follows that dual modulations coming from complete graph Kn and bipartite complete graph of the form Kn,n, are uniform modulations.


3 Data transmission integrated system

In the Definitions 2.1 and 2.3, we have the necessary conditions that we have been looking for to define data transmission system to our interest.

Definition 3.1. We said that a data transmission system is an integrated system (IS), if the coding and the modulation projects are compatible with the channel.

It is still said that in the IS, the coding, modulation and channel are compatible among themselves. In the IS block model shown in Figure 4, the combination m-ary input in the modulator, the physical channel, and the n-ary output in the demodulator are modeled as a discrete memoryless channel (DMC), denoted by Cn. The modulation design come from the partition of 2-cells embedding of the complete graph Kn in the surface Ω3.



It's known [8] that the modulation efficiency depends on the genus and uniformity degree α (number of regions of the same kind), additionally, it is shown in [7] that they still depend on the number of edges of the regions. The identification of these parameters is very important in order to know the IS performance. In Figure 5 Pe(α) indicates the error probability in IS when is used an uniform modulation of degree α. In IS, the metric spaces can be considered the same or not [1]. About the compatibility conditions in Definitions 2.1 and 2.3, there are relations one-to-one among coding, modulation and channel, since these are directly related to the channel. This gave us the assurance that IS, in terms of implementation, is the one which has the lowest complexity, since there is no need to introduce additional devices of incompatibility control. Furthermore, someone should consider that the project is done on a Riemannian manifold, space that offers some options for projects with interest properties [1].



4 Identification process of compatible modulations

We notice the existence not only of a unique compatible modulation with a channel, but a whole compatible modulations set. Although this set was for a finite number of elements, which it grows quickly with increasing signs and channel transitions, it follows the more important topological invariants and results used in the identification process of the IS components.

If V(G) is set of the vertices of G and deg(v) is the degree of the vertex v V, then it is easy to verify that graph G has

If v, e and f are, respectively, the vertex, edges and regions number, then the Eüler's characteristic of the surface Ω is given by

The genus g and of the orientable Ω and non-orientable surfaces, in relation to the χ(Ω), are given by

Let {x} be the smallest integer greater than or equal to the number x. The minimal genus of the orientable surface [11] is given by

Let [x] be the greatest integer less than or equal to number x . The maximal genus of the orientable surface [10] is given by

The following theorem [3] gave the orientable surfaces set where is presentin the compatible modulation with a channel Cm,n.

Theorem 4.1. If G has 2-cell embeddings on surfaces of genus m and n, then for every integer k, m < k < n, G has a 2-cell embedding on the surface of genus k.

For example, if we take the bipartite complete graph K4,4, what would be modulations coming from embedding of K4,4 and their compatible channels? The first step of the identification process is to choose one of the four surfaces families: Non-orientable and orientable with and without component boards. It will be identified modulations for the two cases of surfaces without boards.

4.1 Compatible modulations on orientable surfaces

In relation to the orientable without board case, the equality (1) shown that K4,4 has 1 679 616 rotations. Then there are 1 679 616 options to choosea rotation, but, not all the partitions are distinct, then it is possible to find them. By equalities (4)-(5), it is deducted that minimal and maximal embeddings of K4,4 it has been found in surfaces of genus γ = 1 and γM = 4. So, by Theorem 4.1, orientable surfaces set to the K4,4 embeddings is given by (Km,n) = {T, 2T, 3T, 4T}. On the other hand, K4,4 has 16 edges, the regions of the K4,4 Ω have 32 edges and embedding regions of K4,4 only contain an even number of the edges larger than or equal to four. These affirmations conclude that 2-cell embeddings of K4,4 must necessarily be listed in the Table 2, where partition of mT is the same of 2mP. The notation Ra1,a2,...,ak used in Table 2 indicates the embedding partition of Km,n in k regions with a1, a2, ..., ak edges.





An attribute of great interest in a modulation is its uniformity or, equivalently, the condition: Voronoi's regions are all congruent. Condition equivalent to the geometrically uniform signal space, here, correspondents to the embeddings with regions of the same kind, as examples, the partitions 8R4 of T and 4R8 of 3T.

The Theorem 4.1 gave us the guarantee for the existence of, at least, an embedding with element of . Soon, we do not have doubt that the minimal embedding K4,4 T 8R4 exists, an example of uniform compatible modulation. We still check the existence of the regular embedding K4,4 3T 4R8, other important example of regularity. These examples illustrated in Figure 6 shows that Km,n embeddings are a rich source of uniform compatible modulation. It is observe that directed and dual modulations coming from minimal embedding K4,4 are equals. This one is an uniform modulation for a constellation of 8 signals, with Voronoi's regions of the kind 4-gon. Its dual graph and compatible channel is the same kind of channel in Figure 7(c). And 3-tory one, directed compatible modulation have 4 signals, with Voronoi's regions of the kind 8-gon. Dual graph (a) and compatible channel (b) is shown in Figure 7. Dual compatible modulations are uniform modulations for a constellation of 8 signals with decision regions of the kind 4-gon (see its channel in (c)). It is showing that geometrically uniform signal space is not privilege only of hyperbolic spaces.





An embedding of a graph G, and thus, its compatible modulations, are determined by a rotation system Θ of G, dual embedding, and sets of orbital sequences of embeddings of G and dual G'. This process can be realized only with algebraic resource, using a algorithm descriptor of embedding [6]. (See algebraic description process in Table 1).

In Table 1, the notation (1573)0 used in second column corresponds to the rotation of the vertex 0, (1254)1 used in the 3rd column indicated the orbital sequence γ1 on the torus, and Ξ indicated the partition. It was verified even that the R6,6,8,10 is the unique partition of the Table 2 non existent in one orientable embedding of K4,4 [5]. It would be this partition in a non orientable embedding of K4,4?

4.2 Irregular compatible modulation with C4,4

In Table 2, most of the embeddings of K4,4 are irregulars. Using the embedding method through homology curves incises [8], plane (b) and space (a) modelsof a compatible modulations with K4,4 are illustrated in Figure 8. This is an embedding of the form K4,4 3T R4,6,6,16 (see plane model in (a)). It can be used as a non-uniform directed compatible modulation project for constellation of 4 signals, where decision regions R4, R6, R6, R16 correspond orbital sequences γ1(4563), γ2(052743), γ3(012367), γ4(1032541650721476), respectively, and an uniform dual compatible modulation for constellation of 8 signals coming from dual partition K4,4 3T 8R4 (see embedding (e)), witch decision regions are defined by γ1(4243), γ2(4434), γ3(4432), γ4(1324), γ5(1244), γ6(1424), γ7(1443), γ8(2434).

It is concluded, therefore, that each embedding of K4,4 defines two compatible modulations: that directly coming from the embedding partition and the dual partition. Despite of the compatible modulation on the embedding partition of the graph G is not always uniform, the dual always will be, if the vertices degree of G are equals. For example, when G is the complete graph or bipartite complete graph.

4.3 Compatible modulation on non-orientable surfaces

The identification process of modulation on non-orientable surfaces is similarto the orientable case. The difference is the variation of Eüler characteristic,it is of two in two unities in the orientable case and one to one it is the non-orientable case. As consequence, there are partitions in non-orientable surfaces that are not found in an orientable embeddings.

An orientable surface has been represented by a connected sum of g tory, denoted by gT. Similarly, a non-orientable surface it will be indicated by a connected sum of projective planes P, denoted by P. Taking into account the fact that the embedding of K4,4 only has regions of the kind 2k-gon, k > 2, and sum of the region edges is 32, it is concluded that directed compatible modulations with the channel C4,4 in non-orientable surface are as the related models in Table 2.

Observe that partitions of non-orientable embeddings are always the same of the orientable embeddings always is an even number, and in the cases where is odd, the number of partitions is still quickly greater than the orientable partitions. So the non-orientable embeddings of K4,4, when compared to orientable case, is a modulation source with more than double of elements of the orientable case, can have the same kind of partitions and present differentoptions of embeddings and regularities. In relation to topological projects, these can be constructed with same difficulty degree of orientable embeddings, as shown the Figure 9. A compatible directed modulation with the channel C12,12[4, 4] is illustrated in (a). In the graph K6,6, deg v = 4 and rotation is given by

Θ = {0(1, 3, 11, 9), 1(0, 10, 2, 4), 2(1, 11, 9, 5), 3(0, 4, 6, 8), 4(1, 5, 7, 3), 5(2, 6, 8, 4), 6(3, 7, 9, 5), 7(4, 8, 10, 6), 8(5, 3, 11, 7), 9(6, 10, 0, 2), 10(9, 7, 11, 1), 11(10, 8, 0, 2)}.



The plane model in (b) and spacial model in (c) represent homeomorphic embeddings corresponding to the partition K6,6(12, 24) 2P 12R4, is so an example of a compatible uniform modulation on a non-orientable surface of genus 2, the Klein's bottle, of the same homeomorphis class of the surface 2P. As the dual is equal to the own embedding, directed and dual compatible modulation are identical. This is a very important example because it is possible to be realized, a Differential Geometry level, through its parametric equations.


5 Homology group and compatible code

It has been seen that a compatible code with a DMC can be taken in different ways. The more natural way to do this choice [8] is that it should be through the homology group. The reason is because this group can be determined, when the Betti's method is applied from a triangulation obtained from a graph embedding. Thus, the proposal is to establish a compatible linear code extracted directly from the calculus process of homology group via Betti's method. In this sense, it is known that homology group of orientable and non-orientable surfaces isgiven by

where is the additive group of the integers, 2 is the binary group and is a directed sum of with its own.

A strong reason for choice the homology group structure as an error-correcting code provider, beyond the uniqueness of this one, are the facts of the 2-cells embedding introduce a unique modulation and the rotation system provide a unique channel, conditions in which the own IS is determined by a unique way. Moreover, the Betti's method determines the homology group through linear system which is associated to the matrix that can be used as an error-correcting code generator, similarly to linear codes. The idea is to identify and analyzethe correct error capacity of these structures.

Suppose the graph Km,n is embedding on the surfaces 2T and 4P, as a 2-cells embeddings. It is easy to construct the triangulation on these embeddings. Thus, let be a triangulation or a simplicial complex on Ω. But is a triangulation with many edges, which makes the homology group calculation more laborious. As the homology group is independent of the triangulations , this calculus can be minimized using the central triangular diagrams (CTD) [8]. For surfaces 2T and 4P the CTD are shown in Figure 10.



From Betti's method, the first homology group, indicated by H1(Ω), of the surfaces 2T and 4P are given, respectively, by solutions of the linear systems

and using the fields 2 and 3 it follows the matrices

Therefore, G(Ω) is a binary matrix and G() is a 3-ary matrix. These properties will be used to obtain the linear codes in orientable and non-orientable surfaces, coming from homology group, with algebraic structures in the fields 2 and 3 and patterns of a IS. Then, considering G(2T) as a generated matrix of an error-correcting code, it has a binary linear code (C1, 4, 9) with source sequences and codewords of lengths 4 and 9, respectively. Similarly, it is deduced that matrix G(4P) generates a 3-ary linear code (C2, 6, 9). These structures of codes are formalized bellow.

Definition 5.1. Let Km,n Ω a 2-cells embedding of the graph Km,n, and Ξ(Ω) the CDT on Ω. It is called compatible generalized code, the linear code (H, s, t) generated by matrix G(Ω)s×t, obtained from linear system H1(Ω).

The demands imposed are: the linear independence of the G(Ω) lines and, to effect of correcting errors, the lines corresponding to the variables z2g+2 e z6g-4 are eliminated. Of course, these last conditions can be refused since they are not lost on condition of linear independence. The parameter s tells us the source code is a linear subspace of the space with 2s elements and sequences of lengths s. The parameter t indicated the code is a linear subspace of the space with 2t elements and codewords of lengths t.

Remark 5.2. If Ω is a compact surface of genus g, then 2g-gon Ω, and all vertices of the boundary of the orientable polygon 2g-gon are transformed into a single vertex, after the geometric realization of 2g-gon in Ω. This propertyis essential to proof the follow affirmation.

Proposition 5.3. The CDT Ξ(Ω) satisfies the following properties:

a) The maximal tree on Ξ(Ω) is composed by a unique 1-simplex (red edges in Figure 10).

b) Ξ(Ω) is composed by 6g 1-simplexes, if Ω gT or Ω P where = 2g.

c) The system of the homology group presentation H1(Ω), from Ξ(Ω) is composed by 4g trivial relations, being two of two terms and the rest of three terms.

d) The system H(Ω) contains 4g - 2 trivial relations and 6g - 2 variables.

e) H(gT) has two equivalent lines to the trivial relations z2g+4 0 and z6g-4 0.

f) The rank of the matrix G(Ω) is 2g if Ω gT and - 2 if Ω P, = 2g.

Proof. Suppose that the maximal tree A has another 1-simplex ej different of e12. If ej is an edge on the boundary of the 2n-gon, then ej is a loop of Ω. If ej is a ray of the 2n-gon, then, by Remark 5.2, ej and e12 have two interceptions, in the center and on the boundary, and so A has a loop. Both on this case, A would not be a tree, which proofs the affirmation a). As = 2g, then, both the surfaces gT and 2gP present polygonal forms 2g-gon. So its respective CDT Ξ(Ω) has g different 1-simplexes on the boundary and 2g 1-simplexes in the interior of 2g-gon, a total of 6g 1-simplexes, which proves b). In the Betti's method, each trivial relation ri comes from a 2-simplex or triangle ti, and by one property known [8], the number of the ri terms are equal to the number of 1-simplex in ti that does not belong to maximal tree Ξ(Ω). As only there are two 2-simplexes of Ξ(Ω) has 1-simplex on A, it follows affirmation c). The number of system variables H(Ω) is equal to the number of 1-simplex, i.e., 6g and H(Ω) is obtained replacing the two trivial relations of two terms in two of three terms. As each replacement missed one variable, then H(Ω) is formed by 4g - 2 trivial relations and 6g - 2 variables, which proof d). The affirmation e) was checked during the resolution of homology groups, including the solution on CDT of a generic surface. In particular case of H(2T), he have

Notice that the 3th and 4th lines in the second matrix above are identical andboth indicate that z8 = 0. For the coding purpose, this type of line does not cause any effect, therefore their exclusion, amongst with variables which contain the null columns in the composition of the generator matrix of compatible code. Therefore, the generator matrix of compatible code on 2T, instead of 6 × 10,it is a matrix of order 4 × 9 (in 2, it is equal to the matrix G above). The affirmation f) result of the equality (6), a classic theorem of the homologygroups of the algebraic topology.

Constructing the DTC for generic surface Ω and its corresponding generate matrices G(Ω), it is possible to conclude that, for all embedding Km,n Ω, exists a unique generalized code compatible G on a Riemann manifold Ω which the graph associated to the channel Cm,n has a 2-cells embedding.

Theorem 5.4. If is a 2-cells embedding, then exists a unique binary generalized code H, if Ω gT, or a unique 3-ary generalized code , if Ω gT, compatibles with Ck, defined by following parameters,

Proof. By Definition 5.1, the generate matrix G(Ω) of code H coming from a matrix H(Ω) associated to the coefficients of a simplified system of trivial relations with three terms, obtained from the presentation of the homology group of Ω, through Betti's method. As G(Ω) is obtained through fundamental operations, then G(Ω) is equivalent to H(Ω) and so the code generated by G(Ω) is a unique binary code. If Ω gT, by Proposition 5.3(d), H(Ω) has 2g - 2 trivial relations and and 6g - 2 variables. As G(Ω) is the matrix of the coefficients of H(Ω) by eliminating two from the line of this one, it following that G(Ω) is a binary matrix of order (4g - 4) × (6g - 3). In an analogous way, it is conclude that G(P) has a 3-ary matrix of order (2g - 2) × (3g - 3). As the order s × t of G(Ω) defines the parameters (H, s, t) of a linear code, which provesthe equalities (8).

Corollary 5.5. Dual code of a generalized code compatible with a channel Cm+n is of the form:

Proof. Directed consequence of the dual code and Theorem 5.4.

As examples, the generalized codes (H1, 4, 9) e (H2, 6, 9) above, relatives the generated matrices G(2T) e G(4P), have as dual codes (H1, 5, 9) e (H2, 3, 9), respectively.


6 Identification process of IS components

In the case of bipartite complete graph, the main components of IS, the modulations, coding and channel, are obtained through the followings steps.

6.0.1 Surface sets

Equalities (4) given the genus γ of the minimal orientable embedding of Km,n. (The minimal non-orientable embedding satisfies the condition = γ or = γ+ 1). Thus, by Theorem 4.1, the orientable and non-orientable surface sets for embeddings of Km,m are given by

where γM and M are the orientable and non orientable maximal genus of Km,n.

6.0.2 Modulation models

It is determined the Eüler characteristic χ(γT) by equalities (3) and the region number τ of the minimal embedding (equalities (2)). As the regions of a Km,n embedding partition have 2mn edges and one region is the form R2k, k > 2, the modulation models are composed by all possible combinations of partitions such that

In the non-orientable case, is determined the partitions such that = , + 1, + 2, ..., 3, 2, 1, where is the region number of the non-orientable minimal embedding.

6.0.3 Compatible code

Equalities (8) given an algebraic structures for composition of correcting-codeerror, Theorem 5.4 provides the generalized code compatible with channel Cm,n, and Corollary 5.5 provides the dual code.

As an application of the method we consider the IS components compatible with channel C4,4 identified in the Table 3. The elements of the associatedgraph K4,4 are: v = 8 and e = 16.



By equalities (4) and (1), we have

Then, the orientable embedding surface sets is (K4,4) = {T, 2T, 3T}, non-orientable embedding surface sets is (K4,4) = {2P, 3P, ..., 8P} (2nd column) and the these partitions are related in the 3rd column. The 4th column indicates the number α of the regions which it is constant in each surface. In the lastthree columns are the structures of compatible codes.

The generalized codes on the sphere and torus are degenerated cases. ByTheorem 5.4, only dual code is defined on the torus. Indeed, generalized codes are more appropriated for surfaces of large genus. As H1(S) = 0 the sphere is the unique case where the code coming from homology group is degenerated.


7 Conclusion

The integrated system is an ambitious idea, which intends to integrate the three main components of the data transmission system: codification, modulation and channel. In this first approach, the goal is to establish mathematic definitions considering the dependence relations of these components. In principle, the aim is to design a new data transmission system more efficient than the currently used. However, many other advantages are observed. The topological invariants such as orientability, genus, border component and partition, provide quick answers to questions about the modulation efficiency. It is not different with homology group. It is an important algebraic invariant which gives quick answers related to probably code class that could be projected in metrical spaces, such as Riemannian manifolds. The initial project, the topological constructing and identification of IS components, already has been solved in this work. The final project, has found in Algebraic Topology environments and Riemann's Geometry, recognized as promising areas for the communication problem. For further works, the proposal for the suggestions is to development embedding methods, constructing modulations that have been identified in this work (or new projects) using Riemann's Geometry tools and Algebraic Topology, and using the invariants as efficiency analysis instrumentsof the data transmission system.

Acknowledgements. Our warmest thanks go to Dr. Reginaldo Palazzo Jr.,from State University of Campinas - Brazil, as well as to the anonymousreviewers for their important comments and suggestions.



[1] R.G. Cavalcante, H. Lazary, J.D. Lima and R. Palazzo Jr., A new approach to the design of digital communication systems. Series in Discret Mathematics an Theorical Computer Science, (2005), 145-177.         [ Links ]

[2] R.G. Cavalcante, H. Lazary, J.D. Lima and R. Palazzo Jr., Coset space approach for the design of geometrically uniform codes in homogeneous spaces. In: XVIII Escola de Álgebra, 2004, Campinas. Anais da XVIII Escola de Álgebra. Campinas, (2005), 1-26.         [ Links ]

[3] R.A. Duck, The genus, regional number, and Betti number of a graph. Canad. J. Math., 18 (1966), 817-822.         [ Links ]

[4] W. Dyck, Reitrage zur Analysis Situs. Math. Ann., 32 (1888), 457-512.         [ Links ]

[5] J.D. Lima and E.V. Matias, Modulation for signal constellations on Riemannian manifolds: associated channel and performance measure. Master Dissertation, Computer Science Mester, University of the State of the Rio Grande do Norte, Brazil, (2011). (in Portuguese).         [ Links ]

[6] J.D. Lima, L.P.R.C. Lima and W.C.D. de Melo, Modulation for large signal constellations comming from embedding of complete graph, in ITS 2010 - VIIInternational Telecomunications Symposium, 2010, Manaus - AM. Proceedings of ITS 2010 - International Telecommunications Symposim. Rio de Janeiro - RJ: Sociedade Brasileira de Telecomunicações, 32 (2010), 1-5.         [ Links ]

[7] L.P.R.C. Lima, Modulation projects on topological surface associated to thediscrete memoryless channels: a solution for the integrated system. Master Dissertation, Computer Science Mester, University of the State of the Rio Grande do Norte, Brazil, (2009). (in Portuguese).         [ Links ]

[8] J.D. Lima, Identification and algebraic structure of compact surfaces with and without borders derived from embedding of discrete memoryless channels. Doctoral Dissertation, School of Electrical and Computer Engineering, State University of Campinas, Brazil, (2002), (in Portuguese).         [ Links ]

[9] H.M. Oliveira, D.R. Oliveira and R.M. Souza, A unit quaternion-based spherical trigonometry and a new two-carrier phasequadrature quaternion modulation system. XXIX Simpósio Brasileiro de Telecomunicações - SBrT 2011, Curitiba, Paraná, (2011), 0-5.         [ Links ]

[10] R.D. Reigensen, Determining all compact orientable 2-manifolds upon whichKm,n has 2-cell embeddings. J. Combinatorial Theory, 12 (1972), 101-104.         [ Links ]

[11] G. Ringuel, Das Geschlecht des vollständigen paaren Graphen. Math. Sem.Univ. Hamburg, 28 (1995), 139-150.         [ Links ]

[12] J.W.T. Youngs and F. Ciryl, Minimal imbeddings and the genus of a graph. J.Math. Mech., 12 (1963), 303-316.         [ Links ]

[13] J.M. Wozencraft and I.M. Jacobs, Principles of Comunication Engineering, 1st Edition, New York, (1966).         [ Links ]

[14] Y. Wang, F. Alajaji and T. Linder, Hybrid digital-analog coding with bandwidth compression for Gaussian source-channel pairs. IEEE Transactions on Communications, 57 (2009), 997-1012.         [ Links ]



Received: 13/III/11.
Accepted: 23/VIII/11.



* Corresponding author is supported by MCC-UERN-UFERSA.

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License