SearcharxivSearch

arXiv subjects

Der-Chen Chang

Publications and source records attributed to Der-Chen Chang.

At least 19 recordsLinked to original sources

Chamber lifting and non-radial Dunkl multipliers

We study non-radial Dunkl multipliers via chamber lifting. For an arbitrary finite reflection group $G$, the chamber lifting records all reflected values of a function and conjugates a multiplier into a finite matrix-valued operator on the chamber. If the dyadic matrix entries admit off-diagonal kernels satisfying the chamber $L^2$ H\"ormander condition $\operatorname{CH}^2_{s,\eta}$ with $s>N_\kappa/2$, then the original multiplier is bounded on $L^p(\mathbb R^N,d\omega)$ for every $1 N_\kappa/2$ therefore imply $L^p$ boundedness, for all $1<p<\infty$, for a genuinely non-radial class of symbols. The order $N_\kappa/2$ is forced already by the rank-one Bessel transform. The same chamber theorem also applies to non-product examples once the matrix kernel condition is known, including the dihedral groups $I_2(q)$ and hence $A_2\simeq I_2(3)$ and $B_2\simeq I_2(4)$. The scalar Walsh--Sobolev verification is specific to $A_1^N$. In non-product groups such as $A_2$, $A_{N-1}$, and $B_N$, the product parity calculus is absent, so a scalar theorem of the same form would require additional transform estimates.

math.CA

Spectral projection operators of the Sub-Laplacian and Laguerre calculus on non-degenerate nilpotent Lie groups of step two

In this paper, we introduce the spectral projection operators $\mathbb{P}_m$ on non-degenerate nilpotent Lie groups $\mathcal{N}$ of step two, associated to the joint spectrum of sub-Laplacian and derivatives in step two. We construct their kernels $P_m(\mathbf{y},\mathbf{t})$ by using Laguerre calculus and find a simple integral representation formula for $\mathbf{y}\neq 0$. Then we show the kernels are Lipschitzian homogeneous functions on $\mathcal{N}\setminus \{\mathbf{0}\}$ by analytic continuation. Moreover, they are shown to be Calderón-Zygmund kernels, so that the spectral projection operator $\mathbb{P}_m$ can be extended to a bounded operator from $L^p(\mathcal{N})$ to itself. We also prove a convergence theorem of the Abel sum $\lim _{R \rightarrow 1^-} \sum_{m=0}^{\infty} R^{m}\mathbb{P}_{m}ϕ=ϕ$ by estimating the $L^p(\mathcal{N})$-norms of $\mathbb{P}_m$. Furthermore, $\mathbb{P}_m$ are mutually orthogonal projection operators and $\sum_{m=0}^{\infty} \mathbb{P}_{m}ϕ=ϕ$ for $ϕ\in L^2(\mathcal{N})$.

math.FA

Self-supervised Representation Learning on Electronic Health Records with Graph Kernel Infomax

Learning Electronic Health Records (EHRs) representation is a preeminent yet under-discovered research topic. It benefits various clinical decision support applications, e.g., medication outcome prediction or patient similarity search. Current approaches focus on task-specific label supervision on vectorized sequential EHR, which is not applicable to large-scale unsupervised scenarios. Recently, contrastive learning shows great success on self-supervised representation learning problems. However, complex temporality often degrades the performance. We propose Graph Kernel Infomax, a self-supervised graph kernel learning approach on the graphical representation of EHR, to overcome the previous problems. Unlike the state-of-the-art, we do not change the graph structure to construct augmented views. Instead, we use Kernel Subspace Augmentation to embed nodes into two geometrically different manifold views. The entire framework is trained by contrasting nodes and graph representations on those two manifold views through the commonly used contrastive objectives. Empirically, using publicly available benchmark EHR datasets, our approach yields performance on clinical downstream tasks that exceeds the state-of-the-art. Theoretically, the variation on distance metrics naturally creates different views as data augmentation without changing graph structures.

