pith. sign in

arxiv: 2605.04598 · v1 · submitted 2026-05-06 · 🪐 quant-ph · math-ph· math.MP

Two-site Bose-Hubbard hopping and Schr\"odinger cat states

Madeline Berezowski , Artur Sowa , Jonas Fransson This is my paper

Pith reviewed 2026-05-08 18:12 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.MP
keywords Bose-Hubbard modeldimerhopping Hamiltonianspin projection operatorSchrödinger cat statesbosonic commutation relationscoherent statestwo-site system
0
0 comments X p. Extension

The pith

The two-site Bose-Hubbard hopping term restricted to any fixed-particle subspace equals the x-axis spin projection operator for spin s equal to half the particle number.

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

The paper shows that the hopping term of the two-site Bose-Hubbard Hamiltonian, when restricted to states with exactly k bosons, is identical to the operator S_x that projects spin along the x direction for a spin-s particle with s = k/2. An inductive argument built from the bosonic creation and annihilation commutation relations constructs all eigenvectors and eigenvalues inside each such subspace. This supplies an explicit new route to the spectrum and eigenstates of the spin-x projector. The same construction is applied to the unitary evolution generated by the square of the hopping Hamiltonian, which turns initial coherent states into Schrödinger cat states.

Core claim

When restricted to the invariant k-particle subspace, the two-site Bose-Hubbard hopping Hamiltonian coincides exactly with the spin projection operator along the x-axis for spin quantum number s = k/2. The identification follows from an inductive construction that repeatedly applies the bosonic canonical commutation relations to produce the full set of eigenvectors and eigenvalues. The authors then use this explicit form to study the dynamics generated by the square of the hopping operator acting on coherent states and show that it produces Schrödinger cat states in the dimer.

What carries the argument

The inductive mapping, constructed via bosonic commutation relations, that identifies the restricted hopping operator with the x-component of angular momentum for spin s = k/2.

If this is right

  • Eigenvalues and eigenvectors of the x-spin projector become available directly from the bosonic number states via the inductive construction.
  • Time evolution under the square of the dimer hopping Hamiltonian converts coherent states into Schrödinger cat states.
  • All dynamics generated by the hopping term remain confined inside each fixed-k subspace.
  • The mapping supplies an explicit bosonic representation of the spin-x operator that can be used for any integer or half-integer s.

Where Pith is reading between the lines

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

  • The equivalence offers a concrete bosonic lattice system in which known results about spin cat states can be tested experimentally with ultracold atoms.
  • Similar subspace restrictions on larger lattices might yield effective spin models for multi-site hopping dynamics.
  • The squared-hopping generator could be used to prepare macroscopic superpositions in other two-mode bosonic systems without requiring external control fields.

Load-bearing premise

The subspaces with fixed total particle number k remain invariant under the hopping term, so the operator can be restricted to each subspace independently.

What would settle it

Direct numerical diagonalization of the hopping matrix in the k-particle Fock basis for small k, for example k=2, that produces eigenvalues or eigenvectors differing from those of S_x for s=1.

Figures

Figures reproduced from arXiv: 2605.04598 by Artur Sowa, Jonas Fransson, Madeline Berezowski.

Figure 1
Figure 1. Figure 1: FIG. 1. Eigenvalues and eigenvectors of view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. A visualization of how a vector view at source ↗
read the original abstract

The Bose-Hubbard Hamiltonian can be simplified to have only two lattice sites, in which case the system being described is referred to as a dimer. Due to its structure, the hopping term of the dimer Hamiltonian enjoys invariance in a family of subspaces indexed by a whole number $k$, each subspace corresponding to a system of only $k$ particles. We have invented an inductive argument using the bosonic canonical commutation relations to find the eigenvalues and eigenvectors of the dimer hopping Hamiltonian in its $k$-particle subspaces. In particular, this Hamiltonian, when restricted to one of the $k$-particle subspaces, is exactly the spin projection operator along the $x$-axis, where the number of particles $k$ in the dimer system yields the projection matrix for spin quantum number $s=k/2$. Thus, a new method for computing the eigenvalues and eigenvectors of the $x$-axis spin projector has been unearthed. We use the explicit construction to study the dynamics of coherent states induced by the square of the dimer hopping hamiltonian. We find that it generates Schr\"{o}dinger cat states in the two-site setting.

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

