2025-11-21T21:46:16.082389

Representations by probabilistic Bernoulli and degenerate Bernoulli polynomials

Kim, Kim

We investigate the representation of arbitrary polynomials using probabilistic Bernoulli and degenerate Bernoulli polynomials associated with a random variable $Y$, whose moment generating function exists in a neighborhood of the origin. In addition, this paper explores the problem of representing arbitrary polynomials in terms of their higher-order counterparts. We develop explicit formulas for those representations with the help of umbral calculus and illustrate our results for several discrete and continuous random variables Y.

academic

확률 Bernoulli 다항식과 퇴화 Bernoulli 다항식에 의한 표현

기본 정보

논문 ID: 2510.21558
제목: Representations by probabilistic Bernoulli and degenerate Bernoulli polynomials
저자: Dae San Kim (Sogang University), Taekyun Kim (Kwangwoon University)
분류: math.NT (정수론), math.PR (확률론)
제출 시간: 2025년 10월 24일
논문 링크: https://arxiv.org/abs/2510.21558v1

초록

본 논문은 임의의 다항식을 확률 Bernoulli 다항식과 퇴화 Bernoulli 다항식으로 표현하는 문제를 연구한다. 이 다항식들은 원점 근처에서 적률생성함수가 존재하는 확률변수 Y와 관련된다. 또한 본 논문은 고차 대응 다항식을 이용한 임의의 다항식 표현 문제를 탐구한다. Umbral 계산을 활용하여 저자들은 이러한 표현의 명시적 공식을 개발하였으며, 여러 이산 및 연속 확률변수 Y에 대한 결과를 제시한다.

연구 배경 및 동기

1. 연구 문제

본 논문이 해결하고자 하는 핵심 문제는 다음과 같다: 임의의 다항식을 확률 Bernoulli 다항식과 확률 퇴화 Bernoulli 다항식의 선형결합으로 표현하되, 명시적인 계수 공식을 제시하는 방법은 무엇인가?

2. 문제의 중요성

이론적 의의: Bernoulli 다항식 및 그 변형은 정수론과 조합수학에서 기초적 지위를 차지하며, 그 표현 이론은 특수함수 이론의 중요한 구성 요소이다
역사적 계승: 퇴화 특수 다항식 연구는 Carlitz의 1979년 퇴화 Bernoulli 및 Euler 다항식에 관한 개척적 업적에서 비롯되었다
현대적 발전: 확률 확장 특수 다항식은 최근 광범위하게 연구되고 있으며, 확률론과 특수함수 이론을 결합한다

3. 기존 방법의 한계

문헌 2와 18에서 누적량생성함수에 기반한 확률 Stirling 수의 정의는 직교성과 역관계 성질을 갖지 않는다
이러한 성질의 부재로 인해 역문제(표현 계수로부터 다항식을 역추론)가 해결하기 어렵다
기존 증명 방법(예: Miki 항등식의 증명)은 p-진 분석, 양자장론 등 고급 도구를 포함하여 매우 복잡하다

4. 연구 동기

직교성에 기반한 확률 Stirling 수 이론 프레임워크 구축
복잡한 증명 기법을 피하는 간결한 다항식 표현 공식 개발
구체적 예시를 통한 이론의 유효성과 실용성 검증

핵심 기여

완전한 표현 이론 프레임워크 수립: 임의의 다항식을 확률 Bernoulli 다항식 $B_k^Y(x)$ 와 확률 퇴화 Bernoulli 다항식 $\beta_{k,\lambda}^Y(x)$ 로 표현하는 명시적 공식 제시 (정리 3.1과 3.3)
고차 경우로의 확장: 고차 확률 Bernoulli 다항식 $B_k^{Y,(r)}(x)$ 와 $\beta_{k,\lambda}^{Y,(r)}(x)$ 를 이용한 임의의 다항식 표현 공식 제공 (정리 4.1과 4.2)
핵심 직교성 이론 개발: 확률 Stirling 수 $S_1^Y(n,k)$ 와 $S_2^Y(n,k)$ , 및 퇴화 버전 $S_{1,\lambda}^Y(n,k)$ 와 $S_{2,\lambda}^Y(n,k)$ 가 직교관계와 역관계를 만족함을 증명 (명제 1.1과 1.2)
풍부한 구체적 예시 제공: 6가지 일반적 확률변수(Bernoulli, 이항, Poisson, 기하, 지수, Gamma 분포)에 대해 $x^n$ 의 명시적 표현 제시
알려진 항등식의 증명 단순화: 공식 (3.22)를 이용한 Miki 항등식과 FPZ 항등식의 간단한 증명 제시로 기존의 복잡한 기법 회피

