2025-11-22T17:31:15.427699

Empirical bounds for commuting dilations of free unitaries and the universal commuting dilation constant

Gerhold, Scherer, Shalit

For a tuple $T$ of Hilbert space operators, the 'commuting dilation constant' is the smallest number $c$ such that the operators of $T$ are a simultaneous compression of commuting normal operators of norm at most $c$. We present numerical experiments giving a strong indication that the commuting dilation constant of a pair of independent random $N{\times}N$ unitary matrices converges to $\sqrt2$ as $N \to \infty$ almost surely. Under the assumption that this is the case, we prove that the commuting dilation constant of an arbitrary pair of contractions is strictly smaller than $2$. Our experiments are based on a simple algorithm that we introduce for the purpose of computing dilation constants between tuples of matrices.

academic

자유 유니터리의 교환 확대와 보편 교환 확대 상수에 대한 경험적 경계

기본 정보

논문 ID: 2510.12540
제목: Empirical bounds for commuting dilations of free unitaries and the universal commuting dilation constant
저자: Malte Gerhold (University of Greifswald), Marcel Scherer (Technion), Orr Moshe Shalit (Technion)
분류: math.FA cs.NA math.NA math.OA
제출 시간: 2025년 10월 14일 arXiv 제출
논문 링크: https://arxiv.org/abs/2510.12540

초록

Hilbert 공간 작용소 튜플 $T$ 에 대해, "교환 확대 상수"는 $T$ 의 작용소가 동시에 노름이 최대 $c$ 인 교환 정규 작용소의 압축이 되도록 하는 최소 수 $c$ 입니다. 본 논문은 수치 실험을 통해 독립적인 무작위 $N \times N$ 유니터리 행렬 쌍의 교환 확대 상수가 거의 확실히 $\sqrt{2}$ 로 수렴함을 ( $N \to \infty$ 일 때) 강력하게 보여줍니다. 이 가정 하에서, 임의의 축약 작용소 쌍의 교환 확대 상수가 2보다 엄격히 작음을 증명합니다. 실험은 저자들이 도입한 행렬 튜플 간 확대 상수를 계산하기 위한 간단한 알고리즘을 기반으로 합니다.

연구 배경 및 동기

해결해야 할 문제: 보편 교환 확대 상수 $C_2$ 의 정확한 값을 결정하기, 즉 모든 축약 작용소 쌍이 노름이 최대 $c$ 인 교환 정규 작용소의 동시 압축이 되도록 하는 최소 상수 $c$ 를 구하기.
문제의 중요성: 확대 이론 기법과 행렬 볼록 집합 프레임워크는 양자 정보, 최적 제어, 수학 물리학, 작용소 시스템 및 작용소 대수 이론 등의 분야에서 중요한 응용을 가집니다.
기존 방법의 한계:
- 알려진 경계: $\sqrt{d} \leq C_d \leq \sqrt{2d}$ ( $d$ -튜플의 경우)
- $d=2$ 의 경우, 현재 최적 상한 $C_2 \leq \sqrt{2} \cdot 2 = 2\sqrt{2}$ 는 단순 경계 $C_d \leq d$ 와 일치
- 하한 $C_d \geq \sqrt{d}$ 는 일반적으로 타이트하지 않음
연구 동기: 엄격한 극한 정리와 수치 실험을 결합하여 $C_2 < 2$ 의 증거를 제공하고 기존 상한을 개선하기.

핵심 기여

수치 증거: 독립적인 Haar 유니터리 행렬 쌍의 확대 상수가 $\sqrt{2}$ 로 수렴함을 보여주는 강력한 수치 증거 제공
이론적 결과: 이 수렴이 성립하면 $C_2 \leq \frac{2\sqrt{2}}{3} < 2$ 임을 증명
알고리즘 기여: 행렬 튜플 확대 상수를 계산하기 위한 간단한 알고리즘 도입
엄격한 경계: 부록에서 유한 차원의 경우 엄격한 경계 $C_2(n) \leq \sqrt{2} + 2\sin(\frac{\pi}{2}(1-\frac{1}{2n})) < 2$ 제공

