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

Resumo Técnico: Controlabilidade Estrutural de Média para Sistemas de Ensemble Lineares: Caso de Múltiplas Entradas

Formulação do Problema
Este artigo aborda o problema da controlabilidade de média estrutural para sistemas de ensemble lineares com múltiplas entradas. Um sistema de ensemble consiste em um continuum de sistemas lineares variantes no tempo indexados por um parâmetro $\sigma \in \Sigma$, impulsionados por uma entrada de controle comum $u(t)$. A dinâmica do sistema é dada por:
$$\frac{\partial}{\partial t}x(t, \sigma) = A(\sigma)x(t, \sigma) + B(\sigma)u(t)$$
onde $A(\sigma)$ e $B(\sigma)$ são funções mensuráveis limitadas. O objetivo de controle é a controlabilidade de média: a capacidade de direcionar o estado médio $\bar{\chi}(T) = \int_\Sigma x(T, \sigma) d\mu$ para qualquer vetor alvo em $\mathbb{R}^n$ para qualquer perfil inicial.

O foco específico é o aspecto estrutural: dado um padrão de esparsidade (representado por um grafo direcionado $G$) para as matrizes $(A, B)$, existe pelo menos uma realização dessas matrizes consistente com o padrão que torne o sistema de ensemble controlável em média? Enquanto o caso de entrada única foi totalmente caracterizado em um trabalho anterior [CG25] usando o conceito de um grafo "núcleo" (core) e um caminho de abrangência direcionada, o caso geral de múltiplas entradas permanecia como um problema em aberto. Os autores observam que uma extensão ingênua da condição de entrada única falha porque múltiplos canais de entrada interagem com a matriz de controlabilidade de média de formas complexas.

Metodologia e Estrutura Teoria de Grafos
Os autores empregam uma abordagem de teoria de grafos, representando o padrão de esparsidade via um dígrafo $G = (V, E)$ com $n$ nós de estado ($\alpha$-nós) e $m$ nós de entrada ($\beta$-nós). A análise baseia-se na decomposição de componentes fortemente conexas do grafo:

1. Componentes Fortes: O grafo é decomposto em componentes fortemente conexas.
2. Partes Cíclicas e Acíclicas: A união das componentes fortes não triviais (aquelas que contêm ciclos) e seus sucessores forma a parte cíclica $G^+_{cyc}$. Os nós restantes formam o núcleo $G^*$, que é um subgrafo acíclico contendo todos os $\beta$-nós.
3. Matriz de Controlabilidade de Média Truncada: Para o núcleo $G^*$, os autores definem uma matriz de controlabilidade de média truncada $C_{tr}(A, B)$ envolvendo integrais de $B, AB, \dots, A^{n^*-1}B$, onde $n^*$ é o número de $\alpha$-nós no núcleo.

A contribuição central da metodologia é um algoritmo construtivo para atribuir pesos às arestas (valores para as entradas não nulas de $A$ e $B$) para satisfazer condições de posto.

• Atribuição do Núcleo (Algoritmo 1): Os autores desenvolvem um novo algoritmo de atribuição de pesos de aresta para o núcleo. Diferente do caso de entrada única, que depende de um simples caminho de abrangência, o caso de múltiplas entradas requer a atribuição de pesos para garantir que a matriz de controlabilidade truncada atinja posto de linha total. Isso envolve particionar o espaço de parâmetros $\Sigma$ em conjuntos mensuráveis disjuntos de medida igual e atribuir funções de peso específicas (frequentemente envolvendo uma função radial escalar $f$) às arestas.
• Extensão para o Grafo Completo (Algoritmo 2): Uma vez atribuído o núcleo, os pesos são estendidos para as partes cíclicas ($G_{cyc}$) e o apêndice ($G_{appx}$). Esta extensão utiliza uma função escalar $f(\sigma)$ derivada de uma coordenada radial no espaço de parâmetros. Ao atribuir pesos proporcionais a potências de $f(\sigma)$ (especificamente $f(\sigma)^{k\gamma}$ para $\gamma$ irracional), os autores garantem que as contribuições de diferentes caminhadas (walks) para a matriz de controlabilidade de média sejam linearmente independentes. Isso aproveita a densidade de polinômios em espaços $L^2$ para separar as contribuições de caminhadas com diferentes comprimentos e travessias de ciclos.

Principais Contribuições e Resultados
O artigo fornece uma condição necessária e suficiente para a controlabilidade de média estrutural no caso geral de múltiplas entradas.

Teorema 3.7: Um grafo $G \in \mathcal{G}_{n,m}$ é controlável em média estruturalmente se, e somente se:

1. Acessibilidade: Todo $\alpha$-nó é alcançável a partir de pelo menos um $\beta$-nó (ou seja, o grafo é acessível).
2. Emparelhamento de Saturação de Linha: O grafo bipartido linha-coluna $B(S_{G^*})$ associado ao padrão de esparsidade da matriz de controlabilidade de média truncada do núcleo $G^*$ admite um emparelhamento de saturação de linha.

• Definição de Emparelhamento de Saturação de Linha: No grafo bipartido onde as linhas correspondem aos nós de estado e as colunas aos comprimentos de caminho a partir das entradas, um emparelhamento é de saturação de linha se cada nó de linha for incidente a exatamente uma aresta no emparelhamento. Esta condição generaliza a condição de "caminho de abrangência direcionada" encontrada no caso de entrada única (Corolário 3.8).
• Contra-exemplo: Os autores demonstram via Exemplo 3.9 que a condição não é simplesmente a existência de $m$ caminhos disjuntos cobrindo todos os nós. Em vez disso, a condição de emparelhamento permite uma combinação mais flexível de caminhos de diferentes entradas para alcançar posto total.

A prova é construtiva. Os autores constroem explicitamente um par $(A, B)$ que cumpre o padrão de esparsidade para satisfazer a condição de posto.

• Teorema 3.1: Prova que, para qualquer matriz alvo $M$ com o padrão de esparsidade do núcleo, existe uma realização $(A, B)$ no núcleo tal que $C_{tr}(A, B) = M$.
• Proposição 3.22: Prova que o par $(A, B)$ construído para o grafo completo produz uma matriz de controlabilidade de média de posto de linha total.

Significância e Alegações
O artigo afirma resolver o problema em aberto de caracterizar a controlabilidade de média estrutural para sistemas de ensemble lineares de múltiplas entradas. A significância reside em:

1. Completude: Fornece uma caracterização completa via teoria de grafos, estendendo os resultados de entrada única de [CG25] para o cenário de múltiplas entradas.
2. Prova Construtiva: O resultado não é meramente existencial; o artigo fornece algoritmos específicos (Algoritmo 1 e Algoritmo 2) para atribuir pesos às arestas para realizar a propriedade de controlabilidade.
3. Sutileza de Múltiplas Entradas: O trabalho destaca que o caso de múltiplas entradas é "substancialmente mais delicado" que o caso de entrada única. A necessidade de um emparelhamento de saturação de linha, em vez de um simples caminho de abrangência, reflete a interação complexa de múltiplas entradas na matriz de controlabilidade de média.
4. Abordagem Algorítmica: O uso de uma função radial no espaço de parâmetros para separar as contribuições de caminhadas oferece um método robusto para lidar com a natureza de dimensão infinita dos sistemas de ensemble dentro de um framework estrutural.

Os autores concluem observando que, embora sua construção garanta uma matriz de posto de linha total, ela pode não ser mínima em termos do número de colunas de blocos necessárias. Eles sugerem que trabalhos futuros poderiam explorar condições estruturais para controlar estatísticas de ordem superior (momentos) do ensemble.