arXiv Summaries

Frontier research, made readable. Updated daily across 11 subfields.

arXiv · Logic
Dependent choice and iterated beta_n-model reflection
The paper works within mathematical logic, specifically a branch called proof theory, which studies the strength and relationships between formal mathematical systems. At the heart...
arXiv:2610.36982
Oct 28
arXiv · Logic
On various notions of universally Baire sets and reflection of non-Baire property in Cantor sets
The property of Baire is a classical way of measuring how "regular" or "tame" a set of real numbers is. A set has this property if it differs from an open set only by a small, negl...
arXiv:2610.36265
Oct 28
arXiv · Logic
A direct proof of Infinity in NF-0
The paper tackles a foundational question in mathematical logic, specifically about a set theory called New Foundations (NF), invented by W.V.O. Quine in 1937. Set theories are for...
arXiv:2610.35928
Oct 28
arXiv · Probability
Non-local to local limit for stochastic conservation laws
The paper tackles a fundamental question about how certain mathematical models of physical systems relate to one another. In many real-world situations, particles or agents interac...
arXiv:2610.36099
Oct 28
arXiv · Probability
Using the Blackwell-Cover Guessing Strategy to Separate Unobserved Bernoulli Trials - II
The Blackwell-Cover Guessing Strategy is a clever mathematical technique originally designed for a seemingly simple problem: you are shown one of two numbers drawn from some unknow...
arXiv:2610.36016
Oct 28
arXiv · Probability
Accelerating Langevin Dynamics with Weighted Laplacian Flow: Global Well-Posedness and Exponential Convergence
The paper introduces a modified version of a standard algorithm used in statistics and physics called Langevin dynamics, which is a method for sampling from complicated probability...
arXiv:2610.35892
Oct 28
arXiv · Analysis / PDEs
Uniqueness and large-time continuous dependence in a doubly degenerate nutrient taxis system
The paper studies a mathematical system of equations that models how cells or organisms move in response to nutrient gradients, a process called taxis. The two equations track the ...
arXiv:2610.36117
Oct 28
arXiv · Analysis / PDEs
Simultaneous Recovery of Wave Speeds and Initial Sources on Graphs via Redundant Frontier Propagation
The paper tackles a problem in mathematical signal recovery: if you have a network (a graph) where waves travel between nodes, and you can only observe what happens at certain node...
arXiv:2610.36106
Oct 28
arXiv · Analysis / PDEs
On the Luxemburg Functional in the Concave Regime with an Application to Nonlocal Differential Equations
The paper studies a mathematical object called the Luxemburg functional, which is a way of measuring the "size" of a function using a variable exponent. The twist here is that the ...
arXiv:2610.35878
Oct 28
arXiv · Algebraic Geometry
Motivic -power operations in
The Hopkins-Morel-Hoyois theorem is a major result in a field called motivic homotopy theory, which applies the tools of topology (the mathematical study of shapes and spaces) to a...
arXiv:2610.35903
Oct 28
arXiv · Algebraic Geometry
K3 surfaces with finite automorphism group in positive characteristic
K3 surfaces are a special class of geometric objects studied in algebraic geometry. They are two-dimensional shapes with particularly rich and symmetric structure, named after thre...
arXiv:2610.35899
Oct 28
arXiv · Algebraic Geometry
Elementary Moves on Ideal Webs, Local Monodromies on Hitchin Fibrations, and Tropical Mutations on Groups
The paper studies three mathematical objects that turn out to be secretly the same thing, viewed from different angles. The first is a combinatorial object called an ideal web or b...
arXiv:2610.35898
Oct 28
arXiv · Combinatorics
A generalization of pseudocomplementation in semilattices, lattices and posets with 0
The paper studies a mathematical structure called a pseudocomplemented lattice, which is an ordered set where every element has a unique "best complement" called its pseudocompleme...
arXiv:2610.35988
Oct 28
arXiv · Combinatorics
On Hamilton cycles in quasiprimitive graphs of order
The paper tackles a long-standing open problem in algebraic graph theory: does every connected vertex-transitive graph contain a Hamiltonian cycle, meaning a closed path that visit...
arXiv:2610.35976
Oct 28
arXiv · Combinatorics
Average eccentricity in k-connected tournaments
The paper studies a property of mathematical objects called tournaments. A tournament is a way of taking a complete network of points (where every pair of points is connected) and ...
arXiv:2610.35970
Oct 28
arXiv · Number Theory
Hankel determinants for the -shifted -metallic numbers
The paper studies mathematical objects called "metallic numbers," which are a family of numbers that generalize the famous golden ratio. Just as the golden ratio satisfies a simple...
arXiv:2610.36132
Oct 28
arXiv · Number Theory
Uniform local models of quasi-unipotent -adic differential equations
The paper deals with a branch of mathematics called p-adic analysis, which studies mathematical structures using a number system built around a prime number p rather than the usual...
arXiv:2610.36130
Oct 28
arXiv · Number Theory
Counting Markov triples and simple geodesics
Markov triples are sets of three positive integers, such as (1, 1, 2) or (1, 2, 5), that satisfy a specific equation discovered in the 19th century: x squared plus y squared plus z...
arXiv:2610.36069
Oct 28
arXiv · Logic
Forcing square with small conditions
The paper addresses a technical question in set theory about how to construct certain combinatorial objects called "square sequences." A square sequence at an infinite cardinal kap...
arXiv:2610.34900
Oct 27
arXiv · Logic
Inductive Grounded Arithmetic: Goodstein, the Hydra, and
The paper develops a new logical system for arithmetic that takes seriously the idea that a statement should only count as true if there is a concrete, terminating process that mak...
arXiv:2610.34548
Oct 27
arXiv · Logic
J\'onsson cardinals, Magidor cardinals, and the number of omitted colors
The paper deals with a branch of mathematics called combinatorial set theory, which studies how large infinite collections of objects can be colored or partitioned while satisfying...
arXiv:2610.34189
Oct 27
arXiv · Probability
Berry-Esseen bounds for products of random matrices under a polynomial moment
The paper studies what happens when you multiply a long sequence of random matrices together. Multiplying matrices is not like multiplying ordinary numbers, because the order matte...
arXiv:2610.33342
Oct 27
arXiv · Probability
Absorption probabilities of random walks without symmetry or general position
A random walk is a sequence of points in space where each step is chosen randomly and independently. A central question is: what is the probability that the convex hull (the tighte...
arXiv:2610.33216
Oct 27
arXiv · Probability
Cutoff profile for the coupon collector with many collections
The coupon collector problem is a classic puzzle in probability: if there are n different types of coupons and you draw them at random (with replacement), how many draws do you nee...
arXiv:2610.33199
Oct 27
arXiv · Analysis / PDEs
Localized Hybrid Analytical-Finite-Element Thermal Modeling for Laser Powder Bed Fusion
Laser powder bed fusion is a metal 3D printing process where a laser melts thin layers of metal powder along carefully planned paths to build up a part. Simulating the heat generat...
arXiv:2610.33273
Oct 27
arXiv · Analysis / PDEs
blow-up in the fourth-order Jordan-Moore-Gibson-Thompson equation
The Jordan-Moore-Gibson-Thompson (JMGT) equation is a mathematical model for nonlinear acoustic wave propagation, relevant to applications like medical ultrasound and high-intensit...
arXiv:2610.33213
Oct 27
arXiv · Analysis / PDEs
Variational relaxation and gradient flows for degenerate elliptic conductivity problems
The paper studies how electrical current flows through materials where the conductivity (how easily electricity passes through) can be very weak or even zero in some places. This i...
arXiv:2610.33173
Oct 27
arXiv · Algebraic Geometry
Movable Curves and Ample Normal Bundles
The paper tackles a fundamental question in algebraic geometry about how to understand the geometry of a smooth complex projective variety, which is a geometric space defined by po...
arXiv:2610.33724
Oct 27
arXiv · Algebraic Geometry
GKZ Systems and Gauss-Manin Connections of Families of Projective Hypersurfaces
Periods are numbers that arise by integrating certain mathematical functions over geometric shapes defined by polynomial equations. When you have a family of geometric objects call...
arXiv:2610.33602
Oct 27
arXiv · Algebraic Geometry
Automorphisms and Hodge isometries of surfaces with
The paper studies a special class of complex algebraic surfaces, called surfaces of general type with certain numerical invariants fixed (specifically, the self-intersection of the...
arXiv:2610.33364
Oct 27
arXiv · Combinatorics
Sages and Their Anonymous Slips
The puzzle described here involves a group of "sages" seated either in a line or a circle. Each sage can only see their immediate neighbor or neighbors. Without knowing their own p...
arXiv:2610.33032
Oct 27
arXiv · Combinatorics
Equidistribution of mesh patterns of length 2 on involutions
Patterns within permutations are a well-studied topic in combinatorics. A permutation is simply an arrangement of numbers in some order, and an involution is a special kind of perm...
arXiv:2610.33028
Oct 27
arXiv · Combinatorics
Non-adjacent triples of cells in a triangular grid: proofs of three conjectured generating functions
The paper studies a triangular grid of side length n, which contains n-squared small triangular cells. The central question is how many ways you can choose 3 cells from this grid s...
arXiv:2610.33023
Oct 27
arXiv · Number Theory
Two parametric -supercongruences from Andrews' multi-series transformation
The paper deals with a branch of mathematics sitting at the intersection of number theory and combinatorics, specifically something called supercongruences. A supercongruence is a ...
arXiv:2610.33249
Oct 27
arXiv · Number Theory
On the unit group of some triquadratic fields
The paper studies a special collection of number fields, which are mathematical objects built by extending the ordinary rational numbers with square roots of several quantities at ...
arXiv:2610.33110
Oct 27
arXiv · Number Theory
A Sharp Distributional Lower Bound for Planar Discrepancy
The paper addresses a classical problem in mathematics called **discrepancy theory**, which studies how evenly a finite collection of points can be distributed inside a region. If ...
arXiv:2610.33085
Oct 27
arXiv · Logic
On the complexity of Medvedev reducibility
The Medvedev lattice is a mathematical framework for comparing the difficulty of computational problems, specifically problems that involve finding points in certain well-behaved s...
arXiv:2610.32522
Oct 26
arXiv · Logic
Interpolation in the Inquisitive Hierarchy
Inquisitive logic is a framework designed to handle not just statements that convey information but also questions that request it. It extends classical logic by distinguishing bet...
arXiv:2610.32366
Oct 26
arXiv · Logic
Amenable subrelations of treeable equivalence relations and applications to anti-treeability
The paper investigates how certain mathematical structures called "amenable subrelations" fit inside larger structures called "treeable equivalence relations." To understand the se...
arXiv:2610.32038
Oct 26
arXiv · Probability
Probabilistic representation and Monte Carlo method for nonlinear Dirac equations
The Dirac equation is a fundamental equation in physics that describes how quantum particles behave when relativity matters, such as electrons moving at high speeds. Solving these ...
arXiv:2610.31942
Oct 26
arXiv · Probability
Random Cellular Automata and deBruijn Graphs
Cellular automata are mathematical systems where a row of cells, each holding a value like 0 or 1, evolves over time according to a fixed rule. The rule tells each cell what value ...
arXiv:2610.31764
Oct 26
arXiv · Probability
Free energy fluctuations of symmetric perceptron models up to and including criticality
The paper investigates how the "free energy" of certain mathematical models called perceptrons fluctuates randomly. Free energy is a quantity borrowed from statistical physics that...
arXiv:2610.31736
Oct 26
arXiv · Analysis / PDEs
Global recovery of a scalar diffusivity from a single final state
The heat equation describes how temperature (or any diffusing quantity) spreads through a material over time. A key ingredient in this equation is the "diffusivity," a function tha...
arXiv:2610.32063
Oct 26
arXiv · Analysis / PDEs
Global regularity for 3D large spherically symmetric degenerate compressible Navier-Stokes equations with superlinear BD viscosity and far-field vacuum
The compressible Navier-Stokes equations describe how gases and fluids move when their density can change significantly, such as in high-speed flows or astrophysical settings. A ce...
arXiv:2610.32062
Oct 26
arXiv · Analysis / PDEs
A frame-indifferent rank-one convex function in three dimensions which is not quasiconvex
The paper resolves a long-standing open question in the mathematics of elasticity theory. When scientists model how solid materials deform, they use energy functions that describe ...
arXiv:2610.31886
Oct 26
arXiv · Algebraic Geometry
Comparison of Logarithmic Hochschild Homologies
Algebraic geometers study spaces by attaching algebraic invariants to them. One important such invariant is Hochschild homology, which captures how a geometric object or algebraic ...
arXiv:2610.31879
Oct 26
arXiv · Algebraic Geometry
Chern-Schwartz-MacPherson classes of symmetric powers and applications
The paper studies geometric invariants of certain spaces built from a base geometric object X. Specifically, it focuses on Chern-Schwartz-MacPherson (CSM) classes, which are a way ...
arXiv:2610.31826
Oct 26
arXiv · Algebraic Geometry
On the Hodge conjecture for hyper-K\"ahler varieties of generalized Kummer type of dimension divisible by four
The Hodge conjecture is one of the most famous unsolved problems in mathematics. It asks whether certain abstract mathematical objects called Hodge classes, which arise from the ge...
arXiv:2610.31740
Oct 26
arXiv · Combinatorics
Additive energy and Fourier complexity of graphs
The paper investigates two related ways of measuring the structure of a graph when its vertices are arranged around a cycle, like numbers on a clock face. The first measure is "add...
arXiv:2610.31807
Oct 26
arXiv · Combinatorics
Affine Higher Bruhat Orders
The weak order is a way of arranging permutations (reorderings of a list) into a hierarchy based on how many swaps of adjacent elements are needed to reach one permutation from ano...
arXiv:2610.31795
Oct 26
arXiv · Combinatorics
Principal specializations of the -chromatic symmetric function
The chromatic symmetric function is a way of encoding information about a graph by tracking all possible proper colorings, where a proper coloring means no two connected vertices s...
arXiv:2610.31785
Oct 26
arXiv · Number Theory
Quantitative nodal domain count for Maass forms
The paper studies special mathematical functions called Maass forms, which are functions defined on a curved geometric space related to number theory. These functions oscillate and...
arXiv:2610.31857
Oct 26
arXiv · Number Theory
Divisor Sums with Spacing Constraints
The paper studies a natural optimization problem in number theory: given a large number x and a spacing requirement y, how do you choose a set of positive integers up to x, with no...
arXiv:2610.31832
Oct 26
arXiv · Number Theory
Biases in gaps between zeros of Dirichlet L-functions
The paper studies special mathematical functions called Dirichlet L-functions, which are tools number theorists use to understand the distribution of prime numbers. These functions...
arXiv:2610.31744
Oct 26
arXiv · Logic
Computable presentations of separable Lebesgue spaces
The paper tackles a question in computable mathematics: which function spaces, specifically the classical Lp spaces used throughout analysis and probability, can be given a "comput...
arXiv:2610.30565
Oct 23
arXiv · Logic
A Study in Solution Models for SAT using the PBNF-transform
The paper tackles one of the most famous unsolved problems in mathematics and computer science: whether certain hard computational problems can be solved efficiently (the P versus ...
arXiv:2610.30523
Oct 23
arXiv · Logic
Reflections on Trusting Lean
The paper explores a deep mathematical connection between two powerful formal systems used for reasoning about mathematics: Lean (a popular computer proof assistant) and ZFC set th...
arXiv:2610.30433
Oct 23
arXiv · Probability
Optimal CLT error bounds in the second order Wasserstein metric via Stein's method for weakly dependent sequences
The central limit theorem (CLT) is a fundamental result in probability theory saying that when you add up many independent random variables, the distribution of the sum approaches ...
arXiv:2610.30352
Oct 23
arXiv · Probability
A note on functional non-central limit theorem for periodic regime-switching stable-like processes
The paper studies a class of random processes that switch between different statistical "regimes" over time, where the rules governing the switching depend on both the current stat...
arXiv:2610.30342
Oct 23
arXiv · Probability
Generalized Images for Brownian First Passage to Monomial Boundaries
The paper tackles a classic problem in probability theory: figuring out how long it takes for a randomly wandering particle (Brownian motion) to first reach a moving boundary. Spec...
arXiv:2610.30298
Oct 23