Log-Concavity and Infinite Log-Concavity of Linear Recurrent Sequences with Linear Coefficients via Companion Matrix Methods

1. 연구 문제 (Problem Statement)

이 논문은 **선형 점화식 (linear recurrence)**을 만족하는 실수 수열 $(a_n)_{n \ge 0}$의 로그 볼록성 (log-concavity) 및 **무한 로그 볼록성 (infinite log-concavity)**을 분석하는 것을 목표로 합니다. 특히, 점화식의 계수가 $n$에 대한 선형 함수인 경우, 즉 P-recursive (또는 holonomic) 수열에 초점을 맞춥니다.

• 로그 볼록성: 수열 $(a_n)$이 모든 $k \ge 1$에 대해 $a_k^2 \ge a_{k+1}a_{k-1}$을 만족할 때, 로그 볼록하다고 정의합니다.
• 무한 로그 볼록성: 로그 볼록 연산자 $L(a_k) = a_k^2 - a_{k+1}a_{k-1}$를 반복적으로 적용했을 때, 모든 $i \ge 1$에 대해 $L^i(a_k)$가 음이 아닌 수열이 되는 성질입니다.
• 기존 연구의 한계: 상수 계수 선형 점화식에 대해서는 판정 기준이 존재하지만, 계수가 $n$에 선형인 P-recursive 수열의 경우, 로그 볼록성이나 무한 로그 볼록성을 판별하기 위한 **필요충분조건 (tight criterion)**은 일반적으로 알려져 있지 않았습니다. 또한, 연산자 $L$이 점화식의 동반 행렬 (companion matrix) 표현에 어떤 구조적 영향을 미치는지에 대한 연구는 부재했습니다.

2. 방법론 (Methodology)

저자는 수열의 점화식을 **1 차 행렬 시스템 (first-order matrix system)**으로 변환하여 분석하는 동반 행렬 (Companion Matrix) 기법을 도입했습니다.

• 점화식 표현:
  $$a_{n+1} = \sum_{k=0}^{d-1} (p_k n + q_k) a_{n-k}$$
  이를 상태 벡터 $v_n = (a_n, a_{n-1}, \dots, a_{n-d+1})^\top$를 사용하여 $v_{n+1} = M_n v_n$ 형태로 재작성합니다. 여기서 동반 행렬 $M_n$은 $n$에 대한 아핀 함수 형태인 $M_n = nA + B$를 가집니다.

• 로그 볼록 연산자의 행렬 표현:
  로그 볼록 연산자 $b_n = L(a_n) = a_n^2 - a_{n+1}a_{n-1}$를 상태 벡터 $v_n$의 **2 차 형식 (quadratic form)**으로 표현합니다.
  $$b_n = v_n^\top Q_n v_n$$
  여기서 $Q_n$은 대칭 행렬이며, $M_n = nA + B$의 구조에 따라 $Q_n = Q(0) + nQ(1)$로 분해됩니다.

• 분석 접근:

  1. $Q_n$의 **반양정치성 (positive semi-definiteness, $Q_n \succeq 0$)**을 통해 로그 볼록성의 충분조건을 도출합니다.
  2. 특정 구조적 조건 (상수 계수, 고정점, 우세 근 등) 하에서 무한 로그 볼록성에 대한 필요충분조건을 유도합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

A. 로그 볼록성을 위한 2 차 형식 기준 (Quadratic Form Criterion)

• 정리 3.3: 수열이 로그 볼록할 필요충분조건은 모든 $n$에 대해 $v_n^\top Q_n v_n \ge 0$인 것입니다.
• 충분조건: 행렬 $Q_n$이 모든 $n$에 대해 반양정치 ($Q_n \succeq 0$)이면 수열은 로그 볼록합니다.
• 점근적 판정: $Q(1)$이 양정치이고 최소 고유값이 양수이면, 충분히 큰 $n$ 이후로 $Q_n$이 반양정치가 되어 로그 볼록성이 보장됩니다.
• 초기 조건 의존성: 초기 벡터 $v_0$에 대한 조건으로 변환하여, $v_0^\top R_n v_0 \ge 0$ ($R_n = \Pi_n^\top Q_n \Pi_n$)을 만족하는지 확인함으로써 초기 데이터에 따른 로그 볼록성을 판별할 수 있음을 보였습니다.

B. 2 차 상수 계수 점화식의 무한 로그 볼록성 (Tight Criterion)

