Showing 1–6 of 6 results for author: Hassler, M

Diophantine Equations over $\mathbb Z$: Universal Bounds and Parallel Formalization

Authors: Jonas Bayer, Marco David, Malte Hassler, Yuri Matiyasevich, Dierk Schleicher

Abstract: This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the decidability of Diophantine equations and has been answered negatively by Davis, Putnam, Robinson and Matiyasevich. It is natural to ask for which subclasses… ▽ More This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the decidability of Diophantine equations and has been answered negatively by Davis, Putnam, Robinson and Matiyasevich. It is natural to ask for which subclasses of Diophantine equations H10 remains undecidable. Such subclasses can be defined in terms of universal pairs: bounds on the number of variables $ν$ and degree $δ$ such that all Diophantine equations can be rewritten in at most this complexity. Our work develops explicit universal pairs $(ν, δ)$ for integer unknowns, achieving new bounds that cannot be obtained by naive translations from known results over $\mathbb N$. In parallel, we have conducted a formal verification of our results using the proof assistant Isabelle. While formal proof verification has traditionally been applied a posteriori to known results, this project integrates formalization into the discovery and development process. In a final section, we describe key insights gained from this unusual approach and its implications for mathematical practice. Our work contributes both to the study of Diophantine equations and to the broader question of how mathematics is conducted in the 21st century. △ Less

Submitted 29 June, 2025; v1 submitted 25 June, 2025; originally announced June 2025.

Comments: 53 pages (v2: corrected some misprints)

Classification of the limit shape for 1+1-dimensional FPP

Authors: Malte Hassler

Abstract: We introduce a simplified model of planar first passage percolation where weights along vertical edges are deterministic. We show that the limit shape has a flat edge in the vertical direction if and only if the random distribution of the horizontal edges has an atom at the infimum of its support. Furthermore, we present bounds on the upper and lower derivative of the time constant. We introduce a simplified model of planar first passage percolation where weights along vertical edges are deterministic. We show that the limit shape has a flat edge in the vertical direction if and only if the random distribution of the horizontal edges has an atom at the infimum of its support. Furthermore, we present bounds on the upper and lower derivative of the time constant. △ Less

Submitted 24 April, 2025; v1 submitted 19 November, 2024; originally announced November 2024.

Comments: 25 pages

MSC Class: 60K35; 60K37; 82B43

Hölder continuity of core entropy for non-recurrent quadratic polynomials

Authors: Malte Hassler, Dierk Schleicher

Abstract: We prove that core entropy is Hölder continuous as a function of external angles for a large class of quadratic polynomials that are non-recurrent with respect to angle-doubling, in particular all of them that exhibit a finite Hubbard tree. The result follows from a symbolic analysis of the Mandelbrot set and the dynamics of Hubbard trees in terms of kneading sequences which has been established i… ▽ More We prove that core entropy is Hölder continuous as a function of external angles for a large class of quadratic polynomials that are non-recurrent with respect to angle-doubling, in particular all of them that exhibit a finite Hubbard tree. The result follows from a symbolic analysis of the Mandelbrot set and the dynamics of Hubbard trees in terms of kneading sequences which has been established in previous work. △ Less

Submitted 16 October, 2024; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: 25 pages

MSC Class: 37F10; 37B40; 37F20; 37B10; 37E25

Combinatorial Hubbard trees for postcritically infinite unicritical polynomials and exponential maps

Authors: Malte Hassler, Dierk Schleicher

Abstract: We construct combinatorial Hubbard trees for all unicritical polynomials, and for all exponential maps, for which the critical (singular) value does not escape. More precisely, out of an external angle, or more generally a kneading sequence, we construct a forward invariant tree for which the critical orbit has the given kneading sequence. When the critical orbit of a unicritical polynomial is p… ▽ More We construct combinatorial Hubbard trees for all unicritical polynomials, and for all exponential maps, for which the critical (singular) value does not escape. More precisely, out of an external angle, or more generally a kneading sequence, we construct a forward invariant tree for which the critical orbit has the given kneading sequence. When the critical orbit of a unicritical polynomial is periodic or preperiodic, then the existence of a Hubbard tree is classical. Our trees exist even when the critical orbit is infinite (in many cases, this yields infinite trees), and even when the polynomial Julia set fails to be path connected. In the latter case, our trees cannot be reconstructed from the Julia set in complex dynamics. Our trees also exist for kneading sequences that do not arise in complex dynamics (for non complex-admissible kneading sequences). △ Less

Submitted 18 January, 2024; originally announced January 2024.

Comments: 30 pages, 4 figures

MSC Class: 37F10; 37F20; 37B10; 37E25

Existence and uniqueness of diffusions on the Julia sets of Misiurewicz-Sierpinski maps

Authors: Shiping Cao, Malte S. Hassler, Hua Qiu, Ely Sandine, Robert S. Strichartz

Abstract: We study the balanced resistance forms on the Julia sets of Misiurewicz-Sierpinski maps, which are self-similar resistance forms with equal weights. In particular, we use a theorem of Sabot to prove the existence and uniqueness of balanced forms on these Julia sets. We also provide an explorative study on the resistance forms on the Julia sets of rational maps with periodic critical points. We study the balanced resistance forms on the Julia sets of Misiurewicz-Sierpinski maps, which are self-similar resistance forms with equal weights. In particular, we use a theorem of Sabot to prove the existence and uniqueness of balanced forms on these Julia sets. We also provide an explorative study on the resistance forms on the Julia sets of rational maps with periodic critical points. △ Less

Submitted 18 August, 2020; v1 submitted 16 August, 2020; originally announced August 2020.

Comments: 31 pages, 14 figures

MSC Class: 28A80; 37F50

Laplacians on Julia sets of rational maps

Authors: Malte S. Hassler, Hua Qiu, Robert S. Strichartz

Abstract: The study of Julia sets gives a new and natural way to look at fractals. When mathematicians investigated the special class of Misiurewicz's rational maps, they found out that there is a Julia set which is homeomorphic to a well known fractal, the Sierpinski gasket. In this paper, we apply the method of Kigami to give rise to a new construction of Laplacians on the Sierpinski gasket like Julia set… ▽ More The study of Julia sets gives a new and natural way to look at fractals. When mathematicians investigated the special class of Misiurewicz's rational maps, they found out that there is a Julia set which is homeomorphic to a well known fractal, the Sierpinski gasket. In this paper, we apply the method of Kigami to give rise to a new construction of Laplacians on the Sierpinski gasket like Julia sets with a dynamically invariant property. △ Less

Submitted 11 January, 2020; originally announced January 2020.

Comments: 15 pages, 8 figures

MSC Class: 28A80