Showing 1–50 of 79 results for author: Jiang, D

Colored Vertex Models and Interacting Reverse Plane Partitions

Authors: Jonah Guse, David Jiang, David Keating

Abstract: We study the coupling of pairs of reverse plane partitions of the same shape by assigning a certain local interaction between the reverse plane partitions. We show that they are in bijection with a certain Yang-Baxter integrable colored vertex model. By utilizing the Yang-Baxter equation for this colored vertex model, we are able to compute the generating function for the interacting pairs of reve… ▽ More We study the coupling of pairs of reverse plane partitions of the same shape by assigning a certain local interaction between the reverse plane partitions. We show that they are in bijection with a certain Yang-Baxter integrable colored vertex model. By utilizing the Yang-Baxter equation for this colored vertex model, we are able to compute the generating function for the interacting pairs of reverse plane partitions. We also give a bijection between the coupled pairs of reverse plane partitions with the interaction strength set to zero and a single reverse plane partition of the same shape. △ Less

Submitted 19 May, 2025; originally announced May 2025.

MSC Class: 05A15

On the complementary Arthur representations and unitary dual for p-adic classical groups

Authors: Alexander Hazeltine, Dihua Jiang, Baiying Liu, Chi-Heng Lo, Qing Zhang

Abstract: In [HJLLZ24], we proposed a new conjecture on the structure of the unitary dual of connected reductive groups over non-Archimedean local fields of characteristic zero based on their Arthur representations and verified it for all the known cases on the unitary dual problem. One step towards this conjecture involves the question whether certain complementary Arthur representations are unitary. In th… ▽ More In [HJLLZ24], we proposed a new conjecture on the structure of the unitary dual of connected reductive groups over non-Archimedean local fields of characteristic zero based on their Arthur representations and verified it for all the known cases on the unitary dual problem. One step towards this conjecture involves the question whether certain complementary Arthur representations are unitary. In this paper, we give an explicit characterization of the complementary Arthur representations for symplectic and split odd special orthogonal groups. As applications, we obtain interesting constraints on local components of irreducible self-dual cuspidal automorphic representations of GL(N), especially when N=2,3. △ Less

Submitted 23 May, 2025; v1 submitted 16 May, 2025; originally announced May 2025.

Comments: Comments are welcome

Aligned Multi Objective Optimization

Authors: Yonathan Efroni, Ben Kretzu, Daniel Jiang, Jalaj Bhandari, Zheqing, Zhu, Karen Ullrich

Abstract: To date, the multi-objective optimization literature has mainly focused on conflicting objectives, studying the Pareto front, or requiring users to balance tradeoffs. Yet, in machine learning practice, there are many scenarios where such conflict does not take place. Recent findings from multi-task learning, reinforcement learning, and LLMs training show that diverse related tasks can enhance perf… ▽ More To date, the multi-objective optimization literature has mainly focused on conflicting objectives, studying the Pareto front, or requiring users to balance tradeoffs. Yet, in machine learning practice, there are many scenarios where such conflict does not take place. Recent findings from multi-task learning, reinforcement learning, and LLMs training show that diverse related tasks can enhance performance across objectives simultaneously. Despite this evidence, such phenomenon has not been examined from an optimization perspective. This leads to a lack of generic gradient-based methods that can scale to scenarios with a large number of related objectives. To address this gap, we introduce the Aligned Multi-Objective Optimization framework, propose new algorithms for this setting, and provide theoretical guarantees of their superior performance compared to naive approaches. △ Less

Submitted 3 March, 2025; v1 submitted 19 February, 2025; originally announced February 2025.

Universal Bootstrap for Spectral Statistics: Beyond Gaussian Approximation

Authors: Guoyu Zhang, Dandan Jiang, Fang Yao

Abstract: Spectral analysis plays a crucial role in high-dimensional statistics, where determining the asymptotic distribution of various spectral statistics remains a challenging task. Due to the difficulties of deriving the analytic form, recent advances have explored data-driven bootstrap methods for this purpose. However, widely used Gaussian approximation-based bootstrap methods, such as the empirical… ▽ More Spectral analysis plays a crucial role in high-dimensional statistics, where determining the asymptotic distribution of various spectral statistics remains a challenging task. Due to the difficulties of deriving the analytic form, recent advances have explored data-driven bootstrap methods for this purpose. However, widely used Gaussian approximation-based bootstrap methods, such as the empirical bootstrap and multiplier bootstrap, have been shown to be inconsistent in approximating the distributions of spectral statistics in high-dimensional settings. To address this issue, we propose a universal bootstrap procedure based on the concept of universality from random matrix theory. Our method consistently approximates a broad class of spectral statistics across both high- and ultra-high-dimensional regimes, accommodating scenarios where the dimension-to-sample-size ratio $p/n$ converges to a nonzero constant or diverges to infinity without requiring structural assumptions on the population covariance matrix, such as eigenvalue decay or low effective rank. We showcase this universal bootstrap method for high-dimensional covariance inference. Extensive simulations and a real-world data study support our findings, highlighting the favorable finite sample performance of the proposed universal bootstrap procedure. △ Less

Submitted 1 April, 2025; v1 submitted 27 December, 2024; originally announced December 2024.

On the Linear Speedup of Personalized Federated Reinforcement Learning with Shared Representations

Authors: Guojun Xiong, Shufan Wang, Daniel Jiang, Jian Li

Abstract: Federated reinforcement learning (FedRL) enables multiple agents to collaboratively learn a policy without sharing their local trajectories collected during agent-environment interactions. However, in practice, the environments faced by different agents are often heterogeneous, leading to poor performance by the single policy learned by existing FedRL algorithms on individual agents. In this paper… ▽ More Federated reinforcement learning (FedRL) enables multiple agents to collaboratively learn a policy without sharing their local trajectories collected during agent-environment interactions. However, in practice, the environments faced by different agents are often heterogeneous, leading to poor performance by the single policy learned by existing FedRL algorithms on individual agents. In this paper, we take a further step and introduce a \emph{personalized} FedRL framework (PFedRL) by taking advantage of possibly shared common structure among agents in heterogeneous environments. Specifically, we develop a class of PFedRL algorithms named PFedRL-Rep that learns (1) a shared feature representation collaboratively among all agents, and (2) an agent-specific weight vector personalized to its local environment. We analyze the convergence of PFedTD-Rep, a particular instance of the framework with temporal difference (TD) learning and linear representations. To the best of our knowledge, we are the first to prove a linear convergence speedup with respect to the number of agents in the PFedRL setting. To achieve this, we show that PFedTD-Rep is an example of the federated two-timescale stochastic approximation with Markovian noise. Experimental results demonstrate that PFedTD-Rep, along with an extension to the control setting based on deep Q-networks (DQN), not only improve learning in heterogeneous settings, but also provide better generalization to new environments. △ Less

Submitted 22 November, 2024; originally announced November 2024.

Arthur representations and unitary dual for classical groups

Authors: Alexander Hazeltine, Dihua Jiang, Baiying Liu, Chi-Heng Lo, Qing Zhang

Abstract: In this paper, we propose a new conjecture (Conjecture 1.1) on the structure of the unitary dual by means of the Arthur representations for general reductive algebraic groups defined over any non-Archimedean local field of characteristic zero. We also propose a conjecture (Conjecture 1.2) refining Conjecture 1.1 for representations of good parity. The relations among the two conjectures and specia… ▽ More In this paper, we propose a new conjecture (Conjecture 1.1) on the structure of the unitary dual by means of the Arthur representations for general reductive algebraic groups defined over any non-Archimedean local field of characteristic zero. We also propose a conjecture (Conjecture 1.2) refining Conjecture 1.1 for representations of good parity. The relations among the two conjectures and special families of representations are explained in Figure 1. The main results include a partial approval of Conjecture 1.1 and the verification of Conjectures 1.1 and 1.2 for representations of corank at most 3 for symplectic or split odd special orthogonal groups, based on Tadi{ć}'s classification (Theorem 1.4). To prove the main results, we develop new algorithms to determine whether a given irreducible representation is of Arthur type and give an inductive approach to classify the family of unitary representations that are of Arthur type for classical groups. We explicate this approach towards the unitary dual problem for representations of corank 3 and several new families of representations. △ Less

Submitted 16 May, 2025; v1 submitted 15 October, 2024; originally announced October 2024.

Comments: Comments are welcome

On the Braverman-Kazhdan-Ngo Triples

Authors: Dihua Jiang, Zhaolin Li, Guodong Xi

Abstract: In the Braverman-Kazhdan proposal and certain refinement of Ngo for automorphic $L$-functions, the reductive group $G$ and the representations $ρ$ of the Langlands dual group $G^\vee$ are taken with certain assumptions. We introduce the notion of the Braverman-Kazhdan-Ngo triples $(G,G^\vee,ρ)$ and show that for general automorphic $L$-functions, it is enough to consider the Braverman-Kazhdan-Ngo… ▽ More In the Braverman-Kazhdan proposal and certain refinement of Ngo for automorphic $L$-functions, the reductive group $G$ and the representations $ρ$ of the Langlands dual group $G^\vee$ are taken with certain assumptions. We introduce the notion of the Braverman-Kazhdan-Ngo triples $(G,G^\vee,ρ)$ and show that for general automorphic $L$-functions, it is enough to consider the Braverman-Kazhdan-Ngo triples. We also verify that for a given Braverman-Kazhdan-Ngo triple, the reductive monoid constructed from the Vinberg method and that constructed from the Putcha-Renner method are isomorphic. △ Less