• 정리 5.1: 2 차 상수 계수 점화식 ($a_{n+1} = \alpha a_n + \beta a_{n-1}$)의 경우, $L(a_n)$ 자체가 기하 수열이 되어 $L^2(a_n) = 0$이 됩니다.
• 결과: 이 경우, 수열이 무한 로그 볼록할 필요충분조건은 단순히 로그 볼록한 것입니다.
• 구체적 조건: $\beta < 0$이고 초기값과 계수로 정의된 상수 $A, B$에 대해 $AB \le 0$일 때 무한 로그 볼록성이 성립합니다. 이는 초기값 $(a_0, a_1)$이 특정 닫힌 볼록 원뿔 (closed convex cone) 내에 있을 때 성립함을 의미합니다.

C. L 에 의해 고정된 수열 (Sequences Fixed by L)

• 정리 5.5: $L(a_n) = a_n$을 만족하는 수열 (예: $a_n = \cosh(n\theta)$ 또는 $a_n = \cos(n\theta)$) 에 대해서는, 무한 로그 볼록성이 **수열 자체의 비음성 ($a_n \ge 0$)**과 동치임을 증명했습니다.
  • $\cosh(n\theta)$는 항상 양수이므로 무한 로그 볼록합니다.
  • $\cos(n\theta)$는 부호가 변하므로 로그 볼록하지 않습니다.

D. 우세 실근을 갖는 P-recursive 수열

• 정리 5.6: 점화식의 계수가 선형이고, 극한 특성 다항식이 두 개의 실근 ($\Lambda_1 > \Lambda_2 > 0$)을 가지며, Turán 비율이 단조 증가하여 1 미만으로 수렴하는 경우, 무한 로그 볼록성은 로그 볼록성과 동치입니다.

E. 일반적 한계 (Limitations)

• 주석 5.7: 일반적인 P-recursive 수열에 대해서는 $L(a_n)$이 더 복잡한 P-recursive 수열이 되며, P-recursive 수열의 부호 판정 문제가 일반적으로 결정 불가능 (undecidable) 할 수 있다는 점 [11]을 지적합니다. 따라서 일반적인 유한한 필요충분조건은 존재하지 않거나 현재 방법론으로는 도출하기 어렵다고 결론지었습니다.

4. 사례 연구 (Examples)

• 피보나치 수열: 계수 $\beta=1$인 경우 ($\beta > 0$), 일반적인 초기값에서는 로그 볼록성이 성립하지 않음을 보였습니다. 오직 순수한 거듭제곱 형태 ($a_n = C\phi^n$) 일 때만 무한 로그 볼록합니다.
• 변수 계수 예시: $a_{n+1} = 2a_n - (n+1)a_{n-1}$와 같은 수열은 $Q_n \succeq 0$을 만족하여 초기값과 무관하게 로그 볼록함을 보였습니다. 이는 수열이 부호를 바꾸더라도 2 차 형식 기준은 유효함을 시사합니다.
• 반례: $Q(1)$이 반양정치 조건을 만족하지 않는 경우, 충분히 큰 $n$에서 로그 볼록성이 깨지는 것을 수치적으로 확인했습니다.

5. 의의 및 결론 (Significance)

이 논문은 다음과 같은 학문적 기여를 합니다:

1. 행렬 기반 프레임워크 정립: 로그 볼록성 분석을 위해 동반 행렬과 2 차 형식을 체계적으로 연결하여, 복잡한 점화식 수열의 성질을 선형대수적 관점에서 분석할 수 있는 도구를 제공했습니다.
2. 엄밀한 판정 기준 제시: 2 차 상수 계수 및 특정 P-recursive 수열 클래스에 대해 최초로 **필요충분조건 (tight criteria)**을 제시하여, 기존에 알려진 충분조건들의 한계를 극복했습니다.
3. 구조적 통찰: 무한 로그 볼록성이 성립하는 경우들이 $L^2(a_n)=0$이나 $L(a_n)=a_n$과 같은 구조적 단순성에서 비롯됨을 보여주었습니다.
4. 미해결 문제 제기: 일반적인 P-recursive 수열에 대한 결정 가능성 문제와 고차 점화식, 다항식 계수 확장 등에 대한 향후 연구 과제를 제시했습니다.

결론적으로, 이 연구는 조합론, 확률론, 실근 다항식 이론 등 다양한 분야에서 중요한 성질인 로그 볼록성을 체계적으로 분석하기 위한 강력한 수학적 기반을 마련했습니다.