Tootfinder

Banach modules, almost mathematics and condensed mathematics
Dimitri Dine
https://arxiv.org/abs/2508.11268 https://arxiv.org/pdf/2508.11268

Banach modules, almost mathematics and condensed mathematics
We study the relationship between almost mathematics, condensed mathematics and the categories of seminormed and Banach modules over a Banach ring $A$, with submetric (norm-decreasing) $A$-module homomorphisms for morphisms. If $A$ is a Banach ring with a norm-multiplicative topologically nilpotent unit $\varpi$ contained in the closed unit ball $A_{\leq1}$ such that $\varpi$ admits a compatible system of $p$-power roots $\varpi^{1/p^{n}}$ with \begin{equation*}\lVert\varpi^{1/p^{n}}\rVert=\lVe…

Collaborative Preferences for Learning Mathematics: A Scale Validation Study
Sang Hyun Kim, Tanya Evans
https://arxiv.org/abs/2508.12199 https://arxiv.org/…

Collaborative Preferences for Learning Mathematics: A Scale Validation Study
Collaboration within mathematics has been established as being effective in providing students with crucial opportunities to develop critical thinking, effective communication, and teamwork skills. By engaging in group problem-solving and shared learning experiences, students may gain deeper insights into mathematical concepts and learn to approach challenges from multiple perspectives. However, there remains a need for a reliable instrument to capture students' preferences for collaboration. T…

Sources: NSA Director William Hartman unsuccessfully tried to protect Vinh Nguyen, an expert in AI and cryptology, from being fired on President Trump's orders (Julian E. Barnes/New York Times)
https://w…

N.S.A.’s Acting Director Tried to Save Top Scientist From Purge
Vinh Nguyen, an expert in artificial intelligence and advanced mathematics, was among the current and former officials whose security clearances were revoked by the president.

Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets
Shun Ding, Yang Wan, Luofei Wang, Siqi Xiao
https://arxiv.org/abs/2508.11635

Tietze extension does not always work in constructive mathematics if closed sets are defined as sequentially closed sets
We prove that Tietze Extension does not always exist in constructive mathematics if closed sets on which the function we are extending are defined as sequentially closed sets. Firstly, we take a discrete metric space as our topological space. Now all sets open and sequentially closed. Then, we form an unextendible algorithmic function transforming positive integers to 0 and 1, looking at the preimages of these values as our sequentially closed sets. Then we show that if the Tietze theorem concl…

This is comparable to the rise of totalitarian regimes in the 1920s and 1930s,
when Mussolini said even a teacher of mathematics must be a fascist.
Now all who do not take positions on American politics, policies and history that comply with the administration’s views
are in danger of being denied funding, subjected to lawsuits, and derided by the White House in ways that can inspire violent private attacks.
All this has precedents, but not in America’s peacetime hist…

Lt. Gen. William J. Hartman, acting N.S.A. director, asked Tulsi Gabbard for evidence to back her claim that chief scientist Vinh Nguyen committed crimes sufficient to justify revoking his clearance and received no answer.
https://www.nytimes.com/2025/08/20/us/poli

N.S.A.’s Acting Director Tried to Save Top Scientist From Purge
Vinh Nguyen, an expert in artificial intelligence and advanced mathematics, was among the current and former officials whose security clearances were revoked by the president.

Oh! #Tumblr is on a purge again, likely all these new age restrictions or such, because I've been warned against mentions of mathematics, showing chrome toggle switches being fondled on vintage computers or perhaps early 60s academic fashion, I don't know, I've requested clarification.

Evaluating undergraduate mathematics examinations in the era of generative AI: a curriculum-level case study
Benjamin J. Walker, Beatriz Navarro Lameda, Ruth A. Reynolds
https://arxiv.org/abs/2509.13359

Evaluating undergraduate mathematics examinations in the era of generative AI: a curriculum-level case study
Generative artificial intelligence (GenAI) tools such as OpenAI's ChatGPT are transforming the educational landscape, prompting reconsideration of traditional assessment practices. In parallel, universities are exploring alternatives to in-person, closed-book examinations, raising concerns about academic integrity and pedagogical alignment in uninvigilated settings. This study investigates whether traditional closed-book mathematics examinations retain their pedagogical relevance when hypotheti…

HeroBench: A Benchmark for Long-Horizon Planning and Structured Reasoning in Virtual Worlds
Petr Anokhin, Roman Khalikov, Stefan Rebrikov, Viktor Volkov, Artyom Sorokin, Vincent Bissonnette
https://arxiv.org/abs/2508.12782

HeroBench: A Benchmark for Long-Horizon Planning and Structured Reasoning in Virtual Worlds
Large language models (LLMs) have shown remarkable capabilities in isolated step-by-step reasoning tasks such as mathematics and programming, but their proficiency in long-horizon planning, where solutions require extended, structured sequences of interdependent actions, remains underexplored. Existing benchmarks typically assess LLMs through abstract or low-dimensional algorithmic tasks, failing to capture the complexity of realistic planning environments. We introduce HeroBench, a novel bench…

The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
Arnaud Mayeux, Jujian Zhang
https://arxiv.org/abs/2509.15116 https://

The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
We formalize the multi-graded Proj construction in Lean4, illustrating mechanized mathematics and formalization.

