Related papers: Constructive and Predicative Locale Theory in Univ…
The purpose of this paper is to investigate RBF approximation with highly nonuniform centers. Recently, DeVore and Ron have developed a notion of the local density of a set of centers -- a notion that permits precise pointwise error…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…
We develop a theory of conically smooth stratified spaces and their smooth moduli, including a notion of classifying maps for tangential structures. We characterize continuous space-valued sheaves on these conically smooth stratified spaces…
We develop a stability theory for contractive local IFSs on compact metric spaces. Unlike the classical global setting, local systems may exhibit a richer symbolic and geometric structure, including code spaces that are not of finite type…
Many growth processes lead to intriguing stochastic patterns and complex fractal structures which exhibit local scale invariance properties. Such structures can often be described effectively by space-time trajectories of interacting…
We introduce a contravariant idempotent adjunction between (i) the category of ranked monads on $\mathsf{Set}$; and (ii) the category of internal categories and internal retrofunctors in the category of locales. The left adjoint takes a…
We develop the analog of crystalline Dieudonn\'e theory for p-divisible groups in the arithmetic of function fields. In our theory p-divisible groups are replaced by divisible local Anderson modules, and Dieudonn\'e modules are replaced by…
In this paper, we explain a simple and uniform construction of a smooth integral model associated to a quadratic, (anti)-hermitian, and (anti)-quaternionic hermitian lattice defined over an arbitrary local field. As one major application,…
Unsupervised non-rigid point cloud shape correspondence underpins a multitude of 3D vision tasks, yet itself is non-trivial given the exponential complexity stemming from inter-point degree-of-freedom, i.e., pose transformations. Based on…
To a topological groupoid endowed with an involution, we associate a topological groupoid of fixed points, generalizing the fixed-point subspace of a topological space with involution. We prove that when the topological groupoid with…
We define a new geometric object--the stack of local systems with restricted variation. We formulate a version of the categorical geometric Langlands conjecture that makes sense for any constructible sheaf theory (such as l-adic sheaves).…
We introduce a new topological encoding of executions of round-based, full-information distributed protocols via spectral spaces. Such protocols constitute a model of distributed computations which are functorially presented and englobe…
Critical points mark locations in the domain where the level-set topology of a scalar function undergoes fundamental changes and thus indicate potentially interesting features in the data. Established methods exist to locate and relate such…
Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone…
We provide a detailed analysis of the classical and quantized theory of a multiplet of inhomogeneous Klein-Gordon fields, which couple to the spacetime metric and also to an external source term; thus the solutions form an affine space.…
We discuss a novel framework for physical theories that is based on the principles of locality and operationalism. It generalizes and unifies previous frameworks, including the standard formulation of quantum theory, the convex operational…
We present a local framework for investigating non-unitary evolution groups pertinent to effective field theories in general semi-classical spacetimes. Our approach is based on a rigorous local stability analysis of the algebra of…
An equivariant topological field theory is defined on a cobordism category of manifolds with principal fiber bundles for a fixed (finite) structure group. We provide a geometric construction which for any given morphism $G \to H$ of finite…
Alignment between non-rigid stretchable structures is one of the most challenging tasks in computer vision, as the invariant properties are hard to define, and there is no labeled data for real datasets. We present unsupervised neural…
A density functional theory (DFT) approach to computing transition metal oxide heat of formation without adjustable parameters is presented. Different degrees of $d$-electron localization in oxides are treated within the DFT+$U$ approach…