In the Maze of Data Languages

In data languages the positions of strings and trees carry a label from a finite alphabet and a data value from an infinite alphabet. Extensions of automata and logics over finite alphabets have been defined to recognize data languages, both in the string and tree cases. In this paper we describe and compare the complexity and expressiveness of such models to understand which ones are better candidates as regular models

Algebraic Approach to Interacting Quantum Systems

We present an algebraic framework for interacting extended quantum systems to study complex phenomena characterized by the coexistence and competition of different states of matter. We start by showing how to connect different (spin-particle-gauge) {\it languages} by means of exact mappings (isomorphisms) that we name {\it dictionaries} and prove a fundamental theorem establishing when two arbitrary languages can be connected. These mappings serve to unravel symmetries which are hidden in one representation but become manifest in another. In addition, we establish a formal link between seemingly unrelated physical phenomena by changing the language of our model description. This link leads to the idea of {\it universality} or equivalence. Moreover, we introduce the novel concept of {\it emergent symmetry} as another symmetry guiding principle. By introducing the notion of {\it hierarchical languages}, we determine the quantum phase diagram of lattice models (previously unsolved) and unveil hidden order parameters to explore new states of matter. Hierarchical languages also constitute an essential tool to provide a unified description of phases which compete and coexist. Overall, our framework provides a simple and systematic methodology to predict and discover new kinds of orders. Another aspect exploited by the present formalism is the relation between condensed matter and lattice gauge theories through quantum link models. We conclude discussing applications of these dictionaries to the area of quantum information and computation with emphasis in building new models of computation and quantum programming languages.Comment: 44 pages, 14 psfigures. Advances in Physics 53, 1 (2004