A case chromosome is transmitted and a pseudo-control chromosome is untransmitted. Summing the paired table by columns for cases and by rows for controls gives
For the ordinary unpaired chi-squared test of independence, the expected cells are 30,30,70,70. Its uncorrected Pearson statistic is
For the paired McNemar's test, only the discordant transmissions matter, with counts 24 and 18. Thus
Both uncorrected statistics happen to coincide and have the same approximate one-degree-of-freedom chi-squared distribution reference, giving . The data do not show persuasive transmission imbalance at the conventional 5% level.
The equality is a numerical coincidence, not a justification for ignoring pairing. To see the equality criterion for paired and unpaired allele tests, write the original matched cells as and . The unpaired marginal-table statistic is
whereas McNemar's is . Here , , and , giving equality. Changing concordant counts can change the unpaired statistic without changing McNemar's. The transmission disequilibrium test should retain its conditional paired interpretation.
If a continuity correction is used, state it explicitly: McNemar's corrected statistic is ; the corresponding Yates-corrected marginal statistic also coincides here. An exact conditional test uses and gives the two-sided probability .
The recombination fraction is the probability that a transmitted gamete is recombinant between the two loci in the ordinary two-locus genetic linkage model. Its conventional range is
Zero corresponds to complete linkage and to independent assortment. Multiple physical crossovers can restore parental phase, so the recombination fraction is not the expected number of crossovers or an unrestricted crossover probability.
The LOD score is the base-ten log likelihood ratio against independent assortment. For the two families,
For a known-phase first family this becomes
with endpoint terms interpreted by limits, such as when the corresponding count is zero. Positive values favour genetic linkage, and the likelihood ratio is . A conventional large positive threshold such as 3 represents a likelihood ratio of 1000, not automatically a posterior probability or a universal 5% test.
For a test calibrated to this study, use the distribution of the maximized statistic under , for example by simulating transmissions conditional on the same parental genotype and ascertainment scheme. Reject for sufficiently large values with the chosen significance threshold; phase uncertainty and the boundary null prevent assuming an unqualified ordinary interior Wilks reference. The missing pedigrees prevent the numerical value or their explicit likelihood polynomial from being supplied, but the likelihood-ratio definition and testing procedure apply once those data are recovered.
The acceptance mass for an unnormalized rejection envelope follows by integrating the proposal-specific acceptance probability:
The inequality also gives , so this is a valid probability. It is the same at every independent trial.
If indicates acceptance of the th proposal, then are independent Bernoulli distribution variables with parameter . Hence the accepted count satisfies
Its variance is . Conditional on any acceptance pattern, the accepted values have independent target probability density function ; mixing over patterns retains this product law conditional on their count.
Write , so . The finite envelope condition means that almost everywhere; in particular, the proposal must cover the support of the target.
For each independent proposal , generate an independent and accept precisely when
Discard a rejected proposal and continue. The ratio is in and is needed only where . Neither evaluation of nor prior knowledge of the normalized target is required.
To prove the output law, for any measurable set the joint probability of acceptance and a proposal in is
Dividing by the total acceptance probability gives , the target probability. Independent proposal-uniform pairs give independent accepted observations. With a finite proposal list there can be no accepted value; with continued independent trials, acceptance eventually occurs almost surely because .
For normal rejection sampling with an exponential envelope, complete the square in the probability density function ratio:
The maximum occurs at , which lies in the support because . Thus
The PDF exponent is inside the square root; this distinction is lost in the converted TeX.
The acceptance rule simplifies to
An exponential proposal can be generated as from an independent uniform distribution value . Since the target is normalized, the overall acceptance probability is . To maximize it,
Therefore the optimal rate is , with acceptance probability .
Finally, give each accepted half-normal distribution value an independent fair sign and output . On each half-line its probability density function is half the reflected half-normal distribution probability density function:
Consequently . The sign must be drawn independently; rejection itself does not supply it.
Here the proposal is with . Its probability density function depends only on , so . The determinant and normalizing constant of the target also cancel. With as in the preceding entry,
Equivalently, writing and ,
One can also compute the exponent without subtracting two large quadratic forms:
Generate two independent standard normal distribution proposal increments, compute this log ratio, and accept when . Retain the previous pair on rejection. Detailed balance gives the correct invariant distribution, and the everywhere-positive Gaussian proposal makes this random-walk Metropolis algorithm chain irreducible; a rejection probability provides a holding step. The resulting target-distributed pairs are dependent, with proposal scale and target anisotropy controlling how quickly they mix.
For the Metropolis–Hastings algorithm, start at a point with positive target probability density function. Draw from a proposal probability density function , generate an independent uniform distribution value , and set the next state to if
Otherwise retain , including that repeated state in the sample. Where a proposed forward move is possible but its reverse probability density function vanishes, its acceptance probability is zero. Unknown normalizing constants in cancel.
For distinct states, the accepted probability flow is
which is symmetric in . This detailed balance identity, together with the holding probability, proves that is invariant. Under appropriate irreducibility and aperiodicity conditions the chain converges to ; successive states are generally dependent.
The Gibbs sampler updates coordinates from their full conditional distributions. In a systematic sweep, draw successively
Each update preserves the target joint law: integrating the old coordinate against its conditional probability density function and replacing it by an independent draw from that same conditional leaves the joint probability density function unchanged. The composition of the coordinate updates therefore also preserves . A Gibbs sampler coordinate move can be regarded as a Metropolis–Hastings algorithm move with acceptance probability one. Systematic sweeps preserve stationarity but need not themselves be reversible. Initialization away from stationarity requires convergence before treating the draws as approximately target-distributed, and dependence must be accounted for in Monte Carlo method error estimates.
A microparasite typically multiplies within an infected host on a much shorter time scale than between-host transmission. A useful first model classifies hosts by infection status. A macroparasite, such as an adult parasitic worm, instead requires a count of parasites per host: two infected hosts can carry very different within-host parasite burdens. These are modelling distinctions rather than a rule determined only by an organism's physical size.
For a microparasite with no lasting immunity, a homogeneous SIS model is
The basic reproduction number is , and the prevalence describes the infected-host fraction. A SIR model adds an immune class, and a SEIR model adds a latent class. Contact structure, age, susceptibility, recovery rate and infectiousness can require several such classes. Then a next-generation matrix or operator, rather than a single averaged contact rate, sets the invasion threshold. Stochastic epidemic models are relevant to early extinction and finite populations; network or spatial models represent nonuniform contact opportunities.
For a simple macroparasite burden model, let be the fraction of hosts carrying adult worms. Assume acquisitions at rate , independent adult-worm losses at rate , and a number of infective stages in a well-mixed environmental reservoir. The immigration-death worm-burden model has
This birth-death process needs the burden distribution or its probability generating function, not just an infected/not-infected partition. Its mean satisfies . With host number fixed and each adult producing infective stages at rate , one possible environmental closure is
For this asexual, unsaturated transmission approximation, one worm's basic reproduction number is . Growth above the invasion threshold requires additional density regulation if a finite endemic burden is sought. Sex-dependent mating would change this closure.
With constant external exposure , the equilibrium burden follows a Poisson distribution with mean , giving infected-host prevalence . If exposure rates vary across hosts as a gamma distribution, the Poisson-gamma mixture gives a negative binomial distribution with mean and aggregation parameter :
The same mean burden can therefore coexist with very different prevalence and highly infected subgroups. Aggregation of macroparasite burdens affects treatment coverage, burden-dependent host mortality, immunity and parasite fecundity. For sexually reproducing worms, hosts need both sexes for fertile output; a mean alone may not determine it. With independent equally likely sexes and Poisson burden, the probability of both sexes is , illustrating mating-limited macroparasite transmission and its low-burden bottleneck.
Both microparasite and macroparasite models need heterogeneous exposure and host responses. The special extra difficulty for macroparasites is translating a distributed worm burden, and possibly worm sex or developmental stage, into transmission and host harm. Conversely, complicated within-host microparasite processes can also require more than a binary host state when the simple fast-within-host approximation fails.
Use an assortatively mixed two-risk-group SIS model with equal per-person recovery rate . Let be infectious proportions in groups of sizes . Let be their fixed contact rates and the transmission probability per contact. Suppose a small fixed fraction of high-risk contacts is with the low-risk group. Contact reciprocity in a two-group epidemic requires
For sufficiently small , both groups make most contacts within their own group, and the total cross-group contacts are of order . Define , , and . The forces of infection give
Here and hold in the small- regime. High-risk per-person cross contact is order one but its group size is order ; low-risk per-person cross contact is order . These distinctions are needed to count each cross-group partnership consistently.
Linearize about the disease-free state. In infectious fractions the transmission matrix is
In infected-individual counts the next-generation matrix is instead
The count and fraction formulations are related by a diagonal change of coordinates, so their eigenvalues coincide. The basic reproduction number is the spectral radius , not an average of the two group reproduction numbers. The larger real eigenvalue is
This model makes a particular reciprocal mixing convention explicit; different defensible contact laws can change the first-order coefficients.
The payoff table is blank in the original PDF, so denote its four row-player payoffs by for , with the prisoner's dilemma ordering . No numerical entries are inferred. Let the two reactive strategies be and , where is cooperation after the opponent's cooperation and cooperation after defection.
The joint action states form a four-state Markov chain. In state order , its transition matrix is
The prescribed initial memories give independent first actions with cooperation probabilities . Same-round actions remain independent: each player's next action uses the other player's previous action and its own independent random draw. Thus their marginal cooperation probabilities obey
Put . If , the two-step recurrences contract and the long-run payoff of reactive strategies follows from
The joint stationary distribution is . Player 1's mean payoff is ; exchange for player 2.
The deterministic boundaries must retain the initial memories rather than divide by zero. Two Tit for tat players cooperate forever and earn . Two players who always do the opposite of the opponent's previous action alternate and average . One of each cycles through all four states and each averages . These are the only cases with . A periodic Markov chain need not have convergent state probabilities, but its long-time average payoff is defined by its cycle frequencies.
Choose a real unitary matrix and undo it at the second stage:
After the first rotation the photon qubit is . A dud leaves this quantum superposition unchanged, so the inverse rotation restores . Its final projective measurement can never return .
For a live bomb the absorbing component explodes with probability . If the photon survives, the normalized state is , and the second rotation makes it . The unconditional probabilities of the three possible live-bomb outcomes are consequently
They sum to one. The nonexplosive result certifies a live bomb because its dud probability is exactly zero. The inconclusive result resets the qubit to its original state, allowing another identical trial.
The repeated weak-rotation bomb-test efficiency follows by summing the geometric series over the first successful trial:
This is conditional on testing a live bomb, not an average over an unspecified prior fraction of duds. To make the finite-run success probability exceed , choose positive so that , then choose so that . The first condition controls the limiting deficit and the second controls the remaining tail. Exactly yields no explosion but also no information, so the limit must be approached with nonzero weak rotations.
The half-efficiency limit is consistent with the structure of this Elitzur-Vaidman bomb tester. Suppose generally . A final outcome that certifies a live bomb must be orthogonal to the dud output . Pulling this outcome backwards through gives the normalized vector orthogonal to . Its squared overlap with is . Thus the safe-certification probability is , whereas the explosion probability is . The former never exceeds the latter. Summing these mutually exclusive terminal events over repeated, possibly adaptive trials gives and hence . This concerns the specified rotate–interact–rotate–measure protocol.
A differential form of degree is integrated over an oriented -dimensional smooth manifold by integrating its coefficient in orientation-preserving coordinates. For an oriented parametrization , this means integrating the pullback over ; a partition of unity combines charts. The change of variables formula makes the result independent of the charts. Reversing the orientation of a smooth manifold reverses the integral. The Generalized Stokes theorem says, for a compact oriented -dimensional smooth manifold with boundary and a smooth -form ,
where the right-hand side includes the boundary pullback, and the boundary has the outward-normal-first boundary orientation. Compact support suffices on a noncompact manifold. This unifies the fundamental theorem of calculus, circulation and flux identities.
For example, take the unit disk oriented by and the differential one-form . Its exterior derivative is , so the area integral is . Parametrizing the positively oriented circle by gives the pullback and the boundary integral , directly illustrating Generalized Stokes theorem.
For the distance calculation, write , , and ; these are scalar radii, not position vectors. The triangle inequality and its reverse give and . Also,
Thus and . These conditions, with , are also sufficient for a triangle with side lengths . Endpoints correspond to collinear configurations.
Assume the two positions are independent random variables, each having constant volume probability density inside the radius- ball. Independence is needed: uniform marginal distributions alone do not determine the distance distribution. Put and . The change of variables has unit Jacobian determinant, so the joint probability volume differential form is the product of the two normalized volume forms. In spherical coordinates for and for relative to its axis, it is
The polar coordinates fail on axes and at zero radii, which are sets of zero volume and do not affect the probability. Here is the angle from to . The law of cosines becomes
Differentiating and taking the wedge product with eliminates the terms involving and :
Consequently the positive integration density transforms by at fixed . The minus sign is accounted for by reversal of limits: decreases as increases. The radial variable retained is , while the polar angle is replaced by ; equivalently one can start with the angle between the two position vectors and replace that angle by . The wording of the printed hint conflates these two coordinate choices, but its volume form gives the stated transformation directly.
Integrating over the first orientation gives , and integrating gives . The probability density function of is therefore
where has and . There are no such configurations for .
To evaluate this integral explicitly, the Jacobian determinant of has absolute value . Hence as a positive density. For , set . The domain is , , and evenness in gives
An antiderivative, zero at , yields
Substituting for and for gives the same polynomial in both intervals:
Thus the distance between two uniform points in a three-dimensional ball has the final density
It is zero outside this interval. Its nonnegativity also follows from , and direct integration gives . The derivation uses the full six-dimensional probability volume differential form, rather than treating the three scalar distances as independent.
A Poisson distribution with parameter has probability generating function . The preceding part gives , the probability generating function of a Poisson distribution with parameter . To prove independence, retain both counts:
Consequently the joint probability generating function factors as
Comparing the coefficients of proves that the joint probabilities are the products of the marginal probabilities. Hence and are independent, with distributions and . This is Poisson thinning, including the degenerate counts when or .
Three positive lengths form a nondegenerate triangle precisely when each is less than the sum of the other two. Necessity is the triangle inequality. For sufficiency, two circles centered at the ends of one side intersect off that side whenever the remaining lengths satisfy these strict inequalities, giving the third vertex.
Failure thus occurs when , , or . Two such inequalities cannot hold together for strictly positive lengths. Zero lengths and equality cases have probability zero because the variables have continuous probability density functions. By symmetry each failure event has the probability just calculated. Hence the probability of forming a triangle is
Another convolution of probability densities gives, for ,
Only this part of the density is needed because the fourth length is at most one.
Four positive lengths can form a nondegenerate quadrilateral if and only if every length is less than the sum of the other three. Necessity follows by following the other three sides between the endpoints of the longest side and applying the triangle inequality. For sufficiency, select a diagonal length in the intersection
Both intervals are nonempty, and their intersection is nonempty exactly when and . These are precisely the four strict length inequalities. Construct triangles with sides and on opposite sides of their common diagonal. Their union has the required simple, nondegenerate quadrilateral as boundary.
The failure events, in which one length is at least the sum of the others, are disjoint except on sets of probability zero. For the specified length , independence and the density above give
There are four symmetric choices of the overly long side, so the probability is
This is the four-sided case of the polygon probability for independent uniform rods.
The binomial series gives
Thus and, for ,
with the factors after omitted for . The signs follow from . As , the series has nonnegative terms and its sum increases to , so monotone convergence gives . These are therefore genuine probabilities on the nonnegative integers, proving that is a probability generating function. Its expected value is infinite, since ; finiteness of the mean is not required for this branching process.
Write . The composition formula gives , with . Consequently , and summing the geometric series yields the explicit generation generating function
This is the fractional-power offspring generating function and its iterates.
Evaluation of the probability generating function at zero selects the constant coefficient, so
To identify this limit with ultimate extinction, let . The absorbing-zero property of the branching process gives . Ultimate extinction means that some finite generation is empty, namely . Continuity of probability on increasing events therefore gives
This set argument is essential: it uses absorption, rather than inferring extinction merely from a numerical limit of generation probabilities.
Every urn contains balls. Let be its number of blue balls; choosing an urn uniformly makes uniform on . Conditional on that urn, the probability of a blue first draw is , so the law of total probability gives
Drawing twice without replacement requires . Given , the probability that both draws are blue is , and hence
Taking the ratio defining conditional probability gives the second requested probability
Although a blue first draw removes a blue ball from its urn, it also makes an urn rich in blue balls more likely. Averaging with this changed conditional distribution is essential.
Two independent events satisfy . If , this is equivalent to : learning that occurred does not change the probability of . The product definition also covers zero-probability events without dividing by zero.