Related papers: A new exponent of simultaneous rational approximat…

This article describes a sequence of rational functions which converges locally uniformly to the zeta function. The numerators (and denominators) of these rational functions can be expressed as characteristic polynomials of matrices that…

We consider (logical) reasoning for regular expressions with lookahead (REwLA). In this paper, we give an axiomatic characterization for both the (match-)language equivalence and the largest substitution-closed equivalence that is sound for…

This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value $\lambda$-calculus with a linear type system that can express programs…

Consider a measure $\mu_\lambda = \sum_x \xi_x \delta_x$ where the sum is over points $x$ of a Poisson point process of intensity $\lambda$ on a bounded region in $d$-space, and $\xi_x$ is a functional determined by the Poisson points near…

Given a regular compact set $E$ in the complex plane, a unit measure $\mu$ supported by $\partial E,$ a triangular point set $\beta := \{\{\beta_{n,k}\}_{k=1}^n\}_{n=1}^{\infty},\beta\subset \partial E$ and a function $f$, holomorphic on…

The $\lambda$-exponential family generalizes the standard exponential family via a generalized convex duality motivated by optimal transport. It is the constant-curvature analogue of the exponential family from the information-geometric…

Let $\beta > 1$ be a real number and $x \in [0,1)$ be an irrational number. We denote by $k_n(x)$ the exact number of partial quotients in the continued fraction expansion of $x$ given by the first $n$ digits in the $\beta$-expansion of $x$…

The circular $\beta$ ensemble for $\beta =1,2$ and 4 corresponds to circular orthogonal, unitary and symplectic ensemble respectively as introduced by Dyson. The statistical state of the eigenvalues is then a determinantal point process…

Let $\mathbf{F}_q$ be a finite field of $q$ elements. We show that the normalized Jacobi sum $J(\chi,\eta)/\sqrt{q}$, for each fixed non-trivial multiplicative character $\eta$, becomes equidistributed in the unit circle as…

One takes advantage of some basic properties of every homotopic $\lambda$-model (e.g.\ extensional Kan complex) to explore the higher $\beta\eta$-conversions, which would correspond to proofs of equality between terms of a theory of…

Solutions to the random Fibonacci recurrence x_{n+1}=x_{n} + or - Bx_{n-1} decrease (increase) exponentially, x_{n} = exp(lambda n), for sufficiently small (large) B. In the limits B --> 0 and B --> infinity, we expand the Lyapunov exponent…

We prove that for any proper metric space $X$ and a function $\psi:(0,\infty)\to(0,\infty)$ from a suitable class of approximation functions, the Hausdorff dimensions of the set $W_\psi(Q)$ of all points $\psi$-well-approximable by a…

In \cite{TallaWaffo2025arxiv2511.02843} we introduced even polynomials $\Xi_n,\Lambda_n\in\mathbb{Q}[x]$ arising from integral representations of $\beta(2n)/\pi^{2n-1}$ and $\zeta(2n+1)/\pi^{2n}$. In this paper we give explicit closed…

We investigate the problem of best simultaneous Diophantine approximation under a constraint on the denominator, as proposed by Jurkat. New lower estimates for optimal approximation constants are given in terms of critical determinants of…

The exponential function maps the imaginary axis to the unit circle and, for many applications, this unitarity property is also desirable from its approximations. We show that this property is conserved not only by the (k,k)-rational…

We propose a new functional analytic approach to Stein's method of exchangeable pairs that does not require the pair at hand to satisfy any approximate linear regression property. We make use of this theory in order to derive abstract…

In this paper we find the optimal error bound (smallest possible estimate, independent of the starting point) for the linear convergence rate of the simultaneous projection method applied to closed linear subspaces in a real Hilbert space.…

Wu's positive $\lambda$-calculus is a recent call-by-value $\lambda$-calculus with sharing coming from Miller and Wu's study of the proof-theoretical concept of focalization. Accattoli and Wu showed that it simplifies a technical aspect of…

This paper opens and discusses the question originally due to Daniel Herden, who asked for which graph $(\mu,R)$ we can find a family $\{\mathbb G_\alpha: \alpha < \mu\}$ of abelian groups such that for each $\alpha,\beta\in\mu$:…

We prove a result on approximations to a real number $\theta$ by algebraic numbers of degree $\le 2$ in the case when we have information about the uniform Diophantine exponent $\hat{\omega}$ for the linear form $x_0 +\theta…