Skip to main content

Notes

Chapter 0 — Formal State Space

16 equations extracted from this document. Each equation pairs with the prose paragraph that immediately precedes it in the source — clicking the title above opens the full document.

Open source document →

  1. #1

    The collection of all admissible topologies is denoted:

    Top:={(n,E):nN>0,E{1,,n}2diag}.\mathrm{Top} := \{(n, E) : n \in \mathbb{N}_{>0}, \, E \subseteq \{1,\ldots,n\}^2 \setminus \mathrm{diag}\}.
  2. #2

    For fixed graph topology with and :

    P(n,E):=R0E×GE\boxed{P(n,E) := \mathbb{R}_{\geq 0}^{|E|} \times G^{|E|}}
  3. #3

    The gauge group acts smoothly on by:

    (h1,,hn)(wij,gij):=(wij,higijhj1)\boxed{(h_1, \ldots, h_n) \cdot (w_{ij}, g_{ij}) := \left(w_{ij}, \, h_i \, g_{ij} \, h_j^{-1}\right)}
  4. #4
    C(n,E):=P(n,E)/Gn\boxed{C(n,E) := P(n,E) / G^n}
  5. #5
    S:=(n,E)TopC(n,E)\boxed{\mathcal{S} := \bigsqcup_{(n,E) \in \mathrm{Top}} C(n,E)}
  6. #6

    Discrete topology index: For any state , there exists a unique topology such that . Define:

    τ(s):=(ns,Es).\tau(s) := (n_s, E_s).
  7. #7

    The observable map is:

    Obs:SObsSpace\boxed{\mathrm{Obs} : \mathcal{S} \to \mathrm{Obs-Space}}
  8. #8

    The observable map is: where:

    Obs([p]):=(Wij,Ω())(i,j)E,T(E)\mathrm{Obs}([p]) := \left( W_{ij}, \, \Omega(\triangle) \right)_{(i,j) \in E, \, \triangle \in T(E)}
  9. #9
    DEFORM(i,j,δ):C(n,E)C(n,E)\mathrm{DEFORM}(i,j,\delta) : C(n,E) \to C(n,E)
  10. #10
    CONTACT(i,j):C(n,E)C(n,E{(i,j),(j,i)})\mathrm{CONTACT}(i,j) : C(n, E) \to C(n, E \cup \{(i,j), (j,i)\})
  11. #11
    BIRTH(v):C(n,E)C(n+1,E)\mathrm{BIRTH}(v) : C(n, E) \to C(n+1, E')
  12. #12
    DEATH(v):C(n,E)C(n1,EEv)\mathrm{DEATH}(v) : C(n, E) \to C(n-1, E \setminus E_v)
  13. #13

    The events BIRTH, DEATH, and CONTACT induce transitions between strata:

    τ(st)=(nt,Et)et(nt+1,Et+1)=τ(st+1)\tau(s_t) = (n_t, E_t) \xrightarrow{e_t} (n_{t+1}, E_{t+1}) = \tau(s_{t+1})
  14. #14

    Recall from Chapter 7:

    Existence(F,t):=([A],Σt(F),et(F))\mathrm{Existence}(F, t) := ([A_{\infty}], \Sigma_t(F), \mathbf{e}_t(F))
  15. #15

    Given a state transition from to triggered by event , the evidence extraction functional is:

    Ev(st,st+1,et):=(et,ΔW,ΔΩ,ΔF,ΔΣ)\boxed{\mathrm{Ev}(s_t, s_{t+1}, e_t) := (e_t, \Delta W, \Delta \Omega, \Delta \mathfrak{F}, \Delta \Sigma)}
  16. #16

    Chapter 8 defines the instantaneous world:

    Wt=(Wt,Ft,Σt)\mathfrak{W}_t = (\mathcal{W}_t, \mathfrak{F}_t, \Sigma_t)