arXiv Summaries

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

arXiv · Logic
conservation of a Carlson-Simpson lemma for 1-variable words
The paper studies a combinatorial theorem about coloring words over a finite alphabet. Imagine you have an alphabet like {0, 1} and you form "words" that contain exactly one variab...
arXiv:2607.28116
Yesterday
arXiv · Logic
On the Definability of Strong Negation in Bilateral Logics
The paper investigates a specific question in philosophical logic: can a particular kind of negation, called "strong negation," be built out of simpler logical ingredients in certa...
arXiv:2607.27252
Yesterday
arXiv · Logic
Hadwiger's conjecture for hypergraphs
Hadwiger's conjecture is a famous unsolved problem in graph theory from 1943. It proposes a deep connection between two properties of a graph: its chromatic number (the minimum num...
arXiv:2607.27243
Yesterday
arXiv · Probability
Small value probabilities of additive and derivative martingales in supercritical branching Brownian motions and super Brownian motions
Branching Brownian motion is a probabilistic model where particles move randomly through space while simultaneously splitting into offspring, creating an ever-growing cloud of wand...
arXiv:2607.27612
Yesterday
arXiv · Probability
Universal topological statistics on triangulated singular spaces
Persistent homology is a tool from topology that tracks how geometric features like holes, loops, and voids appear and disappear as you gradually build up a shape from data. Given ...
arXiv:2607.27535
Yesterday
arXiv · Probability
The stochastic Keller--Segel system in critical spaces
The Keller-Segel system is a set of equations originally developed to describe how biological cells, such as bacteria, move in response to chemical signals, a process called chemot...
arXiv:2607.27472
Yesterday
arXiv · Analysis / PDEs
Rigorous justification of the hydrostatic-incompressible approximation for weakly stratified isothermal flow
The paper tackles a fundamental question in fluid dynamics: when is it mathematically valid to simplify the full equations governing compressible air flow into a simpler set of equ...
arXiv:2607.27477
Yesterday
arXiv · Analysis / PDEs
Remarks on some quasi-linear fourth order parabolic equations arising in mathematical physics
The paper tackles a family of partial differential equations that show up in mathematical physics, specifically fourth-order parabolic equations. These are evolution equations (mea...
arXiv:2607.27451
Yesterday
arXiv · Analysis / PDEs
Semilinear Elliptic Systems with Nonlocal Homogeneous Critical Nonlinearities
The Brezis-Nirenberg problem is a famous mathematical challenge involving a type of differential equation called an elliptic partial differential equation. It asks when certain equ...
arXiv:2607.27423
Yesterday
arXiv · Algebraic Geometry
Logarithmic Lefschetz fixed point formulae and resonant boundary indices
The classical Lefschetz fixed point theorem is a tool in topology that counts the fixed points of a map from a space to itself. It does this by combining local information near eac...
arXiv:2607.28288
Yesterday
arXiv · Algebraic Geometry
Families of curves separating points
The paper studies curves in algebraic geometry, specifically hyperbolic curves, which are curves with enough "holes" or complexity to have rich mathematical structure. The central ...
arXiv:2607.27746
Yesterday
arXiv · Algebraic Geometry
Sharp Bounds for Totally Invariant Cycles of Projective Varieties
The paper studies self-maps of smooth projective varieties, which are geometric spaces defined by polynomial equations. Specifically, it looks at a class of maps called "int-amplif...
arXiv:2607.27738
Yesterday
arXiv · Combinatorics
The maximum number of paths of even length in a planar graph
The paper tackles a question in graph theory: among all "planar graphs" with a fixed number of vertices (graphs that can be drawn on a flat surface without any edges crossing), how...
arXiv:2607.27284
Yesterday
arXiv · Combinatorics
Stronger Lower Bounds for Tree Covers via Cyclic Symmetry
The paper is about a geometric problem called "tree covers." Imagine you have a set of points with distances between them, like cities on a map. A tree cover is a collection of k t...
arXiv:2607.27264
Yesterday
arXiv · Combinatorics
The 2-Domination Number and the Upper Median Degree: A Proof of Graffiti.pc Conjecture 387
The paper solves a problem in graph theory about how well a network can be "controlled" by a small set of nodes. In any network, a 2-domination set is a collection of nodes such th...
arXiv:2607.27246
Yesterday
arXiv · Number Theory
On some Diophantine and Ergodic properties of the Schneider map over function fields
The paper develops a new type of continued fraction algorithm, but instead of working with ordinary numbers, it works over a more exotic mathematical setting: formal Laurent series...
arXiv:2607.27437
Yesterday
arXiv · Number Theory
Multivariate counting of wild abelian extensions
The paper studies a counting problem in number theory, specifically about extensions of function fields. A function field is a type of mathematical object that, instead of being bu...
arXiv:2607.27364
Yesterday
arXiv · Number Theory
The exceptional set of the Goldbach problem
The Goldbach conjecture, one of the oldest unsolved problems in mathematics, states that every even number greater than 2 can be written as the sum of two prime numbers. While this...
arXiv:2607.27282
Yesterday
arXiv · Logic
Finitely additive measures on and additive combinatorics
The paper investigates a mathematical structure called finitely additive measures on the integers. Unlike ordinary probability measures, these assign sizes to sets of integers in a...
arXiv:2607.26522
Jul 30
arXiv · Logic
Some results on NIP groups and their Ellis groups
The paper works within a branch of mathematical logic called model theory, which studies mathematical structures through the lens of formal languages and definability. A central ob...
arXiv:2607.26265
Jul 30
arXiv · Probability
A Simple Model of Sea Spray
The ocean surface is constantly ejecting tiny droplets of saltwater into the air, a phenomenon called sea spray. These droplets play an important role in weather, climate, and atmo...
arXiv:2607.26254
Jul 30
arXiv · Probability
The pair correlation function of the Sine process
The Sine-beta process is a mathematical object that describes how points (think of them as energy levels or eigenvalues) arrange themselves randomly along a line, with a parameter ...
arXiv:2607.26223
Jul 30
arXiv · Probability
Scaling and partial universality of the height zero probability in the 2D Abelian sandpile
The Abelian sandpile model is a simple mathematical system defined on a grid where each site holds a number of sand grains. When a site accumulates too many grains, it topples, dis...
arXiv:2607.26169
Jul 30
arXiv · Analysis / PDEs
Nonlinear quantum Fokker-Planck equation near equilibrium
The paper studies a mathematical equation that describes how quantum particles (like electrons, which are fermions) spread out and reach thermal equilibrium over time. Think of it ...
arXiv:2607.26433
Jul 30
arXiv · Analysis / PDEs
Contact set of solutions to gradient flow of Landau-de Gennes energy with a singular entropy potential
The paper studies a mathematical model for liquid crystals, which are materials that flow like liquids but have some of the ordered structure of crystals. The state of a liquid cry...
arXiv:2607.26354
Jul 30
arXiv · Analysis / PDEs
Generic failure of uniform separation in planar Dirichlet spectra
The Dirichlet spectrum of a domain is the collection of special frequencies at which sound (or heat, or quantum wavefunctions) can resonate inside that domain with the boundary hel...
arXiv:2607.26224
Jul 30
arXiv · Algebraic Geometry
Higher dimensional dominoes in de Rham-Witt cohomology
The de Rham-Witt complex is a powerful tool in algebraic geometry for studying the geometry of varieties defined over fields of characteristic p (fields where p times 1 equals zero...
arXiv:2607.26323
Jul 30
arXiv · Algebraic Geometry
Algebraic vs. analytic: a survey
The central question of this paper is whether maps and geometric structures that are defined using calculus and complex analysis can always be replaced by ones defined using polyno...
arXiv:2607.26190
Jul 30
arXiv · Algebraic Geometry
A Riemann-Roch theorem for Frobenius quotients
The paper introduces two new algebraic constructions called "Frobenius quotients," built by taking algebras of operators (either shift operators or differential operators) and quot...
arXiv:2607.26176
Jul 30
arXiv · Combinatorics
Sharp bounds for the fractional chromatic number of high-girth -degenerate graphs
The paper studies a graph theory problem about coloring networks efficiently. A "d-degenerate" graph is one where every subgraph has some vertex with at most d connections, which i...
arXiv:2607.26271
Jul 30
arXiv · Number Theory
Bhargava Gamma functions for determinant-admissible sets
The paper develops a generalization of the factorial function and its associated Gamma function, but in a much more abstract algebraic setting. The classical Gamma function extends...
arXiv:2607.26321
Jul 30
arXiv · Number Theory
Inclusions between p-bounded crystalline loci in dimension two
The paper studies a collection of mathematical objects called "crystalline representations," which are a special class of symmetry transformations arising in number theory. Specifi...
arXiv:2607.26305
Jul 30
arXiv · Number Theory
On purity of Anderson t-modules
The mathematical objects at the center of this paper are called Anderson t-modules, which are structures studied in a branch of mathematics that builds analogies between number fie...
arXiv:2607.26233
Jul 30
arXiv · Logic
The Internal Modal Logic of Forcing
The paper builds a bridge between two areas of mathematical logic: modal logic (the study of statements involving "necessarily" and "possibly") and forcing (a technique set theoris...
arXiv:2607.25977
Jul 29
arXiv · Logic
Computable Quantification in Reflective Grounded Arithmetic
The paper introduces a new arithmetic system called Reflective Grounded Arithmetic (RGA), designed to challenge a common oversimplification about Gödel's incompleteness theorems. T...
arXiv:2607.25533
Jul 29
arXiv · Logic
Initial algebras from constructive ordinals
The mathematics of infinite structures often requires reasoning about processes that go on for more than finitely many steps, which involves so-called transfinite recursion. Classi...
arXiv:2607.25460
Jul 29
arXiv · Probability
Oriented Minimum spanning tree looks like the Uniform spanning tree on the complete graph (at least locally)
The paper studies two ways to connect all the nodes of a large network into a single tree structure. A "spanning tree" links every node without any loops, while a "spanning arbores...
arXiv:2607.25428
Jul 29
arXiv · Probability
A note on the random constrained-degree percolation model on
The paper studies a model of network formation on an infinite square grid. In this model, each intersection point (vertex) in the grid is assigned a random limit on how many connec...
arXiv:2607.25277
Jul 29
arXiv · Probability
Local Moments of M\"obius Fourier Polynomials and the Riemann Hypothesis
The Riemann Hypothesis (RH) is one of the most famous unsolved problems in mathematics. It makes a precise claim about the distribution of prime numbers, and proving or disproving ...
arXiv:2607.25002
Jul 29
arXiv · Analysis / PDEs
The Navier-Stokes equations with dual-scale hereditary viscosity: supercritical norm inflation and global well-posedness in critical spaces
The classical Navier-Stokes equations describe how ordinary viscous fluids flow, but many real materials like biological fluids, polymer solutions, and certain industrial liquids h...
arXiv:2607.25009
Jul 29
arXiv · Analysis / PDEs
Diffusion stabilises time-periodic solutions in conservation laws coupled to a relaxation oscillator
The paper examines a mathematical system that combines two types of equations: a conservation law, which describes how some physical quantity spreads through space over time, and a...
arXiv:2607.24994
Jul 29
arXiv · Analysis / PDEs
On the Wave of Klein-Gordon Type: Propagation Equation at a Boundary and Interior Observability
The paper studies how waves behave in a mathematical setting governed by equations similar to the Klein-Gordon equation, which describes certain wave phenomena in physics. A centra...
arXiv:2607.24839
Jul 29
arXiv · Algebraic Geometry
The Miyaoka-Yau inequality and the delta invariant for Fano varieties
The Miyaoka-Yau inequality is a classic result in geometry that constrains how the curvature of a space can be distributed, expressed as a relationship between certain topological ...
arXiv:2607.25181
Jul 29
arXiv · Algebraic Geometry
A counterexample to a conjecture of Duncan on versal actions
The concept of "versality" for a group action is a way of measuring how efficiently a group can be made to act on a geometric space. A versal action is one that is, in a precise se...
arXiv:2607.25118
Jul 29
arXiv · Algebraic Geometry
On the K\"ahler MMP and the transcendental base-point-free theorem
The minimal model program (MMP) is a major framework in algebraic geometry that aims to classify complex geometric spaces by simplifying them into the most basic, "minimal" forms. ...
arXiv:2607.24986
Jul 29
arXiv · Combinatorics
Schrijver Number Quasi-Tensorization and Multicolor Ramsey Bounds via Robust OR Polynomials
The paper develops a new mathematical tool called a "robust OR polynomial framework" and applies it to two classic problems in combinatorics. The core idea is a method for combinin...
arXiv:2607.25023
Jul 29
arXiv · Combinatorics
On efficient graph covers and steered random walks
The paper tackles a problem about how efficiently you can organize the vertices of a network into manageable groups. Specifically, it shows that for any network with n vertices, yo...
arXiv:2607.25016
Jul 29
arXiv · Combinatorics
Some Central Digraphs and their Automorphisms
The paper introduces a new family of directed graphs (networks where connections between points have a specific direction) built from pairs of numbers drawn from modular arithmetic...
arXiv:2607.24962
Jul 29
arXiv · Number Theory
Twisted automorphic descent to odd GSpin groups and applications
The Langlands program is a vast web of conjectures connecting number theory, representation theory, and geometry. A central theme is that automorphic forms, which are highly symmet...
arXiv:2607.25127
Jul 29
arXiv · Number Theory
Transcendence of multivariate Mahler functions and algebraic relations between their values
Mahler functions are special mathematical objects defined by functional equations where the input is repeatedly raised to some integer power. For example, a Mahler function might s...
arXiv:2607.24877
Jul 29
arXiv · Number Theory
Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist
The paper studies a basic question in algebra: given a finite group (a mathematical structure built around a combining operation), how many elements can you pick so that every chos...
arXiv:2607.24847
Jul 29
arXiv · Logic
Affine modal propositional logic
Modal logic is a branch of formal logic that extends ordinary true/false reasoning by adding operators that express concepts like "necessarily" and "possibly." Traditionally, one w...
arXiv:2607.23323
Jul 28
arXiv · Logic
Relative -stability, relative categoricity and internal covers
Model theory is a branch of mathematical logic that studies mathematical structures (like groups, fields, or graphs) through the lens of formal languages and what can be expressed ...
arXiv:2607.23314
Jul 28
arXiv · Logic
Theory of Interpretations II. Categorical equivalence of projective logical geometries
The paper develops a mathematical framework called "projective logical geometry" to study when two algebraic structures are essentially the same from a logical point of view. The c...
arXiv:2607.23261
Jul 28
arXiv · Probability
Epidemic Phase Transitions in the Zero-Range Process
The paper studies a mathematical model of how an infection spreads through a population of moving particles on a grid. Each particle is either healthy or infected. The key rules ar...
arXiv:2607.22908
Jul 28
arXiv · Probability
Mirror Langevin diffusions: Convergence rates and Markov chain approximations
The paper studies a family of algorithms for sampling from probability distributions, which is a core task in statistics, machine learning, and scientific computing. The key idea i...
arXiv:2607.22892
Jul 28
arXiv · Probability
Clustering of large deviations in heavy-tailed moving averages: the catastrophe principle in the long-memory case
The paper studies how extreme events cluster together in certain random processes that evolve over time. Imagine a financial market where crashes tend to come in waves, or a river ...
arXiv:2607.22878
Jul 28
arXiv · Analysis / PDEs
Dispersive estimates of Dirac equations with a domain wall
The paper studies how wave-like solutions to certain equations called Dirac equations behave over time, specifically how they spread out or "disperse." The physical motivation come...
arXiv:2607.22879
Jul 28
arXiv · Analysis / PDEs
Geometry of the Atomic Condition
The paper deals with a technical problem in the calculus of variations, specifically about which mathematical functions (called integrands) can be used to measure the "size" of geo...
arXiv:2607.22782
Jul 28
arXiv · Analysis / PDEs
Shape-Transition in Non-Euclidean Ribbons
Thin elastic ribbons appear everywhere in nature and engineering, from plant tendrils to soft robots to strips of heated bimetal. What makes ribbons special is their hierarchy of d...
arXiv:2607.22593
Jul 28