Quantum harmonic oscillator, index theorem and spectral asymmetry

Shunrui Li; Yang Liu

arxiv: 2505.21348 · v6 · submitted 2025-05-27 · 🪐 quant-ph · hep-th· math-ph· math.MP

Quantum harmonic oscillator, index theorem and spectral asymmetry

Shunrui Li , Yang Liu This is my paper

Pith reviewed 2026-05-19 12:49 UTC · model grok-4.3

classification 🪐 quant-ph hep-thmath-phmath.MP

keywords quantum harmonic oscillatorpartition functionChern characterAtiyah-Singer index theoremspectral asymmetryvirtual physical sheaftopological invariantsbosonic systems

0 comments

The pith

The partition function of the quantum harmonic oscillator equals the Chern character of a virtual physical sheaf, linking statistical mechanics directly to the Atiyah-Singer index theorem.

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

The paper establishes that the quantum harmonic oscillator displays spectral asymmetry by identifying its partition function with the Chern character. This creates an explicit bridge between the statistical mechanics of the oscillator and topological invariants from the index theorem, showing the internal energy as a non-supersymmetric consequence of that theorem. The authors achieve the link by treating the oscillator's quantum states as a Hermitian vector bundle over spacetime, which they call the virtual physical sheaf. A sympathetic reader cares because the result indicates that basic bosonic quantum systems carry an underlying topological structure previously associated mainly with more complex or supersymmetric setups.

Core claim

The central claim is that the partition function of the quantum harmonic oscillator equals the Chern character of the virtual physical sheaf, a Hermitian vector bundle that encodes the system's quantum states over spacetime. This identification shows the internal energy as a direct, non-SUSY realization of the Atiyah-Singer index theorem and uncovers topological structure inside ordinary bosonic quantum mechanics.

What carries the argument

The virtual physical sheaf, a Hermitian vector bundle encoding the quantum states of the oscillator over spacetime, whose Chern character is set equal to the partition function.

Load-bearing premise

That the quantum states of the harmonic oscillator can be modeled as a Hermitian vector bundle over spacetime whose Chern character matches the partition function.

What would settle it

Compute the Chern character of the proposed virtual physical sheaf explicitly and check whether it reproduces the known closed-form partition function of the quantum harmonic oscillator.

read the original abstract

We report a spectral asymmetry effect in the quantum harmonic oscillator, where its partition function is identified as the Chern character. This establishes a direct link between statistical mechanics, and topological invariants (Atiyah-Singer index theorem), revealing the internal energy as a non-SUSY manifestation of the index theorem. We show that the partition function can be interpreted as the Chern character of "virtual physical sheaf", namely, a Hermitian vector bundle encoding quantum states over spacetime. This work uncovers an underlying topological structure in bosonic quantum systems.

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 maps the QHO partition function to the Chern character of a newly named 'virtual physical sheaf' but supplies no explicit bundle, manifold, or operator to turn the Atiyah-Singer claim into a checked theorem.

read the letter

The core move is to treat the harmonic-oscillator partition function as the Chern character of a Hermitian vector bundle they label the virtual physical sheaf, then invoke the index theorem to give the internal energy a topological reading without supersymmetry. That is the one new interpretive step on offer. The abstract states the identification plainly and sketches how the states might be encoded over spacetime, which at least makes the intended bridge visible. The authors also correctly note that this would extend index-theoretic language to ordinary bosonic systems, a direction that has not been heavily explored. Beyond that, the work stays within known formulas for Z and the standard Chern character; no new numerical result or independent prediction appears. The main weakness is the missing construction. The index theorem requires an elliptic operator on a compact manifold whose analytic index equals the integral of ch(V) td(TM), yet the text does not exhibit the manifold (for instance a cylinder or compactification), define the bundle V so that its Chern character reproduces the explicit sum, or verify the equality. Without those steps the link remains an analogy rather than an application. The circularity risk flagged in the stress-test note is real: if the sheaf is defined precisely to make the equality hold, the result adds a label rather than a derivation. The paper is therefore best suited to readers already interested in speculative topology-statistical mechanics connections who are willing to treat it as a prompt for further work. It shows clear engagement with the literature and does not contradict itself internally, so it is worth sending to referees who can ask for the missing bundle and operator details. I would not cite it in its present form, but I would not desk-reject it either.

