[논문 리뷰] Controllability Issues of Linear Ensemble Systems.

Xudong Chen|arXiv (Cornell University)|2020. 03. 10.

Advanced Operator Algebra Research참고 문헌 16인용 수 4

한 줄 요약

이 논문은 실해석적 선형 앙상블 시스템이 매개변수 공간의 차원이 1을 초과할 경우 2 ≤ p ≤ ∞ 에서 L^p-제어 가능성을 달성할 수 없음을 증명함으로써 앙상블 제어 분야의 열린 문제를 해결한다. 이 결과는 해석성과 함수해석학 도구를 활용하여 고차원 매개변수 공간에서의 제어 가능성에 대한 근본적인 제약을 규명한다.

ABSTRACT

We address an open problem in ensemble control: Whether there exist controllable linear ensemble systems over high dimensional parameterization spaces? We provide a negative answer: Any real-analytic linear ensemble system is not $\mathrm{L}^p$-controllable, for $2\le p \le \infty$, if the dimension of its parameterization space is greater than one.

연구 동기 및 목표

• 고차원 매개변수 공간에서 제어 가능한 선형 앙상블 시스템이 존재하는지 조사하는 것. 이는 앙상블 제어 분야에서 오랫동안 남아있던 열린 문제이다.
• 매개변수에 대해 실해석적 의존성을 가지는 선형 앙상블 시스템에서 L^p-제어 가능성의 근본적 제약을 규명하는 것.
• 매개변수화 공간의 차원이 선형 앙상블 시스템의 제어 가능성에 미치는 영향을 분석하는 것.
• 매개변수에 의존하는 동역학을 가지는 대규모 시스템의 제어 가능성에 대한 이론적 경계를 설정하는 것.
• 매개변수 공간의 차원이 1을 초과할 경우 L^p-제어 가능한 선형 앙상블 시스템의 존재에 대한 부정적 답변을 제공하는 것.

제안 방법

• 함수해석학 및 실해석 함수 이론의 도구를 활용하여 L^p 공간 내의 도달 가능 집합의 구조를 분석한다.
• 매개변수화된 시스템 가족 전반에 걸친 궤도의 균일한 L^p-근사 개념을 사용한다.
• 실해석 함수의 유일성 성질을 적용하여, 매개변수 공간 차원이 1을 초과할 경우 도달 가능 집합이 전체 L^p 공간을 차지할 수 없음을 보여준다.
• 실해석 함수가 비자명한 영집합을 가지면 그 지지집합이 측도 0을 가지며, 이는 시스템이 임의의 상태에 도달하는 능력을 제한함을 바탕으로 한 증명이다.
• 차원이 1을 초과하는 다양체로 매개변수화된 선형 앙상블 시스템의 맥락에서 분석을 수행한다.
• 분석 결과, 주어진 해석성 및 차원 제약 조건 하에서 제어 가능성 연산자의 상(image)이 L^p 공간에 밀도가 없음을 입증한다. 여기서 p ∈ [2, ∞]이다.

실험 결과

연구 질문

• RQ1 매개변수 공간의 차원이 1을 초과할 경우 선형 앙상블 시스템이 L^p-제어 가능할 수 있는가?
• RQ2 시스템 행렬이 매개변수에 대해 실해석적 의존성을 가지는 것이 제어 가능성에 제약을 미치는 역할은 무엇인가?
• RQ3 고차원 매개변수 공간에서 선형 앙상블 시스템의 L^p-제어 가능성에 근본적인 장애물이 존재하는가?
• RQ4 2 ≤ p ≤ ∞ 인 경우, 어떤 조건에서 도달 가능 집합이 L^p 공간에 밀도가 없어지는가?
• RQ5 매개변수 공간의 차원과 해석성 간의 상호작용이 제어 가능성 제약에 어떻게 작용하는가?

주요 결과

• 매개변수 공간의 차원이 1을 초과할 경우, 임의의 실해석적 선형 앙상블 시스템은 2 ≤ p ≤ ∞ 에서 L^p-제어 가능하지 않다.
• 이 제약은 실해석 함수의 강성 때문이며, 이는 주어진 조건 하에서 L^p 공간 내에서의 조밀한 도달 가능성 달성을 방해한다.
• 시스템 행렬의 구체적 형태와는 관계없이, 매개변수에 대해 실해석적일 경우 이 결과는 항상 성립한다.
• 제어 가능성의 실패는 시스템의 구조 때문이 아니라 해석성과 고차원 매개변수 공간 간의 상호작용 때문임을 보여준다.
• L^p 공간 내에서 도달 가능 집합이 밀도가 없음을 의미하므로, 이 설정에서는 완전한 제어 가능성은 불가능하다.
• 이 부정적 결과는 날카로운 이론적 경계를 설정한다: 고차원 매개변수 공간 내 실해석적 선형 앙상블 시스템의 L^p-제어 가능성은 불가능하다.