Catalog footprint

What is connected

50works
28topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

50 published item(s)

preprint2026arXiv

Language Game: Talking to Non-Human Systems

Language carries thought and coordination among humans but rarely reaches further along the spectrum of diverse intelligence. Yet non-neural systems -- from gene regulatory networks and microbial consortia to fungi -- are increasingly recognized as substrates of computation, decision-making and memory, making dialogue with non-human intelligence newly conceivable. Today such dialogue is attempted only by proxy: a large language model speaks on the system's behalf, so any intelligence on display originates from the model while the system itself remains silent. Here we ask whether the system can speak in its own voice. Following Wittgenstein, who located meaning in use, we treat communication as a game played with the system. Its internal dynamics are frozen as the nonlinear core of a reinforcement-learning policy, with only linear input and output interfaces trained. Through use and reward, the system's states and responses acquire meaning within the game, so playing becomes speaking. Because different architectures playing the same game optimize the same reward, their behaviors can all be read as pursuit of that reward; the game serves as a lingua franca across otherwise irreconcilable representations. Given a human prompt, a language model routes it to the game whose semantics best match it and designs an environmental state for which the desired action is the rational response, letting the system reply through its own behavior. Applied across diverse gene regulatory networks and reinforcement-learning tasks, the framework yields fluent dialogue without altering any system parameter, shows that well-trained agents of disparate origin converge on similar behavior, and reveals that specific GRN properties make a system easier or harder to talk with -- an inductive bias of the reservoir itself. Our framework opens a new route to conversing with any dynamical system on its own terms.

preprint2026arXiv

Positive Alignment: Artificial Intelligence for Human Flourishing

Existing alignment research is dominated by concerns about safety and preventing harm: safeguards, controllability, and compliance. This paradigm of alignment parallels early psychology's focus on mental illness: necessary but incomplete. What we call Positive Alignment is the development of AI systems that (i) actively support human and ecological flourishing in a pluralistic, polycentric, context-sensitive, and user-authored way while (ii) remaining safe and cooperative. It is a distinct and necessary agenda within AI alignment research. We argue that several existing failures of alignment (e.g., engagement hacking, loss of human autonomy, failures in truth-seeking, low epistemic humility, error correction, lack of diverse viewpoints, and being primarily reactive rather than proactive) may be better addressed through positive alignment, including cultivating virtues and maximizing human flourishing. We highlight a range of challenges, open questions, and technical directions (e.g., data filtering and upsampling, pre- and post-training, evaluations, collaborative value collection) for different phases of the LLM and agents lifecycle. We end with design principles for promoting disagreement and decentralization through contextual grounding, community customization, continual adaptation, and polycentric governance; that is, many legitimate centers of oversight rather than one institutional or moral chokepoint.

preprint2022arXiv

Competency of the Developmental Layer Alters Evolutionary Dynamics in an Artificial Embryogeny Model of Morphogenesis

Biological genotypes do not code directly for phenotypes; developmental physiology is the control layer that separates genomes from capacities ascertained by selection. A key aspect is competency, as cells are not a passive material but descendants of unicellular organisms with complex context-sensitive capabilities. We used an evolutionary simulation in the context of minimal artificial embryogeny to probe the effects of different degrees of cellular competency on evolutionary dynamics. Virtual embryos consisted of a single axis of positional information values provided by cells' genomes, operated upon by an evolutionary cycle in which embryos' fitness was proportional to monotonicity of the axial gradient. Evolutionary dynamics were evaluated in two modes: hardwired "mosaic" development (genotype directly encodes phenotype), and a more realistic mode in which cells interact prior to evaluation by the fitness function ("regulative" development). Even minimal competency with respect to improving their position in the embryo results in better performance of the evolutionary search. Crucially, we observed that as competency of cells masks the raw fitness of the genomes, the phenotypic fitness gains are then mostly due to improvements of cells' developmental problem-solving capacities, not the structural genome. This suggests the existence of a powerful ratchet mechanism: evolution progressively becomes locked in to improvements in the intelligence of its agential substrate, with reduced pressure on the structural genome. A feedback loop in which evolution increasingly puts more effort into the developmental software than perfecting the hardware explains the very puzzling divergence of genome from anatomy in species like planaria, identifies a possible drive for scaling intelligence over time, and suggests strategies for engineering novel systems in silico and in bioengineering.

preprint2022arXiv

Neurons as hierarchies of quantum reference frames