Submitted 17 October, 2024; v1 submitted 14 October, 2024; originally announced October 2024.

Stochastic generalized Kolmogorov systems with small diffusion: II. Explicit approximations for periodic solutions in distribution

Authors: Baoquan Zhou, Hao Wang, Tianxu Wang, Daqing Jiang

Abstract: This paper is Part II of a two-part series on coexistence states study in stochastic generalized Kolmogorov systems under small diffusion. Part I provided a complete characterization for approximating invariant probability measures and density functions, while here, we focus on explicit approximations for periodic solutions in distribution. Two easily implementable methods are introduced: periodic… ▽ More This paper is Part II of a two-part series on coexistence states study in stochastic generalized Kolmogorov systems under small diffusion. Part I provided a complete characterization for approximating invariant probability measures and density functions, while here, we focus on explicit approximations for periodic solutions in distribution. Two easily implementable methods are introduced: periodic normal approximation (PNOA) and periodic log-normal approximation (PLNA). These methods offer unified algorithms to calculate the mean and covariance matrix, and verify positive definiteness, without additional constraints like non-degenerate diffusion. Furthermore, we explore essential properties of the covariance matrix, particularly its connection under periodic and non-periodic drift coefficients. Our new approximation methods significantly relax the minimal criteria for positive definiteness of the solution of the discrete-type Lyapunov equation. Some numerical experiments are provided to support our theoretical results. △ Less

Submitted 13 July, 2024; originally announced July 2024.

Comments: 39 pages, 5 figures

MSC Class: 37H05; 37H30; 45M15; 60H10

Inference on testing the number of spikes in a high-dimensional generalized spiked Fisher matrix

Authors: Rui Wang, Dandan Jiang

Abstract: The spiked Fisher matrix is a significant topic for two-sample problems in multivariate statistical inference. This paper is dedicated to testing the number of spikes in a high-dimensional generalized spiked Fisher matrix that relaxes the Gaussian population assumption and the diagonal constraints on the population covariance matrices. First, we propose a general test statistic predicated on parti… ▽ More The spiked Fisher matrix is a significant topic for two-sample problems in multivariate statistical inference. This paper is dedicated to testing the number of spikes in a high-dimensional generalized spiked Fisher matrix that relaxes the Gaussian population assumption and the diagonal constraints on the population covariance matrices. First, we propose a general test statistic predicated on partial linear spectral statistics to test the number of spikes, then establish the central limit theorem (CLT) for this statistic under the null hypothesis. Second, we apply the CLT to address two statistical problems: variable selection in high-dimensional linear regression and change point detection. For each test problem, we construct new statistics and derive their asymptotic distributions under the null hypothesis. Finally, simulations and empirical analysis are conducted to demonstrate the remarkable effectiveness and generality of our proposed methods across various scenarios. △ Less

Submitted 25 February, 2025; v1 submitted 7 January, 2024; originally announced January 2024.

MSC Class: 62H15; 62H10

Tiling Ferrers Diagrams

Authors: David Jiang

Abstract: We will show that a necessary and sufficient condition for a Ferrers board (or Young Diagrams) to be fully tileable with 1x2 dominoes requires the board to be 2-colorable such that no color is adjacent to its own color using both induction and a graph theory approach. We will walk through all prerequisite knowledge and go through the failed attempts we tried while also providing supplementary exer… ▽ More We will show that a necessary and sufficient condition for a Ferrers board (or Young Diagrams) to be fully tileable with 1x2 dominoes requires the board to be 2-colorable such that no color is adjacent to its own color using both induction and a graph theory approach. We will walk through all prerequisite knowledge and go through the failed attempts we tried while also providing supplementary exercises that fit the topics. Plenty of background content is included, so even if you don't know much about the subject, it should still be readable. If you do know most of the background content, feel free to skip around. △ Less

Submitted 9 December, 2023; originally announced December 2023.

Arithmetic Branching Law and generic $L$-packets

Authors: Cheng Chen, Dihua Jiang, Dongwen Liu, Lei Zhang

Abstract: Let $G$ be a classical group defined over a local field $F$ of characteristic zero. For any irreducible admissible representation $π$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean, we extend the study of spectral decomposition of local descents in [JZ18] for special orthogonal groups over non-archimedean local fields to more general classical groups over any local field $F$.… ▽ More Let $G$ be a classical group defined over a local field $F$ of characteristic zero. For any irreducible admissible representation $π$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean, we extend the study of spectral decomposition of local descents in [JZ18] for special orthogonal groups over non-archimedean local fields to more general classical groups over any local field $F$. In particular, if $π$ has a generic local $L$-parameter, we introduce the spectral first occurrence index $\mathfrak{f}_{\mathfrak{s}}(π)$ and the arithmetic first occurrence index $\mathfrak{f}_{\mathfrak{a}}(π)$ of $π$ and prove in Theorem 1.4 that $\mathfrak{f}_{\mathfrak{s}}(π) = \mathfrak{f}_{\mathfrak{a}}(π)$. Based on the theory of consecutive descents of enhanced $L$-parameters developed in [JLZ22], we are able to show in Theorem 1.5 that the first descent spectrum consists of all discrete series representations, which determines explicitly the branching decomposition problem by means of the relevant arithmetic data and extends the main result ([JZ18, Theorem 1.7]) to the great generality. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: 31 pages, all comments welcomed. arXiv admin note: text overlap with arXiv:2207.04700

The Voronoi Summation Formula for $\mathrm{GL}_n$ and the Godement-Jacquet Kernels

Authors: Dihua Jiang, Zhaolin Li

Abstract: Let $\mathbb{A}$ be the ring of adeles of a number field $k$ and $π$ be an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A})$. In the previous work of the first author with Zhilin Luo, they introduced $π$-Schwartz space $\mathcal{S}_π(\mathbb{A}^\times)$ and $π$-Fourier transform $\mathcal{F}_{π,ψ}$ with a non-trivial additive character $ψ$ of $k\backslash\mathbb{A}$, p… ▽ More Let $\mathbb{A}$ be the ring of adeles of a number field $k$ and $π$ be an irreducible cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A})$. In the previous work of the first author with Zhilin Luo, they introduced $π$-Schwartz space $\mathcal{S}_π(\mathbb{A}^\times)$ and $π$-Fourier transform $\mathcal{F}_{π,ψ}$ with a non-trivial additive character $ψ$ of $k\backslash\mathbb{A}$, proved the associated Poisson summation formula over $\mathbb{A}^\times$, based on the Godement-Jacquet theory for the standard $L$-functions $L(s,π)$, and provided interesting applications. In this paper, in addition to the further development of the local theory, we found two global applications. First, we find a Poisson summation formula proof of the Voronoi summation formula for $\mathrm{GL}_n$ over a number field, which was first proved by A. Ichino and N. Templier. Then we introduce the notion of the Godement-Jacquet kernels $H_{π,s}$ and their dual kernels $K_{π,s}$ for any irreducible cuspidal automorphic representation $π$ of $\mathrm{GL}_n(\mathbb{A})$ and show that $H_{π,s}$ and $K_{π,1-s}$ are related by the nonlinear $π_\infty$-Fourier transform if and only if $s\in\mathbb{C}$ is a zero of $L_f(s,π_f)=0$, the finite part of the standard automorphic $L$-function $L(s,π)$, which are the $(\mathrm{GL}_n,π)$-versions of a Clozel's Theorem, where the Tate kernel with $n=1$ and $π$ the trivial character are considered. △ Less

Submitted 6 January, 2024; v1 submitted 4 June, 2023; originally announced June 2023.

The Uniqueness of the Ginzburg-Rallis Model: the Non-Archimedean Case

Authors: Dihua Jiang, Zhaolin Li, Guodong Xi

Abstract: We prove the uniqueness of the Ginzburg-Rallis models over $p$-adic local fields of characteristic zero, which completes the local uniqueness problem for the Ginzburg-Rallis models starting from the work of C.-F. Nien in \cite{MR2709083} that proves the non-split case, and the work of D. Jiang, B. Sun and C. Zhu in \cite{MR2763736} that proves the general case over Archimedean local fields. Our pr… ▽ More We prove the uniqueness of the Ginzburg-Rallis models over $p$-adic local fields of characteristic zero, which completes the local uniqueness problem for the Ginzburg-Rallis models starting from the work of C.-F. Nien in \cite{MR2709083} that proves the non-split case, and the work of D. Jiang, B. Sun and C. Zhu in \cite{MR2763736} that proves the general case over Archimedean local fields. Our proof extends the strategy of \cite{MR2763736} to the $p$-adic case with the help of the refined structure of the wavefront sets of $\mathfrak {z}$-finite distributions as developed by A. Aizenbud, D. Gourevitch and E. Sayag in \cite{MR3406530}. △ Less

Submitted 26 May, 2023; originally announced May 2023.

Global Convergence of Deep Galerkin and PINNs Methods for Solving Partial Differential Equations

Authors: Deqing Jiang, Justin Sirignano, Samuel N. Cohen

