On non-symmetric $t$-convexity

기술 요약: 비대칭 $t$-볼록성에 관하여

문제 정의
본 논문은 실수 값 함수에 대한 비대칭 $t$-볼록성과 표준 $t$-볼록성 사이의 관계에 관한 구체적인 질문을 다룬다. 함수 $f: \mathbb{R} \to \mathbb{R}$가 모든 $x \leq y$에 대하여 다음 부등식을 만족할 때, 이를 비대칭 $t$-볼록하다고 정의한다:
$$f(tx + (1-t)y) \leq tf(x) + (1-t)f(y)$$
만약 이 부등식이 모든 $x, y \in \mathbb{R}$에 대해 성립한다면, 그 함수는 단순히 $t$-볼록하다고 한다.

고정된 $t \in (0, 1)$에 대하여, 비대칭 $t$-아핀 함수는 반드시 $t$-아핀 함수라는 것은 알려진 결과이다. 그러나 Lewicki와 Olbryś는 $t$가 초월수일 때 이 함의가 실패함을 입증하였는데, 그들은 비대칭 $t$-볼록하지만 $t$-볼록하지는 않은 함수를 구성하였다. 이는 특정 유리수 $t$ 값들에 대한 의문을 남겼다. 특히, Zsolt Páles는 $t = 1/3$일 때 비대칭 $t$-볼록 함수가 $t$-볼록하지 않은 경우가 존재하는지 물었다. $1/3$-볼록성은 유리수 매개변수의 맥락에서 중점 볼록성($1/2$-볼록성)과 동등하므로, 이 질문은 비대칭 $1/3$-볼록성이 중점 볼록성을 함의하는지에 관한 것이다.

방법론
저자 Paolo Leonetti는 비대칭 $t$-볼록성과 대칭 $t$-볼록성의 동치성을 확립하기 위해 함수 부등식 접근법을 사용한다.

1. 일반적 기준 (명제 2.1): 증명의 핵심은 $t \in (0, 1/2)$로 고정된 경우, $C > 1-t$인 상수, 순서쌍의 유한 집합 $\{(u_i, v_i)\}$ ($u_i \leq v_i$), 비음의 계수 $\mu_i$, 그리고 실수 $\eta$가 존재하여, "결함(defect)" 범함수 $J_{t,\phi}$의 특정 선형 결합이 특정 함수 값들의 선형 결합과 같을 때, 모든 비대칭 $t$-볼록 함수가 $t$-볼록하게 된다는 명제이다.
   결함 범함수는 $J_{t,\phi}(u, v) = t\phi(u) + (1-t)\phi(v) - \phi(tu + (1-t)v)$로 정의된다.

2. 모순에 의한 증명 및 반복: 비대칭 $t$-볼록하지만 $t$-볼록하지 않은 함수 $f$가 존재한다고 가정하면, 저자는 (아핀 변환을 통해) $F(0)=F(1)=0$이고 $F(t) > 0$인 보조 함수 $F$를 구성한다. 이 함수의 척도화된 버전들에 일반적 기준을 적용함으로써, 저자는 수열 $G_n = f(t^{n+1}) - tf(t^n)$을 포함하는 점화식을 도출한다.
   증명은 $C > 1-t$라는 조건 하에서 수열 $G_n$이 기하급수적으로 성장하며, 이는 특정 음수 지점에서의 함수 값이 무한대가 되어야 한다는 모순(실수 값을 갖는 함수로서 불가능한 상황)으로 이어진다는 것을 보여준다.

3. $t=1/3$에 대한 명시적 구성: $t=1/3$인 구체적인 사례에 일반적 기준을 적용하기 위해, 저자는 필요한 매개변수들을 명시적으로 구성한다:

   • $C = 8/3$
   • $\eta = 10/9$
   • 세 개의 점 쌍: $(1/9, 4/9)$, $(0, 2/3)$, 그리고 $(0, 1)$.
   • 계수: $\mu_1 = 3$, $\mu_2 = 2$, $\mu_3 = 4/3$.
     저자는 이 매개변수들을 사용하여 $J_{1/3, \phi}$ 항들의 선형 결합이 요구되는 항등식을 산출함을 검증함으로써, 명제 2.1의 조건을 충족시킨다.

주요 기여 및 결과

• 정리 1.3: 본 논문의 주요 결과는 Páles의 질문에 대한 부정적인 답변이다. 본 논문은 $t = 1/3$에 대하여 모든 비대칭 $t$-볼록 함수 $f: \mathbb{R} \to \mathbb{R}$가 반드시 $t$-볼록함을 증명한다.
• 일반화: 이 방법론은 비대칭 $t$-볼록성이 $t$-볼록성을 함의하는 모든 $t \in (0, 1)$의 집합 $T$가 $1/2$($1/2$은 자명함)와 $1/3$(증명됨)을 포함한다는 것을 확립한다.
• $T$의 구조적 성질:
  • 대칭성: 집합 $T$는 $1/2$을 중심으로 대칭이다 (즉, $t \in T \iff 1-t \in T$).
  • 조밀성: 집합 $T$는 구간 $(0, 1)$에서 조밀하다. 이는 유한 단어(finite words)와 볼록성 조건을 만족하는 다항식 사상을 이용한 구성을 통해 증명된다.
  • 특정 원소: 유사한 계산을 통해 $1/k \in T$ (단, $k \in \{4, 5, 6\}$)임이 나타나며, $\frac{\sqrt{5}-1}{2}$ 및 $\frac{3-\sqrt{5}}{2}$와 같은 특정 대수적 수도 $T$에 속한다.

의의 및 미해결 문제
이 논문은 $t=1/3$인 경우에 대한 Zsolt Páles의 구체적인 미해결 문제를 해결하였으며, 초월수 $t$에 대해 함의가 실패한다는 사실이 이 유리수 사례까지 확장되지 않음을 확인하였다. 본 연구는 다른 유리수 또는 대수적 $t$ 값이 집합 $T$에 속하는지를 결정할 수 있는 구성적 방법(명제 2.1)을 제공한다.

저자는 $T$가 조밀하고 많은 대수적 수를 포함하고 있지만, $T$가 $(0, 1)$ 내의 모든 대수적 수를 포함하는지는 여전히 미해결 과제로 남아 있다고 언급하며 결론을 맺는다. 본 논문은 추가적인 응용이나 실험적 방향을 제안하기보다는, 이러한 함수 부등식의 이론적 특성화에 집중한다.