Alexander E Patkowski
The purpose of this paper is to present a collection of interesting generating functions for partitions which have connections to positive definite binary quadratic forms. In establishing our results we obtain some new Bailey pairs.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We apply Tatuzawa's version of Siegel's theorem to derive two lower bounds on the size of the principal genus of positive definite binary quadratic forms.
On the number of perfect positive definite quadratic forms
证明了n元正定二次型数量的新渐近下界，接近最优值。
An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely many similarity classes of positive definite strictly $n$-regular integral quadratic forms in $n + 4$ variables. This extends the recent finiteness results for strictly regular quaternary quadratic forms by Earnest-Kim-Meyer (2014).
In this paper, we prove that a binary definite quadratic form over F_q[t], where q is odd, is completely determined up to equivalence by the polynomials it represents up to degree 3m-2, where m is the degree of its discriminant. We also characterize, when q>13, all the definite binary forms over F_q[t] that have class number one.
Given a positive definite binary quadratic form f, let r(n) = |{(x,y): f(x,y)=n}| denote its representation function. In this paper we study linear correlations of these functions. For example, if r_1, ..., r_k are representation functions, we obtain an asymptotic for sum_{n,d} r_1(n) r_2(n+d) ... r_k(n+ (k-1)d).
Since the study by Jacobi and Hecke, Hecke-type series have received a lot of attention. Unlike such series associated with indefinite quadratic forms, identities on Hecke-type series associated with definite quadratic forms are quite rare in the literature. Motivated by the works of Liu, we first establish many parameterized identities with two parameters by employing different $q$-transformation formulas and then deduce various Hecke-type identities associated with definite quadratic forms by specializing the choice of these two parameters. As applications, we utilize some of these Hecke-typ…
We prove part of a conjecture of Borwein and Choi concerning an estimate on the square of the number of solutions to n=x^2+Ny^2 for a squarefree integer N.
In this paper we give an algorithm for enumerating all primitive (positive) definite maximal Z-valued quadratic forms Q in n >= 3 variables with bounded class number h(Q) <= B. We do this by analyzing the exact mass formula [GHY], and bounding all relevant local invariants to give only finitely many possibilities. We also briefly describe an open-source implementation of this algorithm we have written in Python/Sage which explicitly enumerates all such quadratic forms of bounded class number in n >= 3 variables. Using this we determine that there are exactly 115 primitive positive definite max…
On Three-Term Linear Relations for Theta Series of Positive-Definite Binary Quadratic Forms
本文扩展Schiemann方法并在多面体锥上开发扩展细化算法，刻画正定整二元二次型theta级数的三项线性关系，证明仅存在一个涉及判别式$-3,-12,-48$的非平凡关系。
The classification and representations of positive definite ternary quadratic forms of level 4N
本文针对无平方因子整数N，给出4N级正定三元二次型的完整分类，并利用三元二次型、四元数代数与Jacobi形式的关系，建立各类表示加权和的显式公式，进而得到类数公式及权3/2模形式Eisenstein空间的应用。
A collection $\mathcal S$ of equivalence classes of positive definite integral quadratic forms in $n$ variables is called an $n$-exceptional set if there exists a positive definite integral quadratic form which represents all equivalence classes of positive definite integral quadratic forms in $n$ variables except those in $\mathcal S$. We show that, among other results, for any given positive integers $m$ and $n$, there is always an $n$-exceptional set of size $m$ and there are only finitely many of them.
Following Bhargava and Hanke's celebrated 290-theorem, we prove a universality theorem for all positive-definite integer-valued quadratic forms that represent all positive integers coprime to $3$. In particular, if a positive-definite quadratic form represents all positive integers coprime to $3$ and $\leq 290$, then it represents all positive integers coprime to $3$. We use similar methods to those used by Rouse to prove (assuming GRH) that a positive-definite quadratic form representing every odd integer between $1$ and $451$ represents all positive odd integers.
A positive definite Hermitian lattice is said to be 2-universal if it represents all positive definite binary Hermitian lattices. We find all 2-universal ternary and quaternary Hermitian lattices over imaginary quadratic number fields.
Let $Q$ be a positive-definite quaternary quadratic form with integer coefficients. We study the problem of giving bounds on the largest positive integer $n$ that is locally represented by $Q$ but not represented. Assuming that $n$ is relatively prime to $D(Q)$, the determinant of the Gram matrix of $Q$, we show that $n$ is represented provided that \[ n \gg \max \{ N(Q)^{3/2 + ε} D(Q)^{5/4 + ε}, N(Q)^{2 + ε} D(Q)^{1 + ε} \}. \] Here $N(Q)$ is the level of $Q$. We give three other bounds that hold under successively weaker local conditions on $n$. These results are proven by bounding the Peter…
For a positive definite integral ternary quadratic form $f$, let $r(k,f)$ be the number of representations of an integer $k$ by $f$. The famous Minkowski-Siegel formula implies that if the class number of $f$ is one, then $r(k,f)$ can be written as a constant multiple of a product of local densities which are easily computable. In this article, we consider the case when the spinor genus of $f$ contains only one class. In this case the above also holds if $k$ is not contained in a set of finite number of square classes which are easily computable (see, for example, \cite{sp1} and \cite {sp2}). …
G.L. Watson \cite{watson1, watson2} introduced a set of transformations, called Watson transformations by most recent authors, in his study of the arithmetic of integral quadratic forms. These transformations change an integral quadratic form to another integral quadratic form with a smaller discriminants, but preserve many arithmetic properties at the same time. In this paper, we study the change of class numbers of positive definite ternary integral quadratic formula along a sequence of Watson transformations, thus providing a new and effective way to compute the class number of positive def…
No proper generalized quadratic forms are universal over quadratic fields
该研究探讨实二次数域上广义二次型的泛性，证明正定条件下泛广义二次型必含泛二次子形式，并构造例子验证正定条件的必要性，推进了数域上二次型的泛性理论研究。
A (positive definite integral) quadratic form is called almost 2-universal if it represents all (positive definite integral) binary quadratic forms except those in only finitely many equivalence classes. Oh [7] determined all almost 2-universal quinary diagonal quadratic forms remaining three as candidates. In this article, we prove that those three candidates are indeed almost 2-universal.
We study a form of refined class number formula (resp. type number formula) for maximal orders in totally definite quaternion algebras over real quadratic fields, by taking into consideration the automorphism groups of right ideal classes (resp. unit groups of maximal orders). For each finite noncyclic group $G$, we give an explicit formula for the number of conjugacy classes of maximal orders whose unit groups modulo center are isomorphic to $G$, and write down a representative for each conjugacy class. This leads to a complete recipe (even explicit formulas in special cases) for the refined …
Kaplansky conjectured that if two positive-definite real ternary quadratic forms have perfectly identical representations over $\mathbb{Z}$, they are constant multiples of regular forms, or is included in either of two families parametrized by $\mathbb{R}^2$ (so called, hexagonal and rhombohedral families). Our results aim to clarify the limitations imposed to such a pair by computational and theoretical approaches. Firstly, the result of an exhaustive search for such pairs of integral quadratic forms is presented, in order to provide a concrete version of the Kaplansky conjecture. The obtaine…
Using the circle method, we show that for a fixed positive definite integral quadratic form $A$, the expected asymptotic formula for the number of representations of a positive definite integral quadratic form $B$ by $A$ holds true, providing that the dimension of $A$ is large enough in terms of the dimension of $B$ and the maximum ratio of the successive minima of $B$, and providing that $B$ is sufficiently large in terms of $A$.
Let $f$ be a primitive positive definite integral binary quadratic form of discriminant $-D$ and let $π_f(x)$ be the number of primes up to $x$ which are represented by $f$. We prove several types of upper bounds for $π_f(x)$ within a constant factor of its asymptotic size: unconditional, conditional on the Generalized Riemann Hypothesis (GRH), and for almost all discriminants. The key feature of these estimates is that they hold whenever $x$ exceeds a small power of $D$ and, in some cases, this range of $x$ is essentially best possible. In particular, if $f$ is reduced then this optimal range…
We prove that the representations numbers of a ternary definite integral quadratic form defined over F_q[t], where F_q is a finite field of odd characteristic, determine its integral equivalence class when q is large enough with respect to its successive minima. Equivalently, such a quadratic form is determined up to integral isometry by its theta series.
Partitions in real quadratic fields
本文研究实二次域中全正整数的分拆，提出计算分拆数的算法，证明分拆函数奇偶性结果，并刻画具有特定分拆数的二次域。
In this note, we give an elementary proof of the following classical fact. Any positive definite ternary quadratic form over the rational numbers fails to represent infinitely many positive integers. For any ternary quadratic form (positive definite or indefinite), our method constructs certain congruence classes whose elements, up to a square factor, are the only elements not represented over the rational numbers by that form. In the case of a positive definite ternary form, we show that these classes are non-empty. This shows that the minimum number of variables in a positive definite quadra…
In this paper we generalize the result of Fouvry and Iwaniec dealing with prime values of the quadratic form $x^2 + y^2$ with one input restricted to a thin subset of the integers. We prove the same result with an arbitrary primitive positive definite binary quadratic form. In particular, for any positive definite binary quadratic form $F$ and binary linear form $G$, there exist infinitely many $\ell, m\in\mathbb{Z}$ such that both $F(\ell, m)$ and $G(\ell, m)$ are primes as long as there are no local obstructions.
This paper extends previous work on linear correlations of representation functions of positive definite binary quadratic forms to allow indefinite forms.
Can we recover an integral quadratic form by representing all its subforms?
本文研究全实代数数域整数环上二次型能否通过表示其所有真子形式来恢复原二次型，证明不定情形可恢复、正定不可分解情形不可恢复，并给出正定可分解二次型的新刻画及表示有限性定理的数域推广。
We investigate properties of attainable partitions of integers, where a partition $(n_1,n_2, \dots, n_r)$ of $n$ is attainable if $\sum (3-2i)n_i\geq 0$. Conjecturally, under an extension of the Cohen and Lenstra heuristics by Holmin et. al., these partitions correspond to abelian $p$-groups that appear as class groups of imaginary quadratic number fields for infinitely many odd primes $p$. We demonstrate a connection to partitions of integers into triangular numbers, construct a generating function for attainable partitions, and determine the maximal length of attainable partitions.
A note on Some Partitions Related to Ternary Quadratic Forms
本文提出与三元二次型相关的分拆函数及其上界与性质，作为共轭Bailey对简单方法的应用，进一步验证了该方法的实用性。
A positive-definite integral quadratic form is called regular if it represents every positive integer which is locally represented. In this article, we classify all regular diagonal quadratic forms of rank greater than 3.
We investigate the average distribution of primes represented by positive definite integral binary quadratic forms, the average being taken over negative fundamental discriminants in long ranges. In particular, we prove corresponding results of Bombieri-Vinogradov type and of Barban-Davenport-Halberstam type, although with shorter ranges than in the original theorems for primes in arithmetic progressions: The results imply that, for all $a>0$, the least prime that can be represented by any given positive definite binary quadratic form of discriminant $q$ is smaller than $|q|^{7+a}$ for all for…
An integral quadratic polynomial (with positive definite quadratic part) is called almost universal if it represents all but finitely many positive integers. In this paper, we provide a characterization of almost universal ternary quadratic polynomials with conductor 2.
In this article, we establish an average behaviour of the normalised Fourier coefficients of the Hecke eigenforms supported at the integers represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$. We also obtain a quantitative result for the number of sign changes of the sequence of the normalised Fourier coefficients $λ_{f}(n)$ of the Hecke eigenforms $f$ where $n$ is represented by any primitive integral positive definite binary quadratic form of fixed discriminant $D < 0$ when the class number $h(D) = 1$ in…
In this note we study an analogy between a positive definite quadratic form for elliptic curves over finite fields and a positive definite quadratic form for elliptic curves over the rational number field. A question is posed of which an affirmative answer would imply the analogue of the Riemann hypothesis for elliptic curves over the rational number field.
The goal of this note is to provide an analysis of the positive integers that are represented everywhere locally, but not globally, by each of the 29 spinor regular positive definite integral ternary quadratic forms that are not regular.
A (positive definite primitive integral) quadratic form is called odd-regular if it represents every odd positive integer which is locally represented. In this paper, we show that there are at most 147 diagonal odd-regular ternary quadratic forms and prove the odd-regularities of all but 6 candidates.
An integral quadratic polynomial (with positive definite quadratic part) is called almost universal if it represents all but finitely many positive integers. In this paper, we introduce the conductor of a quadratic polynomial, and give an effective characterization of almost universal ternary quadratic polynomials with odd prime power conductor.
Let $ψ$ and $F$ be positive definite forms with integral coefficients of equal degree. Using the circle method, we establish an asymptotic formula for the number of identical representations of $ψ$ by $F$, provided $ψ$ is everywhere locally representable and the number of variables of $F$ is large enough. In the quadratic case this supersedes a recent result due to Dietmann and Harvey. Another application addresses the number of primitive linear spaces contained in a hypersurface.
In 1997, Kaplansky conjectured that if two positive definite ternary quadratic forms with integer coefficients have perfectly identical integral representations, then they are isometric, both regular, or included either of two families of ternary quadratic forms. In this article, we prove the existence of pairs of ternary quadratic forms representing same integers which are not in the Kaplansky's list.
We make some corrections to Nipp's tables of positive definite integral quaternary quadratic forms. They only affect $p$-adic densities and $p$-adic Jordan splittings in the Appendix of Nipp's book. There are no errors found in Nipp's list of quaternary forms for each genus.
Totally positive elements with $m$ partitions exist in almost all real quadratic fields
本文证明几乎在所有实二次域中都存在具有任意固定 $m$ 种划分的全正元素，并给出相关范数上界及恰好两种表示情形的完整刻画，进而完成 $1 \leq m \leq 7$ 的域搜索。
We show that the theorem of Ellenberg and Venkatesh on representation of integral quadratic forms by integral positive definite quadratic forms is valid under weaker conditions on the represented form.
Jagy and Kaplansky exhibited a table of 68 pairs of positive definite binary quadratic forms that represent the same odd primes and conjectured that this list is complete outside of "trivial" pairs. In this article, we find all pairs of such forms that represent the same primes outside of a finite set.
We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of (V,q). This yields a good algorithm to enumerate a system of representatives of proper isometry classes of lattices in genera of maximal lattices in (V,q).
It is known due to Baker and Montgomery that almost all Fekete polynomials under certain ordering have at least one zero on the interval (0, 1). In terms of the positive-definiteness, Fekete polynomial has no zero on the interval (0, 1) if and only if the corresponding automorphic form is positive-definite. On generalizing their result, we formulate an axiomatic result about sets of automorphic forms satisfying certain averages when suitably ordered, which ensures that almost all forms are not positive-definite within such sets. We then apply the result to various families, including the famil…
We prove several results about integers represented by positive definite quadratic forms, using a Fourier analysis approach. In particular, for an integer $\ell\geq 1$, we improve the error term in the partial sums of the number of representations of integers that are a multiple of $\ell$. This allows us to obtain unconditional Brun-Titchmarsh-type results in short intervals, and a conditional Cramér-type result on the maximum gap between primes represented by a given positive definite quadratic form.
We construct p-adic families of Klingen Eisenstein series and L-functions for cuspforms (not necessarily ordinary) unramified at an odd prime p on definite unitary groups of signature (r, 0) (for any positive integer r) for a quadratic imaginary field split at p. When r=2, we show that the constant term of the Klingen Eisenstein family is divisible by a certain p-adic L-function.
A (positive definite and integral) quadratic form is said to be $\textit{prime-universal}$ if it represents all primes. Recently, Doyle and Williams in [2] classified all prime-universal diagonal ternary quadratic forms, and all prime-universal diagonal quaternary quadratic forms under two conjectures proposed by themselves. In this article, we classify all prime-universal diagonal quadratic forms regardless of ranks. Furthermore, we prove, so called, $67$-Theorem for a diagonal quadratic form to be prime-universal.
Representing rational integers by generalized quadratic forms over quadratic fields
研究二次域上值域为有理整数的广义二次型，证明实二次域中存在正定二元广义二次型可表示所有正整数，并证明仅有有限多个二次域存在三元广义二次型具有此类性质。
Let Q be a non-singular quadratic form with integer coefficients. When Q is indefinite we provide new upper bounds for the least non-trivial integral solution to the equation Q=0. When Q is positive definite we provide improved upper bounds for the least positive integer k such that the equation Q=k is insoluble in integers, despite being soluble modulo every prime power.
Recently, Andrews, Hirschhorn and Sellers have proven congruences modulo 3 for four types of partitions using elementary series manipulations. In this paper, we generalize their congruences using arithmetic properties of certain quadratic forms.
We give upper bounds on the size of the gap between a non-zero constant term and the next non-zero Fourier coefficient of an entire level two modular form. We give upper bounds for the minimum positive integer represented by a level two even positive-definite quadratic form. These bounds extend partial results in part I.
We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of coefficients of the associated continued fraction. We also estimate such sums in terms of $D$ and establish a link between continued fraction expansions and special values of $L$-functions in the spirit of Kronecker's limit formula.
Let $S \subseteq \mathbb{N}$ be finite. Is there a positive definite quadratic form that fails to represent only those elements in $S$? For $S = \emptyset$, this was solved (for classically integral forms) by the $15$-Theorem of Conway-Schneeberger in the early 1990s and (for all integral forms) by the $290$-Theorem of Bhargava-Hanke in the mid-2000s. In 1938 Halmos attempted to list all weighted sums of four squares that failed to represent $S=\{m\}$; of his $88$ candidates, he could provide complete justifications for all but one. In the same spirit, we ask, "for which $S = \{m, n\}$ does th…
A (positive definite and non-classic integral) quadratic form is called strongly $s$-regular if it satisfies a strong regularity property on the number of representations of squares of integers. In this article, we prove that for any integer $k \ge 2$, there are only finitely many isometry classes of strongly $s$-regular quadratic forms with rank $k$ if the minimum of the nonzero squares that are represented by them is fixed.
Real quadratic fields with a universal quadratic form of given rank have density zero
该研究通过二次格短向量与系数有界周期连分数数量估计，证明给定秩泛在二次型的实二次域数量有显式上界、密度为零，并推广至全正定二次格情形。
Integral Quadratic Forms Avoiding Arithmetic Progressions
该研究证明对任意正整数k，存在正定对角四元整二次型恰好表示除k个算术级数中数之外的所有正整数，并确定了k=1时所有满足该性质的二次型，丰富了数论中整二次型表示理论。
We generalize the Hermite-Korkin-Zolotarev (HKZ) reduction theory of positive definite quadratic forms over $\mathbb Q$ and its balanced version introduced recently by Beli-Chan-Icaza-Liu to positive definite quadratic forms over a totally real number field $K$. We apply the balanced HKZ-reduction theory to study the growth of the {\em $g$-invariants} of the ring of integers of $K$. More precisely, for each positive integer $n$, let $\mathcal O$ be the ring of integers of $K$ and $g_{\mathcal O}(n)$ be the smallest integer such that every sum of squares of $n$-ary $\mathcal O$-linear forms mus…
A positive definite integral quadratic form is said to be almost (primitively) universal if it (primitively) represents all but at most finitely many positive integers. In general, almost primitive universality is a stronger property than almost universality. The two main results of this paper are: 1) every primitively universal form nontrivially represents zero over every ring of p-adic integers, and 2) every almost universal form in five or more variables is almost primitively universal.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。