pith. sign in

arxiv: 2601.01208 · v2 · submitted 2026-01-03 · 🧮 math.SP · math.FA· math.GN· math.GR· math.OA

The combinatorics of permuting and preserving curve-bound spectra

Alexandru Chirvasitu This is my paper

Pith reviewed 2026-05-16 18:41 UTC · model grok-4.3

classification 🧮 math.SP math.FAmath.GNmath.GRmath.OA
keywords normal matricesspectrum preserving mapscommutativity preserving mapscontinuous mapsmatrix conjugationseigenvalue orderingsspectral theory
0
0 comments X

The pith

Continuous spectrum- and commutativity-preserving maps on normal n-by-n matrices with spectra in a fixed interval image Lambda are conjugations, transpose conjugations, or orientation-based spectrum orderings with fixed eigenspaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a classification of all continuous maps from the set of normal n-by-n matrices (n at least 3) whose eigenvalues lie in a given continuous-injection image Lambda to the full matrix algebra M_n(C). These maps must preserve both the spectrum of each matrix and the property that two matrices commute. A sympathetic reader would care because the result pins down every possible such map in concrete algebraic terms, generalizing earlier classifications for Hermitian matrices and yielding a concrete obstruction for maps on unitary groups or matrices with spectra on closed curves. The argument proceeds by showing that any such map must either conjugate by a fixed invertible matrix, conjugate by its transpose, or reorder eigenvalues along the orientation of Lambda while leaving the corresponding eigenspaces untouched. An immediate consequence is that no other continuous preservers exist under the stated constraints.

Core claim

Continuous spectrum- and commutativity-preserving maps to M_n(C) from the space of normal n x n matrices (n greater than or equal to 3) with spectra contained in a given continuous-injection interval image Lambda subset of C or R are conjugations, transpose conjugations, or orderings of spectra according to an orientation of Lambda with fixed eigenspaces. This classification extends earlier results on Hermitian matrices and rules out the ordering possibility when Lambda is a simple closed curve, so that continuous preservers on the corresponding unitary groups reduce to conjugations and transpose conjugations.

What carries the argument

Spectrum- and commutativity-preserving continuous maps, shown to reduce to conjugations by a fixed matrix, transpose conjugations, or fixed-eigenspace reorderings of eigenvalues along an orientation of Lambda.

If this is right

  • On matrices whose spectra lie on a simple closed curve, only conjugations and transpose conjugations survive.
  • Continuous commutativity- and spectrum-preserving maps on the unitary group reduce exactly to (transpose) conjugations.
  • The same classification applies when the domain is restricted to real or complex Hermitian matrices.
  • For semisimple operators with Lambda-bound spectra an additional involution that complex-conjugates eigenvalues while preserving eigenspaces becomes possible.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The classification may constrain possible continuous extensions of such maps when the domain is enlarged to all matrices with Lambda-bound spectra.
  • Similar rigidity might hold for preservers on other classes of normal operators if continuity is relaxed to measurability.
  • The result supplies an explicit obstruction that could be tested numerically for small n by searching for maps outside the three listed types.

Load-bearing premise

The maps are continuous, the matrices are normal, n is at least 3, and all spectra lie inside a continuous-injection image Lambda.

What would settle it

Exhibit a single continuous map from the set of normal n-by-n matrices with Lambda-bound spectra to M_n(C) that preserves spectra and commutativity but is neither a conjugation, a transpose conjugation, nor an orientation-based reordering with fixed eigenspaces.

read the original abstract

We prove that continuous spectrum- and commutativity-preserving maps to $\mathcal{M}_n(\mathbb{C})$ from the space of normal (real or complex) $n\times n$, $n\ge 3$ matrices with spectra contained in a given continuous-injection interval image $\Lambda\subseteq \mathbb{C}$ or $\mathbb{R}$ are (a) conjugations; (b) transpose conjugations, or (c) orderings of spectra according to an orientation of $\Lambda$, with fixed eigenspaces. This generalizes results of Petek's (self-maps of real or complex Hermitian matrices) and the author's (complex Hermitian matrices as the domain, $\mathcal{M}_n(\mathbb{C})$ as the codomain). An application rules out possibility (c) for normal matrices with spectra constrained to a simple closed curve, extending a result by the author, Gogi\'c and Toma\v{s}evi\'c to the effect that continuous commutativity and spectrum preservers on unitary groups are (transpose) conjugations. The involution preserving eigenspaces and complex-conjugating eigenvalues is a novel possibility beyond (a), (b) and (c) if the domain consists of all semisimple operators with $\Lambda$-bound spectra instead; its continuity (or lack thereof) and whether or not that map furthermore extends continuously to arbitrary $\Lambda$-constrained-spectrum matrices hinge on the geometry and regularity of $\Lambda$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The manuscript proves that continuous spectrum- and commutativity-preserving maps from the space of normal n×n matrices (n≥3) with spectra contained in a continuous-injection image Λ⊆ℂ or ℝ to M_n(ℂ) are conjugations, transpose conjugations, or orderings of spectra according to an orientation of Λ with fixed eigenspaces. The result generalizes prior work on Hermitian matrices and applies to rule out the ordering case when spectra lie on a simple closed curve.

