pith. sign in

arxiv: 2605.00533 · v1 · submitted 2026-05-01 · 🧮 math.PR · math-ph· math.MP· math.ST· stat.TH

Royen's proof of the Gaussian correlation inequality as a supersymmetric dimensional reduction

Yichao Huang This is my paper

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

classification 🧮 math.PR math-phmath.MPmath.STstat.TH
keywords Gaussian correlation inequalityRoyen's proofsupersymmetric dimensional reductionmultivariate Gamma distributionLaplace transformcorrelation inequalitiessupersymmetric localization
0
0 comments X

The pith

Royen's proof of the Gaussian correlation inequality receives a geometric reinterpretation as supersymmetric dimensional reduction from R^{3|2} to R^{1|0}.

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

The paper reinterprets Royen's Laplace-transform proof by showing that its auxiliary multivariate Gamma distributions arise directly as the body of a supersymmetric radial variable living on the space R^{3|2}. This body maps to the required distributions once the superspace is reduced to R^{1|0}. The same reduction procedure extends without extra work to the half-integer Gamma case by starting from R^{k+2|2} and reducing to R^{k|0}. A reader would care because the approach frames a probabilistic inequality as a geometric fact inside superspace, illustrating how supersymmetric localization can handle correlation statements that depend on continuous parameters.

Core claim

Royen's proof of the Gaussian correlation inequality can be recovered by identifying the auxiliary multivariate Gamma distributions as the body of a supersymmetric radial variable on R^{3|2}; the inequality then follows from the properties of the dimensional reduction to R^{1|0}. The identical mechanism produces the generalization to half-integer parameters by reducing from R^{k+2|2} to R^{k|0}.

What carries the argument

Supersymmetric dimensional reduction from R^{3|2} to R^{1|0}, which extracts the body of a supersymmetric radial variable and maps it onto the auxiliary Gamma distributions used in Royen's Laplace-transform argument.

If this is right

  • The Gaussian correlation inequality follows from the algebraic and geometric properties of the superspace reduction.
  • Half-integer cases of the multivariate Gamma distribution are obtained automatically by increasing the bosonic dimension before reduction.
  • Supersymmetric localization supplies a systematic method for proving correlation inequalities that involve continuous parameters.

Where Pith is reading between the lines

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

  • The same reduction technique might be tested on other Laplace-transform proofs in probability to see whether they admit similar superspace origins.
  • Different choices of superspace dimension could generate new families of correlation inequalities not previously studied.
  • The mapping between radial bodies in superspace and classical distributions may connect the inequality to models in statistical mechanics that already use dimensional reduction.

Load-bearing premise

The auxiliary multivariate Gamma distributions appearing in Royen's argument must correspond exactly to the body of the supersymmetric radial variable on R^{3|2} under the reduction to R^{1|0}, and this correspondence must preserve the inequality without further assumptions.

What would settle it

Compute the explicit body of the radial variable on R^{3|2} and check whether its expansion matches the precise functional form of the multivariate Gamma distribution that Royen inserts into the Laplace-transform argument; any mismatch would break the claimed natural correspondence.

read the original abstract

We revisit Royen's proof of the Gaussian correlation inequality from a supersymmetric point of view. Many key elements in Royen's proof of this inequality have natural geometric interpretations in terms of supersymmetric dimensional reduction from $\mathbb{R}^{3|2}$ to $\mathbb{R}^{1|0}$. In particular, the auxiliary multivariate Gamma distributions appearing in Royen's Laplace-transform argument arise naturally as the body of a supersymmetric radial variable on $\mathbb{R}^{3|2}$. The generalization to the half-integer multivariate Gamma case also follows naturally as a dimensional reduction from $\mathbb{R}^{k+2|2}$ to $\mathbb{R}^{k|0}$. This provides an example in which the supersymmetric localization method is applied to prove correlation inequalities with continuous parameters.

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 manuscript reinterprets Royen's proof of the Gaussian correlation inequality from a supersymmetric viewpoint. It claims that key elements of the proof, especially the auxiliary multivariate Gamma distributions in the Laplace-transform argument, arise naturally as the body of a supersymmetric radial variable on R^{3|2} under dimensional reduction to R^{1|0}. The generalization to half-integer multivariate Gamma distributions is obtained analogously via reduction from R^{k+2|2} to R^{k|0}. This is positioned as an application of supersymmetric localization to correlation inequalities involving continuous parameters.

