-
Generalized Multivariate Hypercomplex Function Inequalities and Their Applications
Authors:
Shih-Yu Chang
Abstract:
This work extends the Mond-Pecaric method to functions with multiple operators as arguments by providing arbitrarily close approximations of the original functions. Instead of using linear functions to establish lower and upper bounds for multivariate functions as in prior work, we apply sigmoid functions to achieve these bounds with any specified error threshold based on the multivariate function…
▽ More
This work extends the Mond-Pecaric method to functions with multiple operators as arguments by providing arbitrarily close approximations of the original functions. Instead of using linear functions to establish lower and upper bounds for multivariate functions as in prior work, we apply sigmoid functions to achieve these bounds with any specified error threshold based on the multivariate function approximation method proposed by Cybenko. This approach allows us to derive fundamental inequalities for multivariate hypercomplex functions, leading to new inequalities based on ratio and difference kinds. For applications about these new derived inequalities for multivariate hypercomplex functions, we first introduce a new concept called W-boundedness for hypercomplex functions by applying ratio kind multivariate hypercomplex inequalities. W-boundedness generalizes R-boundedness for norm map**s with input from Banach space. Additionally, we develop an approximation theory for multivariate hypercomplex functions and establish bounds algebra, including operator bounds and tail bounds algebra for multivariate random tensors.
△ Less
Submitted 6 July, 2024;
originally announced July 2024.
-
On the existence of conic Sasaki-Einstein metrics on log Fano Sasakian manifolds of dimension five
Authors:
Shu-Cheng Chang,
Fengjiang Li,
Chien Lin,
Chin-Tung Wu
Abstract:
In this paper, we derive the uniform L^{4}-bound of the transverse conic Ricci curvature along the conic Sasaki-Ricci flow on a compact transverse log Fano Sasakian manifold M of dimension five and the space of leaves of the characteristic foliation is not well-formed. Then we first show that any solution of the conic Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular o…
▽ More
In this paper, we derive the uniform L^{4}-bound of the transverse conic Ricci curvature along the conic Sasaki-Ricci flow on a compact transverse log Fano Sasakian manifold M of dimension five and the space of leaves of the characteristic foliation is not well-formed. Then we first show that any solution of the conic Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular orbifold conic Sasaki-Ricci soliton on M_{infinite} which is a S^{1}-orbibundle over the unique singular conic Keahler-Ricci soliton on a log del Pezzo orbifold surface. As a consequence, there exists a Keahler-Ricci soliton orbifold metric on its leave space which is a log del Pezzo orbifold surface. Second, we show that the conic Sasaki-Ricci soliton is the conic Sasaki-Einstein if M is transverse log K-polystable. In summary, we have the existence theorems of orbifold Sasaki-Ricci solitons and Sasaki-Einstein metrics on a compact quasi-regular Sasakian manifold of dimension five.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
DCDILP: a distributed learning method for large-scale causal structure learning
Authors:
Shuyu Dong,
Michèle Sebag,
Kento Uemura,
Akito Fujii,
Shuang Chang,
Yusuke Koyanagi,
Koji Maruhashi
Abstract:
This paper presents a novel approach to causal discovery through a divide-and-conquer framework. By decomposing the problem into smaller subproblems defined on Markov blankets, the proposed DCDILP method first explores in parallel the local causal graphs of these subproblems. However, this local discovery phase encounters systematic challenges due to the presence of hidden confounders (variables w…
▽ More
This paper presents a novel approach to causal discovery through a divide-and-conquer framework. By decomposing the problem into smaller subproblems defined on Markov blankets, the proposed DCDILP method first explores in parallel the local causal graphs of these subproblems. However, this local discovery phase encounters systematic challenges due to the presence of hidden confounders (variables within each Markov blanket may be influenced by external variables). Moreover, aggregating these local causal graphs in a consistent global graph defines a large size combinatorial optimization problem. DCDILP addresses these challenges by: i) restricting the local subgraphs to causal links only related with the central variable of the Markov blanket; ii) formulating the reconciliation of local causal graphs as an integer linear programming method. The merits of the approach, in both terms of causal discovery accuracy and scalability in the size of the problem, are showcased by experiments and comparisons with the state of the art.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Multivariate Mond-Pecaric Method with Applications to Hypercomplex Function Sobolev Embedding
Authors:
Shih-Yu Chang
Abstract:
Mond and Pecaric introduced a method to simplify the determination of complementary inequalities for Jensen's inequality by converting it into a single-variable maximization or minimization problem of continuous functions. This principle has significantly enriched the field of operator inequalities. Our contribution lies in extending the Mond-Pecaric method from single-input operators to multiple-…
▽ More
Mond and Pecaric introduced a method to simplify the determination of complementary inequalities for Jensen's inequality by converting it into a single-variable maximization or minimization problem of continuous functions. This principle has significantly enriched the field of operator inequalities. Our contribution lies in extending the Mond-Pecaric method from single-input operators to multiple-input operators. We commence by defining normalized positive linear maps, accompanied by illustrative examples. Subsequently, we employ the Mond-Pecaric method to derive fundamental inequalities for multivariate hypercomplex functions bounded by linear functions. These foundational inequalities serve as the basis for establishing several multivariate hypercomplex function inequalities, focusing on ratio relationships. Additionally, we present similar results based on difference relationships. Finally, we apply the derived multivariate hypercomplex function inequalities to establish Sobolev embedding via Sobolev inequality for hypercomplex functions with operator inputs.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Generalized Converses of Operator Jensens Inequalities with Applications to Hypercomplex Function Approximations and Bounds Algebra
Authors:
Shih-Yu Chang
Abstract:
Mond and Pecaric proposed a powerful method, namd as MP method, to deal with operator inequalities. However, this method requires a real-valued function to be convex or concave, and the normalized positive linear map between Hilbert spaces. The objective of this study is to extend the MP method by allowing non-convex or non-concave real-valued functions and nonlinear map** between Hilbert spaces…
▽ More
Mond and Pecaric proposed a powerful method, namd as MP method, to deal with operator inequalities. However, this method requires a real-valued function to be convex or concave, and the normalized positive linear map between Hilbert spaces. The objective of this study is to extend the MP method by allowing non-convex or non-concave real-valued functions and nonlinear map** between Hilbert spaces. The Stone-Weierstrass theorem and Kantorovich function are fundamental components employed in generalizing the MP method inequality in this context. Several examples are presented to demonstrate the inequalities obtained from the conventional MP method by requiring convex function with a normalized positive linear map. Various new inequalities regarding hypercomplex functions, i.e., operator-valued functions with operators as arguments, are derived based on the proposed MP method. These inequalities are applied to approximate hypercomplex functions using ratio criteria and difference criteria. Another application of these new inequalities is to establish bounds for hypercomplex functions algebra, i.e., an abelian monoid for the addition or multiplication of hypercomplex functions, and to derive tail bounds for random tensors ensembles addition or multiplication systematically.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
A characterization on trees $T$ with $m(T, λ)=p(T)-2$
Authors:
Sarula Chang,
Jianxi Li,
Yirong Zheng
Abstract:
Let $m(G,λ)$ be the multiplicity of an eigenvalue $λ$ of a connected graph $G$. Wang et al. [Linear Algebra Appl. 584(2020), 257-266] proved that for any connected graph $G\neq C_n$, $m(G, λ) \leq 2c(G) + p(G) -1$, where $c (G) = |E(G)| - |V (G)| + 1$ and $p(G)$ are the cyclomatic number and the number of pendant vertices of $G$, respectively. In the same paper, they proposed the problem to charac…
▽ More
Let $m(G,λ)$ be the multiplicity of an eigenvalue $λ$ of a connected graph $G$. Wang et al. [Linear Algebra Appl. 584(2020), 257-266] proved that for any connected graph $G\neq C_n$, $m(G, λ) \leq 2c(G) + p(G) -1$, where $c (G) = |E(G)| - |V (G)| + 1$ and $p(G)$ are the cyclomatic number and the number of pendant vertices of $G$, respectively. In the same paper, they proposed the problem to characterize all connected graphs $G$ with eigenvalue $λ$ such that $m(G, λ) =2c (G)+ p(G)-1$. Wong et al. [Discrete Math. 347(2024), 113845] solved this problem for the case when $G$ is a tree by characterizing all trees $T$ with eigenvalue $λ$ such that $m(T , λ) = p(T )-1$. In this paper, we further provide the structural characterization on trees $T$ with eigenvalue $λ$ such that $m(T , λ) = p(T )-2$.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Eigenvalues of Product of Ginibre Ensembles and Their Inverses and that of Truncated Haar Unitary Matrices and Their Inverses
Authors:
Shuhua Chang,
Tiefeng Jiang,
Yongcheng Qi
Abstract:
Consider two types of products of independent random matrices, including products of Ginibre matrices and inverse Ginibre matrices and products of truncated Haar unitary matrices and inverse truncated Haar matrices. Each product matrix has $m$ multiplicands of $n$ by $n$ square matrices, and the empirical distribution based on the $n$ eigenvalues of the product matrix is called empirical spectral…
▽ More
Consider two types of products of independent random matrices, including products of Ginibre matrices and inverse Ginibre matrices and products of truncated Haar unitary matrices and inverse truncated Haar matrices. Each product matrix has $m$ multiplicands of $n$ by $n$ square matrices, and the empirical distribution based on the $n$ eigenvalues of the product matrix is called empirical spectral distribution of the matrix. In this paper, we investigate the limiting empirical spectral distribution of the product matrices when $n$ tends to infinity and $m$ changes with $n$. For properly rescaled eigenvalues for two types of the product matrices, we obtain the necessary and sufficient conditions for the convergence of the empirical spectral distributions.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Generalized Choi-Davis-Jensen's Operator Inequalities and Their Applications
Authors:
Shih Yu Chang,
Yimin Wei
Abstract:
The original Choi-Davis-Jensen's inequality, with its wide-ranging applications in diverse scientific and engineering fields, has motivated researchers to explore generalizations. In this study, we extend Davis-Choi-Jensen's inequality by considering a nonlinear map instead of a normalized linear map and generalize operator convex function to any continuous function defined in a compact region. Th…
▽ More
The original Choi-Davis-Jensen's inequality, with its wide-ranging applications in diverse scientific and engineering fields, has motivated researchers to explore generalizations. In this study, we extend Davis-Choi-Jensen's inequality by considering a nonlinear map instead of a normalized linear map and generalize operator convex function to any continuous function defined in a compact region. The Stone-Weierstrass theorem and Kantorovich function are instrumental in formulating and proving generalized Choi-Davis-Jensen's inequalities. Additionally, we present an application of this generalized inequality in the context of statistical physics.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Inferring Dynamic Networks from Marginals with Iterative Proportional Fitting
Authors:
Serina Chang,
Frederic Koehler,
Zhaonan Qu,
Jure Leskovec,
Johan Ugander
Abstract:
A common network inference problem, arising from real-world data constraints, is how to infer a dynamic network from its time-aggregated adjacency matrix and time-varying marginals (i.e., row and column sums). Prior approaches to this problem have repurposed the classic iterative proportional fitting (IPF) procedure, also known as Sinkhorn's algorithm, with promising empirical results. However, th…
▽ More
A common network inference problem, arising from real-world data constraints, is how to infer a dynamic network from its time-aggregated adjacency matrix and time-varying marginals (i.e., row and column sums). Prior approaches to this problem have repurposed the classic iterative proportional fitting (IPF) procedure, also known as Sinkhorn's algorithm, with promising empirical results. However, the statistical foundation for using IPF has not been well understood: under what settings does IPF provide principled estimation of a dynamic network from its marginals, and how well does it estimate the network? In this work, we establish such a setting, by identifying a generative network model whose maximum likelihood estimates are recovered by IPF. Our model both reveals implicit assumptions on the use of IPF in such settings and enables new analyses, such as structure-dependent error bounds on IPF's parameter estimates. When IPF fails to converge on sparse network data, we introduce a principled algorithm that guarantees IPF converges under minimal changes to the network structure. Finally, we conduct experiments with synthetic and real-world data, which demonstrate the practical value of our theoretical and algorithmic contributions.
△ Less
Submitted 28 February, 2024;
originally announced February 2024.
-
Algebraic Riccati Tensor Equations with Applications in Multilinear Control Systems
Authors:
Yuchao Wang,
Yimin Wei,
Guofeng Zhang,
Shih Yu Chang
Abstract:
In a recent interesting paper [8], Chen et al. initialized the control-theoretic study of a class of discrete-time multilinear time-invariant (MLTI) control systems, where system states, inputs and outputs are all tensors endowed with the Einstein product. Criteria for fundamental system-theoretic notions such as stability, reachability and observability are established by means of tensor decompos…
▽ More
In a recent interesting paper [8], Chen et al. initialized the control-theoretic study of a class of discrete-time multilinear time-invariant (MLTI) control systems, where system states, inputs and outputs are all tensors endowed with the Einstein product. Criteria for fundamental system-theoretic notions such as stability, reachability and observability are established by means of tensor decomposition. The purpose of this paper is to continue this novel research direction. Specifically, we focus on continuous-time MLTI control systems. We define Hamiltonian tensors and symplectic tensors and establish the Schur-Hamiltonian tensor decomposition and symplectic tensor singular value decomposition (SVD). Based on these we propose the algebraic Riccati tensor equation (ARTE) and show that it has a unique positive semidefinite solution if the system is stablizable and detectable. A tensor-based Newton method is proposed to find numerical solutions of the ARTE. The tensor version of the bounded real lemma is also established. A first-order robustness analysis of the ARTE is conducted. Finally, a numerical example is used to demonstrate the proposed theory and algorithms.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
On the Convergence Rate of MCTS for the Optimal Value Estimation in Markov Decision Processes
Authors:
Hyeong Soo Chang
Abstract:
A recent theoretical analysis of a corrected-version of a Monte-Carlo tree search (MCTS) method, so-called UCT, established an unexpected result, due to a great deal of empirical successes reported from heuristic usage of UCT with relevant adjustments for the problem domains in the literature, that its convergence rate in estimating the expected error relative to the optimal value of a finite-hori…
▽ More
A recent theoretical analysis of a corrected-version of a Monte-Carlo tree search (MCTS) method, so-called UCT, established an unexpected result, due to a great deal of empirical successes reported from heuristic usage of UCT with relevant adjustments for the problem domains in the literature, that its convergence rate in estimating the expected error relative to the optimal value of a finite-horizon Markov decision process (MDP) at an initial state is polynomial. We strengthen this dispiriting slow-convergence result by arguing within a simpler framework in the perspective of MDP, apart from the usual MCTS description, that just simpler UCB1 applied with the policy set as the arm set is actually competitive with or asymptotically faster than the corrected-version of UCT because of its logarithmic convergence-rate. We also point out that MCTS in general has the worst-case time and space complexities that depend on the state-set size which contradicts the original spirit of MCTS. Unless heuristically used, UCT-based MCTS has yet to have theoretical supports for its applicabilities.
△ Less
Submitted 10 February, 2024;
originally announced February 2024.
-
Top Feasible-Arm Selections in Constrained Multi-Armed Bandit
Authors:
Hyeong Soo Chang
Abstract:
This note studies a simple algorithm, called ``constrained successive accept or reject (CSAR)," for solving the problem of identifying the set of the top feasible-arms in constrained multi-armed bandit with an emphasis on its performance analysis. An upper bound on the probability of incorrect identification by CSAR is established where the bound depends on the problem complexity and the size of t…
▽ More
This note studies a simple algorithm, called ``constrained successive accept or reject (CSAR)," for solving the problem of identifying the set of the top feasible-arms in constrained multi-armed bandit with an emphasis on its performance analysis. An upper bound on the probability of incorrect identification by CSAR is established where the bound depends on the problem complexity and the size of the arm set. It converges to zero exponentially fast in the time-horizon as it goes to infinity.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
The Smale Conjecture and Minimal Legendrian Graph in $\mathbb{S}^{2}\times \mathbb{S}^{3}$
Authors:
Shu-Cheng Chang,
Chin-Tung Wu,
Liuyang Zhang
Abstract:
In this article, we recapture the Smale conjecture on a Sasakian $3$-sphere via the Legendrian mean curvature flow. More precisely,~we deform the area-preserving contactomorphism (symplectomorphism) of Sasakian $3$-spheres to an isometry via the Legendrian mean curvature flow on the Legendrian graph in $\mathbb{S}^{2}\times \mathbb{S}^{3}$. By using the monotonicity formula and blow-up analysis, w…
▽ More
In this article, we recapture the Smale conjecture on a Sasakian $3$-sphere via the Legendrian mean curvature flow. More precisely,~we deform the area-preserving contactomorphism (symplectomorphism) of Sasakian $3$-spheres to an isometry via the Legendrian mean curvature flow on the Legendrian graph in $\mathbb{S}^{2}\times \mathbb{S}^{3}$. By using the monotonicity formula and blow-up analysis, we obtain the minimal Legendrian graph in $\mathbb{S}^{2}\times \mathbb{S}^{3}$. Finally, we will address the rigidity theorem of $2$-dimensional Legendrian self-shrinkers in $\mathbb{R}^{5}$. We are able to reconstruct the Harvey-Lawson special Lagrangian cone in $\mathbb{C}^{3}$ from this Legendrian self-shrinker. The partial classification is also provided if the squared norm of the second fundamental form is constant.
△ Less
Submitted 27 February, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Tensor Unfolding Characterization
Authors:
Shih-Yu Chang
Abstract:
Tensors play a pivotal role in the realms of science and engineering, particularly in the realms of data analysis, machine learning, and computational mathematics. The process of unfolding a tensor into matrices, commonly known as tensor unfolding or matricization, serves as a valuable technique for simplifying the representation of tensors with higher orders. In this study, we initially derive un…
▽ More
Tensors play a pivotal role in the realms of science and engineering, particularly in the realms of data analysis, machine learning, and computational mathematics. The process of unfolding a tensor into matrices, commonly known as tensor unfolding or matricization, serves as a valuable technique for simplifying the representation of tensors with higher orders. In this study, we initially derive unfolded matrices from a specified tensor over a B{'e}zout ring using a matrix equivalence relation. We proceed to elucidate the relationships between eigenvalues and eigenvectors within these unfolded matrices. Additionally, we employ the localization approach outlined by Gerstein to ascertain the count of distinct matrix equivalence classes present among the unfolded matrices.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
Algebraic Connectivity Characterization of Ensemble Random Hypergraphs
Authors:
Shih-Yu Chang
Abstract:
Random hypergraph is a broad concept used to describe probability distributions over hypergraphs, which are mathematical structures with applications in various fields, e.g., complex systems in physics, computer science, social sciences, and network science. Ensemble methods, on the other hand, are crucial both in physics and machine learning. In physics, ensemble theory helps bridge the gap betwe…
▽ More
Random hypergraph is a broad concept used to describe probability distributions over hypergraphs, which are mathematical structures with applications in various fields, e.g., complex systems in physics, computer science, social sciences, and network science. Ensemble methods, on the other hand, are crucial both in physics and machine learning. In physics, ensemble theory helps bridge the gap between the microscopic and macroscopic worlds, providing a statistical framework for understanding systems with a vast number of particles. In machine learning, ensemble methods are valuable because they improve predictive accuracy, reduce overfitting, lower prediction variance, mitigate bias, and capture complex relationships in data. However, there is limited research on applying ensemble methods to a set of random hypergraphs. This work aims to study the connectivity behavior of an ensemble of random hypergraphs. Specifically, it focuses on quantifying the random behavior of the algebraic connectivity of these ensembles through tail bounds. We utilize Laplacian tensors to represent these ensemble random hypergraphs and establish mathematical theorems, such as Courant-Fischer and Lieb-Seiringer theorems for tensors, to derive tail bounds for the algebraic connectivity. We derive three different tail bounds, i.e., Chernoff, Bennett, and Bernstein bounds, for the algebraic connectivity of ensemble hypergraphs with respect to different random hypergraphs assumptions.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Benford's Law under Zeckendorf expansion
Authors:
Sungkon Chang,
Steven J. Miller
Abstract:
In the literature, Benford's Law is considered for base-b expansions where b>1 is an integer. In this paper, we investigate the distribution of leading "digits" of a sequence of positive integers under other expansions such as Zeckendorf expansion, and declare what Benford's Law should be under generalized Zeckendorf expansion.
In the literature, Benford's Law is considered for base-b expansions where b>1 is an integer. In this paper, we investigate the distribution of leading "digits" of a sequence of positive integers under other expansions such as Zeckendorf expansion, and declare what Benford's Law should be under generalized Zeckendorf expansion.
△ Less
Submitted 31 August, 2023;
originally announced September 2023.
-
Distribution of Zeckendorf expressions
Authors:
Sungkon Chang
Abstract:
By Zeckendorf's Theorem, every positive integer is uniquely written as a sum of distinct non-adjacent Fibonacci terms. In this paper, we investigate the asymptotic formula of the number of binary expansions $<x$ that have no adjacent terms, and generalize the result to the setting of general linear recurrences with non-negative integer coefficients.
By Zeckendorf's Theorem, every positive integer is uniquely written as a sum of distinct non-adjacent Fibonacci terms. In this paper, we investigate the asymptotic formula of the number of binary expansions $<x$ that have no adjacent terms, and generalize the result to the setting of general linear recurrences with non-negative integer coefficients.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Tail bounds for Multivariate Random Tensor Means
Authors:
Shih-Yu Chang
Abstract:
In our recent research endeavors, we have delved into the realm of tail bounds problems concerning bivariate random tensor means. In this context, tensors are treated as finite-dimensional operators. However, the longstanding challenge of extending the concept of operator means to scenarios involving more than two variables had persisted. The primary objective of this present study is to unveil a…
▽ More
In our recent research endeavors, we have delved into the realm of tail bounds problems concerning bivariate random tensor means. In this context, tensors are treated as finite-dimensional operators. However, the longstanding challenge of extending the concept of operator means to scenarios involving more than two variables had persisted. The primary objective of this present study is to unveil a collection of tail bounds applicable to multivariate random tensor means. These encompass the weighted arithmetic mean, weighted harmonic mean, and the Karcher mean. These bounds are derived through the utilization of Ando-Hiai's inequalities, alongside tail bounds specifically tailored for multivariate random tensor means employing reverse Ando-Hiai's inequalities, which are rooted in Kantorovich constants. Notably, our methodology involves employing the concept of deformation for operator means with multiple variables, following the principles articulated in Hiai, Seo and Wada's recent work. Additionally, our research contributes to the expansion about the Karcher mean differentiable region from the vicinity of the diagonal identity element within the Cartesian product space of positive definite tensors to the vicinity of the general element within the Cartesian product space of positive definite tensors via the application of the inverse and implicit function theorem.
△ Less
Submitted 12 August, 2023;
originally announced August 2023.
-
Approximate Constrained Discounted Dynamic Programming with Uniform Feasibility and Optimality
Authors:
Hyeong Soo Chang
Abstract:
We consider a dynamic programming (DP) approach to approximately solving an infinite-horizon constrained Markov decision process (CMDP) problem with a fixed initial-state for the expected total discounted-reward criterion with a uniform-feasibility constraint of the expected total discounted-cost in a deterministic, history-independent, and stationary policy set. We derive a DP-equation that recur…
▽ More
We consider a dynamic programming (DP) approach to approximately solving an infinite-horizon constrained Markov decision process (CMDP) problem with a fixed initial-state for the expected total discounted-reward criterion with a uniform-feasibility constraint of the expected total discounted-cost in a deterministic, history-independent, and stationary policy set. We derive a DP-equation that recursively holds for a CMDP problem and its sub-CMDP problems, where each problem, induced from the parameters of the original CMDP problem, admits a uniformly-optimal feasible policy in its policy set associated with the inputs to the problem. A policy constructed from the DP-equation is shown to achieve the optimal values, defined for the CMDP problem the policy is a solution to, at all states. Based on the result, we discuss off-line and on-line computational algorithms, motivated from policy iteration for MDPs, whose output sequences have local convergences for the original CMDP problem.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
Legendrian mean curvature flow in $η$-Einstein Sasakian manifolds
Authors:
Shu-Cheng Chang,
Yingbo Han,
Chin-Tung Wu
Abstract:
Recently, there are a great deal of work done which connects the Legendrian isotopic problem with contact invariants. The isotopic problem of Legendre curve in a contact 3-manifold was studies via the Legendrian curve shortening flow which was introduced and studied by K. Smoczyk. On the other hand, in the SYZ Conjecture, one can model a special Lagrangian singularity locally as the special Lagran…
▽ More
Recently, there are a great deal of work done which connects the Legendrian isotopic problem with contact invariants. The isotopic problem of Legendre curve in a contact 3-manifold was studies via the Legendrian curve shortening flow which was introduced and studied by K. Smoczyk. On the other hand, in the SYZ Conjecture, one can model a special Lagrangian singularity locally as the special Lagrangian cones in C^{3}. This can be characterized by its link which is a minimal Legendrian surface in the 5-sphere. Then in these points of view, in this paper we will focus on the existence of the long-time solution and asymptotic convergence along the Legendrian mean curvature flow in higher dimensional η-Einstein Sasakian (2n+1)-manifolds under the suitable stability condition due to the Thomas-Yau conjecture.
△ Less
Submitted 19 April, 2023;
originally announced June 2023.
-
Random Tensor Inequalities and Tail bounds for Bivariate Random Tensor Means, Part II
Authors:
Shih-Yu Chang
Abstract:
This is Part II of our work about random tensor inequalities and tail bounds for bivariate random tensor means. After reviewing basic facts about random tensors, we first consider tail bounds with more general connection functions. Then, a general Lie-Trotter formula for tensors is derived and this formula is applied to establish tail bounds for bivariate random tensor means involving tensor logar…
▽ More
This is Part II of our work about random tensor inequalities and tail bounds for bivariate random tensor means. After reviewing basic facts about random tensors, we first consider tail bounds with more general connection functions. Then, a general Lie-Trotter formula for tensors is derived and this formula is applied to establish tail bounds for bivariate random tensor means involving tensor logarithm. All random tensors studied in our Part I work are assumed as positive definite (PD) random tensors, which are invertible tensors. In this Part II work, we generalize our tail bounds for bivariate random tensor means from positive definite (PD) random tensors to positive semidefinite (PSD) random tensors by defining Random Tensor Topology (RTT) and develo** the limitation method based on RTT. Finally, we apply our theory to establish tail bounds and Löwner ordering relationships for bivariate random tensor means before and after two tensor data processing methods: data fusion and linear transform. %
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Random Tensor Inequalities and Tail bounds for Bivariate Random Tensor Means, Part I
Authors:
Shih-Yu Chang
Abstract:
In this work, we apply the concept about operator connection to consider bivariate random tensor means. We first extend classical Markov and Chebyshev inequalities from a random variable to a random tensor by establishing Markov inequality for tensors and Chebyshev inequality for tensors. These inequalities are applied to establish tail bounds for bivariate random tensor means represented by opera…
▽ More
In this work, we apply the concept about operator connection to consider bivariate random tensor means. We first extend classical Markov and Chebyshev inequalities from a random variable to a random tensor by establishing Markov inequality for tensors and Chebyshev inequality for tensors. These inequalities are applied to establish tail bounds for bivariate random tensor means represented by operator perspectives based on various types of connection functions: tensor increasing functions, tensor decreasing functions, and tensor concavity functions. We also consider tail bounds relations for the summation and product of eigenvalues based on majorization ordering of eigenvalues of bivariate random tensor means. This is Part I of our work about random tensor inequalities and tail bounds for bivariate random tensor mean. In our Part II, we will consider bivariate random tensor mean with respect to non-invertible random tensors and their applications.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Tail Bounds for Tensor-valued Random Process
Authors:
Shih-Yu Chang
Abstract:
To consider a high-dimensional random process, we propose a notion about stochastic tensor-valued random process (TRP). In this work, we first attempt to apply a generic chaining method to derive tail bounds for all p-th moments of the supremum of TRPs. We first establish tail bounds for suprema of processes with an exponential tail, and further derive tail bounds for suprema of processes with arb…
▽ More
To consider a high-dimensional random process, we propose a notion about stochastic tensor-valued random process (TRP). In this work, we first attempt to apply a generic chaining method to derive tail bounds for all p-th moments of the supremum of TRPs. We first establish tail bounds for suprema of processes with an exponential tail, and further derive tail bounds for suprema of processes with arbitrary number of exponential tails. We apply these bounds to high-dimensional compressed sensing and empirical process characterizations.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Learning Large Causal Structures from Inverse Covariance Matrix via Sparse Matrix Decomposition
Authors:
Shuyu Dong,
Kento Uemura,
Akito Fujii,
Shuang Chang,
Yusuke Koyanagi,
Koji Maruhashi,
Michèle Sebag
Abstract:
Learning causal structures from observational data is a fundamental problem facing important computational challenges when the number of variables is large. In the context of linear structural equation models (SEMs), this paper focuses on learning causal structures from the inverse covariance matrix. The proposed method, called ICID for Independence-preserving Decomposition from Inverse Covariance…
▽ More
Learning causal structures from observational data is a fundamental problem facing important computational challenges when the number of variables is large. In the context of linear structural equation models (SEMs), this paper focuses on learning causal structures from the inverse covariance matrix. The proposed method, called ICID for Independence-preserving Decomposition from Inverse Covariance matrix, is based on continuous optimization of a matrix decomposition model that preserves the nonzero patterns of the inverse covariance matrix. Through theoretical and empirical evidences, we show that ICID efficiently identifies the sought directed acyclic graph (DAG) assuming the knowledge of noise variances. Moreover, ICID is shown empirically to be robust under bounded misspecification of noise variances in the case where the noise variances are non-equal. The proposed method enjoys a low complexity, as reflected by its time efficiency in the experiments, and also enables a novel regularization scheme that yields highly accurate solutions on the Simulated fMRI data (Smith et al., 2011) in comparison with state-of-the-art algorithms.
△ Less
Submitted 19 February, 2024; v1 submitted 25 November, 2022;
originally announced November 2022.
-
Gradient Shrinking Sasaki-Ricci Solitons on Sasakian Manifolds of Dimension Up to Seven
Authors:
Der-Chen Chang,
Shu-Cheng Chang,
Yingbo Han,
Chien Lin,
Chin-Tung Wu
Abstract:
In this paper, we show that the uniform L^4-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular transverse Fano Sasakian (2n+1)-manifold M. When M is dimension up to seven and the space of leaves of the characteristic foliation is well-formed, we first show that any solution of the Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique sing…
▽ More
In this paper, we show that the uniform L^4-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular transverse Fano Sasakian (2n+1)-manifold M. When M is dimension up to seven and the space of leaves of the characteristic foliation is well-formed, we first show that any solution of the Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular orbifold Sasaki-Ricci soliton on the limit space which is a S^1-orbibundle over the unique singular Kaehler-Ricci soliton on a normal projective variety with codimension two orbifold singularities. Secondly, for n=1, we show that there are only two nontrivial Sasaki-Ricci solitons on a compact quasi-regular Fano Sasakian three-sphere with its leave space a teardrop-like and football-like space, respectively. For n=2,3, we show that the Sasaki-Ricci soliton is trivial one if M is transverse K-stable.
△ Less
Submitted 23 October, 2022;
originally announced October 2022.
-
Random Multiple Operator Integrals
Authors:
Shih-Yu Chang
Abstract:
The introduction of Schur multipliers into the context of Double Operator Integrals (DOIs) was proposed by V. V. Peller in 1985. This work extends theorem on Schur multipliers from measurable functions to their closure space and generalizes the definition of DOIs to Multiple Operator Integrals (MOIs) for integrand functions as Schur multipliersconstructible by taking the limit of projective tensor…
▽ More
The introduction of Schur multipliers into the context of Double Operator Integrals (DOIs) was proposed by V. V. Peller in 1985. This work extends theorem on Schur multipliers from measurable functions to their closure space and generalizes the definition of DOIs to Multiple Operator Integrals (MOIs) for integrand functions as Schur multipliersconstructible by taking the limit of projective tensor product and by taking the limit of integral projective tensor product. According to such closure space construction for integrand functions, we demonstrate that any function defined on a compact set of a Euclidean space can be expressed by taking the limit of the projective tensor product of linear functions. We also generalize previous works about random DOIs with respect to finite dimensional operators, tensors, to MOIs with respect to random operators, which are defined from spectral decomposition perspectives. Based on random MOIs definitions and their properties, we derive several tail bounds for norms of higher random operator derivatives, higher random operator difference and Taylor remainder of random operator-valued functions.
△ Less
Submitted 17 October, 2022;
originally announced October 2022.
-
Geometric Approach For Majorizing Measures on Hadamard Manifolds
Authors:
Shih-Yu Chang
Abstract:
Gaussian processes can be treated as subsets of a standard Hilbert space, however, the volume size relation between the underlying index space of random processes and its convex hull is not clear. The understanding of such volume size relations can help us to establish a majorizing measure theorem geometrically. In this paper, we assume that the underlying index space of random processes is a simp…
▽ More
Gaussian processes can be treated as subsets of a standard Hilbert space, however, the volume size relation between the underlying index space of random processes and its convex hull is not clear. The understanding of such volume size relations can help us to establish a majorizing measure theorem geometrically. In this paper, we assume that the underlying index space of random processes is a simply connected manifold with sectional curvature less than negative one (Hadamard manifold). We derive the upper bound for the ratio between the volume of the underlying index space and the volume of its convex hull. We then apply this volume ratio to prove the majorizing measure theorem geometrically.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Geometric Approach For Majorizing Measures
Authors:
Shih-Yu Chang
Abstract:
Gaussian processes can be considered as subsets of a standard Hilbert space, but the geometric understanding that would relate the size of a set with the size of its convex hull is still lacking. In this work, we adopt a geometric approach to the majorizing measure problem by identifying the covering number relationships between a given space $T$ and its convex hull, represented by $T_h$. If the s…
▽ More
Gaussian processes can be considered as subsets of a standard Hilbert space, but the geometric understanding that would relate the size of a set with the size of its convex hull is still lacking. In this work, we adopt a geometric approach to the majorizing measure problem by identifying the covering number relationships between a given space $T$ and its convex hull, represented by $T_h$. If the space $T$ is a closed bounded polyhedra in $\mathbb{R}^n$, we can evaluate the volume ratio between the space $T$ and its convex hull obtained by the Quickhull algorithm. If the space $T$ is a general compact object in $\mathbb{R}^n$ with non-empty interior, we first establish a more general reverse Brunn-Minkowski inequality for nonconvex spaces which will assist us to bound the volume of $T_h$ in terms of the volume of $T$ if $T_h$ can be acquired by the finite average of the space $T$ with respect to the Minkowski sum. If the volume ratio between the space $T$ and the space $T_h$ is obtained, the covering number ratio between the space $T$ and the space $T_h$ can also be obtained which will be used to build majorizing measure inequality. For infinite dimensional space, we show that the constant $L$ at majorizing measure inequality may not always exist and the existence condition will depend on geometric properties of $T$.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
On Supervised On-line Rolling-Horizon Control for Infinite-Horizon Discounted Markov Decision Processes
Authors:
Hyeong Soo Chang
Abstract:
This note re-visits the rolling-horizon control approach to the problem of a Markov decision process (MDP) with infinite-horizon discounted expected reward criterion. Distinguished from the classical value-iteration approach, we develop an asynchronous on-line algorithm based on policy iteration integrated with a multi-policy improvement method of policy switching. A sequence of monotonically impr…
▽ More
This note re-visits the rolling-horizon control approach to the problem of a Markov decision process (MDP) with infinite-horizon discounted expected reward criterion. Distinguished from the classical value-iteration approach, we develop an asynchronous on-line algorithm based on policy iteration integrated with a multi-policy improvement method of policy switching. A sequence of monotonically improving solutions to the forecast-horizon sub-MDP is generated by updating the current solution only at the currently visited state, building in effect a rolling-horizon control policy for the MDP over infinite horizon. Feedbacks from "supervisors," if available, can be also incorporated while updating. We focus on the convergence issue with a relation to the transition structure of the MDP. Either a global convergence to an optimal forecast-horizon policy or a local convergence to a "locally-optimal" fixed-policy in a finite time is achieved by the algorithm depending on the structure.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Random Parametrization Double Tensors Integrals and Their Applications
Authors:
Shih Yu Chang
Abstract:
In this work, we extend double tensor integrals (DTI) from our previous work to parametrization double tensors integrals (PDTI) by applying integral kernel transform bounds to upper bound PDTI norm and establishing a new perturbation formula. Besides, the convergence property of random PDTI is investigated and this property is utilized to characterize the relation between the original derivative t…
▽ More
In this work, we extend double tensor integrals (DTI) from our previous work to parametrization double tensors integrals (PDTI) by applying integral kernel transform bounds to upper bound PDTI norm and establishing a new perturbation formula. Besides, the convergence property of random PDTI is investigated and this property is utilized to characterize the relation between the original derivative tensor and the action result of PDTI to the original derivative tensor. These tools help us to derive new tail bounds for random tensors according to more general operator inequalities, e.g., Heinz inequality and Birman-Koplienko-Solomyak inequality. Moreover, new tail bounds about random tensors are also obtained according to our new derived perturbation formula and integral kernel transform bounds.
△ Less
Submitted 6 May, 2022;
originally announced May 2022.
-
Random Double Tensors Integrals
Authors:
Shih Yu Chang
Abstract:
In this work, we try to build a theory for random double tensor integrals (DTI). We begin with the definition of DTI and discuss how randomness structure is built upon DTI. Then, the tail bound of the unitarily invariant norm for the random DTI is established and this bound can help us to derive tail bounds of the unitarily invariant norm for various types of two tensors means, e.g., arithmetic me…
▽ More
In this work, we try to build a theory for random double tensor integrals (DTI). We begin with the definition of DTI and discuss how randomness structure is built upon DTI. Then, the tail bound of the unitarily invariant norm for the random DTI is established and this bound can help us to derive tail bounds of the unitarily invariant norm for various types of two tensors means, e.g., arithmetic mean, geometric mean, harmonic mean, and general mean. By associating DTI with perturbation formula, i.e., a formula to relate the tensor-valued function difference with respect the difference of the function input tensors, the tail bounds of the unitarily invariant norm for the Lipschitz estimate of tensor-valued function with random tensors as arguments are derived for vanilla case and quasi-commutator case, respectively. We also establish the continuity property for random DTI in the sense of convergence in the random tensor mean, and we apply this continuity property to obtain the tail bound of the unitarily invariant norm for the derivative of the tensor-valued function.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Foliation divisorial contraction by the Sasaki-Ricci flow on Sasakian 5-manifolds
Authors:
Shu-Cheng Chang,
Chien Lin,
Chin-Tung Wu
Abstract:
Let (M,η,ξ,Φ,g) be a compact quasi-regular Sasakian 5-manifold with finite cyclic quotient foliation singularities of type (1/r)(1,a). First, we derive the foliation minimal model program by applying the resolution of cyclic quotient foliation singularities. Secondly, based on the study of local model of resolution of foliation singularities, we prove the foliation canonical surgical contraction o…
▽ More
Let (M,η,ξ,Φ,g) be a compact quasi-regular Sasakian 5-manifold with finite cyclic quotient foliation singularities of type (1/r)(1,a). First, we derive the foliation minimal model program by applying the resolution of cyclic quotient foliation singularities. Secondly, based on the study of local model of resolution of foliation singularities, we prove the foliation canonical surgical contraction or the foliation extremal ray contraction under the Sasaki-Ricci flow. As a consequence, we prove a Sasaki analogue of analytic minimal model program with the Keahler-Ricci flow due to Song-Tian and Song-Weinkove.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
Generalized Hanson-Wright Inequality for Random Tensors
Authors:
Shih Yu Chang
Abstract:
The Hanson-Wright inequality is an upper bound for tails of real quadratic forms in independent random variables. In this work, we extend the Hanson-Wright inequality for the Ky Fan k-norm for the polynomial function of the quadratic sum of random tensors under Einstein product. We decompose the quadratic tensors sum into the diagonal part and the coupling part. For the diagonal part, we can apply…
▽ More
The Hanson-Wright inequality is an upper bound for tails of real quadratic forms in independent random variables. In this work, we extend the Hanson-Wright inequality for the Ky Fan k-norm for the polynomial function of the quadratic sum of random tensors under Einstein product. We decompose the quadratic tensors sum into the diagonal part and the coupling part. For the diagonal part, we can apply the generalized tensor Chernoff bound directly. But, for the coupling part, we have to apply decoupling method first, i.e., decoupling inequality to bound expressions with dependent random tensors with independent random tensors, before applying generalized tensor Chernoff bound again to get the the tail probability of the Ky Fan $k$-norm of the coupling part sum of independent random tensors. At the end, the generalized Hanson-Wright inequality for the Ky Fan k-norm for the polynomial function of the quadratic sum of random tensors can be obtained by the combination of the bound from the diagonal sum part and the bound from the coupling sum part.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Convergence of the Sasaki-Ricci flow on Sasakian 5-manifolds of general type
Authors:
Shu-Cheng Chang,
Yingbo Han,
Chien Lin,
Chin-Tung Wu
Abstract:
In this paper, we show that the uniform L^{4}-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular Sasakian (2n+1)-manifold M of general type. As an application, any solution of the normalized Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular Sasaki η-Einstein metric on the transverse canonical model M_{can} of M if n is less t…
▽ More
In this paper, we show that the uniform L^{4}-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular Sasakian (2n+1)-manifold M of general type. As an application, any solution of the normalized Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular Sasaki η-Einstein metric on the transverse canonical model M_{can} of M if n is less than or equal to 3. In particular for n equal to 2, M_{can} is a S^{1}-orbibundle over the unique Keahler-Einstein orbifold surface (Z_{can},ω_{KE}) with finite point orbifold singularities. The floating foliation (-2)-curves in M will be contracted to orbifold points by the Sasaki-Ricci flow as t goes to infinite.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
On-line Policy Iteration with Policy Switching for Markov Decision Processes
Authors:
Hyeong Soo Chang
Abstract:
Motivated from Bertsekas' recent study on policy iteration (PI) for solving the problems of infinite-horizon discounted Markov decision processes (MDPs) in an on-line setting, we develop an off-line PI integrated with a multi-policy improvement method of policy switching and then adapt its asynchronous variant into on-line PI algorithm that generates a sequence of policies over time. The current p…
▽ More
Motivated from Bertsekas' recent study on policy iteration (PI) for solving the problems of infinite-horizon discounted Markov decision processes (MDPs) in an on-line setting, we develop an off-line PI integrated with a multi-policy improvement method of policy switching and then adapt its asynchronous variant into on-line PI algorithm that generates a sequence of policies over time. The current policy is updated into the next policy by switching the action only at the current state while ensuring the monotonicity of the value functions of the policies in the sequence. Depending on MDP's state-transition structure, the sequence converges in a finite time to an optimal policy for an associated local MDP. When MDP is communicating, the sequence converges to an optimal policy for the original MDP.
△ Less
Submitted 3 December, 2021;
originally announced December 2021.
-
Computing normalisers of intransitive groups
Authors:
Mun See Chang,
Christopher Jefferson,
Colva M. Roney-Dougal
Abstract:
The normaliser problem takes as input subgroups $G$ and $H$ of the symmetric group $S_n$, and asks one to compute $N_G(H)$. The fastest known algorithm for this problem is simply exponential, whilst more efficient algorithms are known for restricted classes of groups. In this paper, we will focus on groups with many orbits. We give a new algorithm for the normaliser problem for these groups that p…
▽ More
The normaliser problem takes as input subgroups $G$ and $H$ of the symmetric group $S_n$, and asks one to compute $N_G(H)$. The fastest known algorithm for this problem is simply exponential, whilst more efficient algorithms are known for restricted classes of groups. In this paper, we will focus on groups with many orbits. We give a new algorithm for the normaliser problem for these groups that performs many orders of magnitude faster than previous implementations in GAP. We also prove that the normaliser problem for the special case $G=S_n$ is at least as hard as computing the group of monomial automorphisms of a linear code over any field of fixed prime order.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Hanson-Wright Inequality for Random Tensors under Einstein Product
Authors:
Shih Yu Chang
Abstract:
The Hanson-Wright inequality is an upper bound for tails of real quadratic forms in independent subgaussian random variables. In this work, we extend the Hanson-Wright inequality for the maximum eigenvalue of the quadratic sum of random Hermitian tensors under Einstein product. We first prove Weyl inequality for tensors under Einstein product and apply this fact to separate the quadratic form of r…
▽ More
The Hanson-Wright inequality is an upper bound for tails of real quadratic forms in independent subgaussian random variables. In this work, we extend the Hanson-Wright inequality for the maximum eigenvalue of the quadratic sum of random Hermitian tensors under Einstein product. We first prove Weyl inequality for tensors under Einstein product and apply this fact to separate the quadratic form of random Hermitian tensors into diagonal sum and coupling (non-diagonal) sum parts. For the diagonal part, we can apply Bernstein inequality to bound the tail probability of the maximum eigenvalue of the sum of independent random Hermitian tensors directly. For coupling sum part, we have to apply decoupling method first, i.e., decoupling inequality to bound expressions with dependent random Hermitian tensors with independent random Hermitian tensors, before applying Bernstein inequality again to bound the tail probability of the maximum eigenvalue of the coupling sum of independent random Hermitian tensors. Finally, the Hanson-Wright inequality for the maximum eigenvalue of the quadratic sum of random Hermitian tensors under Einstein product can be obtained by the combination of the bound from the diagonal sum part and the bound from the coupling (non-diagonal) sum part. In Appendix of this work, we also include the Hanson-Wright inequality under T-product tensor, which can be derived by the same method of establishing the Hanson-Wright inequality under Einstein product except changing the rule of tensors product operation.
△ Less
Submitted 1 March, 2022; v1 submitted 23 November, 2021;
originally announced November 2021.
-
T-product Tensor Expander Chernoff Bound
Authors:
Shih Yu Chang
Abstract:
In probability theory, the Chernoff bound gives exponentially decreasing bounds on tail distributions for sums of independent random variables and such bound is applied at different fields in science and engineering. In this work, we generalize the conventional Chernoff bound from the summation of independent random variables to the summation of dependent random T-product tensors. Our main tool us…
▽ More
In probability theory, the Chernoff bound gives exponentially decreasing bounds on tail distributions for sums of independent random variables and such bound is applied at different fields in science and engineering. In this work, we generalize the conventional Chernoff bound from the summation of independent random variables to the summation of dependent random T-product tensors. Our main tool used at this work is majorization technique. We first apply majorizaton method to establish norm inequalitites for T-product tensors and these norm inequalities are used to derive T-product tensor expander Chernoff bound. Compared with the matrix expander Chernoff bound obtained by Garg et al., the T-product tensor expander Chernoff bound proved at this work contributes following aspects: (1) the random objects dimensions are increased from matrices (two-dimensional data array) to T-product tensors (three-dimensional data array); (2) this bound generalizes the identity map of the random objects summation to any polynomial function of the random objects summation; (3) Ky Fan norm, instead only the maximum or the minimum eigenvalues, for the function of the random T-product tensors summation is considered; (4) we remove the restriction about the summation of all mapped random objects is zero, which is required in the matrix expander Chernoff bound derivation.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
A Sharp Inequality on the Exponentiation of Functions on the Sphere
Authors:
Sun-Yung Alice Chang,
Changfeng Gui
Abstract:
In this paper we show a new inequality which generalizes to the unit sphere the Lebedev-Milin inequality of the exponentiation of functions on the unit circle. It may also be regarded as the counterpart on the sphere of the second inequality in the Szegö limit theorem on the Toeplitz determinants on the circle. On the other hand, this inequality is also a variant of several classical inequalities…
▽ More
In this paper we show a new inequality which generalizes to the unit sphere the Lebedev-Milin inequality of the exponentiation of functions on the unit circle. It may also be regarded as the counterpart on the sphere of the second inequality in the Szegö limit theorem on the Toeplitz determinants on the circle. On the other hand, this inequality is also a variant of several classical inequalities of Moser-Trudinger type on the sphere. The inequality incorporates the deviation of the center of mass from the origin into the optimal inequality of Aubin for functions with mass centered at the origin, and improves Onofri's inequality with the contribution of the shifting of the mass center explicitly expressed.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
Generalized T-product Tensor Bernstein Bounds
Authors:
Shih Yu Chang,
Yimin Wei
Abstract:
Since Kilmer et al. introduced the new multiplication method between two third-order tensors around 2008 and third-order tensors with such multiplication structure are also called as T-product tensors, T-product tensors have been applied to many fields in science and engineering, such as low-rank tensor approximation, signal processing, image feature extraction, machine learning, computer vision,…
▽ More
Since Kilmer et al. introduced the new multiplication method between two third-order tensors around 2008 and third-order tensors with such multiplication structure are also called as T-product tensors, T-product tensors have been applied to many fields in science and engineering, such as low-rank tensor approximation, signal processing, image feature extraction, machine learning, computer vision, and the multi-view clustering problem, etc. However, there are very few works dedicated to exploring the behavior of random T-product tensors. This work considers the problem about the tail behavior of the unitarily invariant norm for the summation of random symmetric T-product tensors. Majorization and antisymmetric Kronecker product tools are main techniques utilized to establish inequalities for unitarily norms of multivariate T-product tensors. The Laplace transform method is integrated with these inequalities for unitarily norms of multivariate T-product tensors to provide us with Bernstein Bounds estimation of Ky Fan $k$-norm for functions of the symmetric random T-product tensors summation.
△ Less
Submitted 5 October, 2021; v1 submitted 22 September, 2021;
originally announced September 2021.
-
Some aspects of Ricci flow on the 4-sphere
Authors:
Sun-Yung Alice Chang,
Eric Chen
Abstract:
In this paper, on 4-spheres equipped with Riemannian metrics we study some integral conformal invariants, the sign and size of which under Ricci flow characterize the standard 4-sphere. We obtain a conformal gap theorem, and for Yamabe metrics of positive scalar curvature with $L^2$ norm of the Weyl tensor of the metric suitably small, we establish the monotonic decay of the $L^p$ norm for certain…
▽ More
In this paper, on 4-spheres equipped with Riemannian metrics we study some integral conformal invariants, the sign and size of which under Ricci flow characterize the standard 4-sphere. We obtain a conformal gap theorem, and for Yamabe metrics of positive scalar curvature with $L^2$ norm of the Weyl tensor of the metric suitably small, we establish the monotonic decay of the $L^p$ norm for certain $p>2$ of the reduced curvature tensor along the normalized Ricci flow, with the metric converging exponentially to the standard 4-sphere.
△ Less
Submitted 16 September, 2021;
originally announced September 2021.
-
Scattering on singular Yamabe spaces
Authors:
Sun-Yung Alice Chang,
Stephen E. McKeown,
Paul Yang
Abstract:
We apply scattering theory on asymptotically hyperbolic manifolds to singular Yamabe metrics, applying the results to the study of the conformal geometry of compact manifolds with boundary. In particular, we define extrinsic versions of the conformally invariant powers of the Laplacian, or GJMS operators, on the boundary of any such manifold, along with associated extrinsic Q-curvatures. We use th…
▽ More
We apply scattering theory on asymptotically hyperbolic manifolds to singular Yamabe metrics, applying the results to the study of the conformal geometry of compact manifolds with boundary. In particular, we define extrinsic versions of the conformally invariant powers of the Laplacian, or GJMS operators, on the boundary of any such manifold, along with associated extrinsic Q-curvatures. We use the existence and uniqueness of a singular Yamabe metric to define also nonlocal extrinsic fractional GJMS operators on the boundary, and draw other global conclusions about the scattering operator, including a Gauss-Bonnet theorem in dimension four.
△ Less
Submitted 5 September, 2021;
originally announced September 2021.
-
T product Tensors Part I: Inequalities
Authors:
Shih Yu Chang,
Yimin Wei
Abstract:
The T product operation between two three order tensors was invented around 2011 and it arises from many applications, such as signal processing, image feature extraction, machine learning, computer vision, and the multiview clustering problem. Although there are many pioneer works about T product tensors, there are no works dedicated to inequalities associated with T product tensors. In this work…
▽ More
The T product operation between two three order tensors was invented around 2011 and it arises from many applications, such as signal processing, image feature extraction, machine learning, computer vision, and the multiview clustering problem. Although there are many pioneer works about T product tensors, there are no works dedicated to inequalities associated with T product tensors. In this work, we first attempt to build inequalities at the following aspects: (1) trace function nondecreasing and convexity; (2) Golden Thompson inequality for T product tensors; (3) Jensen T product inequality; (4) Klein T product inequality. All these inequalities are related to generalize celebrated Lieb concavity theorem from matrices to T product tensors. This new version of Lieb concavity theorem under T product tensor will be used to determine the tail bound for the maximum eigenvalue induced by independent sums of random Hermitian T product, which is the key tool to derive various new tail bounds for random T product tensors. Besides, Qi et. al introduces a new concept, named eigentuple, about T product tensors and they apply this concept to study nonnegative (positive) definite properties of T product tensors. The final main contribution of this work is to develop the Courant Fischer Theorem with respect to eigentuples, and this theorem helps us to understand the relationship between the minimum eigentuple and the maximum eigentuple. The main content of this paper is Part I of a serious task about T product tensors. The Part II of this work will utilize these new inequalities and Courant Fischer Theorem under T product tensors to derive tail bounds of the extreme eigenvalue and the maximum eigentuple for sums of random T product tensors, e.g., T product tensor Chernoff and T product tensor Bernstein bounds.
△ Less
Submitted 10 August, 2021; v1 submitted 13 July, 2021;
originally announced July 2021.
-
T product Tensors Part II: Tail Bounds for Sums of Random T product Tensors
Authors:
Shih Yu Chang,
Yimin Wei
Abstract:
This paper is the Part II of a serious work about T product tensors focusing at establishing new probability bounds for sums of random, independent, T product tensors. These probability bounds characterize large deviation behavior of the extreme eigenvalue of the sums of random T product tensors. We apply Lapalace transform method and Lieb concavity theorem for T product tensors obtained from our…
▽ More
This paper is the Part II of a serious work about T product tensors focusing at establishing new probability bounds for sums of random, independent, T product tensors. These probability bounds characterize large deviation behavior of the extreme eigenvalue of the sums of random T product tensors. We apply Lapalace transform method and Lieb concavity theorem for T product tensors obtained from our Part I paper, and apply these tools to generalize the classical bounds associated with the names Chernoff, and Bernstein from the scalar to the T product tensor setting. Tail bounds for the norm of a sum of random rectangular T product tensors are also derived from corollaries of random Hermitian T product tensors cases. The proof mechanism is also applied to T product tensor valued martingales and T product tensor based Azuma, Hoeffding and McDiarmid inequalities are derived.
△ Less
Submitted 8 December, 2021; v1 submitted 13 July, 2021;
originally announced July 2021.
-
On compactness conformally compact Einstein manifolds and uniqueness of Graham-Lee metrics, III
Authors:
Sun-Yung A. Chang,
Yuxin Ge,
Xiaoshang **,
Jie Qing
Abstract:
In this paper, we establish a compactness result for a class of conformally compact Einstein metrics defined on manifolds of dimension $d\ge 4$. As an application, we derive the global uniqueness of a class of conformally compact Einstein metric defined on the $d$-dimensional ball constructed in the earlier work of Graham-Lee with $d\ge 4$. As a second application, we establish some gap phenomenon…
▽ More
In this paper, we establish a compactness result for a class of conformally compact Einstein metrics defined on manifolds of dimension $d\ge 4$. As an application, we derive the global uniqueness of a class of conformally compact Einstein metric defined on the $d$-dimensional ball constructed in the earlier work of Graham-Lee with $d\ge 4$. As a second application, we establish some gap phenomenon for a class of conformal invariants.
△ Less
Submitted 7 July, 2021;
originally announced July 2021.
-
Quasiconformal Flows on non-Conformally Flat Spheres
Authors:
Sun-Yung Alice Chang,
Eden Prywes,
Paul Yang
Abstract:
We study integral curvature conditions for a Riemannian metric $g$ on $S^4$ that quantify the best bilipschitz constant between $(S^4,g)$ and the standard metric on $S^4$. Our results show that the best bilipschitz constant is controlled by the $L^2$-norm of the Weyl tensor and the $L^1$-norm of the $Q$-curvature, under the conditions that those quantities are sufficiently small, $g$ has a positiv…
▽ More
We study integral curvature conditions for a Riemannian metric $g$ on $S^4$ that quantify the best bilipschitz constant between $(S^4,g)$ and the standard metric on $S^4$. Our results show that the best bilipschitz constant is controlled by the $L^2$-norm of the Weyl tensor and the $L^1$-norm of the $Q$-curvature, under the conditions that those quantities are sufficiently small, $g$ has a positive Yamabe constant and the $Q$-curvature is mean-positive. The proof of the result is achieved in two steps. Firstly, we construct a quasiconformal map between two conformally related metrics in a positive Yamabe class. Secondly, we apply the Ricci flow to establish the bilipschitz equivalence from such a conformal class to the standard conformal class on $S^4$.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Primitive normalisers in quasipolynomial time
Authors:
Mun See Chang,
Colva M. Roney-Dougal
Abstract:
The normaliser problem has as input two subgroups $H$ and $K$ of the symmetric group $S_n$, and asks for a generating set for $N_K(H)$: it is not known to have a subexponential time solution. It is proved in [Roney-Dougal & Siccha, 2020] that if $H$ is primitive then the normaliser problem can be solved in quasipolynomial time. We show that for all subgroups $H$ and $K$ of $S_n$, in quasipolynomia…
▽ More
The normaliser problem has as input two subgroups $H$ and $K$ of the symmetric group $S_n$, and asks for a generating set for $N_K(H)$: it is not known to have a subexponential time solution. It is proved in [Roney-Dougal & Siccha, 2020] that if $H$ is primitive then the normaliser problem can be solved in quasipolynomial time. We show that for all subgroups $H$ and $K$ of $S_n$, in quasipolynomial time we can decide whether $N_{S_n}(H)$ is primitive, and if so compute $N_K(H)$. Hence we reduce the question of whether one can solve the normaliser problem in quasipolynomial time to the case where the normaliser is known not to be primitive.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Tensor Expander Chernoff Bounds
Authors:
Shih Yu Chang
Abstract:
The Chernoff bound is an important inequality relation in probability theory. The original version of the Chernoff bound is to give an exponential decreasing bound on the tail distribution of sums of independent random variables. Recent years, several works have been done by extending the original version of the Chernoff bound to high-dimensional random objects, e.g., random matrices, or/and to co…
▽ More
The Chernoff bound is an important inequality relation in probability theory. The original version of the Chernoff bound is to give an exponential decreasing bound on the tail distribution of sums of independent random variables. Recent years, several works have been done by extending the original version of the Chernoff bound to high-dimensional random objects, e.g., random matrices, or/and to consider the relaxation that there is no requirement of independent assumptions among random objects. In this work, we generalize the matrix expander Chernoff bound studied by Garg et al. at work: A Matrix Expander Chernoff Bound, to tensor expander Chernoff bounds. Our main tool is to develop new tensor norm inequalities based on log-majorization techniques. These new tensor norm inequalities are used to bound the expectation of Ky Fan norm of the random tensor exponential function, then tensor expander Chernoff bounds can be established. Compared with the matrix expander Chernoff bound, the tensor expander Chernoff bounds proved at this work contributes following aspects: (1) the random objects dimensions are increased from matrices (two-dimensional data array) to tensors (multidimensional data array); (2) this bound generalizes the identity map of the random objects summation to any polynomial function of the random objects summation; (3) Ky Fan norm, instead only the maximum or the minimum eigenvalues, for the function of the random objects summation is considered; (4) we remove the restriction about the summation of all mapped random objects is zero, which is required in the matrix expander Chernoff bound derivation.
△ Less
Submitted 16 May, 2021; v1 submitted 13 May, 2021;
originally announced May 2021.
-
General Tail Bounds for Random Tensors Summation: Majorization Approach
Authors:
Shih Yu Chang
Abstract:
In recent years, tensors have been applied to different applications in science and engineering fields. In order to establish theory about tail bounds of the tensors summation behavior, this work extends previous work by considering the tensors summation tail behavior of the top $k$-largest singular values of a function of the tensors summation, instead of the largest/smallest singular value of th…
▽ More
In recent years, tensors have been applied to different applications in science and engineering fields. In order to establish theory about tail bounds of the tensors summation behavior, this work extends previous work by considering the tensors summation tail behavior of the top $k$-largest singular values of a function of the tensors summation, instead of the largest/smallest singular value of the tensors summation directly (identity function) explored in Shih Yu's work: Convenient tail bounds for sums of random tensors. Majorization and antisymmetric tensor product tools are main techniques utilized to establish inequalities for unitarily norms of multivariate tensors. The Laplace transform method is integrated with these inequalities for unitarily norms of multivariate tensors to give us tail bounds estimation for Ky Fan $k$-norm for a function of the tensors summation. By restricting different random tensor conditions, we obtain generalized tensor Chernoff and Bernstein inequalities.
△ Less
Submitted 3 October, 2021; v1 submitted 13 May, 2021;
originally announced May 2021.
-
Convenient tail bounds for sums of random tensors
Authors:
Shih Yu Chang
Abstract:
This work prepares new probability bounds for sums of random, independent, Hermitian tensors. These probability bounds characterize large-deviation behavior of the extreme eigenvalue of the sums of random tensors. We extend Lapalace transform method and Lieb's concavity theorem from matrices to tensors, and apply these tools to generalize the classical bounds associated with the names Chernoff, Be…
▽ More
This work prepares new probability bounds for sums of random, independent, Hermitian tensors. These probability bounds characterize large-deviation behavior of the extreme eigenvalue of the sums of random tensors. We extend Lapalace transform method and Lieb's concavity theorem from matrices to tensors, and apply these tools to generalize the classical bounds associated with the names Chernoff, Bennett, and Bernstein from the scalar to the tensor setting. Tail bounds for the norm of a sum of random rectangular tensors are also derived from corollaries of random Hermitian tensors cases. The proof mechanism can also be applied to tensor-valued martingales and tensor-based Azuma, Hoeffding and McDiarmid inequalities are established.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.