Related papers: Pseudojump inversion in special r. b. $\Pi^0_1$ cl…

We prove a version of Nagaev's theorem for the branching random walk with heavy-tailed associated random walk. For a branching random walk on $\mathbb{R}$ we consider the random measure $Z_n = \sum_{|u|=n} e^{-V_u} \delta_{V_u}$ where…

We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group $\Gamma$ we introduce the $\Gamma$-jump. We study the elementary properties of the $\Gamma$-jumps and compare them with other…

In this paper we study the Mixed Littlewood Conjecture with pseudo-absolute values. We show that if p is a prime and D is a pseudo-absolute value sequence satisfying mild conditions then then the infimum over natural numbers n of the…

We study the eta-invariant, defined by Atiyah-Patodi-Singer a real valued invariant of an oriented odd-dimensional Riemannian manifold equipped with a unitary representation of its fundamental group. When the representation varies…

We consider a functor from the category of groups to itself $G\mapsto \mathbb Z_\infty G$ that we call right exact $\mathbb Z$-completion of a group. It is connected with the pronilpotent completion $\hat G$ by the short exact sequence…

Paul Erd\H{o}s and Alfred Renyi considered the evolution of the random graph G(n,p) as p ``evolved'' from 0 to 1. At p=1/n a sudden and dramatic change takes place in G. When p=c/n with c<1 the random G consists of small components, the…

An inverse semigroup $S$ is a semigroup in which every element has a unique inverse in the sense of semigroup theory, that is, if $a \in S$ then there exists a unique $b\in S$ such that $a = aba$ and $b = bab$. We say that an inverse…

For a given one-dimensional random walk $\{S_n\}$ with a subexponential step-size distribution, we present a unifying theory to study the sequences $\{x_n\}$ for which $\mathsf{P}\{S_n>x\}\sim n\mathsf{P}\{S_1>x\}$ as $n\to\infty$ uniformly…

Given a $p$-group $G$ and a subgroup-closed class $\mathfrak{X}$, we associate with each $\mathfrak{X}$-subgroup $H$ certain quantities which count $\mathfrak{X}$-subgroups containing $H$ subject to further properties. We show in Theorem I…

Extending the theory of systems, we introduce a theory of Lie semialgebra ``pairs'' which parallels the classical theory of Lie algebras, but with a ``null set'' replacing $0$. A selection of examples is given. These Lie pairs comprise two…

In this paper we present an explicit counterexample of degree $n=7$, which shows that the conjecture proposed by Li et al. \cite{Li2013} regarding the first derivative bounds for rational B\'ezier curves is generally false. We further…

From mostly a measure-theoretic consideration, we show that for every nonnegative, finite, and $L^{1}$ function on a given finite measure space there is some nontrivial sequence of real numbers such that the series, obtained from summing…

We prove that every bijection preserving triple transition pseudo-probabilities between the sets of minimal tripotents of two atomic JBW$^*$-triples automatically preserves orthogonality in both directions. Consequently, each bijection…

Otto's Theorem characterises the bisimulation-invariant PTIME queries over graphs as exactly those that can be formulated in the polyadic mu-calculus, hinging on the Immerman-Vardi Theorem which characterises PTIME (over ordered structures)…

We study random walks on $\mathbb Z^d$ (with $d\ge 2$) among stationary ergodic random conductances $\{C_{x,y}\colon x,y\in\mathbb Z^d\}$ that permit jumps of arbitrary length. Our focus is on the Quenched Invariance Principle (QIP) which…

We study the uniform computational content of different versions of the Baire Category Theorem in the Weihrauch lattice. The Baire Category Theorem can be seen as a pigeonhole principle that states that a complete (i.e., "large") metric…

Jump deformations and contractions of Lie algebras are inverse concepts, but the approaches to their computations are quite different. In this paper, we contrast the two approaches, showing how to compute jump deformations from the…

In this paper, we prove a version of the typed B\"ohm theorem on the linear lambda calculus, which says, for any given types A and B, when two different closed terms s1 and s2 of A and any closed terms u1 and u2 of B are given, there is a…

A conjecture of Graham (repeated by Erd\H{o}s) asserts that for any set $A \subseteq \mathbb{F}_p \setminus \{0\}$, there is an ordering $a_1, \ldots, a_{|A|}$ of the elements of $A$ such that the partial sums $a_1, a_1+a_2, \ldots,…

The vertex-reinforced jump process (VRJP) is a form of self-interacting random walk in which the walker is biased towards returning to previously visited vertices with the bias depending linearly on the local time at these vertices. We…