Related papers: Basic Subtoposes of the Effective Topos
In 1968 Tate introduced a new approach to residues on algebraic curves, based on a certain ring of operators that acts on the completion at a point of the function field of the curve. This approach was generalized to higher dimensional…
Suppose $X$ is a locally solid vector lattice. It is known that there are several non-equivalent spaces of bounded operators on $X$. In this paper, we consider some situations under which these classes of bounded operators form locally…
Motivated by a recent result of Sakai, we define a new selection operator for covers of topological spaces, inducing new selection hypotheses. We initiate a systematic study of the new hypotheses. Some intriguing problems remain open.
This paper first defines operators that are "well-localized" with respect to a pair of accretive functions and establishes a global two-weight Tb theorem for such operators. Then it defines operators that are "well-localized" with respect…
In this paper, for symplectic and split odd special orthogonal groups, we develop an account of theory on the intersection problem of local Arthur packets. Specifically, following Atobe's reformulation on M{\oe}glin's construction of local…
We continue a line of study about some local versions of Bishop-Phelps-Bollob\'as type properties for bounded linear operators. We introduce and focus our attention on two of these local properties, which we call L$_{p, o}$ and L$_{o, p}$,…
We introduce the notions of topological entropy of a formal language and of a topological automaton. We show that the entropy function is surjective and bound the entropy of languages accepted by deterministic {\epsilon}-free push-down…
Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification…
We give a valuative criterion for when a smooth algebraic stack with a separated good moduli space is the quotient of a separated Deligne-Mumford stack by a torus. For doing so, we introduce a new class of morphisms, the so-called effective…
A topological measure on a locally compact space is a set function on open and closed subsets which is finitely additive on the collection of open and compact sets, inner regular on open sets, and outer regular on closed sets. Almost all…
This paper introduces a local optimization-based approach to test statistical hypotheses and to construct confidence intervals. This approach can be viewed as an extension of bootstrap, and yields asymptotically valid tests and confidence…
Proper splittings of operators are commonly used to study the convergence of iterative processes. In order to approximate solutions of operator equations, in this article we deal with proper splittings of closed range bounded linear…
We introduce a general difference quotient representation for non-local operators associated with a first-order linear operator. We establish new local to non-local estimates and strong localization principles in various spaces of…
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…
In this paper, we define locally matchable subsets of a group which is derived from the concept of matchings in groups and used as a tool to give alternative proofs for existing results in matching theory. We also give the linear analogue…
This paper introduces effectful toposes as an extension of the effective topos and investigates their structure relative to Lawvere-Tierney topologies. First, we formulate effectful toposes by lifting the evidenced frame, which is a…
We characterize when a subfactor $N\subseteq M$ is oracle computable relative to a presentation of the ambient factor $M$ in terms of computability of the Jones basic construction, in terms of computable Pismner-Popa bases, and in terms of…
Optimal path planning is prone to convergence to local, rather than global, optima. This is often the case for mobile manipulators due to nonconvexities induced by obstacles, robot kinematics and constraints. This paper focuses on planning…
A large number of different feature detectors has been proposed so far. Any existing approach presents strengths and weaknesses, which make a detector optimal only for a limited range of applications. A tool capable of selecting the optimal…
We establish square function estimates for integral operators on uniformly rectifiable sets by proving a local $T(b)$ theorem and applying it to show that such estimates are stable under the so-called big pieces functor. More generally, we…