Showing 1–50 of 54 results for author: Qi, Z

A Fine-grained Analysis of Fitted Q-evaluation: Beyond Parametric Models

Authors: Jiayi Wang, Zhengling Qi, Raymond K. W. Wong

Abstract: In this paper, we delve into the statistical analysis of the fitted Q-evaluation (FQE) method, which focuses on estimating the value of a target policy using offline data generated by some behavior policy. We provide a comprehensive theoretical understanding of FQE estimators under both parameteric and nonparametric models on the $Q$-function. Specifically, we address three key questions related t… ▽ More In this paper, we delve into the statistical analysis of the fitted Q-evaluation (FQE) method, which focuses on estimating the value of a target policy using offline data generated by some behavior policy. We provide a comprehensive theoretical understanding of FQE estimators under both parameteric and nonparametric models on the $Q$-function. Specifically, we address three key questions related to FQE that remain largely unexplored in the current literature: (1) Is the optimal convergence rate for estimating the policy value regarding the sample size $n$ ($n^{-1/2}$) achievable for FQE under a non-parametric model with a fixed horizon ($T$)? (2) How does the error bound depend on the horizon $T$? (3) What is the role of the probability ratio function in improving the convergence of FQE estimators? Specifically, we show that under the completeness assumption of $Q$-functions, which is mild in the non-parametric setting, the estimation errors for policy value using both parametric and non-parametric FQE estimators can achieve an optimal rate in terms of $n$. The corresponding error bounds in terms of both $n$ and $T$ are also established. With an additional realizability assumption on ratio functions, the rate of estimation errors can be improved from $T^{1.5}/\sqrt{n}$ to $T/\sqrt{n}$, which matches the sharpest known bound in the current literature under the tabular setting. △ Less

Submitted 14 June, 2024; originally announced June 2024.

On the Spectral Large Sieve Inequality for $\mathrm{PGL}_2 (\mathbb{Z}[i]) \backslash \mathrm{PGL}_2 (\mathbb{C})$

Authors: Zhi Qi

Abstract: In this paper, we introduce concise expressions for the complex Bessel integral that enables us to improve the spectral large sieve inequality of Watt for $\mathrm{PGL}_2 (\mathbb{Z}[i]) \backslash \mathrm{PGL}_2 (\mathbb{C})$. Our result is optimistic in the case when the average of spectral parameters is on a square centered at $(0, 0)$. In this paper, we introduce concise expressions for the complex Bessel integral that enables us to improve the spectral large sieve inequality of Watt for $\mathrm{PGL}_2 (\mathbb{Z}[i]) \backslash \mathrm{PGL}_2 (\mathbb{C})$. Our result is optimistic in the case when the average of spectral parameters is on a square centered at $(0, 0)$. △ Less

Submitted 23 April, 2024; v1 submitted 13 April, 2024; originally announced April 2024.

Comments: 12 pages; Theorem 3 (self) improved

MSC Class: 11F30; 33C10

Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight

Authors: Weiguo Lyu, Zihao Qi, Jian Yang, Guodong Zhou

Abstract: Generalising a previous work of Jiang and Sheng, a cohomology theory for differential Lie algebras of arbitrary weight is introduced. The underlying $L_\infty[1]$-structure on the cochain complex is also determined via a generalised version of higher derived brackets. The equivalence between $L_\infty[1]$-structures for absolute and relative differential Lie algebras are established. Formal deform… ▽ More Generalising a previous work of Jiang and Sheng, a cohomology theory for differential Lie algebras of arbitrary weight is introduced. The underlying $L_\infty[1]$-structure on the cochain complex is also determined via a generalised version of higher derived brackets. The equivalence between $L_\infty[1]$-structures for absolute and relative differential Lie algebras are established. Formal deformations and abelian extensions are interpreted by using lower degree cohomology groups. Also we introduce the homotopy differential Lie algebras. In a forthcoming paper, we will show that the operad of homotopy (relative) differential Lie algebras is the minimal model of the operad of (relative) differential Lie algebras. △ Less

Submitted 26 March, 2024; originally announced March 2024.

MSC Class: 16E40; 16S80; 12H05; 12H10; 16W25; 16S70

Three closed characteristics on non-degenerate star-shaped hypersurfaces in $\mathbf{R}^{6}$

Authors: Huagui Duan, Hui Liu, Yiming Long, Zihao Qi, Wei Wang

Abstract: In this paper, we prove that for every non-degenerate $C^3$ compact star-shaped hypersurface $Σ$ in $\mathbf{R}^{6}$ which carries no prime closed characteristic of Maslov-type index $0$ or no prime closed characteristic of Maslov-type index $-1$, there exist at least three prime closed characteristics on $Σ$. In this paper, we prove that for every non-degenerate $C^3$ compact star-shaped hypersurface $Σ$ in $\mathbf{R}^{6}$ which carries no prime closed characteristic of Maslov-type index $0$ or no prime closed characteristic of Maslov-type index $-1$, there exist at least three prime closed characteristics on $Σ$. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 30 pages. arXiv admin note: text overlap with arXiv:2205.07082, arXiv:1510.08648, arXiv:2205.14789

On the Hankel Transform of Bessel Functions on Complex Numbers and Explicit Spectral Formulae over the Gaussian Field

Authors: Zhi Qi

Abstract: In this paper, on the complex field $\mathbb{C}$, we prove two integral formulae for the Hankel-Mellin transform and the double Fourier-Mellin transform of Bessel functions, both resulting the hypergeometric function. As two applications, we use the former integral formula to make explicit the spectral formula of Bruggeman and Motohashi for the fourth moment of Dedekind zeta function over the Gaus… ▽ More In this paper, on the complex field $\mathbb{C}$, we prove two integral formulae for the Hankel-Mellin transform and the double Fourier-Mellin transform of Bessel functions, both resulting the hypergeometric function. As two applications, we use the former integral formula to make explicit the spectral formula of Bruggeman and Motohashi for the fourth moment of Dedekind zeta function over the Gaussian number field $\mathbb{Q}(i)$ and to establish a spectral formula for the Hecke-eigenvalue twisted second moment of central $L$-values for the Picard group $\mathrm{PGL}_2 (\mathbb{Z}[i])$. Moreover, we develop the theory of distributional Hankel transform on $\mathbb{C} \smallsetminus \{0\}$. △ Less

Submitted 30 December, 2023; v1 submitted 30 October, 2023; originally announced October 2023.

Comments: 48 pages; a weak version of Conjecture 1.6 is proven

MSC Class: 11F12; 11F66; 33C05; 33C10; 42B10

Multiple closed geodesics on Finsler $3$-dimensional sphere

Authors: Huagui Duan, Zihao Qi

Abstract: In 1973, Katok constructed a non-degenerate (also called bumpy) Finsler metric on $S^3$ with exactly four prime closed geodesics. And then Anosov conjectured that four should be the optimal lower bound of the number of prime closed geodesics on every Finsler $S^3$. In this paper, we proved this conjecture for bumpy Finsler $S^{3}$ if the Morse index of any prime closed geodesic is nonzero. In 1973, Katok constructed a non-degenerate (also called bumpy) Finsler metric on $S^3$ with exactly four prime closed geodesics. And then Anosov conjectured that four should be the optimal lower bound of the number of prime closed geodesics on every Finsler $S^3$. In this paper, we proved this conjecture for bumpy Finsler $S^{3}$ if the Morse index of any prime closed geodesic is nonzero. △ Less

Submitted 28 January, 2024; v1 submitted 31 August, 2023; originally announced September 2023.

Comments: 15 pages. arXiv admin note: text overlap with arXiv:1504.07007

A Policy Gradient Method for Confounded POMDPs

Authors: Mao Hong, Zhengling Qi, Yanxun Xu

