On the Bogoliubov-Valatin transformation for fermionic Hamiltonians without a linear part

This paper presents a self-contained, graduate-level guide to the Bogoliubov-Valatin transformation for homogeneous fermionic Hamiltonians, detailing how to diagonalize quadratic Hamiltonians via canonical matrix forms and introducing a novel procedure for handling singular cases.

The Gist

Imagine you are a chef trying to cook a very complex stew. The recipe (the Hamiltonian) calls for mixing dozens of ingredients together in a giant pot. Some ingredients are being added, some are being removed, and some are reacting with each other in complicated ways. Right now, the pot is a chaotic mess of interactions, and it's impossible to tell what the final flavor will be or how much energy it takes to cook.

This paper is essentially a new, foolproof recipe for untangling that mess. It teaches you how to transform that chaotic, interacting stew into a set of separate, simple bowls, where each bowl contains just one ingredient that doesn't bother the others.

Here is the breakdown of the paper's "cooking method" using everyday analogies:

1. The Problem: The Chaotic Pot

In the world of quantum physics (specifically with particles called fermions, like electrons), scientists often deal with systems where particles interact with each other.

• The Math: The paper starts with a "quadratic Hamiltonian." Think of this as a giant, messy spreadsheet of numbers representing how every particle talks to every other particle.
• The Goal: The scientists want to rewrite this messy spreadsheet so it looks like a list of independent items. If they succeed, the system behaves like a bunch of non-interacting particles (like people walking in a park who don't bump into each other). This makes calculating the system's energy and behavior incredibly easy.

2. The Magic Tool: The Bogoliubov-Valatin Transformation

The paper focuses on a specific mathematical trick called the Bogoliubov-Valatin transformation.

• The Analogy: Imagine you have a tangled ball of yarn. You can't see the individual threads. This transformation is like a magical pair of scissors and a comb that can untangle the yarn without cutting it, revealing that it's actually just a few straight, separate strings.
• How it works: It creates "new" particles (let's call them "quasi-particles"). These aren't new physical objects; they are just a new way of looking at the old ones. In this new perspective, the interactions disappear, and the system becomes "diagonal" (a clean list of independent energies).

3. The Catch: The "Singular" Stuck Spot

The paper is unique because it addresses a specific problem that other guides often skip: What if the math gets stuck?

• The Analogy: Imagine you are trying to sort a deck of cards. Usually, you can easily separate the red cards from the black cards. But sometimes, you find a "joker" card that doesn't fit into either pile, or a pile of cards that are all identical and won't separate. In math, this is called a singular matrix (a matrix that can't be easily inverted or solved using standard tricks).
• The Paper's Contribution: Most textbooks say, "If the matrix is singular, good luck, you're out of luck." This paper says, "No, we have a special tool for that."
  • The author proposes a novel procedure (a new step-by-step method) to handle these "stuck" cases.
  • The Metaphor: If the standard method is a key that fits most locks, this paper provides a bump key or a lockpick specifically for the tricky, jammed locks that usually stop you.

4. The Step-by-Step Recipe (The "How-To")

The paper walks you through the process:

1. Clean the Ingredients: First, it takes the messy coefficient matrix (the recipe) and puts it into a "standard form." It strips away the unnecessary noise to see the core structure.
2. Check for Jamming: It checks if the matrix is "singular" (jammed).
   • If it's not jammed: It uses a well-known, standard method to untangle the particles.
   • If it IS jammed: It uses the new procedure proposed in the paper. This involves finding special "orthogonal" directions (like finding a new angle to pull the yarn) to separate the stuck parts.
3. The Result: You end up with a diagonal list of energies.
   • The Constant: The math also reveals a "constant" number (like a base cost of cooking the stew) that was hidden in the original mess.
   • The Ground State: It ensures that the "empty" state (where no particles are excited) is actually the lowest energy state, which is crucial for physics.

5. The Numerical Example

To prove it works, the author doesn't just talk theory; they cook a specific "dish" (a numerical example with 2 particles).

• They show the messy starting numbers.
• They show the "jamming" (the singular matrix).
• They apply their new "lockpick" method.
• They show the final, clean result.
  This acts as a tutorial, showing a student exactly how to do the math on a piece of paper.

Why Does This Matter?

• For Students: It's a "user manual" for a tool that is usually taught in a very abstract, confusing way. It bridges the gap between basic quantum mechanics and advanced research.
• For Researchers: It solves a specific headache (the singular case) that often appears in modern physics, like in the study of superconductors (materials that conduct electricity with zero resistance) or quantum computers (specifically models like the Kitaev model).

Summary

Think of this paper as a masterclass in untangling quantum knots. It takes a complex, interacting system, applies a mathematical "comb" to separate the particles, and—most importantly—provides a specialized tool for the knots that are usually too tight to untangle. It turns a chaotic quantum soup into a neat, organized buffet of independent particles.

Technical Summary

Here is a detailed technical summary of the paper "On the Bogoliubov-Valatin transformation for fermionic Hamiltonians without a linear part" by Davide Bonaretti.

1. Problem Statement

The paper addresses the diagonalization of homogeneous quadratic fermionic Hamiltonians. While the Bogoliubov-Valatin (BV) transformation is a standard tool in condensed matter physics (used in superconductivity, superfluidity, and spin models like the Ising and XY chains), existing literature often lacks a self-contained, general derivation specifically for the fermionic case without linear terms.

Key challenges identified by the author include:

• Singular Coefficient Matrices: Standard diagonalization procedures often assume the coefficient matrix is invertible. When the matrix is singular (has a zero eigenvalue), the standard method fails or requires ad-hoc handling.
• Lack of Accessibility: Many treatments are either too specialized or rely on complex algebraic structures not immediately obvious to graduate students familiar only with second quantization and basic linear algebra.
• Canonical Form: The need to explicitly cast the Hamiltonian's coefficient matrix into a specific canonical form ($H^\ominus$) before diagonalization, ensuring the resulting operators satisfy fermionic anticommutation relations.

2. Methodology

The author provides a rigorous, step-by-step mathematical derivation using linear algebra and the properties of fermionic operators.

A. Formalism and Notation

• Hamiltonian Definition: The Hamiltonian is defined as $\hat{H} = \sum (W_{mn}\hat{a}^\dagger_m \hat{a}_n + X_{mn}\hat{a}_m \hat{a}^\dagger_n + Y_{mn}\hat{a}_m \hat{a}_n + Z_{mn}\hat{a}^\dagger_m \hat{a}^\dagger_n)$.
• Nambu Spinor: The operators are grouped into a Nambu spinor $\hat{A} = (\hat{a}_1, ..., \hat{a}_N, \hat{a}^\dagger_1, ..., \hat{a}^\dagger_N)^T$.
• Matrix Representation: The Hamiltonian is rewritten as $\hat{H} = \text{tr}(H \hat{G})$, where $H$ is a Hermitian coefficient matrix and $\hat{G}$ is a matrix of operator products.
• Transformation Goal: Find a unitary matrix $U$ such that new operators $\hat{B} = U \hat{A}$ diagonalize the Hamiltonian into the form $\hat{H} = c + \sum d_\mu \hat{B}_\mu \hat{B}^\dagger_\mu$, where $\hat{B}$ satisfies standard fermionic anticommutation relations.

B. Constraints on the Transformation Matrix $U$

The paper derives three necessary requirements for $U$:

1. Structure: $U$ must satisfy $U = \Omega U^* \Omega$ (where $\Omega$ is the exchange matrix), ensuring the new operators maintain the particle-hole structure.
2. Unitarity: $U U^\dagger = I_{2N}$, ensuring the new operators are canonical fermions.
3. Ground State Condition: The eigenvalues $d_\mu$ must be ordered such that $d_{j+N} \geq d_j$, ensuring the vacuum of the new operators corresponds to the ground state of the system.

C. The Canonical Form ($H^\ominus$)

A critical step is projecting the general Hermitian matrix $H$ into a specific "standard form" $H^\ominus$:
$$H^\ominus = \frac{1}{2}(H - \Omega H^T \Omega)$$
The paper proves that $\hat{H}$ depends only on $H^\ominus$, not the full $H$. This form has the block structure:
$$H^\ominus = \begin{pmatrix} E & F \\ -F^* & -E^* \end{pmatrix}$$
where $E$ is Hermitian and $F$ is anti-symmetric.

D. Handling Singular Matrices (Novel Contribution)

The paper introduces a novel procedure for cases where $H^\ominus$ is singular (has a non-trivial kernel $K$).

1. Kernel Invariance: It is proven that the kernel $K$ is invariant under the anti-linear map $J(x) = \Omega x^*$.
2. Basis Construction: A new function $L(v)$ is defined to construct a basis for $K$ consisting of $J$-invariant orthogonal vectors.
3. Auxiliary Operator: An auxiliary Hermitian operator $\tilde{R}$ is constructed within the kernel $K$ to generate a complete orthonormal basis of eigenvectors for the singular part, allowing the full diagonalization to proceed even when eigenvalues are zero.

3. Key Contributions

1. Self-Contained Derivation: The paper provides a complete proof of the BV transformation for fermions, accessible to readers with knowledge of second quantization and linear algebra, without relying on external, highly specialized papers.
2. Resolution of the Singular Case: The primary technical contribution is the explicit, algorithmic procedure for diagonalizing Hamiltonians where the coefficient matrix is singular. Previous methods often skipped this or assumed invertibility.
3. Numerical Algorithm: The author provides a step-by-step numerical example ($N=2$) demonstrating the transformation on a singular matrix, validating the theoretical procedure.
4. Clarification of the Constant Term: The paper explicitly derives the constant energy shift $c = \frac{1}{2}\text{tr}(H)$ arising from the normal ordering and the projection to $H^\ominus$.

4. Results

• Theorem 1: The paper proves that for any homogeneous quadratic fermionic Hamiltonian, a transformation matrix $U$ exists that diagonalizes the system into non-interacting fermions, satisfying all physical constraints (unitarity, anticommutation, ground state stability).
• Diagonal Form: The transformed Hamiltonian takes the form:
  $$\hat{H} = \sum_{j=1}^N (d_{j+N} - d_j) \hat{b}^\dagger_j \hat{b}_j + \text{const}$$
  where $d_\mu$ are the eigenvalues of $H^\ominus$.
• Numerical Verification: In the provided example, a singular $4 \times 4$matrix was successfully diagonalized. The procedure correctly identified the zero modes, constructed the necessary basis vectors using the$L(v)$function, and yielded the correct diagonal Hamiltonian with eigenvalues$\pm \sqrt{2}$and$0$.

5. Significance

• Educational Value: The paper serves as an ideal supplementary resource for graduate courses in quantum many-body theory, bridging the gap between introductory second quantization and advanced diagonalization techniques.
• Practical Utility: By addressing the singular case, the paper ensures the method is robust for modern applications, such as Kitaev models and topological superconductors, where zero-energy modes (Majorana fermions) are central features.
• Algebraic Tool: It reinforces the BV transformation as a general algebraic tool for mean-field theories and open quantum systems, providing a clear recipe for handling the coefficient matrices that arise in these contexts.

In summary, Bonaretti's work refines the theoretical foundation of the Bogoliubov-Valatin transformation, making it more rigorous and accessible while solving a specific, often overlooked technical difficulty regarding singular coefficient matrices.