Pith. sign in

REVIEW 6 minor 29 references

Every value of the truncated Weil form is an exact sum over zeta zeros, and finite cutoffs obey an explicit positivity budget.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

Every even Galerkin vector induces a band-limited Guinand–Weil test function whose zero sum equals the truncated Weil form exactly, and the omitted archimedean tail is a totally positive Cauchy–Stieltjes increment with budget ~ log T / T.

T0 review reviewed 2026-07-12 challenge →

load-bearing objection Exact finite dictionary and tail-order certification for Connes-style Weil truncations; solid elementary math with shipped verification, no RH claim.

arxiv 2607.02828 v1 pith:GGMYEZEJ submitted 2026-07-02 math.NT math.SP

A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form

Akiva Groskin This is my paper
classification math.NT math.SP MSC 11M2611M0615A4247B36
keywords Weil quadratic formGuinand–Weil explicit formulaGalerkin truncationarchimedean tailtotal positivityRiemann zeta zerosfinite certification
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The reading

This paper turns the finite Galerkin truncations of the Weil quadratic form into a calibrated instrument. First, every real even coefficient vector determines, by a closed chain of maps, a band-limited Guinand–Weil test function whose sum over the nontrivial zeros of zeta equals the quadratic value of the cutoff-free truncated matrix exactly. No limit in the band size and no numerical quadrature is required: the matrix entries themselves are exact zero sums. Second, the archimedean integral that must be cut off in any numerical computation has a totally positive tail past the Galerkin band. That tail order supplies a two-sided certification rule with an explicit budget that decays only like log T over T: finite-cutoff positivity certifies true positivity, a deep enough negative certifies a true negative, and a mild negative inside the budget band certifies nothing. Deep spectral scales that would demand astronomically large cutoffs become reachable by assembling the cutoff-free closed forms instead. The paper makes no claim about the Riemann hypothesis, primes, or factoring; it isolates what is already exact at every finite level and what finite numerics can and cannot certify about it.

Core claim

For every real even Galerkin vector $v$ the cutoff-free truncated Weil matrix evaluates the sum of an explicitly constructed band-limited test function $g_v$ over the nontrivial zeros of $\zeta$ with multiplicity. Independently, the omitted archimedean tail past any cutoff $T$ larger than the Galerkin band is a strictly totally positive Cauchy–Stieltjes increment, so the finite-$T$ eigenvalues sandwich the true eigenvalues within an explicit budget $B_T$ that behaves like $\frac{(2N+1)\rho\log T}{\pi^2 T}$.

What carries the argument

The finite Guinand–Weil dictionary: the closed chain $v \to T_v \to K_v \to \hat{g}_v \to g_v$ that sends a coefficient vector to an admissible band-limited test function, together with the rank-two density representation of the archimedean tail that proves total positivity and supplies the budget $B_T$.

Load-bearing premise

The induced test functions must lie in the classical class for which the Guinand–Weil explicit formula is known to hold with an absolutely convergent zero sum; the paper treats that membership as standard rather than re-proving the formula.

What would settle it

For a concrete even vector $v$ at fixed (c, N), recompute the closed-form matrix contraction $\langle v, Q_\infty v\rangle$ and the partial zero-sum of $g_v$ over the first several hundred ordinates; if the residual fails to shrink consistently with the archimedean tail estimate (as already checked for the first 512 zeros), the dictionary identity fails.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 6 minor

Summary. The paper proves two exact finite theorems for the Connes–van Suijlekom and Connes–Consani–Moscovici truncations of the Weil quadratic form at prime cutoff c>1 and band N. First (Theorem 2.5), every real even Galerkin vector v is transported by an explicit chain (trigonometric polynomial → Volterra sine-chord kernel → compact Fourier weight → entire test function g_v) to a band-limited Guinand–Weil test function such that the cutoff-free truncated form equals the sum of g_v over the nontrivial zeros of ζ (with multiplicity); the construction factors through an exact 2N+1-dimensional source quotient and admits a non-collapsing pole-neutral subfamily. Second (Theorem 3.2, Corollary 3.3), the omitted archimedean tail past any T>max(ρN,7) is a rank-two-density Cauchy–Stieltjes increment that is positive definite and strictly totally positive, yielding the two-sided certification rule λ_j(Q_tot_T)<λ_j(Q_∞)≤λ_j(Q_tot_T)+B_T with explicit budget B_T∼(2N+1)ρ log T/(π²T). The dictionary is checked against the first 512 zeros and by three independent computational routes; a full verification package ships with the paper. No RH or prime-location claim is made.

