Showing 1–17 of 17 results for author: Tsui, M

Landmark Alternating Diffusion

Authors: Sing-Yuan Yeh, Hau-Tieng Wu, Ronen Talmon, Mao-Pei Tsui

Abstract: Alternating Diffusion (AD) is a commonly applied diffusion-based sensor fusion algorithm. While it has been successfully applied to various problems, its computational burden remains a limitation. Inspired by the landmark diffusion idea considered in the Robust and Scalable Embedding via Landmark Diffusion (ROSELAND), we propose a variation of AD, called Landmark AD (LAD), which captures the essen… ▽ More Alternating Diffusion (AD) is a commonly applied diffusion-based sensor fusion algorithm. While it has been successfully applied to various problems, its computational burden remains a limitation. Inspired by the landmark diffusion idea considered in the Robust and Scalable Embedding via Landmark Diffusion (ROSELAND), we propose a variation of AD, called Landmark AD (LAD), which captures the essence of AD while offering superior computational efficiency. We provide a series of theoretical analyses of LAD under the manifold setup and apply it to the automatic sleep stage annotation problem with two electroencephalogram channels to demonstrate its application. △ Less

Submitted 29 April, 2024; originally announced April 2024.

MSC Class: 53Z50; 65D18

Solving Third Order Linear Difference Equations in Terms of Second Order Equations

Authors: Heba Bou KaedBey, Mark van Hoeij, Man Cheung Tsui

Abstract: We present two algorithms for computing what we call the absolute factorization of a difference operator. We also give an algorithm to solve third order difference equations in terms of second order equations, together with applications to OEIS sequences. The latter algorithm is similar to existing algorithms for differential equations. We present two algorithms for computing what we call the absolute factorization of a difference operator. We also give an algorithm to solve third order difference equations in terms of second order equations, together with applications to OEIS sequences. The latter algorithm is similar to existing algorithms for differential equations. △ Less

Submitted 10 June, 2024; v1 submitted 16 February, 2024; originally announced February 2024.

Solving Order 3 Difference Equations

Authors: Heba Bou KaedBey, Mark van Hoeij, Man Cheung Tsui

Abstract: We classify order $3$ linear difference operators over $\mathbb{C}(x)$ that are solvable in terms of lower order difference operators. To prove this result, we introduce the notion of absolute irreducibility for difference modules, and classify modules that are irreducible but not absolutely irreducible by using restricted and induced modules. We also show how restriction and induction give coordi… ▽ More We classify order $3$ linear difference operators over $\mathbb{C}(x)$ that are solvable in terms of lower order difference operators. To prove this result, we introduce the notion of absolute irreducibility for difference modules, and classify modules that are irreducible but not absolutely irreducible by using restricted and induced modules. We also show how restriction and induction give coordinate-free formulations of sectioning and interlacing of sequences. △ Less

Submitted 6 March, 2024; v1 submitted 6 February, 2024; originally announced February 2024.

Comments: 19 pages, revised Sections 3 and 8, updated exposition

MSC Class: 12H10; 39A06

On Steinerberger Curvature and Graph Distance Matrices

Authors: Wei-Chia Chen, Mao-Pei Tsui

Abstract: Steinerberger proposed a notion of curvature on graphs (J. Graph Theory, 2023). We show that nonnegative curvature is almost preserved under three graph operations. We characterize the distance matrix and its null space after adding an edge between two graphs. Let $D$ be the graph distance matrix and $\mathbf{1}$ be the all-one vector. We provide a way to construct graphs so that the linear system… ▽ More Steinerberger proposed a notion of curvature on graphs (J. Graph Theory, 2023). We show that nonnegative curvature is almost preserved under three graph operations. We characterize the distance matrix and its null space after adding an edge between two graphs. Let $D$ be the graph distance matrix and $\mathbf{1}$ be the all-one vector. We provide a way to construct graphs so that the linear system $Dx = \mathbf{1}$ does not have a solution. Let $η$ be the Perron eigenvector of $D.$ We provide a lower bound to $\langleη,\mathbf{1}\rangle$ when the graph is a tree. △ Less

