Related papers: Sieving and the Erd{\H o}s-Kac theorem
We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…
The proofs first generated by automated theorem provers are far from optimal by any measure of simplicity. In this paper I describe a technique for simplifying automated proofs. Hopefully this discussion will stimulate interest in the…
We consider the observability problem for non-autonomous evolution systems (i.e., the operators governing the system depend on time). We introduce an averaged Hautus condition and prove that for skew-adjoint operators it characterizes exact…
A semi-process is an analog of the semi-flow for non-autonomous differential equations or inclusions. We prove an abstract result on the existence of measurable semi-processes in the situations where there is no uniqueness. Also, we allow…
The Erdos-Kac theorem, a foundational result in probabilistic number theory, states that the number of prime factors of an integer follows a Gaussian distribution. In this paper we develop and analyze probabilistic models for "random…
We study \L o\'s's theorem in a choiceless context. We introduce some variants of \L o\'s's theorem. These variants seem weaker than \L o\'s's theorem, but we prove that these are equivalent to \L o\'s's theorem.
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
We prove a common generalization to several mass partition results using hyperplane arrangements to split $\mathbb{R}^d$ into two sets. Our main result implies the ham-sandwich theorem, the necklace splitting theorem for two thieves, a…
In this paper, we seek a natural problem and a natural distribution of instances such that any $O(n^{c-\epsilon})$-time algorithm fails to solve most instances drawn from the distribution, while the problem admits an $n^{c+o(1)}$-time…
We consider arbitrary splits of field operators into two parts, and use the corresponding definition of normal ordering introduced by Evans and Steer. In this case the normal ordered products and contractions have none of the special…
Viewing Eratosthenes sieve as a discrete dynamic system, we show that every admissible instance of every admissible constellation of gaps arises and persists in Eratosthenes sieve. For an admissible constellation of length J, we show that…
In this paper, we extend a fixed point theorem due to Ciric to a cone metric space.
The aim of this note is to provide a short and self-contained proof of H\"ormander's theorem about the smoothness of transition probabilities for a diffusion under H\"ormander's "brackets condition". While both the result and the technique…
The Erd\"os-S\'os conjecture states that if $G$ is a graph with average degree more than $k-1$, then G contains every tree of $k$ edges. A spider is a tree with at most one vertex of degree more than 2. In this paper, we prove that…
It known from the work of Feigin-Tsygan, Weibel and Keller that the cohomology groups of a smooth complex variety X can be recovered from (roughly speaking) its derived category of coherent sheaves. In this paper we show that for a finite…
We develop synthetic notions of oracle computability and Turing reducibility in the Calculus of Inductive Constructions (CIC), the constructive type theory underlying the Coq proof assistant. As usual in synthetic approaches, we employ a…
We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system. Covered aspects are natural semantics, denotational…
We extend the conjecture on the derived equivalence and K-equivalence to the logarithmic case and prove it in the toric case.
The Erd\H{o}s-S\'{o}s Conjecture states that if $G$ is a simple graph of order $n$ with average degree more than $k-2,$ then $G$ contains every tree of order $k$. In this paper, we prove that Erd\H{o}s-S\'{o}s Conjecture is true for…
We show that a locally symmetric space of noncompact type and with finite volume is quasi-isometric to the euclidean cone over a finite simplicial complex. A detailed analysis of metric properties yields a proof of a conjecture of Siegel.