• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.983-1002
• /
• 2021

We investigate the non-existence of finite order transcendental entire solutions of Fermat-type differential-difference equations [f(z)f'(z)]ⁿ + P²(z)f^m(z + 𝜂) = Q(z) and [f(z)f'(z)]ⁿ + P(z)[∆_𝜂f(z)]^m = Q(z), where P(z) and Q(z) are non-zero polynomials, m and n are positive integers, and 𝜂 ∈ ℂ \ {0}. In addition, we discuss transcendental entire solutions of finite order of the following Fermat-type differential-difference equation P²(z) [f^(k)(z)]² + [αf(z + 𝜂) - 𝛽f(z)]² = e^r(z), where $P(z){\not\equiv}0$ is a polynomial, r(z) is a non-constant polynomial, α ≠ 0 and 𝛽 are constants, k is a positive integer, and 𝜂 ∈ ℂ \ {0}. Our results generalize some previous results.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.621-634
• /
• 2022

The scaled inverse of a nonzero element a(x) ∈ ℤ[x]/f(x), where f(x) is an irreducible polynomial over ℤ, is the element b(x) ∈ ℤ[x]/f(x) such that a(x)b(x) = c (mod f(x)) for the smallest possible positive integer scale c. In this paper, we investigate the scaled inverse of (xⁱ - x^j) modulo cyclotomic polynomial of the form Φ_p^s (x) or Φ_p^sq^t (x), where p, q are primes with p < q and s, t are positive integers. Our main results are that the coefficient size of the scaled inverse of (xⁱ - x^j) is bounded by p - 1 with the scale p modulo Φ_p^s (x), and is bounded by q - 1 with the scale not greater than q modulo Φ_p^sq^t (x). Previously, the analogous result on cyclotomic polynomials of the form Φ_2ⁿ (x) gave rise to many lattice-based cryptosystems, especially, zero-knowledge proofs. Our result provides more flexible choice of cyclotomic polynomials in such cryptosystems. Along the way of proving the theorems, we also prove several properties of {x^k}_k∈ℤ in ℤ[x]/Φ_pq(x) which might be of independent interest.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.2
• /
• pp.319-339
• /
• 2010

In this paper, we prove that if $f^nf'\;-\;P$ and $g^ng'\;-\;P$ share 0 CM, where f and g are two distinct transcendental meromorphic functions, $n\;{\geq}\;11$ is a positive integer, and P is a nonzero polynomial such that its degree ${\gamma}p\;{\leq}\;11$, then either $f\;=\;c_1e^{cQ}$ and $g\;=\;c_2e^{-cQ}$, where $c_1$, $c_2$ and c are three nonzero complex numbers satisfying $(c_1c_2)^{n+1}c^2\;=\;-1$, Q is a polynomial such that $Q\;=\;\int_o^z\;P(\eta)d{\eta}$, or f = tg for a complex number t such that $t^{n+1}\;=\;1$. The results in this paper improve those given by M. L. Fang and H. L. Qiu, C. C. Yang and X. H. Hua, and other authors.

• Journal of the Korean Statistical Society
• /
• v.33 no.3
• /
• pp.313-321
• /
• 2004

