Quaternionic Quantum q-Oscillator And Unbounded Subnormal Operators In Quantum Economics

E. Shine Lal; K Krishnan; T. Prasad

REVIEW 5 major objections 5 minor 21 references

Quaternionic Quantum q-Oscillator And Unbounded Subnormal Operators In Quantum Economics

T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The central result: an unbounded operator on a quaternionic Hilbert space is subnormal and satisfies the q-oscillator relation exactly when it is a weighted shift with q-number weights, with an application to quantum economics.

desk verdict A natural quaternionic extension of Szefraniec's q-oscillator theorem, but the central proof is unsupported and the paper is not ready for review. read the letter →

arxiv 2608.06032 v1 pith:2P7XYIOS submitted 2026-08-06 math.FA math-phmath.MP

T. Prasad , K Krishnan , E. Shine Lal This is my paper · ORCID

classification math.FAmath-phmath.MP MSC 47B2047S1046S10

keywords quaternionicHilbertspaceunboundedsubnormaloperatorq-oscillatorweightedshiftnormalextensionS-spectrumHardyquantumeconomics

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This note aims to extend to quaternionic Hilbert spaces a result that is known in the complex case: the class of unbounded subnormal operators is a solution space of the quantum harmonic q-oscillator. The authors prove a characterization in which a densely defined closed right-linear operator with an orthonormal basis in its domain has the weighted-shift form $S e_n = \sqrt{[n+1]_q} e_{n+1}$ exactly when it is irreducible, satisfies the q-commutation relation $S^*S - qSS^* = I$ on an invariant core, and is subnormal with a tight and *-tight normal extension. They also give a model theorem representing cyclic unbounded quaternionic subnormal operators as multiplication operators on quaternionic Hardy spaces. This matters because it connects unbounded operator theory over quaternions to the physics of q-deformed oscillators, and the authors use it to propose a quaternionic quantum economics model in which several asset attributes can be treated simultaneously rather than one at a time.

What carries the argument

The central object is the quaternionic q-oscillator relation $O(q,S,\mathcal{H})$, namely $S^*S - qSS^* = I$, understood through weak and domain-based formulations. The proof machinery combines quaternionic weighted shifts with weights $\sqrt{[n+1]_q}$, where $[n]_q = (1-q^n)/(1-q)$ is the q-number, with an infinite block matrix $N$ built from these shifts and diagonal operators; the authors assert that $N$ is normal on the quaternionic direct sum and yields the tight and *-tight normal extension of $S$. The model theorem for cyclic operators relies on the spectral theorem for quaternionic normal operators, which represents a normal operator as a multiplication operator on an $L^2$ space, and the quaternionic Hardy space $\mathcal{H}^2(\Omega,\mu,\mathbb{H})$ serves as the range space of the unitary intertwining map.

What would settle it

Look for a concrete counterexample: construct an unbounded irreducible right linear operator on a quaternionic Hilbert space satisfying $S^*S - qSS^* = I$ on a core domain invariant under both $S$ and $S^*$ with $\ker S^* = \{0\}$, which would violate the converse of Theorem 2.3. A simpler check is to compute whether the infinite block matrix $N$ in equation (2.1) satisfies $N^*N = NN^*$ on its natural domain for a particular $q>0$ such as $q=2$; if it does not, the forward direction's subnormality conclusion loses its stated justification.

Watch

Extended reading notes

Core claim

Theorem 2.3 states that for a separable right quaternionic Hilbert space $\mathcal{H}$ and a densely defined closed right linear operator $S$ with a right orthonormal basis $\{e_n\}$ inside the domain, the condition $S e_n = \sqrt{[n+1]_q} e_{n+1}$ holds if and only if $S$ is irreducible, satisfies the quaternionic q-oscillator relation $S^*S - qSS^* = I$ on a core domain invariant under both $S$ and $S^*$, and is subnormal with a tight and *-tight normal extension. The authors present this as the quaternionic counterpart of the known complex result, asserting that the unbounded subnormal operators are exactly the solutions of the quaternionic quantum harmonic q-oscillator.

