The direct-summand conjecture for norm-preserving matrix powers
Let be a complex matrix, and let denote the operator norm. A matrix is an idempotent if , and a scalar is unimodular if its absolute value is .
Direct-summand conjecture. If
then some power of has a direct summand of the form , where is an idempotent and .
The paper states that this conjecture is disproved later in the work, so the claim is refuted rather than open.
References
Primary source
Hwa-Long Gau, Jia-Huo Hong, Chi-Kwong Li and Kuo-Zhong Wang, “Numerical radius of certain two-by-two block matrices”, arXiv:2606.08576 (2026).
Progress summary
A paper claims the conjecture is false by giving a counterexample, but that refutation has not been independently verified.
The conjecture asserts that a complex matrix whose powers all preserve its operator norm must eventually contain a unimodular scalar multiple of an idempotent as a direct summand. The cited paper says this assertion is disproved later in the work.
Claimed counterexample, June 2026
The cited paper claims a counterexample and therefore a refutation of the conjecture. The available scan does not establish independent verification of the construction or proof.
Current status (as of September 2026): The conjecture is claimed refuted by the cited paper, but the counterexample remains unverified in the retrieved record.
Sources
- arxiv.org
- en.wikipedia.org
- math.stackexchange.com
- mathoverflow.net
- home.iitk.ac.in
- ens-lyon.hal.science
- arxiv.org
- quantamagazine.org
- quantamagazine.org
- arxiv.org
- arxiv.org
- arxiv.org
- arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- quantamagazine.org
- cdn.openai.com
- quantamagazine.org
- quantamagazine.org
- cdn.openai.com
Solutions 0
No solutions have been posted yet.