[논문 리뷰] On the Kronecker and Caratheodory-Fejer theorems in several variables

Фредрик Андерссон, Marcus Carlsson|arXiv (Cornell University)|2015. 06. 18.

Matrix Theory and Algorithms참고 문헌 46인용 수 5

한 줄 요약

이 논문은 일반적인 ℝᵈ 내 영역에서 헨켈 및 토플리츠 연산자에 대해 크로네커, 카라테오도리-페저 및 페셔 정리의 다차원 일반화를 수립한다. 유한 질량, 양의 준정부정 연산자는 정확히 양의 계수를 가진 지수합으로 표현되는 심벌과 대응됨을 증명한다—구체적으로, 토플리츠의 경우 f(x) = Σ cₖe^{iξₖ·x}, 헨켈의 경우 f(x) = Σ cₖe^{ξₖ·x}이며, cₖ > 0 이고 ξₖ ∈ ℝᵈ 이다. 이는 연속적 설정에서 필요충분 조건을 명확하게 제공하며, 충분한 샘플링을 통해 구조적 행렬으로 자연스럽게 확장된다.

ABSTRACT

Multivariate versions of the Kronecker theorem in the continuous multivariate setting has recently been published. These theorems characterize the symbols that give rise to finite rank multidimensional Hankel and Toeplitz type operators defined on general domains. In this paper we study how the additional assumption of positive semidefinite affects the characterization of the corresponding symbols, which we refer to as Carathéodory-Fejer type theorems. We show that these theorems become particularly transparent in the continuous setting, by providing elegant if and only if statements connecting the rank with sums of exponential functions. We also discuss how these objects can be discretized, giving rise to an interesting class of structured matrices that inherit these desirable properties from their continuous analogs. We describe how the continuous Kronecker theorem also applies to these structured matrices, given sufficient sampling. We also provide a new proof for the Carathéodory-Fejer theorem for block Toeplitz matrices, based on tools from tensor algebra.

연구 동기 및 목표

• 일변수에서의 고전적 크로네커 및 카라테오도리-페저 정리를 ℝᵈ의 일반적인 영역에서의 다변수 연속 설정으로 확장하기 위해.
• 유한 질량, 양의 준정부정 헨켈 및 토플리츠 유형 연산자의 심벌을 지수합의 형태로 특성화하기 위해.
• 연속 설정에서의 체계가 이산 설정보다 더 깔끔하고 명확한 특성화를 제공함을 보여주며, 특히 양의 준정부정성 조건 하에서 그러한 특성화가 더욱 두드러짐을 보여주기 위해.
• 이산적 구조적 행렬이 충분한 샘플링을 통해 연속적 대응체의 성질을 어떻게 계승하는지 보여주기 위해.
• 블록 토플리츠 행렬에 대한 이산적 카라테오도리-페저 정리의 새로운 텐서 대수 기반 증명을 제공하기 위해.

제안 방법

• 심벌 f를 포함하는 적분 커널을 사용하여 일반적인 열린, 유계, 연결 영역 Ω ⊂ ℝᵈ 에서 헨켈 및 토플리츠 유형 연산자 Γ_f 와 Θ_f 를 정의하기 위해.
• 스펙트럼 및 함수해석적 도구를 사용하여 다항식 p_j 와 ζ_j ∈ ℂᵈ 를 포함하는 지수다항식 f(x) = Σ p_j(x)e^{ζ_j·x} 를 통해 유한 질량 연산자를 특성화하기 위해.
• 연산자에 양의 준정부정성을 도입하고, 이차형식 ⟨Γ_f(g),g⟩ 와 ⟨Θ_f(g),g⟩ 를 분석하여 f 에 대한 필요 및 충분 조건을 유도하기 위해.
• 양의 준정부정 유한 질량 Γ_f 에 대해 심벌 f 는 반드시 f(x) = Σ cₖe^{ξₖ·x} 의 형태를 가지며, cₖ > 0 이고 ξₖ ∈ ℝᵈ 이어야 함을 증명하기 위해.
• 텐서 곱의 구조와 해석적 계속성을 활용하여 일변수 결과를 고차원으로 확장하고, 이로써 이산적 카라테오도리-페저 정리의 새로운 증명을 가능하게 하기 위해.
• 충분한 샘플링 하에서 연속적 및 이산적 설정 간의 연결 고리를 확립하여, 연속적 연산자가 구조적 행렬을 생성함에 있어 지수 구조를 유지함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 다변수 연속 설정에서 유한 질량, 양의 준정부정 헨켈 및 토플리츠 유형 연산자의 심벌 f 는 무엇으로 특성화되는가?
• RQ2 고전적 크로네커 및 카라테오도리-페저 정리는 ℝᵈ 의 곱이 아닌 영역에서 정의된 연산자로 어떻게 일반화되는가?
• RQ3 양의 준정부정 헨켈 또는 토플리츠 연산자의 질량과 그 심벌에 포함된 지수합의 항 수 사이의 정확한 관계는 무엇인가?
• RQ4 연속적 다변수 정리는 어떻게 이산화하여 유한 질량 및 양의 준정부정 성질을 유지하는 구조적 행렬을 생성할 수 있는가?
• RQ5 텐서 대수 프레임워크는 어떻게 블록 토플리츠 행렬에 대한 이산적 카라테오도리-페저 정리의 새로운 증명을 가능하게 하는가?

주요 결과

• 유한 질량, 양의 준정부정 토플리츠 연산자 Θ_f 가 영역 Ω ⊂ ℝᵈ 에 존재하는 것은 심벌 f 가 f(x) = Σ_{k=1}^K c_k e^{iξ_k·x} 의 형태를 가지며, c_k > 0 이고 ξ_k ∈ ℝᵈ 일 때에만 가능하다.
• 유한 질량, 양의 준정부정 헨켈 연산자 Γ_f 가 영역 Ω ⊂ ℝᵈ 에 존재하는 것은 심벌 f 가 f(x) = Σ_{k=1}^K c_k e^{ξ_k·x} 의 형태를 가지며, c_k > 0 이고 ξ_k ∈ ℝᵈ 일 때에만 가능하다.
• 연속적 설정은 심벌의 구조를 필요충분 조건으로 깔끔하게 특성화하며, 이는 이산 설정보다 더 명확한 특성화를 제공한다.
• 이러한 연산자의 이산적 대응체는 충분한 샘플링 하에서 연속적 경우로부터 유도된 지수 표현과 유한 질량 성질을 계승하는 구조적 행렬로 구성될 수 있다.
• 논문은 텐서 대수 도구를 활용하여 블록 토플리츠 행렬에 대한 이산적 카라테오도리-페저 정리의 새로운 증명을 제공한다.
• 비유계 영역의 경우, 양의 준정부정 토플리츠 연산자 Θ_f 는 유계이자 유한 질량일 수 있으며, 이는 정확히 영역 Ω 가 비유계이면서 지수의 실수부가 방향 콘 Δ_Ω 의 내부에 있을 때에만 성립한다.