Abstract
We consider the use of surfaces as topological spaces in order to provide an answer to the quantization problem of a discrete memoryless channel (DMC). The aim is to identify the geometric and algebraic properties of the surface associated with the embedding of such a DMC. The procedure is based on the following steps: knowing the complete bipartite graph associated with a given DMC: (1) to determine the minimum and the maximum genus of the corresponding surfaces in which the given graph is embedded; (2) knowing the genus, to specify the roots as the elements of a Farey sequence of a planar algebraic curve; (3) to determine the solutions of a second-order Fuchsian differential equation as the generators of the corresponding Fuchsian group. We consider the cases of the hypergeometric and Heun equations, with three and four regular singular points, respectively. By means of this procedure, the fundamental region associated with the Fuchsian group is identified and this is the region where the planar algebraic curve is uniformized. A generalization of the quantization problem related to an m-ary input n-ary output symmetric channel viewed as a complete bipartite graph \(K_{m,n}\), by use of the embedding of this channel in compact surfaces is straightforward.
Similar content being viewed by others
References
Alves AF (2011) Analysis of edge-pairings of hyperbolic polygons for the construction of geometrically uniform signal constellations. Doctoral Dissertation, FEEC-UNICAMP (in Portuguese)
Beardon A (1983) The geometry of discret groups. Springer, New York
Cavalcante RG (2008) Analysis of the influence of the space curvature in communications systems. Doctoral Dissertation, FEEC-UNICAMP (in Portuguese)
Cavalcante RG, Lazari H, Lima JD, Palazzo R Jr (2005) A new approach to the design of digital communication systems. In: Ashikhimin A, Barg A (eds) Discrete Mathematics and Theoretical Computer Science—DIMACS Series, vol 68. American Mathematical Society, USA, pp 145–177
de Oliveira A (2017) Uniformization of algebraic curves associated with Farey sequences by Fuchsian ODEs for the design of new communication systems. Doctoral Dissertation, FEEC-UNICAMP (in Portuguese)
Firby PA, Gardiner CF (1991) Surface topology. Ellis Horwood Limited, England
Ford L (1957) Automorphic functions. Chelsea Publishing Company, New York
Iamayoshi Y, Taniguchi M (1999) An introduction to Teichmüller spaces. Springer, Berlin
Katok S (1992) Fuchsian groups. University of Chicago Press, Chicago
Kristensson G (2010) Second order differential equations—special functions and their classification. Springer, New York
Lazari H (2000) A contribution to the hyperbolic geometrically uniform codes. Doctoral Dissertation, FEEC-UNICAMP (in Portuguese)
Lazari H, Palazzo R Jr (2005) Geometrically uniform hyperbolic codes. Comput Appl Math 24:173–192
Leskow L, Palazzo R Jr (2011) Construction of hiperbolic fundamental regions for source coding applications. In: Brazilian conference on dynamics, control and applications, pp 462–465
Lima JD (2002) Identification and algebraic structure of compact surfaces with and without borders derived from embedding of discrete memoryless channels. Doctoral Dissertation, FEEC-UNICAMP (in Portuguese)
Lima JD, Palazzo R Jr (2002) Embedding discrete memoryless channels on compact and minimal surfaces. In: IEEE information theory workshop, pp 183–186
Massey JL (1974) Coding and modulation in digital communication. In: 1974 Zurich seminar, pp E2(1)–E2(4)
Massey WS (1977) Algebraic topology: an introduction, 5th edn. Springer, New York
Menezes AJ, Wu Y, Zuccherato RJ (1996) An elementary introduction to hyperelliptic curves. Technical Report CORR 96-19, pp 1–34
Ringeisen RD (1972) Determining all compact orientable 2-manifolds upon which \(K_{m, n}\) has 2-cell embeddings. J Comb Theory 12:101–104
Ringeisen RD (1979) Survey of results on the maximum genus of a graph. J Graph Theory 3:1–13
Sotomayor J (1979) Lições de Equações Diferenciais Ordinárias. IMPA, Rio de Janeiro
Stillwell J (2000) Geometry of surfaces. Springer, Berlin
Vaz J (2012) Notas de Aula Métodos de Matemática Aplicada I. IMECC, UNICAMP
White AT (1973) Graphs, groups and surfaces, North-Holland mathematics studies 8. North-Holland Publishing Co., Amsterdam
White AT (1974) Orientable embeddings of Cayley graphs. Bull Am Math Soc 69:272–275
Whittaker ET (1929) On Hyperlemniscate functions, a family of automorphic functions. In: Records of proceedings at meetings, pp 274–278
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Antonio José Silva Neto.
This work has been supported by FAPESP, CNPq, and CAPES.
Rights and permissions
About this article
Cite this article
de Oliveira, A.J., Palazzo, R. Geometric and algebraic structures associated with the channel quantization problem. Comp. Appl. Math. 37, 2218–2236 (2018). https://doi.org/10.1007/s40314-017-0446-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40314-017-0446-9