arXiv subjects

Shing-Tung Yau

Publications and source records attributed to Shing-Tung Yau.

At least 19 recordsLinked to original sources

arXiv2026

Compact Proof of the Positivity of Quasi-Local Masses for a class of Initial Data

We prove a purely quasi-local positivity theorem for the Wang--Yau mass for a class of initial data whose Jang deformation, after a boundary-preserving conformal reduction to zero scalar curvature, lies in a sufficiently small transverse--traceless (TT) perturbative neighborhood of a strictly convex Euclidean fill-in.We explicitly construct a nontrivial class of physical initial data whose admissible Jang reductions realize this TT-generated sector. The argument reduces the Wang--Yau energy to the Brown--York mass of the resulting scalar-flat compact metric, together with nonnegative bulk terms determined by the Jang deformation, and establishes strict positivity by computing the second variation of the Brown--York functional at the Euclidean metric in transverse--traceless directions. The proof is entirely confined to the compact fill-in and uses neither an asymptotically flat extension nor the positive mass theorem. This gives a partial answer to a question of R. Schoen concerning a genuinely quasi-local proof of positivity for quasi-local mass.

math.DG↗

arXiv2026

On Compact Hermitian Surfaces With Positive Strominger-Bismut Sectional Curvature

In an earlier work, Yau and Zheng proposed a Hermitian analogue of a weak form of the Frankel conjecture, which states that any compact Hermitian manifold with positive Strominger-Bismut sectional curvature must be biholomorphic to the complex projective space. In this article, we confirm the conjecture in complex dimension two. This is achieved by a vanishing theorem for anti-self-dual harmonic 2-forms on such surfaces, utilizing a curvature decomposition formula by Ferreira and a refined Kato inequality.

math.DG↗

arXiv2026

The discrete homotopy hypothesis for directed graphs

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also known as $A$-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups yields an $\infty$-category, denoted by ${\sf DGra}_\infty$. We prove that ${\sf DGra}_\infty$ is equivalent to the $\infty$-category of spaces, establishing a directed version of the discrete homotopy hypothesis of Carranza and Kapulkin.

math.AT↗

arXiv2026

Orthogonal complex structures on flat tori

We classify compact Hermitian manifolds with flat Levi-Civita connection. This is equivalent to the classification of all orthogonal complex structures on flat tori. It generalized the work of Khan, Yang, and Zheng in 2017 where they solved the case in complex dimension three.

math.DG↗

arXiv2026

The prescribed Hermitian-Yang-Mills flow I

In this paper, we introduce a broad class of flows, including the prescribed Hermitian-Yang-Mills flow: $$\frac{\partial h}{\partial t}=-Λ_{ω_g}\left(\sqrt{-1} R^h\right)+P$$ where $P\inΓ(M,E^*\otimes\bar{E}^*)$ is a prescribed Hermitian tensor associated with a holomorphic vector bundle $E$ over a Kähler (or Hermitian) manifold $(M,ω_g)$. We establish the long-time convergence of the flow to a limiting metric $h_{\infty}$ and use it to solve the prescribed Hermitian-Yang-Mills tensor equation $$Λ_{ω_g}\left(\sqrt{-1} R^{h_\infty}\right)=P, $$ for a general class of prescribed Hermitian tensors $P$. The crucial uniform $C^0$-estimate of $\{h(t)\}$ along the flow is obtained via a parabolic comparison principle.

math.DG↗

arXiv2026

Algebra of Path Integrals on Digraphs

In this paper, we extend the iterated path integrals from smooth manifolds to digraphs and develop the associated algebraic and geometric structures. Iterated path integrals on a digraph naturally give rise to the iterated path algebra and the iterated loop algebra, both defined as quotient algebras of a shuffle algebra, with the latter carrying a canonical Hopf algebra structure. We construct a non-degenerate pairing between elementarily equivalent classes of loops on a digraph and the iterated loop algebra. By restricting to iterated path integrals that are invariant under $C_\partial$-homotopy, a distinguished subalgebra is obtained which, under this pairing, corresponds to the group algebra of the fundamental group. We further show that this subalgebra is a homotopy invariant and forms a Hopf algebra with involutive antipode.

math.AT↗

arXiv2026

Boundary-Geometry-Driven Black Hole Formation in Vacuum