cs.LG

Optimal lifting of Levi-degenerate hypersurfaces and applications to the Cauchy--Szegö projection

We consider a family of Levi-degenerate finite type hypersurfaces in $\mathbb C^2$, where in general there is no group structure. We lift these domains to stratified Lie groups via a constructive proof, which optimizes the well-known lifting procedure to free Lie groups of general manifolds defined by Rothschild and Stein. This yields an explicit version of the Taylor expansion with respect to the horizontal vector fields induced by the sub-Riemannian structure on these hypersurfaces. Hence, as an application, we establish the Schatten class estimates for the commutator of the Cauchy--Szegö projection with respect to a suitable quasi-metric defined on the hypersurface.

math.CV

The Kohn-Laplacian and Cauchy-Szegö projection on Model Domains

We study the Kohn-Laplacian and its fundamental solution on some model domains in $\mathbb C^{n+1}$, and further discuss the explicit kernel of the Cauchy-Szegö projections on these model domains using the real analysis method. We further show that these Cauchy-Szegö kernels are Calderón-Zygmund kernels under the suitable quasi-metric.

math.CV

Gradient Shrinking Sasaki-Ricci Solitons on Sasakian Manifolds of Dimension Up to Seven

In this paper, we show that the uniform L^4-bound of the transverse Ricci curvature along the Sasaki-Ricci flow on a compact quasi-regular transverse Fano Sasakian (2n+1)-manifold M. When M is dimension up to seven and the space of leaves of the characteristic foliation is well-formed, we first show that any solution of the Sasaki-Ricci flow converges in the Cheeger-Gromov sense to the unique singular orbifold Sasaki-Ricci soliton on the limit space which is a S^1-orbibundle over the unique singular Kaehler-Ricci soliton on a normal projective variety with codimension two orbifold singularities. Secondly, for n=1, we show that there are only two nontrivial Sasaki-Ricci solitons on a compact quasi-regular Fano Sasakian three-sphere with its leave space a teardrop-like and football-like space, respectively. For n=2,3, we show that the Sasaki-Ricci soliton is trivial one if M is transverse K-stable.

math.DG

Fundamental properties of Cauchy--Szegő projection on quaternionic Siegel upper half space and applications

We investigate the Cauchy--Szegő projection for quaternionic Siegel upper half space to obtain the pointwise (higher order) regularity estimates for Cauchy--Szegő kernel and prove that the Cauchy--Szegő kernel is non-zero everywhere, which further yields a non-degenerated pointwise lower bound. As applications, we prove the uniform boundedness of Cauchy--Szegő projection on every atom on the quaternionic Heisenberg group, which is used to give an atomic decomposition of regular Hardy space $ H^p$ on quaternionic Siegel upper half space for $2/3<p\leq1$. Moreover, we establish the characterisation of singular values of the commutator of Cauchy--Szegő projection based on the kernel estimates and on the recent new approach by Fan--Lacey--Li. The quaternionic structure (lack of commutativity) is encoded in the symmetry groups of regular functions and the associated partial differential equations.

math.CV

Nontriviality of Riesz--Morrey Spaces

In this article, the authors completely answer an open question, presented in [Banach J. Math. Anal. 15 (2021), no. 1, 20], via showing that the Riesz--Morrey space is truly a new space larger than a particular Lebesgue space with critical index. Indeed, this Lebesgue space is just the real interpolation space of the Riesz--Morrey space for suitable indices. Moreover, the authors further show the aforementioned inclusion is also proper, namely, this embedding is sharp in some sense, via constructing two nontrivial spare functions, respectively, on $\mathbb{R}^n$ and any given cube $Q_0$ of $\mathbb{R}^n$ with finite side length. The latter constructed function is inspired by the striking function constructed by Dafni et al. [J. Funct. Anal. 275 (2018), 577--603]. All the proofs of these results strongly depend on some exquisite geometrical analysis on cubes of $\mathbb{R}^n$. As an application, the relationship between Riesz--Morrey spaces and Lebesgue spaces is completely clarified on all indices.

