Related papers: Giant and illusionary giant Goodstein principles

Stein's method for Gaussian process approximation can be used to bound the differences between the expectations of smooth functionals $h$ of a c\`adl\`ag random process $X$ of interest and the expectations of the same functionals of a well…

We show that any cadlag predictable process of finite variation is an a.s. limit of elementary predictable processes; it follows that predictable stopping times can be approximated `from below' by predictable stopping times which take…

Following "An infinite dimensional Schur-Horn theorem and majorization theory", Journal of Functional Analysis 259 (2010) 3115-3162, this paper further studies majorization for infinite sequences. It extends to the infinite case classical…

Several theorems about the equivalence of familiar theories of reverse mathematics with certain well-ordering principles have been proved by recursion-theoretic and combinatorial methods (Friedman, Marcone, Montalban et al.) and with…

Certain extremum estimators have asymptotic distributions that are non-Gaussian, yet characterizable as the distribution of the $\argmax$ of a Gaussian process. This paper presents high-level sufficient conditions under which such…

Enhancing a recent result of Bayart and Ruzsa we obtain a Birkhoff-type characterization of upper frequently hypercyclic operators and a corresponding Upper Frequent Hypercyclicity Criterion. As an application we characterize upper…

For the generalized oscillator, we prove a Rellich type theorem, or characterize the order of growth of eigenfunctions. The proofs are given by an extensive use of commutator arguments invented recently by Ito and Skibsted. These arguments…

We study the question of when a given countable ordinal $\alpha$ is $\Sigma^1_n$- or $\Pi^1_n$-reflecting in models which are neither $\mathsf{PD}$ models nor the constructible universe, focusing on generic extensions of $L$. We prove,…

We provide an introduction of some basic facts of uniformly almost periodic functions, such as Fourier series representations. A result is then proved about Fourier coefficients which is a generalization of the purely periodic case. We then…

Foreman proved the Duality Theorem, which gives an algebraic characterization of certain ideal quotients in generic extensions. As an application he proved that generic supercompactness of $\omega_1$ is preserved by any proper forcing. We…

We use fast-growing finite and infinite sequences of natural numbers and more complicated constructs to define models of hypercomputation and interpret non-arithmetic predicates, with the strongest extensions reaching full second order…

Matom\"aki proved that if $\alpha\in \mathbb{R}$ is irrational, then there are infinitely many primes $p$ such that $|\alpha-a/p|\le p^{-4/3+\varepsilon}$ for a suitable integer a. In this paper, we extend this result to all quadratic…

We obtain new bounds on the additive energy of (Ahlfors-David type) regular measures in both one and higher dimensions, which implies expansion results for sums and products of the associated regular sets, as well as more general nonlinear…

This paper presents a comprehensive study of a class of functions which approximate 1/|x| for large x but which are finite at the origin. These functions arise naturally in the study of atoms in strong magnetic fields where the so-called…

Asymptotic expansions for the Bateman and Havelock functions defined respectively by the integrals \[\frac{2}{\pi}\int_0^{\pi/2} \!\!\!\begin{array}{c} \cos\\\sin\end{array}\!(x\tan u-\nu u)\,du\] are obtained for large real $x$ and large…

We address the estimation of conditional quantiles when the covariate is functional and when the order of the quantiles converges to one as the sample size increases. In a first time, we investigate to what extent these large conditional…

We prove structural results for measure preserving systems, called Furstenberg systems, naturally associated with bounded multiplicative functions. We show that for all pretentious multiplicative functions these systems always have rational…

This paper presents new uniform Gaussian strong approximations for empirical processes indexed by classes of functions based on $d$-variate random vectors ($d\geq1$). First, a uniform Gaussian strong approximation is established for general…

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…

We show that the positivity of the Wigner function of Gaussian states and measurements provides an elegant way to bound the discriminating power of "linear optics", which we formalise as Gaussian measurement operations augmented by…