Conceptual and mathematical models of neurons have lagged behind empirical understanding for decades. Here we extend previous work in modeling biological systems with fully scale-independent quantum information-theoretic tools to develop a uniform, scalable representation of synapses, dendritic and axonal processes, neurons, and local networks of neurons. In this representation, hierarchies of quantum reference frames act as hierarchical active-inference systems. The resulting model enables specific predictions of correlations between synaptic activity, dendritic remodeling, and trophic reward. We summarize how the model may be generalized to nonneural cells and tissues in developmental and regenerative contexts.

preprint2021arXiv

A free energy principle for generic quantum systems

The Free Energy Principle (FEP) states that under suitable conditions of weak coupling, random dynamical systems with sufficient degrees of freedom will behave so as to minimize an upper bound, formalized as a variational free energy, on surprisal (a.k.a., self-information). This upper bound can be read as a Bayesian prediction error. Equivalently, its negative is a lower bound on Bayesian model evidence (a.k.a., marginal likelihood). In short, certain random dynamical systems evince a kind of self-evidencing. Here, we reformulate the FEP in the formal setting of spacetime-background free, scale-free quantum information theory. We show how generic quantum systems can be regarded as observers, which with the standard freedom of choice assumption become agents capable of assigning semantics to observational outcomes. We show how such agents minimize Bayesian prediction error in environments characterized by uncertainty, insufficient learning, and quantum contextuality. We show that in its quantum-theoretic formulation, the FEP is asymptotically equivalent to the Principle of Unitarity. Based on these results, we suggest that biological systems employ quantum coherence as a computational resource and - implicitly - as a communication resource. We summarize a number of problems for future research, particularly involving the resources required for classical communication and for detecting and responding to quantum context switches.

preprint2021arXiv

Metabolic limits on classical information processing by biological cells

Biological information processing is generally assumed to be classical. Measured cellular energy budgets of both prokaryotes and eukaryotes, however, fall orders of magnitude short of the power required to maintain classical states of protein conformation and localization at the Å, fs scales predicted by single-molecule decoherence calculations and assumed by classical molecular dynamics models. We suggest that decoherence is limited to the immediate surroundings of the cell membrane and of intercompartmental boundaries within the cell, and that bulk cellular biochemistry implements quantum information processing. Detection of Bell-inequality violations in responses to perturbation of recently-separated sister cells would provide a sensitive test of this prediction. If it is correct, modeling both intra- and intercellular communication requires quantum theory.

preprint2021arXiv

Stability of ground state degeneracy to long-range interactions

We show that some gapped quantum many-body systems have a ground state degeneracy that is stable to long-range (e.g., power-law) perturbations, in the sense that any ground state energy splitting induced by such perturbations is exponentially small in the system size. More specifically, we consider an Ising symmetry-breaking Hamiltonian with several exactly degenerate ground states and an energy gap, and we then perturb the system with Ising symmetric long-range interactions. For these models we prove (1) the stability of the gap, and (2) that the residual splitting of the low-energy states below the gap is exponentially small in the system size. Our proof relies on a convergent polymer expansion that is adapted to handle the long-range interactions in our model. We also discuss applications of our result to several models of physical interest, including the Kitaev p-wave wire model perturbed by power-law density-density interactions with an exponent greater than 1.

preprint2021arXiv

Technological Approach to Mind Everywhere (TAME): an experimentally-grounded framework for understanding diverse bodies and minds

Synthetic biology and bioengineering provide the opportunity to create novel embodied cognitive systems (otherwise known as minds) in a very wide variety of chimeric architectures combining evolved and designed material and software. These advances are disrupting familiar concepts in the philosophy of mind, and require new ways of thinking about and comparing truly diverse intelligences, whose composition and origin are not like any of the available natural model species. In this Perspective, I introduce TAME - Technological Approach to Mind Everywhere - a framework for understanding and manipulating cognition in unconventional substrates. TAME formalizes a non-binary (continuous), empirically-based approach to strongly embodied agency. When applied to regenerating/developmental systems, TAME suggests a perspective on morphogenesis as an example of basal cognition. The deep symmetry between problem-solving in anatomical, physiological, transcriptional, and 3D (traditional behavioral) spaces drives specific hypotheses by which cognitive capacities can scale during evolution. An important medium exploited by evolution for joining active subunits into greater agents is developmental bioelectricity, implemented by pre-neural use of ion channels and gap junctions to scale cell-level feedback loops into anatomical homeostasis. This architecture of multi-scale competency of biological systems has important implications for plasticity of bodies and minds, greatly potentiating evolvability. Considering classical and recent data from the perspectives of computational science, evolutionary biology, and basal cognition, reveals a rich research program with many implications for cognitive science, evolutionary biology, regenerative medicine, and artificial intelligence.

