Showing 1–50 of 50 results for author: Chu, C

A Linearly Convergent Algorithm for Computing the Petz-Augustin Information

Authors: Chun-Neng Chu, Wei-Fu Tseng, Yen-Huan Li

Abstract: We propose an iterative algorithm for computing the Petz-Augustin information of order $α\in(1/2,1)\cup(1,\infty)$. The optimization error is guaranteed to converge at a rate of $O\left(\vert 1-1/α\vert^T\right)$, where $T$ is the number of iterations. Let $n$ denote the cardinality of the input alphabet of the classical-quantum channel, and $d$ the dimension of the quantum states. The algorithm h… ▽ More We propose an iterative algorithm for computing the Petz-Augustin information of order $α\in(1/2,1)\cup(1,\infty)$. The optimization error is guaranteed to converge at a rate of $O\left(\vert 1-1/α\vert^T\right)$, where $T$ is the number of iterations. Let $n$ denote the cardinality of the input alphabet of the classical-quantum channel, and $d$ the dimension of the quantum states. The algorithm has an initialization time complexity of $O\left(n d^{3}\right)$ and a per-iteration time complexity of $O\left(n d^{2}+d^3\right)$. To the best of our knowledge, this is the first algorithm for computing the Petz-Augustin information with a non-asymptotic convergence guarantee. △ Less

Submitted 10 February, 2025; originally announced February 2025.

Comments: QIP 2025 poster

Existence of 5 minimal tori in 3-spheres of positive Ricci curvature

Authors: Adrian Chun-Pong Chu, Yangyang Li

Abstract: In 1989, B. White conjectured that every Riemannian 3-sphere has at least 5 embedded minimal tori. We confirm this conjecture for 3-spheres of positive Ricci curvature. While our proof uses min-max theory, the underlying heuristics are largely inspired by mean curvature flow. In 1989, B. White conjectured that every Riemannian 3-sphere has at least 5 embedded minimal tori. We confirm this conjecture for 3-spheres of positive Ricci curvature. While our proof uses min-max theory, the underlying heuristics are largely inspired by mean curvature flow. △ Less

Submitted 14 September, 2024; originally announced September 2024.

Comments: 104 pages

A geometric characterisation of real C*-algebras

Authors: Cho-Ho Chu

Abstract: We characterise the positive cone of a real C*-algebra geometrically. Given an open cone $Ω$ in a real Banach space $V$, with closure $\overline Ω$, we show that $Ω$ is the interior of the positive cone of a unital real C*-algebra if and only if it is a Finsler symmetric cone with an orientable extension, which is equivalent to the condition that $V$ is, in an equivalent norm, the hermitian part o… ▽ More We characterise the positive cone of a real C*-algebra geometrically. Given an open cone $Ω$ in a real Banach space $V$, with closure $\overline Ω$, we show that $Ω$ is the interior of the positive cone of a unital real C*-algebra if and only if it is a Finsler symmetric cone with an orientable extension, which is equivalent to the condition that $V$ is, in an equivalent norm, the hermitian part of a unital real C*-algebra with positive cone $\overlineΩ$. △ Less

Submitted 19 March, 2024; originally announced March 2024.

MSC Class: 46L05

Journal ref: Science China Mathematics 2023

A strong multiplicity one theorem in min-max theory

Authors: Adrian Chun-Pong Chu, Yangyang Li

Abstract: It was asked by Marques-Neves [MN17, Section 9] which min-max p-widths of the unit 3-sphere lie strictly between $2π^2$ and $8π$. We show that the 10th to the 13th widths do. More generally, we strengthen X. Zhou's multiplicity one theorem: We prove that in any closed manifold of dimension between 3 and 7 with a bumpy metric or a metric of positive Ricci curvature, for any min-max p-width, there… ▽ More It was asked by Marques-Neves [MN17, Section 9] which min-max p-widths of the unit 3-sphere lie strictly between $2π^2$ and $8π$. We show that the 10th to the 13th widths do. More generally, we strengthen X. Zhou's multiplicity one theorem: We prove that in any closed manifold of dimension between 3 and 7 with a bumpy metric or a metric of positive Ricci curvature, for any min-max p-width, there exists a minimizing sequence of sweepouts that only detects multiplicity one minimal hypersurfaces. △ Less

Submitted 30 September, 2023; v1 submitted 14 September, 2023; originally announced September 2023.

Genus one singularities in mean curvature flow

Authors: Adrian Chun-Pong Chu, Ao Sun

Abstract: We show that for certain one-parameter families of initial conditions in $\mathbb R^3$, when we run mean curvature flow, a genus one singularity must appear in one of the flows. Moreover, such a singularity is robust under perturbation of the family of initial conditions. This contrasts sharply with the case of just a single flow. As an application, we construct an embedded, genus one self-shrinke… ▽ More We show that for certain one-parameter families of initial conditions in $\mathbb R^3$, when we run mean curvature flow, a genus one singularity must appear in one of the flows. Moreover, such a singularity is robust under perturbation of the family of initial conditions. This contrasts sharply with the case of just a single flow. As an application, we construct an embedded, genus one self-shrinker with entropy lower than a shrinking doughnut. △ Less

Submitted 6 March, 2025; v1 submitted 10 August, 2023; originally announced August 2023.

Comments: 37 pages. Accepted by Geometry & Topology. v3: We added a remark to address the genus one example by Buzano-Nguyen-Schulz and their numerical simulation

Horofunctions and metric compactification of noncompact Hermitian symmetric spaces

Authors: Cho-Ho Chu, María Cueto-Avellaneda, Bas Lemmens

Abstract: Given a Hermitian symmetric space $M$ of noncompact type, we give a complete description of the horofunctions in the metric compactification of $M$ with respect to the Carathéodory distance, via the realisation of $M$ as the open unit ball $D$ of a Banach space $(V,\|\cdot\|)$ equipped with a Jordan structure, called a $\mathrm{JB}^*$-triple. The Carathéodory distance $ρ$ on $D$ has a Finsler stru… ▽ More Given a Hermitian symmetric space $M$ of noncompact type, we give a complete description of the horofunctions in the metric compactification of $M$ with respect to the Carathéodory distance, via the realisation of $M$ as the open unit ball $D$ of a Banach space $(V,\|\cdot\|)$ equipped with a Jordan structure, called a $\mathrm{JB}^*$-triple. The Carathéodory distance $ρ$ on $D$ has a Finsler structure. It is the integrated distance of the Carathéodory differential metric, and the norm $\|\cdot\|$ in the realisation is the Carathéodory norm with respect to the origin $0\in D$. We also identify the horofunctions of the metric compactification of $(V,\|\cdot\|)$ and relate its geometry and global topology to the closed dual unit ball (i.e., the polar of $D$). Moreover, we show that the exponential map $\exp_0 \colon V \longrightarrow D$ at $0\in D$ extends to a homeomorphism between the metric compactifications of $(V,\|\cdot\|)$ and $(D,ρ)$, preserving the geometric structure. Consequently, the metric compactification of $M$ admits a concrete realisation as the closed dual unit ball of $(V,\|\cdot\|)$. △ Less

Submitted 14 September, 2022; originally announced September 2022.

