arXiv subjects

Jangwon Ju

Publications and source records attributed to Jangwon Ju.

18 recordsLinked to original sources

arXiv2025

Composition laws of binary quadratic forms and isolations of quadratic forms

A positive definite and integral quadratic form $f$ is called irrecoverable if there is a quadratic form $F$ such that it represents all proper subforms of $f$, whereas it does not represent $f$ itself. In this case, $F$ is called an isolation of $f$. In this article, we prove that there does not exist a binary isolation of any unary quadratic form. We also prove that there does not exist a ternary isolation of any binary quadratic form. Furthermore, if the form class group of a primitive binary quadratic form has no element of order $4$, then the discriminant of any quaternary isolation of it, if exists, is a square of an integer. The composition laws of primitive binary quadratic forms play an essential role in the proofs of the results.

math.NT↗

arXiv2024

Even universal sums of triangular numbers

For an arbitrary integer $x$, an integer of the form $T(x)\!=\!\frac{x^2+x}{2}$ is called a triangular number. Let $\alpha_1,\dots,\alpha_k$ be positive integers. A sum $\Delta_{\alpha_1,\dots,\alpha_k}(x_1,\dots,x_k)=\alpha_1 T(x_1)+\cdots+\alpha_k T(x_k)$ of triangular numbers is said to be even universal if the Diophantine equation $\Delta_{\alpha_1,\dots,\alpha_k}(x_1,\dots,x_k)=2n$ has an integer solution $(x_1,\dots,x_k)\in\mathbb{Z}^k$ for any nonnegative integer $n$. In this article, we classify all even universal sums of triangular numbers. Furthermore, we provide an effective criterion on even universality of an arbitrary sum of triangular numbers, which is a generalization of the triangular theorem of eight of Bosma and Kane.

math.NT↗

arXiv2023

Isolations of the sum of two squares from its proper subforms

For a (positive definite and integral) quadratic form $f$, a quadratic form is said to be {\it an isolation of $f$ from its proper subforms} if it represents all proper subforms of $f$, but not $f$ itself. It was proved that the minimal rank of isolations of the square quadratic form $x^2$ is three, and there are exactly $15$ ternary diagonal isolations of $x^2$. Recently, it was proved that any quaternary quadratic form cannot be an isolation of the sum of two squares $I_2=x^2+y^2$, and there are quinary isolations of $I_2$. In this article, we prove that there are at most $231$ quinary isolations of $I_2$, which are listed in Table $1$. Moreover, we prove that $14$ quinary quadratic forms with dagger mark in Table $1$ are isolations of $I_2$.

math.NT↗

arXiv2022

Primitively universal quaternary quadratic forms

A (positive definite and integral) quadratic form $f$ is said to be $\textit{universal}$ if it represents all positive integers, and is said to be $\textit{primitively universal}$ if it represents all positive integers primitively. We also say $f$ is $\textit{primitively almost universal}$ if it represents almost all positive integers primitively. Conway and Schneeberger proved (see [1]) that there are exactly $204$ equivalence classes of universal quaternary quadratic forms. Recently, Earnest and Gunawardana proved in [4] that among $204$ equivalence classes of universal quaternary quadratic forms, there are exactly $152$ equivalence classes of primitively almost universal quaternary quadratic forms. In this article, we prove that there are exactly $107$ equivalence classes of primitively universal quaternary quadratic forms. We also determine the set of all positive integers that are not primitively represented by each of the remaining $152-107=45$ equivalence classes of primitively almost universal quaternary quadratic forms.

math.NT↗

arXiv2022

Tight universal sums of $m$-gonal numbers

For a positive integer $n$, the set of all integers greater than or equal to $n$ is denoted by $\mathcal T(n)$. A sum of generalized $m$-gonal numbers $g$ is called tight $\mathcal T(n)$-universal if the set of all nonzero integers represented by $g$ is equal to $\mathcal T(n)$. In this article, we prove the existence of a minimal tight $\mathcal T(n)$-universality criterion set for a sum of generalized $m$-gonal numbers for any pair $(m,n)$. To achieve this, we introduce an algorithm giving all candidates for tight $\mathcal T(n)$-universal sums of generalized $m$-gonal numbers for any given pair $(m,n)$. Furthermore, we provide some experimental results on the classification of tight $\mathcal T(n)$-universal sums of generalized $m$-gonal numbers.

math.NT↗

arXiv2022

Tight universal octagonal forms

Let $P_8(x)=3x^2-2x$. For positive integers $a_1,a_2,\dots,a_k$, a polynomial of the form $a_1P_8(x_1)+a_2P_8(x_2)+\cdots+a_kP_8(x_k)$ is called an octagonal form. For a positive integer $n$, an octagonal form is called tight $\mathcal T(n)$-universal if it represents (over $\mathbb{z}$) every positive integer greater than or equal to $n$ and does not represent any positive integer less than $n$. In this article, we find all tight $\mathcal T(n)$-universal octagonal forms for every $n\ge 2$. Furthermore, we provide an effective criterion on tight $\mathcal T(n)$-universality of an arbirary octagonal form, which is a generalization of "15-Theorem" of Conway and Schneeberger.