preprint2021arXiv

Ungappable edge theories with finite dimensional Hilbert spaces

We construct a new class of edge theories for a family of fermionic Abelian topological phases with $K$-matrices of the form $K = \begin{pmatrix} k_1 & 0 \\ 0 & - k_2 \end{pmatrix}$, where $k_1, k_2 > 0$ are odd integers. Our edge theories are notable for two reasons: (i) they have finite dimensional Hilbert spaces (for finite sized systems) and (ii) depending on the values of $k_1, k_2$, some of the edge theories describe boundaries that cannot be gapped by any local interaction. The simplest example of such an ungappable boundary occurs for $(k_1, k_2) = (1, 3)$, which is realized by the $ν= 2/3$ FQH state. We derive our edge theories by starting with the standard chiral boson edge theory, consisting of two counterpropagating chiral boson modes, and then introducing an array of pointlike impurity scatterers. We solve this impurity model exactly in the limit of infinite impurity scattering, and we show that the energy spectrum consists of a gapped phonon spectrum together with a ground state degeneracy that scales exponentially with the number of impurities. This ground state subspace forms the Hilbert space for our edge theory. We believe that similar edge theories can be constructed for any Abelian topological phase with vanishing thermal Hall coefficient, $κ_H = 0$.

preprint2020arXiv

Classification of interacting Floquet phases with $U(1)$ symmetry in two dimensions

We derive a complete classification of Floquet phases of interacting bosons and fermions with $U(1)$ symmetry in two spatial dimensions. According to our classification, there is a one-to-one correspondence between these Floquet phases and rational functions $π(z) = a(z)/b(z)$ where $a(z)$ and $b(z)$ are polynomials obeying certain conditions and $z$ is a formal parameter. The physical meaning of $π(z)$ involves the stroboscopic edge dynamics of the corresponding Floquet system: in the case of bosonic systems, $π(z) = \frac{p}{q} \cdot \tildeπ(z)$ where $\frac{p}{q}$ is a rational number which characterizes the flow of quantum information at the edge during each driving period, and $\tildeπ(z)$ is a rational function which characterizes the flow of $U(1)$ charge at the edge. A similar decomposition exists in the fermionic case. We also show that $\tildeπ(z)$ is directly related to the time-averaged $U(1)$ current that flows in a particular geometry. This $U(1)$ current is a generalization of the quantized current and quantized magnetization density found in previous studies of non-interacting fermionic Floquet phases.

preprint2020arXiv

Fractonic order in infinite-component Chern-Simons gauge theories

2+1D multi-component $U(1)$ gauge theories with a Chern-Simons (CS) term provide a simple and complete characterization of 2+1D Abelian topological orders. In this paper, we extend the theory by taking the number of component gauge fields to infinity and find that they can describe interesting types of 3+1D "fractonic" order. "Fractonic" describes the peculiar phenomena that point excitations in certain strongly interacting systems either cannot move at all or are only allowed to move in a lower dimensional sub-manifold. In the simplest cases of infinite-component CS gauge theory, different components do not couple to each other and the theory describes a decoupled stack of 2+1D fractional Quantum Hall systems with quasi-particles moving only in 2D planes -- hence a fractonic system. We find that when the component gauge fields do couple through the CS term, more varieties of fractonic orders are possible. For example, they may describe foliated fractonic systems for which increasing the system size requires insertion of nontrivial 2+1D topological states. Moreover, we find examples which lie beyond the foliation framework, characterized by 2D excitations of infinite order and braiding statistics that are not strictly local.

preprint2020arXiv

Rigorous results on topological superconductivity with particle number conservation

Most theoretical studies of topological superconductors and Majorana-based quantum computation rely on a mean-field approach to describe superconductivity. A potential problem with this approach is that real superconductors are described by number-conserving Hamiltonians with long-range interactions, so their topological properties may not be correctly captured by mean-field models that violate number conservation and have short-range interactions. To resolve this issue, reliable results on number-conserving models of superconductivity are essential. As a first step in this direction, we use rigorous methods to study a number-conserving toy model of a topological superconducting wire. We prove that this model exhibits many of the desired properties of the mean-field models, including a finite energy gap in a sector of fixed total particle number, the existence of long range "Majorana-like" correlations between the ends of an open wire, and a change in the ground state fermion parity for periodic vs. anti-periodic boundary conditions. These results show that many of the remarkable properties of mean-field models of topological superconductivity persist in more realistic models with number-conserving dynamics.

