Related papers: Mutually embeddable models of ZFC
There exist cubical transition systems containing cubes having an arbitrarily large number of faces. A regular transition system is a cubical transition system such that each cube has the good number of faces. The categorical and…
We study fermionic conformal field theories on surfaces with spin structure in the presence of boundaries, defects, and interfaces. We obtain the relevant crossing relations, taking particular care with parity signs and signs arising from…
In this work, we study theoretical models of \emph{programmable matter} systems. The systems under consideration consist of spherical modules, kept together by magnetic forces and able to perform two minimal mechanical operations (or…
We introduce shift algebras as certain crossed product algebras based on general function spaces and study properties, as well as the classification, of a particular class of modules depending on a set of matrix parameters. It turns out…
Using the combinatorial properties of subsets of integers, a classification of metric dynamical systems was given in [V. Bergelson and T. Downarowicz, Large sets of integers and hierarchy of mixing properties of measure-preserving systems,…
Identifiability concerns finding which unknown parameters of a model can be estimated from given input-output data. If some subset of the parameters of a model cannot be determined given input-output data, then we say the model is…
In this paper, some characterizations about transitivity, mildly mixing property, $\mathbf{a}$-transitivity, equicontinuity, uniform rigidity and proximality of Zadeh's extensions restricted on some invariant closed subsets of the space of…
This dissertation is a contribution to the project of second-order set theory, which has seen a revival in recent years. The approach is to understand second-order set theory by studying the structure of models of second-order set theories.…
An infinite family of association schemes obtained from the general unitary groups acting transitively on the sets of isotropic vectors in the finite unitary spaces are investigated. We compute the parameters and determine the character…
We derive a new cross-property differential effective medium scheme for a composite material's thermal conductivity as a function of its electrical conductivity and vice versa. Our scheme assumes that one phase is embedded in the other as…
Advanced inference techniques allow one to reconstruct the pattern of interaction from high dimensional data sets. We focus here on the statistical properties of inferred models and argue that inference procedures are likely to yield models…
Many interpretable AI approaches have been proposed to provide plausible explanations for a model's decision-making. However, configuring an explainable model that effectively communicates among computational modules has received less…
Remarkable parallelism between the theory of integrable systems of first-order quasilinear PDE and some old results in projective and affine differential geometry of conjugate nets, Laplace equations, their Bianchi-Baecklund transformations…
We study the interconnection between the finite projective modules for a fuzzy sphere, determined in a previous paper, and the matrix model approach, making clear the physical meaning of noncommutative topological configurations.
To understand changes in physical systems and facilitate decisions, explaining how model predictions are made is crucial. We use model-based interpretability, where models of physical systems are constructed by composing basic constructs…
A unification of characteristic mode decomposition for all method-of-moment formulations of field integral equations describing free-space scattering is derived. The work is based on an algebraic link between impedance and transition…
Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…
Concept embeddings offer a practical and efficient mechanism for injecting commonsense knowledge into downstream tasks. Their core purpose is often not to predict the commonsense properties of concepts themselves, but rather to identify…
In this paper, we give a approximation characterization, embedding properties and the duality of matrix weighted modulation spaces.
Crack-templated networks, metallic frameworks fabricated from crack patterns in sacrificial thin films, can exhibit high optical transmittance, high electric conductivity, and a host of other properties attractive for applications. Despite…