Related papers: Monoidal Symmetric Models
The Randall-Sundrum model of warped geometry in a five-dimensional scenario, aimed at explaining the hierarchy between the Planck and electroweak scales, is intrinsically unstable in its minimal form due to negative tension of the visible…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
The vacuum solutions around a spherically symmetric and static object in the Starobinsky model are studied with a perturbative approach. The differential equations for the components of the metric and the Ricci scalar are obtained and…
We consider the problem of building inhomogeneous cosmological models in scalar-tensor theories of gravity. This starts by splitting the field equations of these theories into constraint and evolution equations, and then proceeds by…
Under large cardinal hypotheses beyond the Kunen inconsistency -- hypotheses so strong as to contradict the Axiom of Choice -- we solve several variants of the generalized continuum problem and identify structural features of the levels…
We uncover a combinatorial structure governing the differential equations satisfied by wavefunction coefficients of scalar fields with generic masses in de Sitter space. Using an integral representation of the massive mode functions, we…
We consider matrix-model representations of the meander problem which describes, in particular, combinatorics for foldings of closed polymer chains. We introduce a supersymmetric matrix model for describing the principal meander numbers.…
In this paper we prove that a morphism between schemes or stacks naturally corresponds to a symmetric monoidal functor between stable infinity-categories of quasi-coherent complexes. It can be viewed as a derived analogue of Tannaka…
We consider the emergence of large-scale cosmological expansion in scalar-tensor theories of gravity. This is achieved by modelling sub-horizon regions of space-time as weak-field expansions around Minkowski space, and then subsequently…
We introduce stratified toposes, which are toposes that are stratified by a suitable hierarchy of universes. The term `stratified topos' recalls the notion of stratified pseudotopos of Moerdijk and Palmgren (2002). However, the details of…
In this paper we introduce and develop the theory of FI-modules. We apply this theory to obtain new theorems about: - the cohomology of the configuration space of n distinct ordered points on an arbitrary (connected, oriented) manifold -…
We study the consequences of the $f(R/\Box)$ gravity models for the Solar system and the large scale structure of the universe. The spherically symmetric solutions can be used to obtain bounds on the constant and the linear parts of the…
In recent years, explainable machine learning methods have been very successful. Despite their success, most explainable machine learning methods are applied to black-box models without any domain knowledge. By incorporating domain…
In a higher-order modified teleparallel theory cosmological we present analytical cosmological solutions. In particular we determine forms of the unknown potential which drives the scalar field such that the field equations form a Liouville…
We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify…
Theoretical and observational challenges to standard cosmology such as the cosmological constant problem and tensions between cosmological model parameters inferred from different observations motivate the development and search of new…
In this note we show that Voevodsky's univalence axiom holds in the model of type theory based on symmetric cubical sets. We will also discuss Swan's construction of the identity type in this variation of cubical sets. This proves that we…
We construct spherically symmetric solutions to the Einstein-Euler equations, which contains a positive cosmological constant, say, the Einstein-Euler-de Sitter equations. We assume a realistic barotropic equation of state. Equilibria of…
For an infinity of number rings we express stable motivic invariants in terms of topological data determined by the complex numbers, the real numbers, and finite fields. We use this to extend Morel's identification of the endomorphism ring…
We study the notion of regular singularities for parameterized complex ordinary linear differential systems, prove an analogue of the Schlesinger theorem for systems with regular singularities and solve both a parameterized version of the…