pith. sign in

arxiv: 2605.23735 · v1 · pith:LS2FNDSXnew · submitted 2026-05-22 · 🧮 math.FA

Unbounded Antilinear Operators on Hilbert Spaces

Arup Majumdar This is my paper

Pith reviewed 2026-05-25 02:53 UTC · model grok-4.3

classification 🧮 math.FA
keywords antilinear operatorsunbounded operatorsHilbert spacesclosed range theorempolar decompositionnumerical rangesubnormal operatorsblock operator matrices
0
0 comments X

The pith

Unbounded antilinear operators on Hilbert spaces obey a closed range theorem, admit polar decompositions, and have convex numerical ranges.

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

This paper develops the foundational theory for unbounded antilinear operators on Hilbert spaces. It proves a closed range theorem, a polar decomposition theorem, and convexity of the numerical range for these operators. It supplies necessary and sufficient conditions for the existence of minimal antilinear normal extensions of antilinear subnormal operators. It also gives a characterization of antilinear block operator matrices and criteria for their closability via Schur and quadratic complements. A reader would care because these results make the same analytic tools available for antilinear maps that already exist for linear operators.

Core claim

The paper establishes that the closed range theorem, the polar decomposition theorem, and numerical range convexity hold for unbounded antilinear operators on Hilbert spaces. It presents new results on antilinear normal operators and gives necessary and sufficient conditions for minimal antilinear normal extensions of antilinear subnormal operators. It further characterizes antilinear block operator matrices with purely antilinear entries and establishes necessary and sufficient criteria for their closability through Schur and quadratic complements.

What carries the argument

The antilinear adjoint on the Hilbert space together with Schur and quadratic complements for block matrices.

If this is right

  • Antilinear operators with closed range have adjoints whose ranges are also closed.
  • Every antilinear operator admits a polar decomposition into a partial isometry and a positive part.
  • The numerical range of any antilinear operator is convex.
  • An antilinear subnormal operator possesses a minimal antilinear normal extension precisely when stated algebraic and domain conditions hold.
  • An antilinear block operator matrix is closable if and only if its Schur and quadratic complements satisfy the given criteria.

Where Pith is reading between the lines

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

  • The closed range theorem implies that equations of the form Tx = y are solvable with closed range precisely when y lies in the range of the adjoint in the antilinear sense.
  • The extension criteria for subnormal operators open the possibility of studying spectral properties of antilinear operators through their normal extensions.
  • The block matrix closability criteria supply a direct test for when sums or compositions involving antilinear operators remain densely defined.

Load-bearing premise

The standard Hilbert space inner product and adjoint relations extend directly to antilinear operators while preserving the identities used in the closed range and polar decomposition proofs.

What would settle it

An explicit unbounded antilinear operator on a Hilbert space whose range is closed but whose adjoint range is not closed, or an antilinear operator that lacks a polar decomposition under the paper's definitions.

read the original abstract

The paper introduces unbounded antilinear operators on Hilbert spaces and develops their fundamental theory. In particular, we establish a closed range theorem, a polar decomposition theorem, and the convexity of the numerical range for antilinear operators. Furthermore, we present several new results on antilinear normal operators and provide necessary and sufficient conditions for the existence of a minimal antilinear normal extension of an antilinear subnormal operator. We further develop a comprehensive characterization of antilinear block operator matrices with purely antilinear entries, establishing necessary and sufficient criteria for their closability through the framework of Schur and quadratic complements.

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

3 major / 1 minor

Summary. The manuscript develops the theory of unbounded antilinear operators on Hilbert spaces. It establishes a closed range theorem, a polar decomposition theorem, and convexity of the numerical range; presents new results on antilinear normal operators; gives necessary and sufficient conditions for the existence of a minimal antilinear normal extension of an antilinear subnormal operator; and provides a characterization of antilinear block operator matrices with purely antilinear entries, including necessary and sufficient criteria for their closability via Schur and quadratic complements.

Significance. If the central claims hold, the work would extend classical unbounded operator theory to the antilinear setting, supplying tools such as extension criteria and block-matrix closability conditions that could support constructions in functional analysis and related applications. The explicit treatment of normal and subnormal antilinear operators adds concrete value beyond the abstract claims.