Significance. If the claimed geometric correspondences hold rigorously, the work supplies a natural interpretive bridge between Royen's analytic argument and supersymmetric geometry. It furnishes a concrete example in which supersymmetric dimensional reduction and localization yield correlation inequalities with continuous parameters, potentially encouraging similar geometric readings of other inequalities in probability theory.

major comments (2)
  1. [Dimensional reduction argument] The central claim that the auxiliary multivariate Gamma distributions 'arise naturally as the body of a supersymmetric radial variable' under reduction from R^{3|2} to R^{1|0} is load-bearing for the reinterpretation. The manuscript must supply an explicit computation (e.g., in the section deriving the radial variable or the Laplace transform) that matches the body component to Royen's specific Gamma density and verifies that the inequality is preserved without extra assumptions.
  2. [Generalization to half-integers] For the generalization, the reduction from R^{k+2|2} to R^{k|0} is asserted to follow similarly, but the manuscript should include a concrete verification (perhaps in the half-integer case section) that the resulting measure reproduces the half-integer Gamma distributions used in the extended inequality and that supersymmetric localization still applies.
minor comments (2)
  1. Clarify the precise definition of the supersymmetric radial variable on R^{3|2} (including the choice of super-metric and the extraction of the body) at the first appearance, as readers from probability theory may not be familiar with the superspace conventions.
  2. Add a short comparison table or paragraph contrasting the original Royen steps with their supersymmetric counterparts to make the interpretive gain explicit.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive comments. We address the two major comments point by point below. In each case we agree that the requested explicit verifications will strengthen the geometric reinterpretation and have incorporated them into the revised manuscript.

read point-by-point responses

  1. Referee: [Dimensional reduction argument] The central claim that the auxiliary multivariate Gamma distributions 'arise naturally as the body of a supersymmetric radial variable' under reduction from R^{3|2} to R^{1|0} is load-bearing for the reinterpretation. The manuscript must supply an explicit computation (e.g., in the section deriving the radial variable or the Laplace transform) that matches the body component to Royen's specific Gamma density and verifies that the inequality is preserved without extra assumptions.

    Authors: We agree that an explicit computation is necessary to make the correspondence fully rigorous. In the revised manuscript we have added a new subsection immediately following the definition of the supersymmetric radial variable on R^{3|2}. There we compute the body component of the radial measure after dimensional reduction to R^{1|0} and show that it coincides exactly with the multivariate Gamma density appearing in Royen's Laplace-transform argument. We further verify that the subsequent steps of the proof (integration against the Gaussian measure and application of the inequality) proceed under precisely the same hypotheses as in the original work, with no additional assumptions introduced by the supersymmetric formulation. revision: yes

  2. Referee: [Generalization to half-integers] For the generalization, the reduction from R^{k+2|2} to R^{k|0} is asserted to follow similarly, but the manuscript should include a concrete verification (perhaps in the half-integer case section) that the resulting measure reproduces the half-integer Gamma distributions used in the extended inequality and that supersymmetric localization still applies.

    Authors: We concur that a concrete check is required. We have expanded the half-integer case section to include an explicit computation of the reduced measure obtained from R^{k+2|2}. This calculation confirms that the body reproduces the half-integer multivariate Gamma distributions employed in the extended inequality. We also verify that the supersymmetric localization argument remains valid in this setting, with the same localization principle yielding the desired correlation inequality for the continuous-parameter family. revision: yes

Circularity Check

0 steps flagged

No significant circularity: supersymmetric reinterpretation of independent Royen proof

full rationale