방법 상세 설명

작업 정의

주어진 작용소 $d$ -튜플 $u, v$ 에 대해, 확대 상수 $c(u,v)$ 는 다음과 같이 정의됩니다: $c(u,v) = \inf\{c : u \prec cv\}$ 여기서 $u \prec cv$ 는 Hilbert 공간 $H \subseteq K$ 와 작용소 튜플 $U \in B(H)^d$ , $V \in B(K)^d$ 가 존재하여 $u \sim U$ , $v \sim V$ 이고 $U = P_H cV|_H$ 임을 의미합니다.

핵심 이론 프레임워크

정리 2.1 (수평 수렴과 확대 상수): 작용소 $d$ -튜플 수열 $(\xi^{(N)})$ 과 $(\eta^{(N)})$ 의 행렬 범위가 $\xi^{(\infty)}$ 과 $\eta^{(\infty)}$ 로 수평 수렴하면: $c(\xi^{(\infty)}, \eta^{(\infty)}) \leq \liminf_{N,M \to \infty} c(\xi^{(N)}, \eta^{(M)})$

따름정리 2.4: 강한 점근 자유성을 갖는 무작위 행렬 집합 $T^{(N)}$ 에 대해, 거의 확실히: $c(u^f, u_0) \leq \liminf c(T^{(N)}, u_0)$

알고리즘 설계

확대 상수 계산 알고리즘:

교환 정규 행렬 $N = (N_1, N_2)$ 를 구성하되, 대각선 값이 $V_k \times V_k$ 의 모든 $k^2$ 개 가능한 쌍을 순회하도록 함. 여기서 $V_k = \{\exp(\frac{2\pi im}{k}) : m = 0,1,\ldots,k-1\}$

반정부호 계획 문제 수립:

maximize r
subject to:
C_j ≥ 0, ∀j = 1,...,k²
Σ C_j = I_N
Σ (N_i)_{jj} C_j = rU_i, i = 1,2

확대 상수는 $c(U,N) = r^{-1}$

기술적 혁신점

근사 전략: 정규 $k$ 각형을 사용하여 단위원을 근사하며, 오차는 $\cos(\pi/k)$ 인수 내로 제어
반정부호 계획 방법: 확대 상수 계산을 볼록 최적화 문제로 변환
수평 수렴 이론: 행렬 범위 수렴과 확대 상수의 관계 수립

실험 설정

데이터 집합

독립적인 Haar 분포의 $N \times N$ 유니터리 행렬 쌍
행렬 크기: $N = 10, 15, 20, \ldots, 60$ (주요 실험)
확장 실험: $N$ 은 최대 300

평가 지표

확대 상수 $c(U^{(N)}, u_0)$ 의 수치 근사
수렴성 분석: $N$ 에 따른 평균 및 표준편차의 변화

구현 세부사항

프로그래밍 언어: Julia
최적화 패키지: Convex.jl + SCS 솔버
검증: 일부 결과는 MOSEK 솔버로 교차 검증
매개변수 설정: $k = 8, 20, 30$ (정규 다각형 변의 수)

실험 결과

주요 결과

수렴 증거: $N$ 이 증가함에 따라 계산된 확대 상수 값이 $\sqrt{2} \approx 1.414$ 근처에 집중됨
통계적 특성:
- $N = 5j$ ( $j = 2,\ldots,12$ ), $k=20$ 에 대해 100회 실험 실행
- 표준편차는 $N$ 의 증가에 따라 감소하여 수렴성을 나타냄
수치 경계:
- 모든 계산 값이 $\frac{\sqrt{2} + \sqrt{3}}{2} \approx 1.57$ 보다 낮음
- $k=8$ , $N=125$ 의 100회 시행이 모두 1.439 근처에 집중