Load-bearing premise

The forward direction of Theorem 2.3 treats the block matrix $N$ of equation (2.1) as a normal operator on the quaternionic direct sum without proof, and the converse assumes that irreducibility together with the q-commutation relation forces the kernel of $S^*$ to be nonempty; the characterization collapses if either assertion is false.

Editorial extensions

If this is right

If Theorem 2.3 is correct, then every irreducible unbounded quaternionic subnormal operator satisfying the q-oscillator relation on an invariant core must be unitarily equivalent to the explicit weighted shift with q-number weights, which pins down the operator's structure completely.
The block-matrix construction of the normal extension implies that for every $q>0$ the shift $S e_n = \sqrt{[n+1]_q} e_{n+1}$ has a tight and *-tight normal extension, so spectral questions for these shifts can be studied through a normal operator.
The model theorem for cyclic operators gives a concrete functional representation: every cyclic unbounded quaternionic subnormal operator is unitarily equivalent to multiplication by a complex-valued function on a quaternionic Hardy space, which makes the operator's invariant subspaces and spectrum accessible.
In the quaternionic quantum harmonic oscillator, the Hamiltonian becomes unitarily equivalent to a multiplication operator $M_\nu$ on the quaternionic Hardy space, so the $S$-spectrum of the Hamiltonian can be read off from the range of the multiplier $\nu = \frac{\hbar\omega}{2}(|\eta|^2 - 1/2)$.
In the proposed quaternionic quantum economics model, the q-oscillator framework allows multiple asset attributes to be modeled simultaneously, with the non-commutativity reflecting how the order of trades or asset interactions affects market outcomes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The converse direction of Theorem 2.3 implicitly assumes that irreducibility and the q-commutation relation force $\ker S^*$ to be nontrivial; examining whether this assumption can be proved or replaced would clarify the limits of the characterization.
One could test the paper's load-bearing block-matrix claim by explicitly checking whether the infinite matrix $N$ in equation (2.1) satisfies $N^*N = NN^*$ on its natural domain for a specific value like $q=2$; a failure there would undermine the forward proof of subnormality.
The economics application is more speculative than the operator theory; a natural extension would be to propose how the parameter $q$ could be calibrated to observed asset correlations, turning the mathematical characterization into a testable modeling tool.
The paper leaves open whether the tightness assumptions on the normal extension can be relaxed for non-cyclic operators, and whether the model theorem extends beyond cyclic vectors; these would be natural next steps for the theory.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

The paper has a legitimate target: a quaternionic analogue of Szefraniec's q-oscillator characterization of unbounded subnormal operators. Theorem 2.3 is the right kind of claim to want, and Theorem 2.2's model-theorem sketch is a plausible direction. That is where the credit ends.

The forward proof of Theorem 2.3 does not work as written. The block operator N in (2.1) is defined only on finite algebraic sums, so it is not closed. A normal operator must be closed. The asserted domain D(N*) = ⊕ D(S_n*) is also incorrect: the off-diagonal D_{n+1} terms couple adjacent coordinates, so the adjoint domain has to account for D_n^* acting on the (n-1)-th coordinate. Norm equality on a non-closed core doesn't give normality. Without a separate closure argument and the correct domain computation, the tight *-tight normal extension is not established. This is the load-bearing step of the forward direction.

The converse has its own unexplained leap: the claim that N(S*) ≠ {0} follows from irreducibility, the q-commutation relation, and subnormality is asserted in one sentence. That is a standard ingredient in the complex proof, but here it needs a real argument, not a gesture.

The citation pattern compounds the problem. The paper attributes the quaternionic version of the commutation relation to [20], which is Szefraniec's complex paper. And the decisive quaternionic step is deferred to [13], an unpublished manuscript by the same three authors. That is self-referential support for exactly the point that needs external verification.

Section 3 adds an economics story that is qualitative and unfalsifiable, and the spectral equality σ_S(Ĥ) = σ_S(M_{|η|^2}) drops the affine factor ν = (ℏω/2)(|η|^2 - 1/2); it should be σ_S(M_ν). This is sloppy.

