Related papers: Mutually embeddable models of ZFC
Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…
A combinatorial characterization of measurable filters on a countable set is found. We apply it to the problem of measurability of the intersection of nonmeasurable filters.
In this paper, we present a unifying analytical framework for identifying conditions for transport effects such as reflectionless and transparent transport, lasing, and coherent perfect absorption in non-Hermitian nonreciprocal systems…
The interpretability of machine learning, particularly for deep neural networks, is crucial for decision making in real-world applications. One approach is replacing the un-interpretable machine learning model with a surrogate model, which…
Interpretable classification models are built with the purpose of providing a comprehensible description of the decision logic to an external oversight agent. When considered in isolation, a decision tree, a set of classification rules, or…
The dynamics of a system composed by two pairs of dipolarly coupled two-level atoms is exactly studied. We show that the initial entanglement stored in a couple of atoms not directly interacting is fully transferred to the other pair in a…
Standard clustering techniques assume a common configuration for all features in a dataset. However, when dealing with multi-view or longitudinal data, the clusters' number, frequencies, and shapes may need to vary across features to…
We formalize the theory of forcing in the set theory framework of Isabelle/ZF. Under the assumption of the existence of a countable transitive model of ZFC, we construct a proper generic extension and show that the latter also satisfies…
We explore the feasibility of foundation models for the simulation of physical phenomena, with emphasis on continuum (solid and fluid) mechanics. Although so-called learned simulators have shown some success when applied to specific tasks,…
Interpreting data with mathematical models is an important aspect of real-world industrial and applied mathematical modeling. Often we are interested to understand the extent to which a particular set of data informs and constrains model…
A new proof of Imprimitivity theorem for transitive systems of covariance is given and a definition of square-integrable representation modulo a subgroup is proposed. This clarifies the relation between coherent states, wavelet transforms…
We introduce and solvev a special family of integrable interacting vertex models that generalizes the well known six-vertex model. In addition to the usual nearest-neighbor interactions among the vertices, there exist extra hard-core…
We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions
We associate canonical virtual motives to definable sets over a field of characteristic zero. We use this construction to show that very general p-adic integrals are canonically interpolated by motivic ones.
For itinerant fermionic and bosonic systems, we study `particle entanglement', defined as the entanglement between two subsets of particles making up the system. We formulate the general structure of particle entanglement in many-fermion…
Accurately estimating friction coefficients between arbitrary material pairs is critical for robotics, digital fabrication, and physics-based simulation, but exhaustive pairwise testing scales quadratically with the number of materials. We…
In this paper, we examine various types of ${\mathcal F}$-hypercyclic (${\mathcal F}$-topologically transitive) and disjoint ${\mathcal F}$-hypercyclic (disjoint ${\mathcal F}$-topologically transitive) properties of binary relations over…
We show that binary Toeplitz flows can be interpreted as Delone dynamical systems induced by model sets and analyse the quantitative relations between the respective system parameters. This has a number of immediate consequences for the…
The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…
We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree…