pith. sign in

arxiv: 2507.08120 · v2 · submitted 2025-07-10 · 🧮 math-ph · math.MP

Koba-Nielsen local zeta functions, convex subsets, and generalized Selberg-Mehta-Macdonald and Dotsenko-Fateev-like integrals

Willem Veys , W. A. Z\'u\~niga-Galindo This is my paper

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

classification 🧮 math-ph math.MP
keywords Koba-Nielsen local zeta functionsmeromorphic continuationembedded resolutionconvex subsetsGamma functionsSelberg-Mehta-Macdonald integralsDotsenko-Fateev integralshyperplane arrangements
0
0 comments X

The pith

Koba-Nielsen local zeta functions integrated over convex subsets admit meromorphic continuations with poles explicitly located by embedded resolution.

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

The paper defines Koba-Nielsen local zeta functions by integrating over various bounded or unbounded convex subsets rather than full Euclidean space. These integrals still converge in certain parameter ranges and extend to meromorphic functions of the complex parameters. Embedded resolution is used to identify the precise locations of the poles. The resulting continuations equal weighted sums of Gamma functions whose arguments are linear combinations of the input parameters, with holomorphic weights. This framework directly produces the generalized Selberg-Mehta-Macdonald and Dotsenko-Fateev integrals announced in the title as special cases, along with further versions over arbitrary hyperplane arrangements.

Core claim

The Koba-Nielsen local zeta functions defined by integration over a variety of convex subsets admit meromorphic continuations in the complex parameters, with the polar locus described explicitly using embedded resolution; these continuations are weighted sums of Gamma functions evaluated at linear combinations of the parameters.

What carries the argument

Embedded resolution applied to the integrands over convex subsets, which produces an explicit description of the polar locus of the meromorphic continuation.

Load-bearing premise

The chosen convex subsets are regular enough that embedded resolution yields an explicit polar locus without further geometric restrictions or conditions on the parameters.

What would settle it

Explicit computation of the continuation for a concrete low-dimensional convex set such as a simplex or half-space whose poles fail to lie at the predicted linear combinations of the parameters.

read the original abstract

The Koba-Nielsen local zeta functions are integrals depending on several complex parameters, used to regularize the Koba-Nielsen string amplitudes. These integrals are convergent and admit meromorphic continuations in the complex parameters. In the original case, the integration is carried out on the n-dimensional Euclidean space. In this work, the integration is over a variety of (bounded or unbounded) convex subsets; the resulting integrals also admit meromorphic continuations in the complex parameters. We describe the meromorphic continuation's polar locus explicitly, using the technique of embedded resolution. This result can be reinterpreted as saying that the meromorphic continuations are weighted sums of Gamma functions, evaluated at linear combinations of the complex parameters, where the weights are holomorphic functions. The integrals announced in the title of this paper occur as a particular case of these new Koba-Nielsen local zeta functions, or of a further generalization to arbitrary hyperplane arrangements.

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

2 major / 2 minor

Summary. The paper defines Koba-Nielsen local zeta functions as integrals of products of powers of linear forms (or distances) over a variety of bounded and unbounded convex subsets of Euclidean space. It asserts that these integrals converge for suitable parameter ranges and admit meromorphic continuations in the complex parameters, with the polar locus described explicitly via embedded resolution of singularities. The continuations are reinterpreted as weighted sums of Gamma functions evaluated at linear combinations of the parameters, with holomorphic weights. The construction is presented as a generalization that recovers Selberg-Mehta-Macdonald and Dotsenko-Fateev-like integrals as special cases and extends to arbitrary hyperplane arrangements.

Significance. If the central claims hold, the work supplies a uniform analytic-continuation framework for regularizing Koba-Nielsen amplitudes over non-standard domains, together with an explicit description of the polar locus. This could be useful for computations in string theory and for evaluating families of multivariate integrals arising in mathematical physics.

major comments (2)
  1. [Abstract / unbounded convex subsets] Abstract and § on unbounded convex subsets: the claim that embedded resolution alone yields an explicit description of the full polar locus for arbitrary unbounded convex sets is not yet supported by a global argument. Embedded resolution is a local tool; for unbounded domains the integrand may exhibit polynomial growth or essential behavior along rays at infinity that could generate additional poles or alter the Gamma factors. No compactification of the domain or separate analysis at infinity is indicated in the abstract or the reader's summary.
  2. [Abstract / main theorem] The statement that the resulting meromorphic continuations are weighted sums of Gamma functions with explicitly described polar locus rests on the assumption that the resolution technique applies uniformly without extra restrictions on the geometry of the convex set. The manuscript provides no derivation steps, error estimates, or verification that the resolution produces the claimed form for all listed convex subsets.
