Koopman Regularization

2026-02-24T10:31:13Z

\emph{Koopman Regularization} is a constrained optimization-based method to learn the governing equations from sparse and corrupted samples of the vector field. \emph{Koopman Regularization} extracts a functionally independent set of Koopman Eigenfunctions from the samples. This set implements the principle of parsimony, since, even though its cardinality is finite, it restores the dynamics precisely. \emph{Koopman Regularization} formulates the Koopman Partial Differential Equation as the objective function and the condition of functional independence as the feasible region. Then, this work suggests a barrier method-based algorithm to solve this constrained optimization problem that yields promising results in denoising, generalization, and dimensionality reduction.

A flow approach to the Toda system

2026-02-24T09:12:33Z

In this paper we introduce a flow to study the Toda system, which we call {\it Toda flow.} More generally, we introduce a flow of the Liouville systems, formulated as a coupled parabolic system with nonlocal interactions. Finite-time singularities are characterized and both necessary and sufficient conditions for convergence are provided in this general setting, even when the prescribed functions are allowed to change sign. As an application, we prove a global existence for the Toda flow in the critical case without restricting the sign of the prescribed functions. We provide a detailed description of blow-up behavior at infinity and obtain a sharp lower bound for the functional in cases where global convergence fails. By constructing appropriate test functions, we further establish a sufficient condition for the global convergence of the flow. These results are not affected by the sign-changing nature of the prescribed functions, and extend the theorem of Jost, Lin and Wang (Comm. Pure Appl. Math. 59, 526-558, 2006) to systems of multiple equations under this more general and physically relevant condition.

Concavity of spacetimes

2026-02-24T09:01:04Z

Motivated by recent breathtaking progress in the synthetic study of Lorentzian geometry, we investigate the local concavity of time separation functions on Finsler spacetimes as a Lorentzian counterpart to Busemann's convexity in metric geometry. We show that a Berwald spacetime is locally concave if and only if its flag curvature is nonnegative in timelike directions. We also give another characterization of nonnegative flag curvature by the convexity of future (or past) capsules, inspired by Kristály--Kozma's result in the positive definite case. These characterizations are new even for Lorentzian manifolds.

The Eigenvalue Problem for the complex Monge-Ampère operator

2026-02-24T08:53:14Z

We prove the existence of the first eigenvalue and an associated eigenfunction with Dirichlet condition for the complex Monge-Ampère operator on a bounded strongly pseudoconvex domain in $\C^n$. We show that the eigenfunction is plurisubharmonic, smooth with bounded Laplacian in $Ω$ and boundary values $0$. Moreover it is unique up to a positive multiplicative constant. To this end, we follow the strategy used by P.L. Lions in the real case. However, we have to prove a new theorem on the existence of solutions for some special complex degenerate Monge-Ampère equations. This requires establishing new a priori estimates of the gradient and Laplacian of such solutions using methods and results of L. Caffarelli, J.J. Kohn, L. Nirenberg and J. Spruck \cite{CKNS85} and B. Guan \cite{GuanB98}. Finally we provide a Pluripotential variational approach to the problem and using our new existence theorem, we prove a Rayleigh quotient type formula for the first eigenvalue of the complex Monge-Ampère operator.

The $k$th Order Preserving Sets and Isoperimetric Type Inequalities for Planar Ovals

2026-02-24T08:26:03Z

In this work, we introduce and investigate a new class of sets, the \textit{$k$th Order Preserving Sets}, arising naturally from the Fourier analysis of support functions associated with hedgehogs. Specifically, we focus on sets whose support functions possess a Fourier series that preserves only terms with positive indices divisible by a fixed $k$. We explore the geometry of the \textit{$k$th Order Midpoint Set}, defined as the set of centroids of all equiangular $k$-gons circumscribed about a given hedgehog. This set captures essential structural and symmetry-related features of the underlying geometric configuration. We study the geometric properties of such sets and, in particular, establish an isoperimetric-type inequality relating the perimeter and area of a region bounded by a simple smooth convex closed curve (an oval) $\mathcal{O}$: \[ L_{\mathcal{O}}^2 - 4πA_{\mathcal{O}} \geqslant 4π|A_{\mathcal{P}_k}| + 2π|A_{Ω_{\mathcal{O},k}}|, \] where $L_{\mathcal{O}}$ denotes the length (perimeter) of $\mathcal{O}$, $A_{\mathcal{O}}$ is the area of the region enclosed by $\mathcal{O}$, $A_{\mathcal{P}_k}$ is the oriented area of the associated $k$th Order Preserving Set $\mathcal{P}_k$, and $A_{Ω_{\mathcal{O},k}}$ is the oriented area of the associated $k$th Order Midpoint Set $Ω_{\mathcal{O},k}$. Moreover, we characterize the equality case: the inequality becomes an equality if and only if every equiangular circumscribed $k$-gon around $\mathcal{O}$ is a~regular $k$-gon with its center of mass located at the Steiner point of $\mathcal{O}$.

