arXiv Summaries

arXiv · Logic

Medvedev logic is undecidable

The paper solves a famous open problem in mathematical logic that had been unsettled for decades. Medvedev's logic, proposed in the 1960s, is a formal system for reasoning about co...

arXiv:2609.13359

arXiv · Logic

A Note on Lowness for -Immunity

The paper tackles a question in computability theory, which is the mathematical study of what can and cannot be computed, and how difficult various computational tasks are. A centr...

arXiv:2609.13297

arXiv · Logic

Canonical Expansions of -Germs

The paper studies functions that are definable in a particular mathematical system called a quasianalytic o-minimal structure. These are functions of a single variable examined nea...

arXiv:2609.13189

arXiv · Probability

Coloured Epidemic Models: Functional Law of Large Numbers and Propagation of Chaos

The paper studies a mathematical model for how infectious diseases spread through a population where people are not all the same. In a standard epidemic model, everyone is assumed ...

arXiv:2609.13416

arXiv · Probability

A Dynamic Central Limit Theorem for Mean-Field Quantum Filtering

The paper tackles a fundamental question in quantum physics: what happens when you have a large number of quantum particles that interact with each other through their collective a...

arXiv:2609.13346

arXiv · Probability

Malliavin Smoothness of Hermite Processes of Arbitrary Order and Their Wiener Integrals

Hermite processes are a family of random processes that generalize fractional Brownian motion, a well-known model for phenomena with long-range dependence and self-similarity. Unli...

arXiv:2609.13320

arXiv · Analysis / PDEs

Ball Rigidity of Local Minimizing Domains for the Best Fractional Sobolev Constant: The Subquadratic Case

The paper addresses a geometric optimization problem: among all regions (domains) of a fixed volume in space, which shape minimizes a certain mathematical quantity called the "best...

arXiv:2609.13215

arXiv · Analysis / PDEs

Calculations for a general maximum principle: 1993 notes on the normalized parabolic -Laplacian

The paper makes publicly available a set of handwritten mathematical notes from 1993 that were written to analyze a particular type of partial differential equation. The equation i...

arXiv:2609.13209

arXiv · Analysis / PDEs

Classification and long-time asymptotics of -sign solitons for the damped nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation is a fundamental wave equation in mathematical physics that describes how certain fields evolve over time and space. This paper adds a damping t...

arXiv:2609.13207

arXiv · Algebraic Geometry

A Log Canonical Counterexample to the Chen--Jiang Decomposition

The Chen-Jiang decomposition is a theorem about how certain algebraic objects called direct image sheaves behave when you have a fibered algebraic variety mapping to an abelian var...

arXiv:2609.13623

arXiv · Algebraic Geometry

Degrees of Fano Quiver Moduli

Algebraic geometers often study spaces whose points represent mathematical objects like vector spaces arranged according to a directed graph (called a quiver). When you fix a quive...

arXiv:2609.13599

arXiv · Algebraic Geometry

Stringy invariants for abelian character varieties

The paper studies certain geometric spaces called character varieties and Higgs bundle moduli spaces. These spaces are built by taking a group G and looking at all the ways it can ...

arXiv:2609.13337

arXiv · Combinatorics

Spectral extremes under exact cycle conditioning

The paper studies a random matrix built from a random permutation, specifically looking at how large certain values of its characteristic polynomial can get on the unit circle in t...

arXiv:2609.13331

arXiv · Combinatorics

Rationality and Quasipolynomiality of Restricted Rectangle Partitions

The paper tackles a combinatorics problem about tiling rectangles with bars. Imagine a 2-by-n rectangle that you want to cover completely using horizontal or vertical bars, where e...

arXiv:2609.13305

arXiv · Combinatorics

Genlex Gray codes for with the fewest operations: classification and symmetry

The paper studies efficient ways to list all arrangements of n objects so that consecutive arrangements differ by simple, well-defined operations. This kind of listing is called a ...

arXiv:2609.13214

