no-go

3 items

A cross-corpus navigation page. Check each item’s declared scope and evidence status.

Frontier research (3)

FrontierPaperv0.12026-07-15

Dimension Threshold for FRC Reciprocity v0.1: One-Parameter and Qubit Lift Obstructions

The FRC ledger involution D(s,y)=(-y,-s), with normalized entropy s=S_mu/k*_mu and y=ln C, cannot act nontrivially on any one-parameter family whose coherence is strictly monotone and whose normalized entropy decreases with log coherence. The preserved coordinate v=s-y is then injective, so every lift is the identity restricted to u=s+y=0. Exact normalized reciprocity ds+dy=0 sharpens the result: a connected curve lies on u=c; if c is nonzero there is no same-family lift, while c=0 permits only the trivial identity on a ledger-injective family. The wrapped-Cauchy family supplies an exact Poisson-kernel example with stationary coherence 1/sqrt(3) and algebraic fixed ledgers. The full qubit state space crosses the dimension threshold: its two-dimensional ledger image contains a nonempty D-invariant region K with a one-dimensional fixed leaf and admits explicit inequivalent set-theoretic fiber lifts. Those lifts are not physical promotions. No incoherent operation, no unital qubit CPTP channel, and no unitary or antiunitary Wigner symmetry realizes D on all of K. A general nonunital coherence-generating CPTP or resource-assisted lift remains open.

FrontierPaperv0.12026-07-14

Exact Phase-Family Test of FRC Duality v0.1: A Lift Obstruction on the von Mises Manifold

The fixed-mean von Mises family provides an exact test of whether the FRC ledger involutions classified in FRC 830.001 lift from derived coordinates to probability distributions. The family has genuine information-geometric structure: concentration kappa and mean resultant r are natural and expectation coordinates, the log-partition function is strictly convex, and minus the differential entropy is its Legendre dual potential. That structure is not the FRC ledger exchange. For the ledger ell(kappa)=(S(kappa),ln r(kappa)), introduce u=S+ln r and v=S-ln r. The function v is strictly decreasing, while u is strictly unimodal with its unique maximum at kappa r=1. Because D(x,y)=(-y,-x) preserves v, every proposed D lift must fix kappa and can exist only at the two isolated roots of u=0. The broader half-plane involutions R_p(x,y)=(-x-2y+p,y) likewise force kappa to remain fixed and survive at no more than two isolated fixed ledgers. Neither class lifts on any open concentration domain. The point kappa r=1 is a maximum of the system-only ledger total, not a D-fixed point or structural self-duality. FRC therefore retains a P2 coordinate involution and gains a precise P3 lift obstruction in this family; it does not gain a phase-family physical or Majid-style self-duality.

FrontierPaperv0.12026-07-14

Operational Registers and Reciprocity-Preserving Morphisms v0.1

FRC uses several legitimate coherence routes, including phase order, the von Mises mean resultant, quantum purity, basis-dependent off-diagonal interference, and platform-specific composites. This paper formalizes how those routes may share a framework without being declared the same observable. A weak reciprocity map preserves the pulled-back ledger one-form up to a nonzero multiplier. A strong affine register morphism additionally supplies a state or model map and a commuting ledger square. Both classes compose; the strong class forms a category with explicit identities, associativity, exact-preserving and signed subcategories, and an invertible groupoid. One-form preservation alone is shown insufficient by an exact counterexample. The von Mises family supplies a nontrivial strong morphism into the phase-distribution register: the state-space inclusion commutes exactly with the entropy and mean-resultant ledger, but is not an isomorphism. A qubit no-go theorem proves that purity and fixed-basis off-diagonal coherence admit no single-valued ledger adapter under the identity state map, even though both are valid operational routes. Present FRC registers therefore form a typed formal category populated by a sparse graph of verified arrows, not one proven physical equivalence class.