For fixed , the likelihood ratio is strictly decreasing as increases. A likelihood-ratio test rejects for small , so its rejection rule is equivalently large . Under the null hypothesis, the standard normal distribution and chi-squared distribution results give independent quantities
Their ratio therefore has Student's t-distribution with statistical degrees of freedom. The exact level- rule is
This is precisely the two-sided Student's t-test; choosing the corresponding cutoff for yields the same rejection region and the same p-value.
Define and , with . The unrestricted maximum-likelihood estimates are and . Under the null hypothesis, maximizing the normal distribution's likelihood over the remaining variance gives
because the cross term vanishes when . At either fitted variance, the exponential factor in the likelihood function is , so it cancels in the ratio:
The standardized test statistic is
The sample variance uses divisor , whereas the maximum-likelihood estimate uses divisor ; this explains the in the final expression. Under a nondegenerate normal distribution, with probability one.
Here the exponential distribution is parametrized by its mean, so for and . Its log-likelihood and maximum-likelihood estimate are
For one observation, . Since , its Fisher information is . Consequently the estimated standard error is , giving
This is a large-sample confidence interval, not an exact one. If its lower endpoint is negative, intersecting with the parameter space removes impossible values without excluding any possible true statistical parameter.
Let , where is the standard normal distribution's cumulative distribution function. Statistical consistency and Slutsky's theorem allow replacement of by :
Thus the probability that this standardized estimation error lies between and tends to . Rearranging gives the Wald confidence interval
The coverage probability is approximate, with limiting value ; it is a repeated-sampling statement about the random confidence interval.
Write for the Fisher information in one observation:
Under the stipulated regularity assumptions, the maximum-likelihood estimator is consistent and has asymptotic normality:
Equivalently, its large-sample normal approximation has mean and variance . The information for the whole random sample is ; keeping the one-observation convention explicit prevents an extra factor of .
Divide the susceptible equation by the removed equation, or differentiate the resulting invariant directly, to get . The initial data give the SIR susceptible-recovered identity
Population conservation then gives . Since , the Taylor expansion for small yields
At the end of the outbreak, the infectious count approaches zero. The positive root of the quadratic approximation is
For and a seed satisfying , this reduces to
The truncation also requires , hence a near-threshold regime . The seed must be small but positive: setting it identically to zero gives no epidemic. This is the near-threshold SIR final-size expansion, and the physical removed count is .
Figure 1.
Replenishment permits repeated waves; the closed SIR model has a final-size relation
. Original generic model calculations. The left panel shows a positive trajectory of the discrete recruitment model. The middle panel shows a closed SIR outbreak. The right compares the exact closed-model final-size root with its small-seed quadratic approximation near threshold. Details.
If the seed is positive, infection initially increases precisely when
Indeed, . Susceptibility is nonincreasing, so if , the infectious count never starts an increasing phase. When , it grows until , the SIR infection peak, and then declines.
The basic reproduction number compares transmission and removal: one infectious individual generates infections at initial rate and remains infectious for mean time . Their product is the expected number of secondary cases at that susceptible level. Above one, an infectious generation can replace itself with more cases. An exactly zero infectious seed remains zero regardless of this threshold.
Assume and scale by the initial susceptible count:
Substitution into the SIR model equations gives
The initial data become , , . The conserved total is , since the scaling is by , not by . With this normalization, is the reproduction ratio at the initial susceptible level.
Yes, susceptible replenishment allows repeated outbreaks. While , the infection ratio is
Infection grows above the susceptible threshold and declines below it. A wave depletes susceptibles; subsequent recruitment can restore the threshold and permit renewed growth. In the neutral linear regime, perturbations around the positive fixed point oscillate, so repeated small waves occur for sufficiently small perturbations over any fixed finite observation period.
For example, in scaled variables , , the choice , , produces the repeated positive waves illustrated below. This finite trajectory illustrates recurrence of outbreaks without claiming a nonlinearly attracting periodic orbit from the linearization alone. If exactly, the deterministic model has no infectious seed and stays zero.
At a fixed point the first equation gives . The second gives , so and
There is no disease-free fixed point: with , susceptibles still increase by each step.
Set . The Jacobian matrix of the update at the fixed point is
Its characteristic equation and multipliers are
For , these are distinct complex conjugates with product one, so both have modulus one. The linearized iterates are bounded and oscillatory: neutral linear stability holds for , with no linear asymptotic attraction.
At , the repeated multiplier is , but . Writing gives , and , so generic linearized perturbations grow linearly. For , a real multiplier has modulus greater than one. Thus the equilibrium is linearly unstable for .
For the unit-modulus range, the nonlinear behavior is not determined by this calculation: unit-modulus multipliers do not determine nonlinear stability.
The susceptible compartment retains individuals, gains recruits per generation and loses through infection. The mass-action interaction term represents new infections generated by encounters between susceptible and infectious individuals. Those new cases form the next infectious compartment, ; the current infectious generation leaves that compartment after one time step.
The initial conditions specify the starting susceptible and infectious counts. The parameter is the transmission coefficient in this deterministic approximation, while supplies new susceptible individuals. This is the discrete susceptible-infective model with recruitment.
For , part (ii) requires , so
The speed formula in part (i) can be written . Requiring it to be at least gives , hence .
Since already, the exact minimum is
In the second case, the rest energy of the incoming pair already suffices for the required outgoing speed. Keeping this mass-ratio case avoids taking the square root of a negative number.
The laboratory flight time is . By time dilation, the accumulated proper time is . The definition of the rest-frame half-life gives at least one-half survival when , or . Equivalently,
Solving for the minimum speed gives
Under the usual exponential decay law, the survival probability is exactly . This is relativistic decay survival to a detector.
The two initial momenta cancel, so the laboratory is the centre-of-momentum frame. Let be the total initial energy. Four-momentum conservation gives and . The energy–momentum relation then yields
Thus
Using gives
This is relativistic production of a massive particle and a photon. A positive-energy photon requires ; equality is the zero-photon-energy threshold.
The velocity vector is . Its direction is opposite the photon, but is not fixed relative to the incoming beam by conservation alone. Kinematics supplies its magnitude; an angular distribution needs the collision dynamics.
For a massless particle of energy moving in the unit direction ,
Its spatial momentum is , and its four-momentum has Minkowski norm zero. A rest-frame expression is not used for a massless particle.
Use the four-momentum convention , with Minkowski signature . For a particle of rest mass and three-velocity ,
Here and , so .
The unique root-to- path in is the reversal of its predecessor chain. Every edge satisfies . Summing along that chain telescopes to
since for positive weights. Thus the tree path is a shortest -path in for every , and is a shortest-path tree rooted at .
Figure 1.
Negative weights obstruct a shortest-path tree; positive predecessors decrease distance
. Original examples. In the left triangle, the two individually shortest root paths require all three edges. In the right graph, selected predecessors point strictly toward smaller root distances and therefore form a tree. Details.
Let be the weight of a shortest -path, and let be the predecessor of on the chosen . Its prefix to must also be shortest: a cheaper prefix followed by the final edge would give a cheaper walk to , and cycle erasure in minimum-weight walks would produce a cheaper path because every edge weight is positive. Therefore
Following predecessor arrows strictly decreases , so cannot revisit a vertex. Since each nonroot vertex has a predecessor, finiteness forces every predecessor chain to end at . Thus is connected.
The edges are distinct: if two vertices selected the same undirected edge, each would be the other's predecessor, contradicting strict decrease. Hence has exactly edges. A finite connected graph with this edge count is a tree. This proves that positive-weight shortest-path predecessors form a tree, without requiring the initially chosen paths to be mutually consistent.
A shortest-path tree rooted at is a spanning tree of for which the unique -path in is a -shortest -path in for every vertex . It simultaneously realizes all distances from the root. It need not be a minimum spanning tree, which minimizes total tree weight instead.
A shortest path from to is a graph path joining these endpoints such that
for every other -path in , where is the sum of its edge weights. Here paths have no repeated vertices; minimizing over unrestricted walks is a different problem when negative edge weights occur.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact