On theta functions associated to indefinite quadratic forms

We introduce a family of theta functions associated to an indefinite quadratic form, and prove a modular transformation formulas by regarding each such function as a specialization of a symplectic theta function. An eighth rott of unity arises in these formulas, and it is expressly given in all cases. The theta functions feature many “translation variables,” which are useful for the study of the liftings of modular forms.     

On the value distribution of positive definite quadratic forms

Denote by 0 = λ ₀ < λ ₁ ≤ λ ₂ ≤ . . . the infinite sequence given by the values of a positive definite irrational quadratic form in k variables at integer points. For l ≥ 2 and an (l ?1)-dimensional interval I = I ₂×. . .×I _l we consider the l-level correlation function \({K^{(l)}_I(R)}\) which counts the number of tuples (i ₁, . . . , i _l ) such that \({\lambda_{i_1},\ldots,\lambda_{i_l}\leq R^2}\) and \({\lambda_{i_{j}}-\lambda_{i_{1}}\in I_j}\) for 2 ≤ j ≤ l. We study the asymptotic behavior of \({K^{(l)}_I(R)}\) as R tends to infinity. If k ≥ 4 we prove \({K^{(l)}_I(R)\sim c_l(Q)\,{\rm vol}(I)R^{lk-2(l-1)}}\) for arbitrary l, where c _l (Q) is an explicitly determined constant. This remains true for k = 3 under the restriction l ≤ 3.     

On the value distribution of positive definite quadratic forms

Denote by 0 = λ ₀ < λ ₁ ≤ λ ₂ ≤ . . . the infinite sequence given by the values of a positive definite irrational quadratic form in k variables at integer points. For l ≥ 2 and an (l −1)-dimensional interval I = I ₂×. . .×I _l we consider the l-level correlation function K^(l)_I(R){K^{(l)}_I(R)} which counts the number of tuples (i ₁, . . . , i _l ) such that l_i1,?,l_il ￡ R²{\lambda_{i_1},\ldots,\lambda_{i_l}\leq R^2} and l_ij-l_i1 ? I_j{\lambda_{i_{j}}-\lambda_{i_{1}}\in I_j} for 2 ≤ j ≤ l. We study the asymptotic behavior of K^(l)_I(R){K^{(l)}_I(R)} as R tends to infinity. If k ≥ 4 we prove K^(l)_I(R) ~ c_l(Q) vol(I)R^lk-2(l-1){K^{(l)}_I(R)\sim c_l(Q)\,{\rm vol}(I)R^{lk-2(l-1)}} for arbitrary l, where c _l (Q) is an explicitly determined constant. This remains true for k = 3 under the restriction l ≤ 3.     

On Voronoi reduction of positive definite quadratic forms

There are two methods of reduction of positive definite quadratic forms due to Voronoi. One of these methods is based on the perfect forms and the other on the type of Voronoi polyhedra associated with the form. It was conjectured by Voronoi that these two methods are strongly connected.     

On positive definite quadratic forms in correlatedt variables

Summary In this paper we extend Ruben's [4] result for quadratic forms in normal variables. He represented the distribution function of the quadratic form in normal variables as an infinite mixture of chi-square distribution functions. In the central case, we show that the distribution function of a quadratic form int-variables can be represented as a mixture of beta distribution functions. In the noncentral case, the distribution function presented is an infinite series in beta distribution functions. An application to quadratic discrimination is given.     

Modular forms arising from spherical polynomials and positive definite quadratic forms

The dimension over the complex numbers of the vector space of θ-series

$\text{Φ(τ;P,Q)=∑n?Z}{}^{\mathrm{r}}\text{P(n)e}{}^{\mathrm{2\pi iQ(n)\tau }}\text{,}$

where P(X) is a “spherical polynomial” with respect to the positive definite quadratic form Q(X) is computed for binary forms. A sufficient condition that θ(τ; P, Q) be identically zero is proved, and its necessity is also proved for binary forms.     

Representations of integers by certain positive definite binary quadratic forms

We prove part of a conjecture of Borwein and Choi concerning an estimate on the square of the number of solutions to n=x ²+Ny ² for a squarefree integer N.      

On nondecomposable positive definite Hermitian forms over imaginary quadratic fields

