Related papers: 'Hausdorff distance' via conical cocompletion

We show that for $\gg K^2$ of the half-integral weight Hecke cusp forms in the Kohnen plus subspaces with weight bounded by a large parameter $K$, the number of "real" zeroes grows at the expected rate. A key technical step in the proof is…

We show that an extremely generic class of two-dimensional conformal field theories (CFTs) contains a sector described by the Schwarzian theory. This applies to theories with no additional symmetries and large central charge, but does not…

For an infinite set $X$, a closed under finite unions family $\mathcal{Z}$ with $[X]^{<\omega}\subseteq\mathcal{Z}\subseteq\mathcal{P}(X)$, and any $\mathcal{A}\subseteq\mathcal{P}(X)$, the topology…

We generalize the Hopf algebras of free quasisymmetric functions, quasisymmetric functions, noncommutative symmetric functions, and symmetric functions to certain representations of the category of all finite Coxeter systems and its dual…

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice $L$. These notions prove to have a good behavior when $L$ is a co-Heyting algebra. In this case the codimension gives rise…

We study the class of all algebras that are isotopic to a Hurwitz algebra. Isomorphism classes of such algebras are shown to correspond to orbits of a certain group action. A complete, geometrically intuitive description of the category of…

Let $K$ be a mixed characteristic complete discrete valuation field with perfect residue field $k$. Let $X$ be a variety over $k$, $Y$ be an open of $X$, $Y'$ be an open of $Y$ dense in $X$. We extend Kedlaya's full faithfulness as follows…

Given a class Phi of weights, we study the following classes: Phi^+ of Phi-flat weights which are the psi for which psi-colimits commute in the base V with limits with weights in Phi; and Phi^-, dually defined, of weights psi for which…

The goal of this paper is to define a certain Chow weight structure for the category of Voevodsky's motivic complexes with integral coefficients (as described by Cisinski and Deglise) over any excellent finite-dimensional separated scheme…

Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…

Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…

This paper develops a general theory of canonical bases, and how they arise naturally in the context of categorification. As an application, we show that Lusztig's canonical basis in the whole quantized universal enveloping algebra is given…

Given a Hopf algebra $A$ graded by a discrete group together with an action of the same group preserving the grading, we define a new Hopf algebra, which we call the graded twisting of $A$. If the action is adjoint, this new Hopf algebra is…

We show that the octonions are a twisting of the group algebra of Z_2 x Z_2 x Z_2 in the quasitensor category of representations of a quasi-Hopf algebra associated to a group 3-cocycle. We consider general quasi-associative algebras of this…

We show that if the entropy of any closed hypersurface is close to that of a round hyper-sphere, then it is close to a round sphere in Hausdorff distance. Generalizing the result of \cite{BW1} to higher dimensions.

We prove a long exact sequence in KK-theory for both full and reduced amalgamated free products in the presence of conditional expectations. In the course of the proof, we established the KK-equivalence between the full amalgamated free…

A theorem by Wolff states that weights defined on a measurable subset of $\mathbb{R}^n$ and satisfying a Muckenhoupt-type condition can be extended into the whole space as Muckenhoupt weights of the same class. We give a complete and…

Let Z be a so-called well-behaved percolation, i.e. a certain random closed set in the hyperbolic plane, whose law is invariant under all isometries; for example the covered region in a Poisson Boolean model. The Hausdorff-dimension of the…

Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…