On the Positivity of a Class of Cauchy-Like Matrices

技術要約：ある種のコーシー型行列の正定値性について

問題提起
本論文は、特定のクラスのコーシー型行列 $C \in \mathbb{R}^{n \times n}$ の半正定値性を調査している。行列要素は次のように定義される：
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
ここで、$0 < \lambda_1 < \dots < \lambda_n$ は相異なる正の実数である。係数 $r_i(k, l)$ は基本対称多項式の比である：
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
ここで、$\sigma_m$ は変数 $\{\lambda_1, \dots, \lambda_n\}$ における次数 $m$ の基本対称多項式であり、$\sigma^{(i)}_m$ は変数 $\lambda_i$ を除いた場合の同様の多項式を表す。パラメータ $k$ および $l$ は $1$から$n$ の範囲をとる。

本研究の動機は、コンパニオン形式の行列を状態行列に持つリアプノフ方程式の解の解析に由来する。本論文では、$W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$（クォング行列またはアンチ・ローナー行列）の形式を持つ行列が十分に研究されていると述べているが、この特定の双対クラスの行列は文献においてほとんど無視されてきた。

手法
証明戦略は、変数の変換、増大された特異行列の構成、および主小行列に基づく帰納的議論という3つの主要な段階で構成されている。

1. 逆数変数変換:
   問題は、逆数変数 $x_i = 1/\lambda_i$ を導入することで簡略化される。対角行列 $X = \text{diag}(x_1, \dots, x_n)$ および $D_{l-1} = \text{diag}(e^{(1)}_{l-1}(x), \dots, e^{(n)}_{l-1}(x))$ を用いた対角合同変換を通じて、元の行列 $C$ が半正定値であることは、2パラメータ族の行列 $A^{(p,q)}_n(x)$ が半正定値であることと同値であることが示される。この新しい行列の要素は以下の通りである：
   $$[A^{(p,q)}_n(x)]_{ij} = \frac{e^{(i)}_p(x)e^{(j)}_q(x) + e^{(j)}_p(x)e^{(i)}_q(x)}{x_i + x_j}$$
   ここで、$p = k-1$ および $q = l-1$ である。

2. 増大行列と特異性:
   $A^{(p,q)}_n(x)$ の正定値性を証明するために、サイズ $(n+1) \times (n+1)$ の特異な増大行列 $H^{(p,q)}_n(x)$ を構成する：
   $$H^{(p,q)}_n(x) = \begin{bmatrix} s_{p,q}(x) & v_{p,q}^\top \\ v_{p,q} & A^{(p,q)}_n(x) \end{bmatrix}$$
   ここで、$v_{p,q}$ は基本対称多項式のベクトルのアダマール積であり、$s_{p,q}(x)$ はこれらの多項式の積の符号付き和として定義されるスカラーである。

$H^{(p,q)}_n(x)$ の特異性は、コーシー核に関連する母関数恒等式を用いて確立される。具体的には、標準的なコーシー行列の逆行列から導かれるベクトル $w$ を定義し、$H^{(p,q)}_n(x)$ が非自明な核ベクトル $[-\gamma_{p,q}, w^\top]^\top$ を持つことを示す。ここで $\gamma_{p,q}$ は $n, p, q$ のパリティに依存するスカラーである。これは、単純な極を持つ厳密な固有有理関数は、その極における値によって一意に決定されるという補題2.1に基づいている。

3. 主小行列による帰納的証明:
   $H^{(p,q)}_n(x)$（および結果として $A^{(p,q)}_n(x)$）の半正定値性は、主小行列判定法を用いた $n$ に関する帰納法によって証明される。

• 基底段階: $n=1$ の場合に検証される。
• 帰納ステップ: 著者は、$H^{(p,q)}_n(x)$ のすべての真の主小行列が非負であることを示す。
  • 左上のインデックス (0) を含む小行列については、行列をより小さな増大行列の和（非負の係数によるスケーリング）と剰余項 $R_{p,q}$ に分解する。$R_{p,q}$ の非負性は、$R_{p,q}$ が組合せ論的な展開における非負の係数を持つ単項式から構成されることを示すことで確立される。
  • インデックス 0 を含まない小行列（$A^{(p,q)}_n(x)$ の部分行列）については、より小さなインスタンスの $A$ が半正定値であるという帰納仮定に基づいて分解が行われる。
• 行列式分析: 行列は特異であるため（行列式はゼロ）、証明は左上要素に対応する余因子を分析することで締めくくられる。核ベクトルから導かれる余因子行列のランク1構造を利用して、$\det(A^{(p,q)}_n(x)) \geq 0$ であることが示される。

主要な貢献と結果

• 主定理: 本論文は、すべての相異なる正の $\lambda_i$ およびすべての $1 \leq k, l \leq n$ に対して、(1.3) で定義される行列 $C$ が半正定値であることを証明している。
• 簡約: 問題は、対角合同変換を介して、行列 $A^{(p,q)}_n(x)$ の正定値性の問題へと還元される。
• スカラーの正値性: 新しいスカラー量 $s_{p,q}(x)$ が導入され、正の $x_i$ に対して非負であることが証明されている。これは、$s_{p,q}(x)$ が非負の係数を持つ項の和であることを示す組合せ論的展開を通じて達成される。
• 増大行列の手法: 本論文は、特異な増大行列 $H^{(p,q)}_n(x)$ を導入し、増大系の特異性と部分ブロック $A^{(p,q)}_n(x)$ の正定値性の間の架け橋として、その特定の核構造を利用している。

意義
本論文は、よく知られたクォング行列に対する双対となる、この特定のクラスのコーシー型行列に関する文献の空白を埋めるための最初の試みとして位置づけられている。その意義は、コンパニオン形式の状態行列を持つリアプノフ方程式の解析に関連する、これらの行列の半正定値性を確立することにある。証明手法は、$s_{p,q}$ および剰余項 $R_{p,q}$ の明示的な正の展開に特徴があり、これにより、2パラメータ族全体に対して帰納的議論を完結させることが可能となっている。本研究は、古典的な道具（コーシー行列、対称多項式、母関数）に依拠しているが、それらを新しい構造的文脈に適用することで、正定値性の問題を解決している。