Related papers: Interpolative Fusions I

For a complete, stable theory $T$ we construct, in a reasonably canonical way, a related stable theory $T^*$ which has higher independent amalgamation properties over the algebraic closure of the empty-set. The theory $T^*$ is an algebraic…

Our main goal in this paper, is to generalize to Hilbert C*-modules the concept of fusion frames. Indeed we introduce the notion of *\~nfusion frames associated to weighted sequences of orthogonally complemented submodules of a Hilbert…

Let $A,B\subset M$ be inclusions of $\sigma$-finite von Neumann algebras such that $A$ and $B$ are images of faithful normal conditional expectations. In this article, we investigate Popa's intertwining condition $A\preceq_MB$ using their…

This paper develops a general methodology to connect propositional and first-order interpolation. In fact, the existence of suitable skolemizations and of Herbrand expansions together with a propositional interpolant suffice to construct a…

The electronic phase diagrams of many highly correlated systems, and in particular the cuprate high temperature superconductors, are complex, with many different phases appearing with similar-sometimes identical-ordering temperatures even…

For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic,…

Let T be a complete first order theory in a countable relational language L . We assume relation symbols have been added to make each formula equivalent to a predicate. Adjoin a new unary function symbol sigma to obtain the language…

A braided subfactor determines a coupling matrix Z which commutes with the S- and T-matrices arising from the braiding. Such a coupling matrix is not necessarily of "type I", i.e. in general it does not have a block-diagonal structure which…

We consider the positions of occurrences of a factor $x$ and its binary complement $\overline{x}$ in the Thue-Morse word ${\bf t} = {\tt 01101001} \cdots$, and show that these occurrences are "intertwined" in essentially two different ways.…

To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…

In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exploited it to handle infinite-state model checking problems. Motivated by applications to the verification of data-aware processes, we proved in a previous paper that…

We indicate a way of distinguishing between structures, for which, two structures are said to be separable.Being separable implies being non-isomorphic. We show that for any first order theory $T$ in a countable language, if it has an…

For any normal commutative Hopf subalgebra $K=k^G$ of a semisimple Hopf algebra we describe the ring inside $kG$ obtained by the restriction of $H$-modules. If $G=\Z_p$ this ring determines a fusion ring and we give a complete description…

We regard explanations as a blending of the input sample and the model's output and offer a few definitions that capture various desired properties of the function that generates these explanations. We study the links between these…

We construct automorphisms of $\C^n$ which map certain discrete sequences one onto another with prescribed finite jet at each point, thus solving a general Mittag-Leffler interpolation problem for automorphisms. Under certain circumstances,…

The class of random-cluster models is a unification of a variety of stochastic processes of significance for probability and statistical physics, including percolation, Ising, and Potts models; in addition, their study has impact on the…

Throughout, $T$ denotes a complete first-order theory in a countable language $L$ that has infinite models and $I(\aleph_0,T)$ denotes the number of countable models of $T$, up to an isomorphism. To determine $I(\aleph_0,T)$, it suffices to…

Recently, we have endowed various categories of groups with topologies. The purpose of this paper is to introduce on these categories others topologies which are statistically more suitable to study well-known problems in groups theory. We…

The randomization of a complete first order theory $T$ is the complete continuous theory $T^R$ with two sorts, a sort for random elements of models of $T$, and a sort for events in an underlying probability space. We study various notions…

For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new…