Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Selberg Integrals and Particle–Hole Duality in the Richardson–Gaudin Pairing Model

W. V. Pogosov

Published Sep 9, 2026• 0 citations
Publisher

Abstract

Authorship and verification statement. The scientific problem, the original methodological direction, and the research objectives were formulated by W. V. Pogosov. The analytical derivations and numerical computations in this project were carried out by an advanced large language model (LLM), through an iterative interaction with the author. The author has not exhaustively checked all calculations and proofs. This is a working manuscript with explicit unresolved assumptions, supplied for inspection, reproduction, and further development. The manuscript develops a Selberg–residue approach to the equally spaced Richardson–Gaudin pairing model. Meromorphic contour periods are reduced to finite determinant expressions. Complementary kernels and sign-corrected minor expansions organize ground-state, marked, blocked, and nested-contour sectors. The text studies their thermodynamic asymptotics and candidate finite-size energy corrections while distinguishing exact period identities from physical eigenenergy interpretations. The method originated in W. V. Pogosov, “'Probabilistic' approach to Richardson equations,” Journal of Physics: Condensed Matter 24, 075701 (2012), doi:10.1088/0953-8984/24/7/075701 (https://doi.org/10.1088/0953-8984/24/7/075701), arXiv:1111.2907 (https://arxiv.org/abs/1111.2907). That work treated the ground state and obtained the required coupling dependence without a full direct evaluation of the determinant normalization. Within this line of work, it also first formulated explicitly the Hamiltonian origin of electron–hole symmetry in the exact Richardson analysis; its Appendix A acknowledges earlier observations of spectral duality. The subsequent paper, “Excited states in Richardson pairing model: 'probabilistic' approach,” Progress of Theoretical Physics 128, 1–14 (2012), doi:10.1143/PTP.128.1 (https://doi.org/10.1143/PTP.128.1), arXiv:1208.1088 (https://arxiv.org/abs/1208.1088), extended the approach to excited states, again leaving a common determinant normalization unevaluated directly. The author's 2014 doctoral dissertation, Superconductors and dilute superfluid Bose systems: From the microscopic to the macroscopic scale (in Russian), developed direct determinant evaluations by successive row differences and triangular reduction. See the Lebedev Physical Institute dissertation-council record (https://www.lebedev.ru/ru/fian-dissertation-councils/posts.html?id=188) and the complete thesis on ResearchGate (https://www.researchgate.net/publication/271840408_Sverhprovodniki_i_razrezennye_sverhtekucie_boze-sistemy_ot_mikro-_k_makrourovnu) (doi:10.13140/2.1.1066.5766 (https://doi.org/10.13140/2.1.1066.5766)). From the perspective of the broader program pursued here, these earlier results constituted a partial solution. The present project attempts to carry that program through; completion is not claimed. Version 1.0 incorporates a repair of the confluent lattice-minor argument, using a saddle-localized continuation and an exponentially small error controlled on integer indices. Important open inputs remain: contour selection, uniform Gaussian energy control, the proposed Hessian-to-spectral-shift identification, and finite-defect comparisons. The correspondence between the period endpoint and the physical real-root density is also conjectural. The deposit contains the full manuscript, LaTeX sources, bibliography, fifteen supporting scientific programs, fourteen labelled historical reports, and a current separately implemented lattice-check report. The latter records 96 small exact-arithmetic comparisons and 24 larger minor and derivative checks. Independence here concerns implementations within the LLM-assisted workflow, not independent human verification. The earlier program collection has not been rerun in full for this release, and finite tests do not prove the unresolved analytical assumptions.

DOI
10.5281/zenodo.22671546

Related papers

Thermodynamic Gaplessness of the Spin-1/2 Kagome Heisenberg Antiferromagnet: An Exact Computer-Assisted Proof

Gary Djigo

This record contains the full author preprint (12 pages), its mathematical supplement (17 pages), and the complete article archive with LaTeX sources, the version note, SHA-256 manifests and the licence. The two PDFs are also provided as individual files for direct reading. Version v3 clarifies the Haar normalization convention in section 9.1 of the mathematical supplement (equation 45). The unnormalised transform H has H*H = 2I and Tr(HQH*) = 2Tr(Q); the equivalent orthogonal transform is H/sqrt(2). This agrees with the existing root/detail identity and exact verifier. The main article, verification code, Lean files, matrix certificates and stated constants are unchanged. See the publication version note for the precise scope of this correction. AbstractWe prove that the nearest-neighbor spin-1/2 antiferromagnetic Heisenberg model on the infinite Kagome lattice is gapless in the bulk GNS sense. The argument constructs six explicit local preimages and their complete infinite-lattice Hamiltonian commutators. Two rigorous 17-spin positivity certificates, each decomposed into 31 nontrivial swap-character blocks and nine SU(2) multiplicity blocks, give a state-uniform off-kernel mass floor. Exact operator transport on the two genuine outward Kagome continuations propagates the same physical family through a finite stationary interface. A root/detail/current decomposition, a local current–boundary identity, and state-uniform norm estimates yield a horizon-independent Dirichlet-energy bound. With harmonic weights, for every infinite-volume ground state ω and every R ≥ 1 the same finite family satisfies M_R(ω) ≥ (15/32) ∑_{k=1}^{R} 1/k and E_R(ω) ≤ 761429817528146602401/25088000. Any positive GNS gap would force the second quantity to diverge with the first. Hence every admissible ground-state representation has zero gap, and the declared bulk gap is zero. All finite operator identities and matrix inequalities are checked from exact algebraic data, with rigorous ball arithmetic used for the large positive-definiteness tests. Lean 4 verifies the arbitrary-horizon harmonic implication and the final variational contradiction. The proof uses neither finite-size gap extrapolation nor a spectral cutoff. Companion public verification code, Lean 4 formalization and exact certificates: https://doi.org/10.5281/zenodo.23675708 Distribution and reuse are governed by the Public Scientific Evaluation and Reproducibility Terms included with this record. The deposit excludes the author's private discovery engine and proprietary know-how.

•Oct 25, 2026•0 citations

Excited States in Richardson Pairing Model: `Probabilistic' Approach

W. V. Pogosov

Richardson equations can be mapped on the classical electrostatic problem in two dimensions. We have recently suggested a new analytical approach to these equations in the thermodynamical limit, which is based on the `probability' of the system of charges to be in a given configuration at the effective temperature equal to the interaction constant. In this paper, we apply this approach to excited states of the Richardson pairing model. We focus on the equally-spaced situation and address arbitrary fillings of the energy layer, where interaction acts. The `partition function' for the classical problem on the plane, which is given by the Selberg-type integral, is evaluated exactly. Three regimes for the energy gap are identified, which can be treated as the dilute regime of pairs, BCS regime, and dilute regime of holes.

arXiv:1208.1088•Progress of Theoretical Physics•Jul 1, 2012•2 citations

Effective Carrier Routing, Control Work, and Stress in a Finite WRRA Model

Wonsik Choi, Jeongin Choi

We construct an effective carrier model within the Worldline–Residue–Resource–Action framework. Two conditionally independent registers encode prime-factor multiplicities. A label-symmetric equality projector controls a common source coupled to two supplied particle-pair channels. One pulse generates the earlier collision-statistic probabilities without address-dependent interaction strength. A restricted single-register obstruction and a classification of diagonal permutation-invariant effects specify the construction’s resource assumptions. The implementation reproduces species probabilities, but not the preceding interface’s coherent output channel. Bare-energy conservation holds at the calibrated reference volume; detuning away from resonance requires interaction energy and switching work. A response identity relates the reference pressure-volume moment to the logarithmic-volume derivative of mean pulse work. Composition with the implemented muon-decay kernel recovers energy and pressure histories at full conversion. This is an executable effective interaction candidate and compatibility analysis; lepton identities, weak interactions, and the full fifteen-channel carrier are not derived from arithmetic alone. Version 0.2, editorial revision of 9 October 2026. Includes the English manuscript, Korean guide, and reproducibility archive. The 123 carrier-level checks are internal consistency checks, not experimental validation or external journal peer review. The manuscript was prepared before this deposit; its preparation-time statement that no public DOI had been assigned is superseded by this record. Preceding WRRA records: r11, https://doi.org/10.5281/zenodo.23237629; particle interface v0.2, https://doi.org/10.5281/zenodo.23241511; dynamic decays v0.2, https://doi.org/10.5281/zenodo.23246308. Correction release 0.2-r1 (9 October 2026): Table 3 now states that the hot electron branch has a positive pressure-volume moment; the antielectron-neutrino overbar in Section 6.2 is correctly rendered in the PDF. The scientific model, reproduction code and numerical results are unchanged. The manuscript retains its v0.2 designation and filenames; 0.2-r1 identifies this corrected deposit. A third Astra medium AI internal review and post-correction check examined the final files. Both required corrections were resolved, with no further mandatory technical corrections identified. The review report is included. This is not external journal peer review or acceptance. Earlier statements in the guide/review about two review rounds describe the historical pre-correction state.

•Oct 9, 2026•1 citation

Addendum to ‘Selberg correlation integrals and the 1/r2 quantum many body system’

Peter J. Forrester

Nuclear Physics B•Mar 1, 1994•47 citations

An infinite family of non-star trees admitting Laplacian peak state transfer

Shunpei Shimizu

Unrefereed AI-assisted preprint, version 0.2.2, 9 October 2026. No author affiliation is given. For each m >= 1, set q = m^2 + m + 1. Attach q intermediate vertices to a root and q - 1 leaves to each intermediate vertex. This produces infinitely many pairwise nonisomorphic non-star trees of order q^2 + 1, with root Laplacian spectral support {0, m^2 + 1, (m + 1)^2 + 1}. The symbolic argument establishes Laplacian peak state transfer at time pi from the root to an intermediate vertex for odd m and to a leaf for even m, addressing Open Problem 7.1 of Coutinho, Guo and Schmeits, arXiv:2505.11986v4. The ten-vertex m = 1 member is their known Figure 10 example. Phase alignment is an application of their Lemma 5.2 and Corollary 5.3; the general peak-time classification follows their Theorem 5.4 and Corollary 5.5. The contribution presented here is the explicit infinite family and its spectral coefficients, targets and gcd calculation. For the specified pairs, all positive peak times are odd multiples of pi/g, where g = 5 when m = 2 mod 5 and otherwise g = 1. Novelty and priority are not certified. Peak transfer means attaining the mutual-projector absolute-sum bound, not unit amplitude. The probabilities tend to zero along both parity subsequences. This does not establish perfect transfer, efficient long-distance quantum communication or a classification of all trees. Exact standard-library reruns check actual full-tree Laplacians for m = 1..5, quotients for m = 1..1000, and gcd/phase regressions for m = 1..10000. Those finite checks support, not replace, the symbolic all-parameter proof and the analytic all-real-time Bezout argument. No complete Lean or other proof-assistant verification is supplied. 本研究は、清水竣平が個人の自主研究として企画・進行した、AIを活用した数学探索です。清水は探索方針の指示、検証の手配、成果の取りまとめを担当しました。証明の構成、計算による検証、原稿作成の大部分にはAIを使用しています。検証方法とその範囲は本文に記載しており、人間の専門家による査読は未実施です。 This work is an AI-assisted mathematical exploration initiated and coordinated by Shunpei Shimizu as a personal independent research project. Shimizu directed the exploration, arranged verification, and compiled the results. AI systems performed most proof construction, computational checking, and manuscript preparation. The verification methods and their scope are documented in the manuscript. The work has not received specialist human peer review. The submitter has not independently certified every mathematical step. Separate AI analyses and implementations are not human refereeing. No cited-author or institutional endorsement is implied. Read peak_trees_en_v0.2.2.tex first. The current package is Quantum_peak_trees_publication_v0.2.2_20261009.zip; QUANTUM_TREES_README_PUBLICATION_v0.2.2_EN.md explains its contents. Version 0.2.2 removes author affiliation; mathematical text, equations, statements, proofs and verification programs are unchanged from version 0.2.1. The current package omits old manuscript sources and old full ZIPs. Earlier verification records retain their original dates; they are not human peer review. The built-in LaTeX compiler failed at Windows environment setup before TeX diagnostics. No PDF has been generated or visually verified; editable TeX and exact-check code are supplied. Documentation clarification, 10 October 2026. The retained README_EN.txt and README_JA.md are historical documentation; the corresponding preserved v0.1.0 copies describe the 8 October 2026 working draft. QUANTUM_TREES_README_PUBLICATION_v0.2.1_EN.md describes the superseded v0.2.1 package. Their source names, payload inventories, draft-status statements and no-Publish instructions are dated history, not the current record state or operative instructions. Independent checks in those documents mean separate AI analyses or implementations, not human refereeing. The current entrypoints are peak_trees_en_v0.2.2.tex, Quantum_peak_trees_publication_v0.2.2_20261009.zip and QUANTUM_TREES_README_PUBLICATION_v0.2.2_EN.md. Refer to the current TeX for the argument where historical checker comments mention an absent review.md. This notice makes no change to the mathematical manuscript or verification programs. Publication packaging clarification, 10 October 2026. In addition to the three historical READMEs identified above, the two QUANTUM_TREES_ATTRIBUTION_AI_ROLE_ADDENDUM files and novelty_attribution_math_monitor_review_20261009.zip are dated supplementary review records. The r1 addendum and the current v0.2.2 manuscript give the operative author and AI contribution disclosure. The novelty archive also compares other manuscripts; those comparisons are context, not additional results of this Quantum record. Earlier private-save and no-publication instructions describe past workflow only. Current scientific claims are the explicitly stated tree-family construction and specified-pair peak times. No mathematical content, verification program or frozen historical attachment is changed by this clarification.

•Oct 10, 2026•0 citations

Pseudo-Hamiltonian approach to a theory of effective interactions in the particle-hole channel: Microscopic foundations

Abraham Klein, Tsutomu Une

In an accompanying paper, we have described a new approach to the computation of ground-state energies and of correlated particle-hole excitations in terms of a phenomenological pseudo-Hamiltonian containing two- and more-body smooth effective potentials which sum the results of short-range correlations and of density fluctuation amplitudes which describe long-range correlations. In this paper we study the problem of relating the pseudopotentials to a (possibly singular) microscopic interaction with the aid of tools developed within the framework of the coupled cluster theory of K\"ummel and his collaborators, the results containing both familiar and unfamiliar elements. For example, the formulas derived, which depend on Bethe-Goldstone and Bethe-Faddeev amplitudes, include new definitions of particle-hole scattering matrix elements. An important consistency check is satisfied, in that the problem of defining the phenomenological potentials in terms of the microscopic ones must yield two separate but equivalent solutions, once within the framework of the theory of the ground-state energy and a second time within the framework of the theory of excitations. The entire package is studied with the aid of a modified version of coupled cluster theory, and shown to form a self-consistent entity. Among the desirable features of the formalism is that the large gap in the single-particle energy spectrum often utilized in existing formalisms is naturally absent from the current one.

Physical Review C•Oct 1, 1988•1 citation
Authorship and verification statement. The scientific problem, the original methodological direction, and the research objectives were formulated by W. V. Pogosov. The analytical derivations and numerical computations in this project were carried out by an advanced large language model (LLM), through an iterative interaction with the author. The author has not exhaustively checked all calculations and proofs. This is a working manuscript with explicit unresolved assumptions, supplied for inspection, reproduction, and further development. The manuscript develops a Selberg–residue approach to the equally spaced Richardson–Gaudin pairing model. Meromorphic contour periods are reduced to finite determinant expressions. Complementary kernels and sign-corrected minor expansions organize ground-state, marked, blocked, and nested-contour sectors. The text studies their thermodynamic asymptotics and candidate finite-size energy corrections while distinguishing exact period identities from physical eigenenergy interpretations. The method originated in W. V. Pogosov, “'Probabilistic' approach to Richardson equations,” Journal of Physics: Condensed Matter 24, 075701 (2012), doi:10.1088/0953-8984/24/7/075701 (https://doi.org/10.1088/0953-8984/24/7/075701), arXiv:1111.2907 (https://arxiv.org/abs/1111.2907). That work treated the ground state and obtained the required coupling dependence without a full direct evaluation of the determinant normalization. Within this line of work, it also first formulated explicitly the Hamiltonian origin of electron–hole symmetry in the exact Richardson analysis; its Appendix A acknowledges earlier observations of spectral duality. The subsequent paper, “Excited states in Richardson pairing model: 'probabilistic' approach,” Progress of Theoretical Physics 128, 1–14 (2012), doi:10.1143/PTP.128.1 (https://doi.org/10.1143/PTP.128.1), arXiv:1208.1088 (https://arxiv.org/abs/1208.1088), extended the approach to excited states, again leaving a common determinant normalization unevaluated directly. The author's 2014 doctoral dissertation, Superconductors and dilute superfluid Bose systems: From the microscopic to the macroscopic scale (in Russian), developed direct determinant evaluations by successive row differences and triangular reduction. See the Lebedev Physical Institute dissertation-council record (https://www.lebedev.ru/ru/fian-dissertation-councils/posts.html?id=188) and the complete thesis on ResearchGate (https://www.researchgate.net/publication/271840408_Sverhprovodniki_i_razrezennye_sverhtekucie_boze-sistemy_ot_mikro-_k_makrourovnu) (doi:10.13140/2.1.1066.5766 (https://doi.org/10.13140/2.1.1066.5766)). From the perspective of the broader program pursued here, these earlier results constituted a partial solution. The present project attempts to carry that program through; completion is not claimed. Version 1.0 incorporates a repair of the confluent lattice-minor argument, using a saddle-localized continuation and an exponentially small error controlled on integer indices. Important open inputs remain: contour selection, uniform Gaussian energy control, the proposed Hessian-to-spectral-shift identification, and finite-defect comparisons. The correspondence between the period endpoint and the physical real-root density is also conjectural. The deposit contains the full manuscript, LaTeX sources, bibliography, fifteen supporting scientific programs, fourteen labelled historical reports, and a current separately implemented lattice-check report. The latter records 96 small exact-arithmetic comparisons and 24 larger minor and derivative checks. Independence here concerns implementations within the LLM-assisted workflow, not independent human verification. The earlier program collection has not been rerun in full for this release, and finite tests do not prove the unresolved analytical assumptions.
This record contains the full author preprint (12 pages), its mathematical supplement (17 pages), and the complete article archive with LaTeX sources, the version note, SHA-256 manifests and the licence. The two PDFs are also provided as individual files for direct reading. Version v3 clarifies the Haar normalization convention in section 9.1 of the mathematical supplement (equation 45). The unnormalised transform H has H*H = 2I and Tr(HQH*) = 2Tr(Q); the equivalent orthogonal transform is H/sqrt(2). This agrees with the existing root/detail identity and exact verifier. The main article, verification code, Lean files, matrix certificates and stated constants are unchanged. See the publication version note for the precise scope of this correction. AbstractWe prove that the nearest-neighbor spin-1/2 antiferromagnetic Heisenberg model on the infinite Kagome lattice is gapless in the bulk GNS sense. The argument constructs six explicit local preimages and their complete infinite-lattice Hamiltonian commutators. Two rigorous 17-spin positivity certificates, each decomposed into 31 nontrivial swap-character blocks and nine SU(2) multiplicity blocks, give a state-uniform off-kernel mass floor. Exact operator transport on the two genuine outward Kagome continuations propagates the same physical family through a finite stationary interface. A root/detail/current decomposition, a local current–boundary identity, and state-uniform norm estimates yield a horizon-independent Dirichlet-energy bound. With harmonic weights, for every infinite-volume ground state ω and every R ≥ 1 the same finite family satisfies M_R(ω) ≥ (15/32) ∑_{k=1}^{R} 1/k and E_R(ω) ≤ 761429817528146602401/25088000. Any positive GNS gap would force the second quantity to diverge with the first. Hence every admissible ground-state representation has zero gap, and the declared bulk gap is zero. All finite operator identities and matrix inequalities are checked from exact algebraic data, with rigorous ball arithmetic used for the large positive-definiteness tests. Lean 4 verifies the arbitrary-horizon harmonic implication and the final variational contradiction. The proof uses neither finite-size gap extrapolation nor a spectral cutoff. Companion public verification code, Lean 4 formalization and exact certificates: https://doi.org/10.5281/zenodo.23675708 Distribution and reuse are governed by the Public Scientific Evaluation and Reproducibility Terms included with this record. The deposit excludes the author's private discovery engine and proprietary know-how.
Richardson equations can be mapped on the classical electrostatic problem in two dimensions. We have recently suggested a new analytical approach to these equations in the thermodynamical limit, which is based on the `probability' of the system of charges to be in a given configuration at the effective temperature equal to the interaction constant. In this paper, we apply this approach to excited states of the Richardson pairing model. We focus on the equally-spaced situation and address arbitrary fillings of the energy layer, where interaction acts. The `partition function' for the classical problem on the plane, which is given by the Selberg-type integral, is evaluated exactly. Three regimes for the energy gap are identified, which can be treated as the dilute regime of pairs, BCS regime, and dilute regime of holes.
We construct an effective carrier model within the Worldline–Residue–Resource–Action framework. Two conditionally independent registers encode prime-factor multiplicities. A label-symmetric equality projector controls a common source coupled to two supplied particle-pair channels. One pulse generates the earlier collision-statistic probabilities without address-dependent interaction strength. A restricted single-register obstruction and a classification of diagonal permutation-invariant effects specify the construction’s resource assumptions. The implementation reproduces species probabilities, but not the preceding interface’s coherent output channel. Bare-energy conservation holds at the calibrated reference volume; detuning away from resonance requires interaction energy and switching work. A response identity relates the reference pressure-volume moment to the logarithmic-volume derivative of mean pulse work. Composition with the implemented muon-decay kernel recovers energy and pressure histories at full conversion. This is an executable effective interaction candidate and compatibility analysis; lepton identities, weak interactions, and the full fifteen-channel carrier are not derived from arithmetic alone. Version 0.2, editorial revision of 9 October 2026. Includes the English manuscript, Korean guide, and reproducibility archive. The 123 carrier-level checks are internal consistency checks, not experimental validation or external journal peer review. The manuscript was prepared before this deposit; its preparation-time statement that no public DOI had been assigned is superseded by this record. Preceding WRRA records: r11, https://doi.org/10.5281/zenodo.23237629; particle interface v0.2, https://doi.org/10.5281/zenodo.23241511; dynamic decays v0.2, https://doi.org/10.5281/zenodo.23246308. Correction release 0.2-r1 (9 October 2026): Table 3 now states that the hot electron branch has a positive pressure-volume moment; the antielectron-neutrino overbar in Section 6.2 is correctly rendered in the PDF. The scientific model, reproduction code and numerical results are unchanged. The manuscript retains its v0.2 designation and filenames; 0.2-r1 identifies this corrected deposit. A third Astra medium AI internal review and post-correction check examined the final files. Both required corrections were resolved, with no further mandatory technical corrections identified. The review report is included. This is not external journal peer review or acceptance. Earlier statements in the guide/review about two review rounds describe the historical pre-correction state.
Unrefereed AI-assisted preprint, version 0.2.2, 9 October 2026. No author affiliation is given. For each m >= 1, set q = m^2 + m + 1. Attach q intermediate vertices to a root and q - 1 leaves to each intermediate vertex. This produces infinitely many pairwise nonisomorphic non-star trees of order q^2 + 1, with root Laplacian spectral support {0, m^2 + 1, (m + 1)^2 + 1}. The symbolic argument establishes Laplacian peak state transfer at time pi from the root to an intermediate vertex for odd m and to a leaf for even m, addressing Open Problem 7.1 of Coutinho, Guo and Schmeits, arXiv:2505.11986v4. The ten-vertex m = 1 member is their known Figure 10 example. Phase alignment is an application of their Lemma 5.2 and Corollary 5.3; the general peak-time classification follows their Theorem 5.4 and Corollary 5.5. The contribution presented here is the explicit infinite family and its spectral coefficients, targets and gcd calculation. For the specified pairs, all positive peak times are odd multiples of pi/g, where g = 5 when m = 2 mod 5 and otherwise g = 1. Novelty and priority are not certified. Peak transfer means attaining the mutual-projector absolute-sum bound, not unit amplitude. The probabilities tend to zero along both parity subsequences. This does not establish perfect transfer, efficient long-distance quantum communication or a classification of all trees. Exact standard-library reruns check actual full-tree Laplacians for m = 1..5, quotients for m = 1..1000, and gcd/phase regressions for m = 1..10000. Those finite checks support, not replace, the symbolic all-parameter proof and the analytic all-real-time Bezout argument. No complete Lean or other proof-assistant verification is supplied. 本研究は、清水竣平が個人の自主研究として企画・進行した、AIを活用した数学探索です。清水は探索方針の指示、検証の手配、成果の取りまとめを担当しました。証明の構成、計算による検証、原稿作成の大部分にはAIを使用しています。検証方法とその範囲は本文に記載しており、人間の専門家による査読は未実施です。 This work is an AI-assisted mathematical exploration initiated and coordinated by Shunpei Shimizu as a personal independent research project. Shimizu directed the exploration, arranged verification, and compiled the results. AI systems performed most proof construction, computational checking, and manuscript preparation. The verification methods and their scope are documented in the manuscript. The work has not received specialist human peer review. The submitter has not independently certified every mathematical step. Separate AI analyses and implementations are not human refereeing. No cited-author or institutional endorsement is implied. Read peak_trees_en_v0.2.2.tex first. The current package is Quantum_peak_trees_publication_v0.2.2_20261009.zip; QUANTUM_TREES_README_PUBLICATION_v0.2.2_EN.md explains its contents. Version 0.2.2 removes author affiliation; mathematical text, equations, statements, proofs and verification programs are unchanged from version 0.2.1. The current package omits old manuscript sources and old full ZIPs. Earlier verification records retain their original dates; they are not human peer review. The built-in LaTeX compiler failed at Windows environment setup before TeX diagnostics. No PDF has been generated or visually verified; editable TeX and exact-check code are supplied. Documentation clarification, 10 October 2026. The retained README_EN.txt and README_JA.md are historical documentation; the corresponding preserved v0.1.0 copies describe the 8 October 2026 working draft. QUANTUM_TREES_README_PUBLICATION_v0.2.1_EN.md describes the superseded v0.2.1 package. Their source names, payload inventories, draft-status statements and no-Publish instructions are dated history, not the current record state or operative instructions. Independent checks in those documents mean separate AI analyses or implementations, not human refereeing. The current entrypoints are peak_trees_en_v0.2.2.tex, Quantum_peak_trees_publication_v0.2.2_20261009.zip and QUANTUM_TREES_README_PUBLICATION_v0.2.2_EN.md. Refer to the current TeX for the argument where historical checker comments mention an absent review.md. This notice makes no change to the mathematical manuscript or verification programs. Publication packaging clarification, 10 October 2026. In addition to the three historical READMEs identified above, the two QUANTUM_TREES_ATTRIBUTION_AI_ROLE_ADDENDUM files and novelty_attribution_math_monitor_review_20261009.zip are dated supplementary review records. The r1 addendum and the current v0.2.2 manuscript give the operative author and AI contribution disclosure. The novelty archive also compares other manuscripts; those comparisons are context, not additional results of this Quantum record. Earlier private-save and no-publication instructions describe past workflow only. Current scientific claims are the explicitly stated tree-family construction and specified-pair peak times. No mathematical content, verification program or frozen historical attachment is changed by this clarification.
In an accompanying paper, we have described a new approach to the computation of ground-state energies and of correlated particle-hole excitations in terms of a phenomenological pseudo-Hamiltonian containing two- and more-body smooth effective potentials which sum the results of short-range correlations and of density fluctuation amplitudes which describe long-range correlations. In this paper we study the problem of relating the pseudopotentials to a (possibly singular) microscopic interaction with the aid of tools developed within the framework of the coupled cluster theory of K\"ummel and his collaborators, the results containing both familiar and unfamiliar elements. For example, the formulas derived, which depend on Bethe-Goldstone and Bethe-Faddeev amplitudes, include new definitions of particle-hole scattering matrix elements. An important consistency check is satisfied, in that the problem of defining the phenomenological potentials in terms of the microscopic ones must yield two separate but equivalent solutions, once within the framework of the theory of the ground-state energy and a second time within the framework of the theory of excitations. The entire package is studied with the aid of a modified version of coupled cluster theory, and shown to form a self-consistent entity. Among the desirable features of the formalism is that the large gap in the single-particle energy spectrum often utilized in existing formalisms is naturally absent from the current one.