Abstract: Numerically solving high-dimensional partial differential equations (PDEs) is a major challenge. Conventional methods, such as finite difference methods, are unable to solve high-dimensional PDEs due to the curse-of-dimensionality. A variety of deep learning methods have been recently developed to try and solve high-dimensional PDEs by approximating the solution using a neural network. In this pap… ▽ More Numerically solving high-dimensional partial differential equations (PDEs) is a major challenge. Conventional methods, such as finite difference methods, are unable to solve high-dimensional PDEs due to the curse-of-dimensionality. A variety of deep learning methods have been recently developed to try and solve high-dimensional PDEs by approximating the solution using a neural network. In this paper, we prove global convergence for one of the commonly-used deep learning algorithms for solving PDEs, the Deep Galerkin Method (DGM). DGM trains a neural network approximator to solve the PDE using stochastic gradient descent. We prove that, as the number of hidden units in the single-layer network goes to infinity (i.e., in the ``wide network limit"), the trained neural network converges to the solution of an infinite-dimensional linear ordinary differential equation (ODE). The PDE residual of the limiting approximator converges to zero as the training time $\rightarrow \infty$. Under mild assumptions, this convergence also implies that the neural network approximator converges to the solution of the PDE. A closely related class of deep learning methods for PDEs is Physics Informed Neural Networks (PINNs). Using the same mathematical techniques, we can prove a similar global convergence result for the PINN neural network approximators. Both proofs require analyzing a kernel function in the limit ODE governing the evolution of the limit neural network approximator. A key technical challenge is that the kernel function, which is a composition of the PDE operator and the neural tangent kernel (NTK) operator, lacks a spectral gap, therefore requiring a careful analysis of its properties. △ Less

Submitted 10 May, 2023; originally announced May 2023.

Faster Reinforcement Learning by Freezing Slow States

Authors: Yijia Wang, Daniel R. Jiang

Abstract: We study infinite horizon Markov decision processes (MDPs) with "fast-slow" structure, where some state variables evolve rapidly ("fast states") while others change more gradually ("slow states"). Such structure is common in real-world problems where sequential decisions need to be made at high frequencies over long horizons, where slowly evolving information also influences optimal decisions. Exa… ▽ More We study infinite horizon Markov decision processes (MDPs) with "fast-slow" structure, where some state variables evolve rapidly ("fast states") while others change more gradually ("slow states"). Such structure is common in real-world problems where sequential decisions need to be made at high frequencies over long horizons, where slowly evolving information also influences optimal decisions. Examples include inventory control under slowly changing demand, or dynamic pricing with gradually shifting consumer behavior. Modeling the problem at the natural decision frequency leads to MDPs with discount factors close to one, making them computationally challenging. We propose a novel approximation strategy that "freezes" slow states during a phase of lower-level planning, solving finite-horizon MDPs conditioned on a fixed slow state, and then applying value iteration to an auxiliary upper-level MDP that evolves on a slower timescale. Freezing states for short periods of time leads to easier-to-solve lower-level problems, while a slower upper-level timescale allows for a more favorable discount factor. On the theoretical side, we analyze the regret incurred by our frozen-state approach, which leads to simple insights on how to trade off computational budget versus regret. Empirically, we demonstrate that frozen-state methods produce high-quality policies with significantly less computation, and we show that simply omitting slow states is often a poor heuristic. △ Less

Submitted 7 April, 2025; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: 66 pages, 10 figures

Large deviations for the empirical measure and empirical flow of Markov renewal processes with a countable state space

Authors: Chen Jia, Da-quan Jiang, Bingjie Wu

Abstract: Here we propose the Donsker-Varadhan-type compactness conditions and prove the joint large deviation principle for the empirical measure and empirical flow of Markov renewal processes (semi-Markov processes) with a countable state space, generalizing the relevant results for continuous-time Markov chains with a countable state space obtained in [Ann. Inst. H. Poincaré Probab. Statist. 51, 867-900… ▽ More Here we propose the Donsker-Varadhan-type compactness conditions and prove the joint large deviation principle for the empirical measure and empirical flow of Markov renewal processes (semi-Markov processes) with a countable state space, generalizing the relevant results for continuous-time Markov chains with a countable state space obtained in [Ann. Inst. H. Poincaré Probab. Statist. 51, 867-900 (2015)] and [Stoch. Proc. Appl. 125, 2786-2819 (2015)], as well as the relevant results for Markov renewal processes with a finite state space obtained in [Adv. Appl. Probab. 48, 648-671 (2016)]. In particular, our results hold when the flow space is endowed with either the bounded weak* topology or the strong $L^1$ topology. Even for continuous-time Markov chains, our compactness conditions are weaker than the ones proposed in previous papers. Furthermore, under some stronger conditions, we obtain the explicit expression of the marginal rate function of the empirical flow. △ Less

Submitted 25 October, 2022; originally announced October 2022.

Arithmetic Wavefront Sets and Generic $L$-packets

Authors: Dihua Jiang, Dongwen Liu, Lei Zhang

Abstract: Let $G$ be a classical group defined over a local field $F$ of characteristic zero. Let $π$ be an irreducible admissible representation $π$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean. If $π$ has a generic local $L$-parameter, we define the arithmetic wavefront set ${\rm WF_{ari}}(π)$ of $π$, which is a subset of $F$-rational nilpotent orbits of the Lie algebra… ▽ More Let $G$ be a classical group defined over a local field $F$ of characteristic zero. Let $π$ be an irreducible admissible representation $π$ of $G(F)$, which is of Casselman-Wallach type if $F$ is archimedean. If $π$ has a generic local $L$-parameter, we define the arithmetic wavefront set ${\rm WF_{ari}}(π)$ of $π$, which is a subset of $F$-rational nilpotent orbits of the Lie algebra $\mathfrak{g}(F)$ of $G(F)$, by means of the arithmetic structures of the enhanced $L$-parameter $(\varphi,χ)$ of $π$. Those arithmetic structures are discovered by using our method of consecutive descents of enhanced $L$-parameters, based on the rationality of the local Langlands correspondence and the local Gan-Gross-Prasad conjecture. We study the basic structure of ${\rm WF_{ari}(π)}$ and prove that it is an invariant of $π$ (Theorem 5.10). The basic structures of ${\rm WF_{ari}(π)^{max}}$ are described by Conjecture 1.3, which asserts that the $F$-rational structure of ${\rm WF_{ari}(π)^{max}}$ can be completely determined by our method of consecutive descents of enhanced $L$-parameters. When $F$ is archimedean, Theorems 1.4 and 1.5 confirm much refined $F$-rational structure on ${\rm WF_{ari}(π)^{max}}$ than what Conjecture 1.3 says. Based on the local Langlands reciprocity, Conjecture 1.2 asserts that the wavefront sets on the $L$-parameter side should be closed related to those on the representation side, namely, \[ {\rm WF_{wm}(π)^{max}}={\rm WF_{ari}(π)^{max}}={\rm WF_{tr}(π)^{max}} \] when $π$ has a generic local $L$-parameter, where the algebraic wavefront set ${\rm WF_{wm}}(π)$ is defined by Moeglin and Waldspurger [MW87] using generalized Whittaker models, and the analytic wavefront set ${\rm WF_{tr}}(π)$ is defined by Howe [H81, Hd85] using distribution characters, and also by [H74, HC78, BV80]. Conjecture 1.2 is verified for families of interesting cases. △ Less

Submitted 21 August, 2022; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 89 pages; revised the main conjectures

MSC Class: 11F70; 20G25; 22E50

Neural Q-learning for solving PDEs

Authors: Samuel N. Cohen, Deqing Jiang, Justin Sirignano

Abstract: Solving high-dimensional partial differential equations (PDEs) is a major challenge in scientific computing. We develop a new numerical method for solving elliptic-type PDEs by adapting the Q-learning algorithm in reinforcement learning. Our "Q-PDE" algorithm is mesh-free and therefore has the potential to overcome the curse of dimensionality. Using a neural tangent kernel (NTK) approach, we prove… ▽ More Solving high-dimensional partial differential equations (PDEs) is a major challenge in scientific computing. We develop a new numerical method for solving elliptic-type PDEs by adapting the Q-learning algorithm in reinforcement learning. Our "Q-PDE" algorithm is mesh-free and therefore has the potential to overcome the curse of dimensionality. Using a neural tangent kernel (NTK) approach, we prove that the neural network approximator for the PDE solution, trained with the Q-PDE algorithm, converges to the trajectory of an infinite-dimensional ordinary differential equation (ODE) as the number of hidden units $\rightarrow \infty$. For monotone PDE (i.e. those given by monotone operators, which may be nonlinear), despite the lack of a spectral gap in the NTK, we then prove that the limit neural network, which satisfies the infinite-dimensional ODE, converges in $L^2$ to the PDE solution as the training time $\rightarrow \infty$. More generally, we can prove that any fixed point of the wide-network limit for the Q-PDE algorithm is a solution of the PDE (not necessarily under the monotone condition). The numerical performance of the Q-PDE algorithm is studied for several elliptic PDEs. △ Less

Submitted 24 June, 2023; v1 submitted 31 March, 2022; originally announced March 2022.

MSC Class: 65N12; 62M45; 37N30; 60H30

Invariance principle and CLT for the spiked eigenvalues of large-dimensional Fisher matrices and applications

Authors: Dandan Jiang, Zhiqiang Hou, Zhidong Bai, Runze Li

Abstract: This paper aims to derive asymptotical distributions of the spiked eigenvalues of the large-dimensional spiked Fisher matrices without Gaussian assumption and the restrictive assumptions on covariance matrices. We first establish invariance principle for the spiked eigenvalues of the Fisher matrix. That is, we show that the limiting distributions of the spiked eigenvalues are invariant over a larg… ▽ More This paper aims to derive asymptotical distributions of the spiked eigenvalues of the large-dimensional spiked Fisher matrices without Gaussian assumption and the restrictive assumptions on covariance matrices. We first establish invariance principle for the spiked eigenvalues of the Fisher matrix. That is, we show that the limiting distributions of the spiked eigenvalues are invariant over a large class of population distributions satisfying certain conditions. Using the invariance principle, we further established a central limit theorem (CLT) for the spiked eigenvalues. As some interesting applications, we use the CLT to derive the power functions of Roy Maximum root test for linear hypothesis in linear models and the test in signal detection. We conduct some Monte Carlo simulation to compare the proposed test with existing ones. △ Less

Submitted 27 March, 2022; originally announced March 2022.

Comments: 19 pages; 3 figures. arXiv admin note: text overlap with arXiv:1904.09236

Multi-Step Budgeted Bayesian Optimization with Unknown Evaluation Costs

Authors: Raul Astudillo, Daniel R. Jiang, Maximilian Balandat, Eytan Bakshy, Peter I. Frazier

Abstract: Bayesian optimization (BO) is a sample-efficient approach to optimizing costly-to-evaluate black-box functions. Most BO methods ignore how evaluation costs may vary over the optimization domain. However, these costs can be highly heterogeneous and are often unknown in advance. This occurs in many practical settings, such as hyperparameter tuning of machine learning algorithms or physics-based simu… ▽ More Bayesian optimization (BO) is a sample-efficient approach to optimizing costly-to-evaluate black-box functions. Most BO methods ignore how evaluation costs may vary over the optimization domain. However, these costs can be highly heterogeneous and are often unknown in advance. This occurs in many practical settings, such as hyperparameter tuning of machine learning algorithms or physics-based simulation optimization. Moreover, those few existing methods that acknowledge cost heterogeneity do not naturally accommodate a budget constraint on the total evaluation cost. This combination of unknown costs and a budget constraint introduces a new dimension to the exploration-exploitation trade-off, where learning about the cost incurs the cost itself. Existing methods do not reason about the various trade-offs of this problem in a principled way, leading often to poor performance. We formalize this claim by proving that the expected improvement and the expected improvement per unit of cost, arguably the two most widely used acquisition functions in practice, can be arbitrarily inferior with respect to the optimal non-myopic policy. To overcome the shortcomings of existing approaches, we propose the budgeted multi-step expected improvement, a non-myopic acquisition function that generalizes classical expected improvement to the setting of heterogeneous and unknown evaluation costs. Finally, we show that our acquisition function outperforms existing methods in a variety of synthetic and real problems. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: In Advances in Neural Information Processing Systems, 2021

Certain Fourier Operators and their Associated Poisson Summation Formulae on $\mathrm{GL}_1$

Authors: Dihua Jiang, Zhilin Luo

Abstract: In this paper, we explore a possibility to utilize harmonic analysis on $\GL_1$ to understand Langlands automorphic $L$-functions in general, as a vast generalization of the pioneering work of J. Tate. For a split reductive group $G$ over a number field $k$, let $G^\vee(\BC)$ be its complex dual group and $ρ$ be an $n$-dimensional complex representation of $G^\vee(\BC)$. For any irreducible cuspid… ▽ More In this paper, we explore a possibility to utilize harmonic analysis on $\GL_1$ to understand Langlands automorphic $L$-functions in general, as a vast generalization of the pioneering work of J. Tate. For a split reductive group $G$ over a number field $k$, let $G^\vee(\BC)$ be its complex dual group and $ρ$ be an $n$-dimensional complex representation of $G^\vee(\BC)$. For any irreducible cuspidal automorphic representation $\sig$ of $G(\BA)$, where $\BA$ is the ring of adeles of $k$, we introduce the space $\CS_{\sig,ρ}(\BA^\times)$ of $(\sig,ρ)$-Schwartz functions on $\BA^\times$ and $(\sig,ρ)$-Fourier operator $\CF_{\sig,ρ,ψ}$ that takes $\CS_{\sig,ρ}(\BA^\times)$ to $\CS_{\wt{\sig},ρ}(\BA^\times)$, where $\wt{\sig}$ is the contragredient of $\sig$. By assuming the local Langlands functoriality for the pair $(G,ρ)$, we show that the $(\sig,ρ)$-theta functions \[ Θ_{\sig,ρ}(x,φ):=\sum_{\alp\in k^\times}φ(\alp x) \] converges absolutely for all $φ\in\CS_{\sig,ρ}(\BA^\times)$, and state conjectures on $(σ,ρ)$-Poisson summation formula on $\GL_1$. Then we prove conjectures when $G=\GL_n$ and $ρ$ is the standard representation of $\GL_n(\BC)$ . The proof uses substantially the local theory of Godement-Jacquet for the standard $L$-functions of $\GL_n$ and the Poisson summation formula for the classical Fourier transform on affine spaces. As an application, we provide a spectral interpretation of the critical zeros of the standard $L$-functions $L(s,π\timesχ)$ for any irreducible cuspidal automorphic representation $π$ of $\GL_n(\BA)$ and idele class character $χ$ of $k$, which is a reformulation in the adelic framework of the work of A. Connes and is an extension from the Hecke $L$-functions $L(s,χ)$ to the automorphic $L$-functions $L(s,π\timesχ)$. △ Less

Submitted 27 September, 2021; v1 submitted 8 August, 2021; originally announced August 2021.

Comments: Comments are welcome

MSC Class: Primary 11F66; 43A32; 46S10; Secondary 11F70; 22E50; 43A80

Journal ref: Pacific J. Math. 326 (2023) 301-372

Certain Fourier Operators on $\mathrm{GL}_1$ and Local Langlands Gamma functions

Authors: Dihua Jiang, Zhilin Luo

Abstract: For a split reductive group $G$ over a number field $k$, let $ρ$ be an $n$-dimensional complex representation of its complex dual group $G^\vee(\mathbb{C})$. For any irreducible cuspidal automorphic representation $σ$ of $G(\mathbb{A})$, where $\mathbb{A}$ is the ring of adeles of $k$, in \cite{JL21}, the authors introduce the $(σ,ρ)$-Schwartz space $\mathcal{S}_{σ,ρ}(\mathbb{A}^\times)$ and… ▽ More For a split reductive group $G$ over a number field $k$, let $ρ$ be an $n$-dimensional complex representation of its complex dual group $G^\vee(\mathbb{C})$. For any irreducible cuspidal automorphic representation $σ$ of $G(\mathbb{A})$, where $\mathbb{A}$ is the ring of adeles of $k$, in \cite{JL21}, the authors introduce the $(σ,ρ)$-Schwartz space $\mathcal{S}_{σ,ρ}(\mathbb{A}^\times)$ and $(σ,ρ)$-Fourier operator $\mathcal{F}_{σ,ρ}$, and study the $(σ,ρ,ψ)$-Poisson summation formula on $\mathrm{GL}_1$, under the assumption that the local Langlands functoriality holds for the pair $(G,ρ)$ at all local places of $k$, where $ψ$ is a non-trivial additive character of $k\backslash\mathbb{A}$. Such general formulae on $\mathrm{GL}_1$, as a vast generalization of the classical Poisson summation formula, are expected to be responsible for the Langlands conjecture (\cite{L70}) on global functional equation for the automorphic $L$-functions $L(s,σ,ρ)$. In order to understand such Poisson summation formulae, we continue with \cite{JL21} and develop a further local theory related to the $(σ,ρ)$-Schwartz space $\mathcal{S}_{σ,ρ}(\mathbb{A}^\times)$ and $(σ,ρ)$-Fourier operator $\mathcal{F}_{σ,ρ}$. More precisely, over any local field $k_ν$ of $k$, we define distribution kernel functions $k_{σ_ν,ρ,ψ_ν}(x)$ on $\mathrm{GL}_1$ that represent the $(σ_ν,ρ)$-Fourier operators $\mathcal{F}_{σ_ν,ρ,ψ_ν}$ as convolution integral operators, i.e. generalized Hankel transforms, and the local Langlands $γ$-functions $γ(s,σ_ν,ρ,ψ_ν)$ as Mellin transform of the kernel function. As consequence, we show that any local Langlands $γ$-functions are the gamma functions in the sense of Gelfand, Graev, and Piatetski-Shapiro in \cite{GGPS}. △ Less

Submitted 20 April, 2022; v1 submitted 8 August, 2021; originally announced August 2021.

Comments: Correct a mistake in Proposition 4.3. Comments welcome

MSC Class: Primary 11F66; 43A32; 46S10; Secondary 11F70; 22E50; 43A80

Journal ref: Pacific J. Math. 318 (2022) 339-374

On Wave Front Sets of Global Arthur Packets of Classical Groups: Upper Bound

Authors: Dihua Jiang, Baiying Liu

Abstract: We prove a conjecture of the first-named author ([J14]) on the upper bound Fourier coefficients of automorphic forms in Arthur packets of all classical groups over any number field. This conjecture generalizes the global version of the local tempered $L$-packet conjecture of F. Shahidi ([Sh90] and [Sh10]). We prove a conjecture of the first-named author ([J14]) on the upper bound Fourier coefficients of automorphic forms in Arthur packets of all classical groups over any number field. This conjecture generalizes the global version of the local tempered $L$-packet conjecture of F. Shahidi ([Sh90] and [Sh10]). △ Less

Submitted 30 December, 2021; v1 submitted 30 July, 2021; originally announced July 2021.

Comments: 49 pages. Comments are welcome. arXiv admin note: text overlap with arXiv:1309.6239

Uniqueness for fractional nonsymmetric diffusion equations and an application to an inverse source problem

Authors: Daijun Jiang, Zhiyuan Li, Matthieu Pauron, Masahiro Yamamoto

Abstract: In this paper, we discuss the uniqueness for solution to time-fractional diffusion equation $\partial_t^α(u-u_0) + Au=0$ with the homogeneous Dirichlet boundary condition, where an elliptic operator $-A$ is not necessarily symmetric. We prove that the solution is identically zero if its normal derivative with respect to the operator $A$ vanishes on an arbitrary small part of the spatial domain ove… ▽ More In this paper, we discuss the uniqueness for solution to time-fractional diffusion equation $\partial_t^α(u-u_0) + Au=0$ with the homogeneous Dirichlet boundary condition, where an elliptic operator $-A$ is not necessarily symmetric. We prove that the solution is identically zero if its normal derivative with respect to the operator $A$ vanishes on an arbitrary small part of the spatial domain over a time interval. The proof is based on the Laplace transform and the spectral decomposition, and is valid for more general time-fractional partial differential equations, including those involving non symmetric operators. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Efficient Nonmyopic Bayesian Optimization via One-Shot Multi-Step Trees

Authors: Shali Jiang, Daniel R. Jiang, Maximilian Balandat, Brian Karrer, Jacob R. Gardner, Roman Garnett

Abstract: Bayesian optimization is a sequential decision making framework for optimizing expensive-to-evaluate black-box functions. Computing a full lookahead policy amounts to solving a highly intractable stochastic dynamic program. Myopic approaches, such as expected improvement, are often adopted in practice, but they ignore the long-term impact of the immediate decision. Existing nonmyopic approaches ar… ▽ More Bayesian optimization is a sequential decision making framework for optimizing expensive-to-evaluate black-box functions. Computing a full lookahead policy amounts to solving a highly intractable stochastic dynamic program. Myopic approaches, such as expected improvement, are often adopted in practice, but they ignore the long-term impact of the immediate decision. Existing nonmyopic approaches are mostly heuristic and/or computationally expensive. In this paper, we provide the first efficient implementation of general multi-step lookahead Bayesian optimization, formulated as a sequence of nested optimization problems within a multi-step scenario tree. Instead of solving these problems in a nested way, we equivalently optimize all decision variables in the full tree jointly, in a ``one-shot'' fashion. Combining this with an efficient method for implementing multi-step Gaussian process ``fantasization,'' we demonstrate that multi-step expected improvement is computationally tractable and exhibits performance superior to existing methods on a wide range of benchmarks. △ Less

Submitted 28 June, 2020; originally announced June 2020.

Lookahead-Bounded Q-Learning

Authors: Ibrahim El Shar, Daniel R. Jiang

Abstract: We introduce the lookahead-bounded Q-learning (LBQL) algorithm, a new, provably convergent variant of Q-learning that seeks to improve the performance of standard Q-learning in stochastic environments through the use of ``lookahead'' upper and lower bounds. To do this, LBQL employs previously collected experience and each iteration's state-action values as dual feasible penalties to construct a se… ▽ More We introduce the lookahead-bounded Q-learning (LBQL) algorithm, a new, provably convergent variant of Q-learning that seeks to improve the performance of standard Q-learning in stochastic environments through the use of ``lookahead'' upper and lower bounds. To do this, LBQL employs previously collected experience and each iteration's state-action values as dual feasible penalties to construct a sequence of sampled information relaxation problems. The solutions to these problems provide estimated upper and lower bounds on the optimal value, which we track via stochastic approximation. These quantities are then used to constrain the iterates to stay within the bounds at every iteration. Numerical experiments on benchmark problems show that LBQL exhibits faster convergence and more robustness to hyperparameters when compared to standard Q-learning and several related techniques. Our approach is particularly appealing in problems that require expensive simulations or real-world interactions. △ Less

Submitted 28 June, 2020; originally announced June 2020.

Comments: To appear in proceedings of the 37th International Conference on Machine Learning

Harmonic Analysis and Gamma Functions on Symplectic Groups

Authors: Dihua Jiang, Zhilin Luo, Lei Zhang

Abstract: Over a $p$-adic local field $F$ of characteristic zero, we develop a new type of harmonic analysis on an extended symplectic group $G={\mathbb G}_m\times{\mathrm Sp}_{2n}$. It is associated to the Langlands $γ$-functions attached to any irreducible admissible representations $χ\otimesπ$ of $G(F)$ and the standard representation $ρ$ of the dual group $G^\vee({\mathbb C})$, and confirms a series of… ▽ More Over a $p$-adic local field $F$ of characteristic zero, we develop a new type of harmonic analysis on an extended symplectic group $G={\mathbb G}_m\times{\mathrm Sp}_{2n}$. It is associated to the Langlands $γ$-functions attached to any irreducible admissible representations $χ\otimesπ$ of $G(F)$ and the standard representation $ρ$ of the dual group $G^\vee({\mathbb C})$, and confirms a series of the conjectures in the local theory of the Braverman-Kazhdan proposal for the case under consideration. Meanwhile, we develop a new type of harmonic analysis on ${\rm GL}_1(F)$, which is associated to a $γ$-function $β_ψ(χ_s)$ (a product of $n+1$ certain abelian $γ$-functions). Our work on ${\rm GL}_1(F)$ plays an indispensable role in the development of our work on $G(F)$. These two types of harmonic analyses both specialize to the well-known local theory developed in Tate's thesis when $n=0$. The approach is to use the compactification of ${\rm Sp}_{2n}$ in the Grassmannian variety of ${\rm Sp}_{4n}$, with which we are able to utilize the well developed local theory of Piatetski-Shapiro and Rallis and many other works) on the doubling local zeta integrals for the standard $L$-functions of ${\rm Sp}_{2n}$. The method can be viewed as an extension of the work of Godement-Jacquet for the standard $L$-function of ${\rm GL}_n$ and is expected to work for all classical groups. We will consider the archimedean local theory and the global theory in our future work. △ Less

Submitted 1 September, 2021; v1 submitted 15 June, 2020; originally announced June 2020.

Comments: 99 pages

MSC Class: Primary 11F66; 43A32; 46S10; Secondary 11F70; 22E50; 43A80

The limits of the sample spiked eigenvalues for a high-dimensional generalized Fisher matrix and its applications

Authors: Dandan Jiang, Jiang Hu, Zhiqiang Hou

Abstract: A generalized spiked Fisher matrix is considered in this paper. We establish a criterion for the description of the support of the limiting spectral distribution of high-dimensional generalized Fisher matrix and study the almost sure limits of the sample spiked eigenvalues where the population covariance matrices are arbitrary which successively removed an unrealistic condition posed in the previo… ▽ More A generalized spiked Fisher matrix is considered in this paper. We establish a criterion for the description of the support of the limiting spectral distribution of high-dimensional generalized Fisher matrix and study the almost sure limits of the sample spiked eigenvalues where the population covariance matrices are arbitrary which successively removed an unrealistic condition posed in the previous works, that is, the covariance matrices are assumed to be diagonal or diagonal block-wise structure. In addition, we also give a consistent estimator of the population spiked eigenvalues. A series of simulations are conducted that support the theoretical results and illustrate the accuracy of our estimators. △ Less

Submitted 5 December, 2019; originally announced December 2019.

Comments: 21 pages, 36 figures

Convergence Rates of Tikhonov Regularizations for Elliptic and Parabolic Inverse Radiativity Problems

Authors: De-Han Chen, Daijun Jiang, Jun Zou

Abstract: We shall study in this paper the Lipschitz type stabilities and convergence rates of Tikhonov regularization for the recovery of the radiativities in elliptic and parabolic systems with Dirichlet boundary conditions. The Lipschitz type stability estimates are derived. Due to the difficulty of the verification of the existing source conditions or nonlinearity conditions for the considered inverse r… ▽ More We shall study in this paper the Lipschitz type stabilities and convergence rates of Tikhonov regularization for the recovery of the radiativities in elliptic and parabolic systems with Dirichlet boundary conditions. The Lipschitz type stability estimates are derived. Due to the difficulty of the verification of the existing source conditions or nonlinearity conditions for the considered inverse radiativity problems in high dimensional spaces, some new variational source conditions are proposed. The conditions are rigorously verified in general dimensional spaces under the Lipschitz type stability estimates and the reasonable convergence rates are achieved. △ Less

Submitted 28 October, 2019; v1 submitted 25 October, 2019; originally announced October 2019.

Dynamic Subgoal-based Exploration via Bayesian Optimization

Authors: Yijia Wang, Matthias Poloczek, Daniel R. Jiang

Abstract: Reinforcement learning in sparse-reward navigation environments with expensive and limited interactions is challenging and poses a need for effective exploration. Motivated by complex navigation tasks that require real-world training (when cheap simulators are not available), we consider an agent that faces an unknown distribution of environments and must decide on an exploration strategy. It may… ▽ More Reinforcement learning in sparse-reward navigation environments with expensive and limited interactions is challenging and poses a need for effective exploration. Motivated by complex navigation tasks that require real-world training (when cheap simulators are not available), we consider an agent that faces an unknown distribution of environments and must decide on an exploration strategy. It may leverage a series of training environments to improve its policy before it is evaluated in a test environment drawn from the same environment distribution. Most existing approaches focus on fixed exploration strategies, while the few that view exploration as a meta-optimization problem tend to ignore the need for cost-efficient exploration. We propose a cost-aware Bayesian optimization approach that efficiently searches over a class of dynamic subgoal-based exploration strategies. The algorithm adjusts a variety of levers -- the locations of the subgoals, the length of each episode, and the number of replications per trial -- in order to overcome the challenges of sparse rewards, expensive interactions, and noise. An experimental evaluation demonstrates that the new approach outperforms existing baselines across a number of problem domains. We also provide a theoretical foundation and prove that the method asymptotically identifies a near-optimal subgoal design. △ Less

Submitted 12 October, 2023; v1 submitted 21 October, 2019; originally announced October 2019.

Journal ref: Transactions on Machine Learning Research (09/2023)

BoTorch: A Framework for Efficient Monte-Carlo Bayesian Optimization

Authors: Maximilian Balandat, Brian Karrer, Daniel R. Jiang, Samuel Daulton, Benjamin Letham, Andrew Gordon Wilson, Eytan Bakshy

Abstract: Bayesian optimization provides sample-efficient global optimization for a broad range of applications, including automatic machine learning, engineering, physics, and experimental design. We introduce BoTorch, a modern programming framework for Bayesian optimization that combines Monte-Carlo (MC) acquisition functions, a novel sample average approximation optimization approach, auto-differentiatio… ▽ More Bayesian optimization provides sample-efficient global optimization for a broad range of applications, including automatic machine learning, engineering, physics, and experimental design. We introduce BoTorch, a modern programming framework for Bayesian optimization that combines Monte-Carlo (MC) acquisition functions, a novel sample average approximation optimization approach, auto-differentiation, and variance reduction techniques. BoTorch's modular design facilitates flexible specification and optimization of probabilistic models written in PyTorch, simplifying implementation of new acquisition functions. Our approach is backed by novel theoretical convergence results and made practical by a distinctive algorithmic foundation that leverages fast predictive distributions, hardware acceleration, and deterministic optimization. We also propose a novel "one-shot" formulation of the Knowledge Gradient, enabled by a combination of our theoretical and software contributions. In experiments, we demonstrate the improved sample efficiency of BoTorch relative to other popular libraries. △ Less

Submitted 8 December, 2020; v1 submitted 14 October, 2019; originally announced October 2019.

Journal ref: Advances in Neural Information Processing Systems 33, 2020

Period Relations for Standard $L$-functions of Symplectic Type

Authors: Dihua Jiang, Binyong Sun, Fangyang Tian

Abstract: This article is to understand the critical values of $L$-functions $L(s,Π\otimes χ)$ and to establish the relation of the relevant global periods at the critical places. Here $Π$ is an irreducible regular algebraic cuspidal automorphic representation of $\mathrm{GL}_{2n}(\mathbb A)$ of symplectic type and $χ$ is a finite order automorphic character of $\mathrm{GL}_1(\mathbb A)$, with $\mathbb A$ i… ▽ More This article is to understand the critical values of $L$-functions $L(s,Π\otimes χ)$ and to establish the relation of the relevant global periods at the critical places. Here $Π$ is an irreducible regular algebraic cuspidal automorphic representation of $\mathrm{GL}_{2n}(\mathbb A)$ of symplectic type and $χ$ is a finite order automorphic character of $\mathrm{GL}_1(\mathbb A)$, with $\mathbb A$ is the ring of adeles of a number field $\mathrm k$. △ Less

Submitted 2 February, 2024; v1 submitted 8 September, 2019; originally announced September 2019.

MSC Class: 22E45; 11F67

Erratum to "On the Non-vanishing of the Central Value of the Rankin-Selberg L-functions"

Authors: David Ginzburg, Dihua Jiang, Baiying Liu, Stephen Rallis

Abstract: We complete the proof of Proposition 5.3 of [GJR04]. We complete the proof of Proposition 5.3 of [GJR04]. △ Less

Submitted 21 May, 2019; v1 submitted 7 May, 2019; originally announced May 2019.

Comments: 18 pages. Minor changes. Comments are welcome

MSC Class: 11F67; 11F70; 22E46; 22E55

Bessel Descents and Branching Problems

Authors: Dihua Jiang, Lei Zhang

Abstract: We discuss the theory of automorphic descents of Bessel type and its relation to automorphic version of branching problem and its relevant reciprocal branching problem. We discuss the theory of automorphic descents of Bessel type and its relation to automorphic version of branching problem and its relevant reciprocal branching problem. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: 35 pages

MSC Class: Primary 11F67; 11F70; 22E55; Secondary 11F30; 11F66

Generalized Four Moment Theorem with an application to the CLT for the spiked eigenvalues of high-dimensional general Fisher-matrices

Authors: Dandan Jiang, Zhiqiang Hou, Zhidong Bai

Abstract: The universality for the local spiked eigenvalues is a powerful tool to deal with the problems of the asymptotic law for the bulks of spiked eigenvalues of high-dimensional generalized Fisher matrices. In this paper, we focus on a more generalized spiked Fisher matrix, where $Σ_1Σ_2^{-1}$ is free of the restriction of diagonal independence, and both of the spiked eigenvalues and the population 4th… ▽ More The universality for the local spiked eigenvalues is a powerful tool to deal with the problems of the asymptotic law for the bulks of spiked eigenvalues of high-dimensional generalized Fisher matrices. In this paper, we focus on a more generalized spiked Fisher matrix, where $Σ_1Σ_2^{-1}$ is free of the restriction of diagonal independence, and both of the spiked eigenvalues and the population 4th moments are not necessary required to be bounded. By reducing the matching four moments constraint to a tail probability, we propose a Generalized Four Moment Theorem (G4MT) for the bulks of spiked eigenvalues of high-dimensional generalized Fisher matrices, which shows that the limiting distribution of the spiked eigenvalues of a generalized spiked Fisher matrix is independent of the actual distributions of the samples provided to satisfy the our relaxed assumptions. Furthermore, as an illustration, we also apply the G4MT to the Central Limit Theorem for the spiked eigenvalues of generalized spiked Fisher matrix, which removes the strict condition of the diagonal block independence given in Wang and Yao (2017) and extends their result to a wider usage without the requirements of the bounded 4th moments and the diagonal block independent structure, meeting the actual cases better. △ Less

Submitted 11 April, 2019; originally announced April 2019.

Comments: 29pages, 4 figures

MSC Class: 60B20; 62H25; 60F05

Detailed balance, local detailed balance, and global potential for stochastic chemical reaction networks

Authors: Chen Jia, Da-Quan Jiang, Youming Li

Abstract: Detailed balance of a chemical reaction network can be defined in several different ways. Here we investigate the relationship among four types of detailed balance conditions: deterministic, stochastic, local, and zero-order local detailed balance. We show that the four types of detailed balance are equivalent when different reactions lead to different species changes and are not equivalent when s… ▽ More Detailed balance of a chemical reaction network can be defined in several different ways. Here we investigate the relationship among four types of detailed balance conditions: deterministic, stochastic, local, and zero-order local detailed balance. We show that the four types of detailed balance are equivalent when different reactions lead to different species changes and are not equivalent when some different reactions lead to the same species change. Under the condition of local detailed balance, we further show that the system has a global potential defined over the whole space, which plays the central role in the large deviation theory and the Freidlin-Wentzell-type metastability theory of chemical reaction networks. Finally, we provide a new sufficient condition for stochastic detailed balance, which is applied to construct a class of high-dimensional chemical reaction networks that both satisfies stochastic detailed balance and displays multistability. △ Less

Submitted 26 January, 2021; v1 submitted 25 January, 2019; originally announced January 2019.

Comments: 33 pages, 3 figures

Numerical reconstruction of the spatial component in the source term of a time-fractional diffusion equation

Authors: Daijun Jiang, Yikan Liu, Dongling Wang

Abstract: In this article, we are concerned with the analysis on the numerical reconstruction of the spatial component in the source term of a time-fractional diffusion equation. This ill-posed problem is solved through a stabilized nonlinear minimization system by an appropriately selected Tikhonov regularization. The existence and the stability of the optimization system are demonstrated. The nonlinear op… ▽ More In this article, we are concerned with the analysis on the numerical reconstruction of the spatial component in the source term of a time-fractional diffusion equation. This ill-posed problem is solved through a stabilized nonlinear minimization system by an appropriately selected Tikhonov regularization. The existence and the stability of the optimization system are demonstrated. The nonlinear optimization problem is approximated by a fully discrete scheme, whose convergence is established under a novel result verified in this study that the $H^1$-norm of the solution to the discrete forward system is uniformly bounded. The iterative thresholding algorithm is proposed to solve the discrete minimization, and several numerical experiments are presented to show the efficiency and the accuracy of the algorithm. △ Less

Submitted 5 May, 2020; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: 17 pages, 2 figures, 2 tables

MSC Class: 35R11; 65M32; 41A35

Archimedean Non-vanishing, Cohomological Test Vectors, and Standard $L$-functions of $\mathrm{GL}_{2n}$: Real Case

Authors: Cheng Chen, Dihua Jiang, Bingchen Lin, Fangyang Tian

Abstract: The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of unifor… ▽ More The standard $L$-functions of $\mathrm{GL}_{2n}$ expressed in terms of the Friedberg-Jacquet global zeta integrals have better structure for arithmetic applications, due to the relation of the linear periods with the modular symbols. The most technical obstacles towards such arithmetic applications are (1) non-vanishing of modular symbols at infinity and (2) the existance or construction of uniform cohomological test vectors. Problem (1) is also called the non-vanishing hypothesis at infinity, which was proved by Binyong Sun, by establishing the existence of certain cohomological test vectors. In this paper, we explicitly construct an archimedean local integral that produces a new type of a twisted linear functional $Λ_{s,χ}$, which, when evaluated with our explicitly constructed cohomological vector, is equal to the local twisted standard $L$-function $L(s,π\otimesχ)$ as a meromorphic function of $s\in \mathbb{C}$. With the relations between linear models and Shalika models, we establish (1) with an explicitly constructed cohomological vector, and hence recovers a non-vanishing result of Binyong Sun via a completely different method. Our main result indicates a complete solution to (2), which will be presented in a paper of Dihua Jiang, Binyong Sun and Fangyang Tian with full details and with applications to the global period relations for the twisted standard $L$-functions at critical places. △ Less

Submitted 28 October, 2019; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 39 pages. The current version of this paper is significantly shorter than the previous one, as the first author pointed out a conceptual intepretation of construction of cohomological test vector in the old version of this paper. Section 4 is completely rewritten. Also fix some inaccuracies

MSC Class: 22E45 (Primary); 11F67 (Secondary)

A reciprocal branching problem for automorphic representations and global Vogan packets

Authors: Dihua Jiang, Baiying Liu, Bin Xu

Abstract: Let $G$ be a group and $H$ be a subgroup of $G$. The classical branching rule (or symmetry breaking) asks: For an irreducible representation $π$ of $G$, determine the occurrence of an irreducible representation $σ$ of $H$ in the restriction of $π$ to $H$. The reciprocal branching problem of this classical branching problem is to ask: For an irreducible representation $σ$ of $H$, find an irreducibl… ▽ More Let $G$ be a group and $H$ be a subgroup of $G$. The classical branching rule (or symmetry breaking) asks: For an irreducible representation $π$ of $G$, determine the occurrence of an irreducible representation $σ$ of $H$ in the restriction of $π$ to $H$. The reciprocal branching problem of this classical branching problem is to ask: For an irreducible representation $σ$ of $H$, find an irreducible representation $π$ of $G$ such that $σ$ occurs in the restriction of $π$ to $H$. For automorphic representations of classical groups, the branching problem has been addressed by the well-known global Gan-Gross-Prasad conjecture. In this paper, we investigate the reciprocal branching problem for automorphic representations of special orthogonal groups using the twisted automorphic descent method as developed in [JZ15]. The method may be applied to other classical groups as well. △ Less

Submitted 7 December, 2018; originally announced December 2018.

Comments: Comments are welcome

Optimal On-Off Control for a Class of Discrete Event Systems with Real-Time Constraints

Authors: Lei Miao, Lijian Xu, Dingde Jiang

Abstract: This paper studies an optimal ON-OFF control problem for a class of discrete event systems with real-time constraints. Our goal is to minimize the overall costs, including the operating cost and the wake-up cost, while still guaranteeing the deadline of each individual task. In particular, we consider the homogeneous case in which it takes the same amount of time to serve each task and each task n… ▽ More This paper studies an optimal ON-OFF control problem for a class of discrete event systems with real-time constraints. Our goal is to minimize the overall costs, including the operating cost and the wake-up cost, while still guaranteeing the deadline of each individual task. In particular, we consider the homogeneous case in which it takes the same amount of time to serve each task and each task needs to be served by d seconds upon arrival. The problem involves two subproblems: (i) finding the best time to wake up the system and (ii) finding the best time to let the system go to sleep. We study the two subproblems in both off-line and on-line settings. In the off-line case that all task information is known a priori, we combine sample path analysis and dynamic programming to come up with the optimal solution. In the on-line scenario where future task information is completely unknown, we show that the optimal time to wake up the system can be obtained without relying on future task arrivals. We also perform competitive analysis for on-line control and derive the competitive ratios for both deterministic and random controllers. △ Less

Submitted 5 September, 2018; originally announced September 2018.

Generalized Four Moment Theorem and an Application to CLT for Spiked Eigenvalues of Large-dimensional Covariance Matrices

Authors: Dandan Jiang, Zhidong Bai

Abstract: We consider a more generalized spiked covariance matrix $Σ$, which is a general non-definite matrix with the spiked eigenvalues scattered into a few bulks and the largest ones allowed to tend to infinity. By relaxing the matching of the 4th moment to a tail probability decay, a {\it Generalized Four Moment Theorem} (G4MT) is proposed to show the universality of the asymptotic law for the local spe… ▽ More We consider a more generalized spiked covariance matrix $Σ$, which is a general non-definite matrix with the spiked eigenvalues scattered into a few bulks and the largest ones allowed to tend to infinity. By relaxing the matching of the 4th moment to a tail probability decay, a {\it Generalized Four Moment Theorem} (G4MT) is proposed to show the universality of the asymptotic law for the local spectral statistics of generalized spiked covariance matrices, which implies the limiting distribution of the spiked eigenvalues of the generalized spiked covariance matrix is independent of the actual distributions of the samples satisfying our relaxed assumptions. Moreover, by applying it to the Central Limit Theorem (CLT) for the spiked eigenvalues of the generalized spiked covariance matrix, we also extend the result of Bai and Yao (2012) to a general form of the population covariance matrix, where the 4th moment is not necessarily required to exist and the spiked eigenvalues are allowed to be dependent on the non-spiked ones, thus meeting the actual cases better. △ Less

Submitted 24 April, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 48 pages, 4 figures,5 tables

MSC Class: 60B20; 62H25; 60F05; 62H10

On the Non-vanishing of the Central Value of Certain L-functions: Unitary Groups

Authors: Dihua Jiang, Lei Zhang

Abstract: Let $π$ be an irreducible cuspidal automorphic representation of a quasi-split unitary group ${\rm U}_{\mathfrak n}$ defined over a number field $F$. Under the assumption that $π$ has a generic global Arthur parameter, we establish the non-vanishing of the central value of $L$-functions, $L(\frac{1}{2},π\timesχ)$, with a certain automorphic character $χ$ of ${\rm U}_1$, for the case of… ▽ More Let $π$ be an irreducible cuspidal automorphic representation of a quasi-split unitary group ${\rm U}_{\mathfrak n}$ defined over a number field $F$. Under the assumption that $π$ has a generic global Arthur parameter, we establish the non-vanishing of the central value of $L$-functions, $L(\frac{1}{2},π\timesχ)$, with a certain automorphic character $χ$ of ${\rm U}_1$, for the case of ${\mathfrak n}=2,3,4$, and for the general ${\mathfrak n}\geq 5$ by assuming a conjecture on certain refined properties of global Arthur packets. In consequence, we obtain some simultaneous non-vanishing results for the central $L$-values by means of the theory of endoscopy. △ Less

Submitted 12 June, 2018; originally announced June 2018.

Comments: 25 pages

MSC Class: Primary 11F67; 11F70; 22E55; Secondary 11F30; 11F66

Structured Actor-Critic for Managing Public Health Points-of-Dispensing

Authors: Yijia Wang, Daniel R. Jiang

Abstract: Public health organizations face the problem of dispensing treatments (i.e., vaccines, antibiotics, and others) to groups of affected populations through "points-of-dispensing" (PODs) during emergency situations, typically in the presence of complexities like demand stochasticity, heterogenous utilities (e.g., for vaccine distribution, certain segments of the population may need to be prioritized)… ▽ More Public health organizations face the problem of dispensing treatments (i.e., vaccines, antibiotics, and others) to groups of affected populations through "points-of-dispensing" (PODs) during emergency situations, typically in the presence of complexities like demand stochasticity, heterogenous utilities (e.g., for vaccine distribution, certain segments of the population may need to be prioritized), and limited storage. We formulate a hierarchical Markov decision process (MDP) model with two levels of decisions (and decision-makers): the upper-level decisions come from an inventory planner that "controls" a lower-level dynamic problem, which optimizes dispensing decisions that take into consideration the heterogeneous utility functions of the random set of PODs. We then derive structural properties of the MDP model and propose an approximate dynamic programming (ADP) algorithm that leverages structure in both the policy and the value space (state-dependent basestocks and concavity, respectively). The algorithm can be considered an actor-critic method; to our knowledge, this paper is the first to jointly exploit policy and value structure within an actor-critic framework. We prove that the policy and value function approximations each converge to their optimal counterparts with probability one and provide a comprehensive numerical analysis showing improved empirical convergence rates when compared to other ADP techniques. Finally, we show how an aggregation-based version of our algorithm can be applied in a realistic case study for the problem of dispensing naloxone (an overdose reversal drug) via first responders amidst the ongoing opioid crisis. △ Less

Submitted 2 May, 2021; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: 55 pages, 14 figures

A Possibility Distribution Based Multi-Criteria Decision Algorithm for Resilient Supplier Selection Problems

Authors: Dizuo Jiang, Md Mahmudul Hassan, Tasnim Ibn Faiz, Md. Noor-E-Alam

Abstract: Thus far, limited research has been performed on resilient supplier selection - a problem that requires simultaneous consideration of a set of numerical and linguistic evaluation criteria, which are substantially different from traditional supplier selection problem. Essentially, resilient supplier selection entails key sourcing decision for an organization to gain competitive advantage. In the pr… ▽ More Thus far, limited research has been performed on resilient supplier selection - a problem that requires simultaneous consideration of a set of numerical and linguistic evaluation criteria, which are substantially different from traditional supplier selection problem. Essentially, resilient supplier selection entails key sourcing decision for an organization to gain competitive advantage. In the presence of multiple conflicting evaluation criteria, contradicting decision makers, and imprecise decision relevant information (DRI), this problem becomes even more difficult to solve with the classical optimization approaches. However, prior research focusing on MCDA based supplier selection problem has been lacking in the ability to provide a seamless integration of numerical and linguistic evaluation criteria along with the consideration of multiple decision makers. To address these challenges, we present a comprehensive decision-making framework for ranking a set of suppliers from resiliency perspective. The proposed algorithm is capable of leveraging imprecise and aggregated DRI obtained from crisp numerical assessments and reliability adjusted linguistic appraisals from a group of decision makers. We adapt two popular tools - Single Valued Neutrosophic Sets (SVNS) and Interval-valued fuzzy sets (IVFS), and for the first time extend them to incorporate both crisp and linguistic evaluations in a group decision making platform to obtain aggregated SVNS and IVFS decision matrix. This information is then used to rank the resilient suppliers by using TOPSIS method. We present a case study to illustrate the mechanism of the proposed algorithm. △ Less

Submitted 6 April, 2019; v1 submitted 3 June, 2018; originally announced June 2018.

Feedback-Based Tree Search for Reinforcement Learning

Authors: Daniel R. Jiang, Emmanuel Ekwedike, Han Liu

Abstract: Inspired by recent successes of Monte-Carlo tree search (MCTS) in a number of artificial intelligence (AI) application domains, we propose a model-based reinforcement learning (RL) technique that iteratively applies MCTS on batches of small, finite-horizon versions of the original infinite-horizon Markov decision process. The terminal condition of the finite-horizon problems, or the leaf-node eval… ▽ More Inspired by recent successes of Monte-Carlo tree search (MCTS) in a number of artificial intelligence (AI) application domains, we propose a model-based reinforcement learning (RL) technique that iteratively applies MCTS on batches of small, finite-horizon versions of the original infinite-horizon Markov decision process. The terminal condition of the finite-horizon problems, or the leaf-node evaluator of the decision tree generated by MCTS, is specified using a combination of an estimated value function and an estimated policy function. The recommendations generated by the MCTS procedure are then provided as feedback in order to refine, through classification and regression, the leaf-node evaluator for the next iteration. We provide the first sample complexity bounds for a tree search-based RL algorithm. In addition, we show that a deep neural network implementation of the technique can create a competitive AI agent for the popular multi-player online battle arena (MOBA) game King of Glory. △ Less

Submitted 15 May, 2018; originally announced May 2018.

Comments: 19 pages, to be presented at ICML 2018

A modified subgradient extragradient method for solving the variational inequality problem

Authors: Qiao-Li Dong, Dan Jiang, Aviv Gibali

Abstract: The subgradient extragradient method for solving the variational inequality (VI) problem, which is introduced by Censor et al. \cite{CGR}, replaces the second projection onto the feasible set of the VI, in the extragradient method, with a subgradient projection onto some constructible half-space. Since the method has been introduced, many authors proposed extensions and modifications with applicat… ▽ More The subgradient extragradient method for solving the variational inequality (VI) problem, which is introduced by Censor et al. \cite{CGR}, replaces the second projection onto the feasible set of the VI, in the extragradient method, with a subgradient projection onto some constructible half-space. Since the method has been introduced, many authors proposed extensions and modifications with applications to various problems. In this paper, we introduce a modified subgradient extragradient method by improving the stepsize of its second step. Convergence of the proposed method is proved under standard and mild conditions and primary numerical experiments illustrate the performance and advantage of this new subgradient extragradient variant. △ Less

Submitted 2 January, 2018; originally announced January 2018.

Bounded perturbation resilience of extragradient-type methods and their applications

Authors: Qiao-Li Dong, Aviv Gibali, Dan Jiang, Yu-Chao Tang

Abstract: In this paper we study the bounded perturbation resilience of the extragradient and the subgradient extragradient methods for solving variational inequality (VI) problem in real Hilbert spaces. This is an important property of algorithms which guarantees the convergence of the scheme under summable errors, meaning that an inexact version of the methods can also be considered. Moreover, once an alg… ▽ More In this paper we study the bounded perturbation resilience of the extragradient and the subgradient extragradient methods for solving variational inequality (VI) problem in real Hilbert spaces. This is an important property of algorithms which guarantees the convergence of the scheme under summable errors, meaning that an inexact version of the methods can also be considered. Moreover, once an algorithm is proved to be bounded perturbation resilience, superiorizion can be used, and this allows flexibility in choosing the bounded perturbations in order to obtain a superior solution, as well explained in the paper. We also discuss some inertial extragradient methods. Under mild and standard assumptions of monotonicity and Lipschitz continuity of the VI's associated mapping, convergence of the perturbed extragradient and subgradient extragradient methods is proved. In addition we show that the perturbed algorithms converges at the rate of $O(1/t)$. Numerical illustrations are given to demonstrate the performances of the algorithms. △ Less

Submitted 16 November, 2017; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: Accepted for publication in The Journal of Inequalities and Applications. arXiv admin note: text overlap with arXiv:1711.01936 and text overlap with arXiv:1507.07302 by other authors

Convergence of projection and contraction algorithms with outer perturbations and their applications to sparse signals recovery

Authors: Qiao-Li Dong, Aviv Gibali, Dan Jiang, Shang-Hong Ke

Abstract: In this paper we study the bounded perturbation resilience of projection and contraction algorithms for solving variational inequality (VI) problems in real Hilbert spaces. Under typical and standard assumptions of monotonicity and Lipschitz continuity of the VI's associated mapping, convergence of the perturbed projection and contraction algorithms is proved. Based on the bounded perturbed resili… ▽ More In this paper we study the bounded perturbation resilience of projection and contraction algorithms for solving variational inequality (VI) problems in real Hilbert spaces. Under typical and standard assumptions of monotonicity and Lipschitz continuity of the VI's associated mapping, convergence of the perturbed projection and contraction algorithms is proved. Based on the bounded perturbed resilience of projection and contraction algorithms, we present some inertial projection and contraction algorithms. In addition we show that the perturbed algorithms converges at the rate of $O(1/t)$. △ Less

Submitted 16 November, 2017; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: This paper is accepted for publication in Journal of Fixed Point Theory and Applications. arXiv admin note: text overlap with arXiv:1711.01937, and text overlap with arXiv:1507.07302 by other authors

Monte Carlo Tree Search with Sampled Information Relaxation Dual Bounds

Authors: Daniel R. Jiang, Lina Al-Kanj, Warren B. Powell

Abstract: Monte Carlo Tree Search (MCTS), most famously used in game-play artificial intelligence (e.g., the game of Go), is a well-known strategy for constructing approximate solutions to sequential decision problems. Its primary innovation is the use of a heuristic, known as a default policy, to obtain Monte Carlo estimates of downstream values for states in a decision tree. This information is used to it… ▽ More Monte Carlo Tree Search (MCTS), most famously used in game-play artificial intelligence (e.g., the game of Go), is a well-known strategy for constructing approximate solutions to sequential decision problems. Its primary innovation is the use of a heuristic, known as a default policy, to obtain Monte Carlo estimates of downstream values for states in a decision tree. This information is used to iteratively expand the tree towards regions of states and actions that an optimal policy might visit. However, to guarantee convergence to the optimal action, MCTS requires the entire tree to be expanded asymptotically. In this paper, we propose a new technique called Primal-Dual MCTS that utilizes sampled information relaxation upper bounds on potential actions, creating the possibility of "ignoring" parts of the tree that stem from highly suboptimal choices. This allows us to prove that despite converging to a partial decision tree in the limit, the recommended action from Primal-Dual MCTS is optimal. The new approach shows significant promise when used to optimize the behavior of a single driver navigating a graph while operating on a ride-sharing platform. Numerical experiments on a real dataset of 7,000 trips in New Jersey suggest that Primal-Dual MCTS improves upon standard MCTS by producing deeper decision trees and exhibits a reduced sensitivity to the size of the action space. △ Less

Submitted 19 April, 2017; originally announced April 2017.

Comments: 33 pages, 6 figures

Matter-wave solutions in the Bose-Einstein condensates with the harmonic and Gaussian potentials

Authors: Zhenya Yan, Dongmei Jiang

Abstract: We study exact solutions of the quasi-one-dimensional Gross-Pitaevskii (GP) equation with the (space, time)-modulated potential and nonlinearity and the time-dependent gain or loss term in Bose-Einstein condensates. In particular, based on the similarity transformation, we report several families of exact solutions of the GP equation in the combination of the harmonic and Gaussian potentials, in w… ▽ More We study exact solutions of the quasi-one-dimensional Gross-Pitaevskii (GP) equation with the (space, time)-modulated potential and nonlinearity and the time-dependent gain or loss term in Bose-Einstein condensates. In particular, based on the similarity transformation, we report several families of exact solutions of the GP equation in the combination of the harmonic and Gaussian potentials, in which some physically relevant solutions are described. The stability of the obtained matter-wave solutions is addressed numerically such that some stable solutions are found. Moreover, we also analyze the parameter regimes for the stable solutions. These results may raise the possibility of relative experiments and potential applications. △ Less

Submitted 8 April, 2017; originally announced April 2017.

Comments: 10 pages, 10 figures

Journal ref: Physical Review E 85, 056608 (2012)