Skip to content

Witten Index

The Witten index is a fermion-parity-graded supersymmetric trace that cancels paired positive-energy states and counts zero modes with signs.

Version
v1 · 2026-10-03 · History
Domain-specific #
13697
Domain group
Natural Sciences
Origin domain
Physics
Subdomain
Supersymmetric Quantum Mechanics → Physics
Aliases
Supersymmetric Index

Core Idea

The Witten index Tr[(-1)^F e^{-βH}] subtracts fermionic from bosonic contributions in a supersymmetric system. Paired positive-energy states cancel, leaving the difference between bosonic and fermionic zero-energy states when the trace is well defined. Nonzero index guarantees a zero mode; zero index alone does not prove supersymmetry breaking.[ref-a9a4d1d79761][ref-df144db87c28]

Scope of Application

A finite paired spectrum makes the cancellation transparent. In a de Rham supersymmetric sigma model, the index is Euler characteristic: S² gives 2, while S¹ gives 0 despite one even and one odd zero mode. Field-theory uses need additional spectral and volume care.[ref-a9a4d1d79761-2][ref-df144db87c28]

Clarity

The ordinary thermal trace adds all state weights; parity grading subtracts. The index is a signed difference, not the total number of ground states. A formal expression with uncontrolled continuous spectrum is not automatically a protected invariant.

Manages Complexity

Positive-energy pair cancellation discards much spectral detail and can retain a stable zero-sector signal through suitable deformations. The same compression hides balanced opposite-parity vacua.

Abstract Reasoning

One bosonic zero state plus paired boson–fermion levels at E=1,2 gives I=1+(e^{-β}−e^{-β})+(e^{-2β}−e^{-2β})=1. Add one fermionic zero state and the index becomes zero even though two zero states remain. In geometric examples, form-degree parity produces the same signed-count logic.[ref-a9a4d1d79761][ref-a9a4d1d79761-2]

Knowledge Transfer

The relation transfers when genuine fermion parity, supercharge pairing and a controlled trace exist. The Euler-characteristic equality is specific to the geometric construction, not every supersymmetric theory. The live Mathematical Invariant entry is the independently challenged strict genus under the stated trace and admissible-deformation conditions.

[^ref-a9a4d1d79761]: David Tong, Supersymmetric Quantum Mechanics, lecture notes, §1.2.2 (printed p. 14). [^ref-a9a4d1d79761-2]: David Tong, Supersymmetric Quantum Mechanics, lecture notes, §3.1.3 (printed pp. 80–82; chapter extract of the same notes). [^ref-df144db87c28]: Witten, Constraints on Supersymmetry Breaking, course-hosted copy.

Relationships to Other Abstractions

Local relationship map for Witten IndexParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Witten IndexDOMAINDomain-specific abstraction: Mathematical Invariant — is a kind ofMathematicalInvariantDOMAIN

Current abstraction Witten Index Domain-specific

Parents (1) — more general patterns this builds on

  • Witten Index is a kind of Mathematical Invariant Domain-specific

    The defined supersymmetric graded trace is a value invariant under specified admissible deformations.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Witten Index sits in a sparse region of the domain-specific corpus (67th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Statistical Mechanics & Particle Phenomena (15 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08