Showing 1–30 of 30 results for author: Costa, S I R

Achieving uniform side information gain with multilevel lattice codes over the ring of integers

Authors: Juliana G. F. Souza, Sueli I. R. Costa

Abstract: The index coding problem aims to optimise broadcast communication by taking advantage of receiver-side information to improve transmission efficiency. In this letter, we explore the application of Construction $π_A$ lattices to index coding. We introduce a coding scheme, named \textit{CRT lattice index coding}, using Construction $π_A$ over $\mathbb{Z}$ to address the index coding problem. It is d… ▽ More The index coding problem aims to optimise broadcast communication by taking advantage of receiver-side information to improve transmission efficiency. In this letter, we explore the application of Construction $π_A$ lattices to index coding. We introduce a coding scheme, named \textit{CRT lattice index coding}, using Construction $π_A$ over $\mathbb{Z}$ to address the index coding problem. It is derived an upper bound for side information gain of a CRT lattice index code and conditions for the uniformity of this gain. The efficiency of this approach is shown through theoretical analysis and code design examples. △ Less

Submitted 24 January, 2025; originally announced January 2025.

Comments: Submitted to IEEE Communications Letters

Multilevel lattice codes from Hurwitz quaternion integers

Authors: Juliana G. F. Souza, Sueli I. R. Costa, Cong Ling

Abstract: This work presents an extension of the Construction $π_A$ lattices proposed in \cite{huang2017construction}, to Hurwitz quaternion integers. This construction is provided by using an isomorphism from a version of the Chinese remainder theorem applied to maximal orders in contrast to natural orders in prior works. Exploiting this map, we analyze the performance of the resulting multilevel lattice c… ▽ More This work presents an extension of the Construction $π_A$ lattices proposed in \cite{huang2017construction}, to Hurwitz quaternion integers. This construction is provided by using an isomorphism from a version of the Chinese remainder theorem applied to maximal orders in contrast to natural orders in prior works. Exploiting this map, we analyze the performance of the resulting multilevel lattice codes, highlight via computer simulations their notably reduced computational complexity provided by the multistage decoding. Moreover it is shown that this construction effectively attain the Poltyrev-limit. △ Less

Submitted 22 May, 2025; v1 submitted 19 January, 2024; originally announced January 2024.

Comments: 19 pages, 4 figures, 4 tables

On Closed-Form Expressions for the Fisher-Rao Distance

Authors: Henrique K. Miyamoto, Fábio C. C. Meneghetti, Julianna Pinele, Sueli I. R. Costa

Abstract: The Fisher-Rao distance is the geodesic distance between probability distributions in a statistical manifold equipped with the Fisher metric, which is a natural choice of Riemannian metric on such manifolds. It has recently been applied to supervised and unsupervised problems in machine learning, in various contexts. Finding closed-form expressions for the Fisher-Rao distance is generally a non-tr… ▽ More The Fisher-Rao distance is the geodesic distance between probability distributions in a statistical manifold equipped with the Fisher metric, which is a natural choice of Riemannian metric on such manifolds. It has recently been applied to supervised and unsupervised problems in machine learning, in various contexts. Finding closed-form expressions for the Fisher-Rao distance is generally a non-trivial task, and those are only available for a few families of probability distributions. In this survey, we collect examples of closed-form expressions for the Fisher-Rao distance of both discrete and continuous distributions, aiming to present them in a unified and accessible language. In doing so, we also: illustrate the relation between negative multinomial distributions and the hyperbolic model, include a few new examples, and write a few more in the standard form of elliptical distributions. △ Less

Submitted 7 September, 2024; v1 submitted 28 April, 2023; originally announced April 2023.

Comments: 44 pages, 3 figures, minor corrections. Accepted for publication in Information Geometry

On Lattice Constructions D and D' from q-ary Linear Codes

Authors: Franciele do Carmo Silva, Ana Paula de Souza, Eleonesio Strey, Sueli I. R. Costa

Abstract: Multilevel lattice codes, such as those associated to Constructions $C$, $\overline{D}$, D and D', have relevant applications in communications. In this paper, we investigate some properties of lattices obtained via Constructions D and D' from $q$-ary linear codes. Connections with Construction A, generator matrices, expressions and bounds for the lattice volume and minimum distances are derived.… ▽ More Multilevel lattice codes, such as those associated to Constructions $C$, $\overline{D}$, D and D', have relevant applications in communications. In this paper, we investigate some properties of lattices obtained via Constructions D and D' from $q$-ary linear codes. Connections with Construction A, generator matrices, expressions and bounds for the lattice volume and minimum distances are derived. Extensions of previous results regarding construction and decoding of binary and $p$-ary linear codes ($p$ prime) are also presented. △ Less

