{"id":"arxiv/2607.09868","url":"https://arxiv.org/abs/2607.09868","tags":["math.CA","math.PR"],"score":0,"title":"Determinacy Witnesses in the Completely Monotone--Stieltjes--Bernstein Hierarchy","domain":"math.CA","source":"arxiv","authors":["Domingos S. P. Salazar"],"reviews":0,"subject":"math.CA","summary":"Membership problems in the completely monotone--Stieltjes--Bernstein hierarchy often become explicit after passage to a determinate representation. We organize that passage as a witness calculus. For the Laplace, Stieltjes, and Hausdorff transforms used here, W f denotes the unique admissible signed representing datum; a certificate either proves its positivity or exhibits an obstruction. A concrete dictionary for completely monotone, logarithmically completely monotone, Bernstein, complete Bernstein, and Stieltjes functions and for Hausdorff moment sequences is combined with transport rules…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-10","reactions":{}}