t-Product and t-STP of Cubic Matrices With Application to Hyper-Networked Systems

논문 요약: 입방 행렬 (Cubic Matrices) 의 t-곱과 t-STP 및 초연결 시스템 적용

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 데이터 과학 및 계산 기술의 발전으로 신호 처리, 컴퓨터 비전, 신경과학 등에서 고차원 데이터 구조 (하이퍼행렬, 특히 3 차원 입방 행렬) 분석의 중요성이 커지고 있습니다.
• 기존 방법의 한계:
  • t-곱 (t-product): Kilmer 등이 제안한 입방 행렬의 곱셈 연산으로, 이미지 처리 및 물리 시스템 등에 효과적이지만, 엄격한 차원 제약을 가집니다. 즉, 연산 가능한 행렬의 차원이 특정 조건을 만족해야만 합니다.
  • 차원 유지 반텐서 곱 (DK-STP, Dimension-Keeping Semi-Tensor Product): 기존 행렬의 차원 불일치 문제를 해결하기 위해 제안된 방법입니다. 입방 행렬로 확장되었으나, **프론트 슬라이스 (frontal slices) 에 해당하는 하위 시스템 간의 동역학을 완전히 분리 (decoupled)**시킵니다. 이는 하위 시스템 간의 상호작용이 필요한 복잡한 시스템 모델링에는 부적합합니다.
• 핵심 문제: 입방 행렬을 이용한 동적 제어 시스템에서 차원 제약 없이 (arbitrary dimensions) 연산이 가능하면서도, 하위 시스템 간의 결합 (coupling) 을 유지할 수 있는 새로운 대수적 연산이 필요합니다.

2. 방법론 (Methodology)

이 논문은 입방 행렬에 대한 새로운 대수적 연산과 이를 기반으로 한 동적 시스템 구축을 위해 다음과 같은 단계를 거칩니다.

1. 기초 개념 정립:
   • 입방 행렬의 표준 표현 (unfold form) 및 t-곱의 정의 재검토.
   • 기존 행렬의 DK-STP 를 입방 행렬로 확장하여 정의.
2. 새로운 연산 제안: t-STP (t-Semi-Tensor Product):
   • t-곱과 DK-STP 를 통합한 새로운 곱셈 연산인 t-STP를 제안합니다.
   • 정의: $A \star_{\text{STP}} B := \Gamma(A) \ltimes B$ (여기서 $\Gamma$는 블록 원형 맵, $\ltimes$는 DK-STP).
   • 특징: 임의의 차원을 가진 입방 행렬 간의 연산을 허용하면서도, t-곱의 특성인 하위 시스템 간의 결합을 유지합니다.
3. 대수적 구조 분석:
   • t-STP 하에서 입방 행렬이 형성하는 **군 (Group), 환 (Ring), 모듈 (Module), 리 대수 (Lie Algebra), 리 군 (Lie Group)**의 구조를 체계적으로 연구합니다.
   • 보편 동형 사상 (Universal Homomorphism, $\Gamma$) 을 통해 입방 행렬의 대수적 성질을 고차원 행렬의 대수적 성질과 연결합니다.
4. 동적 제어 시스템 구축:
   • t-STP 를 기반으로 선형 및 비선형 제어 시스템을 정의합니다.
   • 해의 존재성, 안정성, 제어 가능성 등을 분석하기 위해 행렬 함수 (지수 함수, 로그 함수 등) 를 t-STP 에 맞게 확장 정의합니다.
5. 응용 사례:
   • 초연결 진화 게임 (Hyper-networked Evolutionary Game): 공급망 (제조업자, 도매업자, 시장) 간의 복잡한 상호작용을 하이퍼그래프로 모델링하고, 이를 입방 행렬 기반의 동적 제어 시스템으로 변환하여 시뮬레이션합니다.

3. 주요 기여 (Key Contributions)

