The Covering Lemma of J. Kahn and M. Lyubich is a fundamental analytic tool for controlling conformal moduli of annuli under branched coverings of finite degree. In the last several decades, it has played a crucial role in establishing rigidity of multicritical polynomial and rational maps. The classical proof uses the Near-Degenerate Regime as the main mechanism. In this short note, we prove this lemma using hyperbolic area and the Dirichlet energy. We also establish a version of the Covering Lemma for holomorphic maps of infinite degree. Our argument is inspired by recent applications of the hyperbolic area method to the study of wandering domains in rational and transcendental dynamics.
We solve the Cauchy problem for an irreducible real spinor parallel with respect to a metric connection with skew-symmetric torsion on a globally hyperbolic Lorentzian four-manifold, proving that it is well-posed modulo an obstruction that we identify explicitly, and obtaining an initial-data characterization of such spinors. Our proof relies on the theory of spinorial forms, which we use to explicitly integrate the coupled flow for the spinor and underlying metric via a rotated pull-back action of the flow generated by a vector field on the Cauchy hypersurface $Σ$. We characterize the corresponding constraint equations as an explicit exterior differential system and describe all its solutions in terms of contact structures and flat foliations, obtaining a complete classification in the compact case. In particular, we conclude that every oriented compact three-manifold arises as the…
We establish a regularity criterion for $Q$-valued maps $u\in W^{2,2}_{\mathrm{loc}}(Ω,\mathcal A_Q(\mathbb R^k))$, where $Ω\subset\mathbb R^n$ is open. If $|Δu|\leqδ_*|D^2u|$ almost everywhere, with $δ_*=δ_*(n,k,Q)>0$ sufficiently small, then $u\in C^{1,α}_{\mathrm{loc}}$ for some $α=α(n,k,Q)>0$, with quantitative estimates. The result holds for arbitrary $n\geq2$, $k\geq1$, and $Q\geq1$. The proof establishes uniform energy decay using a rigidity principle for positive-semidefinite matrix-valued measures with an aperture bound and approximately atomic divergence, extending the target-stress argument for the homogeneity gap in \cite{Luc26}. The argument relies only on first variation identities. As consequences, we obtain $C^{1,α}$ regularity for Dirichlet-stationary $W^{2,2}$ maps and for locally Lipschitz $W^{2,2}$ maps whose graph varifolds are stationary and have sufficiently small…
We study countable dynamical systems with a dense orbit. Given an infinite compact metric countable space $X$, we show that $\mathcal{DO}(X)$, the collection of continuous functions on $X$ to itself admitting a dense orbit, is always nonempty. We then classify the systems in $\mathcal{DO}(X)$ up to topological conjugacy in terms of the second Cantor--Bendixson derivative $X^{(2)}$: if $X^{(2)} = \emptyset$ then all systems in $\mathcal{DO}(X)$ are mutually conjugate, while if $X^{(2)} \neq \emptyset$ then $\mathcal{DO}(X)$ contains $2^{\aleph_0}$ pairwise nonconjugate systems. The proof of the latter relies on a gluing construction for countable dynamical systems with a dense orbit, which is of independent interest. We also show that $\mathcal{DO}(X)$ is nowhere dense in $C(X,X)$ with the compact-open topology. We also study the Ellis semigroup $E(X,f)$ of a countable dynamical system.…
We investigate multiparameter quantum metrology and the energetic properties of an effective electron--proton spin system inspired by the hyperfine structure of the hydrogen atom. Considering the external magnetic field $\mathcal B$ and the hyperfine coupling strength $Λ$ as unknown parameters, we derive the quantum Fisher information matrix and establish the corresponding quantum Cramér--Rao bounds for their simultaneous estimation. We analyze the estimation precision and the correlations between the two parameters, showing that the weak-commutativity condition is satisfied despite the noncommutativity of the associated symmetric logarithmic derivatives. Independently, we explore the energetic properties of the system under a unitary charging protocol, characterizing its ergotropy, anti-ergotropy, storage capacity, and energy-basis coherence. We investigate the dependence of these…
We prove a three-ends incidence estimate whose multiplicity exponent is sharp for one-dimensional Katz-Tao point sets.} At the heart of the argument lies rectangular non-concentration and its incidence theory introduced earlier by the authors. As an application, we obtain a strong quantitative bound on the number of approximate rectangles with the vertices belonging to four separated camps, each retaining a non-concentration condition.
We consider the three-dimensional focusing energy-critical wave equation. We construct a bounded forward-global solution which starts arbitrarily close to a sign-changing stationary state and is asymptotic to a varying stationary profile plus one free wave. The core has two limits in distinct similarity orbits. A single energy-space norm identity identifies the radiation and reduces every competing fixed list to one profile; the two limits then give a contradiction. The construction uses summable radiation packets whose quadratic impulses produce fixed shape displacements on increasing time scales. We control the nonlinear error uniformly over these intervals and select the endpoints by a compact fixed-point map. A computer-assisted certificate validates the stationary state and its complete odd energy kernel.
Physics-informed neural networks (PINNs) solve partial differential equations without a mesh, but they do not in general preserve the steady states that well-balanced schemes reproduce exactly. We present a well-balanced extension of the weak and entropy PINN (WE-PINN) framework to the shallow water equations over smooth and discontinuous bathymetry. The residual is a weak space--time control-volume identity enforced on randomly placed control volumes that may overlap, so no mesh is needed. In free-surface variables, the geometric source is integrated by parts onto the bed, so that the network is never differentiated, and a cell-local bed-slope correction makes the quadrature reproduce the exact bed increment. Bed discontinuities, located from the bathymetry alone, separate sub-domains carrying independent networks, coupled through conservation of discharge and total head. We prove that…
Fictitious play (FP) is one of the earliest and most fundamental learning procedures in games, where each agent independently chooses a best response to the empirical distribution of opponents' past actions by maximizing the expected payoff with respect to it. However, learning agents may not always be expected-utility maximizers: they may use nonlinear evaluation functionals to account for the uncertainty induced by the opponents, e.g., via risk measures. In this work, we study nonlinear fictitious play (NL-FP), in which each pure action is evaluated by a general, possibly nonlinear functional of the payoff distribution induced by the opponent's empirical belief. To analyze NL-FP, we first identify a single-crossing property (SCP) of evaluation functionals that preserves the classical geometry of FP in $2\times2$ games. Furthermore, we conduct a novel geometric analysis of the…
The free Burnside group $B(m,n)$ is obtained from the free group of rank $m$ by imposing the relations $w^n=1$ for all words $w$. We prove that $B(m,n)$ is completely $C^*$-selfless for every $m\geq2$ and every odd exponent $n\geq557$. Consequently, its reduced group $C^*$-algebra has stable rank one and strict comparison of positive elements by its canonical trace. This answers the question of whether $C^*$-selfless groups can satisfy a nontrivial group law. The proof establishes Ozawa's property $P_{PHP}$ by combining a combinatorial construction with a relative power-avoidance argument based on the canonical forms of Atkarskaya-Rips-Tent.
We introduce a geometric construction whose terminal configuration determines the kernel and cokernel of a morphism between positive Lagrangian branes in the derived Fukaya category of a Calabi-Yau manifold. Thus, if the construction always terminates, the full subcategory of positive Lagrangian branes is abelian, as conjectured by Joyce. We show that this abelian category admits Harder-Narasimhan filtrations with respect to the central charge defined by the holomorphic volume form. Under appropriate split-generation assumptions, we construct a Bridgeland stability condition whose stable objects are isomorphic to special Lagrangian branes, as predicted by the Thomas-Yau conjecture. The geometric construction is based on a one-parameter family of special Lagrangian submanifolds with boundary. One part of the boundary is contained in the Lagrangian underlying the domain of the morphism…
Multiparameter pure-state metrology is limited by the incompatibility of measurements optimized for different parameters. We characterize uniform sensitivity by the Fisher floor, the smallest fraction of the quantum Fisher information (QFI) retained over all pure states and parameter directions. We prove that a constant number of fixed orthonormal bases suffices for a nearly optimal Fisher floor, independently of the Hilbert-space dimension $d$. With high probability, five independent Haar bases already achieve a positive, dimension-independent floor, and larger constant families achieve approximate universal Fisher symmetry: they retain nearly one half of the QFI in every direction, the largest uniform fraction permitted by measurement incompatibility. The required number of bases is optimal up to a logarithmic factor in inverse accuracy. In contrast, $d+1$ mutually unbiased bases…
Auxiliary information can improve estimation precision under probability sampling, but the relationship between the study and auxiliary variables may not be known well enough to specify suitable balancing variables. Distributionally balanced designs address this by targeting agreement between sample and population auxiliary distributions. We extend energy-based distributional balance to prescribed unequal inclusion probabilities by comparing the empirical sample distribution with an inclusion-probability-weighted population distribution. Under a regularity condition relating the study values divided by their inclusion probabilities to the auxiliaries, we establish an upper bound on the design variance of the Horvitz-Thompson estimator in terms of the expected energy distance. This bound motivates an algorithm that exchanges units between randomly paired candidate samples without…
We consider an individual-based model of niche construction built upon birth-death processes of d interacting biological entities (e.g., species, subpopulations or mutant strains in the same species) immersed in a slowly-varying environment which is influenced by the population state. In this setting, extinction and/or emergence of entities with negligible size or rarity, on long time scales can be observed. We prove that the joint dynamics of the environment and the species sizes on a logarithmic scale undergo a piecewise deterministic Markov process in a large time regime, which can be approximated by an explicit dynamical system in the limit of large populations. This convergence result holds true under the assumption that no "bad event" occurs during the population dynamics, corresponding to situations where several species become dominant or go extinct simultaneously. We also prove…
Motivated by the conjectural relationship between the IKKT matrix model and type IIB string theory, we classify supersymmetric twists of the matrix model, allowing for both dynamical and kinematical supercharges. Beyond the two twists available at any finite $N$, which we studied in our previous work, we find five additional classes at infinite rank which require non-commuting backgrounds associated with D-branes in IIB supergravity. Together, these twists realize representatives of every equivalence class of twisting supercharges in flat-space type IIB supergravity recently classified by the first author; however, the precise form of the orbit stratification differs. This difference is related to a higher central extension of the IIB superalgebra that appears in our treatment of the IKKT model in the BV formalism. Expanding around the non-commutative backgrounds gives worldvolume…
We construct smooth isometric embeddings of closed surfaces of positive genus in Euclidean 3-space which are tight, i.e., have minimal total positive curvature, but are not congruent. These embeddings agree outside a compact subset of the region of negative curvature, and enclose different volumes. Thus the rigidity theorem of Alexandrov for analytic tight surfaces does not hold in the smooth category, which settles problems of Nirenberg and Banchoff-Kuhnel.
Let $(M^3,g)$ be a closed and oriented 3-dimensional Riemannian manifold with $π_2(M)\neq 0$ and let $A_{π_2}(M,g)$ denote the least area among homotopically nontrivial two-spheres in $M$. By a theorem of Bray-Brendle-Neves, $A_{π_2}(M,g)\inf_M R_g \leq 8π$ with equality characterizing the cylindrical geometry $S^2\times\mathbb{R}$. Motivated by Sormani's questions on volume preserving intrinsic flat stability for scalar curvature rigidity problems, we study the almost equality regime of this theorem. We build, using Sweeney's tunnel construction, a sequence satisfying $A_{π_2}(M_j,g_j)\inf_{M_j} R_{g_j} \rightarrow 8π$ with uniformly bounded volume and diameter whose volume preserving intrinsic flat limit is not the Bray-Brendle-Neves rigidity space, showing that stability fails in general. We then prove stability in two special cases: for sequences of rotationally symmetric metrics…
We study upper bounds for the triameter of a connected graph in terms of distance packings and vertex connectivity. For any positive integer $k$, we bound the triameter of a graph by a linear function of its $k$-packing number and show that this bound is tight for all values of the parameters. As a corollary, we confirm the conjecture of Das and Abdioğlu on the upper bound for the triameter in terms of the order and the minimum degree of a graph. We also find the maximum triameter among graphs with given order and vertex connectivity, and describe the extremal graphs. Our main tool is a projection of a graph onto a spider or a unicyclic graph which preserves the distances between three prescribed vertices.
Locally conformally symplectic (LCS) manifolds are characterized by a nondegenerate two-form $Ω$ satisfying $\mathrm{d}Ω=φ\wedgeΩ$, where $φ$ is a closed one-form, called the Lee form. Although an LCS structure is locally conformal to an ordinary symplectic structure, the local symplectic descriptions need not arise from a single global symplectic form. This creates a natural local-to-global problem for geometric numerical integration: local symplectic discretizations must be compatible on chart overlaps in order to determine a globally defined numerical dynamics. We develop a Hamiltonian variational framework for the construction and globalization of structure-preserving integrators for LCS systems. The continuous theory is first recalled in a form adapted to a Type~II Hamiltonian variational principle. We then introduce exact and approximate discrete right Hamiltonians for the local…
We prove that all mod $2$ Galois representations of a global field lift modulo $4$. In contrast, for every odd prime $p$, we exhibit examples of global Galois representations modulo $p$ that do not lift modulo $p^2$. Our methods also allow us to prove liftability of generalized quaternion groups and hence to complete the classification of liftable finite groups initiated by Khare and Merkurjev.
Kalah is a classic two-player game in the mancala family of sowing games. Computers have solved several standard-size starting positions, but the complexity of the game on boards of growing size has remained open. We study the natural generalization in which the number of pits per side is part of the input and an arbitrary position is given, with the stone counts given in unary. We show that deciding whether a designated player can force a win from such a position is PSPACE-complete. The hard positions have Alice to move first and both stores initially empty. The same positions are hard under either common convention for capture opposite an empty pit, and with or without the bonus rule, which gives a player another turn when the last stone is sown into their own store. We introduce Line Kalah as an intermediate problem, a game on a line in which stones that leave the line effectively…
Analog in-memory computing offers the potential to accelerate approximate inverse preconditioning, but hardware errors can degrade preconditioners designed in digital arithmetic. We develop an analog-digital preconditioner for symmetric positive-definite linear systems that combines analog block Jacobi with a small digital low-rank residual correction. The correction space is constructed by probing the same programmed analog arrays used in the solve, targeting errors from both the coupling omitted by block Jacobi and persistent hardware perturbations. Under a random linear-operator model, we separate the programmed-mean error from fresh read fluctuations, distinguish the effects of copy averaging and repeated reads, and quantify the sampling accuracy of columnwise probing. Under a centered additive write-noise model, we also derive a computable regularization threshold and identify the…
We establish optimal sheet separation estimates for stable $s$-minimal hypersurfaces in dimensions up to seven, using an iteration argument in the nonlocal approximation theory of Chan-Dipierro-Serra-Valdinoci. These estimates imply that every stable $s$-minimal hypersurface in $\mathbb{R}^7$ is a hyperplane when $s$ is close to $1$. More generally, every finite Morse index $s$-minimal set in $\mathbb{R}^7$ is a half-space. We also establish a compactness theorem for stable $s$-minimal cones in $\mathbb{R}^8$. We prove uniform curvature and area estimates for their links and show that, as $s \uparrow 1$, they subconverge graphically in $C^{2,α}$, either with multiplicity one to a classical stable minimal cone, or with multiplicity two to a hyperplane. The stability of Lawson and axisymmetric $s$-minimal cones in $\mathbb{R}^8$ shows that these results are optimal.
Martingale optimal transport (MOT) provides model-independent bounds for option prices calibrated to vanilla options, assuming frictionless trading in the underlying. In this work, we consider the case where dynamic trading incurs quadratic temporary price impact. First, we prove a duality result for the superhedging price. In particular, the primal of the duality relaxes the strict martingale constraint by penalizing the deviation from a specific martingale. Second, for one asset and one trading period, we interpret this price-impact martingale optimal transport (PIMOT) as a weak optimal transport (WOT) problem, and provide a characterization in the spirit of Wasserstein projection. Finally, we justify that PIMOT is an interpolation between MOT and classical optimal transport (OT), and derive the convergence rate to both sides. Numerical examples with SPX option data show how the price…
We construct $n$-categories $\mathscr{P}_n$ with generators given by simplices and relations given by bistellar moves between them, in any dimension $n$. We show that functors out of $\mathscr{P}_n$ into an $n$-category of theories, give the correct input for the orbifold construction for TQFTs, and subsume all previously known examples, which are all in dimensions $n \leq 3$. In particular, in dimension 3 the construction gives a highly nontrivial categorification of a kind of nonunital, noncounital, Frobenius algebra.