Tootfinder

The Milky Way could have many more satellite galaxies than scientists have previously been able to predict or observe,
according to new research.
Cosmologists at Durham University used a new technique combining the highest-resolution supercomputer simulations that exist,
alongside novel mathematical modeling, to predict the existence of missing "orphan" galaxies.

The Milky Way could be teeming with more satellite galaxies than previously thought
The Milky Way could have many more satellite galaxies than scientists have previously been able to predict or observe, according to new research. Cosmologists at Durham University used a new technique combining the highest-resolution supercomputer simulations that exist, alongside novel mathematical modeling, to predict the existence of missing "orphan" galaxies.

At a clandestine math conclave in Berkeley in May, a chatbot powered by o4-mini answered some of the hardest solvable problems much faster than a mathematician (Lyndie Chiou/Scientific American)
https://www.scientificamerican.com/article…

Inside the Secret Meeting Where Mathematicians Struggled to Outsmart AI
The world's leading mathematicians were stunned by how adept artificial intelligence is at doing their jobs

ROS-related Robotic Systems Development with V-model-based Application of MeROS Metamodel
Tomasz Winiarski, Jan Kaniuka, Daniel Gie{\l}dowski, Jakub Ostrysz, Krystian Radlak, Dmytro Kushnir
https://arxiv.org/abs/2506.08706

ROS-related Robotic Systems Development with V-model-based Application of MeROS Metamodel
As robotic systems grow increasingly complex, heterogeneous, and safety-critical, the need for structured development methodologies becomes paramount. Although frameworks like the Robot Operating System (ROS) and Model-Based Systems Engineering (MBSE) offer foundational tools, they often lack integration when used together. This paper addresses that gap by aligning the widely recognized V-model development paradigm with the MeROS metamodel SysML-based modeling language tailored for ROS-based sy…

Mathematicians, a plea for understanding. Or at least I point out a curiosity.
I was playing around in ivy (high precision calculator) with Stirling's approximation and noticed something. I compute (Stirling N)/N! for successive powers of 10:
approx 10 100 1000 10000 100000 1000000
0.99170403955606148634 0.99916701656784300017 0.99991667014156998579 0.99999166670139157019 0.99999916666701389157 0.99999991666667013889
The successive approximations improve (approach 1.0) by one decimal digit of result for each digit of argument, but that's not the curious part. The curious part happens after the 9's: the result seems to be trending towards a limit of 0.9...166666...... It adds not only a 9 for each input digit, it extends the next part by a digit 6 for every factor of 10. Now 1/6 is 0.166666 and that makes me think there's something going on here.
Is this true? Is it known? Is it proven?

Viture Luma: Neue Display-Brillen bieten bis zu 173 Zoll Bildschirmdiagonale
Ab Juli kommen vier neue Modelle der Viture-Luma-Serie auf den Markt. Wir klären, wie sich die Smart Glasses mit Schwerpunkt Medienwiedergabe unterscheiden.

X-Shooting ULLYSES: Massive stars at low metallicity. XIII. Putting the bi-stability jump to the test in the LMC
T. Alkousa (Astrophysics Research Cluster, School of Mathematical and Physical Sciences, University of Sheffield), P. A. Crowther (Astrophysics Research Cluster, School of Mathematical and Physical Sciences, University of Sheffield), J. M. Bestenlehner (Astrophysics Research Cluster, School of Mathematical and Physical Sciences, University of Sheffield, School of Chemical, M…

X-Shooting ULLYSES: Massive stars at low metallicity. XIII. Putting the bi-stability jump to the test in the LMC
We aim to investigate the theoretical bi-stability jump, which predicts an increase in mass-loss rates below 21 kK. We further aim to constrain the photospheric and wind parameters of a sample of 16 LMC late-O and B supergiants. We utilise the 1D, non-LTE radiative transfer model CMFGEN in a grid-based approach and subsequent fine-tuned spectroscopic fitting procedure to determine the stellar and wind parameters of each star. We apply this method to ultra-violet data from the ULLYSES programme …

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
Hiromi Ishii (Jij, Inc), Taro Shimizu (Jij, Inc), Toshiki Teramura (Jij, Inc)
https://arxiv.org/abs/2506.06495

Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling
In solving mathematical optimization problems efficiently, it is crucial to make use of information about specific types of constraints, such as the one-hot or Special-Ordered Set (SOS) constraints. In many cases, exploiting such information gives asymptotically better execution time. JijModeling, an industrial-strength mathematical optimization modeller, achieves this by separating the symbolic representation of an optimization problem from the input data. In this paper, we will report a real-…

Mathematical Framework of Subwavelength Resonance in Elastic Metascreen
Wei Wu, Youzi He
https://arxiv.org/abs/2507.07837 https://arx…

Mathematical Framework of Subwavelength Resonance in Elastic Metascreen
In this paper we provide a mathematical framework based on asymptotic analysis of layer potential operators for determining the existence of subwavelength resonance in elastic metascreen and resonance frequency calculation. We consider the case of high shear modulus contrast between metascreen inclusions and background medium. When the shear modulus of inclusions tends to infinity, we prove the occurrence of subwavelength resonance and demonstrate the dramatic change of scattered field due to s…

Heute im #RTG2491Kolloquium:
What connects Symplectic Geometry so deeply with Algebraic Geometry and Low Dimensional Topology?
🧑‍🏫 Katrin Wehrheim
🏫 Department of Mathematics, UC Berkley
🗓️ Datum: 12.06.2025
🕓 Uhrzeit: 16:15 Uhr
📍 Sitzungszimmer, Mathematisches Institut, Bunsenstraße 3-5

This https://arxiv.org/abs/2403.18487 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Singularity: a Seventh Memo?
In this paper we explore the relationships between Calvino's memos and Mathematics. In the first part, we discuss how Lightness, Quickness, Exactitude, Visibility, Multiplicity are present in the mathematical language, reasoning and in the work of the mathematician. In addiction, we follow a similar path for the topics of Calvino's lecture of which we only know the title or some notes. In the final part, we explain why `Singularity' could be chosen as a possible topic for Calvino's seventh lect…