방법론 상세 설명

작업 정의

입력: 차수가 n인 임의의 다항식 $p(x) \in \mathbb{C}[x]$

출력: 표현 계수 $a_0, a_1, \ldots, a_n$ 으로서 $p(x) = \sum_{k=0}^n a_k B_k^Y(x) \quad \text{또는} \quad p(x) = \sum_{k=0}^n a_k \beta_{k,\lambda}^Y(x)$

제약 조건: 확률변수 Y의 적률생성함수 $E[e^{Yt}]$ 가 원점 근처에서 존재하고, $E[Y] \neq 0$

이론적 기초

1. 확률 Stirling 수의 정의

제2종 확률 Stirling 수는 생성함수로 정의된다: $\frac{1}{k!}(E[e^{Yt}] - 1)^k = \sum_{n=k}^\infty S_2^Y(n,k) \frac{t^n}{n!}$

기호 $e_Y(t) = E[e^{Yt}] - 1$ 을 도입하면, $e_Y(t)$ 는 델타 급수이다 ( $a_0=0, a_1=E[Y]\neq 0$ ).

제1종 확률 Stirling 수는 합성 역으로 정의된다: $\frac{1}{k!}(\bar{e}_Y(t))^k = \sum_{n=k}^\infty S_1^Y(n,k) \frac{t^n}{n!}$ 여기서 $\bar{e}_Y(t)$ 는 $e_Y(t)$ 의 합성 역으로, $e_Y(\bar{e}_Y(t)) = \bar{e}_Y(e_Y(t)) = t$ 를 만족한다.

2. 직교성과 역관계 (명제 1.1)

$\sum_{k=l}^n S_2^Y(n,k) S_1^Y(k,l) = \delta_{n,l}$

이 직교성은 중요한 역관계를 도출한다: $a_n = \sum_{k=0}^n S_2^Y(n,k) b_k \Leftrightarrow b_n = \sum_{k=0}^n S_1^Y(n,k) a_k$

3. Umbral 계산 프레임워크

논문은 umbral 계산을 이용하여 이론을 수립한다. 핵심 요소는 다음을 포함한다:

Sheffer 수열: $s_n(x) \sim (g(t), f(t))$ 당且仅当 $\frac{1}{g(\bar{f}(t))} e^{x\bar{f}(t)} = \sum_{k=0}^\infty s_k(x) \frac{t^k}{k!}$
미분 연산자 성질: $f(t)s_n(x) = ns_{n-1}(x)$
확률 Bernoulli 다항식의 Sheffer 표현: $B_n^Y(x) \sim \left(g(t) = \frac{e^t-1}{f(t)}, f(t)\right)$ 여기서 $\bar{f}(t) = \log E[e^{Yt}]$

핵심 알고리즘 흐름

알고리즘 1: 확률 Bernoulli 다항식 표현 (정리 3.1)

단계 1: $a_0$ 계산 $a_0 = \int_0^1 \frac{t}{f(t)} p(x) dx$

단계 2: 보조 함수 구성 $a(x) = p(x+1) - p(x) = \Delta p(x)$

단계 3: $a_{r+1}$ 계산 ( $r=0,1,\ldots,n-1$ )

세 가지 동등한 형태:

(a) 차분 연산자 기반: $a_{r+1} = \frac{1}{r+1} \sum_{j=r}^{n-1} S_1^Y(j,r) \frac{1}{j!} \Delta^{j+1} p(0)$

(b) 도함수와 Stirling 수 기반: $a_{r+1} = \frac{1}{r+1} \sum_{k=r}^{n-1} \sum_{j=r}^k \frac{1}{k!} S_2(k,j) S_1^Y(j,r) \Delta p^{(k)}(0)$

(c) 직접 전개 기반: $a_{r+1} = \frac{1}{r+1} \sum_{j=r}^{n-1} \sum_{k=0}^{j+1} (-1)^{j+1-k} \frac{1}{j!} \binom{j+1}{k} S_1^Y(j,r) p(k)$

