Complete note archive
Every maintained scientific note appears once. Priority measures current retrieval importance, not proof quality or novelty. Source notes govern later corrections.
Greppable catalog · Dependency paths · Obstruction map
Newton/action
- PDFNewton's cell action as a measure on cuts
Any cut spends 3s(1−s)K_τ in orthogonal hat energy; shares add and exhaust K_τ exactly when mesh vanishes. Gaussian bridge information and finite-grid optimal mark discernibility equal corresponding action/scale ratios.
- PDFLeibniz's law of continuity, read on records, selects a positive action floor for motions
In the non-adaptive Gaussian mark model with preparation-invariant tests, optimal force discrimination is continuous at zero force iff κ>0; finite schedules realize spent cut action/κ. Historical passages support an explicitly modern record-level reading of continuity.
- PDFThe mark cost is exactly ℏ/2, and the worst-case theorem survives as a statistical one
Position-coupled quantum probes have exact error/recoil commutator and uncertainty cost ℏ/2. Independent Gaussian marks with preparation-invariant tests yield the sharp τΔE≥48z²κ bound; correlated probes lower its effective cost and can defeat it.
- PDFWhat a necessity argument for h > 0 must supply: a unit and an indeterminacy
Radiation universality/scaling, finite positive integrated energy and low-frequency normalization define a positive enclosure-independent action unit. A specified classical two-pointer protocol defeats a prior-only density ceiling by sharpening the completed posterior.
- PDFNewton indeterminacy routes: the physical premise a record floor needs
A conditional classical statistical-speed theorem reproduces the exact sagitta/impulse disturbance bound; Gaussian ensembles with affine generators satisfy its premise with h*=2ζ. Background and Newton inflexion candidates leave record closure and scale matching open.
- PDFGalileo's falling parabola, Newton's refinement and the Planck-scale question
Establishes the geometric anchor (3F/v)A=τΔE and distinguishes it from matched-endpoint chord and force-centre sectors. Explicit F,−F,F return forces reunite both arms and give an exact scalar quantum phase for any body state.
- PDFNewton's record as a parallel move: what forgetting a record leaves
Forgetting a Gaussian position record of width σ gives exactly momentum convolution with variance ℏ²/(4σ²); concurrent mark precisions add, and linear dynamics transports the resulting covariance.
- PDFThe cost of a mark: Newton's vanishing sagitta and a floor of order ℏ
Main synthesis combines sharp Gaussian recording bounds, general disturbance costs, state-independent polygon phases, and edition-labelled Newton/ancient division sources.
- PDFThe probabilistic Planck gap: Fτ(L+τ P/2m) ≥ ℏarcsin(1-2ε), and why it is resource-relative
Arbitrary adaptive quantum instruments obey JL+sP≥ℏ arcsin(1−2ε) when position/momentum resources are bounded on the required hybrid states. Separated packets permit arbitrarily small Galileo action with unbounded preparation aperture.
- PDFNewton's inscribed polygon differs from the parabola by the phase of its segments
Endpoint-matched polygon and forced motion differ by the exact scalar phase ΣKstep/ℏ; constant force gives F²Στj³/(24mℏ), with exact insertion and ordering identities. The same Dirichlet functional bounds Gaussian distinguishability by K/κ.
- PDFA fifth postulate for the Principia: joint determinacy of place and motion
Added covariance classifies the Moyal algebraic route and a Gaussian state-restriction route, both retaining an unselected zero branch.
- PDFThe record costs disturbance: a floor for every instrument
General unitary recording pays in momentum or position disturbance, evaluated on the hybrid states required by the proof.
- PDFThe record costs recoil: a floor for every probe state
Arbitrary momentum-transfer probes retain a recoil bound, while grid probes show why Gaussian action-error bounds are not universal. corrects: mark-cost-and-statistical-floor.
- PDFThe record's distance is a path length
Bures-angle paths sharpen protocol constants and combine aperture and disturbance into one force-split accounting. corrects: planck-gap-probabilistic.
- PDFRivero's consistency conjecture: quartic paths and central-force angles
Constructive quartic and angular-phase tests retain zero-action sequences despite valid refinement and cycle consistency.
- PDFOne action constant from composition and spatial rotations
Interacting Newton derivations propagate canonical action-constant equality but preserve the common zero branch.
- PDFScore-constrained ensembles and population transport
Restricted classical sheet action gives the Fisher action and reservoir-aware population momentum. Fixed compact shapes fail, but a width/phase mode has a positive non-Gaussian forward completion. Nonlinear copies generate quartic exponential tails outside finite Hermite–Gaussian modes, with exact unread recoil energy. §§6–8: the two-sheet switching realization exists on every positive solution and for all forward time on the explicit orbit; its controller is the field pair and the record history; branch controllers pass the two-unread-width test with a variance witness against a marginal score; closure holds at every κ≥0, so the apparatus-closure route to positivity is closed.
- PDFShared radiation and closure under recording
Shared-score classical preparations realize nonlinear coordinate-copy correction but fail full readout and free transport. A stationary switching repair matches the Gaussian Fisher target with exact mean-energy balance; its force requires preparation or apparatus memory.
- PDFThe self-sufficiency contrast: where Newton's axioms leave motion undefined, the theory with h > 0 defines it
For Kepler's force the classical flow is incomplete (explicit collision time, invariant null collision set, no continuation from the axioms) while the quantum Hamiltonian is self-adjoint with global unitary dynamics for every h>0 (Kato, cited); the quartic shows the same contrast; the classical trajectory is the derived centroid (exact for quadratic forces, Hepp cited for Kepler under a stated localization hypothesis). With finite c the self-sufficient theories have h ≥ k/(α_c c): a gap in the admissible values of h.
- PDFBrownian free motion: the velocitas ultima denied, one action constant, and the floor
Specified Brownian free-motion and composition laws force one nonnegative action constant and conditionally yield a sharp Galileo record floor.
- PDFWhich limits of Newton's construction reach the zero branch
States the gap thesis as a claim about limits and locates it. With Gaussian preparations, quadratic forces and minimal Gaussian marks the record family is continuous at zero (no gap on Galileo's comparison). For determinate preparations whose streams cross, the complete record has an h→0 limit only if signed cross amplitudes cancel, while smeared records converge to the classical branch sum; exact for inertial motion with a graded velocity inside its fold interval and for a Kepler swarm whose windings overlap. corrects: score-constrained-ensemble.
- PDFAn action floor on transverse phase-space area produces the Yang–Mills quantum-mechanical gap, and a gap forces an action unit
A supplied transverse orbit-area floor confines the x²y² classical valley and reproduces the quantum-mechanical gap's energy unit; a finite gap reconstructs an action unit in the mechanical model and dimensionful lower-dimensional cases.
- Dilation closure and the action-selection obstruction
Space–time contraction q_a(t)=a q(t/a), V_a(Q)=V(Q/a) preserves mass, speed and energy while scaling orbit/Hamiltonian/covariance actions by a, giving zero infimum in contraction-closed classes.
- PDFClassical action scales: obstructions, conditional bounds and quantum premises
Consolidates classical vanishing-action families, conditional excitation/composition bounds, finite-apparatus ambiguity/recovery, and the distinction between relaxation and physical Hamiltonian gaps.
- PDFA universal action floor needs a fixed action unit and no admitted similarity
Dimensional homogeneity and universality require a finite positive floor to be a fixed-constant action product; admitted action-rescaling similarities force zero infimum. Classical k_e,c,G yield unique mass-independent unit k_e/c=αℏ.
- PDFEvery mark with body-independent noise is a momentum-transfer mark
Apparatus-only reading error and disturbances force a canonical error–impulse pair; position-undisturbed marks reduce to von Neumann momentum-transfer couplings, and the recoil bound extends to position-displacing marks.
- New information behind a delayed record
With exact past state but unknown future |f|≤F over delay ℓ, exact minimax errors are Fℓ²/(2m), Fℓ; the curved reachable lens has canonical area 2F²ℓ³/(3m).
- Closed trajectories: action from total turning and persistent excitation
Regular closed Newtonian trajectories with speed ≥v_* and force ≤F_max obey J≥m²v_*³/F_max; relativistic momentum adds (1−v_*²/c²)⁻¹. A smooth force-bounded central potential attains equality on a circle.
- PDFA shared action coefficient from classical composition
Nonnegative mass-only fluctuation coefficients preserved by independent centre-of-mass composition over every positive mass are constant K≥0. A supplied nonzero-speed finite-rate telegraph reference makes K positive within that preparation class.
- Exact finite-horizon phase recovery
Exact bounded-force position/momentum minimax risks have acceleration, two-arc and saturation regimes, with momentum saturation at T=4√(mε/F). Product fibres compose exactly; averaging records can lose both coordinates during mixed regimes.
- Fixed force ceiling: small bound circles and an excitation floor
One fixed smooth relativistic confining potential with globally bounded force supports radially stable circular orbits whose normalized angular actions behave as √(mK)R²→0. A supplied positive speed floor instead gives a conditional force-limited action bound.
- PDFGalileo's comparison as two-path interference
Endpoint-matched constant-force and impulsive propagators differ by the scalar phase Kτ/ε, yielding an exact independent-copy discrimination law. Refinement erases the signal; classical-first coherence oscillates, while relative-resolution averaging or calibrated attenuation gives specified noncommuting limits.
- A sharp information bound from indistinguishable motions
Convex symmetry and an explicit force-controlled pair give sharp coordinate minimax risks hidden by an entire bounded-noise position history, matching two-record recovery. At zero delay their product is 2√(mF) ε^(3/2).
- PDFThe intermediate region as a finite verification: complete analyticity, the transfer matrix, and the two numbers whose meeting closes the proof
Conditional finite-block mixing certification would furnish a volume-uniform Wilson transfer gap and an open target for an RG trajectory in full interaction space. No certificate or reach estimate is supplied. is superseded by: reasons-to-stop-as-research.
- PDFThe cost of a mark: a Newton-age floor for the Galileo comparison
In an early worst-case mark model, added irrecoverable-recoil premise M3 yields a protocol-dependent Galileo action floor; determinate fits plus later screen records defeat it. Mathematical subdivision remains unrestricted. is superseded by: mark-cost-and-statistical-floor.
- Newton's vanishing areas and the proposed action scale
Exact Galileo areas give an endpoint-matched action defect and a carefully scoped Newtonian source anchor.
- Radiation balance selects a spectral shape, but leaves its action amplitude free
Linear radiation balance cancels probe parameters in a regulated resonance limit but cannot select the reservoir's action amplitude.
- Relativistic Kepler: a singular-core angular-action threshold
Relativistic Coulomb binding has a positive angular threshold only with the singular external core.
- PDFA Lorentz-invariant background and the state-route constant: a conditional link to the radiation unit
A supplied resonant zero-point amplitude can be calibrated to the radiation unit only under a disputed SED thermal-spectrum premise.
- PDFGlobal spin phases quantize a ratio, not an absolute action scale
Spin-sphere phase patching quantizes 2s/K only after a phase unit K is supplied.
- PDFThermodynamics of records gives a trade-off and no floor
For a uniform prior and bounded posterior support, the stipulated measurement-plus-erasure law gives W≥kBT log(A0/η); classical finite-precision protocols retain arbitrarily small positive η at finite increasing cost.
- PDFA topological energy floor survives shrinking while the action cost vanishes
Smooth degree-one O(3) sigma-model static solutions of every radius saturate a fixed sector-energy floor, while their action magnitude over one radius-crossing time tends to zero. Vacuum waves remain arbitrarily soft.
- Bound motion: transport variance and a canonical action estimator
For a phase-uniform circular orbit, 2√det Cov(x,p_x)=RP equals normalized orbital action, while displacement-response coefficients vanish at short and long windows.
- PDFA sharp mechanical cost for a finite-duration reversal
A return with endpoint velocities ±u and acceleration ceiling a exists iff T≥2u/a and has unique minimum kinetic action mu³/(3a). Chord-action defect is bounded sharply by ma²T|π|²/24.
- Finite operational closure does not select quantum composition
Restricted affine measurements of classical random orientations yield ball states, capacity two, continuous reversible local motion and multiplicative composite dimensions/capacities. Minimal classical composites fail purification and Hardy's subspace requirement.
- The spin interaction admits no exact finite observable repair
The interacting two-spin flow generates arbitrarily many independent time-translated observables, excluding every finite bounded-observable repair containing the original effects. Nonlinear updates of finite expectations cannot evade the obstruction when all preparations are admitted.
- A reversible spin interaction separates identical operational states
Two classical spin preparations share all retained first/cross moments and microscopic energy but evolve to different allowed product probabilities under H=J u_z v_z. Smooth microscopic reversibility therefore fails to descend to the operational quotient.
- PDFMechanical interference measures phase without fixing an action unit
An explicit ideal string network produces mechanical work fringes whose normalized autocorrelation survives attenuation, while energy and canonical action shrink quadratically. The finite-pulse construction distinguishes canonical action from the traveling wave’s zero Lagrangian action.
- Worst-case information scales under mechanical composition
Cartesian bounded-error experiments compose exact scalar minimax radii by sums of absolute weighted radii. Identical constituents make the canonical risk product extensive; discarding constituent records can strictly increase momentum risk.
- PDFThe Planck gap as a theorem: every marking protocol needs F²τ³ > 9mκ
Conditional classical bounded-error/bounded-recoil protocols require F²τ³>9mκ; a balanced two-mark construction succeeds above 36mκ. is superseded by: planck-gap-probabilistic.
- The surviving area is the matched-endpoint arc–chord defect
A genuine receding-centre family retains the matched-endpoint lens but cancels the apparent tangent-sector remainder.
- PDFReciprocal exchange fixes relative mechanical scales
Reciprocal spring networks fix compatible inertia ratios while leaving one common action multiplier free.
- PDFIndependent settings test shared readiness, while leaving action units free
CHSH bounds arbitrary shared-readiness local models under setting independence but cannot select an action normalization.
- PDFStabilizing a topological radius exposes an action coefficient
Skyrme-type size stabilization exposes a coefficient with action dimensions but leaves common normalization arbitrary.
- PDFSuperdeterminism lives below every resolution; a floor gives it a lifetime
Exponential mixing of a connected Anosov setting device bounds hidden-variable/setting correlations for Lipschitz-resolved conditional preparations, with a logarithmic resolution-dependent onset.
- PDFNonlinear feedback selects an action only while its energy source supplies power
An explicit dissipative oscillator/depot model loses all action with finite fuel; replenishment above P_c gives attracting J_*=(P−P_c)/(2γω) for positive seeds.
- I003: finite propagation, internal state and resolution
Corrected exploratory draft retains exact two-state commutator scales and a specified additive-noise double-limit calculation, while withdrawing general zero-response and classification claims.
- PDFIndependent monotone receivers cannot suppress coincidences
Independent monotone detectors fed fixed fractions of one scalar pulse energy obey p₁₂≥p₁p₂, with sharp efficiency/balance trade-offs. Saturation and dark counts preserve the premise package.
- A13: ordered-beam preparation
Routes to the reviewed collision manuscript: a stationary ordered two-stream preparation makes tagged motion periodic and kills its long-window response while preserving mass, speed, density and mean collision frequency.
- PDFA passive threshold creates events, but its scale belongs to the receiver
Independent equal-threshold detectors cannot maintain both exclusive clicks and unit efficiency over an open energy range; an explicit conservative quartic barrier realizes the crossing threshold.
Yang–Mills/gauge
- PDFFour-dimensional composition: exact Gaussian blocking and one-loop matching
Exact directional Gaussian composition preserves harmonic flux normalization but sharp blocked covariance grows with depth. Refereed determinant-jet estimates and conditional telescoping give universal average running; §7 supplies formal finite one-step vertices/matching constants.
- PDFFour-dimensional parallel insertions: one-loop shifts and the logarithm
Computes formal one-step four-dimensional anisotropic shifts and conditionally recovers the universal inverse-coupling change −2b₀ log 2 from matched background determinants. Exact generated-action recursion retains every induced interaction.
- PDFGaussian product blocking: the tree-level coupling never moves
Exact Gaussian product blocking multiplies the small-momentum heat-time coefficient by 2^(4−D), preserving it in four dimensions at every finite depth. Centred nearest-plaquette input retains an O(K²) error.
- PDFA gap is a scale the classical theory lacks: solved low-dimensional mass gaps and the positive-action question
Dimensional and spectral scaling organize supplied versus generated gaps; written scalar/SU(2) matrix-model proofs explain transverse zero-point confinement and its ℏ^(4/3)g^(2/3) scale. Includes finite-volume, two-dimensional flux and scale-anomaly examples.
- PDFThe map as one conditional theorem: two hypotheses, both finite in kind, and an explicit lower bound m ≥ ℏ c γ'/a*
Packages an RG fluctuation-decay hypothesis and robust finite-box mixing certificate into a proposed lattice decay/gap transfer, with physical lower scale ℏc min(γ*,γ′)/a*.
- PDFThe mass gap as a finite list of theorems: the Hamiltonian lattice route
Canonical map distinguishes finite-lattice positivity, strong-coupling volume uniformity, weak-trajectory scaling, continuum axioms and the small-volume corner. T1 follows from compact resolvent and positivity improvement; δ(g) must scale with aΛ for a finite physical gap.
- PDFThe mass gap: current position of this programme
Earlier major synthesis collects finite-lattice/strong-coupling results, upper-bound tools, exact identities and seven failed approaches, with explicit weak/strong threshold asymmetry. Later sections reject correlation monotonicity and certified physical-coupling H2 as weak-side solutions.
- PDFThe two reasons to stop, as research problems: what a correlation inequality would buy, what a certified verification cannot, and where the research is
Strong-side monotonicity and available finite certification leave weak-side RG as the decisive mass-gap target. corrects: what-would-unblock.
- PDFSeries and parallel: where the gauge insertion law stops closing
Directional heat-kernel halving closes in series but leaves an exactly defined coupled mid-plane parallel theory.
- PDFOne small-field blocking step, part 1b: the decay rate and the shape of the threshold, and why the weak side's deficit is ten orders of magnitude
Explicit Gaussian decay estimates lead to a heuristic nonlinear threshold far below the desired physical weak-coupling regime.
- PDFSU(2) on the full mid-plane: the relative-order-t halving defect
Formal full-plane one-loop coupling shifts have explicit signs and SU(N) scaling, with a separate finite-torus winding obstruction.
- PDFThe SU(2) mid-plane on its small-field set: bounds and the missing comparison
Normalized barriered one-step bounds culminate in all-order weak-strip correlations and exact dressed activities, with moving-background source control proved only for a quadratic test model.
- PDFThe SU(2) bridge midpoint in closed form: the curvature term is exact
Exact bridge character formulas cover every spin; spin-½ is scalar, while refereed spin-1 matrix entries retain axial anisotropy and explicit image bounds.
- PDFThe bridge midpoint on a compact group at any cut: windings and the centre
Exact single/multiple-cut character moments classify central image phases by q-torsion; SU(3) trisections see triality while halvings reach only the identity centre element. Fundamental trisection shells are explicit.
- PDFThe one-loop potential along the abelian valley of the torus is periodic, reproduces C133's linear term at the origin, and saturates at order 1/L
The regularized SU(2) one-loop torus valley potential is an explicit positive periodic Fourier series, with linear zero-mode term 2ℏc|a| and quadratic nonzero-mode correction; symmetry fixes that quadratic coefficient for general constant backgrounds.
- PDFHalving goes to the ultraviolet; confinement lives in the infrared
Explains how one-loop exponential terms scale under halving and why fixed infrared observables require uniform ultraviolet transport, separating dimensional transmutation from a positive gap coefficient. is superseded by: reasons-to-stop-as-research.
- PDFCompact U(1) under refinement: an explicit total-variation bound in three dimensions, and why it fails in four
Exact Villain monopole/flux decomposition gives a D=3 full-measure TV bound 2(L/a)³e^(−π²/(6λ₃a))/(1−e^(−π²/(2λ₃a))) and removes compact defects at fixed coupling and volume.
- PDFThe weak-coupling gap in a small box reduces to three inequalities through the Schur complement
A proved relative Schur-transfer lemma reduces the small-volume gap lower bound to nonzero-mode separation, a relative coupling error and an effective zero-mode gap.
- PDFAn explicit strong-coupling gap for the Wilson transfer matrix: SU(3) is gapped for g² ≥ 176, with Δ ≥ (ℏ c/a) 4log(g²/176)
A closed-surface polymer criterion 20e²ρ≤0.84 yields volume-uniform local-observable decay and a Wilson-transfer gap lower bound in units ℏc/a.
- PDFWhy the abelian theory has no gap, in the language of the target box: its coupling does not run
Both compact U(1) and SU(3) have volume-uniform strong-coupling Kogut–Susskind gaps; their weak-side flows distinguish them.
- PDFThe Agmon bound controls the global excess only: the local large-field estimate does not follow
Explicit Kogut–Susskind Agmon constants yield extensive global magnetic-energy suppression, while a fixed local excess estimate degrades as inverse square-root volume. corrects: agmon-ground-state-suppression.
- PDFThe blocking criterion is monotonically worse in the block size: blocking gains nothing without a change of coupling
Connected estimates are present in Yarotsky's expansion, but the block-boundary norm/block-gap criterion worsens with block size: M² at strong coupling and M³ in the small-volume regime. corrects: blocking-step-obstruction.
- PDFThe confinement scale in three bands, with published numbers, and the verification restated gauge-invariantly
Gauge symmetry makes single-link block marginals Haar; useful finite-block certification must control gauge-invariant sub-block mixing. Published lattice scales orient the gap between rigorous strong coupling and physical crossover. is superseded by: reasons-to-stop-as-research.
- PDFDobrushin's uniqueness condition for the Wilson action: a two-line strong-coupling gap at g² > 444, and the block criterion that is the finite verification
The single-link coefficient α≤18(e^(4β_W)−1) gives a volume-uniform SU(3) Wilson transfer gap for g²>444 in physical units ℏc/a.
- PDFThe finiteness half of the mass gap is the nonvanishing of one smeared susceptibility
The zero-momentum Feynman–Bijl bound reduces finite excitation energy to one finite derivative expectation and positive flowed susceptibility, with volume cancellation.
- PDFFlowing before decimating leaves every norm-based criterion unchanged: what is needed is a statement about the state
Flow conjugation preserves spectra and multiplication sup norms, so it leaves norm/gap blocking criteria unchanged. Useful smoothing requires measure/state-weighted or relative-form control.
- PDFConjugation by the flow preserves the spectrum, so the renormalization step is a truncation
Finite-lattice flow is a diffeomorphism with unitary implementation; its exact Hamiltonian conjugation preserves the gap. Free magnetic damping cancels electric stiffening. Any locality-criterion gain needs a separate controlled truncation of generated terms.
- PDFThe flow Jacobian's growth factor is sharp: it is the Nielsen–Olesen mode, so the large-field region cannot be flowed
Symmetry of the curvature operator and the Nielsen–Olesen unstable chromomagnetic mode show that gradient descent can amplify perturbations near large-field saddles while lowering action. is superseded by: lattice-truncation-uniform.
- PDFT2' is the absence of a zero-temperature phase transition, and the missing input is closedness of the gapped set
Separates finite-lattice continuity from infinite-volume gap closure and organizes possible obstructions using the gapped coupling set. Strong coupling supplies a nonempty region; global openness and closedness remain unproved.
- PDFThe ground-state measure is the time-slice marginal of the Euclidean measure, and that imports the local large-field estimate
Standard transfer-matrix spectral projection identifies the finite-lattice ground-state density with the infinite-time Euclidean slice marginal, transferring estimates actually proved for that marginal. It explains the scale-invariant four-dimensional large-field action cost.
- PDFContinuous-time expansion for Kogut–Susskind: SU(3) gapped for g² ≥ 388, gap approaching (8/3)g² ℏ c/a
A continuous-time electric-basis polymer expansion gives an explicit SU(3) volume-uniform KS lower gap (4/3)g² ℏc/a at g²≥388, retaining exact excited-link decay. The general connected-history tree count distinguishes this threshold from the adjacent-growth estimate g²≥79.
- PDFThe large-field action lower bound is immediate in the natural variable, and the constant field saturates it
Flow monotonicity and positivity give the Euclidean action lower bound η²/(4g²) when the flowed block L² field exceeds η². The dimensional cancellation is independent of block scale.
- PDFThe large-field region in the Hamiltonian route needs an operator inequality, and the measure statement is weaker than that
Exact min-max/trial-state inequalities distinguish harmless positive rare perturbations from negative wells that can reorganize low energy despite small measure. The attempted Hamiltonian large-field comparison loses cutoff-scale surface energy.
- PDFUpper bounds on the lattice gap: the Feynman–Bijl inequality, the abelian structure factor and the non-abelian dressing obstruction
Derives KS Feynman–Bijl upper bounds, fixes strong-coupling gap order, and exposes an abelian structure-factor gapless channel. For semisimple gauge groups, no nonzero c-number linear electric observable obeys Gauss law.
- PDFOn the lattice one flow step has a uniformly bounded truncation error: the obstruction is decimation
Compact lattice variables and coupling-independent Wilson flow bound one doubling’s Jacobian/locality constants, giving an exponentially small truncation tail with increasing lattice range. This corrects the claim that raw field supremum obstructs one lattice step.
- PDFA Lieb–Robinson bound for the Kogut–Susskind Hamiltonian, with velocity ∝ Nc/g²
Treating commuting unbounded single-link electric terms exactly leaves bounded plaquette interactions with unchanged supports, permitting a volume-uniform Lieb–Robinson estimate with velocity proportional to Nc/g².
- PDFTwo exact identities for the magnetic energy, a ground-state sum rule, and why pointwise Gibbs domination fails as Agmon does
Exact magnetic-energy Laplacian/gradient identities give a ground-state variance/kinetic sum rule. Exponential comparison functions reproduce the extensive threshold that prevents this argument from suppressing a local excess uniformly in volume.
- PDFA monotone hierarchy of upper bounds from one flowed correlator, and why no bound of this kind can give m > 0
For a supplied positive spectral measure with finite nonzero moments, consecutive ratios upper-bound its spectral edge and improve toward negative indices. A gapless density suppressed faster than every power at zero has finite inverse moments, closing that positivity argument.
- PDFThe gap is bounded by the variance of the averaged spatial Polyakov loop, with the small-volume scaling built in
The averaged fundamental spatial Polyakov loop gives Δphys≤ℏcg²N/[4L Var(averaged loop)] for the SU(N) Kogut–Susskind Hamiltonian. A positive volume-uniform physical gap therefore requires suitable loop self-averaging.
- PDFThe Schur error of the small-volume reduction is an ultraviolet problem: a fixed-lattice theorem is available, the renormalized regime is not
Bare-fibre second-order estimates expose a UV-sensitive Schur slope, and the advertised fixed-lattice gap still lacks its rigorous-constant proof.
- PDFOne small-field blocking step for SU(3), part 1: the Gaussian fluctuation integral with block averaging, with explicit constants
The linearized SU(3) four-dimensional block step has exact covariance and an explicit fluctuation Poincare bound.
- PDFThe target box: the strong-coupling gap survives local perturbations, so the renormalization group has an explicit finish line
Strong-coupling expansion tolerances define a quantitative RG target class robust to bounded local corrections.
- PDFThe strong-coupling threshold made explicit: Yarotsky's proof gives g₀²~10¹⁰⁰, and only a direct expansion can give g₀²~10²
Crude constant extraction exposes an astronomically restrictive Yarotsky threshold and motivates direct strong-coupling expansions. is superseded by: kogut-susskind-strong-coupling-explicit.
- PDFThe strong-coupling gap of the Kogut–Susskind Hamiltonian is uniform in the volume
Yarotsky's established theorem yields a volume-uniform strong-coupling KS gap and thermodynamic ground state.
- PDFIn three dimensions the mass gap is the positivity of one function at infinity
Conditional on physical construction, 3D Yang–Mills gaps have the one-variable form g²ℏ²c f(g²ℏL); a positive finite infinite-volume limit is the remaining spectral target. Constant modes identify the small-box scale.
- PDFWhat would unblock the confinement-scale region, and what was checked and fails
Earlier confinement-route survey records where correlation cones, finite-size gap criteria and exact transformations fail to supply the weak-to-intermediate gauge bridge. is superseded by: reasons-to-stop-as-research.
- PDFAn Agmon bound for the Kogut–Susskind ground state: large fields are suppressed at rate 1/g² per plaquette
Establishes the exact weighted ground-state Agmon identity and forbidden-region estimate on compact gauge configuration space. is superseded by: agmon-global-not-local.
- PDFThe truncation error of a flow step is Gaussian times e2t\|G\|∞, so the renormalization step is small exactly on small-field configurations
Derives a covariant-flow Jacobian bound with Gaussian spatial decay multiplied by a curvature-growth factor, motivating small/large-field splitting and a range/flow-radius truncation budget. is superseded by: lattice-truncation-uniform.
- PDFThe flowed bound in free field theory: the coupling cancels, and the bound is informative only at the confinement scale
Free flowed magnetic-energy susceptibility and derivative expectation give gap upper bound 8ℏc/(3√(πt)), independently matched by the two-photon spectral mean; g² cancels exactly.
- PDFThe large-field region costs more action than it has unstable directions, by the factor 2π²/g²
Constant-background Landau counting estimates η²/(8π²) unstable modes per four-dimensional block, giving action-cost/count ratio 2π²/g².
- PDFOpenings for the mass gap, and why it is not special to SU(3)
Records four parked approaches—multiscale curvature, centre-stabilized compactification, three dimensions and spectral valley lifting—and clarifies group/action dependence of lattice bulk transitions. Continuum scaling needs positivity near g=0, not every bare coupling.
- PDFOn typical configurations the flow truncation is controlled at any coupling; the whole obstruction is the large-field tail
Free flowed fields satisfy t√⟨|b_t|²⟩=g/(4π); the typical-field truncation estimate can be reduced by increasing range, while a volume supremum needs tail control. is superseded by: lattice-truncation-uniform.
- PDFOne blocking step: the obstruction is the variation, not the size, of the inter-block coupling
Isolates scalar boundary-energy shifts from state-dependent Schur variation and counts tentative RG doublings to a strong-coupling threshold. is superseded by: blocking-criterion-monotone.
apparatus/reconstruction
- Reachable information across a classical cut
Bounded-force reachable sets compose exactly through the joint phase state, and observed cuts have explicit residual fibres and areas.
- Tagged momentum and the memory of a third body
Eliminating the receiver of an equal-mass three-body spring chain yields an exact cosine memory kernel and inherited quadratures; tagged position/momentum alone fail to compose. Two nearby exact phase observations recover the missing state.
- A finite mechanical clock and four persistent readout records
One finite mechanical clock and four probes reconstruct a known four-dimensional spring receiver at fixed latency with error/disturbance O(λ²), using preparation width b=λ³ and exact final momenta.
- Independent apparatus blocks restore extensive composition
Exact bounded-force centre risks add across independently budgeted record blocks; at r=3/2, k identical independent blocks give k times the saturated canonical risk product.
- Calibrated two-energy records still hide both canonical coordinates
A fixed smooth pulse design admits an exact common-record receiver curve varying both x and P despite known nonzero first-probe displacement, receiver/apparatus energies and all ten final apparatus coordinates.
- One calibrated displacement still leaves full receiver ambiguity
A constrained eleven-coordinate preparation chart and Borsuk–Ulam yield distinct receiver states with identical ten-component final apparatus records and fixed energies/first displacement.
- Calibration tolerance sets the recovery crossover
On the fixed R30 apparatus box, receiver recovery error is O((record error+calibration error)/λ); exact final records give matching canonical-risk product order min{1,(ε/λ)²}. At sufficiently weak coupling one record hides the entire bounded receiver domain.
- Classical readout under cut refinement
Two classical impulsive canonical probes per cut, prepared with phase widths O(mesh⁴), recover the hidden spring receiver uniformly with O(mesh) error and O(mesh³) accumulated disturbance.
- A known clock position permits stable local recovery
Initial clock position, exact receiver energy and eight final pointer records recover receiver, probe positions and unknown clock momentum on one fixed transverse preparation patch, with record-error/coupling stability.
- PDFA conservative receiver and the origin of a correlation scale
Finite conservative spring receivers have zero long-window response; an increasing equal-mode-energy chain yields Θ√(m/k) only with size-first limits, and a common hard speed ceiling closes that plateau. Its 39 sections also consolidate cut memory and the full readout/calibration sequence.
- Exact apparatus energy leaves a receiver-sign ambiguity
Terminal zero probe phase, backward Hamiltonian flow and an energy adjustment produce an exact receiver-sign pair with identical full final apparatus records and both initial energies fixed. Canonical risks stay positive as coupling decreases.
- Fixed coupling permits precise calibrated readout
Exact nonlinear calibration of the finite four-record apparatus permits arbitrarily precise receiver reconstruction at one fixed nonzero coupling as preparation and final-record errors shrink. Accuracy times bounded disturbance also tends to zero.
- Positive preparation width hides receiver states from exact records
Unknown incoming probe momenta exactly compensate a two-dimensional receiver-shell patch at one common four-momentum record, giving positive position/momentum risk and projected canonical area bounds.
- Full final apparatus records can hide the entire receiver energy shell
Unknown incoming apparatus coordinates compensate receiver changes while preserving every final apparatus record; sufficiently weak positive coupling can hide the entire fixed-energy shell. Its projected ellipse gives exact coordinate minimax risks.
- Reversible interaction excludes the minimal orientation composite
A source theorem excludes genuine reversible interaction on the minimal separable orientation composite under explicit operational premises.
- A shared record budget changes the composition exponent
Sharing an ℓr record budget across bodies changes the minimax composition exponent through resource accounting.
- PDFThermal reliability selects a detector cost, not a universal action
A capped activated-rate detector with fixed attempt frequency has exact feasibility and optimal signal barrier reduction kBT[log(cτ/(atg))]+.
- Two position records recover the phase state
Two bounded-error position records give simultaneous sharp errors for the stated causal position/momentum estimator, and both errors vanish when precision improves faster than sample separation and delay vanishes.
- Correlated calibration errors suppress the canonical response
A selected correlated calibration line suppresses canonical ranges on one common-record fibre. Signed-coupling symmetry cancels the proposed tangent coefficient exactly; moving-reference terminal quadratures give homogeneous quadratic response and a conditional curvature lower bound.
- Final clock momentum restores global receiver recovery
Eight final pointer coordinates plus final clock momentum recover receiver, incoming probe positions and unknown clock speed globally on a fixed bounded domain at small positive coupling. Reaction is included; exact receiver energy is unnecessary.
- Complete final apparatus records replace the initial clock calibration
Joint final pointer and clock phase-space data globally recover the receiver and unknown incoming positions/clock phase on a bounded domain, with reaction retained. At fixed nonzero coupling, record errors tending to zero remove reconstruction risk.
- Full pointer records recover receiver and unknown probe positions
Eight final pointer coordinates globally recover a bounded receiver state and unknown probe positions at sufficiently small positive coupling, including clock reaction. Explicit inverse bounds make coordinate-risk product vanish with record precision.
- Distinct clock speeds give identical full pointer records on the shell
An early-pulse apparatus admits two distinct clock speeds and equal-energy receiver states with identical full pointer records, persisting with positive-coupling reaction and separating both receiver coordinates.
- An unknown clock hides an exact fixed-energy receiver phase
Unknown clock position/speed allows a smooth equal-record receiver family on an exact energy shell, with both canonical coordinates varying despite eight exact pointer records and known probe momenta.
- Unknown probe positions can hide the receiver after momentum calibration
In a fixed admissible pulse design, unknown probe positions compensate a receiver-shell patch despite four initial and four final momenta being recorded; clock reaction supplies an invertible λ² response.
- PDFA shared release produces exclusive fringe-weighted events
A prescribed classical shared-release receiver reproduces exclusive fringe probabilities with explicit finite-window and delay costs.
- One uncertain calibration leaves an exact receiver curve
One uncertain apparatus calibration leaves an exact equal-record receiver curve with design-dependent canonical ambiguity.
- Three calibrated positions give uniform global receiver recovery
Three exact initial probe-position calibrations, apparatus energy and full final apparatus data give uniform global receiver recovery on a bounded convex domain, for a fixed pulse design and suitably reduced fixed preparation box.
- Two calibrated probe positions give local recovery and two global branches
Two calibrated probe positions and both exact energies remove local degeneracy in a fixed apparatus design but leave two globally distinct receiver preparations with identical complete records and positive canonical separation.
historical/sources
- Ancient cuts and modern readjustment: provenance
Separates Aristotle's individually possible versus simultaneous divisions from the project's modern claim that re-solving a discretized trajectory can readjust vertices.
- Newton on discovery, demonstration and limiting ratios
Passage-level Newton Project audit separates retrospective analytical discovery from synthetic Principia demonstration and documents generated quantities, limiting ratios and priority/publication revisions.
- Two ways to exclude a classical operational model
A source-premise map identifies Hardy connectivity and CDP purification without deriving a mechanical action scale.
- PDFWhy the ancients argued about the arrow and not the sling
Reads ancient arrow arguments as first-order motion questions, Newton's sling as second-order deviation under inertia, and the firebrand circle as sampling/appearance.
- PDFFrom the continuum to discrete substrates: 't Hooft and other turns
Conversation provenance connects discrete/deterministic programmes to ancient cuts, information loss and the Newton refinement thesis; a later Gaussian groupoid test admits both zero and positive action branches.
- Before the arrow: can the parts make a whole?
Ancient contact and assembly arguments supply qualified historical counterparts to interface-state composition.
infrastructure
- PDFCorpus audit of 1 October 2026: two-axis scores for all 175 notes, the uncorrected errors they expose, and where the drift sits
Claude Opus 5.5 scored every note from 1 to 10 for interest and for correctness under one rubric, and Claude Fable 5.1 reviewed the 26 selected digests against the notes. The Newton, refinement and gauge spine scores 8 or 9 for correctness; 24 notes keep uncorrected overclaims or inconsistent numbers, 20 of them closed mass-gap routes. Verified errors: planck-gap-derivation area forms off by a factor 2, strong-coupling-target-box q=4 column, small-field-step-decay abstract constants. corrects: planck-gap-derivation.
- The two Millennium problems
Source-backed digest states the Navier–Stokes alternatives and continuum infinite-volume Yang–Mills existence/gap target, including forcing distinctions, nontriviality, axiomatic strength and 0<m<∞.
- PDFSU(3) in four dimensions: every constant of this programme, evaluated
Evaluates group-dependent constants in the earlier SU(3) programme: Casimirs, strong-coupling normalization, locality velocity, magnetic identities, running coefficients and flux-sector counts.
- Product probabilities restrict reversible generators
Two-sided product-test positivity restricts reversible generators to a tensor power of a seven-dimensional local matrix space.
- Composition, crossover and gap product: verified calculations for A08, A09 and G01
Early working calculations cover independent composition, telegraph bridge crossover, auxiliary spectral bounds and analytic continuation. Hidden slow modes preserve a velocity plateau while closing the full relaxation gap.
- Variations, kernels and distinguishability
Routes to the older technical manuscript’s action contractions, normalized Hessian bound, short-time kernel expansion and quantum two-arm discrimination threshold.
refinement/comparison
- PDFAtlas of halving: what one refinement step does, and what emerges, in each dimension
Maintained map of directional and arbitrary-fraction refinement, grouped by dimension and gauge group, linking exact identities, formal running, corrections and open cells. Tracks the gauge weak-strip activities and Newton complete-record/nonlinear counterexamples through recent appended sections.
- PDFInserting a point, subdividing a cell: how the limit is built
Exact insertion laws and summable defects construct mechanical refinement limits and frame the unresolved higher-dimensional gauge construction. corrects: low-dimensional-mass-gap. corrects: three-dimensional-gap-one-function.
- PDFWhat survives refinement: results on Newton's vanishing sagitta and the halving of lattice gauge fields
A compact theorem map collects Newton cut-record results and exact/barriered gauge-halving results with source proof locations.
- PDFThe tangent groupoid, its zoom, and whole trajectories
Relates tangent-groupoid zoom and principal symbols to single-step refinement, and time-graded composition to whole trajectories; constant-force action/kernel laws provide the explicit example.
- PDFWhat survives refinement: the pion, the Yang–Mills gap and Newton's action
Sets the joint-paper frame: Newton action necessity and pure SU(3) continuum gap are the two proof goals; massless/massive pion physics tests symmetry and surviving spectral weight. Two elementary spectral-measure limit criteria distinguish physical thresholds from disappearing eigenvalues.
- PDFThe zero-spacing limit for any plaquette action and any dimension
Two-dimensional infinitesimal symmetric class-function refinement with finite representation exponents yields exactly central Lévy semigroups; a Lindeberg condition selects the Gaussian Yang–Mills member.
- PDFOne action scale, two rules for composing paths
An exactly unitary normalized checkerboard walk converges strongly on fixed L² wavepackets to Dirac evolution with supplied K; the corresponding real transition rule gives telegraph dynamics. Measuring direction every step yields a ballistic fixed-frequency limit.
- What a classical cut must retain
Fixed-energy spring position conditional kernels fail semigroup composition; independently refreshing hidden momentum at every cut freezes terminal position in L². Retaining canonical momentum restores exact composition on every partition.
- PDFA surviving action defect and consistency under inserting cuts
Constant-force sampled-chord defects vanish as F²T|π|²/(24m); Gaussian bridge restriction consistency fixes any supplied κ, including zero. Fixed positive κ makes raw kinetic excess diverge while its per-node estimator converges.
- PDFThe dimension ladder: from 0+0 to 1+3, and what the action constant does on each rung
Organizes supplied action scales, rotor/string energies and generated YM scales by dimension, with explicit ℏ exponents and the 4D exponential. Proposes universal wave-field thermal consistency as an extension of Theorem U.
- PDFA physical cut: elastic reversal, finite speed and memory
Equal-mass elastic return bridges retain velocity memory and obey sharp bounded-speed midpoint variance bounds, while tracer action scales as mu²Δ/2 and vanishes under refinement. Scalar probability convolution semigroups with exact finite propagation reduce to deterministic drift.
- PDFWhen an action plateau controls a spectral gap
Complete observable frames with bounded total susceptibility lower-bound a finite reversible chain’s relaxation gap; one positive velocity plateau only upper-bounds it. Explicit hidden/weakly observed slow modes preserve the plateau while closing the gap.
- PDFA finite-speed return bridge: cuts and midpoint crossover
Exact count/simplex return paths give consistent velocity-resolved cuts, a midpoint atom plus beta-mixture law, controlled vanishing polygon-action error and an explicit long-window crossover to a supplied plateau.
- Two regulators: what survives when the paths shrink?
Gaussian bridge polygons can converge uniformly to a classical path while retaining excess action ℓ/2 when dimension times the vanishing action coefficient tends to ℓ.
- Navier–Stokes and Yang–Mills: comparison and bridges
Derives fluid/gauge scaling and dissipation identities and distinguishes finite-box fluid decay, auxiliary Markov mixing and physical Hamiltonian spectral gaps. Lists invariant-law, continuum/volume, reconstruction and observable-completeness obligations for proposed bridges.
- From cone sections to time refinement
Connects source-inspired spatial cutting to Gaussian time-kernel composition: convolution preserves any supplied variance coefficient κ/m, including the deterministic zero member.
- The cut paradox in two signatures: sections of a solid and instants of a motion
Ballistic-support scalar convolution probability semigroups are deterministic drifts; scalar translation-invariant strongly continuous unitary groups with compact light-cone kernels are translations times a phase.
- PDFLocal entangling gates preserve an energy gap uniformly in chain length
A depth-two controlled-Z circuit conjugates independent spins to a local interacting cluster Hamiltonian with unique entangled ground state and exact volume-uniform energy gap J. Removing endpoint terms yields four ground states, with gap J above the ground space.
- Finite position precision and the reachable action area
Derives exact terminal canonical area from a clipped bounded-force lens, with additive precision/delay and mixed extrusion terms; area vanishes uniformly when position error and residual delay vanish together.
- PDFA uniform relaxation gap with nearest-neighbour interactions
A written coupling lower bound and magnetization eigenmode prove the known full relaxation gap a[1−tanh(2b)] for every periodic N≥3. Bounded coupling and a per-site clock floor give volume-uniformity.
- PDFThe Ising gap gives a conditional local parent Hamiltonian
The weighted-space unitary transform produces explicit positive three-site Ising terms, a unique square-root Gibbs ground state, and the exact inherited gap a[1−tanh(2b)]. Supplied action K converts this to energy.
- Midpoint crossover: consolidated manuscript
Routes the former standalone midpoint-crossover derivation to maintained telegraph-return-bridge, sections 6–9, preserving C037–C038 and source links.
- PDFHolography in the lowest dimensions: at d=0 it is the wave-function identity, at d=1 it is the Schwarzian
Exploratory dictionary compares Euclidean ground-state marginals and segment factorization with low-dimensional holography, then distinguishes gapless Schwarzian/SYK scales from a confining infrared cap.
- Foundational value of the established Ising gap
Separates the known size-independent Ising relaxation gap, logarithmically growing global mixing time, and energy gap obtained by multiplying a stochastic parent by supplied action.