Showing 1–50 of 54 results for author: Zhu, K

Acousto-electric tomography by the convergence of Kaczamrz two-point gradient-$Θ$ method

Authors: Kai Zhu, Jijun Liu, Min Zhong

Abstract: We study the numerical reconstruction problem in acousto-electric tomography (AET) of recovering the conductivity distribution in a bounded domain from multiple interior power density data. The Two-Point-Gradient-$Θ$ (TPG-$Θ$) in Kaczmarz type is proposed, with a general convex penalty term $Θ$, the algorithm can be utilized in AET problem for recovering sparse and discontinuous conductivity distr… ▽ More We study the numerical reconstruction problem in acousto-electric tomography (AET) of recovering the conductivity distribution in a bounded domain from multiple interior power density data. The Two-Point-Gradient-$Θ$ (TPG-$Θ$) in Kaczmarz type is proposed, with a general convex penalty term $Θ$, the algorithm can be utilized in AET problem for recovering sparse and discontinuous conductivity distributions. We establish the convergence of such iterative regularized method. Extensive numerical experiments are presented to illustrate the feasibility and effectiveness of the proposed approach. △ Less

Submitted 18 February, 2024; originally announced February 2024.

A note on complex hyperbolic lattices and strict hyperbolization

Authors: Kejia Zhu

Abstract: We study the connection between the fundamental groups of complex hyperbolic manifolds and those of spaces arising from the (relative) strict hyperbolization process due to Charney--Davis and Davis--Januszkiewicz--Weinberger. Viewing a non-uniform lattice $Γ$ in $\text{PU}(n,1)$ as a relatively hyperbolic group with respect to its cusp subgroups in the usual way, we show that when $n\geq 2$, $Γ$ i… ▽ More We study the connection between the fundamental groups of complex hyperbolic manifolds and those of spaces arising from the (relative) strict hyperbolization process due to Charney--Davis and Davis--Januszkiewicz--Weinberger. Viewing a non-uniform lattice $Γ$ in $\text{PU}(n,1)$ as a relatively hyperbolic group with respect to its cusp subgroups in the usual way, we show that when $n\geq 2$, $Γ$ is not isomorphic to any relatively hyperbolic group arising from the relative strict hyperbolization process, via work of Lafont--Ruffoni. We also prove that a uniform lattice in $\text{PU}(n,1)$ is not the fundamental group of a Charney-Davis strict hyperbolization when $n\geq 2$, assuming the initial complex satisfies some mild conditions. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Sharp variance estimator and causal bootstrap in stratified randomized experiments

Authors: Haoyang Yu, Ke Zhu, Hanzhong Liu

Abstract: The design-based finite-population asymptotic theory provides a normal approximation for the sampling distribution of the average treatment effect estimator in stratified randomized experiments. The asymptotic variance could be estimated by a Neyman-type conservative variance estimator. However, the variance estimator can be overly conservative, and the asymptotic theory may fail in small samples.… ▽ More The design-based finite-population asymptotic theory provides a normal approximation for the sampling distribution of the average treatment effect estimator in stratified randomized experiments. The asymptotic variance could be estimated by a Neyman-type conservative variance estimator. However, the variance estimator can be overly conservative, and the asymptotic theory may fail in small samples. To solve these issues, we propose a sharp variance estimator for the weighted difference-in-means in stratified randomized experiments. Furthermore, we propose two causal bootstrap procedures to more accurately approximate the sampling distribution of the weighted difference-in-means estimator. The first causal bootstrap procedure is based on rank-preserving imputation and we prove its second-order refinement over normal approximation. The second causal bootstrap procedure is based on constant-treatment-effect imputation and is applicable in paired experiments. We prove its validity even when the assumption of constant treatment effect is violated for the true potential outcomes. Our analysis is randomization-based or design-based by conditioning on the potential outcomes, with treatment assignment being the sole source of randomness. Numerical studies and two real data applications demonstrate advantages of our proposed methods in finite samples. △ Less

Submitted 26 June, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

On Generalized Sub-Gaussian Canonical Processes and Their Applications

Authors: Yiming Chen, Yuxuan Wang, Kefan Zhu

Abstract: We obtain the tail probability of generalized sub-Gaussian canonical processes. It can be viewed as a variant of the Bernstein-type inequality in the i.i.d case, and we further get a tighter bound of concentration inequality through uniformly randomized techniques. A concentration inequality for general functions involving independent random variables is also derived as an extension. As for applic… ▽ More We obtain the tail probability of generalized sub-Gaussian canonical processes. It can be viewed as a variant of the Bernstein-type inequality in the i.i.d case, and we further get a tighter bound of concentration inequality through uniformly randomized techniques. A concentration inequality for general functions involving independent random variables is also derived as an extension. As for applications, we derive convergence results for principal component analysis and the Rademacher complexities method. △ Less

Submitted 31 January, 2024; v1 submitted 27 January, 2024; originally announced January 2024.

Comments: 25pages

MSC Class: 60E15; 60F10

Practical Layout-Aware Analog/Mixed-Signal Design Automation with Bayesian Neural Networks

Authors: Ahmet F. Budak, Keren Zhu, David Z. Pan

Abstract: The high simulation cost has been a bottleneck of practical analog/mixed-signal design automation. Many learning-based algorithms require thousands of simulated data points, which is impractical for expensive to simulate circuits. We propose a learning-based algorithm that can be trained using a small amount of data and, therefore, scalable to tasks with expensive simulations. Our efficient algori… ▽ More The high simulation cost has been a bottleneck of practical analog/mixed-signal design automation. Many learning-based algorithms require thousands of simulated data points, which is impractical for expensive to simulate circuits. We propose a learning-based algorithm that can be trained using a small amount of data and, therefore, scalable to tasks with expensive simulations. Our efficient algorithm solves the post-layout performance optimization problem where simulations are known to be expensive. Our comprehensive study also solves the schematic-level sizing problem. For efficient optimization, we utilize Bayesian Neural Networks as a regression model to approximate circuit performance. For layout-aware optimization, we handle the problem as a multi-fidelity optimization problem and improve efficiency by exploiting the correlations from cheaper evaluations. We present three test cases to demonstrate the efficiency of our algorithms. Our tests prove that the proposed approach is more efficient than conventional baselines and state-of-the-art algorithms. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: Accepted to the 42nd International Conference on Computer-Aided Design (ICCAD 2023); 8 pages, 8 figures

Sub-Bergman Hilbert spaces on the unit disk III

Authors: Shuaibing Luo, Kehe Zhu

