Conditioned on the parameters, the data augmentation labels are independent. By Bayes' theorem, the conditional probability of component for observation is
This is the mixture responsibility. Draw an independent uniform random variable and select using the cumulative sums of . Refresh every label before recomputing the component sufficient statistics for the next Gibbs sampler sweep. Numerically, form the log scores , subtract their maximum and exponentiate before normalization.
For events with , the conditional probability is
Use the sample space , where the first coordinate is the chosen coin and the other coordinates record which of its two physically distinguished faces lands upwards on each toss. There are equally likely elementary outcomes. Label the double-headed coin by one. For that coin both face indices mean heads; for each other coin only face index one means heads. In particular, strings of observed heads and tails are not equally likely outcomes.
Let be the event that the first three tosses show heads. With coin one all sixteen face-index strings are permitted. For each ordinary coin the first three indices must be one and the fourth is free, giving two strings. Thus . Of these outcomes, sixteen from the double-headed coin and one from each ordinary coin also have a fourth head. Hence
Equivalently, Bayes' theorem gives conditional probability of having selected the double-headed coin after ; the fourth-head probability is then . The tosses are independent conditional on the selected coin, while mixing over the same coin explains their unconditional dependence.
Because the events are pairwise disjoint events, their count can only be zero or one. The event that the count is zero is the complement of an event of their union. Finite additivity therefore gives
Now use for the fixed number of independently located ships. Normalize the radius to one and write their positions as unit vectors . A point on the sphere is reached by ship precisely when , so each ship reaches an open hemisphere. Coverage fails exactly when there is a unit vector with for every . Equivalently, all ship positions lie in some closed hemisphere.
With probability one no pair of ship vectors is antipodal and no three are linearly dependent: the exceptional choices lie on sets of zero surface area. For such a configuration, containment in a closed hemisphere implies containment in an open hemisphere. To see this, choose its inward normal , so . At most two vectors lie on its boundary. If there are two, their sum has positive dot product with each, since they are not antipodal; if there is one, use that vector itself. Perturb slightly in this direction. The boundary dot products become positive while all already positive dot products remain positive. Thus the strict and non-strict containment conditions have the same probability here.
Condition on the unoriented axes . Choose representatives by any fixed sign convention. By uniform sampling and independence, the actual positions are with independent fair signs . Conditional on these axes, each of the sign choices has probability .
The great circles partition the sphere into open regions. In each region the sign vector is constant. No sign vector labels two different regions: its strict inequalities define a convex cone, and normalized line segments within that cone connect any two points of its spherical section. The regions of a general-position great-circle arrangement therefore yield exactly realized sign vectors.
The chosen positions lie in an open hemisphere if and only if some has for every , that is, for every . Failure of coverage thus corresponds exactly to one of the realized sign choices. These choices are mutually exclusive events, each of conditional probability , so the first part applies:
The result is independent of the axes. Averaging gives the coverage of a sphere by random open hemispheres:
For this is zero; for it is . If no ship lands, coverage has probability zero separately. The counting uses equiprobable orientation signs, not an assumption that the spherical regions have equal area.
By the definition of conditional probability,
Therefore
In particular and when .
Normalize the probability density function using :
The corresponding Weibull distribution has survival function
Since the distribution is continuous, the choices and have the same probabilities. The conditional probability is consequently
For and , the supplied inequality, applied to , gives . Taking exponentials yields
This expresses the increasing hazard function : surviving to a later age shortens the remaining lifetime in this conditional distribution. At equality holds, as expected from the memoryless property of the exponential distribution.
The general, or asymmetric Lovász local lemma, is as follows. Let be events, with a dependency graph of events having neighbour sets . Each must be independent of the sigma-algebra generated by all the events indexed by its nonneighbours. If numbers satisfy
then
For completeness, the key inductive bound is whenever . Split into neighbours of and nonneighbours . If is empty, the dependency condition gives the bound directly. Otherwise,
The denominator bound follows by exposing the exclusions in one at a time and using the induction hypothesis with strictly fewer conditioning events. The same induction ensures that all conditioning events have positive probability. Finally multiply the successive conditional probabilities of avoiding to obtain the stated lower bound.
For the symmetric form, suppose each event has probability at most and the dependency graph has maximum degree . Choose . Then
The final inequality follows from . Thus suffices for positive probability that no bad event occurs. If , the dependency condition gives joint independence and the same criterion implies , so the conclusion follows directly.
Apply this to a fair independent two-colouring of the hypergraph vertices, with the event that hypergraph edge is monochromatic. Its probability is . Events on disjoint hypergraph edges use disjoint independent variables, giving a dependency graph by joining intersecting hypergraph edges. Each hypergraph edge meets at most
other hypergraph edges; repeated counting only enlarges this upper bound. The slightly looser bound is enough for the printed condition. Indeed,
The symmetric Lovász local lemma therefore gives a proper two-colouring. A hypergraph with no hypergraph edges is trivially colourable and needs no dependency calculation.
The statement is true. Put . The assumed ensures that every conditioning event , , has positive probability. By the definition of conditional probability,
Multiplying makes the fractions telescope, giving
This proves the chain rule for probabilities here without any assumption of independence. The final numerator may be zero; all denominators remain positive.
Let be the number of open edges, the number of connected components in the open subgraph, counting isolated vertices, and . Summing the joint weight over spins requires a constant spin on every open component. There are exactly choices. Thus the edge marginal is
This is the random-cluster measure, and the joint normalizing constant is .
Summing instead over edge configurations factors independently over edges. For a fixed spin configuration the resulting weight is
since . The factor is independent of the spins. Hence the spin marginal is exactly the ferromagnetic Potts measure in the convention
Its partition function satisfies .
Conditionally on , edge states are independent: an edge with different endpoint spins is closed with probability one, while one with equal endpoint spins is open with probability . Conditionally on , color its open components independently and uniformly from . Equivalently, every compatible spin configuration has conditional probability , and all incompatible configurations have probability zero. These are the two conditional laws of the Edwards-Sokal coupling.
If belong to the same open component, their colors agree surely; otherwise the two independent component colors agree with probability . Therefore
Rearranging proves the spin-connectivity identity for the Potts model:
Phase transitions refer to infinite-volume limits, not a single finite graph. The identity shows that connectivity is exactly the excess spin agreement above its independent-color baseline. More directly, use a wired random-cluster boundary condition and fix the corresponding boundary spin to color . Its component has color , while every finite component has a uniform color. In the compatible infinite-volume coupling,
Consequently normalized spontaneous magnetization is
The onset of a wired infinite cluster and the onset of spontaneous magnetization in the Potts model are the same transition under , giving . This also transfers any jump or continuity of that order parameter between the two descriptions; it makes no assumption about behavior exactly at the critical point.
Choose an orthonormal eigenbasis of , with eigenphases , counting multiplicity. The maximally mixed state is basis independent, so
Linearity means that the experiment is the equal mixture of the two eigenstate experiments. After the inverse quantum Fourier transform, the joint state is , where and
Thus the exact output distribution for quantum phase estimation with a maximally mixed target is
For a nonzero phase mismatch, the squared probability amplitude is , with value one at an exact match. If both eigenphases are exactly representable on the -point grid, their two labels occur with probability each; coincident labels have their probabilities added. For general eigenphases there can be nonzero probabilities at other labels, so it would not be exact to list only the two best approximations with probability each. Each eigenphase is sampled with spectral weight , and its nearest-label event has conditional probability at least . In particular a nearest label for one eigenphase has unconditional probability at least , with additional contributions possible from the other phase.
The law of total probability and the definition of conditional probability give Bayes' theorem:
The denominator is positive because .
For the observed cargo, set , , . The binomial likelihood under origin is
Equal prior probabilities and Bayes' theorem make the posterior proportional to these likelihoods. The binomial coefficient cancels in the likelihood ratios:
Thus and , giving
Even the permitted approximation gives log ratios about and , which already show overwhelming posterior preference for B. The exact logarithms are preferable because multiplication by magnifies the approximation error. An observed contamination fraction halfway between two hypothesized rates does not give equal likelihoods: the binomial distribution assigns asymmetric probabilities to those deviations, especially at this large sample size.
The events are pairwise disjoint and their union is . Finite additivity and the definition of conditional probability therefore give the law of total probability:
For the birthday problem, let mean that all birthdays differ. For , sequential conditioning on previous distinct birthdays and independence of random variables give
Here each factor uses the stated bound . For , , so
For a match is certain by the pigeonhole principle. The threshold from the exponential bound is , so suffices.
Write the Cox proportional-hazards model as , where is the hazard multiplier and is the unspecified baseline hazard. At an untied event time , let be the risk set immediately before the event and its failing individual. With independent censoring conditional on the covariates, the conditional probability that individual supplies the next event, given an event at that time and the risk set, is obtained by dividing its instantaneous event rate by the aggregate rate:
More precisely this is the limit of the conditional probability for one event in a short interval; simultaneous events have smaller-order probability in the continuous model. Multiplication of these successive conditional contributions gives the Cox partial likelihood
Censored individuals remain in each risk set until their censoring time but supply no numerator. Conditioning removes the baseline hazard; this is a partial likelihood for , rather than a complete likelihood for event and censoring times.
Ties require an observation model or an approximation. Suppose a recorded tie hides the order of continuous events, with no intervening entry or censoring. Put for the tied event set and . An exact marginal contribution for the coarsened ranks is the sum of the ordinary rank contributions over every possible order:
For example, if fail together while remains at risk, the two possible orders give
The risk set is depleted after the first of the two events. This expression concerns the missing event order; it is not the full likelihood of an interval in which the events occurred.
Convenient alternatives are the Breslow approximation for tied event times and the Efron approximation for tied event times:
The first keeps the initial denominator at every event; the second removes an average share of the tied-event multipliers successively. In the example their denominators are and . These conventional partial-likelihood factors omit multiplicities independent of , which do not affect its estimate; they should not be mistaken for normalized probabilities of the unordered event set.
For genuinely discrete event times there is another exact construction. If individual event odds are proportional to , conditioning on exactly events gives the exact tied-set conditional likelihood
For the same three individuals this is . It is not generally equal to the continuous-time rank sum: the assumptions differ.
Large tie groups make naive summation over orders or subsets impractical. Recursion helps with the subset denominator, and Breslow or Efron avoids exhaustive enumeration. However, extensive ties can also indicate that time is measured too coarsely for an exact continuous-time ordering to be a useful target.
For example, if patients are assessed only at annual visits, use one row per patient-year still at risk and model the probability of an event in that interval. A grouped proportional-hazards model follows directly by integrating the hazard over the interval, with covariates constant there:
Fit the resulting person-period likelihood, with Bernoulli distributions for the interval event indicators and interval-specific intercepts. Many events in the same year are then ordinary observations rather than a combinatorial ordering problem. This requires a compatible interval-observation scheme and appropriate independent censoring; it avoids pretending that unobserved within-year event times are known.
The event that is hit but is not has probability . Dividing by the probability that is covered, using the definition of conditional probability, gives
This conditioning concerns angular coverage of a sector; the two house-hit events are not independent.
For coverage of antipodal points by a randomly oriented sector, the house bearings differ by . For , no single sector can cover both. For , the two allowable arcs of centre bearings overlap in two components, each of length . Thus the conditional probability of a double hit is , not . Averaging against the probability density function gives
Put to obtain . Therefore
Conditional on , the uniform distribution of the sector's centre angle gives a range of possible centre bearings of length that hit a specified house. Independence of the two angles therefore gives the conditional probability . By the law of total expectation,
By the definition of conditional probability,
Since the form a disjoint partition of the sample space, the law of total probability gives . Substitution proves Bayes' theorem in the required form:
The hypotheses make the denominator positive and each conditioning probability well defined.
The independent uniform distributions give a constant joint probability density on the unit square. For , integrate over :
For the random quadratic with uniform coefficients, real roots require its discriminant to be nonnegative, equivalently . The boundary has probability zero, and the area under this parabola is
On that event the roots are , both nonpositive. Bounding both absolute values by one therefore amounts to bounding the more negative root:
Since , squaring the inequality is legitimate and gives . The admissible unit-square region is . Its probability is
Dividing by the real-root probability gives the requested conditional probability:
For events with , the conditional probability is . Applying the definition in both orders gives Bayes' theorem:
Conditionally on , independent fair tosses give a binomial distribution for the head count, so . The joint probability mass function is consequently
Use the law of total probability and the differentiated geometric series, , to obtain . The posterior coin count after exactly one head is therefore
These probabilities sum to one by the same series identity. The conditioning weights possible coin counts by their likelihood of producing exactly one head.
Squaring a variable with the standard normal distribution gives the required chi-squared distribution. Its two inverse images at are , so the change-of-variable formula gives
Draw the branch-selection uniform variable independently of the randomness used for the normal draw. Then the pair has the product law: conditioning on leaves uniform. This independence is exactly what justifies interpreting the subsequent threshold as the conditional probability of selecting the smaller root.
For , the corresponding smaller root is . The conditional probability of selecting the larger root is
It is the same weight as a function of the actual selected value . Hence
Combining the two open intervals proves the output has the Inverse Gaussian distribution . The event has probability zero, so no atom occurs at ; the limiting density there is finite. The algorithm always selects one of its positive roots, so these branch densities exhaust its probability distribution.