Dissolution and the Finite Floor

Why several famous open-problem gates are expected to end as DISSOLVED, what that status does and does not mean, and which finite obligations remain.

If you spend any time on the gates board, you'll notice a pattern: several of the hardest gates — the ones that touch famous open problems — are expected to end in DISSOLVED rather than solved, and nearly always through the same root: Granularity.

I'd rather explain that pattern before you find it than have you discover it and wonder whether it's a trick. This page states the position, in advance, and answers the two objections it deserves.

What dissolution means here

Some questions stop being obligations once you look at what they assume. If a question presupposes a physical scenario that never occurs, then no measurement could ever depend on its answer — and a theory of physical records doesn't owe one.

The clearest example is the problem behind one of the Clay Millennium Prizes: proving that an interacting quantum field theory exists in the exact continuum limit. I want to be careful here, because this is where sloppy versions of my position lose the argument in one sentence. The mathematical problem is real, well-posed, and open. Nothing on this site changes that, and I am not claiming to have resolved it. What I claim is narrower: the physical scenario it presupposes — structure that stays meaningful at infinitely fine resolution — is one that no measurement has ever reached or could reach. If that's right, then physics doesn't owe an answer in that limit. It owes the finite-resolution version of the question instead.

That's the trade every dissolution on this board makes, and it's why dissolved never means solved.

A dissolution converts an obligation into two things: an assumption, stated openly and counted as an assumption, and a leftover — the finite version of the problem, which still has to be done. The honesty rules of this site apply in full: a dissolved problem is not a hidden proof, and dissolved gates are counted on their own line, never mixed into any total of things resolved.

The assumption, in one sentence

Everything above rests on a single assumption, which I'll call the finite-floor axiom:

Finite-floor axiom
Physically meaningful distinctions are those that can be recorded at some finite resolution. The infinitely fine limit is an idealization; obligations that exist only in that limit are outside physics, and their finite-resolution versions are inside it.

This is an axiom, not a result. Everywhere it does work on this site, it is charged as one.

The two objections

1 “You're just defining hard problems away”

Finitism that shows up exactly when you hit a wall is not a principle, it's an exit. Physicists tried declaring the measurement problem meaningless once before, and the problem came back.

Three answers.

The burden runs the other way. Every measurement ever performed is a finite record at finite resolution. The finest distances any experiment has probed are around 10⁻¹⁹ meters; the Planck length, where quantum gravity is expected to end the story, is 10⁻³⁵. Believing in exact continuum structure means extrapolating across more than fifteen orders of magnitude that no instrument has touched. The finite-floor axiom isn't the extravagant claim in this argument — continuum realism is. “Prove your theory has a continuum limit” quietly hands the extraordinary assumption the status of a default. I'm handing it back.

The assumption didn't originate here, and it didn't originate at a wall. Black-hole thermodynamics says a bounded region of space holds a finite amount of information — entropy proportional to area. A world of finite-information regions has no room for physically meaningful infinitely-fine structure. The standard Planck-scale argument says the attempt to probe below the Planck length concentrates enough energy to form a horizon: the measurement destroys the resolution it seeks. And the working orthodoxy of quantum field theory since the 1970s — the Wilsonian picture — already treats a QFT as a theory at a cutoff; every QCD number ever computed and matched to experiment was computed at finite lattice spacing, with the continuum only ever appearing as an extrapolation, never as a place anyone has stood. None of this is mine, and all of it predates this project. The finite floor is the condition physics has actually operated under for a century, written down as an assumption instead of left implicit.

The founding act of modern physics was a dissolution of exactly this kind. The objection cites the failed attempt to define away the measurement problem. The stronger precedent points the other way. The ultraviolet catastrophe — classical physics demanding that a warm oven radiate infinite energy — was never solved. Planck dissolved it, through granularity: the continuum of energy exchange that the problem presupposed simply does not exist. Quantization is a dissolution-by-granularity whose rent was paid beyond all argument.

What separated Planck's move from the failed one is a single feature: Planck didn't forbid the question, he asked its discrete version — and the discrete version produced the blackbody spectrum. That feature is mandatory here. Every dissolution on this board must leave its finite leftover as a live, listed obligation on the residuals page. Dissolving continuum consistency leaves finite-resolution consistency and the requirement that results stay stable as the resolution floor moves — calculations that can fail, and whose failure reopens the gate. A dissolution here is never a forbidden question. It's a relocated one, with a forwarding address.

