A Counterexample to the Tang Zhang Schatten Norm Conjecture and Sharp Positive Results

기술 요약: Tang–Zhang Schatten Norm 추측에 대한 반례 및 날카로운 양의 결과

문제 정의
본 논문은 행렬의 합의 Schatten $p$-노름과 그 절댓값들의 합의 Schatten $p$-노름 사이의 부등식에 관한 최적 상수 $c_p(m)$을 조사한다. 구체적으로, $m \ge 2$ 및 $1 \le p \le \infty$에 대하여 저자들은 다음 부등식을 고려한다:
$$\left\| \sum_{k=1}^m A_k \right\|_p \le c_p(m) \left\| \sum_{k=1}^m |A_k| \right\|_p$$
여기서 $A_k \in M_n(\mathbb{C})$, $|A| = (A^*A)^{1/2}$, 그리고 $\|A\|_p = (\text{Tr}|A|^p)^{1/p}$이다. 상수 $c_p(m)$은 모든 차원 $n$과 0이 아닌 가족 $(A_1, \dots, A_m)$에 대한 상한(supremum)으로 정의된다.

Tang과 Zhang은 이전에 $p=1, 2, \infty$일 때의 정확한 값을 규명하였으며, 모든 유한한 $p > 1$에 대해 명시적인 공식을 추측하였다. 그들의 추측은 최적 상수가 방정식 $x^p - 2x - (m-1) = 0$의 유일한 해인 $x_{p,m} > 1$로부터 유도된 $C^{TZ}_{p,m}$임을 시사한다. 이 하한은 계수(rank-one) 등각 가족(equiangular families)에 의해 달성되는 것으로 알려져 있다. 본 연구의 핵심 질문은 이 추측된 공식이 일반적인 행렬과 일반적인 $p$에 대해 진정한 최적 상수인지 여부이다.

방법론
저자들은 명시적 대수적 구성, 유리수 산술 검증, 그리고 변분 분석의 조합을 사용한다:

1. 명시적 반례 구성: 추측을 반박하기 위해, 저자들은 $p=3/2$인 경우의 특정한 실수 $2 \times 2$ 계수-1 행렬($m=2, n=2$) 가족을 구성한다. 저자들은 벡터 $e, u, v$와 행렬 $A_1 = ee^T, A_2 = uv^T$를 정의한다.
2. 유리수 인증: 부동 소수점 근사치에 의존하는 대신, 저자들은 자신들의 반례에 대한 노름의 비율과 추측된 상수를 정밀한 유리수 산술을 사용하여 계산한다. 저자들은 달성된 비율이 추측된 상수보다 엄격히 크다는 것을 증명하기 위해 7개의 엄격한 유리수 부등식을 확립한다.
3. 스칼라 최적화로의 환원: 양의 결과(positive results)를 위해, 저자들은 행렬 부등식 문제를 스칼라 최적화 문제로 환원한다. 계수-1 행렬을 $A_k = r_k u_k v_k^*$로 표현함으로써, 저자들은 Schatten 노름을 Gram 행렬 $L = U^*U$와 $G = V^*V$의 고윳값들과 연관시킨다. 이를 통해 볼록성 논법과 고윳값 메이저화(majorization)를 적용할 수 있게 한다.
4. $p=4$에 대한 변분 분석: 임의의 행렬에 대한 $m=2, p=4$ 케이스의 경우, 저자들은 극분해(polar decomposition)와 유니터리 불변성을 활용한다. 저자들은 $(H+K)^4$ (여기서 $H=|A|, K=|B|$)의 트레이스(trace)를 전개하고, 횔더(Hölder) 및 코시-슈바르츠(Cauchy–Schwarz) 부등식을 적용하여 분자와 분모를 제한하며, 이를 두 변수의 특정 함수를 최대화하는 문제로 환원한다.

주요 기여 및 결과

