A uniform elliptic reduction, an order-matching criterion, and precision benchmarks for the strong-coupling Birman-Schwinger analysis of the lattice three-boson trimer
Mikhail Dolgopolov
math-phmath.NAmath.SPquant-phSubmitted Aug 12, 2026• Announced Aug 13, 2026• 0 citations• Revised Aug 16, 2026 (v2)
We present a refined strong-coupling Birman-Schwinger analysis of the three-boson lattice Schroedinger operator on Z^2 at the exceptional quasimomentum K = pi. First, we provide an exact closed-form benchmark for the fiber Fredholm determinant, valid for every quasimomentum K, obtained via a uniform elliptic reduction. Second, we formulate and prove a general order-matching criterion that rigorously determines whether a leading-order Fredholm determinant asymptotic, with relative error 1/mu, suffices to fix the constant-order additive energy correction, or if the next-order refinement is required. Applying the criterion at K = pi, we derive the complete strong-coupling ground-state asymptotic expansion z_1^{pi,s}(mu) = -2mu + 6 + 8/mu + O(mu^{-2}), cross-validated against the exact benchmark and two independent high-precision numerical schemes. We rigorously establish the corresponding spectral gap and the Fredholm-determinant underestimation factor 2 + O(mu^{-2}). We independently confirm that the known K = 0 constant requires no analogous refinement. Finally, we contrast the asymptotic precision levels achieved across recent lattice few-body models and draw a structural parallel with the parity-based classification of topological band insulators at time-reversal-invariant momenta.
Comments
v2: corrected typos in Tables 2 and 3; refined Corollary 5.4 to include the next-order term; clarified the notation for the series inversion in the proof of Theorem 5.2; added a comparative discussion with the 3D fermionic case. 10 pages
We present a refined strong-coupling Birman-Schwinger analysis of the three-boson lattice Schroedinger operator on Z^2 at the exceptional quasimomentum K = pi. First, we provide an exact closed-form benchmark for the fiber Fredholm determinant, valid for every quasimomentum K, obtained via a uniform elliptic reduction. Second, we formulate and prove a general order-matching criterion that rigorously determines whether a leading-order Fredholm determinant asymptotic, with relative error 1/mu, suffices to fix the constant-order additive energy correction, or if the next-order refinement is required. Applying the criterion at K = pi, we derive the complete strong-coupling ground-state asymptotic expansion z_1^{pi,s}(mu) = -2mu + 6 + 8/mu + O(mu^{-2}), cross-validated against the exact benchmark and two independent high-precision numerical schemes. We rigorously establish the corresponding spectral gap and the Fredholm-determinant underestimation factor 2 + O(mu^{-2}). We independently confirm that the known K = 0 constant requires no analogous refinement. Finally, we contrast the asymptotic precision levels achieved across recent lattice few-body models and draw a structural parallel with the parity-based classification of topological band insulators at time-reversal-invariant momenta.
We compare two three-particle lattice models on the square lattice at total quasimomentum zero: three identical bosons with attractive contact interactions, and a two-fermion plus one distinguishable particle system with attractive interspecies contact. Using the Birman--Schwinger principle combined with symmetry reduction and strong-coupling asymptotics, we distinguish shared methodology from model-dependent spectral conclusions. For bosons, the ground-state energy behaves as minus three times the coupling plus six minus three over twice the coupling plus higher-order corrections, and exactly two bound states exist below the threshold for large coupling; the second lies at a finite distance 0.03542 below the threshold, a genuine eigenvalue rather than a threshold resonance. For fermions, the critical mass ratio is pi divided by pi minus two, approximately 2.75194; above it, a doubly degenerate level appears at strong coupling. Near onset, the binding energy follows a linear-over-logarithmic law. The results are compared with numerical finite-grid Faddeev computations and with recent three-dimensional classifications of threshold states.
We study three identical bosons with contact attraction of strength mu on the square lattice at total quasimomentum K = 0 and K = pi. First, at K = 0, for all sufficiently large mu there are exactly two eigenvalues below the essential spectrum. The trimer branch follows from Kato perturbation theory at the simple isolated eigenvalue 3 of the pair-contact operator, uniformly in K; the atom-dimer branch follows from a Feshbach-Schur reduction whose limiting equation coincides with the second Birman-Schwinger (Faddeev) eigenvalue of the finite-rank principal part. The spectral gap between the two branches grows linearly in mu. Second, at K = pi the trimer branch is unchanged up to O(mu^-2), the two-particle threshold equals -mu + 4 exactly, and the gap to it is 2mu - 2 plus lower order corrections. The second bound state disappears because the exchange operator changes sign, S_pi = -S_0: the s-channel eigenvalue that exceeds 1 at K = 0 becomes negative, while the only positive atom-dimer channel at K = pi is the odd p-channel, bounded by 2 - 4/pi < 1. Consequently the operator has exactly one eigenvalue below the threshold minus 36/(mu - 10). Third, the ground state is exponentially localized in the relative coordinates. The decay exponent is positive unconditionally; under a non-cancellation hypothesis it is bounded above by log(3mu) plus lower order terms, while finite-volume computations indicate the slowest tail is the atom-dimer dissociation channel with decay rate one half log(2mu). A dictionary between the principal-part method, Kato theory, and the atom-dimer threshold matrix is given, together with the three-dimensional constants for comparison.
We study three-particle Schrödinger operators on the two-dimensional lattice Z 2 and show that a critical mass ratio γ c ≈ 2.75194 governs the existence of a bound trimer in the fermionic 2 + 1 configuration (two identical fermions and a third particle). For γ < γ c there is a topological prohibition (Pauli suppression) of a three-body bound state, whereas for γ > γ c a doubly degenerate eigenvalue emerges below the essential spectrum with the strong-coupling asymptotics z(γ, λ) = −λ+e 0 (γ)+O(λ −1 ). Within a unified framework based on the Birman–Schwinger principle and strong-coupling asymptotic analysis, we compare this behaviour with the bosonic case of three identical particles, where two bound states exist below the essential spectrum and the ground-state energy satisfies z 1 s (µ) = −3µ + C 2 + O(µ −1 ). The resulting second-order phase transition with respect to the mass ratio γ is relevant for the design of experiments on fermionic trimers in optical lattices and for modelling excitonic complexes and defect-bound states in two-dimensional nanomaterials, where the critical value γ c serves as a design guideline for the observability of three-body bound states. We also outline a modified three-particle lattice model with two competing interaction channels, for which the Birman–Schwinger analysis naturally leads to a Landau-type scenario of a first-order phase transition in the space of trimer bound states. In the bosonic case we prove a strong-coupling theorem describing the existence and asymptotics of trimer bound states, while in the fermionic 2+1 case we establish a spectral phase-transition theorem that identifies an explicit critical mass ratio γ c separating the trimer and non-trimer regimes.
We study three particles on the two-dimensional square lattice with contact interactions of infinite strength, in every sector of total quasimomentum, for three statistics: identical bosons, two identical fermions with a distinguishable third particle, and two identical bosons with a distinguishable third particle. The atom-dimer sector associated with the infinitely degenerate eigenvalue of the pair-contact operator is analysed on the whole Brillouin zone. A Feshbach-Schur reduction gives explicit effective Hamiltonians built from the Dirichlet Laplacian and a rank-four exchange operator, and a spectral transfer theorem with explicit error bounds identifies the atom-dimer threshold of the three-body operator with that of the effective one; the eigenvalue counting function below the threshold is squeezed between those of the effective operator, so that the number of atom-dimer states bound uniformly in the coupling equals the number of bound states of the effective Hamiltonian. The threshold problem reduces to a four-by-four Hermitian matrix whose zero-energy limit is built from the two-point resistances of the square lattice and hence to a quartic polynomial. This yields the complete atom-dimer zones in closed form; the critical hopping ratio as an explicit function on the whole Brillouin zone with two-sided bounds and closed forms at all symmetry points; at most two atom-dimer states per sector with an explicit second threshold; exact onset laws of infinite order at the corner point and linear-over-logarithmic in the pure p-wave channel; and two exact dualities relating a change of statistics to a shift of quasimomentum by half a reciprocal-lattice vector. The reduction of the three-body eigenvalue problem to the lattice Skornyakov-Ter-Martirosyan equation is proved with an explicit isomorphism of eigenspaces.
This thesis studies the mathematical structure of quantum Hall transport in lattice systems, with an emphasis on relating mutiple definitions of Hall conductance in different mathematical branches: Geometrically as a bulk Chern number for a Bloch bundle; analytically as an edge spectral flow for a half-space Hamiltonian; and in operator algebra language as a many body charge transport index generated by magnetic flux insertion. The main results of the thesis reveal restrictions imposed on these indices by frustration-free structure, and improved locality estimates for interacting many body systems.The first result concerns frustration free free-Fermion (F 4 ) Hamiltonians. For translation-invariant, strictly local, gapped F4 Hamiltonians on Z 2 , we prove that the bulk index vanishes. More precisely, the two Bloch bundle associated with the image/kernel of the momentum space Hamiltonian is shown to be trivial by an algebraic argument using polynomial modules and a free resolution. Thus a frustration-free free-Fermion model cannot realize a nontrivial integer quantum Hall phase at the level of the bulk Chern index.The second new result is the corresponding edge statement. For a translation-invariant F4 Hamiltonian restricted to a half-plane, we prove that the edge index vanishes. We first identified that frustration free is equivalent to flat ground state band. Detailed analysis of spectral flow of the edge Hamiltonian shows that the edge mode is an analytic function and can be absorbed by the flat band. Consequently, the edge spectral flow across a regular energy in the bulk gap is constant and must equal its trivial value below the spectrum. This establishes, in this setting, that the frustration-free structure rules out nonzero edge transport as well as nonzero bulk transport. The third new result is an exponential clustering theorem for finite-volume quantum spin systems with a possibly degenerate and split ground-state sector. Assuming only a uniform spectral gap above a low-energy spectral patch of sufficiently small width, we prove exponential decay of correlations in the form|⟨Ω, ABΩ⟩ − ⟨Ω, AP BΩ⟩| ≤ C∥P∥1∥A∥∥B∥e −cd(X,Y ),for local observables A and B with disjoint supports. This improves the locality control needed in many body Hall conductance arguments, where previous estimates under comparable hypotheses were superpolynomial. Together, these results clarify how locality and spectral gaps constrain both free-Fermion and interacting formulations of topological transport.
Volume-Uniform Finite-Volume Bounds with the Representation Cutoff Removed: a Reconstruction and Computer-Assisted Improvement of Creation-Operator Constants We study the Kogut–Susskind Hamiltonian of pure SU(2) and SU(3) lattice gauge theory on three-dimensional cubic boxes, H = aΣ_e L_e + bΣ_p (1 - F_p), with L_e the electric Casimir on link e and F_p = N⁻¹Re tr U_p, at strong coupling (small b/a). An unrefereed preprint by Gauvin adapts the creation-operator method of Bravyi, DiVincenzo and Loss to this setting and states, for SU(3), a physical gap uniform in the volume, with the representation cutoff removed, for b/a ≤ 1/648. We give a self-contained reconstruction of the finite-volume argument, identify its external analytic inputs, and reproduce its constants. We then prove a sequence of refinements of the commutator estimate: a selection rule of Wilson-loop multiplication that restricts admissible creation placements, fractional witness counting, orthogonality of output sectors, Haar-measure bounds for vacuum projections before and after the plaquette multiplication, a two-link sandwich identity, a joint vacuum-row bound, and a size-weighted norm. The finite tuple constants and final sufficient inequalities are checked in exact rational arithmetic by two author implementations and a separate verifier written from the stated definitions. The operator inequalities that justify these arithmetic definitions are proved analytically. On open boxes the physical gap is at least 3a/2 for SU(2) whenever b/a ≤ 2/95, and at least 8a/3 for SU(3) whenever b/a ≤ 2/35 (1/16 with a sharper representation-theoretic bound), uniformly in the box. These sufficient couplings are 3072/95 and 1296/35 times those obtained from the preprint's constants (for SU(2), our transfer of them). The corresponding open-box endpoints in Hamiltonian units are β_H=√(4/95) ≈ 0.205 for SU(2) and β_H=√(6/35) ≈ 0.414 for SU(3), or √(3/16) ≈ 0.433 with the strengthened SU(3) bound. The basic open-box certificates also bound the static fundamental potential below linearly: for static charges at graph distance L ≥ 6, E_{x,y} - E_vac ≥ σ L with σ = 5/16 a for SU(2) at b/a ≤ 2/95 and σ = 5/9 a for SU(3) at b/a ≤ 2/35, uniformly in the box. A variable exclusion fraction and an independent local-decoupling upper bound bracket the first physical excitation energy above the vacuum. On open boxes containing an elementary plaquette, at b/a = 1/5000 this energy lies in [2.990, 3.050] a (SU(2)) and [5.326, 5.390] a (SU(3)). These are strong-coupling statements at fixed lattice spacing, not continuum statements. Files ym_strong_coupling_gaps.pdf: the paper. zenodo_ymgap_v1.0.0_2026-10-23.zip: the certificate bundle: two independent implementations of the certified tuple constants, the verifier, the tamper-test driver, the Section 8 upper-bound program and its exact checker, the number generator, manifests and verifier outputs for all 34 certificate configurations, the complete tuple files, and the paper source with every number generated from these files. Its SHA-256 is in the adjacent .sha256 file; SHA256SUMS inside covers every file. README.md, LICENSE.md: copies of the bundle's front matter. Verification ./replay.sh (Python 3, standard library only; a few minutes) regenerates every tuple file, compares it entry by entry with the second implementation, verifies every manifest in exact rational arithmetic, runs the tamper tests and the exact check of the two-sided bracket upper bounds, and regenerates every number of the paper; it exits non-zero on any failure. Scope: strong-coupling statements for the Kogut–Susskind lattice Hamiltonian at fixed lattice spacing, uniform in the volume, with the representation cutoff removed. They are not continuum statements and do not address the continuum Yang–Mills mass gap problem. Licence: CC BY-NC 4.0 (LICENSE.md), licensed by SmartLedger Solutions. Commercial-use enquiries: labs@smartledger.solutions. No patent licence is granted by this release.