Submitted 3 September, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

Journal ref: Communications in Mathematics, Volume 31 (2023), Issue 2 (Special issue: Euclidean lattices: theory and applications) (September 10, 2023) cm:11146

Information Properties of a Random Variable Decomposition through Lattices

Authors: Fábio C. C. Meneghetti, Henrique K. Miyamoto, Sueli I. R. Costa

Abstract: A full-rank lattice in the Euclidean space is a discrete set formed by all integer linear combinations of a basis. Given a probability distribution on $\mathbb{R}^n$, two operations can be induced by considering the quotient of the space by such a lattice: wrapping and quantization. For a lattice $Λ$, and a fundamental domain $D$ which tiles $\mathbb{R}^n$ through $Λ$, the wrapped distribution ove… ▽ More A full-rank lattice in the Euclidean space is a discrete set formed by all integer linear combinations of a basis. Given a probability distribution on $\mathbb{R}^n$, two operations can be induced by considering the quotient of the space by such a lattice: wrapping and quantization. For a lattice $Λ$, and a fundamental domain $D$ which tiles $\mathbb{R}^n$ through $Λ$, the wrapped distribution over the quotient is obtained by summing the density over each coset, while the quantized distribution over the lattice is defined by integrating over each fundamental domain translation. These operations define wrapped and quantized random variables over $D$ and $Λ$, respectively, which sum up to the original random variable. We investigate information-theoretic properties of this decomposition, such as entropy, mutual information and the Fisher information matrix, and show that it naturally generalizes to the more abstract context of locally compact topological groups. △ Less

Submitted 16 November, 2022; v1 submitted 7 November, 2022; originally announced November 2022.

Comments: 11 pages, 6 figures. v2: improved some explanations in sections 2 and 4, typos, and added citation in section 3

MSC Class: 94A17

Journal ref: Phys. Sci. Forum 2022, 5(1), 19

The Fisher-Rao Loss for Learning under Label Noise

Authors: Henrique K. Miyamoto, Fábio C. C. Meneghetti, Sueli I. R. Costa

Abstract: Choosing a suitable loss function is essential when learning by empirical risk minimisation. In many practical cases, the datasets used for training a classifier may contain incorrect labels, which prompts the interest for using loss functions that are inherently robust to label noise. In this paper, we study the Fisher-Rao loss function, which emerges from the Fisher-Rao distance in the statistic… ▽ More Choosing a suitable loss function is essential when learning by empirical risk minimisation. In many practical cases, the datasets used for training a classifier may contain incorrect labels, which prompts the interest for using loss functions that are inherently robust to label noise. In this paper, we study the Fisher-Rao loss function, which emerges from the Fisher-Rao distance in the statistical manifold of discrete distributions. We derive an upper bound for the performance degradation in the presence of label noise, and analyse the learning speed of this loss. Comparing with other commonly used losses, we argue that the Fisher-Rao loss provides a natural trade-off between robustness and training dynamics. Numerical experiments with synthetic and MNIST datasets illustrate this performance. △ Less

Submitted 26 November, 2022; v1 submitted 28 October, 2022; originally announced October 2022.

Comments: 20 pages, 5 figures, minor improvements. Accepted for publication in Information Geometry

Journal ref: Information Geometry, vol. 6, pp. 107-126, 2023

On Communication for Distributed Babai Point Computation

Authors: Maiara F. Bollauf, Vinay A. Vaishampayan, Sueli I. R. Costa

Abstract: We present a communication-efficient distributed protocol for computing the Babai point, an approximate nearest point for a random vector ${\bf X}\in\mathbb{R}^n$ in a given lattice. We show that the protocol is optimal in the sense that it minimizes the sum rate when the components of ${\bf X}$ are mutually independent. We then investigate the error probability, i.e. the probability that the Baba… ▽ More We present a communication-efficient distributed protocol for computing the Babai point, an approximate nearest point for a random vector ${\bf X}\in\mathbb{R}^n$ in a given lattice. We show that the protocol is optimal in the sense that it minimizes the sum rate when the components of ${\bf X}$ are mutually independent. We then investigate the error probability, i.e. the probability that the Babai point does not coincide with the nearest lattice point. In dimensions two and three, this probability is seen to grow with the packing density. For higher dimensions, we use a bound from probability theory to estimate the error probability for some well-known lattices. Our investigations suggest that for uniform distributions, the error probability becomes large with the dimension of the lattice, for lattices with good packing densities. We also consider the case where $\mathbf{X}$ is obtained by adding Gaussian noise to a randomly chosen lattice point. In this case, the error probability goes to zero with the lattice dimension when the noise variance is sufficiently small. In such cases, a distributed algorithm for finding the approximate nearest lattice point is sufficient for finding the nearest lattice point. △ Less

