For the independent reference model with popularity vector $p\inΔ_N^\circ$, let $H_C(p)$ denote the exact stationary hit rate of an LRU cache of capacity $C$. We prove that, for every $1\le C<N$, the uniform popularity vector is the unique global minimizer of $H_C$ on the interior simplex. More sharply, along every nonconstant segment from the uniform vector to an interior point, the LRU hit rate is strictly increasing. The proof uses the standard exponential-age representation of the stationary LRU cache and gives an explicit positive pair-square formula for the radial derivative. Equivalently, for the move-to-front rule, the stationary search-cost distribution improves strictly in the usual stochastic order along every nonconstant ray away from uniform. This proves the radial restriction of the Fill--Holst Schur-concavity conjecture for move-to-front search-cost tails. In particular, all LRU miss probabilities and all nonconstant nondecreasing stack-depth costs decrease strictly along such rays. The result is radial rather than Schur-convex: full majorization monotonicity for LRU is known to fail, and the proof identifies the special positivity that survives on rays from the uniform vector.

We generalize some results in the literature on movable curve classes and slope stability of coherent sheaves on smooth projective varieties to the case of smooth proper DM stacks admitting projective coarse moduli spaces. As an application, we establish a Bogomolov-Gieseker inequality on such stacks. This paper is the second in a series aiming to generalize results of Popa-Schnell and Wei-Wu on Viehweg hyperbolicity to the setting of DM stacks, and in particular, to certain KSBA moduli spaces.

Even in cases where quantum linear solvers provide significant speedup compared to their classical counterparts, their performance depends on some of the same parameters. In particular, the condition number of the matrix which is to be inverted is a decisive parameter. A well known classical, and now quantum, remedy is to precondition the linear system $A x = b$ by premultiplying it by a matrix $H$ in such a way that the condition number of $HA$ is significantly smaller than the condition number of $A$. In this work, we focus on a family of preconditioners called domain decomposition. First, we prove that it is feasible to apply quantum domain decomposition. We provide upper bounds for the block-encoding parameters of the Poisson problem discretized by the finite element method and preconditioned by the two-level Additive Schwarz preconditioner (one of the most fundamental domain decomposition techniques). From these bounds, we deduce the complexity of the quantum linear system solver. Second, we focus on a particular choice of local solver within the domain decomposition preconditioner by applying recent work by [Deiml and Peterseim, \textit{Math. Comput.}, 2025] on the Bramble--Pasciak--Xu (BPX) preconditioner. Finally, we provide details on how the operators are implemented.

The Einstein relation describes the response of a diffusing particle to a small constant external force. It states that, as the force tends to zero, the ratio of the limiting velocity to the force magnitude converges to the diffusivity matrix of the unforced particle, evaluated in the force direction. Gantert, Mathieu, and Piatnitski (2012) proved this identity for reversible diffusions in random environments. We prove a quantitative version, with an explicit quenched algebraic rate.

We study intersecting surface operators in 6d holomorphic field theories with the aim of unraveling associated quantum integrable structures. We first study the intersections of surface operators in 6d holomorphic Chern-Simons theory on $\mathbb{C}^3$. Computing their correlation function, we find a local operator at the intersection of the surface operators with a form reminiscent of the leading nontrivial term in the quasi-classical expansion of a rational $R$-matrix, as predicted by Costello. We provide evidence that this $R$-matrix-like operator satisfies a Yang-Baxter-type relation. We then derive the associated coproduct of the chiral algebra supported by surface operators from their OPE. We also study intersecting surface operators in 6d holomorphic BF theory and derive the local leading form of the corresponding $R$-matrix-like operator. When this theory is placed on twistor space, where it describes the self-dual sector of 4d Yang-Mills theory, this operator is expected to provide a local building block for quantum integrable structures anticipated in that setting.

The symmetric simple exclusion process (SSEP) is a paradigmatic model of classical non-equilibrium dynamics. Exact results for large deviations of particle current in the SSEP have been obtained in various settings using integrability-based methods. In this Article, we discuss how these results are modified in the presence of localized slow bonds. We consider three conventional geometries: (a) a finite one-dimensional lattice weakly coupled to unequal reservoirs at its boundaries, (b) a semi-infinite one-dimensional lattice weakly coupled to a boundary reservoir, and (c) an infinite one-dimensional lattice with localized slow bonds near the origin. For each case, we present exact expressions for the large deviation function of current and validate them through rare-event simulations based on the cloning algorithm. In connection with our results, we present an elementary derivation of the exact large deviation function for the current in the semi-infinite SSEP, complementing recent results obtained through more elaborate techniques.

