Incoprea research · part 1 of 5 · audit and theory · 3 November 2026

Dimensionless laws, spreads, and what a law has to specify

Computation only. Eight standard dimensionless groups audited for sufficiency: at a fixed value of the group, how much do accepted models disagree? In every case the group is necessary and not sufficient. Followed by the theory notes those results imply, including the crossing bound and the conditions under which the whole approach would be wrong.

Part A · the audit of eight laws

This page tests one question across eight standard dimensionless groups: at a fixed value of the group, how much do the accepted models disagree? If the spread is larger than the effect anyone is trying to measure, the group does not determine the answer, and a claim that it does is a relabelling.

The answer is the same in every case: the group is necessary and never sufficient. The spread at fixed value is the footprint of a second parameter that the group cannot contain — flow regime, inertia, accommodation, Prandtl number, back-mixing, boundary condition, disturbance level, or decoupling.

1. The audit

QuantityGroupCompared atSpread at that valueSpread over rangeThe missing parameter
Pipe friction factorReynolds number ReRe = 10^44.94x31.62xflow regime (laminar/turbulent) is not in Re alone at the transition
Sphere drag coefficientparticle Reynolds numberRe = 11.19x1.94xinertia (finite Re) — Oseen is a first correction, not a solution
Channel conductanceKnudsen number KnKn = 16.27x17.48xthe accommodation coefficient and the wall model
Natural-convection NusseltRayleigh number RaRa = 10^91.13x1.13xPrandtl number and geometry enter the prefactor, not the exponent
Reactor conversionDamkoehler number DaDa = 11.26x1.29xback-mixing / residence-time distribution
Onset of Rayleigh-Benard convectionRayleigh number Raonset2.60x2.60xboundary conditions — the group cannot contain them
Laminar-turbulent transitionReynolds numbertransition1.96x1.96xdisturbance amplitude and inlet condition
Diffusion coefficientStokes-Einstein (D eta / T = const)eta = 1 Pa s0.09x125.89xthe decoupling of viscosity from diffusion near a glass transition
Pipe friction factor 31.62x Sphere drag coefficient 1.94x Channel conductance 17.48x Natural-convection Nusselt 1.13x Reactor conversion 1.29x Onset of Rayleigh-Benard convection 2.60x Laminar-turbulent transition 1.96x Diffusion coefficient 125.89x
Spread between standard models at fixed value of the dimensionless group. A value near 1 would mean the group is sufficient; every bar above 1 is a second parameter asserting itself.

2. What each row means

Pipe friction — the transition is not in Re

At Re = 10⁴ the laminar law gives f = 0.0064 and the Blasius law gives 0.0316 — a factor 4.94. Both are correct in their own regime; the group is identical. The absent variable is the disturbance environment that decides whether the flow is laminar or turbulent at all. Any claim of the form "friction follows Re" is true only after the regime is specified, which is exactly what the group was supposed to supply.

Sphere drag — inertia is the second parameter

At Re = 1, Stokes and Oseen differ by a factor 1.19. Oseen is a first-order correction, not a solution, which is why the disagreement grows with Re. The group does not absorb the expansion.

Knudsen conductance — the wall model is missing

At Kn = 1 the slip expression and the free-molecular limit differ by 6.27. The accommodation coefficient is a surface property that no Knudsen number contains.

Natural convection — Prandtl enters the prefactor

The two standard correlations differ by 1.13 at Ra = 10⁹. The exponent ¼ is shared; the prefactor is not, and it carries Pr. This is the mildest case in the table — and still a factor 1.13.

Reactor conversion — back-mixing is not in Da

At Da = 1, a CSTR gives 0.500 and a PFR gives 0.632, a factor 1.26. The same Damköhler number describes two reactors that differ by the residence-time distribution. Da alone cannot be used to predict conversion.

Rayleigh–Bénard — boundary conditions set the threshold

Critical Rayleigh number is 1,707.76 for rigid boundaries and 657.51 for free ones: a factor 2.60. The dimensionless group is the same quantity in both; the threshold is not. This is the cleanest illustration in the set, because there is no measurement error and no fitting — the difference is exact.

Transition — three standard values

The laminar–turbulent transition is quoted as 2040, 2300 or 4000 depending on source: a factor 1.96. All three are "the Reynolds number at transition". The inlet condition and disturbance amplitude are not in the number.

