Augmentation and Bulk Edge Correspondence for one dimensional aperiodic tight binding operators

This paper employs $C^*$-algebraic methods and the principle of augmentation to establish correspondences between bulk spectral invariants and edge spectral flows in one-dimensional aperiodic tight-binding models, offering new interpretations of gap labelling and boundary forces through mapping torus and cut-and-project constructions.

The Gist

Imagine you are looking at a long, endless row of houses (a crystal). In a normal city, the houses repeat in a perfect pattern: A-B-A-B-A-B. But in the world of aperiodic crystals (like quasicrystals), the pattern is more complex. It might follow a rule like "A, B, A, A, B, A, B..." that never quite repeats itself, yet isn't random either.

Physicists want to understand the "topology" of these materials. Think of topology as the material's shape memory or its hidden fingerprint. Even if you stretch or squish the material (as long as you don't tear it), this fingerprint stays the same. This fingerprint determines if the material is an insulator (blocks electricity) and how it behaves at its edges.

This paper, by Johannes Kellendonk and Lorenzo Scaglione, tackles a tricky problem: How do we count these hidden fingerprints in a one-dimensional, non-repeating chain of atoms?

Here is the breakdown of their discovery using simple analogies:

1. The Problem: The "Ghost" Edge

In standard physics, there's a rule called Bulk-Edge Correspondence. It says: The hidden fingerprint of the whole material (the bulk) must match the number of special "edge states" (electrons stuck to the boundary).

However, in these weird, non-repeating chains, the math gets stuck. The "edge" is so messy (totally disconnected) that the standard counting method says there are zero edge states, even though the bulk clearly has a complex fingerprint. It's like trying to count the steps on a staircase that has been shattered into dust; the standard ruler just doesn't work.

2. The Solution: "Augmentation" (Building a Bridge)

To fix this, the authors invent a technique they call Augmentation.

Imagine the shattered staircase again. Instead of trying to count the dust, you build a temporary bridge (an "arc") connecting the broken pieces. You smooth out the jagged edges of the potential energy landscape.

• The Metaphor: Think of the potential energy as a terrain with cliffs. In the original model, the cliffs are sharp and infinite. The authors say, "Let's build a ramp up the cliff." This ramp is the augmentation.
• By adding these ramps (mathematically called "arcs" or using a "mapping torus"), they create a smooth path where electrons can flow. This allows them to count the spectral flow—which is just a fancy way of saying "counting how many electrons slide through a gap as we move the system."

3. The Two Types of "Flips"

The paper distinguishes between two types of these non-repeating chains:

• 1-Cut Models: The pattern is generated by a single rule (like a simple rotation). Here, the "ramp" works perfectly, and the edge states match the bulk fingerprint exactly.
• 2-Cut Models: The pattern is more complex, generated by two different rules (two "cuts"). Here, the math gets tricky. The authors find that the bulk fingerprint is actually made of two parts:
  1. The Edge Part: Electrons sliding along the boundary.
  2. The Bulk Part: A hidden "internal" flow that happens inside the material, not just at the edge.

4. The "Stacking" Trick

In the 2-Cut models, the edge states sometimes disappear or get hidden because the "bulk flow" fills up the gap. To see the edge states clearly, the authors use a clever trick: Stacking.

• The Analogy: Imagine you have a puzzle piece that is missing a corner. You can't see the shape clearly. So, you take a second, identical puzzle piece, flip it upside down, and glue it on top of the first one.
• In physics terms, they take the original material and stack it with a "dummy" material (one that is just a potential with no movement). This creates a two-layer system.
• This stacking cancels out the confusing "bulk flow" part, leaving only the "edge flow" visible. It's like using a filter to remove the background noise so you can hear the music. This allows them to count the edge states even in the most complex scenarios.

5. What They Actually Found

The authors didn't just fix the math; they gave it a physical meaning:

• Integrated Density of States (IDS): This is the "fingerprint" number. They proved that this number is equal to the work done by the system.
• The Work: Imagine pushing the entire row of houses slightly to the left. The electrons at the edge have to "climb" or "slide" to adjust. The amount of energy (work) required to move the edge by one unit is exactly equal to the topological fingerprint.
• Phason Motion: In these materials, you can also "slide" the pattern itself (like shifting a wallpaper pattern). The authors show that the work done by sliding the pattern (phason flips) is directly related to the work done by moving the physical edge.

Summary

The paper introduces a mathematical "bridge" (augmentation) to connect the messy, non-repeating interior of a material to its edge.

1. Without the bridge: The edge looks empty, and the math fails.
2. With the bridge: We can count the electrons sliding through gaps (spectral flow).
3. The Result: The number of electrons sliding through the gap is exactly equal to the material's topological fingerprint.
4. The Twist: In complex materials, you sometimes have to "stack" two copies of the material to see the edge states clearly, revealing that the fingerprint is a combination of edge movement and internal "sliding" of the pattern.

They also ran computer simulations (using rational approximations of the patterns) to prove that their formulas work, showing that the "work" done by moving the edge perfectly matches the predicted topological numbers.

Technical Summary

Technical Summary: Augmentation and Bulk Edge Correspondence for One-Dimensional Aperiodic Tight Binding Operators

