For specified exposure periods with constant death hazard functions , the integrated hazard through the endpoint is . The displayed event probability follows from the survivor function identity. For different latent exposure schedules mixed with probabilities , average the schedule-specific probabilities, , rather than exponentiating the average integrated hazard. When the hazards are small, gives a person-time approximation. A comparison must specify the entire custody or treatment schedule; later changes to exposure cannot be inferred from an endpoint rate alone.
Plotting position 2026-10-14
A plotting position assigns a probability level to an order statistic for a Q-Q plot. The displayed formula is one convention, not a universal definition. R's ppoints uses , with by default for , which gives our choice at ; for its default is . NIST's normal probability plot instead describes an approximation to uniform distribution order statistic medians. State the convention when comparing plots, especially their extreme quantiles. [ref][ref]
Poisson arrivals see time averages Created 2026-09-24 Updated 2026-10-14
Poisson arrivals see time averages says that an exogenous, homogeneous Poisson process samples prearrival states with the same long-run frequencies as observation over time, provided the observed system cannot anticipate future arrivals and the relevant time averages exist. The system may depend on all past arrivals: an ordinary queue does. The required independence is between future increments of the Poisson process and the history available to the system, including its service information. Assume measurable state observations with ordinary piecewise continuous functions as sample paths; write for the state immediately before time .
For a state set , let count offered arrivals by time and let be their times. With a positive finite constant arrival rate, the PASTA equality is
almost surely when the time limit exists. The indicator functions count visits on the left and time spent on the right. For a stationary process with ergodicity, the right side is the stationary probability of . It matters that the arriving customer has not yet changed the observed state.
In the M/M/1 utilization and delay example, server utilization is . Thus PASTA says that 80 percent of offered arrivals find the server busy and 20 percent find the whole queue empty. If an offered arrival seeing population is admitted with conditional probability , using fresh randomness independent of that state, the accepted fraction is , where is the stationary distribution. Multiplying this fraction by the offered rate gives the admitted queue throughput when every admitted customer eventually completes service. Accepted arrivals are selected by state and need not themselves form a Poisson process or see the unconditioned time frequencies.
Arbitrary arrivals need not see time averages. Suppose a customer arrives every two minutes and its service time is exactly one minute, with one server and no other customers. The server is busy half the time, but every arrival finds it idle. A uniformly random initial phase can even make the occupancy a stationary process, without repairing the disagreement. Nevertheless Little's law still gives , with rate measured in customers per minute. This separates Little's law from PASTA.
Ronald W. Wolff's 1982 paper gave a general PASTA theorem under nonanticipation, rather than requiring the observed system to be independent of its driving Poisson process. Its Theorem 1 compares the two long-run fractions; stationarity is a way to establish convergence, not the central sampling condition. [ref]. [ref].
The sum of independent Bernoulli random variables with possibly unequal success probabilities has a Poisson binomial distribution. Its probability generating function is : expand the product to read off the probability mass function. Linearity of expectation and additivity of variance for independent random variables give and . Equal recover the binomial distribution.
For three trials with success probabilities , expanding gives masses at . Their expected value is and variance is . Replacing all three success probabilities by their average preserves the expected value but gives binomial distribution variance , so it does not preserve the law.
For a rate-one Poisson process with Poisson arrival times , suppose and . Then
where and denotes the bivariate normal distribution with standard normal marginal distributions, including the singular cases. In particular, equal scales give and separated scales give .
To prove this, fix real and put for large . The event is exactly . Counts at the two deterministic times are sums of a shared count on and an independent count on the remaining interval. The central limit theorem for a centered Poisson random variable of diverging parameter follows by writing a count at a real time as its count at , a sum of independent unit increments, plus an independent remainder with expected value at most one. Markov's inequality makes that remainder negligible after division by .
Apply this central limit theorem to the two independent count blocks whenever their lengths diverge. A block with bounded length, or length negligible compared with the scale of its coordinate, contributes a term tending to zero in probability. The standardized pair of counts therefore has a joint normal limit whose correlation coefficient is
This includes : the difference block then has negligible variance after normalization. In the arrival event the standardized count at must be at least . Reversing this inequality changes the sign of the second limiting normal random variable, giving the asserted negative correlation coefficient. Continuity of the marginal distributions permits the moving thresholds and the weak inequalities, including at the singular limits.
Every is realized by with , and zero by . Conversely, even when has no limit, it has a subsequence converging in the extended interval . If the original pair has a joint bivariate normal distribution limit, that subsequence has the same limit, forcing its correlation coefficient into .
The normalized coherent state has number amplitude , hence the displayed Poisson law with mean and variance . A product of coherent modes has factorized number probabilities.
Poisson distribution Created 2026-09-24 Updated 2026-10-14
For , a Poisson random variable has probability mass function
The exponential function series verifies normalization. At , define with certainty. The equality of mean and variance is a distinguishing model property, though it does not by itself characterize the law.
When counting events in a homogeneous Poisson process, distinguish its rate from the distribution parameter: an interval of duration has . A rate measured per minute times a duration measured in minutes gives a dimensionless expected count. This process assumes independent increments, a constant rate, and a negligible chance of multiple events relative to interval length in a sufficiently short interval. A rate alone does not establish a Poisson distribution. See Bertsekas and Tsitsiklis, chapter 6 summary, pages 46-47.
For a constructed arrival model with events per minute over minutes, . The mean and variance are both three, and
The probability of at least one event is . These results describe the specified process, not every arrival mechanism with the same average rate.
The Poisson limit theorem, often called the law of rare events, connects this law to the binomial distribution. Keep fixed and let for integers . For each fixed nonnegative integer and sufficiently large ,
There are more opportunities, each less likely to succeed, while the mean stays and the variance approaches . For , the probability of three successes is at , at , and at , approaching the Poisson distribution value .
Figure 1.
Binomial counts approach Poisson counts while their mean stays fixed at three
. Details.
The panels show the same count scale and the same Poisson distribution reference. At , is not especially small and the difference is visible. No universal trial-count cutoff guarantees an adequate approximation for every event.
The independence assumption matters even when every success is rare. For , if all indicator random variables equal one shared Bernoulli random variable of parameter , their sum is zero with probability and with probability . Its mean is three, yet its zero-count probability tends to one, not . Some dependent counts still admit approximation through the Stein-Chen method, but this requires additional control of dependence.
For historical orientation, the BnF records Poisson's original probability treatise, Recherches sur la probabilité des jugements, as published in Paris in 1837. This bibliographic fact alone does not establish when the modern distribution terminology arose. See BnF record of Poisson's 1837 treatise.
Poisson germ-grain model 2026-10-14
A Poisson germ-grain model assigns a measurable region to each point of a Poisson point process and takes the union of those regions. A location remains uncovered exactly when no Poisson point has a region containing it, so its coverage probability is determined by the intensity of the corresponding set of germs and marks.
Poisson interarrival times Created 2026-10-14 Updated 2026-10-25
Let be the th arrival time, and set . In a Homogeneous Poisson process of rate , the gaps are independent and identically distributed random variables with an exponential distribution:
Here uses the rate convention. Under the scale convention , the same probability density function is ; a simulation function accepting a scale must receive . Conversely, summing independent rate- exponential random variables to form and counting those sums constructs a Homogeneous Poisson process.[ref]
The first-gap formula follows immediately from and the Poisson distribution. Independence of all successive gaps is the additional interval-theorem assertion; deterministic-time independent increments alone should not simply be substituted at random arrival times without justification. The memorylessness of the exponential distribution gives
At the toy rate of two per minute, the mean gap is half a minute, the median is minutes, and the probability of waiting longer than half a minute is . Here is the natural logarithm. Already having waited a minute without an arrival leaves this same conditional probability of waiting another half minute. The exponential distribution describes a model with no aging of the remaining wait; a scheduled arrival with a fixed gap has no such property.
Poisson Metropolis chain 2026-10-25
A Poisson Metropolis chain samples a Poisson distribution by proposing an upward or downward unit step with equal probability and reflecting a downward proposal at zero into a self-proposal. Its upward and downward transition probabilities are the displayed , with , and the diagonal entry is . For , adjacent stationary fluxes equal . Hence detailed balance holds. Positive adjacent probabilities imply an irreducible Markov chain; implies aperiodicity. The normalized invariant Poisson distribution implies positive recurrence, so the countable-state Markov chain convergence theorem applies. The boundary proposal probability is essential: forcing every proposal at zero to go upward would require a different acceptance ratio.
Poisson process Created 2026-09-24 Updated 2026-10-14
A Homogeneous Poisson process models arrivals at a constant rate . Its counting process counts arrivals in , with . Its paths are right-continuous nondecreasing functions, take nonnegative integer values, and have unit jumps almost surely. The defining Poisson distribution of each increment is
It has stationary increments: the probability distribution above depends on the duration , not the starting time . It also has independent increments: counts in any finite collection of disjoint time intervals are independent random variables. Together these conditions specify the joint count laws, not merely the Poisson distribution at a single time.[ref]
The rate has units of arrivals per unit time; is dimensionless. The Poisson distribution gives
For a toy rate per minute and a duration of minutes, the expected value and variance of the count are both . The probability of no arrival is , and the probability of exactly three is . In two consecutive one-minute intervals, the probability of exactly two arrivals in the first and exactly one in the second is , using independent increments. These are exact model calculations with rounded decimals, not measured frequencies.
Figure 1.
Synthetic arrival times and their right-continuous counting path, compared with the exact mean at two arrivals per minute
. Details.
The diagram's nine hand-chosen arrivals illustrate a path; the line is an expected value, not a prescribed trajectory. Constant rate does not imply evenly spaced arrivals. Poisson interarrival times connect the count description to waiting, while Poisson thinning explains how independently routing arrivals produces separate streams. This makes the Poisson process useful as a simple arrival model for a queue, provided constant rate and independent increments are plausible. For a deterministic changing rate, use an Inhomogeneous Poisson process; bunching or history-dependent arrivals need additional assumptions. Conditional on , the arrival times are the order statistics of independent uniform distributions on , as developed in Poisson process conditional arrival times.
Poisson thinning Created 2026-09-24 Updated 2026-10-14
Poisson thinning splits a Poisson process by independently marking each arrival as retained or rejected. Let the original Homogeneous Poisson process have rate , and let be a deterministic measurable function of time. Attach independent uniform distributions on , independent of the entire original Poisson process. At arrival time , retain the arrival if . Given all arrival times, these decisions are independent and have the specified retention probabilities. Define the two counting processes using an indicator function:
The Poisson thinning theorem gives independent retained and rejected Inhomogeneous Poisson processes. Their rates are and , respectively, in the sense of the intensity function of a point process. In particular, for ,
The independence is of the two whole processes: every finite collection of retained counts is independent of every finite collection of rejected counts. It is not merely zero covariance for one interval. For constant , the streams are Homogeneous Poisson processes of rates and ; the endpoints include the identically zero stream.[ref]
For an exact toy calculation, take per minute and retain with on and on . In the first two minutes, the retained and rejected expected values are and . In the next two minutes they are and . Over all four minutes, are independent Poisson distributions with mean each, and their sum has mean . Thus
These probabilities and expected values describe the model, not empirical measurements. In the diagram, the original nine synthetic arrivals split into five retained and four rejected arrivals; those realized counts need not equal their expected values.
Figure 1.
Independent marks split a synthetic Poisson arrival path, with exact expected counts for two time-dependent retention probabilities
. Details.
The mechanism explains why mutually exclusive labels can yield independent counts: randomness of the original total offsets the dependence from allocating a fixed total. For constant and an interval with original mean , the conditional retained count has a binomial distribution given . The joint probability generating function is
This factorization proves the two independent Poisson distributions; disjoint original intervals give independent pairs. For varying , the Independent marking theorem for Poisson point processes gives the same conclusion with the two integrated intensities. The joint red and green Poisson count formula gives the corresponding direct calculation with probability mass functions.
Independence here is unconditional. After conditioning on , the identity gives covariance for constant . Thus the retained and rejected counts are dependent for and , even though their unconditional covariance is zero. Poisson thinning can model independent routing of arrivals, or independent detection of arrivals with a known efficiency schedule; using only a retention fraction without checking the marking mechanism can give a wrong count law.
Polarization CHSH count model Created 2026-10-18 Updated 2026-10-25
Let be orthogonal linear polarizations, and prepare the Bell state . The analyzer vector is ; its orthogonal companion has outcome . Direct inner products with the Bell state give and . Thus the expectation value of the outcome product is . These are physical polarizer angles; their corresponding Bloch sphere angles are doubled.
For a stipulated isotropic admixture, use the density matrix
The maximally mixed state contributes zero correlation, so for . Each local marginal is , independently of the other setting, illustrating quantum no-signalling. In this model is the interferometric visibility of the coincidence fringe; other noise models need not have one common visibility for every basis.
Choose , , and . The four correlations in the displayed CHSH inequality are . Consequently , exceeding the local bound exactly when . Perfect correlation at a single common setting would not yield this comparison between incompatible quantum measurements.
To connect probabilities with expected counts, stipulate emitted pairs per setting pair and independent detection efficiencies , independent also of settings, outcomes and hidden variables. The expected joint counts are . Their normalized correlation is
For original teaching inputs , , and , the expected counts are and . They total and give , hence . Fractional expected counts are not measured data. Efficiency cancels here because the loss model was specified to be independent; this algebra supplies no justification for discarding failures in an arbitrary Bell test with a detection loophole.
Figure 1.
Ideal CHSH visibility threshold and expected detection counts
. Original model predictions, not experimental data. The first panel shows the visibility needed to exceed the local bound. The second uses 1000 emitted pairs, efficiencies 0.8 and 0.75, and visibility 0.8; each bar is an expected joint count. Details.
Polarized beta-decay angular distribution Created 2026-10-18 Updated 2026-10-20
Consider a parent atomic nucleus at rest. Write its signed nuclear polarization along a fixed axis as , where is its maximal spin component. Let be the angle of the emitted electron momentum to that axis and let . Use for the parity operator, so it is not confused with .
For an axially symmetric leading-dipole model, retain a constant and the term linear in the polarization vector . Rotational symmetry makes the directional term proportional to . Define its dimensionless coefficient as . At fixed electron energy the relative intensity and normalized probability density function per solid angle are therefore
The factor is the conventional separation of the speed dependence; rotational symmetry alone does not determine that dependence or . The coefficient contains the decay dynamics. This leading model omits higher angular terms and detailed recoil and radiative effects. A partially oriented higher-spin ensemble can also have alignment that is not specified by its vector nuclear polarization alone.
The unit-integral condition follows without any model of a detector:
Thus has unit angular average, while the probability density function in the polar angle alone contains the Jacobian determinant factor:
In particular, itself is neither a normalized probability density function in nor a detector count. Positivity on gives .
Under full spatial reflection, but . The latter follows already for orbital angular momentum from ; spin has the same axial vector transformation. Hence is a pseudoscalar, and . If parity conservation held for this model, equal probabilities for the inverted process would force . Conversely, in an unpolarized sample proves nothing about .
Integrating over the two hemispheres gives a useful original check:
Choose , , and , so . Then the forward and backward hemisphere probabilities are and , and their counting asymmetry is . These are chosen teaching values, not measured values from the Wu experiment. At a single energy, the angular shape determines the product ; it cannot separately determine without a polarization calibration.
Figure 1.
Chosen angular probabilities and detector-efficiency cancellation
. Original model with . The angular probability is distinct from a detector count; opposite hemispheres average the cosine to . Unequal efficiencies and exposures distort individual detector ratios, while a reversal cross-ratio recovers the chosen hemispheric asymmetry. All counts are constructed. Details.
For independent lengths with the uniform distribution on , the probability of forming a nondegenerate polygon is . The necessary and sufficient condition is that every length is less than the sum of the others. The failure events are disjoint except on sets of probability zero. The sum of lengths has probability density function on , by repeated convolution of probability densities. A specified rod is too long with probability ; summing over the rods proves the formula. For three and four rods the probabilities are and .
At for independent bond percolation on the square lattice, there exist and with . The Russo-Seymour-Welsh theorem and the Harris-FKG inequality give a uniform positive probability of a closed dual graph cycle around each geometrically spaced square ring. The independent annular barriers for percolation give the polynomial bound and imply zero critical percolation probability. This does not determine the exact critical exponent.
Work in the finite field , using modular arithmetic modulo five. Consider the two original polynomial examples
The distributive property gives , so all coefficients of cancel: is identically zero. In contrast, in this finite field, with nonzero leading coefficient. Its roots of a polynomial are exactly one and two: a product in a field is zero only if a factor is zero.
The complete polynomial evaluations, displayed as representatives modulo five, are
In particular, is a nonzero witness, which disproves identity without examining other points. At one or two, a zero value fails to reveal that is nonzero. A random variable with a uniform distribution on a finite set hits those two polynomial roots with probability .
Figure 1.
Exact evaluations distinguish a zero polynomial from a nonzero polynomial with two roots
. Every element of the finite field is shown. The upper row always accepts the identity . In the lower row, the two orange zero values falsely accept ; the three blue nonzero values correctly reject it. These are all possible outcomes, not sampled frequencies. Details.
A crucial limit appears with . Its coefficients make it a nonzero polynomial of polynomial degree five in , yet direct polynomial evaluation gives zero at all five field elements: the values before reduction are , all divisible by five. Thus induces the same polynomial function as the zero polynomial. Any number of trials restricted to will falsely accept this identity. This is compatible with the Schwartz-Zippel lemma: the ratio of polynomial degree to sampling-set size is , which gives no useful guarantee.
When a polynomial's representation permits polynomial evaluation over a larger field extension, a larger sampling set can restore the useful degree ratio. Access only to the induced polynomial function on the original finite field cannot distinguish from zero.[ref]
Polynomial method for quantum query lower bounds Created 2026-10-07 Updated 2026-10-25
After input-bit queries, every probability amplitude is a polynomial of degree at most , because the bit-query matrix entries are affine in the input bits. An acceptance probability is a sum of squared absolute amplitudes and has polynomial degree at most . Multilinear reduction on the Boolean cube does not increase degree. Exact acceptance therefore implies . For bounded error the acceptance polynomial only approximates the Boolean function; its exact representing degree is not the relevant bound.
Position measurement Created 2026-10-14 Updated 2026-10-20
An ideal position measurement of a normalized wavefunction assigns a probability to each spatial region through the Born rule: . This specifies outcome statistics; it does not by itself specify the post-measurement state. A physical detector has finite spatial resolution, which must be included in its measurement model.
Let be independent random variables with exponential distributions of respective positive rates . Condition on and use the survival function of :
At this is . Dividing by that probability proves that the positive difference conditional on again has an exponential distribution with rate . The memorylessness of the exponential distribution persists after an independent competing event has already occurred. Replacing the difference by a negative sentinel when adds an atom of a measure of mass at that sentinel without changing the positive tail.