Related papers: Differential structure associated to axiomatic Sob…
The literature in persistent homology often refers to a "structure theorem for finitely generated graded modules over a graded principal ideal domain". We clarify the nature of this structure theorem in this context.
We construct a complex of differential forms on a local $C^\infty$-ringed space. The two main classes of spaces we have in mind are differential spaces in the sense of Sikorski and $C^\infty$-schemes. Just as in the case of manifolds the…
We are going to introduce a new algebraic, analytic structure that is a kind of generalization of the Hausdorff dimension and measure. We give many examples and study the basic properties and relations of such systems.
A standard approach to model reduction of large-scale higher-order linear dynamical systems is to rewrite the system as an equivalent first-order system and then employ Krylov-subspace techniques for model reduction of first-order systems.…
Systems of parabolic, possibly degenerate parabolic SPDEs are considered. Existence and uniqueness are established in Sobolev spaces. Similar results are obtained for a class of equations generalizing the deterministic first order symmetric…
In the paper "An Abelian Loop for Non-Composites" (arXiv:110.14716), we introduced a group-like structure consisting of odd prime numbers and 1, with properties that allowed us to prove analogous results to well known theorems in Number…
The present note contains a review of $p$-energies and Sobolev spaces on metric measure spaces that carry a strongly local regular Dirichlet form. These Sobolev spaces are then used to generalize some basic results from the calculus of…
In this paper, we develop the theory of Sobolev spaces on locally finite graphs, including completeness, reflexivity, separability, and Sobolev inequalities. Since there is no exact concept of dimension on graphs, classical methods that…
We introduce a topology on the space of all isomorphism types represented in a given class of countable models, and use this topology as an aid in classifying the isomorphism types. This mixes ideas from effective descriptive set theory and…
We investigate the causal structure of spacetimes $(M, g)$ for which the metric $g$ is singular on a set of points.
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
We establish necessary and sufficient conditions guaranteeing compactness of embeddings of fractional Sobolev spaces, Besov spaces, and Triebel-Lizorkin spaces, in the general context of quasi-metric-measure spaces. Although stated in the…
We prove an existence and uniqueness theorem for second-order parabolic equations in the whole space with constant zeroth-order coefficient in mixed-norm Morrey-Sobolev spaces. The main coefficient $a$ is assumed to be measurable in $t$ and…
The aim of this text is to extend the theory of generalized ordinary differential equations to the setting of metric spaces. We present existence and uniqueness theorems that significantly improve previous results even when restricted back…
Cubical type theory provides a constructive justification to certain aspects of homotopy type theory such as Voevodsky's univalence axiom. This makes many extensionality principles, like function and propositional extensionality, directly…
We study the structure of Sobolev spaces on the cartesian/warped products of a given metric measure space and an interval. Our main results are: - the characterization of the Sobolev spaces in such products - the proof that, under natural…
This is an overview of higher structural constructions in physics. The main motivations of our current attempt are as follows: (i) to provide a brief introduction to derived algebraic geometry, (ii) to understand how derived objects…
We study different notions of connected constructive metric spaces. They differ the types of connected components and how different components relate to each other. These notions are equivalent in classical point set topology but they give…
We construct a universal space for the class of proper metric spaces of bounded geometry and of given asymptotic dimension. As a consequence of this result, we establish coincidence of the asymptotic dimension with the asymptotic inductive…
In this paper we study Triebel-Lizorkin-type spaces with variable smoothness and integrability. We show that our space is well-defined, i.e., independent of the choice of basis functions and we obtain their atomic characterization. Moreover…