pith. sign in

arxiv: 2411.08624 · v2 · pith:SXSOGXYKnew · submitted 2024-11-13 · 🧮 math.AC · hep-th

Gram Matrices for Isotropic Vectors

Yassine El Maazouz , Bernd Sturmfels , Svala Sverrisd\'ottir This is my paper

Pith reviewed 2026-05-23 17:18 UTC · model grok-4.3

classification 🧮 math.AC hep-th
keywords determinantal varietiessymmetric matriceszero blocksGram matricesisotropic vectorsconformal correlatorsideals of relationsquantum field theory kinematics
0
0 comments X

The pith

Symmetric matrices with zero blocks on the diagonal define determinantal varieties whose relations encode the building blocks of conformal correlators.

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

The paper examines determinantal varieties cut out by symmetric matrices that contain zero blocks along the main diagonal. In the kinematic setup of quantum field theories these matrices arise as Gram matrices formed by isotropic vectors. The authors determine the ideals of algebraic relations satisfied by certain functions of the matrix entries. These functions act as the basic ingredients used to assemble conformal correlators. The resulting algebraic description therefore governs the geometry of the space of admissible kinematic configurations.

Core claim

We investigate determinantal varieties for symmetric matrices that have zero blocks along the main diagonal. These matrices appear in theoretical physics as Gram matrices for kinematic variables in quantum field theories. We study the ideals of relations among functions in the matrix entries that serve as building blocks for conformal correlators.

What carries the argument

Determinantal varieties defined by symmetric matrices possessing zero blocks along the main diagonal, which parametrize Gram matrices of isotropic vectors.

If this is right

  • The ideals generated by these relations cut out the variety of admissible kinematic configurations.
  • The coordinate ring of the variety supplies the algebraic relations needed to reduce expressions built from the matrix entries.
  • Conformal correlators can be expressed in terms of a basis for the quotient ring by these ideals.
  • The geometry of the variety encodes the constraints imposed by isotropy on the kinematic variables.

Where Pith is reading between the lines

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

  • Explicit generators for the ideals in small block sizes would allow direct verification against known correlator formulas in low-dimensional conformal field theories.
  • The same zero-block construction may apply to other Gram-matrix problems outside conformal field theory whenever isotropy is imposed.
  • If the ideals are prime, the varieties would be irreducible, simplifying the decomposition of physical correlator spaces.

Load-bearing premise

Zero-block symmetric matrices correspond exactly to Gram matrices for isotropic vectors in the kinematic setup of quantum field theories.

What would settle it

An explicit low-dimensional example in which a polynomial relation among the matrix-entry functions fails to hold for any choice of isotropic vectors would disprove the claimed correspondence between the matrices and the physical Gram matrices.

read the original abstract

We investigate determinantal varieties for symmetric matrices that have zero blocks along the main diagonal. In theoretical physics, these arise as Gram matrices for kinematic variables in quantum field theories. We study the ideals of relations among functions in the matrix entries that serve as building blocks for conformal correlators.

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 investigates determinantal varieties arising from symmetric matrices with zero blocks along the main diagonal. These are motivated as Gram matrices for isotropic vectors in QFT kinematics. The central mathematical contribution is the study of the ideals of relations among functions of the matrix entries that serve as building blocks for conformal correlators.

Significance. If the algebraic results on the ideals hold, the work supplies explicit generators and relations for a class of determinantal varieties with a direct link to kinematic spaces in conformal field theory. This adds a concrete algebraic-geometry toolset for handling relations among correlator building blocks, independent of whether the physical correspondence is fully derived.

minor comments (2)
  1. [Abstract / §1] The abstract states the physical motivation without deriving or citing the precise correspondence between zero-block symmetric matrices and Gram matrices for isotropic vectors; a short dedicated paragraph or reference in §1 would clarify the link without altering the algebraic claims.
  2. [Introduction] Notation for the zero-block condition and the ring of functions on the matrix entries should be introduced with a single displayed equation early in the text to avoid repeated verbal descriptions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper conducts a direct algebraic study of determinantal varieties arising from symmetric matrices with zero diagonal blocks and the ideals of relations among their entry functions. No derivation step reduces by construction to a fitted parameter, self-definition, or self-citation chain; the central claims are independent algebraic geometry results that do not rely on the QFT motivation for their validity. The abstract's physical context is motivational framing only and does not enter the mathematical arguments as a load-bearing assumption or prediction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified from the given information.

