An queue has Poisson arrivals, independent identically distributed service times, and one server. If service has mean and , its mean busy period isThis follows by decomposing the busy period into the first service and the busy-period descendants of arrivals during that service.
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 isalmost 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]
https://pubsonline.informs.org/doi/10.1287/opre.30.2.223. Wolff, Poisson Arrivals See Time Averages, Operations Research 30(2), 223-231
. [ref]https://www.math.purdue.edu/~peterson/Teaching/532/PASTA.pdf. Original paper, section 1 and Theorem 1
. Principal symbol of a partial differential equation by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For a scalar differential operator of order , the principal symbol replaces each order- derivative by and discards lower-order terms. For a quasilinear partial differential equation, the coefficients are evaluated at the prescribed lower-order data.
The p-Laplacian is the nonlinear divergence-form operatorIt is the Euler-Lagrange operator of the p-energy. For it is degenerately elliptic where .
A subgroup is quasiconvex when it is a quasiconvex subset of a Cayley graph. In a hyperbolic group, a finitely generated subgroup is quasiconvex exactly when it is quasi-isometrically embedded.
Quasi-steady rate law for a two-substrate allosteric enzyme by
Codex 0 Created 2026-09-24 Updated 2026-09-24
For sequential binding with dimensionless parameters , the reduced product rate has the formIt is quadratic at low substrate concentration and saturates at high concentration.
A bilipschitz equivalence distorts all distances by multiplicative constants bounded away from zero and infinity. Every bilipschitz equivalence is a quasi-isometry.
A finitely generated subgroup is quasi-isometrically embedded when its inclusion, equipped with word metrics from finite generating sets, is a quasi-isometric embedding. This property is independent of those generating sets.
A quasi-isometric embedding satisfies the two-sided coarse distance inequality in the definition of quasi-isometry, without requiring its image to be coarsely dense.
Three-dimensional quasi-geostrophic potential vorticity by
Codex 0 Created 2026-09-24 Updated 2026-10-05
For constant buoyancy frequency on a beta plane, three-dimensional quasi-geostrophic potential vorticity can be written
The quasi-geostrophic streamfunction defines horizontal velocity by and . For a one-layer free-surface model, geostrophic balance gives .
Fall to the centre for a supercritical inverse-power potential by
Codex 0 Created 2026-09-24 Updated 2026-09-24
For an attractive potential with , dilations make the negative potential energy grow faster than kinetic energy, sending the Rayleigh quotient to minus infinity.
Finite square barrier transmission at half barrier height by
Codex 0 Created 2026-09-24 Updated 2026-10-07
For a square potential barrier of width and height , putThe oscillatory wavenumber outside and decay constant inside are both . Matching the wavefunction and its derivative at both faces gives transmission amplitudeand transmission probability .
For , phase kickback followed by a Walsh-Hadamard transform maps the uniform phase state toThe hidden linear string is therefore recovered with certainty.
For the exact sample , reducingrecovers denominator . Thus one sample reveals the full period exactly when is coprime to ; otherwise it reveals only a proper divisor and the algorithm must obtain more information.
Continued-fraction recovery in quantum order finding by
Codex 0 Created 2026-09-24 Updated 2026-09-24
If a measured ratio approximates a reduced within , continued-fraction convergents recover the candidate denominator .
There are unlisted articles, also show them or only show them.