1 major / 2 minor

Summary. The manuscript claims that the hopping term of the two-site Bose-Hubbard Hamiltonian, when restricted to any fixed-k-particle subspace, is exactly proportional to the S_x spin projection operator for spin s = k/2. This equivalence is obtained via an inductive construction that employs the bosonic canonical commutation relations to produce the full set of eigenvalues and eigenvectors; the explicit eigenvectors are then used to analyze the unitary dynamics generated by the square of the hopping term, which is shown to produce Schrödinger cat states in the dimer.

Significance. If the inductive construction is complete and gap-free, the work supplies an explicit bosonic-operator realization of the spin matrices together with a concrete dynamical application to cat-state generation. The mapping itself is a standard result, but the constructive inductive route and the subsequent cat-state analysis could serve as a useful pedagogical or computational tool for small bosonic systems.

major comments (1)
  1. Inductive argument (described in the abstract and the section presenting the proof): the central claim that the restricted hopping Hamiltonian equals the S_x operator rests on an inductive procedure using bosonic CCR. The manuscript states that this procedure yields every eigenvector without gaps, yet supplies neither the base case (e.g., k=1), the explicit induction step, nor a direct comparison with the known (2s+1)-dimensional S_x matrices for small k. This omission is load-bearing; without those steps it is impossible to verify that the claimed equivalence holds for arbitrary k.
minor comments (2)
  1. The abstract asserts that the authors 'have invented' the inductive argument. The manuscript should clarify whether the derivation is presented as novel or as a re-derivation of the known Schwinger-boson representation, and should include at least one reference to the standard literature on that representation.
  2. Notation: the normalization factor relating the hopping term to S_x is not stated explicitly in the abstract; it should be written once in the main text (e.g., as an equation) so that the precise operator identity is unambiguous.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive feedback. The point raised about the inductive argument is valid and we will revise the manuscript to supply the requested details, thereby making the proof fully verifiable.

read point-by-point responses

  1. Referee: Inductive argument (described in the abstract and the section presenting the proof): the central claim that the restricted hopping Hamiltonian equals the S_x operator rests on an inductive procedure using bosonic CCR. The manuscript states that this procedure yields every eigenvector without gaps, yet supplies neither the base case (e.g., k=1), the explicit induction step, nor a direct comparison with the known (2s+1)-dimensional S_x matrices for small k. This omission is load-bearing; without those steps it is impossible to verify that the claimed equivalence holds for arbitrary k.

    Authors: We agree that the manuscript as submitted does not contain an explicit base case, a fully written induction step, or side-by-side comparisons with the standard S_x matrices. In the revised version we will add: (i) the base case k=1, where the single-particle hopping operator is shown by direct matrix representation to be proportional to the Pauli-x matrix (i.e., S_x for s=1/2); (ii) the general induction step, spelling out how the bosonic CCR are applied to lift the eigenvectors from the k-particle subspace to the (k+1)-particle subspace while preserving the claimed eigenvalues; (iii) explicit 3-by-3 and 4-by-4 matrices for k=2 (s=1) and k=3 (s=3/2) together with the corresponding standard S_x matrices, confirming numerical agreement. These additions will demonstrate that the construction is gap-free and reproduces the known spin algebra for every k. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external bosonic CCR

full rationale

The paper's central derivation uses an inductive construction based on the standard bosonic canonical commutation relations to establish invariance of k-particle subspaces and to recover the matrix elements of the hopping term, which it identifies with the spin-x projector for s = k/2. Subspace invariance follows directly from commutation with the total number operator, an external algebraic fact. The inductive step reproduces the known Schwinger-boson representation without introducing fitted parameters, self-referential definitions, or load-bearing self-citations. No step reduces by construction to the paper's own inputs; the argument is self-contained against the external axioms of CCR.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies only on the standard bosonic canonical commutation relations and the definition of the Bose-Hubbard hopping term; no free parameters are introduced and no new entities are postulated.

axioms (1)
  • standard math Bosonic canonical commutation relations [a_i, a_j^dagger] = delta_ij
    Invoked to construct the inductive proof that the hopping operator acts as the spin-x projector in each k-particle subspace.

