arXiv ScienceSearch

arXiv subjects

Alex Wright

Publications and source records attributed to Alex Wright.

At least 19 recordsLinked to original sources

Mitosis Detection in the Wild: Multi-Tumor and Context-Aware Generalization in the MIDOG 2025 Challenge

Automated mitosis detection is a well-established task in computational pathology. While previous benchmarks focused on scanner-induced domain shift, clinical "real-world" application requires models to be robust across the vast variance to be expected in the histological landscape. The MItosis DOmain Generalization (MIDOG) 2025 challenge was designed to evaluate algorithmic performance across unprecedented biological and contextual diversity. We curated a test dataset of 365 cases, encompassing 12 distinct human, canine and feline tumor types, digitized across multiple scanning platforms. Moving beyond hand-selected hotspots, the challenge required detection also in random tissue areas (representative of the whole slide detection situation) and challenging areas (areas rich in hard negatives). In the second track, we introduced the classification of atypical mitotic figures (AMFs). There were 18 teams submitting to the detection track, with F1 scores ranging up to 0.740. In the AMF detection track, we had 21 submissions with balanced accuracy values up to 0.908. Our analysis reveals that while most models perform reliably in traditional hotspots, significant performance degradation occurs in challenging ROIs, where false positive rates tripled. Furthermore, performance varied significantly across the 12 tumor types, highlighting "blind spots" in current state-of-the-art architectures when encountering rare or highly pleomorphic malignancies. Moreover, we evaluated the effectiveness of ensembling and found a mean increases of 1.5 and 1.3 percentage points in F1 score and balanced accuracy, respectively. In contrast, TTA showed no relevant improvement. MIDOG 2025 demonstrates that "in the wild" mitosis detection remains a significant hurdle. The transition from hotspot-only evaluation to a multi-contextual framework provides a more realistic proxy for clinical reliability.

cs.CV

What is... hierarchical hyperbolicity?

This is a very short introduction to hierarchically hyperbolic spaces and groups. It is aimed at non-experts, including anyone who may encounter a group with some similarities to mapping class groups.

math.GR

MATTERIX: toward a digital twin for robotics-assisted chemistry laboratory automation

Accelerated materials discovery is critical for addressing global challenges. However, developing new laboratory workflows relies heavily on real-world experimental trials, and this can hinder scalability because of the need for numerous physical make-and-test iterations. Here we present MATTERIX, a multiscale, graphics processing unit-accelerated robotic simulation framework designed to create high-fidelity digital twins of chemistry laboratories, thus accelerating workflow development. This multiscale digital twin simulates robotic physical manipulation, powder and liquid dynamics, device functionalities, heat transfer and basic chemical reaction kinetics. This is enabled by integrating realistic physics simulation and photorealistic rendering with a modular graphics processing unit-accelerated semantics engine, which models logical states and continuous behaviors to simulate chemistry workflows across different levels of abstraction. MATTERIX streamlines the creation of digital twin environments through open-source asset libraries and interfaces, while enabling flexible workflow design via hierarchical plan definition and a modular skill library that incorporates learning-based methods. Our approach demonstrates sim-to-real transfer in robotic chemistry setups, reducing reliance on costly real-world experiments and enabling the testing of hypothetical automated workflows in silico. The project website is available at https://accelerationconsortium.github.io/Matterix/ .

cs.RO

Molecular Dynamics Simulations of Bubble Nucleation in a Liquid-Noble Scintillator

The Scintillating Bubble Chamber collaboration is searching for Weakly Interacting Massive Particles using a novel bubble chamber with intended thresholds as low as 100eV. Existing molecular dynamics simulations of bubble formation in bubble chambers were conducted with non-scintillating target materials and therefore do not account for the energy transfer to photons or time-delayed releases that occur in atomic de-excitation. In this study, we use the HOOMD-blue molecular dynamics framework to simulate bubble formation in liquid argon, including photon creation, ionization, and direct nuclear recoils. A multi-stage bubble growth process similar to that reported in the literature was observed. When comparing simulated thresholds with and without scintillation effects, we found that scintillation raises the average energy required to form a bubble by a factor of 2.16. This is larger than the fraction of energy lost to photon creation, and demonstrates that energy stored in excited molecular states with lifetimes longer than the rapid growth phase of nucleation (~250 ps) does not contribute significantly to bubble formation. This conclusion was further supported by simulations showing increased bubble nucleation thresholds when the excited molecular state lifetimes were increased, even under identical thermodynamic conditions.