2 “Your axiom is unfalsifiable”

An assumption that forbids nothing and predicts nothing is metaphysics. Wilson's cutoff picture earned its keep — running couplings, universality. Yours relabels OPEN as DISSOLVED and earns nothing.

Four answers.

Each dissolution buys falsifiability; it doesn't spend it. “Exhibit the exact continuum theory” is untestable twice over: no experiment reaches the continuum, and the mathematics has resisted the field for fifty years. The finite version it converts into — consistency of the finite sector, stability of results as the floor varies — is checkable, is partly done already on this board, and can come back negative. Every dissolution trades one obligation nobody can test for obligations anybody can. That is the opposite of a retreat.

The axiom provably can't dissolve everything — and the exceptions are listed below, in advance. An empty assumption dissolves whatever you point it at. This one is barred, in writing, from the problems that live at finite resolution: the cosmological-constant problem exists below any cutoff; the global-anomaly question is already finite and topological, with no limit to remove; the pattern of particle masses is a finite-data question; an unstable vacuum at finite resolution is still unstable. Selectivity is what content looks like. If this axiom ever appears to dissolve one of those, the right conclusion is that it's being misused — not that a problem went away.

The axiom has a refuter. Any demonstration that a physical outcome depends on structure at arbitrarily fine resolution — equivalently, any physical system whose information content exceeds every finite bound — kills it. One caution in the other direction, stated plainly because it cuts against me: the finite floor is an operational claim, not a claim that spacetime is a lattice. Lattice models of spacetime predict tiny speed differences between photon energies and are already tightly constrained by gamma-ray-burst timing; the operational version makes no such prediction and survives those constraints. That's deliberate modesty, and I'll say the quiet part: a weaker claim risks less, and earns less.

The rent, honestly. Wilson's dissolution stuck because it predicted things. The failed one didn't, and its problem returned. Where does mine stand? The axiom demonstrably does internal work — remove it and the dissolved gates revert to open; nothing here is decorative. Its finite leftovers are real calculations with real failure modes. But a novel measured consequence — something finite-floor physics predicts that continuum physics doesn't — does not exist yet. Until it does, every dissolution on this board should be read as honest bookkeeping awaiting evidence, and this paragraph stays on this page.

Declared in advance

Written before these gates are worked, so that no dissolution can be retrofitted to a difficulty. If this list ever changes, the old version stays visible and flagged, per this site's standing rule that nothing is deleted.

Expected to dissolve, with the finite leftover owed
GateWhat dissolvesWhat remains owed
UQF-3 — full interacting continuum branchExact-continuum existence and consistencyFinite-sector consistency (already done in scoped form); stability as the floor varies
UQF-5C — full UV completionQuantum-gravity completion above the cutoffThe finite effective theory below it, with the cutoff's location counted as an input
UQF-14 — above-cutoff physicsConsistency claims beyond the cutoffThe perturbative and finite-tower calculations, which remain ordinary unfinished work
Partially — the axiom reaches some of the gate, not all
GateDissolvesDoes not
UQF-9The demand for an ultraviolet fixed point above the floorA boundary spectral coefficient that is open mathematics at finite resolution — the floor doesn't reach it
SG-1The demand to prove no conceivable alternative geometry existsSelection among the declared candidates, which stays open until the comparison is actually exhaustive
Must not dissolve — and if it ever seems to, the axiom is being misused
GateWhy the floor doesn't apply
UQF-4 — global anomaliesAlready a finite, topological question; no limit to remove
Λ-catastropheThe vacuum-energy instability exists below any cutoff
SG-8 — flavorA finite-data pattern; no limit involved
SG-6 / UQF-10 — vacuum stabilityUnstable at finite resolution is still unstable

What would prove this page wrong

Any of the following, and this page says so in place rather than quietly disappearing:

one of the “must not dissolve” gates claimed dissolved; a finite leftover failing its calculation without the parent dissolution being reopened; a dissolved gate counted in any total of resolved results; or a demonstration that physical outcomes depend on arbitrarily fine structure.

The last one doesn't just break a gate — it breaks the axiom, and with it this entire page.