Exact results for the star lattice chiral spin liquid

We examine the star lattice Kitaev model whose ground state is a a chiral spin liquid. We fermionize the model such that the fermionic vacua are toric code states on an effective Kagome lattice. This implies that the Abelian phase of the system is inherited from the fermionic vacua and that time reversal symmetry is spontaneously broken at the level of the vacuum. In terms of these fermions we derive the Bloch-matrix Hamiltonians for the vortex free sector and its time reversed counterpart and illuminate the relationships between the sectors. The phase diagram for the model is shown to be a sphere in the space of coupling parameters around the triangles of the lattices. The abelian phase lies inside the sphere and the critical boundary between topologically distinct Abelian and non-Abelian phases lies on the surface. Outside the sphere the system is generically gapped except in the planes where the coupling parameters are zero. These cases correspond to bipartite lattice structures and the dispersion relations are similar to that of the original Kitaev honeycomb model. In a further analysis we demonstrate the three-fold non-Abelian groundstate degeneracy on a torus by explicit calculation.Comment: 7 pages, 8 figure

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases

This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted class of weak deterministic automata, used as symbolic set representations in actual applications. In previous work, it has been established that the sets of numbers that are recognizable by weak deterministic automata in two bases that do not share the same set of prime factors are exactly those that are definable in the first order additive theory of real and integer numbers. This result extends Cobham's theorem, which characterizes the sets of integer numbers that are recognizable by finite automata in multiple bases. In this article, we first generalize this result to multiplicatively independent bases, which brings it closer to the original statement of Cobham's theorem. Then, we study the sets of reals recognizable by Muller automata in two bases. We show with a counterexample that, in this setting, Cobham's theorem does not generalize to multiplicatively independent bases. Finally, we prove that the sets of reals that are recognizable by Muller automata in two bases that do not share the same set of prime factors are exactly those definable in the first order additive theory of real and integer numbers. These sets are thus also recognizable by weak deterministic automata. This result leads to a precise characterization of the sets of real numbers that are recognizable in multiple bases, and provides a theoretical justification to the use of weak automata as symbolic representations of sets.Comment: 17 page

Basic Module Theory over Non-Commutative Rings with Computational Aspects of Operator Algebras

The present text surveys some relevant situations and results where basic Module Theory interacts with computational aspects of operator algebras. We tried to keep a balance between constructive and algebraic aspects.Comment: To appear in the Proceedings of the AADIOS 2012 conference, to be published in Lecture Notes in Computer Scienc

Combined Decision Techniques for the Existential Theory of the Reals

Methods for deciding quantifier-free non-linear arithmetical conjectures over *** are crucial in the formal verification of many real-world systems and in formalised mathematics. While non-linear (rational function) arithmetic over *** is decidable, it is fundamentally infeasible: any general decision method for this problem is worst-case exponential in the dimension (number of variables) of the formula being analysed. This is unfortunate, as many practical applications of real algebraic decision methods require reasoning about high-dimensional conjectures. Despite their inherent infeasibility, a number of different decision methods have been developed, most of which have "sweet spots" --- e.g., types of problems for which they perform much better than they do in general. Such "sweet spots" can in many cases be heuristically combined to solve problems that are out of reach of the individual decision methods when used in isolation. RAHD ("Real Algebra in High Dimensions") is a theorem prover that works to combine a collection of real algebraic decision methods in ways that exploit their respective "sweet-spots." We discuss high-level mathematical and design aspects of RAHD and illustrate its use on a number of examples

A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

International audienceEffective quantifier elimination procedures for first-order theories provide a powerful tool for genericallysolving a wide range of problems based on logical specifications. In contrast to general first-order provers, quantifierelimination procedures are based on a fixed set of admissible logical symbolswith an implicitly fixed semantics. Thisadmits the use of sub-algorithms from symbolic computation. We are going to focus on quantifier elimination forthe reals and its applications giving examples from geometry, verification, and the life sciences. Beyond quantifierelimination we are going to discuss recent results with a subtropical procedure for an existential fragment of thereals. This incomplete decision procedure has been successfully applied to the analysis of reaction systems inchemistry and in the life sciences

Effect of impact ionization on the saturation of 1s→2p+ shallow donor transition in n-GaAs

The magneto-photoconductivity due to 1s-2p+ optical transitions of shallow donors in n-GaAs has been investigated as a function of intensity for several bias voltages at low temperatures between 2K and 4.2 K. At low intensities a superlinear increase of the photoconductive signal with rising intensity has been observed which gets more pronounced at higher bias voltages and lower temperatures. The power broadening of the linewidth was found to be distinctly different from the behaviour expected for a two-level system. By a detailed analysis in terms of a nonlinear generation-recombination model it is shown that these effects may be attributed to impact ionization of the optically excited 2p+ states

Free‐electron laser study of the nonlinear magnetophotoconductivity in n‐GaAs

The University of California at Santa Barbara free‐electron laser was used to investigate the kinetics of electrons bound to shallow donors in n‐GaAs by saturation spectroscopy. The resonant photothermal conductivity arising from 1s–2p+ shallow donor excitations in a magnetic field was measured at intensities greatly exceeding that of earlier investigations and saturation of bound‐to‐free photoionization transitions was achieved. The impurity resonance photoconductive signal shows a distinct intensity dependence caused by competing bound‐to‐free transitions which saturate differently. This permits a more detailed evaluation of the electron recombination kinetics than was previously possible, yielding the ionization probability of the 2p+ state, the transition time of electrons from the 2p+ level to the gound state, and the recombination time of free carriers