preprint2019arXiv

Microscopic definitions of anyon data

We present microscopic definitions of both the $F$-symbol and $R$-symbol -- two pieces of algebraic data that characterize anyon excitations in (2+1)-dimensional systems. An important feature of our definitions is that they are operational; that is, they provide concrete procedures for computing these quantities from microscopic models. In fact, our definitions, together with known results, provide a way to extract a complete set of anyon data from a microscopic model, at least in principle. We illustrate our definitions by computing the $F$-symbol and $R$-symbol in several exactly solvable lattice models and edge theories. We also show that our definitions of the $F$-symbol and $R$-symbol satisfy the pentagon and hexagon equations, thereby providing a microscopic derivation of these fundamental constraints.

preprint2016arXiv

Formalism for the solution of quadratic Hamiltonians with large cosine terms

We consider quantum Hamiltonians of the form $H = H_0 - U \sum_j \cos(C_j)$ where $H_0$ is a quadratic function of position and momentum variables $\{x_1, p_1, x_2, p_2,...\}$ and the $C_j$'s are linear in these variables. We allow $H_0$ and $C_j$ to be completely general with only two restrictions: we require that (1) the $C_j$'s are linearly independent and (2) $[C_j, C_k]$ is an integer multiple of $2πi$ for all $j,k$ so that the different cosine terms commute with one another. Our main result is a recipe for solving these Hamiltonians and obtaining their exact low energy spectrum in the limit $U \rightarrow \infty$. This recipe involves constructing creation and annihilation operators and is similar in spirit to the procedure for diagonalizing quadratic Hamiltonians. In addition to our exact solution in the infinite $U$ limit, we also discuss how to analyze these systems when $U$ is large but finite. Our results are relevant to a number of different physical systems, but one of the most natural applications is to understanding the effects of electron scattering on quantum Hall edge modes. To demonstrate this application, we use our formalism to solve a toy model for a fractional quantum spin Hall edge with different types of impurities.

preprint2016arXiv

Survival, decay, and topological protection in non-Hermitian quantum transport

Non-Hermitian quantum systems can exhibit unique observables characterizing topologically protected transport in the presence of decay. The topological protection arises from winding numbers associated with non-decaying dark states, which are decoupled from the environment and thus immune to dissipation. Here we develop a classification of topological dynamical phases for one-dimensional quantum systems with periodically-arranged absorbing sites. This is done using the framework of Bloch theory to describe the dark states and associated topological invariants. The observables, such as the average particle displacement over its life span, feature quantized contributions that are governed by the winding numbers of cycles around dark-state submanifolds in the Hamiltonian parameter space. Changes in the winding numbers at topological transitions are manifested in non-analytic behavior of the observables. We discuss the conditions under which nontrivial topological phases may be found, and provide examples that demonstrate how additional constraints or symmetries can lead to rich topological phase diagrams.

preprint2016arXiv

Symmetry enriched string-nets: Exactly solvable models for SET phases

We construct exactly solvable models for a wide class of symmetry enriched topological (SET) phases. Our construction applies to 2D bosonic SET phases with finite unitary onsite symmetry group $G$ and we conjecture that our models realize every phase in this class that can be described by a commuting projector Hamiltonian. Our models are designed so that they have a special property: if we couple them to a dynamical lattice gauge field with gauge group $G$, the resulting gauge theories are equivalent to modified string-net models. This property is what allows us to analyze our models in generality. As an example, we present a model for a phase with the same anyon excitations as the toric code and with a $\mathbb{Z}_2$ symmetry which exchanges the $e$ and $m$ type anyons. We further illustrate our construction with a number of additional examples.

preprint2015arXiv

Bulk-boundary correspondence for three-dimensional symmetry-protected topological phases

We derive a bulk-boundary correspondence for three-dimensional (3D) symmetry-protected topological (SPT) phases with unitary symmetries. The correspondence consists of three equations that relate bulk properties of these phases to properties of their gapped, symmetry-preserving surfaces. Both the bulk and surface data appearing in our correspondence are defined via a procedure in which we gauge the symmetries of the system of interest and then study the braiding statistics of excitations of the resulting gauge theory. The bulk data is defined in terms of the statistics of bulk excitations, while the surface data is defined in terms of the statistics of surface excitations. An appealing property of this data is that it is plausibly complete in the sense that the bulk data uniquely distinguishes each 3D SPT phase, while the surface data uniquely distinguishes each gapped, symmetric surface. Our correspondence applies to any 3D bosonic SPT phase with finite Abelian unitary symmetry group. It applies to any surface that (1) supports only Abelian anyons and (2) has the property that the anyons are not permuted by the symmetries.

