Volumes and distributions for random unimodular complex and quaternion lattices

JOURNAL OF NUMBER THEORY

卷:190

Article

Forrester, Peter J.¹  Zhang, Jiyuan² 

[1] Univ Melbourne, ARC Ctr Excellence Math & Stat Frontiers, Sch Math & Stat, Melbourne, Vic 3010, Australia

[2] Univ Melbourne, Sch Math & Stat, Melbourne, Vic 3010, Australia

关键词: Lattice reduction;    Geometry of numbers;    Random matrices;   

DOI  :  10.1016/j.jnt.2018.03.010

来源: Elsevier

【 摘 要 】

Two themes associated with invariant measures on the matrix groups SLN(F), with F = R, C or H, and their corresponding lattices parametrised by SLN(F)/SLN(O), O being an appropriate Euclidean ring of integers, are considered. The first is the computation of the volume of the subset of SLN(F) with bounded 2-norm or Frobenius norm. Key here is the decomposition of measure in terms of the singular values. The form of the volume, for large values of the bound, is relevant to asymptotic counting problems in SLN(O). The second is the problem of lattice reduction in the case N = 2. A unified proof of the validity of the appropriate analogue of the Lagrange-Gauss algorithm for computing the shortest basis is given. A decomposition of measure corresponding to the QR, decomposition is used to specify the invariant measure in the coordinates of the shortest basis vectors. With F = C this allows for the exact computation of the PDF of the first minimum (for O = Z[i] and Z[(1 + root-3)/2]), and the PDF of the second minimum and that of the angle between the minimal basis vectors (for O = Z[i]). It also encodes the specification of fundamental domains of the corresponding quotient spaces. Integration over the latter gives rise to certain number theoretic constants, which are also present in the asymptotic forms of the PDFs of the lengths of the shortest basis vectors. Siegel's mean value gives an alternative method to compute the arithmetic constants, allowing in particular the computation of the leading form of the PDF of the first minimum for F = H and O the Hurwitz integers, for which direct integration was not possible. (C) 2018 Elsevier Inc. All rights reserved.

【 授权许可】

Free