Significance. If the central classification holds, the work supplies a precise combinatorial description of such preservers for normal operators, using continuity and the n≥3 hypothesis to enforce global consistency of eigenvalue permutations on simultaneously diagonalizable families. The extension to curve-bound spectra strengthens connections to known results on unitary groups. The explicit identification of a potential novel involution (eigenspace-preserving, complex-conjugating) for the semisimple case highlights the sharpness of the normal-matrix hypothesis.

major comments (1)
  1. [§3] §3, main classification theorem: the reduction to simultaneously diagonalizable families and the appeal to continuity to obtain a globally consistent permutation (or fixed conjugation) is the load-bearing step; the manuscript should supply an explicit verification that the argument remains valid when eigenvalues have multiplicity >1, as the n≥3 separation of cases may not automatically extend to degenerate spectra without additional continuity estimates.
minor comments (3)
  1. [§2] The definition of a 'continuous-injection interval image' Λ is used throughout but receives only a brief description; adding one concrete example each for Λ⊂ℝ and Λ⊂ℂ (including the parametrization) would improve readability.
  2. [§5] The application in §5 ruling out case (c) for simple closed curves invokes the non-existence of a global orientation; a short paragraph recalling the relevant topological fact (or citing a standard reference) would make the argument self-contained.
  3. Notation for the space of normal matrices and for the target algebra M_n(ℂ) is introduced inconsistently in the early sections; a single fixed symbol set should be adopted from the outset.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestion regarding the main classification theorem. We have revised the manuscript to include an explicit verification for the case of eigenvalues with multiplicity greater than one.

read point-by-point responses

  1. Referee: [§3] §3, main classification theorem: the reduction to simultaneously diagonalizable families and the appeal to continuity to obtain a globally consistent permutation (or fixed conjugation) is the load-bearing step; the manuscript should supply an explicit verification that the argument remains valid when eigenvalues have multiplicity >1, as the n≥3 separation of cases may not automatically extend to degenerate spectra without additional continuity estimates.

    Authors: We agree that the handling of multiple eigenvalues requires explicit clarification to ensure the continuity argument is fully rigorous. In the revised manuscript we have added a new paragraph immediately following the reduction to simultaneously diagonalizable families in the proof of Theorem 3.1. This paragraph verifies that, when an eigenvalue has multiplicity m>1, the corresponding eigenspace projection varies continuously with the matrix, and the n≥3 hypothesis guarantees that the space of such normal matrices with fixed spectrum remains path-connected. Consequently any locally defined permutation (or fixed conjugation) extends to a globally consistent map without additional estimates. The added text uses only the existing continuity assumption and the topological properties already employed for the simple-eigenvalue case. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper delivers a self-contained classification proof for continuous spectrum- and commutativity-preserving maps on normal matrices with spectra constrained to a continuous-injection image Lambda. The argument proceeds by reducing to simultaneously diagonalizable families, invoking continuity to enforce global consistency of eigenvalue permutations with an orientation on Lambda (or fixed unitary/transpose conjugations), and using n >= 3 to distinguish combinatorial cases. The extension ruling out case (c) for simple closed curves follows from the topological non-existence of a global orientation on a loop. Generalizations of prior results by Petek and the author are cited as context but do not serve as load-bearing premises for the new derivation; no step reduces by definition, fitting, or self-citation chain to the target claim itself.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard facts from linear algebra about normal operators being unitarily diagonalizable and on the topological assumption of continuity of the maps; no free parameters or newly invented entities are introduced.

axioms (2)
  • domain assumption Normal matrices are unitarily diagonalizable over the complex numbers
    Fundamental property invoked to discuss spectra and eigenspaces throughout the classification.
  • domain assumption The maps under consideration are continuous with respect to the usual topology on matrix spaces
    Explicitly required in the statement of the main theorem.