preprint2015arXiv

Loop braiding statistics in exactly soluble 3D lattice models

We construct two exactly soluble lattice spin models that demonstrate the importance of three-loop braiding statistics for the classification of 3D gapped quantum phases. The two models are superficially similar: both are gapped and both support particle-like and loop-like excitations similar to that of charges and vortex lines in a $\mathbb{Z}_2 \times \mathbb{Z}_2$ gauge theory. Furthermore, in both models the particle excitations are bosons, and in both models the particle and loop excitations have the same mutual braiding statistics. The difference between the two models is only apparent when one considers the recently proposed three-loop braiding process in which one loop is braided around another while both are linked to a third loop. We find that the statistical phase associated with this process is different in the two models, thus proving that they belong to two distinct phases. An important feature of this work is that we derive our results using a concrete approach: we construct string and membrane operators that create and move the particle and loop excitations and then we extract the braiding statistics from the commutation algebra of these operators.

preprint2015arXiv

Topological invariants for gauge theories and symmetry-protected topological phases

We study the braiding statistics of particle-like and loop-like excitations in 2D and 3D gauge theories with finite, Abelian gauge group. The gauge theories that we consider are obtained by gauging the symmetry of gapped, short-range entangled, lattice boson models. We define a set of quantities --- called {\it topological invariants} --- that summarize some of the most important parts of the braiding statistics data for these systems. Conveniently, these invariants are always Abelian phases, even if the gauge theory supports excitations with non-Abelian statistics. We compute these invariants for gauge theories obtained from the exactly soluble group cohomology models of Chen, Gu, Liu and Wen, and we derive two results. First, we find that the invariants take different values for every group cohomology model with finite, Abelian symmetry group. Second, we find that these models exhaust all possible values for the invariants in the 2D case, and we give some evidence for this in the 3D case. The first result implies that every one of these models belongs to a distinct SPT phase, while the second result suggests that these models may realize all SPT phases. These results support the group cohomology classification conjecture for SPT phases in the case where the symmetry group is finite, Abelian, and unitary.

preprint2014arXiv

Generalizations and limitations of string-net models

We ask which topological phases can and cannot be realized by exactly soluble string-net models. We answer this question for the simplest class of topological phases, namely those with abelian braiding statistics. Specifically, we find that an abelian topological phase can be realized by a string-net model if and only if (i) it has a vanishing thermal Hall conductance and (ii) it has at least one Lagrangian subgroup --- a subset of quasiparticles with particular topological properties. Equivalently, we find that an abelian topological phase is realizable if and only if it supports a gapped edge. We conjecture that the latter criterion generalizes to the non-abelian case. We establish these results by systematically constructing all possible abelian string-net models and analyzing the quasiparticle braiding statistics in each model. We show that the low energy effective field theories for these models are multicomponent U(1) Chern-Simons theories, and we derive the K-matrix description of each model. An additional feature of this work is that the models we construct are more general than the original string-net models, due to several new ingredients. First, we introduce two new objects $γ, α$ into the construction which are related to $\mathbb{Z}_2$ and $\mathbb{Z}_3$ Frobenius-Schur indicators. Second, we do not assume parity invariance. As a result, we can realize topological phases that were not accessible to the original construction, including phases that break time-reversal and parity symmetry.

preprint2014arXiv

Weak symmetry breaking in two dimensional topological insulators

We show that there exist two dimensional (2D) time reversal invariant fractionalized insulators with the property that both their boundary with the vacuum and their boundary with a topological insulator can be fully gapped without breaking time reversal or charge conservation symmetry. This result leads us to an apparent paradox: we consider a geometry in which a disk-like region made up of a topological insulator is surrounded by an annular strip of a fractionalized insulator, which is in turn surrounded by the vacuum. If we gap both boundaries of the strip, we naively obtain an example of a gapped interface between a topological insulator and the vacuum that does not break any symmetries -- an impossibility. The resolution of this paradox is that this system spontaneously breaks time reversal symmetry in an unusual way, which we call \emph{weak symmetry breaking}. In particular, we find that the only order parameters that are sensitive to the symmetry breaking are nonlocal operators that describe quasiparticle tunneling processes between the two edges of the strip; expectation values of local order parameters vanish exponentially in the limit of a wide strip. Also, we find that the symmetry breaking in our system comes with a ground state degeneracy, but this ground state degeneracy is topologically protected, rather than symmetry protected. We show that this kind of symmetry breaking can also occur at the edge of 2D fractional topological insulators.