Submitted 29 August, 2020; originally announced August 2020.

Constructive Spherical Codes by Hopf Foliations

Authors: Henrique K. Miyamoto, Sueli I. R. Costa, Henrique N. Sá Earp

Abstract: We present a new systematic approach to constructing spherical codes in dimensions $2^k$, based on Hopf foliations. Using the fact that a sphere $S^{2n-1}$ is foliated by manifolds $S_{\cosη}^{n-1} \times S_{\sinη}^{n-1}$, $η\in[0,π/2]$, we distribute points in dimension $2^k$ via a recursive algorithm from a basic construction in $\mathbb{R}^4$. Our procedure outperforms some current constructive… ▽ More We present a new systematic approach to constructing spherical codes in dimensions $2^k$, based on Hopf foliations. Using the fact that a sphere $S^{2n-1}$ is foliated by manifolds $S_{\cosη}^{n-1} \times S_{\sinη}^{n-1}$, $η\in[0,π/2]$, we distribute points in dimension $2^k$ via a recursive algorithm from a basic construction in $\mathbb{R}^4$. Our procedure outperforms some current constructive methods in several small-distance regimes and constitutes a compromise between achieving a large number of codewords for a minimum given distance and effective constructiveness with low encoding computational cost. Bounds for the asymptotic density are derived and compared with other constructions. The encoding process has storage complexity $O(n)$ and time complexity $O(n \log n)$. We also propose a sub-optimal decoding procedure, which does not require storing the codebook and has time complexity $O(n \log n)$. △ Less

Submitted 16 September, 2021; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 15 pages, 9 figures, minor improvements. Accepted to the IEEE Transactions on Information Theory

Journal ref: IEEE Transactions on Information Theory, vol. 67, no. 12, pp. 7925-7939, Dec. 2021

Construction $C^\star$ from Self-Dual Codes

Authors: Maiara Francine Bollauf, Sueli Irene Rodrigues Costa, Ram Zamir

Abstract: Construction $C^\star$ was recently introduced as a generalization of the multilevel Construction C (or Forney's code-formula), such that the coded levels may be dependent. Both constructions do not produce a lattice in general, hence the central idea of this paper is to present a 3-level lattice Construction $C^\star$ scheme that admits an efficient nearest-neighborhood decoding. In order to achi… ▽ More Construction $C^\star$ was recently introduced as a generalization of the multilevel Construction C (or Forney's code-formula), such that the coded levels may be dependent. Both constructions do not produce a lattice in general, hence the central idea of this paper is to present a 3-level lattice Construction $C^\star$ scheme that admits an efficient nearest-neighborhood decoding. In order to achieve this objective, we choose coupled codes for levels 1 and 3, and set the second level code C2 as an independent linear binary self-dual code, which is known to have a rich mathematical structure among families of linear codes. Our main result states a necessary and sufficient condition for this construction to generate a lattice. We then present examples of efficient lattices and also non-lattice constellations with good packing properties. △ Less

Submitted 2 August, 2021; v1 submitted 14 May, 2020; originally announced May 2020.

Multilevel constructions: coding, packing and geometric uniformity

Authors: Maiara Francine Bollauf, Ram Zamir, Sueli Irene Rodrigues Costa

Abstract: Lattice and special nonlattice multilevel constellations constructed from binary codes, such as Constructions A, C, and D, have relevant applications in Mathematics (sphere packing) and in Communication (multi-stage decoding and efficient vector quantization). In this work, we explore some properties of Construction C, in particular its geometric uniformity. We then propose a new multilevel constr… ▽ More Lattice and special nonlattice multilevel constellations constructed from binary codes, such as Constructions A, C, and D, have relevant applications in Mathematics (sphere packing) and in Communication (multi-stage decoding and efficient vector quantization). In this work, we explore some properties of Construction C, in particular its geometric uniformity. We then propose a new multilevel construction, inspired by bit interleaved coded modulation (BICM), that we call Construction C*. We investigate the geometric uniformity, laticeness, and minimum distance properties of Construction C* and discuss its superior packing efficiency when compared to Construction C. △ Less

Submitted 7 June, 2019; v1 submitted 14 June, 2018; originally announced June 2018.