Submitted 14 May, 2024; v1 submitted 28 September, 2023; originally announced September 2023.

Comments: 3 figures

MSC Class: 05C12; 05C50

Entire solutions of two-convex Lagrangian mean curvature flows

Authors: Chung-Jun Tsai, Mao-Pei Tsui, Mu-Tao Wang

Abstract: Given an entire $C^2$ function $u$ on $\mathbb{R}^n$, we consider the graph of $D u$ as a Lagrangian submanifold of $\mathbb{R}^{2n}$, and deform it by the mean curvature flow in $\mathbb{R}^{2n}$. This leads to the special Lagrangian evolution equation, a fully nonlinear Hessian type PDE. We prove long-time existence and convergence results under a 2-positivity assumption of… ▽ More Given an entire $C^2$ function $u$ on $\mathbb{R}^n$, we consider the graph of $D u$ as a Lagrangian submanifold of $\mathbb{R}^{2n}$, and deform it by the mean curvature flow in $\mathbb{R}^{2n}$. This leads to the special Lagrangian evolution equation, a fully nonlinear Hessian type PDE. We prove long-time existence and convergence results under a 2-positivity assumption of $(I+(D^2 u)^2)^{-1}D^2 u$. Such results were previously known only under the stronger assumption of positivity of $D^2 u$. △ Less

Submitted 17 September, 2023; originally announced September 2023.

Comments: 21 pages

MSC Class: 53C44

Cohomology for Picard-Vessiot theory

Authors: Man Cheung Tsui, Yidi Wang

Abstract: We introduce a cohomology theory that classifies differential objects that arise from Picard-Vessiot theory, using the differential Hopf-Galois descent. To do this, we provide an explicit description of Picard-Vessiot theory in terms of differential torsors. We then use this cohomology to give a bijective correspondence between differential objects and differential torsors. As an application, we p… ▽ More We introduce a cohomology theory that classifies differential objects that arise from Picard-Vessiot theory, using the differential Hopf-Galois descent. To do this, we provide an explicit description of Picard-Vessiot theory in terms of differential torsors. We then use this cohomology to give a bijective correspondence between differential objects and differential torsors. As an application, we prove a universal bound for the differential splitting degree of differential central simple algebras. △ Less

Submitted 3 October, 2023; v1 submitted 6 August, 2023; originally announced August 2023.

Comments: 19 pages; Proposition 2.7 was rewritten; Other minor changes

MSC Class: 12H05; 16T05; 20G10; 16H05

Mean Curvature Flows of Two-Convex Lagrangians

Authors: Chung-Jun Tsai, Mao-Pei Tsui, Mu-Tao Wang

Abstract: We prove regularity, global existence, and convergence of Lagrangian mean curvature flows in the two-convex case. Such results were previously only known in the convex case, of which the current work represents a significant improvement. The proof relies on a newly discovered monotone quantity that controls two-convexity. Through a unitary transformation, same result for the mean curvature flow of… ▽ More We prove regularity, global existence, and convergence of Lagrangian mean curvature flows in the two-convex case. Such results were previously only known in the convex case, of which the current work represents a significant improvement. The proof relies on a newly discovered monotone quantity that controls two-convexity. Through a unitary transformation, same result for the mean curvature flow of area-decreasing Lagrangian submanifolds were established. △ Less

Submitted 20 December, 2023; v1 submitted 5 February, 2023; originally announced February 2023.

Comments: typos corrected; small changes reflecting referee comments; to appear in J. Differential Geom

MSC Class: 53C44

A New Monotone Quantity in Mean Curvature Flow Implying Sharp Homotopic Criteria

Authors: Chung-Jun Tsai, Mao-Pei Tsui, Mu-Tao Wang