We consider the problem of testing cell probabilities in sparse multinomial data. Aerts et al. (2000) presented T=${{\Sigma}_{i=1}}^{k}{[{p_i}^{*}-E{(p_{i}}^{*})]^2$ as a test statistic with the local least square polynomial estimator ${{p}_{i}}^{*}$, and derived its asymptotic distribution. The local least square estimator may produce negative estimates for cell probabilities. The local maximum likelihood polynomial estimator ${{\hat{p}}_{i}}$, however, guarantees positive estimates for cell probabilities and has the same asymptotic performance as the local least square estimator (Baek and Park, 2003). When there are cell probabilities with relatively much different sizes, the same contribution of the difference between the estimator and the hypothetical probability at each cell in their test statistic would not be proper to measure the total goodness-of-fit. We consider a Pearson type of goodness-of-fit test statistic, $T_1={{\Sigma}_{i=1}}^{k}{[{p_i}^{*}-E{(p_{i}}^{*})]^2/p_{i}$ instead, and show it follows an asymptotic normal distribution. Also we investigate the asymptotic normality of $T_2={{\Sigma}_{i=1}}^{k}{[{p_i}^{*}-E{(p_{i}}^{*})]^2/p_{i}$ where the minimum expected cell frequency is very small.

• Journal of applied mathematics & informatics
• /
• v.9 no.2
• /
• pp.531-542
• /
• 2002

In this paper we deal with a sequence of positive linear operators ${{R_n}}^{[$\beta$]}$ approximating functions on the unbounded interval [0, $\infty$] which were firstly used by K. balazs and J. Szabados. We give pointwise estimates in the framework of polynomial weighted function spaces. Also we establish a Voronovskaja type theorem in the same weighted spaces for ${{K_n}}^{[$\beta$]}$ operators, representing the integral generalization in Kantorovich sense of the ${{R_n}}^{[$\beta$]}$.

• Journal of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1069-1099
• /
• 1996

Let X be a smooth, simply connected and oriented closed fourmanifold such that the dimension $b_{2}^{+}(X)$ of a maximal positive subspace for the intersection form is greater than or equal to 3.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.821-831
• /
• 2016

A case study is added to our recent work on Quillen phenomenon. Pointwise positivity of polynomials on generalized lemniscates of the complex plane is related to sums of hermitian squares of rational functions, and via operator quantization, to essential subnormality.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.5
• /
• pp.1165-1172
• /
• 1998

In this paper, we present a construction for binary pseudorandom sequences of period $2^{m}-1$ with ideal autocorraltion property using the polynomial $z^{d}+(z+1)^{d}$. We show that the sequence obtained from the polynomial becomes an m-sequence for certain values of d. We also find a few values of d which yield new binary sequences with ideal autocorrelation property when m is $3k{\pm}1$, where k is a positive integer. These new sequences are represented using trace function and the results are tabulated.

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.371-399
• /
• 2020

Let P_s := 𝔽₂[x₁, x₂, …, x_s] = ⊕_n⩾0(P_s)_n be the polynomial algebra viewed as a graded left module over the mod 2 Steenrod algebra, ${\mathfrak{A}}$. The grading is by the degree of the homogeneous terms (P_s)_n of degree n in the variables x₁, x₂, …, x_s of grading 1. We are interested in the hit problem, set up by F. P. Peterson, of finding a minimal system of generators for ${\mathfrak{A}}$-module P_s. Equivalently, we want to find a basis for the 𝔽₂-graded vector space ${\mathbb{F}}_2{\otimes}_{\mathfrak{A}}$ P_s. In this paper, we study the hit problem in the case s = 5 and the degree n = 5(2^t - 1) + 6 · 2^t with t an arbitrary positive integer.

• Communications of the Korean Mathematical Society
• /
• v.32 no.1
• /
• pp.193-200
• /
• 2017

Given a pair p, q of relative prime positive integers, we have uniquely determined positive integers x, y, u and v such that vx-uy = 1, p = x + y and q = u + v. Using this property, we show that$${\sum\limits_{1{\leq}i{\leq}x,1{\leq}j{\leq}v}}\;{t^{(i-1)q+(j-1)p}\;-\;{\sum\limits_{1{\leq}k{\leq}y,1{\leq}l{\leq}u}}\;t^{1+(k-1)q+(l-1)p}$$ is the Alexander polynomial ${\Delta}_{p,q}(t)$ of a torus knot t(p, q). Hence the number $N_{p,q}$ of non-zero terms of ${\Delta}_{p,q}(t)$ is equal to vx + uy = 2vx - 1. Owing to well known results in knot Floer homology theory, our expanding formula of the Alexander polynomial of a torus knot provides a method of algorithmically determining the total rank of its knot Floer homology or equivalently the complexity of its (1,1)-diagram. In particular we prove (see Corollary 2.8); Let q be a positive integer> 1 and let k be a positive integer. Then we have $$\begin{array}{rccl}(1)&N_{kq}+1,q&=&2k(q-1)+1\\(2)&N_{kq}+q-1,q&=&2(k+1)(q-1)-1\\(3)&N_{kq}+2,q&=&{\frac{1}{2}}k(q^2-1)+q\\(4)&N_{kq}+q-2,q&=&{\frac{1}{2}}(k+1)(q^2-1)-q\end{array}$$ where we further assume q is odd in formula (3) and (4). Consequently we confirm that the complexities of (1,1)-diagrams of torus knots of type t(kq + 2, q) and t(kq + q - 2, q) in [5] agree with $N_{kq+2,q}$ and $N_{kq+q-2,q}$ respectively.