We identify a boundary-geometry-driven mechanism for the dynamical formation of marginally outer trapped surfaces (MOTSs) in vacuum general relativity. Mild three-dimensional anisotropies evolve inside a compact Cauchy domain whose effective isotropic thickness remains controlled, while the generalized boundary mean curvature can increase during either contracting or expanding boundary evolution. This drives the boundary across Yau's geometric threshold, forcing MOTS formation from initially untrapped data. We further interpret the characteristic shear construction of Ref.~\cite{MondalYau2026} as the null manifestation of the same anisotropic vacuum dynamics. The result provides a purely vacuum physical realization of MOTS formation through global geometric effects, without invoking a short-pulse concentration mechanism for gravitational radiation.

gr-qc↗

arXiv2026

A Sharp Curvature Threshold for GLMY Path Homology

Let $G$ be a finite simple graph with at least one edge. We prove the sharp vanishing theorem \[ κ_{\min}^{\mathrm{LLY}}(G)>\frac12 \quad\Longrightarrow\quad \PathH_1(G;\R)=0. \] Equivalently, nonzero first GLMY path homology forces an edge of Lin--Lu--Yau curvature at most $1/2$. The threshold $1/2$ is sharp and is attained by $C_5$. The proof combines the cycle-space description of first GLMY path homology with the limit-free Laplacian characterization of Lin--Lu--Yau curvature. As a secondary consequence of the curvature-preserving universal-cover method, we prove that if $G$ is connected and $κ_{\min}^{\mathrm{LLY}}(G)>0$, then $π_1(\Xshort{5}(G),o)$ is finite, where $\Xshort{5}(G)$ is obtained by filling every simple cycle of length at most five. Equivalently, the normal subgroup generated by based simple $5$-cycle loops has finite index in $π_1^{\mathrm{GLMY}}(G,o)$. In higher degrees the situation is different: for each integer $r\geq1$, the Cartesian product $T_r=C_5^{\square r}$ has curvature $1/(2r)$ on every edge and, for every field $\F$, \[ \PathH_p(T_r;\F)\cong\F^{\binom rp}\qquad(0\leq p\leq r), \] so strict positivity of Lin--Lu--Yau curvature does not force higher-dimensional GLMY path homology to vanish.

math.AT↗

arXiv2026

Information Geometry (IG) Lives at Edge or Boundary of SMG (statistically meaningful geometry): - the First Edge Theorem and Applications

Statistically Meaningful Geometry (SMG) is a differential-geometric and information-theoretic framework that lifts over-parameterized models into infinite-dimensional non-parametric Orlicz statistical fiber bundles with an Ehresmann connection, decoupling unobservable vertical gauge noise from horizontal statistically verifiable directions. We prove the First Edge Theorem: Amari's information geometry (IG) and conventional statistics (CS) are not autonomous statistical universes but degenerate boundary layers of the larger gauge-active SMG space. Taking the structural identifiability radius $R\to\infty$ breaks gauge symmetry, collapses vertical fibers, and forces the total space onto the IG manifold; subsequent local asymptotic normality as $N\to\infty$ flattens the remaining curvature, yielding \[ \mathrm{SMG}\xrightarrow{\;R\to\infty\;}\mathrm{IG}\xrightarrow{\;N\to\infty\;}\mathrm{CS}. \] The same fiber-bundle machinery transforms model non-identifiability from a singular collapse into a structured gauge space. Applications include resolving the deep-learning generalization paradox, constructing gauge-invariant gradient descent and holonomy-matched preference alignment for generative AI, and solving weak identification in structural econometrics via intrinsic horizontal geodesic search.

math.GM↗

arXiv2026

The Second Edge Theorem: The Asymptotic Collapse of Sample-Dependent Information Geometry to the Canonical Flat Canvas of Conventional Statistics in Large Sample Limits

