Related papers: Pseudojump inversion in special r. b. $\Pi^0_1$ cl…
For a numerical sequence ${a_n}$ satisfying broad assumptions on its "behaviour on average" and a random walk $S_n=\xi_1 +...+\xi_n$ with i.i.d. jumps $\xi_j$ with positive mean $\mu$, we establish the asymptotic behaviour of the sums…
We give a formal account of B\'enabou's theorem for peudoadjunctions in the context of Gray-categories. We prove that to give a pseudoadjunction $F \dashv U: A \to X$ with unit $\eta$ in a Gray-category K is precisely to give an absolute…
Recently we have introduced a new model of infinite computation by extending the operation of ordinary Turing machines into transfinite ordinal time. In this paper we will show that the infinite time Turing machine analogue of Post's…
We show that for any two sets of reals numbers $A=\{a_1,\dots,a_n\}$ and $B=\{b_1,\dots,b_n\}$, the sums of the form $\sum_{i=1}^n a_i\,b_{\pi(i)}$ always take on $\Omega(n^{3})$ distinct values, as we range over all permutations $\pi \in…
By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras…
The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…
Theorem. There are general position points A, B, C, P on the projective plane. Let A_P be the intersection point of lines AP and BC. Analogously define B_P and C_P. Take any points A_1, B_1, C_1 on AP, BP, CP, respectively. Let W_C be the…
The aim of Reverse Mathematics(RM for short)is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. These minimal axioms are almost always equivalent to the theorem, working over the base theory of RM, a weak…
Differential invariants of a (pseudo)group action can vary when restricted to invariant submanifolds (differential equations). The algebra is still governed by the Lie-Tresse theorem, but may change a lot. We describe in details the case of…
Pattern avoidance classes of permutations that cannot be expressed as unions of proper subclasses can be described as the set of subpermutations of a single bijection. In the case that this bijection is a permutation of the natural numbers…
An approximation result for the bilinear Hilbert transform is proved and used for the inversion of the bilinear Hilbert transform. Also, p-Lebesgue points $(p\geq 1)$ are analyzed.
The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…
A theory of quantum jumps is developed by using a new asymmetric equation, which is complementary to the Schr\"odinger equation. The new equation displays Bohr's rules for quantum jumps, and its solutions demonstrate that once a quantum…
The jump of the Milnor number of an isolated singularity $f_0$ is the minimal non-zero difference between the Milnor numbers of $f_0$ and one of its deformations $f_s$. We determinate the jump of quasihomogeneous singularities in the class…
Jump inequalities are the $r=2$ endpoint of L\'epingle's inequality for $r$-variation of martingales. Extending earlier work by Pisier and Xu we interpret these inequalities in terms of Banach spaces which are real interpolation spaces.…
Lifting theorems are theorems that bound the communication complexity of a composed function $f\circ g^{n}$ in terms of the query complexity of $f$ and the communication complexity of $g$. Such theorems constitute a powerful generalization…
Let $f(z)=\sum_{n=1}^\infty a(n)e^{2\pi i nz}\in S_k^{new}(\Gamma_0(N))$ be a newform of even weight $k\geq2$ that does not have complex multiplication. Then $a(n)\in\mathbb{R}$ for all $n$, so for any prime $p$, there exists…
Quantum trajectory theories have not fully reconciled discrete quantum jumps with continuous unitary evolution. We address this challenge by developing a hidden variable formulation that reveals hidden correlations in individual trials. We…
It is a commonplace to say that `one can search through the natural numbers', by which is meant the following: For a property, decidable in finite time and which is not false for all natural numbers, checking said property starting at zero,…
The jump of the Milnor number of an isolated singularity $f_{0}$ is the minimal non-zero difference between the Milnor numbers of $f_{0}$ and one of its deformation $(f_{s}).$ In the case $f_{s}$ are non-degenerate singularities we call the…