arxiv: 2604.21482 · v2 · submitted 2026-04-23 · 🧮 math.OA · math.FA

Recognition: unknown

The similarity of irreducible operators in factors

Minghui Ma, Rui Shi, Shanshan Yang

Pith reviewed 2026-05-08 13:08 UTC · model grok-4.3

classification 🧮 math.OA math.FA

keywords irreducible operatorsfactorssimilaritynormal operatorsmaximal abelian self-adjoint subalgebrassingle generatorsvon Neumann algebras

0 comments

The pith

Normal operators in separable factors are similar to irreducible operators precisely when they relate to a maximal abelian self-adjoint subalgebra in a specific way.

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

The paper examines operators that generate separable factors through the von Neumann algebras they produce, with special attention to connections with maximal abelian self-adjoint subalgebras. It introduces irreducibility of an operator T inside the factor M by requiring that the algebra generated by T has trivial relative commutant inside M. The central application is a complete characterization of those normal operators that turn out to be similar to irreducible ones.

Core claim

In a separable factor M, a normal operator T is similar to an irreducible operator if and only if there exists a maximal abelian self-adjoint subalgebra A in M such that T functions as a generator relative to A, building on the study of single generators and the condition that W*(T) forms an irreducible subfactor.

What carries the argument

The irreducibility of an operator T in M, defined by the condition that W*(T)' ∩ M equals the scalars, which ensures the generated algebra acts without nontrivial centralizers inside the factor and ties directly to maximal abelian self-adjoint subalgebras for the generator property.

If this is right

The similarity relation for normal operators to irreducible ones becomes decidable via the structure of their generated algebras and associated abelian subalgebras.
Single generators of factors can be classified according to their links with maximal abelian self-adjoint subalgebras.
The irreducibility condition W*(T)' ∩ M = ℂI now serves as a concrete test for when similarity preserves generator properties in separable factors.

Where Pith is reading between the lines

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

The characterization may suggest explicit constructions of similar operators by choosing appropriate maximal abelian subalgebras.
Similar methods could be tested on non-normal operators or in non-separable factors to see if the pattern persists.
This approach connects the similarity problem to the broader question of how abelian subalgebras control the structure of generated subfactors.

Load-bearing premise

The factor must be separable, the operator normal, and a suitable maximal abelian self-adjoint subalgebra tied to the generated algebra must exist for the similarity characterization to apply.

What would settle it

A normal operator in a separable factor that is similar to an irreducible operator but has no corresponding maximal abelian self-adjoint subalgebra satisfying the generator relation, or one that satisfies the relation yet fails to be similar, would disprove the claimed characterization.

read the original abstract

An operator $T$ in a separable factor $\mathcal{M}$ is said to be irreducible in $\mathcal{M}$ if the von Neumann subalgebra $W^*(T)$ generated by $T$ is an irreducible subfactor of $\mathcal{M}$, i.e., $W^*(T)'\cap\mathcal{M}=\mathbb{C}I$. We say that $T$ is a single generator of $\mathcal{M}$ if $W^*(T)=\mathcal{M}$. In this paper, we study generators of separable factors related to maximal abelian self-adjoint subalgebras. As an application, we obtain a complete characterization of normal operators in separable factors which are similar to irreducible operators.

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.

Desk Editor's Note private letter to a colleague

The paper's claimed complete characterization of normal operators similar to irreducibles collapses immediately because normal operators generate abelian algebras that cannot satisfy the irreducibility condition non-trivially.

read the letter

The central thing to know is that the main application does not work. Normal T generates an abelian W*(T). If U is similar to T via some invertible S, then W*(U) is conjugate to W*(T) and therefore also abelian. Irreducibility requires W*(U) to be a subfactor of M with W*(U)' ∩ M = ℂI. The only abelian factor is ℂI itself, so W*(U) = ℂI and both T and U must be scalar. Any non-scalar normal operator is therefore excluded, making the promised characterization either vacuous or the result of a definitional slip in how irreducibility or subfactors are set up. The stress-test note is correct on this point; the obstruction is immediate from the abstract alone and does not require the full proofs to see.

Referee Report

1 major / 0 minor