The paper offers a geometric reinterpretation of Royen's existing Laplace-transform proof of the Gaussian correlation inequality, mapping key elements (such as auxiliary multivariate Gamma distributions) to the body of a supersymmetric radial variable under dimensional reduction from R^{3|2} to R^{1|0}. This is presented explicitly as an alternative perspective and interpretive framework rather than a standalone derivation of the target inequality. No load-bearing step reduces the claimed result to a fitted parameter, self-definition, or self-citation chain; the argument relies on Royen's prior independent work plus external supersymmetry localization techniques. Generalizations to half-integer cases are likewise framed as natural extensions of the same reduction, without introducing circular reductions. The derivation chain remains self-contained against external benchmarks (Royen's proof and supersymmetric geometry), so no steps qualify as circular under the enumerated patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the central claim rests on standard supersymmetry concepts and Royen's independently published proof. No new free parameters, ad-hoc axioms, or invented entities are introduced in the visible text.

axioms (1)
  • domain assumption Supersymmetric dimensional reduction from R^{3|2} to R^{1|0} maps the structures of Royen's Laplace-transform argument onto the Gaussian correlation inequality.
    Invoked directly in the abstract as the mechanism that makes the auxiliary Gamma distributions arise naturally.

pith-pipeline@v0.9.0 · 5425 in / 1463 out tokens · 42265 ms · 2026-05-09T19:15:07.596982+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

10 extracted references · 10 canonical work pages

  1. [1]

    Gaussian correlation inequality [after Thomas Royen ]

    Franck Barthe. Gaussian correlation inequality [after Thomas Royen ]. In S\'eminaire Bourbaki. Volume 2016/2017. Expos\'es 1120--1135 , page ex. Soci \'e t \'e Math \'e matique de France (SMF), 2019

    work page 2016

  2. [2]

    Random spanning forests and hyperbolic symmetry

    Roland Bauerschmidt, Nicholas Crawford, Tyler Helmuth, and Andrew Swan. Random spanning forests and hyperbolic symmetry. Comm. Math. Phys. , 381(3):1223--1261, 2021

    work page 2021

  3. [3]

    The atiyah-singer index theorem for families of dirac operators: Two heat equation proofs

    Jean-Michel Bismut. The atiyah-singer index theorem for families of dirac operators: Two heat equation proofs. Inventiones Mathematicae , 83(1):91--151, February 1986

    work page 1986

  4. [4]

    Disertori, T

    M. Disertori, T. Spencer, and M. R. Zirnbauer. Quasi-diffusion in a 3 D supersymmetric hyperbolic sigma model. Comm. Math. Phys. , 300(2):435--486, 2010

    work page 2010

  5. [5]

    The H^ 2|2 monotonicity theorem revisited

    Yichao Huang and Xiaolin Zeng. The H^ 2|2 monotonicity theorem revisited. arXiv preprint arXiv:2603.25536 , 2026

    work page arXiv 2026

  6. [6]

    Royen's Proof of the Gaussian Correlation Inequality , pages 265--275

    Rafa Lata a and Dariusz Matlak. Royen's Proof of the Gaussian Correlation Inequality , pages 265--275. in Geometric Aspects of Functional Analysis, Springer International Publishing, 2017

    work page 2017

  7. [7]

    Parisi and N

    G. Parisi and N. Sourlas. Random magnetic fields, supersymmetry, and negative dimensions. Physical Review Letters , 43(11):744--745, 1979

    work page 1979

  8. [8]

    A simple proof of the Gaussian correlation conjecture extended to some multivariate gamma distributions

    Thomas Royen. A simple proof of the Gaussian correlation conjecture extended to some multivariate gamma distributions. Far East J. Theor. Stat. , 48(2):139--145, 2014

    work page 2014

  9. [9]

    A random S chr\" o dinger operator associated with the vertex reinforced jump process on infinite graphs

    Christophe Sabot and Xiaolin Zeng. A random S chr\" o dinger operator associated with the vertex reinforced jump process on infinite graphs. J. Amer. Math. Soc. , 32(2):311--349, 2019

    work page 2019

  10. [10]

    Notes on supermanifolds and integration

    Edward Witten. Notes on supermanifolds and integration. Pure and Applied Mathematics Quarterly , 15(1):3--56, 2019

    work page 2019