major comments (3)
  1. [Adjoint definition] Adjoint definition (likely §2 or the preliminary section on adjoints): the relation <Tx,y> = <x,T*y> must specify whether T* is linear or antilinear and how sesquilinearity is reconciled with the antilinearity of T; without this, the identification range(T)⊥ = ker(T*) and the domain relations used in the closed range theorem and polar decomposition are not guaranteed to carry over from the linear case.
  2. [Closed range theorem] Closed range theorem (the section stating and proving it): the proof must verify that the orthogonal complement relation and closedness of the range remain valid under antilinearity, as the standard argument relies on linearity properties that may fail when the inner product transforms as <T(αx),y> = conj(α)<Tx,y>.
  3. [Polar decomposition theorem] Polar decomposition theorem (the section stating and proving it): the construction of the partial isometry and positive factor must be shown to be compatible with antilinearity; the usual proof steps that invoke linearity of the adjoint or the operator itself require explicit adjustment.
minor comments (1)
  1. [Notation] Notation for domains and adjoints should be made uniform across linear and antilinear cases to prevent reader confusion when comparing statements.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. The points raised concern the need for explicit clarification on how antilinearity affects the adjoint, closed range theorem, and polar decomposition. We agree these details strengthen the manuscript and will revise accordingly.

read point-by-point responses

  1. Referee: [Adjoint definition] Adjoint definition (likely §2 or the preliminary section on adjoints): the relation <Tx,y> = <x,T*y> must specify whether T* is linear or antilinear and how sesquilinearity is reconciled with the antilinearity of T; without this, the identification range(T)⊥ = ker(T*) and the domain relations used in the closed range theorem and polar decomposition are not guaranteed to carry over from the linear case.

    Authors: We agree that explicit specification is required. In the revised manuscript we will state in the preliminary section that for an antilinear operator T the adjoint T* is linear, with the defining relation <Tx, y> = <x, T* y> incorporating conjugation on the scalar to reconcile sesquilinearity with antilinearity of T. This ensures the orthogonal-complement and domain relations carry over as stated. revision: yes

  2. Referee: [Closed range theorem] Closed range theorem (the section stating and proving it): the proof must verify that the orthogonal complement relation and closedness of the range remain valid under antilinearity, as the standard argument relies on linearity properties that may fail when the inner product transforms as <T(αx),y> = conj(α)<Tx,y>.

    Authors: The existing proof already tracks conjugate scalars arising from antilinearity. To address the concern directly we will insert an explicit verification paragraph confirming that range(T)⊥ = ker(T*) and closedness of the range continue to hold when the inner-product transformation <T(αx), y> = conj(α)<Tx, y> is taken into account. revision: yes

  3. Referee: [Polar decomposition theorem] Polar decomposition theorem (the section stating and proving it): the construction of the partial isometry and positive factor must be shown to be compatible with antilinearity; the usual proof steps that invoke linearity of the adjoint or the operator itself require explicit adjustment.

    Authors: We will revise the polar-decomposition section to include explicit adjustments at each step where linearity is customarily assumed. The partial isometry will be constructed as an antilinear operator and the positive factor shown to commute appropriately with the antilinear structure, with the necessary modifications to the adjoint-based arguments spelled out. revision: yes

Circularity Check

0 steps flagged

No circularity; theorems rest on standard Hilbert space axioms

full rationale

The paper develops a theory of unbounded antilinear operators by adapting closed range, polar decomposition, numerical range convexity, normality, and extension criteria from the linear case. No quoted equations or definitions reduce a claimed result to a self-referential fit, renamed input, or load-bearing self-citation chain. The abstract and listed results presuppose only the usual sesquilinear inner-product axioms and graph-closedness notions, which are external to the paper; no derivation step is shown to be equivalent to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the work appears to rely on standard Hilbert space theory without introducing new fitted quantities or entities.

pith-pipeline@v0.9.0 · 5616 in / 1245 out tokens · 31628 ms · 2026-05-25T02:53:13.281551+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

