Pith. sign in

REVIEW 4 minor 12 references

Strict Total Positivity from Spectral Darboux and Toeplitz Smoothing Mechanisms

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The modified-Bessel kernel is strictly totally positive for all nonnegative real orders, and totally positive Pólya-frequency sequences are dense in the product topology.

desk verdict Clean answers to two published open questions via short classical arguments; the Bessel real-order extension and product-topology PF density both hold up. read the letter →

arxiv 2607.02778 v1 pith:P27VGFGH submitted 2026-07-02 math.CA

Domingos S. P. Salazar This is my paper · ORCID
classification math.CA MSC 15B4833C1034B2430B10
keywords totalpositivitymodifiedBesselfunctionsPólya-frequencysequencesDarbouxtransformationToeplitzkernelsstrictWronskians
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper isolates two mechanisms that force ordinary total nonnegativity into strict total positivity of infinite order. First, a spectral Darboux induction turns positivity plus ordered left-endpoint asymptotics of a one-parameter Sturm family into positive Wronskians and therefore into strictly positive evaluation determinants. Applied after the change of variables x = e^y, this shows that the modified-Bessel kernel K(x,s) = I_s(x) is strictly totally positive of infinite order for positive arguments and all nonnegative real orders, answering an open question left by the earlier integer-order theorem. Second, convolution against a discrete Gaussian Toeplitz kernel (or a multiplicative Gaussian tilt for pure geometrics) converts any two-sided Pólya-frequency sequence into a sequence whose Toeplitz kernel is strictly totally positive, while recovering the original sequence pointwise as the Gaussian width tends to zero. The two results therefore supply both a concrete strictification theorem for a classical special-function kernel and a product-topology density statement for discrete totally positive sequences.

What carries the argument

Spectral Darboux strictification (Proposition 3.1): an inductive chain of Darboux transforms that preserves positivity of the spectral solutions and propagates ordered left-endpoint asymptotics, thereby producing positive Wronskians that convert into positive evaluation determinants via the extended-Chebyshev criterion.

What would settle it

Compute the successive Darboux transforms of a concrete finite family of modified-Bessel functions (for example orders 0, 1/2, 1) and check whether the claimed leading asymptotic form and the positivity of all intermediate Wronskians hold numerically on a large negative half-line.

Watch

Extended reading notes

Core claim

The modified-Bessel kernel with real orders is strictly totally positive of infinite order on (0,∞)×[0,∞), and every two-sided Pólya-frequency sequence is a pointwise limit of totally positive Pólya-frequency sequences. Both statements are obtained by exhibiting explicit strictification mechanisms—spectral Darboux transport for the continuous kernel and discrete Gaussian Toeplitz smoothing for the sequences.

Load-bearing premise

The ordered left-endpoint asymptotics of the spectral solutions must survive every successive Darboux stage; if they fail to propagate, the induction no longer yields positive Wronskians.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper isolates two strictification mechanisms for total positivity and applies each to resolve an open question. First, a spectral Darboux induction (Proposition 3.1) converts positivity plus ordered left-endpoint asymptotics of a one-dimensional Sturm family into positive Wronskians and hence STP∞; applied to fs(y)=Is(e^y), this yields Theorem 1.1: the modified-Bessel kernel K(x,s)=Is(x) is STP∞ on (0,∞)×[0,∞), answering the real-order question of Buchstaber–Glutsyuk. Second, discrete convolution with the strictly totally positive Toeplitz kernel q^{n^{2}} (0<q<1), together with a Gaussian tilt for geometric sequences, shows that every two-sided Pólya-frequency sequence is a pointwise limit of totally positive ones (Theorem 1.2), answering Question 12.2 of Belton–Guillot–Khare–Putinar in the product topology on R^Z.

Significance. Both results are precise, self-contained answers to named open questions in the recent total-positivity literature. The Bessel theorem extends the integer-order STP result of Buchstaber–Glutsyuk to all nonnegative real orders by a transparent Sturm–Darboux argument rather than the original Hilbert-space flow; the density theorem supplies a clean product-topology resolution of the Belton et al. question while carefully disclaiming stronger topologies. The proofs rely only on classical tools (Darboux–Crum Wronskian identity, Wronskian/ECT criterion, Cauchy–Binet, ASWE representation, generalized Vandermonde) and verify all inductive hypotheses explicitly for the Bessel family. The isolation of reusable mechanisms (spectral Darboux, discrete Toeplitz smoothing) and the open Question 5.1 on asymptotic propagation add structural value beyond the two theorems.