Exploring Gender Differences in Tertiary Mathematics-Intensive Fields: A Critical Review of Social Cognitive Career Theory
Huayu Gao, Tanya Evans, Gavin Brown
https://arxiv.org/abs/2508.12180

Exploring Gender Differences in Tertiary Mathematics-Intensive Fields: A Critical Review of Social Cognitive Career Theory
Social Cognitive Career Theory (SCCT) has been extensively employed to elucidate the enduring gender differences in mathematics-intensive fields, with a particular emphasis on the complex interplay of motivational factors and extra-personal influences contributing to the underrepresentation of women. Although a plethora of empirical studies corroborate SCCT, three crucial aspects for refinement have come to the fore. First, the theory should place a more substantial emphasis on how cultural and…

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Elimination Distance to Dominated Clusters
Nicole Schirrmacher, Sebastian Siebertz, Alexandre Vigny

This is comparable to the rise of totalitarian regimes in the 1920s and 1930s,
when Mussolini said even a teacher of mathematics must be a fascist.
Now all who do not take positions on American politics, policies and history that comply with the administration’s views
are in danger of being denied funding, subjected to lawsuits, and derided by the White House in ways that can inspire violent private attacks.
All this has precedents, but not in America’s peacetime hist…

Opinion | The Mind-Boggling Intrusiveness of Donald J. Trump
The president is driving the tentacles of the federal government deep into the nation’s economy, culture and legal system.

$\hat{Z}$-TQFT, Surgery Formulas, and New Algebras
Pedro Guicardi, Mrunmay Jagadale
https://arxiv.org/abs/2509.14311 https://arxiv.org/pdf/2509.14311

$\hat{Z}$-TQFT, Surgery Formulas, and New Algebras
The $\hat{Z}$ invariants of three-manifolds introduced by Gukov-Pei-Putrov-Vafa have influenced many areas of mathematics and physics. However, their TQFT structure remains poorly understood. In this work, we develop a framework of decorated $\mathrm{Spin}$-TQFTs and construct one based on Atiyah-Segal-like axioms that computes the $\hat{Z}$ invariants. Central to our approach is a novel quantization of $SL(2,\mathbb{C})$ Chern-Simons theory and a $\mathbb{Q}$-extension of the algebra of observ…

Replaced article(s) found for math.GM. https://arxiv.org/list/math.GM/new
[1/1]:
- A Necessary Condition on the Collatz Conjecture
Kerry M. Soileau
https://

Examining Gender Differences in the Impact of Instructional Clarity on Year 9 Students' Mathematics Interest in New Zealand: A Multi-Group Comparison of 2019 TIMSS Data
Huayu Gao, Tanya Evans, Gavin T. L. Brown
https://arxiv.org/abs/2508.13502

Examining Gender Differences in the Impact of Instructional Clarity on Year 9 Students' Mathematics Interest in New Zealand: A Multi-Group Comparison of 2019 TIMSS Data
Grounded in Social Cognitive Career Theory (SCCT), this study explores how teacher instruction clarity impacts Year 9 students' mathematics interest through the mediating roles of confidence and value, with a focus on gender differences. Structural equation modelling applied to the 2019 New Zealand TIMSS dataset (2,594 girls and 2,651 boys) supports the SCCT framework. While confidence and value have similar mediating effects for boys, confidence plays a more pivotal role for girls. Gender diff…

Towards a general diffusion-based information quality assessment model
Anthony Lopes Temporao, Mickael Temporao, Corentin Vande Kerckhove, Flavio Abreu Araujo
https://arxiv.org/abs/2508.13927

Towards a general diffusion-based information quality assessment model
The rapid and unregulated dissemination of information in the digital era has amplified the global "infodemic," complicating the identification of high quality information. We present a lightweight, interpretable and non-invasive framework for assessing information quality based solely on diffusion dynamics, demonstrated here in the context of academic publications. Using a heterogeneous dataset of 29,264 sciences, technology, engineering, mathematics (STEM) and social science papers from Arnet…

Crosslisted article(s) found for math.AC. https://arxiv.org/list/math.AC/new
[1/1]:
- Banach modules, almost mathematics and condensed mathematics
Dimitri Dine
…

ETTRL: Balancing Exploration and Exploitation in LLM Test-Time Reinforcement Learning Via Entropy Mechanism
Jia Liu, ChangYi He, YingQiao Lin, MingMin Yang, FeiYang Shen, ShaoGuo Liu, TingTing Gao
https://arxiv.org/abs/2508.11356

ETTRL: Balancing Exploration and Exploitation in LLM Test-Time Reinforcement Learning Via Entropy Mechanism
Recent advancements in Large Language Models have yielded significant improvements in complex reasoning tasks such as mathematics and programming. However, these models remain heavily dependent on annotated data and exhibit limited adaptability in unsupervised scenarios. To address these limitations, test-time reinforcement learning (TTRL) has been proposed, which enables self-optimization by leveraging model-generated pseudo-labels. Despite its promise, TTRL faces several key challenges, inclu…

Emerging Patterns of GenAI Use in K-12 Science and Mathematics Education
Lief Esbenshade (Victor), Shawon Sarkar (Victor), Drew Nucci (Victor), Ann Edwards (Victor), Sarah Nielsen (Victor), Joshua M. Rosenberg (Victor), Alex Liu (Victor), Zewei (Victor), Tian, Min Sun, Zachary Zhang, Thomas Han, Yulia Lapicus, Kevin He
https://arxiv.org/…

