[논문 리뷰] On the problem Ax=\lambda Bx in max algebra: every system of intervals is a spectrum

Sergeĭ Sergeev|arXiv (Cornell University)|2010. 01. 22.

Polynomial and algebraic computation참고 문헌 11인용 수 1

한 줄 요약

이 논문은 두 측면(max-algebraic) 고유값 문제 $A \otimes x = \lambda \otimes B \otimes x$의 스펙트럼으로서 실수 구간과 고립점의 유한 집합이 항상 실현 가능하다는 것을 입증한다. 간격의 끝점과 중점을 사용하여 명시적인 행렬 $A$와 $B$를 구성함으로써, 최댓값 대수적 스칼라(span)와 상쇄 법칙을 활용한 구성적 증명을 통해 스펙트럼이 주어진 간격 시스템과 정확히 일치함을 증명한다. 이는 최댓값 대수에서 스펙트럼 집합의 전체 일반성(일반성)을 보여준다.

ABSTRACT

We consider the two-sided eigenproblem Ax=\lambda Bx over max algebra. It is shown that any finite system of real intervals and points can be represented as spectrum of this eigenproblem.

연구 동기 및 목표

• 두 측면(max-algebraic) 고유값 문제 $A \otimes x = \lambda \otimes B \otimes x$의 스펙트럼으로서 실수 간격과 고립점의 유한 집합이 항상 실현 가능하다는 것을 입증하는 것.
• 주어진 유한한 간격과 점의 합집합과 일치하는 스펙트럼을 갖는 행렬 $A$와 $B$를 구성적으로 만드는 방법을 제공하는 것.
• 기본 선형대수학에서보다 제한된 스펙트럼을 갖는 것과 대비하여, 최댓값 대수에서의 스펙트럼 집합이 임의의 유한한 간격의 합집합일 수 있음을 보여줌으로써, 최댓값 대수의 스펙트럼 집합에 대한 이해를 확장하는 것.
• 특히 스케줄링 및 제어 분야의 파arametric 시스템과 응용을 고려할 때, 최댓값 대수에서 스펙트럼의 구조가 얼마나 풍부하고 일반적인지를 확인하는 것.

제안 방법

• 주어진 $m$개의 간격에 대해 각각의 끝점 $a_i, c_i$와 중점 $b_i = (a_i + c_i)/2$를 사용하여 행렬 $A, B \in \mathbb{R}^{2 \times 3m}$을 구성한다.
• 행렬 $A$와 $B$의 원소들이 최댓값 대수적 스칼라(span)와 상쇄 법칙을 통한 스펙트럼 분석이 가능하도록 간격의 경계를 인코딩하도록 정의한다.
• 등가 조건 $A \otimes x = \lambda \otimes B \otimes x \Leftrightarrow C(\lambda) \otimes x = D \otimes y$ 를 사용하며, $C(\lambda)$와 $D$는 블록 행렬과 최댓값-플러스 항등식을 통해 정의된다.
• 최댓값 대수적 스칼라 내에 속하는지 확인하기 위해 정리 2.1을 적용하며, 구성 요소별 차이의 argmin을 계산하기 위해 $T(y,z)$ 함수를 사용한다.
• $[a_i, c_i]$ 내의 각 $\lambda$에 대해, $\text{span}_\oplus(D)$와 $\text{span}_\oplus(C(\lambda))$에 모두 속하는 특정한 벡터 $z_\lambda$를 구성함으로써, $\lambda$가 스펙트럼에 속함을 증명한다.
• 간격의 합집합 외부의 $\lambda$에 대해서는 상쇄 법칙 (3)을 활용하여 비자명한 해가 존재하지 않음을 보이며, 스펙트럼이 정확히 주어진 간격 시스템임을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 유한한 실수 간격과 점의 집합이 두 측면 최댓값 대수적 고유값 문제의 스펙트럼으로 실현 가능할 수 있는가?
• RQ2 주어진 스펙트럼 집합을 생성하기 위해 행렬 $A$와 $B$가 만족해야 할 구조적 성질은 무엇인가?
• RQ3 두 측면 문제 $A \otimes x = \lambda \otimes B \otimes x$의 스펙트럼을 임의의 유한한 간격의 합집합과 일치시킬 수 있는가?
• RQ4 두 측면 문제의 스펙트럼은 끊어진(비연결된) 집합이거나 간격과 고립점이 동시에 포함될 수 있는가?

주요 결과

• 두 측면 최댓값 대수적 고유값 문제 $A \otimes x = \lambda \otimes B \otimes x$의 스펙트럼 $\sigma(A,B)$는 실수 간격과 고립점의 유한한 합집합이 될 수 있다.
• 주어진 유한한 간격 집합 $[a_i, c_i]$에 대해, $\sigma(A,B) = \bigcup_{i=1}^m [a_i, c_i]$ 가 되도록 행렬 $A$와 $B$를 명시적으로 구성할 수 있다.
• 구성은 간격의 끝점 $a_i, c_i$와 중점 $b_i = (a_i + c_i)/2$를 사용하여 $3m$개의 열을 기반으로 한 블록 방식으로 $A$와 $B$의 원소를 정의한다.
• $\lambda \in [a_i, c_i]$ 인 경우, 특정한 해 벡터 $z_\lambda$를 구성하여 $\text{span}_\oplus(D)$와 $\text{span}_\oplus(C(\lambda))$에 모두 속함을 보임으로써 $\lambda$가 스펙트럼에 속함을 증명한다.
• $\lambda$가 간격의 합집합 외부에 있을 경우, 상쇄 법칙과 구성 요소별 비교를 통해 비자명한 해가 존재하지 않음을 보이며, 스펙트럼이 정확히 주어진 집합임을 증명한다.
• 결과적으로 최댓값 대수에서의 스펙트럼 집합이 단일 점이나 연결된 간격에 국한되지 않고, 임의의 유한한 합집합일 수 있음을 확인함으로써, 두 측면 고유값 문제의 전체 표현 능력을 입증한다.