알고리즘 2: 확률 퇴화 Bernoulli 다항식 표현 (정리 3.3)

구조는 알고리즘 1과 완전히 동일하며, $S_1^Y$ 를 $S_{1,\lambda}^Y$ 로, $f(t)$ 를 $f(t)$ 로 대체하면 된다 (합성 역은 $\bar{f}(t) = \log E[e_\lambda^Y(t)]$ ).

기술적 혁신점

1. 직교성의 핵심 역할

직교관계를 수립함으로써 저자는 표현 문제를 선형 시스템 풀이로 교묘하게 변환한다. 구체적으로:

$p(x) = \sum_{k=0}^n a_k B_k^Y(x)$ 에서 출발
차분 $\Delta p(x) = \sum_{k=1}^n k a_k \sum_{j=0}^{k-1} S_2^Y(k-1,j) (x)_j$ 계산
직교성을 이용하여 $a_k$ 역해

2. 고전적 경우와의 통일

$Y=1$ 일 때, 이론은 고전적 Bernoulli 다항식의 표현 이론으로 축약되며, 공식은 다음으로 단순화된다: $a_k = \frac{1}{k!} \int_0^1 p^{(k)}(x) dx$

3. 고차 표현의 처리

고차 경우 (정리 4.1과 4.2)에서 $r>n$ 과 $r\leq n$ 두 가지 경우를 구분한다:

$r>n$ 일 때: 모든 계수가 적분 연산자 $I^{r-k}$ 를 포함
$r\leq n$ 일 때: 처음 $r$ 항은 적분 연산자를, 이후 항은 차분 연산자를 포함

4. 계산 기법

선형 연산자 $I$ (적분 연산자)와 차분 연산자 $\Delta$ 의 대수적 성질을 도입하여 복잡한 표현식을 계산 가능한 형태로 변환한다.

실험 설정

데이터 집합 (확률변수 선택)

논문은 6가지 대표적 확률변수를 검증에 선택한다:

이산 확률변수:

Bernoulli 분포: $p(0)=1-p, p(1)=p$ ( $0<p\leq 1$ )
이항 분포: 모수 $(m,p)$ , $p(i) = \binom{m}{i} p^i (1-p)^{m-i}$
Poisson 분포: 모수 $\alpha>0$ , $p(i) = e^{-\alpha} \frac{\alpha^i}{i!}$
기하 분포: 모수 $0<p<1$ , $p(i) = (1-p)^{i-1} p$

연속 확률변수: 5. 지수 분포: 모수 $\alpha>0$ , $f(y) = \alpha e^{-\alpha y}$ ( $y\geq 0$ ) 6. Gamma 분포: 모수 $\alpha,\beta>0$ , $f(y) = \frac{\beta e^{-\beta y} (\beta y)^{\alpha-1}}{\Gamma(\alpha)}$

계산 요소

각 확률변수 Y에 대해 다음을 계산해야 한다 (문헌 14의 결과 참조):

$f_Y(t)$ : $\bar{f}_Y(t) = \log E[e^{Yt}]$ 의 합성 역
$f_{Y,\lambda}(t)$ : $\bar{f}_{Y,\lambda}(t) = \log E[e_\lambda^Y(t)]$ 의 합성 역
$S_1^Y(n,k)$ : 제1종 확률 Stirling 수
$S_{1,\lambda}^Y(n,k)$ : 퇴화 버전

검증 전략

각 확률변수에 대해 $x^n$ 의 표현을 계산한다: $x^n = \sum_{k=0}^n a_k B_k^Y(x) \quad \text{및} \quad x^n = \sum_{k=0}^n a_k \beta_{k,\lambda}^Y(x)$

실험 결과

주요 결과 전시

예시 1: 지수 분포 ( $\alpha>0$ )

이것이 가장 간결한 예시이다. 문헌 14에서: $f_Y(t) = \alpha(1-e^{-t}), \quad S_1^Y(n,k) = (-1)^{n-k} \binom{n}{k} (n-1)^{n-k} \alpha^k$

결과: $x^n = \frac{1}{\alpha} B_0^Y(x) + \sum_{k=1}^n \left\{ \frac{1}{k} \sum_{j=k-1}^{n-1} (-1)^{j-k+1} \binom{j}{k-1} (j-1)^{j-k+1} \alpha^{k-1} \frac{1}{j!} \Delta^{j+1} 0^n \right\} B_k^Y(x)$