preprint2013arXiv

Anomalous edge states and the bulk-edge correspondence for periodically-driven two dimensional systems

Recently, several authors have investigated topological phenomena in periodically-driven systems of non-interacting particles. These phenomena are identified through analogies between the Floquet spectra of driven systems and the band structures of static Hamiltonians. Intriguingly, these works have revealed that the topological characterization of driven systems is richer than that of static systems. In particular, in driven systems in two dimensions (2D), robust chiral edge states can appear even though the Chern numbers of all the bulk Floquet bands are zero. Here we elucidate the crucial distinctions between static and driven 2D systems, and construct a new topological invariant that yields the correct edge state structure in the driven case. We provide formulations in both the time and frequency domains, which afford additional insight into the origins of the "anomalous" spectra which arise in driven systems. Possible realizations of these phenomena in solid state and cold atomic systems are discussed.

preprint2013arXiv

Exactly soluble lattice models for non-abelian states of matter in 2 dimensions

Following an earlier construction of exactly soluble lattice models for abelian fractional topological insulators in two and three dimensions, we construct here an exactly soluble lattice model for a non-abelian $ν=1$ quantum Hall state and a non-abelian topological insulator in two dimensions. We show that both models are topologically ordered, exhibiting fractionalized charge, ground state degeneracy on the torus and protected edge modes. The models feature non-abelian vortices which carry fractional electric charge in the quantum Hall case and spin in the topological insulator case. We analyze the statistical properties of the excitations in detail and discuss the possibility of extending this construction to 3D non-abelian topological insulators.

preprint2013arXiv

Longitudinal analysis of gene expression profiles using functional mixed-effects models

In many longitudinal microarray studies, the gene expression levels in a random sample are observed repeatedly over time under two or more conditions. The resulting time courses are generally very short, high-dimensional, and may have missing values. Moreover, for every gene, a certain amount of variability in the temporal profiles, among biological replicates, is generally observed. We propose a functional mixed-effects model for estimating the temporal pattern of each gene, which is assumed to be a smooth function. A statistical test based on the distance between the fitted curves is then carried out to detect differential expression. A simulation procedure for assessing the statistical power of our model is also suggested. We evaluate the model performance using both simulations and a real data set investigating the human host response to BCG exposure.

preprint2013arXiv

Protected edge modes without symmetry

We discuss the question of when a gapped 2D electron system without any symmetry has a protected gapless edge mode. While it is well known that systems with a nonzero thermal Hall conductance, $K_H \neq 0$, support such modes, here we show that robust modes can also occur when $K_H = 0$ -- if the system has quasiparticles with fractional statistics. We show that some types of fractional statistics are compatible with a gapped edge, while others are fundamentally incompatible. More generally, we give a criterion for when an electron system with abelian statistics and $K_H = 0$ can support a gapped edge: we show that a gapped edge is possible if and only if there exists a subset of quasiparticle types $M$ such that (1) all the quasiparticles in $M$ have trivial mutual statistics, and (2) every quasiparticle that is not in $M$ has nontrivial mutual statistics with at least one quasiparticle in $M$. We derive this criterion using three different approaches: a microscopic analysis of the edge, a general argument based on braiding statistics, and finally a conformal field theory approach that uses constraints from modular invariance. We also discuss the analogous result for 2D boson systems.

preprint2013arXiv

The effect of interactions on 2D fermionic symmetry-protected topological phases with Z2 symmetry

We study the effect of interactions on 2D fermionic symmetry-protected topological (SPT) phases using the recently proposed braiding statistics approach. We focus on a simple class of examples: superconductors with a Z2 Ising symmetry. Although these systems are classified by Z in the noninteracting limit, our results suggest that the classification collapses to Z8 in the presence of interactions -- consistent with previous work that analyzed the stability of the edge. Specifically, we show that there are at least 8 different types of Ising superconductors that cannot be adiabatically connected to one another, even in the presence of strong interactions. In addition, we prove that each of the 7 nontrivial superconductors have protected edge modes.

preprint2012arXiv

