Related papers: Robinson Splitting Theorem and $\Sigma_1$ Inductio…
The Jump Inversion Theorem says that for every real $A \ge_T 0'$ there is a real $B$ such that $A \equiv_T B' \equiv_T B \oplus 0'$. A known refinement of this theorem says that we can choose $B$ to be a member of any special $\Pi^0_1$…
Given a class C of word languages, the C-separation problem asks for an algorithm that, given as input two regular languages, decides whether there exists a third language in C containing the first language, while being disjoint from the…
We give a linking theorem that strengthens and unifies some many minimax theorems including Ambrosetti-Rabinowitz ``mountain pass theorem'', Rabinowitz ``multidimensional mountain pass theorem'', Rabinowitz ``saddle point theorem'' and…
The Robbins-Siegmund theorem establishes the convergence of stochastic processes that are almost supermartingales and is one of the most commonly used approaches for analyzing stochastic iterative algorithms in stochastic approximation and…
The Gromoll-Meyer's generalized Morse lemma (so called splitting lemma) near degenerate critical points on Hilbert spaces, which is one of key results in infinite dimensional Morse theory, is usually stated for at least $C^2$-smooth…
We investigate two problems for a class C of regular word languages. The C-membership problem asks for an algorithm to decide whether an input language belongs to C. The C-separation problem asks for an algorithm that, given as input two…
The usual Gromoll-Meyer's generalized Morse lemma near degenerate critical points on Hilbert spaces, so called splitting lemma, is stated for at least $C^2$-smooth functionals. In this paper we establish a splitting theorem and a shifting…
The Robbins-Siegmund theorem is one of the most important results in stochastic optimization, where it is widely used to prove the convergence of stochastic algorithms. We provide a quantitative version of the theorem, establishing a bound…
A variation on the splitting principle
The Jacobian Conjecture states that any locally invertible polynomial system in C^n is globally invertible with polynomial inverse. C. W. Bass et al. (1982) proved a reduction theorem stating that the conjecture is true for any degree of…
The Nelson-Seiberg theorem relates R-symmetries to F-term supersymmetry breaking, and provides a guiding rule for new physics model building beyond the Standard Model. A revision of the theorem gives a necessary and sufficient condition to…
We identify a notion of reducibility between predicates, called instance reducibility, which commonly appears in reverse constructive mathematics. The notion can be generally used to compare and classify various principles studied in…
This paper builds model-theoretic tools to detect changes in complexity among the simple theories. We develop a generalization of dividing, called shearing, which depends on a so-called context c. This leads to defining c-superstability, a…
Robin's theorem is one of the ingenious reformulation of the Riemann hypothesis (RH). It states that the RH is true if and only if $\sigma(n)<e^\gamma n\log\log n$ for all $n>5040$ where $\sigma(n)$ is the sum of divisors of $n$ and…
We give an elementary introduction, through illustrative examples but without proofs, to one of the basic consequences of the Langlands programme, namely the law governing the primes modulo which a given irreducible integral polynomial…
For n>1, let G(n)=\sigma(n)/(n log log n), where \sigma(n) is the sum of the divisors of n. We prove that the Riemann Hypothesis is true if and only if 4 is the only composite number N satisfying G(N) \ge \max(G(N/p),G(aN)), for all prime…
In this paper we study the rigidity problem for sub-static systems with possibly non-empty boundary. First, we get local and global splitting theorems by assuming the existence of suitable compact minimal hypersurfaces, complementing recent…
A split of a polytope $P$ is a (regular) subdivision with exactly two maximal cells. It turns out that each weight function on the vertices of $P$ admits a unique decomposition as a linear combination of weight functions corresponding to…
This document presents an alternative proof of Sylvester's theorem stating that "the product of $n$ consecutive numbers strictly greater than $n$ is divisible by a prime strictly greater than $n$". In addition, the paper proposes stronger…
It is well known that the strong subadditivity theorem is hold for classical system, but it is very difficult to prove that it is hold for quantum system. The first proof of this theorem is due to Lieb by using the Lieb's theorem. Here we…