Skip to main content

ising_by_soft_spin

logicaffeine_compile::codegen_ana::dynamics

Function ising_by_soft_spin 

Source 
pub fn ising_by_soft_spin(
    j: &[Vec<f64>],
    h: &[f64],
    opts: &SettleOpts,
    beta_max: f64,
) -> Result<IsingOutcome, AnaLowerError>
Expand description

The R3 attempt: minimize H(s) = −Σ J_ij·s_i·s_j − Σ h_i·s_i by SOFT-SPIN relaxation (Hopfield 1984): continuous states x ∈ [−1,1]ⁿ follow ẋ = −x + tanh(β·(J·x + h)) with the annealing schedule as a NOISE-AMPLITUDE RAMP (opts.noise_amp decaying linearly to zero — the noise floor as a resource) while β ramps up. The trajectory and the tanh live in the UNTRUSTED model tier; the readout sign(x̂) is certified digitally and exactly: recomputed energy and 1-flip stability, judged by proof::relax_replay::check_ising_claim. A candidate that is not even 1-flip stable is polished greedily (each flip strictly lowers H — a certified descent, not a search).