If the normal-extension construction can be repaired — and it likely can, since the complex version is known — then Theorem 2.3 would be a respectable contribution to a specialized subfield. As it stands, the central theorem is not supported by the text. This is a reject-and-resubmit situation, not a paper that belongs in front of a referee in its current form. A serious referee would spend an hour reconstructing the block matrix and come back with the same objection.

I would not bring this to reading group, and I would not cite it yet.

Recommendation: desk reject with an invitation to resubmit a corrected proof, or if the venue doesn't do that, a clear reject.

Referee Report

5 major / 5 minor

Summary. The paper claims two main results. First, Theorem 2.2 gives a model theorem: every densely defined cyclic subnormal right-linear operator on a quaternionic Hilbert space is unitarily equivalent to a multiplication operator on a quaternionic Hardy space. Second, Theorem 2.3 characterizes the quaternionic q-oscillator: an operator with S e_n = sqrt([n+1]_q)e_{n+1} is exactly an irreducible operator satisfying O(q,S,H) and subnormal with a tight and *-tight normal extension. The paper then applies these results to a quaternionic quantum-harmonic-oscillator picture of finance, identifying Hamiltonian operators with multiplication operators and relating their S-spectra.

Significance. If the main theorem were correct, it would provide a quaternionic analogue of Szafraniec's complex q-oscillator theory and a natural model-theoretic framework for unbounded quaternionic subnormal operators. The paper is not machine-checked and does not supply reproducible code or data; its contribution is conceptual. The intended statements are plausible, but the proofs as written leave the central claims unsupported, and the decisive quaternionic ingredients are deferred to an unpublished companion manuscript.

major comments (5)

[§2.2, Eq. (2.1)] The forward direction of Theorem 2.3 is not established. The block operator N is declared normal because the norm equality ||N f|| = ||N* f|| holds on its domain, but that domain is the space of finite algebraic direct sums, on which N is not closed; a normal operator must be closed. Moreover, D(N*) is not simply the direct sum of the D(S_n*); the adjoint couples adjacent blocks, with (N* g)_n = S_n^* g_n + D_n^* g_{n-1} for g_{-1}=0, so D(N*) depends on the coupling terms. Without a separate closure argument and a correct adjoint-domain computation, N cannot serve as the tight and *-tight normal extension witnessing subnormality.
[§2.2, converse of Theorem 2.3] The converse assumes the key structural fact that irreducibility plus the q-commutation identity and subnormality forces ker S* to be nonzero; the proof merely says that if ker S* = {0}, then S* is injective and this 'contradicts the assumption of subnormality', but no argument is supplied. The later assertion that S^n(ker S*) is contained in D(S) ∩ D(S*) for all n is also unproved. These steps are necessary to construct the vector e_0 from which the orthonormal basis is built.
[§3, Eq. (3.3)] The spectral equality sigma_S(Ĥ) = sigma_S(M_{|η|^2}) drops the affine transformation: equation (3.3) shows that Ĥ is unitarily equivalent to multiplication by ν = (ℏω/2)(|η|^2 - 1/2), so the S-spectrum is (ℏω/2)(sigma_S(M_{|η|^2}) - 1/2), not sigma_S(M_{|η|^2}) as stated. The claimed spectral analysis of the quaternionic Hamiltonian therefore needs correction.
[§2.1 and §2.2] The paper's decisive quaternionic steps are not self-contained. The list of variations of O(q,S,H) is dismissed with 'the above relations can be obtained using the proof techniques in [19]', and the model theorem and the bounded quaternionic subnormal-operator result are attributed to [13], an unpublished manuscript by the same three authors. Because [13] is not publicly available and [19] treats the complex case, the quaternionic arguments that carry the central claim are effectively assumed rather than proved.
[§2.1, proof of Theorem 2.2] The proof asserts set equalities span{S^n x : n ≥ 0} = D(S) and span{N*^j N^k x : j,k ≥ 0} = D(N). For unbounded operators these are not automatic; at best one can expect density in the graph norm, and for a multiplication operator the set of polynomials is not the whole domain. The subsequent extension of V_0 to a continuous unitary V on D(S) is therefore not justified by the stated density, and as written the model theorem is not proved.

