pith. sign in

arxiv: 2605.16124 · v1 · pith:OHBM6QS5new · submitted 2026-05-15 · 🧮 math.FA

Moment problems on compacts of characters of an unital commutative algebra

Dragu Atanasiu This is my paper

Pith reviewed 2026-05-19 18:37 UTC · model grok-4.3

classification 🧮 math.FA
keywords moment problemArchimedean coneintegral representationcommutative algebracharacterslinear functionalsnonnegative functionals
0
0 comments X

The pith

Nonnegative functionals on Archimedean cones admit integral representations without semiring or quadratic-module assumptions.

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

The paper establishes an integral representation for nonnegative linear functionals on an Archimedean cone inside a unital commutative real algebra. It obtains this representation without assuming the cone forms a semiring or a quadratic module. The work also solves the moment problem on products of intervals and gives conditions for a functional to be a moment functional on a compact of characters. A sympathetic reader would care because the result widens the class of functionals that can be expressed via measures on the character space.

Core claim

Linear functionals on a unital commutative R-algebra that are nonnegative on an Archimedean cone admit an integral representation, without the cone being required to be a semiring or quadratic module. The moment problem is solved on a product of intervals, and conditions are determined for a functional to be a moment functional on a compact set of characters.

What carries the argument

The Archimedean cone, which supplies the integral representation once semiring and quadratic-module requirements are removed.

If this is right

  • Any nonnegative functional on an Archimedean cone has an integral representation with respect to a measure on the space of characters.
  • The moment problem is solved when the underlying set is a product of intervals.
  • Explicit conditions identify which functionals arise as moments with respect to a compact subset of the character space.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Verification of the Archimedean property alone might suffice in other algebraic settings where semirings are difficult to identify.
  • The approach could simplify checks in real algebraic geometry when quadratic modules are absent or hard to construct.

Load-bearing premise

The cone under consideration must be Archimedean.

What would settle it

A concrete nonnegative functional on an Archimedean cone in a commutative algebra that fails to have any integral representation over the character space would show the claim does not hold.

read the original abstract

In this note we consider linear functionals on an unital commutative R-algebra. We give an integral representation of a nonnegative functional on an Archimedean cone where we do not assume that this cone is a semiring or a quadratic module. We also give a solution of the moment problem on a product of intervals and determine conditions for a functional to be a moment functional on a compact of characters.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript considers linear functionals on unital commutative real algebras. It establishes an integral representation for nonnegative functionals defined on an Archimedean cone without requiring the cone to be a semiring or quadratic module. The work also solves the moment problem on products of intervals and supplies conditions under which a functional is a moment functional on a compact subset of the character space.

Significance. If the derivations hold, the note generalizes classical results on positive functionals and moment problems by weakening the structural hypotheses on the cone to the Archimedean property alone. This relaxation may enlarge the range of algebras and cones to which integral representations apply, particularly in contexts where semiring or quadratic-module structure is absent or difficult to verify.

minor comments (3)
  1. The abstract and introduction repeatedly use the phrase 'an unital'; this should be corrected to 'a unital' for grammatical accuracy.
  2. The notation for the character space and the topology on it is introduced without a dedicated preliminary subsection; adding a short paragraph or subsection on the Gelfand spectrum and its compact subsets would improve readability for readers outside the immediate subfield.
  3. The statement of the main integral-representation theorem would benefit from an explicit list of the standing assumptions (unital commutative R-algebra, Archimedean cone, nonnegativity of the functional) immediately before the theorem, rather than scattering them across preceding paragraphs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful summary of our manuscript, the positive assessment of its significance, and the recommendation for minor revision. We are pleased that the relaxation of structural assumptions on the cone to the Archimedean property alone is viewed as a potentially useful generalization of classical results on positive functionals and moment problems.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper derives an integral representation for nonnegative linear functionals on Archimedean cones in unital commutative R-algebras, explicitly without requiring the cone to be a semiring or quadratic module. The Archimedean property serves as the sole structural hypothesis to obtain the representation and to solve the associated moment problems on products of intervals and on compacts in the character space. These steps rest on standard background results from functional analysis rather than any self-referential definitions, fitted inputs renamed as predictions, or load-bearing self-citations. No equation or claim reduces by construction to the paper's own inputs, and the argument remains independent of the dropped assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the Archimedean property of the cone together with standard background results from functional analysis and the theory of positive functionals; no free parameters or invented entities are indicated.

