arxiv: 2601.17163 · v4 · submitted 2026-01-23 · ⚛️ physics.chem-ph · cond-mat.str-el· nucl-th

Recognition: 2 theorem links

· Lean Theorem

Degenerate coupled-cluster theory

So Hirata

Authors on Pith no claims yet

Pith reviewed 2026-05-16 11:19 UTC · model grok-4.3

classification ⚛️ physics.chem-ph cond-mat.str-elnucl-th

keywords coupled-cluster theorydegenerate referencesmultireference methodssize extensivityfull configuration interactionquasidegenerate coupled-clusterGreen's function

0 comments

The pith

A new coupled-cluster ansatz called ΔCC computes energies and wave functions from any degenerate or nondegenerate Slater-determinant reference while staying size-extensive and converging to full configuration interaction.

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

The paper introduces ΔCC theory as a black-box coupled-cluster method that works for arbitrary reference determinants, including those with degeneracy, any spin multiplicity, or orbital occupancy patterns. For nondegenerate references it recovers the standard single-reference coupled-cluster approach exactly, while for degenerate cases it supplies a natural coupled-cluster extension of degenerate Rayleigh-Schrödinger perturbation theory. A small modification produces the QCC variant, a state-universal multireference theory for general model spaces that remains size-extensive and convergent. High-order implementations show that both ΔCC and QCC deliver better transition energies than equation-of-motion coupled-cluster or configuration interaction at the same excitation level, and better results than ΔMP or many-body Green's function theory at comparable cost.

Core claim

The central claim is that the ΔCC ansatz, constructed to operate on any Slater determinant reference, produces a size-extensive coupled-cluster theory whose energies and wave functions converge to the full-configuration-interaction limit for stationary states of arbitrary degeneracy, electron number, spin, and spatial symmetry; the same ansatz reduces to ordinary coupled-cluster theory when the reference is nondegenerate and supplies a convergent Green's-function description for ionized and electron-attached states.

What carries the argument

The ΔCC ansatz, a modified coupled-cluster expansion that accounts for reference degeneracy while preserving size extensivity and FCI convergence.

If this is right

For nondegenerate references the method is identical to conventional coupled-cluster theory.
It supplies a convergent alternative to many-body Green's function theory for ionized and electron-attached states.
QCC extends the framework to general model spaces for strong correlation while retaining size extensivity.
At fixed excitation order, QCC and ΔCC outperform EOM-CC and CI for transition energies; at fixed scaling they outperform ΔMP and MBGF.
Determinant-based general-order algorithms enable systematic comparisons through high orders such as octuple excitations.

Where Pith is reading between the lines

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

The black-box character may allow routine treatment of open-shell and near-degenerate systems without manual selection of special references.
The same structure could be adapted to compute properties other than energies, such as gradients or response functions, for arbitrary references.
Implementation in existing coupled-cluster codes would test whether the claimed generality holds for larger molecules with complex electronic structures.

Load-bearing premise

The ΔCC ansatz must remain size-extensive and converge to the full configuration interaction limit even when the reference determinant is degenerate.

What would settle it

High-order numerical results for ΔCC energies on a small degenerate system, such as the beryllium atom or a simple diradical, that deviate systematically from exact full-configuration-interaction values would disprove the claimed convergence and size extensivity.

read the original abstract

A size-extensive, converging, black-box, ab initio coupled-cluster ($\Delta$CC) ansatz is introduced that computes the energies and wave functions of stationary states from any degenerate or nondegenerate Slater-determinant references with any numbers of $\alpha$- and $\beta$-spin electrons, any patterns of orbital occupancy, any spin multiplicities, and any spatial symmetries. For a nondegenerate reference, it reduces to the single-reference coupled-cluster ansatz. For a degenerate multireference, it is a natural coupled-cluster extension of degenerate Rayleigh-Schr\"{o}dinger perturbation ($\Delta$MP) theory. For ionized and electron-attached references, it can be viewed as a coupled-cluster Green's function, although the present theory is convergent toward the full-configuration-interaction (FCI) limits, while Feynman-Dyson many-body Green's function (MBGF) theory generally is not. Additionally, a new state-universal multireference coupled-cluster theory for general model spaces is developed by slightly modifying the $\Delta$CC ansatz. This quasidegenerate coupled-cluster (QCC) theory is size-extensive, converging, but not black-box, which is expected to be well suited for strong correlation. Determinant-based, general-order algorithms of $\Delta$CC and QCC theories are implemented, which are compared with configuration-interaction (CI) and equation-of-motion coupled-cluster (EOM-CC) theories through octuple excitations and with $\Delta$MP and MBGF theories up to the nineteenth order. For transition energies, the order of performance is: QCC $\approx$ $\Delta$CC $>$ EOM-CC $>$ CI at the same excitation order or QCC $\approx$ $\Delta$CC $>$ $\Delta$MP $>$ MBGF at the same cost scaling.

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.

