Assume , with the given gamma using shape and rate. Put
The joint posterior density before normalization is
Complete each square and integrate over all . The Gaussian integral contributes , giving
This hierarchical form completely specifies the normal-gamma distribution of the posterior. For comparison, has shape and rate ; confusing this conditional shape with the marginal shape would lose the Gaussian-integration factor.
Marginally has a multivariate Student distribution with degrees of freedom and scale matrix . The coordinates are conditionally independent given , but are generally dependent after integrating their shared precision. This is conjugate shrinkage with uncertainty in the overall noise scale.
Complete the square in the independent normal prior and likelihood:
Thus, conditional on the full observations, the hospital parameters remain independent and
If is the observed minimum index and , its conditional distribution is exactly this formula with . No extra truncation is introduced because the selection index is already a function of the conditioned data. Its posterior mean is shrunk toward zero, so the worst measured performance is not simply identified with the worst true performance.
For level , let be the horizontal generator: neighboring horizontal sites exchange at rate , with reflecting endpoints. It is symmetric and has zero row sums, so the uniform row vector satisfies . Removing paths as soon as they jump vertically gives the killed horizontal generator . Therefore
Conditional on any elapsed waiting time without a vertical jump, the horizontal position remains uniform. This proves the exit-position uniformity as well as independence of that position from the vertical holding time.
Now consider the upward rate block from level to . For each of its destination columns has sum : an endpoint receives its single doubled edge jump, and each other site receives two jumps of rate . Hence
Likewise every destination column of the downward block has sum , so . Thus, conditional on either next vertical level, the arrival position is uniform on that new level. At the corner the two upward rates are equal, giving uniform arrival on level one directly.
Starting with the single site at level zero, induction now proves the uniform conditional law for a triangular-wedge walk: conditional on every attainable past-level sequence, arrival is uniform; the killed semigroup makes departure uniform; and the rate-block column sums make arrival at the following level uniform again. This proves both equalities of the requested property and justifies the averaging in part (b). The statement does not condition departure on the future level, which would in general bias the exit positions.
For , an interior horizontal position has total upward and downward rates each. At either edge the upward rate is and the downward rate is . Thus every position has total vertical-jump rate . Averaging over the uniform conditional horizontal law gives
At zero there are two upward jumps of rate , so and , agreeing with these formulas. Dividing by yields the two embedded transition probabilities in part (a).
The constant vertical hazard makes every vertical holding time exponential with rate . Conditional uniformity at a new level, together with preservation of uniformity during horizontal motion, makes the next direction depend only on that level. Consequently the vertical process has the Markov property in its own history and the generator in part (a). Part (c) proves the preservation assertion and the required conditioning on past levels, rather than assuming strong lumpability for every possible horizontal starting point.
The embedded birth-death chain has upward probability and downward probability . To calculate a return probability, solve the harmonic difference equation on with boundary values one at zero and zero at . Successive differences have ratio , so their weights are
Their total infinite sum is . Letting gives the probability of ever hitting zero from :
In particular the chain leaves zero to one and returns with probability , so it is transient. This finite-interval calculation selects the minimal nonnegative hitting-probability solution, rather than merely observing that is harmonic.
The continuous-time chain has the same embedded transitions and constant total exit rate , so it is nonexplosive and has exactly the same return events. It too is transient, neither positive recurrent nor null recurrent.
Let . Direct differentiation gives
These are holomorphic polynomials and their squared sum is
Moreover direct calculation of the metric gives and , so the map is genuinely an immersion everywhere. The preceding characterizations prove that it is an isothermal parametrization of a minimal surface, the Enneper surface.
The null condition follows by expansion:
It vanishes exactly when and ; the immersion hypothesis ensures their common value is positive. Thus it characterizes isothermal coordinates for an immersion.
With complex coordinate , mixed derivatives commute and
and similarly for . By the Cauchy-Riemann equations, each is holomorphic exactly when the corresponding coordinate is harmonic. Combining with the preceding part gives an isothermal immersion is minimal exactly when all three are holomorphic. Without immersion the null condition could also describe a degenerate map, so the nondegeneracy hypothesis matters.
An isothermal parametrization is an immersion with first fundamental form , where . Thus and .
Write . Differentiating the metric identities gives
For example ; the other identities are analogous. Hence is normal to the surface. For a unit normal , its normal component is . The supplied mean curvature formula reduces to . Therefore
A surface is a minimal surface when its mean curvature vector vanishes. Since , the preceding identity proves minimality is equivalent to in isothermal coordinates.
The prime factorization is , so it is composite and squarefree. Moreover , and all divide . The Korselt criterion therefore proves that 561 is a Carmichael number.
By the Korselt criterion, the prime factors are distinct. There cannot be just one prime factor, since a Carmichael number is composite. If there were exactly two, write with . Then , so , impossible because . Hence at least three distinct prime factors are necessary.
On the standard two-dimensional representation, has eigenvalues . Its th symmetric power has monomial basis , , of weights . The character is therefore
The quotient is interpreted by continuity at , where its values are and .
Apply the Weyl integration formula for SU2 to the character product:
The last equality follows directly by product-to-sum integration. A finite-dimensional representation of a compact group decomposes into irreducibles, and the squared character norm is the sum of squared multiplicities. Since this norm is one, there is exactly one constituent with multiplicity one. Thus every symmetric power is irreducible, and the different powers are pairwise inequivalent.
Normalize Haar measure on to total mass one. For a continuous class function , the Weyl integration formula for SU2 is
Equivalently it is . For arbitrary continuous , replace on the right by its conjugacy average .
Here is a direct proof. Identify with unit quaternions, the sphere . Multiplication by a unit quaternion is a transformation given by an orthogonal matrix of , so normalized round volume is bi-invariant and is Haar measure. Write a quaternion as , , . The round volume element is , and the total volume is . Conjugation rotates the unit imaginary vector , so a class function depends only on . Integrating over the sphere of area gives the factor . The endpoint degeneracies have measure zero. Conjugacy averaging and Haar invariance prove the more general version.
The positive roots can be written
whose squares are and and whose product is one. Therefore all roots lie in . Conversely and , giving in the splitting field. Hence
The quadratic fields and are distinct, so the compositum has this degree. Their independent sign changes are four commuting automorphisms, each nonidentity of order two. Thus
Let and , so . The roots are . The element is not a square in : its field norm is , whereas the field norm of a square is a square of a rational number and hence nonnegative. Thus , and . This also proves irreducibility of the quartic.
The splitting field is , since and . Because , adjoining doubles the degree:
The Galois group acts faithfully on the four roots and preserves the partition into the two opposite pairs and , possibly interchanging the pairs. The full permutation group preserving this partition has order eight and is the dihedral group of a square. Since the Galois group has order eight, it is exactly that group. Equivalently its generators can be chosen as and complex conjugation , with and .
The Fisher information is
Under standard interior, full-rank and large-sample regularity conditions, the maximum-likelihood estimator is asymptotically normal with mean and covariance
Therefore
The sums already depend on sample size; no extra factor should be inserted. The variance is estimable by substituting fitted means. If all are the same, and the two coefficients are not separately identifiable.
Put . Up to constants independent of , the log-likelihood is
The score function and its derivative are
Thus an interior maximum-likelihood estimator solves
For a full-rank design the Hessian is negative definite on the parameter region, so there is at most one interior solution and it is the maximum. A Newton method, also Fisher scoring here because the observed Hessian equals its expectation, is
Recompute the means at every step and use a line search if necessary to keep all and increase the log-likelihood. Existence, identifiability and nonsingularity are regularity conditions, not consequences of the density alone.
The density is that of a Gamma distribution with shape and rate , requiring . Direct integration gives
for . Using and ,
The continued-fraction algorithm gives
after which the process repeats. Thus
The first two convergents are and , of field norms and respectively. The even period gives the fundamental solution
It is also directly the smallest positive solution: for , the values are , neither square; gives . Cubing by the preceding Pell equation group law gives
Indeed .
For the continued-fraction assertion, take the standard Pell equation hypothesis nonsquare. If is a solution with , then
The convergent criterion for continued fractions therefore makes a convergent to . Write its periodic expansion as , and index convergents by with . The norm-one convergents occur at with even. In particular the fundamental positive solution comes at if is even, and at if it is odd. If is this least norm-one unit, all integer solutions are represented by , .
The abelian group law comes from multiplication of the norm-one expressions:
Their field norms multiply, so the result remains a solution. Multiplication also proves associativity and commutativity; the identity is and the inverse of is . Cubing gives
The last form uses .
For completeness, the assertion about all powers follows by dividing any positive unit by the largest power of not exceeding it: the remainder is a norm-one unit in , and minimality forces it to be . Sign changes and inverses give the remaining solutions. If the phrase “nonsquare integer” includes negative , real continued fractions do not apply: has only except for , when also occur. The same multiplication law still works in those finite groups.
For subhorizon pressureless matter during radiation domination, expansion is too rapid for significant self-gravitating growth. Neglecting the small matter-gravity term gives , hence a constant plus a logarithm of time; the exact coupled radiation problem supplies the detailed amplitudes. This is the Mészáros effect. Modes entering the horizon during radiation domination are suppressed relative to modes entering later, while after equality ordinary matter growth resumes.
The matter power spectrum consequently has a turnover near the equality horizon scale in units with . Shorter-scale modes retain the radiation-era suppression. This statement concerns cold pressureless matter; baryons coupled to photons also show acoustic effects before recombination.

There are unlisted articles, also show them or only show them.