Abstract: In this paper, we propose a policy gradient method for confounded partially observable Markov decision processes (POMDPs) with continuous state and observation spaces in the offline setting. We first establish a novel identification result to non-parametrically estimate any history-dependent policy gradient under POMDPs using the offline data. The identification enables us to solve a sequence of c… ▽ More In this paper, we propose a policy gradient method for confounded partially observable Markov decision processes (POMDPs) with continuous state and observation spaces in the offline setting. We first establish a novel identification result to non-parametrically estimate any history-dependent policy gradient under POMDPs using the offline data. The identification enables us to solve a sequence of conditional moment restrictions and adopt the min-max learning procedure with general function approximation for estimating the policy gradient. We then provide a finite-sample non-asymptotic bound for estimating the gradient uniformly over a pre-specified policy class in terms of the sample size, length of horizon, concentratability coefficient and the measure of ill-posedness in solving the conditional moment restrictions. Lastly, by deploying the proposed gradient estimation in the gradient ascent algorithm, we show the global convergence of the proposed algorithm in finding the history-dependent optimal policy under some technical conditions. To the best of our knowledge, this is the first work studying the policy gradient method for POMDPs under the offline setting. △ Less

Submitted 30 November, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 95 pages, 3 figures

Hybrid Weyl-type bound for $p$-power twisted $\mathrm{GL} (2)$ $L$-functions

Authors: Zhengxiao Gao, Shu Luo, Zhi Qi

Abstract: Let $g$ be a fixed holomorphic cusp form of arbitrary level and nebentypus. Let $χ$ be a primitive character of prime-power modulus $q = p^γ$. In this paper, we prove the following hybrid Weyl-type subconvexity bound \begin{align*} L (1/2 + it, g \otimes χ) \ll_{g, p, \varepsilon} ( (1+|t|) q )^{1/3+ \varepsilon} \end{align*} for any $\varepsilon > 0$. Let $g$ be a fixed holomorphic cusp form of arbitrary level and nebentypus. Let $χ$ be a primitive character of prime-power modulus $q = p^γ$. In this paper, we prove the following hybrid Weyl-type subconvexity bound \begin{align*} L (1/2 + it, g \otimes χ) \ll_{g, p, \varepsilon} ( (1+|t|) q )^{1/3+ \varepsilon} \end{align*} for any $\varepsilon > 0$. △ Less

Submitted 23 April, 2024; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: 24 pages; updated references; Sci. Sin. Math., 2024, 54: 593--616 (in Chinese)

MSC Class: 11F66

Gröbner-Shirshov bases and linear bases for free multi-operated algebras over algebras with applications to differential Rota-Baxter algebras and integro-differential algebras

Authors: Zuan Liu, Zihao Qi, Yufei Qin, Guodong Zhou

Abstract: Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $Ω$-operated algebra is a an (associative) algebra equipped with a set $Ω$ of linear operators which might satisfy certain operator identities such as the Leibniz rule. A free $Ω$-operated algebra $B$ can be generated on an algebra… ▽ More Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $Ω$-operated algebra is a an (associative) algebra equipped with a set $Ω$ of linear operators which might satisfy certain operator identities such as the Leibniz rule. A free $Ω$-operated algebra $B$ can be generated on an algebra $A$ similar to a free algebra generated on a set. If $A$ has a Gröbner-Shirshov basis $G$ and if the linear operators $Ω$ satisfy a set $Φ$ of operator identities, it is natural to ask when the union $G\cup Φ$ is a Gröbner-Shirshov basis of $B$. A previous work answers this question affirmatively under a mild condition, and thereby obtains a canonical linear basis of $B$. In this paper, we answer this question in the general case of multiple linear operators. As applications we get operated Gröbner-Shirshov bases for free differential Rota-Baxter algebras and free integro-differential algebras over algebras as well as their linear bases. One of the key technical difficulties is to introduce new monomial orders for the case of two operators, which might be of independent interest. △ Less

Submitted 28 March, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 27 pages

MSC Class: 16Z10 03C05 08B20 12H05 16S10 17B38

PASTA: Pessimistic Assortment Optimization

Authors: Juncheng Dong, Weibin Mo, Zhengling Qi, Cong Shi, Ethan X. Fang, Vahid Tarokh

Abstract: We consider a class of assortment optimization problems in an offline data-driven setting. A firm does not know the underlying customer choice model but has access to an offline dataset consisting of the historically offered assortment set, customer choice, and revenue. The objective is to use the offline dataset to find an optimal assortment. Due to the combinatorial nature of assortment optimiza… ▽ More We consider a class of assortment optimization problems in an offline data-driven setting. A firm does not know the underlying customer choice model but has access to an offline dataset consisting of the historically offered assortment set, customer choice, and revenue. The objective is to use the offline dataset to find an optimal assortment. Due to the combinatorial nature of assortment optimization, the problem of insufficient data coverage is likely to occur in the offline dataset. Therefore, designing a provably efficient offline learning algorithm becomes a significant challenge. To this end, we propose an algorithm referred to as Pessimistic ASsortment opTimizAtion (PASTA for short) designed based on the principle of pessimism, that can correctly identify the optimal assortment by only requiring the offline data to cover the optimal assortment under general settings. In particular, we establish a regret bound for the offline assortment optimization problem under the celebrated multinomial logit model. We also propose an efficient computational procedure to solve our pessimistic assortment optimization problem. Numerical studies demonstrate the superiority of the proposed method over the existing baseline method. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Blessing from Human-AI Interaction: Super Reinforcement Learning in Confounded Environments

Authors: Jiayi Wang, Zhengling Qi, Chengchun Shi

