• Journal of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.651-655
• /
• 1996

Lagrange's famous Four Square Theorem [L] says that every positive integer can be represented by the sum of four squares. This marvelous theorem was generalized by Mordell [M1] and Ko [K1] as follows : every positive definite integral quadratic form of two, three, four, and five variables is represented by the sum of five, six, seven, and eight squares, respectively. And they tried to extend this to positive definite integral quadratic forms of six or more variables.

• Journal of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.621-630
• /
• 2008

In this paper, we provide a complete list of 177 equivalence classes of primitive even 2-regular quaternary positive definite quadratic forms and their discriminants. All of them have class number 1.

• Journal of the Korean Mathematical Society
• /
• v.45 no.5
• /
• pp.1311-1322
• /
• 2008

The Fifteen Theorem proved by Conway and Schneeberger is a criterion for positive definite quadratic forms over the rational integer ring to be universal. In this paper, we give a proof of an analogy of the Fifteen Theorem for definite quadratic forms over polynomial rings, which is known as the Four Conjecture proposed by Gerstein.

• East Asian mathematical journal
• /
• v.26 no.5
• /
• pp.649-654
• /
• 2010

A positive definite Hermitian lattice is said to be 2-universal if it represents all positive definite binary Hermitian lattices. We find some finiteness theorems which ensure 2-universality of Hermitian lattices over several imaginary quadratic number fields.

• Journal of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.849-871
• /
• 2021

A (positive definite integral) quadratic form is called even 2-universal if it represents all even quadratic forms of rank 2. In this article, we prove that there are at most 55 even 2-universal even quadratic forms of rank 5. The proofs of even 2-universalities of some candidates will be given so that exactly 20 candidates remain unproven.

• Korean Journal of Mathematics
• /
• v.31 no.2
• /
• pp.181-188
• /
• 2023

In 1911, Dubouis determined all positive integers represented by sums of k nonvanishing squares for all k ≥ 4. As a generalization, Y.-S. Ji, M.-H. Kim and B.-K. Oh determined all positive definite binary quadratic forms represented by sums of k nonvanishing squares for all k ≥ 5. In this article, we give a simple proof for Ji-Kim-Oh's theorem for all k ≥ 10.

• Journal of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.595-611
• /
• 2001

Let Q(n,1) be the set of even unimodular positive definite integral quadratic forms in n-variables. Then n is divisible by 8. For A[X] in Q(n,1), the theta series $\theta$(sub)A(z) = ∑(sub)X∈Z(sup)n e(sup)$\pi$izA[X] (Z∈h (※Equations, See Full-text) the complex upper half plane) is a modular form of weight n/2 for the congruence group Γ$_1$(8) = {$\delta$∈SL$_2$(Z)│$\delta$≡()mod 8} (※Equation, See Full-text). If n$\geq$24 and A[X], B{X} are tow quadratic forms in Q(n,1), the quotient $\theta$(sub)A(z)/$\theta$(sub)B(z) is a modular function for Γ$_1$(8). Since we identify the field of modular functions for Γ$_1$(8) with the function field K(X$_1$(8)) of the modular curve X$_1$(8) = Γ$_1$(8)＼h(sup)* (h(sup)* the extended plane of h) with genus 0, we can express it as a rational function of j(sub) 1,8 over C which is a field generator of K(X$_1$(8)) and defined by j(sub)1,8(z) = $\theta$$_3$(2z)/$\theta$$_3$(4z). Here, $\theta$$_3$ is the classical Jacobi theta series.

• Kyungpook Mathematical Journal
• /
• v.61 no.3
• /
• pp.455-459
• /
• 2021

We partially characterize criteria for the n-universality of positive-definite integer-matrix quadratic forms. We then obtain the uniqueness of Oh's 8-universality criterion [11] as a corollary.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.4
• /
• pp.919-920
• /
• 2011

For two even unimodular positive definite integral quadratic forms A[X], B[X] in n-variables, J. K. Koo [1, Theorem 1] showed that ${\theta}_A(\tau)/{\theta}_B(\tau)$ is a rational function of J, satisfying a certain condition. Where ${\theta}_A(\tau)$ and ${\theta}_B(\tau)$ are theta series related to A[X] and B[X], respectively, and J is the classical modular invariant. In this paper we give a simple proof of Theorem 1 of [1].

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.479-491
• /
• 2017

We investigate the zeros of Epstein zeta functions associated with positive definite quadratic forms with rational coefficients in the vertical strip ${\sigma}_1$ < ${\Re}s$ < ${\sigma}_2$, where 1/2 < ${\sigma}_1$ < ${\sigma}_2$ < 1. When the class number h of the quadratic form is bigger than 1, Voronin gave a lower bound and Lee gave an asymptotic formula for the number of zeros. Recently Gonek and Lee improved their results by providing a new upper bound for the error term when h > 3. In this paper, we consider the cases h = 2, 3 and provide an upper bound for the error term, smaller than the one for the case h > 3.