minor comments (4)
  1. In the inductive display after “Fix 0≤s1<⋯<sm” (proof of Theorem 1.1), the leading-coefficient formula is correct, but a one-line remark that the empty product is 1 and that every factor (sj-sℓ) is positive for j>r+1 would make the sign bookkeeping fully self-contained for a reader who skips the surrounding prose.
  2. Lemma 4.2 invokes the ASWE Laurent representation for the non-geometric case; a parenthetical pointer to the precise form of the annulus (or to [2, §9]) would help readers who are not specialists in classical PF-sequence theory.
  3. Section 5 notes that positive y-Wronskians are equivalent to positive ordinary x-Wronskians via the triangular change of derivative bases. Adding the explicit triangular factor x^{k(k-1)/2} already written in the text into a short displayed identity would make the Chebyshev-system corollary easier to cite.
  4. The product-topology disclaimer is stated clearly in the abstract, introduction, and Remark 4.3; a single sentence in the statement of Theorem 1.2 itself (“in the product topology on R^Z”) would further reduce the chance of mis-citation as a norm-density result.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: both theorems are proved from independent classical lemmas plus explicit, self-contained verifications of the required hypotheses.

full rationale

The derivation chains for Theorems 1.1 and 1.2 are self-contained mathematical arguments that do not reduce to their own conclusions by construction. For the modified-Bessel kernel, Proposition 3.1 converts positivity plus ordered left-endpoint asymptotics into positive Wronskians via Darboux–Crum identities (Lemma 2.5) and the extended-Chebyshev criterion (Lemma 2.4); the paper then verifies those asymptotics and their propagation under every Darboux stage by direct appeal to the power series of Is (DLMF 10.25.2/10.30.1) and an inductive computation of leading coefficients that remain positive products of (sj−sℓ) factors. For the density statement, discrete Gaussian Toeplitz kernels are shown STP∞ by a Vandermonde rescaling (Lemma 4.1 + Lemma 2.3), convolution preserves total nonnegativity by Cauchy–Binet, and strictness follows from linear independence of translates supplied by the classical Aissen–Schoenberg–Whitney–Edrei representation. All supporting citations (Karlin, Pinkus, Darboux, Crum, ASWE, DLMF) are external and independent of the target claims; there are no fitted parameters, no self-citations of the author, no uniqueness theorems imported from prior work by the same author, and no renaming of known empirical patterns. The open Question 5.1 further underscores that the asymptotic-propagation step is treated as a verifiable hypothesis rather than an assumption smuggled from the conclusion.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper rests entirely on classical analysis: Sturm–Liouville theory, Wronskian criteria for ECT systems, the ASWE representation of PF sequences, and the known power-series asymptotics of modified Bessel functions. No free parameters are fitted; no new physical or mathematical entities are postulated. The only domain-specific inputs are the positivity and left-endpoint expansions of Is, which are taken from the DLMF and verified by series.

assumptions (4)
  • domain assumption Modified Bessel functions Is(x) for s≥0, x>0 are positive and admit the power-series expansion Is(x)=(x/2)^s/Γ(s+1)(1+O(x^{2})) as x↓0 (and the corresponding differentiated form).
    Invoked at the start of the proof of Theorem 1.1 to supply the base asymptotics for Proposition 3.1; taken from DLMF 10.25.2 and 10.30.1.
  • standard math Aissen–Schoenberg–Whitney–Edrei representation: nonzero non-geometric two-sided PF sequences possess Laurent generating functions convergent in a nonempty annulus, yielding exponential bounds |an|≤C e^{D|n|}.
    Used in the proof of Theorem 1.2 to guarantee absolute convergence of the discrete-Gaussian convolution and linear independence of translates (Lemma 4.2).
  • standard math Positive Wronskians of an ordered family imply positive evaluation determinants (extended complete Chebyshev criterion).
    Lemma 2.4, classical; converts the Darboux-produced Wronskians into the STP determinants of Theorem 1.1.
  • standard math Darboux–Crum one-step Wronskian identity W(Lu h1, ho,Lu hn)=W(u,h1, ho,hn)/u.
    Lemma 2.5; used to recover the original Wronskians after the inductive Darboux chain.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Strict Total Positivity from Spectral Darboux and Toeplitz Smoothing Mechanisms." pith.science (2026). https://pith.science/paper/P27VGFGH