퇴화 버전의 경우: $x^n = \frac{1}{\alpha} \sum_{r=0}^n \sum_{l=0}^r \binom{n}{r} S_2(r,l) (-1)^{l-r} (\alpha\lambda)^l B_l \beta_{0,\lambda}^Y(x) + \cdots$

분석:

$a_0 = \frac{1}{\alpha}$ 는 매우 간결하며, 보조정리 5.1을 통해 적분으로 계산된다
계수는 Bernoulli 수 $B_l$ 과 Stirling 수 $S_2(r,l)$ 의 조합을 포함한다

예시 2: Bernoulli 분포 ( $0<p\leq 1$ )

문헌 14에서: $f_Y(t) = \log\left(1 + \frac{1}{p}(e^t-1)\right), \quad S_1^Y(n,k) = \frac{1}{p^n} S_1(n,k)$

결과: $x^n = \sum_{l=0}^n \frac{1}{p^{l-1}} S_2(n,l) b_l B_0^Y(x) + \sum_{k=1}^n \left\{ \frac{1}{k} \sum_{j=k-1}^{n-1} \frac{1}{p^j} S_1(j,k-1) \frac{1}{j!} \Delta^{j+1} 0^n \right\} B_k^Y(x)$

여기서 $b_l$ 은 제2종 Bernoulli 수로, $\frac{t}{\log(1+t)} = \sum_{l=0}^\infty b_l \frac{t^l}{l!}$ 로 정의된다.

핵심 계산 (공식 5.5): $\frac{t}{f_Y(t)} x^n = \sum_{r=0}^n \sum_{l=0}^r \binom{n}{r} \frac{1}{p^{l-1}} S_2(r,l) b_l B_{n-r}(x)$

예시 3: Poisson 분포 ( $\alpha>0$ )

$f_Y(t) = \log\left(1 + \frac{t}{\alpha}\right), \quad S_1^Y(n,k) = \sum_{l=k}^n \frac{1}{\alpha^l} S_1(l,k) S_1(n,l)$

결과: $x^n = \sum_{l=0}^n \binom{n}{l} \frac{1}{n-l+1} \frac{1}{\alpha^{l-1}} b_l B_0^Y(x) + \sum_{k=1}^n \left\{ \frac{1}{k} \sum_{j=k-1}^{n-1} \sum_{l=k-1}^j \frac{1}{\alpha^l} S_1(l,k-1) S_1(j,l) \frac{1}{j!} \Delta^{j+1} 0^n \right\} B_k^Y(x)$

예시 4: 기하 분포 ( $0<p<1$ )

이것이 가장 복잡한 예시이다. Frobenius-Euler 수 $H_j^{(r)}(u)$ 를 사용해야 한다: $\left(\frac{1-u}{e^t-u}\right)^r = \sum_{n=0}^\infty H_n^{(r)}(u) \frac{t^n}{n!}$

$a_0$ 의 계산 (공식 5.23): $a_0 = \frac{1}{p} \sum_{j=0}^n \sum_{l=0}^\infty \sum_{r=0}^l (-1)^r \frac{1}{l!} \binom{n}{j} \binom{l}{r} \left(\frac{p}{1-p}\right)^l b_l H_j^{(r)}\left(\frac{p}{p-1}\right) (1-p(1-\delta_{n,j}))$

사례 분석: 보조정리 5.1의 역할

보조정리 5.1: $\int_0^1 B_n(x) dx = \delta_{n,0}, \quad \int_0^1 B_n(-x) dx = (-1)^n$

이 보조정리는 모든 예시의 $a_0$ 계산에서 핵심 역할을 한다. 예를 들어 지수 분포의 경우: $a_0 = \int_0^1 \frac{t}{\alpha(1-e^{-t})} x^n dx = \frac{1}{\alpha} (-1)^n \int_0^1 B_n(-x) dx = \frac{1}{\alpha}$

실험 발견

