• 한국통신학회논문지
• /
• 제40권3호
• /
• pp.491-496
• /
• 2015

본 논문에서는 Griesmer 한계식을 만족하는 [$2^k-1$, k, $2^{k-1}$] 심플렉스(simplex) 부호와 [$2^k-1+k$, k, $2^{k-1}+1$] 부호를 소개한다. 또한 두 부호의 부분접속수(locality)에 대해 유도하고 그 값들을 비교한다. [$2^k-1+k$, k, $2^{k-1}+1$] 부호는 주어진 부호차원과 최소거리에 대해 최적의 부호길이를 가질 뿐만 아니라 좋은 부분접속수 특성을 가진다. 그러므로 이 부호는 다양한 분산 저장 시스템에 널리 사용될 수 있을 것으로 기대된다.

• 대한수학회지
• /
• 제46권1호
• /
• pp.187-213
• /
• 2009

For a positive integer k and an arbitrary integer h, the classical Dedekind sums s(h,k) is defined by $$S(h,\;k)=\sum\limits_{j=1}^k\(\(\frac{j}{k}\)\)\(\(\frac{hj}{k}\)\),$$ where $$((x))=\{{x-[x]-\frac{1}{2},\;if\;x\;is\;not\;an\;integer; \atop \;0,\;\;\;\;\;\;\;\;\;\;if\;x\;is\;an\;integer.}\$$ J. B. Conrey et al proved that $$\sum\limits_{{h=1}\atop {(h,k)=1}}^k\;s^{2m}(h,\;k)=fm(k)\;\(\frac{k}{12}\)^{2m}+O\(\(k^{\frac{9}{5}}+k^{{2m-1}+\frac{1}{m+1}}\)\;\log^3k\).$$ For $m\;{\geq}\;2$, C. Jia reduced the error terms to $O(k^{2m-1})$. While for m = 1, W. Zhang showed $$\sum\limits_{{h=1}\atop {(h,k)=1}}^k\;s^2(h,\;k)=\frac{5}{144}k{\phi}(k)\prod_{p^{\alpha}{\parallel}k}\[\frac{\(1+\frac{1}{p}\)^2-\frac{1}{p^{3\alpha+1}}}{1+\frac{1}{p}+\frac{1}{p^2}}\]\;+\;O\(k\;{\exp}\;\(\frac{4{\log}k}{\log\log{k}}\)\).$$. In this paper we give some formulae on the mean value of the Dedekind sums and and Hardy sums, and generalize the above results.

• 대한수학회지
• /
• 제45권4호
• /
• pp.923-952
• /
• 2008

In this paper several continuities and homeomorphisms in computer topology are studied and their applications are investigated in relation to the classification of subs paces of Khalimsky n-dimensional space $({\mathbb{Z}}^n,\;T^n)$. Precisely, the notions of K-$(k_0,\;k_1)$-,$(k_0,\;k_1)$-,KD-$(k_0,\;k_1)$-continuities, and Khalimsky continuity as well as those of K-$(k_0,\;k_1)$-, $(k_0,\;k_1)$-, KD-$(k_0,\;k_1)$-homeomorphisms, and Khalimsky homeomorphism are studied and further, their applications are investigated.

• 대한수학회보
• /
• 제54권3호
• /
• pp.731-736
• /
• 2017

It is well-known that there exists a constant-weight $[s{\theta}_{k-1},k,sq^{k-1}]_q$ code for any positive integer s, which is an s-fold simplex code, where ${\theta}_j=(q^{j+1}-1)/(q-1)$. This gives an upper bound $n_q(k,sq^{k-1}+d){\leq}s{\theta}_{k-1}+n_q(k,d)$ for any positive integer d, where $n_q(k,d)$ is the minimum length n for which an $[n,k,d]_q$ code exists. We construct a two-weight $[s{\theta}_{k-1}+1,k,sq^{k-1}]_q$ code for $1{\leq}s{\leq}k-3$, which gives a better upper bound $n_q(k,sq^{k-1}+d){\leq}s{\theta}_{k-1}+1+n_q(k-1,d)$ for $1{\leq}d{\leq}q^s$. As another application, we prove that $n_q(5,d)={\sum_{i=0}^{4}}{\lceil}d/q^i{\rceil}$ for $q^4+1{\leq}d{\leq}q^4+q$ for any prime power q.

• 호남수학학술지
• /
• 제27권1호
• /
• pp.115-129
• /
• 2005

In this paper, we give a digital graph-theoretical approach of the study of digital images with relation to a simplicial complex. Thus, a digital graph $G_k$ with some k-adjacency in ${\mathbb{Z}}^n$ can be recognized by the simplicial complex spanned by $G_k$. Moreover, we demonstrate that a graphically $(k_0,\;k_1)$-continuous map $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}}^{n_1}$ can be converted into the simplicial map $S(f):S(G_{k_0}){\rightarrow}S(G_{k_1})$ with relation to combinatorial topology. Finally, if $G_{k_0}$ is not $(k_0,\;3^{n_0}-1)$-homotopy equivalent to $SC^{n_0,4}_{3^{n_0}-1}$, a graphically $(k_0,\;k_1)$-continuous map (respectively a graphically $(k_0,\;k_1)$-isomorphisim) $f:G_{k_0}{\subset}{\mathbb{Z}}^{n_0}{\rightarrow}G_{k_1}{\subset}{\mathbb{Z}^{n_1}$ induces the group homomorphism (respectively the group isomorphisim) $S(f)_*:{\pi}_1(S(G_{k_0}),\;v_0){\rightarrow}{\pi}_1(S(G_{k_1}),\;f(v_0))$ in algebraic topology.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.537-545
• /
• 2005

The aim of this paper is to solve the open problem on product properties of digital covering maps raised from [5]. Namely, let us consider the digital images $X_1 {\subset}Z^{n_{0}}$ with $k_0-adjacency$, $Y_1{\subset}Z^{n_{1}}$ with $k_3-adjacency$, $X_2{\subset}Z^{n_{2}}$ with $k_2-adjacency$ and $Y_2{\subset}Z^{n_{3}}$ with $k_3-adjacency$. Then the reasonable $k_4-adjacency$ of the product image $X_1{\times}X_2$ is determined by the $k_0-$ and $k_2-adjacency$ and the suitable k_5-adjacency$ is assumed on $Y_1{\times}Y_2$ via the $k_1-$ and $k_3-adjacency$ [3] such that each of the projection maps is a digitally continuous map, e.g., $p_1\;:\;X_1{\times}X_2{\rightarrow}X_1$ is a digitally ($k_4,\;k_1$)-continuous map and so on. Let us assume $h_1\;:\;X_1{\rightarrow}Y_1$ to be a digital $(k_0, k_1)$-covering map and $h_2\;:\;X_2{\rightarrow}Y_2$ to be a digital $(k_2,\;k_3)$-covering map. Then we show that the product map $h_1{\times}h_2\;:\;X_1{\times}X_2{\rightarrow}Y_1{\times}Y_2$ need not be a digital $(k_4,k_5)$-covering map.

• 대한수학회지
• /
• 제47권2호
• /
• pp.263-275
• /
• 2010

Let {$X_n;n\;\geq\;1$} be a strictly stationary sequence of negatively associated random variables with mean zero and finite variance. Set $S_n\;=\;{\sum}^n_{k=1}X_k$, $M_n\;=\;max_{k{\leq}n}|S_k|$, $n\;{\geq}\;1$. Suppose $\sigma^2\;=\;EX^2_1+2{\sum}^\infty_{k=2}EX_1X_k$ (0 < $\sigma$ < $\infty$). We prove that for any b > -1/2, if $E|X|^{2+\delta}$(0<$\delta$$\leq$1), then $$lim\limits_{\varepsilon\searrow0}\varepsilon^{2b+1}\sum^{\infty}_{n=1}\frac{(loglogn)^{b-1/2}}{n^{3/2}logn}E\{M_n-\sigma\varepsilon\sqrt{2nloglogn}\}_+=\frac{2^{-1/2-b}{\sigma}E|N|^{2(b+1)}}{(b+1)(2b+1)}\sum^{\infty}_{k=0}\frac{(-1)^k}{(2k+1)^{2(b+1)}}$$ and for any b > -1/2, $$lim\limits_{\varepsilon\nearrow\infty}\varepsilon^{-2(b+1)}\sum^{\infty}_{n=1}\frac{(loglogn)^b}{n^{3/2}logn}E\{\sigma\varepsilon\sqrt{\frac{\pi^2n}{8loglogn}}-M_n\}_+=\frac{\Gamma(b+1/2)}{\sqrt{2}(b+1)}\sum^{\infty}_{k=0}\frac{(-1)^k}{(2k+1)^{2b+2'}}$$, where $\Gamma(\cdot)$ is the Gamma function and N stands for the standard normal random variable.

• 호남수학학술지
• /
• 제44권1호
• /
• pp.135-145
• /
• 2022

This paper aims to investigate characterizations on parameters k₁, k₂, k₃, k₄, k₅, l₁, l₂, l₃, and l₄ to find relation between the class of 𝓗(k, l, m, n, o) hypergeometric functions defined by $$5_F_4\[{\array{k_1,\;k_2,\;k_3,\;k_4,\;k_5\\l_1,\;l_2,\;l_3,\;l_4}}\;:\;z\]=\sum\limits_{n=2}^{\infty}\frac{(k_1)_n(k_2)_n(k_3)_n(k_4)_n(k_5)_n}{(l_1)_n(l_2)_n(l_3)_n(l_4)_n(1)_n}z^n$$. We need to find k, l, m and n that lead to the necessary and sufficient condition for the function zF([W]), G = z(2 - F([W])) and $H_1[W]=z^2{\frac{d}{dz}}(ln(z)-h(z))$ to be in 𝓢^*(2^-r), r is a positive integer in the open unit disc 𝒟 = {z : |z| < 1, z ∈ ℂ} with $$h(z)=\sum\limits_{n=0}^{\infty}\frac{(k)_n(l)_n(m)_n(n)_n(1+\frac{k}{2})_n}{(\frac{k}{2})_n(1+k-l)_n(1+k-m)_n(1+k-n)_nn(1)_n}z^n$$ and $$[W]=\[{\array{k,\;1+{\frac{k}{2}},\;l,\;m,\;n\\{\frac{k}{2}},\;1+k-l,\;1+k-m,\;1+k-n}}\;:\;z\]$$.

• 호남수학학술지
• /
• 제33권1호
• /
• pp.115-120
• /
• 2011

Given vectors x and y in a separable complex Hilbert space $\cal{H}$, an interpolating operator is a bounded operator A such that Ax = y. We show the following : Let Alg$\cal{L}$ be a tridiagonal algebra on a separable complex Hilbert space H and let x = ($x_i$) and y = ($y_i$) be vectors in H. Then the following are equivalent: (1) There exists an invertible operator A = ($a_{kj}$) in Alg$\cal{L}$ such that Ax = y. (2) There exist bounded sequences $\{{\alpha}_n\}$ and $\{{{\beta}}_n\}$ in $\mathbb{C}$ such that for all $k\in\mathbb{N}$, ${\alpha}_{2k-1}\neq0,\;{\beta}_{2k-1}=\frac{1}{{\alpha}_{2k-1}},\;{\beta}_{2k}=\frac{\alpha_{2k}}{{\alpha}_{2k-1}\alpha_{2k+1}}$ and $$y_1={\alpha}_1x_1+{\alpha}_2x_2$$ $$y_{2k}={\alpha}_{4k-1}x_{2k}$$ $$y_{2k+1}={\alpha}_{4k}x_{2k}+{\alpha}_{4k+1}x_{2k+1}+{\alpha}_{4k+2}x_{2k+2}$$.

• Kyungpook Mathematical Journal
• /
• 제51권1호
• /
• pp.59-68
• /
• 2011

In this paper, we first give the definition of degenerate weakly ($k_1$, $k_2$-quasiregular mappings by using the technique of exterior power and exterior differential forms, and then, by using Hodge decomposition and Reverse H$\"{o}$lder inequality, we obtain the higher integrability result: for any $q_1$ satisfying 0 < $k_1({n \atop l})^{3/2}n^{l/2}\;{\times}\;2^{n+1}l\;{\times}\;100^{n^2}\;\[2^l(2^{n+3l}+1)\]\;(l-q_1)$ < 1 there exists an integrable exponent $p_1$ = $p_1$(n, l, $k_1$, $k_2$) > l, such that every degenerate weakly ($k_1$, $k_2$)-quasiregular mapping f ${\in}$ $W_{loc}^{1,q_1}$ (${\Omega}$, $R^n$) belongs to $W_{loc}^{1,p_1}$ (${\Omega}$, $R^m$), that is, f is a degenerate ($k_1$, $k_2$)-quasiregular mapping in the usual sense.