Chemistry Liquid Crystal Phase From Jcost

The order parameter

Liquid crystals are a phase of matter that flows like a liquid but keeps some of the order of a crystal. In a nematic liquid crystal, rod-shaped molecules align along a common direction, but their centers stay randomly placed. The degree of this alignment is measured by the nematic order parameter S, which runs from 0 in the isotropic, disordered state to 1 for perfect alignment. A typical liquid crystal at room temperature shows S around 0.4 to 0.7.

The standard theory of liquid crystals, developed by Pierre-Gilles de Gennes and others in the 1970s, describes this ordering through a free energy that depends on the orientation of molecules. The order parameter emerges from minimizing that energy. The mathematics works well, but the form of the energy is chosen to fit experiments, not derived from a deeper principle.

In Recognition Science, the framework models the same ordering from a different starting point. It defines a cost function, a number that measures how expensive it is for a system to be in a given state, and writes the cost of a liquid crystal as J(m/e), where m and e are two quantities describing the material. The framework proves three general facts about this cost: it is zero when m equals e, it is never negative for positive inputs, and the golden ratio phi is greater than 3/2. These facts are verified in the framework's machine-checked library of formal theorems, and they hold for any positive values of m and e.

The framework then identifies the equilibrium order parameter as S_eq = 1 - J(phi), which evaluates to about 0.882. This is a prediction about the perfectly ordered ground state, not a description of a real material at room temperature. The empirical range of 0.4 to 0.7 applies above the ground state, where thermal motion reduces the order. The module does not define what m and e mean for a specific liquid crystal, so it proves no theorem specific to this subject. It establishes a template: if a future definition connects m and e to molecular properties, the same three facts would apply.

What the module shows is a method. The order parameter of a liquid crystal can be expressed as a function of a cost, and that cost has a fixed mathematical shape. Whether that shape matches real materials is a question for experiment, not for the framework's proofs.

theorem domainCost_at_eq (r : ℝ) (h : r ≠ 0) : domainCost r r = 0 := by
  unfold domainCost; rw [div_self h]; exact Jcost_unit0

theorem domainCost_nonneg (m e : ℝ) (hm : 0 < m) (he : 0 < e) : 0 ≤ domainCost m e := by
  unfold domainCost; exact Jcost_nonneg (div_pos hm he)

theorem canonicalThreshold_pos : 0 < canonicalThreshold := by
  unfold canonicalThreshold; linarith [phi_gt_onePointFive]

What this page does not claim

The module does not prove that any real liquid crystal has order parameter 0.882. The module does not define m and e in terms of molecular properties. The framework does not claim its cost function replaces the standard free energy description.

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/Liquid_Crystal_Phase_FromJCost.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: