Related papers: lim+, delta+, and Non-Permutability of beta-Steps
We introduce and study a family of $(q,t)$-deformed discrete $N$-particle beta ensembles, where $q$ and $t$ are the parameters of Macdonald polynomials. The main result is the existence of a large-$N$ limit transition leading to random…
Cut-elimination is the bedrock of proof theory. It is the algorithm that eliminates cuts from a sequent calculus proof that leads to cut-free calculi and applications. Cut-elimination applies to many logics irrespective of their semantics.…
Slot and van Emde Boas' weak invariance thesis states that reasonable machines can simulate each other within a polynomially overhead in time. Is lambda-calculus a reasonable machine? Is there a way to measure the computational complexity…
In this work we derive limit theorems for trawl processes. First,we study the asymptotic behaviour of the partial sums of the discretized trawl process $(X_{i\Delta_{n}})_{i=0}^{\lfloor nt\rfloor-1}$, under the assumption that as…
Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…
Let $d(n)$ be the number of divisors of $n$, let $$ \Delta(x) := \sum_{n\le x}d(n) - x(\log x + 2\gamma -1) $$ denote the error term in the classical Dirichlet divisor problem, and let $\zeta(s)$ denote the Riemann zeta-function. Several…
The convex transform order is one way to make precise comparison between the skewness of probability distributions on the real line. We establish a simple and complete characterisation of when one Beta distribution is smaller than another…
The main observational equivalences of the untyped lambda-calculus have been characterized in terms of extensional equalities between B\"ohm trees. It is well known that the lambda-theory H*, arising by taking as observables the head normal…
Let $d(n)$ be the Dirichlet divisor function and $\Delta(x)$ denote the error term of the sum $\sum_{n\leqslant x}d(n)$ for a large real variable $x$. In this paper we focus on the sum $\sum_{p\leqslant x}\Delta^2(p)$, where $p$ runs over…
We consider the boundary value problem \begin{equation} - \Delta u = \lambda c(x)u+ \mu(x) |\nabla u|^2 + h(x), \qquad u \in H^1_0(\Omega) \cap L^{\infty}(\Omega), \leqno{(P_{\lambda})} \end{equation} where $\Omega \subset \R^N, N \geq 3$…
Given any collection F of computable functions over the reals, we show that there exists an algorithm that, given any L_F-sentence \varphi containing only bounded quantifiers, and any positive rational number \delta, decides either "\varphi…
Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of acceleration techniques has been proposed. However, so far all of them have been monolithic, i.e., a…
The usual $\epsilon,\delta$-definition of the limit of a function (whether presented at a rigorous or an intuitive level) requires a "candidate $L$" for the limit value. Thus, we have to start our first calculus course with "guessing"…
The study of discrete-time stochastic processes on the half-line with mean drift at $x$ given by $\mu_1 (x) \to 0$ as $x \to \infty$ is known as Lamperti's problem. We give sharp almost-sure bounds for processes of this type in the case…
Most of theoretical physics is based on the mathematics of functions of a real or a complex variable; yet we frequently are drawn to try extending our reach to include quaternions. The non-commutativity of the quaternion algebra poses…
The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules. Terms represent functions and this allows for the…
We consider uniform random permutations of length $n$ conditioned to have no cycle longer than $n^\beta$ with $0<\beta<1$, in the limit of large $n$. Since in unconstrained uniform random permutations most of the indices are in cycles of…
The Central Limit Theorem (CLT) establishes that sufficiently large sequences of independent and identically distributed random variables converge in probability to a normal distribution. This makes the CLT a fundamental building block of…
For a generalized step reinforced random walk, starting from the origin, the first step is taken according to the first element of an innovation sequence. Then in subsequent epochs, it recalls a past epoch with probability proportional to a…
Let $a>1$ be an integer. Denote by $l_a(n)$ the multiplicative order of $a$ modulo integer $n\geq 1$. We prove that there is a positive constant $\delta$ such that if $x^{1-\delta}\log^3 x = o(y)$, then $$ \frac1y \sum_{a<y} \frac1x…