Desk Editor's Note private letter to a colleague

Hirata's ΔCC gives a workable black-box CC route to degenerate references that reduces to ordinary CC and beats EOM-CC in the tests shown, but the size-extensivity proof for arbitrary symmetries still needs a hard check.

read the letter

The main thing here is a new coupled-cluster ansatz, called ΔCC, that starts from any Slater determinant reference—degenerate or not, any spin or occupancy pattern—and still stays size-extensive while converging to FCI. For ordinary nondegenerate cases it collapses to standard CC, and the paper also adds a slight tweak to get QCC, a state-universal MRCC variant that keeps extensivity but drops the black-box property. They coded general-order determinant-based versions and ran comparisons through octuple excitations against CI and EOM-CC, plus high-order ΔMP and MBGF runs. The numbers look clean: ΔCC and QCC sit above EOM-CC and CI at fixed excitation level and above ΔMP/MBGF at comparable cost scaling for transition energies. That is the concrete advance—practical implementation plus direct head-to-head data on systems where degeneracy matters. The algebra for size-extensivity and FCI convergence is asserted to hold by construction for the modified cluster operator, but the abstract and the stress-test note both flag that this rests on exact cancellation of disconnected diagrams across arbitrary symmetries and reference classes; the paper supplies the equations and the code, so a referee can verify it directly rather than take it on faith. The main soft spot is that QCC is no longer black-box, which limits its immediate use, and the numerical tests stop at octuples so very strong correlation regimes are only sampled. This is aimed at people who already work with CC or MRCC codes and need a single framework that covers ionized, attached, and quasidegenerate cases without switching methods. It is worth sending to peer review because the implementation is reproducible, the comparisons are straightforward, and the central claim is falsifiable with the supplied equations.

Referee Report

2 major / 1 minor

Summary. The manuscript introduces a degenerate coupled-cluster (ΔCC) ansatz that computes energies and wave functions from arbitrary Slater-determinant references (degenerate or nondegenerate, any α/β electron counts, orbital occupancies, spin multiplicities, and spatial symmetries). For nondegenerate references it reduces to standard single-reference CC; for degenerate cases it extends ΔMP theory. A slight modification yields the quasidegenerate coupled-cluster (QCC) theory for strong correlation. Determinant-based general-order algorithms are implemented and compared to CI, EOM-CC (up to octuples), ΔMP, and MBGF (up to 19th order), with performance ordering QCC ≈ ΔCC > EOM-CC > CI (or > ΔMP > MBGF) at equivalent order or scaling.

Significance. If the size-extensivity and FCI convergence hold for the stated general references, the work would provide a valuable black-box ab initio route to degenerate and strongly correlated states, unifying single- and multi-reference treatments with controlled approximations. The implemented algorithms and high-order numerical benchmarks against multiple established methods constitute a concrete strength, offering direct evidence of practical performance gains.

major comments (2)

[Abstract] Abstract: the central claim that the ΔCC wave operator (exp(T) on a general reference determinant with T adapted to arbitrary occupancy and symmetry) is size-extensive for non-interacting subsystems requires explicit algebraic verification that disconnected diagrams cancel for every listed reference class (ionized, attached, quasidegenerate model spaces, any spin/spatial symmetries); the numerical comparisons up to octuples do not substitute for this property.
[Abstract] Abstract: the assertion that both ΔCC and the slightly modified QCC converge to the FCI limit for arbitrary references must be supported by a clear definition of the ansatz and demonstration that the perturbative/iterative expansion reaches the full configuration space without truncation artifacts; the current description leaves this algebraic guarantee unverified.

