New papers on Other mathematics
49 new papers on other mathematics in the last 7 days, within Math & statistics. These are the 49 Pipette rates most worth reading, with the main result in the authors' own words.
The best of the week
The next Fourier transform: rewiring, representation, and artificial mathematical creativity
This motivates our Rewiring Thesis: a conceptual revolution is a persistent, large-scale reorganization of transfer relations among mathematical problems.
PreprintBroad interestThe Siren Call of Silicon Leviathan: Reflections on blowup and Aufkl\"arungsd\"ammerung
Since acceptance is the one sovereign sanction the companies cannot manufacture, it proposes a covenant in place of either boycott or capitulation: the community's cooperation given to that producer which strictly observes its practices of legibility, disclosure and responsibility, withheld from any that does not, and the covenant kept plural, with the history of the Indigenous nations among rival empires as its guide.
PreprintBroad interestA variational approach for the 2D Abelian Yang-Mills-Higgs measure
We use the Bou\'e-Dupuis variational method to construct the Abelian Yang-Mills-Higgs measure on the two-dimensional torus with polynomial Higgs potentials, giving, to our knowledge, the first rigorous construction of an interacting gauge theory by this approach.
PreprintClaims a big stepTraining Mathematicians in the Age of AI: Intellectual Agency, Cognitive Offloading, and the PhD Thesis
I argue that graduate mathematical education should therefore be organized around the formation of intellectual agency: internal technical competence, mathematical judgment, understanding, and responsible participation in a shared intellectual culture.
PreprintGraduate Mathematics in the Age of AI: Forming Mathematicians for Original, Independent, and Responsible Inquiry
It distinguishes a work's contribution to mathematics from the evidence it provides of a student's formation; explains how a known answer can initiate rather than end creative inquiry; and proposes changes in learning activities, assessment, doctoral originality, advising, and institutional support.
PreprintEasy to readCIC + EM Con(ZF): the consistency of ZF in type theory with excluded middle and no choice
In the type theory of Lean with two predicative universes, from excluded middle as the only assumption and with no axiom (no choice, no propositional extensionality, no quotients), we prove the consistency of , stated outright for a first-order proof system. The proof is formalized.
PreprintCode availableCounterexamples to Grad's conjecture
For each sufficiently large , we construct smooth solutions of the magnetohydrostatic equations on embedded solid tori whose regular pressure levels are nested tori, whose magnetic field vanishes exactly on a round magnetic axis, and whose group of Euclidean symmetries, even when isometries reversing the sign of the field are admitted, is exactly the cyclic group of rotations through multiples of .
PreprintMathematics Graduate Training in the Age of AI
The central claim of this paper is that mathematics graduate programs should respond to the moment by clarifying what graduate mathematics education is trying to teach and assess.
PreprintEasy to readTransforming Mathematics
I believe that the development of AI tools will lead to a transformation of mathematics, both professionally and culturally.
PreprintEasy to readDouble-wells in a strong magnetic field: absence of tunneling for infinitely many values of the coupling constant
We prove the fixed-potential conjecture of Fefferman, Shapiro, and Weinstein for inversion-symmetric magnetic double wells.
PreprintA variational model of nonlinear poroelasticity
We derive a thermodynamically-consistent model of fluid flow through a poroelastic medium.
PreprintA Measure-Theoretic Derivation of Zadeh Fuzzy Logic
Thus the min--max--standard-negation calculus follows from measure theory once the nesting commitment is made explicit.
PreprintA complete characterization of eventually entanglement breaking unital quantum channels
We obtain a complete characterization of eventually entanglement breaking (EEB) unital channels in terms of some simple commutation properties of their eigenvectors.
PreprintTopological isomorphism of procountable groups is universal analytic
We prove that topological isomorphism of procountable groups is a universal analytic equivalence relation, answering a question of Gao, Nies, and Paolini.
PreprintEquivalence of states and bimodule quantum channels
When is an irreducible finite-index subfactor of type II, we prove that phase equivalence implies OA symmetry equivalence.
PreprintStudy of Iterative Detection and Decoding for {Mixed Near- and Far-Field} XL-MIMO Systems
Numerical results show that the proposed WR-SIC and the IDD scheme outperform existing approaches.
PreprintVaught's Conjecture for Sums of Products of Rooted Trees
We confirm Vaught's conjecture for each partial order from the closure of the class of rooted trees under finite direct products and lexicographic sums.
PreprintFrom foundations to applications: reverse mathematics and philosophy
This essay will place reverse mathematics in its historical and philosophical context, and reveal its relevance to central issues in the philosophy of mathematics, from the foundational programmes of Hilbert and Brouwer to contemporary debates about realism, determinacy, and applicability of mathematics.
PreprintFormal weakly enriched category theory
Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the -cosmos of quasicategories, thereby extending the formal approach to -categories in the sense of Riehl-Verity to encompass both simplicial and topological categories.
PreprintThe inverse elastic scattering problem in the cavity with impedance boundary
We prove that the scattered fields inside the cavity satisfy a reciprocity relation, and prove that both the shape of cavity and the impedance parameter on the boundary can be uniquely determined from the scattered fields measured on an interior curve.
PreprintAtomic toposes, choice spectra and model-theoretic stability
For an infinite cardinal , we show that is Galois -stable if and only if the atomic sheaf topos satisfies the axiom of choice for -indexed families.
PreprintAll Quiet on the AI Front: The Future of Undergraduate Math Research, Viewed from Duluth
What we can offer instead is a collection of practical observations about the role of AI in the 2026 Duluth program: how it was useful and where it presented potential pitfalls; what surprised us and how we adapted; and what went well and what we wished we had done differently.
PreprintEasy to readForking in monadically NIP theories
We demonstrate that forking in monadically NIP theories satisfies a very strong form of triviality over arbitrary sets, generalizing Baldwin-Shelah in monadically stable theories and analogous to Shelah's result for finite satisfiability over models in monadically NIP theories.
PreprintFinite Spectra of Syllogistic Logic with Cardinality Comparisons
We give a complete classification of these spectra: besides the empty set, every -spectrum is either an eventual tail of the positive integers or an eventual tail of the positive even integers.
PreprintForking and invariant types in monadic NIP theories
We obtain a strong decomposition theorem for invariant global types in a monadically NIP theory.
PreprintExistence of a Model Companion for Groups of Exponent 3
In this article, we prove that the theory of groups of exponent has a model companion.
PreprintPointwise provable equality and the failure of composition
For every consistent recursively enumerable extension of Peano arithmetic (), we exhibit two program indices that are pointwise provably equal in but yield inequivalent composites when each is run after the same program.
PreprintInfinitary provability logic
We develop a non-well-founded deep inference proof system for the modal language with at most countably infinite conjunctions and disjunctions.
PreprintThe Limits of Arithmetical Pluralism: Incompleteness, Large Cardinals, and Graded Non-Pluralism
I propose graded epistemic arithmetical non-pluralism: justification for choosing between them varies with the set-theoretic strength of .
PreprintOn the identification of certain classes of gap-rich sets
Given a subset of Euclidean space that is locally dense in the Zariski topology, we show that any image of such a set under a nonconstant polynomial is gap-rich.
PreprintFrom Sidelnikov-Welch bounds to projection constants
In the paper, we prove a recursive version of the weighted Sidelnikov-Welch inequality for real and complex unit vectors.
PreprintIdealistic equivalence relations and the Lusin derivative
We give a proof, that does not rely on analytic determinacy, of the existence of an idealistic analytic equivalence relation with Borel classes that is not classwise Borel isomorphic to an orbit equivalence relation.
PreprintThe category of nominal sets is locally monoidal closed
In this paper, we show that Nom has a much stronger property: every monoidal (closed) structure on Nom induces a monoidal (closed) structure on all slice categories Nom/X.
PreprintQuasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets
In this article, we first introduce quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets, respectively, and give their respective preliminary constructions and the induced quasi-overlap functions on quotient posets..
PreprintTwo applications of the point-free coderivative
We present two new applications of Simmons' point-free Cantor-Bendixson coderivative operator in intuitionistic logic.
PreprintPrimeless proofs of the Menger and Rothberger games
This time, we extend the earlier results by dropping some hypotheses that turned out to be unnecessary, and use Stone duality to recover known game characterizations for dense open families.
PreprintSwitching Categoricity Behavior with a Given Degree
Given a noncomputable, computably enumerable set , we construct a computable structure such that any two computable copies of are computably isomorphic while there are two -computable copies of that are not -computably isomorphic.
PreprintCombinatorics of translations of meager and closed measure zero sets
We obtain a new characterization of additivity of meager ideal and answer some questions of Cardona.
PreprintScott topologies on meet-continuous domains
For an arbitrary family of nonempty countable meet-continuous -dcpos, we prove that the Scott topology on the order product equals the product of the factor Scott topologies if and only if only finitely many factors lack a least element.
PreprintFrom raw Solvability Complexity Index proofs to Weihrauch degrees
This note aims to explain this connection further with explicit examples mostly from the literature.
PreprintCome for the vibe, stay for the math
This article describes our experiences in mathematical outreach over the past decade.
PreprintEasy to readApplications of a Commutation Formula II
In this paper we briefly recall some of the applications of these commutation formulas to isospectrality, integrable systems, regularization of PDEs, and estimates in Statistical Mechanics and Quantum Field Theory discussed in [24].
PreprintMathematical folklore
We present reflections on an experimental seminar studying the human and cultural roots of modern mathematics.
PreprintEasy to readThe theory of nonabelian free groups has no model companion
We prove that the first-order theory of nonabelian free groups does not admit a model companion.
PreprintUniform generalization of Goodstein's theorem and Cichon's independence proof
We uniformly generalize Goodstein's theorem (Goodstein 1944) and Cichon's independence proof (Cichon 1983) via the concept of maximality quotients.
PreprintOn the foundations of logic and probability, I. Modal sentential calculi
A class of models which does not require an additional operator on the language of classical sentential calculi to capture some notion of necessity, possibility, and impossibility is introduced and investigated.
PreprintFine Selection for Intuitionistic Modal Logic
We extend Fine's selection method to the setting of intuitionistic modal logic and use it to provide a model-theoretic proof that Fischer Servi-style intuitionistic has the finite model property.
PreprintRobert J. Daverman (1941-2026)
The is an expanded version of a memorial article that is to appear in the Notices of the American Mathematical Society.
PreprintEasy to readBounds on non-hermite Wigner-Yanase-Dyson skew information
We obtain the relation between non-hermite skew information , , variance and by using the maximal eigenvalue and the minimal eigenvalue of density .
Preprint