Related papers: Busy beavers gone wild

We prove generalizations of L\"owner's results on matrix monotone functions to several variables. We give a characterization of when a function of $d$ variables is locally monotone on $d$-tuples of commuting self-adjoint $n$-by-$n$…

We determine the asymptotic behaviour of certain incomplete Betafunctions.

Caucal hierarchy is a well-known class of graphs with decidable monadic theories. It were proved by L. Braud and A. Carayol that well-orderings in the hierarchy are the well-orderings with order types less than $\varepsilon_0$. Naturally,…

We give a proof of openness of versality using coherent functors. As an application, we streamline Artin's criterion for algebraicity of a stack. We also introduce multi-step obstruction theories, employing them to produce obstruction…

We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.

This survey aims to review two decades of progress on exponential functionals of (possibly killed) real-valued L\'evy processes. Since the publication of the seminal survey by Bertoin and Yor, substantial advances have been made in…

Functions of several quaternion variables are investigated and integral representation theorems for them are proved. With the help of them solutions of the $\tilde \partial $-equations are studied. Moreover, quaternion Stein manifolds are…

We propose a novel definition of Shapley values with uncertain value functions based on first principles using probability theory. Such uncertain value functions can arise in the context of explainable machine learning as a result of…

Motivated by a common Mathematical Finance topic, we discuss the reciprocal of the exit time from a cone of planar Brownian motion which also corresponds to the exponential functional of an associated Brownian motion. We prove a conjecture…

In the analysis of highly-oscillatory evolution problems, it is commonly assumed that a single frequency is present and that it is either constant or, at least, bounded from below by a strictly positive constant uniformly in time. Allowing…

Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occurs-check) and increased expressivity (cyclic terms can…

We propose a general solution to the problem of robust Bayesian inference in complex settings where outliers may be present. In practice, the automation of robust Bayesian analyses is important in the many applications involving large and…

We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…

Quadratic Wiener functionals are investigated systematically through transformations of order one on the Wiener space with the help of Malliavin calculus. The bi-directional relationship between quadratic Wiener functionals and…

The notion of pairable functions is introduced and some of its properties are developed. In this connection the famous Euler identity is interpreted as a property of certain pairable functions and finite cyclic groups.

The cipher block chaining (CBC) block cipher mode of operation presents a very popular way of encrypting which is used in various applications. In previous research work, we have mathematically proven that, under some conditions, this mode…

We consider a forager diffusing via a fractional heat equation and we introduce several efficiency functionals whose optimality is discussed in relation to the L\'evy exponent of the evolution equation. Several biological scenarios, such as…

In decision-making, maxitive functions are used for worst-case and best-case evaluations. Maxitivity gives rise to a rich structure that is well-studied in the context of the pointwise order. In this article, we investigate maxitivity with…

Understanding and quantifying causal relationships between variables is essential for reasoning about the physical world. In this work, we develop a resource-theoretic framework to do so. Here, we focus on the simplest nontrivial setting --…

We note how several central results in multiplicative number theory may be rephrased naturally in terms of multiplicative functions $f$ that pretend to be another multiplicative function $g$. We formalize a `distance' which gives a measure…