pith. sign in

arxiv: 2605.23849 · v1 · pith:O3DI3CSTnew · submitted 2026-05-22 · 🧮 math.AC · math.CO

Incidence toric ideals and three-point functions

Barbara Betti , Sean Grate , Thiago Holleben , Flavio Salizzoni This is my paper

Pith reviewed 2026-05-25 02:12 UTC · model grok-4.3

classification 🧮 math.AC math.CO
keywords incidence toric idealsthree-point functionsnull t-designspseudomanifoldsoctahedraalgebraic relationscombinatorial interpretationstopological interpretations
0
0 comments X

The pith

Incidence toric ideals capture the algebraic relations among 3-point functions through generators that correspond to null t-designs and balanced pseudomanifolds.

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

The paper examines the algebraic relations satisfied by 3-point functions by placing the problem inside the setting of incidence toric ideals. These ideals are built from incidence matrices that track which t-subsets sit inside k-subsets of an n-element set. The authors establish that the generators of the ideals admit direct combinatorial readings as null t-designs and topological readings as balanced orientable normal d-pseudomanifolds without boundary. Configurations coming from octahedra are shown to occupy a central position in the ideal structure. This supplies explicit combinatorial and topological descriptions of the syzygies that the 3-point functions must obey.

Core claim

The ideal of algebraic relations among 3-point functions coincides with the incidence toric ideal associated to the incidence matrix of t-subsets contained in k-subsets of n elements. Generators of these ideals admit combinatorial interpretations as null t-designs and topological interpretations as balanced orientable normal d-pseudomanifolds without boundary. Generators arising from octahedra play a fundamental role in the structure of these ideals.

What carries the argument

Incidence toric ideals associated with incidence matrices of t-subsets contained in k-subsets of n elements, whose generators carry the combinatorial and topological interpretations.

If this is right

  • The minimal generators receive combinatorial interpretations as null t-designs.
  • The same generators receive topological interpretations as balanced orientable normal d-pseudomanifolds without boundary.
  • Generators arising from octahedra occupy a fundamental structural position inside the ideals.
  • The toric ideal therefore supplies an explicit description of all algebraic relations among the 3-point functions.

Where Pith is reading between the lines

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

  • The design-theoretic reading may let results on the existence or non-existence of certain designs translate directly into statements about the minimal number of generators.
  • The pseudomanifold description opens the possibility of importing topological invariants such as Euler characteristic or homology to study the graded Betti numbers of the ideal.
  • Because the construction is uniform in the parameters t, k, n, the same framework can be applied to higher-order correlation functions by changing the subset sizes.

Load-bearing premise

The algebraic relations among 3-point functions can be captured exactly by the incidence toric ideals associated with incidence matrices of t-subsets contained in k-subsets of n elements.

What would settle it

An explicit algebraic relation satisfied by 3-point functions that does not belong to the corresponding incidence toric ideal, or a minimal generator of the ideal that cannot be realized either as a null t-design or as a balanced orientable normal d-pseudomanifold without boundary.

read the original abstract

We study the ideal of the algebraic relations among 3-point functions from a combinatorial and topological perspective. We place this problem in the broader setting of incidence toric ideals associated with incidence matrices of t-subsets contained in k-subsets of n elements. Generators of these ideals admit combinatorial interpretations as null t-designs and topological interpretations as balanced orientable normal d-pseudomanifolds without boundary. Generators arising from octahedra play a fundamental role in the structure of these ideals.

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

1 major / 0 minor

Summary. The paper studies the ideal of algebraic relations among 3-point functions by placing the problem in the setting of incidence toric ideals associated to incidence matrices of t-subsets contained in k-subsets of an n-element set. It asserts that the generators of these ideals admit combinatorial interpretations as null t-designs and topological interpretations as balanced orientable normal d-pseudomanifolds without boundary, and that generators arising from octahedra play a fundamental role in the structure of the ideals.

Significance. If the claimed interpretations and structural role for octahedral generators are established with explicit maps, proofs, and examples, the work would connect toric ideal theory with design theory and topological combinatorics in a new way, potentially supplying combinatorial generators for relations among 3-point functions. The absence of any derivations, concrete examples, or verification that the kernel of the incidence matrix matches the claimed ideal prevents any assessment of whether these connections hold.

major comments (1)
  1. The provided manuscript consists solely of the abstract and supplies no derivations, explicit maps from 3-point functions to the toric ring, proofs that the incidence-matrix kernel equals the relation ideal, or verification that octahedral generators generate the ideal in any case. This renders the central claims untestable and load-bearing for the entire contribution.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the central issue with the current submission. We agree that the manuscript as provided contains only the abstract and lacks the derivations, explicit maps, proofs, and verifications needed to substantiate the claims. A revised version will incorporate these elements.