Braiding statistics approach to symmetry-protected topological phases

We construct a 2D quantum spin model that realizes an Ising paramagnet with gapless edge modes protected by Ising symmetry. This model provides an example of a "symmetry-protected topological phase." We describe a simple physical construction that distinguishes this system from a conventional paramagnet: we couple the system to a Z_2 gauge field and then show that the π-flux excitations have different braiding statistics from that of a usual paramagnet. In addition, we show that these braiding statistics directly imply the existence of protected edge modes. Finally, we analyze a particular microscopic model for the edge and derive a field theoretic description of the low energy excitations. We believe that the braiding statistics approach outlined in this paper can be generalized to a large class of symmetry-protected topological phases.

preprint2012arXiv

Classification and analysis of two dimensional abelian fractional topological insulators

We present a general framework for analyzing fractionalized, time reversal invariant electronic insulators in two dimensions. The framework applies to all insulators whose quasiparticles have abelian braiding statistics. First, we construct the most general Chern-Simons theories that can describe these states. We then derive a criterion for when these systems have protected gapless edge modes -- that is, edge modes that cannot be gapped out without breaking time reversal or charge conservation symmetry. The systems with protected edge modes can be regarded as fractionalized analogues of topological insulators. We show that previous examples of 2D fractional topological insulators are special cases of this general construction. As part of our derivation, we define the concept of "local Kramers degeneracy" and prove a local version of Kramers theorem.

preprint2012arXiv

Integer quantum Hall effect for bosons: A physical realization

A simple physical realization of an integer quantum Hall state of interacting two dimensional bosons is provided. This is an example of a "symmetry-protected topological" (SPT) phase which is a generalization of the concept of topological insulators to systems of interacting bosons or fermions. Universal physical properties of the boson integer quantum Hall state are described and shown to correspond to those expected from general classifications of SPT phases.

preprint2012arXiv

On dimensionally exotic maps

We call a value $y=f(x)$ of a map $f:X\to Y$ dimensionally regular if $\dim X\le \dim(Y\times f^{-1}(y))$. It was shown in \cite{first-exotic} that if a map $f:X\to Y$ between compact metric spaces does not have dimensionally regular values, then $X$ is a Boltyanskii compactum, i.e. a compactum satisfying the equality $\dim(X\times X)=2\dim X-1$. In this paper we prove that every Boltyanskii compactum $X$ of dimension $\dim X \geq 6$ admits a map $f:X\to Y$ without dimensionally regular values. Also we exhibit a 4-dimensional Boltyanskii compactum for which every map has a dimensionally regular value.

preprint2011arXiv

Dimension of the product and classical formulae of dimension theory

