Let the active block have size . Using a stored skew triangle, the product costs scalar multiplications: two for each unordered off-diagonal pair. Updating its stored triangle with costs another products. Reflector construction, scalings and the active column take only additional products. Summing over gives
For a symmetric block, an optimized matrix-vector calculation costs products, and the symmetric rank-two update of one triangle costs products. The additional scalar and its correction to the update vector cost only per step. Thus
The leading terms are the same under the requested product-count convention. Skew symmetry removes the diagonal work and the scalar correction, giving lower-order savings, not a factor-of-two leading advantage over an already symmetry-aware implementation. Counting additions as well would change the reported flop constants; it is not the convention requested here.
At step , isolate the active column tail . If its subtail is already zero, no reflection is needed. Otherwise choose a Householder reflection on the active coordinates such that has only its first component nonzero. A cancellation-resistant choice is , with an arbitrary positive sign if . Embed as and replace by . Previous reduced columns are untouched, and column now has no entries below the first subdiagonal.
Similarity by an orthogonal matrix preserves skew symmetry. Consequently an upper-Hessenberg result also has zeros above the first superdiagonal, so it is tridiagonal with zero diagonal and opposite-sign corresponding off-diagonal entries.
For the active skew-symmetric block , compute . Because , expanding the two-sided reflection simplifies to
Store and update just one triangle, obtain the other by negation, and keep the diagonal exactly zero. Matrix-vector multiplication can likewise use each stored entry once to contribute to two output coordinates. This is skew-symmetric Householder tridiagonalization; there is no need for two dense matrix-matrix multiplications.
An elementary geometric-series construction suffices, without assuming a general polynomial-approximation theorem. Rotate the square by a multiple of so that . Put with . Every point of the square then satisfies , whereas
for sufficiently large . Thus the whole square lies inside a disk centred at whose radius is less than . The other three ways can lie outside the square are handled by the indicated rotations, after which rotating back preserves polynomial form.
Now expand
Let . The tail after degree is uniformly bounded by , tending to zero. Hence the displayed partial sums are the required uniform polynomial approximations. This is the Taylor series about a carefully chosen distant centre, rather than a potentially inadequate series about .
The complex Taylor theorem says that an analytic function has the expansion
throughout every disk centred at contained in . In particular it converges for , and uniformly on every smaller closed disk. The coefficients are uniquely its derivatives divided by factorials. The convergence radius can be larger if the function extends beyond the boundary of ; the theorem does not say that the given domain determines its exact radius.
Assume a positive barrier . Under the zero-rate risk-neutral Black-Scholes model, starts at and is Brownian motion with variance rate and drift . The drifted transition density killed at zero is
To see the factor, multiply the zero-drift reflected Gaussian difference by ; its second term is the ordinary drifted Gaussian from starting point times .
Integrate the payoff against this density. The first term is . Since , the payoff is zero for , so the second integral may be extended to all real and equals the ordinary call price from reflected spot . The reflection weight is . Thus the down-and-out European call value is
This assumes continuous monitoring and knock-out on first hitting, with no rebate.
At zero interest, interchanging spot and strike gives and . Substitution into the put formula therefore gives
Scaling both positive arguments by leaves and both values unchanged, while multiplying every price prefactor by . Thus
These are Put-call symmetry in the Black-Scholes model and degree-one homogeneity.
For positive spot, strike, volatility and maturity, the Black-Scholes formula is
where and . Degenerate zero-volatility or zero-maturity cases are obtained by limits.
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.

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