Related papers: Presenting quotient locales
By the introduction of locally constant prefactorization algebras at a fixed scale, we show a mathematical incarnation of the fact that observables at a given scale of a topological field theory propagate to every scale over euclidean…
Looking at the world from above, it is possible to estimate many properties of a given location, including the type of land cover and the expected land use. Historically, such tasks have relied on relatively coarse-grained categories due to…
In these notes, we describe an interesting connection between unitary representations of Lie groups and nets of local algebras, as they appear in Algebraic Quantum Field Theory (AQFT). It is based on first translating the axioms for nets of…
We prove locality of superconformal algebras: every pluperfect superconformal algebra is spanned by coefficients of a finite family of mutually local distributions. We also introduce quasi-Poisson algebras and show that they can be used to…
With a commutative unital quantale $L$ as the truth value table, this study focuses on the representations of $L$-domains by means of $L$-closure spaces. First, the notions of interpolative generalized $L$-closure spaces and directed closed…
The article is devoted to the question whether the orbit space of a compact linear group is a topological manifold and a homological manifold. In the paper, the case of a simple three-dimensional group is considered. An upper bound is…
It is well known that inverse semigroups are closely related to \'etale groupoids. In particular, it has recently been shown that there is a (non-functorial) equivalence between localic \'etale groupoids, on one hand, and complete and…
In this paper we introduce the notion of cofrontal mappings, as the dual objects to frontal mappings, and study their basic local and global properties. Cofrontals are very special mappings and far from generic nor stable except for the…
Given a collection S of subsets of some set U, and M a subset of U, the set cover problem is to find the smallest subcollection C of S such that M is a subset of the union of the sets in C. While the general problem is NP-hard to solve,…
Let $p$ be a prime. We discuss methods of solution of congruences modulo $p^n$ using $p$-adic numbers; these methods are similar to computations with real numbers (local methods). Examples of relations between local and global methods are…
Real-world time series data are often generated from several sources of variation. Learning representations that capture the factors contributing to this variability enables a better understanding of the data via its underlying generative…
Counterfactual explanations have been a popular method of post-hoc explainability for a variety of settings in Machine Learning. Such methods focus on explaining classifiers by generating new data points that are similar to a given…
Bipartite graphs, formed by two vertex layers, arise as a natural fit for modeling the relationships between two groups of entities. In bipartite graphs, common neighborhood computation between two vertices on the same vertex layer is a…
For the generalized eigenvalue problem, a quotient function is devised for estimating eigenvalues in terms of an approximate eigenvector. This gives rise to an infinite family of quotients, all entirely arguable to be used in estimation.…
Grothendieck point residue is considered in the context of computational complex analysis. A new effective method is proposed for computing Grothendieck point residues mappings and residues. Basic ideas of our approach are the use of…
We propose an empirical formula for the problem of local distribution of rational points of bounded height. This is a local version of the Batyrev-Manin-Peyre principle. We verify this for a toric surface, on which cuspidal rational curves…
We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We…
A few recent innovations of applicability of standard textbook Quantum Theory are reviewed. The three-Hilbert-space formulation of the theory (known from the interacting boson models in nuclear physics) is discussed in its slightly…
The purpose of this paper is to verify a conjecture of Gross under mild hypothesis: all reduced, separated, and excellent schemes have the resolution property away from a closed subset of codimension at least three. Our technique uses…
We describe a hidden surface removal algorithm for two-dimensional layered scenes built from arbitrary primitives, particularly suited to interaction and animation in rich scenes (for example, in illustration). The method makes use of a…