We prove the 4-uniform Erdős Matching Conjecture for every matching number $s\ge 6961$. The proof has two parts. First, building on ideas from Frankl--Rödl--Ruciński, we formulate a general finite-board criterion for the $r$-uniform conjecture. The criterion has two assumptions: the $(r-1)$-uniform cover-side bound for links with matching number at most $t$ holds at every $m\ge n_r(t)$, and a finite optimization problem for mixed-size trace configurations on an $(r^2+r-1)$-vertex board. Together with the corresponding lower-uniformity input, this finite-board optimization implies the Erdős Matching Conjecture with explicit large-matching thresholds. Second, we verify the finite-board assumption for $r=4$. The local board has 19 vertices, and the required inequality is decomposed into three weighted local inequalities: a leading wide layer, a 15-board layer, and an 11-board layer. The verification is reduced to exact finite optimization and certificate-validation problems: Ferrers down-set enumerations for pair and triple traces, rational Farkas-dual certificates for the top-star branch, integer branch-and-bound up-set hitting and pattern searches for the no-top-star branch, and residual-cut dual certificates for the 15-board and 11-board layers.

Variable-order time-fractional wave equations provide a flexible model for wave phenomena with evolving memory effects and anomalous temporal dynamics. Their numerical approximation is challenging because the variable-order fractional derivative generates time-dependent history weights and therefore lacks the standard time-translation-invariant convolution structure of constant-order fractional operators. In this paper, we develop and analyze a fully discrete energy-based discontinuous Galerkin (DG) method for wave equations with a Caputo-type variable-order time-fractional derivative. The equation is reformulated as a reduced first-order-in-time system, discretized in space by an energy-based DG method, and advanced in time using a second-order approximation of the variable-order Caputo derivative at a specially chosen point in each time interval. The main analytical novelty is a cumulative weight-variation estimate for the variable-order memory weights, which requires only that the variable order $α:[0,T] \rightarrow (0,1)$ be Lipschitz continuous. Based on this estimate, we establish energy stability of the fully discrete scheme and derive second-order temporal convergence together with energy-norm spatial error estimates. The analysis gives suboptimal convergence on general affine simplicial or tensor-product meshes and optimal convergence under additional Cartesian and flux assumptions. Numerical experiments in one and two dimensions validate the theoretical findings.

A set of permutations of $\{1,2,\dots,n\}$ is $t$-intersecting if any two permutations agree on at least $t$ inputs. A recent work by Kupavskii, in the spirit of the Erdős-Ko-Rado Theorem, shows that for all $t\leq n-O\left(\frac{n\log\log n}{\log n}\right)$, every $t$-intersecting family of permutations of $\{1,2,\dots,n\}$ with the maximum size must be isomorphic to the set $$A_k = \{σ: σ(i)=i\text{ for at least } t+k \text{ indices } i\in\{1,2,\dots,t+2k\}\}$$ for some $k$. By refining Kupavskii's spread approximation technique, we prove that this conclusion holds for a wider range of $t\leq n-n^{5/7+\varepsilon}$.

We study inductive limits of higher-dimensional noncommutative tori, which we call noncommutative protori. We compute the Elliott invariants for broad classes of unital and nonunital systems, including toric maps, Morita-corner embeddings, and dimension-changing and proper embeddings. For the resulting simple limits we determine explicitly the ordered $K$-groups, trace cone, scale, and projection scale, yielding concrete classification criteria. We also construct compatible spectral triples and locally compact spectral triples on these limits via Fourier- and Morita-compatible Dirac structures.

We give a complete classification of the eternal solutions for the KPZ fixed point. Each of these is a (possibly infinite) patching together of the known eternal solutions, called Busemann functions. The resulting evolution of the KPZ fixed point exhibits a shock at each of the boundaries between the different Busemann functions. Moving forward in time, the shocks coalesce, while moving backwards in time, additional shocks can form. We describe several geometric properties of this tree of shocks.