minor comments (5)

[Throughout] There are numerous typographical and grammatical errors, including 'quartenonic', 'unitarily equiovalent', 'market characterestics', 'doesnot holds', and 'seperable'; the manuscript needs a careful copyedit.
[References] Reference [13] is listed only as 'Communicated' with no preprint or journal information, so readers cannot verify the results on which the paper relies.
[§1] The notation D(S) is used for the closure of S even though S is assumed closed; the distinction between S and its closure should be clarified.
[§2.2] In the converse proof of Theorem 2.3, the symbol N(S*) is undefined; presumably it denotes the kernel of S*, but this should be stated.
[§3] Equation (3.1) would be clearer with an explicit closing parenthesis in the operator expression (ℏω/2)(a^† a - 1/2), since the printed display is ambiguous.

Circularity Check

1 steps flagged · score 4.0 of 10

Mild circularity: the economics connection imports the CCR solution property from an unpublished same-author manuscript, while the central Theorem 2.3 is attempted independently.

self citation load bearing [Section 3, paragraph between Eq. (3.1) and Eq. (3.2)]
"In [13], authors studied quaternionic subnormal operators and proved that unbounded quaternionic subnormal operators belongs to the solution space of canonical commutation relation. Hence, we identify creation operators with unbounded subnormal operators."

The paper's own Theorem 2.3 is meant to characterize quaternionic subnormal operators satisfying the q-oscillator relation; the q=1 case is the canonical commutation relation. Rather than deriving the CCR solution property from Theorem 2.3 or from an independent argument, the text imports it from [13], an unpublished manuscript by the same three authors. This self-citation is the load-bearing premise for Eq. (3.2), where the Hamiltonian is rewritten using S*S, and for the subsequent model-theoretic rewrite Eq. (3.3). Because [13] is not independently available or verified in the present text, the quantum-economics connection rests on a self-referential citation rather than on a demonstrated derivation inside this paper.

full rationale

The central theorem, Theorem 2.3, is not circular in the definitional or fitted-parameter sense: the q-oscillator equation O(q,S,H), the weighted-shift condition S e_n = sqrt([n+1]_q) e_{n+1}, irreducibility, and subnormality with a tight and *-tight normal extension are distinct mathematical properties, and the proof attempts a genuine equivalence. No quantity is fitted and then renamed as a prediction, and no result is defined in terms of the conclusion. I do flag, as a serious correctness risk rather than a circularity, the unsupported assertion in Section 2.2 that the block matrix N in Eq. (2.1) is normal via D(N*) = ⊕ D(S_n*) and a norm equality on algebraic finite sums; on the paper's own weighted shift, taking f = (e_0, 0, ...) gives ||N f|| = 1 but ||N* f|| = 0, so the asserted norm equality is not established by the text. Similarly, the converse proof's claim that irreducibility plus the q-commutation identity forces ker S* ≠ {0} is asserted rather than proved. These are proof gaps, not circular steps. The only genuine circularity concern is the self-citation of [13] in Section 3, which supplies the CCR solution property used for the economics application; because the central theorem itself is attempted independently of [13], the overall circularity score is moderate rather than high.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central theorem leans on Proposition 2.1 from [16], on [13] (same authors, unpublished) for the quaternionic CCR, and on two unproved claims in the proof: the block-matrix normal extension and the non-triviality of ker S*. No free parameters are fitted and no new entities are postulated.

assumptions (5)