read point-by-point responses

  1. Referee: The provided manuscript consists solely of the abstract and supplies no derivations, explicit maps from 3-point functions to the toric ring, proofs that the incidence-matrix kernel equals the relation ideal, or verification that octahedral generators generate the ideal in any case. This renders the central claims untestable and load-bearing for the entire contribution.

    Authors: We fully acknowledge the validity of this observation. The current version is limited to the abstract, and no supporting derivations, maps, or verifications are present. In the revised manuscript we will supply explicit maps from 3-point functions to the toric ring, proofs establishing that the kernel of the incidence matrix coincides with the claimed ideal, concrete examples, and verification of the role of octahedral generators. These additions will make the combinatorial and topological interpretations testable. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract and available context present combinatorial and topological interpretations of generators of incidence toric ideals without any equations, fitted parameters, self-citations, or derivations that reduce claims to inputs by construction. No self-definitional steps, fitted inputs called predictions, or ansatz smuggling are visible. The derivation chain cannot be walked for circularity because no load-bearing technical steps (such as explicit kernel computations or generator proofs) are exhibited that collapse to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities can be identified from the abstract; the work appears to rely on standard background in toric ideals and combinatorial topology.

pith-pipeline@v0.9.0 · 5599 in / 1055 out tokens · 22873 ms · 2026-05-25T02:12:24.902985+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

