-
Calculating Higher Digraph Homotopy Groups
Authors:
Stephen Theriault,
Jie Wu,
Shing-Tung Yau,
Mengmeng Zhang
Abstract:
We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups of spaces. We then define digraph suspension and Hurewicz homomorphisms and show they commute with each other. The existence of nontrivial digraph homotopy group…
▽ More
We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups of spaces. We then define digraph suspension and Hurewicz homomorphisms and show they commute with each other. The existence of nontrivial digraph homotopy groups then reduces to the existence of corresponding groups in the degree 1 path homology of digraphs.
△ Less
Submitted 5 April, 2025;
originally announced April 2025.
-
Classification of unimodal isolated complete intersection singularities in positive characteristic
Authors:
Hongrui Ma,
Stephen S. -T. Yau,
Huaiqing Zuo
Abstract:
In this paper we classify the unimodal isolated complete intersection singularities in arbitrary characteristic under contact equivalence. The classification over $\mathbb{C}$ has already done by A. Dimca and C.G. Gibson. We continue and generalize their work. To complete the classification, we generalized the complete transversal method into positive characteristic field, which is also useful in…
▽ More
In this paper we classify the unimodal isolated complete intersection singularities in arbitrary characteristic under contact equivalence. The classification over $\mathbb{C}$ has already done by A. Dimca and C.G. Gibson. We continue and generalize their work. To complete the classification, we generalized the complete transversal method into positive characteristic field, which is also useful in many other classification problem.
△ Less
Submitted 15 February, 2025; v1 submitted 7 February, 2025;
originally announced February 2025.
-
A Novel Algorithm for Periodic Conformal Flattening of Genus-one and Multiply Connected Genus-zero Surfaces
Authors:
Zhong-Heng Tan,
Tiexiang Li,
Wen-Wei Lin,
Shing-Tung Yau
Abstract:
In this paper, we propose a novel parameterization method for genus-one and multiply connected genus-zero surfaces, called periodic conformal flattening. The conformal energy minimization technique is utilized to compute the desired conformal map, which is characterised as an easily solvable quadratic functional minimization problem, yielding a sparse linear system. The advantages of the proposed…
▽ More
In this paper, we propose a novel parameterization method for genus-one and multiply connected genus-zero surfaces, called periodic conformal flattening. The conformal energy minimization technique is utilized to compute the desired conformal map, which is characterised as an easily solvable quadratic functional minimization problem, yielding a sparse linear system. The advantages of the proposed algorithms DPCF and SPCF are a) independence from the cut path selection, which introduces no additional conformal distortion near the cut seams; b) bijectivity guaranteeing for intrinsic Delaunay triangulations. The numerical experiments illustrate that DPCF and SPCF express high accuracy and a 4-5 times improvement in terms of efficiency compared with state-of-the-art algorithms.Based on the theoretical proof of the bijectivity guaranteeing, a simple strategy is applied for to guarantee the bijectivity of the resulting maps for non-Delaunay triangulations. The application on texture mapping illustrates the practicality of our developed algorithms.
△ Less
Submitted 9 April, 2025; v1 submitted 25 December, 2024;
originally announced December 2024.
-
Normal surface singularities of small degrees
Authors:
Stephen S. -T. Yau,
Hao Zuo,
Huaiqing Zuo
Abstract:
The notion of the Yau sequence was introduced by Tomaru, as an attempt to extend Yau's elliptic sequence for (weakly) elliptic singularities to normal surface singularities of higher fundamental genera. In this paper, we obtain the canonical cycle using the Yau cycle for certain surface singularities of degree two. Furthermore, we obtain a formula of arithmetic genera and an upper bound of geometr…
▽ More
The notion of the Yau sequence was introduced by Tomaru, as an attempt to extend Yau's elliptic sequence for (weakly) elliptic singularities to normal surface singularities of higher fundamental genera. In this paper, we obtain the canonical cycle using the Yau cycle for certain surface singularities of degree two. Furthermore, we obtain a formula of arithmetic genera and an upper bound of geometric genera for these singularities. We also give some properties about the classification of weighted dual graphs of certain surface singularities of degree two.
△ Less
Submitted 15 December, 2024;
originally announced December 2024.
-
RC-positivity, Schwarz's lemma and comparison theorems
Authors:
Zhiyao Xiong,
Xiaokui Yang,
Shing-Tung Yau
Abstract:
It is well-known that the classical Schwarz lemma yields an explicit comparison of two Hermitian metrics with uniform constant negative curvature bounds through holomorphic maps between complex manifolds. In this paper, we establish Schwarz lemmas for holomorphic bundle maps between abstract Hermitian holomorphic vector bundles with various positive curvature bounds. As applications, we prove Schw…
▽ More
It is well-known that the classical Schwarz lemma yields an explicit comparison of two Hermitian metrics with uniform constant negative curvature bounds through holomorphic maps between complex manifolds. In this paper, we establish Schwarz lemmas for holomorphic bundle maps between abstract Hermitian holomorphic vector bundles with various positive curvature bounds. As applications, we prove Schwarz lemmas for holomorphic maps between complex manifolds whose curvature tensors are described by the notion ``RC-positivity''. In particular, new diameter and volume comparison theorems are obtained by using Schwarz lemmas.
△ Less
Submitted 4 December, 2024; v1 submitted 3 December, 2024;
originally announced December 2024.
-
Primitive path homology
Authors:
Jingyan Li,
Yuri Muranov,
Jie Wu,
Shing-Tung Yau
Abstract:
In this paper we introduce a primitive path homology theory on the category of simple digraphs. On the subcategory of asymmetric digraphs, this theory coincides with the path homology theory which was introduced by Grigor'yan, Lin, Muranov, and Yau, but these theories are different in general case. We study properties of the primitive path homology and describe relations between the primitive path…
▽ More
In this paper we introduce a primitive path homology theory on the category of simple digraphs. On the subcategory of asymmetric digraphs, this theory coincides with the path homology theory which was introduced by Grigor'yan, Lin, Muranov, and Yau, but these theories are different in general case. We study properties of the primitive path homology and describe relations between the primitive path homology and the path homology. Let $a,b$ two different vertices of a digraph. Our approach gives a possibility to construct primitive homology theories of paths which have a given tail vertex $a$ or (and) a given head vertex $b$. We study these theories and describe also relationships between them and the path homology theory.
△ Less
Submitted 28 November, 2024;
originally announced November 2024.
-
Bridgeland/Weak Stability Conditions under Spherical Twist Associated to A Torsion Sheaf
Authors:
Tristan C. Collins,
Jason Lo,
Yun Shi,
Shing-Tung Yau
Abstract:
In this paper, we study the action of an autoequivalence, the spherical twist associated to a torsion sheaf, on the standard Bridgeland stability conditions and a generalized weak stability condition on the derived category of a K3 surface. As a special case, we construct a Bridgeland stability condition associated to a non-nef divisor, which conjecturally lies in the geometric component but outsi…
▽ More
In this paper, we study the action of an autoequivalence, the spherical twist associated to a torsion sheaf, on the standard Bridgeland stability conditions and a generalized weak stability condition on the derived category of a K3 surface. As a special case, we construct a Bridgeland stability condition associated to a non-nef divisor, which conjecturally lies in the geometric component but outside the geometric chamber. We also discuss the destabilizing objects and stability of certain line bundles at the weak stability condition associated to a nef divisor.
△ Less
Submitted 27 November, 2024;
originally announced November 2024.
-
Multi-rigidity of Schubert classes in partial flag varieties
Authors:
Yuxiang Liu,
Artan Sheshmani,
Shing-Tung Yau
Abstract:
In this paper, we study the multi-rigidity problem in rational homogeneous spaces. A Schubert class is called multi-rigid if every multiple of it can only be represented by a union of Schubert varieties. We prove the multi-rigidity of Schubert classes in rational homogeneous spaces. In particular, we characterize the multi-rigid Schubert classes in partial flag varieties of type A, B and D. Moreov…
▽ More
In this paper, we study the multi-rigidity problem in rational homogeneous spaces. A Schubert class is called multi-rigid if every multiple of it can only be represented by a union of Schubert varieties. We prove the multi-rigidity of Schubert classes in rational homogeneous spaces. In particular, we characterize the multi-rigid Schubert classes in partial flag varieties of type A, B and D. Moreover, for a general rational homogeneous space $G/P$, we deduce the rigidity and multi-rigidity from the corresponding generalized Grassmannians (correspond to maximal parabolics). When $G$ is semi-simple, we also deduce the rigidity and multi-rigidity from the simple cases.
△ Less
Submitted 29 October, 2024;
originally announced October 2024.
-
Futaki Invariants and Reflexive Polygons
Authors:
Jiakang Bao,
Eugene Choi,
Yang-Hui He,
Rak-Kyeong Seong,
Shing-Tung Yau
Abstract:
Futaki invariants of the classical moduli space of 4d N=1 supersymmetric gauge theories determine whether they have a conformal fixed point in the IR. We systematically compute the Futaki invariants for a large family of 4d N=1 supersymmetric gauge theories coming from D3-branes probing Calabi-Yau 3-fold singularities whose bases are Gorenstein Fano surfaces. In particular, we focus on the toric c…
▽ More
Futaki invariants of the classical moduli space of 4d N=1 supersymmetric gauge theories determine whether they have a conformal fixed point in the IR. We systematically compute the Futaki invariants for a large family of 4d N=1 supersymmetric gauge theories coming from D3-branes probing Calabi-Yau 3-fold singularities whose bases are Gorenstein Fano surfaces. In particular, we focus on the toric case where the Fano surfaces are given by the 16 reflexive convex polygons and the moduli spaces are given by the corresponding toric Calabi-Yau 3-folds. We study the distribution of and conjecture new bounds on the Futaki invariants with respect to various topological and geometric quantities. These include the minimum volume of the Sasaki-Einstein base manifolds as well as the Chern and Euler numbers of the toric Fano surfaces. Even though the moduli spaces for the family of theories studied are known to be K-stable, our work sheds new light on how the topological and geometric quantities restrict the Futaki invariants for a plethora of moduli spaces.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Groupoids derived from the simple elliptic singularities
Authors:
Chuangqiang Hu,
Stephen S. -T. Yau,
Huaiqing Zuo
Abstract:
K. Saito's classification of simple elliptic singularities includes three families of weighted homogeneous singularities: $ \tilde{E}_{6}, \tilde{E}_7$, and $ \tilde{E}_8 $. For each family, the isomorphism classes can be distinguished by K. Saito's $j$-functions. By applying the Mather-Yau theorem, which states that the isomorphism class of an isolated hypersurface singularity is completely deter…
▽ More
K. Saito's classification of simple elliptic singularities includes three families of weighted homogeneous singularities: $ \tilde{E}_{6}, \tilde{E}_7$, and $ \tilde{E}_8 $. For each family, the isomorphism classes can be distinguished by K. Saito's $j$-functions. By applying the Mather-Yau theorem, which states that the isomorphism class of an isolated hypersurface singularity is completely determined by its $k$-th moduli algebra, M. Eastwood demonstrated explicitly that one can directly recover K. Saito's $j$-functions from the zeroth moduli algebras. This research aims to generalize M. Eastwood's result through meticulous computation of the groupoids associated with simple elliptic singularities. We not only directly retrieve K. Saito's $j$-functions from the $k$-th moduli algebras but also elucidate the automorphism structure within the $k$-th moduli algebras. We derive the automorphisms using the methodology of the $k$-th Yau algebra and establish a Torelli-type theorem for the $\tilde{E}_7 $-family when $k=1$. In contrast, we find that the Torelli-type theorem is inapplicable for the first Yau algebra in the $ \tilde{E}_6 $-family. By considering the first Yau algebra as a module rather than solely as a Lie algebra, we can impose constraints on the coefficients of the transformation matrices, which facilitates a straightforward identification of all isomorphisms. Our new approach also provides a simple verification of the result by Chen, Seeley, and Yau concerning the zeroth moduli algebras.
△ Less
Submitted 13 October, 2024;
originally announced October 2024.
-
Nonexistence of finite-dimensional estimation algebras on closed smooth manifolds
Authors:
Jiayi Kang,
Andrew Salmon,
Stephen Shing-Toung Yau
Abstract:
Estimation algebras have been extensively studied in Euclidean space, where finite-dimensional estimation algebras form the foundation of the Kalman and Benes filters, and have contributed to the discovery of many other finite-dimensional filters. This work extends the theory of estimation algebras to filtering problems on Riemannian manifolds in continuous time. Our main result demonstrates that,…
▽ More
Estimation algebras have been extensively studied in Euclidean space, where finite-dimensional estimation algebras form the foundation of the Kalman and Benes filters, and have contributed to the discovery of many other finite-dimensional filters. This work extends the theory of estimation algebras to filtering problems on Riemannian manifolds in continuous time. Our main result demonstrates that, with non-constant observation functions, the estimation algebra associated with the system on closed Riemannian manifolds is infinite-dimensional.
△ Less
Submitted 11 October, 2024;
originally announced October 2024.
-
Weak Stability Conditions as Limits of Bridgeland Stability Conditions
Authors:
Tristan C. Colllins,
Jason Lo,
Yun Shi,
Shing-Tung Yau
Abstract:
In this paper, we give a definition of weak stability condition on a triangulated category. The difference between our definition and existing definitions is that we allow objects in the kernel to have non-maximal phases. We then construct four types of weak stability conditions that naturally occur on Weierstrass ellitpic surfaces as limites of Bridgeland stability conditions.
In this paper, we give a definition of weak stability condition on a triangulated category. The difference between our definition and existing definitions is that we allow objects in the kernel to have non-maximal phases. We then construct four types of weak stability conditions that naturally occur on Weierstrass ellitpic surfaces as limites of Bridgeland stability conditions.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
On the $k$-th Tjurina number of weighted homogeneous singularities
Authors:
Chuangqiang Hu,
Stephen S. -T. Yau,
Huaiqing Zuo
Abstract:
Let $ (X,0) $ denote an isolated singularity defined by a weighted homogeneous polynomial $ f $. Let $ \mathcal{O}$ be the local algebra of all holomorphic function germs at the origin with the maximal ideal $m $. We study the $k$-th Tjurina algebra, defined by $ A_k(f): = \mathcal{O} / \left( f , m^k J(f) \right) $, where $J(f)$ denotes the Jacobi ideal of $ \mathcal{O}$. The zeroth Tjurina algeb…
▽ More
Let $ (X,0) $ denote an isolated singularity defined by a weighted homogeneous polynomial $ f $. Let $ \mathcal{O}$ be the local algebra of all holomorphic function germs at the origin with the maximal ideal $m $. We study the $k$-th Tjurina algebra, defined by $ A_k(f): = \mathcal{O} / \left( f , m^k J(f) \right) $, where $J(f)$ denotes the Jacobi ideal of $ \mathcal{O}$. The zeroth Tjurina algebra is well known to represent the tangent space of the base space of the semi-universal deformation of $(X, 0)$. Motivated by this observation, we explore the deformation of $(X,0)$ with respect to a fixed $k$-residue point. We show that the tangent space of the corresponding deformation functor is a subspace of the $k$-th Tjurina algebra. Explicitly calculating the $k$-th Tjurina numbers, which correspond to the dimensions of the Tjurina algebra, plays a crucial role in understanding these deformations. According to the results of Milnor and Orlik, the zeroth Tjurina number can be expressed explicitly in terms of the weights of the variables in $f$. However, we observe that for values of $k$ exceeding the multiplicity of $X$, the $k$-th Tjurina number becomes more intricate and is not solely determined by the weights of variables. In this paper, we introduce a novel complex derived from the classical Koszul complex and obtain a computable formula for the $k$-th Tjurina numbers for all $ k \geqslant 0 $. As applications, we calculate the $k$-th Tjurina numbers for all weighted homogeneous singularities in three variables.
△ Less
Submitted 13 October, 2024; v1 submitted 14 September, 2024;
originally announced September 2024.
-
Distinguishing Calabi-Yau Topology using Machine Learning
Authors:
Yang-Hui He,
Zhi-Gang Yao,
Shing-Tung Yau
Abstract:
While the earliest applications of AI methodologies to pure mathematics and theoretical physics began with the study of Hodge numbers of Calabi-Yau manifolds, the topology type of such manifold also crucially depend on their intersection theory. Continuing the paradigm of machine learning algebraic geometry, we here investigate the triple intersection numbers, focusing on certain divisibility inva…
▽ More
While the earliest applications of AI methodologies to pure mathematics and theoretical physics began with the study of Hodge numbers of Calabi-Yau manifolds, the topology type of such manifold also crucially depend on their intersection theory. Continuing the paradigm of machine learning algebraic geometry, we here investigate the triple intersection numbers, focusing on certain divisibility invariants constructed therefrom, using the Inception convolutional neural network. We find $\sim90\%$ accuracies in prediction in a standard fivefold cross-validation, signifying that more sophisticated tasks of identification of manifold topologies can also be performed by machine learning.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
A proposal of quasi-local mass for 2-surfaces of timelike mean curvature
Authors:
Bowen Zhao,
Shing-Tung Yau,
Lars Andersson
Abstract:
A quasi-local mass, typically defined as an integral over a spacelike $2$-surface $Σ$, should encode information about the gravitational field within a finite, extended region bounded by $Σ$. Therefore, in attempts to quantize gravity, one may consider an infinite dimensional space of $2$-surfaces instead of an infinite dimensional space of $4$-dimensional Lorentzian spacetimes. However, existing…
▽ More
A quasi-local mass, typically defined as an integral over a spacelike $2$-surface $Σ$, should encode information about the gravitational field within a finite, extended region bounded by $Σ$. Therefore, in attempts to quantize gravity, one may consider an infinite dimensional space of $2$-surfaces instead of an infinite dimensional space of $4$-dimensional Lorentzian spacetimes. However, existing definitions for quasilocal mass only applies to surfaces outside an horizon whose mean curvature vector is spacelike. In this paper, we propose an extension of the Wang-Yau quasi-local energy/mass to surfaces with timelike mean curvature vector, including in particular trapped surfaces. We adopt the same canonical gauge as in the Wang-Yau quasi-local energy but allow the pulled back "killing vector" to the physical spacetime to be spacelike. We define the new quasi-local energy along the Hamiltonian formulation of the Wang-Yau quasi-local energy. The new definition yields a positive definite surface energy density and a new divergence free current. Calculations for coordinate spheres in Kerr family spacetime are shown. In the spherical symmetric case, our definition reduces to a previous definition \cite{lundgren2007self}.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
Derived Moduli Spaces of Nonlinear PDEs II: Variational Tricomplex and BV Formalism
Authors:
Jacob Kryczka,
Artan Sheshmani,
Shing-Tung Yau
Abstract:
This paper is the second in a series of works dedicated to studying non-linear partial differential equations via derived geometric methods. We study a natural derived enhancement of the de Rham complex of a non-linear PDE via algebro-geometric techniques and examine its consequences for the functional differential calculus on the space of solutions. Applications to the BV-formalism with and witho…
▽ More
This paper is the second in a series of works dedicated to studying non-linear partial differential equations via derived geometric methods. We study a natural derived enhancement of the de Rham complex of a non-linear PDE via algebro-geometric techniques and examine its consequences for the functional differential calculus on the space of solutions. Applications to the BV-formalism with and without boundary conditions are discussed.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Strong field behavior of Wang-Yau Quasi-local energy
Authors:
Bowen Zhao,
Lars Andersson,
Shing-Tung Yau
Abstract:
We look at the strong field behavior of the Wang-Yau quasi-local energy. In particular, we examine the limit of the Wang-Yau quasi-local energy as the defining spacelike $2$-surface $Σ$ approaches an apparent horizon from outside. Assuming that coordinate functions of the isometric embedding are bounded in $W^{2,1}$ and mean curvature vector of the image surface remains spacelike, we find that the…
▽ More
We look at the strong field behavior of the Wang-Yau quasi-local energy. In particular, we examine the limit of the Wang-Yau quasi-local energy as the defining spacelike $2$-surface $Σ$ approaches an apparent horizon from outside. Assuming that coordinate functions of the isometric embedding are bounded in $W^{2,1}$ and mean curvature vector of the image surface remains spacelike, we find that the limit falls in two exclusive cases: 1) If the horizon cannot be isometrically embedded into $R^3$, the Wang-Yau quasi-local energy blows up as $Σ$ approaches the horizon while the optimal embedding equation is not solvable for $Σ$ near the horizon; 2) If the horizon can be isometrically embedded into $R^3$, the optimal embedding equation is solvable up to the horizon with the unique solution at the horizon corresponding to isometric embedding into $R^3$ and the Wang-Yau quasi-local mass admits a finite limit at the horizon. We discuss the implications of our results in the conclusion section.
△ Less
Submitted 15 October, 2024; v1 submitted 15 June, 2024;
originally announced June 2024.
-
Eigenvalues of the Hodge Laplacian on digraphs
Authors:
Alexander Grigor'yan,
Yong Lin,
S. -T. Yau,
Haohang Zhang
Abstract:
This paper aims to compute and estimate the eigenvalues of the Hodge Laplacians on directed graphs. We have devised a new method for computing Hodge spectra with the following two ingredients.
(I) We have observed that the product rule does work for the so-called normalized Hodge operator, denoted by $Δ_{p}^{(a)},$ where $a$ refers to the weight that is used to redefine the inner product in the…
▽ More
This paper aims to compute and estimate the eigenvalues of the Hodge Laplacians on directed graphs. We have devised a new method for computing Hodge spectra with the following two ingredients.
(I) We have observed that the product rule does work for the so-called normalized Hodge operator, denoted by $Δ_{p}^{(a)},$ where $a$ refers to the weight that is used to redefine the inner product in the spaces $Ω_{p}$. This together with the Künneth formula for product allows us to compute inductively the spectra of all normalized Hodge operators $Δ_{p}^{(a)}$ on Cartesian powers including $n$-cubes and $n$-tori.
(II) We relate in a certain way the spectra of $Δ_{p}$ and $Δ_{p}^{(a)}$ to those of operators $\mathcal{L}_{p}=\partial ^{\ast }\partial$ also acting on $Ω_{p}$. Knowing the spectra of $Δ_{p}^{(a)}$ for all values of $p$, we compute the spectra of $\mathcal{L}_{p} $ and then the spectra of $Δ_{p}.$ This program yields the spectra of all operators $Δ_{p}$ on all $n$-cubes and $n$-tori.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
A new conformal quasi-local energy in general relativity
Authors:
Puskar Mondal,
Shing-Tung Yau
Abstract:
We construct new conserved quasi-local energies in general relativity using the formalism developed by \cite{CWY}. In particular, we use the optimal isometric embedding defined in \cite{yau,yau1} to transplant the conformal Killing fields of the Minkowski space back to the $ 2-$ surface of interest in the physical spacetime. For an asymptotically flat spacetime of order $1$, we show that these ene…
▽ More
We construct new conserved quasi-local energies in general relativity using the formalism developed by \cite{CWY}. In particular, we use the optimal isometric embedding defined in \cite{yau,yau1} to transplant the conformal Killing fields of the Minkowski space back to the $ 2-$ surface of interest in the physical spacetime. For an asymptotically flat spacetime of order $1$, we show that these energies are always finite. Their limit as the total energies of an isolated system is evaluated and a conservation law under Einsteinian evolution is deduced.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
On the Convergence Analysis of Yau-Yau Nonlinear Filtering Algorithm: from a Probabilistic Perspective
Authors:
Zeju Sun,
Xiuqiong Chen,
Stephen S. -T. Yau
Abstract:
At the beginning of this century, a real time solution of the nonlinear filtering problem without memory was proposed in [1, 2] by the third author and his collaborator, and it is later on referred to as Yau-Yau algorithm. During the last two decades, a great many nonlinear filtering algorithms have been put forward and studied based on this framework. In this paper, we will generalize the results…
▽ More
At the beginning of this century, a real time solution of the nonlinear filtering problem without memory was proposed in [1, 2] by the third author and his collaborator, and it is later on referred to as Yau-Yau algorithm. During the last two decades, a great many nonlinear filtering algorithms have been put forward and studied based on this framework. In this paper, we will generalize the results in the original works and conduct a novel convergence analysis of Yau-Yau algorithm from a probabilistic perspective. Instead of considering a particular trajectory, we estimate the expectation of the approximation error, and show that commonly-used statistics of the conditional distribution (such as conditional mean and covariance matrix) can be accurately approximated with arbitrary precision by Yau-Yau algorithm, for general nonlinear filtering systems with very liberal assumptions. This novel probabilistic version of convergence analysis is more compatible with the development of modern stochastic control theory, and will provide a more valuable theoretical guidance for practical implementations of Yau-Yau algorithm.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Some Remarks on Wang-Yau Quasi-Local Mass
Authors:
Bowen Zhao,
Lars Andersson,
Shing-Tung Yau
Abstract:
We review Wang-Yau quasi-local definitions along the line of gravitational Hamiltonian. This makes clear the connection and difference between Wang-Yau definition and Brown-York or even global ADM definition. We make a brief comment on admissibility condition in Wang-Yau quasi-lcoal mass. We extend the positivity proof for Wang-Yau quasi-local energy to allow possible presence of strictly stable a…
▽ More
We review Wang-Yau quasi-local definitions along the line of gravitational Hamiltonian. This makes clear the connection and difference between Wang-Yau definition and Brown-York or even global ADM definition. We make a brief comment on admissibility condition in Wang-Yau quasi-lcoal mass. We extend the positivity proof for Wang-Yau quasi-local energy to allow possible presence of strictly stable apparent horizons through establishing solvability of Dirac equation in certain 3-manifolds that possess cylindrical ends, as in the case of Jang's graph blowing up at marginally outer trapped surfaces.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
A free boundary Monge-Ampère equation and applications to complete Calabi-Yau metrics
Authors:
Tristan C. Collins,
Freid Tong,
Shing-Tung Yau
Abstract:
Let $P$ be a convex body containing the origin in its interior. We study a real Monge-Ampère equation with singularities along $\del P$ which is Legendre dual to a certain free boundary Monge-Ampère equation. This is motivated by the existence problem for complete Calabi-Yau metrics on log Calabi-Yau pairs $(X, D)$ with $D$ an ample, simple normal crossings divisor. We prove the existence of solut…
▽ More
Let $P$ be a convex body containing the origin in its interior. We study a real Monge-Ampère equation with singularities along $\del P$ which is Legendre dual to a certain free boundary Monge-Ampère equation. This is motivated by the existence problem for complete Calabi-Yau metrics on log Calabi-Yau pairs $(X, D)$ with $D$ an ample, simple normal crossings divisor. We prove the existence of solutions in $C^{\infty}(P)\cap C^{1,α}(\overline{P})$, and establish the strict convexity of the free boundary. When $P$ is a polytope, we obtain an asymptotic expansion for the solution near the interior of the codimension $1$ faces of $\del P$.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
The Cellular Homology of Digraphs
Authors:
Xinxing Tang,
Shing-Tung Yau
Abstract:
In \cite{TY}, we investigate the pair $(P, \Supp(P))$ of minimal path $P$ and its supporting sub-digraph $\Supp(P)$ in the path complex of a digraph $G$ under the strongly regular condition. In this paper, first, we consider the special minimal path $P$ specified by the admissible condition (Definition \ref{admpair}), which means that $(P,\Supp(P))$ admits a singular cubical realization. Based on…
▽ More
In \cite{TY}, we investigate the pair $(P, \Supp(P))$ of minimal path $P$ and its supporting sub-digraph $\Supp(P)$ in the path complex of a digraph $G$ under the strongly regular condition. In this paper, first, we consider the special minimal path $P$ specified by the admissible condition (Definition \ref{admpair}), which means that $(P,\Supp(P))$ admits a singular cubical realization. Based on such a subset, we systematically introduce the definitions of cellular chain complex associated to $G$ and prove the well-definedness. Then we study several properties of such cellular homologies. Finally, we present several intriguing examples as well as some important observations.
△ Less
Submitted 21 May, 2025; v1 submitted 8 February, 2024;
originally announced February 2024.
-
Homotopy Groups and Puppe Sequence of Digraphs
Authors:
Jingyan Li,
Jie Wu,
Shing-Tung Yau,
Mengmeng Zhang
Abstract:
We introduce homotopy groups of digraphs that admit an intuitive description of grid structures, which is a variation of the GLMY homotopy groups introduced by Grigor'yan, Lin, Muranov and Yau in 2014. This direct approach enables a descriptive interpretation of GLMY theory in applications such as network science. Furthermore, we prove that there exists a long exact sequence of homotopy groups of…
▽ More
We introduce homotopy groups of digraphs that admit an intuitive description of grid structures, which is a variation of the GLMY homotopy groups introduced by Grigor'yan, Lin, Muranov and Yau in 2014. This direct approach enables a descriptive interpretation of GLMY theory in applications such as network science. Furthermore, we prove that there exists a long exact sequence of homotopy groups of digraphs associated to any based digraph map, that is, there exists a digraph version of the Puppe sequence.
△ Less
Submitted 4 May, 2025; v1 submitted 1 February, 2024;
originally announced February 2024.
-
$n$-Dimensional Volumetric Stretch Energy Minimization for Volume-/Mass-Preserving Parameterizations
Authors:
Zhong-Heng Tan,
Tiexiang Li,
Wen-Wei Lin,
Shing-Tung Yau
Abstract:
In this paper, we develop an $n$ dimensional volumetric stretch energy ($n$-VSE) functional for the volume-/mass-preserving parameterization of the $n$-manifolds topologically equivalent to $n$-ball. The $n$-VSE has a lower bound and equal to it if and only if the map is volume-/mass-preserving. This motivates us to minimize the $n$-VSE to achieve the ideal volume-/mass-preserving parameterization…
▽ More
In this paper, we develop an $n$ dimensional volumetric stretch energy ($n$-VSE) functional for the volume-/mass-preserving parameterization of the $n$-manifolds topologically equivalent to $n$-ball. The $n$-VSE has a lower bound and equal to it if and only if the map is volume-/mass-preserving. This motivates us to minimize the $n$-VSE to achieve the ideal volume-/mass-preserving parameterization. In the discrete case, we also guarantee the relation between the lower bound and the volume-/mass-preservation, and propose the spherical and ball volume-/mass-preserving parameterization algorithms. The numerical experiments indicate the accuracy and robustness of the proposed algorithms. The modified algorithms are applied to the manifold registration and deformation, showing the versatility of $n$-VSE.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Rigid Schubert classes in partial flag varieties
Authors:
Yuxiang Liu,
Artan Sheshmani,
Shing-Tung Yau
Abstract:
A Schubert class is called rigid if it can only be represented by Schubert varieties. The rigid Schubert classes have been classified in Grassmannians and orthogonal Grassmannians. In this paper, we study the rigidity problem in partial flag varieties (type A) and orthogonal partial flag varieties (type B and type D). In particular, we give numerical conditions that ensure a Schubert class is rigi…
▽ More
A Schubert class is called rigid if it can only be represented by Schubert varieties. The rigid Schubert classes have been classified in Grassmannians and orthogonal Grassmannians. In this paper, we study the rigidity problem in partial flag varieties (type A) and orthogonal partial flag varieties (type B and type D). In particular, we give numerical conditions that ensure a Schubert class is rigid.
△ Less
Submitted 29 October, 2024; v1 submitted 20 January, 2024;
originally announced January 2024.
-
Derived Moduli Spaces of Nonlinear PDEs I: Singular Propagations
Authors:
Jacob Kryczka,
Artan Sheshmani,
Shing-Tung Yau
Abstract:
We construct a sheaf theoretic and derived geometric machinery to study nonlinear partial differential equations and their singular supports. We establish a notion of derived microlocalization for solution spaces of non-linear equations and develop a formalism to pose and solve singular non-linear Cauchy problems globally. Using this approach we estimate the domains of propagation for the solution…
▽ More
We construct a sheaf theoretic and derived geometric machinery to study nonlinear partial differential equations and their singular supports. We establish a notion of derived microlocalization for solution spaces of non-linear equations and develop a formalism to pose and solve singular non-linear Cauchy problems globally. Using this approach we estimate the domains of propagation for the solutions of non-linear systems. It is achieved by exploiting the fact that one may greatly enrich and simplify the study of derived non-linear PDEs over a space $X$ by studying its derived linearization which is a module over the sheaf of functions on the $S^1$-equivariant derived loop stack $\mathcal{L}X$.
△ Less
Submitted 17 June, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
A Robust Hessian-based Trust Region Algorithm for Spherical Conformal Parameterizations
Authors:
Zhong-Heng Tan,
Tiexiang Li,
Wen-Wei Lin,
Shing-Tung Yau
Abstract:
Surface parameterizations are widely applied in computer graphics, medical imaging and transformation optics. In this paper, we rigorously derive the gradient vector and Hessian matrix of the discrete conformal energy for spherical conformal parameterizations of simply connected closed surfaces of genus-$0$. In addition, we give the sparsity structure of the Hessian matrix, which leads to a robust…
▽ More
Surface parameterizations are widely applied in computer graphics, medical imaging and transformation optics. In this paper, we rigorously derive the gradient vector and Hessian matrix of the discrete conformal energy for spherical conformal parameterizations of simply connected closed surfaces of genus-$0$. In addition, we give the sparsity structure of the Hessian matrix, which leads to a robust Hessian-based trust region algorithm for the computation of spherical conformal maps. Numerical experiments demonstrate the local quadratic convergence of the proposed algorithm with low conformal distortions. We subsequently propose an application of our method to surface registrations that still maintains local quadratic convergence.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Super Gromov-Witten Invariants via torus localization
Authors:
Enno Keßler,
Artan Sheshmani,
Shing-Tung Yau
Abstract:
In this article we propose a definition of super Gromov-Witten invariants by postulating a torus localization property for the odd directions of the moduli spaces of super stable maps and super stable curves of genus zero. That is, we define super Gromov-Witten invariants as the integral over the pullback of homology classes along the evaluation maps divided by the equivariant Euler class of the n…
▽ More
In this article we propose a definition of super Gromov-Witten invariants by postulating a torus localization property for the odd directions of the moduli spaces of super stable maps and super stable curves of genus zero. That is, we define super Gromov-Witten invariants as the integral over the pullback of homology classes along the evaluation maps divided by the equivariant Euler class of the normal bundle of the embedding of the moduli space of stable spin maps into the moduli space of super stable maps. This definition sidesteps the difficulties of defining a supergeometric intersection theory and works with classical intersection theory only. The properties of the normal bundles, known from the differential geometric construction of the moduli space of super stable maps, imply that super Gromov-Witten invariants satisfy a generalization of Kontsevich-Manin axioms and allow for the construction of a super small quantum cohomology ring. We describe a method to calculate super Gromov-Witten invariants of $\mathbb{P}^n$ of genus zero by a further geometric torus localization and give explicit numbers in degree one when dimension and number of marked points are small.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Duality in Gauge Theory, Gravity and String Theory
Authors:
Uri Kol,
Shing-Tung Yau
Abstract:
Einstein's theory in the vacuum was recently shown to possess an $SO(2)$ duality invariance, which is broken by coupling to matter. Duality invariance can be restored by enlarging the phase space of the theory to allow for violations of the algebraic Bianchi identity. We show that in cases where the matter content can be understood as a component of the torsion tensor duality can be restored and w…
▽ More
Einstein's theory in the vacuum was recently shown to possess an $SO(2)$ duality invariance, which is broken by coupling to matter. Duality invariance can be restored by enlarging the phase space of the theory to allow for violations of the algebraic Bianchi identity. We show that in cases where the matter content can be understood as a component of the torsion tensor duality can be restored and we compute the corresponding duality current. We consider the case of NS-NS gravity as an example and find that the duality current is given by the divergence of the axion. In the linearized approximation of the low energy heterotic string theory these results imply that duality of the generalized Riemann curvature tensor implements Riemannian, axion-dilaton and electro-magnetic dualities simultaneously.
△ Less
Submitted 14 November, 2023;
originally announced November 2023.
-
A Quasi-Local Mass
Authors:
Aghil Alaee,
Marcus Khuri,
Shing-Tung Yau
Abstract:
We define a new gauge independent quasi-local mass and energy, and show its relation to the Brown-York Hamilton-Jacobi analysis. A quasi-local proof of the positivity, based on spacetime harmonic functions, is given for admissible closed spacelike 2-surfaces which enclose an initial data set satisfying the dominant energy condition. Like the Wang-Yau mass, the new definition relies on isometric em…
▽ More
We define a new gauge independent quasi-local mass and energy, and show its relation to the Brown-York Hamilton-Jacobi analysis. A quasi-local proof of the positivity, based on spacetime harmonic functions, is given for admissible closed spacelike 2-surfaces which enclose an initial data set satisfying the dominant energy condition. Like the Wang-Yau mass, the new definition relies on isometric embeddings into Minkowski space, although our notion of admissibility is different from that of Wang-Yau. Rigidity is also established, in that vanishing energy implies that the 2-surface arises from an embedding into Minkowski space, and conversely the mass vanishes for any such surface. Furthermore, we show convergence to the ADM mass at spatial infinity, and provide the equation associated with optimal isometric embedding.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Torus Actions on Moduli Spaces of Super Stable Maps of Genus Zero
Authors:
Enno Keßler,
Artan Sheshmani,
Shing-Tung Yau
Abstract:
We construct smooth $\mathbb{C}^*$-actions on the moduli spaces of super $J$-holomorphic curves as well as super stable curves and super stable maps of genus zero and fixed tree type such that their reduced spaces are torus invariant. Furthermore, we give explicit descriptions of the normal bundles to the fixed loci in terms of spinor bundles and their sections. Main steps to the construction of t…
▽ More
We construct smooth $\mathbb{C}^*$-actions on the moduli spaces of super $J$-holomorphic curves as well as super stable curves and super stable maps of genus zero and fixed tree type such that their reduced spaces are torus invariant. Furthermore, we give explicit descriptions of the normal bundles to the fixed loci in terms of spinor bundles and their sections. Main steps to the construction of the $\mathbb{C}^*$-action are the proof that the charts of the moduli space of super $J$-holomorphic curves obtained by the implicit function theorem yield a smooth split atlas and a detailed study of the superconformal automorphism group of $\mathbb{P}_{\mathbb{C}}^{1|1}$ and its action on component fields.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
Stability for Line Bundles and Deformed Hermitian-Yang-Mills Equation on Some Elliptic Surfaces
Authors:
Tristan C. Collins,
Jason Lo,
Yun Shi,
Shing-Tung Yau
Abstract:
We study the twisted ampleness criterion due to Collins, Jacob and Yau on surfaces, which is equivalent to the existence of solutions to the deformed Hermitian-Yang-Mills (dHYM) equation. When $X$ is a Weierstrass elliptic K3 surface, and $ω$ an ample class such that $ω$ lies in the span of a section class and the fiber class, we show that for a class of line bundles $L$ with fiber degree 1 and…
▽ More
We study the twisted ampleness criterion due to Collins, Jacob and Yau on surfaces, which is equivalent to the existence of solutions to the deformed Hermitian-Yang-Mills (dHYM) equation. When $X$ is a Weierstrass elliptic K3 surface, and $ω$ an ample class such that $ω$ lies in the span of a section class and the fiber class, we show that for a class of line bundles $L$ with fiber degree 1 and $ωc_1(L)>0$, the twisted ampleness of $L$ respect to $ω$, always implies the $σ_{ω, 0}$-stability (Bridgeland stability) of $L$. This answers a question by Collins and Yau for a class of examples.
△ Less
Submitted 20 September, 2024; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Generalized Monge-Ampère functionals and related variational problems
Authors:
Freid Tong,
Shing-Tung Yau
Abstract:
In this paper, we introduce a family of real Monge-Ampère functionals and study their variational properties. We prove a Sobolev type inequality for these functionals and use this to study the existence and uniqueness of some associated Dirichlet problems. In particular, we prove the existence of solutions for a nonlinear eigenvalue problem associated to this family of functionals.
In this paper, we introduce a family of real Monge-Ampère functionals and study their variational properties. We prove a Sobolev type inequality for these functionals and use this to study the existence and uniqueness of some associated Dirichlet problems. In particular, we prove the existence of solutions for a nonlinear eigenvalue problem associated to this family of functionals.
△ Less
Submitted 2 June, 2023;
originally announced June 2023.
-
Transformation of mass-angular momentum aspect under BMS transformations
Authors:
Po-Ning Chen,
Mu-Tao Wang,
Ye-Kai Wang,
Shing-Tung Yau
Abstract:
In this article, we present the definitive transformation formulae of the mass aspect and angular momentum aspect under BMS transformations. Two different approaches that lead to the same formulae are taken. In the first approach, the formulae are derived by reading off the aspect functions from the curvature tensor. While in the second and more traditional approach, we read them off from the metr…
▽ More
In this article, we present the definitive transformation formulae of the mass aspect and angular momentum aspect under BMS transformations. Two different approaches that lead to the same formulae are taken. In the first approach, the formulae are derived by reading off the aspect functions from the curvature tensor. While in the second and more traditional approach, we read them off from the metric coefficients. As an application of the angular momentum aspect transformation formula, we directly verify a relation concerning the Dray-Streubel angular momentum. It also enables us to reinterpret our calculations in terms of differential forms on null infinity, and leads to an exact expression of the Drey-Streubel angular momentum of a general section. The formulae we obtained played crucial roles in our recent work on supertranslation invariant charges, and resolved some inconsistencies in the literature.
△ Less
Submitted 8 May, 2023;
originally announced May 2023.
-
Manifold Fitting
Authors:
Zhigang Yao,
Jiaji Su,
Bingjie Li,
Shing-Tung Yau
Abstract:
While classical data analysis has addressed observations that are real numbers or elements of a real vector space, at present many statistical problems of high interest in the sciences address the analysis of data that consist of more complex objects, taking values in spaces that are naturally not (Euclidean) vector spaces but which still feature some geometric structure. Manifold fitting is a lon…
▽ More
While classical data analysis has addressed observations that are real numbers or elements of a real vector space, at present many statistical problems of high interest in the sciences address the analysis of data that consist of more complex objects, taking values in spaces that are naturally not (Euclidean) vector spaces but which still feature some geometric structure. Manifold fitting is a long-standing problem, and has finally been addressed in recent years by Fefferman et al. (2020, 2021a). We develop a method with a theory guarantee that fits a $d$-dimensional underlying manifold from noisy observations sampled in the ambient space $\mathbb{R}^D$. The new approach uses geometric structures to obtain the manifold estimator in the form of image sets via a two-step mapping approach. We prove that, under certain mild assumptions and with a sample size $N=\mathcal{O}(σ^{(-d+3)})$, these estimators are true $d$-dimensional smooth manifolds whose estimation error, as measured by the Hausdorff distance, is bounded by $\mathcal{O}(σ^2\log(1/σ))$ with high probability. Compared with the existing approaches proposed in Fefferman et al. (2018, 2021b); Genovese et al. (2014); Yao and Xia (2019), our method exhibits superior efficiency while attaining very low error rates with a significantly reduced sample size, which scales polynomially in $σ^{-1}$ and exponentially in $d$. Extensive simulations are performed to validate our theoretical results. Our findings are relevant to various fields involving high-dimensional data in machine learning. Furthermore, our method opens up new avenues for existing non-Euclidean statistical methods in the sense that it has the potential to unify them to analyze data on manifolds in the ambience space domain.
△ Less
Submitted 12 August, 2023; v1 submitted 15 April, 2023;
originally announced April 2023.
-
Formation of trapped surfaces in the Einstein-Yang-Mills system
Authors:
Nikolaos Athanasiou,
Puskar Mondal,
Shing-Tung Yau
Abstract:
We prove a scale-invariant, semi-global existence result and a trapped surface formation result in the context of coupled Einstein-Yang-Mills theory, without symmetry assumptions. More precisely, we prove a scale-invariant semi-global existence theorem from past null-infinity and show that the focusing of the gravitational and/or chromoelectric-chromomagnetic waves could lead to the formation of a…
▽ More
We prove a scale-invariant, semi-global existence result and a trapped surface formation result in the context of coupled Einstein-Yang-Mills theory, without symmetry assumptions. More precisely, we prove a scale-invariant semi-global existence theorem from past null-infinity and show that the focusing of the gravitational and/or chromoelectric-chromomagnetic waves could lead to the formation of a trapped surface. Adopting the signature for decay rates approach introduced in \cite{A19}, we develop a novel gauge (and scale) invariant hierarchy of non-linear estimates for the Yang-Mills curvature which, together with the estimates for the gravitational degrees of freedom, yields the desired semi-global existence result. Once semi-global existence has been established, the formation of a trapped surface follows from a standard ODE argument.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
The Strominger system in the square of a Kähler class
Authors:
Tristan C. Collins,
Sebastien Picard,
Shing-Tung Yau
Abstract:
We study the Strominger system with fixed balanced class. We show that classes which are the square of a Kähler metric admit solutions to the system for vector bundles satisfying the necessary conditions. Solutions are constructed by deforming a Calabi-Yau metric and a Hermitian-Yang-Mills metric along a path inside the given cohomology class.
We study the Strominger system with fixed balanced class. We show that classes which are the square of a Kähler metric admit solutions to the system for vector bundles satisfying the necessary conditions. Solutions are constructed by deforming a Calabi-Yau metric and a Hermitian-Yang-Mills metric along a path inside the given cohomology class.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Global exterior stability of the Minkowski space: coupled Einstein-Yang-Mills perturbations
Authors:
Puskar Mondal,
Shing-Tung Yau
Abstract:
Here we prove a global gauge-invariant radiation estimates for the perturbations of the $3+1$ dimensional Minkowski spacetime in the presence of Yang-Mills sources. In particular, we obtain a novel gauge invariant estimate for the Yang-Mills fields coupled to gravity in a double null framework in the Causal complement of a compact set of a Cauchy slice. A consequence of our result is the global ex…
▽ More
Here we prove a global gauge-invariant radiation estimates for the perturbations of the $3+1$ dimensional Minkowski spacetime in the presence of Yang-Mills sources. In particular, we obtain a novel gauge invariant estimate for the Yang-Mills fields coupled to gravity in a double null framework in the Causal complement of a compact set of a Cauchy slice. A consequence of our result is the global exterior stability of the Minkowski space under coupled Yang-Mills perturbations. A special structure present both in the null Bianchi equations and the null Yang-Mills equations is utilized crucially to obtain the dispersive estimates necessary to conclude the global existence property. Direct use of Bel-Robinson and Yang-Mills stress-energy tensor to obtain the energy estimates is avoided in favor of weighted integration by parts taking advantage of the manifestly symmetric hyperbolic characteristics of null Bianchi and null Yang-Mills equations. Our result holds for any compact semi-simple gauge group. This is the first stability result of Minkowski space including a non-linear source.
△ Less
Submitted 14 May, 2024; v1 submitted 6 November, 2022;
originally announced November 2022.
-
Convergence Analysis of Volumetric Stretch Energy Minimization and its Associated Optimal Mass Transport
Authors:
Tsung-Ming Huang,
Wei-Hung Liao,
Wen-Wei Lin,
Mei-Heng Yueh,
Shing-Tung Yau
Abstract:
The volumetric stretch energy has been widely applied to the computation of volume-/mass-preserving parameterizations of simply connected tetrahedral mesh models. However, this approach still lacks theoretical support. In this paper, we provide the theoretical foundation for volumetric stretch energy minimization (VSEM) to compute volume-/mass-preserving parameterizations. In addition, we develop…
▽ More
The volumetric stretch energy has been widely applied to the computation of volume-/mass-preserving parameterizations of simply connected tetrahedral mesh models. However, this approach still lacks theoretical support. In this paper, we provide the theoretical foundation for volumetric stretch energy minimization (VSEM) to compute volume-/mass-preserving parameterizations. In addition, we develop an associated efficient VSEM algorithm with guaranteed asymptotic R-linear convergence. Furthermore, based on the VSEM algorithm, we propose a projected gradient method for the computation of the volume/mass-preserving optimal mass transport map with a guaranteed convergence rate of $\mathcal{O}(1/m)$, and combined with Nesterov-based acceleration, the guaranteed convergence rate becomes $\mathcal{O}(1/m^2)$. Numerical experiments are presented to justify the theoretical convergence behavior for various examples drawn from known benchmark models. Moreover, these numerical experiments show the effectiveness and accuracy of the proposed algorithm, particularly in the processing of 3D medical MRI brain images.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Minimal Path and Acyclic Models in the Path Complex
Authors:
Xinxing Tang,
Shing-Tung Yau
Abstract:
In this paper, firstly, we will study the structure of the path complex $(Ω_*(G;\Z),\partial)$ of a digraph $G$ via the $\Z$-generators of $Ω_*(G,\Z)$ under strongly regular condition, which is called the minimal path in \cite{HY}. In particular, we will study various examples of the minimal $3$-paths. Secondly, we will show that the supporting sub-digraph of minimal path has acyclic path homologi…
▽ More
In this paper, firstly, we will study the structure of the path complex $(Ω_*(G;\Z),\partial)$ of a digraph $G$ via the $\Z$-generators of $Ω_*(G,\Z)$ under strongly regular condition, which is called the minimal path in \cite{HY}. In particular, we will study various examples of the minimal $3$-paths. Secondly, we will show that the supporting sub-digraph of minimal path has acyclic path homologies. Thirdly, we will consider the applications of such an acyclic model.
△ Less
Submitted 21 May, 2025; v1 submitted 30 August, 2022;
originally announced August 2022.
-
3-manifolds and Vafa-Witten theory
Authors:
Sergei Gukov,
Artan Sheshmani,
Shing-Tung Yau
Abstract:
We initiate explicit computations of Vafa-Witten invariants of 3-manifolds, analogous to Floer groups in the context of Donaldson theory. In particular, we explicitly compute the Vafa-Witten invariants of 3-manifolds in a family of concrete examples relevant to various surgery operations (the Gluck twist, knot surgeries, log-transforms). We also describe the structural properties that are expected…
▽ More
We initiate explicit computations of Vafa-Witten invariants of 3-manifolds, analogous to Floer groups in the context of Donaldson theory. In particular, we explicitly compute the Vafa-Witten invariants of 3-manifolds in a family of concrete examples relevant to various surgery operations (the Gluck twist, knot surgeries, log-transforms). We also describe the structural properties that are expected to hold for general 3-manifolds, including the modular group action, relation to Floer homology, infinite-dimensionality for an arbitrary 3-manifold, and the absence of instantons.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Cross-Section Continuity of Definitions of Angular Momentum
Authors:
Po-Ning Chen,
Daniel Paraizo,
Robert M. Wald,
Mu-Tao Wang,
Ye-Kai Wang,
Shing-Tung Yau
Abstract:
We introduce a notion of "cross-section continuity" as a criterion for the viability of definitions of angular momentum, $J$, at null infinity: If a sequence of cross-sections, ${\mathcal C}_n$, of null infinity converges uniformly to a cross-section ${\mathcal C}$, then the angular momentum, $J_n$, on ${\mathcal C}_n$ should converge to the angular momentum, $J$, on ${\mathcal C}$. The Dray-Streu…
▽ More
We introduce a notion of "cross-section continuity" as a criterion for the viability of definitions of angular momentum, $J$, at null infinity: If a sequence of cross-sections, ${\mathcal C}_n$, of null infinity converges uniformly to a cross-section ${\mathcal C}$, then the angular momentum, $J_n$, on ${\mathcal C}_n$ should converge to the angular momentum, $J$, on ${\mathcal C}$. The Dray-Streubel (DS) definition of angular momentum automatically satisfies this criterion by virtue of the existence of a well defined flux associated with this definition. However, we show that the one-parameter modification of the DS definition proposed by Compere and Nichols (CN) -- which encompasses numerous other alternative definitions -- does not satisfy cross-section continuity. On the other hand, we prove that the Chen-Wang-Yau (CWY) definition does satisfy the cross-section continuity criterion.
△ Less
Submitted 18 December, 2022; v1 submitted 10 July, 2022;
originally announced July 2022.
-
Einstein-Yang-Mills equations in the double null framework
Authors:
Puskar Mondal,
Shing-Tung Yau
Abstract:
We prove a semi-global gauge-invariant estimate for the solutions of the characteristic initial value problem associated with the coupled Einstein-Yang-Mills equations. In particular, we prove the existence of \textit{a} future development of regular initial data on a pair of incoming and outgoing null hypersurfaces emanating from a spacelike topological $2$-sphere. This marks the first study of t…
▽ More
We prove a semi-global gauge-invariant estimate for the solutions of the characteristic initial value problem associated with the coupled Einstein-Yang-Mills equations. In particular, we prove the existence of \textit{a} future development of regular initial data on a pair of incoming and outgoing null hypersurfaces emanating from a spacelike topological $2$-sphere. This marks the first study of the characteristic initial value problem of Einstein's equations with a non-linear source.
△ Less
Submitted 28 August, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Soft noncommutative flag schemes
Authors:
Chien-Hao Liu,
Shing-Tung Yau
Abstract:
The construction of soft noncommutative schemes via toric geometry in arXiv:2108.05328 [math.AG] (D(15.1), NCS(1)) can be generalized and applied to a commutative scheme with a distinguished atlas of reasonably good affine local coordinate charts. In the current notes we carry out this exercise for flag varieties.
The construction of soft noncommutative schemes via toric geometry in arXiv:2108.05328 [math.AG] (D(15.1), NCS(1)) can be generalized and applied to a commutative scheme with a distinguished atlas of reasonably good affine local coordinate charts. In the current notes we carry out this exercise for flag varieties.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Conserved quantities in general relativity -- the view from null infinity
Authors:
Po-Ning Chen,
Mu-Tao Wang,
Ye-Kai Wang,
Shing-Tung Yau
Abstract:
In general relativity, an idealized distant observer is situated at future null infinity where light rays emitted from the source approach. This article concerns conserved quantities such as mass, energy-momentum, angular momentum, and center of mass at future null infinity. The classical definitions of Bondi mass at future null infinity ascertains the mass radiated away in gravitational waves dis…
▽ More
In general relativity, an idealized distant observer is situated at future null infinity where light rays emitted from the source approach. This article concerns conserved quantities such as mass, energy-momentum, angular momentum, and center of mass at future null infinity. The classical definitions of Bondi mass at future null infinity ascertains the mass radiated away in gravitational waves distinctively. However, the same question for other conserved quantities such as angular momentum has been a subtle issue since the discovery of "supertranslation ambiguity" in the 1960's. Recently, new definitions of angular momentum and center of mass were proposed and proved to be free of such ambiguity [12,14]. These new definitions arise as limits of the Chen-Wang-Yau quasilocal conserved quantities, which are based on the theory of optimal isometric embedding and quasilocal mass of Wang-Yau. It is the purpose of this note to discuss these recent developments
△ Less
Submitted 8 April, 2022;
originally announced April 2022.
-
Supertranslation invariance of angular momentum at null infinity in double null gauge
Authors:
Po-Ning Chen,
Mu-Tao Wang,
Ye-Kai Wang,
Shing-Tung Yau
Abstract:
The supertranslation invariance of the Chen-Wang-Yau (CWY) angular momentum in the Bondi-Sachs formalism/gauge was ascertained by the authors in \cite{CKWWY_evol, CWWY_atmp}. In this article, we study the corresponding problem in the double null gauge. In particular, supertranslation ambiguity of this gauge is identified and the CWY angular momentum is proven to be free of this ambiguity. A simila…
▽ More
The supertranslation invariance of the Chen-Wang-Yau (CWY) angular momentum in the Bondi-Sachs formalism/gauge was ascertained by the authors in \cite{CKWWY_evol, CWWY_atmp}. In this article, we study the corresponding problem in the double null gauge. In particular, supertranslation ambiguity of this gauge is identified and the CWY angular momentum is proven to be free of this ambiguity. A similar result is obtained for the CWY center of mass integral.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Surface Eigenvalues with Lattice-Based Approximation In comparison with analytical solution
Authors:
Yingying Wu,
Tianqi Wu,
Shing-Tung Yau
Abstract:
In this paper, we propose a meshless method of computing eigenvalues and eigenfunctions of a given surface embedded in $\mathbb R^3$. We use point cloud data as input and generate the lattice approximation for some neighborhood of the surface. We compute the eigenvalues and eigenvectors of the cubic lattice graph as an approximation of the eigenvalues and eigenfunctions of the Laplace-Beltrami ope…
▽ More
In this paper, we propose a meshless method of computing eigenvalues and eigenfunctions of a given surface embedded in $\mathbb R^3$. We use point cloud data as input and generate the lattice approximation for some neighborhood of the surface. We compute the eigenvalues and eigenvectors of the cubic lattice graph as an approximation of the eigenvalues and eigenfunctions of the Laplace-Beltrami operator on the surface. We perform extensive numerical experiments on surfaces with various topology and compare our computed eigenvalues from point cloud surface with exact solutions and standard finite element methods using triangle mesh.
△ Less
Submitted 6 August, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
Special Lagrangian cycles and Calabi-Yau transitions
Authors:
Tristan C. Collins,
Sergei Gukov,
Sebastien Picard,
Shing-Tung Yau
Abstract:
We construct special Lagrangian 3-spheres in non-Kähler compact threefolds equipped with the Fu-Li-Yau geometry. These non-Kähler geometries emerge from topological transitions of compact Calabi-Yau threefolds. From this point of view, a conifold transition exchanges holomorphic 2-cycles for special Lagrangian 3-cycles.
We construct special Lagrangian 3-spheres in non-Kähler compact threefolds equipped with the Fu-Li-Yau geometry. These non-Kähler geometries emerge from topological transitions of compact Calabi-Yau threefolds. From this point of view, a conifold transition exchanges holomorphic 2-cycles for special Lagrangian 3-cycles.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
Semiorthogonal decomposition of $\mathrm{D}^b(\mathrm{Bun}_2^L)$
Authors:
Kai Xu,
Shing-Tung Yau
Abstract:
We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and $Θ$-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.
We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and $Θ$-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.
△ Less
Submitted 1 September, 2021; v1 submitted 30 August, 2021;
originally announced August 2021.