math.FA

The Analysis from Nonlinear Distance Metric to Kernel-based Drug Prescription Prediction System

Distance metrics and their nonlinear variant play a crucial role in machine learning based real-world problem solving. We demonstrated how Euclidean and cosine distance measures differ not only theoretically but also in real-world medical application, namely, outcome prediction of drug prescription. Euclidean distance exhibits favorable properties in the local geometry problem. To this regard, Euclidean distance can be applied under short-term disease with low-variation outcome observation. Moreover, when presenting to highly variant chronic disease, it is preferable to use cosine distance. These different geometric properties lead to different submanifolds in the original embedded space, and hence, to different optimizing nonlinear kernel embedding frameworks. We first established the geometric properties that we needed in these frameworks. From these properties interpreted their differences in certain perspectives. Our evaluation on real-world, large-scale electronic health records and embedding space visualization empirically validated our approach.

cs.LG

Cross-Global Attention Graph Kernel Network Prediction of Drug Prescription

We present an end-to-end, interpretable, deep-learning architecture to learn a graph kernel that predicts the outcome of chronic disease drug prescription. This is achieved through a deep metric learning collaborative with a Support Vector Machine objective using a graphical representation of Electronic Health Records. We formulate the predictive model as a binary graph classification problem with an adaptive learned graph kernel through novel cross-global attention node matching between patient graphs, simultaneously computing on multiple graphs without training pair or triplet generation. Results using the Taiwanese National Health Insurance Research Database demonstrate that our approach outperforms current start-of-the-art models both in terms of accuracy and interpretability.

cs.LG

Littlewood-Paley Characterizations of Hardy-type Spaces Associated with Ball Quasi-Banach Function Spaces

Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$. In this article, assuming that the powered Hardy--Littlewood maximal operator satisfies some Fefferman--Stein vector-valued maximal inequality on $X$ and is bounded on the associated space, the authors establish various Littlewood--Paley function characterizations of the Hardy space $H_X({\mathbb R}^n)$ associated with $X$, under some weak assumptions on the Littlewood--Paley functions. To this end, the authors also establish a useful estimate on the change of angles in tent spaces associated with $X$. All these results have wide applications. Particularly, when $X:=M_r^p({\mathbb R}^n)$ (the Morrey space), $X:=L^{\vec{p}}({\mathbb R}^n)$ (the mixed-norm Lebesgue space), $X:=L^{p(\cdot)}({\mathbb R}^n)$ (the variable Lebesgue space), $X:=L_ω^p({\mathbb R}^n)$ (the weighted Lebesgue space) and $X:=(E_Φ^r)_t({\mathbb R}^n)$ (the Orlicz-slice space), the Littlewood--Paley function characterizations of $H_X({\mathbb R}^n)$ obtained in this article improve the existing results via weakening the assumptions on the Littlewood--Paley functions and widening the range of $λ$ in the Littlewood--Paley $g_λ^*$-function characterization of $H_X(\mathbb R^n)$.

math.CA

On the CR analogue of Frankel conjecture and a smooth representative of the first Kohn-Rossi cohomology group

In this note, we first give a criterion of pseudo-Einstein contact forms and then affirm the CR analogue of Frankel conjecture in a closed, spherical, strictly pseudoconvex CR manifold of nonnegative pseudohermitian curvature on the space of smooth representatives of the first Kohn-Rossi cohomology group. Moreover, we obtain the CR Frankel conjecture in a closed, spherical, strictly pseudoconvex CR manifold with the vanishing first Kohn-Rossi cohomology group. In particular, this conjecture holds in a spherical boundary of the Stein manifold.

math.DG

An explicit formula of Cauchy--Szegö kernel for quaternionic Siegel upper half space and applications

