Related papers: Kato-Nakayama's comparison theorem and analytic lo…
In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result…
In this paper we give a proof of the Bloch-Kato conjecture relating motivic cohomology and etale cohomology. It is a corrected version of the paper with the same title which posted earlier.
We show a comparison theorem between log prismatic cohomology and log crystalline cohomology for a $p$-adic formal scheme with semistable reduction. Combined with the prismatic-\'etale comparison theorem recently proved by Tian, this…
We first exhibit counterexamples to some open questions related to a theorem of Sakai. Then we establish an extension theorem of Sakai type for separately holomorphic/meromorphic functions.
Test log-likelihood is commonly used to compare different models of the same data or different approximate inference algorithms for fitting the same probabilistic model. We present simple examples demonstrating how comparisons based on test…
We use the notion of topological data analysis to compare metrics on data sets. We provide two different motivating examples for this. The first of these is a point cloud data set that has $\mathbb{R}^2$ as its ambient space, and is…
This work is devoted to a comprehensive analysis of topological data analysis fortime series classification. Previous works have significant shortcomings, such aslack of large-scale benchmarking or missing state-of-the-art methods. In this…
We explain the motivation for looking for a predicative analogue of the notion of a topos and propose two definitions. For both notions of a predicative topos we will present the basic results, providing the groundwork for future work in…
We prove an improved version of the trace-Hardy inequality, so-called Kato's inequality, on the half-space in Finsler context. The resulting inequality extends the former one obtained by \cite{AFV} in Euclidean context. Also we discuss the…
We study etale topology and the notion of Azumaya algebra over a commutative ring constructively. As an application of the syntactic version of Barr's Theorem, we show the equivalence between two definitions of Azumaya algebra.
Ontology alignment is widely-used to find the correspondences between different ontologies in diverse fields.After discovering the alignments,several performance scores are available to evaluate them.The scores typically require the…
We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods.…
We provide an alternative proof of Lurie's result that the wide subcategory of the $\infty$-category of $\infty$-topoi spanned by the \'etale morphisms is closed under small colimits. Our proof is based on a new characterization of \'etale…
The purpose of this paper is to prove a basic $p$-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure $C$ of a $p$-adic field: $p$-adic pro-\'etale cohomology, in a stable range, can be…
We use the recently introduced \'etale open topology to prove several facts about large fields. We show that these facts lift to a very general topological setting.
We present a short and elementary proof of the Ajtai-Koml\'os-Tusn\'ady (AKT) optimal matching theorem in dimension 2 via Fourier analysis and a smoothing argument. The upper bound applies to more general families of samples, including…
We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…
We give a survey on eta invariants including methods of computation and applications in differential topology.
We construct cohomology theories for $(\varphi, \tau)$-modules, and study their relation with cohomology of $(\varphi, \Gamma)$-modules, as well as Galois cohomology. Our method is axiomatic, and can treat the \'etale case, the…
This paper deals with the comparison of two common types of equivalence groups of differential equations, and this gives rise to a number of results presented in the form of theorems. It is shown in particular that one type can be…