pith-pipeline@v0.9.0 · 5502 in / 1308 out tokens · 23213 ms · 2026-05-08T18:12:18.955438+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

12 extracted references · 10 canonical work pages

  1. [1]

    exp(zˆa† 3)|1⟩,(34) while the second is given by |w,z⟩=e − |w|2+|z|2 2 exp(wˆc†) exp(z ˆd†)|1⟩=e − |w|2+|z|2 2 ∞X k=0 kX m=0 wmzk−m m!(k−m)! (ˆc†)m( ˆd†)k−m |1⟩.(35) However, these definitions are equivalent via a change of variables. Indeed, since all creation operators commute, we observe: exp(wˆc†) exp(z ˆd†)=exp w ˆa† 2 +ˆa† 3√ 2 +z ˆa† 2 −ˆa†...

  2. [2]

    Sicks and H

    J. Sicks and H. Rieger. The double-well Bose Hubbard model with nearest-neighbour and cavity-mediated long-range inter- actions. arXiv:2308.15915.https://doi.org/10.1103/physreva.109.033317

    work page doi:10.1103/physreva.109.033317

  3. [3]

    Zhang and H

    C. Zhang and H. Rieger. Phase diagrams of the disordered Bose-Hubbard model with cavity-mediated long-range and nearest- neighbor interactions. Eur. Phys. J. B93(2020), 25.https://doi.org/10.1140/epjb/e2019-100420-1

    work page doi:10.1140/epjb/e2019-100420-1 2020

  4. [4]

    Graefe, U

    E.M. Graefe, U. Guenther, H.J. Korsch, and A.E. Niederle. A non-Hermitian PT-symmetric Bose-Hubbard model: eigenvalue rings from unfolding higher-order exceptional points. arXiv:0802.3164.https://doi.org/10.1088/1751-8113/41/25/ 255206

    work page doi:10.1088/1751-8113/41/25/

  5. [5]

    Zhang and R.X

    J.M. Zhang and R.X. Dong. Exact diagonalization: the Bose-Hubbard model as an example. Eur. J. Phys.31(2010), 591. https://doi.org/10.1088/0143-0807/31/3/016

    work page doi:10.1088/0143-0807/31/3/016 2010

  6. [6]

    Sowa and J

    A. Sowa and J. Fransson. Solving the Bose-Hubbard model in new ways. Quantum6(2022), 728.https://doi.org/10. 22331/q-2022-06-02-728

    2022

  7. [7]

    Sowa and J

    A. Sowa and J. Fransson. Nonlocal coherent states in an infinite array of boson sites. PhysicaA: StatisticalMechanics and itsApplications669(2025), 130606.https://doi.org/10.1016/j.physa.2025.130606

    work page doi:10.1016/j.physa.2025.130606 2025

  8. [8]

    G.J. Milburn. Quantum and classical Liouville dynamics of the anharmonic oscillator. Phys. Rev. A33(1986), 674.https: //doi.org/10.1103/physreva.33.674

    work page doi:10.1103/physreva.33.674 1986

  9. [9]

    Yurke and D

    B. Yurke and D. Stoler. Generating quantum mechanical superpositions of macroscopically distinguishable states via ampli- tude dispersion. Phys. Rev. Lett.57(1986), 13.https://doi.org/10.1103/physrevlett.57.13

    work page doi:10.1103/physrevlett.57.13 1986

  10. [10]

    Experimental evidence on the productivity effects of generative artificial intelligence.Science, 381(6654):187–192, 2023

    Chen Wang et al. A Schr ¨odinger cat living in two boxes. Science352(2016), 1087.https://doi.org/10.1126/science. aaf2941

    work page doi:10.1126/science 2016

  11. [11]

    Fransson, B

    J. Fransson, B. Sanders, and A. Sowa. Macroscopically distinguishable superposition in infinitely many degrees of freedom. InternationalJournal ofTheoreticalPhysics65:16(2026).https://doi.org/10.1007/s10773-025-06214-z

    work page doi:10.1007/s10773-025-06214-z 2026

  12. [12]

    Wielinga and G.J

    B. Wielinga and G.J. Milburn. Quantum tunneling in a Kerr medium with parametric pumping. Phys. Rev. A48(1993), 2494. https://doi.org/10.1103/physreva.48.2494

    work page doi:10.1103/physreva.48.2494 1993