In this paper, we establish a general second main theorem for meromorphic mappings from $\mathbb C^m$ into a subvariety $V$ of $\mathbb P^n(\mathbb C)$ with respect to an arbitrary family of slowly moving hypersurfaces $\mathcal Q=\{Q_1,\ldots,Q_q\}$. In contrast to the usual setting, the mapping is not required to be algebraically nondegenerate over the field $\mathcal K_{\mathcal Q}$. Moreover, the truncation levels of the counting functions are explicitly estimated, and the total defect bound is given by $Δ_{\mathcal Q,V}(3\dim V-1)$, which is independent of the mapping $f$, where $Δ_{\mathcal Q,V}$ denotes the distributive constant of $\mathcal Q$ with respect to $V$.

In this article, we will prove that the formal degree conjecture is compatible with the Deligne-Kazhdan correspondence for quasi-split groups, assuming that the local Langlands correspondence is compatible with the Deligne-Kazhdan correspondence. Consequently, we establish the formal degree conjecture for $\operatorname{GL}_n$ over local function fields of characteristic $p > 0$, and for $\operatorname{Sp}_{2n}$, split $\operatorname{SO}_{2n}$, $\operatorname{SO}_{2n+1}$, and $\operatorname{GSp}_4$ over local function fields of characteristic $p > 2$.

We develop a time-domain numerical framework for global scalar wave scattering in Minkowski spacetime. The main contribution is an exact conformal matching of three compactified regions: a past hyperboloidal domain attached to $\mathscr I^-$, a Penrose domain covering a neighborhood of spatial infinity $i^0$, and a future hyperboloidal domain attached to $\mathscr I^+$. The matching surfaces are identical conformal hypersurfaces in the adjacent charts. This yields a global evolution scheme connecting $\mathscr I^-$, the neighborhood of $i^0$, and $\mathscr I^+$ without artificial timelike outer boundaries and without interpolation between scri-fixing gauges. We implement the construction for spherically symmetric scalar waves, including free propagation, localized linear scattering potentials such as the Pöschl--Teller potential, and semilinear wave equations with cubic, quintic, and septic nonlinearities. The numerical experiments demonstrate stable propagation across the matching interfaces, direct extraction of radiation at $\mathscr I^+$, and fourth-order convergence for the free and linear-potential tests. The quintic and septic nonlinear tests exhibit approximately fourth-order convergence and recover the expected late-time tail rates. The cubic case, by contrast, shows only first-order convergence, revealing a limitation of our treatment near compactified boundaries when the conformally rescaled nonlinear source remains non-vanishing. These results validate the conformal matching strategy for long-time simulations, while identifying the boundary regularity issues that must be addressed using a more robust treatment of spatial infinity.

We present a dynamic subspace approach for efficiently approximating large-scale systems by learning time-continuous trajectories on the Grassmannian manifold. By parameterizing a low-dimensional basis as a geodesic path, the method allows for adaptive tracking of evolving physics. Our approach decouples the geometric drift of the subspace from the intrinsic state evolution. This avoids the typical rank inflation required by static low-dimensional approximation methods to maintain accuracy, effectively breaking the Kolmogorov barrier in transport-dominated phenomena. To ensure scalability for high-dimensional data, the optimization is performed in a reduced feature space, rendering the computational cost independent of the large original state dimension. Numerical results for a 1D transport equation and a large-scale turbulent airfoil wake demonstrate that this dynamic subspace approach achieves higher accuracy than static linear approximations at equivalent ranks, positioning it as a robust and scalable method for the low-rank modeling of complex, non-stationary dynamical systems.

We inspect $\mathfrak{su}(n)$ forms, providing greater detail for $n=2,3$, as a toy model for a field theory in finite dimensions and with gauge symmetries. Relying on homological perturbation theory, we show that there are no scattering amplitudes with trivalent tree-level diagrams, except for the interaction vertex, thus extending a known argument of Cattaneo--Mnëv to arbitrary $n$. In contrast to this, we show how to obtain non-trivial higher products when transferring to a larger space of fields.

We develop regularisation theory for dynamic inverse problems, solved using online methods with an infinite time horizon. Using concepts of subregularity to treat nonsmooth regularisers, we prove that time-averaged reconstruction errors converge to zero as noise, algorithmic errors, and regularisation vanish as the horizon grows. We illustrate the theory numerically with a dynamic electrical impedance tomography example.