Emerging Patterns of GenAI Use in K-12 Science and Mathematics Education
In this report, we share findings from a nationally representative survey of US public school math and science teachers, examining current generative AI (GenAI) use, perceptions, constraints, and institutional support. We show trends in math and science teacher adoption of GenAI, including frequency and purpose of use. We describe how teachers use GenAI with students and their beliefs about GenAI's impact on student learning. We share teachers' reporting on the school and district support they …

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Tight Bounds for Sparsifying Random CSPs
Joshua Brakensiek, Venkatesan Guruswami, Aaron Putterman

research quality is often no longer measured directly by the content of publications, but increasingly by commercial indicators?
#thisplanetisdoomed
https://phys.org/news/2025-09-systematic-fraud-uncovered-mathematics.html

Colorful circuits and colorful topes in oriented matroids
Minho Cho, Seunghun Lee, Fr\'ed\'eric Meunier
https://arxiv.org/abs/2509.13718 https://ar…

Colorful circuits and colorful topes in oriented matroids
We provide a short proof of a conic version of the colorful Carathéodory theorem for oriented matroids. Holmsen's extension of the colorful Carathéodory theorem to oriented matroids (Advances in Mathematics, 2016) already encompasses several generalizations of the original result, but not its conic version. Our approach relies on a common generalization of Sperner's lemma and Meshulam's lemma - two closely related results from combinatorial topology that have found a number of applications in…

@… #sewing
@…
Amusing sewing anecdote:

Hydrodynamical models of the $\beta$ Lyr A circumstellar disc
Kristi\'an Vitovsk\'y (Charles University, Faculty of Mathematics and Physics, Institute of Astronomy, Heidelberger Institut f\"ur Theoretische Studien), Miroslav Bro\v{z} (Charles University, Faculty of Mathematics and Physics, Institute of Astronomy)
https://arxiv…

Hydrodynamical models of the $β$ Lyr A circumstellar disc
We study dynamics of circumstellar discs, with a focus on the $β$ Lyrae A binary system. This system with ongoing mass transfer has been extensively observed, using photometry, spectroscopy and interferometry. All these observations were recently interpreted using a radiation-transfer kinematic model. We modified the analytical Shakura-Sunyaev models for a general opacity prescription, and derived radial profiles of various quantities. These profiles were computed for the fixed accretion rat…

Learn-As-you-GO (LAGO) Trials: Optimizing Trials for Effectiveness and Power to Prevent Failed Trials
Ante Bing (Department of Mathematics,Statistics, Boston University), Donna Spiegelman (Department of Biostatistics, Yale University), Judith J. Lok (Department of Mathematics,Statistics, Boston University)
https://arxiv.org/abs/2509.11479

Learn-As-you-GO (LAGO) Trials: Optimizing Trials for Effectiveness and Power to Prevent Failed Trials
The Learn-As-you-GO (LAGO) design provides a rigorous framework for adapting the intervention package based on accumulating data while the trial is ongoing. This article improves the flexibility of the LAGO design by incorporating statistical power as an optimization criterion (power goal) in LAGO optimizations. We propose the unconditional and conditional power approaches to add a power goal. Both approaches estimate the power at the end of the LAGO trial using data from prior stages, and incr…

A Mathematics-Guided Approach to Floating-Point Error Detection
Youshuai Tan, Zhanwei Zhang, Zishuo Ding, Lianyu Zheng, Jinfu Chen, Weiyi Shang
https://arxiv.org/abs/2510.10081 …

A Mathematics-Guided Approach to Floating-Point Error Detection
Floating-point program errors can lead to severe consequences, particularly in critical domains such as military applications. Only a small subset of inputs may induce substantial floating-point errors, prompting researchers to develop methods for identifying these error-inducing inputs. Although existing approaches have achieved some success, they still suffer from two major limitations: (1) High computational cost: The evaluation of error magnitude for candidate inputs relies on high-precisio…

Discovery of Unstable Singularities
Yongji Wang, Mehdi Bennani, James Martens, S\'ebastien Racani\`ere, Sam Blackwell, Alex Matthews, Stanislav Nikolov, Gonzalo Cao-Labora, Daniel S. Park, Martin Arjovsky, Daniel Worrall, Chongli Qin, Ferran Alet, Borislav Kozlovskii, Nenad Toma\v{s}ev, Alex Davies, Pushmeet Kohli, Tristan Buckmaster, Bogdan Georgiev, Javier G\'omez-Serrano, Ray Jiang, Ching-Yao Lai

Discovery of Unstable Singularities
Whether singularities can form in fluids remains a foundational unanswered question in mathematics. This phenomenon occurs when solutions to governing equations, such as the 3D Euler equations, develop infinite gradients from smooth initial conditions. Historically, numerical approaches have primarily identified stable singularities. However, these are not expected to exist for key open problems, such as the boundary-free Euler and Navier-Stokes cases, where unstable singularities are hypothesi…

🇺🇦 #NowPlaying on KEXP's #StreetSounds
Mos Def:
🎵 Mathematics
#MosDef
https://samadee.bandcamp.com/album/mos-def-mathematics-samadee-remix
https://open.spotify.com/track/3gRlmtdCyNoKiyozn2pqc9

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- The Most Malicious Ma\^{i}tre D'
Tejo V. Madhavarapu
https://

