Catalog footprint

What is connected

52works
28topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

52 published item(s)

preprint2026arXiv

Covering Human Action Space for Computer Use: Data Synthesis and Benchmark

Computer-use agents (CUAs) automate on-screen work, as illustrated by GPT-5.4 and Claude. Yet their reliability on complex, low-frequency interactions is still poor, limiting user trust. Our analysis of failure cases from advanced models suggests a long-tail pattern in GUI operations, where a relatively small fraction of complex and diverse interactions accounts for a disproportionate share of task failures. We hypothesize that this issue largely stems from the scarcity of data for complex interactions. To address this problem, we propose a new benchmark CUActSpot for evaluating models' capabilities on complex interactions across five modalities: GUI, text, table, canvas, and natural image, as well as a variety of actions (click, drag, draw, etc.), covering a broader range of interaction types than prior click-centric benchmarks that focus mainly on GUI widgets. We also design a renderer-based data-synthesis pipeline: scenes are automatically generated for each modality, screenshots and element coordinates are recorded, and an LLM produces matching instructions and action traces. After training on this corpus, our Phi-Ground-Any-4B outperforms open-source models with fewer than 32B parameters. We will release our benchmark, data, code, and models at https://github.com/microsoft/Phi-Ground.git

preprint2022arXiv

$L^{p}$ estimates and weighted estimates of fractional maximal rough singular integrals on homogeneous groups