Geodesic X-ray transform and streaking artifacts on simple surfaces or on spaces of constant curvature

2026-02-24T05:38:02Z

The X-ray transform on the plane or on the three-dimensional Euclidean space can be considered as the measurements of CT scanners for normal human tissue. If the human body contains metal regions such as dental implants, stents in blood vessels, metal bones, etc., the beam hardening effect for the energy level of the X-ray causes streaking artifacts in its CT image. More precisely, if there are two strictly convex metal regions contained in the cross-section of normal human tissue, then streaking artifacts occur along the common tangent lines of the two regions. In this paper we study the geodesic X-ray transform and streaking artifacts on nontrapping simple compact Riemannian manifolds with strictly convex boundaries. We show that the streaking artifacts result from the propagation of conormal singularities on the boundary of metal regions along the common tangent geodesics under the strong and seemingly strange assumption that the manifolds are two dimensional or spaces of constant curvature. This condition ensures that every Jacobi field takes the form of the product of a scalar function and parallel transport along the geodesic. Our results clarify the geometric meaning of the theory, which was imperceptible in the known results on the Euclidean space.

Optimal inequalities involving Casorati curvatures along Riemannian maps and Riemannian submersions for quaternionic space form

2026-02-24T04:57:04Z

In this paper, we establish Casorati inequalities for Riemannian maps and Riemannian submersions involving quaternionic space forms, and we provide geometric characterisations of their equality cases. First, we derive Casorati inequalities for Riemannian maps to quaternionic space forms and describe the corresponding equality cases, showing that the leaves of the range space are invariantly quasi-umbilical, and that the associated shape operator matrix commutes. Next, we obtain Casorati inequalities involving the fundamental tensor fields $T$ and $A$ for Riemannian submersions from quaternionic space forms onto Riemannian manifolds, together with their geometric interpretations. In particular, we prove that the equality case corresponding to the tensor field $A$ along the horizontal distribution is equivalent to the integrability of the horizontal distribution. Moreover, the equality case associated with the tensor field $T$ along the vertical distribution characterises fibres that are invariantly quasi-umbilical with a commuting shape operator matrix. Finally, the simultaneous equality cases involving both tensor fields $T$ and $A$ along the horizontal and vertical distributions imply the integrability of the horizontal distribution together with the invariantly quasi-umbilical nature of the fibres and the commutativity of the corresponding shape operators.

Asymptotic geometric regularity of CAT(0) spaces

2026-02-24T04:20:13Z

We prove that if an n-dimensional geodesically complete CAT(0) space has Tits boundary sufficiently close to the (n-1)-dimensional standard unit sphere, then it is bi-Lipschiz homeomorphic to the n-dimensional Euclidean space. As an application, we conclude that if an (n-1)-dimensional geodesically complete CAT(1) space is sufficiently close to the (n-1)-dimensional standard unit sphere, then they are bi-Lipschiz homeomorphic to each other.

Non-collapsing volume estimate for local Kähler metrics in big cohomology classes

2026-02-24T03:29:30Z

We prove a uniform local non-collapsing volume estimate for a large family of singular metrics in the big cohomology classes, which are Kähler on an open Euclidean subset of the manifold. The key ingredient is a generalization of a mixed energy estimate for functions in the complex Sobolev space to the setting of big cohomology classes.

Projective bundles that admit coupled Kähler-Einstein metrics but no Kähler-Einstein metrics

2026-02-24T02:33:04Z

Using Hultgren's polytope formulation of the existence of coupled Kähler-Einstein (cKE) metrics on toric Fano manifolds, we construct explicit higher-dimensional toric Fano manifolds that admit two coupled Kähler-Einstein metrics but no ordinary Kähler-Einstein metrics. In particular, we exhibit such examples among certain projective bundles over products of projective spaces. Motivated by these constructions, we conjecture that examples of this type exist in all dimensions $n\geq 4$.

Rigidity of Spectral Encodings under Weyl Growth Conditions

2026-02-23T22:19:24Z