Exploring the relation between mathematical values and achievement among girls: A comparative analysis in single-sex vs. coeducational settings using TIMSS 2019 NZ data
Huayu Gao, Tanya Evans, Gavin T. L. Brown
https://arxiv.org/abs/2508.13528

Exploring the relation between mathematical values and achievement among girls: A comparative analysis in single-sex vs. coeducational settings using TIMSS 2019 NZ data
Grounded in the social cognitive career theory, this study investigates the influence of values on girls' mathematics achievement across socio-economic status (SES) settings, contrasting single-sex and coeducational schools. An analysis of variance (ANOVA) on 2019 TIMSS New Zealand data (N = 2,898) revealed that single-sex education was associated with enhanced girls' mathematical values in high-SES settings. However, its effect on translating these values into improved mathematics performance …

Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
Youcheng Huang, Bowen Qin, Chen Huang, Duanyu Feng, Xi Yang, Wenqiang Lei
https://arxiv.org/abs/2508.11252

Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
Large Reasoning Models (LRMs) have demonstrated remarkable problem-solving abilities in mathematics, as evaluated by existing benchmarks exclusively on well-defined problems. However, such evaluation setup constitutes a critical gap, since a genuine intelligent agent should not only solve problems (as a math quiz solver), but also be able~to ask for information when the problems lack sufficient information, enabling proactivity in responding users' requests. To bridge such gap, we proposes a ne…

Non-Standard Models of Homotopy Type Theory
Nima Rasekh
https://arxiv.org/abs/2508.07736 https://arxiv.org/pdf/2508.07736

Non-Standard Models of Homotopy Type Theory
Homotopy type theory is a modern foundation for mathematics that introduces the univalence axiom and is particularly suitable for the study of homotopical mathematics and its formalization via proof assistants. In order to better comprehend the mathematical implications of homotopy type theory, a variety of models have been constructed and studied. Here a model is understood as a model category with suitable properties implementing the various type theoretical constructors and axioms. A first e…

[2025-08-19 Tue (UTC), 5 new articles found for math.GM General Mathematics]
toXiv_bot_toot

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Tightening the mixed integer linear formulation for the piecewise linear approximation in general...
Quentin Ploussard, Xiang Li, Matija Pavi\v{c}evi\'c

The mathematics behind making homing missiles hit their targets in an interesting way. This is the typical sci-fi anime effect called "Macross Missile Massacre" or - after its inventor Ichirō Itano - "Itano Circus". By @…

FACET:Teacher-Centred LLM-Based Multi-Agent Systems-Towards Personalized Educational Worksheets
Jana Gonnermann-M\"uller, Jennifer Haase, Konstantin Fackeldey, Sebastian Pokutta
https://arxiv.org/abs/2508.11401

FACET:Teacher-Centred LLM-Based Multi-Agent Systems-Towards Personalized Educational Worksheets
The increasing heterogeneity of student populations poses significant challenges for teachers, particularly in mathematics education, where cognitive, motivational, and emotional differences strongly influence learning outcomes. While AI-driven personalization tools have emerged, most remain performance-focused, offering limited support for teachers and neglecting broader pedagogical needs. This paper presents the FACET framework, a teacher-facing, large language model (LLM)-based multi-agent s…

"Airdrops would usually be ordered as a last resort to feed people in emergency situations where hostile armed forces or geography make road deliveries impossible. In Gaza the only obstacles to driving aid across the border are restrictions imposed by Israel, an ally of many western nations including Britain, and armed with British and US weapons"
#GazaGenocide

From Diagnosis to Improvement: Probing Spatio-Physical Reasoning in Vision Language Models
Tiancheng Han, Yunfei Gao, Yong Li, Wuzhou Yu, Qiaosheng Zhang, Wenqi Shao
https://arxiv.org/abs/2508.10770

From Diagnosis to Improvement: Probing Spatio-Physical Reasoning in Vision Language Models
Spatio-physical reasoning, a foundation capability for understanding the real physics world, is a critical step towards building robust world models. While recent vision language models (VLMs) have shown remarkable progress in specialized domains like multimodal mathematics and pure spatial understanding, their capability for spatio-physical reasoning remains largely unexplored. This paper provides a comprehensive diagnostic analysis of mainstream VLMs, revealing that current models perform ina…

BoN Appetit Team at LeWiDi-2025: Best-of-N Test-time Scaling Can Not Stomach Annotation Disagreements (Yet)
Tomas Ruiz, Siyao Peng, Barbara Plank, Carsten Schwemmer
https://arxiv.org/abs/2510.12516

BoN Appetit Team at LeWiDi-2025: Best-of-N Test-time Scaling Can Not Stomach Annotation Disagreements (Yet)
Test-time scaling is a family of techniques to improve LLM outputs at inference time by performing extra computation. To the best of our knowledge, test-time scaling has been limited to domains with verifiably correct answers, like mathematics and coding. We transfer test-time scaling to the LeWiDi-2025 tasks to evaluate annotation disagreements. We experiment with three test-time scaling methods: two benchmark algorithms (Model Averaging and Majority Voting), and a Best-of-N sampling method. T…

Embedding Sustainability in Undergraduate Mathematics with Actionable Case Studies
Maria Kleshnina, Matthew Holden, Ryan Heneghan, Kate Helmstedt
https://arxiv.org/abs/2508.07594