pith-pipeline@v0.9.0 · 5561 in / 1479 out tokens · 47943 ms · 2026-05-16T18:41:51.728930+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    Spectrum-preserving linear mappings between Banach algebras or Jordan- Banach algebras.J

    Bernard Aupetit. Spectrum-preserving linear mappings between Banach algebras or Jordan- Banach algebras.J. London Math. Soc. (2), 62(3):917–924, 2000. 1

    work page 2000

  2. [2]

    Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sciences

    B. Blackadar.Operator algebras, volume 122 ofEncyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, 2006. Theory ofC ∗-algebras and von Neumann algebras, Operator Algebras and Non-commutative Geometry, III. 3

    work page 2006

  3. [3]

    Abdellatif Bourhim and Vivien G. Miller. Linear maps onMn(C)preserving the local spectral radius.Studia Math., 188(1):67–75, 2008. 1

    work page 2008

  4. [4]

    Linear maps preserving the spectral radius.J

    Matej Breˇ sar and Peter ˘ Semrl. Linear maps preserving the spectral radius.J. Funct. Anal., 142(2):360–368, 1996. 1

    work page 1996

  5. [5]

    Invertibilitypreservingmapspreserveidempotents.Michigan Math

    MatejBreˇsarandPeter˘Semrl. Invertibilitypreservingmapspreserveidempotents.Michigan Math. J., 45(3):483–488, 1998. 1

    work page 1998

  6. [6]

    Commutativity preserving linear maps on central simple algebras.J

    Matej Breˇ sar and Peter ˘ Semrl. Commutativity preserving linear maps on central simple algebras.J. Algebra, 284(1):102–110, 2005. 1

    work page 2005

  7. [7]

    Spectral selections, commutativity preservation and Coxeter-Lipschitz maps, 2025.http://arxiv.org/abs/2505.19393v3

    Alexandru Chirvasitu. Spectral selections, commutativity preservation and Coxeter-Lipschitz maps, 2025.http://arxiv.org/abs/2505.19393v3. 2, 9

    work page arXiv 2025

  8. [8]

    A variant of šemrl’s preserver theorem for singular matrices.Linear Algebra Appl., 724:298–319, 2025

    Alexandru Chirvasitu, Ilja Gogić, and Mateo Tomaˇ sević. A variant of šemrl’s preserver theorem for singular matrices.Linear Algebra Appl., 724:298–319, 2025. 1

    work page 2025

  9. [9]

    Continuous spectrum-shrinking maps and applications to preserver problems, 2025.http://arxiv.org/abs/2501.06840v2

    Alexandru Chirvasitu, Ilja Gogić, and Mateo Tomašević. Continuous spectrum-shrinking maps and applications to preserver problems, 2025.http://arxiv.org/abs/2501.06840v2. 3, 4, 5, 10, 11 11

    work page arXiv 2025

  10. [10]

    Cambridge University Press, Cambridge, 2016

    David Eisenbud and Joe Harris.3264 and all that—a second course in algebraic geometry. Cambridge University Press, Cambridge, 2016. 5

    work page 2016

  11. [11]

    An elementary proof of the fundamental theorem of projective geometry

    Claude-Alain Faure. An elementary proof of the fundamental theorem of projective geometry. Geom. Dedicata, 90:145–151, 2002. 5

    work page 2002

  12. [12]

    Cambridge University Press, Cambridge, 1997

    William Fulton.Young tableaux, volume 35 ofLondon Mathematical Society Student Texts. Cambridge University Press, Cambridge, 1997. With applications to representation theory and geometry. 5, 6

    work page 1997

  13. [13]

    A first course, volume 129 ofGrad

    William Fulton and Joe Harris.Representation theory. A first course, volume 129 ofGrad. Texts Math.New York etc.: Springer-Verlag, 1991. 6

    work page 1991

  14. [14]

    Configuration spaces, braids, and robotics

    Robert Ghrist. Configuration spaces, braids, and robotics. InBraids. Introductory lectures on braids, configurations and their applications. Based on the program “Braids”, IMS, Singapore, May 14–July 13, 2007., pages 263–304. Hackensack, NJ: World Scientific, 2010. 3

    work page 2007

  15. [15]

    Gierz, K

    G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott.Contin- uous lattices and domains, volume 93 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 2003. 5

    work page 2003

  16. [16]

    Characterizing Jordan embeddings between block upper-triangular subalgebras via preserving properties.Linear Algebra Appl., 704:192– 217, 2025

    Ilja Gogić, Tatjana Petek, and Mateo Tomašević. Characterizing Jordan embeddings between block upper-triangular subalgebras via preserving properties.Linear Algebra Appl., 704:192– 217, 2025. 1

    work page 2025

  17. [17]

    Jordan embeddings and linear rank preservers of structural matrix algebras.Linear Algebra Appl., 707:1–48, 2025

    Ilja Gogić and Mateo Tomašević. Jordan embeddings and linear rank preservers of structural matrix algebras.Linear Algebra Appl., 707:1–48, 2025. 1

    work page 2025

  18. [18]

    Harald Hanche-Olsen and Erling Størmer.Jordan operator algebras, volume 21 ofMonogr. Stud. Math.Pitman, Boston, MA, 1984. 1

    work page 1984

  19. [19]

    Humphreys.Reflection groups and Coxeter groups, volume 29 ofCamb

    James E. Humphreys.Reflection groups and Coxeter groups, volume 29 ofCamb. Stud. Adv. Math.Cambridge: Cambridge University Press, 1992. 2

    work page 1992

  20. [20]

    1 ofConfer- ence Board of the Mathematical Sciences Regional Conference Series in Mathematics

    Irving Kaplansky.Algebraic and analytic aspects of operator algebras, volume No. 1 ofConfer- ence Board of the Mathematical Sciences Regional Conference Series in Mathematics. American Mathematical Society, Providence, RI, 1970. 1

    work page 1970

  21. [21]

    World Scientific Publishing Co., Inc., River Edge, NJ, 2003

    Bingren Li.Real operator algebras. World Scientific Publishing Co., Inc., River Edge, NJ, 2003. 3

    work page 2003

  22. [22]

    D. Monk. The geometry of flag manifolds.Proc. London Math. Soc. (3), 9:253–286, 1959. 4

    work page 1959

  23. [23]

    Munkres.Topology

    James R. Munkres.Topology. Prentice Hall, Inc., Upper Saddle River, NJ, 2000. Second edition of [ MR0464128]. 3

    work page 2000

  24. [24]

    Functional calculus for diagonalizable matrices.Linear Multilinear Algebra, 62(3):297–321, 2014

    Piotr Niemiec. Functional calculus for diagonalizable matrices.Linear Multilinear Algebra, 62(3):297–321, 2014. 3, 11

    work page 2014

  25. [25]

    Mappings preserving spectrum and commutativity on Hermitian matrices

    Tatjana Petek. Mappings preserving spectrum and commutativity on Hermitian matrices. Linear Algebra Appl., 290(1-3):167–191, 1999. 1, 2, 3

    work page 1999

  26. [26]

    Spectrum and commutativity preserving mappings on triangular matrices

    Tatjana Petek. Spectrum and commutativity preserving mappings on triangular matrices. Linear Algebra Appl., 357:107–122, 2002. 1 12

    work page 2002

  27. [27]

    Characterization of Jordan homomorphism onM n using preserving properties.Linear Algebra Appl., 269:33–46, 1998

    Tatjana Petek and Peter Šemrl. Characterization of Jordan homomorphism onM n using preserving properties.Linear Algebra Appl., 269:33–46, 1998. 1

    work page 1998

  28. [28]

    Characterization of Jordan homomorphisms onM n using preserving properties.Linear Algebra Appl., 269:33–46, 1998

    Tatjana Petek and Peter˘Semrl. Characterization of Jordan homomorphisms onM n using preserving properties.Linear Algebra Appl., 269:33–46, 1998. 1

    work page 1998

  29. [29]

    Rosenblum

    M. Rosenblum. On a theorem of Fuglede and Putnam.J. Lond. Math. Soc., 33:376–377, 1958. 11

    work page 1958

  30. [30]

    DavidJ.Saltman.Lectures on division algebras, volume94ofReg. Conf. Ser. Math.Providence, RI: American Mathematical Society, 1999. 5

    work page 1999

  31. [31]

    Dover Publications, Inc., Mineola, NY, 2004

    Stephen Willard.General topology. Dover Publications, Inc., Mineola, NY, 2004. Reprint of the 1970 original [Addison-Wesley, Reading, MA; MR0264581]. 3 Department of Mathematics, University at Buff alo Buff alo, NY 14260-2900, USA E-mail address:achirvas@buffalo.edu 13

    work page 2004