Foundation Operator Core Coupled Recognition Cores Tensor Weyl Monomial

The tensor monomial

A tensor Weyl monomial is a mathematical expression built from two basic operations on a four-state quantum system, called a ququart. The operations are the standard Pauli-style shifts: one that flips a state's phase (the Z operator) and one that cycles the state labels (the X operator). The monomial is a product of these operators, each raised to a power, and the word tensor signals that the construction extends to systems made of several coupled ququarts.

In the Recognition Science framework, the declaration named tensorWeylMonomial is a definitional abbreviation. It establishes a naming convention: the object it names is exactly the same object already defined in the coupled recognition cores module. The framework's library of machine-checked formal statements records this as an identity, not as a new axiom or a derived result. The declaration also carries a few companion facts, such as the statement that the monomial evaluated at zero powers equals the identity, and that the monomial is orthogonal to itself in a specific inner product sense. These are properties of the definition, checked by the library, not empirical claims.

What the declaration does not do is more important for a reader. It does not assert that any physical system is described by this monomial. It does not prove that recognition events produce these operators. It does not connect the monomial to the framework's cost function, to the golden ratio, or to the forcing chain that derives physical constants. The declaration is a piece of bookkeeping: a way to name a useful algebraic object so that later statements can refer to it cleanly.

The practical consequence is that a reader should treat tensorWeylMonomial as a vocabulary entry, not as a discovery. It tells you what symbol the framework uses for a certain product of operators, and it records a handful of formal properties of that product. Any physical interpretation, any claim that this object appears in nature, would have to come from a separate statement with its own evidence. This declaration supplies none of that.

abbrev tensorWeylMonomial {N : ℕ} :=
  IndisputableMonolith.Foundation.CoupledRecognitionCores.tensorWeylMonomial (N := N)

abbrev tensorWeylMonomial {N : ℕ} :=
  IndisputableMonolith.Foundation.CoupledRecognitionCores.tensorWeylMonomial (N := N)

abbrev tensorWeylMonomial_zero_zero {N : ℕ} :=
  IndisputableMonolith.Foundation.CoupledRecognitionCores.tensorWeylMonomial_zero_zero (N := N)

abbrev tensorWeylMonomial {N : ℕ} :=
  IndisputableMonolith.Foundation.CoupledRecognitionCores.tensorWeylMonomial (N := N)

What this page does not claim

The declaration does not assert that any physical system is described by the monomial. The declaration does not prove that recognition events produce these operators. The declaration does not connect the monomial to the cost function, the golden ratio, or the forcing chain.

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/Foundation/OperatorCore/CoupledRecognitionCores.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: