Related papers: Mutually embeddable models of ZFC
We show that the principal types of the closed terms of the affine fragment of $\lambda$-calculus, with respect to a simple type discipline, are structurally isomorphic to their interpretations, as partial involutions, in a natural Geometry…
Integrable models are often constructed with real systems in mind. The exact solvability of the models leads to results which are unambiguous and provide the correct physical picture. In this review, we discuss the physical basis of some…
We introduce the notions of almost positively closed models and positive strong amalgamation property. We study the fundamental properties of these notions and develop some interactions between them.
The aim of this paper is to describe a population model with transition. We analyze the spectral properties of the transition matrix considering both irreducible and reducible structures. We give physical interpretations of these properties…
We develop and investigate several cross-lingual alignment approaches for neural sentence embedding models, such as the supervised inference classifier, InferSent, and sequential encoder-decoder models. We evaluate three alignment…
Based on our previous graph covering method, we introduce weighted graph covering models and flexible graph covering models that are almost equivalent to the well-known Bratteli--Vershik models. These models play important roles in showing…
Studying systems where many individual bodies in motion interact with one another is a complex and interesting area. Simple mechanisms that may be determined for biological, chemical, or physical reasons can lead to astonishingly complex…
Biological multimodal large language models (MLLMs) have emerged as powerful foundation models for scientific discovery. However, existing models are specialized to a single modality, limiting their ability to solve inherently cross-modal…
Learning word embeddings using distributional information is a task that has been studied by many researchers, and a lot of studies are reported in the literature. On the contrary, less studies were done for the case of multiple languages.…
This is a survey on the transitive quantum groups $G\subset S_N^+$, and on the flat matrix models $\pi:C(G)\to M_N(C(X))$ for the corresponding Hopf algebras. We review the known results on the subject, with a number of improvements,…
Many modern learning tasks require models that can take inputs of varying sizes. Consequently, dimension-independent architectures have been proposed for domains where the inputs are graphs, sets, and point clouds. Recent work on graph…
Modern Foundation Models (FMs) are typically trained on corpora spanning a wide range of different data modalities, topics and downstream tasks. Utilizing these models can be very computationally expensive and is out of reach for most…
Integrable models form pillars of theoretical physics because they allow for full analytical understanding. Despite being rare, many realistic systems can be described by models that are close to integrable. Therefore, an important question…
I present a short review of models for transverse-momentum distributions and transversity, with a particular attention on general features common to many models. I compare some model results with experimental extractions. I discuss the…
Latent factor models are increasingly popular for modeling multi-relational knowledge graphs. By their vectorial nature, it is not only hard to interpret why this class of models works so well, but also to understand where they fail and how…
In the present paper we investigate the mechanics of systems of affinely-rigid bodies, i.e., bodies rigid in the sense of affine geometry. Certain physical applications are possible in modelling of molecular crystals, granular media, and…
We address the fundamental question of crossover from localized to itinerant state of a paradigmatic heavy fermionmaterial CeIrIn5. The temperature evolution of the one electron spectra and the optical conductivity is predicted from first…
The interrelations between various classes of convergence spaces defined by countability conditions are studied. Remarkably, they all find characterizations in the usual space of ultrafilters in terms of classical topological properties.…
Generic coarse-grained models are designed such that they are (i) simple and (ii) computationally efficient. They do not aim at representing particular materials, but classes of materials, hence they can offer insight into universal…
We define the notion of generic cut between models of ZFC and give some examples.