minor comments (1)

The abstract states performance comparisons 'at the same excitation order or at the same cost scaling'; explicit statements of the scaling for QCC versus ΔCC and how the 'slight modification' affects computational cost would clarify the claims.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive assessment of the work's significance and for the detailed comments on the abstract claims. We address each point below and will revise the manuscript accordingly to provide the requested algebraic details.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that the ΔCC wave operator (exp(T) on a general reference determinant with T adapted to arbitrary occupancy and symmetry) is size-extensive for non-interacting subsystems requires explicit algebraic verification that disconnected diagrams cancel for every listed reference class (ionized, attached, quasidegenerate model spaces, any spin/spatial symmetries); the numerical comparisons up to octuples do not substitute for this property.

Authors: We agree that explicit algebraic verification is preferable to relying solely on numerics. Size-extensivity follows from the connected form of the amplitude equations and the exponential ansatz, with T restricted to excitations that preserve the reference's occupancy and symmetry; disconnected diagrams cancel by the same linked-cluster mechanism as in standard CC. In the revision we will insert a short subsection deriving the cancellation explicitly for ionized, attached, and quasidegenerate references (including arbitrary spin and spatial symmetries) by enumerating the relevant diagram topologies. revision: yes
Referee: [Abstract] Abstract: the assertion that both ΔCC and the slightly modified QCC converge to the FCI limit for arbitrary references must be supported by a clear definition of the ansatz and demonstration that the perturbative/iterative expansion reaches the full configuration space without truncation artifacts; the current description leaves this algebraic guarantee unverified.

Authors: The ΔCC ansatz defines T to include every excitation operator compatible with the reference determinant's occupancy, spin, and symmetry; the exponential therefore generates the entire configuration space when expanded to infinite order. The iterative solution of the projected equations therefore has no truncation artifacts and converges to the FCI eigenvector in that space. We will revise the manuscript to state this definition more explicitly in the theory section and add a brief paragraph proving that the reachable manifold is complete for arbitrary references. revision: yes

Circularity Check

0 steps flagged

No significant circularity; ΔCC reduces to standard CC and extends ΔMP without self-referential definitions or forced predictions

full rationale

The paper defines the ΔCC ansatz explicitly as reducing to the single-reference coupled-cluster ansatz for nondegenerate cases and as a natural extension of ΔMP for degenerate multireference cases. Size-extensivity and FCI convergence are asserted as algebraic properties of the wave operator construction for arbitrary references, not obtained by fitting parameters to target data or by renaming inputs as outputs. No load-bearing self-citation chain, uniqueness theorem imported from the same authors, or ansatz smuggled via prior work is required for the central claims; the numerical benchmarks against CI, EOM-CC, ΔMP, and MBGF supply external checks. The derivation chain therefore remains self-contained against independent benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on the validity of the newly introduced ΔCC ansatz and its modification to QCC; the abstract supplies no explicit free parameters but invokes standard coupled-cluster assumptions plus the novel convergence property.

axioms (2)

domain assumption Coupled-cluster wave functions are size-extensive
Invoked as a property of the new ΔCC ansatz; standard background assumption in the field.
ad hoc to paper The ansatz converges to the full-configuration-interaction limit with increasing excitation order
Central claim of the paper for both ΔCC and QCC; not a standard result for arbitrary references.

invented entities (2)

ΔCC ansatz no independent evidence
purpose: To compute energies and wave functions from arbitrary degenerate or nondegenerate Slater-determinant references in a black-box manner
Newly defined theoretical construct introduced in the paper.
QCC theory no independent evidence
purpose: State-universal multireference coupled-cluster method for general model spaces
Obtained by slight modification of the ΔCC ansatz.

pith-pipeline@v0.9.0 · 5622 in / 1652 out tokens · 33263 ms · 2026-05-16T11:19:33.802931+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel / linked-diagram theorem (Appendix A) echoes

?

echoes
ECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.

Eq. (7)–(8): projector equations with C-condition ⟨J|PI exp(T_I)|I⟩=δ_JI ensuring linkedness and FCI convergence
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery / embed_injective unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

ΔCC reduces to single-reference CC for M=1; size-extensive via cancellation of unlinked diagrams after C-condition

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.