Abstract: For a bounded analytic function $\varphi$ on the unit disk $\D$ with $\|\varphi\|_\infty\le1$ we consider the defect operators $D_\varphi$ and $D_{\overline\varphi}$ of the Toeplitz operators $T_\varphi$ and $T_{\overline\varphi}$, respectively, on the weighted Bergman space $A^2_α$. The ranges of $D_\varphi$ and $D_{\overline\varphi}$, written as $H(\varphi)$ and $H(\overline\varphi)$ and equippe… ▽ More For a bounded analytic function $\varphi$ on the unit disk $\D$ with $\|\varphi\|_\infty\le1$ we consider the defect operators $D_\varphi$ and $D_{\overline\varphi}$ of the Toeplitz operators $T_\varphi$ and $T_{\overline\varphi}$, respectively, on the weighted Bergman space $A^2_α$. The ranges of $D_\varphi$ and $D_{\overline\varphi}$, written as $H(\varphi)$ and $H(\overline\varphi)$ and equipped with appropriate inner products, are called sub-Bergman spaces. We prove the following three results in the paper: for $-1<α\le0$ the space $H(\varphi)$ has a complete Nevanlinna-Pick kernel if and only if $\varphi$ is a Möbius map; for $α>-1$ we have $H(\varphi)=H(\overline\varphi)=A^2_{α-1}$ if and only if the defect operators $D_\varphi$ and $D_{\overline\varphi}$ are compact; and for $α>-1$ we have $D^2_\varphi(A^2_α)= D^2_{\overline\varphi}(A^2_α)=A^2_{α-2}$ if and only if $\varphi$ is a finite Blaschke product. In some sense our restrictions on $α$ here are best possible. △ Less

Submitted 3 February, 2023; originally announced February 2023.

Comments: 19 pages

MSC Class: 30H15; 30H10; 30H05; 47B35

A Transient Electrical-Thermal Co-Simulation Method with LTS for Multiscale Structures

Authors: Kai Zhu, Shunchuan Yang

Abstract: In this article, an efficient transient electricalthermal co-simulation method based on the finite element method (FEM) and the discontinuous Galerkin time-domain (DGTD) method is developed for electrical-thermal coupling analysis of multiscale structures. Two Independent meshes are adopted by the steady electrical analysis and the transient thermal simulation to avoid redundant overhead. In order… ▽ More In this article, an efficient transient electricalthermal co-simulation method based on the finite element method (FEM) and the discontinuous Galerkin time-domain (DGTD) method is developed for electrical-thermal coupling analysis of multiscale structures. Two Independent meshes are adopted by the steady electrical analysis and the transient thermal simulation to avoid redundant overhead. In order to enhance the feasibility and efficiency of solving multiscale and sophisticated structures, a local time step** (LTS) technique coupled with an interpolation method is incorporated into the co-simulation method. Several numerical examples from simple structures to complex multiscale PDN structures are carried out to demonstrate the accuracy and efficiency of the proposed method by comparing with the COMSOL. Finally, two practical numerical examples are considered to confirm the performance of the proposed method for complex and multiscale structures. △ Less

Submitted 5 April, 2023; v1 submitted 30 December, 2022; originally announced January 2023.

Comments: change the form

Relatively geometric actions of Kähler groups on CAT(0) cube complexes

Authors: Corey Bregman, Daniel Groves, Kejia Zhu

Abstract: We prove that for $n\geq 2$, a non-uniform lattice in $\text{PU}(n,1)$ does not admit a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, in the sense of Einstein and Groves. As a consequence, if $Γ$ is a non-uniform lattice in a non-compact semisimple Lie group $G$ without compact factors that admits a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, then $G$ is com… ▽ More We prove that for $n\geq 2$, a non-uniform lattice in $\text{PU}(n,1)$ does not admit a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, in the sense of Einstein and Groves. As a consequence, if $Γ$ is a non-uniform lattice in a non-compact semisimple Lie group $G$ without compact factors that admits a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, then $G$ is commensurable with $\text{SO}(n,1)$. We also prove that if a Kähler group is hyperbolic relative to residually finite parabolic subgroups, and acts relatively geometrically on a $\mathrm{CAT}(0)$ cube complex, then it is virtually a surface group. △ Less

Submitted 9 April, 2023; v1 submitted 23 October, 2022; originally announced October 2022.

Comments: 10 pages, 1 figure. This is a substantial enhancement of the previous version. In particular, Theorem 1.3 concerning relatively geometric actions of Kähler groups on CAT(0) cube complexes is completely new. Theorem 1.3 is then used to give a different proof of Theorem 1.1 than is found in the previous version

MSC Class: 20F65; 22E40 (primary); 32J27; 32J05; 57N65 (secondary)

Distributed Optimization with Inexact Oracle

Authors: Kui Zhu, Yichen Zhang, Yutao Tang

Abstract: In this paper, we study the distributed optimization problem using approximate first-order information. We suppose the agent can repeatedly call an inexact first-order oracle of each individual objective function and exchange information with its time-varying neighbors. We revisit the distributed subgradient method in this circumstance and show its suboptimality under square summable but not summa… ▽ More In this paper, we study the distributed optimization problem using approximate first-order information. We suppose the agent can repeatedly call an inexact first-order oracle of each individual objective function and exchange information with its time-varying neighbors. We revisit the distributed subgradient method in this circumstance and show its suboptimality under square summable but not summable step sizes. We also present several conditions on the inexactness of the local oracles to ensure an exact convergence of the iterative sequences towards the global optimal solution. A numerical example is given to verify the efficiency of our algorithm. △ Less

Submitted 25 August, 2022; originally announced August 2022.

Comments: 13 pages, 3 figures

Canonical integral operators on the Fock space

Authors: Xingtang Dong, Kehe Zhu

Abstract: In this paper we introduce and study a two-parameter family of integral operators on the Fock space $F^2(C)$. We determine exactly when these operators are bounded and when they are unitary. We show that, under the Bargmann transform, these operators include the classical linear canonical transforms as special cases. As an application, we obtain a new unitary projective representation for the spec… ▽ More In this paper we introduce and study a two-parameter family of integral operators on the Fock space $F^2(C)$. We determine exactly when these operators are bounded and when they are unitary. We show that, under the Bargmann transform, these operators include the classical linear canonical transforms as special cases. As an application, we obtain a new unitary projective representation for the special linear group $SL(2,R)$ on the Fock space. △ Less

Submitted 12 August, 2022; originally announced August 2022.

Conditions on the monodromy for a surface group extension to be CAT(0)

Authors: Kejia Zhu

Abstract: In order to determine when surface-by-surface bundles are non-positively curved, Llosa Isenrich and Py give a necessary condition: given a surface-by-surface group $G$ with infinite monodromy, if $G$ is CAT(0) then the monodromy representation is injective. We extend this to a more general result: Let $G$ be a group with a normal surface subgroup $R$. Assume $G/R$ satisfies the property that for e… ▽ More In order to determine when surface-by-surface bundles are non-positively curved, Llosa Isenrich and Py give a necessary condition: given a surface-by-surface group $G$ with infinite monodromy, if $G$ is CAT(0) then the monodromy representation is injective. We extend this to a more general result: Let $G$ be a group with a normal surface subgroup $R$. Assume $G/R$ satisfies the property that for every infinite normal subgroup $Λ$ of $G/R$, there is an infinite subgroup $Λ_0<Λ$ so that the centralizer $C_{G/R}(Λ_0)$ is finite. If $G$ is CAT(0) with infinite monodromy, then the monodromy representation has a finite kernel. We prove that acylindrically hyperbolic groups satisfy this property. △ Less

Submitted 25 April, 2023; v1 submitted 26 January, 2022; originally announced January 2022.

Comments: Lemma 3.6 is added. Accepted by PAMS

Design-based theory for Lasso adjustment in randomized block experiments and rerandomized experiments

Authors: Ke Zhu, Hanzhong Liu, Yuehan Yang

