arXiv subjects
Publications and source records attributed to Danilo Polo Ojito.
We study the abelian sub-C*-algebra of the CAR algebra generated by the start and face opertors of Kitaev's toric code. We show that it is a C*-diagonal equivalent to the canonical diagonal of the CAR algebra.
We first prove that the subalgebra $\mathcal{C}$ generated by the vertex and face operators of an abelian Kitaev model is a $C^\ast$-diagonal of the UHF algebra $\mathcal{A}$ of quasilocal observables. This gives us access to the Weyl groupoid $\mathcal{G}_\mathcal{C}$ associated with the $C^\ast$-inclusion $\mathcal{C} \hookrightarrow \mathcal{A}$, which supplies a valuable presentation of $\mathcal{A}$ as a groupoid $C^\ast$-algebra where the dynamics of the model are generated by a groupoid 1-cocycle $c_H$. Making appeal to the notion of $(c_H,β)$-KMS measures for this groupoid, we identify the full set of KMS states of the model and prove its uniqueness for $β\in [0,\infty)$. Furthermore, we show that its limit at $β\rightarrow \infty$ exists and coincides with the unique frustration-free ground state of the model.
The goal of our work is to characterize the landscape of the frustration-free quantum spin models over the Cayley graph of a finitely generated group $G$. This is achieved by establishing $G$-equivariant morphisms from the partially ordered space of frustration-free models to the partially ordered spaces 1) of hereditary $C^\ast$-algebras of the underlying UHF quasi-local algebra of observables, 2) of open projections in its double dual, and 3) of subsets of pure state space. Our main result consists of an intrinsic characterization of the images of these morphisms, which captures the essence of frustration-freeness and enables us to extend the concept to generic AF-algebras. Additionally, using well established facts about AF-algebras, we prove density theorems, provide intrinsic characterizations of frustration-free ground states, and propose a definition of a boundary algebra for models constrained to half-lattices, under the sole assumption of frustration-freeness.
Let $\LL_{\bf v}\subset \Z^D$ be a suitable cone semigroup and $\A_{\bf v}$ its reduced semigroup $C^*$-algebra. In this paper, we compute the $\LL_{\bf v}$-invariant measures in the transversal hull of the semigroup $\LL_{\bf v}$ that exhibit regularity in the boundaries of $\LL_{\bf v}.$ These measures enable the construction of a trace per-unit hypersurface for observables in $\A_{\bf v}$ supported near the boundaries of $\LL_{\bf v}$, leading to the construction of appropriate Chern cocycles in the "boundary" ideals of $\A_{\bf v}$. Our approach applies to both finitely and non-finitely generated cone semigroups. Applications for the bulk-defect correspondence of lattice models of topological insulators are also provided.
A typical crystal is a finite piece of a material which may be invariant under some point symmetry group. If it is a so-called intrinsic higher-order topological insulator or superconductor, then it displays boundary modes at hinges or corners protected by the crystalline symmetry and the bulk topology. We explain the mechanism behind such phenomena using operator K-theory. Specifically, we derive a groupoid C*-algebra that 1) encodes the dynamics of the electrons in the infinite size limit of a crystal; 2) remembers the boundary conditions at the crystal's boundaries, and 3) admits a natural action by the point symmetries of the atomic lattice. The filtrations of the groupoid's unit space by closed subsets that are invariant under the groupoid and point group actions supply equivariant cofiltrations of the groupoid C*-algebra. We show that specific derivations of the induced spectral sequences in twisted equivariant K-theories enumerate all non-trivial higher-order bulk-boundary correspondences.
In space-adiabatic approaches one can approximate Hamiltonians that are modulated slowly in space by phase-space functions that depend on position and momentum. In this paper, we establish a rigorous relation between this approach and the operator-theoretic approach for topological insulators with defects, which employs $C^*$-algebras and operator K-theory. Using such tools, we show that by quantizing phase-space functions one can construct lattice Hamiltonians which are gapped at certain spatial limits and carry protected states at defects such as boundaries, hinges, and corners. Moreover, we show that the topological invariants that protect the latter can be computed in terms of the symbol functions. This enables us to compute boundary maps in K-theory that are relevant for bulk-defect correspondences.
In the tight-binding approximation, an Iwatsuka magnetic field is modeled by a function on $\mathbb{Z}^2$ with constant, but distinct values in the two parts of the lattice separated by a straight line of slope $α\in [-\infty,\infty]$. In this paper, the $K$-theory of the magnetic $C^*$-algebras generated by an Iwatsuka magnetic field for any possible $α$ is computed. One interesting aspect concerns the analysis of the behavior of the system in the transition from rational to irrational $α$. It turns out that when $α$ is irrational, the magnetic hull associated with the flux operator forms a Cantor set. On the other hand, for rational $α$ this set coincides with the two-point compactification of $\mathbb{Z}$. This characterization, along with the use of the Pimsner-Voiculescu exact sequence, is the main ingredient for the computation of the $K$-theory. Once the $K$-theory is known, with the use of the index theory one can deduce the bulk-interface correspondence for tight-binding Hamiltonians subjected to an Iwatsuka magnetic field. Notably, it occurs that the topological quantization of the interface currents remains independent of the slope $α$.
We study the propagation of currents along the interface of two $2$-$d$ magnetic systems, where one of them occupies the first quadrant of the plane. By considering the tight-binding approximation model and K-theory, we prove that, for an integer number that is given by the difference of two bulk topological invariants of each individual system, such interface currents are quantized. We further state the necessary conditions to produce corner states for these kinds of underlying systems, and we show that they have topologically protected asymptotic invariants.