We present the results of a large-scale computational analysis of mathematical papers from the ArXiv repository, demonstrating a comprehensive system that not only detects mathematical errors but provides complete referee reports with journal tier recommendations. Our automated analysis system processed over 37,000 papers across multiple mathematical categories, revealing significant error rates and quality distributions. Remarkably, the system identified errors in papers spanning three centuries of mathematics, including works by Leonhard Euler (1707-1783) and Peter Gustav Lejeune Dirichlet (1805-1859), as well as contemporary Fields medalists. In Numerical Analysis (math.NA), we observed an error rate of 9.6\% (2,271 errors in 23,761 papers), while Geometric Topology (math.GT) showed 6.5\% (862 errors in 13,209 papers). Strikingly, Category Theory (math.CT) showed 0\% errors in 93 papers analyzed, with evidence suggesting these results are ``easier'' for automated analysis. Beyond error detection, the system evaluated papers for journal suitability, recommending 0.4\% for top generalist journals, 15.5\% for top field-specific journals, and categorizing the remainder across specialist venues. These findings demonstrate both the universality of mathematical error across all eras and the feasibility of automated comprehensive mathematical peer review at scale. This work demonstrates that the methodology, while applied here to mathematics, is discipline-agnostic and could be readily extended to physics, computer science, and other fields represented in the ArXiv repository.
Let $G_1$ be a semisimple real Lie group and $G_2$ another locally compact second countable unimodular group. We prove that $G_1 \times G_2$ has fixed price one if $G_1$ has higher rank, or if $G_1$ has rank one and $G_2$ is a $p$-adic split reductive group of rank at least one. As an application we resolve a question of Gaboriau showing $SL(2,\mathbb{Q})$ has fixed price one. Inspired by the very recent work arXiv:2307.01194v1 [math.GT], we employ the method developed by the author and Miklós Abért to show that all essentially free probability measure preserving actions of groups weakly factor onto the Cox process driven by their amenable subgroups. We then show that if an amenable subgroup can be found satisfying a double recurrence property then the Cox process driven by it has cost one.
Barnette and Edelson have shown that there are finitely many minimal triangulations of a connected compact 2-manifold M. Similar finiteness results are obtained for cellular partial triangulations that satisfy various girth inequality constraints for embedded cycles. A characterisation of various M-embedded sparse graphs is given in terms of the satisfaction of higher genus girth inequalities. With this it is shown that there are finitely many contraction-minimal M-embedded graphs that are (3,6)-tight or (3,3)-tight.
We analyse local features of the spaces of representations of the fundamental group of a punctured surface in $\mathrm{SU}_2$ equipped with a decoration, namely a choice of a logarithm of the representation at peripheral loops. Such decorated representations naturally arise as monodromies of spherical surfaces with conical points. Among other things, in this paper we determine the smooth locus of such absolute and relative decorated representation spaces: in particular, in the relative case (with few special exceptions) such smooth locus is dense, connected, and exactly consists of non-coaxial representations. The present study sheds some light on the local structure of the moduli space of spherical surfaces with conical points, which is locally modelled on the above-mentioned decorated representation spaces.
Lehmer's famous problem asks whether the set of Mahler measures of polynomials with integer coefficients admits a gap at 1. In 2019, Lück extended this question to Fuglede-Kadison determinants of a general group, and he defined the Lehmer's constants of the group to measure such a gap. In this paper, we compute new values for Fuglede-Kadison determinants over non-cyclic free groups, which yields the new upper bound $\frac{2}{\sqrt{3}}$ for Lehmer's constants of all torsion-free groups which have non-cyclic free subgroups. Our proofs use relations between Fuglede-Kadison determinants and random walks on Cayley graphs, as well as works of Bartholdi and Dasbach-Lalin. Furthermore, via the gluing formula for $L^2$-torsions, we show that the Lehmer's constants of an infinite number of fundamental groups of hyperbolic 3-manifolds are bounded above by even smaller values than $\frac{2}{\sqrt{3}}$.
Alexandre Eremenko, Andrei Gabrielov, Gabriele Mondello
et al.
The space of Lamé functions of order m is isomorphic to the space of pairs (elliptic curve, Abelian differential) where the differential has a single zero of order 2m at the origin and m double poles with vanishing residues. We describe the topology of this space: it is a Riemann surface of finite type; we find the number of components and the genus and Euler characteristic of each component. As an application we find the degrees of Cohn's polynomials confirming a conjecture by Robert Maier. As another application we partially describe the degeneration locus of the space of spherical metrics on tori with one conic singularity where the conic angle is an odd multiple of 2$π$.
A flow-spine of a 3-manifold is a spine admitting a flow that is transverse to the spine, where the flow in the complement of the spine is diffeomorphic to a constant flow in an open ball. We say that a contact structure on a closed, connected, oriented 3-manifold is supported by a flow-spine if it has a contact form whose Reeb flow is a flow of the flow-spine. It is known by Thurston and Winkelnkemper that any open book decomposition of a closed oriented 3-manifold supports a contact structure. In this paper, we introduce a notion of positivity for flow-spines and prove that any positive flow-spine of a closed, connected, oriented 3-manifold supports a contact structure uniquely up to isotopy. The positivity condition is critical to the existence of the unique, supported contact structure, which is also proved in the paper.
Let $S$ be a compact, connected, oriented surface, possibly with boundary, of negative Euler characteristic. In this article we extend Lindenstrauss-Mirzakhani's and Hamenstädt's classification of locally finite mapping class group invariant ergodic measures on the space of measured laminations $\mathcal{M}\mathcal{L}(S)$ to the space of geodesic currents $\mathcal{C}(S)$, and we discuss the homogeneous case. Moreover, we extend Lindenstrauss-Mirzakhani's classification of orbit closures to $\mathcal{C}(S)$. Our argument relies on their results and on the decomposition of a current into a sum of three currents with isotopically disjoint supports: a measured lamination without closed leaves, a simple multi-curve and a current that binds its hull.
We classify the set of quadrilaterals that can be inscribed in convex Jordan curves, in the continuous as well as in the smooth case. This answers a question of Makeev in the special case of convex curves. The difficulty of this problem comes from the fact that standard topological arguments to prove the existence of solutions do not apply here due to the lack of sufficient symmetry. Instead, the proof makes use of an area argument of Karasev and Tao, which we furthermore simplify and elaborate on. The continuous case requires an additional analysis of the singular points, and a small miracle, which then extends to show that the problems of inscribing isosceles trapezoids in smooth curves and in piecewise $C^1$ curves are equivalent.