• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.4
• /
• pp.49-59
• /
• 2004

Boolean function synthesize problem is to find a boolean expression with in/outputs of original function. This problem can be modeled into a 0-1 integer programming. In this paper, we find a boolean expressions of S-boxes of DES for an example, whose algebraic structure has been unknown for many years. The results of this paper can be used for efficient hardware implementation of a function and cryptanalysis using algebraic structure of a block cipher.

• The Pure and Applied Mathematics
• /
• v.20 no.4
• /
• pp.243-249
• /
• 2013

Let A be an algebra and D a derivation of A. Then D is called algebraic nil if for any $x{\in}A$ there is a positive integer n = n(x) such that $D^{n(x)}(P(x))=0$, for all $P{\in}\mathbb{C}[X]$ (by convention $D^{n(x)}({\alpha})=0$, for all ${\alpha}{\in}\mathbb{C}$). In this paper, we show that any algebraic nil derivation (possibly unbounded) on a commutative complex algebra A maps into N(A), where N(A) denotes the set of all nilpotent elements of A. As an application, we deduce that any nilpotent derivation on a commutative complex algebra A maps into N(A), Finally, we deduce two noncommutative versions of algebraic nil derivations inclusion range.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.9
• /
• pp.18-26
• /
• 1993

This paper presents a multiplier free technique for the complex DFT by rotations and additions based on the complex approximation of the ring of algebraic integers. Speeding-up the computation time and reducing the dynamic range growth has been achieved by the elimination of multiplication. Moreover the DFT of no twiddle factor quantization errors is possible. Numerical examples are given to prove the algorithm and the applicable size of the DFT is 16 has been concluded.

• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.2
• /
• pp.305-313
• /
• 2010

In this paper, we prove that if $T{\in}L$(X) is a generalized scalar operator then Ker $T^p$ is the quasi-nilpotent part of T for some positive integer $p{\in}{\mathbb{N}}$. Moreover, we prove that a generalized scalar operator with finite spectrum is algebraic. In particular, a quasi-nilpotent generalized scalar operator is nilpotent.

• Journal of applied mathematics & informatics
• /
• v.20 no.1_2
• /
• pp.293-303
• /
• 2006

This paper describes a numerical scheme for optimal control of a time-dependent linear system to a moving final state. Discretization of the corresponding differential equations gives rise to a linear algebraic system. Defining some binary variables, we approximate the original problem by a mixed integer linear programming (MILP) problem. Numerical examples show that the resulting method is highly efficient.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.6 no.1
• /
• pp.23-33
• /
• 2000

This paper is concerned with finding the global optimal solutions for the redundancy optimization problems in series-parallel systems related with system safety. This study transforms the difficult problem, which is classified as a nonlinear integer problem, into a 0/1 IP(Integer Programming) by using binary integer variables. And the global optimal solution to this problem can be easily obtained by applying GAMS (General Algebraic Modeling System) to the transformed 0/1 IP. From computational results, we notice that GA(Genetic Algorithm) to this problem, which is, to our knowledge, known as a best algorithm, is poor in many cases.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.923-931
• /
• 2014

Let x be an element of a group G and be an automorphism of G. Then for a positive integer n, the autocommutator $[x,_n{\alpha}]$ is defined inductively by $[x,{\alpha}]=x^{-1}x^{\alpha}=x^{-1}{\alpha}(x)$ and $[x,_{n+1}{\alpha}]=[[x,_n{\alpha}],{\alpha}]$. We call the group G to be n-auto-Engel if $[x,_n{\alpha}]=[{\alpha},_nx]=1$ for all $x{\in}G$ and every ${\alpha}{\in}Aut(G)$, where $[{\alpha},x]=[x,{\alpha}]^{-1}$. Also, for any integer $n{\neq}0$, 1, a group G is called an n-auto-Bell group when $[x^n,{\alpha}]=[x,{\alpha}^n]$ for every $x{\in}G$ and each ${\alpha}{\in}Aut(G)$. In this paper, we investigate the properties of such groups and show that if G is an n-auto-Bell group, then the factor group $G/L_3(G)$ has finite exponent dividing 2n(n-1), where $L_3(G)$ is the third term of the upper autocentral series of G. Also, we give some examples and results about n-auto-Bell abelian groups.

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

Let k be an imaginary quadratic field, ${\eta}$ the complex upper half plane, and let ${\tau}{\in}{\eta}{\cap}k,\;q=e^{{\pi}{i}{\tau}}$. For n, t ${\in}{\mathbb{Z}}^+$ with $1{\leq}t{\leq}n-1$, set n=${\delta}{\cdot}2^{\iota}$(${\delta}$=2, 3, 5, 7, 9, 13, 15) with ${\iota}{\geq}0$ integer. Then we show that $q{\frac}{n}{12}-{\frac}{t}{2}+{\frac}{t^2}{2n}{\prod}_{m=1}^{\infty}(1-q^{nm-t})(1-q^{{nm}-(n-t)})$ are algebraic numbers.

• Communications of the Korean Mathematical Society
• /
• v.16 no.4
• /
• pp.585-594
• /
• 2001

Let η be the complex upper half plane, let h($\tau$) be a cusp form, and let $\tau$ be an imaginary quadratic in η. If h($\tau$)$\in$$\Omega$( $g_{2}$($\tau$)$^{m}$ $g_{3}$ ($\tau$)$^{ι}$with $\Omega$the field of algebraic numbers and m. l positive integers, then we show that h($\tau$) is integral over the ring Q[h/$\tau$/n/)…h($\tau$+n-1/n)] (No Abstract.see full/text)

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.5
• /
• pp.857-866
• /
• 2009

Let n be a fixed positive integer, R be a 2n!-torsion free prime ring and $\mu$, $\nu$ be a pair of generalized derivations on R. If < $\mu^2(x)+\nu(x),\;x^n$ > = 0 for all x $\in$ R, then $\mu$ and $\nu$ are either left multipliers or right multipliers. Let n be a fixed positive integer, R be a noncommutative 2n!-torsion free prime ring with the center $C_R$ and d, g be a pair of derivations on R. If < $d^2(x)+g(x)$, $x^n$ > $\in$ $C_R$ for all x $\in$ R, then d = g = 0. Then we apply these purely algebraic techniques to obtain several range inclusion results of pair of (generalized-)derivations on a Banach algebra.