Embedding Sustainability in Undergraduate Mathematics with Actionable Case Studies
There is a growing need to integrate sustainability into tertiary mathematics education given the urgency of addressing global environmental challenges. This paper presents four case studies from Australian university courses that incorporate ecological and environmentally-conscious concepts into the mathematics curriculum. These case studies cover topics such as population dynamics, sustainable fisheries management, statistical inference for endangered species assessment, and mathematical mode…

I love watching Sabine Hossenfelder's videos about Cosmology/Einstein/Mathematics.
#Einstein

#Mathematics #Maths

"And quite an adventure the life of Margittai Neumann Janos Lajos was. A child prodigy, he published his first paper in mathematics before age 20. He was the indisputable champion of applied mathematics in the 20th century. His work yielded groundbreaking advances in theoretical mathematics, quantum mechanics, game theory, economics, fluid dynamics, artificial intelligence, electrodynamics, meteorology, and computing."

William Aspray
There was a moment in which Kurt Gödel, Albert Einstein, and John von Neumann were all roaming the halls of the Institute for Advanced Studies in Princeton at the same time. Let that information sink in. Humanity experiences such gatherings of brilliant minds in a remote location of the space-time continuum only every so often; maybe the ancient Greeks and the men of the Renaissance witnessed such periods in time, as did the IAS staff at the end of World War II. How much will we have to wait f…

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- On the Identity and Group Problems for Complex Heisenberg Matrices
Paul C. Bell, Reino Niskanen, Igor Potapov, Pavel Semukhin

Gen AI in Proof-based Math Courses: A Pilot Study
Hannah Klawa, Shraddha Rajpal, Cigole Thomas
https://arxiv.org/abs/2509.13570 https://arxiv.org/pdf/2509.…

Gen AI in Proof-based Math Courses: A Pilot Study
With the rapid rise of generative AI in higher education and the unreliability of current AI detection tools, developing policies that encourage student learning and critical thinking has become increasingly important. This study examines student use and perceptions of generative AI across three proof-based undergraduate mathematics courses: a first-semester abstract algebra course, a topology course and a second-semester abstract algebra course. In each case, course policy permitted some use o…

Formalizing dimensional analysis using the Lean theorem prover
Maxwell P. Bobbin, Colin Jones, John Velkey, Tyler R. Josephson
https://arxiv.org/abs/2509.13142 https://

Formalizing dimensional analysis using the Lean theorem prover
Dimensional analysis is fundamental to the formulation and validation of physical laws, ensuring that equations are dimensionally homogeneous and scientifically meaningful. In this work, we use Lean 4 to formalize the mathematics of dimensional analysis. We define physical dimensions as mappings from base dimensions to exponents, prove that they form an Abelian group under multiplication, and implement derived dimensions and dimensional homogeneity theorems. Building on this foundation, we intr…

[2025-09-19 Fri (UTC), 4 new articles found for math.GM General Mathematics]
toXiv_bot_toot

Capillary Rise in Pipes with Variable Cross Section
Isidora Rapaji\'c (Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia, Department of Mathematics and Informatics, Faculty of Sciences, Novi Sad, Serbia), Srboljub Simi\'c (Department of Mathematics and Informatics, Faculty of Sciences, Novi Sad, Serbia)
https://…

Capillary Rise in Pipes with Variable Cross Section
This work proposes an ODE model for a capillary rise in pipes with variable cross section and compares it to the lubrication theory model. Two key assumptions are made: (1) radius of the pipe varies with axial coordinate, and (2) pipe's convergence angle is small. The model reduction process involves the identification of critical parameters and simplifies the governing equations by neglecting higher-order terms. Under appropriate scaling, it is shown that generalized Washburn's equation for ca…

#SanFrancisco and #BayArea folks, I'm going to talk about fighting #censorship at the August 20th Nerd Nite San Francisco! Help spread the word and hope to see some of you there!

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- On 3-Connected Cubic Planar Graphs and their Strong Embeddings on Orientable Surfaces
Meike Wei{\ss}, Reymond Akpanya, Alice C. Niemeyer

Optimal Inference of the Mean Outcome under Optimal Treatment Regime
Shuoxun Xu (Department of Mathematics, The Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong, China, Division of Biostatistics, School of Public Health, University of California, Berkeley, Berkeley, CA, USA), Xinzhou Guo (Department of Mathematics, The Hong Kong University of Science and Technology, Clear Water Bay, Hong Kong, China)

Optimal Inference of the Mean Outcome under Optimal Treatment Regime
When an optimal treatment regime (OTR) is considered, we need to evaluate the OTR in a valid and efficient way. The classical inference applied to the mean outcome under OTR, assuming the OTR is the same as the estimated OTR, might be biased when the regularity assumption that OTR is unique is violated. Although several methods have been proposed to allow nonregularity in such inference, its optimality is unclear due to challenges in deriving semiparametric efficiency bounds under potential non…

Crosslisted article(s) found for cs.CY. https://arxiv.org/list/cs.CY/new
[1/1]:
- V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams
Duong Q. Nguyen, Quy P. Nguyen, Nguyen Van Nhon, Quang-Thinh Bui, H. Nguyen-Xuan

[2025-08-20 Wed (UTC), no new articles found for math.GM General Mathematics]
toXiv_bot_toot