Let $\mathcal F$ denote the fundamental domain for $\text{SL}_2(\mathbb{Z})$ on the upper half plane $\mathcal H$. William Duke showed that as fundamental discriminants $D \to -\infty$, the sets $\mathrm{CM}_{D}$ (CM points of discriminant $D$) are equidistributed in $\mathcal F$. In this paper, we investigate the behavior of CM points on the boundary of $\mathcal F$. We prove that such CM points are equidistributed on the boundary, and also give a complete characterization of when every $\mathrm{CM}_D$ point lies on the boundary. Along the way, we also (conditionally) give a complete classification of negative discriminants with class group of small exponent.

Motivated by a recent random pipe dream model, we study a family of probability distributions on \(S_n\) arising from Bott--Samelson varieties over finite fields. More precisely, for a word \(R\), we consider the Bott--Samelson map \(π_R:\mathrm{BS}^R\to \mathcal{F}\ell_n\) and define a distribution \(\mathbb{P}_{R,q}\) by counting the \(\mathbb{F}_q\)-points in the inverse images of Schubert cells. For a suitable choice of parameters \(p_1=q/(1+q)\) and \(p_2=1/q\), this construction recovers a special case of the random pipe dream distribution. The main problem considered in this note is to determine which combinatorial properties of a reduced word are detected by the distribution \(\mathbb{P}_{R,q}\). We prove the stronger statement that, for arbitrary reduced words \(R_1,R_2\), the equality \(\mathbb{P}_{R_1,q}=\mathbb{P}_{R_2,q}\) as functions of \(q\) holds if and only if \(R_1\) and \(R_2\) lie in the same commutation class. In particular, equality of distributions already forces the two words to represent the same permutation. The proof combines the Bott--Samelson interpretation with Demazure products, commutation-class invariants, and Hecke-algebraic arguments.

We study the relation between the Bogoliubov-de Gennes equation and the Ginzburg-Landau equation for a BCS model without external fields. While previous rigorous derivations of Ginzburg-Landau theory from BCS theory have focused on energies and minimizers, here we consider arbitrary critical points in the relevant energy regime. For temperatures close to the critical temperature, we prove that every sufficiently small solution of the BdG equation admits an asymptotic factorization into a microscopic Cooper-pair profile and a macroscopic order parameter. The latter satisfies the Ginzburg-Landau equation up to an error that vanishes in the scaling limit. Our analysis relies on a Birman-Schwinger reformulation of the BdG equation, a Lyapunov-Schmidt type reduction, and semiclassical estimates at low regularity.

We prove that the maximal dimension $d_N$ of an irreducible representation of the symmetric group $S_N$ satisfies $$d_N=\sqrt{N!} \, e^{-(\mathfrak{d}+o(1))\sqrt{N} }, \quad N\to \infty,$$ for some constant $\mathfrak{d}>0$. This answers a question raised by Vershik--Kerov in 1985.

In this paper, we apply a self-similar transformation to convert the parabolic equation with a Sobolev-Hardy term \begin{align*} u_t-Δu= \frac{|u|^{q-2}u}{\left|x\right|^s} & \text { in } \mathbb{R}^N \times(0, \infty), \end{align*} into the following elliptic equation \begin{equation*} -Δv-\frac{1}{2} y \cdot \nabla v=αv+ \frac{|v|^{q-2} v}{|y|^s}, \end{equation*} where $2 < q \leq 2^*(s)=\frac{2 N-2 s}{N-2}, 0 \leq s < 2, α=\frac{2-s}{2q-4}$. For this equation, we establish the weighted Hardy inequality and Sobolev inequality. Furthermore, by virtue of the variational methods, we obtain infinitely many solutions in the subcritical case, and prove the existence of solutions in the critical case. We also apply the Pohozaev identity to establish the nonexistence of solutions under certain conditions.

