Hénon Maps: A List of Open Problems | Arnold Mathematical Journal Skip to main content
Springer Nature Link Account Menu Find a journal Publish with us Track your research Search …

Semi-prime factorization is an increasingly important number theoretic problem, since it is
computationally intractable. Further, this property has been applied in public-key …

Let $ f $ be a dominant endomorphism of a smooth projective surface $ X $ over an
algebraically closed field $\mathbf {k} $ of characteristic $0 $. We prove that if there is no …

arXiv:1907.00675v2 [math.DS] 12 Jan 2021 Page 1 A TRANSCENDENTAL DYNAMICAL
DEGREE JASON P. BELL, JEFFREY DILLER, AND MATTIAS JONSSON Abstract. We give an …

Automatic generation of loop invariants is a fundamental challenge in software verification.
While this task is undecidable in general, it is decidable for certain restricted classes of …

For a composition $ f= f_1\circ\cdots\circ f_r $ of polynomials $ f_i\in\mathbb Q [x] $ of
degrees $ d_i\geq 5$ with alternating or symmetric monodromy group, we show that the …

We propose an axiomatic approach towards studying unlikely intersections by introducing
the framework of distinguished categories. This includes commutative algebraic groups and …

We prove several results on backward orbits of rational functions over number fields. First,
we show that if K is a number field, ϕ∈ K (x) and α∈ K then the extension of K generated by …

Expanding Thurston maps form a class of branched covering maps on the topological 2-
sphere S 2, which are topological models of some non-uniformly expanding rational maps …

The automatic generation of loop invariants is a fundamental challenge in software
verification. While this task is undecidable in general, it is decidable for certain restricted …