hep-ex

MIDOG 2025: Mitotic Figure Detection with Attention-Guided False Positive Correction

We present a novel approach which extends the existing Fully Convolutional One-Stage Object Detector (FCOS) for mitotic figure detection. Our composite model adds a Feedback Attention Ladder CNN (FAL-CNN) model for classification of normal versus abnormal mitotic figures, feeding into a fusion network that is trained to generate adjustments to bounding boxes predicted by FCOS. Our network aims to reduce the false positive rate of the FCOS object detector, to improve the accuracy of object detection and enhance the generalisability of the network. Our model achieved an F1 score of 0.655 for mitosis detection on the preliminary evaluation dataset.

eess.IV

The infinite dimensional geometry of conjugation invariant generating sets

We consider a number of examples of groups together with an infinite conjugation invariant generating set, including: the free group with the generating set of all separable elements; surface groups with the generating set of all non-filling curves; mapping class groups and outer automorphism groups of free groups with the generating sets of all reducible elements; and groups with suitable actions on Gromov hyperbolic spaces with a generating set of elliptic elements. Building on work of Brandenbursky-Gal-K\c{e}dra-Marcinkowski, in these Cayley graphs we show that there are quasi-isometrically embedded copies of $\mathbb{Z}^m$ for all $m\geq 1$. A corollary is that these Cayley graphs have infinite asymptotic dimension. By additionally building a new subsurface projection analogue for the free splitting graph, which is valued in the above Cayley graph of the free group and may be of independent interest, we are able to recover Sabalka-Savchuk's result that the edge-splitting graph of the free group has quasi-isometrically embedded copies of $\mathbb{Z}^m$ for all $m\geq 1$.

math.GR

FLIP: Flowability-Informed Powder Weighing

Autonomous manipulation of powders remains a significant challenge for robotic automation in scientific laboratories. The inherent variability and complex physical interactions of powders in flow, coupled with variability in laboratory conditions necessitates adaptive automation. This work introduces FLIP, a flowability-informed powder weighing framework designed to enhance robotic policy learning for granular material handling. Our key contribution lies in using material flowability, quantified by the angle of repose, to optimise physics-based simulations through Bayesian inference. This yields material-specific simulation environments capable of generating accurate training data, which reflects diverse powder behaviours, for training "robot chemists". Building on this, FLIP integrates quantified flowability into a curriculum learning strategy, fostering efficient acquisition of robust robotic policies by gradually introducing more challenging, less flowable powders. We validate the efficacy of our method on a robotic powder weighing task under real-world laboratory conditions. Experimental results show that FLIP with a curriculum strategy achieves a low dispensing error of 2.12 +/- 1.53 mg, outperforming methods that do not leverage flowability data, such as domain randomisation (6.11 +/- 3.92 mg). These results demonstrate FLIP's improved ability to generalise to previously unseen, more cohesive powders and to new target masses.

cs.RO

The geometry of totally geodesic subvarieties of moduli spaces of Riemann surfaces

We prove a semisimplicity result for the boundary, in the corresponding Deligne-Mumford compactification, of a totally geodesic subvariety of a moduli space of Riemann surfaces. At the level of Teichm\"uller space, this semisimplicity theorem gives that each component of the boundary is a product of simple factors, each of which behaves metrically like a diagonal embedding. Building on this result, we also show that the associated totally geodesic submanifolds of Teichm\"uller space and orbifold fundamental groups are hierarchically hyperbolic. The proof intertwines in a novel way results and perspectives originating in dynamics, algebraic geometry, geometric group theory, and both classical and modern Teichm\"uller theory. It establishes both new rigidity and new flexibility for totally geodesic submanifolds and their associated varieties and orbifold fundamental groups and provides a rich set of new tools for the study of these objects.

math.GT

Spheres in the curve graph and linear connectivity of the Gromov boundary

