REVIEW 1 major objections 2 minor 50 references
Holomorphic Interpolation of Multivariate Completely Monotone Functions
T0 review · 1 major / 2 minor · reviewed 2026-06-27 · grok-4.3
Pith's one-line read Multivariate completely monotone functions admit finite-point interpolation by entire or rational holomorphic functions that remain directionally completely monotone.
desk verdict The paper sketches a matrix-pencil-plus-operational-calculus route to holomorphic interpolants for multivariate CM functions, but the non-commutative Radon step looks under-justified on commutator control. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The non-commutative Radon transform framework that merges matrix pencil realizations of Hankel kernels with Weyl's operational calculus and Fantappié's analytic calculus to construct the interpolating entire or rational functions.
What would settle it
Construct the proposed entire or rational interpolant from given sample points and measure; if it fails to agree with the original function at those points or if it is not directionally completely monotone, the interpolation claim does not hold.
Extended reading notes
Core claim
The interpolation of multivariate completely monotone functions is achieved by finitely determined entire or rational functions, respectively, which are directionally completely monotone. This is obtained within a non-commutative Radon transform framework by combining the matrix pencil realization of the positive semi-definite Hankel kernel associated with the sampling with Weyl's operational calculus and Fantappié's analytic calculus. Throughout the process the original positive measure is approximated by a sequence of specific Wigner distributions, which can also be regarded as analytic functionals, while tight bounds are enforced on the modulus or the real part of the holomorphic extensio
Load-bearing premise
The positive semi-definite Hankel kernel arising from sampling a completely monotone function admits a matrix pencil realization that can be combined with Weyl's operational calculus and Fantappié's analytic calculus inside the non-commutative Radon transform framework.
Editorial extensions
If this is right
- The original positive measure is approximated by a sequence of Wigner distributions that are also analytic functionals.
- Tight bounds hold on the modulus or real part of the holomorphic extension throughout the tube domain during interpolation.
- Finite sampling points suffice to determine the entire or rational interpolants while preserving directional complete monotonicity.
- The method applies equally to the Laplace-transform and Stieltjes-Fantappiè-transform representations of the functions.
Reading between the lines
- Numerical algorithms could be built directly from the matrix pencil step to compute the rational interpolants for concrete data sets.
- The same framework might extend to interpolation problems for other function classes that possess similar positive-measure representations.
- The Wigner-distribution approximations suggest possible links to phase-space methods in analysis or applied mathematics.
- Adaptive choice of sample points based on the kernel's eigenvalues could reduce the number of points needed for a given accuracy.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to develop a holomorphic interpolation method for multivariate completely monotone functions via their Laplace or Stieltjes-Fantappiè integral representations. It combines the matrix pencil realization of the positive semi-definite Hankel kernel (from sampling the CM function) with Weyl's operational calculus and Fantappiè's analytic calculus inside a non-commutative Radon transform framework. The result is finitely determined entire or rational functions that remain directionally completely monotone; the original measure is approximated by Wigner distributions while enforcing bounds on the holomorphic extension to the tube domain.
Significance. If the construction is valid, the work would supply a concrete finite-point interpolation scheme for multivariate CM functions that produces holomorphic approximants with preserved directional monotonicity, potentially useful in multivariate approximation theory and integral representations. The approach is technically ambitious in its synthesis of matrix pencils, operational calculi, and non-commutative transforms, but the abstract supplies no derivations, examples, or verification steps, so the actual significance cannot be assessed from the given information.
major comments (1)
- [Abstract / Framework description] Abstract / central framework: the claim that the interpolated entire or rational functions are directionally completely monotone rests on the matrix pencil realization remaining compatible with the directional Laplace/Stieltjes-Fantappiè representations after the non-commutative Radon transform. No explicit verification is supplied that the commutators generated by the Radon transform preserve the required positivity or tube-domain bounds; this compatibility is load-bearing for the main result.
minor comments (2)
- The term 'finitely determined' entire or rational functions is used without a precise definition or indication of how the finite determination is obtained from the pencil realization.
- The abstract refers to 'tight bounds' on the holomorphic extension but does not indicate the nature of these bounds or how they are enforced throughout the relaxation scheme.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the identification of a load-bearing point in the framework. We respond to the major comment below.
read point-by-point responses
-
Referee: [Abstract / Framework description] Abstract / central framework: the claim that the interpolated entire or rational functions are directionally completely monotone rests on the matrix pencil realization remaining compatible with the directional Laplace/Stieltjes-Fantappiè representations after the non-commutative Radon transform. No explicit verification is supplied that the commutators generated by the Radon transform preserve the required positivity or tube-domain bounds; this compatibility is load-bearing for the main result.
Authors: We agree that the abstract supplies no explicit verification of commutator compatibility. In the body of the manuscript the non-commutative Radon transform is constructed so that the matrix-pencil realization of the Hankel kernel intertwines with the directional Laplace/Stieltjes-Fantappiè representations; the Weyl and Fantappiè calculi are then applied inside this transformed setting, and the resulting operators inherit positivity from the original positive-semidefinite kernel while the tube-domain bounds follow from the analyticity properties of the operational calculus. Nevertheless, to make the preservation of positivity under the generated commutators fully transparent, we will insert a short dedicated paragraph (or remark) immediately after the statement of the main interpolation theorem that records the relevant commutator identities and confirms they do not disturb the required positivity or tube-domain estimates. revision: yes
Circularity Check
No circularity; derivation combines external calculi without self-referential reduction
full rationale
The abstract describes a construction that combines the matrix pencil realization of a Hankel kernel with Weyl's operational calculus and Fantappié's analytic calculus inside a non-commutative Radon transform framework. No equations, self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the provided text. The interpolation result is presented as following from these external tools applied to the positive semi-definite kernel, with no reduction of the claimed directional complete monotonicity back to the input by construction. The paper is therefore self-contained against external benchmarks.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Holomorphic Interpolation of Multivariate Completely Monotone Functions." pith.science (2026). https://pith.science/paper/PYIJZ6UX
@misc{pith2026260612102,
author = {Pith},
title = {Pith review of: Holomorphic Interpolation of Multivariate Completely Monotone Functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/PYIJZ6UX}},
note = {Machine review of arXiv:2606.12102}
}
read the original abstract
The integral representation of completely monotone functions of several real variables as Laplace or Stieltjes-Fantappi\'e transforms of positive measures opens a Hilbert space path toward their finite-point interpolation by simpler functions. We combine, within a non-commutative Radon transform framework, the matrix pencil realization of the positive semi-definite Hankel kernel associated with the sampling of a completely monotone function with Weyl's operational calculus and Fantappi\`e's analytic calculus. The interpolation is achieved by finitely determined entire or rational functions, respectively, which are directionally completely monotone. In our relaxation scheme, the original positive measure is approximated by a sequence of specific Wigner distributions, which can also be regarded as analytic functionals. Throughout the interpolation process, tight bounds are enforced on the modulus or the real part of the holomorphic extension to the underlying tube domain.
Reference graph
Works this paper leans on
-
[1]
Linear Algebra Appl
Abril Bucero, Marta; Bajaj, Chandrajit; Mourrain, Bernard.On the construction of general cubature formula by flat extensions. Linear Algebra Appl. 502 (2016), 104–125
2016
-
[2]
I.The classical moment problem and some related questions in analysis
Akhiezer, N. I.The classical moment problem and some related questions in analysis. Reprint of the 1965 edition [0184042]. Translated by N. Kemmer. With a foreword by H. J. Landau. Classics in Applied Mathematics, 82. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, [2021],©2021. xiii+252 pp
1965
-
[3]
I; Krein, M.Some questions in the theory of moments
Ahiezer, N. I; Krein, M.Some questions in the theory of moments. translated by W. Fleming and D. Prill. Translations of Mathematical Monographs, Vol. 2. American Mathematical Society, Providence, R.I., 1962
1962
-
[4]
V.The Weyl functional calculus
Anderson, Robert F. V.The Weyl functional calculus. J. Functional Analysis 4 (1969), 240–267
1969
-
[5]
225, Springer Science & Business Media, 2004
Andersson, M.; Passare, M.; Sigurdsson, R.Complex Convexity and Analytic Func- tionals. 225, Springer Science & Business Media, 2004
2004
-
[6]
Acta Math
Bernstein, Serge.Sur les fonctions absolument monotones. Acta Math. 52 (1929), no. 1, 1–66
1929
-
[7]
Beylkin, Gregory; Monz´ on, Lucas.On approximation of functions by exponential sums. Appl. Comput. Harmon. Anal. 19 (2005), no. 1, 17–48
2005
-
[8]
Bhowmik, Mainak; Putinar, Mihai.The Multivariate Herglotz-Nevanlinna Class: Su- perresolution. Anal. Math. 51 (2025), no. 4, 1199–1228
2025
Show all 50 references
-
[9]
arXiv:2509.15668
Bhowmik, Mainak; Putinar, Mihai.The multivariate Herglotz-Nevanlinna class: Ra- tional approximation. arXiv:2509.15668
-
[10]
Trans- lated from the 1987 French original
Bochnak, Jacek; Coste, Michel; Roy, Marie-Fran¸ coise.Real algebraic geometry. Trans- lated from the 1987 French original. Revised by the authors. Ergebnisse der Math- ematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)],
1987
-
[11]
x+430 pp
Springer-Verlag, Berlin, 1998. x+430 pp
1998
-
[12]
University of California Press, Berkeley-Los Angeles, Calif., 1955, viii+176 pp
Bochner, Salomon.Harmonic analysis and the theory of probability. University of California Press, Berkeley-Los Angeles, Calif., 1955, viii+176 pp
1955
-
[13]
arXiv:2506.02913
Chatterjee, Agniva.Dual realizations of Bergman spaces on strongly convex domains. arXiv:2506.02913
-
[14]
Birkh¨ auser, 2013
Cohen, Leon.The Weyl Operator and its Generalizations. Birkh¨ auser, 2013
2013
-
[15]
Collowald, Mathieu; Hubert, Evelyne.Algorithms for computing cubatures based on moment theory. Stud. Appl. Math. 141 (2018), no. 4, 501–546
2018
-
[16]
Numerical integration, 1–24, NATO Adv
Cools, Ronald.A survey of methods for constructing cubature formulae. Numerical integration, 1–24, NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 357, Kluwer Acad. Publ., Dordrecht, 1992
1992
-
[17]
Oxford Math
Faraut, Jacques; Kor´ anyi, Adam.Analysis on symmetric cones. Oxford Math. Monogr. Oxford Sci. Publ. The Clarendon Press, Oxford University Press, New York, 1994, xii+382 pp. ISBN: 0-19-853477-9
1994
-
[18]
Duke Math
Feller, Willy.Completely monotone functions and sequences. Duke Math. J. 5 (1939), 661–674
1939
-
[19]
Fliess, Michel.Matrices de Hankel. J. Math. Pures Appl. (9) 53 (1974), 197–222
1974
-
[20]
Guillaume, Philippe; Huard, Alain.Multivariate Pad´ e approximation. J. Comput. Appl. Math. 121 (2000), no. 1-2, 197–219
2000
-
[21]
M.; Shananin, A
Henkin, G. M.; Shananin, A. A.Bernstein theorems and Radon transform. Appli- cation to the theory of production functions. Transl. Math. Monogr., 81. American Mathematical Society, Providence, RI, 1990, 189–223. ISBN: 0-8218-4534-9
1990
-
[22]
Kammler, David W.Prony’s method for completely monotonic functions. J. Math. Anal. Appl. 57 (1977), no. 3, 560–570
1977
-
[23]
Kammler, David W.Least squares approximation of completely monotonic functions by sums of exponentials. SIAM J. Numer. Anal. 16 (1979), no. 5, 801–818. 60 M. BHOWMIK, A. CHATTERJEE, AND M. PUTINAR
1979
-
[24]
Karlin, Samuel.Total positivity.Vol. I. Stanford University Press, Stanford, CA, 1968, xii+576 pp
1968
-
[25]
London Math
Klimek, Maciej.Pluripotential theory. London Math. Soc. Monogr. (N.S.), 6 Oxford Sci. Publ. The Clarendon Press, Oxford University Press, New York, 1991, xiv+266 pp. ISBN: 0-19-853568-6
1991
-
[26]
Illinois J
Knese, Greg.Extreme points and saturated polynomials. Illinois J. Math. 63 (2019), no. 1, 47–74
2019
-
[27]
Kor´ anyi, A.; Puk´ anszky, L.Holomorphic functions with positive real part on poly- cylinders. Trans. Amer. Math. Soc. 108 (1963), 449–456
1963
-
[28]
M.Exponential sum approximations of finite completely monotonic func- tions
Koyama, Y. M.Exponential sum approximations of finite completely monotonic func- tions. arXiv 2301.08931v3
-
[29]
Imperial College Press, London, 2010
Lasserre, Jean Bernard.Moments, positive polynomials and their applications.Im- perial College Press Optimization Series, 1. Imperial College Press, London, 2010. xxii+361 pp
2010
-
[30]
J.; Anderssen, R
Loy, R. J.; Anderssen, R. S.On the construction of Dirichlet series approximations for completely monotone functions. Math. Comp. 83 (2014), no. 286, 835–846
2014
-
[31]
S.Power series equivalent to rational functions: a shifting-origin Kro- necker type theorem, and normality of Pad´ e tables
Lubinsky, D. S.Power series equivalent to rational functions: a shifting-origin Kro- necker type theorem, and normality of Pad´ e tables. Numer. Math. 54 (1988), no. 1, 33–39
1988
-
[32]
S.Asymptotic characteristics of entire functions and their applications in mathematics and biophysics
Maergoiz, L. S.Asymptotic characteristics of entire functions and their applications in mathematics and biophysics. Math. Appl., 559. Kluwer Academic Publishers Group, Dordrecht, 2003, xxiv+361 pp. ISBN: 1-4020-1462-7
2003
-
[33]
McCarthy, John E.; Putinar, Mihai.Positivity aspects of the Fantappi` e transform. J. Anal. Math. 97 (2005), 57–82
2005
-
[34]
Supplementary material available online
Mnatsakanov, Robert M.Moment-recovered approximations of multivariate distri- butions: the Laplace transform inversion. Supplementary material available online. Statist. Probab. Lett. 81 (2011), no. 1, 1–7
2011
-
[35]
Mourrain, Bernard.Polynomial-exponential decomposition from moments. Found. Comput. Math. 18 (2018), no. 6, 1435–1492
2018
-
[36]
Mourrain, Bernard; Schm¨ udgen, Konrad.Flat extensions in∗-algebras. Proc. Amer. Math. Soc. 144 (2016), no. 11, 4873–4885
2016
-
[37]
Compact Textbooks in Mathematics
Netzer, Tim; Plaumann, Daniel.Geometry of linear matrix inequalities—a course in convexity and real algebraic geometry with a view towards optimization. Compact Textbooks in Mathematics. Birkh¨ auser/Springer, Cham, [2023],. viii+161 pp
2023
-
[38]
Palamodov, Victor.Reconstructive integral geometry. Monogr. Math., 98. Birkh¨ auser Verlag, Basel, 2004, xii+164 pp. ISBN: 3-7643-7129-3
2004
-
[39]
P.; Denisjuk, A
Palamodov, V. P.; Denisjuk, A. S.Inversion de transformation de Radon d’apr` es les donn´ es non compl` etes.C.R. Acad. Sci. Paris.Ser. I 307 (1988), no. 1-2, 181-183
1988
-
[40]
Plaumann, Daniel; Sinn, Rainer; Weis, Stephan.Kippenhahn’s theorem for joint nu- merical ranges and quantum states. SIAM J. Appl. Algebra Geom. 5 (2021), no. 1, 86–113
2021
-
[41]
Putinar, Mihai.A dilation theory approach to cubature formulas.Exposition. Math. 15 (1997), no. 2, 183 - 192
1997
-
[42]
Putinar, Mihai.A dilation theory approach to cubature formulas. II. Math. Nachr. 211 (2000), 159 - 175
2000
-
[43]
Theory and applications.Second edition
Schilling, Ren´ e L.; Song, Renming; Vondraˇ cek, Zoran.Bernstein functions. Theory and applications.Second edition. De Gruyter Studies in Mathematics, 37. Walter de Gruyter & Co., Berlin, 2012. xiv+410 pp
2012
-
[44]
Schm¨ udgen, Konrad.The moment problem. Grad. Texts in Math., 277. Springer, Cham, 2017, xii+535 pp. ISBN: 978-3-319-64545-2; 978-3-319-64546-9
2017
-
[45]
Schwonnek, Ren´ e; Werner, Reinhard F.The Wigner distribution ofnarbitrary ob- servables.J. Math. Phys. 61 (2020), no. 8, 082103, 23 pp. COMPLETELY MONOTONE FUNCTIONS 61
2020
-
[46]
Sinn, Rainer.Algebraic boundaries of convex semi-algebraic sets. Res. Math. Sci. 2 (2015), Art. 3, 18 pp
2015
-
[47]
M; Weiss, G.Introduction to Fourier analysis on Euclidean spaces., 1
Stein, E. M; Weiss, G.Introduction to Fourier analysis on Euclidean spaces., 1. Prince- ton University Press, 1971
1971
-
[48]
F.Bochner and Bernstein theorems via the nuclear integral repre- sentation theorem
Thomas, Erik G. F.Bochner and Bernstein theorems via the nuclear integral repre- sentation theorem. J. Math. Anal. Appl. 297 (2004), no. 2, 612–624
2004
-
[49]
Princeton Math
Widder, David Vernon.The Laplace Transform. Princeton Math. Ser., vol. 6. Prince- ton University Press, Princeton, NJ, 1941, x+406 pp
1941
-
[50]
A spectral theory of noncommuting operators
Yang, Rongwei. A spectral theory of noncommuting operators. Springer, Cham, 2024, xii+272 pp. Indian Institute of Technology, Bombay, India Email address:mainak.bhowmik943@gmail.com, mainak@math.iitb.ac.in Indian Institute of Technology Palakkad, Palakkad, Kerala, India Email ...
2024
Reviewed June 27, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.