Generalizing Lee's conjecture on the sum of absolute values of matrices
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908652421513216 |
|---|---|
| author | Tang, Quanyu Zhang, Shu |
| author_facet | Tang, Quanyu Zhang, Shu |
| contents | Let $\|\!\cdot\!\|_p$ denote the Schatten $p$-norm of matrices and $\|\!\cdot\!\|_F$ the Frobenius norm. For a square matrix $X$, let $|X|$ denote its absolute value. In 2010, Eun-Young Lee posed the problem of determining the smallest constant $c_p$ such that $\|A+B\|_p \le c_p\|\,|A|+|B|\,\|_p$ for all complex matrices $A,B$. The Frobenius case $(p=2)$ conjectured by Lee was proved by Lin and Zhang (2022)~\cite{LinZhang2022} and re-proved by Zhang (2025)~\cite{Zhang2025}. In this paper, we extend Lee's conjecture from two matrices to an arbitrary number $m \ge 2$ of complex matrices $A_1,\dots,A_m$, and determine the sharp inequality $$
\left\|\sum_{k=1}^{m} A_k\right\|_F
\le \sqrt{\frac{1+\sqrt{m}}{2}}\;
\left\|\sum_{k=1}^{m}|A_k|\right\|_F , $$ with equality attained by an equiangular rank-one family. We further generalize Lee's problem by seeking the smallest constant $c_p(m)$ such that $
\|\sum_{k=1}^{m} A_k\|_p
\le c_p(m)\,
\|\sum_{k=1}^{m}|A_k|\|_p $. It is shown that $c_p(m)\le (\sqrt{m})^{1-1/p}$, and we conjecture a closed-form expression for the optimal value of $c_p(m)$ that recovers all known cases $p=1,2,\infty$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_16846 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Generalizing Lee's conjecture on the sum of absolute values of matrices Tang, Quanyu Zhang, Shu Functional Analysis Primary 15A60, 47A30 Let $\|\!\cdot\!\|_p$ denote the Schatten $p$-norm of matrices and $\|\!\cdot\!\|_F$ the Frobenius norm. For a square matrix $X$, let $|X|$ denote its absolute value. In 2010, Eun-Young Lee posed the problem of determining the smallest constant $c_p$ such that $\|A+B\|_p \le c_p\|\,|A|+|B|\,\|_p$ for all complex matrices $A,B$. The Frobenius case $(p=2)$ conjectured by Lee was proved by Lin and Zhang (2022)~\cite{LinZhang2022} and re-proved by Zhang (2025)~\cite{Zhang2025}. In this paper, we extend Lee's conjecture from two matrices to an arbitrary number $m \ge 2$ of complex matrices $A_1,\dots,A_m$, and determine the sharp inequality $$ \left\|\sum_{k=1}^{m} A_k\right\|_F \le \sqrt{\frac{1+\sqrt{m}}{2}}\; \left\|\sum_{k=1}^{m}|A_k|\right\|_F , $$ with equality attained by an equiangular rank-one family. We further generalize Lee's problem by seeking the smallest constant $c_p(m)$ such that $ \|\sum_{k=1}^{m} A_k\|_p \le c_p(m)\, \|\sum_{k=1}^{m}|A_k|\|_p $. It is shown that $c_p(m)\le (\sqrt{m})^{1-1/p}$, and we conjecture a closed-form expression for the optimal value of $c_p(m)$ that recovers all known cases $p=1,2,\infty$. |
| title | Generalizing Lee's conjecture on the sum of absolute values of matrices |
| topic | Functional Analysis Primary 15A60, 47A30 |
| url | https://arxiv.org/abs/2510.16846 |