Chemistry Nmr Coupling From Phi

NMR coupling and the phi ladder

Nuclear magnetic resonance (NMR) spectroscopy is a workhorse of chemistry and medicine. A strong magnetic field makes atomic nuclei line up like tiny compass needles, and radio pulses knock them out of alignment. As they relax back, they emit signals that reveal their chemical surroundings. One of the most informative details in those signals is the J-coupling, a splitting pattern that shows how nuclei interact through the bonds of a molecule. The size of this splitting, measured in hertz, depends on the geometry of the bonds. In the 1950s, Martin Karplus worked out the famous relationship between the coupling strength and the dihedral angle between bonds, a curve that still guides chemists today.

The numerical values are small and precise. For two hydrogen atoms on adjacent carbon atoms, the vicinal coupling constant, written as 3J_HH, typically falls between about 6 and 10 hertz. The exact number depends on the angle between the bonds, the electronegativity of nearby atoms, and other electronic effects. Chemists use these values constantly to determine molecular structure, for example to tell whether a molecule is in a cis or trans configuration, or to work out the shape of a sugar ring. The coupling is a direct readout of molecular geometry, which is why it has been a central tool for decades.

In Recognition Science, the framework models this coupling through its own cost function. The framework's central object is the recognition cost, a number that measures how expensive it is for one thing to recognize another, defined as J(x) = (x + 1/x)/2 - 1. This cost function is forced by a set of plain axioms, and it produces the golden ratio phi as a special scaling constant. The framework's library contains a module that applies this idea to NMR. The module defines a quantity called domainCost, which is simply the recognition cost applied to a ratio of two masses, m over e. It proves three general facts about this quantity: it is zero when the two masses are equal, it is never negative for positive masses, and the threshold phi minus 3/2 is positive.

What does this establish in plain language? Very little about NMR itself. The module proves facts about the cost function, not about actual coupling constants. The research note attached to the module suggests a connection, writing that the coupling might be J(phi) times a reference frequency, and that at 100 MHz a value of 0.118 times 100 million gives 11.8 MHz, which is clearly wrong, so the note corrects itself to audio scale, where 10 hertz is roughly phi to the fifth power divided by 1000. But this is a research note, not a theorem. The module itself contains no definition of what m and e mean in chemical terms, so it cannot yet make a specific prediction about any real molecule.

The honest summary is that the framework has a tool, the cost function, and a hope, that the golden ratio appears in NMR couplings. The tool is rigorously defined and its basic properties are proved. The hope remains unfulfilled. To turn this into a real result, someone would need to define m and e in terms of nuclear spins, bond angles, or some other chemical quantity, and then show that the resulting numbers match measured couplings. Until that definition exists, the module is a template waiting for its subject, not a discovery about chemistry.

def domainCost (m e : ℝ) : ℝ := Jcost (m / e)

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]

def domainCost (m e : ℝ) : ℝ := Jcost (m / e)

What this page does not claim

The module proves any specific value for a real NMR coupling constant. The golden ratio has been shown to govern actual measured J-couplings in any molecule. The research note's audio-scale estimate of 10 hertz is a derived or verified result.

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