단순화 효과가 현저함: 문헌의 복잡한 증명 (예: Miki 항등식은 Fermat 몫이나 p-진 분석 필요)에 비해 본 논문의 방법은 적분과 차분만 계산하면 된다
통일성: 모든 예시가 동일한 계산 프레임워크를 따르며, 구체적인 $f_Y(t)$ 와 $S_1^Y(n,k)$ 만 다르다
계산 복잡도:
- 이산 분포는 보통 더 간결하다 (예: Bernoulli, Poisson)
- 연속 분포는 더 복잡한 적분을 포함할 수 있다 (예: 기하 분포)
- 지수 분포가 가장 간결하다
퇴화 버전의 추가 복잡성: 퇴화 Bernoulli 다항식의 표현은 보통 추가 Stirling 수 합을 포함한다

결론 및 논의

주요 결론

이론의 완전성: 확률 Bernoulli 다항식과 퇴화 버전의 완전한 표현 이론 수립으로 기본 버전과 고차 버전 포함
계산의 유효성: 세 가지 동등한 계수 계산 공식 제시로 다양한 계산 시나리오에 적용 가능
광범위한 적용성: 원점 근처에서 적률생성함수가 존재하는 임의의 확률변수에 적용 가능한 이론
증명의 단순화: 알려진 항등식에 대한 더 간결한 증명 경로 제시

한계

조건 제한:
- $E[Y] \neq 0$ 요구
- 적률생성함수가 원점 근처에서 존재해야 함
- 일부 중요 분포 배제 (예: Cauchy 분포)
계산 복잡도:
- $S_1^Y(n,k)$ 와 $S_{1,\lambda}^Y(n,k)$ 사전 계산 필요
- 복잡한 분포 (예: 기하 분포)의 경우 공식이 매우 복잡할 수 있음
수치 안정성:
- 고차 차분과 Stirling 수 포함으로 수치 안정성 문제 가능
- 논문에서 수치 구현 미논의
이론적 깊이:
- 주로 조합 항등식 유도
- 점근 분석이나 깊은 정수론적 성질 탐구 부족

향후 방향

논문에서 명시적으로 제시하지는 않았지만 추측 가능한 방향:

다른 특수 다항식으로의 확장: Euler 다항식, Genocchi 다항식 등 연구
다변수 일반화: 다원 확률 Bernoulli 다항식 연구
수치 알고리즘: 안정적이고 효율적인 수치 계산 방법 개발
응용 탐색: 정수론, 조합학, 양자장론에서의 응용 발굴

심층 평가

장점

1. 방법의 혁신성 (★★★★☆)

직교성 프레임워크: 문헌 2,18의 핵심 결함을 해결하기 위해 Stirling 수의 직교성 보장
Umbral 계산 응용: umbral 계산 이론을 체계적으로 적용하여 증명을 간결하고 우아하게 함
통일 이론: 비퇴화, 퇴화, 고차 경우를 통일된 프레임워크에 포함

2. 이론의 완전성 (★★★★★)

네 개의 주요 정리: 모든 중요 경우 포함 (정리 3.1, 3.3, 4.1, 4.2)
두 개의 기초 명제: 직교성과 역관계 수립 (명제 1.1, 1.2)
체계적인 예비 지식: 제1절에서 필요한 배경을 상세히 소개

3. 실험의 충분성 (★★★★☆)

6가지 확률변수: 일반적인 이산 및 연속 분포 포함
두 가지 표현: 각 예시에서 비퇴화 및 퇴화 버전 제시
상세한 계산: 핵심 중간 단계 표시 (공식 5.5, 5.19-5.20)

부족점:

수치 검증 부재
다양한 공식의 계산 효율성 비교 미실시

4. 작성의 명확성 (★★★★★)

구조의 명확성: 예비 지식 → umbral 계산 → 주요 결과 → 예시로 논리 엄밀
기호의 규범성: 확률변수와의 관련성을 나타내기 위해 상첨자 Y 통일 사용
세부 충분성: 증명 단계가 상세하여 독자 이해 용이

부족점

1. 이론적 한계

조건이 엄격함: $E[Y] \neq 0$ 은 대칭 분포 (예: 표준 정규분포) 배제
오차 분석 부재: 절단 오차나 수치 정확도 미논의

2. 실험 부족

수치 구현 없음: 모든 결과가 기호 형태로 수치 예시 미제시
성능 비교 없음: 세 가지 공식 형태 중 어느 것이 계산 가장 빠른지 미비교
시각화 부재: 다항식이나 계수의 그래프 미제시

3. 응용의 제한