40 extracted references · 40 canonical work pages

  1. [1]

    2025 , journal =

    Thiago Holleben , title =. 2025 , journal =

    work page 2025

  2. [2]

    Algebraic Algorithms for Sampling from Conditional Distributions , urldate =

    Persi Diaconis and Bernd Sturmfels , journal =. Algebraic Algorithms for Sampling from Conditional Distributions , urldate =

    work page

  3. [3]

    Le Matematiche , volume =

    Lam, Thomas , title =. Le Matematiche , volume =. 2025 , doi =

    work page 2025

  4. [4]

    2018 , publisher=

    Monomial Algebras , author=. 2018 , publisher=

    work page 2018

  5. [5]

    1997 , PAGES =

    Fulton, William , TITLE =. 1997 , PAGES =

    work page 1997

  6. [6]

    Transactions of the American Mathematical Society , year=

    Balanced Cohen-Macaulay complexes , author=. Transactions of the American Mathematical Society , year=

    work page

  7. [7]

    Toric algebra of hypergraphs , volume =

    Petrovi. Toric algebra of hypergraphs , volume =. Journal of Algebraic Combinatorics , number =

    work page

  8. [8]

    Villarreal , title =

    Rafael H. Villarreal , title =. Communications in Algebra , volume =. 1995 , publisher =

    work page 1995

  9. [9]

    2010 , publisher=

    Monomial Ideals , author=. 2010 , publisher=

    work page 2010

  10. [10]

    Holleben, Thiago , TITLE =. J. Algebra , FJOURNAL =. 2025 , PAGES =. doi:10.1016/j.jalgebra.2024.12.030 , URL =

    work page doi:10.1016/j.jalgebra.2024.12.030 2025

  11. [11]

    Holleben, Thiago , TITLE =. J. Algebraic Combin. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s10801-024-01337-8 , URL =

    work page doi:10.1007/s10801-024-01337-8 2024

  12. [12]

    , TITLE =

    Stanley, Richard P. , TITLE =. SIAM J. Algebraic Discrete Methods , FJOURNAL =. 1980 , NUMBER =

    work page 1980

  13. [13]

    2013 , PAGES =

    Harima, Tadahito and Maeno, Toshiaki and Morita, Hideaki and Numata, Yasuhide and Wachi, Akihito and Watanabe, Junzo , TITLE =. 2013 , PAGES =. doi:10.1007/978-3-642-38206-2 , URL =

    work page doi:10.1007/978-3-642-38206-2 2013

  14. [14]

    and Mir\'o-Roig, Rosa M

    Migliore, Juan C. and Mir\'o-Roig, Rosa M. and Nagel, Uwe , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2011 , NUMBER =. doi:10.1090/S0002-9947-2010-05127-X , URL =

    work page doi:10.1090/s0002-9947-2010-05127-x 2011

  15. [15]

    Morita, Hideaki and Wachi, Akihito and Watanabe, Junzo , TITLE =. Rend. Semin. Mat. Univ. Padova , FJOURNAL =. 2009 , PAGES =. doi:10.4171/RSMUP/121-4 , URL =

    work page doi:10.4171/rsmup/121-4 2009

  16. [16]

    Spink, Hunter , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/proc/15017 , URL =

    work page doi:10.1090/proc/15017 2020

  17. [17]

    Dao, Hailong and Nair, Ritika , TITLE =. Comm. Algebra , FJOURNAL =. 2024 , NUMBER =. doi:10.1080/00927872.2023.2260012 , URL =

    work page doi:10.1080/00927872.2023.2260012 2024

  18. [18]

    Izmestiev, Ivan and Klee, Steven and Novik, Isabella , TITLE =. Adv. Math. , FJOURNAL =. 2017 , PAGES =. doi:10.1016/j.aim.2017.08.036 , URL =

    work page doi:10.1016/j.aim.2017.08.036 2017

  19. [19]

    Mathematika , FJOURNAL =

    Klee, Steven and Novik, Isabella , TITLE =. Mathematika , FJOURNAL =. 2016 , NUMBER =. doi:10.1112/S0025579315000297 , URL =

    work page doi:10.1112/s0025579315000297 2016

  20. [20]

    , TITLE =

    Stanley, Richard P. , TITLE =. 1996 , PAGES =

    work page 1996

  21. [21]

    Joswig, Michael , TITLE =. Math. Z. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s002090100381 , URL =

    work page doi:10.1007/s002090100381 2002

  22. [22]

    EPFL lectures on conformal field theory in

    Rychkov, Slava , volume=. EPFL lectures on conformal field theory in. 2017 , publisher=

    work page 2017

  23. [23]

    1946 , publisher=

    The classical groups: their invariants and representations , author=. 1946 , publisher=

    work page 1946

  24. [24]

    Journal of High Energy Physics , volume=

    Spinning conformal correlators , author=. Journal of High Energy Physics , volume=. 2011 , publisher=

    work page 2011

  25. [25]

    Journal of High Energy Physics , volume=

    A new twist on spinning (A) dS correlators , author=. Journal of High Energy Physics , volume=. 2025 , publisher=

    work page 2025

  26. [26]

    arXiv preprint arXiv:2408.16711 , year=

    Kinematic varieties for massless particles , author=. arXiv preprint arXiv:2408.16711 , year=

    work page arXiv

  27. [27]

    Bernd Sturmfels , title =

    work page

  28. [28]

    European Journal of Combinatorics , volume=

    On the number of sets in a null t-design , author=. European Journal of Combinatorics , volume=. 1983 , publisher=

    work page 1983

  29. [29]

    Linear Algebra Appl

    Jonsson Kling, Filip , TITLE =. Linear Algebra Appl. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.laa.2025.12.008 , URL =

    work page doi:10.1016/j.laa.2025.12.008 2026

  30. [30]

    The minimal free resolution of a general principal symmetric ideal , JOURNAL =

    Harada, Megumi and Seceleanu, Alexandra and. The minimal free resolution of a general principal symmetric ideal , JOURNAL =. 2025 , NUMBER =. doi:10.1090/tran/9314 , URL =

    work page doi:10.1090/tran/9314 2025

  31. [31]

    Combinatorica , volume=

    On functions of strength t , author=. Combinatorica , volume=. 1983 , publisher=

    work page 1983

  32. [32]

    Combinatorica , volume=

    On the vector space of 0-configurations , author=. Combinatorica , volume=. 1982 , publisher=

    work page 1982

  33. [33]

    1960 , publisher=

    An Introduction to the Theory of Numbers , author=. 1960 , publisher=

    work page 1960

  34. [34]

    Kalai, Gil and Nevo, Eran and Novik, Isabella , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2016 , NUMBER =. doi:10.1090/tran/6512 , URL =

    work page doi:10.1090/tran/6512 2016

  35. [35]

    Journal of Combinatorial Theory, Series A , volume=

    The module structure of integral designs , author=. Journal of Combinatorial Theory, Series A , volume=. 1973 , publisher=

    work page 1973

  36. [36]

    SIAM Journal on Algebraic Discrete Methods , volume=

    On the structure of t-designs , author=. SIAM Journal on Algebraic Discrete Methods , volume=. 1980 , publisher=

    work page 1980

  37. [37]

    2007 , publisher=

    Lie groups: an approach through invariants and representations , author=. 2007 , publisher=

    work page 2007

  38. [38]

    arXiv e-prints , pages=

    Gram matrices for isotropic vectors , author=. arXiv e-prints , pages=

    work page

  39. [39]

    Ezra Miller and Bernd Sturmfels , title =

    work page

  40. [40]

    , TITLE =

    Stanley, Richard P. , TITLE =. Adv. in Math. , FJOURNAL =. 1980 , NUMBER =. doi:10.1016/0001-8708(80)90050-X , URL =

    work page doi:10.1016/0001-8708(80)90050-x 1980