2 research outputs found
Density of Spherically-Embedded Stiefel and Grassmann Codes
The density of a code is the fraction of the coding space covered by packing
balls centered around the codewords. This paper investigates the density of
codes in the complex Stiefel and Grassmann manifolds equipped with the chordal
distance. The choice of distance enables the treatment of the manifolds as
subspaces of Euclidean hyperspheres. In this geometry, the densest packings are
not necessarily equivalent to maximum-minimum-distance codes. Computing a
code's density follows from computing: i) the normalized volume of a metric
ball and ii) the kissing radius, the radius of the largest balls one can pack
around the codewords without overlapping. First, the normalized volume of a
metric ball is evaluated by asymptotic approximations. The volume of a small
ball can be well-approximated by the volume of a locally-equivalent tangential
ball. In order to properly normalize this approximation, the precise volumes of
the manifolds induced by their spherical embedding are computed. For larger
balls, a hyperspherical cap approximation is used, which is justified by a
volume comparison theorem showing that the normalized volume of a ball in the
Stiefel or Grassmann manifold is asymptotically equal to the normalized volume
of a ball in its embedding sphere as the dimension grows to infinity. Then,
bounds on the kissing radius are derived alongside corresponding bounds on the
density. Unlike spherical codes or codes in flat spaces, the kissing radius of
Grassmann or Stiefel codes cannot be exactly determined from its minimum
distance. It is nonetheless possible to derive bounds on density as functions
of the minimum distance. Stiefel and Grassmann codes have larger density than
their image spherical codes when dimensions tend to infinity. Finally, the
bounds on density lead to refinements of the standard Hamming bounds for
Stiefel and Grassmann codes.Comment: Two-column version (24 pages, 6 figures, 4 tables). To appear in IEEE
Transactions on Information Theor
Recommended from our members
A Geometric Framework for Analyzing the Performance of Multiple-Antenna Systems under Finite-Rate Feedback
We study the performance of multiple-antenna systems under finite-rate feedback of some function of the current channel realization from a channel-aware receiver to the transmitter. Our analysis is based on a novel geometric paradigm whereby the feedback information is modeled as a source distributed over a Riemannian manifold. While the right singular vectors of the channel matrix and the subspace spanned by them are located on the traditional Stiefel and Grassmann surfaces, the optimal input covariance matrix is located on a new manifold of positive semi-definite matrices - specified by rank and trace constraints - called the Pn manifold. The geometry of these three manifolds is studied in detail; in particular, the precise series expansion for the volume of geodesic balls over the Grassmann and Stiefel manifolds is obtained. Using these geometric results, the distortion incurred in quantizing sources using either a sphere-packing or a random code over an arbitrary manifold is quantified. Perturbative expansions are used to evaluate the susceptibility of the ergodic information rate to the quality of feedback information, and thereby to obtain the tradeoff of the achievable rate with the number of feedback bits employed. For a given system strategy, the gap between the achievable rates in the infinite and finite-rate feedback cases is shown to be for Grassmann feedback and for other cases, where is the dimension of the manifold used for quantization and is the number of bits used by the receiver per block for feedback. The geometric framework developed enables the results to hold for arbitrary distributions of the channel matrix and extends to all covariance computation strategies including, waterfilling in the short-term/long-term power constraint case, antenna selection and other rank-limited scenarios that could not be analyzed using previous probabilistic approaches