Here the gamma distribution uses a rate statistical parameter , with known shape . Write and . For each fixed , the alternative-to-null likelihood ratio is
strictly decreasing in . The Neyman-Pearson lemma therefore gives the same lower-tail critical region for every larger rate. Since has a continuous gamma distribution under the null hypothesis, there is a unique positive satisfying
Thus reject when is a uniformly most powerful test of exact test size . If denotes the unit-rate gamma distribution cumulative distribution function with shape , then
This is the uniformly most powerful test for a gamma rate.
When , the sum has shape one and hence an exponential distribution with rate . Therefore
In particular , and the power function is strictly increasing, exceeding for and tending to one as .
The displayed identity requires a correction to the process construction in the source. In a piecewise-deterministic Markov process, the instantaneous hazard function is evaluated at the current flowing state , and the destination is sampled from . Keeping the jump times and destinations of the original Markov jump process instead evaluates both quantities at its last reset state , which generally differs from . The source PDF confirms that these original jump times and destinations were retained. Consequently its definition does not in general produce the asserted transition kernel, or even a Markov process in the state variable alone.
For an explicit counterexample, take , , , and let every be the standard normal distribution, independently of . These are smooth coefficients with bounded positive jump rate, so nonexplosion holds. In the literal construction, the first holding time has the exponential distribution of rate . Thus the probability distribution of has an atom of mass at . Paths with at least one jump contribute no atom there, because the reset has a normal density. The asserted identity instead assigns to this no-jump atom the mass
which differs for every .
Here is the full derivation for the intended piecewise-deterministic Markov process. Assume nonexplosion; smoothness alone does not guarantee it. Start at , let be the first jump after , and set
One precise construction draws an independent unit-rate exponential random variable and takes , with . This implements a hazard function along the flow of a vector field, rather than a fixed exponential holding time at the last reset. Its survival probability and jump-time probability density function are
Equivalently, with . On , the terminal state is . Conditional on , draw the new state from and restart the same construction from . The Markov property and the tower property of conditional expectation therefore give the first-jump decomposition of a piecewise-deterministic Markov process
This proves the requested identity under the corrected construction, for every bounded Borel measurable function . The two contributions partition according to whether the first jump occurs before ; later jumps are already contained in .
For comparison, the literal construction does have a different renewal identity when started at a reset with . If denotes only these reset-start operators, the same conditional expectation argument gives
These need not be the transition operators conditional on at an arbitrary time: that observation does not specify the hidden reset state. This distinction explains exactly why replacing only the between-jump paths is insufficient.
At the empty Markov chain state, only the constant-rate production chemical reaction is possible. Thus the first-passage time has an exponential distribution of rate :
Its expected value can be obtained by integrating this survival function, and its second moment by integrating times the survival function:
Consequently the requested expected value and variance are
Conditioning on the observed time. The native PDF defines as the first production time and then conditions on that production occurring at . If the intended information is its numerical value , the answer depends on . We first compute this conditional probability using a conditional probability density; conditioning on an exact value of a continuous random variable means a density ratio, since .
Before , no molecules of the second chemical species are present, so the joint-removal chemical reaction cannot occur. Molecules of the first chemical species arrive as a rate- Poisson process, and each independently starts a clock with a rate- exponential distribution for producing the first molecule of the second chemical species. Define the unnormalized probability mass function
The chemical master equation before the first production, with production treated as killing, is
Multiplying by and summing gives a partial differential equation for the probability generating function:
Its solution, verifiable by direct differentiation, is
Thus , the survival function is , and the conditional distribution of given survival to is a Poisson distribution of mean .
Production in from Markov chain state has joint probability . Therefore the probability density function of is
The first production leaves unchanged. Taking the density ratio gives a size-biased distribution of the surviving count:
In particular, under this reading the requested conditional probability is
The shift by one matters: an observation made exactly when production occurs preferentially selects larger counts, since their production reaction propensity function is larger.
Without observing the numerical time. If the conditioning merely repeats the definition of , the requested probability is instead the unconditional count at that stopping time. Before production, increases by one at rate , while production occurs at rate in Markov chain state . The competing exponential clocks imply
The first factor requires a second arrival before production from count one; the second requires production before a third arrival. The first arrival itself is certain. Production eventually occurs with probability one, as is also clear from . As a consistency check, averaging the time-conditioned answer against gives
These are two distinct, explicitly specified interpretations of the printed conditioning.
Adopt the lower-bound scale of the Heisenberg uncertainty principle, , with the prescribed radial scale from a. Using MeV fm,
For a one-sided exponential distribution of a positive momentum magnitude, , both its mean and its standard deviation are . Under the additional identification made in this estimate, set the characteristic momentum to . This identification concerns a positive magnitude; the mean of a signed momentum component in an isotropic stationary state would instead vanish.
Use the relativistic energy-momentum relation, not a nonrelativistic kinetic-energy approximation, because the momentum-energy scale is much larger than the stipulated quark rest energy:
This is a characteristic energy estimated at the characteristic momentum. It is not an exact evaluation of over a fully specified three-dimensional wavefunction. An order-of-magnitude convention would give an answer about twice as large; the uncertainty principle by itself specifies a bound, not a unique confinement energy.
The exponential distribution prior has rate and support , so its prior density is . By Bayes' theorem,
where is a normalizing constant independent of .
Completing the square gives a useful exact reference for the numerical sampling. Put
Then this normal mean posterior with an exponential prior is a normal distribution with location and variance , truncated below at zero. With the standard normal distribution density and its cumulative distribution function,
The exponential rate is , not three; the prior mean is three. The support restriction must be retained in both the formula and the sampler.
The logarithm is strictly increasing, so . Since almost surely,
Thus the logarithm of a Pareto random variable has an exponential distribution with rate . Its probability density function value at the single endpoint can be chosen arbitrarily without changing the law.
Since , the function is strictly increasing on its support. For ,
and for . Differentiating the cumulative distribution function gives
The density value at the single point is immaterial. Hence has an exponential distribution with rate . Direct integration by parts, or its standard expected value, yields
Choose . If has an exponential distribution with rate , then for ,
while the integral diverges to when . Since has rate ,
For the other two rates, , whereas . These computations establish exactly the required finite variance, finite expected value, and infinite expected value.
Using the rate parameter convention for the exponential distribution, independence gives the joint probability density function
For , the survival probability of the minimum is
Thus has exponential distribution with rate , and
Values of a probability density function at the single endpoint do not affect the probability distribution.
Because , its cumulative distribution function is zero for . For , the transformation is decreasing, and has a continuous cumulative distribution function, so
Thus the exponential transform of a standard Gumbel variable gives
This is the exponential distribution with rate .
Write . Each exponential distribution has cumulative distribution function for . Independence therefore gives the maximum of independent exponential random variables formula
For any fixed , the threshold is nonnegative for all sufficiently large . Then
This is convergence in distribution to the standard Gumbel distribution.
Let a policyholder have one fixed exponential distribution intensity of rate , with conditionally independent annual Poisson distribution counts. Its one-year marginal count is geometric, but averaging that count does not make the discount process a Markov chain. In the three-level rule, start at zero discount. At time three, the histories and both end at the same top level. The first means three no-claim years, giving next no-claim probability . The second means a positive count followed by two zero counts, giving : divide the integrals of and . These are distinct, so the Markov property fails when only the current discount is recorded. Conditioning on the intensity, or recording its Bayesian posterior, restores the required predictive information.
Poisson arrival time 2026-10-25
The time of the -th event of a Poisson process. At positive rate , the Poisson interarrival times , with , are independent and identically distributed random variables with the rate- exponential distribution. In particular, has expected value and variance . The inverse-count identity is .
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.
A Poisson process observed for a fixed duration has likelihood proportional to . Complete independent exponential distribution gaps observed until a fixed event count have likelihood . Both give count divided by exposure, but the exposure is random in the second design. Under fixed exposure the total count is sufficient: conditional on it, the event locations are independent of the rate, so exact timestamps add no rate information to interval counts. Gap estimates and fixed-horizon estimates should not be compared without distinguishing their stopping rules and any final censored gap.
For independent standard normal random variables , put , , with and . The polar coordinates Jacobian determinant is , so the joint probability density is on . It factorizes into a Rayleigh distribution density for and a continuous uniform distribution density for . Consequently the radius and angle are independent. The change of variables for probability densities gives for , the exponential distribution of rate , also the chi-squared distribution with two degrees of freedom. Measurable transformation preserves independence, giving . The angle at is arbitrary on an event of probability zero.
Thus a sector with angular length has probability , independently of any radial restriction. For instance occupies a sector of angle and has probability .
For unit-rate exponential distribution frailty, the population survival and hazard in a proportional frailty model are
The surviving frailty distribution is exponential with rate .
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.