1. t-STP 의 제안: 입방 행렬에 대한 새로운 곱셈 연산인 t-STP 를 제안하여 t-곱의 차원 제약과 DK-STP 의 결합 해체 (decoupling) 문제를 동시에 해결했습니다.
2. 대수적 구조의 규명: t-STP 하에서 입방 행렬이 갖는 *일반 선형 대수 (gl)**와 *일반 선형 군 (GL)**의 리 대수 및 리 군 구조를 발견하고, 이들이 기존 행렬 이론의 자연스러운 고차원 확장임을 증명했습니다.
3. 동적 시스템 프레임워크 구축: t-STP 기반의 선형 및 비선형 제어 시스템을 구성하고, 그 해의 궤적 (trajectory) 을 유도했습니다.
4. 실제 문제 적용: 복잡한 공급망 네트워크를 초연결 진화 게임으로 모델링하고, 이를 입방 행렬 제어 시스템으로 성공적으로 표현하여 프레임워크의 실용성을 입증했습니다.

4. 주요 결과 (Results)

• 대수적 성질: t-STP 는 결합법칙 (associativity) 을 만족하며, 입방 행렬 집합은 환 (ring) 및 모듈 구조를 이룹니다. 또한, t-STP 기반 리 대수 $gl^*(m \times n \times s, \mathbb{R})$와 리 군 $GL^*(m \times n \times s, \mathbb{R})$이 존재함이 증명되었습니다.
• 동적 시스템: t-STP 기반 선형 시스템 $\dot{x}(t) = A \star_{\text{STP}} x(t) + B \star u(t)$의 해가 행렬 지수 함수를 통해 표현될 수 있음을 보였습니다.
• 계산 효율성: 고전적인 선형 시스템으로 변환할 경우 상태 전이 행렬의 크기가 $mqs \times mqs$로 매우 커지는 반면, t-STP 기반 시스템은 훨씬 작은 차원 ($ms \times p$ 등) 으로 표현되어 대규모 데이터 처리 시 계산 복잡도를 획기적으로 줄일 수 있습니다.
• 응용 모델링: 공급망 네트워크에서 각 노드 (제조업자, 도매업자, 시장) 와 엣지 (공급망) 를 입방 행렬의 요소로 매핑하여, 수요 변화와 전략적 상호작용을 동적 시스템으로 성공적으로 모델링했습니다.

5. 의의 및 결론 (Significance)

• 이론적 의의: 입방 행렬 및 고차원 텐서에 대한 제어 이론의 기반을 확고히 했습니다. 특히, 기존에 분리되어 있던 t-곱 (결합성 중시) 과 STP (차원 유연성 중시) 를 통합하여, 고차원 데이터 시스템의 모델링에 있어 유연성과 표현력을 동시에 확보했습니다.
• 실용적 의의:
  • 대규모 데이터 처리: STP 기반의 차원 축소 기법을 통해 고차원 시스템의 제어 문제를 효율적으로 해결할 수 있는 길을 열었습니다.
  • 복잡계 모델링: 공급망, 사회 네트워크, 생물학적 시스템 등 여러 하위 시스템이 복잡하게 얽힌 **초연결 시스템 (Hyper-networked Systems)**을 수학적으로 엄밀하게 모델링하고 제어할 수 있는 도구를 제공합니다.
• 향후 전망: 이 프레임워크는 3 차원을 넘어 더 높은 차원의 하이퍼행렬 (d > 3) 로도 확장 가능하며, 비선형 제어 이론 및 최적 제어 문제 연구에 적용될 수 있는 잠재력을 가지고 있습니다.

결론적으로, 본 논문은 입방 행렬을 이용한 동적 시스템 연구에 있어 차원 제약과 시스템 결합의 딜레마를 해결하는 획기적인 대수적 도구 (t-STP) 를 제시하였으며, 이를 통해 복잡한 네트워크 시스템의 모델링과 제어에 새로운 패러다임을 제시했습니다.