• The Journal of Information Technology
• /
• v.7 no.2
• /
• pp.19-28
• /
• 2004

Many kind of operators using Residue Number System are used to design the special purpose processor for many merits in Digital Signal Processing, Computer Graphics, etc. But It get demerits for general division and the magnitude comparison. In this paper, general division operator for divisor with a small number in RNS is proposed. If the result of division using the multiplicative inverse has remainder, the quotient of this is larger than maximum quotient of division that has the same divisor to dividend of the maximum size. This condition is used for the ending condition of the recursive operation. And, the divisor is substitute for the compared value of quotients. So, the proposed division operator has a small size and fine operation speed, but with the limitation of divisor.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.345-354
• /
• 2020

In this paper, we first give some representations for four new mock theta functions defined by Andrews [1] and Bringmann, Hikami and Lovejoy [5] using divisor sums. Then, some transformation and summation formulae for these functions and corresponding bilateral series are derived as special cases of ₂𝜓₂ series $${\sum\limits_{n=-{{\infty}}}^{{\infty}}}{\frac{(a,c;q)_n}{(b,d;q)_n}}z^n$$ and Ramanujan's sum $${\sum\limits_{n=-{{\infty}}}^{{\infty}}}{\frac{(a;q)_n}{(b;q)_n}}z^n$$.

• Journal of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.335-351
• /
• 2005

This paper concerns the relation between the degree and the projective dimension of linear systems on curves. We generalize Clifford's theorem and its improvement by Coppens and G. Martens and classify the special curves for our problem, and estimate their gonality.

• ETRI Journal
• /
• v.27 no.5
• /
• pp.617-627
• /
• 2005

This paper proposes an efficient scalar multiplication algorithm for hyperelliptic curves, which is based on the idea that efficient endomorphisms can be used to speed up scalar multiplication. We first present a new Frobenius expansion method for special hyperelliptic curves that have Gallant-Lambert-Vanstone (GLV) endomorphisms. To compute kD for an integer k and a divisor D, we expand the integer k by the Frobenius endomorphism and the GLV endomorphism. We also present improved scalar multiplication algorithms that use the new expansion method. By our new expansion method, the number of divisor doublings in a scalar multiplication is reduced to a quarter, while the number of divisor additions is almost the same. Our experiments show that the overall throughputs of scalar multiplications are increased by 15.6 to 28.3 % over the previous algorithms when the algorithms are implemented over finite fields of odd characteristics.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1323-1336
• /
• 2015

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.853-868
• /
• 2015

Let G be a complex semisimple simply connected linear algebraic group. The main result of this note is to give several equivalent criteria for the untwistedness of the twisted cubes introduced by Grossberg and Karshon. In certain cases arising from representation theory, Grossberg and Karshon obtained a Demazure-type character formula for irreducible G-representations as a sum over lattice points (counted with sign according to a density function) of these twisted cubes. A twisted cube is untwisted when it is a "true" (i.e., closed, convex) polytope; in this case, Grossberg and Karshon's character formula becomes a purely positive formula with no multiplicities, i.e., each lattice point appears precisely once in the formula, with coefficient +1. One of our equivalent conditions for untwistedness is that a certain divisor on the special fiber of a toric degeneration of a Bott-Samelson variety, as constructed by Pasquier, is basepoint-free. We also show that the strict positivity of some of the defining constants for the twisted cube, together with convexity (of its support), is enough to guarantee untwistedness. Finally, in the special case when the twisted cube arises from the representation-theoretic data of $\lambda$ an integral weight and $\underline{w}$ a choice of word decomposition of a Weyl group element, we give two simple necessary conditions for untwistedness which is stated in terms of $\lambda$ and $\underline{w}$.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.93-107
• /
• 2005

Based on the recently developed ABS algorithm for solving linear Diophantine equations, we present a special ABS algorithm for solving such equations which is effective in computation and storage, not requiring the computation of the greatest common divisor. A class of equations always solvable in integers is identified. Using this result, we discuss the ILP problem with upper and lower bounds on the variables.

• Journal of applied mathematics & informatics
• /
• v.40 no.1_2
• /
• pp.61-68
• /
• 2022

Let M_p := 2^p - 1 be a Mersenne prime. In this article, we find integers a, b, c, d, e and n satisfying $\sum_{t=0}^{n}\;\({an+b\\ct+d}\)\;=\;M_{p^e}$ given a Mersenne prime number M_p. In order to find a special case that satisfies the above results, we reprove an well-known relation of a certain sum of binomial coefficients and a divisor function.

• Honam Mathematical Journal
• /
• v.35 no.3
• /
• pp.445-506
• /
• 2013

Let ${\sigma}_s(N)$ denote the sum of the s-th power of the positive divisors of N and ${\sigma}_{s,r}(N;m)={\sum_{d{\mid}N\\d{\equiv}r\;mod\;m}}\;d^s$ with $N,m,r,s,d{\in}\mathbb{Z}$, $d,s$ > 0 and $r{\geq}0$. In a celebrated paper [33], Ramanuja proved $\sum_{k=1}^{N-1}{\sigma}_1(k){\sigma}_1(N-k)=\frac{5}{12}{\sigma}_3(N)+\frac{1}{12}{\sigma}_1(N)-\frac{6}{12}N{\sigma}_1(N)$ using elementary arguments. The coefficients' relation in this identity ($\frac{5}{12}+\frac{1}{12}-\frac{6}{12}=0$) motivated us to write this article. In this article, we found the convolution sums $\sum_{k<N/m}{\sigma}_{1,i}(dk;2){\sigma}_{1,j}(N-mk;2)$ for odd and even divisor functions with $i,j=0,1$, $m=1,2,4$, and $d{\mid}m$. If N is an odd positive integer, $i,j=0,1$, $m=1,2,4$, $s=0,1,2$, and $d{\mid}m{\mid}2^s$, then there exist $u,a,b,c{\in}\mathbb{Z}$ satisfying $\sum_{k& lt;2^sN/m}{\sigma}_{1,i}(dk;2){\sigma}_{1,j}(2^sN-mk;2)=\frac{1}{u}[a{\sigma}_3(N)+bN{\sigma}_1(N)+c{\sigma}_1(N)]$ with $a+b+c=0$ and ($u,a,b,c$) = 1(Theorem 1.1). We also give an elementary problem (O) and solve special cases of them in (O) (Corollary 3.27).