Summary. The manuscript defines an operator T in a separable factor M to be irreducible if W^*(T) is an irreducible subfactor of M (i.e., W^*(T)' ∩ M = ℂI). It studies single generators of separable factors in relation to maximal abelian self-adjoint subalgebras and, as an application, claims a complete characterization of normal operators in separable factors that are similar to irreducible operators.

Significance. If correct, the results would clarify the structure of masa-related generators in factors and provide a classification of similarity classes for normal operators. The focus on single generators and irreducibility could inform broader questions in operator algebras about when W^*(T) equals M or satisfies commutant conditions. However, the central application appears to conflict with basic facts about normal operators and factors.

major comments (1)

[Abstract] Abstract (application paragraph): The claimed complete characterization of normal operators similar to irreducible ones is inconsistent with the given definitions. For normal T, W^*(T) is abelian. If T is similar to irreducible U via invertible S (so U = S T S^{-1}), then W^*(U) = S W^*(T) S^{-1} remains abelian. But irreducibility requires W^*(U) to be a factor, and the only abelian factor is ℂI. Thus only scalar normal operators can be similar to irreducible ones, making any non-trivial characterization impossible. This is a load-bearing error for the main application.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for pointing out the inconsistency in the claimed application to normal operators. We agree that the application as stated contains a fundamental error and will revise the manuscript to remove it. The core results on single generators of separable factors in relation to maximal abelian self-adjoint subalgebras remain unaffected.

read point-by-point responses

Referee: [Abstract] Abstract (application paragraph): The claimed complete characterization of normal operators similar to irreducible ones is inconsistent with the given definitions. For normal T, W^*(T) is abelian. If T is similar to irreducible U via invertible S (so U = S T S^{-1}), then W^*(U) = S W^*(T) S^{-1} remains abelian. But irreducibility requires W^*(U) to be a factor, and the only abelian factor is ℂI. Thus only scalar normal operators can be similar to irreducible ones, making any non-trivial characterization impossible. This is a load-bearing error for the main application.

Authors: We fully agree with the referee's reasoning. By definition, an operator is irreducible only if W^*(T) is a subfactor of M (hence a factor) satisfying W^*(T)' ∩ M = ℂI. For any normal operator T, W^*(T) is abelian, so the only way it can be a factor is if W^*(T) = ℂI. Similarity via an invertible operator preserves the property of being abelian, so W^*(U) is likewise abelian and can only be a factor if it is ℂI. Consequently, the only normal operators similar to irreducible operators are the scalars, rendering any non-trivial characterization impossible. This error is confined to the application paragraph; the preceding results on generators related to masas do not rely on it. In the revised version we will delete the application and the corresponding sentence in the abstract. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected; derivation is independent of inputs

full rationale

The paper defines irreducible operators via W*(T) being an irreducible subfactor and studies generators related to masas in separable factors. The claimed characterization of normal operators similar to irreducible ones is presented explicitly as an application of that study rather than an input or self-referential fit. No equations or steps reduce by construction to prior definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The central result has independent mathematical content from the masa-generator analysis and does not collapse to its own assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract invokes standard definitions from von Neumann algebra theory but introduces no explicit free parameters, new axioms, or invented entities beyond the given notions of irreducibility and single generators.

pith-pipeline@v0.9.0 · 5402 in / 1095 out tokens · 68647 ms · 2026-05-08T13:08:35.938442+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

27 extracted references · 1 canonical work pages

[1]

X. Cao, J. Fang, Z. Yao. Strong sums of projections in type II1 factors. J. Funct. Anal. 281 (2021), no. 5, Paper No. 109088, 11 pp. MR4253932

2021
[2]

X. Cao, J. Fang, Z. Yao. On finite sums of projections and Dixmier’s averaging theorem for type II1 factors. J. Funct. Anal. 287 (2024), no. 8, Paper No. 110568, 29 pp. MR4777788

2024
[3]

N. Dunford. Spectral operators. Pacific J. Math. 4 (1954), 321–354. MR0063563

1954
[4]

Dykema, A

K. Dykema, A. Krishnaswamy-Usha. Angles between Haagerup-Schultz projec- tions and spectrality of operators. J. Funct. Anal. 281 (2021), no. 4, Paper No. 109027, 26 pp. MR4249117

2021
[5]

Dykema, A

K. Dykema, A. Sinclair, R. Smith, S. White. Generators of II1 factors. Oper. Matrices 2 (2008), no. 4, 555-582. MR2468882

2008
[6]

Dykema, F

K. Dykema, F. Sukochev, D. Zanin. A decomposition theorem in II1 factors. J. Reine Angew. Math. 708 (2015), 97-114. MR3420330

2015
[7]

J. Fang, C. Jiang, H. Lin, F. Xu. On generalized universal irrational rotation al- gebras and associated strongly irreducible operators Internat. J. Math. 24 (2013), no. 8, 1350059, 35 pp. MR3103875

2013
[8]

Fillmore, D

P. Fillmore, D. Topping. Sums of irreducible operators. Proc. Amer. Math. Soc. 20 (1969), 131–133. MR0233226

1969
[9]

C. Fong, C. Jiang. Normal operators similar to irreducible operators. Acta Math. Sinica (N.S.) 10 (1994), no. 2, 132–135. MR1398037

1994
[10]

Problems on von Neumann algebras by R. Kadison, 1967

L. Ge. On “Problems on von Neumann algebras by R. Kadison, 1967”. Acta Math. Sin. (Engl. Ser.) 19 (2003), no. 3, 619–624. MR2014042

1967
[11]

Gilfeather

F. Gilfeather. Strong reducibility of operators. Indiana Univ. Math. J. 22 (1972/73), 393–397. MR0303322

1972
[12]

Haagerup, H

U. Haagerup, H. Schultz. Invariant subspaces for operators in a generalII1 factor. Publ. Math. Inst. Hautes ´Etudes Sci. No. 109 (2009), 19–111. MR2511586

2009
[13]

Hadwin, M

D. Hadwin, M. Ma, J. Shen. Voiculescu’s theorem in properly infinite factors. J. Funct. Anal. 290 (2026), no. 1, Paper No. 111198, 34 pp. MR4964138

2026
[14]

P. Halmos. Irreducible operators. Michigan Math. J. 15 (1968), 215–223. MR0231233

1968
[15]

C. Hsin. Finite matrices similar to irreducible ones. Taiwanese J. Math. 4 (2000), no. 3, 457–477. MR1779110

2000
[16]

Jiang, Z

C. Jiang, Z. Wang. Strongly irreducible operators on Hilbert space. Pitman Res. Notes Math. Ser., 389, Longman, Harlow, 1998. x+243 pp. MR1640067

1998
[17]

Jiang, Z

C. Jiang, Z. Wang. Structure of Hilbert space operators. World Scientific Pub- lishing Co. Pte. Ltd., Hackensack, NJ, 2006. x+248 pp. MR2221863 THE SIMILARITY OF IRREDUCIBLE OPERATORS IN F ACTORS 27

2006
[18]

Kadison, J

R. Kadison, J. Ringrose. Fundamentals of the theory of operator algebras, I, Elementary theory. Academic Press, New York, 1983. MR0719020

1983
[19]

Kadison, J

R. Kadison, J. Ringrose. Fundamentals of the theory of operator algebras, II, Advanced theory. Academic Press, Orlando, FL, 1986. MR0859186

1986
[20]

M. Ma, J. Shen, R. Shi, T. Wang. Products of irreducible operators in factors. arXiv:2512.12162, 2025

work page arXiv 2025
[21]

S. Popa. On a problem of R. V. Kadison on maximal abelian ∗-subalgebras in factors. Invent. Math. 65 (1981/82), no. 2, 269–281. MR0641131

1981
[22]

Rosenblum

M. Rosenblum. On the operator equation BX − XA = Q. Duke Math. J. 23 (1956), 263–269. MR0079235

1956
[23]

J. Shen. Type II1 factors with a single generator. J. Operator Theory 62 (2009), no. 2, 421–438. MR2552089

2009
[24]

J. Shen, R. Shi. Reducible operators in non- Γ type II1 factors. Math. Ann. 394 (2026), no. 2, Paper No. 31, 38 pp

2026
[25]

Sinclair, R

A. Sinclair, R. Smith. Finite von Neumann algebras and masas. London Math. Soc. Lecture Note Ser., 351 Cambridge University Press, Cambridge, 2008. x+400 pp. MR2433341

2008
[26]

Suzuki, T

N. Suzuki, T. Saito. On the operators which generate continuous von Neumann algebras. Tohoku Math. J. (2) 15 (1963), 277–280. MR0154143

1963
[27]

W. Wogen. On generators for von Neumann algebras. Bull. Amer. Math. Soc. 75 (1969), 95–99. MR0236725 Minghui Ma, School of Mathematical Sciences, Dalian University of Technol- ogy, Dalian, 116024, China Email address : minghuima@dlut.edu.cn Rui Shi, School of Mathematical Sciences, Dalian University of Technology, Dalian, 116024, China Email address : rui...

1969