[논문 리뷰] Characterizing matrix monotonicity of fixed order on general sets

Otte Heinävaara|arXiv (Cornell University)|2019. 06. 14.

Mathematical Inequalities and Applications참고 문헌 16인용 수 4

한 줄 요약

이 논문은 높은 차수의 차분 차수를 사용하여 일반적인 $ℝ$의 부분집합에서 $n$-모노톤 및 $n$-볼록 함수의 새로운 특성화를 제공하며, Loewner, Dobsch 및 Donoghue의 고전적 결과를 통합하고 확장한다. 주요 기여는 임의의 집합에서 $n$-모노톤성에 대한 필요 및 충분 조건을 제시하는 것으로, 모든 $1 \leq k \leq n$ 및 $q \in \mathbb{C}_{k-1}[x]$에 대해 $fq^2$의 차분 차수 $2k-1$의 비음성 조건이다. 이는 볼록결합으로의 확장을 항상 가능하게 하지 못함을 보여주는 날카운 반례를 포함한다.

ABSTRACT

We give new characterizations for matrix monotonicity and convexity of fixed order which connects previous characterizations by Loewner, Dobsch, Donoghue, Kraus and Bendat--Sherman. The ideas introduced are then used to characterize matrix monotone functions of arbitrary order on general subsets of the real line.

연구 동기 및 목표

• 높은 차수의 차분 차수를 사용하여 $n$-모노톤 및 $n$-볼록 함수의 고전적 특성화를 통합하고 일반화하는 것.
• 구간에서의 $n$-모노톤성 이론을 $ℝ$의 임의의 부분집합으로 확장하여 문헌의 빈도를 메우는 것.
• 일반적인 집합에서 $n$-모노톤성이 지역적 성질임을 입증하는 것, 즉 도메인이 구간이 아닐 때에도 성립함을 보이는 것.
• 유한 집합에서 $n$-모노톤 함수가 항상 그 볼록결합으로 확장될 수는 없음을 보여주는 날카운 반례를 제공하는 것.

제안 방법

• 함수 $f$가 집합 $F$에서 정의되고 $q$가 차수 $k-1$의 다항식일 때, $fq^2$의 차분 차수 $2k-1$를 사용한 $n$-모노톤성의 새로운 특성화를 도입하는 것.
• 차분 차수의 Peano 커널 표현을 사용하여 새로운 특성화를 기존의 행렬 기반 특성화와 연결하는 것.
• 모든 $1 \leq k \leq n$ 및 모든 서로 다른 $x_i \in F$에 대해 $[x_0, \dots, x_{2k-1}]_{fq^2} \geq 0$이면, 집합 $F$에서의 $n$-모노톤성이 성립함을 증명하는 것.
• 차수 $n-1$의 유리 함수 $r_1$과 $r_2$를 사용하여 반례를 구성하는 것: 이들은 $2n$개의 점에서 일치하지만 그 외부에서는 다를 수 있으며, 이는 $f$가 볼록결합의 점으로 확장될 경우 $n$-모노톤성이 유지되지 않음을 보여준다.
• $n$-모노톤성이 $k = 2n-1$-톤성을 암시하고, 이를 통해 정규성 및 확장 불가능성 결과를 도출하는 것.
• 스케일링 하에서 삼중 차분 차수의 행동을 분석하여, 비유계 집합에서 $2$-모노톤 함수는 반드시 애फ인임을 증명하는 데 특성화를 적용하는 것.

실험 결과

연구 질문

• RQ1 일반적인 $ℝ$의 부분집합에서 $n$-모노톤성이 $fq^2$의 차분 차수 조건으로 특성화될 수 있는가?
• RQ2 도메인이 구간이 아닐 때에도 일반적인 집합에서 $n$-모노톤성이 지역적 성질인가?
• RQ3 유한 집합에서 $n$-모노톤 함수는 항상 그 볼록결합으로 확장될 수 있는가?
• RQ4 일반적인 집합에서 $n$-모노톤성이 암시하는 정밀한 정규성은 무엇이며, 차분 차수와 어떻게 관련되는가?
• RQ5 도메인에 어떤 조건이 성립할 경우 $n$-모노톤성이 함수가 애फ인임을 강제하는가?

주요 결과

• 모든 $1 \leq k \leq n$, 모든 서로 다른 $x_i \in F$, 모든 $q \in \mathbb{C}_{k-1}[x]$에 대해 $[x_0,\dots,x_{2k-1}]_{fq^2} \geq 0$이면, 함수 $f:F\to\mathbb{R}$는 $n$-모노톤이다.
• $\#F > 2n$이면, 조건을 $k = n$에 대해서만 검증하면 되어, 큰 유한 집합에서의 검증을 단순화한다.
• $n$-모노톤성 이론은 지역적 성질을 가진다: 만약 $f$가 겹치는 구간들에서 $n$-모노톤이면, 그 합집합에서도 $n$-모노톤이 된다. 이는 도메인이 구간이 아닐 때에도 성립한다.
• 유한 집합 $F$와 $n$-모노톤 함수 $f:F\to\mathbb{R}$가 존재하나, $\operatorname{conv}(F)\setminus F$의 어떤 점으로도 확장될 수 없으며, 이는 볼록결합으로의 확장이 항상 가능한 것은 아님을 보여준다.
• 만약 $F$가 비유계이고 $f:F\to\mathbb{R}$가 $2$-모노톤이면, 스케일링 하에서 삼중 차분 차수의 소멸을 통해 $f$는 반드시 애फ인임을 보여준다.
• $n$-모노톤성은 $f$가 $(2n-1)$-톤임을 암시하며, 이는 모든 차수 $2n-1$의 차분 차수가 음이 아닌 것을 의미한다. 이는 $f \in C^{2n-3}$임을 암시한다.