pith-pipeline@v0.9.0 · 5564 in / 915 out tokens · 32732 ms · 2026-05-23T17:18:21.279267+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

14 extracted references · 14 canonical work pages

  1. [1]

    Baumann, G

    D. Baumann, G. Mathys, G. Pimentel and F. Rost: A new twist on spinning (A)dS correlators arXiv:2408.02727

    work page arXiv

  2. [2]

    Blekherman, J

    G. Blekherman, J. Hauenstein, J.C. Ottem, K. Ranestad an d B. Sturmfels: Algebraic bound- aries of Hilbert’s SOS cones , Compositio Mathematica 148 (2012) 1717–1735

    work page 2012

  3. [3]

    Breiding and S

    P. Breiding and S. Timme: HomotopyContinuation.jl: A package for homotopy continuat ion in Julia , Math. Software, ICMS 2018, Lecture Notes in Comp. Science, 10931, 458-465, 2018

    work page 2018

  4. [4]

    Conca: Gr¨ obner bases of ideals of minors of a symmetric matrix , Journal of Algebra 166 (1994) 406–421

    A. Conca: Gr¨ obner bases of ideals of minors of a symmetric matrix , Journal of Algebra 166 (1994) 406–421

    work page 1994

  5. [5]

    Costa, J

    M. Costa, J. Penedones, D. Poland and S. Rychkov: Spinning conformal correlators , Journal of High Energy Physics 11 (2011) 071

    work page 2011

  6. [6]

    Cummings and B

    J. Cummings and B. Hollering: Computing implicitizations of multi-graded polynomial map s, arXiv:2311.07678. 22

    work page arXiv

  7. [7]

    De Concini and C

    C. De Concini and C. Procesi: A characteristic free approach to invariant theory , Advances in Mathematics 21 (1976) 330–354

    work page 1976

  8. [8]

    Devriendt, H

    K. Devriendt, H. Friedman, B. Reinke and B. Sturmfels: The two lives of the Grassmannian , arXiv:2401.03684. Acta Universitatis Sapientiae, Mathematica (2025)

    work page arXiv 2025

  9. [9]

    El Maazouz, A

    Y. El Maazouz, A. Pfister and B. Sturmfels: Spinor-helicity varieties , arXiv:2406.17331

    work page arXiv

  10. [10]

    Grayson and M

    D. Grayson and M. Stillman: Macaulay2, a software system for research in algebraic geom etry, Available at http://www2.macaulay2.com

    work page

  11. [11]

    Harris and L

    J. Harris and L. Tu: On symmetric and skew-symmetric determinantal varieties , Topology 23 (1984) 71–84

    work page 1984

  12. [12]

    Maclagan and B

    D. Maclagan and B. Sturmfels: Introduction to Tropical Geometry, Graduate Studies in Math- ematics, Vol 161, American Mathematical Society, 2015

    work page 2015

  13. [13]

    Pokrara, S

    A. Pokrara, S. Rajan, L. Ren, A. Volovich and W. Zhao: Five-dimensional spinor helicity for all masses and spins , arXiv:2405.09533

    work page arXiv

  14. [14]

    arXiv preprint arXiv:2408.16711 , year=

    S. Rajan, B. Sturmfels and S. Sverrisd´ ottir: Kinematic varieties for massless particles , arXiv:2408.16711. Authors’ addresses: Yassine El Maazouz, MPI MiS Leipzig yassine.el-maazouz@berkeley.edu Bernd Sturmfels, MPI MiS Leipzig bernd@mis.mpg.de Svala Sverrisd´ ottir, UC Berkeley svala@math.berkeley.edu 23

    work page arXiv