arXiv:2206.00412 [math.NT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords prime discriminant, positive-definite quaternary quadratic form, non-trivial upper bound, explicit lower bound, petersson norm Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset