pith. sign in

arxiv: 2605.30797 · v1 · pith:NU5ZV3BAnew · submitted 2026-05-29 · ✦ hep-th · gr-qc· math.CO

A Boolean-Lattice Perspective for All-Loop Two-Site Cosmological Wavefunction

Yanfeng Hang , Cong Shen This is my paper

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

classification ✦ hep-th gr-qcmath.CO
keywords cosmological wavefunctionBoolean latticeshifted-tree decompositiontubing representationloop-level coefficientsfinite-difference operatorstwo-site bubblemaximal-chain expansion
0
0 comments X

The pith

The shifted-tree decomposition and tubing representation of all-loop two-site cosmological wavefunctions are two expressions of one Boolean-lattice identity.

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

The paper establishes that the nontrivial central term in the shifted-tree decomposition of two-site bubble-like wavefunction coefficients reduces exactly to an alternating subset sum over shifted diagonal divisors. This sum is organized by the Boolean lattice of the internal energies and is equivalently expressed as a product of commuting finite-difference operators applied to a seed divisor. The finite-difference expression yields both a vertex expansion on the lattice and a maximal-chain expansion over complete filtrations from the empty set to the full set of energies. After the common two-site prefactor is restored, the maximal-chain expansion reproduces the tubing representation exactly. A reader would care because the result shows that two previously separate constructions are manifestations of the same underlying lattice identity, supplying a uniform algebraic and geometric account of the coefficients at arbitrary loop order.

Core claim

The nontrivial central part of the shifted-tree decomposition reduces to an alternating subset sum over shifted diagonal divisors organized by the Boolean lattice associated with the internal energies. This subset sum equals a product of commuting finite-difference operators acting on a seed divisor. The finite-difference form produces a vertex expansion on the Boolean lattice and an equivalent maximal-chain expansion over complete filtrations. The maximal-chain formula is proved algebraically by a telescoping relation for products of shifted divisors and geometrically by representing the finite-difference expression as a cubical integral whose simplex decomposition yields the chains. Restor

What carries the argument

The Boolean lattice of internal energies, which organizes the alternating subset sum, the finite-difference operators, and the maximal-chain expansions that equate the shifted-tree and tubing constructions.

If this is right

  • The loop-level two-site wavefunction coefficients admit an explicit maximal-chain expansion indexed by complete filtrations of the internal energies.
  • Products of finite-difference operators generate the vertex expansion of the coefficient on the Boolean lattice.
  • The cubical-integral representation of the finite-difference expression admits a simplex decomposition that reproduces the maximal chains.
  • The shifted-tree and tubing constructions coincide for the entire bubble-like family at any loop order.

Where Pith is reading between the lines

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

  • The same lattice organization may supply a uniform description for wavefunction coefficients involving more than two sites once the appropriate internal-energy sets are identified.
  • The telescoping identity for products of shifted divisors could be used to derive recursion relations that accelerate numerical evaluation of higher-loop integrals.
  • The geometric cubical-integral picture may connect the wavefunction coefficients to combinatorial counts of paths or chains that appear in other perturbative expansions.

Load-bearing premise

The central nontrivial part of the shifted-tree decomposition equals an alternating subset sum over shifted diagonal divisors organized by the Boolean lattice of internal energies.

What would settle it

An explicit three-loop calculation of a two-site bubble diagram in which the maximal-chain expansion, after multiplication by the two-site prefactor, fails to match the known tubing representation of the coefficient.

Figures

Figures reproduced from arXiv: 2605.30797 by Cong Shen, Yanfeng Hang.