Significance. The results turn the finite Galerkin matrices into calibrated instruments: every quadratic value is an exact zero sum for an explicitly parametrized family of admissible test functions, and finite-cutoff spectra carry elementary, quantitative certification bounds that make precise what numerics can and cannot decide about the cutoff-free form. The closed-form transport (with inverse-free source calculus), the exact 2N+1 quotient, the pole-neutral family of dimension N−s−1, and the strict total-positivity budget are concrete, usable contributions to the spectral approach to Weil positivity. The released Arb interval certificates, three-route dictionary checks, and reproducible scripts are genuine strengths and raise the standard for computational-analytic work in this area. The paper is carefully scoped and does not overclaim.

minor comments (6)
  1. In Lemma 2.2, the decay O((1+|Re z|)^{-2}) is obtained by two Stieltjes integrations by parts; a one-sentence reminder that this is enough for absolute convergence via the Riemann–von Mangoldt local count N(t+1)−N(t)=O(log t) would make the appeal to the Guinand–Weil formula fully self-contained for readers outside the explicit-formula literature.
  2. Corollary 2.7: the integral-domain argument for the Volterra convolution algebra of analytic germs is clean, but a brief parenthetical that the lowest-order coefficient is a nonzero beta-integral multiple would help readers who do not immediately recall the germ product formula.
  3. Figure 1 caption and the worked example in §2.3: the numerical vector v is given to seven decimals; stating the exact rational form of (v2,v3,v4)=(1,0,−3)/√2 and the two linear conditions that fix (v0,v1) would make the example fully reproducible from the text alone.
  4. Corollary 3.3(iii): the asymptotic B_T=(2N+1)ρ(log(T/2π)+1)/(π²T)(1+o(1)) is stated for fixed (c,N) as T→∞; a short remark that the o(1) absorbs both the h_+ expansion and the oscillatory integral after one integration by parts would clarify the error source.
  5. Section 4: the three-route confirmation and the Arb LDL^T certificate at (c,N)=(100,200) are valuable; listing the precise working precision (bits) and the machine-readable artifact names in the text (in addition to the GitHub/Zenodo pointers) would further aid independent checking.
  6. Notation: ρ=2π/L and Δ=L/(2π) are introduced early and used consistently, but a single display collecting L, Δ, ρ, a_T=T/ρ, and the even-sector embedding u would reduce cognitive load in §§2–3.

Circularity Check

0 steps flagged

No significant circularity: the dictionary is the classical Guinand–Weil formula applied to an explicitly constructed admissible family, and the tail-order theorem is elementary rank-two Cauchy analysis; both are self-contained.

full rationale

The derivation of Theorem 2.5 proceeds by an explicit, inverse-free chain (v → T_v → K_v → ĝ_v → g_v) whose source calculus (Lemma 2.3) matches the three blocks of Q_∞ to the prime/pole/archimedean sides of the explicit formula; admissibility (Lemma 2.2) is proved by two Stieltjes integrations by parts on a compactly supported piecewise-smooth weight, after which the classical Guinand–Weil formula (Bombieri/Connes normalizations) is invoked once. Remark 2.6 states this openly and claims only the transport, the 2N+1 source quotient, and the pole-neutral family as new. Theorem 3.2 likewise derives an exact rank-two density for the archimedean increment by direct differentiation of S(T,x,L), then applies classical Andréief + Cauchy-determinant total positivity; the budget B_T follows by elementary majorization. No parameter is fitted to data and then re-used as a prediction, no uniqueness theorem is imported from overlapping authors to force the construction, and the numerical checks (512 zeros, three-route agreement, Arb LDL^T) are corroborative rather than load-bearing. The paper is therefore self-contained against its external classical inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 2 invented entities

