HEXAGONbeta

The Lu–Wenzel Conjecture

A mix of human-written and AI-generated textHuman understanding: some partsmath.RA — Rings and Algebrasmath.FA — Functional Analysis

Contributed by Qiyue Tang ↗

Version 1 / Nov 07, 2026 / CC BY 4.0

Abstract

We prove the Lu–Wenzel conjecture for real and complex matrices.

Provenance statement

The mathematical results were developed using GPT-6-Pro over two research sessions totaling approximately 10 hours of elapsed research time. Codex was used to review the mathematical arguments and polish the manuscript. A review using Rethlas-OSV is planned, and its report will be added later.

References

  1. J.-M. Bony, Principe du maximum, inégalité de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérés , Ann. Inst. Fourier (Grenoble) 19 (1969), no. 1, 277--304.
  2. A. Böttcher and D. Wenzel, The Frobenius norm and the commutator , Linear Algebra Appl. 429 (2008), 1864--1885.
  3. A. Böttcher and D. Wenzel, How big can the commutator of two matrices be and how big is it typically? , Linear Algebra Appl. 403 (2005), 216--228.
  4. Carptopus, Coordered alignment and isoclinic stability in the rank-two complex Lu--Wenzel problem , preprint, October 18, 2026, author's repository (https://github.com/Carptopus/MathExplore-Notes/tree/master/research/rank-two-lu-wenzel-isoclinic-stability).link
  5. P. J. De Smet, F. Dillen, L. Verstraelen, and L. Vrancken, A pointwise inequality in submanifold theory , Arch. Math. (Brno) 35 (1999), 115--128.
  6. J. Ge, F. Li, Z. Lu, and Y. Zhou, On some conjectures by Lu and Wenzel , Linear Algebra Appl. 592 (2020), 134--164. Preprint arXiv:1908.06624 (https://arxiv.org/abs/1908.06624).arXiv
  7. J. Ge and Z. Tang, A proof of the DDVV conjecture and its equality case , Pacific J. Math. 237 (2008), no. 1, 87--95.
  8. Z. Liu, The Lu--Wenzel spectral conjecture for square-zero matrices , preprint, version 1, Zenodo record 21693383 (https://doi.org/10.5281/zenodo.21693383).DOI
  9. Z. Lu, Normal scalar curvature conjecture and its applications , J. Funct. Anal. 261 (2011), no. 5, 1284--1308.
  10. Z. Lu, Remarks on the Böttcher--Wenzel inequality , Linear Algebra Appl. 436 (2012), no. 7, 2531--2535.
Show all 14 referencesShow fewer references
  1. Z. Lu and D. Wenzel, The normal Ricci curvature inequality , Contemp. Math. 674 , Amer. Math. Soc., Providence, RI, 2016, 99--110.
  2. Z. Lu and D. Wenzel, Commutator estimates comprising the Frobenius norm---looking back and forth , Oper. Theory Adv. Appl. 259 , Birkhäuser/Springer, Cham, 2017, 533--559.
  3. J. Ge, F. Li, Z. Tang, and Y. Zhou, A survey on the DDVV-type inequalities , Adv. Math. (China) 53 (2024), no. 3, 449--467.
  4. S.-W. Vong and X.-Q. Jin, Proof of Böttcher and Wenzel's conjecture , Oper. Matrices 2 (2008), no. 3, 435--442.

Version history

  1. v1 · 14 pagesSubmitted by Qiyue TangInitial depositCurrentNov 07, 2026