19 extracted references · 19 canonical work pages

  1. [1]

    Hyers-Ulam Stability of Unbounded Closable Operators in Hilbert Spaces.Mathematische Nachrichten, 297(10):3887-3903, 2024

    Arup Majumdar, P Sam Johnson, and Ram N Mohapatra. Hyers-Ulam Stability of Unbounded Closable Operators in Hilbert Spaces.Mathematische Nachrichten, 297(10):3887-3903, 2024

    work page 2024

  2. [2]

    Sam Johnson

    Arup Majumdar, P. Sam Johnson. The Moore-Penrose inverses of unbounded closable operators and the direct sum of closed operators in Hilbert spaces,Linear and Multilinear Algebra, 73(8):1668–1684, 2025. 30

    work page 2025

  3. [3]

    Sam Johnson, Ram N

    Arup Majumdar, P. Sam Johnson, Ram N. Mohapatra. On the generalized Cauchy dual of closed operators in Hilbert spaces.Acta Scientiarum Mathematicarum, 2025. (To appear)

    work page 2025

  4. [4]

    Sam Johnson, and Ram N Mohapatra

    Arup Majumdar, P. Sam Johnson, and Ram N Mohapatra. Characterizations of closed EP operators on Hilbert spaces.Operators and Matrices, 2026. (To appear)

    work page 2026

  5. [5]

    Imperial College Press, London, 2008

    Christiane Tretter.Spectral theory of block operator matrices and applications. Imperial College Press, London, 2008

    work page 2008

  6. [6]

    Numerical ranges of antilinear operators,Integral Equations and Operator Theory96(2): 17, 2024

    Damian Ko laczek, Vladimir M¨ uller. Numerical ranges of antilinear operators,Integral Equations and Operator Theory96(2): 17, 2024

    work page 2024

  7. [7]

    On properties of C-normal operators,Banach Journal of Mathematical Analysis,15(4):65, 2021

    Eungil Ko, Ji Eun Lee, and Mee-Jung Lee. On properties of C-normal operators,Banach Journal of Mathematical Analysis,15(4):65, 2021

    work page 2021

  8. [8]

    Herbut, M

    F. Herbut, M. Vujiˇ ci´ c. Basic algebra of antilinear operators and some applications.I, Journal of Mathematical Physics, 8(6): 1345-1354, 1967

    work page 1967

  9. [9]

    OnJ-selfadjoint extensions ofJ-symmetric operators,Proceedings of the American Mathematical Society,79(1):42-44, 1980

    Ian Knowles. OnJ-selfadjoint extensions ofJ-symmetric operators,Proceedings of the American Mathematical Society,79(1):42-44, 1980

    work page 1980

  10. [10]

    Time-Reversal Symmetry Seven Time-Reversal Operators for Spin Containing Systems,Springer Tracts in Modern Physics,pp.1-350, 2018

    Ion Geru. Time-Reversal Symmetry Seven Time-Reversal Operators for Spin Containing Systems,Springer Tracts in Modern Physics,pp.1-350, 2018

    work page 2018

  11. [11]

    Jan Stochel, F. H. Szafraniec. On normal extensions of unbounded operators. II,Acta Sci. Math.(Szeged), 53(1-2):153–177, 1989

    work page 1989

  12. [12]

    Jan Stochel, F. H. Szafraniec. On normal extensions of unbounded operators. III. Spectral properties, Publications of the Research Institute for Mathematical Sciences, 25(1):105- 139, 1989

    work page 1989

  13. [13]

    van Casteren, Seymour Goldberg

    J. van Casteren, Seymour Goldberg. The conjugate of the product of operators,Studia Mathematica,125-130, 1970

    work page 1970

  14. [14]

    Springer, Dordrecht, 2012

    Konrad Schm¨ udgen.Unbounded self-adjoint operators on Hilbert space, volume 265 of Graduate Texts in Mathematics. Springer, Dordrecht, 2012

    work page 2012

  15. [15]

    The conjugate of a product of operators,Journal of Functional Anal- ysis,6:26-28, 1970

    Martin Schechter. The conjugate of a product of operators,Journal of Functional Anal- ysis,6:26-28, 1970

    work page 1970

  16. [16]

    Marek Ptak, Katarzyna Simik, and Anna Wicher.C–normal operators,Electronic Journal of Linear Algebra,36:67-79, 2020

    work page 2020

  17. [17]

    R. G. Douglas. On majorization, factorization, and range inclusion of operators on Hilbert space.Proc. Amer. Math. Soc.,17:413–415, 1966

    work page 1966

  18. [18]

    Note on Wigner’s theorem on symmetry operations, Journal of Mathematical Physics, 5(7):(862-868), 1964

    Valentine Bargmann. Note on Wigner’s theorem on symmetry operations, Journal of Mathematical Physics, 5(7):(862-868), 1964

    work page 1964

  19. [19]

    Arlinskii, K

    Y. Arlinskii, K. Schm¨ udgen. On C-Symmetric and C-Self-adjoint Unbounded Operators on Hilbert Space,Integral Equations and Operator Theory, 98(2):14, 2026. 31

    work page 2026