Problem Statement
The paper addresses the challenge of understanding the topological invariants of one-dimensional aperiodic tight binding models, specifically those with finite local complexity (such as quasi-periodic chains). A central difficulty in these systems is that the standard Bulk-Edge Correspondence (BEC) often yields trivial results when the hull (the topological space describing the family of Hamiltonians) is totally disconnected, as is the case for aperiodic systems. Furthermore, for models constructed via the "cut and project" method with multiple cut points (2-cut models), the edge states do not necessarily fill the spectral gaps, complicating the interpretation of topological invariants like the Integrated Density of States (IDS) and their relation to spectral flows. The authors aim to clarify how internal degrees of freedom contribute to these invariants and to establish precise relations (correspondences) between bulk and edge spectral properties.

Methodology
The authors employ a $C^*$-algebraic approach to solid-state physics, describing materials not by a single Hamiltonian but by a covariant family of Hamiltonians parametrized by a hull $\Xi$. The topological invariants are derived from the $K$-theory of the associated crossed product algebra $A \rtimes_\alpha \mathbb{Z}$.

To overcome the triviality of the standard BEC in totally disconnected hulls, the paper introduces the principle of augmentation. This involves extending the bulk algebra $A$ to a larger algebra $\tilde{A}$ via a short exact sequence $0 \to I \to \tilde{A} \to A \to 0$. The authors analyze two specific types of augmentation:

1. Mapping Torus Construction: This augmentation is based on the mapping torus of the dynamical system. It allows for the description of a system with a moving edge.
2. Augmentation with Arcs: This applies specifically to cut-and-project models (like the Kohmoto model). It involves "filling in" the gaps of the totally disconnected hull by adding arcs (intervals) between the doubled cut points, effectively transforming the hull into a space homeomorphic to a circle ($S^1$).

The analysis utilizes the six-term exact sequence in $K$-theory arising from these extensions and the Toeplitz extension. The authors define Chern cocycles ($ch(b)$, $ch(e)$, $ch(ab)$) to map $K$-groups to numerical invariants. These invariants are interpreted physically as the Integrated Density of States (IDS), spectral flows of edge states, and spectral flows of augmented bulk modes. The study also includes numerical simulations using rational approximations of irrational rotation angles to visualize these spectral flows.

Key Contributions and Results

• Augmentation Framework: The paper establishes that by augmenting the bulk algebra, one can relate the IDS at gap energies to spectral flows. This resolves the issue where standard edge invariants vanish for totally disconnected hulls.
• Mapping Torus Results:
  • Using the mapping torus augmentation, the authors provide an alternative proof that Bellissard's gap labeling group coincides with the gap labeling group defined by Johnson and Moser.
  • They derive a relation where the IDS is equal to the spectral flow of edge states induced by moving the boundary by one unit length (interpreted as the average work performed on the electrons by this motion), modulo an integer ambiguity.
• Arc Augmentation and 2-Cut Models:
  • For 2-cut models (where the cut value $\kappa$ is not a multiple of the rotation angle $\theta$), the authors identify two distinct spectral flows.
  • $n_1$ (Edge Invariant): Associated with edge modes and related to "phason motion" (shifting the potential). It corresponds to the spectral flow of edge states through the gap.
  • $n_2$ (Bulk Invariant): A new invariant attached to the spectrum of the augmented bulk operator. It represents a spectral flow density (spectral flow per unit length) of the bulk modes created through the interpolation.
  • The authors show that the IDS can be decomposed as $IDS = N + n_1\theta + n_2\kappa$.
• Handling Secondary Gaps: In 2-cut models, "secondary gaps" (where $n_2 \neq 0$) are filled by the augmented bulk spectrum, making edge state spectral flows invisible. The authors demonstrate that by stacking the system with an atomic limit (a pure potential Hamiltonian) and introducing a weak coupling, one can open these gaps and recover the edge spectral flow ($n_1$) even in secondary gaps. This provides a physical realization of Grothendieck's construction in $K$-theory.
• Rational Approximations and Ambiguity: The paper analyzes the case where $\theta$ is rational ($p/q$). It highlights a "$q$-ambiguity" where the topological numbers $n_1$ and the spectral flow $\nu$ are only determined modulo $q$ by the IDS. This reflects the non-uniqueness of the lift in the augmentation process.
• Numerical Simulations: The authors present numerical simulations for rational approximations of the Fibonacci sequence. These simulations confirm the theoretical formulas, visualizing the spectral flows of edge states and the filling of secondary gaps by bulk modes.

Significance
The paper claims that the augmentation framework provides a robust method to interpret topological invariants in aperiodic systems where standard BEC fails. Specifically:

• It unifies different gap labeling groups (Bellissard vs. Johnson-Moser) through a concrete $K$-theoretic construction.
• It offers a physical interpretation of the IDS as work performed on edge states (via boundary motion) and bulk modes (via phason flips).
• It clarifies the structure of topological invariants in 2-cut models, distinguishing between edge-driven and bulk-driven spectral flows.
• It demonstrates that the abstract Grothendieck construction (stacking systems to form relative $K$-classes) has a direct physical manifestation in the ability to measure edge spectral flows in gaps that are otherwise filled by bulk states.

The work remains within the theoretical domain of mathematical physics, relying on $C^*$-algebras, $K$-theory, and cyclic cohomology, supported by numerical verification of the derived theorems.