Abstract: As AI becomes more prevalent throughout society, effective methods of integrating humans and AI systems that leverage their respective strengths and mitigate risk have become an important priority. In this paper, we introduce the paradigm of super reinforcement learning that takes advantage of Human-AI interaction for data driven sequential decision making. This approach utilizes the observed acti… ▽ More As AI becomes more prevalent throughout society, effective methods of integrating humans and AI systems that leverage their respective strengths and mitigate risk have become an important priority. In this paper, we introduce the paradigm of super reinforcement learning that takes advantage of Human-AI interaction for data driven sequential decision making. This approach utilizes the observed action, either from AI or humans, as input for achieving a stronger oracle in policy learning for the decision maker (humans or AI). In the decision process with unmeasured confounding, the actions taken by past agents can offer valuable insights into undisclosed information. By including this information for the policy search in a novel and legitimate manner, the proposed super reinforcement learning will yield a super-policy that is guaranteed to outperform both the standard optimal policy and the behavior one (e.g., past agents' actions). We call this stronger oracle a blessing from human-AI interaction. Furthermore, to address the issue of unmeasured confounding in finding super-policies using the batch data, a number of nonparametric and causal identifications are established. Building upon on these novel identification results, we develop several super-policy learning algorithms and systematically study their theoretical properties such as finite-sample regret guarantee. Finally, we illustrate the effectiveness of our proposal through extensive simulations and real-world applications. △ Less

Submitted 20 October, 2023; v1 submitted 29 September, 2022; originally announced September 2022.

Off-Policy Evaluation for Episodic Partially Observable Markov Decision Processes under Non-Parametric Models

Authors: Rui Miao, Zhengling Qi, Xiaoke Zhang

Abstract: We study the problem of off-policy evaluation (OPE) for episodic Partially Observable Markov Decision Processes (POMDPs) with continuous states. Motivated by the recently proposed proximal causal inference framework, we develop a non-parametric identification result for estimating the policy value via a sequence of so-called V-bridge functions with the help of time-dependent proxy variables. We th… ▽ More We study the problem of off-policy evaluation (OPE) for episodic Partially Observable Markov Decision Processes (POMDPs) with continuous states. Motivated by the recently proposed proximal causal inference framework, we develop a non-parametric identification result for estimating the policy value via a sequence of so-called V-bridge functions with the help of time-dependent proxy variables. We then develop a fitted-Q-evaluation-type algorithm to estimate V-bridge functions recursively, where a non-parametric instrumental variable (NPIV) problem is solved at each step. By analyzing this challenging sequential NPIV problem, we establish the finite-sample error bounds for estimating the V-bridge functions and accordingly that for evaluating the policy value, in terms of the sample size, length of horizon and so-called (local) measure of ill-posedness at each step. To the best of our knowledge, this is the first finite-sample error bound for OPE in POMDPs under non-parametric models. △ Less

Submitted 16 October, 2022; v1 submitted 20 September, 2022; originally announced September 2022.

Operads with trivial $\mathbb{A}$-actions

Authors: Yu Li, Zihao Qi, Yongjun Xu, James J. Zhang, Zerui Zhang, Xiangui Zhao

Abstract: We study operads with trivial $\mathbb{A}$-actions and prove an equivalence between the category of $\mathbb{A}$-trivial operads and that of pseudo-graded-Perm associative algebras. As a consequence, we show that finitely generated $\mathbb{A}$-trivial operads are right noetherian of integral Gelfand-Kirillov dimension and that every element in a prime $\mathbb{A}$-trivial operad is central. We study operads with trivial $\mathbb{A}$-actions and prove an equivalence between the category of $\mathbb{A}$-trivial operads and that of pseudo-graded-Perm associative algebras. As a consequence, we show that finitely generated $\mathbb{A}$-trivial operads are right noetherian of integral Gelfand-Kirillov dimension and that every element in a prime $\mathbb{A}$-trivial operad is central. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 28 pages

MSC Class: 18M60; 18M65; 18M70; 16P90

On Well-posedness and Minimax Optimal Rates of Nonparametric Q-function Estimation in Off-policy Evaluation

Authors: Xiaohong Chen, Zhengling Qi

Abstract: We study the off-policy evaluation (OPE) problem in an infinite-horizon Markov decision process with continuous states and actions. We recast the $Q$-function estimation into a special form of the nonparametric instrumental variables (NPIV) estimation problem. We first show that under one mild condition the NPIV formulation of $Q$-function estimation is well-posed in the sense of $L^2$-measure of… ▽ More We study the off-policy evaluation (OPE) problem in an infinite-horizon Markov decision process with continuous states and actions. We recast the $Q$-function estimation into a special form of the nonparametric instrumental variables (NPIV) estimation problem. We first show that under one mild condition the NPIV formulation of $Q$-function estimation is well-posed in the sense of $L^2$-measure of ill-posedness with respect to the data generating distribution, bypassing a strong assumption on the discount factor $γ$ imposed in the recent literature for obtaining the $L^2$ convergence rates of various $Q$-function estimators. Thanks to this new well-posed property, we derive the first minimax lower bounds for the convergence rates of nonparametric estimation of $Q$-function and its derivatives in both sup-norm and $L^2$-norm, which are shown to be the same as those for the classical nonparametric regression (Stone, 1982). We then propose a sieve two-stage least squares estimator and establish its rate-optimality in both norms under some mild conditions. Our general results on the well-posedness and the minimax lower bounds are of independent interest to study not only other nonparametric estimators for $Q$-function but also efficient estimation on the value of any target policy in off-policy settings. △ Less

Submitted 26 June, 2022; v1 submitted 16 January, 2022; originally announced January 2022.

Proof of the Strong Ivić Conjecture for the Cubic Moment of Maass-form $L$-functions

Authors: Zhi Qi

Abstract: In this paper, we prove the following asymptotic formula for the spectral cubic moment of central $L$-values: $$ \sum_{t_f \leqslant T} \frac {2 L \big( \tfrac 1 2 , f \big)^3} {L(1, \mathrm{Sym}^2 f)} + \frac {2} π \int_{0}^{T} \frac {\left| ζ\big(\tfrac 1 2 + it \big) \right|^{6} } { | ζ(1 + 2 it ) |^2 } \mathrm{d} t = T^2 P_3 (\log T) + O (T^{1+\varepsilon}) , $$ where $f$ ranges in an orthon… ▽ More In this paper, we prove the following asymptotic formula for the spectral cubic moment of central $L$-values: $$ \sum_{t_f \leqslant T} \frac {2 L \big( \tfrac 1 2 , f \big)^3} {L(1, \mathrm{Sym}^2 f)} + \frac {2} π \int_{0}^{T} \frac {\left| ζ\big(\tfrac 1 2 + it \big) \right|^{6} } { | ζ(1 + 2 it ) |^2 } \mathrm{d} t = T^2 P_3 (\log T) + O (T^{1+\varepsilon}) , $$ where $f$ ranges in an orthonormal basis of (even) Hecke--Maass cusp forms, and $P_3$ is a certain polynomial of degree $3$. It improves on the error term $O (T^{8/7+\varepsilon})$ in a paper of Ivić and hence confirms his strong conjecture for the cubic moment. This is the first time that the (strong) moment conjecture is fully proven in a cubic case. Moreover, we establish the short-interval variant of the above asymptotic formula on intervals of length as short as $T^{\varepsilon}$. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Comments: 20 pages

MSC Class: 11F67; 11F12

Moments of Central $L$-values for Maass Forms over Imaginary Quadratic Fields

Authors: Sheng-Chi Liu, Zhi Qi

Abstract: In this paper, over imaginary quadratic fields, we consider the family of $L$-functions $L (s, f)$ for an orthonormal basis of spherical Hecke--Maass forms $f$ with Archimedean parameter $t_f$. We establish asymptotic formulae for the twisted first and second moments of the central values $L\big(\frac 1 2, f\big)$, which can be applied to prove that at least $33 \%$ of $L\big(\frac 1 2, f\big)$ wi… ▽ More In this paper, over imaginary quadratic fields, we consider the family of $L$-functions $L (s, f)$ for an orthonormal basis of spherical Hecke--Maass forms $f$ with Archimedean parameter $t_f$. We establish asymptotic formulae for the twisted first and second moments of the central values $L\big(\frac 1 2, f\big)$, which can be applied to prove that at least $33 \%$ of $L\big(\frac 1 2, f\big)$ with $t_f \leqslant T$ are non-vanishing as $T \rightarrow \infty$. Our main tools are the spherical Kuznetsov trace formula and the Voronoï summation formula over imaginary quadratic fields. △ Less

Submitted 8 January, 2022; originally announced January 2022.

Comments: 28 pages. To appear in Trans Amer. Math. Soc

MSC Class: 11F67; 11F12

Strong subconvexity for self-dual $\mathrm{GL} (3)$ $L$-functions

Authors: Yongxiao Lin, Ramon Nunes, Zhi Qi

Abstract: In this paper, we prove strong subconvexity bounds for self-dual $\mathrm{GL}(3)$ $L$-functions in the $t$-aspect and for $\mathrm{GL}(3)\times\mathrm{GL}(2)$ $L$-functions in the $\mathrm{GL}(2)$-spectral aspect. The bounds are strong in the sense that they are the natural limit of the moment method pioneered by Xiaoqing Li, modulo current knowledge on estimate for the second moment of… ▽ More In this paper, we prove strong subconvexity bounds for self-dual $\mathrm{GL}(3)$ $L$-functions in the $t$-aspect and for $\mathrm{GL}(3)\times\mathrm{GL}(2)$ $L$-functions in the $\mathrm{GL}(2)$-spectral aspect. The bounds are strong in the sense that they are the natural limit of the moment method pioneered by Xiaoqing Li, modulo current knowledge on estimate for the second moment of $\rm GL(3)$ $L$-functions on the critical line. △ Less

Submitted 26 April, 2022; v1 submitted 28 December, 2021; originally announced December 2021.

Comments: Revised version; 15 pages

MSC Class: 11F66; 11M41

Gröbner-Shirshov bases and linear bases for free differential type algebras over algebras

Authors: Zihao Qi, Yufei Qin, Guodong Zhou

Abstract: We study a question which can be roughly stated as follows: Given a (unital or nonunital) algebra $A$ together with a Gröbner-Shirshov basis $G$, consider the free operated algebra $B$ over $A$, such that the operator satisfies some polynomial identities $Φ$ which are Gröbner-Shirshov in the sense of Guo et al., when doesthe union $Φ\cup G$ will be an operated Gröbner-Shirshov basis for $B$? We an… ▽ More We study a question which can be roughly stated as follows: Given a (unital or nonunital) algebra $A$ together with a Gröbner-Shirshov basis $G$, consider the free operated algebra $B$ over $A$, such that the operator satisfies some polynomial identities $Φ$ which are Gröbner-Shirshov in the sense of Guo et al., when doesthe union $Φ\cup G$ will be an operated Gröbner-Shirshov basis for $B$? We answer this question in the affirmative under a mild condition in our previous work with Wang. When this condition is satisfied, $Φ\cup G$ is an operated Gröbner-Shirshov basis for $ B$ and as a consequence, we also get a linear basis of $B$. However, the condition could not be applied directly to differential type algebras introduced by Guo, Sit and Zhang, including usual differential algebras. This paper solves completely this problem for differential type algebras.Some new monomial orders are introduced which, together with some known ones, permit the application of the previous result to most of differential type algebras, thus providing new operated GS bases and linear bases for these differential type algebras.Versions are presented both for unital and nonunital algebras. However, a class of examples are also presented, for which the natural expectation in the question is wrong and these examples are dealt with by direct inspection. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 27 pages, comments are welcome! arXiv admin note: text overlap with arXiv:1601.04254 by other authors

MSC Class: 13P10; 03C05; 08B20; 12H05; 16S10

A Voronoï--Oppenheim summation formula for number fields

Authors: Zhi Qi

Abstract: In this note, we establish a Voronoï--Oppenheim summation formula for divisor functions over an arbitrary number field. In this note, we establish a Voronoï--Oppenheim summation formula for divisor functions over an arbitrary number field. △ Less

Submitted 11 May, 2022; v1 submitted 19 May, 2021; originally announced May 2021.

Comments: 15 pages; to appear in Acta Arith

MSC Class: 11F70

Beyond the Weyl barrier for $\mathrm{GL}(2)$ exponential sums

Authors: Roman Holowinsky, Ritabrata Munshi, Zhi Qi

Abstract: In this paper, we use the Bessel $δ$-method, along with new variants of the van der Corput method in two dimensions, to prove non-trivial bounds for $\mathrm{GL}(2)$ exponential sums beyond the Weyl barrier. More explicitly, for sums of $\mathrm{GL}(2)$ Fourier coefficients twisted by $e(f(n))$, with length $N$ and phase $f(n)=N^β \log n / 2π$ or $a n^β$, non-trivial bounds are established for… ▽ More In this paper, we use the Bessel $δ$-method, along with new variants of the van der Corput method in two dimensions, to prove non-trivial bounds for $\mathrm{GL}(2)$ exponential sums beyond the Weyl barrier. More explicitly, for sums of $\mathrm{GL}(2)$ Fourier coefficients twisted by $e(f(n))$, with length $N$ and phase $f(n)=N^β \log n / 2π$ or $a n^β$, non-trivial bounds are established for $ β< 1.63651... $, which is beyond the Weyl barrier at $β= 3/2$. △ Less

Submitted 19 April, 2021; v1 submitted 11 April, 2021; originally announced April 2021.

Comments: 32 pages

MSC Class: 11L07(Primary) 11F30; 11F66(Secondary)

Poisson cohomology of plane Poisson structures with isolated singularities revisited

Authors: Zihao Qi, Guodong Zhou

Abstract: Continuing a work of Ph.~Monnier, we determine the Gerstenhaber algebra structure over the Poisson cohomology groups for a large class of Poisson structures with isolated singularities over the plane. It reveals that there exists a GAGA type phenomenon. We give an explicit description via generators and relations for the case of simple singularities. Continuing a work of Ph.~Monnier, we determine the Gerstenhaber algebra structure over the Poisson cohomology groups for a large class of Poisson structures with isolated singularities over the plane. It reveals that there exists a GAGA type phenomenon. We give an explicit description via generators and relations for the case of simple singularities. △ Less

Submitted 24 March, 2021; originally announced March 2021.

MSC Class: 17B63; 14H20; 53D17

Journal ref: J. Math. Phys. 61 (2020), no. 11, 111703, 26 pp

Free objects and Gröbner-Shirshov bases in operated contexts

Authors: Zihao Qi, Yufei Qin, Kai Wang, Guodong Zhou

Abstract: This paper investigates algebraic objects equipped with an operator, such as operated monoids, operated algebras etc. Various free object functors in these operated contexts are explicitly constructed. For operated algebras whose operator satisfies a set $Φ$ of relations (usually called operated polynomial identities (aka. OPIs)), Guo defined free objects, called free $Φ$-algebras, via universal a… ▽ More This paper investigates algebraic objects equipped with an operator, such as operated monoids, operated algebras etc. Various free object functors in these operated contexts are explicitly constructed. For operated algebras whose operator satisfies a set $Φ$ of relations (usually called operated polynomial identities (aka. OPIs)), Guo defined free objects, called free $Φ$-algebras, via universal algebra. Free $Φ$-algebras over algebras are studied in details. A mild sufficient condition is found such that $Φ$ together with a Gröbner-Shirshov basis of an algebra $A$ form a Gröbner-Shirshov basis of the free $Φ$-algebra over algebra $A$ in the sense of Guo et al.. Ample examples for which this condition holds are provided, such as all Rota-Baxter type OPIs, a class of differential type OPIs, averaging OPIs and Reynolds OPI. △ Less

Submitted 11 August, 2021; v1 submitted 24 March, 2021; originally announced March 2021.

Comments: Slightly revised version of the published paper in Journal of Algebra

MSC Class: 13P10(Primary); 03C05; 08B20; 12H05; 16S10

Journal ref: J. Algebra 584 (2021), 89-124

Robust Batch Policy Learning in Markov Decision Processes

Authors: Zhengling Qi, Peng Liao

Abstract: We study the offline data-driven sequential decision making problem in the framework of Markov decision process (MDP). In order to enhance the generalizability and adaptivity of the learned policy, we propose to evaluate each policy by a set of the average rewards with respect to distributions centered at the policy induced stationary distribution. Given a pre-collected dataset of multiple traject… ▽ More We study the offline data-driven sequential decision making problem in the framework of Markov decision process (MDP). In order to enhance the generalizability and adaptivity of the learned policy, we propose to evaluate each policy by a set of the average rewards with respect to distributions centered at the policy induced stationary distribution. Given a pre-collected dataset of multiple trajectories generated by some behavior policy, our goal is to learn a robust policy in a pre-specified policy class that can maximize the smallest value of this set. Leveraging the theory of semi-parametric statistics, we develop a statistically efficient policy learning method for estimating the de ned robust optimal policy. A rate-optimal regret bound up to a logarithmic factor is established in terms of total decision points in the dataset. △ Less

Submitted 9 November, 2021; v1 submitted 8 November, 2020; originally announced November 2020.

Growth of nonsymmetric operads

Authors: Zihao Qi, Yongjun Xu, James J. Zhang, Xiangui Zhao

Abstract: The paper concerns the Gelfand-Kirillov dimension and the generating series of nonsymmetric operads. An analogue of Bergman's gap theorem is proved, namely, no finitely generated locally finite nonsymmetric operad has Gelfand-Kirillov dimension strictly between $1$ and $2$. For every $r\in \{0\}\cup \{1\}\cup [2,\infty)$ or $r=\infty$, we construct a single-element generated nonsymmetric operad wi… ▽ More The paper concerns the Gelfand-Kirillov dimension and the generating series of nonsymmetric operads. An analogue of Bergman's gap theorem is proved, namely, no finitely generated locally finite nonsymmetric operad has Gelfand-Kirillov dimension strictly between $1$ and $2$. For every $r\in \{0\}\cup \{1\}\cup [2,\infty)$ or $r=\infty$, we construct a single-element generated nonsymmetric operad with Gelfand-Kirillov dimension $r$. We also provide counterexamples to two expectations of Khoroshkin and Piontkovski about the generating series of operads. △ Less

Submitted 3 June, 2023; v1 submitted 23 October, 2020; originally announced October 2020.

Comments: 38 pages, 10 figures. The known typos have been corrected. A detailed proof to Lemma 7.2 has been added. The referee's comments have been incorporated

MSC Class: 16P90; 16Z10; 17A61; 13P10; 18M65

Journal ref: Indiana University Mathematics Journal, 72(2) (2023) 651-697

Bias of Root Numbers for Modular Newforms of Cubic Level

Authors: Qinghua Pi, Zhi Qi

Abstract: Let $H^{\pm}_{2k} (N^3)$ denote the set of modular newforms of cubic level $N^3$, weight $2 k$, and root number $\pm 1$. For $N > 1$ squarefree and $k>1$, we use an analytic method to establish neat and explicit formulas for the difference $|H^{+}_{2k} (N^3)| - |H^{-}_{2k} (N^3)|$ as a multiple of the product of $\varphi (N)$ and the class number of $\mathbb{Q}(\sqrt{- N})$. In particular, the for… ▽ More Let $H^{\pm}_{2k} (N^3)$ denote the set of modular newforms of cubic level $N^3$, weight $2 k$, and root number $\pm 1$. For $N > 1$ squarefree and $k>1$, we use an analytic method to establish neat and explicit formulas for the difference $|H^{+}_{2k} (N^3)| - |H^{-}_{2k} (N^3)|$ as a multiple of the product of $\varphi (N)$ and the class number of $\mathbb{Q}(\sqrt{- N})$. In particular, the formulas exhibit a strict bias towards the root number $+1$. Our main tool is a root-number weighted simple Petersson formula for such newforms. △ Less

Submitted 10 February, 2021; v1 submitted 20 August, 2020; originally announced August 2020.

Comments: 12 pages; some changes made according to the comments of a referee; to appear in Proc. Amer. Math. Soc

MSC Class: 11F11; 11F72

Batch Policy Learning in Average Reward Markov Decision Processes

Authors: Peng Liao, Zhengling Qi, Runzhe Wan, Predrag Klasnja, Susan Murphy

Abstract: We consider the batch (off-line) policy learning problem in the infinite horizon Markov Decision Process. Motivated by mobile health applications, we focus on learning a policy that maximizes the long-term average reward. We propose a doubly robust estimator for the average reward and show that it achieves semiparametric efficiency. Further we develop an optimization algorithm to compute the optim… ▽ More We consider the batch (off-line) policy learning problem in the infinite horizon Markov Decision Process. Motivated by mobile health applications, we focus on learning a policy that maximizes the long-term average reward. We propose a doubly robust estimator for the average reward and show that it achieves semiparametric efficiency. Further we develop an optimization algorithm to compute the optimal policy in a parameterized stochastic policy class. The performance of the estimated policy is measured by the difference between the optimal average reward in the policy class and the average reward of the estimated policy and we establish a finite-sample regret guarantee. The performance of the method is illustrated by simulation studies and an analysis of a mobile health study promoting physical activity. △ Less

Submitted 17 September, 2022; v1 submitted 22 July, 2020; originally announced July 2020.

Subconvexity for $L$-Functions on $\mathrm{GL}_3$ over Number Fields

Authors: Zhi Qi

Abstract: In this paper, over an arbitrary number field, we prove subconvexity bounds for self-dual $\mathrm{GL}_3$ $L$-functions in the $t$-aspect and for self-dual $\mathrm{GL}_3 \times \mathrm{GL}_2$ $L$-functions in the $\mathrm{GL}_2$ Archimedean aspect. In this paper, over an arbitrary number field, we prove subconvexity bounds for self-dual $\mathrm{GL}_3$ $L$-functions in the $t$-aspect and for self-dual $\mathrm{GL}_3 \times \mathrm{GL}_2$ $L$-functions in the $\mathrm{GL}_2$ Archimedean aspect. △ Less

Submitted 26 October, 2021; v1 submitted 21 July, 2020; originally announced July 2020.

Comments: 66 pages; improved exposition; to appear in JEMS

MSC Class: 11M41

Adversarial VC-dimension and Sample Complexity of Neural Networks

Authors: Zetong Qi, T. J. Wilder

Abstract: Adversarial attacks during the testing phase of neural networks pose a challenge for the deployment of neural networks in security critical settings. These attacks can be performed by adding noise that is imperceptible to humans on top of the original data. By doing so, an attacker can create an adversarial sample, which will cause neural networks to misclassify. In this paper, we seek to understa… ▽ More Adversarial attacks during the testing phase of neural networks pose a challenge for the deployment of neural networks in security critical settings. These attacks can be performed by adding noise that is imperceptible to humans on top of the original data. By doing so, an attacker can create an adversarial sample, which will cause neural networks to misclassify. In this paper, we seek to understand the theoretical limits of what can be learned by neural networks in the presence of an adversary. We first defined the hypothesis space of a neural network, and showed the relationship between the growth number of the entire neural network and the growth number of each neuron. Combine that with the adversarial Vapnik-Chervonenkis(VC)-dimension of halfspace classifiers, we concluded the adversarial VC-dimension of the neural networks with sign activation functions. △ Less

Submitted 18 December, 2019; originally announced December 2019.

Statistical Analysis of Stationary Solutions of Coupled Nonconvex Nonsmooth Empirical Risk Minimization

Authors: Zhengling Qi, Ying Cui, Yufeng Liu, Jong-Shi Pang

Abstract: This paper has two main goals: (a) establish several statistical properties---consistency, asymptotic distributions, and convergence rates---of stationary solutions and values of a class of coupled nonconvex and nonsmoothempirical risk minimization problems, and (b) validate these properties by a noisy amplitude-based phase retrieval problem, the latter being of much topical interest.Derived from… ▽ More This paper has two main goals: (a) establish several statistical properties---consistency, asymptotic distributions, and convergence rates---of stationary solutions and values of a class of coupled nonconvex and nonsmoothempirical risk minimization problems, and (b) validate these properties by a noisy amplitude-based phase retrieval problem, the latter being of much topical interest.Derived from available data via sampling, these empirical risk minimization problems are the computational workhorse of a population risk model which involves the minimization of an expected value of a random functional. When these minimization problems are nonconvex, the computation of their globally optimal solutions is elusive. Together with the fact that the expectation operator cannot be evaluated for general probability distributions, it becomes necessary to justify whether the stationary solutions of the empirical problems are practical approximations of the stationary solution of the population problem. When these two features, general distribution and nonconvexity, are coupled with nondifferentiability that often renders the problems "non-Clarke regular", the task of the justification becomes challenging. Our work aims to address such a challenge within an algorithm-free setting. The resulting analysis is therefore different from the much of the analysis in the recent literature that is based on local search algorithms. Furthermore, supplementing the classical minimizer-centric analysis, our results offer a first step to close the gap between computational optimization and asymptotic analysis of coupled nonconvex nonsmooth statistical estimation problems, expanding the former with statistical properties of the practically obtained solution and providing the latter with a more practical focus pertaining to computational tractability. △ Less

Submitted 6 October, 2019; originally announced October 2019.

Estimation of Individualized Decision Rules Based on an Optimized Covariate-Dependent Equivalent of Random Outcomes

Authors: Zhengling Qi, Ying Cui, Yufeng Liu, Jong-Shi Pang

Abstract: Recent exploration of optimal individualized decision rules (IDRs) for patients in precision medicine has attracted a lot of attention due to the heterogeneous responses of patients to different treatments. In the existing literature of precision medicine, an optimal IDR is defined as a decision function map** from the patients' covariate space into the treatment space that maximizes the expecte… ▽ More Recent exploration of optimal individualized decision rules (IDRs) for patients in precision medicine has attracted a lot of attention due to the heterogeneous responses of patients to different treatments. In the existing literature of precision medicine, an optimal IDR is defined as a decision function map** from the patients' covariate space into the treatment space that maximizes the expected outcome of each individual. Motivated by the concept of Optimized Certainty Equivalent (OCE) introduced originally in \cite{ben1986expected} that includes the popular conditional-value-of risk (CVaR) \cite{rockafellar2000optimization}, we propose a decision-rule based optimized covariates dependent equivalent (CDE) for individualized decision making problems. Our proposed IDR-CDE broadens the existing expected-mean outcome framework in precision medicine and enriches the previous concept of the OCE. Numerical experiments demonstrate that our overall approach outperforms existing methods in estimating optimal IDRs under heavy-tail distributions of the data. △ Less

Submitted 27 August, 2019; originally announced August 2019.

Low-lying zeros of $L$-functions for Maass forms over imaginary quadratic fields

Authors: Sheng-Chi Liu, Zhi Qi

Abstract: We study the $1$- or $2$-level density of families of $L$-functions for Hecke--Maass forms over an imaginary quadratic field $F$. For test functions whose Fourier transform is supported in $\left(-\frac 32, \frac 32\right)$, we prove that the $1$-level density for Hecke--Maass forms over $F$ of square-free level $\mathfrak{q}$, as $\mathrm{N}(\mathfrak{q})$ tends to infinity, agrees with that of t… ▽ More We study the $1$- or $2$-level density of families of $L$-functions for Hecke--Maass forms over an imaginary quadratic field $F$. For test functions whose Fourier transform is supported in $\left(-\frac 32, \frac 32\right)$, we prove that the $1$-level density for Hecke--Maass forms over $F$ of square-free level $\mathfrak{q}$, as $\mathrm{N}(\mathfrak{q})$ tends to infinity, agrees with that of the orthogonal random matrix ensembles. For Hecke--Maass forms over $F$ of full level, we prove similar statements for the $1$- and $2$-level densities, as the Laplace eigenvalues tends to infinity. △ Less

Submitted 28 March, 2020; v1 submitted 17 August, 2019; originally announced August 2019.

Comments: 27 pages. To appear in Mathematika. RH added in the assumptions of Theorem A.1

MSC Class: 11M50

Cancellation in additively twisted sums on $\mathrm{GL}(2)$ with non-linear phase

Authors: Yongxiao Lin, Zhi Qi

Abstract: Let $λ_g (n)$ be the Fourier coefficients of a holomorphic cusp modular form $g$ for $\mathrm{SL}_2 (\mathbb{Z})$. The aim of this article is to get non-trivial bound on non-linearly additively twisted sums of the Fourier coefficients $λ_g (n)$. Precisely, we prove for any $3/4 < β< 3/2$, $β\neq 1 $, the following non-trivial estimate… ▽ More Let $λ_g (n)$ be the Fourier coefficients of a holomorphic cusp modular form $g$ for $\mathrm{SL}_2 (\mathbb{Z})$. The aim of this article is to get non-trivial bound on non-linearly additively twisted sums of the Fourier coefficients $λ_g (n)$. Precisely, we prove for any $3/4 < β< 3/2$, $β\neq 1 $, the following non-trivial estimate $$ \sum_{n \leq N}λ_g(n)\,e(α\, n^β)\ll_{g, α, β, \varepsilon} N^{\frac{1}{2}+ \fracβ{3} +\varepsilon} + N^{\frac{3}{2}-\frac {2β}{3} + \varepsilon}, $$ for any $\varepsilon > 0$. This is the first time that non-trivial estimate for such sums is achieved for $1 < β< 3/2$, breaking the barrier $β= 1$ in the work of X. Ren and Y. Ye. It also improves their estimate in the range $9/10 < β< 1$. The key of our approach is a newly developed Bessel $δ$-method. △ Less

Submitted 5 July, 2019; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: This text has been merged into arXiv:1906.05485

MSC Class: 11L07; 11F30

A Bessel delta-method and exponential sums for GL(2)

Authors: Keshav Aggarwal, Roman Holowinsky, Yongxiao Lin, Zhi Qi

Abstract: In this paper, we introduce a simple Bessel $δ$-method to the theory of exponential sums for $\rm GL_2$. Some results of Jutila on exponential sums are generalized in a less technical manner to holomorphic newforms of arbitrary level and nebentypus. In particular, this gives a short proof for the Weyl-type subconvex bound in the $t$-aspect for the associated $L$-functions. In this paper, we introduce a simple Bessel $δ$-method to the theory of exponential sums for $\rm GL_2$. Some results of Jutila on exponential sums are generalized in a less technical manner to holomorphic newforms of arbitrary level and nebentypus. In particular, this gives a short proof for the Weyl-type subconvex bound in the $t$-aspect for the associated $L$-functions. △ Less

Submitted 13 May, 2020; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: new title; major changes; results extended and strengthened; the text arXiv:1906.06371 has been merged into this paper; 20 pages; accepted by Q. J. Math

MSC Class: 11L07; 11F30; 11F66

On the Fourier transform of regularized Bessel functions on complex numbers and Beyond Endoscopy over number fields

Authors: Zhi Qi

Abstract: In this article, we prove certain Weber-Schafheitlin type integral formulae for Bessel functions over complex numbers. A special case is a formula for the Fourier transform of regularized Bessel functions on complex numbers. This is applied to extend the work of A. Venkatesh on Beyond Endoscopy for $\mathrm{Sym}^2$ on $\mathrm{GL}_2$ from totally real to arbitrary number fields. In this article, we prove certain Weber-Schafheitlin type integral formulae for Bessel functions over complex numbers. A special case is a formula for the Fourier transform of regularized Bessel functions on complex numbers. This is applied to extend the work of A. Venkatesh on Beyond Endoscopy for $\mathrm{Sym}^2$ on $\mathrm{GL}_2$ from totally real to arbitrary number fields. △ Less

Submitted 3 November, 2019; v1 submitted 29 October, 2018; originally announced October 2018.

Comments: 26 pages. An appendix added. Small errors corrected. To appear in IMRN

MSC Class: 33C10; 42B10; 33C05

On the Waldspurger Formula and the Metaplectic Ramanujan Conjecture over Number Fields

Authors: **gsong Chai, Zhi Qi

Abstract: In this paper, by inputting the Bessel identities over the complex field in previous work of the authors, the Waldspurger formula of Baruch and Mao is extended from totally real fields to arbitrary number fields. This is applied to give a non-trivial bound towards the Ramanujan conjecture for automorphic forms of the metaplectic group $\widetilde{\mathrm{SL}}_2$ for the first time in the generalit… ▽ More In this paper, by inputting the Bessel identities over the complex field in previous work of the authors, the Waldspurger formula of Baruch and Mao is extended from totally real fields to arbitrary number fields. This is applied to give a non-trivial bound towards the Ramanujan conjecture for automorphic forms of the metaplectic group $\widetilde{\mathrm{SL}}_2$ for the first time in the generality of arbitrary number fields. △ Less

Submitted 31 March, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 22 pages. To appear in J. Funct. Anal

MSC Class: 11F37; 11F67; 11F70

A Whittaker-Plancherel Inversion Formula for $\mathrm{SL}_2(\mathbb{C})$

Authors: Zhi Qi, Chang Yang

Abstract: In this paper, we establish a Whittaker-Plancherel inversion formula for $\mathrm{SL}_2(\mathbb{C})$ from the analytic perspective of the Bessel transform of Bruggeman and Motohashi. The formula gives a decomposition of the Whittaker-Fourier coefficient of a compactly supported function on $\mathrm{SL}_2(\mathbb{C})$ in terms of its Bessel coefficients attached to irreducible unitary tempered repr… ▽ More In this paper, we establish a Whittaker-Plancherel inversion formula for $\mathrm{SL}_2(\mathbb{C})$ from the analytic perspective of the Bessel transform of Bruggeman and Motohashi. The formula gives a decomposition of the Whittaker-Fourier coefficient of a compactly supported function on $\mathrm{SL}_2(\mathbb{C})$ in terms of its Bessel coefficients attached to irreducible unitary tempered representations of $\mathrm{SL}_2(\mathbb{C})$. △ Less

Submitted 9 November, 2019; v1 submitted 11 August, 2018; originally announced August 2018.

Comments: 17 pages. Analysis greatly simplified thanks to an observation of the referee. To appear in J. Anal. Math

MSC Class: 22E46; 33C10

Subconvexity for twisted $L$-functions on $\mathrm{GL}_3$ over the Gaussian number field

Authors: Zhi Qi

Abstract: Let $q \in \mathbb{Z} [i]$ be prime and $χ$ be the primitive quadratic Hecke character modulo $q$. Let $π$ be a self-dual Hecke automorphic cusp form for $\mathrm{SL}_3 (\mathbb{Z} [i] )$ and $f$ be a Hecke cusp form for $Γ_0 (q) \subset \mathrm{SL}_2 (\mathbb{Z} [i])$. Consider the twisted $L$-functions $ L (s, π\otimes f \otimes χ) $ and $L (s, π\otimes χ)$ on… ▽ More Let $q \in \mathbb{Z} [i]$ be prime and $χ$ be the primitive quadratic Hecke character modulo $q$. Let $π$ be a self-dual Hecke automorphic cusp form for $\mathrm{SL}_3 (\mathbb{Z} [i] )$ and $f$ be a Hecke cusp form for $Γ_0 (q) \subset \mathrm{SL}_2 (\mathbb{Z} [i])$. Consider the twisted $L$-functions $ L (s, π\otimes f \otimes χ) $ and $L (s, π\otimes χ)$ on $\mathrm{GL}_3 \times \mathrm{GL}_2$ and $\mathrm{GL}_3$. We prove the subconvexity bounds \begin{equation*} L \big(\tfrac 1 2, π\otimes f \otimes χ\big) \ll_{\, \varepsilon, π, f } \mathrm{N} (q)^{5/4 + \varepsilon}, L \big(\tfrac 1 2 + it, π\otimes χ\big) \ll_{\, \varepsilon, π, t } \mathrm{N} (q)^{5/8 + \varepsilon}, \end{equation*} for any $\varepsilon > 0$. △ Less

Submitted 6 May, 2019; v1 submitted 15 May, 2018; originally announced May 2018.

Comments: To appear in Trans. Amer. Math. Soc.. 32 pages

MSC Class: 11M41

Bessel Identities in the Waldspurger Correspondence over the Complex Numbers

Authors: **gsong Chai, Zhi Qi

Abstract: We prove certain identities between relative Bessel functions attached to irreducible unitary representations of $\mathrm{PGL}_2(\mathbb{C})$ and Bessel functions attached to irreducible unitary representations of $\mathrm{SL}_2 (\mathbb{C})$. These identities reflect the Waldspurger correspondence over $\mathbb{C}$. We also prove several regularity theorems for Bessel and relative Bessel distribu… ▽ More We prove certain identities between relative Bessel functions attached to irreducible unitary representations of $\mathrm{PGL}_2(\mathbb{C})$ and Bessel functions attached to irreducible unitary representations of $\mathrm{SL}_2 (\mathbb{C})$. These identities reflect the Waldspurger correspondence over $\mathbb{C}$. We also prove several regularity theorems for Bessel and relative Bessel distributions which appear in the relative trace formula. This paper constitutes the local spectral theory of Jacquet's relative trace formula over $\mathbb{C}$. △ Less

Submitted 31 March, 2019; v1 submitted 4 February, 2018; originally announced February 2018.

Comments: 19 pages. To appear in Israel J. Math

MSC Class: 22E50; 33C10

Theory of Fundamental Bessel Functions of High Rank

Authors: Zhi Qi

Abstract: In this article, we shall study fundamental Bessel functions for $\mathrm{GL}_n(\mathbb{F})$ arising from the Voronoï summation formula for any rank $n$ and field $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, with focus on develo** their analytic and asymptotic theory. The main implements and subjects of our study of fundamental Bessel functions are their formal integral representations and Bessel… ▽ More In this article, we shall study fundamental Bessel functions for $\mathrm{GL}_n(\mathbb{F})$ arising from the Voronoï summation formula for any rank $n$ and field $\mathbb{F} = \mathbb{R}$ or $\mathbb{C}$, with focus on develo** their analytic and asymptotic theory. The main implements and subjects of our study of fundamental Bessel functions are their formal integral representations and Bessel differential equations. We shall prove the asymptotic formulae for fundamental Bessel functions and explicit connection formulae for the Bessel differential equations. △ Less

Submitted 14 March, 2021; v1 submitted 12 December, 2016; originally announced December 2016.

Comments: 126 pages. Remark 17.6 added for the $GL_2$ kernel formula. This is the combination of two papers "Theory of Fundamental Bessel Functions of High Rank - I: Fundamental Bessel Functions" [arXiv:1408.5652 ] and "II: Hankel Transforms and Fundamental Bessel Kernels" [arXiv:1411.6710]

MSC Class: 33E20; 33E30; 44A20

Journal ref: Mem. Amer. Math. Soc., 267, no. 1303, vii+123 pp, 2020

Cancellation in the Additive Twists of Fourier Coefficients for $\mathrm{GL}_2$ and $\mathrm{GL}_3$ over Number Fields

Authors: Zhi Qi

Abstract: In this article, we study the sum of additively twisted Fourier coefficients of an irreducible cuspidal automorphic representation of $\mathrm{GL}_2$ or $\mathrm{GL}_3$ over an arbitrary number field. When the representation is unramified at all non-archimedean places, we prove the Wilton type bound for $\mathrm{GL}_2$ and the Miller type bound for $\mathrm{GL}_3$ which are uniform in terms of the… ▽ More In this article, we study the sum of additively twisted Fourier coefficients of an irreducible cuspidal automorphic representation of $\mathrm{GL}_2$ or $\mathrm{GL}_3$ over an arbitrary number field. When the representation is unramified at all non-archimedean places, we prove the Wilton type bound for $\mathrm{GL}_2$ and the Miller type bound for $\mathrm{GL}_3$ which are uniform in terms of the additive character. △ Less

Submitted 3 November, 2018; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: 23 pages. Corrected the translation of Voronoi (the different ideal was missing)

MSC Class: 11F30

On the Fourier Transform of Bessel Functions over Complex Numbers---II: the General Case

Authors: Zhi Qi

Abstract: In this paper, we prove an exponential integral formula for the Fourier transform of Bessel functions over complex numbers, along with a radial exponential integral formula. The former will enable us to develop the complex spectral theory of the relative trace formula for the Shimura-Waldspurger correspondence and extend the Waldspurger formula from totally real fields to arbitrary number fields. In this paper, we prove an exponential integral formula for the Fourier transform of Bessel functions over complex numbers, along with a radial exponential integral formula. The former will enable us to develop the complex spectral theory of the relative trace formula for the Shimura-Waldspurger correspondence and extend the Waldspurger formula from totally real fields to arbitrary number fields. △ Less

Submitted 17 August, 2018; v1 submitted 4 July, 2016; originally announced July 2016.

Comments: 25 pages, to appear in Trans. Amer. Math. Soc

MSC Class: 42B10; 33C10

On the Fourier Transform of Bessel Functions over Complex Numbers---I: the Spherical Case

Authors: Zhi Qi

Abstract: In this note, we shall prove a formula for the Fourier transform of spherical Bessel functions over complex numbers, viewed as the complex analogue of the classical formulae of Hardy and Weber. The formula has strong representation theoretic motivations in the Waldspurger correspondence over the complex field. In this note, we shall prove a formula for the Fourier transform of spherical Bessel functions over complex numbers, viewed as the complex analogue of the classical formulae of Hardy and Weber. The formula has strong representation theoretic motivations in the Waldspurger correspondence over the complex field. △ Less

Submitted 26 October, 2017; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: 7 pages

MSC Class: 42B10; 33C10

On the Kuznetsov Trace Formula for $\mathrm{PGL}_2(\mathbb{C})$

Authors: Zhi Qi

Abstract: In this note, using a representation theoretic method of Cogdell and Piatetski-Shapiro, we prove the Kuznetsov trace formula for an arbitrary discrete group $Γ$ in $\mathrm{PGL}_2(\mathbb{C})$ that is cofinite but not cocompact. An essential ingredient is a kernel formula, recently proved by the author, on Bessel functions for $\mathrm{PGL}_2(\mathbb{C})$. This approach avoids the difficult analys… ▽ More In this note, using a representation theoretic method of Cogdell and Piatetski-Shapiro, we prove the Kuznetsov trace formula for an arbitrary discrete group $Γ$ in $\mathrm{PGL}_2(\mathbb{C})$ that is cofinite but not cocompact. An essential ingredient is a kernel formula, recently proved by the author, on Bessel functions for $\mathrm{PGL}_2(\mathbb{C})$. This approach avoids the difficult analysis in the existing method due to Bruggeman and Motohashi. △ Less

Submitted 2 March, 2018; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: 19 pages. J. Funct. Anal. Some calculations and statements for complementary series are simplified (corrected), in which case d should be 0 (not an arbitrary integer)

MSC Class: 11F72; 11M36

On a power-type coupled system of Monge-Ampère equations

Authors: Zhitao Zhang, Zexin Qi

Abstract: We study an elliptic system coupled by Monge-Ampère equations: \begin{center} $\left\{ \begin{array}{ll} det~D^{2}u_{1}={(-u_{2})}^α, & \hbox{in $Ω,$} det~D^{2}u_{2}={(-u_{1})}^β, & \hbox{in $Ω,$} u_{1}<0, u_{2}<0,& \hbox{in $Ω,$} u_{1}=u_{2}=0, & \hbox{on $ \partial Ω,$} \end{array} \right.$ \end{center} here $Ω$~is a smooth, bounded and strictly convex domain in~… ▽ More We study an elliptic system coupled by Monge-Ampère equations: \begin{center} $\left\{ \begin{array}{ll} det~D^{2}u_{1}={(-u_{2})}^α, & \hbox{in $Ω,$} det~D^{2}u_{2}={(-u_{1})}^β, & \hbox{in $Ω,$} u_{1}<0, u_{2}<0,& \hbox{in $Ω,$} u_{1}=u_{2}=0, & \hbox{on $ \partial Ω,$} \end{array} \right.$ \end{center} here $Ω$~is a smooth, bounded and strictly convex domain in~$\mathbb{R}^{N}$,~$N\geq2,~α>0,~β>0$. When $Ω$ is the unit ball in $\mathbb{R}^{N}$, we use index theory of fixed points for completely continuous operators to get existence, uniqueness results and nonexistence of radial convex solutions under some corresponding assumptions on $α,β$. When $α>0$, $β>0$ and $αβ=N^2$ we also study a corresponding eigenvalue problem in more general domains. △ Less

Submitted 10 December, 2014; originally announced December 2014.

Theory of Bessel Functions of High Rank - II: Hankel Transforms and Fundamental Bessel Kernels

Authors: Zhi Qi

Abstract: In this article we shall study the analytic theory and the representation theoretic interpretations of Hankel transforms and fundamental Bessel kernels of an arbitrary rank over an archimedean field. In this article we shall study the analytic theory and the representation theoretic interpretations of Hankel transforms and fundamental Bessel kernels of an arbitrary rank over an archimedean field. △ Less

Submitted 29 January, 2017; v1 submitted 24 November, 2014; originally announced November 2014.

Comments: 69 pages

MSC Class: 44A20; 33E20

Character sums of composite moduli and hybrid subconvexity

Authors: Roman Holowinsky, Ritabrata Munshi, Zhi Qi

Abstract: Let $M=M_1 M_2 M_3$ be the product of three distinct primes and let $χ=χ_1 χ_2 χ_3$ be a Dirichlet character of modulus $M$ such that each $χ_i$ is a primitive character modulo $M_i$ for $i=1,2,3$. In this paper, we provide a $δ$-symbol method for obtaining non-trivial cancellation in smooth character sums of the form $\sum_{n=1}^\infty χ(n) W(n/N)$, with $N$ roughly of size $\sqrt M$ and $W$ a sm… ▽ More Let $M=M_1 M_2 M_3$ be the product of three distinct primes and let $χ=χ_1 χ_2 χ_3$ be a Dirichlet character of modulus $M$ such that each $χ_i$ is a primitive character modulo $M_i$ for $i=1,2,3$. In this paper, we provide a $δ$-symbol method for obtaining non-trivial cancellation in smooth character sums of the form $\sum_{n=1}^\infty χ(n) W(n/N)$, with $N$ roughly of size $\sqrt M$ and $W$ a smooth compactly supported weight function on $(0, \infty)$. As a corollary, we establish hybrid subconvexity bounds for the associated Dirichlet $L$-function. △ Less

Submitted 12 September, 2014; originally announced September 2014.

MSC Class: 11M06

Morita's Theory for the Symplectic Groups

Authors: Zhi Qi, Chang Yang

Abstract: We construct and study the holomorphic discrete series representation and the principal series representation of the symplectic group $\mathrm{Sp}(2n,F)$ over a $p$-adic field $F$ as well as a duality between some sub-representations of these two representations. The constructions of these two representations generalize those defined in Morita and Murase's works. Moreover, Morita built a duality f… ▽ More We construct and study the holomorphic discrete series representation and the principal series representation of the symplectic group $\mathrm{Sp}(2n,F)$ over a $p$-adic field $F$ as well as a duality between some sub-representations of these two representations. The constructions of these two representations generalize those defined in Morita and Murase's works. Moreover, Morita built a duality for $\mathrm{SL}(2, F)$ defined by residues. We view the duality we defined as an algebraic interpretation of Morita's duality in some extent and its generalization to the symplectic groups. △ Less

Submitted 22 November, 2014; v1 submitted 25 August, 2014; originally announced August 2014.

Comments: 23 pages

Journal ref: Int. J. Number Theory 7 (2011), no. 8, 2115-2137

Morita's Duality for Split Reductive Groups

Authors: Zhi Qi

Abstract: In this paper, we extend the work in "Morita's Theory for the Symplectic Groups" to split reductive groups. We construct and study the holomorphic discrete series representation and the principal series representation of a split reductive group $\mathrm {G}$ over a $p$-adic field $F$ as well as a duality between certain sub-representations of these two representations. In this paper, we extend the work in "Morita's Theory for the Symplectic Groups" to split reductive groups. We construct and study the holomorphic discrete series representation and the principal series representation of a split reductive group $\mathrm {G}$ over a $p$-adic field $F$ as well as a duality between certain sub-representations of these two representations. △ Less

Submitted 22 November, 2014; v1 submitted 25 August, 2014; originally announced August 2014.

Comments: 23 pages

Journal ref: J. Number Theory 132 (2012), no. 8, 1664-1685

Theory of Bessel Functions of High Rank - I: Fundamental Bessel Functions

Authors: Zhi Qi

Abstract: In this article we introduce a new category of special functions called fundamental Bessel functions arising from the Voronoi summation formula for $\mathrm{GL}_n (\mathbb{R})$. The fundamental Bessel functions of rank one and two are the oscillatory exponential functions $e^{\pm i x}$ and the classical Bessel functions respectively. The main implements and subjects of our study of fundamental Bes… ▽ More In this article we introduce a new category of special functions called fundamental Bessel functions arising from the Voronoi summation formula for $\mathrm{GL}_n (\mathbb{R})$. The fundamental Bessel functions of rank one and two are the oscillatory exponential functions $e^{\pm i x}$ and the classical Bessel functions respectively. The main implements and subjects of our study of fundamental Bessel functions are their formal integral representations and Bessel equations. △ Less

Submitted 29 January, 2017; v1 submitted 24 August, 2014; originally announced August 2014.

Comments: 58 pages

Existence of multiple solutions to a class of nonlinear Schrödinger system with external sources terms

Authors: Zexin Qi, Zhitao Zhang

Abstract: We study a class of nonlinear schrödinger system with external sources terms as perturbations in order to obtain existence of multiple solutions, this system arises from Bose-Einstein condensates etc..As these external sources terms are positive functions and small in some sense, we use Nehari manifold to get the existence of a positive ground state solution and a positive bound state solution. We study a class of nonlinear schrödinger system with external sources terms as perturbations in order to obtain existence of multiple solutions, this system arises from Bose-Einstein condensates etc..As these external sources terms are positive functions and small in some sense, we use Nehari manifold to get the existence of a positive ground state solution and a positive bound state solution. △ Less

Submitted 17 June, 2014; originally announced June 2014.