pith. sign in

arxiv: 2605.31491 · v1 · pith:KWSHYLIVnew · submitted 2026-05-29 · 🧮 math.CO · hep-th· math-ph· math.AC· math.MP

Constraining Conformal Correlators

Viktoriia Borovik , Claire de Korte , Nathan Meurrens , Dmitrii Pavlov This is my paper

Pith reviewed 2026-06-28 21:57 UTC · model grok-4.3

classification 🧮 math.CO hep-thmath-phmath.ACmath.MP
keywords conformal correlatorsspinning operatorsinvariant theorymatching polytopesthree-point functionsKostka numbersconformal bootstrapvector partition functions
0
0 comments X

The pith

The rational part of any conformally covariant n-point function of spinning operators can be expressed using the basic building blocks from Costa, Penedones, Poland and Rychkov.

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

The paper establishes that every rational function arising from conformal covariance of n-point correlators with spin is a linear combination of a known finite list of blocks. It reaches this by recasting the enumeration problem as counting lattice points inside fractional matching polytopes and then applying vector partition functions, Hilbert series and Kostka numbers to obtain explicit counts. For the special case of three-point structures the authors derive closed formulas that work for arbitrary integer spins, both with and without Bose symmetry. The same methods show that every algebraic dependence among the blocks is already implied by the Gram matrix constraints, so no further independent relations exist. Readers who compute conformal field theory observables therefore obtain a theorem in place of an assumption they had previously used without proof.

Core claim

We show that the rational part of any such function can be expressed in terms of the basic building blocks introduced by Costa, Penedones, Poland, Rychkov, thereby providing a rigorous proof of a result that is widely used in the physics literature. We reformulate the problem of enumeration of n-point structures in terms of counting lattice points in fractional matching polytopes, and compute these counts using vector partition functions, Hilbert functions, and Kostka numbers. We show that all algebraic relations between the building blocks follow from Gram constraints and compute the number of algebraically independent building blocks. For three-point functions, we derive closed counting fo

What carries the argument

The basic building blocks of Costa, Penedones, Poland and Rychkov together with the reformulation of the enumeration problem as lattice-point counting inside fractional matching polytopes.

If this is right

  • Closed counting formulas exist for the number of independent three-point structures at arbitrary integer spins, with and without Bose symmetry.
  • Every algebraic relation satisfied by the building blocks is already a consequence of the Gram constraints.
  • The number of algebraically independent building blocks can be computed directly from the Hilbert function of the corresponding ring.
  • A computer code can generate an explicit basis of three-point structures for any given set of spins and scaling dimensions.

Where Pith is reading between the lines

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

  • The same lattice-point counting technique may be applied to four-point or higher structures once the relevant polytopes are identified.
  • If additional representation-theoretic constraints appear in special dimensions, they would manifest as extra linear dependences not captured by the Gram matrix alone.
  • The explicit bases produced by the code can be fed directly into numerical conformal bootstrap algorithms to reduce the search space.

Load-bearing premise

The full space of conformally covariant n-point functions is captured exactly by algebraic and combinatorial operations on the building blocks, without extra hidden constraints coming from the representation theory of the conformal group.

What would settle it

An explicit example, in some dimension and for some choice of integer spins, of a conformally covariant n-point function whose rational part cannot be written as a linear combination of the Costa-Penedones-Poland-Rychkov blocks.

Figures

Figures reproduced from arXiv: 2605.31491 by Claire de Korte, Dmitrii Pavlov, Nathan Meurrens, Viktoriia Borovik.

Figure 1
Figure 1. Figure 1: λ is even, while its conjugate λ ′ is not. Schur polynomials are certain symmetric polynomials indexed by partitions. For a parti￾tion λ, the Schur polynomial sλ can be written as a sum of monomial symmetric functions: sλ(x1, . . . , xn) = X µ Kλµ mµ(x1, . . . , xn), mµ = X σ∈Sn x σ(µ1) 1 · · · x σ(µn) n , (26) where Kλµ are the Kostka numbers counting semistandard Young tableaux of shape λ and weight µ. T… view at source ↗
read the original abstract