Communication-Efficient Search for an Approximate Closest Lattice Point

Authors: Maiara F. Bollauf, Vinay A. Vaishampayan, Sueli I. R. Costa

Abstract: We consider the problem of finding the closest lattice point to a vector in n-dimensional Euclidean space when each component of the vector is available at a distinct node in a network. Our objectives are (i) minimize the communication cost and (ii) obtain the error probability. The approximate closest lattice point considered here is the one obtained using the nearest-plane (Babai) algorithm. Ass… ▽ More We consider the problem of finding the closest lattice point to a vector in n-dimensional Euclidean space when each component of the vector is available at a distinct node in a network. Our objectives are (i) minimize the communication cost and (ii) obtain the error probability. The approximate closest lattice point considered here is the one obtained using the nearest-plane (Babai) algorithm. Assuming a triangular special basis for the lattice, we develop communication-efficient protocols for computing the approximate lattice point and determine the communication cost for lattices of dimension n>1. Based on available parameterizations of reduced bases, we determine the error probability of the nearest plane algorithm for two dimensional lattices analytically, and present a computational error estimation algorithm in three dimensions. For dimensions 2 and 3, our results show that the error probability increases with the packing density of the lattice. △ Less

Submitted 29 January, 2018; originally announced January 2018.

Construction C*: an inter-level coded version of Construction C

Authors: Maiara Francine Bollauf, Ram Zamir, Sueli Irene Rodrigues Costa

Abstract: Besides all the attention given to lattice constructions, it is common to find some very interesting nonlattice constellations, as Construction C, for example, which also has relevant applications in communication problems (multi-level coding, multi-stage decoding, good quantization efficieny). In this work we present a constellation which is a subset of Construction C, based on inter-level coding… ▽ More Besides all the attention given to lattice constructions, it is common to find some very interesting nonlattice constellations, as Construction C, for example, which also has relevant applications in communication problems (multi-level coding, multi-stage decoding, good quantization efficieny). In this work we present a constellation which is a subset of Construction C, based on inter-level coding, which we call Construction C*. This construction may have better immunity to noise and it also provides a simple way of describing the Leech lattice $Λ_{24}.$ A condition under which Construction C* is a lattice constellation is given. △ Less

Submitted 27 December, 2017; v1 submitted 19 September, 2017; originally announced September 2017.

On the Communication Cost of Determining an Approximate Nearest Lattice Point

Authors: M. F. Bollauf, V. A. Vaishampayan, S. I. R. Costa

Abstract: We consider the closest lattice point problem in a distributed network setting and study the communication cost and the error probability for computing an approximate nearest lattice point, using the nearest-plane algorithm, due to Babai. Two distinct communication models, centralized and interactive, are considered. The importance of proper basis selection is addressed. Assuming a reduced basis f… ▽ More We consider the closest lattice point problem in a distributed network setting and study the communication cost and the error probability for computing an approximate nearest lattice point, using the nearest-plane algorithm, due to Babai. Two distinct communication models, centralized and interactive, are considered. The importance of proper basis selection is addressed. Assuming a reduced basis for a two-dimensional lattice, we determine the approximation error of the nearest plane algorithm. The communication cost for determining the Babai point, or equivalently, for constructing the rectangular nearest-plane partition, is calculated in the interactive setting. For the centralized model, an algorithm is presented for reducing the communication cost of the nearest plane algorithm in an arbitrary number of dimensions. △ Less

Submitted 26 April, 2017; v1 submitted 29 January, 2017; originally announced January 2017.

Comments: 5 pages, 6 figures

On Equivalence of Binary Asymmetric Channels regarding the Maximum Likelihood Decoding

Authors: Claudio Qureshi, Sueli I. R. Costa, Christiane B. Rodrigues, Marcelo Firer

Abstract: We study the problem of characterizing when two memoryless binary asymmetric channels, described by their transition probabilities $(p,q)$ and $(p',q')$, are equivalent from the point of view of maximum likelihood decoding (MLD) when restricted to $n$-block binary codes. This equivalence of channels induces a partition (depending on $n$) on the space of parameters $(p,q)$ into regions associated w… ▽ More We study the problem of characterizing when two memoryless binary asymmetric channels, described by their transition probabilities $(p,q)$ and $(p',q')$, are equivalent from the point of view of maximum likelihood decoding (MLD) when restricted to $n$-block binary codes. This equivalence of channels induces a partition (depending on $n$) on the space of parameters $(p,q)$ into regions associated with the equivalence classes. Explicit expressions for describing these regions, their number and areas are derived. Some perspectives of applications of our results to decoding problems are also presented. △ Less

