On the Positivity of a Class of Cauchy-Like Matrices

Resumen Técnico: Sobre la Positividad de una Clase de Matrices de Tipo Cauchy

Planteamiento del Problema
El artículo investiga la semidefinición positiva de una clase específica de matrices de tipo Cauchy $C \in \mathbb{R}^{n \times n}$. Los elementos de la matriz se definen como:
$$C_{ij} = \frac{r_i(k, l) + r_j(k, l)}{\lambda_i + \lambda_j}$$
donde $0 < \lambda_1 < \dots < \lambda_n$ son números reales positivos distintos. Los coeficientes $r_i(k, l)$ son razones de polinomios simétricos elementales:
$$r_i(k, l) := \frac{\sigma^{(i)}_{n-k}}{\sigma^{(i)}_{n-l}}$$
donde $\sigma_m$ es el polinomio simétrico elemental de grado $m$ en las variables $\{\lambda_1, \dots, \lambda_n\}$, y $\sigma^{(i)}_m$ es el mismo polinomio excluyendo la variable $\lambda_i$. Los parámetros $k$ y $l$ oscilan entre $1$y$n$.

La motivación de este estudio surge del análisis de las soluciones de ecuaciones de Lyapunov donde la matriz de estado tiene forma de compañera. Si bien el artículo señala que las matrices de la forma $W_{ij} = \frac{f(\lambda_i) + f(\lambda_j)}{\lambda_i + \lambda_j}$ (matrices de Kwong o matrices anti-Loewner) están bien estudiadas, esta clase dual de matrices ha sido ampliamente desatendida en la literatura.

Metodología
La estrategia de demostración involucra tres etapas primarias: transformación de variables, la construcción de una matriz singular aumentada y un argumento inductivo basado en menores principales.

1. Transformación de Variables Recíprocas:
   El problema se simplifica introduciendo variables recíprocas $x_i = 1/\lambda_i$. Mediante una transformación de congruencia diagonal utilizando las matrices diagonales $X = \text{diag}(x_1, \dots, x_n)$ y $D_{l-1} = \text{diag}(e^{(1)}_{l-1}(x), \dots, e^{(n)}_{l-1}(x))$, donde $e^{(i)}_r(x)$ son polinomios simétricos elementales en las variables recíprocas, se muestra que la matriz $C$ original es semidefinida positiva si y solo si una familia de matrices de dos parámetros $A^{(p,q)}_n(x)$ es semidefinida positiva. Los elementos de esta nueva matriz son:
   $$[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}$$
   donde $p = k-1$ y $q = l-1$.

2. Matriz Aumentada y Singularidad:
   Para probar la positividad de $A^{(p,q)}_n(x)$, el autor construye una matriz aumentada singular $H^{(p,q)}_n(x)$ de tamaño $(n+1) \times (n+1)$:
   $$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}$$
   Aquí, $v_{p,q}$ es el producto de Hadamard de vectores de polinomios simétricos elementales, y $s_{p,q}(x)$ es un escalar definido por una suma con signo de productos de estos polinomios.
   La singularidad de $H^{(p,q)}_n(x)$ se establece utilizando identidades de funciones generatrices relacionadas con el núcleo de Cauchy. Específicamente, el autor define un vector $w$ derivado de la inversa de la matriz de Cauchy estándar y muestra que $H^{(p,q)}_n(x)$ tiene un vector del núcleo $[-\gamma_{p,q}, w^\top]^\top$, donde $\gamma_{p,q}$ es un escalar dependiente de la paridad de $n, p$ y $q$. Esto se basa en el Lema 2.1, que establece que una función racional estrictamente propia con polos simples está unívocamente determinada por sus valores en los polos.

3. Demostración Inductiva vía Menores Principales:
   La semidefinición positiva de $H^{(p,q)}_n(x)$ (y consecuentemente de $A^{(p,q)}_n(x)$) se prueba por inducción sobre $n$ utilizando el criterio de menores principales.

• Caso Base: Verificado para $n=1$.
• Paso Inductivo: El autor demuestra que todos los menores principales propios de $H^{(p,q)}_n(x)$ son no negativos.
  • Para los menores que contienen el índice superior izquierdo (0), la matriz se descompone en una suma de matrices aumentadas más pequeñas (escaladas por coeficientes no negativos) y un término resto $R_{p,q}$. La no negatividad de $R_{p,q}$ se establece mostrando que consiste en monomios con coeficientes no negativos en una expansión combinatoria.
  • Para los menores que no contienen el índice 0 (submatrices de $A^{(p,q)}_n(x)$), la descomposición se basa en la hipótesis de inducción de que instancias más pequeñas de $A$ son semidefinidas positivas.
• Análisis del Determinante: Dado que la matriz es singular (determinante igual a cero), la prueba concluye analizando el cofactor correspondiente al elemento superior izquierdo. Utilizando la estructura de rango 1 de la matriz adjunta derivada del vector del núcleo, se muestra que $\det(A^{(p,q)}_n(x)) \geq 0$.

Contribuciones Clave y Resultados

• Teorema Principal: El artículo demuestra que la matriz $C$ definida en (1.3) es semidefinida positiva para todas las $\lambda_i$ distintas y para todo $1 \leq k, l \leq n$.
• Reducción: El problema se reduce a la positividad de la familia $A^{(p,q)}_n(x)$ mediante congruencia diagonal.
• Positividad Escalar: Se introduce una nueva cantidad escalar $s_{p,q}(x)$ y se demuestra que es no negativa para $x_i$ positivos. Esto se logra mediante una expansión combinatoria que muestra que $s_{p,q}(x)$ es una suma de términos con coeficientes no negativos.
• Técnica de Matriz Aumentada: El artículo introduce la matriz aumentada singular $H^{(p,q)}_n(x)$ y utiliza su estructura de núcleo específica para cerrar la brecha entre la singularidad del sistema aumentado y la positividad del subbloque $A^{(p,q)}_n(x)$.

Significancia
El artículo se posiciona como un primer intento de llenar un vacío en la literatura respecto a esta clase específica de matrices de tipo Cauchy, las cuales son duales a las bien conocidas matrices de Kwong. La significancia radica en establecer la semidefinición positiva de estas matrices, las cuales están conectadas con el análisis de ecuaciones de Lyapunov con matrices de estado en forma de compañera. La técnica de prueba es notable por su expansión positiva explícita de la cantidad escalar $s_{p,q}$ y del término resto $R_{p,q}$, lo que permite que el argumento inductivo se cierre para toda la familia de dos parámetros. El trabajo se apoya en herramientas clásicas (matrices de Cauchy, polinomios simétricos, funciones generatrices), pero las aplica en un contexto estructural novedoso para resolver la cuestión de la positividad.