Cauchy convolution semigroup Created 2026-10-20 Updated 2026-11-05
The centered Cauchy densities
form a convolution semigroup: . With Fourier convention , the characteristic function is . Multiplying characteristic functions proves the semigroup identity. Equivalently, the sum of independent centered Cauchy random variables has scale equal to the sum of their scales; for example, scales two and three combine to scale five.
This family permits an exact deconvolution calculation for a particular right-hand side. If , the integral equation
has probability-density solution . If , the probability-measure solution is the Dirac measure at zero rather than an ordinary density. If , a probability-measure solution would have characteristic function , which exceeds one in modulus for nonzero and is impossible.
Subtracting scales works because both sides belong to this convolution family. For a general right-hand side, Fourier deconvolution instead multiplies its transform by , potentially amplifying high-frequency errors. The semigroup identity does not make arbitrary Cauchy-kernel integral equations stable or solvable by a scale subtraction.
Planar Brownian motion started at exits the left half-plane with ordinate distributed as times a standard Cauchy random variable. Conditional on the independent horizontal hitting time, the ordinate is normal with variance equal to that time. The inverse-square Gaussian law of Brownian first passage turns this into a ratio of independent standard normals. Its exit density is .
For events , their limsup is the event that infinitely many occur. The first Borel-Cantelli lemma states that implies , without independence. Indeed
and intersecting these decreasing tail-unions proves the claim.
The second Borel-Cantelli lemma states that independent events with satisfy . For each fixed ,
Thus the probability that no event occurs after is zero; take the countable union over to exclude finitely many occurrences.
As printed, the requested real logarithm is undefined: independent Cauchy random variables are negative with probability , and the second Borel-Cantelli lemma shows that this happens infinitely often almost surely. There is therefore no real-valued sequence as stated. The natural corrected expression uses (or takes the limsup only over indices with ).
For the absolute-value interpretation,
For every the events are summable and hence occur only finitely often; for they are independent with divergent probability sum and occur infinitely often. Applying the two Borel-Cantelli lemmas to a countable sequence of approaching one from above and below gives
The one-sided tail gives the same constant for the positive-subsequence interpretation. It does not repair the undefined logarithms at the remaining indices unless that interpretation is explicitly adopted.
Let be independent standard Cauchy random variables. Their characteristic functions and independence give
Taking real parts yields
For each realization of , both products are rank-one positive-semidefinite kernels. Their sum and then their expectation remain positive semidefinite by the closure property of positive-semidefinite kernels. This is a Random Fourier feature representation of the Laplace kernel.
Small-radius Brownian winding law Created 2026-10-14 Updated 2026-10-31
For planar Brownian motion started at radius and stopped on first hitting radius one, the net winding count divided by converges to a standard Cauchy random variable divided by . The complex exponential maps Brownian coordinates in the left half-plane to the punctured unit disk after the conformal Brownian clock. The unwrapped argument at exit is the vertical half-plane exit coordinate, with the Cauchy exit law from a Brownian half-plane. Counting integer turns introduces only a uniformly bounded error in winding units.
Stability of the Cauchy distribution Created 2026-09-24 Updated 2026-11-05
If are independent standard Cauchy random variables, then
is again standard Cauchy. Indeed, its characteristic function is .
Stable distribution Created 2026-09-24 Updated 2026-11-05
A non-degenerate probability distribution is stable if adding independent copies changes only its location and scale. Precisely, if are independent copies of , then for every there are constants and such that
The coefficients in this general definition are positive. Allowing arbitrary mixed signs without changing the shape parameter is not valid for every asymmetric stable law; symmetric stable distributions have the stronger signed-coefficient property.
A stable law has an index , with the scale combination in the displayed convention. The centering may be necessary. A strictly stable distribution permits the combination without that centering.
For a standard normal random variable, has the law of , giving index two. For a standard Cauchy random variable, it has the law of , giving index one. The Cauchy example shows that stability does not require a finite variance or even a defined mean. Stable laws are useful precisely because an aggregation can preserve the same family despite changing its scale.