@misc{pith2026260702778,
  author       = {Pith},
  title        = {Pith review of: Strict Total Positivity from Spectral Darboux and Toeplitz Smoothing Mechanisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P27VGFGH}},
  note         = {Machine review of arXiv:2607.02778}
}
abstract

We prove two strict total-positivity results by isolating two strictification mechanisms. The first is a spectral Darboux mechanism: an induction converts positivity and ordered endpoint asymptotics for a one-dimensional spectral family into positive Wronskians and hence into strict total positivity. As an application, the modified-Bessel kernel $K(x,s)=I_s(x)$, $x>0$, $s\ge 0$, is strictly totally positive of infinite order. This proves the real-order determinant positivity asked for by Buchstaber and Glutsyuk after their nonnegative-integer-order theorem. The second mechanism is discrete Toeplitz smoothing: every two-sided Polya-frequency sequence is a pointwise limit of totally positive Polya-frequency sequences. This gives a product-topology answer to Question 12.2 of Belton, Guillot, Khare, and Putinar. The density statement is in the product topology on $\mathbb{R}^{\mathbb{Z}}$; no uniform, weighted, or norm-density assertion is made.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 3 canonical work pages

  1. [1]

    Aissen, I

    M. Aissen, I. J. Schoenberg, and A. M. Whitney, On the generating functions of totally positive sequences. I,J. Analyse Math.2(1952), 93–103

    1952

  2. [2]

    Belton, D

    A. Belton, D. Guillot, A. Khare, and M. Putinar, Totally positive kernels, Pólya frequency functions, and their transforms,J. d’Analyse Math.150(2023), no. 1, 83–158. DOI: 10.1007/s11854-022-0259-7

    work page doi:10.1007/s11854-022-0259-7 2023

  3. [3]

    V. M. Buchstaber and A. A. Glutsyuk, Total positivity, Grassmannian and modified Bessel functions,Contemporary Mathematics733(2019), 97–107. DOI: 10.1090/conm/733/14736; arXiv:1708.02154

    work page Pith review arXiv doi:10.1090/conm/733/14736 2019

  4. [4]

    W. A. Coppel,Disconjugacy, Lecture Notes in Mathematics, Vol. 220, Springer, Berlin, 1971

    1971

  5. [5]

    Darboux, Sur une proposition relative aux équations linéaires, Comptes Rendus de l’Académie des Sciences94(1882), 1456–1459

    G. Darboux, Sur une proposition relative aux équations linéaires, Comptes Rendus de l’Académie des Sciences94(1882), 1456–1459

  6. [6]

    M. M. Crum, Associated Sturm–Liouville systems,Quart. J. Math. Oxford Ser. (2)6(1955), 121–127

    1955

  7. [7]

    NIST Digital Library of Mathematical Functions, F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds., Release 1.2.7 of 2026-06-15.https://dlmf.nist.gov/; accessed 2026-07-02. 15

    2026

  8. [8]

    Edrei, On the generating functions of totally positive sequences

    A. Edrei, On the generating functions of totally positive sequences. II, J. Analyse Math.2(1952), 104–109

    1952

Show all 12 references
  1. [9]

    Edrei, On the generating function of a doubly infinite, totally positive sequence,Trans

    A. Edrei, On the generating function of a doubly infinite, totally positive sequence,Trans. Amer. Math. Soc.74(1953), no. 3, 367–383. DOI: 10.2307/1990808

    1953 doi

  2. [10]

    S.M.FallatandC.R.Johnson,Totally Nonnegative Matrices, Princeton University Press, Princeton, 2011

    2011

  3. [11]

    Karlin,Total Positivity, Vol

    S. Karlin,Total Positivity, Vol. I, Stanford University Press, Stanford, 1968

    1968

  4. [12]

    A.Pinkus,Totally Positive Matrices, CambridgeTractsinMathematics, Cambridge University Press, Cambridge, 2010. 16

    2010

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.