Related papers: A remark on finite type conditions

Our first contribution in this paper is to prove that three natural sum of squares (sos) based sufficient conditions for convexity of polynomials, via the definition of convexity, its first order characterization, and its second order…

In this paper we will show that two surfaces of the same genus and homology class in a simply connected 4-manifold are concordant. We will show they are often topologically isotopic when their complements have cyclic fundamental group.…

In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…

We present four generalized small cancellation conditions for finite presentations and solve the word- and conjugacy problem in each case. Our conditions $W$ and $W^*$ contain the non-metric small cancellation cases C(6), C(4)T(4), C(3)T(6)…

In this paper we consider genus one equations of degree n, namely a (generalised) binary quartic when n = 2, a ternary cubic when n = 3, and a pair of quaternary quadrics when n = 4. A new definition for the minimality of genus one…

In this paper, we give an alternative proof of the fact that, when compounding a nonnegative probability distribution, convex ordering between the distributions of the number of summands implies convex ordering between the resulting…

We show that, under a certain condition, contact 5-manifolds can `coarsely' distinguish smooth structures on compact Stein 4-manifolds via contact open books. We also give a simple sufficient condition for an infinite family of Stein…

In this paper we consider a type system with a universal type $\omega$ where any term (whether open or closed, $\beta$-normalising or not) has type $\omega$. We provide this type system with a realisability semantics where an atomic type is…

We prove that there exists a constant $k$ with the property: if $\calC$ is a conjugacy class of a finite group $G$ such that every $k$ elements of $\calC$\ generate a solvable subgroup then $\calC$ generates a solvable subgroup. In…

We propose a sufficient condition of the convergence of a complex power type formal series of the form $\varphi=\sum_{k=1}^{\infty}\alpha_k(x^{{\rm i}\gamma})\,x^k$, where $\alpha_k$ are functions meromorphic at the origin and…

We prove some theorems which give sufficient conditions for the existence of prime numbers among the terms of a sequence which has pairwise relatively prime terms.

A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

We establish a necessary condition for pseudoprimality and a sufficient condition for primality of Fermat numbers, based on a congruence involving the exponent $(F_n-1)/4$. Moreover, in connection with P\'epin's primality test, we obtain a…

Let $p$ and $q$ be arbitrary positive numbers. It is shown that if $q < p$, then all solutions to the difference equation \tag{E} x_{n+1} = \frac{p+q x_n}{1+x_{n-1}}, \quad n=0,1,2,..., \quad x_{-1}>0, x_0>0 converge to the positive…

We show that a positive proportion of all gaps between consecutive primes are small gaps. We provide several quantitative results, some unconditional and some conditional, in this flavour.

Let $\kappa$ be any regular cardinal. Assuming the existence of a huge cardinal above $\kappa$, we prove the consistency of $\binom{\kappa^{++}}{\kappa^+}\rightarrow\binom{\tau}{\kappa^+}$ for every ordinal $\tau<\kappa^{++}$. Likewise, we…

We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy…

It is well-known that every convex function admits an affine support at every interior point of a domain. Convex functions of higher order (precisely of an odd order) have a similar property: they are supported by the polynomials of degree…

It is shown that a system of $r$ quadratic forms over a ${\mathfrak p}$-adic field has a non-trivial common zero as soon as the number of variables exceeds $4r$, providing that the residue class field has cardinality at least $(2r)^r$.