-
Bilinear estimate for Schrödinger equation on $\mathbb{R} \times \mathbb{T}$
Authors:
Yangkendi Deng,
Boning Di,
Chenjie Fan,
Zehua Zhao
Abstract:
We continue our study of bilinear estimates on waveguide $\mathbb{R}\times \mathbb{T}$ started in \cite{DFYZZ2024,Deng2023}. The main point of the current article is, comparing to previous work \cite{Deng2023}, that we obtain estimates beyond the semiclassical time regime. Our estimate is sharp in the sense that one can construct examples which saturate this estimate.
We continue our study of bilinear estimates on waveguide $\mathbb{R}\times \mathbb{T}$ started in \cite{DFYZZ2024,Deng2023}. The main point of the current article is, comparing to previous work \cite{Deng2023}, that we obtain estimates beyond the semiclassical time regime. Our estimate is sharp in the sense that one can construct examples which saturate this estimate.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Large Language Models to the Rescue: Deadlock Resolution in Multi-Robot Systems
Authors:
Kunal Garg,
Jacob Arkin,
Songyuan Zhang,
Nicholas Roy,
Chuchu Fan
Abstract:
Multi-agent robotic systems are prone to deadlocks in an obstacle environment where the system can get stuck away from its desired location under a smooth low-level control policy. Without an external intervention, often in terms of a high-level command, it is not possible to guarantee that just a low-level control policy can resolve such deadlocks. Utilizing the generalizability and low data requ…
▽ More
Multi-agent robotic systems are prone to deadlocks in an obstacle environment where the system can get stuck away from its desired location under a smooth low-level control policy. Without an external intervention, often in terms of a high-level command, it is not possible to guarantee that just a low-level control policy can resolve such deadlocks. Utilizing the generalizability and low data requirements of large language models (LLMs), this paper explores the possibility of using LLMs for deadlock resolution. We propose a hierarchical control framework where an LLM resolves deadlocks by assigning a leader and direction for the leader to move along. A graph neural network (GNN) based low-level distributed control policy executes the assigned plan. We systematically study various prompting techniques to improve LLM's performance in resolving deadlocks. In particular, as part of prompt engineering, we provide in-context examples for LLMs. We conducted extensive experiments on various multi-robot environments with up to 15 agents and 40 obstacles. Our results demonstrate that LLM-based high-level planners are effective in resolving deadlocks in MRS.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Dispersive decay for the mass-critical nonlinear Schrödinger equation
Authors:
Chenjie Fan,
Rowan Killip,
Monica Visan,
Zehua Zhao
Abstract:
We prove dispersive decay, pointwise in time, for solutions to the mass-critical nonlinear Schrödinger equation in spatial dimensions $d=1,2,3$.
We prove dispersive decay, pointwise in time, for solutions to the mass-critical nonlinear Schrödinger equation in spatial dimensions $d=1,2,3$.
△ Less
Submitted 14 March, 2024;
originally announced March 2024.
-
A note on minimal mass blow up for inhomogeneous NLS
Authors:
Chenjie Fan,
Shumao Wang
Abstract:
We revisit the work of \cite{raphael2011existence} on the minimal mass blow up solution for $iu_{t}+Δu=-k(x)|u|^{2}u$, and extend the construction of such a solution to the $k\in C^{2}$ case.
We revisit the work of \cite{raphael2011existence} on the minimal mass blow up solution for $iu_{t}+Δu=-k(x)|u|^{2}u$, and extend the construction of such a solution to the $k\in C^{2}$ case.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
A moment-based Hermite WENO scheme with unified stencils for hyperbolic conservation laws
Authors:
Chuan Fan,
Jianxian Qiu,
Zhuang Zhao
Abstract:
In this paper, a fifth-order moment-based Hermite weighted essentially non-oscillatory scheme with unified stencils (termed as HWENO-U) is proposed for hyperbolic conservation laws. The main idea of the HWENO-U scheme is to modify the first-order moment by a HWENO limiter only in the time discretizations using the same information of spatial reconstructions, in which the limiter not only overcomes…
▽ More
In this paper, a fifth-order moment-based Hermite weighted essentially non-oscillatory scheme with unified stencils (termed as HWENO-U) is proposed for hyperbolic conservation laws. The main idea of the HWENO-U scheme is to modify the first-order moment by a HWENO limiter only in the time discretizations using the same information of spatial reconstructions, in which the limiter not only overcomes spurious oscillations well, but also ensures the stability of the fully-discrete scheme. For the HWENO reconstructions, a new scale-invariant nonlinear weight is designed by incorporating only the integral average values of the solution, which keeps all properties of the original one while is more robust for simulating challenging problems with sharp scale variations. Compared with previous HWENO schemes, the advantages of the HWENO-U scheme are: (1) a simpler implemented process involving only a single HWENO reconstruction applied throughout the entire procedures without any modifications for the governing equations; (2) increased efficiency by utilizing the same candidate stencils, reconstructed polynomials, and linear and nonlinear weights in both the HWENO limiter and spatial reconstructions; (3) reduced problem-specific dependencies and improved rationality, as the nonlinear weights are identical for the function $u$ and its non-zero multiple $ζu$. Besides, the proposed scheme retains the advantages of previous HWENO schemes, including compact reconstructed stencils and the utilization of artificial linear weights. Extensive benchmarks are carried out to validate the accuracy, efficiency, resolution, and robustness of the proposed scheme.
△ Less
Submitted 19 February, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
On bilinear Strichartz estimates on waveguides with applications
Authors:
Yangkendi Deng,
Chenjie Fan,
Kailong Yang,
Zehua Zhao,
Jiqiang Zheng
Abstract:
We study local-in-time and global-in-time bilinear Strichartz estimates for the Schrödinger equation on waveguides. As applications, we apply those estimates to study global well-posedness of nonlinear Schrödinger equations on these waveguides.
We study local-in-time and global-in-time bilinear Strichartz estimates for the Schrödinger equation on waveguides. As applications, we apply those estimates to study global well-posedness of nonlinear Schrödinger equations on these waveguides.
△ Less
Submitted 29 June, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control
Authors:
Songyuan Zhang,
Oswin So,
Kunal Garg,
Chuchu Fan
Abstract:
Distributed, scalable, and safe control of large-scale multi-agent systems (MAS) is a challenging problem. In this paper, we design a distributed framework for safe multi-agent control in large-scale environments with obstacles, where a large number of agents are required to maintain safety using only local information and reach their goal locations. We introduce a new class of certificates, terme…
▽ More
Distributed, scalable, and safe control of large-scale multi-agent systems (MAS) is a challenging problem. In this paper, we design a distributed framework for safe multi-agent control in large-scale environments with obstacles, where a large number of agents are required to maintain safety using only local information and reach their goal locations. We introduce a new class of certificates, termed graph control barrier function (GCBF), which are based on the well-established control barrier function (CBF) theory for safety guarantees and utilize a graph structure for scalable and generalizable distributed control of MAS. We develop a novel theoretical framework to prove the safety of an arbitrary-sized MAS with a single GCBF. We propose a new training framework GCBF+ that uses graph neural networks (GNNs) to parameterize a candidate GCBF and a distributed control policy. The proposed framework is distributed and is capable of directly taking point clouds from LiDAR, instead of actual state information, for real-world robotic applications. We illustrate the efficacy of the proposed method through various hardware experiments on a swarm of drones with objectives ranging from exchanging positions to docking on a moving target without collision. Additionally, we perform extensive numerical experiments, where the number and density of agents, as well as the number of obstacles, increase. Empirical results show that in complex environments with nonlinear agents (e.g., Crazyflie drones) GCBF+ outperforms the handcrafted CBF-based method with the best performance by up to 20% for relatively small-scale MAS for up to 256 agents, and leading reinforcement learning (RL) methods by up to 40% for MAS with 1024 agents. Furthermore, the proposed method does not compromise on the performance, in terms of goal reaching, for achieving high safety rates, which is a common trade-off in RL-based methods.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Almost-Sure Safety Guarantees of Stochastic Zero-Control Barrier Functions Do Not Hold
Authors:
Oswin So,
Andrew Clark,
Chuchu Fan
Abstract:
The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although…
▽ More
The 2021 paper "Control barrier functions for stochastic systems" provides theorems that give almost sure safety guarantees given stochastic zero control barrier function (ZCBF). Unfortunately, both the theorem and its proof is invalid. In this letter, we illustrate on a toy example that the almost sure safety guarantees for stochastic ZCBF do not hold and explain why the proof is flawed. Although stochastic reciprocal barrier functions (RCBF) also uses the same proof technique, we provide a different proof technique that verifies that stochastic RCBFs are indeed safe with probability one. Using the RCBF, we derive a modified ZCBF condition that guarantees safety with probability one. Finally, we provide some discussion on the role of unbounded controls in the almost-sure safety guarantees of RCBFs, and show that the rate of divergence of the ratio of the drift and diffusion is the key for whether a system has almost sure safety guarantees.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Learning Safe Control for Multi-Robot Systems: Methods, Verification, and Open Challenges
Authors:
Kunal Garg,
Songyuan Zhang,
Oswin So,
Charles Dawson,
Chuchu Fan
Abstract:
In this survey, we review the recent advances in control design methods for robotic multi-agent systems (MAS), focussing on learning-based methods with safety considerations. We start by reviewing various notions of safety and liveness properties, and modeling frameworks used for problem formulation of MAS. Then we provide a comprehensive review of learning-based methods for safe control design fo…
▽ More
In this survey, we review the recent advances in control design methods for robotic multi-agent systems (MAS), focussing on learning-based methods with safety considerations. We start by reviewing various notions of safety and liveness properties, and modeling frameworks used for problem formulation of MAS. Then we provide a comprehensive review of learning-based methods for safe control design for multi-robot systems. We start with various types of shielding-based methods, such as safety certificates, predictive filters, and reachability tools. Then, we review the current state of control barrier certificate learning in both a centralized and distributed manner, followed by a comprehensive review of multi-agent reinforcement learning with a particular focus on safety. Next, we discuss the state-of-the-art verification tools for the correctness of learning-based methods. Based on the capabilities and the limitations of the state of the art methods in learning and verification for MAS, we identify various broad themes for open challenges: how to design methods that can achieve good performance along with safety guarantees; how to decompose single-agent based centralized methods for MAS; how to account for communication-related practical issues; and how to assess transfer of theoretical guarantees to practice.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Stability manifolds of Kuznetsov components of prime Fano threefolds
Authors:
Changping Fan,
Zhiyu Liu,
Songtao Kenneth Ma
Abstract:
Let $X$ be a cubic threefold, quartic double solid or Gushel--Mukai threefold, and $\mathcal{K}u(X)\subset \mathrm{D}^b(X)$ be its Kuznetsov component. We show that a stability condition $σ$ on $\mathcal{K}u(X)$ is Serre-invariant if and only if its homological dimension is at most $2$. As a corollary, we prove that all Serre-invariant stability conditions on $\mathcal{K}u(X)$ form a contractible…
▽ More
Let $X$ be a cubic threefold, quartic double solid or Gushel--Mukai threefold, and $\mathcal{K}u(X)\subset \mathrm{D}^b(X)$ be its Kuznetsov component. We show that a stability condition $σ$ on $\mathcal{K}u(X)$ is Serre-invariant if and only if its homological dimension is at most $2$. As a corollary, we prove that all Serre-invariant stability conditions on $\mathcal{K}u(X)$ form a contractible connected component of the stability manifold.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems
Authors:
Oswin So,
Zachary Serlin,
Makai Mann,
Jake Gonzales,
Kwesi Rutledge,
Nicholas Roy,
Chuchu Fan
Abstract:
Control barrier functions (CBF) have become popular as a safety filter to guarantee the safety of nonlinear dynamical systems for arbitrary inputs. However, it is difficult to construct functions that satisfy the CBF constraints for high relative degree systems with input constraints. To address these challenges, recent work has explored learning CBFs using neural networks via neural CBF (NCBF). H…
▽ More
Control barrier functions (CBF) have become popular as a safety filter to guarantee the safety of nonlinear dynamical systems for arbitrary inputs. However, it is difficult to construct functions that satisfy the CBF constraints for high relative degree systems with input constraints. To address these challenges, recent work has explored learning CBFs using neural networks via neural CBF (NCBF). However, such methods face difficulties when scaling to higher dimensional systems under input constraints. In this work, we first identify challenges that NCBFs face during training. Next, to address these challenges, we propose policy neural CBF (PNCBF), a method of constructing CBFs by learning the value function of a nominal policy, and show that the value function of the maximum-over-time cost is a CBF. We demonstrate the effectiveness of our method in simulation on a variety of systems ranging from toy linear systems to an F-16 jet with a 16-dimensional state space. Finally, we validate our approach on a two-agent quadcopter system on hardware under tight input constraints.
△ Less
Submitted 4 December, 2023; v1 submitted 23 October, 2023;
originally announced October 2023.
-
Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry
Authors:
Kunal Garg,
Chuchu Fan
Abstract:
Autonomous robotic systems, such as quadrotors, are susceptible to actuator faults, and for the safe operation of such systems, timely detection and isolation of these faults is essential. Neural networks can be used for verification of actuator performance via online actuator fault detection with high accuracy. In this paper, we develop a novel model-free fault detection and isolation (FDI) frame…
▽ More
Autonomous robotic systems, such as quadrotors, are susceptible to actuator faults, and for the safe operation of such systems, timely detection and isolation of these faults is essential. Neural networks can be used for verification of actuator performance via online actuator fault detection with high accuracy. In this paper, we develop a novel model-free fault detection and isolation (FDI) framework for quadrotor systems using long-short-term memory (LSTM) neural network architecture. The proposed framework only uses system output data and the commanded control input and requires no knowledge of the system model. Utilizing the symmetry in quadrotor dynamics, we train the FDI for fault in just one of the motors (e.g., motor $\# 2$), and the trained FDI can predict faults in any of the motors. This reduction in search space enables us to design an FDI for partial fault as well as complete fault scenarios. Numerical experiments illustrate that the proposed NN-FDI correctly verifies the actuator performance and identifies partial as well as complete faults with over $90\%$ prediction accuracy. We also illustrate that model-free NN-FDI performs at par with model-based FDI, and is robust to model uncertainties as well as distribution shifts in input data.
△ Less
Submitted 16 September, 2023;
originally announced September 2023.
-
On profile decomposition for Airy type equation
Authors:
Boning Di,
Chenjie Fan,
Dunyan Yan
Abstract:
We study the linear profile decomposition for the Airy type equation, where the associated Strichartz inequality corresponds to the Fourier extension inequality on the odd curve $ξ^{\ell}$. We also investigate an inhomogeneous case, modeled by the odd curve $ξ^3+ξ^5$ case. We note that, as observed by Frank and Sabin [Math. Ann., 2018], there is a two-profile phenomenon in the profile decompositio…
▽ More
We study the linear profile decomposition for the Airy type equation, where the associated Strichartz inequality corresponds to the Fourier extension inequality on the odd curve $ξ^{\ell}$. We also investigate an inhomogeneous case, modeled by the odd curve $ξ^3+ξ^5$ case. We note that, as observed by Frank and Sabin [Math. Ann., 2018], there is a two-profile phenomenon in the profile decomposition associated with odd curves.
△ Less
Submitted 7 February, 2024; v1 submitted 23 June, 2023;
originally announced June 2023.
-
On a conjecture of Conlon, Fox and Wigderson
Authors:
Chunchao Fan,
Qizhong Lin,
Yuanhui Yan
Abstract:
For graphs $G$ and $H$, the Ramsey number $r(G,H)$ is the smallest positive integer $N$ such that any red/blue edge coloring of the complete graph $K_N$ contains either a red $G$ or a blue $H$. A book $B_n$ is a graph consisting of $n$ triangles all sharing a common edge.
Recently, Conlon, Fox and Wigderson conjectured that for any $0<α<1$, the random lower bound…
▽ More
For graphs $G$ and $H$, the Ramsey number $r(G,H)$ is the smallest positive integer $N$ such that any red/blue edge coloring of the complete graph $K_N$ contains either a red $G$ or a blue $H$. A book $B_n$ is a graph consisting of $n$ triangles all sharing a common edge.
Recently, Conlon, Fox and Wigderson conjectured that for any $0<α<1$, the random lower bound $r(B_{\lceilαn\rceil},B_n)\ge (\sqrtα+1)^2n+o(n)$ is not tight. In other words, there exists some constant $β>(\sqrtα+1)^2$ such that $r(B_{\lceilαn\rceil},B_n)\ge βn$ for all sufficiently large $n$. This conjecture holds for every $α< 1/6$ by a result of Nikiforov and Rousseau from 2005, which says that in this range $r(B_{\lceilαn\rceil},B_n)=2n+3$ for all sufficiently large $n$.
We disprove the conjecture of Conlon, Fox and Wigderson. Indeed, we show that the random lower bound is asymptotically tight for every $1/4\leq α\leq 1$. Moreover, we show that for any $1/6\leq α\le 1/4$ and large $n$, $r(B_{\lceilαn\rceil}, B_n)\le\left(\frac 32+3α\right) n+o(n)$, where the inequality is asymptotically tight when $α=1/6$ or $1/4$. We also give a lower bound of $r(B_{\lceilαn\rceil}, B_n)$ for $1/6\leα< \frac{52-16\sqrt{3}}{121}\approx0.2007$, showing that the random lower bound is not tight, i.e., the conjecture of Conlon, Fox and Wigderson holds in this interval.
△ Less
Submitted 25 January, 2024; v1 submitted 8 June, 2023;
originally announced June 2023.
-
Decoupling Numerical Method Based on Deep Neural Network for Nonlinear Degenerate Interface Problems
Authors:
Chen Fan,
Zhiyue Zhang
Abstract:
Interface problems depict many fundamental physical phenomena and widely apply in the engineering. However, it is challenging to develop efficient fully decoupled numerical methods for solving degenerate interface problems in which the coefficient of a PDE is discontinuous and greater than or equal to zero on the interface. The main motivation in this paper is to construct fully decoupled numerica…
▽ More
Interface problems depict many fundamental physical phenomena and widely apply in the engineering. However, it is challenging to develop efficient fully decoupled numerical methods for solving degenerate interface problems in which the coefficient of a PDE is discontinuous and greater than or equal to zero on the interface. The main motivation in this paper is to construct fully decoupled numerical methods for solving nonlinear degenerate interface problems with ``double singularities". An efficient fully decoupled numerical method is proposed for nonlinear degenerate interface problems. The scheme combines deep neural network on the singular subdomain with finite difference method on the regular subdomain. The key of the new approach is to split nonlinear degenerate partial differential equation with interface into two independent boundary value problems based on deep learning. The outstanding advantages of the proposed schemes are that not only the convergence order of the degenerate interface problems on whole domain is determined by the finite difference scheme on the regular subdomain, but also can calculate $\mathbf{VERY}$ $\mathbf{BIG}$ jump ratio(such as $10^{12}:1$ or $1:10^{12}$) for the interface problems including degenerate and non-degenerate cases. The expansion of the solutions does not contains any undetermined parameters in the numerical method. In this way, two independent nonlinear systems are constructed in other subdomains and can be computed in parallel. The flexibility, accuracy and efficiency of the methods are validated from various experiments in both 1D and 2D. Specially, not only our method is suitable for solving degenerate interface case, but also for non-degenerate interface case. Some application examples with complicated multi-connected and sharp edge interface examples including degenerate and nondegenerate cases are also presented.
△ Less
Submitted 4 June, 2023;
originally announced June 2023.
-
BiSLS/SPS: Auto-tune Step Sizes for Stable Bi-level Optimization
Authors:
Chen Fan,
Gaspard Choné-Ducasse,
Mark Schmidt,
Christos Thrampoulidis
Abstract:
The popularity of bi-level optimization (BO) in deep learning has spurred a growing interest in studying gradient-based BO algorithms. However, existing algorithms involve two coupled learning rates that can be affected by approximation errors when computing hypergradients, making careful fine-tuning necessary to ensure fast convergence. To alleviate this issue, we investigate the use of recently…
▽ More
The popularity of bi-level optimization (BO) in deep learning has spurred a growing interest in studying gradient-based BO algorithms. However, existing algorithms involve two coupled learning rates that can be affected by approximation errors when computing hypergradients, making careful fine-tuning necessary to ensure fast convergence. To alleviate this issue, we investigate the use of recently proposed adaptive step-size methods, namely stochastic line search (SLS) and stochastic Polyak step size (SPS), for computing both the upper and lower-level learning rates. First, we revisit the use of SLS and SPS in single-level optimization without the additional interpolation condition that is typically assumed in prior works. For such settings, we investigate new variants of SLS and SPS that improve upon existing suggestions in the literature and are simpler to implement. Importantly, these two variants can be seen as special instances of general family of methods with an envelope-type step-size. This unified envelope strategy allows for the extension of the algorithms and their convergence guarantees to BO settings. Finally, our extensive experiments demonstrate that the new algorithms, which are available in both SGD and Adam versions, can find large learning rates with minimal tuning and converge faster than corresponding vanilla SGD or Adam BO algorithms that require fine-tuning.
△ Less
Submitted 2 November, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning
Authors:
Oswin So,
Chuchu Fan
Abstract:
Tasks for autonomous robotic systems commonly require stabilization to a desired region while maintaining safety specifications. However, solving this multi-objective problem is challenging when the dynamics are nonlinear and high-dimensional, as traditional methods do not scale well and are often limited to specific problem structures. To address this issue, we propose a novel approach to solve t…
▽ More
Tasks for autonomous robotic systems commonly require stabilization to a desired region while maintaining safety specifications. However, solving this multi-objective problem is challenging when the dynamics are nonlinear and high-dimensional, as traditional methods do not scale well and are often limited to specific problem structures. To address this issue, we propose a novel approach to solve the stabilize-avoid problem via the solution of an infinite-horizon constrained optimal control problem (OCP). We transform the constrained OCP into epigraph form and obtain a two-stage optimization problem that optimizes over the policy in the inner problem and over an auxiliary variable in the outer problem. We then propose a new method for this formulation that combines an on-policy deep reinforcement learning algorithm with neural network regression. Our method yields better stability during training, avoids instabilities caused by saddle-point finding, and is not restricted to specific requirements on the problem structure compared to more traditional methods. We validate our approach on different benchmark tasks, ranging from low-dimensional toy examples to an F16 fighter jet with a 17-dimensional state space. Simulation results show that our approach consistently yields controllers that match or exceed the safety of existing methods while providing ten-fold increases in stability performance from larger regions of attraction.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Fast Convergence of Random Reshuffling under Over-Parameterization and the Polyak-Łojasiewicz Condition
Authors:
Chen Fan,
Christos Thrampoulidis,
Mark Schmidt
Abstract:
Modern machine learning models are often over-parameterized and as a result they can interpolate the training data. Under such a scenario, we study the convergence properties of a sampling-without-replacement variant of stochastic gradient descent (SGD) known as random reshuffling (RR). Unlike SGD that samples data with replacement at every iteration, RR chooses a random permutation of data at the…
▽ More
Modern machine learning models are often over-parameterized and as a result they can interpolate the training data. Under such a scenario, we study the convergence properties of a sampling-without-replacement variant of stochastic gradient descent (SGD) known as random reshuffling (RR). Unlike SGD that samples data with replacement at every iteration, RR chooses a random permutation of data at the beginning of each epoch and each iteration chooses the next sample from the permutation. For under-parameterized models, it has been shown RR can converge faster than SGD under certain assumptions. However, previous works do not show that RR outperforms SGD in over-parameterized settings except in some highly-restrictive scenarios. For the class of Polyak-Łojasiewicz (PL) functions, we show that RR can outperform SGD in over-parameterized settings when either one of the following holds: (i) the number of samples ($n$) is less than the product of the condition number ($κ$) and the parameter ($α$) of a weak growth condition (WGC), or (ii) $n$ is less than the parameter ($ρ$) of a strong growth condition (SGC).
△ Less
Submitted 2 April, 2023;
originally announced April 2023.
-
On decaying properties of nonlinear Schrödinger equations
Authors:
Chenjie Fan,
Gigliola Staffilani,
Zehua Zhao
Abstract:
In this paper we discuss quantitative (pointwise) decay estimates for solutions to the 3D cubic defocusing Nonlinear Schrödinger equation with various initial data, deterministic and random. We show that nonlinear solutions enjoy the same decay rate as the linear ones. The regularity assumption on the initial data is much lower than in previous results (see \cite{fan2021decay} and the references t…
▽ More
In this paper we discuss quantitative (pointwise) decay estimates for solutions to the 3D cubic defocusing Nonlinear Schrödinger equation with various initial data, deterministic and random. We show that nonlinear solutions enjoy the same decay rate as the linear ones. The regularity assumption on the initial data is much lower than in previous results (see \cite{fan2021decay} and the references therein) and moreover we quantify the decay, which is another novelty of this work. Furthermore, we show that the (physical) randomization of the initial data can be used to replace the $L^1$-data assumption (see \cite{fan2022note} for the necessity of the $L^1$-data assumption). At last, we note that this method can be also applied to derive decay estimates for other nonlinear dispersive equations.
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Schatten and Sobolev Estimates for Green Operators on Compact Heisenberg Manifolds
Authors:
Colin Fan
Abstract:
Let $M = Γ\setminus \mathbb{H}_d$ be a compact quotient of the $d$-dimensional Heisenberg group $\mathbb{H}_d$ by a lattice subgroup $Γ$. We give Schatten and Sobolev estimates for the Green operator $\mathcal{G}_α$ associated to a fixed element of a family of second order differential operators $\left\{ \mathcal{L}_α\right\}$ on $M$. In particular, it follows that the Kohn Laplacian on functions…
▽ More
Let $M = Γ\setminus \mathbb{H}_d$ be a compact quotient of the $d$-dimensional Heisenberg group $\mathbb{H}_d$ by a lattice subgroup $Γ$. We give Schatten and Sobolev estimates for the Green operator $\mathcal{G}_α$ associated to a fixed element of a family of second order differential operators $\left\{ \mathcal{L}_α\right\}$ on $M$. In particular, it follows that the Kohn Laplacian on functions on $M$ is subelliptic. Our main tool is Folland's description of the spectrum of $\mathcal{L}_α$.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Spectral Analysis of the Kohn Laplacian on Lens Spaces
Authors:
Colin Fan,
Elena Kim,
Ian Shors,
Zoe Plzak,
Samuel Sottile,
Yunus E. Zeytuncu
Abstract:
We obtain an analog of Weyl's law for the Kohn Laplacian on lens spaces. We also show that two 3-dimensional lens spaces with fundamental groups of equal prime order are isospectral with respect to the Kohn Laplacian if and only if they are CR isometric.
We obtain an analog of Weyl's law for the Kohn Laplacian on lens spaces. We also show that two 3-dimensional lens spaces with fundamental groups of equal prime order are isospectral with respect to the Kohn Laplacian if and only if they are CR isometric.
△ Less
Submitted 28 June, 2022;
originally announced June 2022.
-
FedBC: Calibrating Global and Local Models via Federated Learning Beyond Consensus
Authors:
Amrit Singh Bedi,
Chen Fan,
Alec Koppel,
Anit Kumar Sahu,
Brian M. Sadler,
Furong Huang,
Dinesh Manocha
Abstract:
In this work, we quantitatively calibrate the performance of global and local models in federated learning through a multi-criterion optimization-based framework, which we cast as a constrained program. The objective of a device is its local objective, which it seeks to minimize while satisfying nonlinear constraints that quantify the proximity between the local and the global model. By considerin…
▽ More
In this work, we quantitatively calibrate the performance of global and local models in federated learning through a multi-criterion optimization-based framework, which we cast as a constrained program. The objective of a device is its local objective, which it seeks to minimize while satisfying nonlinear constraints that quantify the proximity between the local and the global model. By considering the Lagrangian relaxation of this problem, we develop a novel primal-dual method called Federated Learning Beyond Consensus (\texttt{FedBC}). Theoretically, we establish that \texttt{FedBC} converges to a first-order stationary point at rates that matches the state of the art, up to an additional error term that depends on a tolerance parameter introduced to scalarize the multi-criterion formulation. Finally, we demonstrate that \texttt{FedBC} balances the global and local model test accuracy metrics across a suite of datasets (Synthetic, MNIST, CIFAR-10, Shakespeare), achieving competitive performance with state-of-the-art.
△ Less
Submitted 1 February, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
Ramsey non-goodness involving books
Authors:
Chunchao Fan,
Qizhong Lin
Abstract:
In 1983, Burr and Erdős initiated the study of Ramsey goodness problems.Nikiforov and Rousseau (2009) resolved almost all goodness questions raised by Burr and Erdős, in which the bounds on the parameters are of tower type since their proofs rely on the regularity lemma. Let $B_{k,n}$ be the book graph on $n$ vertices which consists of $n-k$ copies of $K_{k+1}$ all sharing a common $K_k$, and let…
▽ More
In 1983, Burr and Erdős initiated the study of Ramsey goodness problems.Nikiforov and Rousseau (2009) resolved almost all goodness questions raised by Burr and Erdős, in which the bounds on the parameters are of tower type since their proofs rely on the regularity lemma. Let $B_{k,n}$ be the book graph on $n$ vertices which consists of $n-k$ copies of $K_{k+1}$ all sharing a common $K_k$, and let $H=K_p(a_1,\dots,a_{p})$ be the complete $p$-partite graph with parts of sizes $a_1,\dots,a_{p}$.
Recently, avoiding use of the regularity lemma, Fox, He and Wigderson (2021) revisit several Ramsey goodness results involving books. They comment that it would be very interesting to see how far one can push these ideas. In particular, they conjecture that for all integers $k, p, t\ge 2$, there exists some $δ>0$ such that for all $n\ge 1$, $1\leq a_1\le\cdots\le a_{p-1}\le t$ and $a_p \le δn$, we have $r(H, B_{k,n})= (p-1)(n-1)+d_k(n,K_{a_1,a_2})+1,$ where $d_k(n,K_{a_1,a_2})$ is the maximum $d$ for which there is an $(n+d-1)$-vertex $K_{a_1,a_2}$-free graph in which at most $k-1$ vertices have degree less than $d$.They verify the conjecture when $a_1=a_2=1$.
Building upon the work of Fox et al. (2021), we make a substantial step by showing that the conjecture "roughly" holds if $a_1=1$ and $a_2|(n-1-k)$, i.e. $a_2$ divides $n-1-k$. Moreover, avoiding use of the regularity lemma, we prove that for every $k, a\geq 1$ and $p\ge2$, there exists $δ>0$ such that for all large $n$ and $b\le δ\ln n$, $r(K_p(1,a,b,\dots,b), B_{k,n})= (p-1)(n-1)+k(p-1)(a-1)+1$ if $a|(n-1-k)$, where the case when $a=1$ has been proved by Nikiforov and Rousseau (2009) using the regularity lemma. The bounds on $1/δ$ we obtain are not of tower-type since our proofs do not rely on the regularity lemma.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
A note on decay property of nonlinear Schrödinger equations
Authors:
Chenjie Fan,
Zehua Zhao
Abstract:
In this note, we show the existence of a special solution $u$ to defocusing cubic NLS in $3d$, which lives in $H^{s}$ for all $s>0$, but scatters to a linear solution in a very slow way. We prove for this $u$, for all $ε>0$, one has $\sup_{t>0}t^ε\|u(t)-e^{itΔ}u^{+}\|_{\dot{H}^{1/2}}=\infty$. Note that such a slow asymptotic convergence is impossible if one further pose the initial data of $u(0)$…
▽ More
In this note, we show the existence of a special solution $u$ to defocusing cubic NLS in $3d$, which lives in $H^{s}$ for all $s>0$, but scatters to a linear solution in a very slow way. We prove for this $u$, for all $ε>0$, one has $\sup_{t>0}t^ε\|u(t)-e^{itΔ}u^{+}\|_{\dot{H}^{1/2}}=\infty$. Note that such a slow asymptotic convergence is impossible if one further pose the initial data of $u(0)$ be in $L^{1}$. We expect that similar construction hold the for other NLS models. It can been seen the slow convergence is caused by the fact that there are delayed backward scattering profile in the initial data, we also illustrate why $L^{1}$ condition of initial data will get rid of this phenomena.
△ Less
Submitted 22 May, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
Long time behavior of stochastic NLS with a small multiplicative noise
Authors:
Chenjie Fan,
Weijun Xu,
Zehua Zhao
Abstract:
We prove the global space-time bound for the mass critical nonlinear Schrödinger equation perturbed by a small multiplicative noise in dimension three. The associated scattering behavior are also obtained. We also prove a global Strichartz space-time bound for the linear stochastic model, which is new itself and serves a prototype model for the nonlinear case. The proof combines techniques from \c…
▽ More
We prove the global space-time bound for the mass critical nonlinear Schrödinger equation perturbed by a small multiplicative noise in dimension three. The associated scattering behavior are also obtained. We also prove a global Strichartz space-time bound for the linear stochastic model, which is new itself and serves a prototype model for the nonlinear case. The proof combines techniques from \cite{fan2018global}, \cite{fan2020long} as well as local smoothing estimates for linear Schrödinger operators.
△ Less
Submitted 18 December, 2021; v1 submitted 13 November, 2021;
originally announced November 2021.
-
A Theoretical Overview of Neural Contraction Metrics for Learning-based Control with Guaranteed Stability
Authors:
Hiroyasu Tsukamoto,
Soon-Jo Chung,
Jean-Jacques Slotine,
Chuchu Fan
Abstract:
This paper presents a theoretical overview of a Neural Contraction Metric (NCM): a neural network model of an optimal contraction metric and corresponding differential Lyapunov function, the existence of which is a necessary and sufficient condition for incremental exponential stability of non-autonomous nonlinear system trajectories. Its innovation lies in providing formal robustness guarantees f…
▽ More
This paper presents a theoretical overview of a Neural Contraction Metric (NCM): a neural network model of an optimal contraction metric and corresponding differential Lyapunov function, the existence of which is a necessary and sufficient condition for incremental exponential stability of non-autonomous nonlinear system trajectories. Its innovation lies in providing formal robustness guarantees for learning-based control frameworks, utilizing contraction theory as an analytical tool to study the nonlinear stability of learned systems via convex optimization. In particular, we rigorously show in this paper that, by regarding modeling errors of the learning schemes as external disturbances, the NCM control is capable of obtaining an explicit bound on the distance between a time-varying target trajectory and perturbed solution trajectories, which exponentially decreases with time even under the presence of deterministic and stochastic perturbation. These useful features permit simultaneous synthesis of a contraction metric and associated control law by a neural network, thereby enabling real-time computable and probably robust learning-based control for general control-affine nonlinear systems.
△ Less
Submitted 1 October, 2021;
originally announced October 2021.
-
A Tauberian Approach to an Analog of Weyl's law for the Kohn Laplacian on Compact Heisenberg Manifolds
Authors:
Colin Fan,
Elena Kim,
Yunus E. Zeytuncu
Abstract:
Let $M= Γ\setminus \mathbb{H}_d$ be a compact quotient of the $d$-dimensional Heisenberg group $\mathbb{H}_d$ by a lattice subgroup $Γ$. We show that the eigenvalue counting function $N(λ)$ for any fixed element of a family of second order differential operators $\left\{\mathcal{L}_α\right\}$ on $M$ has asymptotic behavior $N\left(λ\right) \sim C_{d,α} \operatorname{vol}\left(M\right) λ^{d + 1}$,…
▽ More
Let $M= Γ\setminus \mathbb{H}_d$ be a compact quotient of the $d$-dimensional Heisenberg group $\mathbb{H}_d$ by a lattice subgroup $Γ$. We show that the eigenvalue counting function $N(λ)$ for any fixed element of a family of second order differential operators $\left\{\mathcal{L}_α\right\}$ on $M$ has asymptotic behavior $N\left(λ\right) \sim C_{d,α} \operatorname{vol}\left(M\right) λ^{d + 1}$, where $C_{d,α}$ is a constant that only depends on the dimension $d$ and the parameter $α$. As a consequence, we obtain an analog of Weyl's law (both on functions and forms) for the Kohn Laplacian on $M$. Our main tools are Folland's description of the spectrum of $\mathcal{L}_α$ and Karamata's Tauberian theorem.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
A note on log-log blow up solutions for stochastic nonlinear Schrödinger equations
Authors:
Chenjie Fan,
Yiming Su,
Deng Zhang
Abstract:
In this short note, we present a construction for the log-log blow up solutions to focusing mass-critical stochastic nonlinear Schröidnger equations with multiplicative noises. The solution is understood in the sense of controlled rough path as in \cite{SZ20}.
In this short note, we present a construction for the log-log blow up solutions to focusing mass-critical stochastic nonlinear Schröidnger equations with multiplicative noises. The solution is understood in the sense of controlled rough path as in \cite{SZ20}.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
On long time behavior for stochastic nonlinear Schrödinger equations with a multiplicative noise
Authors:
Chenjie Fan,
Zehua Zhao
Abstract:
In this article, we study Stochastic mass critical nonlinear Schrödinger equations with a multiplicative noise in 3D with a slight time decay ($\langle t \rangle^{-ε}$), and prove associated space-time bound and scattering behavior.
In this article, we study Stochastic mass critical nonlinear Schrödinger equations with a multiplicative noise in 3D with a slight time decay ($\langle t \rangle^{-ε}$), and prove associated space-time bound and scattering behavior.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
Construction of $L^2$ log-log blowup solutions for the mass critical nonlinear Schrödinger equation
Authors:
Chenjie Fan,
Dana Mendelson
Abstract:
In this article, we study the log-log blowup dynamics for the mass critical nonlinear Schrödinger equation on $\mathbb{R}^{2}$ under rough but structured random perturbations at $L^{2}(\mathbb{R}^2)$ regularity. In particular, by employing probabilistic methods, we provide a construction of a family of $L^{2}(\mathbb{R}^2)$ regularity solutions which do not lie in any $H^{s}(\mathbb{R}^2)$ for any…
▽ More
In this article, we study the log-log blowup dynamics for the mass critical nonlinear Schrödinger equation on $\mathbb{R}^{2}$ under rough but structured random perturbations at $L^{2}(\mathbb{R}^2)$ regularity. In particular, by employing probabilistic methods, we provide a construction of a family of $L^{2}(\mathbb{R}^2)$ regularity solutions which do not lie in any $H^{s}(\mathbb{R}^2)$ for any $s>0$, and which blowup according to the log-log dynamics.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Decay estimates for nonlinear Schrödinger equations
Authors:
Chenjie Fan,
Zehua Zhao
Abstract:
In this short note, we present some decay estimates for nonlinear solutions of 3d quintic, 3d cubic and 2d quintic NLS (nonlinear Schrödinger equations).
In this short note, we present some decay estimates for nonlinear solutions of 3d quintic, 3d cubic and 2d quintic NLS (nonlinear Schrödinger equations).
△ Less
Submitted 24 August, 2020; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Projection Robust Wasserstein Distance and Riemannian Optimization
Authors:
Tianyi Lin,
Chenyou Fan,
Nhat Ho,
Marco Cuturi,
Michael I. Jordan
Abstract:
Projection robust Wasserstein (PRW) distance, or Wasserstein projection pursuit (WPP), is a robust variant of the Wasserstein distance. Recent work suggests that this quantity is more robust than the standard Wasserstein distance, in particular when comparing probability measures in high-dimensions. However, it is ruled out for practical application because the optimization model is essentially no…
▽ More
Projection robust Wasserstein (PRW) distance, or Wasserstein projection pursuit (WPP), is a robust variant of the Wasserstein distance. Recent work suggests that this quantity is more robust than the standard Wasserstein distance, in particular when comparing probability measures in high-dimensions. However, it is ruled out for practical application because the optimization model is essentially non-convex and non-smooth which makes the computation intractable. Our contribution in this paper is to revisit the original motivation behind WPP/PRW, but take the hard route of showing that, despite its non-convexity and lack of nonsmoothness, and even despite some hardness results proved by~\citet{Niles-2019-Estimation} in a minimax sense, the original formulation for PRW/WPP \textit{can} be efficiently computed in practice using Riemannian optimization, yielding in relevant cases better behavior than its convex relaxation. More specifically, we provide three simple algorithms with solid theoretical guarantee on their complexity bound (one in the appendix), and demonstrate their effectiveness and efficiency by conducing extensive experiments on synthetic and real data. This paper provides a first step into a computational theory of the PRW distance and provides the links between optimal transport and Riemannian optimization.
△ Less
Submitted 1 January, 2023; v1 submitted 12 June, 2020;
originally announced June 2020.
-
Infinite families of $2$-designs from a class of linear codes related to Dembowski-Ostrom functions
Authors:
Rong Wang,
Xiaoni Du,
Cuiling Fan,
Zhihua Niu
Abstract:
Due to their important applications to coding theory, cryptography, communications and statistics, combinatorial $t$-designs have been attracted lots of research interest for decades. The interplay between coding theory and $t$-designs has on going for many years. As we all known, $t$-designs can be used to derive linear codes over any finite field, as well as the supports of all codewords with a…
▽ More
Due to their important applications to coding theory, cryptography, communications and statistics, combinatorial $t$-designs have been attracted lots of research interest for decades. The interplay between coding theory and $t$-designs has on going for many years. As we all known, $t$-designs can be used to derive linear codes over any finite field, as well as the supports of all codewords with a fixed weight in a code also may hold a $t$-design. In this paper, we first construct a class of linear codes from cyclic codes related to Dembowski-Ostrom functions. By using exponential sums, we then determine the weight distribution of the linear codes. Finally, we obtain infinite families of $2$-designs from the supports of all codewords with a fixed weight in these codes. Furthermore, the parameters of $2$-designs are calculated explicitly.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
Infinite families of $2$-designs from a class of non-binary Kasami cyclic codes
Authors:
Rong Wang,
Xiaoni Du,
Cuiling Fan
Abstract:
Combinatorial $t$-designs have been an important research subject for many years, as they have wide applications in coding theory, cryptography, communications and statistics. The interplay between coding theory and $t$-designs has been attracted a lot of attention for both directions. It is well known that a linear code over any finite field can be derived from the incidence matrix of a $t$-desig…
▽ More
Combinatorial $t$-designs have been an important research subject for many years, as they have wide applications in coding theory, cryptography, communications and statistics. The interplay between coding theory and $t$-designs has been attracted a lot of attention for both directions. It is well known that a linear code over any finite field can be derived from the incidence matrix of a $t$-design, meanwhile, that the supports of all codewords with a fixed weight in a code also may hold a $t$-design. In this paper, by determining the weight distribution of a class of linear codes derived from non-binary Kasami cyclic codes, we obtain infinite families of $2$-designs from the supports of all codewords with a fixed weight in these codes, and calculate their parameters explicitly.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
2D-Defocusing Nonlinear Schrödinger Equation with Random Data on Irrational Tori
Authors:
Chenjie Fan,
Yumeng Ou,
Gigliola Staffilani,
Hong Wang
Abstract:
We revisit the work of Bourgain on the invariance of the Gibbs measure for the cubic, defocusing nonlinear Schrödinger equation in 2D on a square torus, and we prove the equivalent result on any tori.
We revisit the work of Bourgain on the invariance of the Gibbs measure for the cubic, defocusing nonlinear Schrödinger equation in 2D on a square torus, and we prove the equivalent result on any tori.
△ Less
Submitted 7 October, 2019;
originally announced October 2019.
-
A Wong-Zakai theorem for the stochastic mass critical NLS
Authors:
Chenjie Fan,
Weijun Xu
Abstract:
We prove a Wong-Zakai theorem for the defocusing mass-critical stochastic nonlinear Schrödinger equation (NLS) on $\mathbb{R}$. The main ingredient are careful mixtures of bootstrapping arguments at both deterministic and stochastic levels. Several subtleties arising from the proof mark the difference between the dispersive case and corresponding situations in SDEs and parabolic stochastic PDEs, a…
▽ More
We prove a Wong-Zakai theorem for the defocusing mass-critical stochastic nonlinear Schrödinger equation (NLS) on $\mathbb{R}$. The main ingredient are careful mixtures of bootstrapping arguments at both deterministic and stochastic levels. Several subtleties arising from the proof mark the difference between the dispersive case and corresponding situations in SDEs and parabolic stochastic PDEs, as well as the difference between the large-$n$ case and the limiting ($n=\infty$) case.
△ Less
Submitted 17 January, 2021; v1 submitted 15 June, 2019;
originally announced June 2019.
-
Infinite families of $2$-designs from a class of cyclic codes with two non-zeros
Authors:
Xiaoni Du,
Rong Wang,
Cuiling Fan
Abstract:
Combinatorial $t$-designs have wide applications in coding theory, cryptography, communications and statistics. It is well known that the supports of all codewords with a fixed weight in a code may give a $t$-design. In this paper, we first determine the weight distribution of a class of linear codes derived from the dual of extended cyclic code with two non-zeros. We then obtain infinite families…
▽ More
Combinatorial $t$-designs have wide applications in coding theory, cryptography, communications and statistics. It is well known that the supports of all codewords with a fixed weight in a code may give a $t$-design. In this paper, we first determine the weight distribution of a class of linear codes derived from the dual of extended cyclic code with two non-zeros. We then obtain infinite families of $2$-designs and explicitly compute their parameters from the supports of all the codewords with a fixed weight in the codes. By simple counting argument, we obtain exponentially many $2$-designs.
△ Less
Submitted 7 April, 2019;
originally announced April 2019.
-
Decay of the stochastic linear Schrödinger equation in $d \geq 3$ with small multiplicative noise
Authors:
Chenjie Fan,
Weijun Xu
Abstract:
We give decay estimates of the solution to the linear Schrödinger equation in dimension $d \geq 3$ with a small noise which is white in time and colored in space. As a consequence, we also obtain certain asymptotic behaviour of the solution. The proof relies on the bootstrapping argument used by Journé-Soffer-Sogge for decay of deterministic Schrödinger operators.
We give decay estimates of the solution to the linear Schrödinger equation in dimension $d \geq 3$ with a small noise which is white in time and colored in space. As a consequence, we also obtain certain asymptotic behaviour of the solution. The proof relies on the bootstrapping argument used by Journé-Soffer-Sogge for decay of deterministic Schrödinger operators.
△ Less
Submitted 17 December, 2018;
originally announced December 2018.
-
Subcritical approximations to stochastic defocusing mass-critical nonlinear Schrödinger equation on $\mathbb{R}$
Authors:
Chenjie Fan,
Weijun Xu
Abstract:
We show robustness of various truncated and subcritical approximations to the stochastic defocusing mass-critical nonlinear Schrödinger equation (NLS) in dimension $d=1$, whose solution was constructed in [FX18] with one particular such approximation. The key ingredient in the proof is a uniform bound of the solutions to the family of deterministic mass-subcritical defocusing NLS.
We show robustness of various truncated and subcritical approximations to the stochastic defocusing mass-critical nonlinear Schrödinger equation (NLS) in dimension $d=1$, whose solution was constructed in [FX18] with one particular such approximation. The key ingredient in the proof is a uniform bound of the solutions to the family of deterministic mass-subcritical defocusing NLS.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
Global well-posedness for the defocusing mass-critical stochastic nonlinear Schrödinger equation on $\mathbb{R}$ at $L^2$ regularity
Authors:
Chenjie Fan,
Weijun Xu
Abstract:
We prove global existence and stability of solution to the mass-critical stochastic nonlinear Schrödinger equation in $d=1$ at $L^2$ regularity. Our construction starts with the existence of solution to the truncated subcritical problem. With the presence of truncation, we construct the solution to the critical equation as the limit of subcritical solutions. We then obtain uniform bounds on the so…
▽ More
We prove global existence and stability of solution to the mass-critical stochastic nonlinear Schrödinger equation in $d=1$ at $L^2$ regularity. Our construction starts with the existence of solution to the truncated subcritical problem. With the presence of truncation, we construct the solution to the critical equation as the limit of subcritical solutions. We then obtain uniform bounds on the solutions to the truncated critical problems that allow us to remove truncation in the limit.
△ Less
Submitted 18 October, 2018;
originally announced October 2018.
-
Global well-posedness for the mass-critical stochastic nonlinear Schrödinger equation on $\mathbb{R}$: general $L^2$ data
Authors:
Chenjie Fan,
Weijun Xu
Abstract:
We continue our study for the stochastic defocusing mass crtical nonlinear Schrödinger equation with conservative multiplicative noise, and show that it is globally well-posed for arbitrary initial data in $L_ω^{\infty}L_{x}^{2}$. The main ingredients are several stability type results for deterministic (modified) NLS, which have their own interest. We also give some results on other stochastic NL…
▽ More
We continue our study for the stochastic defocusing mass crtical nonlinear Schrödinger equation with conservative multiplicative noise, and show that it is globally well-posed for arbitrary initial data in $L_ω^{\infty}L_{x}^{2}$. The main ingredients are several stability type results for deterministic (modified) NLS, which have their own interest. We also give some results on other stochastic NLS type models.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
Improved Sample Complexity for Stochastic Compositional Variance Reduced Gradient
Authors:
Tianyi Lin,
Chenyou Fan,
Mengdi Wang,
Michael I. Jordan
Abstract:
Convex composition optimization is an emerging topic that covers a wide range of applications arising from stochastic optimal control, reinforcement learning and multi-stage stochastic programming. Existing algorithms suffer from unsatisfactory sample complexity and practical issues since they ignore the convexity structure in the algorithmic design. In this paper, we develop a new stochastic comp…
▽ More
Convex composition optimization is an emerging topic that covers a wide range of applications arising from stochastic optimal control, reinforcement learning and multi-stage stochastic programming. Existing algorithms suffer from unsatisfactory sample complexity and practical issues since they ignore the convexity structure in the algorithmic design. In this paper, we develop a new stochastic compositional variance-reduced gradient algorithm with the sample complexity of $O((m+n)\log(1/ε)+1/ε^3)$ where $m+n$ is the total number of samples. Our algorithm is near-optimal as the dependence on $m+n$ is optimal up to a logarithmic factor. Experimental results on real-world datasets demonstrate the effectiveness and efficiency of the new algorithm.
△ Less
Submitted 29 August, 2020; v1 submitted 1 June, 2018;
originally announced June 2018.
-
Global well-posedness for the mass-critical stochastic nonlinear Schrödinger equation on $\mathbb{R}$: small initial data
Authors:
Chenjie Fan,
Weijun Xu
Abstract:
We prove the global existence of solution to the small data mass critical stochastic nonlinear Schrödinger equation in $d=1$. We further show the stability of the solution under perturbation of initial data. Our construction starts with the existence of the solution to the truncated subcritical problem. We then obtain uniform bounds on these solutions that enable us to reach criticality and then r…
▽ More
We prove the global existence of solution to the small data mass critical stochastic nonlinear Schrödinger equation in $d=1$. We further show the stability of the solution under perturbation of initial data. Our construction starts with the existence of the solution to the truncated subcritical problem. We then obtain uniform bounds on these solutions that enable us to reach criticality and then remove the truncation.
△ Less
Submitted 24 August, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Improved Oracle Complexity of Variance Reduced Methods for Nonsmooth Convex Stochastic Composition Optimization
Authors:
Tianyi Lin,
Chenyou Fan,
Mengdi Wang
Abstract:
We consider the nonsmooth convex composition optimization problem where the objective is a composition of two finite-sum functions and analyze stochastic compositional variance reduced gradient (SCVRG) methods for them. SCVRG and its variants have recently drawn much attention given their edge over stochastic compositional gradient descent (SCGD); but the theoretical analysis exclusively assumes s…
▽ More
We consider the nonsmooth convex composition optimization problem where the objective is a composition of two finite-sum functions and analyze stochastic compositional variance reduced gradient (SCVRG) methods for them. SCVRG and its variants have recently drawn much attention given their edge over stochastic compositional gradient descent (SCGD); but the theoretical analysis exclusively assumes strong convexity of the objective, which excludes several important examples such as Lasso, logistic regression, principle component analysis and deep neural nets. In contrast, we prove non-asymptotic incremental first-order oracle (IFO) complexity of SCVRG or its novel variants for nonsmooth convex composition optimization and show that they are provably faster than SCGD and gradient descent. More specifically, our method achieves the total IFO complexity of $O\left((m+n)\log\left(1/ε\right)+1/ε^3\right)$ which improves that of $O\left(1/ε^{3.5}\right)$ and $O\left((m+n)/\sqrtε\right)$ obtained by SCGD and accelerated gradient descent (AGD) respectively. Experimental results confirm that our methods outperform several existing methods, e.g., SCGD and AGD, on sparse mean-variance optimization problem.
△ Less
Submitted 30 July, 2019; v1 submitted 7 February, 2018;
originally announced February 2018.
-
On a bilinear Strichartz estimate on irrational tori and some application
Authors:
Chenjie Fan,
Gigliola Staffilani,
Hong Wang,
Bobby Wilson
Abstract:
We prove a bilinear Strichartz type estimate for irrational tori via a decoupling type argument, \cite{bourgain2014proof}, recovering and generalizing the result of \cite{de2006global}. As a corollary, we derive a global well-posedness result for the cubic defocusing NLS on two dimensional irrational tori with data of infinite energy.
We prove a bilinear Strichartz type estimate for irrational tori via a decoupling type argument, \cite{bourgain2014proof}, recovering and generalizing the result of \cite{de2006global}. As a corollary, we derive a global well-posedness result for the cubic defocusing NLS on two dimensional irrational tori with data of infinite energy.
△ Less
Submitted 20 December, 2017; v1 submitted 26 December, 2016;
originally announced December 2016.
-
The $L^{2}$ weak sequential convergence of radial mass critical NLS solutions with mass above the ground state
Authors:
Chenjie Fan
Abstract:
We study the non-scattering $L^{2}$ solution $u$ to the radial mass critical nonlinear Schrödinger equation with mass just above the ground state, and show that there exists a time sequence $\{t_{n}\}_{n}$, such that $u(t_{n})$ weakly converges to the ground state $Q$ up to scaling and phase transformation. We also give some partial results on the mass concentration of the minimal mass blow up sol…
▽ More
We study the non-scattering $L^{2}$ solution $u$ to the radial mass critical nonlinear Schrödinger equation with mass just above the ground state, and show that there exists a time sequence $\{t_{n}\}_{n}$, such that $u(t_{n})$ weakly converges to the ground state $Q$ up to scaling and phase transformation. We also give some partial results on the mass concentration of the minimal mass blow up solution.
△ Less
Submitted 14 July, 2016;
originally announced July 2016.
-
On a variational problem related to NLS on Hyperbolic space
Authors:
Chenjie Fan,
Peter Kleinhenz
Abstract:
Motivated by NLS, We study a variational problem on hyperbolic space. In particular, we compute its minimum value and we show the minimizer does not exist
Motivated by NLS, We study a variational problem on hyperbolic space. In particular, we compute its minimum value and we show the minimizer does not exist
△ Less
Submitted 11 January, 2016;
originally announced January 2016.
-
Log-log blow up solutions blow up at exactly m points
Authors:
Chenjie Fan
Abstract:
We study the focusing mass-critical nonlinear Schrödinger equation, and construct certain solutions which blow up at exactly $m$ points according to the log-log law.
We study the focusing mass-critical nonlinear Schrödinger equation, and construct certain solutions which blow up at exactly $m$ points according to the log-log law.
△ Less
Submitted 31 January, 2016; v1 submitted 4 October, 2015;
originally announced October 2015.
-
Bounded Verification with On-the-Fly Discrepancy Computation
Authors:
Chuchu Fan,
Sayan Mitra
Abstract:
Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations called discrepancy function, which are crucial for computing reachtubes from simulations. In this paper, we eliminate this requirement by presenting an algorithm for computing piece-wise exponential discrepancy functions. Th…
▽ More
Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations called discrepancy function, which are crucial for computing reachtubes from simulations. In this paper, we eliminate this requirement by presenting an algorithm for computing piece-wise exponential discrepancy functions. The algorithm relies on computing local convergence or divergence rates of trajectories along a simulation using a coarse over-approximation of the reach set and bounding the maximal eigenvalue of the Jacobian over this over-approximation. The resulting discrepancy function preserves the soundness and the relative completeness of the verification algorithm. We also provide a coordinate transformation method to improve the local estimates for the convergence or divergence rates in practical examples. We extend the method to get the input-to-state discrepancy of nonlinear dynamical systems which can be used for compositional analysis. Our experiments show that the approach is effective in terms of running time for several benchmark problems, scales reasonably to larger dimensional systems, and compares favorably with respect to available tools for nonlinear models.
△ Less
Submitted 6 February, 2015;
originally announced February 2015.
-
Convergence of eigenvalues to the support of the limiting measure in critical $β$ matrix models
Authors:
Chenjie Fan,
Alice Guionnet,
Yuqi Song,
Andi Wang
Abstract:
We consider the convergence of the eigenvalues to the support of the equilibrium measure in the $β$ ensemble models under a critical condition. We show a phase transition phenomenon, namely that, with probability one, all eigenvalues will fall in the support of the limiting spectral measure when $β>1$, whereas this fails when $β<1$.
We consider the convergence of the eigenvalues to the support of the equilibrium measure in the $β$ ensemble models under a critical condition. We show a phase transition phenomenon, namely that, with probability one, all eigenvalues will fall in the support of the limiting spectral measure when $β>1$, whereas this fails when $β<1$.
△ Less
Submitted 27 May, 2015; v1 submitted 7 February, 2014;
originally announced February 2014.