This paper establishes the global proof of the Second Edge Theorem: as sample size tends to infinity, sample-dependent information-geometric manifolds---formed by the parameter space, sample-scaled Fisher metric, and dual alpha-connections---undergo metric-topological collapse onto the flat tangent space of Conventional Statistics at the true parameter. We first prove a universal tensor valence scaling law, under which tensor fields of valence one through four degenerate at rates determined by sample size. Score fluctuations stabilize, the Fisher metric freezes to its true-parameter value, affine connections dissolve, and Riemann curvature is annihilated. We then bridge geometric collapse with statistical decision theory, showing that Cheeger--Gromov flattening and Le Cam risk condensation are dual projections of the same asymptotic phase transition. A Fisher-compatible Ehresmann connection extends these results to over-parameterized and singular models, yielding horizontal leaf-space collapse and uniform local asymptotic normality. Unifying the First and Second Edge Theorems yields a nested dual-edge hierarchy: Conventional Statistics is the boundary of Information Geometry, which is itself the boundary of Statistical Mechanics and Geometry. Thus, Conventional Statistics is not a heuristic approximation but the unique zero-curvature thermodynamic attractor of regular parametric information manifolds. This redefines modern statistics as a dynamic non-equilibrium field theory of finite-sample fluctuations, phase transitions, and gauge-invariant interactions.

math.GM↗

arXiv2026

FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple Groups

Large-scale formalization of advanced mathematics requires more than translating individual statements: it must reconstruct a coherent theory distributed across heterogeneous sources. This process raises four challenges: discovering implicit dependencies, correcting source defects, preserving semantic fidelity, and reconciling cross-source misalignments. We present FormaTheoria, an end-to-end, AI-assisted workflow that coordinates source acquisition, formalization, proof construction, recursive dependency discovery, independent review, and reconciliation, while preserving provenance and protecting approved declarations. A shared agent framework supports long-horizon execution through tool use, context compaction, review-gated termination, section-level source context, and dependency-aware batch parallelization. Applying FormaTheoria to major components of the Classification of Finite Simple Groups (CFSG), we construct a machine-checked Lean development extending through the Bender--Suzuki theorem and encompassing the Feit--Thompson Odd Order Theorem, Glauberman's $Z^*$ theorem, and the Brauer--Suzuki theorem. This development verifies an extensive body of deeply interdependent finite-group theory while providing a foundation for continuing the CFSG formalization. An empirical analysis of the code and recorded construction process supports the practical relevance of the identified challenges and illustrates the roles of the corresponding workflow components. Together, these results demonstrate how AI-assisted workflows can reconstruct mathematically significant formal theories from distributed literature by combining language-model agents with formal verification, structured review, and explicit dependency management.

cs.LO↗

arXiv2026

Formation of trapped surfaces for the spherically symmetric Einstein-Yang-Mills system with non-trivial incoming data

We establish a trapped surface formation theorem for the spherically symmetric Einstein Yang Mills equations in a double-null gauge. The theorem concerns characteristic initial data posed on a pair of transversely intersecting null hypersurfaces and allows nontrivial incoming data. The proof extends the singular characteristic method of An and Lim for the Einstein Maxwell Charged Scalar Field System to the non-abelian Yang Mills setting, where the curvature coupling and gauge field nonlinearities introduce new structural difficulties. This paper constitutes the first part of a program toward weak cosmic censorship for the Einstein Yang Mills system.

gr-qc↗

arXiv2026

Volume Stability for Hyperbolic Manifolds and Applications to General Relativity

We prove a sharp volume-stability theorem for closed hyperbolic three-manifolds. Let $(M,h)$ be closed hyperbolic with $\operatorname{Ric}_h=-2h$, and let $g_i$ be smooth metrics on $M$ satisfying $R(g_i)\geq -6, \operatorname{Vol}_{g_i}(M)\longrightarrow \operatorname{Vol}_h(M)$. After passing to a subsequence, there exist $Z_i\subset M$, smooth domains $K_i\subset M$, and diffeomorphisms $ψ_i:K_i\longrightarrow M\setminus Z_i $ such that $\operatorname{Vol}_{g_i}(Z_i)\longrightarrow0, \operatorname{Vol}_h(M\setminus K_i)\longrightarrow0, $ and $ \|ψ_i^*g_i-h\|_{C^0(K_i,h)}\longrightarrow0. $ Thus near-equality in the sharp hyperbolic volume bound forces tensorial $C^0$-convergence to the hyperbolic metric outside regions of vanishing volume. As an application, we establish stability of the Fischer--Moncrief reduced Hamiltonian at the Lorentz-cone ground state: after CMC normalization, near-minimizing compact vacuum data in the hyperbolic topological class converge, modulo sets of vanishing volume, to the hyperbolic Lorentz-cone geometry in tensorial $C^0$. This provides a rigorous volume-dominance formulation of the Fischer--Moncrief asymptotic picture.

