4,365 research outputs found
Tameness in generalized metric structures
We broaden the framework of metric abstract elementary classes (mAECs) in
several essential ways, chiefly by allowing the metric to take values in a
well-behaved quantale. As a proof of concept we show that the result of Boney
and Zambrano on (metric) tameness under a large cardinal assumption holds in
this more general context. We briefly consider a further generalization to
partial metric spaces, and hint at connections to classes of fuzzy structures,
and structures on sheaves
Generalized Fuzzy Torus and its Modular Properties
We consider a generalization of the basic fuzzy torus to a fuzzy torus with
non-trivial modular parameter, based on a finite matrix algebra. We discuss the
modular properties of this fuzzy torus, and compute the matrix Laplacian for a
scalar field. In the semi-classical limit, the generalized fuzzy torus can be
used to approximate a generic commutative torus represented by two generic
vectors in the complex plane, with generic modular parameter . The
effective classical geometry and the spectrum of the Laplacian are correctly
reproduced in the limit. The spectrum of a matrix Dirac operator is also
computed.Comment: v2: discussion and references added; v3: published versio
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Several logical operators are defined as dual pairs, in different types of
logics. Such dual pairs of operators also occur in other algebraic theories,
such as mathematical morphology. Based on this observation, this paper proposes
to define, at the abstract level of institutions, a pair of abstract dual and
logical operators as morphological erosion and dilation. Standard quantifiers
and modalities are then derived from these two abstract logical operators.
These operators are studied both on sets of states and sets of models. To cope
with the lack of explicit set of states in institutions, the proposed abstract
logical dual operators are defined in an extension of institutions, the
stratified institutions, which take into account the notion of open sentences,
the satisfaction of which is parametrized by sets of states. A hint on the
potential interest of the proposed framework for spatial reasoning is also
provided.Comment: 36 page
Spectral geometry with a cut-off: topological and metric aspects
Inspired by regularization in quantum field theory, we study topological and
metric properties of spaces in which a cut-off is introduced. We work in the
framework of noncommutative geometry, and focus on Connes distance associated
to a spectral triple (A, H, D). A high momentum (short distance) cut-off is
implemented by the action of a projection P on the Dirac operator D and/or on
the algebra A. This action induces two new distances. We individuate conditions
making them equivalent to the original distance. We also study the
Gromov-Hausdorff limit of the set of truncated states, first for compact
quantum metric spaces in the sense of Rieffel, then for arbitrary spectral
triples. To this aim, we introduce a notion of "state with finite moment of
order 1" for noncommutative algebras. We then focus on the commutative case,
and show that the cut-off induces a minimal length between points, which is
infinite if P has finite rank. When P is a spectral projection of , we work
out an approximation of points by non-pure states that are at finite distance
from each other. On the circle, such approximations are given by Fejer
probability distributions. Finally we apply the results to Moyal plane and the
fuzzy sphere, obtained as Berezin quantization of the plane and the sphere
respectively.Comment: Reference added. Minor corrections. Published version. 38 pages, 2
figures. Journal of Geometry and Physics 201
- …