We study the space of conformally covariant $n$-point functions of spinning operators using methods from invariant theory, commutative algebra, and combinatorics. We show that the rational part of any such function can be expressed in terms of the basic building blocks introduced by Costa, Penedones, Poland, Rychkov, thereby providing a rigorous proof of a result that is widely used in the physics literature. We reformulate the problem of enumeration of $n$-point structures in terms of counting lattice points in fractional matching polytopes, and compute these counts using vector partition functions, Hilbert functions, and Kostka numbers. We show that all algebraic relations between the building blocks follow from Gram constraints and compute the number of algebraically independent building blocks. For three-point functions, we derive closed counting formulas for arbitrary integer spins, both with and without Bose symmetry, and discuss a necessary and sufficient condition for the partial conservation operator to lift to a differential operator written in terms of the building blocks. We provide code that generates a basis of three-point structures satisfying these constraints for given values of spins and scaling dimensions.

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 / 2 minor

Summary. The manuscript uses methods from invariant theory, commutative algebra, and combinatorics to analyze the space of conformally covariant n-point functions of spinning operators. It claims to prove that the rational part of any such function is spanned by the Costa-Penedones-Poland-Rychkov building blocks, that all algebraic relations among these blocks are generated by Gram constraints, and that the enumeration of independent structures reduces to counting lattice points in fractional matching polytopes (computed via vector partition functions, Hilbert functions, and Kostka numbers). Closed formulas are derived for the number of 3-point structures with arbitrary integer spins (with and without Bose symmetry), a necessary and sufficient condition is given for partial conservation operators to lift to differential operators in the building-block basis, and code is supplied to generate explicit bases.

Significance. If the central claims hold, the work supplies a rigorous algebraic proof of a result long used without proof in the conformal bootstrap literature, together with explicit combinatorial machinery and reproducible code for constructing bases. The use of invariant theory directly addresses representation-theoretic questions, and the provision of closed formulas plus code constitutes a concrete, falsifiable, and usable contribution.

minor comments (2)
  1. A short paragraph recalling the precise definition of the Costa-Penedones-Poland-Rychkov building blocks (and the associated polynomial ring) would make the manuscript more self-contained for readers outside the immediate subfield.
  2. The discussion of the partial-conservation lifting condition would benefit from an explicit low-spin example (e.g., a conserved current) showing how the necessary-and-sufficient criterion is applied in practice.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation, accurate summary of our contributions, and recommendation to accept the manuscript.

Circularity Check

0 steps flagged

No circularity: algebraic proof of spanning via external building blocks and standard combinatorial tools

full rationale

The central result is a mathematical proof that the rational part of conformally covariant n-point functions is spanned by the Costa-Penedones-Poland-Rychkov building blocks, established using invariant theory, commutative algebra, lattice-point counting in matching polytopes, vector partition functions, Hilbert functions, and Kostka numbers. All relations are shown to follow from Gram constraints, with closed formulas derived for 3-point cases. This chain is self-contained and independent of the target statement; no self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear. The cited building blocks originate from prior external work, and the enumeration/combinatorial methods are standard and externally verifiable.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted. The work relies on standard facts from invariant theory and commutative algebra whose status is not detailed here.

pith-pipeline@v0.9.1-grok · 5736 in / 1131 out tokens · 25051 ms · 2026-06-28T21:57:30.996654+00:00 · methodology

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

