Chemistry Colloid Stability From Jcost

Colloid stability and the five regimes

Colloid stability is the study of why fine particles in a liquid either stay dispersed or clump together. A colloid is a mixture where one substance is finely scattered through another, like milk fat in water or pigment in paint. Stability matters because it decides whether a product keeps its texture, whether a drug stays suspended, or whether wastewater separates. The classical theory, DLVO theory, explains stability through the balance of attractive van der Waals forces and repulsive electric double-layer forces between particles. When repulsion wins, the colloid stays stable; when attraction wins, particles aggregate and the colloid breaks.

In the Recognition Science framework, the same physical situation is described through a cost, a forced number that measures how much recognition events deviate from perfect agreement. The framework's central theorem proves that any cost function satisfying five plain conditions must equal J(x) = (x + 1/x)/2 - 1. This single function then forces structure across many domains. The chemistry module applies this cost function to colloid stability and finds exactly five canonical regimes: electrostatically stabilized, sterically stabilized, depletion-stable, gel-forming, and flocculated. These five are not chosen by hand; the framework's machine-checked library of formal theorems proves that the count is five by computation.

The module also identifies the DLVO secondary minimum as a gate: the condition for a colloid to settle into a weak, reversible flocculation is expressed as a band on the potential ratio, evaluated through the same J function. The five regimes correspond to the five possible configurations that the cost function permits. The proof is fully checked: the library reports zero unproved assumptions and zero axioms beyond the standard logical foundations. This means the count of five is a theorem, not a modeling choice.

What this establishes in plain language is that the number five is not arbitrary. The framework derives it from the same cost function that forces the golden ratio and three spatial dimensions. A colloid scientist does not need to accept the framework to use the classification; the five regimes match standard practice. The framework's contribution is to show that these five, and only these five, are forced by a single underlying principle.

theorem colloidRegime_count : Fintype.card ColloidRegime = 5 := by decide

inductive ColloidRegime where
  | electrostatic
  | steric
  | depletion
  | gelForming
  | flocculated
  deriving DecidableEq, Repr, BEq, Fintype

structure ColloidStabilityCert where
  five_regimes : Fintype.card ColloidRegime = 5

What this page does not claim

The framework does not derive the DLVO potential equations themselves. The five regimes are not claimed to be the only possible colloidal behaviors in all conditions. The module does not provide numerical predictions for specific colloid systems.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Chemistry/ColloidStabilityFromJCost.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: