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

Technische Samenvatting: Structurele Gemiddelde Controleerbaarheid voor Lineaire Ensemble-systemen: Multi-Input Geval

Probleemformulering
Dit artikel behandelt het probleem van structurele gemiddelde controleerbaarheid voor lineaire ensemble-systemen met meerdere inputs. Een ensemble-systeem bestaat uit een continuüm van lineaire tijdsinvariante systemen geïndexeerd door een parameter $\sigma \in \Sigma$, aangestuurd door een gemeenschappelijke besturingsinput $u(t)$. De systeemdynamica wordt gegeven door:
$$\frac{\partial}{\partial t}x(t, \sigma) = A(\sigma)x(t, \sigma) + B(\sigma)u(t)$$
waarbij $A(\sigma)$ en $B(\sigma)$ begrensde meetbare functies zijn. Het controleerdoel is gemiddelde controleerbaarheid: het vermogen om de gemiddelde toestand $\bar{\chi}(T) = \int_\Sigma x(T, \sigma) d\mu$ naar een willekeurige doelvector in $\mathbb{R}^n$ te sturen voor elke initiële profiel.

De specifieke focus ligt op het structurele aspect: gegeven een sparsiteitspatroon (vertegenwoordigd door een gerichte graaf $G$), bestaat er dan ten minste één realisatie van deze matrices die consistent is met het patroon en die de ensemble gemiddelde controleerbaarheid mogelijk maakt? Terwijl de single-input case volledig werd gekarakteriseerd in eerder werk [CG25] met behulp van het concept van een "core"-graaf en een gerichte spanpad, bleef het algemene multi-input geval een open probleem. De auteurs merken op dat een naïeve uitbreiding van de single-input conditie faalt omdat meerdere inputkanalen op complexe wijze interageren met de gemiddelde controleerbaarheidsmatrix.

Methodologie en Grafentheoretisch Kader
De auteurs hanteren een grafentheoretische aanpak, waarbij het sparsiteitspatroon wordt gerepresenteerd via een gerichte graaf $G = (V, E)$ met $n$ toestandsknooppunten ($\alpha$-knooppunten) en $m$ inputknooppunten ($\beta$-knooppunten). De analyse steunt op de sterke component decompositie van de graaf:

1. Sterke Componenten: De graaf wordt gedecomposeerd in sterk samenhangende componenten.
2. Cyclische en Acyclische Delen: De vereniging van niet-triviale sterke componenten (die cycli bevatten) en hun opvolgers vormt het cyclische deel $G^+_{cyc}$. De overige knopen vormen de core $G^*$, een acyclische subgraaf die alle $\beta$-knooppunten bevat.
3. Getrunceerde Gemiddelde Controleerbaarheidsmatrix: Voor de core $G^*$ definiëren de auteurs een getrunceerde gemiddelde controleerbaarheidsmatrix $C_{tr}(A, B)$ bestaande uit integralen van $B, AB, \dots, A^{n^*-1}B$, waarbij $n^*$ het aantal $\alpha$-knooppunten in de core is.

De kernbijdrage van de methodologie is een constructief algoritme voor het toewijzen van randgewichten (waarden voor de niet-nul elementen van $A$ en $B$) om aan rangvoorwaarden te voldoen.

• Core Toewijzing (Algoritme 1): De auteurs ontwikkelen een nieuw algoritme voor de toewijzing van randgewichten voor de core. In tegenstelling tot de single-input case, die rust op een eenvoudig spanpad, vereist de multi-input case het toewijzen van gewichten om te waarborgen dat de getrunceerde controleerbaarheidsmatrix een volledige rij-rang bereikt. Dit houdt in dat de parameterruimte $\Sigma$ wordt opgedeeld in disjuncte meetbare verzamelingen van gelijke maat, waarbij specifieke gewichtsfuncties (vaak een scalaire radiale functie $f$ invollerend) aan de randen worden toegewezen.
• Uitbreiding naar de Volledige Graaf (Algoritme 2): Zodra de core is toegewezen, worden de gewichten uitgebreid naar de cyclische delen ($G_{cyc}$) en de appendix ($G_{appx}$). Deze uitbreiding maakt gebruik van een scalaire functie $f(\sigma)$ afgeleid van een radiale coördinaat op de parameterruimte. Door gewichten toe te wijzen die proportioneel zijn aan machten van $f(\sigma)$ (specifiek $f(\sigma)^{k\gamma}$ voor een irrationaal $\gamma$), zorgen de auteurs ervoor dat de bijdragen van verschillende wandelingen lineair onafhankelijk zijn. Dit benut de dichtheid van polynomen in $L^2$-ruimten om de bijdragen van wandelingen met verschillende lengtes en cyclusdoorlopen te scheiden.

