Positive Values of Inhomogeneous Quadratic Forms of Type (1, 4): The Constant Γ_{1,4} = 8

Abstract

Let Q be a real indefinite quadratic form of type (1, 4) with determinant D \neq 0. We prove that for every c \in \mathbb{R}^5 there exists x \in \mathbb{Z}^5 such that 0 < Q(x + c) \le (8|D|)^{1/5}, and that the constant 8 is optimal. This establishes a conjecture of Bambah, Dumir and Hans-Gill and, together with earlier work, completes the determination of the sharp constants Γ_{r,s} for positive inhomogeneous values of nondegenerate indefinite quadratic forms. The proof combines classical reduction and gap theorems with uniform bounds for circular gaps of quadratic residues. A central step identifies the exceptional parameters in certain resonant reduced families: an explicit ladder of integer witnesses resolves their punctured neighbourhoods, leaving only three rational parameter points, subject to stated coefficient conditions. These are treated by retaining the coupling in a preceding, less reduced form. The remaining covering statements are verified by finite certificates in exact rational arithmetic.