minor comments (2)
  1. Clarify the precise definition of the convex subsets (e.g., whether they are required to be polyhedral or merely convex) and how the integration measure is normalized when the domain is unbounded.
  2. Add a short remark on the relation between the present construction and the classical compact-support case treated in the original Koba-Nielsen literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive major comments. We address each point below and indicate the revisions that will be incorporated to strengthen the arguments, particularly for unbounded domains and the explicitness of the proof.

read point-by-point responses

  1. Referee: [Abstract / unbounded convex subsets] Abstract and § on unbounded convex subsets: the claim that embedded resolution alone yields an explicit description of the full polar locus for arbitrary unbounded convex sets is not yet supported by a global argument. Embedded resolution is a local tool; for unbounded domains the integrand may exhibit polynomial growth or essential behavior along rays at infinity that could generate additional poles or alter the Gamma factors. No compactification of the domain or separate analysis at infinity is indicated in the abstract or the reader's summary.

    Authors: We agree that a global argument is required to control the behavior at infinity for unbounded convex sets. Although the paper focuses on polyhedral convex sets defined by linear inequalities (rather than completely arbitrary unbounded sets), the current presentation does not explicitly address compactification or asymptotic estimates along rays. We will add a dedicated subsection providing a compactification of the domain via projective closure, together with separate analysis showing that the integrand exhibits at most polynomial growth at infinity. This will confirm that no additional poles arise and that the Gamma factors remain as described by the embedded resolution in the affine part. revision: yes

  2. Referee: [Abstract / main theorem] The statement that the resulting meromorphic continuations are weighted sums of Gamma functions with explicitly described polar locus rests on the assumption that the resolution technique applies uniformly without extra restrictions on the geometry of the convex set. The manuscript provides no derivation steps, error estimates, or verification that the resolution produces the claimed form for all listed convex subsets.

    Authors: We acknowledge that the derivation of the weighted sum of Gamma functions and the explicit polar locus is presented concisely. The continuation proceeds by applying embedded resolution to the divisor defined by the product of linear forms, after which the integral reduces to a sum of Beta-type integrals that evaluate to Gamma functions multiplied by holomorphic weights from the resolution data. We will expand the main theorem and its proof to include the full sequence of steps, explicit error estimates justifying the meromorphic continuation in the parameters, and direct verification for each class of convex subsets (bounded simplices, unbounded cones, and other polyhedra) appearing in the paper. revision: yes

Circularity Check

0 steps flagged

No circularity: meromorphic continuation derived via standard external resolution technique

full rationale

The paper applies Hironaka's embedded resolution of singularities to the integrands over convex subsets to obtain explicit polar loci and Gamma-function expressions for the continuations. This rests on a classical theorem external to the authors' prior work and does not reduce any claimed prediction or polar description to a fitted parameter, self-citation chain, or definitional tautology within the present manuscript. The derivation remains self-contained against external benchmarks, with the convex-domain integrals treated as new applications rather than re-derivations of prior results by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the applicability of embedded resolution to the singularities arising from the convex integration domains and on standard properties of meromorphic continuation for integrals with complex parameters.

axioms (2)
  • standard math Embedded resolution of singularities exists and produces an explicit description of the polar locus for the relevant varieties defined by the convex subsets.
    Invoked to determine the poles of the meromorphic continuation.
  • domain assumption The integrals over the stated convex subsets remain convergent in a suitable domain of the complex parameters.
    Required before meromorphic continuation can be applied.

pith-pipeline@v0.9.0 · 5709 in / 1342 out tokens · 33653 ms · 2026-05-19T05:14:33.729301+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

