-
On the refined analyticity radius of 3-D generalized Navier-Stokes equations
Authors:
Dong Li,
** Zhang
Abstract:
We analyze the instantaneous growth of analyticity radius for three dimensional generalized Navier-Stokes equations. For the subcritical $H^γ(\mathbb R^3)$ case with $γ>\frac12,$ we prove that there exists a positive time $t_0$ so that for any $t\in]0, t_0]$, the radius of analyticity of the solution $u$ satisfies the pointwise-in-time lower bound…
▽ More
We analyze the instantaneous growth of analyticity radius for three dimensional generalized Navier-Stokes equations. For the subcritical $H^γ(\mathbb R^3)$ case with $γ>\frac12,$ we prove that there exists a positive time $t_0$ so that for any $t\in]0, t_0]$, the radius of analyticity of the solution $u$ satisfies the pointwise-in-time lower bound $${\mathrm{rad}}(u)(t)\ge \sqrt{(2γ-1)t\bigl(|\ln t|+\ln|\ln t|+K_t\bigr)},$$ where $K_t \to \infty$ as $t\to 0^+$. This in particular gives a nontrivial improvement of the previous result by Herbst and Skibsted in \cite{HS} for the case $γ\in ]1/2,3/2[$ and also settles the decade-long open question in \cite{HS}, namely, whether or not
$\liminf_{t\to 0^+}\frac {\mathrm{ rad}(u)(t)}{\sqrt{t|\ln t|}}\ge \sqrt{2γ-1}$ for all $γ\ge \frac32$. For the critical case $H^{\frac 12}(\mathbb R^3)$, we prove that there exists $t_1>0$ so that for any $t\in ]0, t_1],$ ${\mathrm {rad}}(u)(t)\ge λ(t)\sqrt{t}$ with $λ(t)$ satisfying $\lim_{t\to 0^+}λ(t)=\infty.$
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
Global stability of large Fourier mode for 3-D anisotropic Navier-Stokes equations in cylindrical domain
Authors:
Ning Liu,
Yanlin Liu,
** Zhang
Abstract:
In this paper, we first establish the global existence and stability of solutions to 3-D classical Navier-Stokes equations $(NS)$ in an infinite cylindrical domain with large Fourier mode initial data. Then we extend similar result for 3-D anisotropic Navier-Stokes equations $(ANS).$ We remark that due to the loss of vertical viscosity in $(ANS),$ the construction of the energy functionals for…
▽ More
In this paper, we first establish the global existence and stability of solutions to 3-D classical Navier-Stokes equations $(NS)$ in an infinite cylindrical domain with large Fourier mode initial data. Then we extend similar result for 3-D anisotropic Navier-Stokes equations $(ANS).$ We remark that due to the loss of vertical viscosity in $(ANS),$ the construction of the energy functionals for $(ANS)$ is much more subtle than that of $(NS).$ Compared with our previous paper for $(NS)$, we improve the polynomial decay in $k$ for the Fourier coefficients of the solution to be exponential decay in $k$ here.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Policy Iteration for Exploratory Hamilton--Jacobi--Bellman Equations
Authors:
Hung Vinh Tran,
Zhenhua Wang,
Yuming Paul Zhang
Abstract:
We study the policy iteration algorithm (PIA) for entropy-regularized stochastic control problems on an infinite time horizon with a large discount rate, focusing on two main scenarios. First, we analyze PIA with bounded coefficients where the controls applied to the diffusion term satisfy a smallness condition. We demonstrate the convergence of PIA based on a uniform $\mathcal{C}^{2,α}$ estimate…
▽ More
We study the policy iteration algorithm (PIA) for entropy-regularized stochastic control problems on an infinite time horizon with a large discount rate, focusing on two main scenarios. First, we analyze PIA with bounded coefficients where the controls applied to the diffusion term satisfy a smallness condition. We demonstrate the convergence of PIA based on a uniform $\mathcal{C}^{2,α}$ estimate for the value sequence generated by PIA, and provide a quantitative convergence analysis for this scenario. Second, we investigate PIA with unbounded coefficients but no control over the diffusion term. In this scenario, we first provide the well-posedness of the exploratory Hamilton--Jacobi--Bellman equation with linear growth coefficients and polynomial growth reward function. By such a well-posedess result we achieve PIA's convergence by establishing a quantitative locally uniform $\mathcal{C}^{1,α}$ estimates for the generated value sequence.
△ Less
Submitted 2 July, 2024; v1 submitted 2 June, 2024;
originally announced June 2024.
-
The spreading of global solutions of chemotaxis systems with logistic source and consumption on $\mathbb{R}^{N}$
Authors:
Zulaihat Hassan,
Wenxian Shen,
Yuming Paul Zhang
Abstract:
This paper investigates the spreading properties of globally defined bounded positive solutions of a chemotaxis system featuring a logistic source and consumption: \[ \left\{ \begin{aligned} &\partial_tu=Δu - χ\nabla\cdot(u\nabla v)+ u(a-bu),\quad &(t,x)\in [0,\infty)\times\mathbb{R}^N, \\ &{τ\partial_tv}=Δv-uv,\quad & (t,x)\in [0,\infty)\times\mathbb{R}^N, \end{aligned} \right. \] where $u(t,x)$…
▽ More
This paper investigates the spreading properties of globally defined bounded positive solutions of a chemotaxis system featuring a logistic source and consumption: \[ \left\{ \begin{aligned} &\partial_tu=Δu - χ\nabla\cdot(u\nabla v)+ u(a-bu),\quad &(t,x)\in [0,\infty)\times\mathbb{R}^N, \\ &{τ\partial_tv}=Δv-uv,\quad & (t,x)\in [0,\infty)\times\mathbb{R}^N, \end{aligned} \right. \] where $u(t,x)$ represents the population density of a biological species, and $v(t,x)$ denotes the density of a chemical substance. Key findings of this study include: (i) the species spreads at least at the speed $c^*=2\sqrt a$ (equalling the speed when $v\equiv 0$), suggesting that the chemical substance does not hinder the spreading; (ii) the chemical substance does not induce infinitely fast spreading of $u$; (iii) the spreading speed remains unaffected under conditions that $v(0,\cdot)$ decays spatially or $0<-χ\ll 1$ and $τ=1$. Additionally, our numerical simulations reveal a noteworthy phase transition in $χ$: for $v(0, \cdot)$ uniformly distributed across space, the spreading speed accelerates only when $χ$ surpasses a critical positive value.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
On (shape-)Wilf-equivalence of certain sets of (partially ordered) patterns
Authors:
Alexander Burstein,
Tian Han,
Sergey Kitaev,
Philip Zhang
Abstract:
We prove a conjecture of Gao and Kitaev on Wilf-equivalence of sets of patterns {12345,12354} and {45123,45213} that extends the list of 10 related conjectures proved in the literature in a series of papers. To achieve our goals, we prove generalized versions of shape-Wilf-equivalence results of Backelin, West, and Xin and use a particular result on shape-Wilf-equivalence of monotone patterns. We…
▽ More
We prove a conjecture of Gao and Kitaev on Wilf-equivalence of sets of patterns {12345,12354} and {45123,45213} that extends the list of 10 related conjectures proved in the literature in a series of papers. To achieve our goals, we prove generalized versions of shape-Wilf-equivalence results of Backelin, West, and Xin and use a particular result on shape-Wilf-equivalence of monotone patterns. We also derive general results on shape-Wilf-equivalence of certain classes of partially ordered patterns and use their specialization (also appearing in a paper by Bloom and Elizalde) as an essential piece in proving the conjecture. Our results allow us to show (shape-)Wilf-equivalence of large classes of sets of patterns, including 11 out of 12 classes found by Bean et al. in relation to the conjecture.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Characteristic Learning for Provable One Step Generation
Authors:
Zhao Ding,
Chenguang Duan,
Yuling Jiao,
Ruoxuan Li,
Jerry Zhijian Yang,
**wen Zhang
Abstract:
We propose the characteristic generator, a novel one-step generative model that combines the efficiency of sampling in Generative Adversarial Networks (GANs) with the stable performance of flow-based models. Our model is driven by characteristics, along which the probability density transport can be described by ordinary differential equations (ODEs). Specifically, We estimate the velocity field t…
▽ More
We propose the characteristic generator, a novel one-step generative model that combines the efficiency of sampling in Generative Adversarial Networks (GANs) with the stable performance of flow-based models. Our model is driven by characteristics, along which the probability density transport can be described by ordinary differential equations (ODEs). Specifically, We estimate the velocity field through nonparametric regression and utilize Euler method to solve the probability flow ODE, generating a series of discrete approximations to the characteristics. We then use a deep neural network to fit these characteristics, ensuring a one-step map** that effectively pushes the prior distribution towards the target distribution. In the theoretical aspect, we analyze the errors in velocity matching, Euler discretization, and characteristic fitting to establish a non-asymptotic convergence rate for the characteristic generator in 2-Wasserstein distance. To the best of our knowledge, this is the first thorough analysis for simulation-free one step generative models. Additionally, our analysis refines the error analysis of flow-based generative models in prior works. We apply our method on both synthetic and real datasets, and the results demonstrate that the characteristic generator achieves high generation quality with just a single evaluation of neural network.
△ Less
Submitted 2 July, 2024; v1 submitted 8 May, 2024;
originally announced May 2024.
-
Distributions of statistics on separable permutations
Authors:
Joanna N. Chen,
Sergey Kitaev,
Philip B. Zhang
Abstract:
We derive functional equations for distributions of six classical statistics (ascents, descents, left-to-right maxima, right-to-left maxima, left-to-right minima, and right-to-left minima) on separable and irreducible separable permutations. The equations are used to find a third degree equation for joint distribution of ascents and descents on separable permutations that generalizes the respectiv…
▽ More
We derive functional equations for distributions of six classical statistics (ascents, descents, left-to-right maxima, right-to-left maxima, left-to-right minima, and right-to-left minima) on separable and irreducible separable permutations. The equations are used to find a third degree equation for joint distribution of ascents and descents on separable permutations that generalizes the respective known result for the descent distribution. Moreover, our general functional equations allow us to derive explicitly (joint) distribution of any subset of maxima and minima statistics on irreducible, reducible and all separable permutations. In particular, there are two equivalence classes of distributions of a pair of maxima or minima statistics. Finally, we present three unimodality conjectures about distributions of statistics on separable permutations.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Irrational-window-filter projection method and application to quasiperiodic Schrödinger eigenproblems
Authors:
Kai Jiang,
Xueyang Li,
Yao Ma,
Juan Zhang,
**wen Zhang,
Qi Zhou
Abstract:
In this paper, we propose a new algorithm, the irrational-window-filter projection method (IWFPM), for solving arbitrary dimensional global quasiperiodic systems. Based on the projection method (PM), IWFPM further utilizes the concentrated distribution of Fourier coefficients to filter out relevant spectral points using an irrational window. Moreover, a corresponding index-shift transform is desig…
▽ More
In this paper, we propose a new algorithm, the irrational-window-filter projection method (IWFPM), for solving arbitrary dimensional global quasiperiodic systems. Based on the projection method (PM), IWFPM further utilizes the concentrated distribution of Fourier coefficients to filter out relevant spectral points using an irrational window. Moreover, a corresponding index-shift transform is designed to make the Fast Fourier Transform available. The corresponding error analysis on the function approximation level is also given. We apply IWFPM to 1D, 2D, and 3D quasiperiodic Schrödinger eigenproblems to demonstrate its accuracy and efficiency. IWFPM exhibits a significant computational advantage over PM for both extended and localized quantum states. Furthermore, the widespread existence of such spectral point distribution feature can endow IWFPM with significant potential for broader applications in quasiperiodic systems.
△ Less
Submitted 30 June, 2024; v1 submitted 6 April, 2024;
originally announced April 2024.
-
Converse theorems for Hilbert modular forms of higher level
Authors:
Pengcheng Zhang
Abstract:
We prove two results on converse theorems for Hilbert modular forms of higher level over totally real fields of degree $r>1$. The first result recovers a Hilbert modular form (of some level) from an $L$-series satisfying functional equations twisted by all the Hecke characters that are unramified at all finite places. The second result assumes both the above functional equations and an Euler produ…
▽ More
We prove two results on converse theorems for Hilbert modular forms of higher level over totally real fields of degree $r>1$. The first result recovers a Hilbert modular form (of some level) from an $L$-series satisfying functional equations twisted by all the Hecke characters that are unramified at all finite places. The second result assumes both the above functional equations and an Euler product, and recovers a Hilbert modular form of the expected level predicted by the shape of the functional equations.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
Counting Stars is Constant-Degree Optimal For Detecting Any Planted Subgraph
Authors:
Xifan Yu,
Ilias Zadik,
Peiyuan Zhang
Abstract:
We study the computational limits of the following general hypothesis testing problem. Let H=H_n be an \emph{arbitrary} undirected graph on n vertices. We study the detection task between a ``null'' Erdős-Rényi random graph G(n,p) and a ``planted'' random graph which is the union of G(n,p) together with a random copy of H=H_n. Our notion of planted model is a generalization of a plethora of recent…
▽ More
We study the computational limits of the following general hypothesis testing problem. Let H=H_n be an \emph{arbitrary} undirected graph on n vertices. We study the detection task between a ``null'' Erdős-Rényi random graph G(n,p) and a ``planted'' random graph which is the union of G(n,p) together with a random copy of H=H_n. Our notion of planted model is a generalization of a plethora of recently studied models initiated with the study of the planted clique model (Jerrum 1992), which corresponds to the special case where H is a k-clique and p=1/2.
Over the last decade, several papers have studied the power of low-degree polynomials for limited choices of H's in the above task. In this work, we adopt a unifying perspective and characterize the power of \emph{constant degree} polynomials for the detection task, when \emph{H=H_n is any arbitrary graph} and for \emph{any p=Ω(1).} Perhaps surprisingly, we prove that the optimal constant degree polynomial is always given by simply \emph{counting stars} in the input random graph. As a direct corollary, we conclude that the class of constant-degree polynomials is only able to ``sense'' the degree distribution of the planted graph H, and no other graph theoretic property of it.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Stable multivariate Narayana polynomials and labeled plane trees
Authors:
Harold R. L. Yang,
Philip B. Zhang
Abstract:
In this paper, we introduce stable multivariate generalizations of Narayana polynomials of type A and type B. We give an insertion algorithm for labeled plane trees and introduce the notion of improper edges. Our polynomials are multivariate generating polynomials of labeled plane trees and can be generated by a grammatical labeling based on a context-free grammar. Our proof of real stability uses…
▽ More
In this paper, we introduce stable multivariate generalizations of Narayana polynomials of type A and type B. We give an insertion algorithm for labeled plane trees and introduce the notion of improper edges. Our polynomials are multivariate generating polynomials of labeled plane trees and can be generated by a grammatical labeling based on a context-free grammar. Our proof of real stability uses a characterization of stable-preserving linear operators due to Borcea and Brändén. In particular, we get an alternative multivariate stable refinement of the second-order Eulerian polynomials, which is different from the one given by Haglund and Visontai.
△ Less
Submitted 8 April, 2024; v1 submitted 22 March, 2024;
originally announced March 2024.
-
Action Functional as an Early Warning Indicator in the Space of Probability Measures via Schrödinger Bridge
Authors:
Peng Zhang,
Ting Gao,
** Guo,
**qiao Duan
Abstract:
Critical transition and tip** phenomena between two meta-stable states in stochastic dynamical systems represents an important problem. In this work, we expand the methodology from the traditional Onsager-Machlup action functional, which typically identifies the most probable transition pathway between two meta-stable states, to investigate the evolutionary transition dynamics between two meta-s…
▽ More
Critical transition and tip** phenomena between two meta-stable states in stochastic dynamical systems represents an important problem. In this work, we expand the methodology from the traditional Onsager-Machlup action functional, which typically identifies the most probable transition pathway between two meta-stable states, to investigate the evolutionary transition dynamics between two meta-stable invariant sets. To address this, we incorporate a comprehensive framework derived from Schrödinger bridge and Optimal Transport. In contrast to existing methodologies such as statistical analysis, bifurcation theory, information theory, statistical physics, topology, and graph theory for early warning indicators, we introduce a novel perspective on early warning signals within the realm of probability measures which enables the development of indicators grounded in action functionals.
In order to validate our framework, we apply this methodology to the Morris-Lecar model, which exhibits the generation of the repetitive firing in certain neurons resulting from a saddle-node bifurcation on an invariant circle. By varying the current condition, we investigate the transition dynamics between a meta-stable state and a stable invariant set (the limit cycle or homo-clinic orbit) within Morris-Lecar model. Additionally, we analyze real Alzheimer's data from the ADNI database to explore early warning signals indicating the transition from healthy to pre-AD states. This framework not only expands the transition pathway to encompass measures between two specified densities on invariant sets but also demonstrates potential of early warning indicators or biomarkers in complex diseases.
△ Less
Submitted 8 May, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Convergence of Free Boundaries in the Incompressible Limit of Tumor Growth Models
Authors:
Jiajun Tong,
Yuming Paul Zhang
Abstract:
We investigate the general Porous Medium Equations with drift and source terms that model tumor growth. Incompressible limit of such models has been well-studied in the literature, where convergence of the density and pressure variables are established, while it remains unclear whether the free boundaries of the solutions exhibit convergence as well. In this paper, we provide an affirmative result…
▽ More
We investigate the general Porous Medium Equations with drift and source terms that model tumor growth. Incompressible limit of such models has been well-studied in the literature, where convergence of the density and pressure variables are established, while it remains unclear whether the free boundaries of the solutions exhibit convergence as well. In this paper, we provide an affirmative result by showing that the free boundaries converge in the Hausdorff distance in the incompressible limit. To achieve this, we quantify the relation between the free boundary motion and spatial average of the pressure, and establish a uniform-in-$m$ strict expansion property of the pressure supports. As a corollary, we derive upper bounds for the Hausdorff dimensions of the free boundaries and show that the limiting free boundary has finite $(d-1)$-dimensional Hausdorff measure.
△ Less
Submitted 9 March, 2024;
originally announced March 2024.
-
Chains of model structures arising from modules of finite Gorenstein dimension
Authors:
Nan Gao,
Xue-Song Lu,
Pu Zhang
Abstract:
For any integer $n\ge 0$ and any ring $R$, \ $(\mathcal {PGF}_n, \ \mathcal P_n^\perp \cap \mathcal {PGF}^{\perp})$ proves to be a complete hereditary cotorsion pair in $R$-Mod, where $\mathcal {PGF}$ is the class of PGF modules, introduced by J. Šaroch and J. Štovíček, and \ $\mathcal {PGF}_n$ is the class of $R$-modules of PGF dimension $\le n$. For any Artin algebra $R$, \…
▽ More
For any integer $n\ge 0$ and any ring $R$, \ $(\mathcal {PGF}_n, \ \mathcal P_n^\perp \cap \mathcal {PGF}^{\perp})$ proves to be a complete hereditary cotorsion pair in $R$-Mod, where $\mathcal {PGF}$ is the class of PGF modules, introduced by J. Šaroch and J. Štovíček, and \ $\mathcal {PGF}_n$ is the class of $R$-modules of PGF dimension $\le n$. For any Artin algebra $R$, \ $(\mathcal {GP}_n, \ \mathcal P_n^\perp \cap \mathcal {GP}^{\perp})$ proves to be a complete and hereditary cotorsion pair in $R$-Mod, where $\mathcal {GP}_n$ is the class of modules of Gorenstein projective dimension $\le n$. These cotorsion pairs induce two chains of hereditary Hovey triples \ $(\mathcal {PGF}_n, \ \mathcal P_n^\perp, \ \mathcal {PGF}^{\perp})$ and \ $(\mathcal {GP}_n, \ \mathcal P_n^\perp, \ \mathcal {GP}^{\perp})$, and the corresponding homotopy categories in the same chain are the same. It is observed that some complete cotorsion pairs in $R$-Mod can induce complete cotorsion pairs in some special extension closed subcategories of $R$-Mod. Then corresponding results in exact categories $\mathcal {PGF}_n$, \ $\mathcal {GP}_n$, \ $\mathcal {GF}_n$, \ $\mathcal {PGF}^{<\infty}$, \ $\mathcal {GP}^{<\infty}$ and $\mathcal {GF}^{<\infty}$, are also obtained. As a byproduct, $\mathcal{PGF} = \mathcal {GP}$ for a ring $R$ if and only if $\mathcal{PGF}^\perp\cap\mathcal{GP}_n=\mathcal P_n$ for some $n$.
△ Less
Submitted 26 May, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Understanding high-index saddle dynamics via numerical analysis
Authors:
Lei Zhang,
**wen Zhang,
Xiangcheng Zheng
Abstract:
High-index saddle dynamics (HiSD) serves as a competitive instrument in searching the any-index saddle points and constructing the solution landscape of complex systems. The Lagrangian multiplier terms in HiSD ensure the Stiefel manifold constraint, which, however, are dropped in the commonly-used discrete HiSD scheme and are replaced by an additional Gram-Schmidt orthonormalization. Though this s…
▽ More
High-index saddle dynamics (HiSD) serves as a competitive instrument in searching the any-index saddle points and constructing the solution landscape of complex systems. The Lagrangian multiplier terms in HiSD ensure the Stiefel manifold constraint, which, however, are dropped in the commonly-used discrete HiSD scheme and are replaced by an additional Gram-Schmidt orthonormalization. Though this scheme has been successfully applied in various fields, it is still unclear why the above modification does not affect its effectiveness. We recover the same form as HiSD from this scheme, which not only leads to error estimates naturally, but indicates that the mechanism of Stiefel manifold preservation by Lagrangian multiplier terms in HiSD is nearly a Gram-Schmidt process (such that the above modification is appropriate). The developed methods are further extended to analyze the more complicated constrained HiSD on high-dimensional sphere, which reveals more mechanisms of the constrained HiSD in preserving several manifold properties.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Quasi-neutral limit of Nernst-Planck-Navier-Stokes system
Authors:
** Zhang,
Yibin Zhang
Abstract:
In this paper, we investigate the quasi-neutral limit of Nernst-Planck-Navier-Stokes system in a smooth bounded domain $Ω$ of $\mathbb{R}^d$ for $d=2,3,$ with ``electroneutral boundary conditions" and well-prepared data. We first prove by using modulated energy estimate that the solution sequence converges to the limit system in the norm of $L^\infty((0,T);L^2(Ω))$ for some positive time $T.$ In o…
▽ More
In this paper, we investigate the quasi-neutral limit of Nernst-Planck-Navier-Stokes system in a smooth bounded domain $Ω$ of $\mathbb{R}^d$ for $d=2,3,$ with ``electroneutral boundary conditions" and well-prepared data. We first prove by using modulated energy estimate that the solution sequence converges to the limit system in the norm of $L^\infty((0,T);L^2(Ω))$ for some positive time $T.$ In order to justify the limit in a stronger norm, we need to construct both the initial layers and weak boundary layers in the approximate solutions.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
On the steadiness of symmetric solutions to two dimensional dispersive models
Authors:
Long Pei,
Fengyang Xiao,
Pan Zhang
Abstract:
In this paper, we consider the steadiness of symmetric solutions to two dispersive models in shallow water and hyperelastic mechanics, respectively. These models are derived previously in the two-dimensional setting and can be viewed as the generalization of the Camassa-Holm and Kadomtsev-Petviashvili equations. For these two models, we prove that symmetry of classical solutions implies steadiness…
▽ More
In this paper, we consider the steadiness of symmetric solutions to two dispersive models in shallow water and hyperelastic mechanics, respectively. These models are derived previously in the two-dimensional setting and can be viewed as the generalization of the Camassa-Holm and Kadomtsev-Petviashvili equations. For these two models, we prove that symmetry of classical solutions implies steadiness in the horizontal direction. We also confirm the such connection between symmetry and steadiness in weak formulation, which includes in particular the peaked solutions.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Gevrey well-posedness of quasi-linear hyperbolic Prandtl equations
Authors:
Wei-Xi Li,
Tong Yang,
** Zhang
Abstract:
We study the hyperbolic version of the Prandtl system derived from the hyperbolic Navier-Stokes system with no-slip boundary condition. Compared to the classical Prandtl system, the quasi-linear terms in the hyperbolic Prandtl equation leads to an additional instability mechanism. To overcome the loss of derivatives in all directions in the quasi-linear term, we introduce a new auxiliary function…
▽ More
We study the hyperbolic version of the Prandtl system derived from the hyperbolic Navier-Stokes system with no-slip boundary condition. Compared to the classical Prandtl system, the quasi-linear terms in the hyperbolic Prandtl equation leads to an additional instability mechanism. To overcome the loss of derivatives in all directions in the quasi-linear term, we introduce a new auxiliary function for the well-posedness of the system in an anisotropic Gevrey space which is Gevrey class $\frac 32$ in the tangential variable and is analytic in the normal variable.
△ Less
Submitted 20 January, 2024;
originally announced January 2024.
-
Model structure from one hereditary complete cortorsion pair
Authors:
Jian Cui,
Xue-Song Lu,
Pu Zhang
Abstract:
In contrast with the Hovey correspondence of abelian model structures from two complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from only one complete cotorsion pair. The aim of this paper is to extend this result to weakly idempotent complete exact categories, by adding the condition of heredity of the complete cotorsion pair. In fact,…
▽ More
In contrast with the Hovey correspondence of abelian model structures from two complete cotorsion pairs, Beligiannis and Reiten give a construction of model structures on abelian categories from only one complete cotorsion pair. The aim of this paper is to extend this result to weakly idempotent complete exact categories, by adding the condition of heredity of the complete cotorsion pair. In fact, even for abelian categories, this condition of heredity should be added. This construction really gives model structures which are not necessarily exact in the sense of Gillespie. The correspondence of Beligiannis and Reiten of weakly projective model structures also holds for weakly idempotent complete exact categories.
△ Less
Submitted 15 January, 2024;
originally announced January 2024.
-
On the global existence and uniqueness of solution to 2-D inhomogeneous incompressible Navier-Stokes equations in critical spaces
Authors:
Hammadi Abidi,
Guilong Gui,
** Zhang
Abstract:
In this paper, we establish the global existence and uniqueness of solution to $2$-D inhomogeneous incompressible Navier-Stokes equations \eqref{1.2} with initial data in the critical spaces. Precisely, under the assumption that the initial velocity $u_0$ in $L^2 \cap\dot B^{-1+\frac{2}{p}}_{p,1}$ and the initial density $ρ_0$ in $L^\infty$ and having a positive lower bound, which satisfies…
▽ More
In this paper, we establish the global existence and uniqueness of solution to $2$-D inhomogeneous incompressible Navier-Stokes equations \eqref{1.2} with initial data in the critical spaces. Precisely, under the assumption that the initial velocity $u_0$ in $L^2 \cap\dot B^{-1+\frac{2}{p}}_{p,1}$ and the initial density $ρ_0$ in $L^\infty$ and having a positive lower bound, which satisfies $1-ρ_0^{-1}\in \dot B^{\frac{2}λ}_{λ,2}\cap L^\infty,$ for $p\in[2,\infty[$ and $λ\in [1,\infty[$ with $\frac{1}{2}<\frac{1}{p}+\frac{1}λ\leq1,$ the system \eqref{1.2} has a global solution. The solution is unique if $p=2.$ With additional assumptions on the initial density in case $p>2,$ we can also prove the uniqueness of such solution. In particular, this result improves the previous work in \cite{AG2021} where $u_{0}$ belongs to $\dot{B}_{2,1}^{0}$ and $ρ_0^{-1}-1$ belongs to $\dot{ B}_{\frac{2}{\varepsilon},1}^{\varepsilon}$, and we also remove the assumption that the initial density is close enough to a positive constant in \cite{DW2023} yet with additional regularities on the initial density here.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
On the one time-varying component regularity criteria for 3-D Navier-Stokes equations
Authors:
Yanlin Liu,
** Zhang
Abstract:
In this paper, we consider the one time-varying component regularity criteria for local strong solution of 3-D Navier-Stokes equations. Precisely, if $β(t)$ is a piecewise $H^1$ unit vector from $[0,T] $ to $\Bbb{S}^2$ with finitely many jump discontinuities, we prove that if $\int_0^{T}\|u(t)\cdot β(t)\|_{\dot{H}^{\frac32}(\mathbb{R}^3)}^2\,dt<\infty,$ then the solution $u$ can be extended beyond…
▽ More
In this paper, we consider the one time-varying component regularity criteria for local strong solution of 3-D Navier-Stokes equations. Precisely, if $β(t)$ is a piecewise $H^1$ unit vector from $[0,T] $ to $\Bbb{S}^2$ with finitely many jump discontinuities, we prove that if $\int_0^{T}\|u(t)\cdot β(t)\|_{\dot{H}^{\frac32}(\mathbb{R}^3)}^2\,dt<\infty,$ then the solution $u$ can be extended beyond the time $T.$ Compared with the previous results concerning one-component regularity criteria, here the unit vector $β(t)$ varies with time variable.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Pinching estimates of hypersurfaces by a generalized Gauss curvature flow
Authors:
**rong Hu,
** Zhang
Abstract:
A variant of the Gauss curvature flow for closed and convex hypersurfaces is considered. We reveal that if the initial hypersurface is pinched enough, then this property is preserved. Furthermore, based on some structure assumptions on the speed function of the shrinking flow, we show that the flow converges to a sphere. This may generalize the result of B. Chow\cite{CW85} to the possible non-homo…
▽ More
A variant of the Gauss curvature flow for closed and convex hypersurfaces is considered. We reveal that if the initial hypersurface is pinched enough, then this property is preserved. Furthermore, based on some structure assumptions on the speed function of the shrinking flow, we show that the flow converges to a sphere. This may generalize the result of B. Chow\cite{CW85} to the possible non-homogeneous curvature flows.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Formulating Discrete Probability Flow Through Optimal Transport
Authors:
Pengze Zhang,
Hubery Yin,
Chen Li,
Xiaohua Xie
Abstract:
Continuous diffusion models are commonly acknowledged to display a deterministic probability flow, whereas discrete diffusion models do not. In this paper, we aim to establish the fundamental theory for the probability flow of discrete diffusion models. Specifically, we first prove that the continuous probability flow is the Monge optimal transport map under certain conditions, and also present an…
▽ More
Continuous diffusion models are commonly acknowledged to display a deterministic probability flow, whereas discrete diffusion models do not. In this paper, we aim to establish the fundamental theory for the probability flow of discrete diffusion models. Specifically, we first prove that the continuous probability flow is the Monge optimal transport map under certain conditions, and also present an equivalent evidence for discrete cases. In view of these findings, we are then able to define the discrete probability flow in line with the principles of optimal transport. Finally, drawing upon our newly established definitions, we propose a novel sampling method that surpasses previous discrete diffusion models in its ability to generate more certain outcomes. Extensive experiments on the synthetic toy dataset and the CIFAR-10 dataset have validated the effectiveness of our proposed discrete probability flow. Code is released at: https://github.com/PangzeCheung/Discrete-Probability-Flow.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Non-overlap** descents and ascents in stack-sortable permutations
Authors:
Sergey Kitaev,
Philip B. Zhang
Abstract:
The Eulerian polynomials $A_n(x)$ give the distribution of descents over permutations. It is also known that the distribution of descents over stack-sortable permutations (i.e. permutations sortable by a certain algorithm whose internal storage is limited to a single stack data structure) is given by the Narayana numbers $\frac{1}{n}{n \choose k}{n \choose k+1}$. On the other hand, as a corollary…
▽ More
The Eulerian polynomials $A_n(x)$ give the distribution of descents over permutations. It is also known that the distribution of descents over stack-sortable permutations (i.e. permutations sortable by a certain algorithm whose internal storage is limited to a single stack data structure) is given by the Narayana numbers $\frac{1}{n}{n \choose k}{n \choose k+1}$. On the other hand, as a corollary of a much more general result, the distribution of the statistic ``maximum number of non-overlap** descents'', MND, over all permutations is given by $\sum_{n,k \geq 0}D_{n,k}x^k\ frac{t^n}{n!}=\frac{e^t}{1-x(1+(t-1)e^t)}$.
In this paper, we show that the distribution of MND over stack-sortable permutations is given by $\frac{1}{n+1}{n+1\choose 2k+1}{n+k \choose k}$. We give two proofs of the result via bijections with rooted plane (binary) trees allowing us to control MND. Moreover, we show combinatorially that MND is equidistributed with the statistic MNA, the maximum number of non-overlap** ascents, over stack-sortable permutations. The last fact is obtained by establishing an involution on stack-sortable permutations that gives equidistribution of 8 statistics.
△ Less
Submitted 26 October, 2023;
originally announced October 2023.
-
Global existence of classical solutions of chemotaxis systems with logistic source and consumption or linear signal production on $\mathbb{R}^{n}$
Authors:
Zulaihat Hassan,
Wenxian Shen,
Yuming Paul Zhang
Abstract:
While much literature on chemotaxis systems focuses on bounded domains, this paper emphasizes the global existence of classical solutions for three primary chemotaxis systems with a logistic source on $\mathbb{R}^n$. We present a unified proof demonstrating global existence of solutions can be deduced from their locally uniform boundedness in $L^p(\mathbb{R}^n)$ for some $p>\max\{1,\frac{n}{2}\}$.…
▽ More
While much literature on chemotaxis systems focuses on bounded domains, this paper emphasizes the global existence of classical solutions for three primary chemotaxis systems with a logistic source on $\mathbb{R}^n$. We present a unified proof demonstrating global existence of solutions can be deduced from their locally uniform boundedness in $L^p(\mathbb{R}^n)$ for some $p>\max\{1,\frac{n}{2}\}$. We then provide sufficient conditions for the global existence and boundedness of classical solutions. Notably, our findings even improve several existing results for bounded domains.
△ Less
Submitted 24 October, 2023;
originally announced October 2023.
-
Early Warning Prediction with Automatic Labeling in Epilepsy Patients
Authors:
Peng Zhang,
Ting Gao,
** Guo,
**qiao Duan,
Sergey Nikolenko
Abstract:
Early warning for epilepsy patients is crucial for their safety and well-being, in particular to prevent or minimize the severity of seizures. Through the patients' EEG data, we propose a meta learning framework to improve the prediction of early ictal signals. The proposed bi-level optimization framework can help automatically label noisy data at the early ictal stage, as well as optimize the tra…
▽ More
Early warning for epilepsy patients is crucial for their safety and well-being, in particular to prevent or minimize the severity of seizures. Through the patients' EEG data, we propose a meta learning framework to improve the prediction of early ictal signals. The proposed bi-level optimization framework can help automatically label noisy data at the early ictal stage, as well as optimize the training accuracy of the backbone model. To validate our approach, we conduct a series of experiments to predict seizure onset in various long-term windows, with LSTM and ResNet implemented as the baseline models. Our study demonstrates that not only the ictal prediction accuracy obtained by meta learning is significantly improved, but also the resulting model captures some intrinsic patterns of the noisy data that a single backbone model could not learn. As a result, the predicted probability generated by the meta network serves as a highly effective early warning indicator.
△ Less
Submitted 11 January, 2024; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Semi-implicit method of high-index saddle dynamics and application to construct solution landscape
Authors:
Yue Luo,
Lei Zhang,
**wen Zhang,
Zhiyi Zhang,
Xiangcheng Zheng
Abstract:
We analyze the semi-implicit scheme of high-index saddle dynamics, which provides a powerful numerical method for finding the any-index saddle points and constructing the solution landscape. Compared with the explicit schemes of saddle dynamics, the semi-implicit discretization relaxes the step size and accelerates the convergence, but the corresponding numerical analysis encounters new difficulti…
▽ More
We analyze the semi-implicit scheme of high-index saddle dynamics, which provides a powerful numerical method for finding the any-index saddle points and constructing the solution landscape. Compared with the explicit schemes of saddle dynamics, the semi-implicit discretization relaxes the step size and accelerates the convergence, but the corresponding numerical analysis encounters new difficulties compared to the explicit scheme. Specifically, the orthonormal property of the eigenvectors at each time step could not be fully employed due to the semi-implicit treatment, and computations of the eigenvectors are coupled with the orthonormalization procedure, which further complicates the numerical analysis. We address these issues to prove error estimates of the semi-implicit scheme via, e.g. technical splittings and multi-variable circulating induction procedure. We further analyze the convergence rate of the generalized minimum residual solver for solving the semi-implicit system. Extensive numerical experiments are carried out to substantiate the efficiency and accuracy of the semi-implicit scheme in constructing solution landscapes of complex systems.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Accurately recover global quasiperiodic systems by finite points
Authors:
Kai Jiang,
Qi Zhou,
**wen Zhang
Abstract:
Quasiperiodic systems, related to irrational numbers, are space-filling structures without decay nor translation invariance. How to accurately recover these systems, especially for non-smooth cases, presents a big challenge in numerical computation. In this paper, we propose a new algorithm, finite points recovery (FPR) method, which is available for both smooth and non-smooth cases, to address th…
▽ More
Quasiperiodic systems, related to irrational numbers, are space-filling structures without decay nor translation invariance. How to accurately recover these systems, especially for non-smooth cases, presents a big challenge in numerical computation. In this paper, we propose a new algorithm, finite points recovery (FPR) method, which is available for both smooth and non-smooth cases, to address this challenge. The FPR method first establishes a homomorphism between the lower-dimensional definition domain of the quasiperiodic function and the higher-dimensional torus, then recovers the global quasiperiodic system by employing interpolation technique with finite points in the definition domain without dimensional lifting. Furthermore, we develop accurate and efficient strategies of selecting finite points according to the arithmetic properties of irrational numbers. The corresponding mathematical theory, convergence analysis, and computational complexity analysis on choosing finite points are presented. Numerical experiments demonstrate the effectiveness and superiority of FPR approach in recovering both smooth quasiperiodic functions and piecewise constant Fibonacci quasicrystals. While existing spectral methods encounter difficulties in accurately recovering non-smooth quasiperiodic functions.
△ Less
Submitted 4 January, 2024; v1 submitted 22 September, 2023;
originally announced September 2023.
-
Latent assimilation with implicit neural representations for unknown dynamics
Authors:
Zhuoyuan Li,
Bin Dong,
**wen Zhang
Abstract:
Data assimilation is crucial in a wide range of applications, but it often faces challenges such as high computational costs due to data dimensionality and incomplete understanding of underlying mechanisms. To address these challenges, this study presents a novel assimilation framework, termed Latent Assimilation with Implicit Neural Representations (LAINR). By introducing Spherical Implicit Neura…
▽ More
Data assimilation is crucial in a wide range of applications, but it often faces challenges such as high computational costs due to data dimensionality and incomplete understanding of underlying mechanisms. To address these challenges, this study presents a novel assimilation framework, termed Latent Assimilation with Implicit Neural Representations (LAINR). By introducing Spherical Implicit Neural Representations (SINR) along with a data-driven uncertainty estimator of the trained neural networks, LAINR enhances efficiency in assimilation process. Experimental results indicate that LAINR holds certain advantage over existing methods based on AutoEncoders, both in terms of accuracy and efficiency.
△ Less
Submitted 22 March, 2024; v1 submitted 18 September, 2023;
originally announced September 2023.
-
Multidimensional indefinite stochastic Riccati equations and zero-sum linear-quadratic stochastic differential games with non-markovian regime switching
Authors:
Panpan Zhang,
Zuo Quan Xu
Abstract:
This paper is concerned with two-player zero-sum linear-quadratic stochastic differential games in a regime switching model. The controlled inhomogeneous system coefficients depend on the underlying noises, so it is a non-Markovian regime switching model. Based on a new kind of multidimensional indefinite stochastic Riccati equation (SRE) and a multidimensional linear backward stochastic different…
▽ More
This paper is concerned with two-player zero-sum linear-quadratic stochastic differential games in a regime switching model. The controlled inhomogeneous system coefficients depend on the underlying noises, so it is a non-Markovian regime switching model. Based on a new kind of multidimensional indefinite stochastic Riccati equation (SRE) and a multidimensional linear backward stochastic differential equation (BSDE) with unbounded coefficients, we can provide optimal feedback control-strategy pairs for the two players in a closed-loop form. The main contribution of this paper, which is important in its own right from the BSDE theory point of view, is to prove the existence and uniqueness of the new kind of multidimensional indefinite SRE. Interestingly, the components of the solution can take positive, zero and negative values simultaneously. We also obtain the corresponding optimal feedback control-strategy pairs for homogeneous systems under closed convex cone control constraints. Finally, these results are applied to portfolio selection problems with different short-selling prohibition constraints in a regime switching market with random coefficients.
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
Commutators for the maximal and sharp functions with weighted Lipschitz functions on weighted Morrey spaces
Authors:
Pu Zhang,
Di Fan
Abstract:
We study the boundedness of commutators of the Hardy-Littlewood maximal function and the sharp maximal function on weighted Morrey spaces when the symbols of the commutators belong to weighted Lipschitz spaces. Some new characterizations for weighted Lipschitz functions are obtained in term of the boundedness of the commutators.
We study the boundedness of commutators of the Hardy-Littlewood maximal function and the sharp maximal function on weighted Morrey spaces when the symbols of the commutators belong to weighted Lipschitz spaces. Some new characterizations for weighted Lipschitz functions are obtained in term of the boundedness of the commutators.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Bi-Frobenius quantum complete intersections with permutation antipodes
Authors:
Hai **,
Pu Zhang
Abstract:
Quantum complete intersections $A= A({\bf q, a})$ are Frobenius algebras, but in the most cases they can not become Hopf algebras. This paper aims to find bi-Frobenius algebra structures on $A$. A key step is the construction of comultiplication, such that $A$ becomes a bi-Frobenius algebra. By introducing compatible permutation and permutation antipode, a necessary and sufficient condition is fou…
▽ More
Quantum complete intersections $A= A({\bf q, a})$ are Frobenius algebras, but in the most cases they can not become Hopf algebras. This paper aims to find bi-Frobenius algebra structures on $A$. A key step is the construction of comultiplication, such that $A$ becomes a bi-Frobenius algebra. By introducing compatible permutation and permutation antipode, a necessary and sufficient condition is found, such that $A$ admits a bi-Frobenius algebra structure with permutation antipode; and if this is the case, then a concrete construction is explicitly given. Using this, intrinsic conditions only involving the structure coefficients $({\bf q, a})$ of $A$ are obtained, for $A$ admitting a bi-Frobenius algebra structure with permutation antipode. When $A$ is symmetric, $A$ admits a bi-Frobenius algebra structure with permutation antipode if and only if there exists a compatible permutation $π$ with $A$ such that $π^2 = {\rm Id}$.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Sparse SVM with Hard-Margin Loss: a Newton-Augmented Lagrangian Method in Reduced Dimensions
Authors:
Penghe Zhang,
Naihua Xiu,
Hou-Duo Qi
Abstract:
The hard margin loss function has been at the core of the support vector machine (SVM) research from the very beginning due to its generalization capability.On the other hand, the cardinality constraint has been widely used for feature selection, leading to sparse solutions. This paper studies the sparse SVM with the hard-margin loss (SSVM-HM) that integrates the virtues of both worlds. However, S…
▽ More
The hard margin loss function has been at the core of the support vector machine (SVM) research from the very beginning due to its generalization capability.On the other hand, the cardinality constraint has been widely used for feature selection, leading to sparse solutions. This paper studies the sparse SVM with the hard-margin loss (SSVM-HM) that integrates the virtues of both worlds. However, SSVM-HM is one of the most challenging models to solve. In this paper, we cast the problem as a composite optimization with the cardinality constraint. We characterize its local minimizers in terms of {\rm P}-stationarity that well captures the combinatorial structure of the problem. We then propose an inexact proximal augmented Lagrangian method (iPAL). The different parts of the inexactness measurements from the {\rm P}-stationarity are controlled at different scales in a way that the generated sequence converges both globally and at a linear rate. This matches the best convergence theory for composite optimization. To make iPAL practically efficient, we propose a gradient-Newton method in a subspace for the iPAL subproblem. This is accomplished by detecting active samples and features with the help of the proximal operator of the hard margin loss and the projection of cardinality constraint. Extensive numerical results on both simulated and real datasets demonstrate that the proposed method is fast, produces sparse solution of high accuracy, and can lead to effective reduction on active samples and features when compared with several leading solvers.
△ Less
Submitted 30 July, 2023;
originally announced July 2023.
-
Commutators of the maximal and sharp functions with weighted Lipschitz functions
Authors:
Pu Zhang,
Xiaomeng Zhu
Abstract:
Let $M$ be the Hardy-Littlewood maximal function. Denote by $M_b$ and $[b,M]$ the maximal and the nonlinear commutators of $M$ with a function $b$. The boundedness of $M_b$ and $[b,M]$ on weighted Lebesgue spaces are characterized when the symbols $b$ belong to weighted Lipschitz (weighted Morrey-Campanato) spaces. Some new characterizations for weighted Lipschitz spaces are obtained. Similar resu…
▽ More
Let $M$ be the Hardy-Littlewood maximal function. Denote by $M_b$ and $[b,M]$ the maximal and the nonlinear commutators of $M$ with a function $b$. The boundedness of $M_b$ and $[b,M]$ on weighted Lebesgue spaces are characterized when the symbols $b$ belong to weighted Lipschitz (weighted Morrey-Campanato) spaces. Some new characterizations for weighted Lipschitz spaces are obtained. Similar results are also established for the nonlinear commutator of the sharp function.
△ Less
Submitted 13 January, 2024; v1 submitted 28 July, 2023;
originally announced July 2023.
-
Online Algorithms and Lower Bounds for Average-Case Matrix Discrepancy
Authors:
Dmitriy Kunisky,
Peiyuan Zhang
Abstract:
We study the operator norm discrepancy of i.i.d. random matrices, initiating the matrix-valued analog of a long line of work on the $\ell^{\infty}$ norm discrepancy of i.i.d. random vectors. First, we give a new analysis of the matrix hyperbolic cosine algorithm of Zouzias (2011), a matrix version of an online vector discrepancy algorithm of Spencer (1977) studied for average-case inputs by Bansal…
▽ More
We study the operator norm discrepancy of i.i.d. random matrices, initiating the matrix-valued analog of a long line of work on the $\ell^{\infty}$ norm discrepancy of i.i.d. random vectors. First, we give a new analysis of the matrix hyperbolic cosine algorithm of Zouzias (2011), a matrix version of an online vector discrepancy algorithm of Spencer (1977) studied for average-case inputs by Bansal and Spencer (2020), for the case of i.i.d. random matrix inputs. We both give a general analysis and extract concrete bounds on the discrepancy achieved by this algorithm for matrices with independent entries and positive semidefinite matrices drawn from Wishart distributions. Second, using the first moment method, we give lower bounds on the discrepancy of random matrices, in particular showing that the matrix hyperbolic cosine algorithm achieves optimal discrepancy up to logarithmic terms in several cases. We both treat the special case of the Gaussian orthogonal ensemble and give a general result for low-rank matrix distributions that we apply to orthogonally invariant random projections.
△ Less
Submitted 19 July, 2023;
originally announced July 2023.
-
Learning Stochastic Dynamical Systems as an Implicit Regularization with Graph Neural Networks
Authors:
** Guo,
Ting Gao,
Yufu Lan,
Peng Zhang,
Sikun Yang,
**qiao Duan
Abstract:
Stochastic Gumbel graph networks are proposed to learn high-dimensional time series, where the observed dimensions are often spatially correlated. To that end, the observed randomness and spatial-correlations are captured by learning the drift and diffusion terms of the stochastic differential equation with a Gumble matrix embedding, respectively. In particular, this novel framework enables us to…
▽ More
Stochastic Gumbel graph networks are proposed to learn high-dimensional time series, where the observed dimensions are often spatially correlated. To that end, the observed randomness and spatial-correlations are captured by learning the drift and diffusion terms of the stochastic differential equation with a Gumble matrix embedding, respectively. In particular, this novel framework enables us to investigate the implicit regularization effect of the noise terms in S-GGNs. We provide a theoretical guarantee for the proposed S-GGNs by deriving the difference between the two corresponding loss functions in a small neighborhood of weight. Then, we employ Kuramoto's model to generate data for comparing the spectral density from the Hessian Matrix of the two loss functions. Experimental results on real-world data, demonstrate that S-GGNs exhibit superior convergence, robustness, and generalization, compared with state-of-the-arts.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Multilinear fractional Calderón-Zygmund operators with Dini type kernel
Authors:
J. Wu,
P. Zhang
Abstract:
In this paper, the main purpose is to consider a number of results concerning boundedness of multilinear fractional Calderón-Zygmund operators with kernels of mild regularity. Let $T_α$ be a multilinear fractional Calderón-Zygmund operators of type $ω(t)$ with $ω$ being nondecreasing and $ω\in \text{Dini}(1)$. The end-point weak-type estimates for multilinear operator $T_α$ are obtained. Moreover,…
▽ More
In this paper, the main purpose is to consider a number of results concerning boundedness of multilinear fractional Calderón-Zygmund operators with kernels of mild regularity. Let $T_α$ be a multilinear fractional Calderón-Zygmund operators of type $ω(t)$ with $ω$ being nondecreasing and $ω\in \text{Dini}(1)$. The end-point weak-type estimates for multilinear operator $T_α$ are obtained. Moreover, some boundedness properties of the multilinear fractional operators are also established on variable exponent Lebesgue spaces.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Error estimate for semi-implicit method of sphere-constrained high-index saddle dynamics
Authors:
Lei Zhang,
**wen Zhang,
Xiangcheng Zheng
Abstract:
We prove error estimates for the semi-implicit numerical scheme of sphere-constrained high-index saddle dynamics, which serves as a powerful instrument in finding saddle points and constructing the solution landscapes of constrained systems on the high-dimensional sphere. Due to the semi-implicit treatment and the novel computational procedure, the orthonormality of numerical solutions at each tim…
▽ More
We prove error estimates for the semi-implicit numerical scheme of sphere-constrained high-index saddle dynamics, which serves as a powerful instrument in finding saddle points and constructing the solution landscapes of constrained systems on the high-dimensional sphere. Due to the semi-implicit treatment and the novel computational procedure, the orthonormality of numerical solutions at each time step could not be fully employed to simplify the derivations, and the computations of the state variable and directional vectors are coupled with the retraction, the vector transport and the orthonormalization procedure, which significantly complicates the analysis. We address these issues to prove error estimates for the proposed semi-implicit scheme and then carry out numerical experiments to substantiate the theoretical findings.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
iNALM: An inexact Newton Augmented Lagrangian Method for Zero-One Composite Optimization
Authors:
Penghe Zhang,
Naihua Xiu,
Hou-Duo Qi
Abstract:
Zero-One Composite Optimization (0/1-COP) is a prototype of nonsmooth, nonconvex optimization problems and it has attracted much attention recently. The augmented Lagrangian Method (ALM) has stood out as a leading methodology for such problems. The main purpose of this paper is to extend the classical theory of ALM from smooth problems to 0/1-COP. We propose, for the first time, second-order optim…
▽ More
Zero-One Composite Optimization (0/1-COP) is a prototype of nonsmooth, nonconvex optimization problems and it has attracted much attention recently. The augmented Lagrangian Method (ALM) has stood out as a leading methodology for such problems. The main purpose of this paper is to extend the classical theory of ALM from smooth problems to 0/1-COP. We propose, for the first time, second-order optimality conditions for 0/1-COP. In particular, under a second-order sufficient condition (SOSC), we prove the R-linear convergence rate of the proposed ALM. In order to identify the subspace used in SOSC, we employ the proximal operator of the 0/1-loss function, leading to an active-set identification technique. Built around this identification process, we design practical stop** criteria for any algorithm to be used for the subproblem of ALM. We justify that Newton's method is an ideal candidate for the subproblem and it enjoys both global and local quadratic convergence. Those considerations result in an inexact Newton ALM (iNALM). The method of iNALM is unique in the sense that it is active-set based, it is inexact (hence more practical), and SOSC plays an important role in its R-linear convergence analysis. The numerical results on both simulated and real datasets show the fast running speed and high accuracy of iNALM when compared with several leading solvers.
△ Less
Submitted 15 June, 2023;
originally announced June 2023.
-
Stress blow-up analysis when suspending rigid particles approach boundary in 3D Stokes flow
Authors:
Haigang Li,
Longjuan Xu,
Peihao Zhang
Abstract:
The stress concentration is a common phenomenon in the study of fluid-solid model. In this paper, we investigate the boundary gradient estimates and the second order derivatives estimates for the Stokes flow when the rigid particles approach the boundary of the matrix in dimension three. We classify the effect on the blow-up rates of the stress from the prescribed various boundary data: locally co…
▽ More
The stress concentration is a common phenomenon in the study of fluid-solid model. In this paper, we investigate the boundary gradient estimates and the second order derivatives estimates for the Stokes flow when the rigid particles approach the boundary of the matrix in dimension three. We classify the effect on the blow-up rates of the stress from the prescribed various boundary data: locally constant case and locally polynomial case. Our results hold for general convex inclusions, including two important cases in practice, spherical inclusions and ellipsoidal inclusions. The blow-up rates of the Cauchy stress in the narrow region are also obtained. We establish the corresponding estimates in higher dimensions greater than three.
△ Less
Submitted 6 June, 2023;
originally announced June 2023.
-
Stress blow-up analysis when a suspending rigid particle approaches the boundary in Stokes flow: 2D case
Authors:
Haigang Li,
Longjuan Xu,
Peihao Zhang
Abstract:
It is an interesting and important topic to study the motion of small particles in a viscous liquid in current applied research. In this paper we assume the particles are convex with arbitrary shapes and mainly investigate the interaction between the rigid particles and the domain boundary when the distance tends to zero. In fact, even though the domain and the prescribed boundary data are both sm…
▽ More
It is an interesting and important topic to study the motion of small particles in a viscous liquid in current applied research. In this paper we assume the particles are convex with arbitrary shapes and mainly investigate the interaction between the rigid particles and the domain boundary when the distance tends to zero. In fact, even though the domain and the prescribed boundary data are both smooth, it is possible to cause a definite increase of the blow-up rate of the stress. This problem has the free boundary value feature due to the rigidity assumption on the particle. We find that the prescribed local boundary data directly affects on the free boundary value on the particle. Two kinds of boundary data are considered: locally constant boundary data and locally polynomial boundary data. For the former we prove the free boundary value is close to the prescribed constant, while for the latter we show the influence on the blow-up rate from the order of growth of the prescribed polynomial. Based on pointwise upper bounds in the neck region and lower bounds at the midpoint of the shortest line between the particle and the domain boundary, we show that these blow-up rates obtained in this paper are optimal. These precise estimates will help us understand the underlying mechanism of the hydrodynamic interactions in fluid particle model.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
Anticipated BSDEs driven by fractional Brownian motion with time-delayed generator
Authors:
Pei Zhang,
Nur Anisah Mohamed,
Adriana Irawati Nur Ibrahim
Abstract:
This paper discusses a new type of anticipated backward stochastic differential equation with a time-delayed generator (DABSDEs, for short) driven by fractional Brownian motion, also known as fractional BSDEs, with Hurst parameter $H\in(1/2,1)$, which extends the results of the anticipated backward stochastic differential equation to the case of the drive is fractional Brownian motion instead of a…
▽ More
This paper discusses a new type of anticipated backward stochastic differential equation with a time-delayed generator (DABSDEs, for short) driven by fractional Brownian motion, also known as fractional BSDEs, with Hurst parameter $H\in(1/2,1)$, which extends the results of the anticipated backward stochastic differential equation to the case of the drive is fractional Brownian motion instead of a standard Brownian motion and in which the generator considers not only the present and future times but also the past time. By using the fixed point theorem, we will demonstrate the existence and uniqueness of the solutions to these equations. Moreover, we shall establish a comparison theorem for the solutions.
△ Less
Submitted 22 May, 2023;
originally announced May 2023.
-
On the global stability of large Fourier mode for 3-D Navier-Stokes equations
Authors:
Yanlin Liu,
** Zhang
Abstract:
In this paper, we first prove the global existence of strong solutions to 3-D incompressible Navier-Stokes equations with solenoidal initial data, which writes in the cylindrical coordinates is of the form: $A(r,z)\cos Nθ+B(r,z)\sin Nθ,$ provided that $N$ is large enough. In particular, we prove that the corresponding solution has almost the same frequency $N$ for any positive time. The main idea…
▽ More
In this paper, we first prove the global existence of strong solutions to 3-D incompressible Navier-Stokes equations with solenoidal initial data, which writes in the cylindrical coordinates is of the form: $A(r,z)\cos Nθ+B(r,z)\sin Nθ,$ provided that $N$ is large enough. In particular, we prove that the corresponding solution has almost the same frequency $N$ for any positive time. The main idea of the proof is first to write the solution in trigonometrical series in $θ$ variable and estimate the coefficients separately in some scale-invariant spaces, then we handle a sort of weighted sum of these norms of the coefficients in order to close the a priori estimate of the solution. Furthermore, we shall extend the above well-posedness result for initial data which is a linear combination of axisymmetric data without swirl and infinitely many large mode trigonometric series in the angular variable.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Optimizing Autonomous Transfer Hub Networks: Quantifying the Potential Impact of Self-Driving Trucks
Authors:
Chungjae Lee,
Kevin Dalmeijer,
Pascal Van Hentenryck,
Peibo Zhang
Abstract:
Autonomous trucks are expected to fundamentally transform the freight transportation industry. In particular, Autonomous Transfer Hub Networks (ATHNs), which combine autonomous trucks on middle miles with human-driven trucks on the first and last miles, are seen as the most likely deployment pathway for this technology. This paper presents a framework to optimize ATHN operations and evaluate the b…
▽ More
Autonomous trucks are expected to fundamentally transform the freight transportation industry. In particular, Autonomous Transfer Hub Networks (ATHNs), which combine autonomous trucks on middle miles with human-driven trucks on the first and last miles, are seen as the most likely deployment pathway for this technology. This paper presents a framework to optimize ATHN operations and evaluate the benefits of autonomous trucking. By exploiting the problem structure, this paper introduces a flow-based optimization model for this purpose that can be solved by blackbox solvers in a matter of hours. The resulting framework is easy to apply and enables the data-driven analysis of large-scale systems. The power of this approach is demonstrated on a system that spans all of the United States over a four-week horizon. The case study quantifies the potential impact of autonomous trucking and shows that ATHNs can have significant benefits over traditional transportation networks.
△ Less
Submitted 4 May, 2023;
originally announced May 2023.
-
A spectral method for a Fokker-Planck equation in neuroscience with applications in neural networks with learning rules
Authors:
Pei Zhang,
Yanli Wang,
Zhennan Zhou
Abstract:
In this work, we consider the Fokker-Planck equation of the Nonlinear Noisy Leaky Integrate-and-Fire (NNLIF) model for neuron networks. Due to the firing events of neurons at the microscopic level, this Fokker-Planck equation contains dynamic boundary conditions involving specific internal points. To efficiently solve this problem and explore the properties of the unknown, we construct a flexible…
▽ More
In this work, we consider the Fokker-Planck equation of the Nonlinear Noisy Leaky Integrate-and-Fire (NNLIF) model for neuron networks. Due to the firing events of neurons at the microscopic level, this Fokker-Planck equation contains dynamic boundary conditions involving specific internal points. To efficiently solve this problem and explore the properties of the unknown, we construct a flexible numerical scheme for the Fokker-Planck equation in the framework of spectral methods that can accurately handle the dynamic boundary condition. This numerical scheme is stable with suitable choices of test function spaces, and asymptotic preserving, and it is easily extendable to variant models with multiple time scales. We also present extensive numerical examples to verify the scheme properties, including order of convergence and time efficiency, and explore unique properties of the model, including blow-up phenomena for the NNLIF model and learning and discriminative properties for the NNLIF model with learning rules.
△ Less
Submitted 29 April, 2023;
originally announced May 2023.
-
Deep Reinforcement Learning in Finite-Horizon to Explore the Most Probable Transition Pathway
Authors:
** Guo,
Ting Gao,
Peng Zhang,
Jiequn Han,
**qiao Duan
Abstract:
In many scientific and engineering problems, noise and nonlinearity are unavoidable, which could induce interesting mathematical problem such as transition phenomena. This paper focuses on efficiently discovering the most probable transition pathway for stochastic dynamical systems employing reinforcement learning. With the Onsager-Machlup action functional theory to quantify rare events in stocha…
▽ More
In many scientific and engineering problems, noise and nonlinearity are unavoidable, which could induce interesting mathematical problem such as transition phenomena. This paper focuses on efficiently discovering the most probable transition pathway for stochastic dynamical systems employing reinforcement learning. With the Onsager-Machlup action functional theory to quantify rare events in stochastic dynamical systems, finding the most probable pathway is equivalent to solving a variational problem on the action functional. When the action function cannot be explicitly expressed by paths near the reference orbit, the variational problem needs to be converted into an optimal control problem. First, by integrating terminal prediction into the reinforcement learning framework, we develop a Terminal Prediction Deep Deterministic Policy Gradient (TP-DDPG) algorithm to deal with the finite-horizon optimal control issue in a forward way. Next, we present the convergence analysis of our algorithm for the value function in terms of the neural network's approximation error and estimation error. Finally, we conduct various experiments in different dimensions for the transition problems in applications to illustrate the effectiveness of our algorithm.
△ Less
Submitted 7 June, 2023; v1 submitted 25 April, 2023;
originally announced April 2023.
-
On the approximation of quasiperiodic functions with Diophantine frequencies by periodic functions
Authors:
Kai Jiang,
Shifeng Li,
**wen Zhang
Abstract:
We present an analysis of the approximation error for a $d$-dimensional quasiperiodic function $f$ with Diophantine frequencies, approximated by a periodic function with period $[0,L)^d$. When $f$ has a certain regularity, its global behavior can be described by a finite number of Fourier components and has a polynomial decay at infinity. The dominant part of periodic approximation error is bounde…
▽ More
We present an analysis of the approximation error for a $d$-dimensional quasiperiodic function $f$ with Diophantine frequencies, approximated by a periodic function with period $[0,L)^d$. When $f$ has a certain regularity, its global behavior can be described by a finite number of Fourier components and has a polynomial decay at infinity. The dominant part of periodic approximation error is bounded by $O(L^{-1/s})$, where $L$ belongs to the best simultaneous approximation sequence of Fourier frequencies and $s$ is the number of different irrational elements in Fourier frequencies. Meanwhile, we discuss the optimal approximation rate. Finally, these analytical results are verified by some examples.
△ Less
Submitted 21 April, 2024; v1 submitted 9 April, 2023;
originally announced April 2023.
-
Nonlinear inviscid dam** for 2-D inhomogeneous incompressible Euler equations
Authors:
Qi Chen,
Dongyi Wei,
** Zhang,
Zhifei Zhang
Abstract:
We prove the asymptotic stability of shear flows close to the Couette flow for the 2-D inhomogeneous incompressible Euler equations on $\mathbb{T}\times \mathbb{R}$. More precisely, if the initial velocity is close to the Couette flow and the initial density is close to a positive constant in the Gevrey class 2, then 2-D inhomogeneous incompressible Euler equations are globally well-posed and the…
▽ More
We prove the asymptotic stability of shear flows close to the Couette flow for the 2-D inhomogeneous incompressible Euler equations on $\mathbb{T}\times \mathbb{R}$. More precisely, if the initial velocity is close to the Couette flow and the initial density is close to a positive constant in the Gevrey class 2, then 2-D inhomogeneous incompressible Euler equations are globally well-posed and the velocity converges strongly to a shear flow close to the Couette flow, and the vorticity will be driven to small scales by a linear evolution and weakly converges as $t\to \infty$. To our knowledge, this is the first global well-posedness result for the 2-D inhomogeneous incompressible Euler equations.
△ Less
Submitted 26 March, 2023;
originally announced March 2023.
-
The convergence rate of vanishing viscosity approximations for mean field games
Authors:
Wenpin Tang,
Yuming Paul Zhang
Abstract:
Motivated by numerical challenges in first-order mean field games (MFGs) and the weak noise theory for the Kardar-Parisi-Zhang equation, we consider the problem of vanishing viscosity approximations for MFGs. We provide the first results on the convergence rate to the vanishing viscosity limit in mean field games, with a focus on the dimension dependence of the rate exponent. Two cases are studied…
▽ More
Motivated by numerical challenges in first-order mean field games (MFGs) and the weak noise theory for the Kardar-Parisi-Zhang equation, we consider the problem of vanishing viscosity approximations for MFGs. We provide the first results on the convergence rate to the vanishing viscosity limit in mean field games, with a focus on the dimension dependence of the rate exponent. Two cases are studied: MFGs with a local coupling and those with a nonlocal, regularizing coupling. In the former case, we use a duality approach and our results suggest that there may be a phase transition in the dimension dependence of vanishing viscosity approximations in terms of the growth of the Hamiltonian and the local coupling. In the latter case, we rely on the regularity analysis of the solution, and derive a faster rate compared to MFGs with a local coupling. A list of open problems are presented.
△ Less
Submitted 2 April, 2023; v1 submitted 25 March, 2023;
originally announced March 2023.
-
Lower Generalization Bounds for GD and SGD in Smooth Stochastic Convex Optimization
Authors:
Peiyuan Zhang,
Jiaye Teng,
**gzhao Zhang
Abstract:
This work studies the generalization error of gradient methods. More specifically, we focus on how training steps $T$ and step-size $η$ might affect generalization in smooth stochastic convex optimization (SCO) problems. We first provide tight excess risk lower bounds for Gradient Descent (GD) and Stochastic Gradient Descent (SGD) under the general non-realizable smooth SCO setting, suggesting tha…
▽ More
This work studies the generalization error of gradient methods. More specifically, we focus on how training steps $T$ and step-size $η$ might affect generalization in smooth stochastic convex optimization (SCO) problems. We first provide tight excess risk lower bounds for Gradient Descent (GD) and Stochastic Gradient Descent (SGD) under the general non-realizable smooth SCO setting, suggesting that existing stability analyses are tight in step-size and iteration dependence, and that overfitting provably happens. Next, we study the case when the loss is realizable, i.e. an optimal solution minimizes all the data points. Recent works show better rates can be attained but the improvement is reduced when training time is long. Our paper examines this observation by providing excess risk lower bounds for GD and SGD in two realizable settings: 1) $ηT = \bigO{n}$, and (2) $ηT = \bigOmega{n}$, where $n$ is the size of dataset. In the first case $ηT = \bigOmega{n}$, our lower bounds tightly match and certify the respective upper bounds. However, for the case $ηT = \bigOmega{n}$, our analysis indicates a gap between the lower and upper bounds. A conjecture is proposed that the gap can be closed by improving upper bounds, supported by analyses in two special scenarios.
△ Less
Submitted 10 May, 2023; v1 submitted 19 March, 2023;
originally announced March 2023.