Kernbijdragen en Resultaten
Het artikel biedt een noodzakelijke en voldoende voorwaarde voor structurele gemiddelde controleerbaarheid in het algemene multi-input geval.

Stelling 3.7: Een graaf $G \in \mathcal{G}_{n,m}$ is structureel gemiddeld controleerbaar dan en slechts dan als:

1. Toegankelijkheid: Elk $\alpha$-knooppunt is bereikbaar vanaf ten minste één $\beta$-knooppunt (d.w.z. de graaf is toegankelijk).
2. Rij-verzadigende Matching: De rij-kolom bipartiete graaf $B(S_{G^*})$ geassocieerd met het sparsiteitspatroon van de getrunceerde gemiddelde controleerbaarheidsmatrix van de core $G^*$ laat een rij-verzadigende matching toe.

• Definitie van Rij-verzadigende Matching: In de bipartiete graaf waar rijen overeenkomen met toestandsknooppunten en kolommen met padlengtes vanaf de inputs, is een matching rij-verzadigend als elk rij-knooppunt precies één rand in de matching bevat. Deze conditie generaliseert de "gerichte spanpad" conditie gevonden in de single-input case (Corollary 3.8).
• Tegenvoorbeeld: De auteurs demonstreren via Voorbeeld 3.9 dat de conditie niet simpelweg de existentie van $m$ disjuncte paden is die alle knopen dekken. In plaats daarvan staat de matching-conditie een flexibelere combinatie van paden van verschillende inputs toe om volledige rang te bereiken.

Het bewijs is constructief. De auteurs bouwen expliciet een paar $(A, B)$ dat voldoet aan het sparsiteitspatroon en dat aan de rangvoorwaarde voldoet.

• Stelling 3.1: Bewijst dat voor elke doelmatrix $M$ met het sparsiteitspatroon van de core, er een realisatie $(A, B)$ op de core bestaat zodanig dat $C_{tr}(A, B) = M$.
• Propositie 3.22: Bewijst dat het geconstrueerde paar $(A, B)$ voor de volledige graaf een gemiddelde controleerbaarheidsmatrix van volledige rij-rang oplevert.

Betekenis en Claims
Het artikel claimt het openstaande probleem van het karakteriseren van structurele gemiddelde controleerbaarheid voor multi-input lineaire ensemble-systemen te hebben opgelost. De significantie ligt in:

1. Volledigheid: Het biedt een volledige grafentheoretische karakterisering, die de single-input resultaten van [CG25] uitbreidt naar de multi-input setting.
2. Constructief Bewijs: Het resultaat is niet louter existentieel; het artikel biedt specifieke algoritmen (Algoritme 1 en Algoritme 2) om randgewichten toe te wijzen om de controleerbaarheidseigenschap te realiseren.
3. Subtiliteit van Multi-Input: Het werk benadrukt dat de multi-input case "substantieel delicater" is dan de single-input case. De noodzaak van een rij-verzadigende matching, in plaats van een eenvoudig spanpad, weerspiegelt de complexe interactie van meerdere inputs in de gemiddelde controleerbaarheidsmatrix.
4. Algoritmische Aanpak: Het gebruik van een radiale functie op de parameterruimte om de bijdragen van wandelingen te scheiden, biedt een robuuste methode om de oneindig-dimensionale aard van ensemble-systemen binnen een structureel kader te behandelen.

De auteurs concluderen dat hoewel hun constructie een matrix van volledige rij-rang garandeert, deze mogelijk niet minimaal is wat betreft het aantal blokkolommen dat vereist is. Zij suggereren dat toekomstig werk de structurele condities voor het controleren van hogere-orde statistieken (momenten) van het ensemble zou kunnen verkennen.