We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.NA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Numerical Analysis

Title: Computing the theta function

Abstract: Let $f: {\Bbb R}^n \longrightarrow {\Bbb R}$ be a positive definite quadratic form and let $y \in {\Bbb R}^n$ be a point. We present a fully polynomial randomized approximation scheme (FPRAS) for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x)}$, provided the eigenvalues of $f$ lie in the interval roughly between $s$ and $e^{s}$ and for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x-y)}$, provided the eigenvalues of $f$ lie in the interval roughly between $e^{-s}$ and $s^{-1}$ for some $s \geq 3$. To compute the first sum, we represent it as the integral of an explicit log-concave function on ${\Bbb R}^n$, and to compute the second sum, we use the reciprocity relation for theta functions. We then apply our results to test the existence of many short integer vectors in a given subspace $L \subset {\Bbb R}^n$, to estimate the distance from a given point to a lattice, and to sample a random lattice point from the discrete Gaussian distribution.
Comments: 29 pages, various improvements
Subjects: Numerical Analysis (math.NA); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
MSC classes: 52C07, 11H41, 68R01, 68W25
Cite as: arXiv:2208.05405 [math.NA]
  (or arXiv:2208.05405v2 [math.NA] for this version)

Submission history

From: Alexander Barvinok [view email]
[v1] Wed, 10 Aug 2022 15:52:48 GMT (10kb)
[v2] Mon, 5 Jun 2023 13:23:10 GMT (19kb)

Link back to: arXiv, form interface, contact.