The Claim
The mathematics of Hermitian operators with binary spectra — specifically the commutation relation [σ, U] = 0 — is structurally isomorphic to the Reformed doctrine that moral orientation cannot be changed by self-generated effort. Define a Hermitian operator σ with eigenvalues ±1. The commutation relation states that unitary self-evolution U cannot change the eigenvalue of σ. The system may evolve, precess, rotate — but the sign stays fixed.
This is the mathematical content of sola gratia: salvation by works is impossible not as a cultural assertion but as a mathematical theorem. Self-generated evolution cannot flip a commuting eigenvalue. An external operator V with [σ, V] ≠ 0 is required. The theology names that operator "grace." The mathematics derives the requirement independently.
If sustained self-effort could permanently flip moral orientation without any external input — that is, if [σ, U] ≠ 0 were demonstrated in either domain — the isomorphism breaks. Any system where internal dynamics alone can cross the eigenvalue boundary falsifies the mapping. Note: behavioral improvement (Ψ rotating in Hilbert space) does not falsify it; only genuine eigenvalue flip by self-evolution would do so.
Domain A — Mathematics
Let U be the unitary time-evolution operator generated by the system's own Hamiltonian H: U = e−iHt/ℏ. The commutation relation:
If the system begins in eigenstate |−1〉, no amount of self-generated unitary evolution can produce eigenstate |+1〉. The state vector may acquire complex phases, may precess in Hilbert space, may produce altered measurement statistics on other observables — but 〈σ〉 remains fixed at −1. Moral effort (U acting on |−1〉) produces real behavioral change without changing the underlying eigenvalue.
To flip the eigenvalue requires an external operator V that does not commute with σ:
Domain B — Theology
The theological claim is that moral orientation — the fundamental alignment of a person toward or away from God — is binary. There is no neutral state. Matthew 12:30 states this explicitly: "Whoever is not with me is against me." The moral spectrum consists of exactly two eigenvalues: +1 (righteous, aligned toward God) and −1 (fallen, aligned away from God).
The commutation relation [σ, U] = 0 maps onto the theological claim that works-righteousness is structurally impossible — not merely difficult or improbable, but formally excluded by the mathematics of commuting operators. No behavioral program (U) generated by the fallen self (the system's own Hamiltonian) can alter the moral eigenvalue.
John 3:3 provides the theological counterpart to the external operator requirement: "Unless one is born again he cannot see the kingdom of God." The new birth is an operation from outside the system — it does not commute with the moral orientation operator because it is not generated by the system's own Hamiltonian.
Structural Mapping
| Feature | Mathematics (Domain A) | Theology (Domain B) |
|---|---|---|
| Spectrum | Binary: eigenvalues ±1 only — no intermediate values upon measurement | Binary: righteous (+1) or fallen (−1) — "whoever is not with me is against me" (Matt 12:30) |
| Self-Evolution | [σ, U] = 0 — eigenvalue is invariant under self-generated unitary evolution | Works cannot change moral orientation — Gal 2:16, "a person is not justified by works of the law" |
| State Dynamics | State vector rotates and precesses; measurement statistics on other observables change; eigenvalue of σ does not change | Behavior improves with moral effort; character develops; but the underlying nature (eigenvalue) does not flip |
| Flip Mechanism | External operator V with [σ, V] ≠ 0; not generated by the system's own Hamiltonian; non-unitary (can change eigenspace) | External grace (regeneration); not generated from within the human condition; comes from outside (Eph 2:8–9) |
Key Claim — Formal Statement
[σ, U] = 0 is the mathematical content of "salvation by works is impossible." This is not a metaphor. It is a theorem of operator algebra: an operator that commutes with the sign operator cannot change the sign eigenvalue. Self-generated evolution commutes with the sign. Therefore self-generated evolution cannot save.
ISO-013 provides the explicit matrix form of V_grace (the idempotent projection G = [[1,1],[0,0]]) and proves the additional properties: G² = G (once is enough), G†G ≠ I (irreversible), rank-deficient (prior state erased). ISO-012 establishes why an external operator is necessary; ISO-013 specifies what properties that operator must have.
Separator Tests
If any sustained self-generated behavioral program (without external intervention) produced a permanent, stable flip of fundamental moral orientation — not behavioral change, but eigenvalue change — the isomorphism would be falsified. The test distinguishes behavioral improvement (which the model predicts and accommodates) from genuine regeneration (which the model says requires an external operator). A documented case of self-bootstrapped, permanent moral-nature transformation — sustained across time without a grace-analog — would be the kill condition.