Structural and practical identifiability in multi-protocol Kibble–Zurek scaling
Rongzhen Dai
Abstract
A Kibble–Zurek rate scan gives one slope per observable, and three exponentsare often read from it: the field eigenvalue yg, the dynamic exponent z and theoperator dimension xO. We prove that the rate map carries an exact one-parameterredundancy: within this scaling family the response, freeze-out-field and freeze-outtime rate exponents are invariant under (yg, z, xO) → λ(yg, z, xO), so no number offurther ramp shapes or further observables of unknown dimension separates them,and rate-only data determine ratios alone. Within the homogeneous informationfamily considered here, we give a necessary-and-sufficient criterion for removing theredundancy: the information must contain a non-vanishing quantity homogeneousof definite, non-zero scaling weight, reaching the inversion either as an externallyknown exponent or as one further measured exponent whose scaling dimension isfixed by construction. A measured length does this; the freeze-out time, despiteits microscopic units, does not. Formal invertibility does not imply measurableidentifiability. Against exact diagonalisation of a quantum Ising chain in an imaginaryfield, with a free-fermion control, a freeze-out scale rebuilt from the response returnsthe normalisation it was given: a planted z = 2 comes back as z = 1.0000. Anunconstrained finite-size collapse does remove it, recovering all three exponents withnone pinned; but one invariant sits ten per cent from unity without improving withsize, and replacing response-conditioned sampling by a fixed grid of durations movesthem at the ten-per-cent level and above. The thermodynamic branch is left open,the criterion set in advance to test it having no resolving power at these sizes; at theYang–Lee edge the ratios come back as they should, −yg/xO = 2 and −z/xO = 1 forthe biorthogonal order parameter—though a two-level model with no lattice returnsthe same exponents, so what they establish is a square-root exceptional point.