We consider the curve graph in the cases where it is not a Farey graph, and show that its Gromov boundary is linearly connected. For a fixed center point c and radius r, we define the sphere of radius r to be the induced subgraph on the set of vertices of distance r from c. We show that these spheres are always connected in high enough complexity, and prove a slightly weaker result for low complexity surfaces.

math.GT

The asymmetry of Thurston's earthquake flow

We show that Thurston's earthquake flow is strongly asymmetric in the sense that its normalizer is as small as possible inside the group of orbifold automorphisms of the bundle of measured geodesic laminations over moduli space. (At the level of Teichm\"uller space, such automorphisms correspond to homeomorphisms that are equivariant with respect to an automorphism of the mapping class group.) It follows that the earthquake flow does not extend to an $\mathrm{SL}(2,\mathbf{R})$-action of orbifold automorphisms and does not admit continuous renormalization self-symmetries. In particular, it is not conjugate to the Teichm\"uller horocycle flow via an orbifold map. This contrasts with a number of previous results, most notably Mirzakhani's theorem that the earthquake and Teichm\"uller horocycle flows are measurably conjugate.

math.DS

Hodge and Teichm\"uller

We consider the derivative $D\pi$ of the projection $\pi$ from a stratum of Abelian or quadratic differentials to Teichm\"uller space. A closed one-form $\eta$ determines a relative cohomology class $[\eta]_\Sigma$, which is a tangent vector to the stratum. We give an integral formula for the pairing of of $D\pi([\eta]_\Sigma)$ with a cotangent vector to Teichm\"uller space (a quadratic differential). We derive from this a comparison between Hodge and Teichm\"uller norms, which has been used in the work of Arana-Herrera on effective dynamics of mapping class groups, and which may clarify the relationship between dynamical and geometric hyperbolicity results in Teichm\"uller theory.

math.GT

Towards optimal spectral gaps in large genus

We show that the Weil-Petersson probability that a random surface has first eigenvalue of the Laplacian less than $3/16-\epsilon$ goes to zero as the genus goes to infinity.

math.GT

Generalizations of the Eierlegende-Wollmilchsau

We classify a natural collection of GL(2,R)-invariant subvarieties, which includes loci of double covers, the orbits of the Eierlegende-Wollmilchsau, Ornithorynque, and Matheus-Yoccoz surfaces, and loci appearing naturally in the study of the complex geometry of Teichmuller space. This classification is the key input in subsequent work of the authors that classifies "high rank" invariant subvarieties, and in subsequent work of the first author that classifies certain invariant subvarieties with "Lyapunov spectrum as degenerate as possible". We also derive applications to the complex geometry of Teichmuller space and construct new examples, which negatively resolve two questions of Mirzakhani and Wright and illustrate previously unobserved phenomena for the finite blocking problem.

math.DS

Reconstructing orbit closures from their boundaries

We introduce and study diamonds of GL(2,R)-invariant subvarieties of Abelian and quadratic differentials, which allow us to recover information on an invariant subvariety by simultaneously considering two degenerations, and which provide a new tool for the classification of invariant subvarieties. We classify a surprisingly rich collection of diamonds where the two degenerations are contained in trivial invariant subvarieties. Our main results have been applied to classify large collections of invariant subvarieties; the statement of those results do not involve diamonds, but their proofs rely on them.

math.DS

The WYSIWYG compactification

We show that the partial compactification of a stratum of Abelian differentials previously considered by Mirzakhani and Wright is not an algebraic variety. Despite this, we use a combination of algebro-geometric and other methods to provide a short, unconditional proof of Mirzakhani and Wright's formula for the tangent space to the boundary of a GL(2,R) orbit closure, and give new results on the structure of the boundary.

math.DS

Mirzakhani's work on earthquake flow

The Teichmuller unipotent flow can be defined concretely on certain moduli spaces of singular flat surfaces by shearing polygonal presentations of the surfaces. Thurston's earthquake flow on moduli spaces of hyperbolic surfaces is more mysterious. Both flows have deep and important connections to other areas of mathematics. In this expository survey we give a geometric account of the main ideas behind Mirzakhani's theorem relating these two flows. Our presentation avoids some technical prerequisites that featured in the original more analytic presentation.

math.DS