Examining the Impact of Tutorial Activity Engagement on Undergraduate Students' Collaborative Preferences
Sang Hyun Kim, Tanya Evans
https://arxiv.org/abs/2508.13511 https:/…

Examining the Impact of Tutorial Activity Engagement on Undergraduate Students' Collaborative Preferences
This study examines the impact of tutorial engagement on Collaborative Preferences for Learning Mathematics (CPLM) in a tertiary context. A two-way mixed ANOVA analysed these preferences over a semester in a sample of undergraduate students. As expected, collaborative engagement had a significant main effect, with students who collaborated more reporting stronger preferences for working with their peers (higher CPLM). The absence of an interaction effect between the nature of tutorial engagemen…

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Marco Del Tredici, Jacob McCarran, Benjamin Breen, Javier Aspuru Mijares, Weichen Winston Yin, Jacob M. Taylor, Frank Koppens, Dirk Englund
https://arxiv.org/abs/2510.12787

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collaboratively with human experts. To achieve this, Ax-Prover approaches scientific problem solving through formal proof generation, a process that demands both creative reasoning and strict syntactic rigor. Ax-Prover meets this challenge by equipping Large Language Models (LLMs), which provide knowledge and reasoning, wit…

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
Ruida Wang, Jiarui Yao, Rui Pan, Shizhe Diao, Tong Zhang
https://arxiv.org/abs/2510.11769 https://

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving
Solving math problems through verifiable languages such as Lean has significantly impacted both the mathematics and computer science communities. Current state-of-the-art models are often trained with expensive online Reinforcement Learning (RL) or expert iteration. However, these approaches rely on fixed problem sets, which causes inefficient training and limits the model to tackle complex problems. To overcome these limitations, we propose GAR: Generative Adversarial Reinforcement learning, a…

Efficient Algorithms for Partitioning Circulant Graphs with Optimal Spectral Approximation
Surya Teja Gavva, Peng Zhang
https://arxiv.org/abs/2509.11382 https://

Efficient Algorithms for Partitioning Circulant Graphs with Optimal Spectral Approximation
The Marcus-Spielman-Srivastava theorem (Annals of Mathematics, 2015) for the Kadison-Singer conjecture implies the following result in spectral graph theory: For any undirected graph $G = (V,E)$ with a maximum edge effective resistance at most $α$, there exists a partition of its edge set $E$ into $E_1 \cup E_2$ such that the two edge-induced subgraphs of $G$ spectrally approximates $(1/2)G$ with a relative error $O(\sqrtα)$. However, the proof of this theorem is non-constructive. It remains …

"In the first 21 months of war, 104 flights supplied the equivalent of just four days of food for Gaza, Israeli data shows, for a cost running to tens of millions of dollars. Spent on trucks, the same budget would deliver much more food"
#GazaGenocide
#GazaStarvation …

[2025-08-20 Wed (UTC), no new articles found for cs.DM Discrete Mathematics]
toXiv_bot_toot

🇺🇦 #NowPlaying on KEXP's #Early
Killing Joke:
🎵 Mathematics of Chaos
#KillingJoke
https://mistofdeadend.bandcamp.com/track/mathematics-of-chaos-killing-joke-cover
https://open.spotify.com/track/7IyI3OWuhTOoZfWCmLYZR6

Psyche-R1: Towards Reliable Psychological LLMs through Unified Empathy, Expertise, and Reasoning
Chongyuan Dai, Jinpeng Hu, Hongchang Shi, Zhuo Li, Xun Yang, Meng Wang
https://arxiv.org/abs/2508.10848 …

Psyche-R1: Towards Reliable Psychological LLMs through Unified Empathy, Expertise, and Reasoning
Amidst a shortage of qualified mental health professionals, the integration of large language models (LLMs) into psychological applications offers a promising way to alleviate the growing burden of mental health disorders. Recent reasoning-augmented LLMs have achieved remarkable performance in mathematics and programming, while research in the psychological domain has predominantly emphasized emotional support and empathetic dialogue, with limited attention to reasoning mechanisms that are bene…

[2025-08-19 Tue (UTC), no new articles found for cs.DM Discrete Mathematics]
toXiv_bot_toot

