Emergence IS the Needle Killer

Abstract

A needle is a persistent obstruction: a direction in which a declared budget is violated, typically because the available measurements cannot see or explain the response in that direction. We give a linear-algebraic account of when a richer family of measurements removes such an obstruction. Measurements are linear maps on a space carrying a positive semidefinite energy. The currency of a measurement family is the positive operator whose quadratic forms are its largest squared responses at energy at most one, and an obstruction is a direction in which a currency exceeds a declared budget. The first main theorem bounds the currency of a target family, after transport to a common space, by combining three separately proved estimates: a bound for the native measurements, a bound for the part of the target they cannot explain (the adequacy residual), and a transport estimate. The second main theorem works in infinite-dimensional Hilbert space. If the part of an object readout that changes sign under an involution is dominated by positive budgets whose traces tend to zero, then almost every object lies on the fixed locus of the involution. We then construct parts of the hypotheses of these theorems in useful cases: a Schur formula for minimum energy with its exact legality conditions, exhaustion by increasing Hilbert windows with explicitly paid cross terms, forward transfer along isometric bridges with errors tracked through chains, and a greedy selection of measurements from a finite dictionary that drives the residual to zero at a geometric rate when the dictionary satisfies a lower frame bound on the initially hidden directions. Examples from the Riemann hypothesis and the Navier–Stokes equations identify exactly which analytic estimates such applications would still have to prove; we prove neither conjecture. The principal abstract results are formalized in Lean 4.