2026-11-10 | | Total: 792
The paper is devoted to the construction of exact general solutions of the equations of oil filtration in a porous medium under the action of an active reagent injected into the reservoir. The choice of the reagent solution determines the control process of chemical oil flooding in hard-to-recover fields. The problem is described by a system of two first-order nonlinear partial differential equations (the Barenblatt model). Conditions are found on the Buckley--Leverett function, the adsorption function, and the distribution function of the reagent in oil under which the original system, by means of a nonlinear change of variables on a five-dimensional manifold endowed with a contact structure, is reduced to a linear wave system with constant coefficients. Six families of such functions are indicated. For them, contact transformations and Legendre surfaces corresponding to general solutions in implicit form are constructed.
We introduce a concept of counital comodule algebra $(B,δ_B,ε_B)$ over a Hopf ${\mathbb K}$-algebra $H$, where $δ_B: B\rightarrow B \otimes H$ and $ε_B: B\rightarrow {\mathbb K}$ are coaction and counit homomorphisms, respectively. This structure gives a canonical (counital) comodule algebra map $ι_B: B \rightarrow H$. In this paper, we study in details the case $B=O_q$, and $H$ is the quantum loop algebra ${\cal L}U_qsl_2$ for ${\mathbb K}={\mathbb C}$. Here, $O_q$ is the $q$-Onsager algebra with four presentations: (i) the $q$-Dolan-Grady type; (ii) the alternating type; (iii) the root vectors type; (iv) the Drinfeld type. For $(O_q,δ_{O_q},ε_{O_q})$, in fact a 3-parameter family of counital comodule algebras, we establish a Faddeev-Reshetikhin-Takhtajan (FRT) type presentation, which is written in terms of a K-operator satisfying a reflection algebra relation. The coaction $δ_{O_q}$ (resp. $ι_{O_q}$) sends the K-operator to a `dressed' K-operator (resp. K-matrix) using Ding-Frenkel type L-operators of ${\cal L}U_qsl_2$; the counit $ε_{O_q}$ sends the K-operator to the most general (non-diagonal) solution of the reflection equation. The FRT presentation allows to compute the image via $δ_{O_q}$ and $ι_{O_q}$ of the generating functions of $O_q$ for each presentation (ii)-(iv). Moreover, the images of Lu-Wang's generating functions of $O_q$ in the so-called Drinfeld second realization ${}^{Dr}\!{\cal L}U_qsl_2$ are obtained, as well as their images via the (ordinary) coproduct of ${}^{Dr}\!{\cal L}U_qsl_2$, which enhance two theorems by Przeździecki. Finally, we apply our FRT presentation to the construction of new type $q$-characters for ${\cal L}U_qsl_2$, in imaginary root vectors of $O_q$, refining those of Frenkel-Reshetikhin, and we explain representation-theoretic meaning of such refining.
We classify modular Nahm sums with a rational symmetric positive-definite two-by-two matrix and rational shifts. Up to coordinate exchange, every modular datum belongs to three explicit rational-point families, is a product of two modular rank-one sums, or is one of thirty-four exceptional triples on twelve matrices. The list consists of Zagier's rank-two examples, the Vlasenko--Zwegers additions and split products; no further data occur. The proof first bounds the joint degree of the distinguished Nahm point by four, using an initial degree bound of twenty-four and exact local exclusions at the prime 7. Explicit height and exponent bounds then give exhaustive arithmetic classifications in degrees one through four. Exact polynomial elimination determines all rational shifts, and published identities of q-series establish modularity of the survivors. The degree bound is sharp. The finite steps are accompanied by exact certificates, verification programs and independently implemented checks. Computational companion: https://github.com/johnngy44/math/releases
We study coarse embeddings into Hilbert space and the asymptotic dimension of spaces of persistence diagrams and multiparameter persistence modules. We replace doubling, the usual hypothesis for landmark embeddings, by admissible tent covers of bounded multiplicity at every scale: stacking them across dyadic scales gives an explicit $1$-Lipschitz coarse embedding, with lower gauge $c\sqrt{τt}$, or nearly linear for slowly decaying weights, and the same covers bound the asymptotic dimension by the multiplicity. The spaces of persistence diagrams are not doubling but carry such covers, and for diagrams with $n$ points our covers improve the constant of the known landmark embedding by a factor exponential in $n$. Slice by slice, the construction embeds multiparameter modules with boundedly many bars per slice under the matching distance on any finite net of slices, a class that contains the modules with at most $n$ generators. Bounding bars or persistent Betti numbers instead of generators fails: two-parameter modules with one bar on every slice have infinite asymptotic dimension, and neither they nor the modules of bounded support and bounded rank admit a coarse embedding into Hilbert space, under the matching or the interleaving distance.
We prove motivic mirror symmetry for full-rank sink-recurrent cluster varieties. We allow skew-symmetrizable principal parts and invert all frozen variables. The rational geometric motive of such a variety is isomorphic to the additive orbifold motive of the mirror stack of Hu and Shende. This gives comparisons of cohomology, higher Chow groups, and algebraic $K$-theory with rational coefficients. The proof combines quantum deformation with the splitting of these motives into Tate summands. For really full-rank skew-symmetric seeds, a finite étale morphism realizes the comparison. We also study this geometric comparison in families over the projective line.
We study the three-dimensional incompressible Navier--Stokes equation on the cubic torus with a constant odd-viscosity operator given by the vertical derivative of the curl. Arbitrary real, mean-zero, divergence-free initial data and an independent steady force, both in the second-order Sobolev space, admit a unique global strong solution when the magnitude of one fixed odd-viscosity coefficient is at least a norm-uniform sufficient threshold. In the unforced case the solution is smooth at positive times. The qualitative argument adapts the resonant-averaging framework for rapidly rotating fluids to the different odd-viscous dispersion. Weighted lattice counts and signed corrected-energy estimates yield a sufficient bound for the odd-to-ordinary viscosity ratio that is polynomial in the normalized initial-data radius at each fixed normalized force radius, together with a separate bound in a specified force-dominated regime. No optimality is claimed for the polynomial exponents or prefactors; determining the sharp viscosity threshold for the original equation remains open. Direct kinetic and weighted enstrophy barriers also give regularity for every coefficient on explicit bounded data and force regions, including the closed unforced ball of homogeneous second-order Fourier Sobolev radius ninety-seven fortieths times the viscosity and seven closed forced rectangles. We specify how finite certificates enter the analytic argument and distinguish minimization of a sufficient formula from sharpness for the original equation. All three main theorems are formally verified in Lean 4 with Mathlib.
We study the occupation probabilities $p_i=|u_i|^2$ of a normalized bulk eigenvector in the GUE Rosenzweig-Porter model $A_N=B_N+τ_NG_N$, with $τ_N^2=N^{1-γ}$ and $1<γ<2$. Conditioning on an eigenvalue at a regular bulk energy $E$ through the normalized one-eigenpair Kac-Rice law, we derive an exact finite-$N$ projective density and reduce its asymptotic analysis to a Hubbard-Stratonovich integral over $2\times2$ Hermitian matrices, which we evaluate by the saddle-point method. The resulting occupation field is governed by a self-consistent Lorentzian profile with effective resonant size $K_N(E)\asymp N^{2-γ}$ and local exponential fluctuations. We prove the asymptotics of all generalized inverse participation sums and identify a transition at $q=1/2$. We also obtain a two-branch thickened amplitude-counting spectrum. At the two ends of the occupation field we prove marked Poisson point-process limits: the largest components have Gumbel fluctuations, whereas the smallest component has an exponential limit on the scale $N^{-1-γ}$. Finally, for every fixed $q>0$ the largest component contributes an asymptotically vanishing fraction of the inverse participation sum, showing that these fixed-$q$ statistics do not freeze. The statements are quenched, uniformly on a high-probability regularity event for the diagonal disorder, and hence also hold in the annealed setting.
We study fluctuations of empirical distributions of normalized codegrees under independent vertex sampling from deterministic or random weighted parent networks. We establish a quantitative multivariate normal approximation for sampled biclique counts. Under additional graph-limit and sparsity assumptions, we establish convergence of the finite-dimensional distributions of the empirical codegree process indexed by smooth test functions. We further establish functional convergence on Hölder balls, with a smoothness threshold depending on network sparsity and vertex sampling probabilities. We verify our assumptions for classes of graphon-generated random graphs and give counterexamples showing that the smoothness conditions cannot in general be weakened.
This paper solves a problem (SP) attributed to Solovay in the 1960s, which is to add an unbounded sequence to a singular cardinal $κ$ without adding bounded subsets to $κ$, while preserving $κ^+$. The solution applies to any cofinality of the singular cardinal, with the assumption that $κ$ is a strong limit needed for the case of uncountable cofinality. Unsuccessful attempts to solve (SP), mostly for the countable cofinality, have appeared in published papers by various authors.
For a simple graph $Γ$ without loops and an integer $n\geq2$, Abrams showed in his Ph.D. thesis that the discrete configuration space $DConf(Γ,n)$ is homeomorphic to a closed $n$-manifold if and only if $n=2$ and $Γ$ is $K_5$ or $K_{3,3}$, the two minimal obstructions to graph planarity. We show that this manifold property persists for the infinite family of discrete configuration spaces obtained by replacing the Kuratowski graphs with the $d$-skeleton of the simplex of dimension $2d+2$, thus recovering Abrams' $K_5$ case when $d=1$. Our manifold recognition argument relies on a recursive application of Whitehead's theorem that collapsible PL manifolds are PL balls, combined with Forman's discrete Morse theory. The resulting construction produces an infinite family of combinatorial spheres that contains the Legendre polytope boundaries and is closed under taking vertex links.
Let $G$ be a sporadic simple group, $k$ a field of positive characteristic and assume $B$ is a block of $kG$ with non-trivial defect. In this paper we prove the first Hochschild cohomology group $\mathrm{HH}^1(B)$ is non-vanishing. Furthermore, we prove that for every wild block with abelian defect of a sporadic simple group, we have that $\mathrm{HH}^1(B)$ is a solvable Lie algebra of derived length two, with non-zero maximal toral rank.
In dimensions $n\geq3$, we prove that near an isolated boundary singularity a positive solution of the Escobar--Yamabe equation for a smooth metric approaches a fixed periodic Delaunay solution or the cylindrical solution if its trace lies between positive multiples of $|\overline x|^{-(n-2)/2}$, where $\overline x$ is the tangential Fermi coordinate. The relative error decays at a positive power rate, with weighted estimates through two derivatives in Fermi coordinates. The necksize is unique, and the translation parameter is unique modulo the least positive period in the periodic case. The Hamiltonian smoothly parametrizes the periodic family modulo translation. We classify Jacobi fields of polynomial growth at both ends without assuming symmetry. Translation and energy differentiation generate these fields along periodic solutions, and two oscillatory fields generate them along the cylindrical solution. We also exhibit a first-order obstruction to improving these asymptotics by boundary-preserving conformal deformations of the flat models.
We prove that every non-degenerate pivotal braided fusion category with property F is pseudo-unitary and weakly integral. In particular, every modular category with property F is weakly integral. Neither sphericality nor pseudo-unitarity is assumed. Passing to the Drinfeld centre extends the result to degenerate categories whose dimensions are positive on the intersection of the Müger centre with the adjoint subcategory; these include every braided fusion category with a pseudo-unitary Galois conjugate. Physically, the result connects the arithmetic of topological orders to the computational power of anyon braiding: non-integer squared total quantum dimension guarantees infinite braid group images, a necessary condition for universal quantum computation.
Let $p:\mathbb{C}\to\mathbb{C}$ be a monic polynomial of degree $n\geq 1$. In 1958, Erdős, Herzog, and Piranian conjectured that the length of the lemniscate $\{z\in\mathbb C:|p(z)|=1\}$ is maximized by $p(z)=z^n-1$. We prove this conjecture in every degree and show that equality holds precisely for $p(z)=(z-z_0)^n-e^{iθ}$, where $z_0\in\mathbb C$ and $θ\in\mathbb R$. The proof uses Möbius variations of the critical values and estimates for the inverse branches of $p$, supplemented by rigorous computer-assisted estimates in a finite range of degrees.
We prove that broad families of regular pattern packings are enumerated by moments of probability measures on $[0,\infty)$. A packing prescribes occurrences of a consecutive permutation pattern at equally spaced positions, with successive occurrences overlapping and together covering the permutation. This regularity underlies the structure theory for the associated pattern-packing posets that we developed in Part I (arXiv:2610.29846). We obtain moment representations for all two-level shifted-grid families of Part I and all overlap-one patterns whose first and last letters differ by one or two. For families whose posets are trees with a unique minimum or maximum and overlap at most half the pattern length, positivity instead holds after finitely many initial terms of the enumerating sequence have been discarded. Our proofs develop further enumeration formulas and combine probabilistic constructions with total nonnegativity and weighted paths, yielding explicit laws or continued fractions in several cases. Although a previously conjectured universal moment property fails, our results establish positivity for all packing sequences associated with patterns of length at most four and all but one of the distinct sequences arising from patterns of length five. Extensive numerical evidence suggests that the remaining sequence is also a moment sequence. These results lead us to formulate refined conjectures for all overlap-one patterns and for the shifted-grid families of Part I with arbitrarily many levels.
By the Skew-Torsion Holonomy Theorem of Olmos and Reggiani (2012), the 15-sphere $S^{15}$ admits no non-trivial naturally reductive metric under any transitive Lie group, precluding geodesic integration via canonical Ambrose-Singer connections. Simultaneously, Nikonorov (2013) established that every $Spin(9)$-invariant metric on $S^{15}$ is a geodesic orbit (GO) space. We integrate the geodesic flow on this non-naturally reductive GO manifold via the Lie Subalgebra Closure Principle: whenever the slice generators of a multi-axial reductive decomposition close into a finite-rank reductive Lie subalgebra, the geodesic vector equations decouple into an algebraic eigenvalue problem. Using the 16-dimensional spin representation and Vol'per's decomposition $\mathfrak{spin}(9) = \mathfrak{spin}(7) \oplus \mathfrak{p}_1 \oplus \mathfrak{p}_2$, we prove that the slice generators $X_1 \in \mathfrak{p}_2$ and $Y_1 \in \mathfrak{p}_1$ close into $\mathfrak{u}(2) \cong \mathfrak{su}(2) \oplus \mathfrak{u}(1) \subset \mathfrak{so}(16)$. The generator $M = αX_1 + βY_1$ has the four-mode spectrum $Ω\in \{ |R \pm 3α|, |R \pm α| \}$ ($R = \sqrt{α^2 + β^2}$), yielding a closed-form 4-projector decomposition and Euler-Cartan factorization for $\exp(αX_1 + βY_1)$. Under the normalized Ricci flow, we prove that the Bourguignon-Karcher squashed Einstein metric at $t = 3/11$ ($λ= 64$) is an unstable repeller separating sub-Riemannian fiber collapse from the round sphere basin. Finally, on the deformed Cayley plane $\mathbb{O}P^2 = F_4/Spin(9)$, we prove universal CROSS never-Einstein rigidity, establish the 15-dimensional three-stratum Whitney stratification of the cut locus $Cut(q_0)$ at non-polar basepoints $q_0$, and prove Blaschke and Besse rigidity for all $λ> 0$.
In variational models of pattern formation, periodic solutions are never isolated: since the energy does not change under translations, every shifted copy of a pattern is again a solution. This is an obstacle for computer-assisted proofs, which need isolated solutions. Imposing discrete symmetries removes the obstacle, but restricts the patterns that can be studied and only gives stability against symmetric perturbations. We develop a computer-assisted method that deals with the translations directly. We fix the position of the pattern with phase conditions and add unfolding parameters. They act as Lagrange multipliers, and translation invariance of the energy ensures that they vanish at a solution, under a condition that is verified rigorously by the computer. We then derive the stability of the pattern from the computer-assisted proof. We obtain the number of unstable directions and show that the only neutral directions are the translations. We apply the method to the Swift-Hohenberg equation in two dimensions and prove the existence of stable and unstable patterns without imposed symmetry. Since the linear algebra does not depend on the number of translation directions, the approach extends to higher dimensions.
We study the one-parameter family of Riemannian metrics $g_λ$ induced by the Hamiltonian cotangent deformation $H_λ= H_0 + \fracλ{2}\|J\|^2$ on simply connected space forms of constant curvature $κ\in \{1, 0, -1\}$, where $J$ is the momentum map of the isotropy action fixing a base point. The master reciprocal identity $1/f_λ^2 = 1/s_κ^2 + λ$ governing the warping function controls the geometry of the family and implies that radial geodesic acceleration is independent of $λ$. From this mechanism we derive three classes of results: (1) Curvature and rigidity: closed-form sectional curvatures, the sharp positivity trichotomy, pointwise and global Brendle-Schoen $1/4$-pinching windows on $\mathbb{S}^{n+1}$, never-Einstein rigidity for $λ\neq 0$, and the realization of Hamilton's steady cigar soliton on $(\mathbb{H}^2, g_1)$ as the unique gradient Ricci soliton in the family. (2) Dynamics and stability: iso-kinematic decoupling into unperturbed radial motion and uniform precession $Ω= λL$, closed-form Clairaut integration, the transcendental inward conjugate point law with Euclidean inversion $r_0 R^* = 1/λ$, and stratified $A_3$ cusp caustics. (3) Integrability and spectral theory: maximal superintegrable rational pericenter invariants on $\mathbb{R}^{n+1}$, transverse Killing rigidity on curved space forms, Fuchsian Heun spectral reduction with modulus $τ= 1 + λ/κ$, and essential spectrum gap collapse to $[0, \infty)$ on $\mathbb{H}^{n+1}$. Extensions to anisotropic sphere families and intrinsic deformations of compact rank-one symmetric spaces ($\mathbb{C}P^n, \mathbb{H}P^n, \mathbb{O}P^2$) are also established.
We give a geometric proof that every Kähler class on a compact Kähler manifold with vanishing real first Chern class contains a unique Ricci-flat metric, and that the Kähler--Ricci flow converges smoothly to this metric. The fixed Kähler class and the bounded logarithmic volume density control the mean pairwise distance. Chow's scalar-curvature decay makes available, at a fixed spatial scale and all sufficiently late times, the relative-volume comparison of Jian--Song, derived from Bamler's pointed Nash entropy estimates. This comparison upgrades the mean-distance bound to a diameter bound without an absolute lower bound for entropy. A restarted heat-gradient estimate then gives exponential decay of the Ricci potential. A parabolic Schwarz estimate and the interior estimates of Sherman--Weinkove yield smooth exponential convergence. The proof does not invoke the Calabi--Yau existence theorem or global estimates for a scalar complex Monge--Ampère equation.
We study isometric extensions from positive and full unit spheres of $C^\infty([0,1],\mathbb F)$, where $\mathbb F\in\{\mathbb R,\mathbb C\}$. We equip these spaces with a translation-invariant metric that induces the usual Fréchet topology, is unbounded, has convex balls, and has strictly increasing distances from zero along nonzero rays. Every surjective isometry of the pointwise positive unit sphere extends uniquely to a complex-linear surjective isometry of the complex-valued space. Restriction gives the unique real-linear isometric extension on the real-valued space. On the full unit sphere, every surjective isometry extends uniquely to a real-linear surjective isometry. The positive-sphere maps are compositions with the identity or an admissible reflection. The full-sphere maps also allow constant unimodular factors and, over the complex field, conjugation. We also classify the surjective ambient isometries. A counterexample shows that these metric properties alone do not guarantee positive-sphere extension. Under an explicit anchor condition, we classify surjective isometries of finite-order jet-positive spheres for maximum-type anchored metrics and prove that they extend uniquely to complex-linear surjective isometries. The classification allows any permutation of the anchored coordinates, combined with the identity or reflection on the highest-derivative component. The condition holds for every anchor when $m=1$ or $m=2$.
By Sylow's theorem, the number of Sylow $p$-subgroups of a finite group is congruent to $1$ modulo $p$, but not every such integer occurs. Frobenius extended the congruence to the number of subgroups of order $p^a$ for every $a\ge0$. Kulakoff and Hall showed that this number is congruent to $1$ or $1+p$ modulo $p^2$ whenever $p^{a+1}$ divides the group order. A positive integer is a Frobenius $p$-number if it is the number of subgroups of order $p^a$ of some finite group for some $a$. There are integers congruent to $1$ modulo $p^2$ which are not Frobenius $p$-numbers, and it remained open whether there are also such integers congruent to $1+p$ modulo $p^2$. We show that no finite group has exactly $106$ subgroups of order $5^a$ for any $a\ge0$.
Permutation entropy, introduced by Bandt and Pompe in 2002, measures the complexity of a dynamical system through the ordinal patterns of its trajectories. Bandt, Keller and Pompe established that for measure-preserving, piecewise monotone interval maps with finitely many monotonicity intervals, the normalized order-$n$ permutation entropy $H_n^{\mathrm{perm}}(f)/n$ converges to the Kolmogorov--Sinai entropy. Although this result has subsequently been extended to broader classes of maps, whether normalized permutation entropy always converges has remained unknown. We show that convergence can fail, and indeed that nonconvergence is generic. More precisely, for a generic continuous Lebesgue measure-preserving map $f:[0,1]\to[0,1]$, we prove that \[ \liminf_{n\to\infty}\frac{H_n^{\mathrm{perm}}(f)}{n}=0, \qquad \limsup_{n\to\infty}\frac{H_n^{\mathrm{perm}}(f)}{n\log n}=1. \] Thus, despite the generic vanishing of Kolmogorov--Sinai entropy, permutation entropy exhibits oscillations between vanishing linear growth and the maximal possible asymptotic growth. We also construct an explicit Lebesgue measure-preserving interval map with countably many monotonicity intervals for which the normalized permutation entropy has lower limit zero and upper limit infinity. This demonstrates that nonconvergence can occur even within the countably piecewise-monotone setting, beyond the scope of the convergence theorem of Gutjahr and Keller, relying on conditions concerning the lengths of the pieces.
We prove the sharp lower bound $vol(X) \geq 1/420$ for every smooth complex projective threefold $X$ of general type.
For arbitrary noncommutative polynomials in independent GUE matrices, we prove that the empirical eigenvalue measure converges weakly in probability to the Brown measure of the corresponding polynomial in free semicircular variables. We also prove convergence of the entire eigenvalue set in Hausdorff distance and convergence of the spectral radius, both in probability. Equivalently, these matrix conclusions hold for arbitrary $*$-polynomials in independent complex Ginibre matrices. Independently, we prove that the support of the Brown measure of every polynomial in free semicircular variables equals its operator spectrum. The proof of weak convergence combines a criterion based on the second moment of the Brown measure with complex Gaussian rotation and convexity. The support theorem uses linearization and rigidity of matrix Dyson equations. We also prove absolute continuity for nonconstant polynomials without adjoints in free circular variables. A matrix Dyson equation recovers Brown measures of arbitrary semicircular polynomials through regularized logarithmic potentials. For drift-corrected nondegenerate elliptic free random walks, it yields quantitative convergence of potentials in the interior of the limiting domain and weak convergence of Brown measures to that of free multiplicative Brownian motion.
Let G be a connected graph of order n, let μ(G) denote its average distance, and let L(G) denote the maximum order of an induced linear forest of G, that is, of an induced subgraph whose components are chains. Hansen, Hertz, Kilani, Marcotte and Schindl conjectured that μ(G) {\le} L(G)/2, which can be written as 4W(G) {\le} L(G)n(n-1), where W(G) is the Wiener index of G. This inequality strengthens their bound μ(G) {\le} F(G)/2, where F(G) is the maximum order of an induced forest, as well as Chung's classical bound μ(G) {\le} α(G). In this paper we prove the conjecture for all connected graphs.