Skip to main content

∑SCC archive

SCC Canonical Spec — Part 3: Energy Principle & Provisional Operators

13 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 energy is minimized on the constraint manifold

    Σm={u∈[0,1]n:∑x∈Xtut(x)=m}\Sigma_m = \Big\{u \in [0,1]^n : \sum_{x \in X_t} u_t(x) = m\Big\}
  2. #2

    The canonical energy over a temporal window is:

    E(u)=λcl Ecl+λsep Esep+λbd Ebd+λtr Etr\mathcal{E}(\mathbf{u}) = \lambda_{\mathrm{cl}}\, \mathcal{E}_{\mathrm{cl}} + \lambda_{\mathrm{sep}}\, \mathcal{E}_{\mathrm{sep}} + \lambda_{\mathrm{bd}}\, \mathcal{E}_{\mathrm{bd}} + \lambda_{\mathrm{tr}}\, \mathcal{E}_{\mathrm{tr}}
  3. #3
    Ecl(ut)=∑x∈Xt(ut(x)−Clt(ut)(x))2\mathcal{E}_{\mathrm{cl}}(u_t) = \sum_{x \in X_t} \big( u_t(x) - \mathrm{Cl}_t(u_t)(x) \big)^2
  4. #4
    Esep(ut)=∑x∈Xtut(x)(1−Dt(x;1−ut))\mathcal{E}_{\mathrm{sep}}(u_t) = \sum_{x \in X_t} u_t(x) \big( 1 - \mathbf{D}_t(x; 1-u_t) \big)
  5. #5
    Ebd(ut)=α∑x,y∈XtNt(x,y)(ut(x)−ut(y))2+β∑x∈Xtut(x)2(1−ut(x))2\mathcal{E}_{\mathrm{bd}}(u_t) = \alpha \sum_{x,y \in X_t} \mathbf{N}_t(x,y) \big( u_t(x) - u_t(y) \big)^2 + \beta \sum_{x \in X_t} u_t(x)^2 \big( 1 - u_t(x) \big)^2
  6. #6
    Etr(ut,us)=∑x∈Xt∑y∈XsMt→s(x,y) ω(ut(x),us(y))(us(y)−ut(x))2\mathcal{E}_{\mathrm{tr}}(u_t, u_s) = \sum_{x \in X_t} \sum_{y \in X_s} \mathbf{M}_{t \to s}(x,y)\, \omega(u_t(x), u_s(y)) \big( u_s(y) - u_t(x) \big)^2
  7. #7

    The adjacency structure is instantiated through a local relation kernel satisfying

    Kt(x,y)≥0,Kt(x,y)=Kt(y,x).K_t(x,y) \geq 0, \qquad K_t(x,y) = K_t(y,x).
  8. #8

    The associated aggregation operator is defined as

    (Ptf)(x)=∑yKt(x,y) f(y)∑yKt(x,y)+ε(P_t f)(x) = \frac{\sum_{y} K_t(x,y)\, f(y)}{\sum_{y} K_t(x,y) + \varepsilon}
  9. #9

    The currently adopted closure operator is

    Clt(u)(x)=σ ⁣(acl((1−ηcl) u(x)+ηcl (Ptu)(x)−τcl))\mathrm{Cl}_t(u)(x) = \sigma\!\Big( a_{\mathrm{cl}} \big( (1 - \eta_{\mathrm{cl}})\, u(x) + \eta_{\mathrm{cl}}\, (P_t u)(x) - \tau_{\mathrm{cl}} \big) \Big)
  10. #10

    The currently adopted distinction operator is

    Dt(x;1−u)=σ ⁣(aD((Ptu)(x)−λD (Pt(1−u))(x))−τD)\mathbf{D}_t(x; 1-u) = \sigma\!\Big( a_D \big( (P_t u)(x) - \lambda_D\, (P_t(1-u))(x) \big) - \tau_D \Big)
  11. #11

    The currently adopted co-belonging operator is the resolvent form

    Ct=(I−α Wsym)−1\mathbf{C}_t = (I - \alpha\, W_{\mathrm{sym}})^{-1}
  12. #12

    where is the symmetrized cohesion-weighted adjacency matrix. The resolvent can be expanded as a Neumann series:

    Ct=∑k=0∞αkWsymk\mathbf{C}_t = \sum_{k=0}^{\infty} \alpha^k W_{\mathrm{sym}}^k
  13. #13

    The currently adopted temporal transport kernel is

    Mt→s(x,y)=exp⁡ ⁣(−∥y−Ψt→s(x)∥22σM2−γM∥φt(x)−φs(y)∥2)∑y′exp⁡ ⁣(−∥y′−Ψt→s(x)∥22σM2−γM∥φt(x)−φs(y′)∥2)+ε\mathbf{M}_{t \to s}(x,y) = \frac{ \exp\!\Big( -\dfrac{\|y - \Psi_{t \to s}(x)\|^2}{2\sigma_M^2} - \gamma_M \|\varphi_t(x) - \varphi_s(y)\|^2 \Big) }{ \sum_{y'} \exp\!\Big( -\dfrac{\|y' - \Psi_{t \to s}(x)\|^2}{2\sigma_M^2} - \gamma_M \|\varphi_t(x) - \varphi_s(y')\|^2 \Big) + \varepsilon }