Related papers: Constructive and Predicative Locale Theory in Univ…

Phonons are usually introduced by choosing a local displacement field. This paper keeps that local description, but identifies the global geometric object represented by it. The aim is not to change the local acoustic equations, but to…

In this paper, we give a topological version of Scott convergence theorem for locally hypercompact spaces. We introduce the notion of $\mathcal{S}^*_X$-convergence on a $T_0$ topological space $X$, and define the notion of finitely…

Density functional theory augmented with a Hubbard correction (DFT+U) is widely used to treat localized electronic states, but its predictions are often sensitive to the choice of the local projection space defining the correlated subspace.…

The goal of generative phonology, as formulated by Chomsky and Halle (1968), is to specify a formal system that explains the set of attested phonological strings in a language. Traditionally, a collection of rules (or constraints, in the…

We investigate the connection between the spatiality of locale products and the earlier studies of the author on the locally fine coreflection of the products of uniform spaces. After giving a historical introduction and indicating the…

Locally solid Riesz spaces have been widely investigated in the past several decades; but locally solid topological lattice-ordered groups seem to be largely unexplored. The paper is an attempt to initiate a relatively systematic study of…

We provide a systematic, thorough treatment of the foundations of probability theory and stochastic processes along the lines of E. Bishop's constructive analysis. Every existence result presented shall be a construction; and the input…

Uncertainty estimation in machine learning has traditionally focused on the prediction stage, aiming to quantify confidence in model outputs while treating learned representations as deterministic and reliable by default. In this work, we…

We describe the construction of theta summable and finitely summable spectral triples associated to Mumford curves and some classes of higher dimensional buildings. The finitely summable case is constructed by considering the stabilization…

Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…

We propose a new framework for modeling stochastic local volatility, with potential applications to modeling derivatives on interest rates, commodities, credit, equity, FX etc., as well as hybrid derivatives. Our model extends the…

We define a new concept of local states in the framework of algebraic quantum field theory (AQFT). Local states are a natural generalization of states and give a clear vision of localization in the context of QFT. In terms of them, we can…

A recently proposed criterion for the existence of local quantum fields with a prescribed factorizing scattering matrix is verified in a non-trivial model, thereby establishing a new constructive approach to quantum field theory in a…

Although logarithmic conformal field theories (LCFTs) are known not to factorise many previous findings have only been formulated on their chiral halves. Making only mild and rather general assumptions on the structure of an chiral LCFT we…

In this paper we consider general probabilistic theories that pertain to circuits which satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region…

We investigate partial functions and computability theory from within a constructive, univalent type theory. The focus is on placing computability into a larger mathematical context, rather than on a complete development of computability…

This work addresses an efficient Global-Local approach supplemented with predictor-corrector adaptivity applied to anisotropic phase-field brittle fracture. The phase-field formulation is used to resolve the sharp crack surface topology on…

We design Local LMO - a new projection-free gradient-type method for constrained optimization. The key algorithmic idea is to replace the global linear minimization oracle over the constraint set used by Frank-Wolfe (FW) with a local linear…

We introduce a topology, which we call the regional topology, on the space of all real functions on a given locally compact metric space. Next we obtain a new versions of Schauder's fixed point theorem and Ascoli's theorem. We use these…

This paper introduces the localized sparsifying preconditioner for the pseudospectral approximations of indefinite systems on periodic structures. The work is built on top of the recently proposed sparsifying preconditioner with two major…