In this paper, we prove that there exist noncollision singularites in a planar four-body problem, thus settles the Painleve conjecture.

We give a method for constructing transcendental entire functions with good control of both the singular values of$f$and the geometry of$f$. Among other applications, we construct a function$f$with bounded singular set, whose Fatou set contains a wandering domain.

In this paper, we study intermittent behaviors of coupled piecewise-expanding map lattices with two nodes and a weak coupling. We show that the successive phase transition between ordered and disordered phases occurs for almost every orbit. That is, we prove $\liminf_{n\rightarrow \infty}| x_1(n)-x_2(n)|=0$ and $\limsup_{n\rightarrow \infty}| x_1(n)-x_2(n)|\ge c_0>0$, where $x_1(n), x_2(n)$ correspond to the coordinates of two nodes at the iterative step $n$. We also prove the same conclusion for weakly coupled tent-map lattices with any multi-nodes.

By introducing some special bi-orthogonal polynomials, we derive the so-called discrete hungry quotient-difference (dhQD) algorithm and a system related to the QD-type discrete hungry LotkaVolterra (QD-type dhLV) system, together with their Lax pairs. These two known equations can be regarded as extensions of the QD algorithm. When this idea is applied to a higher analogue of the discrete-time Toda (HADT) equation and the quotientquotient-difference (QQD) scheme proposed by Spicer, Nijhoff and van der Kamp, two extended systems are constructed. We call these systems the hungry forms of the higher analogue discrete-time Toda (hHADT) equation and the quotient-quotient-difference (hQQD) scheme, respectively. In addition, the corresponding Lax pairs are provided.

We study groups of automorphisms and birational transformations of quasi-projective varieties. Two methods are combined; the first one is based on p-adic analysis, the second makes use of isoperimetric inequalities and Lang–Weil estimates. For instance, we show that, if SLn(Z) acts faithfully on a complex quasi-projective variety X by birational transformations, then dim(X)⩾n−1 and X is rational if dim(X)=n−1.