Structural Averaged Controllability for Linear Ensemble Systems: Multi-input Case

Resumen Técnico: Controlabilidad Promediada Estructural para Sistemas de Ensamble Lineales: Caso de Múltiples Entradas

Formulación del Problema
Este artículo aborda el problema de la controlabilidad promediada estructural para sistemas de ensamble lineales con múltiples entradas. Un sistema de ensamble consiste en un continuo de sistemas lineales invariantes en el tiempo indexados por un parámetro $\sigma \in \Sigma$, impulsados por una entrada de control común $u(t)$. La dinámica del sistema viene dada por:
$$\frac{\partial}{\partial t}x(t, \sigma) = A(\sigma)x(t, \sigma) + B(\sigma)u(t)$$
donde $A(\sigma)$ y $B(\sigma)$ son funciones medibles acotadas. El objetivo de control es la controlabilidad promediada: la capacidad de dirigir el estado promedio $\bar{\chi}(T) = \int_\Sigma x(T, \sigma) d\mu$ hacia cualquier vector objetivo en $\mathbb{R}^n$ para cualquier perfil inicial.

El enfoque específico es el estructural: dado un patrón de dispersión (representado por un grafo dirigido $G$) para las matrices $(A, B)$, ¿existe al menos una realización de estas matrices consistente con el patrón que haga que el ensamble sea controlable en promedio? Mientras que el caso de una sola entrada fue caracterizado completamente en el trabajo previo [CG25] utilizando el concepto de un grafo "núcleo" (core) y un camino generador dirigido, el caso general de múltiples entradas seguía siendo un problema abierto. Los autores señalan que una extensión ingenua de la condición de una sola entrada falla porque múltiples canales de entrada interactúan con la matriz de controlabilidad promediada de formas complejas.

Metodología y Marco Teórico-Gráfico
Los autores emplean un enfoque de teoría de grafos, representando el patrón de dispersión mediante un digrafo $G = (V, E)$ con $n$ nodos de estado ($\alpha$-nodos) y $m$ nodos de entrada ($\beta$-nodos). El análisis se basa en la descomposición de componentes fuertemente conexos del grafo:

1. Componentes Fuertes: El grafo se descompone en componentes fuertemente conexos.
2. Partes Cíclicas y Acíclicas: La unión de los componentes no triviales (aquellos que contienen ciclos) y sus sucesores forma la parte cíclica $G^+_{cyc}$. Los nodos restantes forman el núcleo $G^*$, que es un subgrafo acíclico que contiene todos los $\beta$-nodos.
3. Matriz de Controlabilidad Promediada Truncada: Para el núcleo $G^*$, los autores definen una matriz de controlabilidad promediada truncada $C_{tr}(A, B)$ que involucra integrales de $B, AB, \dots, A^{n^*-1}B$, donde $n^*$ es el número de $\alpha$-nodos en el núcleo.

La contribución central de la metodología es un algoritmo constructivo para asignar pesos a las aristas (valores para las entradas no nulas de $A$ y $B$) para satisfacer condiciones de rango.

• Asignación del Núcleo (Algoritmo 1): Los autores desarrollan un nuevo algoritmo de asignación de pesos de aristas para el núcleo. A diferencia del caso de una sola entrada, que depende de un simple camino generador, el caso de múltiples entradas requiere asignar pesos para asegurar que la matriz de controlabilidad truncada alcance el rango de fila completo. Esto implica particionar el espacio de parámetros $\Sigma$ en conjuntos medibles disjuntos de igual medida y asignar funciones de peso específicas (que a menudo involucran una función radial escalar $f$) a las aristas.
• Extensión al Grafo Completo (Algoritmo 2): Una vez asignado el núcleo, los pesos se extienden a las partes cíclicas ($G_{cyc}$) y al apéndice ($G_{appx}$). Esta extensión utiliza una función escalar $f(\sigma)$ derivada de una coordenada radial en el espacio de parámetros. Al asignar pesos proporcionales a potencias de $f(\sigma)$ (específicamente $f(\sigma)^{k\gamma}$ para un $\gamma$ irracional), los autores aseguran que las contribuciones de diferentes recorridos (walks) a la matriz de controlabilidad promediada sean linealmente independientes. Esto aprovecha la densidad de los polinomios en los espacios $L^2$ para separar las contribuciones de recorridos con diferentes longitudes y recorridos de ciclos.

