Related papers: Turing Degrees of Hyperjumps

Let $x\ge 2$. The $\psi$-form of the prime number theorem is $\psi(x) =\sum\sb{n \le x}\Lambda(n) =x +O\bigl(x\sp{1-H(x)} \log\sp{2} x\big)$, where $H(x)$ is a certain function of $x$ with $0< H(x) \le \tfrac{1}{2}$. Tur\'an proved in 1950…

SAT is not in P, is true and provable in a simply consistent extension B' of a first order theory B of computing, with a single finite axiom characterizing a universal Turing machine. Therefore, P is not equal to NP, is true and provable in…

In the paper we investigate Trudinger-Moser type inequalities in presence of logarithmic kernels in dimension N. A sharp threshold, depending on N, is detected for the existence of estremal functions or blow-up, where the domain is the ball…

We prove the following version of the Loebl-Komlos-Sos Conjecture: For every alpha>0 there exists a number M such that for every k>M every n-vertex graph G with at least (0.5+alpha)n vertices of degree at least (1+alpha)k contains each tree…

Under the assumption of infinitely many Siegel zeroes $s$ with $Re(s)>1-\frac{1}{(\log q)^{R}}$ for a sufficiently large value of $R$, we prove that there exist infinitely many $m$-tuples of primes that are $\ll e^{1.9828m}$ apart. This…

Erd\"{o}s and Tur\'{a}n once conjectured that any set $A\subset\mathbb{N}$ with $\sum_{a\in A}{1}/{a}=\infty$ should contain infinitely many progressions of arbitrary length $k\geq3$. For the two-dimensional case Graham conjectured that if…

The exponential local-global principle, or Skolem conjecture, says: Suppose that \(b\) is a positive integer, and that the sequence \((u_{n})_{n = -\infty}^{\infty}\) is such that every term is in \(\mathbb{Z}[1/b]\), the linear recurrence…

The coarse similarity class $[A]$ of $A$ is the set of all $B$ whose symmetric difference with $A$ has asymptotic density 0. There is a natural metric $\delta$ on the space $\mathcal{S}$ of coarse similarity classes defined by letting…

For a graph $G$ whose degree sequence is $d_{1},..., d_{n}$, and for a positive integer $p$, let $e_{p}(G)=\sum_{i=1}^{n}d_{i}^{p}$. For a fixed graph $H$, let $t_{p}(n,H)$ denote the maximum value of $e_{p}(G)$ taken over all graphs with…

A computable structure A is x-computably categorical for some Turing degree x, if for every computable structure B isomorphic to A there is an isomorphism f:B -> A with f computable in x. A degree x is a degree of categoricity if there is a…

We study a generalisation of the bipartite Ramsey numbers to blowups of graphs. For a graph $G$, denote the $t$-blowup of $G$ by $G[t]$. We say that $G$ is $r$-Ramsey for $H$, and write $G \stackrel{r}{\rightarrow} H$, if every…

The most common difference that occurs among the consecutive primes less than or equal to $x$ is called a jumping champion. Occasionally there are ties. Therefore there can be more than one jumping champion for a given $x$. In 1999 A.…

We provide a full and rigorous proof of a theorem attributed to \.Zuk, stating that random groups in the Gromov density model for d > 1/3 have property (T) with high probability. The original paper had numerous gaps, in particular, crucial…

For two ideals $I$ and $J$ of a noetherian ring, we characterize, in terms of the vanishing of Tor modules, when the associated graded ring of the sum $I+J$ is isomorphic to the tensor product of the associated graded ring of $I$ and the…

We investigate the (co)homological properties of two classes of Lie algebras that are constructed from any finite poset: the solvable class $\frak{gl}^\preceq$ and the nilpotent class $\frak{gl}^\prec$. We confirm the conjecture of…

Let $K[\mathcal{O}(P)]$ denote the toric ring of the order polytope $\mathcal{O}(P)$ of a finite partially ordered set $P$ and $K[\mathcal{C}(P)]$ that of the chain polytope $\mathcal{C}(P)$. It will be shown that $\beta_{p,…

An important result of Koml\'os [Tiling Tur\'an theorems, Combinatorica, 2000] yields the asymptotically exact minimum degree threshold that ensures a graph $G$ contains an $H$-tiling covering an $x$th proportion of the vertices of $G$ (for…

We show that degrees containing a complete extensions of arithmetic have the random join property: they are the supremum of any random real they compute, with another random real. The same is true for the truth-table and weak truth-table…

Consider a pseudo-$H$-space $E$ endowed with a separately continuous biadditive associative multiplication which induces a grading on $E$ with respect to an abelian group $G$. We call such a space a graded pseudo-$H$-ring and we show that…

A recent result of Balandraud shows that for every subset S of an abelian group G, there exists a non trivial subgroup H such that |TS| <= |T|+|S|-2 holds only if the stabilizer of TS contains H. Notice that Kneser's Theorem says only that…