For this stellar population, let denote initial mass in units of the solar mass, and let denote present stellar age. Constant formation of equal numbers of stars per unit time makes the stellar age a uniform distribution on Gyr, so is uniform on . The normalized initial mass function has probability density function for , since . Consequently
These formulae have the stated age and mass domains; outside them the relevant cumulative fractions saturate at zero or one. The probability integral transform makes uniform on : gives . The time-independent initial mass function and constant number formation rate give independence of and . All fractions here count objects, including white dwarfs, using the stipulated stellar evolution law.
A red giant has
Thus the mass boundaries are and for positive . Equivalently, for the red giant region runs from to the age cap , and for it runs from to . There are no red giants with . Boundaries have zero probability and their endpoint convention does not affect the fractions. In the uniform square the red giant region is , with triangle vertices , and . The white dwarf region is the triangle .
Figure 1.
Mass-age regions and their uniform-coordinate images
. The right panel magnifies the evolved part of the unit square. All of the remaining region at larger X is main sequence.
At fixed , define the conditional probabilities of a red giant, white dwarf and main sequence star by , and . Their interval widths are
Integration over the uniform distribution of age gives the individual-star fractions
The systems form a coeval binary population: the two binary star components have the same age. Their masses are independent, so has uniform probability density function on and their states have conditional independence given . Unconditional independence of their states would be incorrect: older systems make both evolved states more likely. The law of total probability now gives
The subtraction removes the double counting of systems containing two red giants.
For , the nearest neighbour distance is the th order statistic of . Each has continuous distribution function on . The probability integral transform makes independent and identically distributed random variables with the uniform distribution on . Monotonicity of gives , a uniform order statistic. Strict monotonicity is not needed at this stage.
For , counting observations below gives
Differentiating and cancelling consecutive terms gives the Beta distribution:
The Gamma function identity identifies this with the stated normalization. Ratios of Beta function integrals yield the moments
This is the probability content of a nearest neighbour ball identity, specialized to intervals on the real line.
Now write . The Lipschitz bound gives
Thus
Strict positivity of the probability density function makes continuous and strictly increasing from zero to one, so its inverse function is defined for every .
For the requested conditional calculation, suppose . At the preceding bound gives
Therefore , and substituting in the approximation proves the inverse probability content bound for a Lipschitz density:
The same argument works, without , on the meaningful local range with .
Since the nearest neighbour density estimator obeys , its conditional bound follows from the Beta distribution moments:
Hence, under the printed location condition,
The conditional inverse function bound also bounds , so the expected value in this calculation is finite under those formal hypotheses.
There is, however, a genuine flaw in the original PDF: the printed condition has no admissible points when is strictly positive on all of . A probability density function on all of cannot have Lipschitz constant zero, so . Its Lipschitz bound forces
Integrating this triangular lower envelope gives the Lipschitz density height bound
The inequality is strict because the probability density function has positive mass outside the finite interval. Thus everywhere. The last two conditional conclusions above are valid implications but vacuous as printed. Dropping strict positivity gives only , with equality forcing the entire probability density function to be the normalized triangular envelope. The local inverse bound does not justify replacing the printed condition by its reverse in the final expected value bound, since ranges over all of .
For the planar uniform distribution with a Lebesgue measure density, assume that the compact convex set has nonempty interior, equivalently positive area. This assumption is missing from the wording: a line segment or singleton would not have such a planar uniform density.
The hit-and-run sampler at a current point chooses with uniform on , finds the interval
and samples uniformly on that interval, setting . Convexity makes the intersection an interval and compactness makes it bounded.
If is in the interior, every direction has positive chord length, and the next point is in the interior almost surely. For a definition valid at every boundary point as well, redraw the direction whenever the chord has zero length. We use this convention in the following parts. Positive-length directions have positive angular probability at every , since an interior ball is visible from , so the redraw terminates almost surely.
The Markov kernel has the uniform distribution on as its invariant law, as follows from the density symmetry proved next. Repeating the step therefore produces approximate uniform samples after convergence. The boundary convention matters: if singleton chords were instead treated as holding moves, a square's corner would have a positive atom at its starting point, contradicting part (b)'s claim of an everywhere absolutely continuous kernel.
Write and let
This is the accepted fraction of directions when zero-length chords are redrawn; it equals one in the interior. The Markov kernel integrates a test function as
The signed polar representation has Jacobian determinant . Each point is represented twice, once with positive and once with negative and the opposite direction. Since the chord is the same in either representation, the hit-and-run kernel density is
for almost every , and it is zero outside the body. Thus the transition is absolutely continuous with respect to planar Lebesgue measure. Redrawing removes the only potential zero-chord atoms.
Let . For distinct , the chord contains their segment, so it has positive length, and
Hence . Values on the diagonal, and on other null sets where a density is only specified almost everywhere, can be assigned this same lower bound. This gives a version satisfying
For interior , and the chord length is unchanged on interchanging its endpoints, so . A convex body's boundary has area zero; for example contractions about an interior point fill the interior and their areas tend to the body's area. Thus this symmetry holds almost everywhere for two uniform points, proving detailed balance and stationarity of the uniform distribution. Without positive area or the boundary convention in part (a), the literal assertion need not hold.
Let and let be the uniform distribution on the body. The hit-and-run kernel density lower bound implies
For the last range, lies in a radius- disc about any of its points, so and . This global Doeblin condition proves irreducibility with respect to and aperiodicity. The entire state space is a small set; , , and satisfy the geometric drift condition.
In fact the conclusion is stronger. Write , where and is the residual Markov kernel. Since , also . Each transition has a probability of resetting to stationarity, and after such a reset every subsequent distribution remains stationary. Equivalently,
Thus the algorithm has uniform geometric ergodicity, using the full-dimensional and boundary conventions stated in part (a).
Let be the number of heads. The likelihood function for the Bernoulli distribution sample is proportional to . A uniform distribution prior on is the distribution, so Beta-binomial conjugacy gives the posterior distribution
For every admissible transport map , the pushforward measure condition gives for -almost every . Hence , and
Apply the Jensen inequality to the convex function and the probability measure :
Translation by one sends the source uniform distribution to the target uniform distribution, so is admissible. Its displacement is constantly one, giving
No monotonicity assumption on is needed, because all displacements have the same sign. The same argument with a transport plan also gives the identical minimum for the Kantorovich optimal transport problem.
The scaled maximum
has cumulative distribution function for . Thus
The mean squared error of the maximum likelihood estimator is therefore
Each from the uniform distribution on has mean and variance . The sample mean is unbiased and has variance , hence
Let have the uniform distribution on , and set
The variables have the same law. They are not independent random variables, since
A cipher has perfect secrecy when the conditional probability of every plaintext given a ciphertext equals its prior probability: whenever . Equivalently, the plaintext and ciphertext are independent random variables.
Fix a ciphertext that can occur. Perfect secrecy requires every possible plaintext to remain possible after observing . For a deterministic decryption rule, two different plaintexts producing require two different keys, so the key space has cardinality at least that of the message space.
In a one-time pad, the message and key belong to the same finite additive group, the key is uniform and independent of the message, and encryption is . For every there is exactly one key , so
independent of . Bayes theorem then gives , proving perfect secrecy.
Uniform orientation on the unit sphere means that probability is proportional to the solid-angle element
Because the minor axis is unoriented, it is enough to take . After integration over the azimuth and normalization,
Equivalently, the random variable has the uniform distribution on .
For the uniform distribution , substitute into part d:
where is the complete elliptic integral of the first kind. Both and increase on ; indeed near zero and diverges logarithmically as . Thus the apparent distribution is strongly skewed toward higher : projection makes many intrinsically flattened systems look round.
Conditionally on , the uniform index selects the symbol with probability . The law of total probability therefore gives
Thus is the conditional mean type of a string in .
For , the probability of one jump in each infinitesimal interval around and no other jump by time gives the joint density
for together with the event . Since
the conditional density is
on that ordered simplex.
Now independent uniform points on have joint density on the cube. Each ordered vector has permutations, so their order statistics have density on the same simplex. The densities agree, proving Poisson process conditional arrival times.
A one-time pad over the finite additive group uses a key that is uniform on , independent of the plaintext , as long as the plaintext, and never reused. Encryption and decryption are
For independent random variables , conditioning reduces entropy and translation by a known element of the finite additive group preserves entropy, so
Interchanging and gives , hence
This is the entropy of a sum of independent finite-group variables.
The result explains why adding independent pad symbols cannot reduce uncertainty. For a uniform pad, is itself uniform and is independent of , which is the perfect-secrecy property. Independence is necessary: if is nonconstant and , then is constant, so
Write the molecular copy numbers as and use the power-law reaction propensity convention of the paper. The seven propensities and stoichiometric vectors are
A channel is assigned zero propensity whenever its update would leave the nonnegative integer lattice.
The Gillespie algorithm starts from and . At the current state compute . If , terminate the path. Otherwise draw independent random variables from the uniform distribution on , set the next waiting time to
and choose the least index satisfying
Then update and , and repeat. The minimum of the seven competing reaction clocks has an exponential distribution of rate , while reaction wins with probability .