arXiv · Number Theory

Dynamical uniform boundedness for unicritical polynomials and elliptic curves of large rank

The paper tackles a fundamental question in mathematics called the dynamical uniform boundedness conjecture. This conjecture asks whether there is a universal upper limit on how ma...

arXiv:2609.13431

arXiv · Number Theory

Theta functions after Weil

Theta functions are special mathematical objects that have been studied for centuries and appear throughout number theory, geometry, and physics. They are built by summing infinite...

arXiv:2609.13429

arXiv · Number Theory

The Strong 24-Conjecture

Lagrange's four-square theorem, proved in 1770, guarantees that every positive integer can be written as the sum of four perfect squares. Mathematicians have since asked whether yo...

arXiv:2609.13338

arXiv · Logic

Finite-tower bounds for Skolem functions

The paper studies a fundamental question in mathematical logic: how complicated can the solutions to certain equations over the real numbers become? Specifically, it focuses on "Sk...

arXiv:2609.12740

arXiv · Logic

Fra\"iss\'e's conjecture, partial impredicativity and well-ordering principles, part II

Fraisse's conjecture is a famous result in mathematics stating that any collection of finite linear orders (ways of arranging things in a sequence) can always be compared to one an...

arXiv:2609.12581

arXiv · Logic

Effective recurrence for computable measure-preserving transformations

The Poincare Recurrence Theorem is a classical result in mathematics saying that if you have a system that evolves over time while preserving some notion of volume or probability, ...

arXiv:2609.12402

arXiv · Probability

Lehmer-Lambert Distribution

The paper introduces a new probability distribution built from two mathematical tools chained together. The first tool, the Lehmer transform, takes a set of positive measurements a...

arXiv:2609.12150

arXiv · Probability

Random walk on the small-world network model in 3 or more dimensions

The paper investigates how quickly a random process called a "random walk" spreads across a particular type of network known as a small-world network. A random walk is simply a pro...

arXiv:2609.12056

arXiv · Probability

Linear Response Theory for Jump-Driven Stochastic Systems: Transient Statistics and Escape Dynamics

Stochastic differential equations are mathematical tools used to model systems that evolve randomly over time, such as financial markets, biological processes, or physical systems ...

arXiv:2609.12013

arXiv · Analysis / PDEs

A note on p-harmonic measure

The paper deals with a concept called p-harmonic measure, which is a way of measuring how much influence a portion of a boundary has on solutions to certain mathematical equations ...

arXiv:2609.12176

arXiv · Analysis / PDEs

Eigenvalues of the linearized Navier-Stokes operator near locally Couette laminar flows

Fluid flowing smoothly between two parallel walls can sometimes remain stable and sometimes break down into turbulence. To understand which outcome occurs, physicists and mathemati...

arXiv:2609.12029

arXiv · Analysis / PDEs

On the parabolic model for the harmonic oscillator II: global existence and invariant measures

The paper studies a stochastic partial differential equation called the parabolic Phi-4-3 model, but with a harmonic oscillator potential added to it. This means the equation lives...

arXiv:2609.12026

arXiv · Algebraic Geometry

Border rank lower bounds beyond weak border apolarity

The paper tackles a fundamental problem in mathematics and computer science: figuring out how "complex" certain mathematical objects called tensors really are. Tensors are multi-di...

arXiv:2609.12121

arXiv · Algebraic Geometry

Poincar\'e duality for pro-\'etale -local systems

The paper studies a form of cohomology theory for certain geometric spaces that arise naturally in modern number theory, specifically so-called p-adic rigid-analytic spaces. These ...

arXiv:2609.12110

arXiv · Algebraic Geometry

Algebraic loops, braids, and tropicalization

The paper develops a new framework connecting three mathematical worlds: algebraic geometry (studying shapes defined by polynomial equations over the complex numbers), tropical geo...

arXiv:2609.12074

arXiv · Combinatorics