axioms (1)
  • domain assumption The cone is Archimedean
    Invoked to obtain the integral representation after dropping semiring and quadratic-module assumptions.

pith-pipeline@v0.9.0 · 5578 in / 1075 out tokens · 49315 ms · 2026-05-19T18:37:31.184980+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

  1. [2]

    Atanasiu, Dragu , TITLE =. C. R. Acad. Sci. Paris S\'er. I Math. , FJOURNAL =. 1987 , NUMBER =

    work page 1987

  2. [3]

    Sur les fonctions compl

    Atanasiu, Dragu , journal=. Sur les fonctions compl

    work page

  3. [4]

    Chapter 12:

    Schm. Chapter 12:. 2023 , howpublished =

    work page 2023

  4. [5]

    The moment problem , fseries =

    Schm. The moment problem , fseries =. 2017 , publisher =. doi:10.1007/978-3-319-64546-9 , keywords =

    work page doi:10.1007/978-3-319-64546-9 2017

  5. [10]

    2008 , publisher =

    Marshall, Murray , title =. 2008 , publisher =

    work page 2008

  6. [11]

    Berg, Christian and Maserick, P. H. , title =. Ill. J. Math. , issn =. 1984 , language =

    work page 1984

  7. [12]

    Harmonic

    Berg, Christian and Christensen, Jens Peter Reus and Ressel, Paul , TITLE =. 1984 , PAGES =. doi:10.1007/978-1-4612-1128-0 , URL =

    work page doi:10.1007/978-1-4612-1128-0 1984

  8. [13]

    Atanasiu, Dragu , title =. C. R. Acad. Sci., Paris, S. 1991 , language =

    work page 1991

  9. [15]

    Atanasiu, Dragu , title =. C. R. Acad. Sci., Paris, S. 1989 , language =

    work page 1989

  10. [16]

    2017 , PAGES =

    Schm\"udgen, Konrad , TITLE =. 2017 , PAGES =

    work page 2017

  11. [17]

    Math., 59, (1975), 317--325.[Zbl 0319.44009]DOI:10.2140/pjm.1975.59.317

    A.Atzmon, A moment problem for positive measures on the unit disc, Pacific J. Math., 59, (1975), 317--325.[Zbl 0319.44009]DOI:10.2140/pjm.1975.59.317

    work page doi:10.2140/pjm.1975.59.317 1975

  12. [18]

    D. Atanasiu, Le probl\`eme des moments sur des compacts de R^S dans le cas o\`u S est un semi-groupe ab\'elien avec zero, C.R.Acad.Sci.Paris,305,S\'erie I(1987),861--864.[Zbl 0641.43004]

    work page arXiv 1987

  13. [19]

    Atanasiu, Sur les fonctions compl\`etement d\'efinies positives, C.R.Acad.Sci.Paris,\\ 307,S\'erie I,(1988),221--223.[Zbl 0648.42005]

    D. Atanasiu, Sur les fonctions compl\`etement d\'efinies positives, C.R.Acad.Sci.Paris,\\ 307,S\'erie I,(1988),221--223.[Zbl 0648.42005]

    work page arXiv 1988

  14. [20]

    Atanasiu, Un th\'eor\`eme du type Bochner-Godement et le probl\`eme des moments, J

    D. Atanasiu, Un th\'eor\`eme du type Bochner-Godement et le probl\`eme des moments, J. Funct. Anal. 92, (1990), 92--102.[Zbl 0709.43005]https://doi.org/10.1016/0022-1236(90)90069-W

    work page doi:10.1016/0022-1236(90)90069-w 1990

  15. [21]

    Atanasiu,Probl\`eme des moments sur des polytopes convexes and g\'en\'eralizations, C.R.Acad.Sci.Paris, 313 ,S\'erie I(1991),255-258.[Zbl 0741.43005]

    D. Atanasiu,Probl\`eme des moments sur des polytopes convexes and g\'en\'eralizations, C.R.Acad.Sci.Paris, 313 ,S\'erie I(1991),255-258.[Zbl 0741.43005]

    work page arXiv 1991

  16. [22]

    Berg, J.P.R

    C. Berg, J.P.R. Christensen and P. Ressel, Harmonic analysis on semigroups, Springer,New York,1984.[Zbl 0619.43001]

    work page arXiv 1984

  17. [23]

    C.Berg and P.H.Maserick, Exponentially bounded positive definite functions,Illinois J.Math,28(1984)162--179.[Zbl 0519.43005] https://doi.org/10.1215/ijm/1256046160

    work page doi:10.1215/ijm/1256046160 1984

  18. [24]

    M.Ghasemi, M.Marshall and S.Wagner, Closure of the Cone of Sums of 2d-powers in Certain Weighted l_1 seminormTopologies,Canadian Mathematical Bulletin,57(2014)289--302.[Zbl 1290.43009]DOI: https://doi.org/10.4153/CMB-2012-043-9

    work page doi:10.4153/cmb-2012-043-9 2014

  19. [25]

    Infusino, S

    M. Infusino, S. Kuhlmann, T. Kuna and P. Michalski, An intrinsic characterization of moment functionals in the compact case, International Mathematics Research Notes, 3, (2023), 2281--2303.[Zbl 1517.44004]https://doi.org/10.1093/imrn/rnac331

    work page doi:10.1093/imrn/rnac331 2023

  20. [26]

    Surveys Monographs, Amer.Math.Soc.,Providence R.I.,2008[Zbl 1169.13001]

    M.Marshall, Positive polynomials and sums of squares, Math. Surveys Monographs, Amer.Math.Soc.,Providence R.I.,2008[Zbl 1169.13001]

    work page arXiv 2008

  21. [27]

    P. H. Maserick, Moments of measures on convex bodies, Pacific J. Math., 68, (1977), 135--152.[Zbl 0339.44010]DOI: 10.2140/pjm.1977.68.135

    work page doi:10.2140/pjm.1977.68.135 1977

  22. [28]

    P. H. Maserick and F.H.Szafraniec, Equivalent definitions of positive definiteness Pacific J. Math., 110, (1984), 315--324.[Zbl 0489.46043] DOI:10.2140/pjm.1984.110.315

    work page doi:10.2140/pjm.1984.110.315 1984

  23. [29]

    K.Schm\"udgen,The K-moment problem for compact semi-algebraic sets, Math.Ann.,289,(1991)203--206.[Zbl 0744.4408]https://doi.org/10.1007/BF01446568

    work page doi:10.1007/bf01446568 1991

  24. [30]

    K.Schm\"udgen, The moment problem,Springer ,New York,2017.[Zbl 1383.44004]

    work page arXiv 2017

  25. [31]

    K.Schm\"udgen,Chapter 12:The moment problem on compact semi-algebraic sets(revised version),arXiv:2309.10052v1 [math.FA] 18 Sep 2023

    work page arXiv 2023

  26. [32]

    udgen and M.Sch\

    K.Schm\"udgen and M.Sch\" oltz, Positivstellens\"atze for semirings, Math.Ann.,289,(2024)947--985.[Zbl 1541.13026]https://doi.org/10.1007/s00208-023-02656-0

    work page doi:10.1007/s00208-023-02656-0 2024

  27. [33]

    Pure Appl

    K.Schm\"udgen,A note on the Archimedean Positivstellensatz in real algebraic geometry, J. Pure Appl. Algebra ,229(1), (2025)107811.[Zbl 1562.13043]https://DOI:10.1016/j.jpaa.2024.107811

    work page doi:10.1016/j.jpaa.2024.107811 2025