Shunyaya Symbolic Mathematics — Inverses & symmetry (2.11)

Abstract
Defines additive and multiplicative inverses for (m, a), contrasts M2 (rapidity-additive, default) with M1 (non-normative), documents meadow totalization (optional), introduces the alignment conjugate, and summarizes symmetry behaviors. ASCII-only and clamp-safe.


➕ Additive inverse

For any numeral (m, a):

−(m, a) = (−m, a)

  • Magnitude flips sign; alignment is unchanged.
  • Ensures: (m, a) ⊕ (−m, a) lies in the zero class 0_S (displayed canonically as (0, +1)).

Example
(7, −0.4) ⊕ (−7, −0.4) = (0, +1)  # zero-class display (underlying pair is (0, −0.4))


✖️ Multiplicative inverse (⊗ / otimes)

Default M2 (rapidity-additive)

Defined whenever m ≠ 0:

(m, a)^{-1} = ( 1/m , tanh(−atanh(a)) ) = ( 1/m , −a )

  • Alignment inversion is exact and remains bounded; no extra clamp is needed.
  • Zearo invertibility: if a = 0 and m ≠ 0, then (m, 0)^{-1} = (1/m, 0).

Examples (M2)

(4, +0.5)^{-1} = (0.25, −0.5)
(5, 0)^{-1}    = (0.2, 0)

Alternative M1 (direct product, non-normative)

Defined only when both m ≠ 0 and a ≠ 0:

(m, a)^{-1}_M1 = ( 1/m , 1/a )

  • If a = 0 (Zearo), inverse is undefined.
  • If |a| is small, 1/a can explode and leave [-1, +1] without additional clamping.

Example (M1)
(4, +0.5)^{-1}_M1 = (0.25, 2.0)  # out of bounds → not recommended


∅ Meadow totalization (optional)

To keep pipelines total (never undefined), some applications adopt:

inv(m) = 1/m if m ≠ 0 else 0
(m, a)^{-1}_meadow = ( inv(m), −a )

  • Keeps code simple but can mask singularities; use sparingly and declare in the Manifest.

Example
(0, +0.7)^{-1}_meadow = (0, −0.7)


🪞 Conjugate (alignment mirror)

Flip the drift sign, keep magnitude:

(m, a)^dagger = (m, −a)

  • Cancels drift under addition when paired with its mirror.

Example

(5, +0.8)^dagger = (5, −0.8)
(5, +0.8) ⊕ (5, −0.8) = (10, 0)     # drift cancels to Zearo


🧭 Symmetry properties

  • Alignment acts like a hidden “sign of stability”; +a and −a are mirrors about the centre.
  • Under M2 (default), nonzero Zearo elements (m, 0) with m ≠ 0 are multiplicatively invertible; under M1 they are not.
  • Additive inverses always exist; multiplicative inverses depend on the multiplication choice (M2 vs M1) and, optionally, meadow totalization for m = 0.

✅ Takeaway

Inverses are clean and bounded under M2:

  • Additive: −(m, a) = (−m, a)
  • Multiplicative (m ≠ 0): (m, a)^{-1} = (1/m, −a)
    M1 is documented for completeness but is non-normative: it can push alignment out of bounds and fails at a = 0. Meadow totalization can keep pipelines total—declare it and use with caution.

Navigation

Previous → Interaction with time-series data
Next → Norms & distances


Disclaimer
Observation only. Reproducible math; domain claims require independent peer review. Defaults: gamma=1, mult_mode=M2, clamp_eps=1e-6, |a|<1.