1. Tang–Zhang 추측의 반증:
   본 논문은 Tang–Zhang 추측이 일반적인 행렬에 대해 거짓임을 보여주는 결정적인 반례를 제공한다.

   • 정리 1.1: $m=n=2$이고 $p=3/2$일 때, 비율 $\frac{\|A_1+A_2\|_{3/2}}{\||A_1|+|A_2|\|_{3/2}}$가 $207/200$보다 엄격히 큰 실수의 계수-1 행렬 $A_1, A_2$가 존재한다.
   • 저자들은 추측된 상수 $C^{TZ}_{3/2, 2}$가 $207/200$보다 엄격히 작음을 엄격하게 증명한다. 따라서, 해당 공식은 계수-1 행렬이라는 제한된 클래스 내에서도 최적 상수를 산출하지 못한다.

2. 계수-1 합산에 대한 날카로운 경계 ($p \ge 2$):
   추측이 일반적인 경우에는 실패함에도 불구하고, 저자들은 $p \ge 2$인 경우 계수-최대-1 행렬 가족에 대해서는 Tang–Zhang 공식이 유효함을 증명한다.

   • 정리 1.2: $m \ge 2$ 및 $2 \le p < \infty$에 대하여, 만약 $A_1, \dots, A_m$의 계수가 1 이하이면, $\|\sum A_k\|_p \le C^{TZ}_{p,m} \|\sum |A_k|\|_p$가 성립한다.
   • 이 상수는 차원에 무관한 설정(dimension-free setting)에서 날카로우며, $n \ge m$일 때 달성된다. 저자들은 등호가 성립하는 경우에 대한 완전한 분류를 제공하며, 이는 우측 특이 벡터($v_k$)들 사이의 특정한 내적 구조와 좌측 특이 벡터들의 공통 범위를 요구한다.
   • 따름정리 3.1: 종단점(endpoint) 케이스인 $p=\infty$ 또한 계수-1 행렬에 대해 해결되었으며, 최적 상수가 $\sqrt{m}$임을 밝힌다.

3. 임의의 행렬에 대한 최적 상수 ($m=2, p=4$):
   저자들은 계수-1 제한을 제거하고, 두 개의 임의의 복소 행렬에 대한 $p=4$ 케이스의 최적 상수를 확립한다.

   • 정리 1.3: $A, B \in M_n(\mathbb{C})$에 대하여, $\|A+B\|_4^4 \le x^2(x+1)^2 \||A|+|B|\|_4^4$가 성립하며, 여기서 $x > 1$은 $x^4 - 2x - 1 = 0$의 해이다.
   • 이 상수는 $(C^{TZ}_{4,2})^4$와 같으며, 이는 $m=2, p=4$인 이 특정 케이스의 경우, Tang–Zhang 공식이 전 계수(full-rank) 행렬에 대해서도 올바른 최적 경계를 제공함을 나타낸다. 이 경계는 $n \ge 2$일 때 달성된다.

의의 및 주장
본 논문은 Tang–Zhang 공식이 보편적으로 유효하지는 않지만($p=3/2$에서 실패), 다음과 같은 중요한 특정 영역에서는 여전히 올바른 최적 경계임을 보여줌으로써 Tang–Zhang 추측의 상태를 해결했다고 주장한다:

• $p \ge 2$일 때 모든 계수-1 가족에 대해 날카롭다.
• $m=2, p=4$일 때 전체 행렬 케이스에 대해 날카롭다.

이 연구는 Schatten 노럼 부등식의 복잡성을 강조하며, 최적 상수의 거동이 합산되는 항들의 지수 $p$와 계수(rank) 제약 조건에 따라 결정적으로 달라짐을 보여준다. 저자들은 자신들의 반례가 수치적 불확실성을 피하기 위해 정밀한 유리수 산술에 의해 인증되었음을 강조한다. 결론적으로, Tang–Zhang 공식은 특정 계수-1 구성에 의해 달성되는 유효한 하한이지만, 모든 $p > 1$에 대한 일반적인 해는 아니다.