Curvature-Distortion Numbers of Graphs: Nonnegative Lin--Lu--Yau Curvature

The paper introduces a new way to measure how "curved" a network (graph) is, and how much you need to adjust the weights on its edges to make that curvature everywhere nonnegative....

arXiv:2609.12125

arXiv · Combinatorics

A Proof of the Tratnik-Ye Medianity Conjecture of Resonance Graphs on Surfaces

Resonance graphs are a tool from mathematical chemistry that encode the structure of perfect matchings in a graph. A perfect matching is a way of pairing up every vertex of a graph...

arXiv:2609.12009

arXiv · Combinatorics

Fixed-Perimeter Franklin Statistics and an Eventual Inequality

The paper is about a mathematical conjecture concerning ways to break a number into smaller parts, called partitions. In combinatorics, a partition of a number describes how you ca...

arXiv:2609.12005

arXiv · Number Theory

On the variation of slopes over moduli stacks of Galois representations

The study of modular forms is a central topic in modern number theory. Each modular form has a numerical invariant called its slope, which measures divisibility by a prime p in a p...

arXiv:2609.12281

arXiv · Number Theory

Local-global principles for visibility of lattice points on parameterized curves

Imagine standing at the origin of a grid and looking outward. A grid point is called "visible" from the origin if the straight line connecting you to that point does not pass throu...

arXiv:2609.12177

arXiv · Number Theory

An adelic approach to the Kudla-Millson lifts over totally real number fields

The Kudla-Millson lift is a mathematical tool that takes certain modular forms (functions with rich symmetry properties) and produces geometric objects called differential forms on...

arXiv:2609.12148

arXiv · Logic

Simultaneous extensions of states on quantum logics

The paper tackles a question in quantum logic, which is a mathematical framework for reasoning about quantum systems. In classical probability, if you have two consistent probabili...

arXiv:2609.10770

arXiv · Logic

Inequalities and equalities of means in Constructive Mathematics

The paper examines how classical mathematical statements about averages and means behave when you require that everything be explicitly computable. In ordinary mathematics, you can...

arXiv:2609.10593

arXiv · Logic

Tag-system computation using only powers and principal logarithms

The paper demonstrates that a surprisingly simple set of mathematical operations is enough to perform arbitrary computation. Specifically, the author shows that two operations, rai...

arXiv:2609.10592

arXiv · Probability

How Robust is Scale-Free Structure? Phase Transitions in Preferential Attachment Model under Attack?

Networks that grow by "preferential attachment" follow a well-known rule: new connections tend to go to nodes that already have many connections, producing the famous "scale-free" ...

arXiv:2609.10839

arXiv · Probability

Gumbel convergence for maximal packing distances from uniform random samples

The paper studies a fundamental geometric question: given a large collection of random points scattered uniformly across some smooth surface or region, how well can those points be...

arXiv:2609.10607

arXiv · Probability

Quantitative propagation of chaos for particle systems with memory and their long-time behaviour

The paper studies a type of mathematical model where many particles (think of them as interacting agents) move randomly but are also influenced by their own past behavior, not just...

arXiv:2609.10599

arXiv · Analysis / PDEs

Heat equation with singular drift which has bounded solution discontinuous at an interior point

The paper constructs a specific example of a heat equation where the usual expectations about solution behavior break down. Normally, when you solve a heat equation with smooth sta...

arXiv:2609.10828

arXiv · Analysis / PDEs

Sharp Lifespan Estimates for a Semilinear Wave Equation with Nonlinear Damping

The paper investigates how long solutions to a particular wave equation can exist before they break down. The equation describes a wave (think of a vibrating medium) where two comp...

arXiv:2609.10819

arXiv · Analysis / PDEs

Confined elastic wires of large length: the sharp second-order asymptotics

The problem here concerns a thin elastic wire, like a bent metal rod, that has been formed into a closed loop and must fit inside a circular disk. The wire has a fixed length L, wh...

arXiv:2609.10605

arXiv · Algebraic Geometry

