Related papers: An equidistribution theorem for biraitonal maps of…

We prove effective equidistribution theorems, with polynomial error rate, for orbits of the unipotent subgroups of $\operatorname{SL}_2(\mathbb R)$ in arithmetic quotients of $\operatorname{SL}_2(\mathbb C)$ and $\operatorname{SL}_2(\mathbb…

We set up operadic foundations for equivariant iterated loop space theory. We start by building up from a discussion of the approximation theorem and recognition principle for V-fold loop G-spaces to several avatars of a recognition…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

We combine effective mixing and Duke's Theorem on closed geodesics on the modular surface to show that certain subcollections of the collection of geodesics with a given discriminant still equidistribute. These subcollections are only…

We introduce a sound and complete equational theory capturing equivalence of discrete probabilistic programs, that is, programs extended with primitives for Bernoulli distributions and conditioning, to model distributions over finite sets…

In this paper we investigate the distribution of the set of values of a linear map at integer points on a quadratic surface. In particular, it is shown that subject to certain algebraic conditions, this set is equidistributed. This can be…

We address two sets of long-standing open questions in probability theory, from a computational complexity perspective: divisibility of stochastic maps, and divisibility and decomposability of probability distributions. We prove that finite…

In [GW09a] we conjectured that uniformity of degree $k-1$ is sufficient to control an average over a family of linear forms if and only if the $k$th powers of these linear forms are linearly independent. In this paper we prove this…

Let $\varphi_t : M \to M$ be a flow on a smooth closed connected manifold $M$ that preserves and expands a foliation $F$. We establish a theorem of propagation of regularity along the leaves of $F$ for sections of vector bundles satisfying…

We prove that a $C^{\infty}$-generic area-preserving diffeomorphism of a closed, oriented surface admits a sequence of equidistributed periodic orbits. This is a quantitative refinement of the recently established generic density theorem…

We prove the several variable version of the classical equidistribution theorem for Fekete points of a compact subset of the complex plane, which settles a well-known conjecture in pluri-potential theory. The result is obtained as a special…

We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…

We deduce a weighted equidistribution theorem of the Satake parameters of Siegel cusp forms on Sp_2({\mathbb Z})with growing even weights.

Bochner's theorem characterizes positive definite functions on groups through the positivity of their Fourier transforms and plays a fundamental role in Harmonic analysis. While Bochner-type results are known for certain classes of…

We derive a general fluctuation theorem for quantum maps. The theorem applies to a broad class of quantum dynamics, such as unitary evolution, decoherence, thermalization, and other types of evolution for quantum open systems. The theorem…

We establish an equidistribution theorem for the zeros of random holomorphic sections of high powers of a positive holomorphic line bundle. The equidistribution is associated with a family of singular moderate measures. We also give a…

We construct $d$-closed and $dd^c$-closed positive currents associated to a holomorphic map $\phi$ via cluster points of normalized weighted truncated image currents. They are constructed using analogues of the Ahlfors length-area…

We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.

Our contribution is a bounded cubic compilation theorem. For each fixed resource parameter $k$, syntactic proof checking at resource level $k$ is faithfully represented by a finite bounded-domain system of cubic polynomial equations. Every…

For a smooth expanding circle map, we show that the empirical distribution of Lyapunov exponents of periodic points of any fixed period is close to normal, with an error that decreases as the period grows. This establishes a version of the…