2026-03-23 | | Total: 186
We show that for every complete metric space $M$ there exists another complete metric space $N$ of the same density character such that the curve-flat quotient of $N$ is isometric to $M$. Moreover, we show that if $M$ is compact and $α$ is any countable ordinal, there exists a compact $N$ such that its curve-flat quotient of order $α$ is bi-Lipschitz equivalent to $M$, with arbitrarily small distortion. Our constructions rely on a new method for constructing (compact) metric spaces, which consists in attaching iteratively compact spaces at countably many pairs of points to a snowflake-like distortion of a given (compact) metric space. We apply our results on high-order curve-flat quotients to obtain a new result concerning universality of Lipschitz quotients. Specifically, we show that there cannot exist a compact metric space $K$ such that every compact metric space is a Lipschitz quotient of $K$. This result stands in contrast to a theorem of Johnson, Lindenstrauss, Preiss and Schechtman, who showed that any separable Banach space containing $\ell_1$ has every separable geodesic complete metric space as a Lipschitz quotient.
We prove $L^p$ estimates for the shifted bilinear Hilbert transform, with a polylogarithmic bound in the size of the shift. As applications, we obtain $r$-variation estimates for bilinear ergodic averages in the sharp range $r > 2$, a sharp bilinear Hörmander multiplier theorem, and a $\log$-Dini theorem for bilinear singular integrals.
The problem of classifying all unitary R-matrices of arbitrary finite dimension that have precisely two distinct eigenvalues is described, working up to a natural equivalence relation given by the characters of their braid group representations. Up to one class that might or might not exist in even dimension larger than two, a full classification theorem is obtained.
We consider cross-diffusion systems describing evolution of two species $u$ and $v$ moving according to the Darcy's law with the pressure law $p(s) = \frac{1}{α-1} s^{α-1}$ where $s=u+v$. One of the most challenging questions in the field is the construction of solutions to the problem in the presence of additional advection fields, without imposing any artificial structure (for instance, preventing the species from mixing). Although advection arises naturally in these models, it breaks the symmetry of the system and prevents application of techniques developed in recent years. Here, we provide a new approach to construct solutions in one space dimension that works in a unified manner for all pressure exponents $α\in (0,\infty)$ and for arbitrary initial data (segregated, mixed, or partially mixed). In particular, in the regime $α> 1$, this yields the first existence result of its kind, obtained without any structural assumptions. We construct the solutions as a limit of a vanishing viscosity approximation $(u_{\varepsilon}, v_{\varepsilon})$. The main challenge is to identify the limit of $u_{\varepsilon} \, \partial_x p(s_{\varepsilon})$, where $s_{\varepsilon} = u_{\varepsilon} + v_{\varepsilon}$. The key new insight is that possible oscillations of $u_\varepsilon$ and $\partial_x p(s_\varepsilon)$ are correlated, simplifying the Young measure analysis in the compensated compactness argument and allowing identification of the limit.
We construct a category $\OrdFor$ as an arboreal extension of $Δ_{\mathrm{epi}}\subseteqΔ$, whose morphisms are ordered forests composed by grafting. We define a full functor $π\colon \OrdFor\toΔ_{\mathrm{epi}}^{op}$ extracting the semisimplicial shadow. For every complete category $\mathcal C$, this induces a fully faithful functor from semisimplicial objects in $\mathcal C$ to $\mathcal C$-valued presheaves on $\OrdFor$, with right adjoint given by right Kan extension. We show that if weak equivalences of arboreal objects are detected by this right adjoint, then their Gabriel--Zisman localization is equivalent to that of semisimplicial objects. For bicomplete cofibrantly generated model categories, under the usual acyclicity hypothesis for right-induced transfer, the corresponding model structure on arboreal objects is Quillen equivalent to the Reedy model structure on semisimplicial objects.
We consider the problem of constructing sequential power-one tests where the null and alternative classes are specified indirectly through historical or offline data. More specifically, given an offline dataset consisting of observations from $L+1$ distributions $\{P_0, P_1, \ldots, P_L\}$, and a new unlabeled data stream $\{X_t: t \geq 1\} \overset{i.i.d}{\sim} P_θ$, the goal is to decide between the null $H_0: θ= 0$, against the alternative $H_1: θ\in [L]:=\{1,\ldots,L\}$. Our main methodological contribution is a general approach for designing a level-$α$ power-one test for this problem using a multi-class classifier trained on the given offline dataset. Working under a mild "separability" condition on the distributions and the trained classifier, we obtain an upper bound on the expected stopping time of our proposed level-$α$ test, and then show that in general this cannot be improved. In addition to rejecting the null, we show that our procedure can also identify the true underlying distribution almost surely. We then establish a sufficient condition to ensure the required separability of the classifier, and provide some converse results to investigate the role of the size of the offline dataset and the family of classifiers among classifier-based tests that satisfy the level-$α$ power-one criterion. Finally, we present an extension of our analysis for the training-and-testing distribution mismatch and illustrate an application to sequential change detection. Empirical results using both synthetic and real data provide support for our theoretical results.
In this paper, we construct infinitely many non-isotopic 3-knots in the 5-sphere, each of which has four critical points with respect to the standard height function of the 5-sphere. This contrasts with a theorem of Scharlemann which says that any 2-knot in the 4-sphere with four critical points is unknotted, and also provides infinitely many knotted solid tori in the 4-sphere and 5-ball, which resolves the last remaining case of the conjecture by Budney and Gabai on the existence of knotted handlebodies. We also construct various knotted and linked handlebodies, discs, and spheres in the 4-sphere, 5-ball, and 5-sphere, extending recent works of Hughes, Miller, and the first author, and a recent work of the authors. All of our examples are explicit and are constructed using barbell diffeomorphisms.
The complex cislunar dynamical environment poses challenges for spacecraft navigation and Space Domain Awareness (SDA) operations, where the knowledge of current and future spacecraft states is essential. Conventional Gaussian-based approaches for SDA degrade under the nonlinearities that manifest in this regime. To accurately model the underlying dynamics and characterize uncertainty, this work explores the Modified Generalized Equinoctial Orbital Elements under high-fidelity propagation for cislunar applications. The Henze-Zirkler test for multivariate normality is leveraged to evaluate uncertainty evolution across a range of orbits, demonstrating improved preservation of Gaussian behavior in cislunar space.
We present computational results on principal specializations $\mathfrak{S}_w(1^n)$ of Schubert polynomials, which count reduced pipe dreams and reduced bumpless pipe dreams (RBPD). We find the first counterexample, at $n=17$, to the Merzon-Smirnov conjecture (arXiv:1410.6857) that the maximum of $\mathfrak{S}_w(1^n)$ over $S_n$ is attained at a layered permutation. The simulations suggest that $\lim_{n \to \infty} \log(\max_{w\in S_n}\mathfrak{S}_w(1^n))/n^2$ equals the maximal layered permutations' constant from Morales-Pak-Panova (arXiv:1805.04341). We also explore the random permutation drawn from the distribution proportional to $\mathfrak{S}_w(1^n)$, revealing permuton-like asymptotics similar to those for Grothendieck polynomials by Morales-Panova-Petrov-Yeliussizov (arXiv:2407.21653). We implement and compare three recurrences for $\mathfrak{S}_w(1^n)$: the descent formula (Macdonald), transition formula (Lascoux--Schutzenberger), and cotransition formula (Knutson). For sampling uniformly random RBPDs (whose count is $\sum_{w\in S_n} \mathfrak{S}_w(1^n)$), we show that reducedness breaks the sublattice property of the ASM lattice, preventing monotone CFTP and causing false coalescence. We develop an efficient MCMC sampler with macroscopic "droop" updates for connectivity and fast mixing. Our code computes $\mathfrak{S}_w(1^n)$ up to $n\sim 20$ and samples random RBPDs up to $n\sim 60$ on a personal computer ($n\sim 100$ on a cluster).
The study of mathematical connections between operator-theoretic formulations of classical dynamics and quantum mechanics began at least as early as the 1930s in work of Koopman and von Neumann and was developed in later decades by many authors, often independently, into a framework now broadly known as Koopman-von Neumann representation of classical dynamics. This article surveys aspects of this framework for measure-preserving ergodic dynamical systems and connects it with recent approximation techniques for Koopman and transfer operators that are amenable to data-driven numerical implementation. In broad terms, these methods are based on representations of (i) classical observables as elements of an algebra of operators acting on a Hilbert space; and (ii) classical probability measures as elements of the state space of that algebra, with lifted versions of the Koopman and transfer operators inducing dynamical evolution of observables and states, respectively. A common theme underlying the techniques surveyed here is the use of reproducing kernel Hilbert spaces with coalgebra structure (so-called "reproducing kernel Hilbert algebras'') that aids the quantum representation of classical objects, as well as the use of Fock spaces to build approximation schemes with high expressivity and structure preservation properties (notably, preservation of positivity and multiplicativity of composition operators). Applications to quantum algorithms for approximating the Koopman evolution of observables in systems with pure point spectra are also discussed.
Many recent proposals for reducing tanking in draft lotteries share a common structure: losses improve draft position early in the season while wins improve draft position later. While such systems improve late-season incentives, they retain a predictable pivot point that tanking teams can exploit strategically. This paper proposes a simple modification that introduces uncertainty into the timing of the incentive switch. The proposed metric, the \emph{Realized Elimination Wins Determinant} (REWIND), ranks teams according to the number of wins obtained after their ex post elimination date, which makes this a variation of the Gold Plan. Because the ex post elimination date cannot be known with certainty during the season, the mechanism weakens incentives for strategic losing while preserving incentives for competitive effort after elimination. Moreover, the ex post elimination date is typically earlier than other proposed pivot points, so there is a longer period where a tanking team's best strategy is to win. The Ex Post Gold plan uses the REWIND metric to create a simple system where every team will be incentivized to win at least half of their games in most seasons.
In this paper we analyze an eigenvalue problem associated to fractional operators of the form \[ L_a^s u(x)=2 \text{p.v.}\int_{\mathbb{R}^n}a(x,y,D^su(x,y))\,\frac{dy}{|x-y|^{n+s}},\] which represents a generalization model for nonlocal, nonstandard growth diffusion problems. We study this problem in the context of the fractional Orlicz Sobolev spaces without assuming the so-called $Δ_2$--condition on the Young functions involved. We show existence of a sequence of eigenpairs $(u_k,λ_k)\to (0,+\infty)$.
We study generalized Skewes' numbers, which are the locations of the first sign change between two comparable prime counting functions. In the context of the race between quadratic residues and quadratic nonresidues, we construct sequences of highly composite moduli $q$ such that those Skewes' numbers grow very rapidly in some sense. This disproves unconditionally a conjecture of Fiorilli. In the other direction, assuming the Generalized Riemann Hypothesis and an effective linear independence hypothesis, we establish conditional upper bounds for generalized Skewes' numbers. Our approach relies on a quantitative Kronecker-Weyl theorem formulated in terms of the $1$-Wasserstein metric to obtain explicit rates of the convergence to the limiting distributions of these races.
Comparison principles for Volterra equations play a role analogous to maximum principles in PDEs: they provide positivity and stability information on the solution and allow one to control the output of bounded inputs. In the continuous setting, such results often rely on Laplace-transform or spectral methods (see Gripenberg, Londen, and Staffans, Volterra Integral and Functional Equations, 1990). However, these tools are not uniform in the discretization step $h$ hence fail in discrete or semi-discrete approximations. The present note introduces a resolvent-free argument yielding uniform $L^\infty(0,T)$-bounds for non-negative kernels. Compactness is a key ingredient in order to show existence of sweeping processes. While in the classical framework it is well established, adding an infinite distribution of delays complicates greatly the obtaining of such a result. In a first step we show a general energy decay estimate, which is then used to establish compactness. The argument is carried out in the discrete setting and that necessitates the introduction of the new comparison principle. In the classical sweeping process the previous position of the particle lies on the boundary of the constraint set, staying $O(h)$ close to the next projection point ($h$ is the discretization step). Our delay model projects the particle's averaged (by a unit measure kernel) past positions to the constraint set. Numerical simulations show that the projected point can lie at $O(1)$ distance from the convex set's boundary.
Colouring problems arising from group-based constructions provide a natural link between combinatorics and algebra, particularly in the study of Cayley graphs and Latin squares. We introduce colouring bijections of finite groups, a class of permutations encoding proper vertex colourings of associated Cayley-type graphs, extending classical notions such as complete and strong complete mappings. We prove that every finite $3$-group without a cyclic maximal subgroup admits a colouring bijection. Consequently, for such groups $G$, the graph $\mathscr{G}_3(G)$ admits a proper colouring with $|G|$ colours. These results show that the existence of colouring bijections is governed by structural properties of $3$-groups, revealing a new connection between group theory and combinatorial colouring problems.
We investigate the problem of statistical inference for logistic regression with high-dimensional covariates in settings where dependence among individuals is induced by an underlying Markov random field. Going beyond the pairwise interaction models such as the Ising model, we consider a framework to accommodate more general tensor structures that capture higher-order dependencies. We develop a two-step procedure for low-dimensional linear and quadratic functionals. The first step constructs a regularized maximum pseudolikelihood estimator, for which we establish consistency under high-dimensional features. However, as in other classical high-dimensional regression problems, this estimator is biased and cannot be directly used for valid statistical inference. The second step introduces a bias-correction that yields an asymptotically normal estimator from which one can construct confidence intervals and test hypotheses. Our results move beyond the existing literature, where only estimation guarantees were available or only for pairwise interaction models. We complement our theoretical analysis with simulation studies confirming the effectiveness of the proposed method.
In this paper, we introduce \emph{$\ell^p$-information geometry}, an infinite-dimensional framework that shares key features with the geometry of the space of probability densities \( \mathrm{Dens}(M) \) on a closed manifold, while also incorporating aspects of measure-valued information geometry. We define the \emph{$\ell^2$-probability simplex} with a noncanonical differentiable structure induced via the \emph{$q$-root transform} from an open subset of the \( \ell^q \)-sphere. This choice makes the \(q\)-root transform an \emph{isometry} and allows us to construct the \(\ell^2\)- and \(\ell^q\)-Fisher--Rao geometries, including \emph{Amari--Čencov \(α\)-connections} and a \emph{Chern connection} in the \(\ell^q\)-setting. We then apply this framework to an infinite-dimensional linear optimization problem. We show that the corresponding gradient flow with respect to the \(\ell^2\)--Fisher--Rao metric can be solved explicitly, converges to a maximizer under a natural monotonicity assumption, and admits an interpretation as the geodesic flow of an \emph{exponential connection}. In particular, we prove that this \(e\)-connection is \emph{geodesically complete}. We further relate these flows to a \emph{completely integrable Hamiltonian system} through a \emph{momentum map} associated with a Hamiltonian torus action on infinite-dimensional complex projective space. Finally, inspired by the \(\ell^2\)-theory, we outline an analogous Fisher--Rao geometry for \( \mathrm{Dens}(M) \) on possibly noncompact Riemannian manifolds, showing that, with a suitable spherical differentiable structure, the square-root transform remains an \emph{isometry}.
We consider $M/G/\infty$ queues with gated service and obtain results on the distribution of the stage length and the number of customers served in a stage when the system is stationary. The stage length density is expressed as an infinite series of terms, involving the solution of an infinite system of linear equations. The convergence of a sequence of solutions arising from truncations of the infinite system is established in the light traffic case. Analogous results are established for a similar $GI/M/\infty$ gated system.
Over the last decades, two distinct approaches have been instrumental to our understanding of the computational complexity of statistical estimation. The statistical physics literature predicts algorithmic hardness through local stability and monotonicity properties of the Franz--Parisi (FP) potential \cite{franz1995recipes,franz1997phase}, while the mathematically rigorous literature characterizes hardness via the limitations of restricted algorithmic classes, most notably low-degree polynomial estimators \cite{hopkins2017efficient}. For many inference models, these two perspectives yield strikingly consistent predictions, giving rise to a long-standing open problem of establishing a precise mathematical relationship between them. In this work, we show that for estimation problems the power of low-degree polynomials is equivalent to the monotonicity of the annealed FP potential for a broad family of Gaussian additive models (GAMs) with signal-to-noise ratio $λ$. In particular, subject to a low-degree conjecture for GAMs, our results imply that the polynomial-time limits of these models are directly implied by the monotonicity of the annealed FP potential, in conceptual agreement with predictions from the physics literature dating back to the 1990s.
The nonlinear asymptotic stability of shear flows in the 2D Euler equations has traditionally been linked to inviscid damping in the periodic setting. Since Gevrey regularity is required to suppress the ``echo'' phenomenon, asymptotic stability is known to be impossible in Sobolev spaces. In this paper, we identify a distinct stabilizing mechanism available in the infinite channel: the advection of vorticity to spatial infinity. We establish nonlinear asymptotic stability for the 2D Euler equations in the infinite channel $\mathbb{R}\times[0,1]$ at the minimal regularity of the Yudovich class ($L^{\infty}$ vorticity). Specifically, for a class of non-negative shear flows with a curvature bound, any $L^\infty$-small, compactly supported vorticity perturbation leads to decay on compact subsets and weak convergence to zero.
We study minimal del Pezzo surfaces of degree 1 with a conic bundle over a finite field $\mathbb{F}_q$ according to the action of the absolute Galois group on the singular fibers (which is known as their type). We give a lower bound on the size of the field over which they exist, and determine values of $q$ for which certain types cannot exist. In particular, we solve the inverse Galois problem for certain types of minimal del Pezzo surfaces of degree 1 over finite fields with a conic bundle structure. Additionally, we give bounds on the values of $q$ for which del Pezzo surfaces of degree 1 of index 8 exist over $\mathbb{F}_q$.
In combinatorial representation theory, Kostant's weight multiplicity formula $m(λ,μ)$ is a tool that provides a means of determining the multiplicity of a weight $μ$ in the adjoint representation of a simple Lie algebra $\mathfrak{g}$, and in this work we consider the case of $\mathfrak{g}=\mathfrak{sl}_{r+1}(\mathbb{C})$. In practice, performing calculations of Kostant's weight multiplicity formula is computationally intense, as the number of terms in this alternating sum grows factorially as the rank $r$ increases, of which most terms provide zero contribution to the overall sum. In this work, we determine the Weyl alternation set, that is the terms in the alternating sum with nonzero contribution, for integral weights $λ$ the highest root of $\mathfrak{sl}_{r+1}(\mathbb{C})$, and $μ$ any nonempty collection of distinct simple roots. We show that the alternation set is enumerated by a product of Fibonacci numbers, with the product being dependent on the choice of distinct simple roots. Then we compute the weight $q$-multiplicity for any nonempty collection of distinct simple roots.
Let $S$ be a family of sequences of positive numbers that decrease to 0, let $X$ be a metric space and $A \subset X$. $A$ is said to be $S$-dominated if, for every $s\in S$, a countable cover $\{E_n\}$ of $E$ can be found such that $diam E_n < s_n$ for all $n$. We examine the family of all $S$-dominated sets, denoted by $\mathcal{D}(S)$. In particular, we examine the connections between $\mathcal{D}(S)$ and families of sets with zero Hausdorff measure for some gauges.
We study energy minimizers of the Ginzburg-Landau (GL) free energy, a fundamental model of superconductivity. We address the high-$κ$ regime, the regime of a large GL parameter, in which energy minimizers exhibit vortex structures whose finite element approximations require a fine mesh resolution. This difficulty is reflected in the error analysis of discrete minimizers, which relies on a second-order optimality condition. The spectrum of the energy's second Fréchet derivative must be bounded away from zero up to symmetry. In practice, the associated spectral gap decreases rapidly with the GL parameter. This degrades the quality of the approximations because the GL parameter directly enters as an additional factor in the error estimates. Although a polynomial dependence of the spectral gap on the GL parameter has been conjectured, its precise behavior remains unclear. As a first step toward addressing this issue, we compute the spectral gap based on a finite element approximation for a range of GL parameters, providing numerical evidence for the conjectured polynomial dependence.
We show exactness of the homotopy sequence for the logarithmic fundamental group in the case of log smooth, finitely presented, proper and saturated morphisms of fs log schemes over a field. This generalizes earlier results of Hoshi in the log regular case. In passing, we also construct a "log Stein factorization" in some particular cases.