For a commutative ring $R$ with identity, the \emph{weakly zero-divisor graph} $WΓ(R)$ has vertex set $Z(R)^{\ast}$, with distinct vertices $x$ and $y$ adjacent whenever there exist nonzero $r\in{\rm Ann}(x)$ and $s\in{\rm Ann}(y)$ with $rs=0$. The Laplacian spectrum of $WΓ(Z_n)$ has been determined by Shariq, Mathil, and Kumar, who also established that $WΓ(Z_n)$ is Laplacian integral. Building on the structural description of $WΓ(R)$ due to Nikmehr, Azadi, and Nikandish, we extend the Laplacian spectrum and integrality results from $Z_n$ to \emph{every} finite commutative ring $R$: we restate $WΓ(R)$ in unified form as a complete multipartite graph whose parts are made explicit by the local-ring decomposition of $R$, compute the full Laplacian spectrum in closed form, prove Laplacian integrality of $WΓ(R)$, and give a sharp bound on the number of distinct Laplacian eigenvalues. As consequences we obtain explicit formulas for the algebraic connectivity and number of spanning trees of $WΓ(R)$, and recover the Laplacian spectrum of $WΓ(Z_n)$ in compact form.

Bogoliubov's 1947 approximation, originally developed in the microscopic theory of superfluidity, laid the foundation for solving previously intractable quantum models and later became part of "quantum mathematics". Regarding mathematically rigorous results, one of its most advanced forms - the only one that handles quantum equilibrium states - was published in the Memoirs of the AMS in 2013. Building on key results from convex analysis, the present work significantly extends it to obtain a general mathematical theory that enables nonlinear variational problems on convex compact spaces to be fully studied via a linearization process, referred to here as the "Bogoliubov linearization". This problem is particularly timely, given the current development of quantum algorithms and computers, which are inherently linear machines. A deep connection with the optimal transport is also proven. As a paradigmatic example of application, the approach proposed here is applied to the nonlinear thermodynamic formalism - an emerging field that can have important impacts on various fields of mathematics, such as ergodic transport, the fractals and multifractal formalism, discrete-time linear dynamics, C*-algebras, etc. Notably, even in the case of finite alphabets the obtained results go beyond the scope of the existing literature in nonlinear thermodynamic formalism.

We introduce PLACE (Persistence-Landmark Analytic Classification Engine), a closed-form pipeline for classifying point clouds and graphs through their persistent-homology signatures. Three quantitative guarantees -- a margin-based excess-risk rate, a closed-form descriptor-selection rule, and a per-prediction certificate -- are derived from training labels alone, with no learned weights or held-out calibration. The embedding sums Mitra-Virk single-point coordinate functions over a sparse landmark grid; the closed-form weight rule $w_k^2 \propto (d_{k+1}^2 - d_k^2)/R_k^2$ maximizes the distortion slope in Mitra-Virk's affine certificate under $ν$-coherence. (i) An $O(kR/(Δ\sqrt{m_{\min}}))$ margin bound, driven by class-mean separation $Δ$ and embedding radius $R$, matched in the sample-starved regime $m \lesssim R/Δ$ by a Le Cam minimax lower bound. (ii) The Mahalanobis margin under Ledoit-Wolf-shrunk covariance is the strongest closed-form ranker on a 64-descriptor chemical-graph pool (mean Spearman $ρ= +0.56$ across 11 benchmarks, positive on 10 of 11); the isotropic surrogate $Δ/\sqrt{\ell}$ admits a closed-form selection-consistency rate on the homogeneous protein/social pools. (iii) A training-time-decided certificate, with no per-prediction overhead, in three concrete radii (Pinelis, Gaussian plug-in, and variance-aware Pinelis-Bernstein). Empirically, PLACE is the strongest diagram-based method on Orbit5k and matches the strongest topology-based baseline within statistical noise on MUTAG and COX2; remaining gaps fall into two diagnosable regimes (descriptor blindness on NCI1/NCI109; pool-coverage limits elsewhere). The Pinelis-Bernstein radius fires on 8 of the 12 benchmarks; on MUTAG the empirical and population nearest-centroid rules agree on every one of 940 held-out test predictions, validating the certificate's mechanism.

An observation by J-P. Serre implies that cubic polynomials are unique among generic monic polynomials of degree 2 or higher in that they have a root that is a power series in the discriminant of the polynomial. We provide formulas for this root of a cubic that work in any characteristic. In the special case of a cubic real polynomial with positive discriminant, the series converges and therefore provides an explicit formula for a root; when that polynomial is depressed, the root we provide is the longest root. The proofs are a combination of elementary techniques from algebra, combinatorics, and analysis and employ the notion of a field with an absolute value.

