Skip to main content

Read the result in its research context.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Scoped exclusion

Bare unsmoothed geometric cross-face quadratic fails its vacuum domain

In the question: Automated construction of operator maps and sources

Only the explicitly bare unsmoothed equal-time caller. No P1 no-go or exclusion of sewn/relative/renormalized insertions or existing finite WEDGE→D_F/Sadm path. Separate reflected HS midpoint remains scoped finite and distinct. Original selection of this bare caller is not established; do not impose universal regularization or a free smoothing choice as provenance.

Read the exact result, assumptions and evidence

Result

Actual multiplier retains nonzero |theta-theta_j|^(-2/3) jet after given maps, L1 but notL2. On one original occupied n=0 column, the bare T produces nonsquare-summable Fourier coefficients, while actual hole projections retain positive limiting c²/d² factors. Connected cutoff CAR variance therefore diverges. Original fixed Zref[0] denominator drops out of positive source derivatives and does not remove a source contact term or select the finite PH block as the whole regular part. Independently source/domain reviewed.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • All six original induced inputs at the fixed kinetic NS reader

    Evaluate the six existing offdiagonal mu_ab in the original induced NS/Hardy kinetic reader, Phi=0, finite positive ell_NS and half-frequency. Carry actual G_a input and J E^(b-1) output maps, same continuation, metric, spin, both graph faces and normal symbol. Do not identify individual twist lines or assume a physical combination or multiplicative compression of field products.

  • Bare unsmoothed cross-face quadratic on the given graph vacuum

    Test only bare equal-time CAR quadratic T_mu=J* M_mu with actual geometric multiplier and canonical finite spectral cutoffs on the given graph vacuum. No smearing, sewn insertion, heat evolution or source-dependent contact prescription. Original quotient denominator is fixed Zref[0,0,0].

Original evidence

finding:bare-unsmeared-mu-crossface-quadratic-fails-vacuum-domain