Regularity of a J-holomorphic curve 2026-10-14
A J-holomorphic curve is regular when the linearized Cauchy–Riemann operator is surjective. Regularity only for simple curves is weaker than regularity for all maps: multiple covers of an exceptional sphere can fail regularity even when that simple sphere is regular.
A real-linear Cauchy–Riemann operator on a complex rank- vector bundle over a closed genus- Riemann surface is a Fredholm operator between the usual Sobolev spaces and has the displayed index. Zero-order real-linear terms do not change this index, since they form a continuous deformation of Fredholm operators. For the bundle pulled back by a sphere, subtracting the six-dimensional reparametrization group gives the dimension formula for regular J-holomorphic spheres.
Normalize the second-order equation as . If every point other than zero and infinity is ordinary and both exceptions are at worst regular singular points, then and extend holomorphically across zero and stay bounded at infinity. Liouville's theorem makes them constants, yielding the displayed Euler-Cauchy equation. If both exceptions must be genuinely singular, exclude and , which make zero and infinity respectively ordinary.
End of a functor 2026-10-14
Quadratic Casimir operator 2026-10-14
For a Lie algebra representation with generators referred to an orthonormal invariant form, the sum commutes with every generator. Indeed, the commutator is proportional to a contraction of antisymmetric structure constants of a Lie algebra with the symmetric product . The Schur lemma makes it scalar in an irreducible complex representation; that scalar is its quadratic Casimir eigenvalue. With trace normalization , taking the trace gives .
Magnetic island 2026-10-14
A magnetic island in a planar magnetic field is a region of closed magnetic field lines surrounding an extremum of the Cartesian magnetic flux function. A surrounding separatrix can pass through a saddle of that function and separate the island from other flux regions. In ideal incompressible flow, the flux-function value carried by each fluid particle and the area enclosed by each material contour are conserved.
Quintic cardinal spline midpoint collocation 2026-10-14
Sampling consecutive order-six Cardinal B-splines at their support midpoints gives the displayed finite B-spline collocation matrix. No exterior columns are retained. Its row strict diagonal dominance margin is at least , so the inverse infinity-norm bound from diagonal dominance gives . The uniform knot samples are , obtained recursively from the Cox-de Boor recurrence.
Gaussian caplet bond-put formula 2026-10-14
For a Gaussian forward-rate field with deterministic volatility, put , , and . Under the T-forward measure, is lognormal with that integrated variance. With and , the displayed expression is the caplet price. At use the discounted intrinsic bond-put value. Gaussian instantaneous rates do not make the reset floating rate Gaussian; the exponential bond relation is what yields this bond-option formula.
Boundary-adapted holomorphic zero factor 2026-10-14
For a proper plane domain , choose and attaining . The holomorphic functionhas exactly one zero in , a simple zero at . For its zero-free holomorphic logarithm satisfiesThus products of such factors can realize prescribed zeros approaching the boundary. If the zero has multiplicity , choose the logarithmic error smaller by a factor before taking the th power. On a compact subset of , eventual uniform summability of these logarithms gives a nonvanishing product tail and a holomorphic function with precisely the requested zeros.
For nonzero prescribed zeros with , the Weierstrass elementary factors of increasing order give the displayed holomorphic function on the unit disc; handles finitely many zeros at zero. On any compact disc, eventually , and . The infinite product convergence from logarithmic tails gives a nonvanishing tail. The finite initial factors supply exactly the prescribed zeros and multiplicities. No Blaschke condition is required unless boundedness is imposed.
For Poisson input and with , clipping occurs with logarithmic probability . At any smaller exponent , this is superexponentially small at speed . Dividing the input and output difference by therefore gives exponential equivalence. More directly, for every threshold , the events and are identical.
Clip Poisson input of mean at . The Poisson moderate deviation principle and contraction principle for large deviations give the displayed output rate at the clipping scale. At smaller exponents the output retains the original rate by moderate deviations below a bufferless queue cap. At larger positive-deviation scales every overflow event is eventually impossible because the requested threshold exceeds the cap.
Relative position of Borel subgroups 2026-10-14
The relative position of Borel subgroups is the Weyl group index of their simultaneous conjugacy orbit. After moving the first subgroup to a fixed , the second has the form and its index is the double coset . This identifies the diagonal action on pairs of flags with the Bruhat decomposition.
Positive one-particle BRST cohomology 2026-10-14
For a nonzero null momentum and a nontrivial BRST charge on the gauge/ghost one-particle sector, closed vector states obey and exact vector states have polarization proportional to . The Faddeev-Popov ghost field state is exact and the antighost field state is not closed. With mostly-plus Minkowski metric, choose ; closure sets , so the norm is . Quotienting by the null longitudinal polarization leaves two positive-norm transverse polarizations per group index. Self-adjointness and nilpotence alone do not establish positivity on an arbitrary state space: the nonzero momentum, nontrivial charge and stated indefinite inner products are essential here.
On a positive-definite Hilbert space, these two identities imply , hence on its invariant domain. A nontrivial covariant BRST charge therefore acts before reduction on an indefinite-inner-product gauge/ghost space. Exact vectors are null and orthogonal to closed vectors, and BRST cohomology quotients them out. Positivity of the reduced physical space requires the additional gauge-theory structure; it does not follow from abstract nilpotence alone.
For Brownian motion started at zero in dimension three, let be its first hit of the sphere of radius . The optional stopping theorem applied to proves that is finite almost surely. The Strong Markov property and the Brownian sphere-hitting probability in dimension three then give the displayed return probability. Choose radii . The return events after decrease and their probabilities tend to zero. Almost surely one of these exit times is followed by no visit to the closed ball of radius . Apply this to all positive integer to obtain almost surely. This gives full transience of Brownian motion in dimension at least three, rather than only a positive escape probability.
Let be positive, continuous and nondecreasing, with . The small-value probability for the Brownian running maximum is at most a constant times the value. Brownian scaling and dyadic integral comparison make the exceptional probabilities summable. The Borel-Cantelli first lemma and monotonicity interpolate between dyadic times. Apply this argument to for every positive integer on a countable intersection of probability-one events to obtain the infinite lower limit.
For and , the distribution function is . The Brownian reflection principle gives the zero-drift terminal density below the barrier as for . Weight it by using the Girsanov theorem and complete squares in the two Gaussian integrals.
For Brownian motion, write the later maximum as , where has a nondegenerate normal distribution and . The independent increments make independent of the earlier history and of . Conditional on those two objects, equality of the two maxima prescribes one value of , an event of probability zero. This argument uses the positive gap and does not assume independence of the two absolute maxima.
Gaussian maximal bound for Brownian motion 2026-10-14
Stop the Exponential martingale for Brownian motion when first reaches or at . On the hitting event its value is at least , so that event has probability at most . Minimize over and apply the same bound to . The union bound gives the displayed inequality for ; at zero the probability is zero.
There are unlisted articles, also show them or only show them.