The paper is pure analytic number theory built on the classical Guinand–Weil explicit formula, the Connes–van Suijlekom / CCM divided-difference Galerkin structure, and classical Cauchy total-positivity. No free parameters are fitted to data; c and N are user-chosen cutoffs. Invented objects are constructive (induced test functions, budget B_T), not postulated physical entities. Load-bearing external inputs are the explicit formula for the admissible class and the CCM matrix identification.

axioms (5)
  • domain assumption Guinand–Weil explicit formula holds for even entire functions of finite exponential type with compactly supported continuous Fourier transform and O((1+|z|)^{-1-δ}) decay on horizontal strips (Bombieri / Connes / CCM normalization).
    Invoked at the end of the proof of Theorem 2.5 after Lemma 2.2 places g_v in that class; not re-proved.
  • domain assumption Divided-difference structure of the truncated Weil matrix (Connes–van Suijlekom Prop. 4.1) and CCM closed-form prime/pole/archimedean blocks.
    Lemma 2.1 identifies Q_∞ with the CCM Galerkin matrix; the dictionary is built on that ambient structure.
  • standard math Classical Cauchy determinant formula and Andréief identity for total positivity of Cauchy kernels.
    Used in the minor-positivity half of Theorem 3.2 (Karlin, Simon, Bertola–Gekhtman–Szmigielski).
  • standard math Asymptotics and positivity of the archimedean density h_+(r) = Re ψ_Γ(1/4 + ir/2) − log π, including h_+(r) = log(r/2π) + o(1) and the derivative series.
    Lemma 3.1 and Corollary 3.3; DLMF 5.11 and standard explicit-formula density.
  • standard math Riemann–von Mangoldt local zero count N(t+1)−N(t)=O(log t) for absolute convergence of the zero sum.
    Cited in Lemma 2.2 via Titchmarsh.
invented entities (2)
  • Induced Guinand–Weil test function g_v via the chain v → T_v → K_v → ĝ_v → g_v independent evidence
    purpose: Provides the exact finite dictionary from Galerkin coefficients to band-limited test functions so that matrix values equal zero sums.
    Constructive definition from elementary operations; not a postulated physical object. Independent handle is the numerical match to zero sums and CCM closed forms.
  • Archimedean certification budget B_T independent evidence
    purpose: Explicit elementary upper bound on the omitted tail so finite-T spectra can certify cutoff-free sign.
    Derived from the rank-two density integral and envelope bounds on h_+; falsifiable by direct tail integration.

reviewed 2026-07-12 · how reviews work

0 comments
Cite this review

Pith. "Pith review of A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form." pith.science (2026). https://pith.science/paper/GGMYEZEJ

@misc{pith2026260702828,
  author       = {Pith},
  title        = {Pith review of: A finite Guinand-Weil dictionary and archimedean tail order for the truncated Weil quadratic form},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GGMYEZEJ}},
  note         = {Machine review of arXiv:2607.02828}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

The Connes-van Suijlekom and Connes-Consani-Moscovici truncations of the Weil quadratic form, at a prime cutoff c>1 and frequency band N, produce finite Galerkin matrices whose spectra are the finite-rank window on Weil positivity. We prove two exact finite theorems about this truncation. First, every real even Galerkin coefficient vector v determines, in closed form, a band-limited Guinand-Weil test function g_v whose zero sum over the nontrivial zeros of zeta equals the quadratic value <v, Q v> exactly: every value of the truncated form is an exact sum over the zeros. The construction factors through an exact source quotient of dimension 2N+1 and admits a non-collapsing pole-neutral subfamily. Second, beyond the Galerkin band the omitted archimedean tail is a totally positive Cauchy-Stieltjes increment. This yields a two-sided certification rule with an explicit budget B_T ~ (2N+1) rho log(T) / (pi^2 T), where T is the archimedean cutoff and rho = 2 pi / log c: finite-cutoff positivity certifies cutoff-free positivity, a finite-cutoff eigenvalue below -B_T certifies a cutoff-free negative, and a negative eigenvalue in the band [-B_T, 0) certifies nothing. Resolving a spectral scale of 10^-59 at c=100 by brute cutoff would require T of order 10^63; a cutoff-free interval LDL^T factorization resolves it directly. The dictionary is verified over the first 512 zeros of zeta and by three independent computational routes; all scripts and artifacts ship with the paper. The paper makes no Riemann Hypothesis, prime-counting, next-prime, or factoring claim.