Submitted 17 March, 2018; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: The presentation was improved with respect to the previous version. New examples, applications and references were included

Bounds for the $l_1$-distance of $q$-ary lattices obtained via Constructions D, D$^{'}$ and $\overline{D}$

Authors: Eleonesio Strey, Sueli I. R. Costa

Abstract: Lattices have been used in several problems in coding theory and cryptography. In this paper we approach $q$-ary lattices obtained via Constructions D, $\D'$ and $\overline{D}$. It is shown connections between Constructions D and $\D'$. Bounds for the minimum $l_1$-distance of lattices $Λ_{D}$, $Λ_{D'}$ and $Λ_{\overline{D}}$ and, under certain conditions, a generator matrix for $Λ_{D'}$ are prese… ▽ More Lattices have been used in several problems in coding theory and cryptography. In this paper we approach $q$-ary lattices obtained via Constructions D, $\D'$ and $\overline{D}$. It is shown connections between Constructions D and $\D'$. Bounds for the minimum $l_1$-distance of lattices $Λ_{D}$, $Λ_{D'}$ and $Λ_{\overline{D}}$ and, under certain conditions, a generator matrix for $Λ_{D'}$ are presented. In addition, when the chain of codes used is closed under the zero-one addition, we derive explicit expressions for the minimum $l_1$-distances of the lattices $Λ_{D}$ and $Λ_{\overline{D}}$ attached to the distances of the codes used in these constructions. △ Less

Submitted 1 November, 2016; originally announced November 2016.

Comments: 15 pages

On Cube Tilings of Tori and Classification of Perfect Codes in the Maximum Metric

Authors: Claudio Qureshi, Sueli I. R. Costa

Abstract: We describe odd-length-cube tilings of the n-dimensional q-ary torus what includes q-periodic integer lattice tilings of R^n. In the language of coding theory these tilings correspond to perfect codes with respect to the maximum metric. A complete characterization of the two-dimensional tillings is presented and in the linear case, a description of general matrices, isometry and isomorphism classe… ▽ More We describe odd-length-cube tilings of the n-dimensional q-ary torus what includes q-periodic integer lattice tilings of R^n. In the language of coding theory these tilings correspond to perfect codes with respect to the maximum metric. A complete characterization of the two-dimensional tillings is presented and in the linear case, a description of general matrices, isometry and isomorphism classes is provided. Several methods to construct perfect codes from codes of smaller dimension or via sections are derived. We introduce a special type of matrices (perfect matrices) which are in correspondence with generator matrices for linear perfect codes in arbitrary dimensions. For maximal perfect codes, a parametrization obtained allows to describe isomorphism classes of such codes. We also approach the problem of what isomorphism classes of abelian groups can be represented by q-ary n-dimensional perfect codes of a given cardinality N. △ Less

Submitted 14 January, 2016; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: This version contains a new reference with respect to to the previous version

Lattices from codes over $\mathbb{Z}_q$: Generalization of Constructions $D$, $D'$ and $\overline{D}$

Authors: Eleonesio Strey, Sueli I. R. Costa

Abstract: In this paper, we extend the lattice Constructions $D$, $D'$ and $\overline{D}$ $($this latter is also known as Forney's code formula$)$ from codes over $\mathbb{F}_p$ to linear codes over $\mathbb{Z}_q$, where $q \in \mathbb{N}$. We define an operation in $\mathbb{Z}_q^n$ called zero-one addition, which coincides with the Schur product when restricted to $\mathbb{Z}_2^n$ and show that the extende… ▽ More In this paper, we extend the lattice Constructions $D$, $D'$ and $\overline{D}$ $($this latter is also known as Forney's code formula$)$ from codes over $\mathbb{F}_p$ to linear codes over $\mathbb{Z}_q$, where $q \in \mathbb{N}$. We define an operation in $\mathbb{Z}_q^n$ called zero-one addition, which coincides with the Schur product when restricted to $\mathbb{Z}_2^n$ and show that the extended Construction $\overline{D}$ produces a lattice if and only if the nested codes are closed under this addition. A generalization to the real case of the recently developed Construction $A'$ is also derived and we show that this construction produces a lattice if and only if the corresponding code over $\mathbb{Z}_q[X]/X^a$ is closed under a shifted zero-one addition. One of the motivations for this work is the recent use of $q$-ary lattices in cryptography. △ Less

Submitted 20 August, 2016; v1 submitted 17 December, 2015; originally announced December 2015.

Comments: 18 pages