51 extracted references · 51 canonical work pages

  1. [1]

    The importance of the Selberg integral

    Forrester, P.J.; Warnaar, S.O. The importance of the Selberg integral. Bull. Am. Math. Soc. (N.S.) 45(4), 489–534 (2008). https://doi.org/10.1090/S0273-0979-08-01221-4

    work page doi:10.1090/s0273-0979-08-01221-4 2008

  2. [2]

    S.; Fateev, V

    Dotsenko, Vl. S.; Fateev, V. A. Four-point correlation functions and the operator algebra in 2D conformal invariant theories with central charge C ≤ 1. Nuclear Phys. B 251 (1985), no. 5-6, 691–734

    work page 1985

  3. [3]

    Infinite conformal symmetry in two-dimensional quantum field theory

    Belavin, A.A.; Polyakov, A.M.; Zamolodchikov, A.B. Infinite conformal symmetry in two-dimensional quantum field theory. Nucl. Phys. B 241(2), 333–380 (1984)

    work page 1984

  4. [4]

    Random Matrices, 3rd ed., Pure and Applied Mathematics, Vol

    Mehta, M.L. Random Matrices, 3rd ed., Pure and Applied Mathematics, Vol. 142, Elsevier/Academic Press, Amsterdam, 2004

    work page 2004

  5. [5]

    Solution of a three-body problem in one dimension, J

    Calogero, F. Solution of a three-body problem in one dimension, J. Math. Phys. 10 (1969), 2191–2196

    work page 1969

  6. [6]

    Exact results for a quantum many body problem in one- dimension, Phys

    Sutherland, B. Exact results for a quantum many body problem in one- dimension, Phys. Rev. A 4 (1971), 2019–2021

    work page 1971

  7. [7]

    Exact results for a quantum many-body problem in one dimension: II, Phys

    Sutherland, B. Exact results for a quantum many-body problem in one dimension: II, Phys. Rev. A 5 (1972), 1372–1376

    work page 1972

  8. [8]

    & Z´ u˜ niga-Galindo, W.A

    Bocardo-Gaspar, M.; Veys, W. & Z´ u˜ niga-Galindo, W.A. Meromorphic con- tinuation of Koba-Nielsen string amplitudes. J. High Energ. Phys. 2020, 138 (2020). https://doi.org/10.1007/JHEP09(2020)138

    work page doi:10.1007/jhep09(2020)138 2020

  9. [9]

    & Z´ u˜ niga-Galindo, W.A

    Bocardo-Gaspar, M.; Garc´ ıa-Compe´ an, H. & Z´ u˜ niga-Galindo, W.A. Regu- larization of p-adic string amplitudes, and multivariate local zeta functions. Lett Math Phys 109, 1167–1204 (2019). https://doi.org/10.1007/s11005- 018-1137-1

    work page doi:10.1007/s11005- 2019

  10. [10]

    Local Zeta Functions and Koba–Nielsen String Amplitudes

    Bocardo-Gaspar, M.; Garc´ ıa-Compe´ an, H.; L´ opez, E.Y.; Z´ u˜ niga-Galindo, W.A. Local Zeta Functions and Koba–Nielsen String Amplitudes. Symme- try 2021, 13, 967. https://doi.org/10.3390/sym13060967

    work page doi:10.3390/sym13060967 2021

  11. [11]

    Resolution of singularities of an algebraic variety over a field of characteristic zero

    Hironaka, H. Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II. Ann. of Math. (2) 79 (1964), 109–203; 79 (1964), 205–326. 31

    work page 1964

  12. [12]

    Forms of higher degree

    Igusa, J.-I. Forms of higher degree. Tata Inst. Fund. Res. Lectures on Math. and Phys., 59. Tata Institute of Fundamental Research, Bombay; Narosa Publishing House, New Delhi, 1978

    work page 1978

  13. [13]

    An introduction to the theory of local zeta functions

    Igusa, J.-I. An introduction to the theory of local zeta functions. AMS/IP Stud. Adv. Math., 14, American Mathematical Society, Providence, RI; International Press, Cambridge, MA, 2000

    work page 2000

  14. [14]

    M.; Shilov, G

    Gel’fand, I. M.; Shilov, G. E. Generalized Functions, Vol 1. Academic Press, New York and London (1977)

    work page 1977

  15. [15]

    Fonctions zˆ eta locales d’Igusa ` a plusieurs variables, int´ egration dans les fibres, et discriminants

    Loeser, F. Fonctions zˆ eta locales d’Igusa ` a plusieurs variables, int´ egration dans les fibres, et discriminants. Ann. Sci. ´Ecole Norm. Sup. 22(3), 435–471 (1989)

    work page 1989

  16. [16]

    The singularities of Selberg- and Dotsenko-Fateev-like inte- grals

    Sussman, E. The singularities of Selberg- and Dotsenko-Fateev-like inte- grals. Ann. Henri Poincar´ e 25 (2024), no. 9, 3957–4032

    work page 2024

  17. [17]

    On holonomic systems for Π N l=1(fl +(√ −1)0)λl

    Kashiwara, M.; Kawai, T. On holonomic systems for Π N l=1(fl +(√ −1)0)λl. Publ. Res. Inst. Math. Sci. 15 (1979), no. 2, 551–575

    work page 1979

  18. [18]

    I.; Gussein-Zade, S

    Arnold, V. I.; Gussein-Zade, S. M.; Varchenko, A. N. Singularit´ es des ap- plications diff´ erentiables, Vol II,´Editions Mir, Moscou (1986)

    work page 1986

  19. [19]

    Atiyah, M. F. Resolution of Singularities and Division of Distributions. Comm. pure Appl. Math. 23, 145–150 (1970)

    work page 1970

  20. [20]

    Bernstein, I. N. Modules over the ring of differential operators; the study of fundamental solutions of equations with constant coefficients.Functional Analysis and its Applications 5(2), 1-16 (1972)

    work page 1972

  21. [21]

    Report on Igusa’s Local Zeta Function, S´ eminaire Bourbaki, Vol

    Denef, J. Report on Igusa’s Local Zeta Function, S´ eminaire Bourbaki, Vol. 1990/91, Exp. No.730-744 Ast´ erisque 201-203, 359-386 (1991)

    work page 1990

  22. [22]

    Veys, Willem; Z´ u˜ niga-Galindo, W. A. Zeta functions and oscillatory inte- grals for meromorphic functions, Adv. Math. 311 (2017), 295–337

    work page 2017

  23. [23]

    Veys, W.; Z´ u˜ niga-Galindo, W. A. Zeta functions for analytic mappings, log-principalization of ideals, and Newton polyhedra. Trans. Amer. Math. Soc. 360(4), 2205–2227 (2008)

    work page 2008

  24. [24]

    G.; Giambiagi, J

    Bollini, C. G.; Giambiagi, J. J.; Gonz´ alez Dom´ ınguez, A. Analytic regular- ization and the divergences of quantum field theories. Il Nuovo Cimiento XXXI(3), 550-561 (1964)

    work page 1964

  25. [25]

    Bleher, P. M. Analytic continuation of massless Feynman amplitudes in the Schwartz space S ′. Rep. Math. Phys. 19(1), 117–142 (1984)

    work page 1984

  26. [26]

    Periods and Igusa local zeta functions

    Belkale, P.; Brosnan, P. Periods and Igusa local zeta functions. Int. Math. Res. Not. 49, 2655-2670 (2003) 32

    work page 2003

  27. [27]

    Resolution of singularities for multi-loop integrals

    Bogner, C.; Weinzierl, S. Resolution of singularities for multi-loop integrals. Associated computer program available online. Comput. Phys. Comm. 178 (2008), no. 8, 596–610. 81Q30 (81-04)

    work page 2008

  28. [28]

    Periods and Feynman integrals

    Bogner, C.; Weinzierl, S. Periods and Feynman integrals. J. Math. Phys. 50(4), 042302, 16 pp. (2009)

    work page 2009

  29. [29]

    Wondertopes

    Brauner, S.; Eur, C.; Pratt, E.; Vlad, R. Wondertopes. arXiv:2403.04610

    work page arXiv

  30. [30]

    & Lam, T

    Arkani-Hamed, N.; Bai, Y. & Lam, T. Positive geometries and canonical forms. J. High Energ. Phys. 2017, 39 (2017). https://doi.org/10.1007/JHEP11(2017)039

    work page doi:10.1007/jhep11(2017)039 2017

  31. [31]

    Some basic hypergeometric extensions of integrals of Selberg and Andrews

    Askey, R. Some basic hypergeometric extensions of integrals of Selberg and Andrews. SIAM J. Math. Anal. 11 (1980), no. 6, 938–951

    work page 1980

  32. [32]

    Evans, R. J. Multidimensional beta and gamma integrals, in The Rademacher Legacy to Mathematics (G.E. Andrews et al., eds.), Contemp. Math. 166, AMS, Providence, RI, 1994, pp. 341–357

    work page 1994

  33. [33]

    q-Selberg integrals and Macdonald polynomials

    Kaneko, J. q-Selberg integrals and Macdonald polynomials. Ann. Sci. ´Ecole Norm. Sup. (4) 29 (1996), 583–637

    work page 1996

  34. [34]

    H.; Forrester, P

    Baker, T. H.; Forrester, P. J. Generalizations of the q-Morris constant term identity. J. Combin. Theory Ser. A 81 (1998), no. 1, 69–87

    work page 1998

  35. [35]

    Kadell, K. W. J. A proof of Askey’s conjectured q-analogue of Selberg’s integral and a conjecture of Morris. SIAM J. Math. Anal. 19 (1988), no. 4, 969–986

    work page 1988

  36. [36]

    Warnaar, S. O. q -Selberg integrals and Macdonald polynomials. Ramanu- jan J. 10 (2005), no. 2, 237–268

    work page 2005

  37. [37]

    Symmetric function generalizations of the q-Baker- Forrester ex-conjecture and Selberg-type integrals

    Xin, G.; Zhou, Y. Symmetric function generalizations of the q-Baker- Forrester ex-conjecture and Selberg-type integrals. Trans. Amer. Math. Soc. 377 (2024), no. 6, 4303–4363

    work page 2024

  38. [38]

    Ya.; Volovich, I

    Aref’eva, I. Ya.; Volovich, I. V. Quantum group particles and non- Archimedean geometry. Phys. Lett. B 268 (1991), no. 2, 179–187

    work page 1991

  39. [39]

    Z´ u˜ niga-Galindo, W. A. Non-Archimedean quantum mechanics via quantum groups. Nuclear Phys. B 985 (2022), Paper No. 116021, 21 pp

    work page 2022

  40. [40]

    Remarks on a multiple integral, Norsk Mat

    Selberg, Atle . Remarks on a multiple integral, Norsk Mat. Tidsskr. 26 (1944), 71–78 (Norwegian)

    work page 1944

  41. [41]

    Forrester, P. J. Log-gases and random matrices. London Math. Soc. Monogr. Ser., 34. Princeton University Press, Princeton, NJ, 2010

    work page 2010

  42. [42]

    Mehta, M. L. Random matrices. Pure Appl. Math. (Amst.), 142. Else- vier/Academic Press, Amsterdam, 2004. 33

    work page 2004

  43. [43]

    Macdonald, I. G. Some conjectures for root systems. SIAM J. Math. Anal. 13 (1982), no. 6, 988–1007

    work page 1982

  44. [44]

    On the complex Selberg integral

    Aomoto, K. On the complex Selberg integral. Quart. J. Math. Oxford Ser. (2) 38 (1987), no. 152, 385–399

    work page 1987

  45. [45]

    A.; Zambrano-Luna, B

    Z´ u˜ niga-Galindo, W. A.; Zambrano-Luna, B. A.; Le´ on-Cardenal, E. Graphs, local zeta functions, log-Coulomb gases, and phase transitions at finite temperature, J. Math. Phys. 63 (2022), no. 1, Paper No. 013506, 21 pp

    work page 2022

  46. [46]

    Single-valued integration and superstring ampli- tudes in genus zero

    Brown, F.; Dupont, C. Single-valued integration and superstring ampli- tudes in genus zero. Comm. Math. Phys. 382 (2021), no. 2, 815–874

    work page 2021

  47. [47]

    Positive geometries and canonical forms via mixed Hodge theory

    Brown, F.; Dupont, C. Positive geometries and canonical forms via mixed Hodge theory. ArXiv:2501.03202

    work page arXiv

  48. [48]

    Wonderful models of subspace arrangements

    De Concini, C.; Procesi, C. Wonderful models of subspace arrangements. Selecta Math. (N.S.) 1 (1995), no. 3, 459–494

    work page 1995

  49. [49]

    Denef Denef J., Sargos P., Poly` edre de Newton et distribution f s +. I. J. Analyse Math., 53, 201–218 (1989)

    work page 1989

  50. [50]

    Local systems over complements of hyperplanes and the Kac-Kazhdan conditions for singular vectors

    Schechtman, V.; Terao, H.; Varchenko, A. Local systems over complements of hyperplanes and the Kac-Kazhdan conditions for singular vectors. J. Pure and Applied Algebra 100, 93–102 (1995)

    work page 1995

  51. [51]

    Multidimensional hypergeometric functions and represen- tation theory of Lie algebras and quantum groups, Advanced Series in Mathematical Physics, Vol

    Varchenko, A. Multidimensional hypergeometric functions and represen- tation theory of Lie algebras and quantum groups, Advanced Series in Mathematical Physics, Vol. 21, World Scientific Publishers, Singapore. 34

    work page