Abstract: A new monotone quantity in graphical mean curvature flows of higher codimensions is identified in this work. The submanifold deformed by the mean curvature flow is the graph of a map between Riemannian manifolds, and the quantity is monotone increasing under the area-decreasing condition of the map. The flow provides a natural homotopy of the corresponding map and leads to sharp criteria regarding… ▽ More A new monotone quantity in graphical mean curvature flows of higher codimensions is identified in this work. The submanifold deformed by the mean curvature flow is the graph of a map between Riemannian manifolds, and the quantity is monotone increasing under the area-decreasing condition of the map. The flow provides a natural homotopy of the corresponding map and leads to sharp criteria regarding the homotopic class of maps between complex projective spaces, and maps from spheres to complex projective spaces, among others. △ Less

Submitted 22 January, 2023; originally announced January 2023.

Comments: 21 pages

MSC Class: 53C44

Simplifying matrix differential equations with general coefficients

Authors: Man Cheung Tsui

Abstract: We show that the $n\times n$ matrix differential equation $δ(Y)=AY$ with $n^2$ general coefficients cannot be simplified to an equation in less than $n$ parameters by using gauge transformations whose coefficients are rational functions in the matrix entries of $A$ and their derivatives. Our proof uses differential Galois theory and a differential analogue of essential dimension. We also bound the… ▽ More We show that the $n\times n$ matrix differential equation $δ(Y)=AY$ with $n^2$ general coefficients cannot be simplified to an equation in less than $n$ parameters by using gauge transformations whose coefficients are rational functions in the matrix entries of $A$ and their derivatives. Our proof uses differential Galois theory and a differential analogue of essential dimension. We also bound the minimum number of parameters needed to describe some generic Picard-Vessiot extensions. △ Less

Submitted 12 July, 2023; v1 submitted 15 January, 2022; originally announced January 2022.

Comments: 13 pages. Corrected miscitation of [1] on page 5; added Example 2.2; small grammatical change

MSC Class: 12H05; 34M50

Generalized Lagrangian mean curvature flows: the cotangent bundle case

Authors: Knut Smoczyk, Mao-Pei Tsui, Mu-Tao Wang

Abstract: In [SW2], we defined a generalized mean curvature vector field on any almost Lagrangian submanifold with respect to a torsion connection on an almost Kähler manifold. The short time existence of the corresponding parabolic flow was established. In addition, it was shown that the flow preserves the Lagrangian condition as long as the connection satisfies an Einstein condition. In this article, we s… ▽ More In [SW2], we defined a generalized mean curvature vector field on any almost Lagrangian submanifold with respect to a torsion connection on an almost Kähler manifold. The short time existence of the corresponding parabolic flow was established. In addition, it was shown that the flow preserves the Lagrangian condition as long as the connection satisfies an Einstein condition. In this article, we show that the canonical connection on the cotangent bundle of any Riemannian manifold is an Einstein connection (in fact, Ricci flat). The generalized mean curvature vector on any Lagrangian submanifold is related to the Lagrangian angle defined by the phase of a parallel (n, 0) form, just like the Calabi-Yau case. We also show that the corresponding Lagrangian mean curvature flow in cotangent bundles preserves the exactness and the zero Maslov class conditions. At the end, we prove a long time existence and convergence result to demonstrate the stability of the zero section of the cotangent bundle of spheres. △ Less

Submitted 11 April, 2016; originally announced April 2016.

Comments: 31 pages

MSC Class: Primary 53C44

Curvature Decay Estimates of Graphical Mean Curvature Flow in Higher Codimensions

Authors: Knut Smoczyk, Mao-Pei Tsui, Mu-Tao Wang

