Dice Question Streamline Icon: https://streamlinehq.com

Moment determinacy of the reciprocal exponential functional (Bertoin–Yor conjecture)

Determine whether, for an unkilled Lévy process whose exponential moments are finite of all positive orders (equivalently, c^Ψ = −∞), the reciprocal of its exponential functional I_Ψ = ∫_0^∞ e^{−ξ_s} ds is moment determinate if and only if the Lévy measure Π has no mass on (0, ∞) (i.e., the process has no positive jumps).

Information Square Streamline Icon: https://streamlinehq.com

Background

In the regime cΨ = −∞ (all positive exponential moments finite), the exponential functional I_Ψ has all negative moments. Bertoin and Yor proposed a sharp criterion for moment determinacy of the reciprocal random variable I_Ψ{-1}: it should be moment determinate precisely when the underlying Lévy process has no positive jumps.

The survey recalls explicit formulas for negative moments and discusses why standard determinacy conditions (e.g., Carleman) may fail when Π((0,∞)) > 0, motivating the conjecture and its unresolved status.

References

The case cΨ = −∞ shows that for an unkilled e with all positive exponential moments, I_ has all negative moments. It is a conjecture of Bertoin and Yor, see [Sec.~3]{BerYor05}, that in this situation I_{-1} is moment determinate if and only if Π((0,∞)) = 0.

Recent developments in exponential functionals of Lévy processes (2510.19114 - Minchev et al., 21 Oct 2025) in Remark (Conjecture of Bertoin and Yor), Subsection 'General expression of the Mellin transform and moments'