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. Choosing $s \sim \log n$, we apply the results to test the existence of sufficiently many short integer vectors in a given subspace $L \subset {\Bbb R}^n$ or in the vicinity of $L$.
翻译:$: $bb R ⁇ n\ longrightrow {Bbrb} $ 是一个肯定的肯定的正方形, 让美元在\ bb {br} $ 美元中是一个点。 我们提出一个完全多元随机的近似方案(FPRAS), 用于计算$sum_xx $\ bb {n} e ⁇ - f(x)} e- f(x)} 美元。 要计算第一笔金额, 我们把它作为美元和美元之间一个明确的日志- cove 函数的组成部分, 计算美元在 $\ bb {n} 和 $x- f (x-y) 美元中, 提供美元在美元- 美元和 $s% 1} 之间, 计算一些 美元 。 为了计算第一笔金额, 我们把它作为 $ bbbbr $ 和 $ 美元 和 美元 美元 的计算第二笔和 美元之间, 我们用一个对等 美元 美元 的 美元 的 美元 。