Related papers: Interpolative Fusions I

Several variations on the definition of a Formal Topology exist in the literature. They differ on how they express convergence, the formal property corresponding to the fact that open subsets are closed under finite intersections. We…

In the spirit of a theorem of Wood, we give necessary and sufficient conditions for a family of germs of analytic hypersurfaces in a smooth projective toric variety X to be interpolated by an algebraic hypersurface with a fixed class in the…

We determine for which known finite simple groups $G$ and which primes $p$ the $p$-fusion system of $G$ is simple. This means first collecting together the results that were already known (and correcting two errors made in an earlier study…

For a prime $p$, fusion systems over discrete $p$-toral groups are categories that model and generalize the $p$-local structure of Lie groups and certain other infinite groups in the same way that fusion systems over finite $p$-groups model…

We characterize those intersection-type theories which yield complete intersection-type assignment systems for lambda-calculi, with respect to the three canonical set-theoretical semantics for intersection-types: the inference semantics,…

We consider one-dimensional diffusions, with polynomial drift and diffusion coefficients, so that in particular the motion can be space-inhomogeneous, interacting via one-sided reflections. The prototypical example is the well-known model…

There are classical examples of spaces X with an involution tau whose mod 2-comhomology ring resembles that of their fixed point set X^tau: there is a ring isomorphism kappa: H^2*(X) --> H^*(X^tau). Such examples include complex…

We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a statement about the structure of formal derivations. We show that…

A class of $d$-dimensional reaction-diffusion models interpolating continuously between the diffusion-coagulation and the diffusion-annihilation models is introduced. Exact relations among the observables of different models are…

In this paper, we obtain some results on the relationships between different ideal \linebreak convergence modes namely, $\mathcal{I}^\mathcal{K}$, $\mathcal{I}^{\mathcal{K}^*}$, $\mathcal{I}$, $\mathcal{K}$, $\mathcal{I} \cup \mathcal{K}$…

Let $\mathcal F$ be a saturated fusion system on a finite $p$-group $S$, and let $P$ be a strongly $\mathcal F$-closed subgroup of $S$. We define the concept ``$\mathcal F$-essential subgroups with respect to $P$" which are some proper…

We provide the rigorous foundations for a categorical approach to the classification of C*-dynamics up to cocycle conjugacy. Given a locally compact group $G$, we consider a category of (twisted) $G$-C*-algebras, where morphisms between two…

For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture…

We generalize first-species counterpoint theory to arbitrary rings and obtain some new counting and maximization results that enrich the theory of admitted successors, pointing to a structural approach, beyond computations. The…

The ground-state of an infinite-range Potts glass-type model with +/- J bonds and unrestricted number of states is used to investigate coalition formation. As a function of the q probability of +J bonds in the system it is found that the r…

The theoretical basis of continuum percolation has changed greatly since its beginning as little more than an analogy with lattice systems. Nevertheless, there is yet no comprehensive theory of this field. A basis for such a theory is…

Integrable multistate or multiflavor/color models were recently introduced. They are generalizations of models corresponding to the defining representations of the U_q(sl(m)) quantum algebras. Here I show that a similar generalization is…

`Loop-fusion cohomology' is defined on the continuous loop space of a manifold in terms of \vCech cochains satisfying two multiplicative conditions with respect to the fusion and figure-of-eight products on loops. The main result is that…

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…

Overcomplete latent representations have been very popular for unsupervised feature learning in recent years. In this paper, we specify which overcomplete models can be identified given observable moments of a certain order. We consider…