arXiv Science⌕ Search

arXiv · 2610.32506

Direct Simulation of Poisson and Newton Kernel Distributions

Abstract

The Poisson kernel-based (PKB) distribution is a flexible and numerically convenient family on the unit sphere used for model-based clustering, uniformity testing, and directional data analysis. Available random variate generators rely on rejection from a von Mises-Fisher, angular central Gaussian, or projected Saw envelope and therefore require a rejection loop, tuning or root-finding, or a univariate setup phase. We show that none is needed. A uniformly random line through the interior point $ρμ$ meets the sphere in two points; selecting one with probability proportional to the opposite segment length returns exactly the target density. The sampler is exact, rejection- and tuning-free, uses one uniform direction and one Bernoulli draw, and costs $O(d)$ operations. We place the distribution in the power-Saw family of densities proportional to $\|x-ρμ\|^{-ξ}$ and show that, for $d\geq3$, the same construction is exact for one further exponent. This introduces the Newton kernel-based (NKB) distribution, whose normalizing constant is identically one. Across a wide grid of dimensions, concentrations, and sample sizes, the direct sampler is faster than the better of two previously recommended methods in every case, with the largest gains at moderate concentration.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lukas Sablica, Kurt Hornik. 2026-10-23. Direct Simulation of Poisson and Newton Kernel Distributions. https://arxiv.org/abs/2610.32506

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A new gradient-free active subspace estimation method with application to rare event probability estimation

To reduce the cost of estimating the probability of a rare event involving a very large number of random parameters, we propose a new strategy for dimension reduction coupled with a surrogate model for the expensive part of the algorithm. To this end, we extend the Ordinary Kriging Active Subspace (OK-AS) method into a sequential version. Our approach consists of iteratively re-estimating the active subspace using a Kriging surrogate trained in a rotated coordinate system until the active subspace stabilises. This method allows for a reduction in prediction error and a better approximation of the active subspace on a benchmark of test problems. Furthermore, we integrate our algorithm into an efficient pre-existing approach for estimating the probability of a rare event. This approach is based on learning the active subspace associated with the random event whose probability is to be estimated. The sequential learning of an importance sampling density is necessary and corresponds to the expensive part of this strategy. To circumvent this issue, we integrate our sequential OK-AS version into the estimation of the importance sampling density. The numerical results indicate that our method allows for reducing the cost required to obtain a precise estimate of the rare event probability.

stat.CO↗

KAPPA: Checking the Proofs in Statistics Papers with Lean 4 and Language Model Agents

Papers in statistical theory rest on long proofs that few readers check line by line. We present KAPPA (Kit of Agents for Proof-checking Papers with a proof Assistant), open-source software that organizes language model agents, run by Claude Code, to translate the proofs of a LaTeX paper into the proof assistant Lean 4 with its library Mathlib and check them there, result by result. Each numbered result receives one of four verdicts: verified unconditionally; verified conditionally, with every cited or unproved input stated as a named hypothesis; issue recorded, with its place in the paper and the side at fault; or unfinished, with the reason. The kit follows the paper's own proof step by step, rather than finding a new one. Separate agents write and review, each statement is compared with the paper before it is proved and fingerprinted afterwards, and every verdict rests on evidence that can be rerun without a language model. The kit runs unattended for hours, waits out usage limits, re-checks only what a revision changed and reports its cost by role, model and result. We describe the design, walk through a complete run, and apply the kit to four example papers with answer keys and to three published statistical papers, checked blind in their versions from before public corrections. In all three, the kit found the published error at the step that the correction names, together with further problems that we confirmed by hand. Given the same papers directly, the same language model working with Lean classified fewer results correctly on the longest paper and reported some statements narrower than the paper's as proved; no verdict of the kit claimed more than its Lean evidence showed.

stat.CO↗

QuantileMix: A Python package for quantile g-computation

Health researchers often study how a mixture of pollutants or nutrients relates to health. Quantile g-computation addresses this question by giving each exposure an ordered score and fitting a model for the outcome. For example, dividing an exposure into four quantile groups gives scores 0, 1, 2, and 3. The model can compare score 1 with score 2 for every exposure at once. These groups need not contain equal numbers of observations when measurements are tied. A one-score increase can represent different changes in the original units for different exposures. QuantileMix provides selected quantile g-computation methods in Python. It returns estimates, confidence intervals, predictions, and diagnostics for continuous, binary, count, and survival outcomes. Other models handle measurement limits, outcomes with several categories, and counts with many zeros. Fitting and prediction use NumPy and SciPy and do not require R. The package includes a reference manual, runnable examples, and numerical comparisons with R.

stat.CO↗