相关论文: Simple Homogeneous Models

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a…

The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in…

Topological phenomena are commonly studied in phases of matter which are separated from a trivial phase by an unavoidable quantum phase transition. This can be overly restrictive, leaving out scenarios of practical relevance -- similar to…

We propose a new way of thinking about one parameter persistence. We believe topological persistence is fundamentally not about decomposition theorems but a central role is played by a choice of metrics. Choosing a pseudometric between…

This report introduces and investigates a family of metrics on sets of pointed Kripke models. The metrics are generalizations of the Hamming distance applicable to countably infinite binary strings and, by extension, logical theories or…

Solid-like behavior at low energies and long distances is usually associated with the spontaneous breaking of spatial translations at microscopic scales, as in the case of a lattice of atoms. We exhibit three quantum field theories that are…

In this article, we study feature attributions of Machine Learning (ML) models originating from linear game values and coalitional values defined as operators on appropriate functional spaces. The main focus is on random games based on the…

A homogeneous Riemannian space $(M= G/H,g)$ is called a geodesic orbit space (shortly, GO-space) if any geodesic is an orbit of one-parameter subgroup of the isometry group $G$. We study the structure of compact GO-spaces and give some…

Multidimensional persistence studies topological features of shapes by analyzing the lower level sets of vector-valued functions. The rank invariant completely determines the multidimensional analogue of persistent homology groups. We prove…

We say a representation V of a group G has stability if its multiplicities m^{G}_{V}(\lambda) is dependent only on some equivalence class of \lambda for a sufficiently large parameter \lambda. In this paper, we prove that the restriction of…

We first partly develop a mathematical notion of stable consistency intended to reflect the actual consistency property of human beings. Then we give a generalization of the first and second G\"odel incompleteness theorem to stably…

A first-order structure $\mathfrak{A}$ is called monadically stable iff every expansion of $\mathfrak{A}$ by unary predicates is stable. In this article we give a classification of the class $\mathcal{M}$ of $\omega$-categorical monadically…

We study compact complex manifolds $M$ admitting a conformal holomorphic Riemannian structure invariant under the action of a complex semi-simple Lie group $G$. We prove that if the group $G$ acts transitively and essentially, then $M$ is…

This is the first in a series of papers by the authors on the arborealization program. The main goal of the paper is the proof of uniqueness of arboreal models, defined as the closure of the class of smooth germs of Lagrangian submanifolds…

We study Tao's finitary viewpoint of convergence in metric spaces, as captured by the notion of metastability. We adopt the perspective of continuous model theory. We show that, in essence, metastable convergence with a given rate is the…

We study one-dimensional disordered systems with average non-invertible symmetries, where quenched disorder may locally break part of the symmetry while preserving it upon disorder averaging. A canonical example is the random…

Nowhere dense classes of graphs are classes of sparse graphs with rich structural and algorithmic properties, however, they fail to capture even simple classes of dense graphs. Monadically stable classes, originating from model theory,…

An attempt is made to bring into harmony two of the paradigms commonly used in the theory of continuous distributions of defects. It is shown that the common differential geometric apparatus is provided neatly by the theory of G-structures.…

Subgroup stability is a strong notion of quasiconvexity that generalizes convex cocompactness in a variety of settings. In this paper, we characterize stability of a subgroup by properties of its limit set on the Morse boundary. Given…

Hamiltonian perturbation theory is used to analyse the stability of f(R) models. The Hamiltonian equations for the metric and its momentum conjugate are written for f(R) Lagrangian in the presence of perfect fluid matter. The perturbations…