Referee Report

3 major / 1 minor

Summary. The manuscript claims to identify the partition function of the quantum harmonic oscillator with the Chern character of a 'virtual physical sheaf' (a Hermitian vector bundle encoding quantum states over spacetime). This is presented as establishing a direct link between statistical mechanics and the Atiyah-Singer index theorem, with the internal energy interpreted as a non-supersymmetric manifestation of the index theorem and a spectral asymmetry effect in bosonic systems.

Significance. If the identification were rigorously constructed, the result would provide a novel topological perspective on the partition function of a fundamental bosonic system, extending index-theoretic methods beyond supersymmetric contexts and suggesting an underlying topological structure in quantum statistical mechanics.

major comments (3)

[Abstract and introduction] The abstract and main text state an identification between the partition function Z = Tr(e^{-βH}) and the Chern character ch(V) of the virtual physical sheaf but supply no derivation steps, explicit mapping, or verification that the known sum e^{-β/2}/(1-e^{-β}) equals the topological index. This is load-bearing for the central claim.
[Definition of virtual physical sheaf] No explicit Hermitian vector bundle V or base manifold (such as a compactification of spacetime or ℝ × S¹_β) is constructed on which the Atiyah-Singer theorem could be applied. The index theorem requires an elliptic operator D on a compact manifold whose analytic index equals ∫ ch(V) td(TM); without this construction the equality remains formal.
[Application of Atiyah-Singer index theorem] The manuscript does not specify the elliptic operator whose index is computed nor verify that the resulting number reproduces the explicit partition function, leaving open the possibility that the identification is definitional rather than a theorem application.

minor comments (1)

[Notation and definitions] Clarify the precise relation between the 'virtual physical sheaf' and standard objects in K-theory or sheaf cohomology to prevent terminological confusion.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address each major comment below, clarifying the conceptual framework of the identification while committing to revisions that will make the construction more explicit.

read point-by-point responses

Referee: [Abstract and introduction] The abstract and main text state an identification between the partition function Z = Tr(e^{-βH}) and the Chern character ch(V) of the virtual physical sheaf but supply no derivation steps, explicit mapping, or verification that the known sum e^{-β/2}/(1-e^{-β}) equals the topological index. This is load-bearing for the central claim.

Authors: The partition function is computed explicitly as Z = e^{-β/2}/(1 - e^{-β}) from the spectrum of the harmonic oscillator. This series is identified with the Chern character of the virtual bundle by matching coefficients to the appropriate Chern classes that encode the energy levels. We agree that the manuscript would benefit from an expanded derivation showing the term-by-term correspondence and confirming agreement with the topological index. A new subsection will be added in revision to provide these steps. revision: yes
Referee: [Definition of virtual physical sheaf] No explicit Hermitian vector bundle V or base manifold (such as a compactification of spacetime or ℝ × S¹_β) is constructed on which the Atiyah-Singer theorem could be applied. The index theorem requires an elliptic operator D on a compact manifold whose analytic index equals ∫ ch(V) td(TM); without this construction the equality remains formal.

Authors: The virtual physical sheaf is introduced as a Hermitian vector bundle over the thermal compactification ℝ × S¹_β whose fibers carry the oscillator states, with the virtual structure arising from the infinite tower of levels treated in K-theory. We accept that an explicit description of the bundle, its rank, and transition data is not supplied in the present draft. The revised manuscript will include a precise definition of V and the base manifold to prepare the setting for the index theorem. revision: yes
Referee: [Application of Atiyah-Singer index theorem] The manuscript does not specify the elliptic operator whose index is computed nor verify that the resulting number reproduces the explicit partition function, leaving open the possibility that the identification is definitional rather than a theorem application.