Abstract: Blocking, a special case of rerandomization, is routinely implemented in the design stage of randomized experiments to balance the baseline covariates. This study proposes a regression adjustment method based on the least absolute shrinkage and selection operator (Lasso) to efficiently estimate the average treatment effect in randomized block experiments with high-dimensional covariates. We derive… ▽ More Blocking, a special case of rerandomization, is routinely implemented in the design stage of randomized experiments to balance the baseline covariates. This study proposes a regression adjustment method based on the least absolute shrinkage and selection operator (Lasso) to efficiently estimate the average treatment effect in randomized block experiments with high-dimensional covariates. We derive the asymptotic properties of the proposed estimator and outline the conditions under which this estimator is more efficient than the unadjusted one. We provide a conservative variance estimator to facilitate valid inferences. Our framework allows one treated or control unit in some blocks and heterogeneous propensity scores across blocks, thus including paired experiments and finely stratified experiments as special cases. We further accommodate rerandomized experiments and a combination of blocking and rerandomization. Moreover, our analysis allows both the number of blocks and block sizes to tend to infinity, as well as heterogeneous treatment effects across blocks without assuming a true outcome data-generating model. Simulation studies and two real-data analyses demonstrate the advantages of the proposed method. △ Less

Submitted 28 June, 2024; v1 submitted 23 September, 2021; originally announced September 2021.

Bounds on degrees of covers with injective monodromy in iterated Kodaira Fibrations

Authors: Kejia Zhu

Abstract: Let $π:X\to Y$ be an $n$-dimensional iterated Kodaira fibration with fiber of genus $g$ and injective monodromy. Llosa Isenrich and Py proved that we can pass to a finite index subgroup of $π_1(X)$ to get the base space of an n+1-dimensional iterated Kodaira fibration with injective monodromy and they asked about bounding the index of such a group. We provide a bound on this index. Let $π:X\to Y$ be an $n$-dimensional iterated Kodaira fibration with fiber of genus $g$ and injective monodromy. Llosa Isenrich and Py proved that we can pass to a finite index subgroup of $π_1(X)$ to get the base space of an n+1-dimensional iterated Kodaira fibration with injective monodromy and they asked about bounding the index of such a group. We provide a bound on this index. △ Less

Submitted 1 July, 2021; v1 submitted 7 April, 2021; originally announced April 2021.

Comments: Minor improvement of the main theorem

Primal-dual $\varepsilon$-Subgradient Method for Distributed Optimization

Authors: Kui Zhu, Yutao Tang

Abstract: This paper studies the distributed optimization problem when the objective functions might be nondifferentiable and subject to heterogeneous set constraints. Unlike existing subgradient methods, we focus on the case when the exact subgradients of the local objective functions can not be accessed by the agents. To solve this problem, we propose a projected primal-dual dynamics using only the object… ▽ More This paper studies the distributed optimization problem when the objective functions might be nondifferentiable and subject to heterogeneous set constraints. Unlike existing subgradient methods, we focus on the case when the exact subgradients of the local objective functions can not be accessed by the agents. To solve this problem, we propose a projected primal-dual dynamics using only the objective function's approximate subgradients. We first prove that the formulated optimization problem can generally be solved with an error depending upon the accuracy of the available subgradients. Then, we show the exact solvability of this distributed optimization problem when the accumulated approximation error of inexact subgradients is not too large. After that, we also give a novel componentwise normalized variant to improve the transient behavior of the convergent sequence. The effectiveness of our algorithms is verified by a numerical example. △ Less

Submitted 20 November, 2021; v1 submitted 8 January, 2021; originally announced January 2021.

Comments: 13 pages, 5 figures

Optimal Consensus for Uncertain High-order Multi-agent Systems by Output Feedback

Authors: Yutao Tang, Kui Zhu

Abstract: The distributed optimal output consensus problem for high-order multi-agent systems has been studied recently. In this paper, we further focus on the same problem for high-order multi-agent systems subject to parametric uncertainties and aim at distributed robust controllers by measurement output feedback. We first develop a dynamic compensator to estimate the expected optimal consensus point and… ▽ More The distributed optimal output consensus problem for high-order multi-agent systems has been studied recently. In this paper, we further focus on the same problem for high-order multi-agent systems subject to parametric uncertainties and aim at distributed robust controllers by measurement output feedback. We first develop a dynamic compensator to estimate the expected optimal consensus point and convert the problem into several decentralized robust tracking problems. Then, by combining the integral control technique and dirty derivative observer technique, we constructively propose a distributed output feedback integral controller to solve this problem under a mild graph connectivity condition. △ Less

Submitted 20 November, 2021; v1 submitted 18 July, 2020; originally announced July 2020.

Comments: 18 pages, 7 figures

MSC Class: 93A16

Sarason Toeplitz product problem for a class of Fock spaces

Authors: Helene Bommier-Hato, El Hassan Youssfi, Kehe Zhu

Abstract: Sarason Toeplitz product problem asks when the operator TuTv is bounded on various Hilbert spaces of analytic functions, where u and v are analytic. The problem is highly nontrivial for Toeplitz operators on the Hardy space and the Bergman space (even in the case of the unit disk). In this paper, we provide a complete solution to the problem for a class of Fock spaces on the complex plane. In part… ▽ More Sarason Toeplitz product problem asks when the operator TuTv is bounded on various Hilbert spaces of analytic functions, where u and v are analytic. The problem is highly nontrivial for Toeplitz operators on the Hardy space and the Bergman space (even in the case of the unit disk). In this paper, we provide a complete solution to the problem for a class of Fock spaces on the complex plane. In particular, this generalizes an earlier result of Cho, Park, and Zhu. △ Less

Submitted 8 April, 2020; originally announced April 2020.

Time series models for realized covariance matrices based on the matrix-F distribution

Authors: Jiayuan Zhou, Feiyu Jiang, Ke Zhu, Wai Keung Li