Quasi-perfect codes in the $\ell_p$ metric

Authors: João E. Strapasson, Grasiele C. Jorge, Antonio Campello, Sueli I. R. Costa

Abstract: We consider quasi-perfect codes in $\mathbb{Z}^n$ over the $\ell_p$ metric, $2 \leq p < \infty$. Through a computational approach, we determine all radii for which there are linear quasi-perfect codes for $p = 2$ and $n = 2, 3$. Moreover, we study codes with a certain \textit{degree of imperfection}, a notion that generalizes the quasi-perfect codes. Numerical results concerning the codes with the… ▽ More We consider quasi-perfect codes in $\mathbb{Z}^n$ over the $\ell_p$ metric, $2 \leq p < \infty$. Through a computational approach, we determine all radii for which there are linear quasi-perfect codes for $p = 2$ and $n = 2, 3$. Moreover, we study codes with a certain \textit{degree of imperfection}, a notion that generalizes the quasi-perfect codes. Numerical results concerning the codes with the smallest degree of imperfection are presented. △ Less

Submitted 17 September, 2015; originally announced September 2015.

Comments: 15 pages, 6 figures

Perfect codes in the lp metric

Authors: Antonio Campello, Grasiele C. Jorge, and João Strapasson, Sueli I. R. Costa

Abstract: We investigate perfect codes in $\mathbb{Z}^n$ under the $\ell_p$ metric. Upper bounds for the packing radius $r$ of a linear perfect code, in terms of the metric parameter $p$ and the dimension $n$ are derived. For $p = 2$ and $n = 2, 3$, we determine all radii for which there are linear perfect codes. The non-existence results for codes in $\mathbb{Z}^n$ presented here imply non-existence result… ▽ More We investigate perfect codes in $\mathbb{Z}^n$ under the $\ell_p$ metric. Upper bounds for the packing radius $r$ of a linear perfect code, in terms of the metric parameter $p$ and the dimension $n$ are derived. For $p = 2$ and $n = 2, 3$, we determine all radii for which there are linear perfect codes. The non-existence results for codes in $\mathbb{Z}^n$ presented here imply non-existence results for codes over finite alphabets $\mathbb{Z}_q$, when the alphabet size is large enough, and has implications on some recent constructions of spherical codes. △ Less

Submitted 10 November, 2015; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: 21 pages, 9 figures, minor corrections, accepted for publication European Journal of Combinatorics

Curves on Flat Tori and Analog Source-Channel Codes

Authors: Antonio Campello, Cristiano Torezzan, Sueli I. R. Costa

Abstract: In this paper we consider the problem of transmitting a continuous alphabet discrete-time source over an AWGN channel. We propose a constructive scheme based on a set of curves on the surface of a N-dimensional sphere. Our approach shows that the design of good codes for this communication problem is related to geometrical properties of spherical codes and projections of N-dimensional rectangular… ▽ More In this paper we consider the problem of transmitting a continuous alphabet discrete-time source over an AWGN channel. We propose a constructive scheme based on a set of curves on the surface of a N-dimensional sphere. Our approach shows that the design of good codes for this communication problem is related to geometrical properties of spherical codes and projections of N-dimensional rectangular lattices. Theoretical comparisons with some previous works in terms of the mean square error as a function of the channel SNR as well as simulations are provided. △ Less

Submitted 12 June, 2013; v1 submitted 19 February, 2013; originally announced February 2013.

Comments: 15 pages, 6 figures. Accepted for publication IEEE Trans. Inf. Theory. arXiv admin note: substantial text overlap with arXiv:1202.2111

Fisher information distance: a geometrical reading

Authors: Sueli I. R. Costa, Sandra A. Santos, João E. Strapasson

Abstract: This paper is a strongly geometrical approach to the Fisher distance, which is a measure of dissimilarity between two probability distribution functions. The Fisher distance, as well as other divergence measures, are also used in many applications to establish a proper data average. The main purpose is to widen the range of possible interpretations and relations of the Fisher distance and its asso… ▽ More This paper is a strongly geometrical approach to the Fisher distance, which is a measure of dissimilarity between two probability distribution functions. The Fisher distance, as well as other divergence measures, are also used in many applications to establish a proper data average. The main purpose is to widen the range of possible interpretations and relations of the Fisher distance and its associated geometry for the prospective applications. It focuses on statistical models of the normal probability distribution functions and takes advantage of the connection with the classical hyperbolic geometry to derive closed forms for the Fisher distance in several cases. Connections with the well-known Kullback-Leibler divergence measure are also devised. △ Less