Authors: The spectral asymmetry of the bosonic spectrum is interpreted as the analytic index of an elliptic operator built from the harmonic-oscillator Hamiltonian acting on sections of the virtual bundle. We acknowledge that the current text does not name this operator explicitly or carry out the integral verification ∫ ch(V) td(TM). In the revision we will identify the operator and demonstrate that the index theorem reproduces the known partition function. revision: yes

Circularity Check

1 steps flagged

Partition function equated to Chern character by defining a 'virtual physical sheaf' whose states are chosen to reproduce the known QHO trace.

specific steps

self definitional [Abstract]
"We show that the partition function can be interpreted as the Chern character of 'virtual physical sheaf', namely, a Hermitian vector bundle encoding quantum states over spacetime."

The virtual physical sheaf is defined as the bundle that encodes the oscillator states; the partition function is then declared to be its Chern character. This makes Z = ch(V) hold by the way V is constructed rather than by an independent application of the index theorem to a separately specified manifold and operator.

full rationale

The paper's central identification proceeds by positing a Hermitian vector bundle (the virtual physical sheaf) that encodes the quantum states of the oscillator over spacetime, then stating that the partition function equals its Chern character. Because the sheaf is introduced precisely to make this equality hold for the explicit sum Z = e^{-β/2}/(1-e^{-β}), the topological link to the Atiyah-Singer index theorem is not independently derived; it is enforced by the modeling choice itself. No explicit manifold, elliptic operator, or index computation is supplied that would allow the equality to be verified outside the definition. This reduces the claimed derivation to a self-definitional relabeling of the input partition function.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the Atiyah-Singer index theorem (standard background) and the introduction of a virtual physical sheaf whose definition appears tailored to make the partition function equal its Chern character; no free parameters are stated in the abstract, but the sheaf itself functions as an invented entity without independent evidence supplied.

axioms (1)

standard math Atiyah-Singer index theorem holds for the relevant bundles
Invoked to equate the partition function with a topological index.

invented entities (1)

virtual physical sheaf no independent evidence
purpose: Hermitian vector bundle encoding quantum states over spacetime so that its Chern character equals the partition function
Newly introduced object required for the claimed identification; no independent falsifiable handle is provided in the abstract.

pith-pipeline@v0.9.0 · 5605 in / 1475 out tokens · 48963 ms · 2026-05-19T12:49:35.473620+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost costAlphaLog_fourth_deriv_at_zero / Jcost definition echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

βU = x/2 / tanh(x/2) … exactly the generating function of the topological invariant L-genus, L(x)
IndisputableMonolith/Foundation/ArithmeticFromLogic embed_eq_pow / LogicNat orbit under generator echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Z = 1 / (e^{x/2} - e^{-x/2}) … ch(S) = Tr[exp(-βH)]
IndisputableMonolith/Foundation/AlexanderDuality alexander_duality_circle_linking (D=3 forcing) refines

?

refines
Relation between the paper passage and the cited Recognition theorem.

thermal compactification … M × S¹_β … Matsubara frequencies

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Mikio Nakahara, Geometry, topology and physics, CRC press, 2018

work page 2018
[2]

Atiyah, Elliptic operators and compact groups, Springer, 2006

M. Atiyah, Elliptic operators and compact groups, Springer, 2006

work page 2006
[3]

M.Atiyah and I.Singer,Bull. Amer. Math. Soc.69 (1963), 422–433

work page 1963
[4]

M.Atiyah, R.Bott and V.K.Patodi, On the Heat equation and the Index Theorem, Inventiones math.19,279-330(1973)

work page 1973
[5]

Daniel Huybrechts, Complex Geometry: An Introduction (Springer, 2004) P182-191

work page 2004
[6]

Freed, The Atiyah-Singer index theorem, 2021 https://arxiv.org/abs/2107.03557

Daniel S. Freed, The Atiyah-Singer index theorem, 2021 https://arxiv.org/abs/2107.03557

work page arXiv 2021
[7]

Matsubara

T. Matsubara. A new approach to quantum statistical mechanics. Prog. Theor. Phys., 14:351, 1955

work page 1955
[8]

Kuiper, N. H. (1965). The homotopy type of the unitary group of Hilbert space. Topology, 3(1), 19-30. – 15 –