Figures

Figures reproduced from arXiv: 2607.02828 by Akiva Groskin.

Figure 1
Figure 1. Figure 1: The finite dictionary at c = 13, N = 4 for the worked example, read in row order. Top row: the coefficient vector v; the Volterra kernel Kv on [0, 1]. Bottom row: the compactly supported Fourier weight gbv on [−∆, ∆]; the induced entire test function gv on [0, 60] with the first ordinates γn marked (inset: the small tail oscillation that carries the zero sum). By Theorem 2.5 the quadratic value ⟨v, Q∞v⟩ eq… view at source ↗
Figure 2
Figure 2. Figure 2: The tail order in action at c = 13, N = 4. Left: the eigenvalues of Qtot T increase strictly to those of Q∞ (dashed lines) as the cutoff T grows; by Corollary 3.3 every gap is at most BT . Inset (λmin, symmetric log scale): at small T the finite-cutoff matrix has genuinely negative eigenvalues (−1.9·10−2 at T = 11, −5.3·10−7 at T = 14, −3.9·10−10 at T = 18), each far inside its inconclusive band (−BT , 0);… view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

29 extracted references · 11 canonical work pages · 2 internal anchors

  1. [1]

    Andr´ eief

    C. Andr´ eief. Note sur une relation entre les int´ egrales d´ efinies des produits des fonctions.M´ emoires de la Soci´ et´ e des Sciences Physiques et Naturelles de Bordeaux, 2:1–14, 1886

  2. [2]

    Independent reproduction and convergence analysis of the CCM zeta spectral triple, June 2026

    Ronnie Andrews, Jr. Independent reproduction and convergence analysis of the CCM zeta spectral triple, June 2026. Zenodo record 20427500. URL:https://zenodo.org/records/20427500, doi:10.5281/zenodo.20427500

    work page doi:10.5281/zenodo.20427500 2026

  3. [3]

    Cauchy Biorthogonal Polynomials

    Marco Bertola, Michael Gekhtman, and Jacek Szmigielski. Cauchy biorthogonal polynomials.Journal of Approximation Theory, 162(4):832–867, 2010.arXiv:0904.2602, doi:10.1016/j.jat.2009.09.008. 13

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jat.2009.09.008 2010

  4. [4]

    Remarks on Weil’s quadratic functional in the theory of prime numbers

    Enrico Bombieri. Remarks on Weil’s quadratic functional in the theory of prime numbers. I. Rendiconti Lincei. Matematica e Applicazioni, 11(3):183–233, 2000. URL: https://eudml.org/doc/252338

    2000

  5. [5]

    Explicit conditional bounds forζ(s) at the edge of the critical strip.arXiv:2602.06199, 2026.arXiv:2602.06199

    Andr´ es Chirre and Blas Molero Ravines. Explicit conditional bounds forζ(s) at the edge of the critical strip.arXiv:2602.06199, 2026.arXiv:2602.06199

    Pith/arXiv arXiv 2026

  6. [6]

    Trace formula in noncommutative geometry and the zeros of the Riemann zeta function.Selecta Mathematica (New Series), 5(1):29–106, 1999.doi:10.1007/s000290050042

    Alain Connes. Trace formula in noncommutative geometry and the zeros of the Riemann zeta function.Selecta Mathematica (New Series), 5(1):29–106, 1999.doi:10.1007/s000290050042

    doi:10.1007/s000290050042 1999

  7. [7]

    The Riemann hypothesis: Past, present and a letter through time.arXiv:2602.04022, 2026.arXiv:2602.04022

    Alain Connes. The Riemann hypothesis: Past, present and a letter through time.arXiv:2602.04022, 2026.arXiv:2602.04022

    arXiv 2026

  8. [8]

    Weil positivity and trace formula, the archimedean place.Selecta Mathematica (New Series), 27(4):77, 2021.arXiv:2006.13771,doi:10.1007/s00029-021-00689-4

    Alain Connes and Caterina Consani. Weil positivity and trace formula, the archimedean place.Selecta Mathematica (New Series), 27(4):77, 2021.arXiv:2006.13771,doi:10.1007/s00029-021-00689-4

    Pith/arXiv arXiv doi:10.1007/s00029-021-00689-4 2021

  9. [9]

    Spectral triples and zeta-cycles.L’Enseignement Math´ ematique, 69(1-2):93–148, 2023.arXiv:2106.01715,doi:10.4171/LEM/1049

    Alain Connes and Caterina Consani. Spectral triples and zeta-cycles.L’Enseignement Math´ ematique, 69(1-2):93–148, 2023.arXiv:2106.01715,doi:10.4171/LEM/1049

    Pith/arXiv arXiv doi:10.4171/lem/1049 2023

  10. [10]

    Zeta spectral triples.arXiv:2511.22755, 2025

    Alain Connes, Caterina Consani, and Henri Moscovici. Zeta spectral triples.arXiv:2511.22755, 2025. arXiv:2511.22755,doi:10.48550/arXiv.2511.22755

    doi:10.48550/arxiv.2511.22755 2025

  11. [11]

    van Suijlekom

    Alain Connes and Walter D. van Suijlekom. Quadratic forms, real zeros and echoes of the spectral action.arXiv:2511.23257, 2025.arXiv:2511.23257,doi:10.48550/arXiv.2511.23257

    doi:10.48550/arxiv.2511.23257 2025

  12. [12]

    Exact archimedean entries for truncated Weil forms: Closed-form implementation, a precision-stable library defect, and corrected deep spectra, June 2026

    Breno Wilson de Andrade Silva. Exact archimedean entries for truncated Weil forms: Closed-form implementation, a precision-stable library defect, and corrected deep spectra, June 2026. Zenodo record 20671635. URL:https://zenodo.org/records/20671635,doi:10.5281/zenodo.20671635

    work page doi:10.5281/zenodo.20671635 2026

  13. [13]

    A Loewner divided-difference formula for the prime contribution in the localized Weil quadratic form, and a parity sign law, June 2026

    Breno Wilson de Andrade Silva. A Loewner divided-difference formula for the prime contribution in the localized Weil quadratic form, and a parity sign law, June 2026. Zenodo record 20710075. URL: https://zenodo.org/records/20710075,doi:10.5281/zenodo.20710075

    work page doi:10.5281/zenodo.20710075 2026

  14. [14]

    A Loewner/operator-monotone framework for the even-simplicity problem in the CCM spectral triple, June 2026

    Breno Wilson de Andrade Silva. A Loewner/operator-monotone framework for the even-simplicity problem in the CCM spectral triple, June 2026. Zenodo record 20737111. URL: https://zenodo.org/records/20737111,doi:10.5281/zenodo.20737111

    work page doi:10.5281/zenodo.20737111 2026

  15. [15]

    The pole term is the only obstruction to Perron structure in the localized Weil quadratic form, June 2026

    Breno Wilson de Andrade Silva. The pole term is the only obstruction to Perron structure in the localized Weil quadratic form, June 2026. Zenodo record 20682834. URL: https://zenodo.org/records/20682834,doi:10.5281/zenodo.20682834

    work page doi:10.5281/zenodo.20682834 2026

  16. [16]

    Quadrature sensitivity of deep spectra of truncated Weil forms, with corrections to two recent computational notes, June 2026

    Breno Wilson de Andrade Silva. Quadrature sensitivity of deep spectra of truncated Weil forms, with corrections to two recent computational notes, June 2026. Zenodo record 20650146. URL: https://zenodo.org/records/20650146,doi:10.5281/zenodo.20650146

    work page doi:10.5281/zenodo.20650146 2026

  17. [17]

    A scalar Herglotz criterion for the even-simplicity hypothesis in the localized Weil quadratic form, June 2026

    Breno Wilson de Andrade Silva. A scalar Herglotz criterion for the even-simplicity hypothesis in the localized Weil quadratic form, June 2026. Zenodo record 20694588. URL: https://zenodo.org/records/20694588,doi:10.5281/zenodo.20694588

    work page doi:10.5281/zenodo.20694588 2026

  18. [18]

    Forrester

    Peter J. Forrester. Meet Andr´ eief, Bordeaux 1886, and Andreev, Kharkov 1882–1883.Random Matrices: Theory and Applications, 8(2):1930001, 2019.arXiv:1806.10411, doi:10.1142/S2010326319300018

    Pith/arXiv arXiv doi:10.1142/s2010326319300018 2019

  19. [19]

    A. P. Guinand. A summation formula in the theory of prime numbers.Proceedings of the London Mathematical Society, 50(1):107–119, 1948.doi:10.1112/plms/s2-50.2.107

    doi:10.1112/plms/s2-50.2.107 1948

  20. [20]

    Arb: Efficient arbitrary-precision midpoint-radius interval arithmetic.IEEE Transactions on Computers, 66(8):1281–1292, 2017.doi:10.1109/TC.2017.2690633

    Fredrik Johansson. Arb: Efficient arbitrary-precision midpoint-radius interval arithmetic.IEEE Transactions on Computers, 66(8):1281–1292, 2017.doi:10.1109/TC.2017.2690633

    work page doi:10.1109/tc.2017.2690633 2017

  21. [21]

    Stanford University Press, Stanford, CA, 1968

    Samuel Karlin.Total Positivity, Volume I. Stanford University Press, Stanford, CA, 1968

    1968

  22. [22]

    Cambridge University Press, Cambridge, third edition, 2004.doi:10.1017/CBO9781139165372

    Yitzhak Katznelson.An Introduction to Harmonic Analysis. Cambridge University Press, Cambridge, third edition, 2004.doi:10.1017/CBO9781139165372. 14

    doi:10.1017/cbo9781139165372 2004

  23. [23]

    Asymptotic expansions for the logarithmic derivative of the gamma function

    NIST Digital Library of Mathematical Functions. Asymptotic expansions for the logarithmic derivative of the gamma function. DLMF Section 5.11, formula 5.11.2, accessed 2026-06-25. URL: https://dlmf.nist.gov/5.11.E2

    2026

  24. [24]

    McGraw-Hill, New York, third edition, 1987

    Walter Rudin.Real and Complex Analysis. McGraw-Hill, New York, third edition, 1987

    1987

  25. [25]

    Total positivity of a Cauchy kernel

    Thomas Simon. Total positivity of a Cauchy kernel.Journal of Approximation Theory, 184:238–258, 2014.arXiv:1305.1173,doi:10.1016/j.jat.2014.05.014

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jat.2014.05.014 2014

  26. [26]

    Weil’s quadratic form via the screw function.arXiv:2606.09096, 2026

    Masatoshi Suzuki. Weil’s quadratic form via the screw function.arXiv:2606.09096, 2026. arXiv:2606.09096

    Pith/arXiv arXiv 2026

  27. [27]

    E. C. Titchmarsh.The Theory of the Riemann Zeta-Function. Clarendon Press, Oxford, second edition, 1986. Revised by D. R. Heath-Brown

    1986

  28. [28]

    formules explicites

    Andr´ e Weil. Sur les “formules explicites” de la th´ eorie des nombres premiers.Meddelanden fr ˚ an Lunds Universitets Matematiska Seminarium (Comm. S´ em. Math. Univ. Lund), Tome Suppl´ ementaire:252–265, 1952. Volume dedicated to Marcel Riesz

    1952

  29. [29]

    On hermitian forms attached to zeta functions

    Hiroyuki Yoshida. On hermitian forms attached to zeta functions. InZeta Functions in Geometry, volume 21 ofAdvanced Studies in Pure Mathematics, pages 281–325. Kinokuniya, Tokyo, 1992. doi:10.2969/aspm/02110281. 15

    work page doi:10.2969/aspm/02110281 1992

This paper was first reviewed by grok-4.5 on July 12, 2026.