Submitted 10 January, 2014; v1 submitted 8 October, 2012; originally announced October 2012.

Comments: 15 pages, 8 figures

On the existence of rotated $D_n$-lattices constructed via Galois extensions

Authors: Grasiele Cristiane Jorge, Sueli Irene Rodrigues Costa

Abstract: In this paper we construct families of rotated $D_n$-lattices which may be suitable for signal transmission over both Gaussian and Rayleigh fading channels via subfields of cyclotomic fields. These constructions exhibit full diversity and good minimum product distance which are important parameters related to the signal transmission error probability. It is also shown that for some Galois extensio… ▽ More In this paper we construct families of rotated $D_n$-lattices which may be suitable for signal transmission over both Gaussian and Rayleigh fading channels via subfields of cyclotomic fields. These constructions exhibit full diversity and good minimum product distance which are important parameters related to the signal transmission error probability. It is also shown that for some Galois extensions $\matK|\matQ$ it is impossible to construct rotated $D_n$-lattices via fractional ideals of $\mathcal O_{\mattK}$. △ Less

Submitted 1 November, 2012; v1 submitted 26 June, 2012; originally announced June 2012.

Constructive spherical codes on layers of flat tori

Authors: Cristiano Torezzan, Sueli I. R. Costa, Vinay A. Vaishampayan

Abstract: A new class of spherical codes is constructed by selecting a finite subset of flat tori from a foliation of the unit sphere S^{2L-1} of R^{2L} and designing a structured codebook on each torus layer. The resulting spherical code can be the image of a lattice restricted to a specific hyperbox in R^L in each layer. Group structure and homogeneity, useful for efficient storage and decoding, are inher… ▽ More A new class of spherical codes is constructed by selecting a finite subset of flat tori from a foliation of the unit sphere S^{2L-1} of R^{2L} and designing a structured codebook on each torus layer. The resulting spherical code can be the image of a lattice restricted to a specific hyperbox in R^L in each layer. Group structure and homogeneity, useful for efficient storage and decoding, are inherited from the underlying lattice codebook. A systematic method for constructing such codes are presented and, as an example, the Leech lattice is used to construct a spherical code in R^{48}. Upper and lower bounds on the performance, the asymptotic packing density and a method for decoding are derived. △ Less

Submitted 26 May, 2012; originally announced May 2012.

Comments: 9 pages, 5 figures, submitted to IEEE Transactions on Information Theory

Optimum Commutative Group Codes

Authors: Cristiano Torezzan, João E. Strapasson, Sueli I. R. Costa, Rogerio M. Siqueira

Abstract: A method for finding an optimum $n$-dimensional commutative group code of a given order $M$ is presented. The approach explores the structure of lattices related to these codes and provides a significant reduction in the number of non-isometric cases to be analyzed. The classical factorization of matrices into Hermite and Smith normal forms and also basis reduction of lattices are used to characte… ▽ More A method for finding an optimum $n$-dimensional commutative group code of a given order $M$ is presented. The approach explores the structure of lattices related to these codes and provides a significant reduction in the number of non-isometric cases to be analyzed. The classical factorization of matrices into Hermite and Smith normal forms and also basis reduction of lattices are used to characterize isometric commutative group codes. Several examples of optimum commutative group codes are also presented. △ Less

Submitted 23 March, 2013; v1 submitted 17 May, 2012; originally announced May 2012.

Curves on torus layers and coding for continuous alphabet sources

Authors: Antonio Campello, Cristiano Torezzan, Sueli I. R. Costa

Abstract: In this paper we consider the problem of transmitting a continuous alphabet discrete-time source over an AWGN channel. The design of good curves for this purpose relies on geometrical properties of spherical codes and projections of $N$-dimensional lattices. We propose a constructive scheme based on a set of curves on the surface of a 2N-dimensional sphere and present comparisons with some previou… ▽ More In this paper we consider the problem of transmitting a continuous alphabet discrete-time source over an AWGN channel. The design of good curves for this purpose relies on geometrical properties of spherical codes and projections of $N$-dimensional lattices. We propose a constructive scheme based on a set of curves on the surface of a 2N-dimensional sphere and present comparisons with some previous works. △ Less

Submitted 4 May, 2012; v1 submitted 9 February, 2012; originally announced February 2012.

Comments: 5 pages, 4 figures. Accepted for presentation at 2012 IEEE International Symposium on Information Theory (ISIT). 2th version: typos corrected. 3rd version: some typos corrected, a footnote added in Section III B, a comment added in the beggining of Section V and Theorem I added