In this paper, we study the $L^{p}$ boundedness and $L^{p}(w)$ boundedness ($1<p<\infty$ and $w$ a Muckenhoupt $A_{p}$ weight) of fractional maximal singular integral operators $T_{Ω,α}^{\#}$ with homogeneous convolution kernel $Ω(x)$ on an arbitrary homogeneous group $\mathbb H$ of dimension $\mathbb{Q}$. We show that if $0<α<\mathbb{Q}$, $Ω\in L^{1}(Σ)$ and satisfies the cancellation condition of order $[α]$, then for any $1<p<\infty$, \begin{align*} \|T_{Ω,α}^{\#}f\|_{L^{p}(\mathbb{H})}\lesssim\|Ω\|_{L^{1}(Σ)}\|f\|_{L_α^{p}(\mathbb{H})}, \end{align*} where for the case $α=0$, the $L^p$ boundedness of rough singular integral operator and its maximal operator were studied by Tao (\cite{Tao}) and Sato (\cite{sato}), respectively. We also obtain a quantitative weighted bound for these operators. To be specific, if $0\leqα<\mathbb{Q}$ and $Ω$ satisfies the same cancellation condition but a stronger condition that $Ω\in L^{q}(Σ)$ for some $q>\mathbb{Q}/α$, then for any $1<p<\infty$ and $w\in A_{p}$, \begin{align*} \|T_{Ω,α}^{\#}f\|_{L^{p}(w)}\lesssim\|Ω\|_{L^{q}(Σ)}\{w\}_{A_p}(w)_{A_p}\|f\|_{L_α^{p}(w)},\ \ 1<p<\infty. \end{align*}

preprint2022arXiv

A Secure and Efficient Federated Learning Framework for NLP

In this work, we consider the problem of designing secure and efficient federated learning (FL) frameworks. Existing solutions either involve a trusted aggregator or require heavyweight cryptographic primitives, which degrades performance significantly. Moreover, many existing secure FL designs work only under the restrictive assumption that none of the clients can be dropped out from the training protocol. To tackle these problems, we propose SEFL, a secure and efficient FL framework that (1) eliminates the need for the trusted entities; (2) achieves similar and even better model accuracy compared with existing FL designs; (3) is resilient to client dropouts. Through extensive experimental studies on natural language processing (NLP) tasks, we demonstrate that the SEFL achieves comparable accuracy compared to existing FL solutions, and the proposed pruning technique can improve runtime performance up to 13.7x.

preprint2022arXiv

Detection of DC electric forces with zeptonewton sensitivity by single-ion phonon laser

Detecting extremely small forces helps exploring new physics quantitatively. Here we demonstrate that the phonon laser made of a single trapped $^{40}$Ca$^{+}$ ion behaves as an exquisite sensor for small force measurement. We report our successful detection of small electric forces regarding the DC trapping potential with sensitivity of 2.41$\pm$0.49 zN/$\sqrt{\rm Hz}$, with the ion only under Doppler cooling, based on the injection-locking of the oscillation phase of the phonon laser in addition to the classical squeezing applied to suppress the measurement uncertainty. We anticipate that such a single-ion sensor would reach a much better force detection sensitivity in the future once the trapping system is further improved and the fluorescence collection efficiency is further enhanced.

preprint2022arXiv

Endpoint weak Schatten class estimates and trace formula for commutators of Riesz transforms with multipliers on Heisenberg groups

Along the line of singular value estimates for commutators by Rochberg-Semmes, Lord-McDonald-Sukochev-Zanin and Fan-Lacey-Li, we establish the endpoint weak Schatten class estimate for commutators of Riesz transforms with multiplication operator $M_f$ on Heisenberg groups via homogeneous Sobolev norm of the symbol $f$. The new tool we exploit is the construction of a singular trace formula on Heisenberg groups, which, together with the use of double operator integrals, allows us to bypass the use of Fourier analysis and provides a solid foundation to investigate the singular values estimates for similar commutators in general stratified Lie groups.

preprint2022arXiv

Schatten classes and commutator in the two weight setting, I. Hilbert transform

We characterize the Hilbert--Schmidt class membership of commutator with the Hilbert transform in the two weight setting. The characterization depends upon the symbol of the commutator being in a new weighted Besov space. This follows from a Schatten class $S_p$ result for dyadic paraproducts, where $1< p < \infty $. We discuss the difficulties in extending the dyadic result to the full range of Schatten classes for the Hilbert transform.

preprint2022arXiv

Singular integral operators, $T1$ theorem, Littlewood-Paley theory and Hardy spaces in Dunkl Setting

The purpose of this paper is to introduce a new class of singular integral operators in the Dunkl setting involving both the Euclidean metric and the Dunkl metric. Then we provide the $T1$ theorem, the criterion for the boundedness on $L^2$ for these operators. Applying this singular integral operator theory, we establish the Littlewood-Paley theory and the Dunkl-Hardy spaces. As applications, the boundedness of singular integral operators, particularly, the Dunkl-Rieze transforms, on the Dunkl-Hardy spaces is given. The $L^2$ theory and the singular integral operator theory play crucial roles. New tools developed in this paper include the weak-type discrete Calderón reproducing formulae, new test functions, and distributions, the Littlewood-Paley, the wavelet-type decomposition, and molecule characterizations of the Dunkl-Hardy space, Coifman's approximation to the identity and the decomposition of the identity operator on $L^2$, Meyer's commutation Lemma, and new almost orthogonal estimates in the Dunkl setting.

preprint2022arXiv

The Schrödinger equation in $L^p$ spaces for operators with heat kernel satisfying Poisson type bounds

Let $L$ be a non-negative self-adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type with a dimension $n$. In this paper, we study sharp endpoint $L^p$-Sobolev estimates for the solution of the initial value problem for the Schrödinger equation, $i \partial_t u + L u=0 $ and show that for all $f\in L^p(X), 1<p<\infty,$ \begin{eqnarray*} \left\| e^{itL} (I+L)^{-{σn}} f\right\|_{p} \leq C(1+|t|)^{σn} \|f\|_{p}, \ \ \ t\in{\mathbb R}, \ \ \ σ\geq \big|{1\over 2}-{1\over p}\big|, \end{eqnarray*} where the semigroup $e^{-tL}$ generated by $L$ satisfies a Poisson type upper bound. This extends the previous result in \cite{CDLY1} in which the semigroup $e^{-tL}$ generated by $L$ satisfies the exponential decay.

preprint2022arXiv

The Two Weight Inequality for Poisson Semigroup on Manifold with Ends

Let $M = \mathbb R^m \sharp \mathcal R^n$ be a non-doubling manifold with two ends $\mathbb R^m \sharp \mathcal R^n$, $m > n \ge 3$. Let $Δ$ be the Laplace--Beltrami operator which is non-negative self-adjoint on $L^2(M)$. Then $Δ$ and its square root $\sqrtΔ$ generate the semigroups $e^{-tΔ}$ and $e^{-t\sqrtΔ}$ on $L^2(M)$, respectively. We give testing conditions for the two weight inequality for the Poisson semigroup $e^{-t\sqrtΔ}$ to hold in this setting. In particular, we prove that for a measure $μ$ on $M_{+}:=M\times (0,\infty)$ and $σ$ on $M$: $$ \|\mathsf{P}_σ(f)\|_{L^2(M_{+};μ)} \lesssim \|f\|_{L^2(M;σ)}, $$ with $\mathsf{P}_σ(f)(x,t):= \int_M \mathsf{P}_t(x,y)f(y) \,dσ(y)$ if and only if testing conditions hold for the Poisson semigroup and its adjoint. Further, the norm of the operator is shown to be equivalent to the best constant in these testing conditions.

preprint2021arXiv

Boundedness criterion for integral operators on the fractional Fock-Sobolev spaces

We provide a boundedness criterion for the integral operator $S_φ$ on the fractional Fock-Sobolev space $F^{s,2}(\mathbb C^n)$, $s\geq 0$, where $S_φ$ (introduced by Kehe Zhu) is given by \begin{eqnarray*} S_φF(z):= \int_{\mathbb{C}^n} F(w) e^{z \cdot\bar{w}} φ(z- \bar{w}) dλ(w) \end{eqnarray*} with $φ$ in the Fock space $F^2(\mathbb C^n)$ and $dλ(w): = π^{-n} e^{-|w|^2} dw$ the Gaussian measure on the complex space $\mathbb{C}^{n}$. This extends the recent result in Cao--Li--Shen--Wick--Yan. The main approach is to develop multipliers on the fractional Hermite-Sobolev space $W_H^{s,2}(\mathbb R^n)$.

preprint2020arXiv

A Boundedness Criterion for Singular Integral Operators of convolution type on the Fock Space

We show that for an entire function $φ$ belonging to the Fock space ${\mathscr F}^2(\mathbb{C}^n)$ on the complex Euclidean space $\mathbb{C}^n$, the integral operator \begin{eqnarray*} S_φF(z)=\int_{\mathbb{C}^n} F(w) e^{z \cdot\bar{w}} φ(z- \bar{w})\,dλ(w), \ \ \ \ \ z\in \mathbb{C}^n, \end{eqnarray*} is bounded on ${\mathscr F}^2(\mathbb{C}^n)$ if and only if there exists a function $m\in L^{\infty}(\mathbb{R}^n)$ such that $$ φ(z)=\int_{\mathbb{R}^n} m(x)e^{-2\left(x-\frac{i}{2} z \right)\cdot \left(x-\frac{i}{2} z \right)} dx, \ \ \ \ \ \ z\in \mathbb{C}^n. $$ Here $dλ(w)= π^{-n}e^{-\left\vert w\right\vert^2}dw$ is the Gaussian measure on $\mathbb C^n$. With this characterization we are able to obtain some fundamental results including the normaility, the algebraic property, spectrum and compactness of this operator $S_φ$. Moreover, we obtain the reducing subspaces of $S_φ$. In particular, in the case $n=1$, we give a complete solution to an open problem proposed by K. Zhu for the Fock space ${\mathscr F}^2(\mathbb{C})$ on the complex plane ${\mathbb C}$ (Integr. Equ. Oper. Theory {\bf 81} (2015), 451--454).

preprint2020arXiv

A two weight inequality for Calderón-Zygmund operators on spaces of homogeneous type with applications

Let $(X,d,μ)$ be a space of homogeneous type in the sense of Coifman and Weiss, i.e. $d$ is a quasi metric on $X$ and $μ$ is a positive measure satisfying the doubling condition. Suppose that $u$ and $v$ are two locally finite positive Borel measures on $(X,d,μ)$. Subject to the pair of weights satisfying a side condition, we characterize the boundedness of a Calderón--Zygmund operator $T$ from $L^{2}(u)$ to $L^{2}(v)$ in terms of the $A_{2}$ condition and two testing conditions. For every cube $B\subset X$, we have the following testing conditions, with $\mathbf{1}_{B}$ taken as the indicator of $B$ \begin{equation*} \Vert T(u\mathbf{1}_{B})\Vert _{L^{2}(B, v)}\leq \mathcal{T}\Vert 1_{B}\Vert _{L^{2}(u)}, \end{equation*} \begin{equation*} \Vert T^{\ast }(v\mathbf{1}_{B})\Vert _{L^{2}(B, u)}\leq \mathcal{T}\Vert 1_{B}\Vert _{L^{2}(v)}. \end{equation*} The proof uses stopping cubes and corona decompositions originating in work of Nazarov, Treil and Volberg, along with the pivotal side condition.

preprint2020arXiv

FTRANS: Energy-Efficient Acceleration of Transformers using FPGA

In natural language processing (NLP), the "Transformer" architecture was proposed as the first transduction model replying entirely on self-attention mechanisms without using sequence-aligned recurrent neural networks (RNNs) or convolution, and it achieved significant improvements for sequence to sequence tasks. The introduced intensive computation and storage of these pre-trained language representations has impeded their popularity into computation and memory-constrained devices. The field-programmable gate array (FPGA) is widely used to accelerate deep learning algorithms for its high parallelism and low latency. However, the trained models are still too large to accommodate to an FPGA fabric. In this paper, we propose an efficient acceleration framework, Ftrans, for transformer-based large scale language representations. Our framework includes enhanced block-circulant matrix (BCM)-based weight representation to enable model compression on large-scale language representations at the algorithm level with few accuracy degradation, and an acceleration design at the architecture level. Experimental results show that our proposed framework significantly reduces the model size of NLP models by up to 16 times. Our FPGA design achieves 27.07x and 81x improvement in performance and energy efficiency compared to CPU, and up to 8.80x improvement in energy efficiency compared to GPU.

preprint2020arXiv

H2O-Cloud: A Resource and Quality of Service-Aware Task Scheduling Framework for Warehouse-Scale Data Centers -- A Hierarchical Hybrid DRL (Deep Reinforcement Learning) based Approach

Cloud computing has attracted both end-users and Cloud Service Providers (CSPs) in recent years. Improving resource utilization rate (RUtR), such as CPU and memory usages on servers, while maintaining Quality-of-Service (QoS) is one key challenge faced by CSPs with warehouse-scale data centers. Prior works proposed various algorithms to reduce energy cost or to improve RUtR, which either lack the fine-grained task scheduling capabilities, or fail to take a comprehensive system model into consideration. This article presents H2O-Cloud, a Hierarchical and Hybrid Online task scheduling framework for warehouse-scale CSPs, to improve resource usage effectiveness while maintaining QoS. H2O-Cloud is highly scalable and considers comprehensive information such as various workload scenarios, cloud platform configurations, user request information and dynamic pricing model. The hierarchy and hybridity of the framework, combined with its deep reinforcement learning (DRL) engines, enable H2O-Cloud to efficiently start on-the-go scheduling and learning in an unpredictable environment without pre-training. Our experiments confirm the high efficiency of the proposed H2O-Cloud when compared to baseline approaches, in terms of energy and cost while maintaining QoS. Compared with a state-of-the-art DRL-based algorithm, H2O-Cloud achieves up to 201.17% energy cost efficiency improvement, 47.88% energy efficiency improvement and 551.76% reward rate improvement.

preprint2020arXiv

Mapping the Galactic disk with the LAMOST and Gaia Red clump sample: I: precise distances, masses, ages and 3D velocities of $\sim$ 140000 red clump stars

We present a sample of $\sim$ 140,000 primary red clump (RC) stars of spectral signal-to-noise ratios higher than 20 from the LAMOST Galactic spectroscopic surveys, selected based on their positions in the metallicity-dependent effective temperature--surface gravity and color--metallicity diagrams, supervised by high-quality $Kepler$ asteroseismology data. The stellar masses and ages of those stars are further determined from the LAMOST spectra, using the Kernel Principal Component Analysis method, trained with thousands of RCs in the LAMOST-$Kepler$ fields with accurate asteroseismic mass measurements. The purity and completeness of our primary RC sample are generally higher than 80 per cent. For the mass and age, a variety of tests show typical uncertainties of 15 and 30 per cent, respectively. Using over ten thousand primary RCs with accurate distance measurements from the parallaxes of Gaia DR2, we re-calibrate the $K_{\rm s}$ absolute magnitudes of primary RCs by, for the first time, considering both the metallicity and age dependencies. With the the new calibration, distances are derived for all the primary RCs, with a typical uncertainty of 5--10 per cent, even better than the values yielded by the Gaia parallax measurements for stars beyond 3--4 kpc. The sample covers a significant volume of the Galactic disk of $4 \leq R \leq 16$ kpc, $|Z| \leq 5$ kpc, and $-20 \leq ϕ\leq 50^{\circ}$. Stellar atmospheric parameters, line-of-sight velocities and elemental abundances derived from the LAMOST spectra and proper motions of Gaia DR2 are also provided for the sample stars. Finally, the selection function of the sample is carefully evaluated in the color-magnitude plane for different sky areas. The sample is publicly available.

preprint2020arXiv

Maximal function, Littlewood--Paley theory, Riesz transform and atomic decomposition in the multi-parameter flag setting

In this paper, we develop via real variable methods various characterisations of the Hardy spaces in the multi-parameter flag setting. These characterisations include those via, the non-tangential and radial maximal function, the Littlewood--Paley square function and area integral, Riesz transforms and the atomic decomposition in the multi-parameter flag setting. The novel ingredients in this paper include (1) establishing appropriate discrete Calderón reproducing formulae in the flag setting and a version of the Plancherel--Pólya inequalities for flag quadratic forms; (2) introducing the maximal function and area function via flag Poisson kernels and flag version of harmonic functions; (3) developing an atomic decomposition via the finite speed propagation and area function in terms of flag heat semigroups. As a consequence of these real variable methods, we obtain the full characterisations of the multi-parameter Hardy space with the flag structure.

preprint2020arXiv

Orbital Stability of smooth solitary waves for the Degasperis-Procesi Equation

The Degasperis-Procesi equation is the integrable Camassa-Holm-type model which is an asymptotic approximation for the unidirectional propagation of shallow water waves. This work establishes the orbital stability of localized smooth solitary waves to the Desgasperis-Procesi (DP) equation on the real line. %extending our previous work on their spectral stability \cite{LLW}. The main difficulty stems from the fact that the translation symmetry for the DP equation gives rise to a conserved quantity equivalent to the $L^2$-norm, which by itself can not bound the higher-order nonlinear terms in the Lagrangian. The remedy is to observe that, given a sufficiently smooth initial condition satisfying a measurable constraint, the $L^\infty$ orbital norm of the perturbation is bounded above by a function of its $L^2$ orbital norm, yielding the orbital stability in the $L^2\cap L^\infty$ space.

preprint2020arXiv

Quantitative weighted bounds for Calderón commutator with rough kernel

We consider weighted $L^p(w)$ boundedness ($1<p<\infty $ and $w$ a Muckenhoupt $A_p$ weight) of the Calderón commutator $\mathcal C_Ω$ associated with rough homogeneous kernel, under the condition $Ω\in L^q(\mathbb S^{n-1})$ for $q_0<q\leq\infty$ with $q_0$ a fixed constant depending on $w$. Comparing to the previous related known results (assuming $Ω\in L^\infty(\mathbb S^{n-1})$), our result for $Ω\in L^q(\mathbb S^{n-1})$ with $q$ in the range $(q_0,\infty)$ is new. We also obtain a quantitative weighted bound for this $\mathcal C_Ω$ on $L^p(w)$, which is the best known quantitative result for this class of operators.

preprint2020arXiv

Sharp endpoint $L^p$ estimates for Schrödinger groups

Let $L$ be a non-negative self-adjoint operator acting on $L^2(X)$ where $X$ is a space of homogeneous type with a dimension $n$. Suppose that the heat operator $e^{-tL}$ satisfies the generalized Gaussian $(p_0, p'_0)$-estimates of order $m$ for some $1\leq p_0 < 2$. In this paper we prove {\it sharp} endpoint $L^p$-Sobolev bound for the Schrödinger group $e^{itL}$, that is for every $p\in (p_0, p'_0)$ there exists a constant $C=C(n,p)>0$ independent of $t$ such that \begin{eqnarray*} \left\| (I+L)^{-{s}}e^{itL} f\right\|_{p} \leq C(1+|t|)^{s}\|f\|_{p}, \ \ \ t\in{\mathbb R}, \ \ \ s\geq n\big|{1\over 2}-{1\over p}\big|. \end{eqnarray*} As a consequence, the above estimate holds for all $1<p<\infty$ when the heat kernel of $L$ satisfies a Gaussian upper bound. This extends classical results due to Feffermann and Stein, and Miyachi for the Laplacian on the Euclidean spaces ${\mathbb R}^n$. We also give an application to obtain an endpoint estimate for $L^p$-boundedness of the Riesz means of the solutions of the Schrödinger equations.

preprint2020arXiv

Zygmund type and flag type maximal functions, and sparse operators

We prove that the maximal functions associated with a Zygmund dilation dyadic structure in three-dimensional Euclidean space, and with the flag dyadic structure in two-dimensional Euclidean space, cannot be bounded by multiparameter sparse operators associated with the corresponding dyadic grid. We also obtain supplementary results about the absence of sparse domination for the strong dyadic maximal function.

preprint2019arXiv

Solving Phase Retrieval via Graph Projection Splitting

Phase retrieval with prior information can be cast as a nonsmooth and nonconvex optimization problem. We solve the problem by graph projection splitting (GPS), where the two proximity subproblems and the graph projection step can be solved efficiently. With slight modification, we also propose a robust graph projection splitting (RGPS) method to stabilize the iteration for noisy measurements. Contrary to intuition, RGPS outperforms GPS with fewer iterations to locate a satisfying solution even for noiseless case. Based on the connection between GPS and Douglas-Rachford iteration, under mild conditions on the sampling vectors, we analyze the fixed point sets and provide the local convergence of GPS and RGPS applied to noiseless phase retrieval without prior information. For noisy case, we provide the error bound of the reconstruction. Compared to other existing methods, thanks for the splitting approach, GPS and RGPS can efficiently solve phase retrieval with prior information regularization for general sampling vectors which are not necessarily isometric. For Gaussian phase retrieval, compared to existing gradient flow approaches, numerical results show that GPS and RGPS are much less sensitive to the initialization. Thus they markedly improve the phase transition in noiseless case and reconstruction in the presence of noise respectively. GPS shows sharpest phase transition among existing methods including RGPS, while it needs more iterations than RGPS when the number of measurement is large enough. RGPS outperforms GPS in terms of stability for noisy measurements. When applying RGPS to more general non-Gaussian measurements with prior information, such as support, sparsity and TV minimization, RGPS either outperforms state-of-the-art solvers or can be combined with state-of-the-art solvers to improve their reconstruction quality.

preprint2018arXiv

A Complete Real-Variable Theory of Hardy Spaces on Spaces of Homogeneous Type

Let $(X,d,μ)$ be a space of homogeneous type, with the upper dimension $ω$, in the sense of R. R. Coifman and G. Weiss. Assume that $η$ is the smoothness index of the wavelets on $X$ constructed by P. Auscher and T. Hytönen. In this article, when $p\in(ω/(ω+η),1]$, for the atomic Hardy spaces $H_{\mathrm{cw}}^p(X)$ introduced by Coifman and Weiss, the authors establish their various real-variable characterizations, respectively, in terms of the grand maximal function, the radial maximal function, the non-tangential maximal functions, the various Littlewood-Paley functions and wavelet functions. This completely answers the question of R. R. Coifman and G. Weiss by showing that no any additional (geometrical) condition is necessary to guarantee the radial maximal function characterization of $H_{\mathrm{cw}}^1(X)$ and even of $H_{\mathrm{cw}}^p(X)$ with $p$ as above. As applications, the authors obtain the finite atomic characterizations of $H^p_{\mathrm{cw}}(X)$, which further induce some criteria for the boundedness of sublinear operators on $H^p_{\mathrm{cw}}(X)$. Compared with the known results, the novelty of this article is that $μ$ is not assumed to satisfy the reverse doubling condition and $d$ is only a quasi-metric, moreover, the range $p\in(ω/(ω+η),1]$ is natural and optimal.

preprint2016arXiv

A Moser type inequality for Bessel Laplace equations and applications

In this paper, we study Bessel operators and Bessel Laplace equations studied by Weinstein, Huber, and related the harmonic function theory introduced by Muckenhoupt--Stein. We establish the Moser type inequality for these harmonic functions, which is missing in this setting before. We then apply it to give a direct proof for the equivalence of characterizations of the Hardy spaces associated to Bessel operator via non-tangential maximal function and radial maximal function defined in terms of the Poisson semigroup.

preprint2016arXiv

Compactness of Riesz transform commutator associated with Bessel operators

Let $λ>0$ and $\triangle_λ:=-\frac{d^2}{dx^2}-\frac{2λ}{x} \frac d{dx}$ be the Bessel operator on $\mathbb R_+:=(0,\infty)$. We first introduce and obtain an equivalent characterization of ${\rm CMO}(\mathbb R_+,\, x^{2λ}dx)$. By this equivalent characterization and establishing a new version of the Fréchet-Kolmogorov theorem in the Bessel setting, we further prove that a function $b\in {\rm BMO}(\mathbb R_+,\, x^{2λ}dx)$ is in ${\rm CMO}(\mathbb R_+,\, x^{2λ}dx)$ if and only if the Riesz transform commutator $[b, R_{Δ_λ}]$ is compact on $L^p(\mathbb R_+, x^{2λ}dx)$ for any $p\in(1, \infty)$.

preprint2016arXiv

Estimating stellar atmospheric parameters, absolute magnitudes and elemental abundances from the LAMOST spectra with Kernel-based Principal Component Analysis

Accurate determination of stellar atmospheric parameters and elemental abundances is crucial for Galactic archeology via large-scale spectroscopic surveys. In this paper, we estimate stellar atmospheric parameters -- effective temperature T_{\rm eff}, surface gravity log g and metallicity [Fe/H], absolute magnitudes M_V and M_{Ks}, α-element to metal (and iron) abundance ratio [α/M] (and [α/Fe]), as well as carbon and nitrogen abundances [C/H] and [N/H] from the LAMOST spectra with amultivariate regressionmethod based on kernel-based principal component analysis, using stars in common with other surveys (Hipparcos, Kepler, APOGEE) as training data sets. Both internal and external examinations indicate that given a spectral signal-to-noise ratio (SNR) better than 50, our method is capable of delivering stellar parameters with a precision of ~100K for Teff, ~0.1 dex for log g, 0.3 -- 0.4mag for M_V and M_{Ks}, 0.1 dex for [Fe/H], [C/H] and [N/H], and better than 0.05 dex for [α/M] ([α/Fe]). The results are satisfactory even for a spectral SNR of 20. The work presents first determinations of [C/H] and [N/H] abundances from a vast data set of LAMOST, and, to our knowledge, the first reported implementation of absolute magnitude estimation directly based on the observed spectra. The derived stellar parameters for millions of stars from the LAMOST surveys will be publicly available in the form of value-added catalogues.

preprint2016arXiv

Localized spatially nonlinear matter waves in atomic-molecular Bose-Einstein condensates with space-modulated nonlinearity

The intrinsic nonlinearity is the most remarkable characteristic of the Bose-Einstein condensates (BECs) systems. Many studies have been done on atomic BECs with time- and space- modulated nonlinearities, while there is few work considering the atomic-molecular BECs with space-modulated nonlinearities. Here, we obtain two kinds of Jacobi elliptic solutions and a family of rational solutions of the atomic-molecular BECs with trapping potential and space-modulated nonlinearity and consider the effect of three-body interaction on the localized matter wave solutions. The topological properties of the localized nonlinear matter wave for no coupling are analysed: the parity of nonlinear matter wave functions depends only on the principal quantum number $n$, and the numbers of the density packets for each quantum state depend on both the principal quantum number $n$ and the secondary quantum number $l$. When the coupling is not zero,the localized nonlinear matter waves given by the rational function, their topological properties are independent of the principal quantum number $n$, only depend on the secondary quantum number $l$. The Raman detuning and the chemical potential can change the number and the shape of the density packets. The stability of the Jacobi elliptic solutions depends on the principal quantum number $n$, while the stability of the rational solutions depends on the chemical potential and Raman detuning.

preprint2016arXiv

Numerical Optimization Algorithm of Wavefront Phase Retrieval from Multiple Measurements

Wavefront phase retrieval from a set of intensity measurements can be formulated as an optimization problem. Two nonconvex objective models (MLP and its variants LS) based on maximum likelihood estimation are investigated. We develop numerical optimization algorithms for real-valued function of complex variables and apply them to solve the wavefront phase retrieval problem efficiently. Numerical simulation is given with application to three wavefront phase retrieval problems. LS model shows better numerical performances than MLP model. An explanation for this is that the distribution of the eigenvalues of Hessian matrix of LS model is more clustered than MLP model. LBFGS shows more robust performance and takes fewer calculations than other line search methods.

preprint2016arXiv

On Gradient Descent Algorithm for Generalized Phase Retrieval Problem

In this paper, we study the generalized phase retrieval problem: to recover a signal $\bm{x}\in\mathbb{C}^n$ from the measurements $y_r=\lvert \langle\bm{a}_r,\bm{x}\rangle\rvert^2$, $r=1,2,\ldots,m$. The problem can be reformulated as a least-squares minimization problem. Although the cost function is nonconvex, the global convergence of gradient descent algorithm from a random initialization is studied, when $m$ is large enough. We improve the known result of the local convergence from a spectral initialization. When the signal $\bm{x}$ is real-valued, we prove that the cost function is local convex near the solution $\{\pm\bm{x}\}$. To accelerate the gradient descent, we review and apply several efficient line search methods. We also perform a comparative numerical study of the line search methods and the alternative projection method. Numerical simulations demonstrate the superior ability of LBFGS algorithm than other algorithms.

preprint2016arXiv

On weak-star convergence in product Hardy spaces on spaces of homogeneous type

A classical theorem of Jones and Journé on weak-star convergence in the Hardy space $H^1$ was generalised to the multiparameter setting by Pipher and Treil. We prove the analogous result when the underlying space is a product space of homogeneous type. The main tools we use for this setting are from recent work in papers by Chen, Li and Ward and by Han, Li and Ward.

preprint2016arXiv

The odd-isotope fractions of Barium in CEMP-r/s star HE 0338-3945 and r-II star CS 31082-001

We report the first measurement of the odd-isotope fractions for barium, \fodd\, in two extremely metal-poor stars: a CEMP-r/s star \he\ (\feh\,$=-2.42\pm0.11$) and an r-II star \cs\ (\feh\,$=-2.90\pm0.13$). The measured \fodd\ values are $0.23\pm0.12$ corresponding to $34.3\pm34.3$\% of the r-process contributions for \he\ and $0.43\pm0.09$ corresponding to $91.4\pm25.7$\% of the r-process contribution to Ba production for \cs. The high r-process signature of barium in \cs\ ($91.4\pm25.7\%$) suggests that the majority of the heavy elements in this star were synthesised via an r-process path, while the lower r-process value ($34.3\pm34.3\%$) found in \he\ indicates that the heavy elements in this star formed through a mix of s-process and r-process synthesis. These conclusions are consistent with studies based on AGB model calculations to fit their abundance distributions.

preprint2016arXiv

Weighted estimates for powers and Smoothing estimates of Schrödinger operators with inverse-square potentials

Let $\mathcal{L}_a$ be a Schrödinger operator with inverse square potential $a|x|^{-2}$ on $\mathbb{R}^d, d\geq 3$. The main aim of this paper is to prove weighted estimates for fractional powers of $\mathcal{L}_a$. The proof is based on weighted Hardy inequalities and weighted inequalities for square functions associated to $\mathcal{L}_a$. As an application, we obtain smoothing estimates regarding the propagator $e^{it\mathcal{L}_a}$.

preprint2015arXiv

$T1$ criterions for generalised Calderón--Zygmund type operators on Hardy and BMO spaces associated to Schrödinger operators and applications

Suppose $L=-Δ+V$ is a Schrödinger operator on $\mathbb{R}^n$ with a potential $V$ belonging to certain reverse Hölder class $RH_σ$ with $σ\geq n/2$. The main aim of this paper is to provide necessary and sufficient conditions in terms of $T1$ criteria for a generalised Calderón--Zygmund type operator with respect to $L$ to be bounded on Hardy spaces $H^p_L(\mathbb{R}^n)$ and on BMO type spaces BMO$_L^α(\mathbb{R}^n)$ associated with $L$. As applications, we prove the boundedness for several singular integral operators associated to $L$. Our approach is flexible enough to prove the boundedness of the Riesz transforms related to $L$ with $n/2 \leq σ<n$ which were investigated in \cite{MSTZ} under the stronger condition $σ\geq n$. Thus our results not only recover existing results in \cite{MSTZ} but also contains new results in literature.

preprint2015arXiv

Criterion of the boundedness of singular integrals on spaces of homogeneous type

It was well known that geometric considerations enter in a decisive way in many questions of harmonic analysis. The main purpose of this paper is to provide the criterion of the boundedness for singular integrals on the Hardy spaces and as well as on its dual, particularly on $\bmo$ for spaces of homogeneous type $(X, d,μ)$ in the sense of Coifman and Weiss, where the quasi-metric $d$ may have no regularity and the measure $μ$ satisfies only the doubling property. We make no additional geometric assumptions on the quasi-metric or the doubling measure and thus, the results of this paper extend to the full generality of all related previous ones, in which the extra geometric assumptions were made on both the quasi-metric $d$ and the measure $μ.$ To achieve our goal, we prove that the atomic Hardy spaces introduced by Coifman and Weiss coincide with the Hardy spaces defined in terms of wavelet coefficients and develop the molecule theory for this general setting. The main tools used in this paper are atomic decomposition, the orthonormal wavelet basis constructed recently by Auscher and Hytönen, the discrete Calderón-type reproducing formula, the almost orthogonal estimates, implement various stopping time arguments and the duality of the Hardy spaces with the Carleson measure spaces.

preprint2015arXiv

End-point estimates for singular integrals with non-smooth kernels on product spaces

The main aim of this article is to establish boundedness of singular integrals with non-smooth kernels on product spaces. Let $L_1$ and $L_2$ be non-negative self-adjoint operators on $L^2(\mathbb{R}^{n_1})$ and $L^2(\mathbb{R}^{n_2})$, respectively, whose heat kernels satisfy Gaussian upper bounds. First, we obtain an atomic decomposition for functions in $H^1_{L_1,L_2}(\mathbb{R}^{n_1}\times\mathbb{R}^{n_2})$ where the Hardy space $H^1_{L_1,L_2}(\mathbb{R}^{n_1}\times\mathbb{R}^{n_2})$ associated with $L_1$ and $L_2$ is defined by square function norms, then prove an interpolation property for this space. Next, we establish sufficient conditions for certain singular integral operators to be bounded on the Hardy space $H^1_{L_1,L_2}(\mathbb{R}^{n_1}\times\mathbb{R}^{n_2})$ when the associated kernels of these singular integrals only satisfy regularity conditions significantly weaker than those of the standard Calderón--Zygmund kernels. As applications, we obtain endpoint estimates of the double Riesz transforms associated to Schrdingier operators and a Marcinkiewicz-type spectral multiplier theorem for non-negative self-adjoint operators on product spaces.

preprint2015arXiv

Factorization for Hardy spaces and characterization for BMO spaces via commutators in the Bessel setting

Fix $λ>0$. Consider the Hardy space $H^1(\mathbb{R}_+,dm_λ)$ in the sense of Coifman and Weiss, where $\mathbb{R_+}:=(0,\infty)$ and $dm_λ:=x^{2λ}dx$ with $dx$ the Lebesgue measure. Also consider the Bessel operators $Δ_λ:=-\frac{d^2}{dx^2}-\frac{2λ}{x} \frac d{dx}$, and $S_λ:=-\frac{d^2}{dx^2}+\frac{λ^2-λ}{x^2}$ on $\mathbb{R_+}$. The Hardy spaces $H^1_{Δ_λ}$ and $H^1_{S_λ}$ associated with $Δ_λ$ and $S_λ$ are defined via the Riesz transforms $R_{Δ_λ}:=\partial_x (Δ_λ)^{-1/2}$ and $R_{S_λ}:= x^λ\partial_x x^{-λ} (S_λ)^{-1/2}$, respectively. It is known that $H^1_{Δ_λ}$ and $H^1(\mathbb{R}_+,dm_λ)$ coincide but they are different from $H^1_{S_λ}$. In this article, we prove the following: (a) a weak factorization of $H^1(\mathbb{R}_+,dm_λ)$ by using a bilinear form of the Riesz transform $R_{Δ_λ}$, which implies the characterization of the BMO space associated to $Δ_λ$ via the commutators related to $R_{Δ_λ}$; (b) the BMO space associated to $S_λ$ can not be characterized by commutators related to $R_{S_λ}$, which implies that $H^1_{S_λ}$ does not have a weak factorization via a bilinear form of the Riesz transform $R_{S_λ}$.

preprint2015arXiv

Geometric characterizations of embedding theorems

The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type in the sense of Coifman and Weiss. We prove that embedding theorems hold on spaces of homogeneous type if and only if geometric conditions, namely the measures of all balls have lower bounds, hold. As applications, our results provide new and sharp previous related embedding theorems for the Sobolev, Besov and Triebel-Lizorkin spaces.

preprint2015arXiv

Haar bases on quasi-metric measure spaces, and dyadic structure theorems for function spaces on product spaces of homogeneous type

We give an explicit construction of Haar functions associated to a system of dyadic cubes in a geometrically doubling quasi-metric space equipped with a positive Borel measure, and show that these Haar functions form a basis for $L^p$. Next we focus on spaces $X$ of homogeneous type in the sense of Coifman and Weiss, where we use these Haar functions to define a discrete square function, and hence to define dyadic versions of the function spaces $H^1(X)$ and ${\rm BMO}(X)$. In the setting of product spaces $\widetilde{X} = X_1 \times \cdots \times X_n$ of homogeneous type, we show that the space ${\rm BMO}(\widetilde{X})$ of functions of bounded mean oscillation on $\widetilde{X}$ can be written as the intersection of finitely many dyadic ${\rm BMO}$ spaces on $\widetilde{X}$, and similarly for $A_p(\widetilde{X})$, reverse-Hölder weights on $\widetilde{X}$, and doubling weights on $\widetilde{X}$. We also establish that the Hardy space $H^1(\widetilde{X})$ is a sum of finitely many dyadic Hardy spaces on $\widetilde{X}$, and that the strong maximal function on $\widetilde{X}$ is pointwise comparable to the sum of finitely many dyadic strong maximal functions. These dyadic structure theorems generalize, to product spaces of homogeneous type, the earlier Euclidean analogues for ${\rm BMO}$ and $H^1$ due to Mei and to Li, Pipher and Ward.

preprint2015arXiv

Marcinkiewicz-type spectral multipliers on Hardy and Lebesgue spaces on product spaces of homogeneous type

Let $X_1$ and $X_2$ be metric spaces equipped with doubling measures and let $L_1$ and $L_2$ be nonnegative self-adjoint second-order operators acting on $L^2(X_1)$ and $L^2(X_2)$ respectively. We study multivariable spectral multipliers $F(L_1, L_2)$ acting on the Cartesian product of $X_1$ and $X_2$. Under the assumptions of the finite propagation speed property and Plancherel or Stein--Tomas restriction type estimates on the operators $L_1$ and~$L_2$, we show that if a function~$F$ satisfies a Marcinkiewicz-type differential condition then the spectral multiplier operator $F(L_1, L_2)$ is bounded from appropriate Hardy spaces to Lebesgue spaces on the product space $X_1\times X_2$. We apply our results to the analysis of second-order elliptic operators in the product setting, specifically Riesz-transform-like operators and double Bochner--Riesz means.

preprint2015arXiv

Product Hardy spaces associated to operators with heat kernel bounds on spaces of homogeneous type

The aim of this article is to develop the theory of product Hardy spaces associated with operators which possess the weak assumption of Davies--Gaffney heat kernel estimates, in the setting of spaces of homogeneous type. We also establish a Calderón--Zygmund decomposition on product spaces, which is of independent interest, and use it to study the interpolation of these product Hardy spaces. We then show that under the assumption of generalized Gaussian estimates, the product Hardy spaces coincide with the Lebesgue spaces, for an appropriate range of~$p$.

preprint2013arXiv

Boundedness of maximal functions on non-doubling manifolds with ends

Let $M$ be a manifold with ends constructed in \cite{GS} and $Δ$ be the Laplace-Beltrami operator on $M$. In this note, we show the weak type $(1,1)$ and $L^p$ boundedness of the Hardy-Littlewood maximal function and of the maximal function associated with the heat semigroup $\M_Δf(x)=\sup_{t> 0} |\exp (-tΔ)f(x)| $ on $L^p(M)$ for $1 < p \le \infty$. The significance of these results comes from the fact that $M$ does not satisfies the doubling condition.

preprint2013arXiv

Design of an electron gun for terahertz radiation source

With the aim to obtain short-pulse bunches with high peak current for a terahertz radiation source, an EC-ITC (External-Cathode Independently Tunable Cells) RF gun was employed. As the external injecting electron source of the ITC RF gun, a gridded DC gun plays a key role, the performance of which determines the beam quality in the injector and transport line. In order to make the beam well compressed in the ITC RF gun, the energy of the electrons acquired from the gridded DC gun should be 15 KeV at most. A proper structure of the gridded gun is shown to overcome the strong space- charge force on the cathode, which is able to generate 6 μs beam with 4.5A current successfully.

preprint2013arXiv

Optimal Transportation for Generalized Lagrangian

In this paper, we study the optimal transportation for generalized Lagrangian $L=L(x, u,t)$, and consider the cost function as following: $$c(x, y)=\inf_{\substack{x(0)=x\\x(1)=y\\u\in\mathcal{U}}}\int_0^1L(x(s), u(x(s),s), s)ds.$$ Where $\mathcal{U}$ is a control set, and $x$ satisfies the following ordinary equation: $$\dot{x}(s)=f(x(s),u(x(s),s)).$$ We prove that under the condition that the initial measure $μ_0$ is absolutely continuous w.r.t. the Lebesgue measure, the Monge problem has a solution, and the optimal transport map just walks along the characteristic curves of the corresponding Hamilton-Jacobi equation: \begin{equation*} \begin{cases} V_t(t, x)+\sup_{\substack{u\in\mathcal{U}}}<V_x(t, x), f(x, u(x(t), t),t)-L(x(t), u(x(t), t),t)>=0.\\ V(0,x)=ϕ_0(x) \end{cases} \end{equation*}

preprint2013arXiv

Physical design of FEL injector based on performance-enhanced EC-ITC RF gun

To meet requirements of high performance THz-FEL (Free Electron Laser), a compact scheme of FEL injector was proposed. Thermionic cathode was chosen to emit electrons instead of photo-cathode with complex structure and high cost. The effective bunch charge was improved to ~200pC by adopting enhanced EC-ITC (External Cathode Independently Tunable Cells) RF gun to extract micro-bunches, and back bombardment effects were almost eliminated as well. Constant gradient accelerator structures were designed to improve energy to ~14MeV, while focusing system was applied for emittance suppressing and bunch state maintenance. Physical design and beam dynamics of key components for FEL injector were analyzed. Furthermore, start-to-end simulations with multi-pulses were performed by using homemade MATLAB and Parmela. The results show that continual high brightness electron bunches with low energy spread and emittance could be obtained stably.

preprint2012arXiv

Guarantees of Augmented Trace Norm Models in Tensor Recovery

This paper studies the recovery guarantees of the models of minimizing $\|\mathcal{X}\|_*+\frac{1}{2α}\|\mathcal{X}\|_F^2$ where $\mathcal{X}$ is a tensor and $\|\mathcal{X}\|_*$ and $\|\mathcal{X}\|_F$ are the trace and Frobenius norm of respectively. We show that they can efficiently recover low-rank tensors. In particular, they enjoy exact guarantees similar to those known for minimizing $\|\mathcal{X}\|_*$ under the conditions on the sensing operator such as its null-space property, restricted isometry property, or spherical section property. To recover a low-rank tensor $\mathcal{X}^0$, minimizing $\|\mathcal{X}\|_*+\frac{1}{2α}\|\mathcal{X}\|_F^2$ returns the same solution as minimizing $\|\mathcal{X}\|_*$ almost whenever $α\geq10\mathop {\max}\limits_{i}\|X^0_{(i)}\|_2$.

preprint2012arXiv

One-parameter and multiparameter function classes are intersections of finitely many dyadic classes

We prove that the class of Muckenhoupt A_p weights coincides with the intersection of finitely many suitable translates of dyadic A_p, in both the one-parameter and multiparameter cases, and that the analogous results hold for the reverse Hölder class RH_p, for doubling measures, and for the space VMO of functions of vanishing mean oscillation. We extend to the multiparameter (product) space BMO of functions of bounded mean oscillation the corresponding one-parameter BMO result due to T. Mei, by means of the Carleson-measure characterization of multiparameter BMO. Our results hold in both the compact and non-compact cases. In addition, we survey several definitions of VMO and prove their equivalences, in the continuous, dyadic, one-parameter and multiparameter cases. We show that the weighted Hardy space H^1(ω) is the sum of finitely many suitable translates of dyadic weighted H^1(ω), and that the weighted maximal function is pointwise comparable to the sum of finitely many dyadic weighted maximal functions for suitable translates of the dyadic grid and for each doubling weight ω.

preprint2012arXiv

T1 theorem on product Carnot-Caratheodory spaces

Nagel and Stein established $L^p$-boundedness for a class of singular integrals of NIS type, that is, non-isotropic smoothing operators of order 0, on spaces $\widetilde{M}=M_1\times...\times M_n,$ where each factor space $M_i, 1\leq i\leq n,$ is a smooth manifold on which the basic geometry is given by a control, or Carnot--Carathéodory, metric induced by a collection of vector fields of finite type. In this paper we prove the product $T1$ theorem on $L^2,$ the Hardy space $H^p(\widetilde{M})$ and the space $CMO^p(\widetilde{M})$, the dual of $H^p(\widetilde{M}),$ for a class of product singular integral operators which covers Journé's class and operators studied by Nagel and Stein.