Efficient estimation for flexible spatial zero-inflated models with environmental applications
Chung-Wei Shen (Department of Mathematics, National Chung Cheng University, Chia-Yi, Taiwan, R.O.C), Bu-Ren Hsu (Graduate Institute of Statistics, National Central University, Taoyuan, Taiwan, R.O.C), Chia-Ming Hsu (Graduate Institute of Statistics, National Central University, Taoyuan, Taiwan, R.O.C), Chun-Shu Chen (Graduate Institute of Statistics, National Central University, Taoyuan, Taiw…

Efficient estimation for flexible spatial zero-inflated models with environmental applications
Spatial two-component mixture models offer a robust framework for analyzing spatially correlated data with zero inflation. To circumvent potential biases introduced by assuming a specific distribution for the response variables, we employ a flexible spatial zero-inflated model. Despite its flexibility, this model poses significant computational challenges, particularly with large datasets, due to the high dimensionality of spatially dependent latent variables, the complexity of matrix operation…

Towards a Common Framework for Autoformalization
Agnieszka Mensfelt, David Tena Cucala, Santiago Franco, Angeliki Koutsoukou-Argyraki, Vince Trencsenyi, Kostas Stathis
https://arxiv.org/abs/2509.09810 …

Towards a Common Framework for Autoformalization
Autoformalization has emerged as a term referring to the automation of formalization - specifically, the formalization of mathematics using interactive theorem provers (proof assistants). Its rapid development has been driven by progress in deep learning, especially large language models (LLMs). More recently, the term has expanded beyond mathematics to describe the broader task of translating informal input into formal logical representations. At the same time, a growing body of research explo…

Gauge Theory and Integrability: An Overview
Masahito Yamazaki
https://arxiv.org/abs/2509.07628 https://arxiv.org/pdf/2509.07628

Gauge Theory and Integrability: An Overview
While general quantum field theories (QFTs) have yet to be rigorously defined in mathematics, they have generated new mathematics and have served as a unifying principle connecting different branches of the subject. In 1989, Witten made a profound impact on the mathematical community by systematically constructing knot invariants via the three-dimensional Chern-Simons theory. One of the historical roots of knot invariants was integrable models, whose explanation in terms of QFT remained unsolve…

[2025-09-19 Fri (UTC), no new articles found for cs.DM Discrete Mathematics]
toXiv_bot_toot

The Ethical and Sustainable Concerns Triangle: A Framework for Navigating Discourses in Mathematics and Its Education
Dennis M\"uller, Maurice Chiodo, Michael Meyer
https://arxiv.org/abs/2510.11327

The Ethical and Sustainable Concerns Triangle: A Framework for Navigating Discourses in Mathematics and Its Education
The literature on ethics and sustainability in mathematics and its education is increasingly complex and fragmented, potentially leading to communication breakdowns between different scholarly traditions. To address this, the paper introduces the "Ethical and Sustainable Concerns Triangle," a framework that maps discourses based on their relative concern for three areas (represented as three vertices in the triangle): "Mathematics", "Community", and "Society/Planet". By integrating a systems th…

“Our analysis of the food packages supplied by the [Gaza Humanitarian Foundation] shows that their distribution plan would lead to mass starvation, even if it was able to function without the appalling levels of violence that have been reported”
#GazaGenocide
#GazaStarvation

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Mos Def:
🎵 Mathematics
#MosDef
https://samadee.bandcamp.com/album/mos-def-mathematics-samadee-remix
https://open.spotify.com/track/3gRlmtdCyNoKiyozn2pqc9

"data compiled and published by Israel’s own government makes clear that it has been starving Gaza. Between March and June, Israel allowed just 56,000 tonnes of food to enter the territory, Cogat records show, less than a quarter of Gaza’s minimum needs for that period"
#GazaGenocide
#GazaStarvation

[2025-08-18 Mon (UTC), 1 new article found for math.GM General Mathematics]
toXiv_bot_toot

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- On Approximate MMS Allocations on Restricted Graph Classes
V\'aclav Bla\v{z}ej, Micha{\l} D\k{e}bski, Zbigniew Lonc, Marta Piecyk, Pawe{\l} Rz\k{a}\.zewski

[2025-09-18 Thu (UTC), 1 new article found for math.GM General Mathematics]
toXiv_bot_toot

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Sampling tree-weighted partitions without sampling trees
Sarah Cannon, Wesley Pegden, Jamie Tucker-Foltz

Crocheting Mathematics
Hanne Kekkonen
https://arxiv.org/abs/2508.10597 https://arxiv.org/pdf/2508.10597

Crocheting Mathematics
Crochet provides a superior method for the production of two-dimensional surfaces from one-dimensional material. Compared to any of the other known processes to generate constant flat, spherical or hyperbolic shapes, it is the most flexible and precise way to build a dynamical system with very simple local rules and with very high precision of the intrinsic curvature.

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Curvature as a tool for evaluating dimensionality reduction and estimating intrinsic dimension
Charlotte Beylier, Parvaneh Joharinad, J\"urgen Jost, Nahid Torbati

O-Forge: An LLM Computer Algebra Framework for Asymptotic Analysis
Ayush Khaitan, Vijay Ganesh
https://arxiv.org/abs/2510.12350 https://arxiv.org/pdf/251…

O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
Large language models have recently demonstrated advanced capabilities in solving IMO and Putnam problems; yet their role in research mathematics has remained fairly limited. The key difficulty is verification: suggested proofs may look plausible, but cannot be trusted without rigorous checking. We present a framework, called LLM+CAS, and an associated tool, O-Forge, that couples frontier LLMs with a computer algebra systems (CAS) in an In-Context Symbolic Feedback loop to produce proofs that a…

Replaced article(s) found for math.GM. https://arxiv.org/list/math.GM/new
[1/1]:
- A note on solitary numbers
Sagar Mandal
https://arxiv.o…

Improving Value-based Process Verifier via Low-Cost Variance Reduction
Zetian Sun, Dongfang Li, Baotian Hu, Min Zhang
https://arxiv.org/abs/2508.10539 https://

Improving Value-based Process Verifier via Low-Cost Variance Reduction
Large language models (LLMs) have achieved remarkable success in a wide range of tasks. However, their reasoning capabilities, particularly in complex domains like mathematics, remain a significant challenge. Value-based process verifiers, which estimate the probability of a partial reasoning chain leading to a correct solution, are a promising approach for improving reasoning. Nevertheless, their effectiveness is often hindered by estimation error in their training annotations, a consequence o…

The Path to Aperiodic Monotiles
Craig S. Kaplan
https://arxiv.org/abs/2509.12216 https://arxiv.org/pdf/2509.12216…

The Path to Aperiodic Monotiles
This article, written for undergraduate mathematics students, provides an accessible introduction to a few key problems in tiling theory: Heesch's problem, the isohedral number problem, and the existence of an aperiodic monotile. I contributed to the solution of the last of these problems in 2023, but many related questions remain open and worthy of study. My goal is to get more students excited about studying tiling theory.

[2025-09-18 Thu (UTC), 3 new articles found for cs.DM Discrete Mathematics]
toXiv_bot_toot

[2025-08-18 Mon (UTC), no new articles found for cs.DM Discrete Mathematics]
toXiv_bot_toot

MatheMagic: Generating Dynamic Mathematics Benchmarks Robust to Memorization
Dayy\'an O'Brien, Barry Haddow, Emily Allaway, Pinzhen Chen
https://arxiv.org/abs/2510.05962

MatheMagic: Generating Dynamic Mathematics Benchmarks Robust to Memorization
Conducting contamination-free evaluation of mathematical capabilities can be difficult for two reasons: models may memorize a test set once it is made public, and current mathematical benchmarks are prone to overfitting due to having limited diversity of symbols and rules, coupled with closed-ended answers. This paper proposes a method to leverage these shortcomings as useful features to a construct dynamic, counterfactual benchmark, which can be used to both reveal overfitting and measure true…

Ethical and sustainable mathematics is localised: why global paradigms fail and culturally-situated practices are essential
Dennis M\"uller, Maurice Chiodo
https://arxiv.org/abs/2510.05892

Ethical and sustainable mathematics is localised: why global paradigms fail and culturally-situated practices are essential
This paper identifies several different interconnected challenges preventing the move towards more ethical and sustainable mathematics education: the entrenched belief in mathematical neutrality, the difficulty of simultaneously reforming mathematics and its pedagogy, the gap between academic theory and classroom practice, and the need for epistemic decolonisation. In this context, we look at both bottom-up and top-down approaches, and argue that globalised frameworks such as the United Nations…

[2025-09-17 Wed (UTC), 2 new articles found for math.GM General Mathematics]
toXiv_bot_toot

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- The Converse of the Real Orthogonal Holant Theorem
Ben Young
https://

Mathematical Computation and Reasoning Errors by Large Language Models
Liang Zhang, Edith Aurora Graf
https://arxiv.org/abs/2508.09932 https://arxiv.org/pd…

Mathematical Computation and Reasoning Errors by Large Language Models
Large Language Models (LLMs) are increasingly utilized in AI-driven educational instruction and assessment, particularly within mathematics education. The capability of LLMs to generate accurate answers and detailed solutions for math problem-solving tasks is foundational for ensuring reliable and precise feedback and assessment in math education practices. Our study focuses on evaluating the accuracy of four LLMs (OpenAI GPT-4o and o1, DeepSeek-V3 and DeepSeek-R1) solving three categories of m…

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Graph Coloring Below Guarantees via Co-Triangle Packing
Shyan Akmal, Tomohiro Koana

Replaced article(s) found for math.GM. https://arxiv.org/list/math.GM/new
[1/1]:
- On Characterizing Potential Friends of 20
Tapas Chatterjee, Sagar Mandal, Sourav Mandal

Error Detection and Correction for Interpretable Mathematics in Large Language Models
Yijin Yang, Cristina Cornelio, Mario Leiva, Paulo Shakarian
https://arxiv.org/abs/2508.03500

Error Detection and Correction for Interpretable Mathematics in Large Language Models
Recent large language models (LLMs) have demonstrated the ability to perform explicit multi-step reasoning such as chain-of-thought prompting. However, their intermediate steps often contain errors that can propagate leading to inaccurate final predictions. Additionally, LLMs still struggle with hallucinations and often fail to adhere to prescribed output formats, which is particularly problematic for tasks like generating mathematical expressions or source code. This work introduces EDCIM (Err…

[2025-09-17 Wed (UTC), no new articles found for cs.DM Discrete Mathematics]
toXiv_bot_toot

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Finding happiness by evolutionary algorithms
Mohammad Hadi Shekarriz, Dhananjay Thiruvady, Asef Nazari

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- On Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Armand, Dwivedi, Hansen, Limaye, Srinivasan, Tavenas

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Menger's Theorem for Temporal Paths (Not Walks)
Allen Ibiapina, Raul Lopes, Andrea Marino, Ana Silva

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Thin Trees via $k$-Respecting Cut Identities
Mohit Daga
https://

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Localization game capture time of trees and outerplanar graphs
Vesna Ir\v{s}i\v{c} Chenoweth, Matija Skrt

Replaced article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- Directed Temporal Tree Realization for Periodic Public Transport: Easy and Hard Cases
Julia Meusel, Matthias M\"uller-Hannemann, Klaus Reinhardt

Crosslisted article(s) found for cs.DM. https://arxiv.org/list/cs.DM/new
[1/1]:
- On the edge expansion of random polytopes
Asaf Ferber, Michael Krivelevich, Marcelo Sales, Wojciech Samotij

[2025-09-16 Tue (UTC), 2 new articles found for cs.DM Discrete Mathematics]
toXiv_bot_toot