math.NT↗

arXiv2022

Almost universal sums of triangular numbers with one exception

For an arbitrary integer $x$, an integer of the form $T(x)=\frac{x^2+x}{2}$ is called a triangular number. For positive integers $\alpha_1,\alpha_2,\dots,\alpha_k$, a sum $\Delta_{\alpha_1,\alpha_2,\dots,\alpha_k}(x_1,x_2,\dots,x_k)=\alpha_1 T(x_1)+\alpha_2 T(x_2)+\cdots+\alpha_k T(x_k)$ of triangular numbers is said to be almost universal with one exception if the Diophantine equation $\Delta_{\alpha_1,\alpha_2,\dots,\alpha_k}(x_1,x_2,\dots,x_k)=n$ has an integer solution $(x_1,x_2,\dots,x_k)\in\mathbb{Z}^k$ for any nonnegative integer $n$ except a single one. In this article, we classify all almost universal sums of triangular numbers with one exception. Furthermore, we provide an effective criterion on almost universality with one exception of an arbitrary sum of triangular numbers, which is a generalization of "15-theorem" of Conway, Miller and Schneeberger.

math.NT↗

arXiv2020

The pentagonal theorem of sixty-three and generalizations of Cauchy's lemma

In this article, we study the representability of integers as sums of pentagonal numbers, where a pentagonal number is an integer of the form $P_5(x)=\frac{3x^2-x}{2}$ for some non-negative integer $x$. In particular, we prove the "pentagonal theorem of $63$", which states that a sum of pentagonal numbers represents every non-negative integer if and only if it represents the integers $1$, $2$, $3$, $4$, $6$, $7$, $8$, $9$, $11$, $13$, $14$, $17$, $18$, $19$, $23$, $28$, $31$, $33$, $34$, $39$, $42$, and $63$. We also introduce a method to obtain a generalized version of Cauchy's lemma using representations of binary integral quadratic forms by quaternary quadratic forms, which plays a crucial role in proving the results.

math.NT↗

arXiv2020

Prime-universal diagonal quadratic forms

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.

math.NT↗

arXiv2020

Ternary quadratic forms representing same integers

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.

math.NT↗

arXiv2020

Universal sums of generalized pentagonal numbers

For an integer $x$, an integer of the form $P_5(x)=\frac{3x^2-x}2$ is called a generalized pentagonal number. For positive integers $α_1,\dots,α_k$, a sum $Φ_{α_1,\dots,α_k}(x_1,x_2,\dots,x_k)=α_1P_5(x_1)+α_2P_5(x_2)+\cdots+α_kP_5(x_k)$ of generalized pentagonal numbers is called universal if $Φ_{α_1,\dots,α_k}(x_1,x_2,\dots,x_k)=N$ has an integer solution $(x_1,x_2,\dots,x_k) \in \mathbb Z^k$ for any non-negative integer $N$. In this article, we prove that there are exactly $234$ proper universal sums of generalized pentagonal numbers. Furthermore, the "pentagonal theorem of $109$" is proved, which states that an arbitrary sum $Φ_{α_1,\dots,α_k}(x_1,x_2,\dots,x_k)$ is universal if and only if it represents the integers $1, 3, 8, 9, 11, 18, 19, 25, 27, 43, 98$, and $109$.

math.NT↗

arXiv2018

Universal mixed sums of generalized $4$- and $8$-gonal numbers

An integer of the form $P_m(x)= \frac{(m-2)x^2-(m-4)x}{2}$ for an integer $x$, is called a generalized $m$-gonal number. For positive integers $α_1,\dots,α_u$ and $β_1,\dots,β_v$, a mixed sum $Φ=α_1P_4(x_1)+\cdots+α_uP_4(x_u)+β_1P_8(y_1)+\cdots+β_vP_8(y_v)$ of generalized $4$- and $8$-gonal numbers is called universal if $Φ=N$ has an integer solution for any nonnegative integer $N$. In this article, we prove that there are exactly 1271 proper universal mixed sums of generalized $4$- and $8$-gonal numbers. Furthermore, the "$61$-theorem" is proved, which states that an arbitrary mixed sum of generalized $4$- and $8$-gonal numbers is universal if and only if it represents the integers $1$, $2$, $3$, $4$, $5$, $6$, $7$, $8$, $9$, $10$, $12$, $13$, $14$, $15$, $18$, $20$, $30$, $60$, and $61$.

math.NT↗

arXiv2017

Universal sums of generalized octagonal numbers