In this paper we obtain an explicit formula of Cauchy--Szegö kernel for quaternionic Siegel upper half space, and then based on this, we prove that the Cauchy--Szegö projection on quaternionic Heisenberg group is a Calderón--Zygmund operator via verifying the size and regularity conditions for the kernel. Next, we also obtain a suitable version of pointwise lower bound for the kernel, which further implies the characterisations of the boundedness and compactness of commutator of the Cauchy--Szegö operator via the BMO and VMO spaces on quaternionic Heisenberg group, respectively.

math.CV

The Laguerre calculus on the nilpotent Lie groups of step two

The Laguerre calculus is widely used for the inversion of differential operators on the Heisenberg group. We extend the Laguerre calculus for nilpotent groups of step two, and test it in the determining of the fundamental solution of the sub-Laplace operator. We also apply it to find the Szegö kernels of the projection operators to a kind of regular functions on the quaternion Heisenberg group.

math.CA

On the CR Poincaré-Lelong equation, Yamabe steady solitons and structures of complete noncompact Sasakian manifolds

In this paper, we solve the so-called CR Poincaré-Lelong equation by solving the CR Poisson equation on a complete noncompact CR $(2n+1)$-manifold with nonegative pseudohermitian bisectional curvature tensors and vanishing torsion which is an odd dimensional counterpart of Kähler geometry. With applications of this solution plus the CR Liouvelle property, we study the structures of complete noncompact Sasakian manifolds and CR Yamabe steady solitons.

math.DG

Gradient Estimates via Rearrangements for Solutions of Some Schrödinger Equations

In this article, by applying the well known method for dealing with $p$-Laplace type elliptic boundary value problems, the authors establish a sharp estimate for the decreasing rearrangement of the gradient of solutions to the Dirichlet and the Neumann boundary value problems of a class of Schrödinger equations, under the weak regularity assumption on the boundary of domains. As applications, gradient estimates of these solutions in Lebesgue spaces and Lorentz spaces are obtained.

math.AP

On Li-Yau gradient estimate for sum of squares of vector fields up to higher step

In this paper, we generalize the Cao-Yau's gradient estimate for the sum of squares of vector fields up to higher step under assumption of the generalized curvature-dimension inequality. With its applications, by deriving a curvature-dimension inequality, we are able to obtain the Li-Yau gradient estimate for the CR heat equation in a closed pseudohermitian manifold of nonvanishing torsion tensors. As consequences, we obtain the Harnack inequality and upper bound estimate for the CR heat kernel.

math.DG

Littlewood-Paley Characterizations of Hajłasz-Sobolev and Triebel-Lizorkin Spaces via Averages on Balls

Let $p\in(1,\infty)$ and $q\in[1,\infty)$. In this article, the authors characterize the Triebel-Lizorkin space ${F}^α_{p,q}(\mathbb{R}^n)$ with smoothness order $α\in(0,2)$ via the Lusin-area function and the $g_λ^*$-function in terms of difference between $f(x)$ and its average $B_tf(x):=\frac1{|B(x,t)|}\int_{B(x,t)}f(y)\,dy$ over a ball $B(x,t)$ centered at $x\in\mathbb{R}^n$ with radius $t\in(0,1)$. As an application, the authors obtain a series of characterizations of $F^α_{p,\infty}(\mathbb{R}^n)$ via pointwise inequalities, involving ball averages, in spirit close to Hajłasz gradients, here an interesting phenomena naturally appears that, in the end-point case when $α=2$, these pointwise inequalities characterize the Triebel-Lizorkin spaces $F^2_{p,2}(\mathbb{R}^n)$, while not $F^2_{p,\infty}(\mathbb{R}^n)$. In particular, some new pointwise characterizations of Hajłasz-Sobolev spaces via ball averages are obtained. Since these new characterizations only use ball averages, they can be used as starting points for developing a theory of Triebel-Lizorkin spaces with smoothness orders not less than $1$ on spaces of homogeneous type.

math.CA