Related papers: Self-embeddings of models of arithmetic; fixed poi…

We derive conditions for the existence of fixed points of cone mappings without assuming scalability of functions. Monotonicity and scalability are often inseparable in the literature in the context of searching for fixed points of…

Binary embedding is the problem of mapping points from a high-dimensional space to a Hamming cube in lower dimension while preserving pairwise distances. An efficient way to accomplish this is to make use of fast embedding techniques…

We consider a complete metric space $(X,d)$ and a countable number of contractive mappings on $X$, $\mathcal{F}=\{F_i:i\in\mathbb N\}$. We show the existence of a {\em smallest} invariant set (with respect to inclusion) for $\mathcal{F}$.…

Let $M$ be a finitely generated module over a Noetherian ring $R$ and $N$ a submodule. The index of reducibility ir$_M(N)$ is the number of irreducible submodules that appear in an irredundant irreducible decomposition of $N$ (this number…

We first prove that for every metrizable space $X$, for every closed subset $F$ whose complement is zero-dimensional, the space $X$ can be embedded into a product space of the closed subset $F$ and a metrizable zero-dimensional space as a…

Let $M^n$, $n\ge3$, be a compact differentiable manifold with nonpositive Yamabe invariant $\sigma(M)$. Suppose $g_0$ is a continuous metric with $V(M, g_0)=1$, smooth outside a compact set $\Sigma$, and is in $W^{1,p}_{loc}$ for some…

We explore the possibilities for elementary embeddings $j : M \to N$, where $M$ and $N$ are models of ZFC with the same ordinals, $M \subseteq N$, and $N$ has access to large pieces of $j$. We construct commuting systems of such maps…

Fixed points of $N$ coupled Virasoro minimal models have recently been argued to provide large classes of compact unitary CFTs with $c>1$ and only Virasoro chiral symmetry. In this paper, we vastly increase the set of such potential…

We revisit supersymmetric nonlinear sigma models on the target manifold $CP^{N-1}$ and $SO(N)/SO(N-2)\times U(1)$ in four dimensions. These models are formulated as gauged linear models, but it is indicated that the Wess-Zumino term should…

In [2] Su Gao proves that the following are equivalent for a countable $M$ (cf. theorem 1.2 too): (I)There is an uncountable model of the Scott sentence of $M$. (II) There exists some $j\in \overline{Aut(M)}\setminus Aut(M)$, where…

We hope to see how much for a model M of some completion T of PA (Peano Arithmetic) does M restriction {<} determine M, say up to isomorphism. We advance in characterizing for non-standard models M of PA the "minimal" set {(a,b):n < a < b…

There has been a lot of recent research on improving the efficiency of fine-tuning foundation models. In this paper, we propose a novel efficient fine-tuning method that allows the input image size of Segment Anything Model (SAM) to be…

This paper deals with the asymptotic statistical properties of a class of redescending M-estimators in linear models with increasing dimension. This class is wide enough to include popular high breakdown point estimators such as…

A function $\varphi:\{0,1\}^n \to \{0,1\}^N$ is called an isometric embedding of the $n$-dimensional Hamming metric space to the $N$-dimensional edit metric space if, for all $x,y\in\{0,1\}^n$, the Hamming distance between $x$ and $y$ is…

We show that if $(X,T)$ is an extension of an aperiodic subshift (a subsystem of $({1,2,...,l}^{\mathbb{Z}},\mathrm{shift})$ for some $l\in\mathbb{N}$) and has mean dimension $mdim(X,T)<\frac{D}{2}$ $(D\in \mathbb{N}$), then it embeds…

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

In the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for cut-elimination theorems for each logic, the proof of which…

Coupling $N$ large $m$ minimal models and flowing to IR fixed points is a systematic way to build new classes of compact unitary 2d CFTs which are likely to be irrational, and potentially have a positive Virasoro twist gap above the…

We extend to $p$-uniformly convex spaces tools from the analysis of fixed point iterations in linear spaces. This study is restricted to an appropriate generalization of single-valued, pointwise $\alpha$-averaged mappings. Our main…

A countable structure is said to be extendible if it has the same Scott sentence as some uncountable structure. Rigid structures are not extendible. We give an example of an extendible model with a rigid elementary extension.