Qft Anomalous Dimension Rs

Anomalous dimension in RS

In quantum field theory, an anomalous dimension quantifies how a physical quantity, such as a field or a coupling constant, scales with energy in a way that differs from its classical, engineering dimension. This deviation arises from quantum fluctuations and is a central object in the study of scale invariance and conformal field theories. A nonzero anomalous dimension signals that a theory is not simply scale-free, but rather that its behavior changes nontrivially as you probe different energy scales.

The standard way to compute an anomalous dimension is through a renormalization group analysis, often involving perturbative expansions in a coupling constant. For a general interacting theory, this is a difficult, scheme-dependent calculation. The concept was developed in the 1960s and 1970s, with key contributions from theorists like Kenneth Wilson, who used the renormalization group to understand critical phenomena and fixed points. At a fixed point, where the coupling stops running, the anomalous dimension becomes a universal, scheme-independent number, a property of the fixed point itself.

In Recognition Science (RS), the framework models this universal number using its core cost function. The framework's library defines a quantity called domainCost, which is the cost of recognition for a ratio of two parameters, m and e. The specific claim is that at the golden-ratio coupling, the anomalous dimension equals J(φ)/φ, where J is the forced cost function and φ is the golden ratio. This evaluates to approximately 0.073, a structural prediction for fixed-point conformal field theories.

What does the machine-checked library actually prove about this? It proves three general facts about the cost function applied to a ratio. First, the cost vanishes when the two parameters are equal. Second, the cost is always nonnegative for positive inputs. Third, the golden ratio minus 3/2 is positive. These are all true statements about the cost function itself, not about quantum field theory. The library defines domainCost as J(m/e) without linking m and e to any specific physical quantities.

In Recognition Science, the framework's library proves that its cost function has the properties needed for a sensible measure: it is zero when things match and nonnegative otherwise. The specific number 0.073 for the anomalous dimension is a research note, a statement of where the idea was meant to go, not a proven result. The library itself is clear on this point: it proves nothing specific to quantum field theory because the definition of domainCost lacks a physical interpretation for its arguments. The framework's contribution here is a candidate structural form for the anomalous dimension, awaiting a definition of m and e in the subject's own terms.

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 proves the anomalous dimension is 0.073. The module establishes any result specific to quantum field theory. The parameters m and e are defined in physical terms.

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/QFT/Anomalous_Dimension_RS.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: