Related papers: Uniform Martin's conjecture, locally

Beurling slow variation is generalized to Beurling regular variation. A Uniform Convergence Theorem, not previously known, is proved for those functions of this class that are measurable or have the Baire property. This permits their…

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this…

We give a direct proof of the local $Tb$ Theorem, in the Euclidean setting, and under the assumption of dual exponents. This Theorem provides a flexible framework for proving the boundedness of a Calder\'on-Zygmund operator, supposing the…

We consider the concept of a local set of inference rules. A local rule set can be automatically transformed into a rule set for which bottom-up evaluation terminates in polynomial time. The local-rule-set transformation gives…

Van Lambalgen's theorem states that a pair $(\alpha,\beta)$ of bitsequences is Martin-L\"of random if and only if $\alpha$ is Martin-L\"of random and $\beta$ is Martin-L\"of random relative to $\alpha$. In [Information and Computation 209.2…

We describe the set of points of the trianguline variety over a given local Galois representation. Global analogues describing companion points in eigenvariety by [Bre14] and [HN17], can be thought of as a rational analogue to the weight…

We reformulate slightly Russell's notion of typicality, so as to eliminate its circularity and make it applicable to elements of any first-order structure. We argue that the notion parallels Martin-L\"{o}f (ML) randomness, in the sense that…

We prove the max-martingale conjecture given in recent article with Marc Yor. We show that for a continuous local martingale $(N\_t:t\ge 0)$ and a function $H:R x R\_+\to R$, $H(N\_t,\sup\_{s\leq t}N\_s)$ is a local martingale if and only…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

We introduce an analog of the theory of Borel equivalence relations in which we study equivalence relations that are decidable by an infinite time Turing machine. The Borel reductions are replaced by the more general class of infinite time…

In this paper we give a proof of the Nirenberg-Treves conjecture: that local solvability of principal type pseudo-differential operators is equivalent to condition ($\Psi$). This condition rules out certain sign changes of the imaginary…

In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it the necessary and sufficient conditions of optional Doob decomposition in the discrete case. This…

Reimann and Slaman initiated the study of sequences that are Martin-L\"of random with respect to a continuous measure, establishing fundamental facts about NCR, the collection of sequences that are not Martin-L\"of random with respect to…

Recently, a new conjecture on the degrees of the irreducible Brauer characters of a finite group was presented by the second author. In this paper we propose a 'local' version of this conjecture for blocks B of finite groups, giving a lower…

According to the theory of relativity and causality, a special type of correlation beyond quantum mechanics is possible in principle under the name of {\it non-local box}. The concept has been introduced from the principle of non-locality…

We show that a version of Martin-L\"of type theory with an extensional identity type former I, a unit type N1 , Sigma-types, Pi-types, and a base type is a free category with families (supporting these type formers) both in a 1- and a…

There are several forms of irreducibility in computing systems, ranging from undecidability to intractability to nonlinearity. This paper is an exploration of the conceptual issues that have arisen in the course of investigating speed-up…

We prove a duality theorem the computation of certain Bellman functions is usually based on. As a byproduct, we obtain sharp results about the norms of monotonic rearrangements. The main novelty of our approach is a special class of…

The asymptotic Samuel function generalizes to arbitrary rings the usual order function of a regular local ring. In this paper, we use this function to introduce the notion of the Samuel slope of a Noetherian local ring, and we study some of…

Zurek's derivation of Born's rule using envariance (invariance due to entanglement) is considered to capture the probability in full generality, but only as applied to measurement of a quantum observable. Contrariwise, textbook formulations…