On the Minimum of a Positive Definite Quadratic Form over Non--Zero Lattice points. Theory and Applications.

TY - JOUR

T1 - On the Minimum of a Positive Definite Quadratic Form over Non--Zero Lattice points. Theory and Applications.

AU - Zorin, Evgeniy

AU - Adiceam, Faustin

N1 - Crown Copyright © 2018 Published by Elsevier Masson SAS. All rights reserved. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.

PY - 2018/10

Y1 - 2018/10

N2 - Let Σ d ++ be the set of positive definite matrices with determinant 1 in dimension d⩾2. Identifying any two SL d(Z)-congruent elements in Σ d ++ gives rise to the space of reduced quadratic forms of determinant one, which in turn can be identified with the locally symmetric space X d:=SL d(Z)\SL d(R)/SO d(R). Equip the latter space with its natural probability measure coming from a Haar measure on SL d(R). In 1998, Kleinbock and Margulis established sharp estimates for the probability that an element of X d takes a value less than a given real number δ>0 over the non-zero lattice points Z d\{0}. In this article, these estimates are extended to a large class of probability measures arising either from the spectral or the Cholesky decomposition of an element of Σ d ++. The sharpness of the bounds thus obtained are also established (up to multiplicative constants) for a subclass of these measures. Although of an independent interest, this theory is partly developed here with a view towards application to Information Theory. More precisely, after providing a concise introduction to this topic fitted to our needs, we lay the theoretical foundations of the study of some manifolds frequently appearing in the theory of Signal Processing. This is then applied to the recently introduced Integer-Forcing Receiver Architecture channel whose importance stems from its expected high performance. Here, we give sharp estimates for the probabilistic distribution of the so-called Effective Signal-to-Noise Ratio, which is an essential quantity in the evaluation of the performance of this model.

AB - Let Σ d ++ be the set of positive definite matrices with determinant 1 in dimension d⩾2. Identifying any two SL d(Z)-congruent elements in Σ d ++ gives rise to the space of reduced quadratic forms of determinant one, which in turn can be identified with the locally symmetric space X d:=SL d(Z)\SL d(R)/SO d(R). Equip the latter space with its natural probability measure coming from a Haar measure on SL d(R). In 1998, Kleinbock and Margulis established sharp estimates for the probability that an element of X d takes a value less than a given real number δ>0 over the non-zero lattice points Z d\{0}. In this article, these estimates are extended to a large class of probability measures arising either from the spectral or the Cholesky decomposition of an element of Σ d ++. The sharpness of the bounds thus obtained are also established (up to multiplicative constants) for a subclass of these measures. Although of an independent interest, this theory is partly developed here with a view towards application to Information Theory. More precisely, after providing a concise introduction to this topic fitted to our needs, we lay the theoretical foundations of the study of some manifolds frequently appearing in the theory of Signal Processing. This is then applied to the recently introduced Integer-Forcing Receiver Architecture channel whose importance stems from its expected high performance. Here, we give sharp estimates for the probabilistic distribution of the so-called Effective Signal-to-Noise Ratio, which is an essential quantity in the evaluation of the performance of this model.

KW - Information theory

KW - Lattice points

KW - Quadratic forms

UR - http://www.scopus.com/inward/record.url?scp=85054473377&partnerID=8YFLogxK

U2 - 10.1016/j.matpur.2018.08.009

DO - 10.1016/j.matpur.2018.08.009

M3 - Article

SN - 0021-7824

VL - 118

SP - 1

EP - 43

JO - Journal de Mathématiques Pures et Appliquées

JF - Journal de Mathématiques Pures et Appliquées

ER -