Abstract: We derive pointwise curvature estimates for graphical mean curvature flows in higher codimensions. To the best of our knowledge, this is the first such estimates without assuming smallness of first derivatives of the defining map. An immediate application is a convergence theorem of the mean curvature flow of the graph of an area decreasing map between flat Riemann surfaces. We derive pointwise curvature estimates for graphical mean curvature flows in higher codimensions. To the best of our knowledge, this is the first such estimates without assuming smallness of first derivatives of the defining map. An immediate application is a convergence theorem of the mean curvature flow of the graph of an area decreasing map between flat Riemann surfaces. △ Less

Submitted 2 December, 2014; v1 submitted 16 January, 2014; originally announced January 2014.

Comments: arXiv admin note: text overlap with arXiv:math/0302242

Soliton solutions for the Laplacian coflow of some $G_2$-structures with symmetry

Authors: Spiro Karigiannis, Benjamin McKay, Mao-Pei Tsui

Abstract: We consider the Laplacian "co-flow" of $G_2$-structures: $\frac{d}{dt} ψ= - Δ_d ψ$ where $ψ$ is the dual 4-form of a $G_2$-structure $φ$ and $Δ_d$ is the Hodge Laplacian on forms. This flow preserves the condition of the $G_2$-structure being coclosed ($dψ=0$). We study this flow for two explicit examples of coclosed $G_2$-structures with symmetry. These are given by warped products of an interval… ▽ More We consider the Laplacian "co-flow" of $G_2$-structures: $\frac{d}{dt} ψ= - Δ_d ψ$ where $ψ$ is the dual 4-form of a $G_2$-structure $φ$ and $Δ_d$ is the Hodge Laplacian on forms. This flow preserves the condition of the $G_2$-structure being coclosed ($dψ=0$). We study this flow for two explicit examples of coclosed $G_2$-structures with symmetry. These are given by warped products of an interval or a circle with a compact 6-manifold $N$ which is taken to be either a nearly Kähler manifold or a Calabi-Yau manifold. In both cases, we derive the flow equations and also the equations for soliton solutions. In the Calabi-Yau case, we find all the soliton solutions explicitly. In the nearly Kähler case, we find several special soliton solutions, and reduce the general problem to a single \emph{third order} highly nonlinear ordinary differential equation. △ Less

Submitted 3 May, 2012; v1 submitted 10 August, 2011; originally announced August 2011.

Comments: 18 pages, no figures. Version 2: Minor improvements and addition of references. To appear in Differential Geometry and its Applications

MSC Class: 53C44

Journal ref: Differential Geometry and its Applications, 30 (2012), 318-333

Limits of Solutions to a Parabolic Monge-Ampere Equation

Authors: John Loftin, Mao-Pei Tsui

Abstract: We present the results from our earlier paper (arXiv:math/0602484) on the affine normal flow on noncompact convex hypersurfaces in affine space from a more PDE point of view, emphasizing the estimates involved. Our results concern the limits of solutions to a parabolic Monge-Ampere equation on $S^n$, where a sequence of smooth strictly convex initial value functions increase monotonically to a l… ▽ More We present the results from our earlier paper (arXiv:math/0602484) on the affine normal flow on noncompact convex hypersurfaces in affine space from a more PDE point of view, emphasizing the estimates involved. Our results concern the limits of solutions to a parabolic Monge-Ampere equation on $S^n$, where a sequence of smooth strictly convex initial value functions increase monotonically to a limiting initial value function which is infinite on at least a hemisphere of $S^n$. We prove long-time existence and instantaneous smoothing for quite general initial data, and we characterize ancient solutions as ellipsoids or paraboloids. We make essential use of estimates of Andrews and Gutierrez-Huang, and barriers due to Calabi. △ Less

Submitted 1 February, 2008; originally announced February 2008.

MSC Class: 35K55; 53A15; 53C44

Self-similar solutions and translating solitons for Lagrangian mean curvature flow

Authors: Dominic Joyce, Yng-Ing Lee, Mao-Pei Tsui

