Related papers: Fast Goodstein Walks
The main objective of this paper is to develop extreme value theory for $\vartheta$-expansions. We establish the limit distribution of the maximum value in a $\vartheta$-continued fraction mixing stationary stochastic process, along with…
The evolving Kingman coalescent is the tree-valued process which records the time evolution undergone by the genealogies of Moran populations. We consider the associated process of total external tree length of the evolving Kingman…
Building on Buchholz' assignment for ordinals below Bachmann-Howard ordinal, see Buchholz 2003, we introduce systems of fundamental sequences for two kinds of relativized $\vartheta$-function-based notation systems of strength…
We introduce extension-based proofs, a class of impossibility proofs that includes valency arguments. They are modelled as an interaction between a prover and a protocol. Using proofs based on combinatorial topology, it has been shown that…
We develop a space-time large-deviation point of view on Gibbs-non-Gibbs transitions in spin systems subject to a stochastic spin-flip dynamics. Using the general theory for large deviations of functionals of Markov processes outlined in…
We consider a maximal extension of the Hilbert-Einstein action and analyze several interesting features of the theory. More specifically, the motion is non-geodesic and takes place in the presence of an extra force. These models could lead…
We prove the existence of explicit linear multistep methods of any order with positive coefficients. Our approach is based on formulating a linear programming problem and establishing infeasibility of the dual problem. This yields a number…
We discuss the regularity of extremal functions in certain weighted Bergman and Fock type spaces. Given an appropriate analytic function $k$, the corresponding extremal function is the function with unit norm maximizing $\text{Re}…
In order to obtain functional limit theorems for heavy tailed stationary processes arising from dynamical systems, one needs to understand the clustering patterns of the tail observations of the process. These patterns are well described by…
In this note, we prove a version of the Phragmen-Lindelof principle using probabilistic techniques. In particular, we will show that if the p-th moment of the exit time of Brownian motion from a planar domain is finite, then an analytic…
`What more than its truth do we know if we have a proof of a theorem in a given formal system?' We examine Kreisel's question in the particular context of program termination proofs, with an eye to deriving complexity bounds on program…
It is not uncommon in analysis that existence of extremal objects is obtained via an iterative procedure: we start from a given admissible object, then modify it, then modify again etc... If being extremal means maximimizing a real valued…
In this paper, we extend a result of Kesten and Spitzer (1979). Let us consider a stationary sequence $(\xi\_k:=f(T^k(.)))\_k$ given by an invertible probability dynamical system and some centered function $f$. Let $(S\_n)\_n$ be a simple…
The regularity of the Hardy-Littlewood maximal function, in both discrete and continuous contexts, and for both centered and noncentered variants, has been subjected to intense study for the last two decades. But efforts so far have…
Stackability for finitely presented groups consists of a dynamical system that iteratively moves paths into a maximal tree in the Cayley graph. Combining with formal language theoretic restrictions yields auto- or algorithmic stackability,…
In this paper, we prove the existence of separable solutions to the equations of motion for self-gravitating hyperelastic matter, under an appropriate class of constitutive assumptions on the strain-energy function. Our framework includes…
In the context of continuous first-order logic, special attention is often given to theories that are somehow continuous in an 'essential' way. A common feature of such theories is that they do not interpret any infinite discrete…
We show that the best constants appearing in the weak type (1,1) inequalities satisfied by the centered Hardy-Littlewood maximal function associated to some finite radial measures, such as the standard gaussian measure, grow exponentially…
We consider branching Brownian motion on the real line with absorption at zero, in which particles move according to independent Brownian motions with the critical drift of $-\sqrt{2}$. Kesten (1978) showed that almost surely this process…
The late-time cosmic acceleration may be due to infra-red modifications of General Relativity. In particular, we consider a maximal extension of the Hilbert-Einstein action and analyze several interesting features of the theory. Generally,…