4 papers
Lower bounds on non-random fluctuations in planar first passage percolation
Malte Hassler
The fluctuations of the passage time in first passage percolation are of great interest. We show that the non-random fluctuations in planar FPP are at least of order $\sqrt{\log n}…
Diophantine Equations over : Universal Bounds and Parallel Formalization
Jonas Bayer, Marco David, Malte Hassler +2
This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal t…
Classification of the limit shape for 1+1-dimensional FPP
Malte Hassler
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 vertic…
Hölder continuity of core entropy for non-recurrent quadratic polynomials
Malte Hassler, Dierk Schleicher
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,…