• 대한수학회보
• /
• 제58권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.

• 대한수학회지
• /
• 제59권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.

• 대한수학회보
• /
• 제47권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
• /
• 제33권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
• /
• 제9권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$]}$.

• 대한수학회지
• /
• 제33권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.

• 대한수학회보
• /
• 제53권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.

• 한국통신학회논문지
• /
• 제23권5호
• /
• pp.1165-1172
• /
• 1998

본 논문에서는 다항식 $z^{d}+(z+1)^{d}$를 이용하여 이상적인 자기상관특성을 갖는 주기 $2^{m}-1$의 이진 의사불규칙시퀀스를 구성하는 것을 보였다. 다항식으로부터 얻어진 시퀀스는 어떤 d값에서는 m-시퀀스가된다. 또한 k가 양의 정수이고 m이 $3k{\pm}1$일 때 이상적인 자기상관특성을 갖는 새로운 이진 시퀀스를 산출하는 몇몇의 d값을 발견했다. 이들 새로운 시퀀스는 trace함수를 이용하여 표현하였으며 그 결과들을 표로 나타내었다.

• 대한수학회논문집
• /
• 제35권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.

• 대한수학회논문집
• /
• 제32권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.