Quantum spin Hall system can exhibit exotic spin transport phenomena, mediated by its topological edge states. Here the concept of bending strain engineering to tune the spin transport properties of a quantum spin Hall system is demonstrated. We show that bending strain can be used to control the spin orientation of counter-propagating edge states of a quantum spin system to generate a non-zero...

We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term rewriting system terminates on a given regular language of terms, we first construct an enriched system over a new signature that simulates the original derivations. The enriched system is an infinite system over an ...

Topological insulators and superconductors at finite temperature can be characterised by the topological Uhlmann phase. However, the direct experimental measurement in condensed matter systems has remained elusive. We explicitly demonstrate that the topological Uhlmann phase can be measured with the help of ancilla states in systems of entangled qubits that simulate a topological insulator. We ...

We consider gapped Z2 spin liquids, where spinon quasiparticles may carry fractional quantum numbers of space group symmetry. In particular, spinons can carry fractional crystal momentum. We show that such quantum number fractionalization has dramatic, spectroscopically accessible consequences, namely enhanced periodicity of the two-spinon density of states in the Brillouin zone, which can be d...

Recent chromosome conformation capture experiments have led to the discovery of dense, contiguous, megabase-sized topological domains that are similar across cell types and conserved across species. These domains are strongly correlated with a number of chromatin markers and have since been included in a number of analyses. However, functionally-relevant domains may exist at multiple length sca...

Rational analyses of memory suggest that retrievability of past experience depends on its usefulness for predicting the future: memory is adapted to the temporal structure of the environment. Recent research has enriched this view by applying it to semantic memory and reinforcement learning. This paper describes how multiple forms of memory can be linked via common predictive principles, possib...

In the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological semantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the irrational line. The main result of the ...

Quasi-categories live at the intersection of homotopy theory with category theory. In particular, they serve as a model for (∞, 1)-categories, that is, weak higher categories with n-cells for each natural number n that are invertible when n > 1. Alternatively, an (∞, 1)-category is a category enriched in ∞-groupoids, e.g., a topological space with points as 0-cells, paths as 1-cells, homotopies...