← Back to article

Equation 24 · No Particle Without a Cosigner

What does this equation mean?

Ddet(x,y)=12∫0∞dΩ ∣px(Ω)−py(Ω)∣.D_{\rm det}(x,y) = \frac12 \int_0^\infty d\Omega\, \big| p_x(\Omega) - p_y(\Omega) \big|.

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operationsfrac12 int_0^infty dOmega big| p_x(Omega) - p_y(Omega) big|
Result or conditionD_rm det(x,y)
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

DdetD_{\rm det}

Symbol D_rm det

a map from pairs of “treaty configurations” — worldline, field state, coupling type, and the gap/switching pair used to build the spectrum — to the real interval [0,1].

Understand this part →

xx

Symbol x

x is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

yy

Symbol y

y is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

dd

Symbol d

d is part of the quantity the equation computes from the expression on the right.

Understand this part →

Ω\Omega

Symbol Omega

Omega is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

pxp_x

Symbol p_x

pxp_x is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

pyp_y

Symbol p_y

pyp_y is one of the signed contributions combined to compute the quantity on the left.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

00

Starting index or lower bound: 0

This label says where the repeated addition, multiplication, or accumulation starts. Read its value or condition together with the article’s description of the index.

Understand this part →

∞\infty

Ending index or upper bound: infty

This label says where the repeated addition, multiplication, or accumulation stops. It sets the last term or end of the range.

Understand this part →

How to interpret it

Read it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

defined whenever the denominator is finite and nonzero. Given two such normalized spectra, for a detector on worldline x and a detector on worldline y , define their disagreement as the total variation distance between the two probability densities: Ddet(x,y)=12∫0∞dΩ ∣px(Ω)−py(Ω)∣D_{\rm det}(x,y) = \frac12 \int_0^\infty d\Omega\, \big| p_x(\Omega) - p_y(\Omega) \big|. This is the object this article is actually about, so its bookkeeping has to be stated in full before any number is produced. DdetD_{\rm det} is a map from pairs of “treaty configurations” — worldline, field state, coupling type, and the gap/switching pair used to build the spectrum — to the real interval [0,1] ; it carries no physical units, because it is built entirely from normalized probability densities over Ω\Omega , whose…
Read the full surrounding passage
defined whenever the denominator is finite and nonzero. Given two such normalized spectra, for a detector on worldline x and a detector on worldline y , define their disagreement as the total variation distance between the two probability densities: Ddet(x,y)=12∫0∞dΩ ∣px(Ω)−py(Ω)∣D_{\rm det}(x,y) = \frac12 \int_0^\infty d\Omega\, \big| p_x(\Omega) - p_y(\Omega) \big|. This is the object this article is actually about, so its bookkeeping has to be stated in full before any number is produced. DdetD_{\rm det} is a map from pairs of “treaty configurations” — worldline, field state, coupling type, and the gap/switching pair used to build the spectrum — to the real interval [0,1] ; it carries no physical units, because it is built entirely from normalized probability densities over Ω\Omega , whose own units of inverse time cancel between numerator and denominator of every term in the integral. It inherits, rather than assumes, the property of being a genuine metric — non-negative, symmetric, zero exactly when pxp_x=pyp_y almost everywhere, and satisfying the triangle inequality — because total variation distance is a metric on probability measures as a matter of elementary measure theory, independent of anything physical being fed into it. That inheritance is itself a check worth stating plainly: an ad hoc “difference score” invented for this article would need its metric properties verified by hand; DdetD_{\rm det} gets them for free because it was built from an object mathematics already understood.

Read the equation in its article →

Sources cited in the article section

These citations give research context. Read each source to check which claims it supports.

Return to No Particle Without a Cosigner

See this formula across 1 published context →

Browse the mathematical compendium →