An integer of the form $P_8(x)=3x^2-2x$ for some integer $x$ is called a generalized octagonal number. A quaternary sum $Φ_{a,b,c,d}(x,y,z,t)=aP_8(x)+bP_8(y)+cP_8(z)+dP_8(t)$ of generalized octagonal numbers is called {\it universal} if $Φ_{a,b,c,d}(x,y,z,t)=n$ has an integer solution $x,y,z,t$ for any positive integer $n$. In this article, we show that if $a=1$ and $(b,c,d)=(1,3,3), (1,3,6), (2,3,6), (2,3,7)$ or $(2,3,9)$, then $Φ_{a,b,c,d}(x,y,z,t)$ is universal. These were conjectured by Sun in \cite {sun}. We also give an effective criterion on the universality of an arbitrary sum $a_1 P_8(x_1)+a_2P_8(x_2)+\cdots+a_kP_8(x_k)$ of generalized octagonal numbers, which is a generalization of "$15$-theorem" of Conway and Schneeberger.

math.NT↗

arXiv2017

A generalization of Gauss' triangular theorem

A quadratic polynomial $Φ_{a,b,c}(x,y,z)=x(ax+1)+y(by+1)+z(cz+1)$ is called universal if the diophantine equation $Φ_{a,b,c}(x,y,z)=n$ has an integer solution $x,y,z$ for any non negative integer $n$. In this article, we show that if $(a,b,c)=(2,2,6), (2,3,5)$ or $(2,3,7)$, then $Φ_{a,b,c}( x,y,z)$ is universal. These were conjectured by Sun in \cite {Sun}.

math.NT↗

arXiv2016

Ternary universal sums of generalized polygonal numbers

An integer of the form $p_m(x)= \frac{(m-2)x^2-(m-4)x}{2} \ (m\ge 3)$, for some integer $x$ is called a generalized polygonal number of order $m$. A ternary sum $\Phi_{i,j,k}^{a,b,c}(x,y,z)=ap_{i+2}(x)+bp_{j+2}(y)+cp_{k+2}(z)$ of generalized polygonal numbers, for some positive integers $a,b,c$ and some integers $1\leq i\leq j \leq k$, is said to be universal over $\mathbb{Z}$ if the equation $\Phi_{i,j,k}^{a,b,c}(x,y,z)=n$ has an integer solution $x,y,z$ for any nonnegative integer $n$. In this article, we prove the universalities of $17$ ternary sums of generalized polygonal numbers, which was conjectured by Sun.

math.NT↗

arXiv2016

Spinor representations of positive definite ternary quadratic forms

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}). By using this fact, we prove some extension of the results given in both \cite {cl} on the representations of generalized Bell ternary forms and \cite {be} on the representations of ternary quadratic forms with some congruence conditions.

math.NT↗

arXiv2016

Genus-correspondences respecting spinor genus

For two positive definite integral ternary quadratic forms $f$ and $g$ and a positive integer $n$, if $n\cdot g$ is represented by $f$ and $n\cdot dg=df$, then the pair $(f,g)$ is called a representable pair by scaling $n$. The set of all representable pairs in $\text{gen}(f)\times \text{gen}(g)$ is called a genus-correspondence. Jagy conjectured that if $n$ is square free and the number of spinor genera in the genus of $f$ equals to the number of spinor genera in the genus of $g$, then such a genus-correspondence respects spinor genus in the sense that for any representable pairs $(f,g), (f',g')$ by scaling $n$, $f' \in \text{spn}(f)$ if and only if $g' \in \text{spn}(g)$. In this article, we show that by giving a counter example, Jagy's conjecture does not hold. Furthermore, we provide a necessary and sufficient condition for a genus-correspondence to respect spinor genus.

math.NT↗

arXiv2016

A generalization of Watson transformation and representations of ternary quadratic forms

Let $L$ be a positive definite (non-classic) ternary $\z$-lattice and let $p$ be a prime such that a $\frac 12\z_p$-modular component of $L_p$ is nonzero isotropic and $4\cdot dL$ is not divisible by $p$. For a nonnegative integer $m$, let $\mathcal G_{L,p}(m)$ be the genus with discriminant $p^m\cdot dL$ on the quadratic space $L^{p^m}\otimes \q$ such that for each lattice $T \in \mathcal G_{L,p}(m)$, a $\frac 12\z_p$-modular component of $T_p$ is nonzero isotropic, and $T_q$ is isometric to $(L^{p^m})_q$ for any prime $q$ different from $p$. Let $r(n,M)$ be the number of representations of an integer $n$ by a $\z$-lattice $M$. In this article, we show that if $m \le 2$ and $n$ is divisible by $p$ only when $m=2$, then for any $T \in \mathcal G_{L,p}(m)$, $r(n,T)$ can be written as a linear summation of $r(pn,S_i)$ and $r(p^3n,S_i)$ for $S_i \in \mathcal G_{L,p}(m+1)$ with an extra term in some special case. We provide a simple criterion on when the extra term is necessary, and we compute the extra term explicitly. We also give a recursive relation to compute $r(n,T)$, for any $T \in \mathcal G_{L,p}(m)$, by using the number of representations of some integers by lattices in $\mathcal G_{L,p}(m+1)$ for an arbitrary integer $m$.

math.NT↗