Source author record

Jangwon Ju

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

11works
1topics
4close collaborators

Published work

11 publications

preprint2022arXiv

Almost universal sums of triangular numbers with one exception

For an arbitrary integer xx, an integer of the form T(x)=x2+x2T(x)=\frac{x^2+x}{2} is called a triangular number. For positive integers α1,α2,…,αkα_1,α_2,\dots,α_k, a sum Δα1,α2,…,αk(x1,x2,…,xk)=α1T(x1)+α2T(x2)+⋯+αkT(xk)Δ_{α_1,α_2,\dots,α_k}(x_1,x_2,\dots,x_k)=α_1 T(x_1)+α_2 T(x_2)+\cdots+α_k T(x_k) of triangular numbers is said to be almost universal with one exception if the Diophantine equation Δα1,α2,…,αk(x1,x2,…,xk)=nΔ_{α_1,α_2,\dots,α_k}(x_1,x_2,\dots,x_k)=n has an integer solution (x1,x2,…,xk)∈Zk(x_1,x_2,\dots,x_k)\in\mathbb{Z}^k for any nonnegative integer nn 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.

preprint2022arXiv

Primitively universal quaternary quadratic forms

A (positive definite and integral) quadratic form ff is said to be universal\textit{universal} if it represents all positive integers, and is said to be primitively universal\textit{primitively universal} if it represents all positive integers primitively. We also say ff is primitively almost universal\textit{primitively almost universal} if it represents almost all positive integers primitively. Conway and Schneeberger proved (see [1]) that there are exactly 204204 equivalence classes of universal quaternary quadratic forms. Recently, Earnest and Gunawardana proved in [4] that among 204204 equivalence classes of universal quaternary quadratic forms, there are exactly 152152 equivalence classes of primitively almost universal quaternary quadratic forms. In this article, we prove that there are exactly 107107 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=45152-107=45 equivalence classes of primitively almost universal quaternary quadratic forms.

preprint2022arXiv

Tight universal octagonal forms

Let P8(x)=3x2−2xP_8(x)=3x^2-2x. For positive integers a1,a2,…,aka_1,a_2,\dots,a_k, a polynomial of the form a1P8(x1)+a2P8(x2)+⋯+akP8(xk)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 nn, an octagonal form is called tight T(n)\mathcal T(n)-universal if it represents (over z\mathbb{z}) every positive integer greater than or equal to nn and does not represent any positive integer less than nn. In this article, we find all tight T(n)\mathcal T(n)-universal octagonal forms for every n≥2n\ge 2. Furthermore, we provide an effective criterion on tight T(n)\mathcal T(n)-universality of an arbirary octagonal form, which is a generalization of "15-Theorem" of Conway and Schneeberger.

preprint2022arXiv

Tight universal sums of mm-gonal numbers

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

preprint2021arXiv

Ternary universal sums of generalized polygonal numbers

An integer of the form pm(x)=(m−2)x2−(m−4)x2 (m≥3)p_m(x)= \frac{(m-2)x^2-(m-4)x}{2} \ (m\ge 3), for some integer xx is called a generalized polygonal number of order mm. A ternary sum Φi,j,ka,b,c(x,y,z)=api+2(x)+bpj+2(y)+cpk+2(z)Φ_{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,ca,b,c and some integers 1≤i≤j≤k1\leq i\leq j \leq k, is said to be universal over Z\mathbb{Z} if the equation Φi,j,ka,b,c(x,y,z)=nΦ_{i,j,k}^{a,b,c}(x,y,z)=n has an integer solution x,y,zx,y,z for any nonnegative integer nn. In this article, we prove the universalities of 1717 ternary sums of generalized polygonal numbers, which was conjectured by Sun.

preprint2020arXiv

Prime-universal diagonal quadratic forms

A (positive definite and integral) quadratic form is said to be prime-universal\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, 6767-Theorem for a diagonal quadratic form to be prime-universal.

preprint2020arXiv

Universal sums of generalized pentagonal numbers

For an integer xx, an integer of the form P5(x)=3x2−x2P_5(x)=\frac{3x^2-x}2 is called a generalized pentagonal number. For positive integers α1,…,αkα_1,\dots,α_k, a sum Φα1,…,αk(x1,x2,…,xk)=α1P5(x1)+α2P5(x2)+⋯+αkP5(xk)Φ_{α_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,…,αk(x1,x2,…,xk)=NΦ_{α_1,\dots,α_k}(x_1,x_2,\dots,x_k)=N has an integer solution (x1,x2,…,xk)∈Zk(x_1,x_2,\dots,x_k) \in \mathbb Z^k for any non-negative integer NN. In this article, we prove that there are exactly 234234 proper universal sums of generalized pentagonal numbers. Furthermore, the "pentagonal theorem of 109109" is proved, which states that an arbitrary sum Φα1,…,αk(x1,x2,…,xk)Φ_{α_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,981, 3, 8, 9, 11, 18, 19, 25, 27, 43, 98, and 109109.

preprint2016arXiv

A generalization of Watson transformation and representations of ternary quadratic forms

Let LL be a positive definite (non-classic) ternary $\z$-lattice and let pp be a prime such that a $\frac 12\z_p$-modular component of LpL_p is nonzero isotropic and 4⋅dL4\cdot dL is not divisible by pp. For a nonnegative integer mm, let GL,p(m)\mathcal G_{L,p}(m) be the genus with discriminant pm⋅dLp^m\cdot dL on the quadratic space $L^{p^m}\otimes \q$ such that for each lattice T∈GL,p(m)T \in \mathcal G_{L,p}(m), a $\frac 12\z_p$-modular component of TpT_p is nonzero isotropic, and TqT_q is isometric to (Lpm)q(L^{p^m})_q for any prime qq different from pp. Let r(n,M)r(n,M) be the number of representations of an integer nn by a $\z$-lattice MM. In this article, we show that if m≤2m \le 2 and nn is divisible by pp only when m=2m=2, then for any T∈GL,p(m)T \in \mathcal G_{L,p}(m), r(n,T)r(n,T) can be written as a linear summation of r(pn,Si)r(pn,S_i) and r(p3n,Si)r(p^3n,S_i) for Si∈GL,p(m+1)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)r(n,T), for any T∈GL,p(m)T \in \mathcal G_{L,p}(m), by using the number of representations of some integers by lattices in GL,p(m+1)\mathcal G_{L,p}(m+1) for an arbitrary integer mm.

preprint2016arXiv

Genus-correspondences respecting spinor genus

For two positive definite integral ternary quadratic forms ff and gg and a positive integer nn, if n⋅gn\cdot g is represented by ff and n⋅dg=dfn\cdot dg=df, then the pair (f,g)(f,g) is called a representable pair by scaling nn. The set of all representable pairs in gen(f)×gen(g)\text{gen}(f)\times \text{gen}(g) is called a genus-correspondence. Jagy conjectured that if nn is square free and the number of spinor genera in the genus of ff equals to the number of spinor genera in the genus of gg, then such a genus-correspondence respects spinor genus in the sense that for any representable pairs (f,g),(f′,g′)(f,g), (f',g') by scaling nn, f′∈spn(f)f' \in \text{spn}(f) if and only if g′∈spn(g)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.

preprint2016arXiv

Spinor representations of positive definite ternary quadratic forms

For a positive definite integral ternary quadratic form ff, let r(k,f)r(k,f) be the number of representations of an integer kk by ff. The famous Minkowski-Siegel formula implies that if the class number of ff is one, then r(k,f)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 ff contains only one class. In this case the above also holds if kk 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.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.