Related papers: Unimodularity unified
We clarify the relationship between unimodulariy in the sense of Hrushovski and measurability in the sense of Macpherson and Steinhorn, correcting some statements in the literature. In particular we point out that the notions coincide for…
A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with…
In this work, we define the notion of unimodular random measured metric spaces as a common generalization of various other notions. This includes the discrete cases like unimodular graphs and stationary point processes, as well as the…
We introduce notions of stationarily ordered types and theories; the latter generalizes weak o-minimality and the first is a relaxed version of weak o-minimality localized at the locus of a single type. We show that forking, as a binary…
It has been hypothesized that some form of "modular" structure in artificial neural networks should be useful for learning, compositionality, and generalization. However, defining and quantifying modularity remains an open problem. We cast…
Simple argument in favour of unitarity, to all orders, of space-like noncommutative theory is given.
Different and distinct notions of regularity for modules exist in the literature. When these notions are restricted to commutative rings, they all coincide with the well-known von-Neumann regularity for rings. We give new characterizations…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…
The symmetries of Unimodular Gravity are clarified somewhat.
Unimodular Gravity is normally assumed to be equivalent to General Relativity for all matters but the character of the Cosmological Constant. Here we discuss this equivalence in the presence of a non-minimally coupled scalar field. We show…
The irreducible alternative superbimodules are studied. The complete classification is obtained for even bimodules of arbitrary dimension and for finite-dimensional irreducible superbimodules over an algebraically closed field.
We explicitly construct and list all unitary superconformal multiplets, along with their index contributions, in five and six dimensions. From this data, we uncover various unifying themes in the representation theory of five- and…
We revisit the notion of flatness for semimodules over semirings. In particular, we introduce and study a new notion of uniformly flat semimodules based on the exactness of the tensor functor. We also investigate the relations between this…
This work introduces two new notions of dimension, namely the unimodular Minkowski and Hausdorff dimensions, which are inspired from the classical analogous notions. These dimensions are defined for unimodular discrete spaces, introduced in…
We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…
Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using…
Notions of ordinal submodularity/supermodularity have been introduced and studied in the literature. We consider several classes of ordinally submodular functions defined on finite Boolean lattices and give characterizations of the set of…
It is shown that certain transformations on quiver-dimension vector pairs induce isomorphisms on the corresponding moduli spaces of quiver representations and map a stable dimension vector to a stable dimension vector. This result combined…
We prove the Zil'ber Trichotomy Principle for all 1-dimensional structures which are definable in o-minimal ones. In particular, we show that any stable 1-dimensional structure is necessarily locally modular. The main tool is a theory for…