M49c The Associator Density: Where a Bent Operation Is Associative to First Order

The Theory of Operations studies arithmetic laws through the charts and protocols that produce them. A commutative operation may be strongly non-associative while possessing isolated points where its failure of associativity vanishes to first order. M49c "The Associator Density" introduces the associator density, derives its general law for commutative operations, solves it completely for two-chart operations, identifies the unique balance point of commutative power Cpow, and extends the theory to lines of related operations, higher bent midpoints, complex continuation and AGM-Op. For a commutative operation circ, define the associator As(a,b,c) = (a circ b) circ c-a circ (b circ c). Spread the outer operands symmetrically around m: (m+u,b,m-u). Commutativity makes the resulting associator odd in u. Its first nonzero term is normally linear. The two-argument associator density is a(m;b) = d/du As(m+u,b,m-u) at u=0. The diagonal density is a(m)=a(m;m). Where a(m)=0, the operation is associative to first order along its diagonal, and the associator begins cubically in the spread. This is a local tangency to the associative world, not exact associativity. For any differentiable commutative operation F, with d=F(m,b), M49c proves a(m;b) = 2*(F_1(m,b)*F_1(d,m)-F_2(d,m)). Defining the slope ratio rho_F(m,b) = F_1(m,b)*F_1(d,m)/F_2(d,m), gives a(m;b) = 2*F_2(d,m)*(rho_F(m,b)-1). The density vanishes exactly when translating first by b and then by m agrees to first order at m with translating directly by b circ m. The numerical value of the density depends on the coordinate, but its zero set does not. First-order associative points are therefore properties of the operation rather than artefacts of its formula. Two-chart operations A two-chart operation has the form O(a,b) = psi^(-1)(phi(a)+phi(b)), where phi measures the operands and psi decodes their sum. Put rho = phi'/psi'. If d=O(m,b) and d_3=O(d,m), then a_O(m;b) = 2*phi'(m)*(rho(d)-1)/psi'(d_3). On the diagonal, a_O(m) = 2*phi'(m)*(rho(m_2)-1)/psi'(m_3), where m_2=O(m,m) and m_3=O(m_2,m). The density can vanish in exactly two ways: a fold zero, where phi'(m)=0; a contact zero, where the measuring and decoding charts have equal slope at the square. At a contact zero, the transition behaves like a translation to first order. Exact associativity requires this condition everywhere; first-order associativity requires it only at one relevant point. The regular two-argument zeros are level curves: O(m,b) in Sigma_O, where Sigma_O = {x : phi'(x)=psi'(x)} is the contact set. Every quasi-arithmetic mean lies at the opposite extreme. Its slope ratio is 1/2, and its density is a(m)=-1/2 at every point. A quasi-arithmetic mean never becomes associative to first order. The unique balance point of Cpow Commutative power is Cpow(a,b) = exp(sqrt(a*b*ln(a)*ln(b))). Its density is a_Cpow(m) = (1/2)*(1+ln(m))*m^(m/2) *exp(m^(m/2)*m*ln(m))*(m*ln(m)-1). It tends to -1/2 as m -> 1+, has exactly one zero and is positive beyond it. The zero is m_* = exp(W(1)) = 1/Omega = 1.7632228343518967.... This point has several equivalent descriptions: a_Cpow(m_*)=0; m_* ln(m_*)=1; Cpow(m_*,m_*)=e; ln(m_*)=Omega; m_* is the identity of Cpow's associative straight factor; the square of m_* lies at the quadratic point of Cpow's producing protocol. The reason is chart contact. Cpow measures through phi = (ln+ln o ln)/2 and decodes through psi = ln o ln. Their slope ratio is rho(x)=(1+ln(x))/2, so the charts touch only at x=e. Cpow therefore balances at the point whose square is e. Cpow is still not associative there. Along the symmetric diagonal line, As(m_*+u,m_*,m_*-u) = -2.48486729075...*u^3+O(u^5). Different bracketings of four equal operands also remain unequal. The zero records first-order tangency only. The complete two-argument zero set is Cpow(m,b)=e, or equivalently sqrt(m*b*ln(m)*ln(b))=1. Thus the zeros obtained by changing the middle operand form one level curve of the invariant conserved by the orientation protocol. The protocol clock Every regular two-chart operation determines an adapted exchange protocol with multiplier q_O(x)=1/rho(x)-1. Contact points are the quadratic points of this protocol, where q_O=0. Folds are poles of the multiplier. The density is the protocol multiplier evaluated at the square: a_O(m) = -2*phi'(m)*q_O(m_2) /(psi'(m_3)*(1+q_O(m_2))). For Cpow, q(x) = (1-ln(x))/(1+ln(x)). Its quadratic point is x=e. Hence m_*=1/Omega balances because its square is processed at zero multiplier. At m_*, the protocol itself still has the finite multiplier q(m_*) = (1-Omega)/(1+Omega) = tanh(Omega/2). The operation has no first-order associator defect there, even though its producing protocol has not reached its own quadratic point at m_*. Lines and ladders The rank-three C-line is C_s(a,b) = exp(sqrt((a*b)^s*ln(a)*ln(b))). For s>0, its unique first-order associative point is m_s = exp(Omega/s). The identity of its straight factor is z_s = exp(W(s)/s). These coincide only at s=1. Cpow is therefore the unique positive member of the C-line whose straight identity is also its first-order associative point. At s=0, the operation becomes a quasi-arithmetic mean with density -1/2. For s<0, the contact set disappears and the zero comes from a fold. For Croot, the fold zero is m=e. The same mechanism repeats through the shelf. On floor k, the bent midpoint has one zero at u_k = exp^[k](Omega), which is also the identity of its straight factor. These zeros climb the ladder by chart covariance. The repetition does not imply that the higher bent midpoints are HyperCore rungs. The broader gallery gives a compact classification: associative rooms have density 0; quasi-arithmetic means have density -1/2; the Halbzeug has constant density-2*t*(1-t); Cpow and the bent midpoint ladder balance once at their straight identities; Croot balances at a fold; the operation associated with Pyramidation never balances. Beyond two charts On the unit circle, the real first-order associative point disappears. Neither analytic continuation from the real diagonal nor direct evaluation using principal logarithms and roots produces a zero. The two continuations agree near the absorber but differ away from it. This demonstrates that a complex associator-density statement is incomplete until its branches and continuation path are specified. The monograph also studies AGM-Op(a,b)=AGM(a+b,a*b). This operation is not two-chart because its web curvature is nonzero. Nevertheless, its diagonal density has one computed zero: m_AGM = 4.460988778628.... The zero satisfies an equation involving complete elliptic integrals. Its two-argument zero curve crosses the level curves of AGM-Op, so it cannot arise from any hidden chart-contact set. Its structural meaning remains open. M49c establishes a local calculus of non-associativity. For arbitrary commutative operations, the density measures the first-order failure of nearby translations to compose associatively. For two-chart operations, every zero is either a fold or a chart-contact point read through the square, and the same zero is encoded by the multiplier of an adapted exchange protocol. Cpow has one distinguished balance point, 1/Omega, where its square is e and its straight factor has its identity. The law extends across the C-line and the bent-midpoint ladder, but reaches a genuinely different frontier in AGM-Op, whose first-order associative point has no two-chart explanation.