Asymptotic Density for Quaternary Quadratic Forms

Definitions and mathematical statement

Let $Q$ be a quaternary quadratic form, meaning a homogeneous quadratic expression in four variables. The supplied record does not specify its coefficient domain or any hypotheses concerning nondegeneracy, signature, or isotropy. For a real radius $r>0$, define \[ N_Q(r):=\#\left\{x=(x_1,x_2,x_3,x_4)\in{\mathbb{Z}}^4:\ |x_i|\le r\text{ for }i=1,2,3,4,\ Q(x)=0\right\}. \] This count includes the zero vector and all integral solutions, without a primitivity restriction.

The supplied question asks for an appropriate main term $M_T(r)$ and asks whether the error \[ E_Q(r):=N_Q(r)-M_T(r) \] has an asymptotic density, after the normalization intended by the source, as $r\to\infty$.

Unresolved formulation. The record does not define $M_T(r)$, the subscript $T$, or the normalization. Its edited statement refers to a normalized error, whereas its displayed expression only subtracts the main term. Moreover, it does not define asymptotic density: in particular, it specifies neither a distribution or level set whose density is sought nor how radii are sampled. The admissible class of forms and whether the question concerns every such form or a particular form are also unspecified. Consequently, the supplied evidence determines the counting function above and a research question about its error, but does not determine a unique mathematical assertion about that error. These qualifications must be resolved before a precise density conjecture can be stated.

Short English statement

For a quadratic form in four variables, count its integral zeros in the box $[-r,r]^4$, subtract a suitable main term, and ask whether the resulting error has an asymptotic density under the intended normalization. The source leaves the class of forms, main term, normalization, and meaning of density unspecified, so this remains a qualified statement-only draft requiring mathematical review.

Sources

• Supplied local UnsolvedMath registry record, permanent ID $30006477$, title "Asymptotic Density for Quaternary Quadratic Forms," exact source problem code catalogue entry, in the Oberwolfach Reports Open Problems collection. The record gives proposed year 2025 and names no proposer for this problem.
• Supplied report citation: Arithmetic Statistics for Algebraic Objects (2026), Oberwolfach Reports, pp. 2765--2842, DOI 10.4171/owr/2025/52. Supplied source and literature-source link, labeled "Oberwolfach report 52/2025": https://doi.org/10.4171/owr/2025/52. The differing year indications are retained as supplied and have not been reconciled.
• Literature assessment checked on 2026-08-22: the supplied curation labels the problem open and reports that circle-method results determine appropriate main terms and secondary terms in some cases, while the requested density for general quaternary quadratic forms remains unresolved. This is supplied dated curation derived from the OWR material, not an independently verified literature assessment; its status and cited claims require independent verification.
• The registry labels the statement corrected_verified and describes the changes as repairs to formula delimiters, notation, grammar, and typography that preserve mathematical content and scope. These are supplied editorial claims, not independent verification of the formulation or mathematical correctness.