이론 지향적: 주로 수학 유도로 실제 응용 시나리오 부족
확률론과의 연결 약함: 확률변수 도입했지만 확률론적 의미 깊이 있게 탐구 미흡

4. 문헌 검토

관련 연구 분산: 서론과 제5절에 분산되어 충분히 집중되지 않음
대비 불충분: 2,18과의 기술적 대비가 충분하지 않음

영향력 평가

1. 분야에 대한 기여 (★★★★☆)

이론적 공백 채움: 확률 Stirling 수의 직교성 문제 해결
방법론적 기여: umbral 계산이 확률 확장에서의 강력함 시연
분야 간 연결: 확률론, 조합학, 특수함수 이론 결합

잠재적 영향:

확률 특수함수 이론의 표준 참고 자료가 될 가능성
다른 특수 다항식의 확률 확장 연구 촉발

2. 실용적 가치 (★★★☆☆)

기호 계산: 컴퓨터 대수 시스템 (예: Mathematica, Maple)에 활용 가능
이론적 도구: 조합 항등식 증명을 위한 새로운 도구 제공
교육적 가치: 특수함수 과정의 보충 자료로 적합

한계:

직접 응용 시나리오 불명확
실제 문제에 적용하려면 추가 발전 필요

3. 재현성 (★★★☆☆)

공식 명확성: 모든 공식이 명확하게 정의됨
외부 결과 의존: 핵심 $S_1^Y(n,k)$ 계산이 문헌 14에 의존
코드 부재: 구현 코드 미제공

제안:

Mathematica 또는 Python 구현 제공
온라인 계산기 구축

적용 시나리오

1. 이론 연구

조합 항등식 증명: 복잡한 항등식 증명 단순화
특수함수 이론: Bernoulli 다항식 이론 확장
정수론: Bernoulli 수의 합동성 성질 연구에 활용 가능

2. 기호 계산

다항식 전개: 특수함수 기저에서 임의 다항식 전개
적분 계산: Bernoulli 다항식의 성질을 이용한 적분 단순화

3. 교육

특수함수 과정: 현대 연구 방법 제시
조합수학: Stirling 수의 고급 응용
Umbral 계산: 구체적 응용 예시

4. 잠재적 응용

양자장론: Bernoulli 수의 Feynman 그래프 계산 응용
Gromov-Witten 이론: FPZ 항등식과의 연결
점근 분석: 특정 합식의 점근 전개에 활용 가능

종합 평가

차원	평점	설명
창의성	8/10	직교성 프레임워크가 핵심 혁신
이론적 깊이	9/10	이론 완전, 증명 엄격
실용성	6/10	주로 이론적 기여
작성 품질	9/10	명확, 체계적, 상세
실험 충분성	7/10	예시 풍부하나 수치 검증 부재
종합 평가	7.8/10	우수한 이론 연구

참고 문헌 (핵심 문헌)

2 J. A. Adell, B. Bényi, Probabilistic Stirling numbers and applications, Aequat. Math. 98 (2024), 1627-1646.

확률 Stirling 수 개념 제시하나 정의가 직교성 미보장

4 L. Carlitz, Degenerate Stirling, Bernoulli and Eulerian numbers, Utilitas Math. 15 (1979), 51-88.

퇴화 특수 수의 개척적 업적

14 D. S. Kim, T. Kim, Probabilisitc Stirling and degenerate Stirling numbers, Preprint.

본 논문에 필요한 $S_1^Y(n,k)$ 계산 결과 제공

16 D. S. Kim, T. Kim, Representing polynomials by degenerate Bernoulli polynomials, Quaest. Math. 46 (2022), no. 5, 959-980.

$Y=1$ 경우의 선행 연구

27-28 S. Roman, The umbral calculus 시리즈

Umbral 계산의 표준 참고 자료

요약: 이것은 확률 특수함수 이론 분야에서 실질적 기여를 한 고품질의 이론 수학 논문이다. 직교성 프레임워크 수립을 통해 저자는 기존 문헌의 핵심 결함을 해결하고 완전한 표현 이론을 발전시켰다. 논문의 주요 가치는 이론의 체계성과 방법의 우아성에 있으며, 후속 연구를 위한 견고한 기초를 마련한다. 주요 개선 여지는 수치 실험 추가와 실제 응용 탐색에 있다.