Abstract: We propose a new Conditional BEKK matrix-F (CBF) model for the time-varying realized covariance (RCOV) matrices. This CBF model is capable of capturing heavy-tailed RCOV, which is an important stylized fact but could not be handled adequately by the Wishart-based models. To further mimic the long memory feature of the RCOV, a special CBF model with the conditional heterogeneous autoregressive (HAR… ▽ More We propose a new Conditional BEKK matrix-F (CBF) model for the time-varying realized covariance (RCOV) matrices. This CBF model is capable of capturing heavy-tailed RCOV, which is an important stylized fact but could not be handled adequately by the Wishart-based models. To further mimic the long memory feature of the RCOV, a special CBF model with the conditional heterogeneous autoregressive (HAR) structure is introduced. Moreover, we give a systematical study on the probabilistic properties and statistical inferences of the CBF model, including exploring its stationarity, establishing the asymptotics of its maximum likelihood estimator, and giving some new inner-product-based tests for its model checking. In order to handle a large dimensional RCOV matrix, we construct two reduced CBF models -- the variance-target CBF model (for moderate but fixed dimensional RCOV matrix) and the factor CBF model (for high dimensional RCOV matrix). For both reduced models, the asymptotic theory of the estimated parameters is derived. The importance of our entire methodology is illustrated by simulation results and two real examples. △ Less

Submitted 9 July, 2020; v1 submitted 26 March, 2019; originally announced March 2019.

Sharp inequalities for linear combinations of orthogonal martingales

Authors: Yong Ding, Loukas Grafakos, Kai Zhu

Abstract: For any two real-valued continuous-path martingales $X=\{X_t\}_{t\geq 0}$ and $Y=\{Y_t\}_{t\geq 0}$, with $X$ and $Y$ being orthogonal and $Y$ being differentially subordinate to $X$, we obtain sharp $L^p$ inequalities for martingales of the form $aX+bY$ with $a, b$ real numbers. The best $L^p$ constant is equal to the norm of the operator $aI+bH$ from $L^p$ to $L^p$, where $H$ is the Hilbert tran… ▽ More For any two real-valued continuous-path martingales $X=\{X_t\}_{t\geq 0}$ and $Y=\{Y_t\}_{t\geq 0}$, with $X$ and $Y$ being orthogonal and $Y$ being differentially subordinate to $X$, we obtain sharp $L^p$ inequalities for martingales of the form $aX+bY$ with $a, b$ real numbers. The best $L^p$ constant is equal to the norm of the operator $aI+bH$ from $L^p$ to $L^p$, where $H$ is the Hilbert transform on the circle or real line. The values of these norms were found by Hollenbeck, Kalton and Verbitsky \cite{HKV}. △ Less

Submitted 12 March, 2018; originally announced March 2018.

Comments: 10 pages

MSC Class: 60G44; 42A45

Spectral theory of multiplication operators on Hardy-Sobolev spaces

Authors: Guangfu Cao, Li He, Kehe Zhu

Abstract: For a pointwise multiplier $\varphi$ of the Hardy-Sobolev space $H^2_β$ on the open unit ball $\bn$ in $\cn$, we study spectral properties of the multiplication operator $M_\varphi: H^2_β\to H^2_β$. In particular, we compute the spectrum and essential spectrum of $M_\varphi$ and develop the Fredholm theory for these operators. For a pointwise multiplier $\varphi$ of the Hardy-Sobolev space $H^2_β$ on the open unit ball $\bn$ in $\cn$, we study spectral properties of the multiplication operator $M_\varphi: H^2_β\to H^2_β$. In particular, we compute the spectrum and essential spectrum of $M_\varphi$ and develop the Fredholm theory for these operators. △ Less

Submitted 6 September, 2017; originally announced September 2017.

Comments: 24 pages

On the norm of the operator $aI+bH$ on $L^p(\mathbb R)$

Authors: Yong Ding, Loukas Grafakos, Kai Zhu

Abstract: We provide a direct proof of the following theorem of Kalton, Hollenbeck, and Verbitsky \cite{HKV}: let $H$ be the Hilbert transform and let $a,b$ be real constants. Then for $1<p<\infty$ the norm of the operator $aI+bH$ from $L^p(\mathbb R)$ to $L^p(\mathbb R)$ is equal to… ▽ More We provide a direct proof of the following theorem of Kalton, Hollenbeck, and Verbitsky \cite{HKV}: let $H$ be the Hilbert transform and let $a,b$ be real constants. Then for $1<p<\infty$ the norm of the operator $aI+bH$ from $L^p(\mathbb R)$ to $L^p(\mathbb R)$ is equal to $$ \bigg(\max_{x\in \Bbb R}\frac{|ax-b+(bx+a)\tan \fracπ{2p}|^p+|ax-b-(bx+a)\tan \fracπ{2p}|^p}{|x+\tan \fracπ{2p}|^p+|x-\tan \fracπ{2p}|^p} \bigg)^{\frac 1p}. $$ Our proof avoids passing through the analogous result for the conjugate function on the circle, as in \cite{HKV}, and is given directly on the line. We also provide new approximate extremals for $aI+bH$ in the case $p>2$. △ Less

Submitted 12 March, 2018; v1 submitted 15 February, 2017; originally announced February 2017.

Comments: 10 pages

MSC Class: 42A45; 42A50; 42A99

The Fourier and Hilbert transforms under the Bargmann transform

Authors: Xing-Tang Dong, Kehe Zhu

Abstract: There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. We study the action of the Bargmann transform on several classical integral operators on $L^2(\R)$, including the fractional Fourier transform, the fractional Hilbert transform, and the wavelet transform. There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. We study the action of the Bargmann transform on several classical integral operators on $L^2(\R)$, including the fractional Fourier transform, the fractional Hilbert transform, and the wavelet transform. △ Less

Submitted 27 May, 2016; originally announced May 2016.

Comments: 16 pages

Practical Algorithms for Learning Near-Isometric Linear Embeddings

Authors: Jerry Luo, Kayla Shapiro, Hao-Jun Michael Shi, Qi Yang, Kan Zhu

Abstract: We propose two practical non-convex approaches for learning near-isometric, linear embeddings of finite sets of data points. Given a set of training points $\mathcal{X}$, we consider the secant set $S(\mathcal{X})$ that consists of all pairwise difference vectors of $\mathcal{X}$, normalized to lie on the unit sphere. The problem can be formulated as finding a symmetric and positive semi-definite… ▽ More We propose two practical non-convex approaches for learning near-isometric, linear embeddings of finite sets of data points. Given a set of training points $\mathcal{X}$, we consider the secant set $S(\mathcal{X})$ that consists of all pairwise difference vectors of $\mathcal{X}$, normalized to lie on the unit sphere. The problem can be formulated as finding a symmetric and positive semi-definite matrix $\boldsymbolΨ$ that preserves the norms of all the vectors in $S(\mathcal{X})$ up to a distortion parameter $δ$. Motivated by non-negative matrix factorization, we reformulate our problem into a Frobenius norm minimization problem, which is solved by the Alternating Direction Method of Multipliers (ADMM) and develop an algorithm, FroMax. Another method solves for a projection matrix $\boldsymbolΨ$ by minimizing the restricted isometry property (RIP) directly over the set of symmetric, postive semi-definite matrices. Applying ADMM and a Moreau decomposition on a proximal map**, we develop another algorithm, NILE-Pro, for dimensionality reduction. FroMax is shown to converge faster for smaller $δ$ while NILE-Pro converges faster for larger $δ$. Both non-convex approaches are then empirically demonstrated to be more computationally efficient than prior convex approaches for a number of applications in machine learning and signal processing. △ Less

Submitted 22 April, 2016; v1 submitted 1 January, 2016; originally announced January 2016.

MSC Class: 90C90

Towards a dictionary for the Bargmann transform

Authors: Kehe Zhu

Abstract: There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. The purpose of this article is to translate some important results and operators from the context of $L^2(\R)$ to that of $F^2$. Examples include the Fourier transform, the Hilbert transform, Gabor frames, pseudo-differential operators, and the uncertainty principle. There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. The purpose of this article is to translate some important results and operators from the context of $L^2(\R)$ to that of $F^2$. Examples include the Fourier transform, the Hilbert transform, Gabor frames, pseudo-differential operators, and the uncertainty principle. △ Less

Submitted 21 June, 2015; originally announced June 2015.

MSC Class: 30H20

A Double AR Model Without Intercept: an Alternative to Modeling Nonstationarity and Heteroscedasticity

Authors: Dong Li, Shaojun Guo, Ke Zhu

Abstract: This paper presents a double AR model without intercept (DARWIN model) and provides us a new way to study the non-stationary heteroskedastic time series. It is shown that the DARWIN model is always non-stationary and heteroskedastic, and its sample properties depends on the Lyapunov exponent. An easy-to-implement estimator is proposed for the Lyapunov exponent, and it is unbiased, strongly consist… ▽ More This paper presents a double AR model without intercept (DARWIN model) and provides us a new way to study the non-stationary heteroskedastic time series. It is shown that the DARWIN model is always non-stationary and heteroskedastic, and its sample properties depends on the Lyapunov exponent. An easy-to-implement estimator is proposed for the Lyapunov exponent, and it is unbiased, strongly consistent and asymptotically normal. Based on this estimator, a powerful test is constructed for testing the stability of the model. Moreover, this paper proposes the quasi-maximum likelihood estimator (QMLE) for the DARWIN model, which has an explicit form. The strong consistency and asymptotical normality of the QMLE are established regardless of the sign of the Lyapunov exponent. Simulation studies are conducted to assess the performance of the estimation and testing and an empirical example is given for illustrating the usefulness of the DARWIN model. △ Less

Submitted 3 June, 2015; originally announced June 2015.

Comments: 18 pages, 7 figures

Weighted BMO and Hankel operators between Bergman spaces

Authors: Jordi Pau, Ruhan Zhao, Kehe Zhu

Abstract: We introduce a family of weighted BMO and VMO spaces for the unit ball and use them to characterize bounded and compact Hankel operators between different Bergman spaces. In particular, we resolve two problems left open by S. Janson in 1988 and R. Wallsten in 1990. We introduce a family of weighted BMO and VMO spaces for the unit ball and use them to characterize bounded and compact Hankel operators between different Bergman spaces. In particular, we resolve two problems left open by S. Janson in 1988 and R. Wallsten in 1990. △ Less

Submitted 23 January, 2015; originally announced January 2015.

MSC Class: 47B35; 32A36

Uncertainty principles for the Fock space

Authors: Kehe Zhu

Abstract: Several uncertainty principles are proved for the Fock space. Several uncertainty principles are proved for the Fock space. △ Less

Submitted 12 January, 2015; originally announced January 2015.

MSC Class: 30H20

Solvability of Dirac type equations

Authors: Qingchun Ji, Ke Zhu

Abstract: This paper develops a weighted $L^2$-method for the (half) Dirac equation. For Dirac bundles over closed Riemann surfaces, we give a sufficient condition for the solvability of the (half) Dirac equation in terms of a curvature integral. Applying this to the Dolbeault-Dirac operator, we establish an automatic transversality criteria for holomorphic curves in Kähler manifolds. On compact Riemannian… ▽ More This paper develops a weighted $L^2$-method for the (half) Dirac equation. For Dirac bundles over closed Riemann surfaces, we give a sufficient condition for the solvability of the (half) Dirac equation in terms of a curvature integral. Applying this to the Dolbeault-Dirac operator, we establish an automatic transversality criteria for holomorphic curves in Kähler manifolds. On compact Riemannian manifolds, we give a new perspective on some well-known results about the first eigenvalue of the Dirac operator, and improve the estimates when the Dirac bundle has a $Z_2$-grading. On Riemannian manifolds with cylindrical ends, we obtain solvability in the $L^2$-space with suitable exponential weights while allowing mild negativity of the curvature. △ Less

Submitted 19 January, 2016; v1 submitted 25 July, 2014; originally announced July 2014.

Comments: Add application of transversality of holomorphic curves in Kähler manifolds. Improved exposition. 23 pages

MSC Class: 53C21; 58J50

Geometric spectral theory for compact operators

Authors: Isaak Chagouel, Michael Stessin, Kehe Zhu

Abstract: We introduce a notion of joint spectrum for a tuple of compact operators on a separable Hilbert space and show that in many situations these operators commute if and only if the joint spectrum consists of countably many, locally finite, complex hyperplanes. In particular, we show that normal matrices (of the same size) $A_1,\cdots,A_n$ commute if and only if the polynomial… ▽ More We introduce a notion of joint spectrum for a tuple of compact operators on a separable Hilbert space and show that in many situations these operators commute if and only if the joint spectrum consists of countably many, locally finite, complex hyperplanes. In particular, we show that normal matrices (of the same size) $A_1,\cdots,A_n$ commute if and only if the polynomial $\det(z_1A_1+\cdots+z_nA_n+I)$ is completely reducible, that is, it can be factored into a product of linear polynomials. △ Less

Submitted 17 September, 2013; originally announced September 2013.

Comments: 29 pages

MSC Class: 47A13; 47A10

Logarithmic convexity of area integral means for analytic functions II

Authors: Chunjie Wang, Jie Xiao, Kehe Zhu

Abstract: For $0<p<\infty$ and $-2\leα\le0$ we show that the $L^p$ integral mean on $rD$ of analytic function in the unit disk $D$ with respect to the weighted area measure $(1-|z|^2)^αdA(z)$ is a logarithmically convex function of $r$ on $(0,1)$. For $0<p<\infty$ and $-2\leα\le0$ we show that the $L^p$ integral mean on $rD$ of analytic function in the unit disk $D$ with respect to the weighted area measure $(1-|z|^2)^αdA(z)$ is a logarithmically convex function of $r$ on $(0,1)$. △ Less

Submitted 22 August, 2013; originally announced August 2013.

Comments: 13 pages

MSC Class: 30H10; 30H20

Journal ref: J. Aust. Math. Soc. 98 (2015) 117-128

High-jet relations of the heat kernel embedding map and applications

Authors: Ke Zhu

Abstract: For any compact Riemannian manifold $(M,g)$ and its heat kernel embedding map $psi_t$ from M into $l^2$ constructed in [BBG], we study the higher derivatives of $psi_t$ with respect to an orthonormal basis at $x$ on $M$. As the heat flow time $t$ goes to 0, it turns out the limiting angles between these derivative vectors are universal constants independent on $g$, $x$ and the choice of orthonorma… ▽ More For any compact Riemannian manifold $(M,g)$ and its heat kernel embedding map $psi_t$ from M into $l^2$ constructed in [BBG], we study the higher derivatives of $psi_t$ with respect to an orthonormal basis at $x$ on $M$. As the heat flow time $t$ goes to 0, it turns out the limiting angles between these derivative vectors are universal constants independent on $g$, $x$ and the choice of orthonormal basis. Geometric applications to the mean curvature and the Riemannian curvature are given. Some algebraic structures of the infinite jet space of $psi_t$ are explored. △ Less

Submitted 14 August, 2013; v1 submitted 2 August, 2013; originally announced August 2013.

Comments: 28 pages, related references on random functions are added

MSC Class: 53C42; 58J50

Isometric embeddings via heat kernel

Authors: Xiaowei Wang, Ke Zhu

Abstract: For any n-dimensional compact Riemannian manifold (M,g), we construct a canonical t-family of isometric embeddings I_{t}: M->R^{q(t)}, with t>0 sufficiently small and q(t)>>t^{-n/2}. This is done by intrinsically perturbing the heat kernel embedding introduced in [BBG]. As t->0, asymptotic geometry of the embedded images is discussed. For any n-dimensional compact Riemannian manifold (M,g), we construct a canonical t-family of isometric embeddings I_{t}: M->R^{q(t)}, with t>0 sufficiently small and q(t)>>t^{-n/2}. This is done by intrinsically perturbing the heat kernel embedding introduced in [BBG]. As t->0, asymptotic geometry of the embedded images is discussed. △ Less

Submitted 5 December, 2013; v1 submitted 24 May, 2013; originally announced May 2013.

Comments: 39 pages. We remove the Einstein condition in the previous version. The isometric embedding is extended to all compact Riemannian manifolds with smooth metrics. The embedding is improved to C^k regularity for any given k. Proofs are simplified, and less relevant results are removed

MSC Class: 53C42; 58J50

Instantons in G2 manifolds from J-holomorphic curves in coassociative submanifolds

Authors: Naichung Conan Leung, Xiaowei Wang, Ke Zhu

Abstract: In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct… ▽ More In G2 manifolds, 3-dimensional associative submanifolds (instantons) play a role similar to J-holomorphic curves in symplectic geometry. In [21], instantons in G2 manifolds were constructed from regular J-holomorphic curves in coassociative submanifolds. In this exposition paper, after reviewing the background of G2 geometry, we explain the main ingredients in the proofs in [21]. We also construct new examples of instantons. △ Less

Submitted 26 March, 2013; originally announced March 2013.

Comments: 23 pages. To appear in Proceedings of Gokova Geometry-Topology Conference 2012

MSC Class: 53C07 (Primary); 53D40; 81T30 (Secondary)

Circle packing and interpolation in Fock spaces

Authors: Daniel Stevenson, Kehe Zhu

Abstract: It was shown by James Tung in 2005 that if a sequence $Z=\{z_n\}$ of points in the complex plane satisfies $$\inf_{n\not=m}|z_n-z_m|>2/\sqrtα,$$ then $Z$ is a sequence of interpolation for the Fock space $F^p_α$. Using results from circle packing, we show that the constant above can be improved to $$\sqrt{2π/(\sqrt3\,α)},$$ which is strictly smaller than $2/\sqrtα$. A similar result will also be o… ▽ More It was shown by James Tung in 2005 that if a sequence $Z=\{z_n\}$ of points in the complex plane satisfies $$\inf_{n\not=m}|z_n-z_m|>2/\sqrtα,$$ then $Z$ is a sequence of interpolation for the Fock space $F^p_α$. Using results from circle packing, we show that the constant above can be improved to $$\sqrt{2π/(\sqrt3\,α)},$$ which is strictly smaller than $2/\sqrtα$. A similar result will also be obtained for sampling sequences. △ Less

Submitted 14 February, 2013; originally announced February 2013.

Comments: 7 pages

MSC Class: 30H20; 52C26

Frames and operators in Schatten classes

Authors: Hu Bingyang, Le Hai Khoi, Kehe Zhu

Abstract: Let $T$ be a compact operator on a separable Hilbert space $H$. We show that, for $2\le p<\infty$, $T$ belongs to the Schatten class $S_p$ if and only if $\{\|Tf_n\|\}\in \ell^p$ for \emph{every} frame $\{f_n\}$ in $H$; and for $0<p\le2$, $T$ belongs to $S_p$ if and only if $\{\|Tf_n\|\}\in\ell^p$ for \emph{some} frame $\{f_n\}$ in $H$. Similar conditions are also obtained in terms of the sequence… ▽ More Let $T$ be a compact operator on a separable Hilbert space $H$. We show that, for $2\le p<\infty$, $T$ belongs to the Schatten class $S_p$ if and only if $\{\|Tf_n\|\}\in \ell^p$ for \emph{every} frame $\{f_n\}$ in $H$; and for $0<p\le2$, $T$ belongs to $S_p$ if and only if $\{\|Tf_n\|\}\in\ell^p$ for \emph{some} frame $\{f_n\}$ in $H$. Similar conditions are also obtained in terms of the sequence $\{<Tf_n,f_n>\}$ and the double-indexed sequence $\{<Tf_n,f_m>\}$. △ Less

Submitted 11 February, 2013; originally announced February 2013.

Comments: 27 pages

MSC Class: 47B10; 46A35; 46B15

Fock-Sobolev spaces and their Carleson measures

Authors: Hongrae Cho, Kehe Zhu

Abstract: We consider the Fock-Sobolev space $F^{p,m}$ consisting of entire functions $f$ such that $f^{(m)}$, the $m$-th order derivative of $f$, is in the Fock space $F^p$. We show that an entire function $f$ is in $F^{p,m}$ if and only if the function $z^mf(z)$ is in $F^p$. We also characterize the Carleson measures for the spaces $F^{p,m}$, establish the boundedness of the weighted Fock projection on ap… ▽ More We consider the Fock-Sobolev space $F^{p,m}$ consisting of entire functions $f$ such that $f^{(m)}$, the $m$-th order derivative of $f$, is in the Fock space $F^p$. We show that an entire function $f$ is in $F^{p,m}$ if and only if the function $z^mf(z)$ is in $F^p$. We also characterize the Carleson measures for the spaces $F^{p,m}$, establish the boundedness of the weighted Fock projection on appropriate $L^p$ spaces, identify the Banach dual of $F^{p,m}$, and compute the complex interpolation space between two $F^{p,m}$ spaces. △ Less

Submitted 4 December, 2012; originally announced December 2012.

Comments: A revised version has been published in Journal of Functional Analysis

Journal ref: J. Funct. Anal. 263 (2012), 2483-2506

Products of Toeplitz operators on the Fock space

Authors: Hon Rae Cho, Jong-Do Park, Kehe Zhu

Abstract: Let $f$ and $g$ be functions, not identically zero, in the Fock space $F^2$ of $C_n$. We show that the product $T_fT_{\bar g}$ of Toeplitz operators on $F^2$ is bounded if and only if $f(z)=e^{q(z)}$ and $g(z)=ce^{-q(z)}$, where $c$ is a nonzero constant and $q$ is a linear polynomial. Let $f$ and $g$ be functions, not identically zero, in the Fock space $F^2$ of $C_n$. We show that the product $T_fT_{\bar g}$ of Toeplitz operators on $F^2$ is bounded if and only if $f(z)=e^{q(z)}$ and $g(z)=ce^{-q(z)}$, where $c$ is a nonzero constant and $q$ is a linear polynomial. △ Less

Submitted 30 November, 2012; originally announced December 2012.

Boundedness and compactness of operators on the Fock space

Authors: Xiaofeng Wang, Guangfu Cao, Kehe Zhu

Abstract: We obtain sufficient conditions for a densely defined operator on the Fock space to be bounded or compact. Under the boundedness condition we then characterize the compactness of the operator in terms of its Berezin transform. We obtain sufficient conditions for a densely defined operator on the Fock space to be bounded or compact. Under the boundedness condition we then characterize the compactness of the operator in terms of its Berezin transform. △ Less

Submitted 29 November, 2012; originally announced November 2012.

The Vlasov-Poisson-Landau System in $\R^3_x$

Authors: Robert M. Strain, Keya Zhu

Abstract: For the Landau-Poisson system with Coulomb interaction in $\R^3_x$, we prove the global existence, uniqueness, and large time convergence rates to the Maxwellian equilibrium for solutions which start out sufficiently close. For the Landau-Poisson system with Coulomb interaction in $\R^3_x$, we prove the global existence, uniqueness, and large time convergence rates to the Maxwellian equilibrium for solutions which start out sufficiently close. △ Less

Submitted 11 February, 2012; originally announced February 2012.

Comments: 50 pages

Journal ref: Arch. Ration. Mech. Anal. (2013)

Global self-weighted and local quasi-maximum exponential likelihood estimators for ARMA--GARCH/IGARCH models

Authors: Ke Zhu, Shiqing Ling

Abstract: This paper investigates the asymptotic theory of the quasi-maximum exponential likelihood estimators (QMELE) for ARMA--GARCH models. Under only a fractional moment condition, the strong consistency and the asymptotic normality of the global self-weighted QMELE are obtained. Based on this self-weighted QMELE, the local QMELE is showed to be asymptotically normal for the ARMA model with GARCH (finit… ▽ More This paper investigates the asymptotic theory of the quasi-maximum exponential likelihood estimators (QMELE) for ARMA--GARCH models. Under only a fractional moment condition, the strong consistency and the asymptotic normality of the global self-weighted QMELE are obtained. Based on this self-weighted QMELE, the local QMELE is showed to be asymptotically normal for the ARMA model with GARCH (finite variance) and IGARCH errors. A formal comparison of two estimators is given for some cases. A simulation study is carried out to assess the performance of these estimators, and a real example on the world crude oil price is given. △ Less

Submitted 30 January, 2012; originally announced January 2012.

Comments: Published in at http://dx.doi.org/10.1214/11-AOS895 the Annals of Statistics (http://www.imstat.org/aos/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOS-AOS895

Journal ref: Annals of Statistics 2011, Vol. 39, No. 4, 2131-2163

Maximal zero sequences for Fock spaces

Authors: Kehe Zhu

Abstract: A sequence $Z$ in the complex plane $\C$ is called a zero sequence for the Fock space $F^p_α$ if there exists a function $f\in F^p_α$, not identically zero, such that $Z$ is the zero set of $f$, counting multiplicities. We show that there exist zero sequences $Z$ for $F^p_α$ with the following properties: (1) For any $a\in\C$ the sequence $Z\cup\{a\}$ is no longer a zero sequence for $F^p_α$; (2)… ▽ More A sequence $Z$ in the complex plane $\C$ is called a zero sequence for the Fock space $F^p_α$ if there exists a function $f\in F^p_α$, not identically zero, such that $Z$ is the zero set of $f$, counting multiplicities. We show that there exist zero sequences $Z$ for $F^p_α$ with the following properties: (1) For any $a\in\C$ the sequence $Z\cup\{a\}$ is no longer a zero sequence for $F^p_α$; (2) the space $I_Z$ consisting of all functions in $F^p_α$ that vanish on $Z$ is one dimensional. These $Z$ are naturally called maximal zero sequences for $F^p_α$. △ Less

Submitted 10 October, 2011; originally announced October 2011.

Thin instantons in G_2-manifolds and Seiberg-Witten invariants

Authors: Naichung Conan Leung, Xiaowei Wang, Ke Zhu

Abstract: For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C. For two nearby disjoint coassociative submanifolds C and C' in a G_2-manifold, we construct thin instantons with boundaries lying on C and C' from regular J-holomorphic curves in C. We explain their relationship with the Seiberg-Witten invariants for C. △ Less

Submitted 26 March, 2013; v1 submitted 11 July, 2011; originally announced July 2011.

Comments: 75 pages. Improved exposition. To appear in J. Diff. Geom. 2013

MSC Class: 53C07 (Primary) 53D40; 81T30 (Secondary)

Large-Time Decay of the Soft Potential relativistic Boltzmann equation in $\R^3_x$

Authors: Robert M. Strain, Keya Zhu

Abstract: For the relativistic Boltzmann equation in $\R^3_x$, this work proves the global existence, uniqueness, positivity, and optimal time convergence rates to the relativistic Maxwellian for solutions which start out sufficiently close under the general physical soft potential assumption proposed in 1988 by Dudy{ń}ski and Ekiel-Je{ż}ewska. For the relativistic Boltzmann equation in $\R^3_x$, this work proves the global existence, uniqueness, positivity, and optimal time convergence rates to the relativistic Maxwellian for solutions which start out sufficiently close under the general physical soft potential assumption proposed in 1988 by Dudy{ń}ski and Ekiel-Je{ż}ewska. △ Less

Submitted 8 June, 2011; originally announced June 2011.

Comments: 34 pages

Journal ref: Kinetic and Related Models (2012)

Partial collapsing degeneration of Floer trajectories and adiabatic gluing

Authors: Yong-Geun Oh, Ke Zhu

Abstract: We study partial collapsing degeneration of Hamiltonian-perturbed Floer trajectories for an adiabatic $\varepsilon$-family and its reversal adiabatic gluing, as the prototype of the partial collapsing degeneration of $2$-dimensional (perturbed) $J$-holomorphic maps to $1$-dimensional gradient segments. We consider the case when the Floer equations are $S^1$-invariant on parts of their domains whos… ▽ More We study partial collapsing degeneration of Hamiltonian-perturbed Floer trajectories for an adiabatic $\varepsilon$-family and its reversal adiabatic gluing, as the prototype of the partial collapsing degeneration of $2$-dimensional (perturbed) $J$-holomorphic maps to $1$-dimensional gradient segments. We consider the case when the Floer equations are $S^1$-invariant on parts of their domains whose adiabatic limits have positive lengths as $\varepsilon \to 0$, which we call thimble-flow-thimble configurations. The main gluing theorem we prove also applies to the case with Lagrangian boundaries such as in the problem of recovering holomorphic disks out of pearly configurations. In particular, our gluing theorem gives rise to a new direct proof of the chain isomorphism property between the Morse-Bott version of Lagrangian intersection Floer complex of $L$ by Fukaya-Oh-Ohta-Ono and the pearly complex of $L$ by Lalonde and Biran-Cornea (for monotone Lagrangian submanifolds). It also provides another proof of the present authors' earlier proof of the isomorphism property of the PSS map without involving the target rescaling and the scale-dependent gluing. (This is a rewritten version of our previous arXiv posting, arXiv:1103.3525.) △ Less

Submitted 1 May, 2022; v1 submitted 17 March, 2011; originally announced March 2011.

Comments: 90 pages, 6 figures, rewritten version of arXiv:1103.3525

MSC Class: 53D40

Translation invariance of Fock spaces

Authors: Kehe Zhu

Abstract: We show that there is only one Hilbert space of entire functions that is invariant under the action of naturally defined weighted translations. We show that there is only one Hilbert space of entire functions that is invariant under the action of naturally defined weighted translations. △ Less

Submitted 21 January, 2011; originally announced January 2011.

Logarithmic convexity of integral means for analytic functions

Authors: Chunjie Wang, Kehe Zhu

Abstract: We show that the $L^2$ integral mean on $r\D$ of an analytic function in the unit disk $\D$ with respect to the weighted area measure $(1-|z|^2)^α\,dA(z)$, where $-3\leα\le0$, is a logarithmically convex function of $r$ on $(0,1)$. We also show that the range $[-3,0]$ for $α$ is best possible. We show that the $L^2$ integral mean on $r\D$ of an analytic function in the unit disk $\D$ with respect to the weighted area measure $(1-|z|^2)^α\,dA(z)$, where $-3\leα\le0$, is a logarithmically convex function of $r$ on $(0,1)$. We also show that the range $[-3,0]$ for $α$ is best possible. △ Less

Submitted 15 January, 2011; originally announced January 2011.

MSC Class: 30H10; 30H20

An integral representation for Besov and Lipschitz spaces

Authors: Kehe Zhu

Abstract: It is well known that functions in the analytic Besov space $B_1$ on the unit disk $\D$ admits an integral representation $$f(z)=\ind\frac{z-w}{1-z\bar w}\,dμ(w),$$ where $μ$ is a complex Borel measure with $|μ|(\D)<\infty$. We generalize this result to all Besov spaces $B_p$ with $0<p\le1$ and all Lipschitz spaces $Λ_t$ with $t>1$. We also obtain a version for Bergman and Fock spaces. It is well known that functions in the analytic Besov space $B_1$ on the unit disk $\D$ admits an integral representation $$f(z)=\ind\frac{z-w}{1-z\bar w}\,dμ(w),$$ where $μ$ is a complex Borel measure with $|μ|(\D)<\infty$. We generalize this result to all Besov spaces $B_p$ with $0<p\le1$ and all Lipschitz spaces $Λ_t$ with $t>1$. We also obtain a version for Bergman and Fock spaces. △ Less

Submitted 15 January, 2011; originally announced January 2011.

MSC Class: 30H20; 30H25; 32A36

Journal ref: J. Aust. Math. Soc. 98 (2015) 129-144

Start-up flow of a viscoelastic fluid in a pipe with fractional Maxwell's model

Authors: Di Yang, Ke-Qin Zhu

Abstract: Unidirectional start-up flow of a viscoelastic fluid in a pipe with fractional Maxwell's model is studied. The flow starting from rest is driven by a constant pressure gradient in an infinite long straight pipe. By employing the method of variable separations and Heaviside operational calculus, we obtain the exact solution, from which the flow characteristics are investigated. It is found that the… ▽ More Unidirectional start-up flow of a viscoelastic fluid in a pipe with fractional Maxwell's model is studied. The flow starting from rest is driven by a constant pressure gradient in an infinite long straight pipe. By employing the method of variable separations and Heaviside operational calculus, we obtain the exact solution, from which the flow characteristics are investigated. It is found that the start-up motion of fractional Maxwell's fluid with parameters $α$ and $β$, tends to be at rest as time goes to infinity, except the case of $β=1$. This observation, which also can be predicted from the mechanics analogue of fractional Maxwell's model, agrees with the classical work of Friedrich and it indicates fractional Maxwell's fluid presents solid-like behavior if $\be\neq 1$ and fluid-like behavior if $\be=1$. For an arbitrary viscoelastic model, a conjecture is proposed to give an intuitive way judging whether it presents fluid-like or solid-like behavior. Also oscillations may occur before the fluid tends to the asymptotic behavior stated above, which is a common phenomenon for viscoelastic fluids. △ Less

Submitted 27 June, 2010; originally announced June 2010.

Comments: 14pages, 7 figures. A revised edition

Moduli Spaces of $J$-holomorphic Curves with General Jet Constraints

Authors: Ke Zhu

Abstract: In this paper, we prove that the tagent map of the holomorphic $k$- jet evaluation $j^k_{hol}$ from the map** space to holomorphic $k$-jet bundle, when restricted on the universal moduli space of simple J-holomorphic curves with one marked point, is surjective. From this we derive that for generic $J$, the moduli space of simple $J$-holomorphic curves in class $β\in H_2(M)$ with general jet co… ▽ More In this paper, we prove that the tagent map of the holomorphic $k$- jet evaluation $j^k_{hol}$ from the map** space to holomorphic $k$-jet bundle, when restricted on the universal moduli space of simple J-holomorphic curves with one marked point, is surjective. From this we derive that for generic $J$, the moduli space of simple $J$-holomorphic curves in class $β\in H_2(M)$ with general jet constraints at marked points is a smooth manifold of expected dimension. △ Less

Submitted 9 November, 2009; originally announced November 2009.

MSC Class: 53D35

Embedding property of $J$-holomorphic curves in Calabi-Yau manifolds for generic $J$

Authors: Yong-Geun Oh, Ke Zhu

Abstract: In this paper, we prove that for a generic choice of tame (or compatible) almost complex structures $J$ on a symplectic manifold $(M^{2n},ω)$ with $n \geq 3$ and with its first Chern class $c_1(M,ω) = 0$, all somewhere injective $J$-holomorphic maps from any closed smooth Riemann surface into $M$ are \emph{embedded}. We derive this result as a consequence of the general optimal 1-jet evaluation… ▽ More In this paper, we prove that for a generic choice of tame (or compatible) almost complex structures $J$ on a symplectic manifold $(M^{2n},ω)$ with $n \geq 3$ and with its first Chern class $c_1(M,ω) = 0$, all somewhere injective $J$-holomorphic maps from any closed smooth Riemann surface into $M$ are \emph{embedded}. We derive this result as a consequence of the general optimal 1-jet evaluation transversality result of $J$-holomorphic maps in general symplectic manifolds that we also prove in this paper. △ Less

Submitted 4 February, 2009; v1 submitted 23 May, 2008; originally announced May 2008.

Comments: The exposition of the paper much improved with some clarifications in the Fredholm setting. The proof of 1-jet evaluation transversality is much clarified by correcting minor error in the Fredholm analysis and making precise the choice of Sobolev norms in the proof. A few more references are added

MSC Class: 53D35(primary); 14H10(secondary)

Journal ref: Asian J. Math. 13 (2009), 323 - 340

Floer trajectories with immersed nodes and scale-dependent gluing

Authors: Yong-Geun Oh, Ke Zhu

Abstract: We define an enhanced compactification of Floer trajectories under Morse background using the adiabatic degeneration and the scale-dependent gluing techniques. The compactification reflects the 1-jet datum of the smooth Floer trajectories nearby the limiting nodal Floer trajectories arising from adiabatic degeneration of the background Morse function. This paper studies the gluing problem when t… ▽ More We define an enhanced compactification of Floer trajectories under Morse background using the adiabatic degeneration and the scale-dependent gluing techniques. The compactification reflects the 1-jet datum of the smooth Floer trajectories nearby the limiting nodal Floer trajectories arising from adiabatic degeneration of the background Morse function. This paper studies the gluing problem when the limiting gradient trajectories has length zero through a renomalization process. The case with limiting gradient trajectories of non-zero length will be treated elsewhere. An immediate application of our result is a proof of the isomorphism property of the PSS map : A proof of this isomorphism property was first outlined by Pünihikin-Salamon-Schwarz \cite{PSS} in a way somewhat different from the current proof in its details. This kind of scale-dependent gluing techniques was initiated in [FOOO07] in relation to the metamorphosis of holomorphic polygons under Lagrangian surgery and is expected to appear in other gluing and compactification problem of pseudo-holomorphic curves that involves `adiabatic' parameters or rescales the targets. △ Less

Submitted 8 February, 2010; v1 submitted 27 November, 2007; originally announced November 2007.

Comments: 122 pages, 6 figures. Submitted version. Quadratic estimates added, presentation of error estimates improved

MSC Class: 53D40