Introducing Dynamic Behavior in Amalgamated Knowledge Bases

The problem of integrating knowledge from multiple and heterogeneous sources is a fundamental issue in current information systems. In order to cope with this problem, the concept of mediator has been introduced as a software component providing intermediate services, linking data resources and application programs, and making transparent the heterogeneity of the underlying systems. In designing a mediator architecture, we believe that an important aspect is the definition of a formal framework by which one is able to model integration according to a declarative style. To this purpose, the use of a logical approach seems very promising. Another important aspect is the ability to model both static integration aspects, concerning query execution, and dynamic ones, concerning data updates and their propagation among the various data sources. Unfortunately, as far as we know, no formal proposals for logically modeling mediator architectures both from a static and dynamic point of view have already been developed. In this paper, we extend the framework for amalgamated knowledge bases, presented by Subrahmanian, to deal with dynamic aspects. The language we propose is based on the Active U-Datalog language, and extends it with annotated logic and amalgamation concepts. We model the sources of information and the mediator (also called supervisor) as Active U-Datalog deductive databases, thus modeling queries, transactions, and active rules, interpreted according to the PARK semantics. By using active rules, the system can efficiently perform update propagation among different databases. The result is a logical environment, integrating active and deductive rules, to perform queries and update propagation in an heterogeneous mediated framework.Comment: Other Keywords: Deductive databases; Heterogeneous databases; Active rules; Update

Spin chirality on a two-dimensional frustrated lattice

The collective behavior of interacting magnetic moments can be strongly influenced by the topology of the underlying lattice. In geometrically frustrated spin systems, interesting chiral correlations may develop that are related to the spin arrangement on triangular plaquettes. We report a study of the spin chirality on a two-dimensional geometrically frustrated lattice. Our new chemical synthesis methods allow us to produce large single crystal samples of KFe3(OH)6(SO4)2, an ideal Kagome lattice antiferromagnet. Combined thermodynamic and neutron scattering measurements reveal that the phase transition to the ordered ground-state is unusual. At low temperatures, application of a magnetic field induces a transition between states with different non-trivial spin-textures.Comment: 7 pages, 4 figure

BRST Quantisation and the Product Formula for the Ray-Singer Torsion

We give a quantum field theoretic derivation of the formula obeyed by the Ray-Singer torsion on product manifolds. Such a derivation has proved elusive up to now. We use a BRST formalism which introduces the idea of an infinite dimensional Universal Gauge Fermion, and is of independent interest being applicable to situations other than the ones considered here. We are led to a new class of Fermionic topological field theories. Our methods are also applicable to combinatorially defined manifolds and methods of discrete approximation such as the use of a simplicial lattice or finite elements. The topological field theories discussed provide a natural link between the combinatorial and analytic torsion.Comment: 24 pages. TEX error of first version corrected: a \input is delete

A Skyrme lattice with hexagonal symmetry

Recently it has been found that the structure of Skyrmions has a close analogy to that of fullerene shells in carbon chemistry. In this letter we show that this analogy continues further, by presenting a Skyrme field that describes a lattice of Skyrmions with hexagonal symmetry. This configuration, a novel `domain wall' in the Skyrme model, has low energy per baryon (about 6% above the Faddeev-Bogomolny bound) and in many ways is analogous to graphite. By comparison to the energy per baryon of other known Skyrmions and also the Skyrme crystal, we discuss the possibility of finding Skyrmion shells of higher charge.Comment: 12 pages, 1 figure. To appear in Phys. Lett.

Strong-Weak Chern-Simons-Matter Dualities from a Lattice Construction

We provide a lattice demonstration of $(2+1)$-dimensional field theory dualities relating free Dirac or Majorana fermions to strongly-interacting bosonic Chern-Simons-matter theories. Specifically, we prove the recent conjecture that $U(N)$ level-1 with $N_f$ gauged complex Wilson-Fisher scalars (where $1\le N_f\le N$) is dual to $N_f$ Dirac fermions, as well as the analogous conjecture relating $SO(N)$ theories with real Wilson-Fisher scalars to Majorana fermions for $1\le N_f\le N-2$. Furthermore, we discover new dualities that allow us to explain the interesting phase structure of the $SO(N)$ theories with $N-1$ and $N$ scalars, for all $N\ge 2$.Comment: 35 pages. v2: updated a citation. v3: minor correctio