standard math Proposition 2.1: every normal operator on a quaternionic Hilbert space is unitarily equivalent to a multiplication operator (Ramesh and Kumar, [16]).
Invoked in the proof of Theorem 2.2 to obtain the multiplication representation; it is cited, not proved.
domain assumption Unbounded quaternionic subnormal operators have a minimal normal extension with the expected properties (including tightness and *-tightness when D(S)=D(S*)).
Used throughout Sections 2 and 3; the paper asserts the existence and tightness properties without proving them in the quaternionic setting.
ad hoc to paper The block matrix N in Eq. (2.1) is a normal operator on the quaternionic direct sum with domain D(N*) = ⊕ D(S_n*).
Asserted in the proof of Theorem 2.3 after 'using definition of adjoint'; no proof is supplied and no reference is given for the quaternionic direct-sum construction.
ad hoc to paper Irreducibility plus the q-commutation identity and subnormality forces ker S* != {0}.
The proof says this 'contradicts the assumption of subnormality' but does not display the contradiction; this is the step that produces the starting vector e_0.
domain assumption For the multiplication operator M_eta on the quaternionic Hardy space, the adjoint is M_{\bar eta} and S*S equals M_{|eta|^2} on the relevant domain.
Used to go from Eq. (3.2) to Eq. (3.3); no proof or domain discussion is given, and it requires eta to be complex-valued and domains to align.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quaternionic Quantum q-Oscillator And Unbounded Subnormal Operators In Quantum Economics." pith.science (2026). https://pith.science/paper/2P7XYIOS

@misc{pith2026260806032,
  author       = {Pith},
  title        = {Pith review of: Quaternionic Quantum q-Oscillator And Unbounded Subnormal Operators In Quantum Economics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2P7XYIOS}},
  note         = {Machine review of arXiv:2608.06032}
}

read the original abstract

In this note, we observe that the class of unbounded subnormal operators on quaternionic Hilbert spaces is a solution of quaternionic quantum harmonic q-oscillator whose complex case is addressed by Szefraniec in [19]. We also address the connection of unbounded subnormal operators on quaternionic Hilbert spaces, quaternionic quantum harmonic q-oscillator and quaternionic quantum economics using model theory of unbounded subnormal operators.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[20]

F. H. Szafraniec, Subnormality in the Quantum Harmonic Oscillator, Commun. Math. Phys. 210, 323– 334 (2000)

work page 2000
[13]

Krishnan, T

K. Krishnan, T. Prasad and E. Shine Lal, Subnormal Operators and Quantum Harmonic Oscillator on Quaternionic Hilbert Spaces,Communicated

work page
[19]

F. H. Szafraniec, Operators of theq-oscillator, Banach Center Publications, Institute of Mathematics Polish Academy of Sciences, 78, 293-307, (2007)

work page 2007
[1]

S. L. Adler, Quaternionic Quantum Mechanics and Quantum Fields. Oxford University Press. (1995)

work page 1995
[2]

Alpay, F

D. Alpay, F. Colombo and I. Sabadini, Quaternionic Linear Operators on a Hilbert Space. In: Quaternionic Hilbert Spaces and Slice Hyperholomorphic Functions. Operator Theory: Advances and Applications, vol 304. Birkh¨ auser, (2024)

work page 2024
[3]

Birkhoff, J

G. Birkhoff, J. von Neumann, The Logic of Quantum Mechanics. Annals of Mathematics, 37(4), 823–843 (1936)

work page 1936
[4]

J. B. Bram, Subnormal operators, Duke Math. J.22, no. 1, 75–94 (1955)

work page 1955
[5]

Colombo, J

F. Colombo, J. Gantner, and I. Sabadini,Spectral Theory on theS-Spectrum for Quaternionic Operators, Operator Theory: Advances and Applications, Birkh¨ auser, 2016

work page 2016

Show all 21 references

[6]

TheS-spectrum and the functional calculus for quaternionic opera- tors,

F. Colombo and I. Sabadini, “TheS-spectrum and the functional calculus for quaternionic opera- tors,”Journal of Functional Analysis, Vol. 256, No. 11, pp. 3770–3788, (2009)

2009
[7]

Colombo, I

F. Colombo, I. Sabadini, and D. C. Struppa, Noncommutative Functional Calculus: Theory and Applications of S-Spectrum. Springer Science & Business Media (2011)

