Integrating out the second coordinate gives the probability density function of the marginal distribution
Thus the ratio has the normalized target probability density function. The factor from the Jacobian determinant is essential; merely transforming the rectangular coordinates as if they remained uniform would give a different probability density function. This is the basis of the ratio-of-uniforms method.
Independently generate uniform on and uniform on , using the bounds above. Accept the proposal if
otherwise generate a fresh pair. On acceptance return . The bounding rectangle contains the entire ratio region: , and lies between the extrema of . Conditioning a uniform rectangle point on acceptance makes it uniform on , so the preceding marginal distribution calculation proves that the returned value has the desired Laplace distribution.
For this target , so the region has area two. The rejection sampling acceptance probability is
Endpoints have zero probability and can be excluded to avoid divisions by zero in implementation.
Take a random variable with the Rademacher distribution, and set
Both marginal distributions equal the law of for every . Hence and each have weak convergence of random variables to ; one may take on this probability space. But their sums alternate:
Indeed, at their characteristic functions are for even and for odd , so the sums have no weak limit at all. Separate marginal weak convergence does not imply convergence of the sum. The marginal weak convergence does not control sums counterexample changes the dependence while leaving the marginals fixed. Unlike convergence in probability, separate marginal weak convergence of random variables contains no information about the joint coupling.
Label the full siblings at the bottom and their cousin parents . Let have parents and parents , where are siblings with parents . Include the other great-grandparents as , parents of , and , parents of . This gives fourteen people, with six independent founders in a pedigree .
The pedigree graphical model has the following Directed acyclic graph, with both members of each parent pair pointing to every listed child:
Let be the founder genotype law under Hardy-Weinberg equilibrium, and let be the Mendelian segregation kernel. The joint probability of all genotypes is
For a biallelic locus with allele-1 frequency , , and . The kernel assigns probability to each labelled pair of parental transmissions and adds these probabilities when they produce the same unordered genotype. Summing this Bayesian network factorization over unobserved genotypes gives their marginal distribution or a pedigree likelihood.
Figure 1.
Genotype ancestry and the two fill edges for a first-cousin marriage pedigree
. Details.
After the top card is fixed, precisely three of the remaining fifty-one cards have the same rank. Thus a fresh uniformly shuffled deck has matching probability
In each independent round, the algorithm repeats with probability and stops with probability . A match always stops. Summing the probabilities over the possible number of repeated rounds gives
For the stopping probability per round is at least , so termination is almost sure.
Permutation of the thirteen rank labels preserves both the uniform shuffle and the stopping rule. The two marginal distributions are consequently uniform:
To establish independence, it is necessary to check the joint probability distribution, not just these marginals. For a specified rank , the fresh-shuffle diagonal probability is . For different specified ranks , it is . Reweight by the acceptance probability and sum over repeated rounds to obtain
The diagonal must equal for independence, forcing and therefore
At this value the off-diagonal expression is also , proving sufficiency for every ordered pair. This is an example of match-biased reshuffling preserves uniform rank marginals: state-dependent rejection sampling changes dependence even though both individual rank distributions remain uniform.
Take the coordinate-selection matrix
Then , and . The permitted result on a linear image of a multivariate normal vector therefore gives
This is the marginal distribution obtained by discarding the other coordinates. The conclusion holds also for a positive-semidefinite marginal covariance: in that case the Gaussian law may be degenerate and need not have a full-dimensional density. If the original covariance is positive definite, its principal block is positive definite as well.
We prove Kantorovich duality theorem here by a positive-functional extension argument; it produces the minimizing transport plan at the same time as equality of the values. Let and . This is a bounded continuous function because is a compact metric space. Write for the real space of continuous functions on a compact space, and let
On this vector subspace define . It is well-defined: two representations differ by a constant in the first variable and the opposite constant in the second, and both measures have mass one. It is positive, since implies and hence . Also .
Define the majorant envelope, which is a sublinear functional:
Constants majorize every , and positivity gives , so this quantity is finite. Taking approximate minimizing majorants proves subadditivity; rescaling majorants proves positive homogeneity. Moreover for , and subtracting from a majorant proves
The dual value in the question is exactly
Subadditivity at gives .
On , assign the value to . If the representation is unique. If , then , so the assignment is still well-defined. It is dominated by : for , use ; for , positive homogeneity gives . Together with the translation identity, these verify domination in both cases.
The real Hahn-Banach theorem extends this functional to with . If , then , so . Thus is a positive linear functional, with and . Positivity also gives , so is continuous. The Riesz-Markov-Kakutani representation theorem supplies a Borel probability measure on the compact space , satisfying .
For every , its pullback belongs to , so . Likewise . Uniqueness in the Riesz-Markov-Kakutani representation theorem shows that these are exactly the two marginal distributions. Finally, every feasible pair gives a lower bound for the cost of every transport plan, by integration. Our constructed plan achieves that bound:
This Kantorovich duality by positive extension establishes the requested existence and equality without assuming an optimal plan in advance.
The metric structure additionally gives the Kantorovich–Rubinstein theorem formulation. For a feasible pair define . The triangle inequality for makes one-Lipschitz continuous, , and . Hence the dual objective is at most . Conversely is feasible for every one-Lipschitz . Therefore
Normalizing for a fixed gives a uniformly bounded equicontinuous family; it is closed and compact in the uniform topology by the Arzelà-Ascoli theorem. The objective is uniformly continuous on this family, so the supremum is attained as well. In particular, is the first Wasserstein distance between the two measures.
The law of iterated expectation yields
One may obtain either from its unchanged marginal distribution proved below or directly from the law of total variance: the variance of its conditional mean is and its expected conditional variance is . Hence the correlation coefficient is exactly
Also . The two probabilities become close while keeping their original beta marginals.
Using the conditional beta distribution expected value and the law of iterated expectation,
Equality of the expected values alone does not prove equality of the marginal distributions; the later exchangeability argument does.
Two exchangeable random variables satisfy : their joint probability distribution is unchanged by swapping the coordinates. Thus for every measurable set ,
Exchangeability implies identical marginal distributions, but does not imply independence.
For each auxiliary count , the correctly normalized joint expression above is symmetric in . Summing it over preserves that symmetry, so these are exchangeable random variables. Their marginal distributions are therefore identical. Since was generated from a beta distribution,
The Beta-binomial exchangeable coupling changes the dependence, while leaving both prior distributions unchanged.
Write and integrate the Kac master equation over . For a pair , the rotation acts only on integrated variables. Its unit Jacobian determinant makes the integrated gain identical to the integrated loss, so all those pairs cancel.
The only remaining pairs are , . For such a pair, first integrate over every variable except and . This yields the corresponding two-coordinate marginal distribution evaluated at the rotated pair. Permutation symmetry of makes all resulting integrals identical to the one for . The coefficient is
Consequently the Kac marginal evolution equation is
The time argument has been suppressed on the right. The loss is consistent with normalization, since . Under the printed definition , this use of requires . For the same formula holds with the natural extension .
This identity is exact and generally unclosed. Replacing the two-coordinate marginal distribution by the product of one-coordinate marginals would produce the quadratic collision equation associated with Kac chaos. Permutation symmetry alone does not imply that product approximation.
Let be the normalized target and its marginal distribution. A coordinate- kernel leaves and has the joint old-new measure
This is symmetric in the old and new state: the common remaining coordinates are fixed and the two conditional factors exchange places. Thus each coordinate kernel satisfies detailed balance. Averaging them with the fixed weights proves
Integrating out the old state proves invariance of . The common normalization cancels, so detailed balance can also be written with the unnormalized target. This establishes detailed balance of a random-scan Gibbs sampler and a reversible Markov chain. Fresh independent random choices make the update a Markov chain, as explained above; invariance is not an assertion that an arbitrarily initialized chain starts in stationarity.
Interpret the contests as standard all-pay auctions: the highest effort among entrants wins, ties are shared uniformly, and an unentered contest awards no prize. The printed question does not specify a prize allocation rule; the highest-effort convention is the one used for standard all-pay contests in the course author's 2014 lecture slides. Under this convention, we can characterize the unique symmetric participation probabilities and bid marginals. Uniqueness of the entire joint mixed strategy requires a further restriction on dependence, as explained below.
Let be the probability that a player omits contest . Since every player enters exactly two contests, . Let be the probability that a rival is absent from contest or enters it with effort at most . Rivals' strategy draws are independent between players. For a positive bid outside a measure atom, the expected payoff from this contest is
An all-pay auction cannot have a positive-effort measure atom in a symmetric equilibrium: slightly overbidding that measure atom gives a positive discrete increase in the winning probability at an arbitrarily small extra cost. Nor can active bids have a measure atom at zero when entry has positive probability, because a small positive bid beats tied zero bids. Gaps inside the active effort support are impossible: moving a bid from the top of a gap to just above its bottom preserves its winning probability and lowers its cost. The effort support starts at zero, because lowering its positive lower endpoint would preserve the chance that every rival is absent.
The all-pay indifference equation with random entry consequently gives the maximal per-contest payoff
Every lies strictly between zero and one. First, if , the other two contests have certain entry and zero per-contest payoff, while deviating into the unused contest wins a positive prize. This contradicts equilibrium. Next, if , the remaining omission probabilities sum to one and neither can equal one, so both are positive. Contest has zero per-contest payoff, whereas both other contests have strictly positive payoffs. Every pair containing is then worse than omitting it and entering the other two, contradicting certain entry in .
Every omission therefore occurs with positive probability. The three entered pairs must give the same maximal payoff, which forces . Normalizing the omission probabilities gives the two-of-three all-pay participation equilibrium:
Conditional on entering contest , the effort has distribution function
extended by zero below this interval and one above it. The inequalities show that the larger prizes are entered more often.
To construct an equilibrium, omit with probability , then draw the two active efforts independently with their respective conditional distributions . Every bid in a contest's effort support earns ; a bid above earns at most . Thus no effort deviation or choice of a different pair improves on total payoff . This proves existence and verifies the Nash equilibrium without relying only on the indifference equations. The arguments above also prove uniqueness of the omission probabilities and the per-contest marginal distributions.
Figure 1.
Equilibrium omission probabilities and conditional effort distributions for three all-pay contests
. Details.
For the full joint strategy law, however, the printed uniqueness claim is too strong. Given an entered pair , either use two independent uniform random variables and bids , or use a single uniform and bids . These are different copulas with the same conditional marginals. A fixed deviation's expected additive payoff only uses the rivals' per-contest marginal distributions, so both constructions remain Nash equilibria. This is the marginal-equivalent equilibria in additive contests phenomenon. The participation probabilities and bid marginals are unique; the full joint mixed strategy is not unique unless a dependence convention is imposed. Independent conditional sampling gives one canonical representative.
Put . The random phase screen produces
Interpret the normality assumption as a jointly Gaussian process, not merely Gaussian one-point marginal distributions. Write its normalized autocorrelation as . The difference is a zero-mean Gaussian random variable with variance . Its characteristic function therefore gives the Gaussian phase-screen correlation
Without joint Gaussianity the autocorrelation alone does not determine this expectation.
For an acoustic pressure amplitude , with background mass density , the time-averaged acoustic energy flux is
An acoustic potential convention changes the dimensional prefactor. The physical field includes the carrier : a transverse Fourier transform mode has axial wavenumber in the parabolic wave equation. Thus its spectral acoustic flux is proportional to , or to at leading paraxial order. Differentiating the reduced field alone would omit the carrier contribution.
The infinite stationary illumination has a spectral measure of a stationary random field, rather than a finite ordinary value of at each . To specify the normalization, truncate the screen to an aperture of length , propagate this truncated initial field, and set
The propagation multiplier has modulus one. Using the Gaussian phase-screen correlation and the overlap of the two aperture intervals gives
Multiplication by gives the ensemble-averaged pressure-normalized modal acoustic energy flux for this finite-aperture convention.
The infinite-aperture spectral normalization consistent with the specified Fourier transform is
The integral and limit are understood as spectral measures of a stationary random field when necessary. By Parseval's identity, this is power per unit transverse length: . The ensemble-averaged axial spectral acoustic flux is independent of :
Here the notation includes Dirac delta distributions in the spectral measure of a stationary random field; the leading-order total flux is . The correction is meaningful within , the range of the paraxial approximation.
If and is integrable, the stationary phase-screen power spectrum separates into coherent and diffuse wave fields:
The coherent fraction is and the diffuse fraction is . If additionally , the stationary phase-screen power spectrum is with the same Fourier transform convention. Small alone does not imply small accumulated phase .
At each point the Gaussian process has a standard normal marginal distribution. Its characteristic function gives the coherent screen field
It is constant in , so its Fourier transform is . Applying the Fresnel propagator to this zero-transverse-wavenumber component gives the ensemble-averaged reduced spectrum
Thus the reduced mean is independent of . The physical mean still has its carrier phase. The coherent attenuation by a Gaussian phase screen takes place at the screen, with no further coherent attenuation in homogeneous space.
The full spectral acoustic flux depends on the second moment, not the square of this mean. For a stationary process, the generalized cross-spectral correlation is
Indeed its propagation factors cancel on . This explains why the ensemble-averaged spectral acoustic flux in (b) is also independent of , even for nonzero transverse wavenumbers whose individual complex amplitudes change phase. The coherent atom has weight ; the full stationary phase-screen power spectrum also contains fluctuations. Under the decay assumptions in (b), their integrated weight is . One must use these weights in a spectral measure of a stationary random field, rather than square a Dirac delta distribution. A phase-only screen preserves the leading-order total acoustic energy flux, although it reduces its coherent part.
A coupling of probability distributions is a joint probability distribution of random variables with the specified marginal distributions: and . No independence is required.
For every set , the difference of the two indicator functions vanishes when . Consequently
Maximizing over gives the coupling inequality for total variation:
Put and . Dropping factors independent of , the multinomial likelihood and uniform prior give the posterior density
Multiplying this by the stipulated binomial distribution for the latent variable cancels the factor :
Consequently the two full conditional distributions are
Start with , sample from its binomial distribution, then sample a new from its Beta distribution, and repeat. The binomial distribution can be sampled by adding independent Bernoulli random variables. For the Beta distribution, take independent and and return ; integer-shape gamma distributions are sums of independent unit-rate exponential distributions. Both shapes are positive even when some observed counts vanish.
Each Gibbs sampler update preserves the augmented posterior distribution, so its marginal distribution is the required posterior distribution. The positive full conditional distributions on the interior allow exploration of the entire support. These iterates are generally dependent; they are not the independent exact draws constructed in the later parts.