Let $f : X \lo Y$ be a map of compact metric spaces. A classical theorem of Hurewicz asserts that $\dim X \leq \dim Y +\dim f$ where $\dim f =\sup \{\dim f^{-1}(y): y \in Y \}$. The first author conjectured that {\em $\dim Y + \dim f$ in Hurewicz's theorem can be replaced by $\sup \{\dim (Y \times f^{-1}(y)): y \in Y \}$}. We disprove this conjecture. As a by-product of the machinery presented in the paper we answer in negative the following problem posed by the first author: {\em Can for compact $X$ the Menger-Urysohn formula $\dim X \leq \dim A + \dim B +1$ be improved to $\dim X \leq \dim (A \times B) +1$ ?} On a positive side we show that both conjectures holds true for compacta $X$ satisfying the equality $dim(X\times X)=2\dim X$.

preprint2011arXiv

Exactly soluble models for fractional topological insulators in 2 and 3 dimensions

We construct exactly soluble lattice models for fractionalized, time reversal invariant electronic insulators in 2 and 3 dimensions. The low energy physics of these models is exactly equivalent to a non-interacting topological insulator built out of fractionally charged fermionic quasiparticles. We show that some of our models have protected edge modes (in 2D) and surface modes (in 3D), and are thus fractionalized analogues of topological insulators. We also find that some of the 2D models do not have protected edge modes -- that is, the edge modes can be gapped out by appropriate time reversal invariant, charge conserving perturbations. (A similar state of affairs may also exist in 3D). We show that all of our models are topologically ordered, exhibiting fractional statistics as well as ground state degeneracy on a torus. In the 3D case, we find that the models exhibit a fractional magnetoelectric effect.

preprint2011arXiv

Quantized pumping and phase diagram topology of interacting bosons

Interacting lattice bosons at integer filling can support two distinct insulating phases, which are separated by a critical point: the Mott insulator and the Haldane insulator[Phys. Rev. Lett. 97, 260401 (2006)]. The critical point can be gapped out by breaking lattice inversion symmetry. Here, we show that encircling this critical point adiabatically pumps one boson across the system. When multiple chains are coupled, the two insulating phases are no longer sharply distinct, but the pumping property survives. This leads to strict constraints on the topology of the phase diagram of systems of quasi-one dimensional interacting bosons.

preprint2010arXiv

Casimir repulsion between metallic objects in vacuum

We give an example of a geometry in which two metallic objects in vacuum experience a repulsive Casimir force. The geometry consists of an elongated metal particle centered above a metal plate with a hole. We prove that this geometry has a repulsive regime using a symmetry argument and confirm it with numerical calculations for both perfect and realistic metals. The system does not support stable levitation, as the particle is unstable to displacements away from the symmetry axis.

preprint2010arXiv

Is the electrostatic force between a point charge and a neutral metallic object always attractive?

We give an example of a geometry in which the electrostatic force between a point charge and a neutral metallic object is repulsive. The example consists of a point charge centered above a thin metallic hemisphere, positioned concave up. We show that this geometry has a repulsive regime using both a simple analytical argument and an exact calculation for an analogous two-dimensional geometry. Analogues of this geometry-induced repulsion can appear in many other contexts, including Casimir systems.

preprint2009arXiv

Collective states of non-abelian quasiparticles in a magnetic field

Motivated by the physics of the Moore-Read ν= 1/2 state away from half-filling, we investigate collective states of non-abelian e/4 quasiparticles in a magnetic field. We consider two types of collective states: incompressible liquids and Wigner crystals. In the incompressible liquid case, we construct a natural series of states which can be thought of as a non-abelian generalization of the Laughlin states. These states are associated with a series of hierarchical states derived from the Moore-Read state - the simplest of which occur at filling fraction 8/17 and 7/13. Interestingly, we find that the hierarchical states are abelian even though their parent state is non-abelian. In the Wigner crystal case, we construct two candidate states. We find that they, too, are abelian - in agreement with previous analysis.

preprint2009arXiv

Fractional topological insulators

We analyze generalizations of two dimensional topological insulators which can be realized in interacting, time reversal invariant electron systems. These states, which we call fractional topological insulators, contain excitations with fractional charge and statistics in addition to protected edge modes. In the case of s^z conserving toy models, we show that a system is a fractional topological insulator if and only if σ_{sH}/e^* is odd, where σ_{sH} is the spin-Hall conductance in units of e/2π, and e^* is the elementary charge in units of e.

preprint2009arXiv

Gapless layered three-dimensional fractional quantum Hall states

Using the parton construction, we build a three-dimensional (3D) multilayer fractional quantum Hall state with average filling ν= 1/3 per layer that is qualitatively distinct from a stacking of weakly coupled Laughlin states. The state supports gapped charge e/3 fermionic quasiparticles that can propagate both within and between the layers, in contrast to the quasiparticles in a multilayer Laughlin state which are confined within each layer. Moreover, the state has gapless neutral collective modes, a manifestation of an emergent "photon", which is minimally coupled to the fermionic quasiparticles. The surface sheath of the multilayer state resembles a chiral analog of the Halperin-Lee-Read state, which is protected against gap forming instabilities by the topological character of the bulk 3D phase. We propose that this state might be present in multilayer systems in the "intermediate tunneling regime", where the interlayer tunneling strength is on the same order as the Coulomb energy scale. We also find that the parton construction leads to a candidate state for a bilayer ν= 1/3 system in the intermediate tunneling regime. The candidate state is distinct from both a bilayer of ν=1/3 Laughlin states and the single layer ν= 2/3 state, but is nonetheless a fully gapped fractional quantum Hall state with charge e/3 anyonic quasiparticles.

preprint2007arXiv

Maps to the projective plane

We prove the projective plane $\rp^2$ is an absolute extensor of a finite-dimensional metric space $X$ if and only if the cohomological dimension mod 2 of $X$ does not exceed 1. This solves one of the remaining difficult problems (posed by A.N.Dranishnikov) in extension theory. One of the main tools is the computation of the fundamental group of the function space $\Map(\rp^n,\rp^{n+1})$ (based at inclusion) as being isomorphic to either $\Z_4$ or $\Z_2\oplus\Z_2$ for $n\ge 1$. Double surgery and the above fact yield the proof.