Comments: 39 pages

MSC Class: 32M15; 17C65; 46L70; 53C60

Journal ref: Ann. Mat. Pura Appl. (4), (203)(4), (2024), 1703-1751

A free boundary minimal surface via a 6-sweepout

Authors: Adrian Chun-Pong Chu

Abstract: We prove that the Almgren-Pitts 6-width of the unit 3-ball is less than $2π$. We also prove that there exists a free boundary minimal surface in the unit 3-ball that has genus at most 1, index at most 5, area less than $2π$, and is not the equatorial disk or the critical catenoid. We prove that the Almgren-Pitts 6-width of the unit 3-ball is less than $2π$. We also prove that there exists a free boundary minimal surface in the unit 3-ball that has genus at most 1, index at most 5, area less than $2π$, and is not the equatorial disk or the critical catenoid. △ Less

Submitted 15 May, 2023; v1 submitted 13 August, 2022; originally announced August 2022.

Comments: Accepted by J. Geom. Anal. Abstract updated

SHREC 2022: Fitting and recognition of simple geometric primitives on point clouds

Authors: Chiara Romanengo, Andrea Raffo, Silvia Biasotti, Bianca Falcidieno, Vlassis Fotis, Ioannis Romanelis, Eleftheria Psatha, Konstantinos Moustakas, Ivan Sipiran, Quang-Thuc Nguyen, Chi-Bien Chu, Khoi-Nguyen Nguyen-Ngoc, Dinh-Khoi Vo, Tuan-An To, Nham-Tan Nguyen, Nhat-Quynh Le-Pham, Hai-Dang Nguyen, Minh-Triet Tran, Yifan Qie, Nabil Anwer

Abstract: This paper presents the methods that have participated in the SHREC 2022 track on the fitting and recognition of simple geometric primitives on point clouds. As simple primitives we mean the classical surface primitives derived from constructive solid geometry, i.e., planes, spheres, cylinders, cones and tori. The aim of the track is to evaluate the quality of automatic algorithms for fitting and… ▽ More This paper presents the methods that have participated in the SHREC 2022 track on the fitting and recognition of simple geometric primitives on point clouds. As simple primitives we mean the classical surface primitives derived from constructive solid geometry, i.e., planes, spheres, cylinders, cones and tori. The aim of the track is to evaluate the quality of automatic algorithms for fitting and recognising geometric primitives on point clouds. Specifically, the goal is to identify, for each point cloud, its primitive type and some geometric descriptors. For this purpose, we created a synthetic dataset, divided into a training set and a test set, containing segments perturbed with different kinds of point cloud artifacts. Among the six participants to this track, two are based on direct methods, while four are either fully based on deep learning or combine direct and neural approaches. The performance of the methods is evaluated using various classification and approximation measures. △ Less

Submitted 7 July, 2022; v1 submitted 15 June, 2022; originally announced June 2022.

MSC Class: 68U05; 68U07; 65D18; 65D17 ACM Class: G.1.2; I.3.5; I.5.4

Journal ref: Computers & Graphics 107 (2022) 32-49

A Gleason-Kahane-Żelazko theorem for reproducing kernel Hilbert spaces

Authors: Cheng Chu, Michael Hartz, Javad Mashreghi, Thomas Ransford

Abstract: We establish the following Hilbert-space analogue of the Gleason-Kahane-Żelazko theorem. If $\mathcal{H}$ is a reproducing kernel Hilbert space with a normalized complete Pick kernel, and if $Λ$ is a linear functional on $\mathcal{H}$ such that $Λ(1)=1$ and $Λ(f)\ne0$ for all cyclic functions $f\in\mathcal{H}$, then $Λ$ is multiplicative, in the sense that $Λ(fg)=Λ(f)Λ(g)$ for all… ▽ More We establish the following Hilbert-space analogue of the Gleason-Kahane-Żelazko theorem. If $\mathcal{H}$ is a reproducing kernel Hilbert space with a normalized complete Pick kernel, and if $Λ$ is a linear functional on $\mathcal{H}$ such that $Λ(1)=1$ and $Λ(f)\ne0$ for all cyclic functions $f\in\mathcal{H}$, then $Λ$ is multiplicative, in the sense that $Λ(fg)=Λ(f)Λ(g)$ for all $f,g\in\mathcal{H}$ such that $fg\in\mathcal{H}$. Moreover $Λ$ is automatically continuous. We give examples to show that the theorem fails if the hypothesis of a complete Pick kernel is omitted. We also discuss conditions under which $Λ$ has to be a point evaluation. △ Less

Submitted 20 August, 2021; v1 submitted 4 November, 2020; originally announced November 2020.

MSC Class: 46E22 (primary); 46H40 (secondary)

Siegel domains over Finsler symmetric cones

Authors: Cho-Ho Chu

Abstract: Let $Ω$ be a proper open cone in a real Banach space $V$. We show that the tube domain $V \oplus iΩ$ over $Ω$ is biholomorphic to a bounded symmetric domain if and only if $Ω$ is a normal linearly homogeneous Finsler symmetric cone, which is equivalent to the condition that $V$ is a unital JB-algebra in an equivalent norm and $Ω$ is the interior of $\{v^2: v\in V\}$. Let $Ω$ be a proper open cone in a real Banach space $V$. We show that the tube domain $V \oplus iΩ$ over $Ω$ is biholomorphic to a bounded symmetric domain if and only if $Ω$ is a normal linearly homogeneous Finsler symmetric cone, which is equivalent to the condition that $V$ is a unital JB-algebra in an equivalent norm and $Ω$ is the interior of $\{v^2: v\in V\}$. △ Less

Submitted 11 June, 2020; originally announced June 2020.

MSC Class: 58B20; 32M15; 22E65; 17C65; 46B40

Product of truncated Hankel and truncated Toeplitz operators

Authors: Cheng Chu

Abstract: A truncated Toeplitz operator is the compression of a classical Toeplitz operator on the Hardy space to a model space. A truncated Hankel operator is the compression of a Hankel operator on the Hardy space to the orthogonal complement of a model space. We study the product of a truncated Hankel operator and a truncated Toeplitz operator, and characterize when such a product is zero or compact. A truncated Toeplitz operator is the compression of a classical Toeplitz operator on the Hardy space to a model space. A truncated Hankel operator is the compression of a Hankel operator on the Hardy space to the orthogonal complement of a model space. We study the product of a truncated Hankel operator and a truncated Toeplitz operator, and characterize when such a product is zero or compact. △ Less

Submitted 5 April, 2020; originally announced April 2020.

Randomized Bregman Coordinate Descent Methods for Non-Lipschitz Optimization

Authors: Tianxiang Gao, Songtao Lu, Jia Liu, Chris Chu