Rotated Dn-lattices

Authors: Grasiele Cristiane Jorge, Agnaldo José Ferrari, Sueli Irene Rodrigues Costa

Abstract: Based on algebraic number theory we construct some families of rotated Dn-lattices with full diversity which can be good for signal transmission over both Gaussian and Rayleigh fading channels. Closed-form expressions for the minimum product distance of those lattices are obtained through algebraic properties. Based on algebraic number theory we construct some families of rotated Dn-lattices with full diversity which can be good for signal transmission over both Gaussian and Rayleigh fading channels. Closed-form expressions for the minimum product distance of those lattices are obtained through algebraic properties. △ Less

Submitted 16 November, 2011; originally announced November 2011.

Decoding q-ary lattices in the Lee metric

Authors: Antonio Campello, Grasiele C. Jorge, Sueli I. R. Costa

Abstract: q-ary lattices can be obtained from q-ary codes using the so-called Construction A. We investigate these lattices in the Lee metric and show how their decoding process can be related to the associated codes. For prime q we derive a Lee sphere decoding algorithm for q-ary lattices, present a brief discussion on its complexity and some comparisons with the classic sphere decoding. q-ary lattices can be obtained from q-ary codes using the so-called Construction A. We investigate these lattices in the Lee metric and show how their decoding process can be related to the associated codes. For prime q we derive a Lee sphere decoding algorithm for q-ary lattices, present a brief discussion on its complexity and some comparisons with the classic sphere decoding. △ Less

Submitted 17 April, 2012; v1 submitted 27 May, 2011; originally announced May 2011.

Comments: 5 pages, 4 figures. Presented at the 2012 Information Theory Workshop (ITW)

An Upper Bound for Signal Transmission Error Probability in Hyperbolic Spaces

Authors: Edson Agustini, Sueli I. R. Costa

Abstract: We introduce and discuss the concept of Gaussian probability density function (pdf) for the n-dimensional hyperbolic space which has been proposed as an environment for coding and decoding signals. An upper bound for the error probability of signal transmission associated with the hyperbolic distance is established. The pdf and the upper bound were developed using Poincare models for the hyperboli… ▽ More We introduce and discuss the concept of Gaussian probability density function (pdf) for the n-dimensional hyperbolic space which has been proposed as an environment for coding and decoding signals. An upper bound for the error probability of signal transmission associated with the hyperbolic distance is established. The pdf and the upper bound were developed using Poincare models for the hyperbolic spaces. △ Less

Submitted 20 January, 2011; originally announced January 2011.

A Note on Projecting the Cubic Lattice

Authors: N. J. A. Sloane, Vinay A. Vaishampayan, Sueli I. R. Costa

Abstract: It is shown that, given any (n-1)-dimensional lattice L, there is a vector v in Z^n such that the projection of Z^n onto v^perp is arbitrarily close to L. The problem arises in attempting to find the largest cylinder anchored at two points of Z^n and containing no other points of Z^n. It is shown that, given any (n-1)-dimensional lattice L, there is a vector v in Z^n such that the projection of Z^n onto v^perp is arbitrarily close to L. The problem arises in attempting to find the largest cylinder anchored at two points of Z^n and containing no other points of Z^n. △ Less

Submitted 16 July, 2010; v1 submitted 18 April, 2010; originally announced April 2010.

Comments: 6 pages, 0 figures. Revised Apr 24 2010 because there was an error in the proof of Prop. 3. Revised May 25 2010 because the roles of A and A_v had been swapped in (1) and (3). Revised Jul 14 2010 to clarify choice of basis for projected lattice

MSC Class: 11H55; 52C17

Journal ref: Discrete Computational Geom. 46 (2011), 472-478

A note on quadrangular embedding of Abelian Cayley Graphs

Authors: J. E. Strapasson, S. I. R. Costa, M. M. S. Alves

Abstract: The genus graphs have been studied by many authors, but just a few results concerning in special cases: Planar, Toroidal, Complete, Bipartite and Cartesian Product of Bipartite. We present here a derive general lower bound for the genus of a abelian Cayley graph and construct a family of circulant graphs which reach this bound. The genus graphs have been studied by many authors, but just a few results concerning in special cases: Planar, Toroidal, Complete, Bipartite and Cartesian Product of Bipartite. We present here a derive general lower bound for the genus of a abelian Cayley graph and construct a family of circulant graphs which reach this bound. △ Less

Submitted 4 January, 2016; v1 submitted 1 April, 2010; originally announced April 2010.

MSC Class: 05C50; 05E20; 52C07; 05C10