math.DG↗

arXiv2026

Fermion Families and Pontryagin Class: Topological Field Theory via Colour Symmetry Extension

Family puzzle asks why the Standard Model (SM) features exactly 3 families of quarks and leptons. Motivated by topological constraints, we study 4d fermionic anomalies with discrete $Z_n$ symmetry, classified by the 5d spin bordism group. We show that only the group-cohomology subclass H$^5(Z_n,U(1))\cong Z_n$ can be canceled by an anomalous $Z_n$-symmetric 4d $Z_n$-gauge topological quantum field theory (TQFT), while beyond-group-cohomology $A_{Z_n}p_1$ involving the Pontryagin class $p_1$ cannot (except $n=2,3$). More generally, we prove that any cocycle $α_d\in$H$^d(Z_n,U(1))$ in odd spacetime dimension $d\ge3$ is trivialised by the symmetry extension $1\to Z_n\to Z_{n^2}\to Z_n\to 1,$ and we construct the corresponding symmetric anomalous boundary TQFT. For $d=5$ and $n=3$, this yields a Spin$\times Z_3$-symmetric 4d $Z_3$-gauge TQFT that cancels the mixed discrete $(\bf B+L)$-gauge-gravitational anomaly of the SM in the absence of 3 "sterile" right-handed neutrinos $ν_R$. We analyze a generalized SM with $N_c$ colors and $N_f$ families and argue that missing $N_f$ copies of the $ν_R$ can be naturally replaced by a 4d anomalous $Spin\times_{Z_2^F}Z_{2 N_f,{\bf B + L}}$ symmetric $Z_N$-gauge TQFT under the anomaly cancellation, via a $Z_N$ symmetry extension construction $1\to Z_N\to Spin\times Z_{NN_f}\to Spin\times_{Z_2^F}Z_{2N_f}\to1$ of anomalous topological order. For minimal nonzero $(N,N_f)$, the allowed minimal extensions are $N=1,3,4,12$, depending on divisibility of $N_f$ by 2 and 3. Combining Witten anomaly and other constraints, we prove that $N=N_c=N_f=3$, with 3 families and 3 colors, is the unique minimal solution to match with the color-center baryon-to-quark symmetry extension $1\to Z_{N_c}\to Spin\times_{Z_2^F}Z_{2N_cN_f,{\bf Q}+N_c{\bf L}}\to Spin\times_{Z_2^F}Z_{2 N_f,{\bf B+L}}^F\to1$. We also prove that $A_{Z_3}p_1=0\mod3$ for the mod 3 cohomology class.

hep-th↗

arXiv2026

Graph statistics: An emerging discipline in non-Euclidean data analysis

The explosive growth of complex data has catalyzed the emergence of graph statistics as a fundamentally new discipline in data science. Unlike traditional statistics, which operates primarily within the comfortable confines of Euclidean spaces, graph statistics confronts the reality that modern data naturally organize themselves as dynamic networks composed of complex interconnections. In this article, we present an overview of graph statistics as an emerging discipline, tracing its theoretical foundations, methodological innovations, and transformative applications. We examine how the integration of evolutionary game theory, ecological niche theory, topological data analysis, and graph theory through quasi-dynamic nonlinear modeling has created a new norm of statistical thinking capable of analyzing non-Euclidean data. We show how graph statistics is poised to revolutionize fields ranging from quantitative genetics and systems biology to materials science and artificial intelligence, offering a principled framework for transforming big data into practical knowledge.

stat.ME↗

arXiv2026

Semi-Global Existence and Trapped Surface Formation for the Einstein-Vlasov System

