We suggest that the (2,0) six dimensional field theory compactified on S × K3 is the Matrix model description of both M-theory on K3 and the Heterotic string on T . This proposal is different from existing proposals for the Heterotic theory. Different limits of the base space geometry give the different space-time interpretations, making Mtheory/Heterotic duality manifest. We also present parti...

Duality groups of Abelian gauge theories on four manifolds and their reduction to two dimensions are considered. The duality groups include elements that relate different space-times in addition to relating different gauge-coupling matrices. We interpret (some of) such dualities as the geometrical symmetries of compactified theories in higher dimensions. In particular, we consider compactificat...

Global-as-view (GAV) constraints form a class of database constraints that has been widely used in the study of data exchange and data integration. Specifically, relationships between different database schemas are commonly described by a schema mapping consisting of a finite set of GAV constraints. Such schema mappings can be viewed as representations of an infinite set of data examples. We st...

In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give an overview of logical, combinatorial, and algebraic aspects of the following forms of duality for constraint satisfaction problems: finite duality, bounded pathwidth duality, and bounded treewidth duality.

We consider sequences of absolute and relative homology and cohomology groups that arise naturally for a filtered cell complex. We establish algebraic relationships between their persistence modules, and show that they contain equivalent information. We explain how one can use the existing algorithm for persistent homology to process any of the four modules, and relate it to a recently introduc...

We introduce a new Priestley-style topological duality for N4-lattices, which are the algebraic counterpart of paraconsistent Nelson logic. Our duality differs from the existing one, due to S. Odintsov, in that we only rely on Esakia duality for Heyting algebras and not on the duality for De Morgan algebras of Cornish and Fowler. A major advantage of our approach is that we obtain a simple desc...

An effective action for the M9-brane is proposed. We study its relation with other branes via dualities. Among these, we find actions for branes which are not suggested by the central charges of the Type II superalgebras. To be published in the proceedings of the TMR-meeting Quantum Aspects of Gauge Theories, Supersymmetry and Unification, Corfu, Greece, September 1998.

The DNA packaging motors of double-stranded DNA phages are models for analysis of all multi-molecular motors and for analysis of several fundamental aspects of biology, including early evolution, relationship of in vivo to in vitro biochemistry and targets for anti-virals. Work on phage DNA packaging motors both has produced and is producing dualities in the interpretation of data obtained by u...

Utilising and expanding concepts from categorical topology and algebra, we contrive a moderately general theory of dualities between algebraic, point-free spaces and set-theoretical, point-set spaces, which encompasses infinitary Stone dualities, such as the well-known duality between frames (aka. locales) and topological spaces, and a duality between σ-complete Boolean algebras and measurable ...