We introduce Fuzzy PyTorch, a framework for rapid evaluation of numerical variability in deep learning (DL) models. As DL is increasingly applied to diverse tasks, understanding variability from floating-point arithmetic is essential to ensure robust and reliable performance. Tools assessing such variability must be scalable, efficient, and integrate seamlessly with existing frameworks while minimizing code modifications. Fuzzy PyTorch enables this by integrating stochastic arithmetic into PyTorch through Probabilistic Rounding with Instruction Set Management, a novel library interfacing with Verificarlo, a numerical analysis compiler. The library offers stochastic rounding mode and a novel mode; up-down rounding. Comparative evaluations show Fuzzy PyTorch maintains model performance and achieves runtime reductions of 5x to 60x versus Verrou, a state-of-the-art tool. We further demonstrate scalability by running models from 1 to 341 million parameters, confirming applicability across small and large DL architectures. Overall, Fuzzy PyTorch provides an efficient, scalable, and practical solution for assessing numerical variability in deep learning, enabling researchers and practitioners to quantify and manage floating-point uncertainty without compromising performance or computational efficiency.

We study interior control of the acoustic wave equation via effective point sources generated by a finite cluster of resonant perturbations (modeling acoustic subwavelength bubbles). At the abstract level, after localizing the whole-space dynamics to a large auxiliary observation domain, we consider a Dirichlet spectral formulation of the wave equation with finitely many point actuators located at prescribed interior points. Restricting to a finite spectral band of Dirichlet eigenfrequencies, we prove that, under a natural full-rank condition on the associated coupling matrix, arbitrary trajectories on the corresponding spectral subspace can be realized, with quantitative bounds on the control cost in terms of spectral-band geometry and actuator placement. We then show that these ideal actuators can be realized by clusters of small, high-contrast bubbles. Using a time-domain asymptotic expansion, the scattered field is represented as a superposition of retarded monopoles whose amplitudes satisfy a finite-dimensional delayed hyperbolic system. In the Laplace domain, this induces a transfer operator whose pole structure encodes the Minnaert resonance with a collective attenuation. We prove that the associated actuator map is ill-conditioned away from resonance, whereas, under a cluster-level transducer accessibility condition linking the incident fields to the dominant cluster channels, it admits a bounded right inverse on suitable Minnaert bands. Consequently, one obtains spectral tracking of the wave field with error $\mathcal{O}(\varepsilon^γ)$ as the bubble size $\varepsilon \to 0$. Keywords. Wave equation, Dirac actuators, Trajectory tracking control, Resonant perturbations, Kato's analytic perturbation, Perron-Frobenius spectrum, Minnaert resonances, Actuation map, Toeplitz matrix.

We give a systematic construction of semiorthogonal decompositions of derived categories of coherent sheaves on quasi-smooth derived algebraic stacks over $\mathbb{C}$, where the summands are subcategories defined by weight conditions, and the inclusion functors are given by parabolic induction. The summands are indexed by the component lattice of the stack, a central combinatorial structure in intrinsic Donaldson-Thomas theory. As examples, we obtain semiorthogonal decompositions for moduli stacks of semistable $G$-bundles or $G$-Higgs bundles on a curve, and moduli stacks of de Rham or Betti $G$-local systems on a curve, for reductive groups $G$ not necessarily of type A.

Barcode entropy is an invariant of a Hamiltonian system -- a Hamiltonian diffeomorphism or a Reeb flow -- measuring its Morse or Floer theoretic complexity at a small scale. More specifically, it is the exponential growth rate of the number of not-too-short bars in the Floer or symplectic homology persistence module. Barcode entropy is closely related to topological entropy, even though they originate in different contexts, and in low dimensions they coincide. In these notes, we study barcode entropy and related invariants in various settings and explore their connections with pure dynamics features and, in particular, topological entropy. The methods build on techniques from symplectic topology and Floer theory, dynamical systems, and smooth integral geometry. We also touch upon some other applications of the machinery we develop. These notes are based on the mini-course given by the second author at the CIME summer school "Symplectic Dynamics and Topology" (Cetraro, Italy, June 16-20, 2025).