Abstract: We construct many self-similar and translating solitons for Lagrangian mean curvature flow, including self-expanders and translating solitons with arbitrarily small oscillation on the Lagrangian angle. Our translating solitons play the same role as cigar solitons in Ricci flow, and are important in studying the regularity of Lagrangian mean curvature flow. Given two transverse Lagrangian plane… ▽ More We construct many self-similar and translating solitons for Lagrangian mean curvature flow, including self-expanders and translating solitons with arbitrarily small oscillation on the Lagrangian angle. Our translating solitons play the same role as cigar solitons in Ricci flow, and are important in studying the regularity of Lagrangian mean curvature flow. Given two transverse Lagrangian planes R^n in C^n with sum of characteristic angles less than pi, we show there exists a Lagrangian self-expander asymptotic to this pair of planes. The Maslov class of these self-expanders is zero. Thus they can serve as local models for surgeries on Lagrangian mean curvature flow. Families of self-shrinkers and self-expanders with different topologies are also constructed. This paper generalizes the work of Anciaux, Joyce, Lawlor, and Lee and Wang. △ Less

Submitted 3 February, 2010; v1 submitted 24 January, 2008; originally announced January 2008.

Comments: 33 pages. (v2) minor corrections. to appear in Journal of Differential Geometry

Ancient Solutions of the Affine Normal Flow

Authors: John Loftin, Mao-Pei Tsui

Abstract: We construct noncompact solutions to the affine normal flow of hypersurfaces, and show that all ancient solutions must be either ellipsoids (shrinking solitons) or paraboloids (translating solitons). We also provide a new proof of the existence of a hyperbolic affine sphere asymptotic to the boundary of a convex cone containing no lines, which is originally due to Cheng-Yau. The main techniques… ▽ More We construct noncompact solutions to the affine normal flow of hypersurfaces, and show that all ancient solutions must be either ellipsoids (shrinking solitons) or paraboloids (translating solitons). We also provide a new proof of the existence of a hyperbolic affine sphere asymptotic to the boundary of a convex cone containing no lines, which is originally due to Cheng-Yau. The main techniques are local second-derivative estimates for a parabolic Monge-Ampere equation modeled on those of Ben Andrews and Gutierrez-Huang, a decay estimate for the cubic form under the affine normal flow due to Ben Andrews, and a hypersurface barrier due to Calabi. △ Less

Submitted 31 July, 2006; v1 submitted 21 February, 2006; originally announced February 2006.

Comments: A corrollary retracted, and a remark and some typos fixed

MSC Class: 53C44; 53A15

Mean Curvature Flows and Isotopy of Maps Between Spheres

Authors: Mao-Pei Tsui, Mu-Tao Wang

Abstract: Let f be a smooth map between unit spheres of possibly different dimensions. We prove the global existence and convergence of the mean curvature flow of the graph of f under various conditions. A corollary is that any area-decreasing map between unit spheres (of possibly different dimensions) is homotopic to a constant map. Let f be a smooth map between unit spheres of possibly different dimensions. We prove the global existence and convergence of the mean curvature flow of the graph of f under various conditions. A corollary is that any area-decreasing map between unit spheres (of possibly different dimensions) is homotopic to a constant map. △ Less

Submitted 17 April, 2011; v1 submitted 19 February, 2003; originally announced February 2003.

Comments: 21 pages

MSC Class: 53C44

Journal ref: Comm. Pure Appl. Math. 57 (2004), no. 8, 1110-1126

A Bernstein type result for special Lagrangian submanifolds

Authors: Mao-Pei Tsui, Mu-Tao Wang

Abstract: Let Σbe a complete minimal Lagrangian submanifold of \C^n. We identify regions in the Grassmannian of Lagrangian subspaces so that whenever the image of the Gauss map of Σlies in one of these regions, then Σis an affine space. Let Σbe a complete minimal Lagrangian submanifold of \C^n. We identify regions in the Grassmannian of Lagrangian subspaces so that whenever the image of the Gauss map of Σlies in one of these regions, then Σis an affine space. △ Less

Submitted 22 January, 2002; originally announced January 2002.