Contribuciones Clave y Resultados
El artículo proporciona una condición necesaria y suficiente para la controlabilidad promediada estructural en el caso general de múltiples entradas.

Teorema 3.7: Un grafo $G \in \mathcal{G}_{n,m}$ es estructuralmente controlable en promedio si y solo si:

1. Accesibilidad: Cada $\alpha$-nodo es alcanzable desde al menos un $\beta$-nodo (es decir, el grafo es accesible).
2. Emparejamiento Saturante de Filas: El grafo bipartito de filas-columnas $B(S_{G^*})$ asociado con el patrón de dispersión de la matriz de controlabilidad promediada truncada del núcleo $G^*$ admite un emparejamiento saturante de filas.

• Definición de Emparejamiento Saturante de Filas: En el grafo bipartito donde las filas corresponden a los nodos de estado y las columnas a las longitudes de camino desde las entradas, un emparejamiento es saturante de filas si cada nodo de fila es incidente a exactamente una arista en el emparejamiento. Esta condición generaliza la condición de "camino generador dirigido" encontrada en el caso de una sola entrada (Corolario 3.8).
• Contraejemplo: Los autores demuestran mediante el Ejemplo 3.9 que la condición no es simplemente la existencia de $m$ caminos disjuntos que cubran todos los nodos. En cambio, la condición de emparejamiento permite una combinación más flexible de caminos desde diferentes entradas para lograr el rango completo.

La prueba es constructiva. Los autores construyen explícamente un par $(A, B)$ que cumple con el patrón de dispersión y que satisface la condición de rango.

• Teorema 3.1: Demuestra que para cualquier matriz objetivo $M$ con el patrón de dispersión del núcleo, existe una realización $(A, B)$ en el núcleo tal que $C_{tr}(A, B) = M$.
• Proposición 3.22: Demuestra que el par $(A, B)$ construido para el grafo completo produce una matriz de controlabilidad promediada de rango de fila completo.

Significado y Reivindicaciones
El artículo afirma resolver el problema abierto de caracterizar la controlabilidad promediada estructural para sistemas de ensamble lineales de múltiples entradas. La importancia radica en:

1. Integridad: Proporciona una caracterización completa basada en la teoría de grafos, extendiendo los resultados de una sola entrada de [CG25] al entorno de múltiples entradas.
2. Prueba Constructiva: El resultado no es meramente existencial; el artículo proporciona algoritmos específicos (Algoritmo 1 y Algoritmo 2) para asignar pesos a las aristas para realizar la propiedad de controlabilidad.
3. Sutileza de las Múltiples Entradas: El trabajo destaca que el caso de múltiples entradas es "sustancialmente más delicado" que el de una sola entrada. La necesidad de un emparejamiento saturante de filas, en lugar de un simple camino generador, refleja la compleja interacción de múltiples entradas en la matriz de controlabilidad promediada.
4. Enfoque Algorítmico: El uso de una función radial en el espacio de parámetros para separar las contribuciones de los recorridos ofrece un método robusto para manejar la naturaleza de dimensión infinita de los sistemas de ensamble dentro de un marco estructural.

Los autores concluyen señalando que, si bien su construcción garantiza una matriz de rango de fila completo, puede no ser mínima en términos del número de columnas de bloques requeridas. Sugieren que trabajos futuros podrían explorar las condiciones estructurales para controlar estadísticas de orden superior (momentos) del ensamble.