2011
[8]

J. B. Conway, The theory of subnormal operators. No. 36. American Mathematical Soc., (1991)

1991
[9]

Curto, T

R.E. Curto, T. Prasad. Classes of operators related to subnormal operators, Revista de la Real Academia de Ciencias Exactas, F ´ ısicas y Naturales. Serie A. Matem´ aticas 120.2 (2026)

2026
[10]

Giardino, The quantum harmonic oscillator and the real Hilbert space,Annals of Physics, Vol

S. Giardino, The quantum harmonic oscillator and the real Hilbert space,Annals of Physics, Vol. 465, (2026)

2026
[11]

Giardino, Quaternionic quantum harmonic oscillator,European Physical Journal Plus, Vol

S. Giardino, Quaternionic quantum harmonic oscillator,European Physical Journal Plus, Vol. 136, No. 1, (2021)

2021
[12]

P. R. Halmos, Normal dilations and extensions of operators, Summa Brasil. Math.2, 125–134, (1950)

1950
[14]

Orrell, Quantum Economics and Finance: An Applied Mathematics Introduction, 3rd Edition, Panda Ohana Publishing, (2022)

D. Orrell, Quantum Economics and Finance: An Applied Mathematics Introduction, 3rd Edition, Panda Ohana Publishing, (2022)

2022
[15]

Orrell, The Quantum Stock Market: And the Road Not Taken in Finance

D. Orrell, The Quantum Stock Market: And the Road Not Taken in Finance. MIT Press, (2026)

2026
[16]

Ramesh, P

G. Ramesh, P. Santhosh Kumar, Spectral theorem for quaternionic normal operators: Multiplication form, Bulletin des Sciences Math´ ematiques, Volume 159, (2020)

2020
[17]

Stochel, F

J. Stochel, F. H. Szafraniec, Circular invariance of the Weyl form of the canonical commutation relation. World Scientific (2000)

2000
[18]

Stochel, F

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

1989
[21]

Viswanath, Spectral Theorem for Quaternionic Normal Operators, Transactions of the American Mathematical Society, Vol

K. Viswanath, Spectral Theorem for Quaternionic Normal Operators, Transactions of the American Mathematical Society, Vol. 162, 337–350, (1971). QQHO 9 Department of Mathematics, School of Language, Literature and Humanities, Na- landa University, Rajgir-803116, Bihar, India Em...

1971

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [20]

F. H. Szafraniec, Subnormality in the Quantum Harmonic Oscillator, Commun. Math. Phys. 210, 323– 334 (2000)

work page 2000

[2] [13]

Krishnan, T

K. Krishnan, T. Prasad and E. Shine Lal, Subnormal Operators and Quantum Harmonic Oscillator on Quaternionic Hilbert Spaces,Communicated

work page

[3] [19]

F. H. Szafraniec, Operators of theq-oscillator, Banach Center Publications, Institute of Mathematics Polish Academy of Sciences, 78, 293-307, (2007)

work page 2007

[4] [1]

S. L. Adler, Quaternionic Quantum Mechanics and Quantum Fields. Oxford University Press. (1995)

work page 1995

[5] [2]

Alpay, F

D. Alpay, F. Colombo and I. Sabadini, Quaternionic Linear Operators on a Hilbert Space. In: Quaternionic Hilbert Spaces and Slice Hyperholomorphic Functions. Operator Theory: Advances and Applications, vol 304. Birkh¨ auser, (2024)

work page 2024

[6] [3]

Birkhoff, J

G. Birkhoff, J. von Neumann, The Logic of Quantum Mechanics. Annals of Mathematics, 37(4), 823–843 (1936)

work page 1936

[7] [4]

J. B. Bram, Subnormal operators, Duke Math. J.22, no. 1, 75–94 (1955)

work page 1955

[8] [5]

Colombo, J

F. Colombo, J. Gantner, and I. Sabadini,Spectral Theory on theS-Spectrum for Quaternionic Operators, Operator Theory: Advances and Applications, Birkh¨ auser, 2016

work page 2016