work page 1965
[9]

Kostant, B. (1970). Quantization and unitary representations. In Lectures in modern analysis and applications III (pp. 87-208). Springer, Berlin, Heidelberg

work page 1970
[10]

Souriau, J.-M. (1970). Structure des syst` emes dynamiques. Dunod

work page 1970
[11]

M., Vilenkin, N

Gelfand, I. M., Vilenkin, N. Y. (1964). Generalized Functions, Volume 4: Applications of Harmonic Analysis. Academic Press

work page 1964
[12]

von Neumann, J. (1949). On Rings of Operators. Reduction Theory. Annals of Mathematics, 50(2), 401-485

work page 1949
[13]

Simon, B. (2005). Trace Ideals and Their Applications (2nd ed.). American Mathematical Society

work page 2005
[14]

Connes, A. (1994). Noncommutative Geometry. Academic Press

work page 1994
[15]

Schlichenmaier, M. (2010). Berezin–Toeplitz quantization for compact K¨ ahler manifolds. A review of results. Advances in Mathematical Physics, 2010, 927280

work page 2010
[16]

Bordemann, Martin and Meinrenken, Eckhard and Schlichenmaier, Martin; Toeplitz quantization of K¨ ahler manifolds andgl(N), N→ ∞limits; Communications in Mathematical Physics; 165; 281-296; 1994 – 16 –

work page 1994

[1] [1]

Mikio Nakahara, Geometry, topology and physics, CRC press, 2018

work page 2018

[2] [2]

Atiyah, Elliptic operators and compact groups, Springer, 2006

M. Atiyah, Elliptic operators and compact groups, Springer, 2006

work page 2006

[3] [3]

M.Atiyah and I.Singer,Bull. Amer. Math. Soc.69 (1963), 422–433

work page 1963

[4] [4]

M.Atiyah, R.Bott and V.K.Patodi, On the Heat equation and the Index Theorem, Inventiones math.19,279-330(1973)

work page 1973

[5] [5]

Daniel Huybrechts, Complex Geometry: An Introduction (Springer, 2004) P182-191

work page 2004

[6] [6]

Freed, The Atiyah-Singer index theorem, 2021 https://arxiv.org/abs/2107.03557

Daniel S. Freed, The Atiyah-Singer index theorem, 2021 https://arxiv.org/abs/2107.03557

work page arXiv 2021

[7] [7]

Matsubara

T. Matsubara. A new approach to quantum statistical mechanics. Prog. Theor. Phys., 14:351, 1955

work page 1955

[8] [8]

Kuiper, N. H. (1965). The homotopy type of the unitary group of Hilbert space. Topology, 3(1), 19-30. – 15 –

work page 1965

[9] [9]

Kostant, B. (1970). Quantization and unitary representations. In Lectures in modern analysis and applications III (pp. 87-208). Springer, Berlin, Heidelberg

work page 1970

[10] [10]

Souriau, J.-M. (1970). Structure des syst` emes dynamiques. Dunod

work page 1970

[11] [11]

M., Vilenkin, N

Gelfand, I. M., Vilenkin, N. Y. (1964). Generalized Functions, Volume 4: Applications of Harmonic Analysis. Academic Press

work page 1964

[12] [12]

von Neumann, J. (1949). On Rings of Operators. Reduction Theory. Annals of Mathematics, 50(2), 401-485

work page 1949

[13] [13]

Simon, B. (2005). Trace Ideals and Their Applications (2nd ed.). American Mathematical Society

work page 2005

[14] [14]

Connes, A. (1994). Noncommutative Geometry. Academic Press

work page 1994

[15] [15]

Schlichenmaier, M. (2010). Berezin–Toeplitz quantization for compact K¨ ahler manifolds. A review of results. Advances in Mathematical Physics, 2010, 927280

work page 2010

[16] [16]

Bordemann, Martin and Meinrenken, Eckhard and Schlichenmaier, Martin; Toeplitz quantization of K¨ ahler manifolds andgl(N), N→ ∞limits; Communications in Mathematical Physics; 165; 281-296; 1994 – 16 –

work page 1994