50 extracted references · 1 canonical work pages

  1. [1]

    Nima Arkani-Hamed, Paolo Benincasa, and Alexander Postnikov.Cosmological Poly- topes and the Wavefunction of the Universe. 2017. arXiv:1709.02813 [hep-th]

    Pith/arXiv arXiv 2017

  2. [2]

    Velleda Baldoni et al.A User’s Guide for LattE integrale v1.7.2. 2013

    2013

  3. [3]

    Integer Programming: Methods, Uses, Computation

    Michel L. Balinski. “Integer Programming: Methods, Uses, Computation”. In:Man- agement Science12.3 (1965), pp. 253–313

    1965

  4. [4]

    Daniel Baumann et al.Constraints on Long-Range Forces in De Sitter Space. 2025. arXiv:2508.18353 [hep-th]. 36

    arXiv 2025

  5. [5]

    Fractional Perfectb-Matching Polytopes I: General Theory

    Roger E. Behrend. “Fractional Perfectb-Matching Polytopes I: General Theory”. In: Linear Algebra and its Applications439.12 (2013), pp. 3822–3858

    2013

  6. [6]

    Transportation Polytopes

    Ethan D. Bolker. “Transportation Polytopes”. In:Journal of Combinatorial Theory, Series B13.3 (1972), pp. 251–262

    1972

  7. [7]

    2026.doi:https://doi.org/10.5281/zenodo.20444515

    Viktoriia Borovik et al.Constraining Conformal Correlators: Supplementary material. 2026.doi:https://doi.org/10.5281/zenodo.20444515

    work page doi:10.5281/zenodo.20444515 2026

  8. [8]

    Free□ k scalar conformal field theory

    Christopher Brust and Kurt Hinterbichler. “Free□ k scalar conformal field theory”. English. In:Journal of High Energy Physics2017.2 (2017), p. 52

    2017

  9. [9]

    Jean-Louis Colliot-Th´ el` ene and Jean-Jacques Sansuc.The Rationality Problem for Fields of Invariants under Linear Algebraic Groups (with Special Regards to the Brauer Group). 2005. arXiv:math/0507154 [math.AG]

    Pith/arXiv arXiv 2005

  10. [10]

    Conformal correlators of mixed-symmetry tensors

    Miguel Costa and Tobias Hansen. “Conformal correlators of mixed-symmetry tensors”. In:Journal of High Energy Physics2015.151 (2015)

    2015

  11. [11]

    Spinning Conformal Correlators

    Miguel Costa et al. “Spinning Conformal Correlators”. In:Journal of High Energy Physics2011.71 (2011), pp. 1–16

    2011

  12. [12]

    David Cox, John Little, and Donal O’Shea.Ideals, varieties, and algorithms. Vol. 3. Springer, 1997

    1997

  13. [13]

    Harm Derksen and Gregor Kemper.Computational Invariant Theory. Vol. 130. Ency- clopaedia of Mathematical Sciences. Berlin: Springer, 2002

    2002

  14. [14]

    New York: Springer-Verlag, 1997

    Philippe Di Francesco, Pierre Mathieu, and David S´ en´ echal.Conformal Field Theory. New York: Springer-Verlag, 1997

    1997

  15. [15]

    Wave Equations in Conformal Space

    Paul A.M. Dirac. “Wave Equations in Conformal Space”. In:Annals of Mathematics 37 (1936), pp. 429–442

    1936

  16. [16]

    Dynamical derivation of vacuum operator-product expansion in Euclidean conformal quantum field theory

    Vladimir Dobrev et al. “Dynamical derivation of vacuum operator-product expansion in Euclidean conformal quantum field theory”. In:Physical Review D13 (4 1976), pp. 887–912

    1976

  17. [17]

    Conformal operators for partially massless states

    Louise Dolan, Chiara R Nappi, and Edward Witten. “Conformal operators for partially massless states”. In:Journal of High Energy Physics2001.10 (Oct. 2001), p. 16

    2001

  18. [18]

    The 3d stress-tensor bootstrap

    Anatoly Dymarsky et al. “The 3d stress-tensor bootstrap”. In:Journal of High Energy Physics2018.164 (2018)

    2018

  19. [19]

    Yassine El Maazouz, Bernd Sturmfels, and Svala Sverrisd´ ottir.Gram Matrices for Isotropic Vectors. 2024. arXiv:2411.08624 [math.AC]

    Pith/arXiv arXiv 2024

  20. [20]

    Grillo, and Raoul Gatto.Conformal Algebra in Spacetime and Operator Product Expansion

    Sergio Ferrara, Aurelio F. Grillo, and Raoul Gatto.Conformal Algebra in Spacetime and Operator Product Expansion. Vol. 67. Springer Tracts in Modern Physics. Berlin, Heidelberg, New York: Springer-Verlag, 1973

    1973

  21. [21]

    Tensor Representations of Con- formal Algebra and Conformally Covariant Operator Product Expansion

    Sergio Ferrara, Aurelio F. Grillo, and Raoul Gatto. “Tensor Representations of Con- formal Algebra and Conformally Covariant Operator Product Expansion”. In:Annals of Physics76 (1973), pp. 161–188

    1973

  22. [22]

    The Hook Graphs of the Symmetric Groups

    J. S. Frame, G. de B. Robinson, and R. M. Thrall. “The Hook Graphs of the Symmetric Groups”. In:Canadian Journal of Mathematics6 (1954), pp. 316–324. 37

    1954

  23. [23]

    Lorentz- and permutation- invariants of particles

    Ben Gripaios, Ward Haddadin, and Christopher Lester. “Lorentz- and permutation- invariants of particles”. In:Journal of Physics A: Mathematical and Theoretical54 (2021)

    2021

  24. [24]

    Operator bases, S-matrices, and their partition functions

    Brian Henning et al. “Operator bases, S-matrices, and their partition functions”. In: Journal of High Energy Physics2017.10 (2017), p. 199

    2017

  25. [25]

    A compact formula for conserved three-point tensor structures in 4D CFT

    Paul Heslop and Hector Puerta-Ramisa. “A compact formula for conserved three-point tensor structures in 4D CFT”. In:Journal of High Energy Physics2026.4 (2026), p. 194

    2026

  26. [26]

    Counting Conformal Correlators

    Petr Kravchuk and David Simmons-Duffin. “Counting Conformal Correlators”. In: Journal of High Energy Physics2018.96 (2018)

    2018

  27. [27]

    Moduli spaces in positive geometry

    Thomas Lam. “Moduli spaces in positive geometry”. English. In:Matematiche80.1 (2025), pp. 17–101

    2025

  28. [28]

    Hilbert Series for Constructing Lagrangians: ex- panding the phenomenologist’s toolbox

    Landon Lehman and Adam Martin. “Hilbert Series for Constructing Lagrangians: ex- panding the phenomenologist’s toolbox”. In:Physical Review D91 (2015), p. 105014

    2015

  29. [29]

    Low-derivative operators of the Standard Model effective field theory via Hilbert series methods

    Landon Lehman and Adam Martin. “Low-derivative operators of the Standard Model effective field theory via Hilbert series methods”. In:Journal of High Energy Physics 02 (2016), p. 081

    2016

  30. [30]

    Macdonald.Symmetric Functions and Hall Polynomials

    Ian G. Macdonald.Symmetric Functions and Hall Polynomials. Oxford University Press, 1995

    1995

  31. [31]

    Finite-component field representations of the con- formal group

    Gerhard Mack and Abdus Salam. “Finite-component field representations of the con- formal group”. In:Annals of Physics53 (1969), pp. 174–202

    1969

  32. [32]

    Asymptotic Enumeration of Symmetric Integer Matrices with Uniform Row Sums

    Brendan D. McKay and Jeanette C. McLeod. “Asymptotic Enumeration of Symmetric Integer Matrices with Uniform Row Sums”. In:Journal of the Australian Mathematical Society92 (2011), pp. 367–384

    2011

  33. [33]

    Mateusz Micha lek and Bernd Sturmfels.Invitation to Nonlinear Algebra. Vol. 211. Graduate Studies in Mathematics. American Mathematical Society, 2021.isbn: 978-1- 4704-5367-1

    2021

  34. [34]

    Ezra Miller and Bernd Sturmfels.Combinatorial Commutative Algebra. Vol. 227. Grad- uate Texts in Mathematics. New York: Springer, 2005

    2005

  35. [35]

    On the 14th Problem of Hilbert

    Masayoshi Nagata. “On the 14th Problem of Hilbert”. In:American Journal of Math- ematics81 (1959), pp. 766–772

    1959

  36. [36]

    Published elec- tronically athttp://oeis.org

    OEIS Foundation Inc.The On-Line Encyclopedia of Integer Sequences. Published elec- tronically athttp://oeis.org. 2026

    2026

  37. [37]

    url:https://www.damtp.cam.ac.uk/user/ho10//CFTNotes.pdf

    Hugh Osborn.Lectures on Conformal Field Theories in More Than Two Dimensions. url:https://www.damtp.cam.ac.uk/user/ho10//CFTNotes.pdf

  38. [38]

    The conformal bootstrap: The- ory, numerical techniques, and applications

    David Poland, Slava Rychkov, and Alessandro Vichi. “The conformal bootstrap: The- ory, numerical techniques, and applications”. In:Reviews of Modern Physics91 (1 2019)

    2019

  39. [39]

    Invariant Theory

    Vladimir L. Popov and Ernest B. Vinberg. “Invariant Theory”. In:Algebraic Geometry IV. Vol. 55. Encyclopaedia of Mathematical Sciences. Berlin: Springer, 1994, pp. 123– 284. 38

    1994

  40. [40]

    Minimal Generators of Toric Ideals of Graphs

    Enrique Reyes, Christos Tatakis, and Apostolos Thoma. “Minimal Generators of Toric Ideals of Graphs”. In:Advances in Applied Mathematics48.1 (2012), pp. 64–78

    2012

  41. [41]

    Shafarevich.Basic algebraic geometry

    Igor R. Shafarevich.Basic algebraic geometry. 2: Schemes and complex manifolds.3rd ed. Berlin: Springer, 2013

    2013

  42. [42]

    David Simmons-Duffin.TASI Lectures on the Conformal Boostrap. 2016. arXiv:1602. 07982 [hep-th]

    2016

  43. [43]

    Bernd Sturmfels.Algorithms in invariant theory. English. 2nd ed. Texts Monogr. Symb. Comput. Wien: Springer, 2008

    2008

  44. [44]

    On Vector Partition Functions

    Bernd Sturmfels. “On Vector Partition Functions”. In:Journal of Combinatorial The- ory, Series A72.2 (1995), pp. 302–309

    1995

  45. [45]

    Counting Integer Points in Parametric Polytopes Using Barvi- nok’s Rational Functions

    Sven Verdoolaege et al. “Counting Integer Points in Parametric Polytopes Using Barvi- nok’s Rational Functions”. In:Algorithmica48.1 (2007), pp. 37–66

    2007

  46. [46]

    Six-dimensional methods for four-dimensional conformal field theo- ries

    Steven Weinberg. “Six-dimensional methods for four-dimensional conformal field theo- ries”. In:Physical Review D82 (2010)

    2010

  47. [47]

    Prince- ton: Princeton University Press, 1939

    Hermann Weyl.The Classical Groups, Their Invariants and Representations. Prince- ton: Princeton University Press, 1939

    1939

  48. [48]

    Spelling out leptonicCPviolation in the language of invariant theory

    Bingrong Yu and Shun Zhou. “Spelling out leptonicCPviolation in the language of invariant theory”. In:Physical Review D106 (5 2022), p. L051701

    2022

  49. [49]

    Alexander Zhiboedov.A note on three-point functions of conserved currents. 2012. arXiv:1206.6370 [hep-th]

    Pith/arXiv arXiv 2012

  50. [50]

    Ziegler.Lectures on polytopes

    G¨ unter M. Ziegler.Lectures on polytopes. English. Vol. 152. Grad. Texts Math. Berlin: Springer-Verlag, 1995. Authors’ addresses: Viktoriia Borovik, MPI-MiS, Leipzig, Germanyviktoriia.borovik@mis.mpg.de Claire de Korte, MPI-MiS, Leipzig, Germanyclaire.dekorte@mis.mpg.de Nathan Meurrens, University of Amsterdam, the Netherlandsn.meurrens@uva.nl Dmitrii Pa...

    1995