Methods are presented for the construction of nondecomposable positive definite integral Hermitian forms over the ring of integers R_m of an imaginary quadratic field ℚ(√−m). Using our methods, one can construct explicitly an n-ary nondecomposable positive definite Hermitian R_m-lattice ( L, h) with given discriminant 2 for every n⩾2 (resp. n⩾13 or odd n⩾3) and square-free m = 12 k + t with k⩾1 and t∈ (1,7) (resp. k⩾1 and t = 2 or k⩾0 and t∈ 5,10,11). We study also the case for discriminant different from 2.     

强正定二次型与Weyl-Heisenberg 框架的构造

本文研究了一类具有特殊结构的无限维二次型, 得到这类二次型的对称矩阵是符号为多项式的模的平方的Laurent 矩阵, 进一步得到了这类二次型是强正定的判断标准以及一类Weyl-Heisenberg 框架的构造. 本文还研究了这类二次型的矩阵的所有有限维主对角子矩阵的强正定性, 并由此得到一类子空间Weyl-Heisenberg 框架的构造. 最后举例说明本文的主要结果及其应用. 本文建立了两个看似不相关的领域间的联系.     

Orthogonal polynomials and analytic functions associated to positive definite matrices

For a positive definite infinite matrix A, we study the relationship between its associated sequence of orthonormal polynomials and the asymptotic behaviour of the smallest eigenvalue of its truncation An of size n×n. For the particular case of A being a Hankel or a Hankel block matrix, our results lead to a characterization of positive measures with finite index of determinacy and of completely indeterminate matrix moment problems, respectively.     

Note on the degree of concavity of the determinant on sets of positive definite quadratic forms

An upper bound is determined for the for whichD(f) is a concave function off, wheref ranges over Minkowski-reduced positive definite quadratic forms inn variables with diagonal coefficients unity andD(f) denotes the determinant off In answer to a question of C E Nelson, it is shown thatD(f) is not concave in the casen 4     

A reciprocity formula for quadratic forms

LetQ(x) denote a quadratic form over the rational integers in four variables (x=(x₁,...,x₄)). ThenQ is representable as a symmetric matrix. Assume this matrix to be non-singular modp(p≠2 prime); then the “inverse” quadratic formQ ^?1 modp can be defined. Letf:?⁴→? be defined such that the Fourier transformf exists and the sum $$\sum\limits_{x \in \mathbb{Z}^4 } {f(c x), c \in \mathbb{R}, c \ne 0} $$ is convergent. Furthermore, letm=p ₁...p _k be the product ofk distinct primes withm>1, 2×m; let $$\varepsilon = \prod\limits_{i = 1}^k {\left( {\frac{{\det Q}}{{p_i }}} \right)} \ne 0$$ for the Legendre symbol $$\left( {\frac{ \cdot }{p}} \right)$$ ; define $$B_i (Q,x) = \left\{ {\begin{array}{*{20}c} {1 for Q(x) \equiv 0\bmod p_i } \\ , \\ {0 for Q(x)\not \equiv 0\bmod p_i } \\ \end{array} } \right.$$ and forr∈?,r>0, $$F(Q,f,r) = \sum\limits_{x \in \mathbb{Z}^4 } {\left( {\prod\limits_{i = 1}^k {\left( {B_i (Q,x) - \frac{1}{{p_i }}} \right)} } \right)f(r^{ - {1 \mathord{\left/ {\vphantom {1 2}} \right. \kern-\nulldelimiterspace} 2}} x)} $$ Then we have $$F(Q,f,m) = \varepsilon F(Q^{ - 1} ,\hat f,m)$$      

正定二次规划的一个对偶算法

给出了一个正定二次规划的对偶算法．算法把原问题分解为一系列子问题,在保持原问题的Wolfe对偶可行的前提下,通过迭代计算,由这一系列子问题的最优解向原问题的最优解逼近．同时给出了算法的有限收敛性．     

Extension of positive definite functions

Let Ω⊂Rⁿ$\Omega \subset {\mathbb{R}}^n$ be an open, connected subset of Rⁿ${\mathbb{R}}^n$, and let F:Ω−Ω→C$F:\Omega -\Omega \to \mathbb{C}$, where Ω−Ω={x−y:x,y∈Ω}$\Omega -\Omega =\{x-y:x,y\in \Omega \}$, be a continuous positive definite function. We give necessary and sufficient conditions for F   to have an extension to a continuous positive definite function defined on the entire Euclidean space Rⁿ${\mathbb{R}}^n$. The conditions are formulated in terms of existence of a unitary representations of Rⁿ${\mathbb{R}}^n$ whose generators extend a certain system of unbounded Hermitian operators defined on a Hilbert space associated to F. Different positive definite extensions correspond to different unitary representations.