Abstract: We propose a new \textit{randomized Bregman (block) coordinate descent} (RBCD) method for minimizing a composite problem, where the objective function could be either convex or nonconvex, and the smooth part are freed from the global Lipschitz-continuous (partial) gradient assumption. Under the notion of relative smoothness based on the Bregman distance, we prove that every limit point of the gene… ▽ More We propose a new \textit{randomized Bregman (block) coordinate descent} (RBCD) method for minimizing a composite problem, where the objective function could be either convex or nonconvex, and the smooth part are freed from the global Lipschitz-continuous (partial) gradient assumption. Under the notion of relative smoothness based on the Bregman distance, we prove that every limit point of the generated sequence is a stationary point. Further, we show that the iteration complexity of the proposed method is $O(n\varepsilon^{-2})$ to achieve $ε$-stationary point, where $n$ is the number of blocks of coordinates. If the objective is assumed to be convex, the iteration complexity is improved to $O(nε^{-1} )$. If, in addition, the objective is strongly convex (relative to the reference function), the global linear convergence rate is recovered. We also present the accelerated version of the RBCD method, which attains an $O(n\varepsilon^{-1/γ} )$ iteration complexity for the convex case, where the scalar $γ\in [1,2]$ is determined by the \textit{generalized translation variant} of the Bregman distance. Convergence analysis without assuming the global Lipschitz-continuous (partial) gradient sets our results apart from the existing works in the composite problems. △ Less

Submitted 15 January, 2020; originally announced January 2020.

Comments: First draft

Leveraging Two Reference Functions in Block Bregman Proximal Gradient Descent for Non-convex and Non-Lipschitz Problems

Authors: Tianxiang Gao, Songtao Lu, Jia Liu, Chris Chu

Abstract: In the applications of signal processing and data analytics, there is a wide class of non-convex problems whose objective function is freed from the common global Lipschitz continuous gradient assumption (e.g., the nonnegative matrix factorization (NMF) problem). Recently, this type of problem with some certain special structures has been solved by Bregman proximal gradient (BPG). This inspires us… ▽ More In the applications of signal processing and data analytics, there is a wide class of non-convex problems whose objective function is freed from the common global Lipschitz continuous gradient assumption (e.g., the nonnegative matrix factorization (NMF) problem). Recently, this type of problem with some certain special structures has been solved by Bregman proximal gradient (BPG). This inspires us to propose a new Block-wise two-references Bregman proximal gradient (B2B) method, which adopts two reference functions so that a closed-form solution in the Bregman projection is obtained. Based on the relative smoothness, we prove the global convergence of the proposed algorithms for various block selection rules. In particular, we establish the global convergence rate of $O(\frac{\sqrt{s}}{\sqrt{k}})$ for the greedy and randomized block updating rule for B2B, which is $O(\sqrt{s})$ times faster than the cyclic variant, i.e., $O(\frac{s}{\sqrt{k}} )$, where $s$ is the number of blocks, and $k$ is the number of iterations. Multiple numerical results are provided to illustrate the superiority of the proposed B2B compared to the state-of-the-art works in solving NMF problems. △ Less

Submitted 16 December, 2019; originally announced December 2019.

Comments: Submit to TSP

Which de Branges-Rovnyak spaces have complete Nevanlinna-Pick property?

Authors: Cheng Chu

Abstract: We characterize the de Branges-Rovnyak spaces with complete Nevanlinna-Pick property. Our method relies on the general theory of reproducing kernel Hilbert spaces. We characterize the de Branges-Rovnyak spaces with complete Nevanlinna-Pick property. Our method relies on the general theory of reproducing kernel Hilbert spaces. △ Less

Submitted 11 March, 2020; v1 submitted 10 October, 2019; originally announced October 2019.

Hierarchical Distributed Framework for EV Charging Scheduling Using Exchange Problem

Authors: Behnam Khaki, Chicheng Chu, Rajit Gadh

Abstract: In this paper, a distributed trilayer multi-agent framework is proposed for optimal electric vehicle charging scheduling (EVCS). The framework reduces the negative effects of electric vehicle charging demand on the electrical grids. To solve the scheduling problem, a novel hierarchical distributed EV charging scheduling (HDEVCS) is developed as the \textit{exchange problem}, where the agents are c… ▽ More In this paper, a distributed trilayer multi-agent framework is proposed for optimal electric vehicle charging scheduling (EVCS). The framework reduces the negative effects of electric vehicle charging demand on the electrical grids. To solve the scheduling problem, a novel hierarchical distributed EV charging scheduling (HDEVCS) is developed as the \textit{exchange problem}, where the agents are clustered based on their coupling constraints. According to the separability of the agents' objectives and the clusters' coupled constraints, HDEVCS is solved efficiently in a distributed manner by the alternating direction method of multipliers. Comparing to the exiting trilayer methods, HDEVCS reduces the convergence time and the iteration numbers since its structure allows the agents to update their primal optimization variable simultaneously. The performance of HDEVCS is evaluated by numerical simulation of two small- and large- scale case studies consisting of $306$ and $9051$ agents, respectively. The results verify the scalability and efficiency of the proposed method, as it reduces the convergence time and iteration numbers by $60\%$ compared to the state-of-the-art methods, flattens the load profile and decreases the charging cost considerably without violating the grid feeders' capacity. The significant outcome of our method is the accommodation of a large EV population without investment in grid expansion. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Comments: 37 pages

Hierarchical Distributed EV Charging Scheduling in Distribution Grids

Authors: Behnam Khaki, Yu-Wei Chung, Chicheng Chu, Rajit Gadh

Abstract: In this paper, a hierarchical distributed method consisting of two iterative procedures is proposed for optimal electric vehicle charging scheduling (EVCS) in the distribution grids. In the proposed method, the distribution system operator (DSO) aims at reducing the grid loss while satisfying the power flow constraints. This is achieved by a consensus-based iterative procedure with the EV aggregat… ▽ More In this paper, a hierarchical distributed method consisting of two iterative procedures is proposed for optimal electric vehicle charging scheduling (EVCS) in the distribution grids. In the proposed method, the distribution system operator (DSO) aims at reducing the grid loss while satisfying the power flow constraints. This is achieved by a consensus-based iterative procedure with the EV aggregators (Aggs) located in the grid buses. The goal of aggregators, which are equipped with the battery energy storage (BES), is to reduce their electricity cost by optimal control of BES and EVs. As Aggs' optimization problem increases dimensionally by increasing the number of EVs, they solved their problem through another iterative procedure with their customers. This procedure is implementable by exploiting the mathematical properties of the problem and rewriting Aggs' optimization problem as the \textit{sharing problem}, which is solved efficiently by the alternating direction method of multipliers (ADMM). To validate the performance, the proposed method is applied to IEEE-13 bus system. △ Less

Submitted 27 March, 2019; v1 submitted 6 December, 2018; originally announced December 2018.

Comments: This paper has been accepted to IEEE PES General Meeting 2019

Infinitely many solutions of a class of elliptic equations with variable exponent

Authors: Chang-Mu Chu, Haidong Liu