In this article, we study the Einstein-Vlasov system for massless particles. Our main contribution is the provision of a novel method for controlling the Vlasov matter in a double null gauge, relying purely on vector field commutation and bypassing the need for introducing Jacobi fields, which has so far been the only existing technique outside of symmetry in this gauge. To obtain it, we have to overcome stringent regularity issues that exist along this path. Because it relies solely on vector field commutation, our technique is fundamentally simple and flexible enough to be applicable in any data regime. We thus anticipate this to be a helpful tool for many subsequent problems regarding the Einstein-Vlasov system, including, for instance, simplified approaches to the proof of nonlinear stability of Minkowski spacetime with massless Vlasov matter, scattering problems for data close to black holes among others. Within the present double-null commutator framework, we show that two derivatives of curvature suffice to close the coupled Einstein--Vlasov hierarchy, without derivative loss, given smooth initial data. Using this method, we obtain a large data semi-global existence theorem and a dynamical trapped surface formation statement for our system.

math.AP↗

arXiv2026

Statistically Meaningful Geometry (SMG) Beyond the Euclidean Paradigm, with Application to Generative AI

Conventional uniform convergence bounds and empirical risk minimization break down in massive over-parameterized models, such as large language transformers and biological sequence networks. With near-infinite unconstrained internal degrees of freedom, their optimization landscapes develop flat vertical gauge valleys, rendering classical generalization metrics vacuous and inducing severe pathologies, specifically generative hallucination and catastrophic forgetting. We introduce the Statistically Meaningful Geometry (SMG) framework, an information-geometric paradigm lifting deterministic parametric models into infinite-dimensional non-parametric Orlicz statistical manifolds. Modeling the total state space as a differential fiber bundle ($\mathcal{M}, \mathcal{B}, π, \mathcal{V}, \mathcal{H}, ω$), we establish a Two-Fold Inference Paradigm. We formalize an Ehresmann connection 1-form $ω$ as a dynamic geometric filter that strips away vertical gauge noise (Structural Internal Directions, or SID) and isolates learning trajectories along the strictly non-degenerate horizontal distribution (Statistical Variational Directions, or SVD$χ$). We prove that under connection-filtered pre-training, out-of-distribution predictive variance is strictly upper-bounded by the finite diameter of the identifiable quotient base manifold $\mathcal{B}$, establishing a hard geometric containment of generative hallucinations. By projecting downstream updates onto the orthogonal complement of the historical horizontal carriage, we formalize the SMG Sequential Adaptation Flow, proving the total non-asymptotic elimination of catastrophic forgetting. SMG replaces empirical fine-tuning heuristics with coordinate-free topological constraints, bridging advanced differential geometry with structural reliability in AI.

cs.LG↗

arXiv2026

Statistically Meaningful Geometry and Gauge Symmetry Breaking: A Geometric Foundation for Scientific Discovery and Intelligence Emergence

The rapid scaling of over-parameterized machine learning architectures, particularly LLMs, raises a profound crisis: do these systems exhibit genuine intelligence, or are they merely sophisticated statistical pattern matchers? Classical flat Euclidean statistics cannot differentiate continuous interpolation from the autonomous discovery of novel causal laws. To resolve this, we introduce Statistically Meaningful Geometry (SMG), a framework modeling over-parameterized learning systems as infinite-dimensional non-parametric Orlicz fiber bundles. We prove that under persistent out-of-distribution (OOD) stimuli governed by unmodeled causal mechanisms, continuous optimization fails. Unmodeled variance is rejected by the visible horizontal base manifold, leaking into the unobservable vertical fiber space and generating an accumulation of Active Acausal Tension. Driven by the statistical manifold's non-linear curvature, this tension inevitably strikes a conjugate focal boundary ($T_{\text{crit}} = π^2 / K_{\text{max}}$), triggering localized volumetric collapse and a catastrophic matrix singularity ($[G_f]^{-1} \to \infty$). We demonstrate this geometric breakdown acts as the strict non-equilibrium trigger for a Gauge Symmetry Break (GSB). The system purges hidden tension from unobservable gauge redundancies, spontaneously crystallizing a new, mathematically independent horizontal coordinate axis. This non-parametric phase transition registers as a discrete $+1.0$ integer step-jump in observable Structural G-Entropy. By decoupling parameter charts and subjecting emergent axes to a Minimal Energy Path Criterion and a Causal Invariance Filter, we distinguish genuine discovery from malignant hallucinations. Ultimately, SMG provides a parameter-free, falsifiable dashboard to mathematically certify true intelligence, transforming AI for Science into an engine of autonomous paradigm shifts.

cs.LG↗