Diffusion — the decoupling near a glass transition

The Stokes–Einstein relation is the group Dη/T = const. Near a glass transition the fractional form departs by a factor 125.89 across the viscosity range. The second parameter is the decoupling between viscosity and diffusion, which the relation assumes away.

3. The criterion this suggests

A claimed dimensionless law should report the spread of its predicted quantity at fixed value of the group. If that spread exceeds the effect being claimed, the group is a relabelling. The criterion is cheap, uses no new data, and is almost never reported.

Applied to the table above, no row survives as a standalone law. Applied honestly, that is not a criticism of the groups — Reynolds, Damköhler and Rayleigh numbers are indispensable. It is a criticism of using them as explanations rather than as bookkeeping.

4. New hypotheses from this page

#HypothesisTest
P1-H1The spread at fixed group value is predictable from the number of omitted parameters, and grows roughly linearly with it.Count omitted parameters per law; regress spread on count.
P1-H2Papers that report a dimensionless law with a fitted prefactor have systematically larger unreported spread than those with a derived prefactor.Sample 50 papers; compare derived vs fitted prefactors.
P1-H3Boundary-condition-sensitive thresholds (Rayleigh–Bénard, transition) are the ones most often misquoted as universal.Survey textbooks for threshold values and ranges.

5. Limits


Part B · theory notes: bounds, spreads, freedom

Theory notes arising from the batch. These are arguments, not measurements, and none has been checked against the literature.

1. Why a saturating channel cannot produce many crossings

Let the selectivity be α(P) = N(P)/D(P), where each of N and D is a sum of channels. Write each channel as K + A·bP/(1+bP). A pressure-independent term contributes no sign change. A saturating term contributes exactly one inflection: it rises from 0 to A, monotonically, with a single curvature change.

The difference α(P) − 1 has the sign of N(P) − D(P), which is a sum of terms each monotone with at most one inflection. Such a sum can change sign at most once per saturating term, so with S saturating channels the number of crossings is at most S. The observed test is consistent with a bound of S − 1 in the sampled cases, but the proof of S − 1 would require an argument about the cancellation of the leading terms, which has not been made.

Status: the S bound is argued informally; the S − 1 bound is observed but not proved. The 600-trial test found no violation of "zero saturating channels implies zero crossings", which is the part the argument actually secures.

2. The spread criterion

Let a claimed dimensionless law be f(Π) for some group Π. Define the spread

S(Π) = max over admissible systems of f(Π) / min over admissible systems of f(Π)

The law is informative only if the effect it claims to explain exceeds S(Π). For the eight laws audited here, S ranges from 1.13 to 125.89. In every case the effect being claimed — a 20% improvement, a factor of two, a sign change — is smaller than the spread.

Why this is not a triviality

It would be trivial if the spread were measurement noise. It is not: the spread is between correct models in different regimes, evaluated at the same group value. The group is doing its job — collapsing a family — but the family is parameterised by the omitted variables, and that parameterisation is what a law has to specify.

3. Free coefficients and the appearance of reversals

The base-rate result can be read as a statement about model capacity. A reversal requires the sign of N(P) − D(P) to change, which requires at least one saturating channel and at least one parameter free enough to place the crossing inside the observation window.

With four free coefficients, the modeller can place the crossing almost anywhere; with one, the crossing is either fixed or absent. The measured progression — 0%, 0%, 13.2%, 24.0% at 1, 2, 3, 4 free coefficients — is consistent with a simple counting argument: the number of ways to place a crossing grows combinatorially with the freedom, so the probability of landing in the window grows with it.

4. What would make these results wrong

5. Open questions worth more than the results

#QuestionWhy it matters
Q1Is there a general bound on crossings for a sum of monotone channels with S saturating members?Would turn a screening rule into a theorem.
Q2Does the spread criterion predict which published laws replicate?Would make the criterion prospective rather than retrospective.
Q3Can free-coefficient count be extracted automatically from papers?Would allow screening at scale.
Q4Do the same base rates hold in thermal and ionic diode models?Would generalise the reversal result beyond membranes.


Incoprea Research · batch 1 · 3 November 2026. Computational model results and one real-catalogue re-analysis. No new physical experiment was performed. No novelty claimed; no systematic literature search. Code, data and JSON accompany this page set.