The probabilistic graphical model is the following Directed acyclic graph. The shared hyperparameters lie outside the plate; the plate repeats the local variables for . The observed colour is shaded, and the known error variance is a square.
Figure 1.
Graphical model for intrinsic supernova colour, dust reddening and measurement noise
. Arrows from to , from to , and from to the observed encode the conditional factorization. The plate encloses local supernova models.
Thus the parent sets are . Independent hyperparameter prior factors are represented by the three root nodes. With the printed improper priors this is a factorization diagram; it becomes a normalized generative model after proper priors are supplied.
For an attractor with one adiabatic clock and a regular Bunch-Davies vacuum, a long comoving curvature perturbation acts at leading order as a spatial dilation. The single-field inflation squeezed-limit consistency relation therefore fixes
For the local convention , comparison with its squeezed primordial bispectrum gives
The matter-era negative gravitational potential is , so this is also the conventional of part (i). In single-field slow-roll inflation, the spectral tilt is small and the effective local coupling is of slow-roll size, typically of order for a tilt of a few percent. This is a statement about the normalized coupling: the squeezed primordial bispectrum still contains the large long-mode power spectrum.
Formally putting this small coupling into the local template of part (ii) predicts only a tiny correction on accessible scales, rather than an order-unity local signal. For a physical halo abundance there is a stronger qualification. The consistency-relation modulation at fixed coordinate wavelength is a dilation; the coordinate size of a fixed physical halo must be dilated too. Those responses cancel. This is the absence of primordial scale-dependent halo bias in single-clock inflation: the leading consistency-relation term produces no physical halo bias. The first physical long-mode response contains two spatial derivatives, so dividing it by does not produce the local-template enhancement. Thus the leading primordial large-scale galaxy power spectrum remains the Gaussian-bias result, apart from ordinary transfer, bias, and projection effects.
The cancellation can be seen with a top-hat filter. At fixed local time, a constant long curvature rescales physical lengths by , so the coordinate radius of a fixed physical halo is , and the coordinate short density contrast is . Changing variables gives
Thus the smoothed field and its variance at fixed physical mass are unchanged by the constant long mode.
The assumptions matter: a non-attractor such as ultra-slow-roll inflation, additional fluctuating fields, or an excited initial state need not obey this squeezed-limit conclusion. A sizable physical local modulation would test the stated single-clock attractor assumptions, rather than every possible one-field model.
Interpret the longitudinal Dirac delta function as the Markov approximation for a random medium. The two arguments on the left of the printed covariance must be and . The transverse covariance kernel is . Here statistical isotropy means transverse isotropy: a medium with a distinguished longitudinal white noise direction and a smooth transverse covariance is not literally isotropic in all three directions. Also, ideal Gaussian white noise replaces the original finite-variance field; it cannot simultaneously satisfy a pointwise normalization .
Write for the covariance strength of the refractive index fluctuations. Define the transverse power spectrum using the unnormalized forward Fourier transform printed in equation 3:
This is the spectrum of the fluctuations, excluding the deterministic mean index. Equivalently it is the zero-longitudinal-frequency slice of the three-dimensional fluctuation spectrum before the Markov approximation. The angular integral is , where is the Bessel function of the first kind. Consequently Fourier inversion and the Hankel transform give
The printed equations 4 and 5 omit these reciprocal factors, and the left-hand side of equation 5 should depend on . They are instead a consistent order-zero Hankel transform pair if their denotes .
Using , the mean-field solution in the Fourier transform convention is
Here is the Fresnel propagator. Finiteness of the integral ensures a finite screen wave phase variance. If the quoted power spectrum uses the self-reciprocal Hankel transform convention, the same result reads
These formulas describe identical media when ; assigning the same numerical function to both spectral conventions describes different covariance strengths.
Use the time-harmonic wave convention and write , , with a deterministic incident wave envelope. The printed speed ratio is inconsistent with : the refractive index used below is . Substituting in the Helmholtz equation gives
The paraxial approximation discards . The usual weak-fluctuation model also linearizes , giving
Dropping the quadratic contrast is an additional weak-fluctuation assumption, not a consequence of small propagation angles. Although the linearized random potential generates attenuation of order , it does not retain every effect of that order in the literal finite-correlation index: the discarded quadratic contrast can also produce a mean wave phase shift. This linearization must precede a Gaussian white noise limit: the square of ideal white noise has no ordinary pointwise meaning.
The split-step Fourier method alternates free-space diffraction, , with a random phase screen,
For jointly Gaussian random fields, Gaussian phase averaging gives . More generally, a product of fields and conjugate fields picks up , with signs or . Its screen average is determined entirely by the wave phase covariance matrix. The deterministic diffraction step acts on each coordinate, with opposite signs on factors formed by complex conjugation. This is the basis of the field-moment equations.
There is an important closure qualification. A stationary Gaussian random field need not have independent longitudinal increments. For finite-correlation fluctuations, the unlinearized parabolic wave equation instead gives
In the weak-fluctuation model, the exact first-moment equation is
The last term cannot in general be replaced by a constant times . An exact generic solution of the linearized model is
where denotes time ordering of the propagation operators. For the unlinearized model, add inside the propagation generator. The covariance function of the medium is needed to evaluate this expression; One-point Gaussian distributions alone would not even determine the joint wave phase statistics.
For example, omit diffraction and take a longitudinal autocovariance function . Direct Gaussian phase averaging gives
Even here, unit-variance stationary Gaussian random fields with different give different answers. In the general problem the diffraction and multiplication operators do not commute, so this scalar attenuation cannot simply be multiplied by without an additional approximation.
The standard closed answer uses the Markov approximation for a random medium, made explicit in part ii. Let the longitudinally integrated covariance kernel be
Replace the medium by longitudinal Gaussian white noise with this strength. A screen of thickness then has and is independent of the incoming field. For the moment , expanding both steps to order gives
In particular, the coherent attenuation in a white-noise random medium and its Fresnel propagator solution are
Equivalently, write , where is Brownian motion in with transverse covariance kernel . The Stratonovich integral formulation is . Its Itô integral form is
The mean of the Itô integral vanishes, independently confirming the attenuation drift. For in two transverse dimensions,
Thus a unit plane wave has . For a general incident wave envelope, the Fresnel propagator supplies its spreading. The attenuation is redistribution between the coherent and diffuse wave fields, rather than wave absorption: for a field and its conjugate at the same point, the screen contribution in the second-moment equation cancels.
First include the mean-gain calculation preceding the numbered clauses. At each electron-multiplying CCD stage one electron contributes an expected electrons to the next stage. If is the charge after stage , conditional expectation gives . Iteration from input electrons yields
For small , if corrections of order are negligible.
In the high-gain approximation the output from one input electron has an exponential distribution of scale . Independent input electrons produce independent cascades, and their charges add. By convolution of independent random variables, assuming the formula for inputs,
Together with the single-electron base case this proves
It is a gamma distribution with shape and scale , so it is normalized and has expected value and variance . The formula is a continuous approximation to discrete output charge, not an exact integer-valued branching distribution; for there is a point mass at zero instead.
The Neumann boundary conditions give Fourier modes , including the spatially uniform mode . In the frame translating with the mean deposition height, that mode has no restoring force and obeys
Here is Brownian motion, independent of the initial height. More generally when these second moments exist. Removing the mean deposition drift does not remove the Gaussian white noise.
The Brownian zero mode of a fluctuating interface has no stationary distribution on the real height axis for . This conclusion does not depend on assuming finite variance: a stationary characteristic function would satisfy , hence vanish for every , contradicting its continuity at zero and . Any stationary joint distribution of the whole height would have a stationary zero-mode marginal, which is impossible. Thus the full unpinned height has no Boltzmann equilibrium. Pinning the mean height, or retaining only the nonzero Fourier modes, removes this obstruction. The PDF has ; the TeX's is a transcription error.
The deterministic equation has solution and is identical in form to the equation for the stochastic expected value. It therefore identifies only the net rate
The variance equation also contains the total event rate . Once and are inferred,
The deterministic trajectory cannot distinguish frequent births and deaths that nearly cancel from infrequent events with the same net growth, whereas fluctuations can.
The linear density contrast is Gaussian, so its cubic moment vanishes. The leading contribution is
Two connected Wick contractions give
The third pairing vanishes because . Isotropy makes and , so the angular average of the kernel is
Since to leading order, the unsmoothed matter-density reduced skewness is
This assumes finite unsmoothed variance; inserting a smoothing window generally changes .
Write , so the data map is . The Gaussian likelihood and prior distribution give
Completing the square, or using Gaussian conjugacy for a normal linear model, identifies a multivariate normal distribution with precision matrix . Since , its posterior mean and covariance matrix are
The parameters are
For example, , which checks the square completion.
The orthogonal vectors
are eigenvectors of the covariance matrix. Their respective variances are
They are independent under the posterior distribution, by independence of uncorrelated jointly normal variables. Thus uncertainty is different in the two directions even for positive noise: the data constrain , whereas spans the null space of the data map.
As , the posterior distribution converges to the law of
This is supported on , and its posterior mean is the minimum-norm least-squares solution. The prior distribution still determines the distribution along the unobserved null space; it has not disappeared. This example of a Gaussian posterior in the zero-noise limit distinguishes exact recovery of an observed component from recovery of the whole unknown.
The Cameron-Martin space of a Gaussian measure is
The inverse is defined on the range of . In this infinite-dimensional setting “positive definite” must mean for every nonzero , rather than a uniform lower bound: a trace-class operator cannot be uniformly positive on an infinite-dimensional Hilbert space.
By the spectral theorem for compact Hermitian operators, choose an orthonormal basis with , , and . (A strictly positive trace-class operator also forces the ambient Hilbert space to be separable.) In coordinates ,
This is a Hilbert space with its indicated norm, even though its range need not be closed in the ambient norm.
The Cameron-Martin theorem for a Gaussian measure states that the translated law is an equivalent probability measure to exactly when . For such , its Radon-Nikodym derivative is
The series has mean-square convergence and converges almost surely under , since its independent summands have total variance . Its law is , so the density has expected value one. It is sometimes formally written , but a typical infinite-dimensional Gaussian sample is not in ; the series interpretation is essential. If , the two laws are mutually singular measures.
Put . Subtracting this constant does not affect variance, and pairwise independent random variables have zero pairwise covariance. Therefore
Only pairwise independence is needed for the off-diagonal covariance terms to vanish.
Normalization of the probability density function gives
so
The expected value is
The second moment is
Therefore the variance is
For the median ,
so
In the far past, , the term is negligible and the rescaled mode is a quantum harmonic oscillator of angular frequency . The stated choice of its ground state is the Bunch-Davies vacuum.
At late times, after the mode is far outside the Hubble scale, . Its variance becomes
Since has dimensions of length cubed, the dimensionless power is proportional to . More precisely, with the standard isotropic Fourier convention,
which is independent of the wavenumber . Thus equal logarithmic intervals in carry equal late-time power. This is the sense in which inflation naturally generates a scale-invariant inflationary power spectrum.
Chebyshev inequality states that, for a random variable of finite variance and any ,
Let count triangles, where ranges over the three-element vertex sets and is the corresponding indicator random variable. Then
Two distinct triangle indicators are independent unless their triangles share an edge. There are
unordered pairs sharing an edge, and each covariance is
Therefore
It follows that
when . Chebyshev's inequality now gives
Hence
as summarized by the triangle count in a binomial random graph.
Let
be the log-likelihood. The score function and scalar Fisher information are
Under the usual regularity conditions the score has mean zero, so this is also its variance.
The information tensorizes when it is additive over observations. For identically distributed observations,
For an independent sample the joint score is the sum of the individual scores, and the mean-zero score identity makes all cross covariances vanish. This is the Tensorization of Fisher information.
For , the birth increment is , while
With , the generator identity gives
At stationarity , and solving this equation for the variance yields
For the chain is irreducible on the nonnegative integers, so its stationary distribution has . Therefore
Markov inequality says that a nonnegative random variable satisfies
Chebyshev inequality says that a random variable with finite variance satisfies
Let count triangles in . The triangle count in a binomial random graph calculation gives
Since ,
For sufficiently large , , and Chebyshev inequality gives
Put . The Rayleigh equation for inviscid shear flow becomes
Multiplication by and integration gives
For , its real and imaginary parts imply
Thus is a weighted mean of and is its weighted variance. If , the sharp bounded-variable variance estimate gives
Completing the square proves Howard's semicircle theorem:
Condition on the information available before time . The current wealth is then fixed, while is independent of that information. Put
For any portfolio , use the inner product induced by the positive-definite matrix to write
The linear image of a multivariate normal vector shows that the two portfolio returns are jointly normal, and
Thus independence of uncorrelated jointly normal variables makes the residual return independent of the aligned return; it also has expected value zero.
The continuation value is concave by part (c). Conditional Jensen inequality therefore shows that adding the independent centered residual cannot improve the objective:
where . Since the optimal portfolio is unique, its residual must be zero.
It remains to determine the sign. If , the portfolios and have the same return variance, namely , while their means are and . The latter return has the distribution of the former plus the positive constant . Since is increasing, replacing by cannot reduce the objective, contradicting uniqueness. Hence .
Applying this conditional argument at every time gives nonnegative, past-measurable random variables such that
This is the Gaussian one-fund theorem.