Related papers: Iterating reflection over intuitionistic arithmeti…

In this paper, we firstly extend Theorem 5.1.1 in \cite {Helein} due to H\'elein to a rescaled branched conformal immersed sequence(c.f. Theorem 1.5). By virtue of this local convergence theorem, we study the blowup behavior of a sequence…

We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially…

We apply the Hilbert transform to the physics of internal waves in two-dimensional fluids. Using this demodulation technique, we can discriminate internal waves propagating in different directions: this is very helpful in answering several…

In this paper we prove Chaitin's ``heuristic principle'', {\it the theorems of a finitely-specified theory cannot be significantly more complex than the theory itself}, for an appropriate measure of complexity. We show that the measure is…

We prove that, on a smooth, connected variety in characteristic zero admitting a rational point, local systems of geometric origin are stable under extension in the category of all local systems. As a consequence of this, we obtain a (Nori)…

This paper concerns extension of the classical Lagrange theorem, on the eventual periodicity of continued fraction expansions of quadratic surds, and the versions of it found in the literature in the case of complex numbers. In this…

We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…

We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks…

We introduce a new class of extended affine Lie algebras called Hamiltonian Extended Lie Algebras(HEALAs). They are so called because the corresponding derivation algebra is the classical Hamiltonian algebra. We classify the irreducible…

The aim of this note is to provide a self-contained classification of the irreducible representations of generalised Kac--Paljutkin Hopf algebras, recently introduced by the second author.

A proof of the Riemann hypothesis using the reflection principle is presented.

We give a simplified derivation of the expression of instanton numbers and of mirror map in terms of Frobenius map on p-adic cohomology and use this expression to prove integrality theorems. Modifying this proof we verify that the…

We prove a homological stability theorem for families of discrete groups (e.g. mapping class groups, automorphism groups of free groups, braid groups) with coefficients in a sequence of irreducible algebraic representations of arithmetic…

In this paper we apply methods of proof mining to obtain a highly uniform effective rate of asymptotic regularity for the Ishikawa iteration associated to nonexpansive self-mappings of convex subsets of a class of uniformly convex geodesic…

We introduce an extension of the standard cohomology which is characterised by maps that fail to be classical cocycles by products of simpler maps. The construction is motivated by the study of Manin's noncommutative modular symbols and of…

A method of ``algebraic estimates'' is developed, and used to study the stability properties of integrals of the form \int_B|f(z)|^{-\d}dV, under small deformations of the function f. The estimates are described in terms of a stratification…

R. Heitmann's proof of the Direct Summand Conjecture has opened a new approach to the study of homological conjectures in mixed characteristic. Inspired by his work and by the methods of almost ring theory, we discuss a normalized length…

In this paper we establish an estimate for the rate of convergence of the Krasnosel'ski\v{\i}-Mann iteration for computing fixed points of non-expansive maps. Our main result settles the Baillon-Bruck conjecture [3] on the asymptotic…

Peano Arithmetic is known to be provably equivalent to reflection over Elementary Arithmetic. We prove a characterization of Predicative Analysis in the guise of ATR0 in terms of stronger reflection principles.

The scattering theory of the integrable statistical models can be generalized to the case of systems with extended lines of defect. This is done by adding the reflection and transmission amplitudes for the interactions with the line of…