A Hard-Core Boson Model in K space

partyday
Messages
3
Reaction score
0
TL;DR Summary
I am asking about how to convert the Hard-Core boson Model into K-space.
Hello,

I am interested in the following model:

$$
H = \sum_{<i,j>} -t (c_i c_j^{\dagger} + \text{H.C.}) + U (n_i n_j) + \sum_{<<i,j>>} -t' (c_i c_j^{\dagger} + \text{H.C.}) + U' (n_i n_j)
$$

where \( <i,j> \) indicates nearest neighbors, and \( <<i,j>> \) indicates next-nearest neighbors interactions. \( c_i \) and its conjugate are the annihilation and creation operators, respectively.

The hardcore boson model also establishes that
$$
c_i^{\dagger} c_i^{\dagger} = c_i c_i = 0
$$
when acting on a state, so a particle may only inhabit one site at a time.

If we establish that there are \( L \) sites on a periodic lattice (so \( i+L = i \)), then this Hamiltonian can be rewritten:

$$
H = \sum_{i} -t (c_i c_{i+1}^{\dagger} + \text{H.C.}) + U (n_i n_{i+1}) - t' (c_i c_{i+2}^{\dagger} + \text{H.C.}) + U' (n_i n_{i+2})
$$

This Hamiltonian can be block diagonalized into different sectors of momenta, \( K \). For this reason, I'd like to express this Hamiltonian in terms of momentum states.

Using
$$
\omega = \frac{2 \pi}{L}
$$
and
$$
c_j = \sum_{k} c_k e^{-i \omega k j}
$$
we can derive the following two expressions:

$$
\sum_{j} n_j n_{j+x} = \sum_{j} \sum_{k, k', q, q'} c^{\dagger}_{k'} c^{\dagger}_{q'} c_k c_q e^{i (k'+q'-k-q) j \omega} e^{i (q'-q) x \omega}
$$

which simplifies to
$$
\sum_{j} n_j n_{j+x} = \sum_{k, k', q, q'} \delta(k'+q'-k-q) e^{i (q'-q) x \omega} c^{\dagger}_{k'} c^{\dagger}_{q'} c_k c_q
$$

The diagonal elements are more simple:

$$
\sum_j c^{\dagger}_{j+x} c_j + \text{H.C.} = \sum_k 2 \cos(k \omega x) n_k
$$

Now these terms can be substituted into the Hamiltonian for \( x = 1 \), \( x = 2 \).

My questions are as follows:

1. Was this derivation correct?

2. In momentum space, does
$$
c_k^{\dagger} c_k^{\dagger} = c_k c_k = 0
$$
hold?

3. Should values of $$ K $$ vary from $$( (-L/2, -L/2+1, \ldots, L/2-1, L/2) $$ or from $$ (0, 1, \ldots, L-1) $$? Is there a difference?

4. I'm interested in this model when there is an appreciable amount of filling. Say $$N = L/3 $$. I have been attempting to program a script that computes the matrix elements of this Hamiltonian for an arbitrary $$L $$ and $$ N $$. I first find all available basis states in momentum space, then I separate them into total momentum sectors. Say three particles with momenta $$ (1, 2, 5) $$ are in the same sector as $$ (1, 3, 4) $$ as they sum to the same number $$ K = 8$$. The action of the $$ n_j n_{j+x}$$ term in momentum space is to couple these states together (as well as any other states that are reachable via a momentum-conserving interaction). But let's say $$ L = 6 $$, then these two states are of $$K \% L $$, correct? It would be correct to say that these are of momentum $$ K = 2 $$, because it must lie in the first Brillouin zone?

5. Are these $$ K $$ sectors block diagonalizable themselves? Some papers I've seen make reference to parity blocks, but none define what this would look like. I can see, for instance, very clearly that $$ (1, 3, 4)$$ and $$(1, 2, 5)$$ are in the same block of total momentum $ K $, but how can I see if they are in the same parity block?

Any help or guidance would be greatly appreciated. I have tried a lot of academic papers and Google-searching but I have not been able to feel assured in my understanding yet.
 
Last edited:
Not an expert in QM. AFAIK, Schrödinger's equation is quite different from the classical wave equation. The former is an equation for the dynamics of the state of a (quantum?) system, the latter is an equation for the dynamics of a (classical) degree of freedom. As a matter of fact, Schrödinger's equation is first order in time derivatives, while the classical wave equation is second order. But, AFAIK, Schrödinger's equation is a wave equation; only its interpretation makes it non-classical...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA
Is it possible, and fruitful, to use certain conceptual and technical tools from effective field theory (coarse-graining/integrating-out, power-counting, matching, RG) to think about the relationship between the fundamental (quantum) and the emergent (classical), both to account for the quasi-autonomy of the classical level and to quantify residual quantum corrections? By “emergent,” I mean the following: after integrating out fast/irrelevant quantum degrees of freedom (high-energy modes...
Back
Top