A bulk--edge correspondence for two-dimensional self-adjoint boundary and interface problems

Guillaume Bal

Home/Archive/arXiv

arXiv · 2610.05616

A bulk--edge correspondence for two-dimensional self-adjoint boundary and interface problems

Guillaume Bal

View original source ↗Read source document ↗Export metadata ↓

Abstract

This paper analyzes the quantized asymmetric transport along the boundary of a two-dimensional topological insulator occupying a half plane, or along the interface separating two insulators. In contrast with problems posed on the Euclidean plane, terminating a sample requires a choice of self-adjointrealization, $H_L$, and we show that a quantized transport depends on that choice. The physical observable modeling the asymmetric transport is the edge, or interface, current $σ_I[H_L]=\Tr\,i[H_L,P]φ'(H_L)$. It is shown to be well defined along two routes. For Shapiro--Lopatinski elliptic realizations, we use estimates from Boutet de Monvel's calculus to show that the current observable is a well-defined trace, that $\mathcal I=2πσ_I[H_L]$ is a Fredholm index, and that it is stable under deformations and compactly supported changes of the operator and of its termination. For translation invariant operators along the edge, a spectral analysis defines $\mathcal I$ when the edge spectrum escapes a bulk gap at large momenta. $\mathcal I$ is then also a spectral flow and a Maslov index. Our main theorem is a bulk--edge correspondence \[ \mathcal I=\cR-\cR_L+η\bigl(L_\infty,\Lm^Φ(+)\bigr)-η\bigl(L_\infty,\Lm^Φ(-)\bigr), \] We determine the range of $\mathcal I$. We extend the formula to interfaces with arbitrary transmission conditions. At the transparent condition, the invariant equals the bulk-difference invariant of the Euclidean plane. Eight examples illustrate the theoretical findings.

Explore related subjects

math-ph math.MP

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Guillaume Bal. 2026-10-04. A bulk--edge correspondence for two-dimensional self-adjoint boundary and interface problems. https://arxiv.org/abs/2610.05616

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Explicit Hamiltonian representations of meromorphic connections and duality from different perspectives: a case study

In this article, we present an explicit study of $\hbar$-deformed meromorphic connections in $\mathfrak{gl}_3(\mathbb{C})$ with an unramified irregular pole at infinity of order $r_\infty=3$ and their spectral dual corresponding to the $\mathfrak{gl}_2(\mathbb{C})$ Painlevé IV Lax pair. Using the apparent singularities and their dual partners on the spectral curves as Darboux coordinates, we obtain the Hamiltonian evolutions, the reduction of these evolutions to a single non-trivial direction, the Jimbo-Miwa-Ueno tau-functions, the fundamental symplectic two-forms and the associated Hermitian matrix models on both sides. We then prove that the spectral duality connecting both sides extends to all these aspects, providing an explicit illustration of the generalized Harnad duality. We finally propose a conjecture identifying the Jimbo-Miwa-Ueno differential with the $\hbar=0$ evaluation of the Hamiltonian differential in these Darboux coordinates that could provide insights into the geometric interpretation of the $\hbar$ formal parameter. As a byproduct we also obtain a rank $3$ Lax pair for the Painlevé IV equation.

math-ph↗

arXiv2026

Gibbs state postulate from dynamical stability

Gibbs states play a central role in quantum statistical mechanics as the standard description of thermal equilibrium. Traditionally, their use is justified either by a heuristic, a posteriori reasoning, or by derivations based on notions of typicality or passivity. In this work, we show that Gibbs states are completely characterized by assuming dynamical stability of the system itself and of the system in weak contact with an arbitrary environment. This builds on and strengthens a result by Frigerio, Gorini, and Verri (1986), who derived Gibbs states from dynamical stability using an additional assumption that they referred to as the "zeroth law of thermodynamics", as it concerns a nested dynamical stability of a triple of systems. We prove that this "zeroth law" is redundant and that an environment consisting solely of harmonic oscillators is sufficient to single out Gibbs states as the only dynamically stable states.

math-ph↗

arXiv2026

Discrete Unique Continuation on Simplex

For integers $N\ge0$ and $n\ge2$, let \[ Δ_N^{(n)} =\left\{α\in\mathbb Z_{\ge 0}^n: α_1+\cdots+α_n=N\right\}. \] We study discrete unique continuation for functions on this lattice simplex. For an integer $R\ge1$, let $g:Δ_{nR}^{(n)}\to\mathbb R$ satisfy \[ \sum_{i=1}^n g(β+e_i)=0, \qquad β\inΔ_{nR-1}^{(n)}, \] where $e_i$ is the $i$th standard basis vector. We prove that nonvanishing at the center implies \[ |\operatorname{supp} g|\ge c_n R^{\lceil n/2\rceil}. \] Here $\operatorname{supp} g$ is the set of points where $g$ is nonzero, and $c_n>0$ depends only on $n$. The exponent $\lceil n/2\rceil$ is optimal. The proof represents the values of $g$ as polynomial coefficients and uses a Pascal uncertainty principle, which bounds from below the total number of nonzero coefficients of a one-variable polynomial and its unit translate in terms of their degree.

math-ph↗