Figure 1
Figure 1. Figure 1: The two-site ℓ-loop graph, in which the two vertices are connected by ℓ+1 propagators (ℓ ⩾ 0). Here X1 , X2 label the bulk sites and denote the total energies flowing from the vertices to the late-time boundary, and Yj is the energy carried by the j-th internal line. The internal lines are numbered from bottom to top, with the lowest line labeled by Y1 and the highest line labeled by Yℓ+1. where ψm(k1 , . … view at source ↗
Figure 2
Figure 2. Figure 2: Example illustration for ℓ = 2 showing eq. (3.6) has a natural interpretation on P(Y ), whose Hasse diagram is the 1-skeleton of a 3-cube. Maximal chains connecting ∅ and {Y1 , Y2 , Y3} = Y are indicated as bold colored lines, with the simplices they span as shaded regions in corresponding color. the shifted divisors encountered along the corresponding maximal chain on P(Y ), from ∅ to Y having length ℓ + … view at source ↗
Figure 3
Figure 3. Figure 3: Examples of the Boolean-lattice picture showing triangulation of the cube as disjoint union of simplices T ([0, u0 ] ℓ+1) = ` π∈Sℓ+1 Sπ(u0 ). (a). The case ℓ = 1: the left side is the cubical region corresponding to the l.h.s. of eq. (3.6), giving a shifted-tree decomposition; while the right side is the region-wise contribution corresponding to the r.h.s., giving a loop wavefunction. Maximal-chain sum/“pa… view at source ↗
read the original abstract

We revisit the shifted-tree decomposition formula proposed in our previous work arXiv:2410.17192 for two-site cosmological wavefunction coefficients. For the two-site bubble-like family at arbitrary loop order, we show that the nontrivial central part of the decomposition reduces to an alternating subset sum over shifted diagonal divisors. This subset sum is naturally organized by the Boolean lattice associated with the internal energies, and can be rewritten as a product of commuting finite-difference operators acting on a seed divisor. The finite-difference form first gives a vertex expansion on the Boolean lattice and then leads to an equivalent maximal-chain expansion over complete filtrations from the empty subset to the full set of internal energies. We prove this maximal-chain formula in two complementary ways. Algebraically, the identity follows from a telescoping relation for products of shifted divisors. Geometrically, the finite-difference expression is represented by a cubical integral over the Boolean cube, while the maximal-chain expansion gives its simplex decomposition. After restoring the common two-site prefactor, this maximal-chain expansion reproduces the tubing representation of the loop-level wavefunction coefficient. Thus the shifted-tree decomposition and the tubing construction are two realizations of the same Boolean-lattice identity, providing a concrete geometric interpretation of the all-loop two-site formula.

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 revisits the shifted-tree decomposition from arXiv:2410.17192 for two-site cosmological wavefunction coefficients. For the two-site bubble-like family at arbitrary loop order, it claims the nontrivial central part reduces to an alternating subset sum over shifted diagonal divisors organized by the Boolean lattice of internal energies. This is rewritten as a product of commuting finite-difference operators on a seed divisor, yielding a vertex expansion and then an equivalent maximal-chain expansion over complete filtrations. The maximal-chain formula is proved algebraically via a telescoping relation for products of shifted divisors and geometrically via a cubical integral over the Boolean cube with its simplex decomposition. After restoring the common two-site prefactor, the expansion reproduces the tubing representation, establishing that the shifted-tree decomposition and tubing construction are two realizations of the same Boolean-lattice identity.

Significance. If the central reduction and dual proofs hold, the work supplies a concrete combinatorial and geometric unification of two distinct all-loop representations for two-site wavefunction coefficients. The algebraic telescoping identity and the cubical-to-simplex geometric argument are explicit strengths, as is the all-loop validity for the bubble family. This perspective may facilitate further combinatorial analyses of cosmological correlators and offers a falsifiable link between previously separate constructions.

major comments (2)
  1. [Abstract, §2] Abstract and §2 (reduction step): The central claim that the nontrivial part of the shifted-tree decomposition reduces exactly to the alternating subset sum over shifted diagonal divisors is load-bearing. Because this step invokes the shifted-tree formula defined in arXiv:2410.17192, the manuscript must demonstrate that the reduction is derived from the Boolean-lattice organization rather than presupposing the tubing result it later recovers; an explicit low-loop verification (e.g., one- and two-loop cases) would confirm independence.
  2. [§4] §4 (maximal-chain expansion): The reproduction of the tubing representation after restoring the prefactor is asserted to follow directly from the maximal-chain formula. The manuscript should state the precise prefactor and show that no additional combinatorial factors arise when matching the two realizations, to ensure the claimed equivalence is not an artifact of normalization choices.
minor comments (2)
  1. [§1] Notation for the Boolean lattice and internal energies should be introduced with a small diagram or table in §1 to make the subset-sum organization immediately visible to readers unfamiliar with the prior work.
  2. [§3] The geometric argument in §3 refers to a 'cubical integral over the Boolean cube'; an explicit coordinate chart or change-of-variables formula would clarify how the finite-difference operators map to the simplex decomposition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. We address each major comment below and will incorporate clarifications in a revised manuscript.

read point-by-point responses

  1. Referee: [Abstract, §2] Abstract and §2 (reduction step): The central claim that the nontrivial part of the shifted-tree decomposition reduces exactly to the alternating subset sum over shifted diagonal divisors is load-bearing. Because this step invokes the shifted-tree formula defined in arXiv:2410.17192, the manuscript must demonstrate that the reduction is derived from the Boolean-lattice organization rather than presupposing the tubing result it later recovers; an explicit low-loop verification (e.g., one- and two-loop cases) would confirm independence.

    Authors: We agree that explicit low-loop checks will strengthen the logical independence of the reduction. In the revised manuscript we will add a dedicated subsection in §2 that computes the one-loop and two-loop bubble coefficients directly from the shifted-tree formula of arXiv:2410.17192. These calculations will organize the resulting terms by the Boolean lattice of internal energies and arrive at the alternating subset sum without any reference to the tubing construction, thereby confirming that the reduction step is self-contained. revision: yes

  2. Referee: [§4] §4 (maximal-chain expansion): The reproduction of the tubing representation after restoring the prefactor is asserted to follow directly from the maximal-chain formula. The manuscript should state the precise prefactor and show that no additional combinatorial factors arise when matching the two realizations, to ensure the claimed equivalence is not an artifact of normalization choices.

    Authors: We will revise §4 to state the common two-site prefactor explicitly and to include a term-by-term coefficient comparison between the maximal-chain expansion (multiplied by this prefactor) and the tubing representation. The comparison will demonstrate that the two expressions agree exactly, with no residual combinatorial factors, for the bubble family at arbitrary loop order. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper cites its prior work (arXiv:2410.17192) solely as the source of the shifted-tree decomposition formula, which serves as the explicit starting input. It then derives—via explicit algebraic telescoping and geometric cubical-to-simplex arguments—the reduction of that formula's central part to an alternating subset sum on the Boolean lattice, the finite-difference rewriting, the maximal-chain expansion, and the final reproduction of the tubing representation after restoring the common prefactor. These steps are presented as independent proofs rather than tautological redefinitions or fitted renamings. No load-bearing self-citation chain, self-definitional loop, or 'prediction' that reduces by construction to the input is exhibited; the Boolean-lattice identity is established through verifiable algebraic and geometric identities that stand on their own.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of Boolean lattices, finite-difference operators, and telescoping sums for divisors; no free parameters are introduced, and no new physical entities are postulated.

axioms (2)
  • standard math Finite-difference operators on shifted divisors satisfy the stated telescoping product identity
    Invoked in the algebraic proof of the maximal-chain expansion (abstract, paragraph 3)
  • standard math The cubical integral over the Boolean cube admits the simplex decomposition corresponding to maximal chains
    Used in the geometric proof (abstract, paragraph 3)

pith-pipeline@v0.9.1-grok · 5752 in / 1544 out tokens · 27671 ms · 2026-06-28T21:50:09.988334+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

37 extracted references · 10 linked inside Pith

  1. [1]

    A note on kinematic flow and differential equations for two-site one-loop graph in FR W spacetime,

    Y. Hang and C. Shen, “A note on kinematic flow and differential equations for two-site one-loop graph in FR W spacetime,” JHEP 09 (2025) 209 , arXiv:2410.17192 [hep-th]

    arXiv 2025

  2. [2]

    Cosmological Polytopes and the Wavefunction of the Universe,

    N. Arkani-Hamed, P. Benincasa, and A. Postnikov, “Cosmological Polytopes and the Wavefunction of the Universe,” arXiv:1709.02813 [hep-th]

    Pith/arXiv arXiv

  3. [3]

    On the Emergence of Lorentz Invariance and Unitarity from the Scattering Facet of Cosmological Polytopes,

    N. Arkani-Hamed and P. Benincasa, “On the Emergence of Lorentz Invariance and Unitarity from the Scattering Facet of Cosmological Polytopes,” arXiv:1811.01125 [hep-th]

    Pith/arXiv arXiv

  4. [4]

    Kinematic Flow and the Emergence of Time,

    N. Arkani-Hamed, D. Baumann, A. Hillman, A. Joyce, H. Lee, and G. L. Pimentel, “Kinematic Flow and the Emergence of Time,” Phys. Rev. Lett. 135 no. 3, (2025) 031602 , arXiv:2312.05300 [hep-th]

    arXiv 2025

  5. [5]

    Differential Equations for Cosmological Correlators,

    N. Arkani-Hamed, D. Baumann, A. Hillman, A. Joyce, H. Lee, and G. L. Pimentel, “Differential Equations for Cosmological Correlators,” arXiv:2312.05303 [hep-th]

    arXiv

  6. [6]

    On one-loop corrections to the Bunch-Davies wavefunction of the universe,

    P. Benincasa, G. Brunello, M. K. Mandal, P. Mastrolia, and F. Vazão, “On one-loop corrections to the Bunch-Davies wavefunction of the universe,” arXiv:2408.16386 [hep-th]

    arXiv

  7. [7]

    Cosmohedra,

    N. Arkani-Hamed, C. Figueiredo, and F. Vazão, “Cosmohedra,” JHEP 11 (2025) 029 , arXiv:2412.19881 [hep-th]

    arXiv 2025

  8. [8]

    Cosmological correlators at the loop level,

    Z. Qin, “Cosmological correlators at the loop level,” JHEP 03 (2025) 051 , arXiv:2411.13636 [hep-th]

    arXiv 2025

  9. [9]

    Strongly coupled sectors in inflation: gapless theories and unparticles,

    G. L. Pimentel and C. Yang, “Strongly coupled sectors in inflation: gapless theories and unparticles,” JHEP 04 (2026) 146 , arXiv:2503.17840 [hep-th]

    Pith/arXiv arXiv 2026

  10. [10]

    Dimensional regularization of bubble diagrams in de Sitter spacetime,

    H. Zhang, “Dimensional regularization of bubble diagrams in de Sitter spacetime,” JHEP 02 (2026) 119 , arXiv:2507.19318 [hep-th]

    arXiv 2026

  11. [11]

    On the simplicity of de Sitter correlators,

    C. Chowdhury, S. He, Y.-X. Su, and D. Yang, “On the simplicity of de Sitter correlators,” arXiv:2604.26421 [hep-th]

    Pith/arXiv arXiv

  12. [12]

    The massive flat space limit of cosmological correlators,

    S. Cespedes and S. Jazayeri, “The massive flat space limit of cosmological correlators,” JHEP 07 (2025) 032 , arXiv:2501.02119 [hep-th]

    arXiv 2025

  13. [13]

    Correlators from Amplitubes,

    R. Glew, “Correlators from Amplitubes,” arXiv:2507.07199 [hep-th]

    arXiv

  14. [14]

    Correlators from graphical amplitudes,

    R. Glew, “Correlators from graphical amplitudes,” Phys. Rev. D 112 no. 6, (2025) L061302

    2025

  15. [15]

    Wavefunction coefficients from amplitubes,

    R. Glew, “Wavefunction coefficients from amplitubes,” JHEP 07 (2025) 064 , arXiv:2503.13596 [hep-th] . 18

    arXiv 2025

  16. [16]

    Cosmological dressing rules,

    C. Chowdhury, A. Lipstein, J. Marshall, J. Mei, and I. Sachs, “Cosmological dressing rules,” JHEP 03 (2026) 076 , arXiv:2503.10598 [hep-th]

    arXiv 2026

  17. [17]

    Cosmology meets cluster algebra,

    M. Capuano, L. Ferro, T. Lukowski, and A. Palazio, “Cosmology meets cluster algebra,” arXiv:2512.14859 [hep-th]

    arXiv

  18. [18]

    Cluster algebras for cosmological correlators,

    P. Mazloumi and X. Xu, “Cluster algebras for cosmological correlators,” JHEP 03 (2026) 256 , arXiv:2512.14854 [hep-th]

    arXiv 2026

  19. [19]

    Generalised Cluster Adjacency for Cosmology,

    M. Capuano, L. Ferro, T. Lukowski, A. Palazio, and Y.-Q. Zhang, “Generalised Cluster Adjacency for Cosmology,” arXiv:2603.09965 [hep-th]

    arXiv

  20. [20]

    A physical basis for cosmological correlators from cuts,

    S. De and A. Pokraka, “A physical basis for cosmological correlators from cuts,” JHEP 03 (2025) 040 , arXiv:2411.09695 [hep-th]

    arXiv 2025

  21. [21]

    Euler Discriminant of Complements of Hyperplanes,

    C. Fevola and S.-J. Matsubara-Heo, “Euler Discriminant of Complements of Hyperplanes,” arXiv:2411.19696 [math.AG]

    arXiv

  22. [22]

    Differential equations for tree-level cosmological correlators with massive states,

    F. Gasparotto, P. Mazloumi, and X. Xu, “Differential equations for tree-level cosmological correlators with massive states,” JHEP 09 (2025) 043 , arXiv:2411.05632 [hep-th]

    arXiv 2025

  23. [23]

    Canonical Differential Equations for Cosmology from Positive Geometries,

    M. Capuano, L. Ferro, T. Lukowski, and A. Palazio, “Canonical Differential Equations for Cosmology from Positive Geometries,” arXiv:2505.14609 [hep-th]

    arXiv

  24. [24]

    Differential Equations for Massive Correlators,

    D. Baumann, A. Joyce, H. Lee, and K. Salehi Vaziri, “Differential Equations for Massive Correlators,” arXiv:2604.08658 [hep-th]

    Pith/arXiv arXiv

  25. [25]

    Loop integrals in de Sitter spacetime: The parity-split IBP system and d log-form differential equations,

    J. Chen, B. Feng, Z. Qin, and Y.-X. Tao, “Loop integrals in de Sitter spacetime: The parity-split IBP system and d log-form differential equations,” arXiv:2604.14549 [hep-th]

    Pith/arXiv arXiv

  26. [26]

    Notes on Diagrammatic Coaction for Cosmological Wavefunction Coefficients: A Two-Site Prelude,

    Y. Fu and J. Liu, “Notes on Diagrammatic Coaction for Cosmological Wavefunction Coefficients: A Two-Site Prelude,” arXiv:2603.25698 [hep-th]

    arXiv

  27. [27]

    Kinematic flow for cosmological loop integrands,

    D. Baumann, H. Goodhew, and H. Lee, “Kinematic flow for cosmological loop integrands,” JHEP 07 (2025) 131 , arXiv:2410.17994 [hep-th]

    arXiv 2025

  28. [28]

    Geometry of kinematic flow,

    D. Baumann, H. Goodhew, A. Joyce, H. Lee, G. L. Pimentel, and T. Westerdijk, “Geometry of kinematic flow,” JHEP 05 (2026) 211 , arXiv:2504.14890 [hep-th]

    arXiv 2026

  29. [29]

    Kinematic flow from the flow of cuts,

    R. Glew and A. Pokraka, “Kinematic flow from the flow of cuts,” arXiv:2508.11568 [hep-th]

    arXiv

  30. [30]

    An Alternative Viewpoint on Kinematic Flow from Tubing Splitting,

    J.-Y. Ke and P. He, “An Alternative Viewpoint on Kinematic Flow from Tubing Splitting,” arXiv:2605.17751 [hep-th] . 19

    Pith/arXiv arXiv

  31. [31]

    Quantum Field Theory in de Sitter Space: Renormalization by Point Splitting,

    T. S. Bunch and P. C. W. Davies, “Quantum Field Theory in de Sitter Space: Renormalization by Point Splitting,” Proc. Roy. Soc. Lond. A 360 (1978) 117–134

    1978

  32. [32]

    Permutohedra, associahedra, and beyond,

    A. Postnikov, “Permutohedra, associahedra, and beyond,” International Mathematics Research Notices 2009 no. 6, (2009) 1026–1106, arXiv:math/0507163 [math.CO]

    Pith/arXiv arXiv 2009

  33. [33]

    Coxeter complexes and graph-associahedra,

    M. Carr and S. L. Devadoss, “Coxeter complexes and graph-associahedra,” Topology and its Applications 153 no. 12, (2006) 2155–2168, arXiv:math/0407229 [math.QA]

    Pith/arXiv arXiv 2006

  34. [34]

    Pseudograph associahedra,

    M. Carr, S. L. Devadoss, and S. Forcey, “Pseudograph associahedra,” Journal of Combinatorial Theory, Series A 118 no. 7, (2011) 2035–2055 , arXiv:1005.2551 [math.CO]

    Pith/arXiv arXiv 2011

  35. [35]

    The lean 4 theorem prover and programming language,

    L. d. Moura and S. Ullrich, “The lean 4 theorem prover and programming language,” in International Conference on Automated Deduction , pp. 625–635, Springer. 2021

    2021

  36. [36]

    formal-physics-lean

    Y. Hang, “formal-physics-lean. ” https://github.com/yf-hang/formal-physics-lean

  37. [37]

    Nakahara, Geometry, topology and physics

    M. Nakahara, Geometry, topology and physics . CRC press, 2018. 20

    2018