Torelli theorem for the product of moduli spaces of vector bundles over a curve

The paper tackles a classical question in algebraic geometry: how much geometric information about a space can be recovered from another space built from it? The specific setting i...

arXiv:2609.10764

arXiv · Algebraic Geometry

The Reye geometry inside the 64 lines of the Schur quartic

The Schur quartic is a specific algebraic surface, meaning a geometric object defined by a degree-four polynomial equation in three-dimensional projective space. Researchers had pr...

arXiv:2609.10751

arXiv · Algebraic Geometry

Long range divided differences, clusters, and Graham-positivity

The paper studies certain geometric objects called torus-orbit closures, which arise when a high-dimensional torus (think of a multi-dimensional version of a circle) acts on a spac...

arXiv:2609.10735

arXiv · Combinatorics

Threshold Graphs Allow Few Distinct Eigenvalues: A New Approach

Threshold graphs are a special family of graphs built by repeatedly adding vertices in a specific way: each new vertex is either connected to all existing vertices or to none of th...

arXiv:2609.10623

arXiv · Combinatorics

Real stability of layer-refined antichain polynomials for three-chain products with a two-element factor

The paper is about polynomials that count certain combinatorial objects called antichains. An antichain is a collection of elements in a partially ordered set (a "poset") where no ...

arXiv:2609.10609

arXiv · Combinatorics

Corrigendum to "On the Maximum Symmetric Division Deg Index of -Cyclic Graphs [J. Math. 2022, (2022) \#7783128]"

A 2022 published paper studied a graph theory concept called the Symmetric Division Deg index, which is a numerical measure calculated from the structure of a network or graph. The...

arXiv:2609.10561

arXiv · Number Theory

Ordinary 3-Isogeny Graphs and Improvement of Supersingularity Testing for Twisted Hessian Curves over Prime Fields

Elliptic curves are fundamental objects in modern cryptography and number theory. One important question about an elliptic curve defined over a finite field is whether it is "super...

arXiv:2609.11037

arXiv · Number Theory

Sums of distinct divisors of factorials

The paper is about a classic number theory question: given a large number N, how many of its divisors do you need to add together (using each at most once) to represent any integer...

arXiv:2609.10902

arXiv · Number Theory

A New Sparse Algorithm for Polynomial GCD over Integers

The greatest common divisor (GCD) of two polynomials is the largest polynomial that divides both of them evenly. Computing polynomial GCDs is a fundamental operation in computer al...

arXiv:2609.10626

arXiv · Logic

Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields

The paper revisits a classic result from 1978 by the mathematician Yu. F. Borisov, who showed that if you start from a small set of reasonable physical assumptions plus Einstein's ...

arXiv:2609.09168

arXiv · Logic

Compact totally separated types

The paper explores a surprising fact in computer science and mathematics: some infinite collections of objects can be completely searched by a computer in a finite amount of time. ...

arXiv:2609.10447

arXiv · Logic

Frobenius Galois expansions of substructural logics:Algebraization, Kalman equivalence and positive cone semantics

Substructural logics are formal reasoning systems that relax or drop some of the standard rules of classical logic, such as the ability to freely duplicate or discard information. ...

arXiv:2609.09529

arXiv · Probability

Second-order fields for stochastic partial differential equations

The paper investigates a class of equations called stochastic partial differential equations (SPDEs), which are mathematical models that describe how quantities evolve over space a...

arXiv:2609.09540

arXiv · Probability

Gaussian Approximation for Multivariate Martingale Sums from Uniformly Ergodic Markov Chains

The central problem here is figuring out how well you can approximate the probability distribution of a sum of many dependent random quantities using a normal (Gaussian) distributi...

arXiv:2609.09480

arXiv · Probability

The anisotropic local law for sample covariance matrices under quadratic-form concentration

The study of large random matrices is central to modern statistics and data science. When you collect many high-dimensional data points and form a sample covariance matrix, a key q...

arXiv:2609.09440