Related papers: The model theory of Commutative Near Vector Spaces
Uniformly finite homology is a coarse invariant for metric spaces; in particular, it is a quasi-isometry invariant for finitely generated groups. In this article, we study uniformly finite homology of finitely generated amenable groups and…
We consider approximation problems for a special space of d variate functions. We show that the problems have small number of active variables, as it has been postulated in the past using concentration of measure arguments. We also show…
We define several topological spaces whose points are quivers with a given infinite vertex set $X$. In the special case when $X$ is countably infinite, we show that two of the spaces of interest are homeomorphic to the Baire space…
In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized…
The prototype of mutually independent systems are systems which are localized in spacelike separated regions. In the framework of locally covariant quantum field theory we show that the commutativity of observables in spacelike separated…
Some basic theorems on Killing vector fields are reviewed. In particular, the topic of a constant-curvature space is examined. A detailed proof is given for a theorem describing the most general form of the metric of a homogeneous isotropic…
A conceptual variable is any variable defined by a person or by a group of persons. Such variables may be inaccessible, meaning that they cannot be measured with arbitrary accuracy on the physical system under consideration at any given…
In this paper we use finite vector spaces (finite dimension, over finite fields) as a non-standard computational model of linear logic. We first define a simple, finite PCF-like lambda-calculus with booleans, and then we discuss two finite…
We study the first-order almost-sure theories for classes of finite structures that are specified by homomorphically forbidding a set $\mathcal{F}$ of finite structures. If $\mathcal{F}$ consists of undirected graphs, a full description of…
Vector fields in the expanding Universe are considered within the multidimensional theory of General Relativity. Vector fields in general relativity form a three-parametric variety. Our consideration includes the fields with a nonzero…
We address problems associated with compactification near and on the light front. In perturbative scalar field theory we illustrate and clarify the relationships among three approaches: (1) quantization on a space-like surface close to a…
We provide convex body domination results for the generalized vector-valued commutator of those operators that admit specific forms of convex body domination themselves. We also prove some strong type estimates and other consequences of…
This paper examines various kinds of subspaces of the non-commutative spaces that are modelled on quasi-projective commutative schemes. It is shown how intersections and unions of weakly closed subspaces, closed subspaces, their weakly open…
This article gives an overview of a normative computational theory of visual receptive fields, by which idealized functional models of early spatial, spatio-chromatic and spatio-temporal receptive fields can be derived in an axiomatic way…
A thorough analysis is made of the Fourier coefficients for vector-valued modular forms associated to three-dimensional irreducible representations of the modular group. In particular, the following statement is verified for all but a…
We define a notion of morphism for quotient vector bundles that yields both a category $\textit{QVBun}$ and a contravariant global sections functor $C:\textit{QVBun}^{\textrm{op}}\to\textit{Vect}$ whose restriction to trivial vector bundles…
In this paper, vector ultrametric spaces are introduced and a fixed point theorem is given for correspondences. Our main result generalizes a known theorem in ordinary ultrametric spaces.
At small lattice spacing, or when using e.g. overlap fermions, lattice QCD simulations tend to become stuck in a single topological sector. Physical observables then differ from their full QCD counterparts by 1/V corrections, where V is the…
We study some topological spaces that can be considered as hyperspaces associated to noncommutative spaces. More precisely, for a NC compact space associated to a unital C*-algebra, we consider the set of closed projections of the second…
Moduli of vector bundles on stacky curves behave similarly to moduli of vector bundles on curves, except there are additional numerical invariants giving many different notions of stability. We apply the existence criterion for good moduli…