Abstract: This paper is concerned with the $p(x)$-Laplacian equation of the form \begin{equation}\label{eq0.1} \left\{\begin{array}{ll} -Δ_{p(x)} u=Q(x)|u|^{r(x)-2}u, &\mbox{in}\ Ω,\\ u=0, &\mbox{on}\ \partial Ω, \end{array}\right. \end{equation} where $Ω\subset\R^N$ is a smooth bounded domain, $1<p^-=\min_{x\in\overlineΩ}p(x)\leq p(x)\leq\max_{x\in\overlineΩ}p(x)=p^+<N$,… ▽ More This paper is concerned with the $p(x)$-Laplacian equation of the form \begin{equation}\label{eq0.1} \left\{\begin{array}{ll} -Δ_{p(x)} u=Q(x)|u|^{r(x)-2}u, &\mbox{in}\ Ω,\\ u=0, &\mbox{on}\ \partial Ω, \end{array}\right. \end{equation} where $Ω\subset\R^N$ is a smooth bounded domain, $1<p^-=\min_{x\in\overlineΩ}p(x)\leq p(x)\leq\max_{x\in\overlineΩ}p(x)=p^+<N$, $1\leq r(x)<p^{*}(x)=\frac{Np(x)}{N-p(x)}$, $r^-=\min_{x\in \overlineΩ}r(x)<p^-$, $r^+=\max_{x\in\overlineΩ}r(x)>p^+$ and $Q: \overlineΩ\to\R$ is a nonnegative continuous function. We prove that \eqref{eq0.1} has infinitely many small solutions and infinitely many large solutions by using the Clark's theorem and the symmetric mountain pass lemma. △ Less

Submitted 19 October, 2018; originally announced October 2018.

Reducing Subspaces of de Branges-Rovnyak Spaces

Authors: Cheng Chu

Abstract: For $b\in H^\infty_1$, the closed unit ball of $H^\infty$, the de Branges-Rovnyak spaces $\mathcal{H}(b)$ is a Hilbert space contractively contained in the Hardy space $H^2$ that is invariant by the backward shift operator $S^*$. We consider the reducing subspaces of the operator $S^{*2}|_{\mathcal{H}(b)}$. When $b$ is an inner function, $S^{*2}|_{\mathcal{H}(b)}$ is a truncated Toepltiz operato… ▽ More For $b\in H^\infty_1$, the closed unit ball of $H^\infty$, the de Branges-Rovnyak spaces $\mathcal{H}(b)$ is a Hilbert space contractively contained in the Hardy space $H^2$ that is invariant by the backward shift operator $S^*$. We consider the reducing subspaces of the operator $S^{*2}|_{\mathcal{H}(b)}$. When $b$ is an inner function, $S^{*2}|_{\mathcal{H}(b)}$ is a truncated Toepltiz operator and its reducibility was characterized by Douglas and Foias using model theory. We use another approach to extend their result to the case where $b$ is extreme. We prove that if $b$ is extreme but not inner, then $S^{*2}|_{\mathcal{H}(b)}$ is reducible if and only if $b$ is even or odd, and describe the structure of reducing subspaces. △ Less

Submitted 2 October, 2018; originally announced October 2018.

Infinite dimensional holomorphic homogeneous regular domains

Authors: Cho-Ho Chu, Kang-Tae Kim, Sejun Kim

Abstract: We extend the concept of a finite dimensional {\it holomorphic homogeneous regular} (HHR) domain and some of its properties to the infinite dimensional setting. In particular, we show that infinite dimensional HHR domains are domains of holomorphy and determine completely the class of infinite dimensional bounded symmetric domains which are HHR. We compute the greatest lower bound of the squeezing… ▽ More We extend the concept of a finite dimensional {\it holomorphic homogeneous regular} (HHR) domain and some of its properties to the infinite dimensional setting. In particular, we show that infinite dimensional HHR domains are domains of holomorphy and determine completely the class of infinite dimensional bounded symmetric domains which are HHR. We compute the greatest lower bound of the squeezing function of all HHR bounded symmetric domains, including the two exceptional domains. We also show that uniformly elliptic domains in Hilbert spaces are HHR. △ Less

Submitted 25 November, 2020; v1 submitted 10 August, 2018; originally announced August 2018.

Comments: 21 pages, 0 figures

MSC Class: Primary 58B12; 32H02; 32M15; 32T05; Secondary 17C65; 32F45

Journal ref: J. Geom. Anal. 30 (2020) 223-247

Hilbert Spaces Contractively Contained in Weighted Bergman Spaces on the Unit Disk

Authors: Cheng Chu

Abstract: Sub-Bergman Hilbert spaces are analogues of de Branges-Rovnyak spaces in the Bergman space setting. They are reproducing kernel Hilbert spaces contractively contained in the Bergman space of the unit disk. K. Zhu analyzed sub-Bergman Hilbert spaces associated with finite Blaschke products, and proved that they are norm equivalent to the Hardy space. Later S. Sultanic found a different proof of Zhu… ▽ More Sub-Bergman Hilbert spaces are analogues of de Branges-Rovnyak spaces in the Bergman space setting. They are reproducing kernel Hilbert spaces contractively contained in the Bergman space of the unit disk. K. Zhu analyzed sub-Bergman Hilbert spaces associated with finite Blaschke products, and proved that they are norm equivalent to the Hardy space. Later S. Sultanic found a different proof of Zhu's result, which works in weighted Bergman space settings as well. In this paper, we give a new approach to this problem and obtain a stronger result. Our method relies on the theory of reproducing kernel Hilbert spaces. △ Less

Submitted 14 November, 2018; v1 submitted 22 July, 2018; originally announced July 2018.

Density of Polynomials in Sub-Bergman Hilbert Spaces

Authors: Cheng Chu

Abstract: The sub-Bergman Hilbert spaces are analogues of de BrangesRovnyak spaces in the Bergman space setting. We prove that the polynomials are dense in sub-Bergman Hilbert spaces. This answers the question posted by Zhu in the affirmative. The sub-Bergman Hilbert spaces are analogues of de BrangesRovnyak spaces in the Bergman space setting. We prove that the polynomials are dense in sub-Bergman Hilbert spaces. This answers the question posted by Zhu in the affirmative. △ Less

Submitted 29 June, 2018; originally announced June 2018.

DID: Distributed Incremental Block Coordinate Descent for Nonnegative Matrix Factorization

Authors: Tianxiang Gao, Chris Chu

Abstract: Nonnegative matrix factorization (NMF) has attracted much attention in the last decade as a dimension reduction method in many applications. Due to the explosion in the size of data, naturally the samples are collected and stored distributively in local computational nodes. Thus, there is a growing need to develop algorithms in a distributed memory architecture. We propose a novel distributed algo… ▽ More Nonnegative matrix factorization (NMF) has attracted much attention in the last decade as a dimension reduction method in many applications. Due to the explosion in the size of data, naturally the samples are collected and stored distributively in local computational nodes. Thus, there is a growing need to develop algorithms in a distributed memory architecture. We propose a novel distributed algorithm, called \textit{distributed incremental block coordinate descent} (DID), to solve the problem. By adapting the block coordinate descent framework, closed-form update rules are obtained in DID. Moreover, DID performs updates incrementally based on the most recently updated residual matrix. As a result, only one communication step per iteration is required. The correctness, efficiency, and scalability of the proposed algorithm are verified in a series of numerical experiments. △ Less

Submitted 24 February, 2018; originally announced February 2018.

Comments: Accepted by AAAI 2018

Real-Time Bi-directional Electric Vehicle Charging Control with Distribution Grid Implementation

Authors: Yingqi Xiong, Behnam Khaki, Chi-cheng Chu, Rajit Gadh

Abstract: As electric vehicle (EV) adoption is growing year after year, there is no doubt that EVs will occupy a significant portion of transporting vehicle in the near future. Although EVs have benefits for environment, large amount of un-coordinated EV charging will affect the power grid and degrade power quality. To alleviate negative effects of EV charging load and turn them to opportunities, a decentra… ▽ More As electric vehicle (EV) adoption is growing year after year, there is no doubt that EVs will occupy a significant portion of transporting vehicle in the near future. Although EVs have benefits for environment, large amount of un-coordinated EV charging will affect the power grid and degrade power quality. To alleviate negative effects of EV charging load and turn them to opportunities, a decentralized real-time control algorithm is developed in this paper to provide optimal scheduling of EV bi-directional charging. To evaluate the performance of the proposed algorithm, numerical simulation is performed based on real-world EV user data, and power flow analysis is carried out to show how the proposed algorithm improve power grid steady state operation. . The results show that the implementation of proposed algorithm can effectively coordinate bi-directional charging by 30% peak load shaving, more than 2% of voltage drop reduction, and 40% transmission line current decrease. △ Less

Submitted 8 November, 2017; originally announced November 2017.

Bounded Composition Operators and Multipliers of Some Reproducing Kernel Hilbert Spaces on the Bidisk

Authors: Cheng Chu

Abstract: We study the boundedness of composition operators on the bidisk using reproducing kernels. We show that a composition operator is bounded on the Hardy space of the bidisk if some associated function is a positive kernel. This positivity condition naturally leads to the study of the sub-Hardy Hilbert spaces of the bidisk, which are analogs of de Branges-Rovnyak spaces on the unit disk. We discuss m… ▽ More We study the boundedness of composition operators on the bidisk using reproducing kernels. We show that a composition operator is bounded on the Hardy space of the bidisk if some associated function is a positive kernel. This positivity condition naturally leads to the study of the sub-Hardy Hilbert spaces of the bidisk, which are analogs of de Branges-Rovnyak spaces on the unit disk. We discuss multipliers of those spaces and obtain some classes of bounded composition operators on the bidisk. △ Less

Submitted 29 June, 2018; v1 submitted 12 September, 2017; originally announced September 2017.

Normal Truncated Toeplitz Operators

Authors: Cheng Chu

Abstract: The characterization of normal truncated Toepltiz operators is first given by Chalendar and Timotin. We give an elementary proof of their result without using the algebraic properties of truncated Toeplitz operators. The characterization of normal truncated Toepltiz operators is first given by Chalendar and Timotin. We give an elementary proof of their result without using the algebraic properties of truncated Toeplitz operators. △ Less

Submitted 16 October, 2017; v1 submitted 12 September, 2017; originally announced September 2017.

Infinite dimensional Jordan algebras and symmetric cones

Authors: Cho-Ho Chu

Abstract: A celebrated result of Koecher and Vinberg asserts the one-one correspondence between the finite dimensional formally real Jordan algebras and Euclidean symmetric cones. We extend this result to the infinite dimensional setting. A celebrated result of Koecher and Vinberg asserts the one-one correspondence between the finite dimensional formally real Jordan algebras and Euclidean symmetric cones. We extend this result to the infinite dimensional setting. △ Less

Submitted 12 July, 2017; originally announced July 2017.

MSC Class: 17C65; 22E65; 46B40; 46H70

Distributed Optimal Vehicle Grid Integration Strategy with User Behavior Prediction

Authors: Yingqi Xiong, Bin Wang, Chi-cheng Chu, Rajit Gadh

Abstract: With the increasing of electric vehicle (EV) adoption in recent years, the impact of EV charging activities to the power grid becomes more and more significant. In this article, an optimal scheduling algorithm which combines smart EV charging and V2G gird service is developed to integrate EVs into power grid as distributed energy resources, with improved system cost performance. Specifically, an o… ▽ More With the increasing of electric vehicle (EV) adoption in recent years, the impact of EV charging activities to the power grid becomes more and more significant. In this article, an optimal scheduling algorithm which combines smart EV charging and V2G gird service is developed to integrate EVs into power grid as distributed energy resources, with improved system cost performance. Specifically, an optimization problem is formulated and solved at each EV charging station according to control signal from aggregated control center and user charging behavior prediction by mean estimation and linear regression. The control center collects distributed optimization results and updates the control signal, periodically. The iteration continues until it converges to optimal scheduling. Experimental result shows this algorithm helps fill the valley and shave the peak in electric load profiles within a microgrid, while the energy demand of individual driver can be satisfied. △ Less

Submitted 13 March, 2017; originally announced March 2017.

Comments: IEEE PES General Meeting 2017

Horoballs and iteration of holomorphic maps on bounded symmetric domains

Authors: Cho-Ho Chu, Michael Rigby

Abstract: Given a fixed-point free compact holomorphic self-map $f$ on a bounded symmetric domain $D$, which may be infinite dimensional, we establish the existence of a family $\{H(ξ, λ)\}_{λ>0}$ of convex $f$-invariant domains at a point $ξ$ in the boundary $\partial D$ of $D$, which generalises completely Wolff's theorem for the open unit disc in $\mathbb{C}$. Further, we construct horoballs at $ξ$ and s… ▽ More Given a fixed-point free compact holomorphic self-map $f$ on a bounded symmetric domain $D$, which may be infinite dimensional, we establish the existence of a family $\{H(ξ, λ)\}_{λ>0}$ of convex $f$-invariant domains at a point $ξ$ in the boundary $\partial D$ of $D$, which generalises completely Wolff's theorem for the open unit disc in $\mathbb{C}$. Further, we construct horoballs at $ξ$ and show that they are exactly the $f$-invariant domains when $D$ is of finite rank. Consequently, we show in the latter case that the limit functions of the iterates $(f^n)$ with weakly closed range all accumulate in one single boundary component of $\partial D$. △ Less

Submitted 28 December, 2016; originally announced December 2016.

Comments: 30 pages

MSC Class: 32H50; 32M15; 17C65; 58B12; 58C10

Separably injective $C_σ$-spaces

Authors: Cho-Ho Chu, Lei Li

Abstract: We show that a (complex) $C_σ$-space is separably injective if and only if it is linearly isometric to the Banach space $C_0(Ω)$ of complex continuous functions vanishing at infinity on a substonean locally compact Hausdorff space $Ω$. We show that a (complex) $C_σ$-space is separably injective if and only if it is linearly isometric to the Banach space $C_0(Ω)$ of complex continuous functions vanishing at infinity on a substonean locally compact Hausdorff space $Ω$. △ Less

Submitted 30 September, 2016; originally announced September 2016.

Separably injective C*-algebras

Authors: Cho-Ho Chu, Lei Li

Abstract: We show that a C*-algebra is a $1$-separably injective Banach space if, and only if, it is linearly isometric to the Banach space $C_0(Ω)$ of complex continuous functions vanishing at infinity on a substonean locally compact Hausdorff space $Ω$. We show that a C*-algebra is a $1$-separably injective Banach space if, and only if, it is linearly isometric to the Banach space $C_0(Ω)$ of complex continuous functions vanishing at infinity on a substonean locally compact Hausdorff space $Ω$. △ Less

Submitted 1 April, 2016; originally announced April 2016.

Cohomology of Jordan triples via Lie algebras

Authors: Cho-Ho Chu, Bernard Russo

Abstract: We develop a cohomology theory for Jordan triples, including the infinite dimensional ones, by means of the cohomology of TKK Lie algebras. This enables us to apply Lie cohomological results to the setting of Jordan triples. Some preliminary results for von Neumann algebras are obtained. We develop a cohomology theory for Jordan triples, including the infinite dimensional ones, by means of the cohomology of TKK Lie algebras. This enables us to apply Lie cohomological results to the setting of Jordan triples. Some preliminary results for von Neumann algebras are obtained. △ Less

Submitted 10 December, 2015; originally announced December 2015.

Comments: 27 pages, to appear in: Topics in Functional Analysis and Algebra, Proceedings of a special session of the USA-Uzbekistan Conference on Analysis and Mathematical Physics, CSU Fullerton, May 20-23, 2014, Contemporary Mathematics, 2016

MSC Class: Primary 17C65; 18G60; Secondary 46L70; 16W10

A Note on the Spectral Area of Toeplitz Operators

Authors: Cheng Chu, Dmitry Khavinson

Abstract: In this note, we show that for hyponormal Toeplitz operators, there exists a lower bound for the area of the spectrum. This extends the known estimate for the spectral area of Toeplitz operators with an analytic symbol. In this note, we show that for hyponormal Toeplitz operators, there exists a lower bound for the area of the spectrum. This extends the known estimate for the spectral area of Toeplitz operators with an analytic symbol. △ Less

Submitted 28 August, 2015; v1 submitted 23 March, 2015; originally announced March 2015.

Amenability, Reiter's condition and Liouville property

Authors: Cho-Ho Chu, Xin Li

Abstract: We show that the Liouville property and Reiter's condition are equivalent for semigroupoids. This result applies to semigroups as well as semigroup actions. In the special case of measured groupoids and locally compact groupoids, our result proves Kaimanovich's conjecture of the equivalence of amenability and the Liouville property. We show that the Liouville property and Reiter's condition are equivalent for semigroupoids. This result applies to semigroups as well as semigroup actions. In the special case of measured groupoids and locally compact groupoids, our result proves Kaimanovich's conjecture of the equivalence of amenability and the Liouville property. △ Less

Submitted 17 April, 2018; v1 submitted 3 December, 2014; originally announced December 2014.

Comments: To appear in Journal of Functional Analysis

MSC Class: Primary 20L05; 43A05; Secondary 20M30; 22A22; 45E10

Asymptotic Bohr Radius for the Polynomials in One Complex Variable

Authors: Cheng Chu

Abstract: We consider the Bohr radius $R_n$ for the class of complex polynomials in one variable of degree at most $n$. It was conjectured by R. Fournier in 2008 that $R_n={1\over 3}+{π^2\over {3n^2}}+o({1\over n^2})$. We shall prove this conjecture is true in this paper. We consider the Bohr radius $R_n$ for the class of complex polynomials in one variable of degree at most $n$. It was conjectured by R. Fournier in 2008 that $R_n={1\over 3}+{π^2\over {3n^2}}+o({1\over n^2})$. We shall prove this conjecture is true in this paper. △ Less

Submitted 3 April, 2014; v1 submitted 25 March, 2014; originally announced March 2014.

Compact Product of Hankel and Toeplitz Operators

Authors: Cheng Chu

Abstract: In this paper, we study the product of a Hankel operator and a Toeplitz operator on the Hardy space. We give necessary and sufficient conditions of when such a product $H_f T_g$ is compact. In this paper, we study the product of a Hankel operator and a Toeplitz operator on the Hardy space. We give necessary and sufficient conditions of when such a product $H_f T_g$ is compact. △ Less

Submitted 10 March, 2014; originally announced March 2014.

A Characterization of $\mathcal{M}_{A_1}(\mathbb{R}^n)$

Authors: Cheng Chu

Abstract: We characterize the set of all measurable functions on $\RR^n$ possessing an $A_1$ majorant, denoted as $\cM_{A_1}(\RR^n)$, by certain Banach function spaces. We prove that a function has an $A_1$ majorant if and only if it belongs to some Banach function space for which the Hardy-Littlewood maximal operator is bounded. This answers the question posted by G. Knese, J. M$^{c}$Carthy, and K. Moen. We characterize the set of all measurable functions on $\RR^n$ possessing an $A_1$ majorant, denoted as $\cM_{A_1}(\RR^n)$, by certain Banach function spaces. We prove that a function has an $A_1$ majorant if and only if it belongs to some Banach function space for which the Hardy-Littlewood maximal operator is bounded. This answers the question posted by G. Knese, J. M$^{c}$Carthy, and K. Moen. △ Less

Submitted 27 September, 2013; originally announced October 2013.

Instanton String and M-Wave in Multiple M5-Branes System

Authors: Chong-Sun Chu, Hiroshi Isono

Abstract: We consider the non-abelian self-dual two-form theory arXiv:1203.4224 and find new exact solutions. Our solutions are supported by Yang-Mills (anti)instantons in 4-dimensions and describe wave moving in null directions. We argue and provide evidence that these instanton string solutions correspond to M-wave (MW) on the worldvolume of multiple M5-branes. When dimensionally reduced on a circle, the… ▽ More We consider the non-abelian self-dual two-form theory arXiv:1203.4224 and find new exact solutions. Our solutions are supported by Yang-Mills (anti)instantons in 4-dimensions and describe wave moving in null directions. We argue and provide evidence that these instanton string solutions correspond to M-wave (MW) on the worldvolume of multiple M5-branes. When dimensionally reduced on a circle, the MW/M5 system is reduced to the D0/D4 system with the D0-branes represented by the Yang-Mills instanton of the D4-branes Yang-Mills gauge theory. We show that this picture is precisely reproduced by the dimensional reduction of our instanton string solutions. △ Less

Submitted 29 May, 2013; originally announced May 2013.

Comments: 12 pages. LaTeX

Localization of Rota-Baxter algebras

Authors: Chenghao Chu, Li Guo

Abstract: A commutative Rota-Baxter algebra can be regarded as a commutative algebra that carries an abstraction of the integral operator. With the motivation of generalizing the study of algebraic geometry to Rota-Baxter algebra, we extend the central concept of localization for commutative algebras to commutative Rota-Baxter algebras. The existence of such a localization is proved and, under mild conditio… ▽ More A commutative Rota-Baxter algebra can be regarded as a commutative algebra that carries an abstraction of the integral operator. With the motivation of generalizing the study of algebraic geometry to Rota-Baxter algebra, we extend the central concept of localization for commutative algebras to commutative Rota-Baxter algebras. The existence of such a localization is proved and, under mild conditions, its explicit constructions are obtained. The existence of tensor products of commutative Rota-Baxter algebras is also proved and the compatibility of localization and tensor product of Rota-Baxter algebras is established. We further study Rota-Baxter coverings and show that they form a Gröthendieck topology. △ Less

Submitted 5 October, 2012; originally announced October 2012.

Comments: 19 pages

MSC Class: 13B30; 13F99; 16W99

Journal ref: J. Pure Appl. Algebra, 218 (2014), 237-251

Sheaves and $K$-theory for $\mathbb{F}_1$-schemes

Authors: Chenghao Chu, Oliver Lorscheid, Rekha Santhanam

Abstract: This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of developing $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of… ▽ More This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of developing $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of the algebraic geometry over $\mathbb{F}_1$. Special attention is paid to two aspects particular to $\mathbb{F}_1$-geometry, namely, normal morphisms and locally projective sheaves, which occur when we adopt Quillen's Q-construction to a definition of $G$-theory and $K$-theory for $\mathbb{F}_1$-schemes. A comparison with Waldhausen's $S_{\bullet}$-construction yields the ring structure of $K$-theory. In particular, we generalize Deitmar's $K$-theory of monoids and show that $K_*(\Spec\mathbb{F}_1)$ realizes the stable homotopy of the spheres as a ring spectrum. △ Less

Submitted 25 January, 2012; v1 submitted 14 October, 2010; originally announced October 2010.

Comments: The paper got extended by two new section treating the $K$-theory spectrum and the ring structure of the $K$-theory spectrum. This is the final version as in print. 67 pages

MSC Class: 14A20; 18F20; 18F25; 19D06; 19D10; 19E08; 20M14; 20M30

On the Algebraic K-theory of Monoids

Authors: Chenghao Chu, Jack Morava

Abstract: Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two constructions give the same K-groups. As an immediate application, the homotopy invariance of algebraic K-theory of certain affine $\mathbb{F}_1$-schemes is ob… ▽ More Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two constructions give the same K-groups. As an immediate application, the homotopy invariance of algebraic K-theory of certain affine $\mathbb{F}_1$-schemes is obtained. From the computation of $K_2(A),$ where $A$ is the monoid associated to a finitely generated abelian group, the universal central extension of certain groups are constructed. △ Less

Submitted 16 September, 2010; originally announced September 2010.

Cartan-Weyl 3-algebras and the BLG Theory II: Strong-Semisimplicity and Generalized Cartan-Weyl 3-algebras

Authors: Chong-Sun Chu

Abstract: One of the most important questions in the Bagger-Lambert-Gustavsson (BLG) theory of multiple M2-branes is the choice of the Lie 3-algebra. The Lie 3-algebra should be chosen such that the corresponding BLG model is unitary and admits fuzzy 3-sphere as a solution. In this paper we propose another new condition: the Lie 3-algebras of use must be connected to the semisimple Lie algebras describing t… ▽ More One of the most important questions in the Bagger-Lambert-Gustavsson (BLG) theory of multiple M2-branes is the choice of the Lie 3-algebra. The Lie 3-algebra should be chosen such that the corresponding BLG model is unitary and admits fuzzy 3-sphere as a solution. In this paper we propose another new condition: the Lie 3-algebras of use must be connected to the semisimple Lie algebras describing the gauge symmetry of D-branes via a certain reduction condition. We show that this reduction condition leads to a natural generalization of the Cartan-Weyl 3-algebras introduced in arXiv:1004.1397. Similar to a Cartan-Weyl 3-algebra, a generalized Cartan-Weyl 3-algebra processes a set of step generators characterized by non-degenerate roots. However, its Cartan subalgebra is non-abelian in general. We give reasons why having a non-abelian Cartan subalgebra may be just right to allow for fuzzy 3-sphere solution in the corresponding BLG models. We propose that generalized Cartan-Weyl 3-algebras is the right class of metric Lie 3-algebras to be used in the BLG theory. △ Less

Submitted 5 August, 2010; v1 submitted 9 April, 2010; originally announced April 2010.

Comments: 28 pages. LaTeX. v2. typos corrected

Report number: DCPT-10/07

Journal ref: JHEP 1102:037,2011

Cartan-Weyl 3-algebras and the BLG Theory I: Classification of Cartan-Weyl 3-algebras

Authors: Chong-Sun Chu

Abstract: As Lie algebras of compact connected Lie groups, semisimple Lie algebras have wide applications in the description of continuous symmetries of physical systems. Mathematically, semisimple Lie algebra admits a Cartan-Weyl basis of generators which consists of a Cartan subalgebra of mutually commuting generators H_I and a number of step generators E^αthat are characterized by a root space of non-deg… ▽ More As Lie algebras of compact connected Lie groups, semisimple Lie algebras have wide applications in the description of continuous symmetries of physical systems. Mathematically, semisimple Lie algebra admits a Cartan-Weyl basis of generators which consists of a Cartan subalgebra of mutually commuting generators H_I and a number of step generators E^αthat are characterized by a root space of non-degenerate one-forms α. This simple decomposition in terms of the root space allows for a complete classification of semisimple Lie algebras. In this paper, we introduce the analogous concept of a Cartan-Weyl Lie 3-algebra. We analyze their structure and obtain a complete classification of them. Many known examples of metric Lie 3-algebras (e.g. the Lorentzian 3-algebras) are special cases of the Cartan-Weyl 3-algebras. Due to their elegant and simple structure, we speculate that Cartan-Weyl 3-algebras may be useful for describing some kinds of generalized symmetries. As an application, we consider their use in the Bagger-Lambert-Gustavsson (BLG) theory. △ Less

Submitted 5 August, 2010; v1 submitted 8 April, 2010; originally announced April 2010.

Comments: LaTeX. 34 pages.v2. deleted some distracting paragraphs in the introduction to bring more out the main results of the paper. typos corrected and references added

Report number: DCPT-10/05

Journal ref: JHEP 1010:050,2010

Eigenvalue decay of operators on harmonic function spaces

Authors: Oscar F. Bandtlow, Cho-Ho Chu

Abstract: Let $Ω$ be an open set in $\R^d$ $(d > 1)$ and $h(Ω)$ the Fréchet space of harmonic functions on $Ω$. Given a bounded linear operator $L :h(Ω)\to h(Ω)$, we show that its eigenvalues $λ_n$, arranged in decreasing order and counting multiplicities, satisfy $|λ_n|\leq K\exp(-cn^{1/(d-1)})$, where $K$ and $c$ are two explicitly computable positive constants. Let $Ω$ be an open set in $\R^d$ $(d > 1)$ and $h(Ω)$ the Fréchet space of harmonic functions on $Ω$. Given a bounded linear operator $L :h(Ω)\to h(Ω)$, we show that its eigenvalues $λ_n$, arranged in decreasing order and counting multiplicities, satisfy $|λ_n|\leq K\exp(-cn^{1/(d-1)})$, where $K$ and $c$ are two explicitly computable positive constants. △ Less

Submitted 5 March, 2009; originally announced March 2009.

Comments: AMS-LaTeX, 14 pages

MSC Class: 47B38 (Primary) 47B07; 47B06; 46E10; 31B05 (Secondary)

On the Geometry of the Moduli Space of Real Binary Octics

Authors: Kenneth C. K. Chu

Abstract: The moduli space of smooth real binary octics has five connected components. They parametrize the real binary octics whose defining equations have 0, 1, ..., 4 complex-conjugate pairs of roots respectively. We show that the GIT-stable completion of each of these five components admits the structure of an arithmetic real hyperbolic orbifold. The corresponding monodromy groups are, up to commensur… ▽ More The moduli space of smooth real binary octics has five connected components. They parametrize the real binary octics whose defining equations have 0, 1, ..., 4 complex-conjugate pairs of roots respectively. We show that the GIT-stable completion of each of these five components admits the structure of an arithmetic real hyperbolic orbifold. The corresponding monodromy groups are, up to commensurability, discrete hyperbolic reflection groups, and their Vinberg diagrams are computed. We conclude with a simple proof that the moduli space of GIT-stable real binary octics itself cannot be a real hyperbolic orbifold. △ Less

Submitted 2 August, 2007; originally announced August 2007.

Comments: 23 pages

MSC Class: 32G13

Journal ref: Can. J. Math.-J. Can. Math. 63 (2011) 755-797

Normal contractive projections preserve type

Authors: Cho-Ho Chu, Matthew Neal, Bernard Russo

Abstract: Given a JBW*-triple Z and a normal contractive projection P on Z, we show that the (Murray-von Neumann) type of each summand of P(Z) is dominated by the type of Z. Given a JBW*-triple Z and a normal contractive projection P on Z, we show that the (Murray-von Neumann) type of each summand of P(Z) is dominated by the type of Z. △ Less

Submitted 20 January, 2002; originally announced January 2002.

Comments: 26 pages, latex, submitted in July 2001

MSC Class: 46L70; 46L10; 17C65; 32M15

Journal ref: Journal of Operator Theory 51 (2004) 281-301

Poisson Algebra of Differential Forms

Authors: Chong-Sun Chu, Pei-Ming Ho

Abstract: We give a natural definition of a Poisson Differential Algebra. Consistence conditions are formulated in geometrical terms. It is found that one can often locally put the Poisson structure on differential calculus in a simple canonical form by a coordinate transformation. This is in analogy with the standard Darboux's theorem for symplectic geometry. For certain cases there exists a realization… ▽ More We give a natural definition of a Poisson Differential Algebra. Consistence conditions are formulated in geometrical terms. It is found that one can often locally put the Poisson structure on differential calculus in a simple canonical form by a coordinate transformation. This is in analogy with the standard Darboux's theorem for symplectic geometry. For certain cases there exists a realization of the exterior derivative through a certain canonical one-form. All the above are carried out similarly for the case of a complex Poisson Differential Algebra. The case of one complex dimension is treated in details and interesting features are noted. A conclusion is made in the last section. △ Less

Submitted 31 January, 1997; v1 submitted 24 December, 1996; originally announced December 1996.

Comments: Latex, 14 pages, no figure, typos corrected, references added

Journal ref: Int.J.Mod.Phys. 12 (1997) 5573-5587

Geometry of the Quantum Complex Projective Space $CP_q(N)$

Authors: Chong-Sun Chu, Pei-Ming Ho, Bruno Zumino

Abstract: The quantum deformation $CP_q(N)$ of complex projective space is discussed. Many of the features present in the case of the quantum sphere can be extended. The differential and integral calculus is studied and $CP_q(N)$ appears as a quantum Kähler manifold. The braiding of several copies of $CP_q(N)$ is introduced and the anharmonic ratios of four collinear points are shown to be invariant under… ▽ More The quantum deformation $CP_q(N)$ of complex projective space is discussed. Many of the features present in the case of the quantum sphere can be extended. The differential and integral calculus is studied and $CP_q(N)$ appears as a quantum Kähler manifold. The braiding of several copies of $CP_q(N)$ is introduced and the anharmonic ratios of four collinear points are shown to be invariant under quantum projective transformations. They provide the building blocks of all projective invariants. The Poisson limit is also described. △ Less

Submitted 20 October, 1995; originally announced October 1995.

Comments: 24 pages

Report number: UCB-PTH-95/38

Journal ref: Z.Phys. C72 (1996) 163-170

The Braided Quantum 2-Sphere

Authors: Chong-Sun Chu, Pei-Ming Ho, Bruno Zumino

Abstract: In a recent paper the quantum 2-sphere $S^2_q$ was described as a quantum complex manifold. Here we consider several copies of $S^2_q$ and derive their braiding commutation relations. The braiding is extended to the differential and to the integral calculus on the spheres. A quantum analogue of the classical anharmonic ratio of four points on the sphere is given, which is invariant under the coa… ▽ More In a recent paper the quantum 2-sphere $S^2_q$ was described as a quantum complex manifold. Here we consider several copies of $S^2_q$ and derive their braiding commutation relations. The braiding is extended to the differential and to the integral calculus on the spheres. A quantum analogue of the classical anharmonic ratio of four points on the sphere is given, which is invariant under the coaction of $SU_q(2)$. △ Less

Submitted 17 July, 1995; originally announced July 1995.

Comments: 14 pages

Report number: LBL-37506, UCB-PTH-95/25

Journal ref: Mod.Phys.Lett. A11 (1996) 307-316

The quantum 2-sphere as a complex quantum manifold

Authors: Chong-Sun Chu, Pei-Ming Ho, Bruno Zumino

Abstract: We describe the quantum sphere of Podleś for $c=0$ by means of a stereographic projection which is analogous to that which exhibits the classical sphere as a complex manifold. We show that the algebra of functions and the differential calculus on the sphere are covariant under the coaction of fractional transformations with \SU coefficients as well as under the action of \SU vector fields. Going… ▽ More We describe the quantum sphere of Podleś for $c=0$ by means of a stereographic projection which is analogous to that which exhibits the classical sphere as a complex manifold. We show that the algebra of functions and the differential calculus on the sphere are covariant under the coaction of fractional transformations with \SU coefficients as well as under the action of \SU vector fields. Going to the classical limit we obtain the Poisson sphere. Finally, we study the invariant integration of functions on the sphere and find its relation with the translationally invariant integration on the complex quantum plane. △ Less

Submitted 6 April, 1995; originally announced April 1995.

Comments: 19 pages

Report number: LBL-37055, UCB-PTH-95/10

Realization of Vector fields for Quantum Groups as Pseudodifferential Operators on Quantum Spaces

Authors: Chong-Sun Chu, Bruno Zumino

Abstract: The vector fields of the quantum Lie algebra are described for the quantum groups $GL_q(N), SL_q(N)$ and $SO_q(N)$ as pseudodifferential operators on the linear quantum spaces covariant under the corresponding quantum group. Their expressions are simple and compact. It is pointed out that these vector fields satisfy certain characteristic polynomial identities. The real forms $SU_q(N)$ and… ▽ More The vector fields of the quantum Lie algebra are described for the quantum groups $GL_q(N), SL_q(N)$ and $SO_q(N)$ as pseudodifferential operators on the linear quantum spaces covariant under the corresponding quantum group. Their expressions are simple and compact. It is pointed out that these vector fields satisfy certain characteristic polynomial identities. The real forms $SU_q(N)$ and $SO_q(N,R)$ are discussed in detail. △ Less

Submitted 2 February, 1995; originally announced February 1995.

Comments: 16 pages, Latex, no figures, to appear in the Proceedings of the XX International Conference on Group Theory Methods in Physics, Toyonaka, Japan (1994)

Report number: LBL-36746, UCB-PTH-95/04