Related papers: Superselection Theory for Subsystems

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…

Superselection rules induced by the interaction with a mass zero Boson field are investigated for a class of exactly soluble Hamiltonian models. The calculations apply as well to discrete as to continuous superselection rules. The initial…

Let $\Gamma$ be a finitely generated group acting properly discontinuously by isometries on a visibility CAT(0) space $X$ that satisfies the bounded packing property. We prove that $\Gamma$ satisfies the Tits alternative: it is either…

In analogy with the Barbasch-Vogan duality for real reductive linear groups, we introduce a duality notion useful for the representation theory of the real metaplectic groups. This is a map on the set of nilpotent orbits in a complex…

Four dimensional N=1 supersymmetric gauge theory with gauge group SU(N_c) and matter in the adjoint and fundamental representations gives rise to a series of fixed points with an ADE classification. The A and D series exhibit…

Let $S$ be the spectrum of a complete discrete valuation ring with fraction field of characteristic 0 and perfect residue field of characteristic $p\geq 3$. Let $G$ be a truncated Barsotti-Tate group of level 1 over $S$. If ``$G$ is not too…

A method for implementing non-Abelian duality on string backgrounds is given. It is shown that a direct generalisation of the familiar Abelian duality induces an extra local symmetry in the gauge invariant theory. The non-Abelian isometry…

We prove that the existence of a selective ultrafilter implies the existence of a countably compact Hausdorff group topology on the free Abelian group of size continuum. As a consequence, we show that the existence of a selective…

We suggest a technique for the observation of a predicted supersolid phase in extended Bose-Hubbard models which are potentially realizable in cold atom optical lattice systems. In particular, we discuss important subtleties arising from…

The duality principle for Gabor frames states that a Gabor sequence obtained by a time-frequency lattice is a frame for $L^{2}(\R^{d})$ if and only if the associated adjoint Gabor sequence is a Riesz sequence. We prove that this duality…

For a dependent theory T, in C_T for every type definable group G, the intersection of type definable subgroups with bounded index is a type definable subgroup with bounded index.

Sofic and hyperlinear groups are the countable discrete groups that can be approximated in a suitable sense by finite symmetric groups and groups of unitary matrices. These notions turned out to be very deep and fruitful, and stimulated in…

We define a class of subsets of a topological space that coincides with the class of compact saturated subsets when the space is sober, and with enough good properties when the space is not sober. This class is introduced especially in view…

It is pointed out that every mixed state statistical operator is, up to a normalization constant, a super state vector in the Hilbert space of linear Hilbert-Schmidt operators acting in the state space of the quantum system. Hence, the well…

The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the…

Effective bounds for the finite number of surjective holomorphic maps between canonically polarized compact complex manifolds of any dimension with fixed domain are proven. Both the case of a fixed target and the case of varying targets are…

We consider the observability model in networks with arbitrary topologies. We introduce a system of coupled nonlinear equations, valid under the locally tree-like ansatz, to describe the size of the largest observable cluster as a function…

A group is metabelian if its commutator subgroup is abelian. For finitely generated metabelian groups, classical commutative algebra, algebraic geometry and geometric group theory, especially the latter two subjects, can be brought to bear…

Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs…

Some conceptual issues concerning general invariant theories, with special emphasis on general relativity, are analyzed. The common assertion that observables must be required to be gauge invariant is examined in the light of the role…