We prove that the geometric Weyl bulk-density exponent $(d-2)/2$ rigidifies spectral encodings $C=π-φ(λ)$ in the O-regularly varying class: the bulk power law forces $φ\in\mathrm{RV}_1$ (asymptotic linearity). For polynomial-type encodings $C=π-ελ^k L(λ)$ with $L\in\mathrm{RV}_0$, this yields the unique admissible exponent $k=1$. The affine encoding then gives $N_{μ_C}(C)\simγ_d\,ε^{-d/2}(π-C)^{d/2}$ as $C\to-\infty$, allowing recovery of $d$ and $γ_d$ from bulk encoded data. This transfer is stable under perturbations $δ(λ)=o(λ)$, with explicit slowly varying error control. We further formalize asymptotic spectral equivalence classes: if $φ\in\mathrm{RV}_k$, the induced map scales asymptotic spectral dimension as $d_{\mathrm{as}}\mapsto d_{\mathrm{as}}/k$; hence dimension preservation is equivalent to $φ\in\mathrm{RV}_1$, with strict affine normalization at first order when $L(λ)\to1$.

$C^0$-Poisson geometry, coisotropic submanifolds, and clean intersection points

2026-02-23T22:02:03Z

In this work, we initiate the study of rigidity and non-rigidity phenomena for Poisson homeomorphisms, defined as uniform $C^0$-limits of Poisson diffeomorphisms. First, we prove that Poisson homeomorphisms preserve the singular symplectic foliation: they map symplectic leaves to symplectic leaves by symplectic homeomorphisms. Second, we establish the $C^0$-rigidity of coisotropic submanifolds in Poisson manifolds. A key ingredient is the notion of ''clean intersection point'' between a submanifold and the leaves of a singular foliation, whose study is of independent interest for singular foliation theory and Poisson geometry. In contrast with the symplectic case, characteristic foliations of coisotropic submanifolds are not rigid under Poisson homeomorphisms, exhibiting flexibility phenomena specific to the Poisson setting. We discuss partial rigidity results, introduce a topological invariant of coisotropic submanifolds, the $C^0$-characteristic partition, and show that $C^0$-coisotropic submanifolds are non-smooth objects whose vanishing ideal defines a Lie subalgebra of the Poisson algebra. Finally, we consider Poisson homeomorphisms that lift to symplectic homeomorphisms of a symplectic realization and show that nearly all Poisson manifolds admit non-liftable Poisson homeomorphisms. Our main results answer three questions posed by Joksimović and Mărcuţ.

Pluriclosed metrics on compact semisimple Lie groups

2026-02-23T21:38:38Z

Given a compact semisimple Lie group G and a maximal torus T of G, we give an explicit description of all left and Ad(T)-invariant pluriclosed Hermitian structures on G in terms of the corresponding root system. They depend on 2d+1 parameters in the irreducible case, where dim(T)=2d. As applications, we obtain that the only left and Ad(T)-invariant pluriclosed metrics which are also CYT are bi-invariant metrics (i.e., Bismut flat) and study the pluriclosed flow as a neat ODE system.

On Weighted Twisted K-Energy and Its Applications

2026-02-23T19:31:41Z

We establish the convexity of the weighted twisted Mabuchi K-energy functional along geodesics in the finite energy space $\mathcal{E}^{1,T}(X,ω)$, covering the case of divisors with mixed cusp and conic singularities. We then prove that coercivity (relative to the complex torus) of this functional is an open condition under cone angle perturbations. This is obtained from a general result of independent interest, which shows the stability of the coercivity under perturbations by certain twist currents. In particular, this yields the openness for the existence for cscK cone metrics and proves that coercivity at the cusp limit implies existence of cscK cone metrics for small cone angles.

An improved upper bound for the second eigenvalue on tori

2026-02-23T19:24:23Z

In this paper, we study the maximization problem of the second non-zero Laplace eigenvalue $λ_2(T,g)$ on a torus $T$, among all unit-area metrics in a fixed conformal class. First, we obtain a new upper bound for $λ_2(T_{a,b},g)$ on any flat torus $T_{a, b}$ with $(a, b)\in \mathbb{R}^2$. Our bound improves the general estimate $λ_2(T_{a, b},g)\le 4A_c(T_{a, b}, [g])$ in the case of the torus. As applications, we derive a uniform upper bound $λ_2(T,g)< \frac{16π^2}{\sqrt{3}}$ for any torus $T$ and any metric $g$, and reduce the Kao-Lai-Osting conjecture to proving an upper bound for $λ_2(T_{a,b},g)$ on the specific family of flat tori $T_{a,b}$ with $0\leq a\leq \frac12$ and $\sqrt{1-a^2}\leq b\leq 1.76$.