Manuscript Em03-C@1 · Em03-C-v1.tex · section · 47dd71ec

Interpretation and externally supplied corrections

C3: certified discrimination of specified departures › Interpretation and externally supplied corrections · lines 2307–2333

Back to manuscript

A departure from can arise from altered preparation, ordinary matter interactions, changed scattering, or a changed background. It does not by itself identify quantum gravity or information recovery.

If a separate theory supplies

then the certified lower bound is obtained by subtracting , both apparatus errors, and any proved cutoff comparison from . This is a substitution rule, not an evaluated effective-field-theory correction. No effective action, loop coefficient, regulator removal, or microscopic horizon model is introduced by that formula.

Figure fig:discrimination is the operational gap. A specified ideal effect gives a probability difference. Both implementation errors and, when trials are used, the finite-sample allowance are subtracted. A positive lower bound certifies a record departure. It does not name the physical cause.

Displayed formulas in this passage

  • unlabeled · line 2315

Nearby in this section