-
Level-3 large deviations for the white-forced 2D Navier-Stokes system in a bounded domain
Authors:
Meng Zhao
Abstract:
We study the large deviations principle (LDP) of Donsker-Varadhan type for the white-forced Navier-Stokes system in a bounded domain. Under the assumption that the noise is non-degenerate, we establish level-2 and level-3 LDPs with rate functions given by the Donsker-Varadhan formulas. The proof relies on an improved version of Kifer's criterion, a lift argument inspired from [DV83], an improved a…
▽ More
We study the large deviations principle (LDP) of Donsker-Varadhan type for the white-forced Navier-Stokes system in a bounded domain. Under the assumption that the noise is non-degenerate, we establish level-2 and level-3 LDPs with rate functions given by the Donsker-Varadhan formulas. The proof relies on an improved version of Kifer's criterion, a lift argument inspired from [DV83], an improved abstract result on the large-time asymptotics of generalized Markov semigroups, and a delicate approximation scheme utilizing the resolvent operators of the Markov semigroup.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Combinatorial proofs for partitions with repeated smallest part
Authors:
Dandan Chen,
Rong Chen,
Mengjie Zhao
Abstract:
Recently, Andrews and El Bachraoui considered the number of integer partitions whose smallest part is repeated exactly $k$ times and the remaining parts are not repeated. They presented several interesting results and posed questions regarding combinatorial proofs for these identities. In this paper, we establish bijections to provide combinatorial proofs for these results.
Recently, Andrews and El Bachraoui considered the number of integer partitions whose smallest part is repeated exactly $k$ times and the remaining parts are not repeated. They presented several interesting results and posed questions regarding combinatorial proofs for these identities. In this paper, we establish bijections to provide combinatorial proofs for these results.
△ Less
Submitted 14 May, 2025; v1 submitted 8 May, 2025;
originally announced May 2025.
-
The asymptotic behavior of the renormalized zero resolvent of Lévy processes under regular variation conditions
Authors:
Kouji Yano,
Mingdong Zhao
Abstract:
As an analogue to the explicit formula in the stable case, the asymptotic behavior at the origin of the renormalized zero resolvent of one-dimensional Lévy processes is studied under certain regular variation conditions on the Lévy-Khinchin exponent and the Lévy measure.
As an analogue to the explicit formula in the stable case, the asymptotic behavior at the origin of the renormalized zero resolvent of one-dimensional Lévy processes is studied under certain regular variation conditions on the Lévy-Khinchin exponent and the Lévy measure.
△ Less
Submitted 25 February, 2025;
originally announced February 2025.
-
Isometry Theorem for Continuous Quiver of Type $\tilde{A}$
Authors:
Xiaowen Gao,
Minghui Zhao
Abstract:
The Isometry Theorem for continuous quiver of type $A$ plays an important role in persistent homology. In this paper, we shall generalize Isometry Theorem to continuous quiver of type $\tilde{A}$.
The Isometry Theorem for continuous quiver of type $A$ plays an important role in persistent homology. In this paper, we shall generalize Isometry Theorem to continuous quiver of type $\tilde{A}$.
△ Less
Submitted 5 February, 2025; v1 submitted 16 December, 2024;
originally announced December 2024.
-
The Boundedness of the Bilinear Fractional Integrals along Curves
Authors:
Junfeng Li,
Haixia Yu,
Minqun Zhao
Abstract:
In this paper, for general curves $(t,γ(t))$ satisfying some suitable curvature conditions, we obtain some $L^p(\mathbb{R})\times L^q(\mathbb{R}) \rightarrow L^r(\mathbb{R})$ estimates for the bilinear fractional integrals $H_{α,γ}$ along the curves $(t,γ(t))$, where
$$H_{α,γ}(f,g)(x):=\int_{0}^{\infty}f(x-t)g(x-γ(t))\,\frac{\textrm{d}t}{t^{1-α}}$$
and $α\in (0,1)$. At the same time, we also e…
▽ More
In this paper, for general curves $(t,γ(t))$ satisfying some suitable curvature conditions, we obtain some $L^p(\mathbb{R})\times L^q(\mathbb{R}) \rightarrow L^r(\mathbb{R})$ estimates for the bilinear fractional integrals $H_{α,γ}$ along the curves $(t,γ(t))$, where
$$H_{α,γ}(f,g)(x):=\int_{0}^{\infty}f(x-t)g(x-γ(t))\,\frac{\textrm{d}t}{t^{1-α}}$$
and $α\in (0,1)$. At the same time, we also establish an almost sharp Hardy-Littlewood-Sobolev inequality, i.e., the $L^p(\mathbb{R})\rightarrow L^q(\mathbb{R})$ estimate, for the fractional integral operators $I_{α,γ}$ along the curves $(t,γ(t))$, where $$I_{α,γ}f(x):=\int_{0}^{\infty}\left|f(x-γ(t))\right|\,\frac{\textrm{d}t}{t^{1-α}}.$$
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
Polynomial mixing for the white-forced Navier-Stokes system in the whole space
Authors:
Vahagn Nersesyan,
Meng Zhao
Abstract:
We study the mixing properties of the white-forced Navier-Stokes system in the whole space $\mathbb{R}^2$. Assuming that the noise is sufficiently non-degenerate, we prove the uniqueness of stationary measure and polynomial mixing in the dual-Lipschitz metric. The proof combines the coupling method with a Foiaş-Prodi type estimate, weighted growth estimates for trajectories, and an estimate for th…
▽ More
We study the mixing properties of the white-forced Navier-Stokes system in the whole space $\mathbb{R}^2$. Assuming that the noise is sufficiently non-degenerate, we prove the uniqueness of stationary measure and polynomial mixing in the dual-Lipschitz metric. The proof combines the coupling method with a Foiaş-Prodi type estimate, weighted growth estimates for trajectories, and an estimate for the Leray projector involving Muckenhoupt $A_2$-class weights.
△ Less
Submitted 28 October, 2024; v1 submitted 21 October, 2024;
originally announced October 2024.
-
Maximal Rigid Representations of Continuous Quivers of Type A with Automorphism
Authors:
Xiaowen Gao,
Minghui Zhao
Abstract:
Buan and Krause gave a classification of maximal rigid representations for cyclic quivers and counted the number of isomorphism classes. By using this result, we give a formula on the number of isomorphism classes of a kind of maximal rigid representations for continuous quivers of type A with automorphism.
Buan and Krause gave a classification of maximal rigid representations for cyclic quivers and counted the number of isomorphism classes. By using this result, we give a formula on the number of isomorphism classes of a kind of maximal rigid representations for continuous quivers of type A with automorphism.
△ Less
Submitted 25 September, 2024;
originally announced October 2024.
-
Landscape of Policy Optimization for Finite Horizon MDPs with General State and Action
Authors:
Xin Chen,
Yifan Hu,
Minda Zhao
Abstract:
Policy gradient methods are widely used in reinforcement learning. Yet, the nonconvexity of policy optimization imposes significant challenges in understanding the global convergence of policy gradient methods. For a class of finite-horizon Markov Decision Processes (MDPs) with general state and action spaces, we develop a framework that provides a set of easily verifiable assumptions to ensure th…
▽ More
Policy gradient methods are widely used in reinforcement learning. Yet, the nonconvexity of policy optimization imposes significant challenges in understanding the global convergence of policy gradient methods. For a class of finite-horizon Markov Decision Processes (MDPs) with general state and action spaces, we develop a framework that provides a set of easily verifiable assumptions to ensure the Kurdyka-Lojasiewicz (KL) condition of the policy optimization. Leveraging the KL condition, policy gradient methods converge to the globally optimal policy with a non-asymptomatic rate despite nonconvexity. Our results find applications in various control and operations models, including entropy-regularized tabular MDPs, Linear Quadratic Regulator (LQR) problems, stochastic inventory models, and stochastic cash balance problems, for which we show an $ε$-optimal policy can be obtained using a sample size in $\tilde{\mathcal{O}}(ε^{-1})$ and polynomial in terms of the planning horizon by stochastic policy gradient methods. Our result establishes the first sample complexity for multi-period inventory systems with Markov-modulated demands and stochastic cash balance problems in the literature.
△ Less
Submitted 25 September, 2024;
originally announced September 2024.
-
Local and global existence for the stochastic Prandtl equation driven by multiplicative noises in two and three dimensions
Authors:
Ya-Guang Wang,
Meng Zhao
Abstract:
In this paper, we are concerned with the local and global existence for the stochastic Prandtl equation in two and three dimensions, which governs the velocity field inside the boundary layer that appears in the inviscid limit of the stochastic Navier-Stokes equation with non-slip boundary condition. New problem arises when establishing the well-posedness in the stochastic regime: one can never de…
▽ More
In this paper, we are concerned with the local and global existence for the stochastic Prandtl equation in two and three dimensions, which governs the velocity field inside the boundary layer that appears in the inviscid limit of the stochastic Navier-Stokes equation with non-slip boundary condition. New problem arises when establishing the well-posedness in the stochastic regime: one can never derive a pathwise control of the energy functional which is used to describe the analytic radius of the solution in the deterministic setting. To this end, we establish higher-order estimates in the conormal Sobolev spaces in order to get rid of the dependence of the analytic radius on the unknown. Three approximate schemes are constructed for solving the stochastic Prandtl equation, and a local well-posedness is obtained in a tangentially analytic and normally Sobolev-type space. Furthermore, we study the stochastic Prandtl equation driven by a tangential random diffusion, and find that the noise regularizes the equation in the sense that in both two and three dimensions, there exists a global Gevrey-2 solution with high probability and the radius growing linearly in time.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
Optimal Gaussian Strategies for Vector-valued Witsenhausen Counterexample with Non-causal State Estimator
Authors:
Mengyuan Zhao,
Tobias J. Oechtering,
Maël Le Treust
Abstract:
In this study, we investigate a vector-valued Witsenhausen model where the second decision maker (DM) acquires a vector of observations before selecting a vector of estimations. Here, the first DM acts causally whereas the second DM estimates non-causally. When the vector length grows, we characterize, via a single-letter expression, the optimal trade-off between the power cost at the first DM and…
▽ More
In this study, we investigate a vector-valued Witsenhausen model where the second decision maker (DM) acquires a vector of observations before selecting a vector of estimations. Here, the first DM acts causally whereas the second DM estimates non-causally. When the vector length grows, we characterize, via a single-letter expression, the optimal trade-off between the power cost at the first DM and the estimation cost at the second DM. In this paper, we show that the best linear scheme is achieved by using the time-sharing method between two affine strategies, which coincides with the convex envelope of the solution of Witsenhausen in 1968. Here also, Witsenhausen's two-point strategy and the scheme of Grover and Sahai in 2010 where both devices operate non-causally, outperform our best linear scheme. Therefore, gains obtained with block-coding schemes are only attainable if all DMs operate non-causally.
△ Less
Submitted 23 August, 2024; v1 submitted 5 August, 2024;
originally announced August 2024.
-
A new approach to inverse Sturm-Liouville problems based on point interaction
Authors:
Min Zhao,
Jiangang Qi,
Xiao Chen
Abstract:
In the present paper, motivated by point interaction, we propose a new and explicit approach to inverse Sturm-Liouville eigenvalue problems under Dirichlet boundary. More precisely, when a given Sturm-Liouville eigenvalue problem with the unknown integrable potential interacts with $δ$-function potentials, we obtain a family of perturbation problems, called point interaction models in quantum mech…
▽ More
In the present paper, motivated by point interaction, we propose a new and explicit approach to inverse Sturm-Liouville eigenvalue problems under Dirichlet boundary. More precisely, when a given Sturm-Liouville eigenvalue problem with the unknown integrable potential interacts with $δ$-function potentials, we obtain a family of perturbation problems, called point interaction models in quantum mechanics. Then, only depending on the first eigenvalues of these perturbed problems, we define and study the first eigenvalue function, by which the desired potential can be expressed explicitly and uniquely. As by-products, using the analytic function theoretic tools, we also generalize several fundamental theorems of classical Sturm-Liouville problems to measure differential equations.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Partial Difference Sets with Denniston Parameters in Elementary Abelian $p$-Groups
Authors:
Jingjun Bao,
Qing Xiang,
Meng Zhao
Abstract:
Denniston \cite{D1969} constructed partial difference sets (PDS) with parameters $(2^{3m}, (2^{m+r}-2^m+2^r)(2^m-1), 2^m-2^r+(2^{m+r}-2^m+2^r)(2^r-2), (2^{m+r}-2^m+2^r)(2^r-1))$ in elementary abelian groups of order $2^{3m}$ for all $m\geq 2$ and $1 \leq r < m$. These PDS correspond to maximal arcs in the Desarguesian projective planes PG$(2, 2^m)$. Davis et al. \cite{DHJP2024} and also De Winter…
▽ More
Denniston \cite{D1969} constructed partial difference sets (PDS) with parameters $(2^{3m}, (2^{m+r}-2^m+2^r)(2^m-1), 2^m-2^r+(2^{m+r}-2^m+2^r)(2^r-2), (2^{m+r}-2^m+2^r)(2^r-1))$ in elementary abelian groups of order $2^{3m}$ for all $m\geq 2$ and $1 \leq r < m$. These PDS correspond to maximal arcs in the Desarguesian projective planes PG$(2, 2^m)$. Davis et al. \cite{DHJP2024} and also De Winter \cite{dewinter23} presented constructions of PDS with Denniston parameters $(p^{3m}, (p^{m+r}-p^m+p^r)(p^m-1), p^m-p^r+(p^{m+r}-p^m+p^r)(p^r-2), (p^{m+r}-p^m+p^r)(p^r-1))$ in elementary abelian groups of order $p^{3m}$ for all $m \geq 2$ and $r \in \{1, m-1\}$, where $p$ is an odd prime. The constructions in \cite{DHJP2024, dewinter23} are particularly intriguing, as it was shown by Ball, Blokhuis, and Mazzocca \cite{BBM1997} that no nontrivial maximal arcs in PG$(2, q^m)$ exist for any odd prime power $q$. In this paper, we show that PDS with Denniston parameters $(q^{3m}, (q^{m+r}-q^m+q^r)(q^m-1), q^m-q^r+(q^{m+r}-q^m+q^r)(q^r-2), (q^{m+r}-q^m+q^r)(q^r-1))$ exist in elementary abelian groups of order $q^{3m}$ for all $m \geq 2$ and $1 \leq r < m$, where $q$ is an arbitrary prime power.
△ Less
Submitted 22 July, 2024;
originally announced July 2024.
-
Embedding groups into boundedly acyclic groups
Authors:
Fan Wu,
Xiaolei Wu,
Mengfei Zhao,
Zixiang Zhou
Abstract:
We show that the \sφ-labeled Thompson groups and the twisted Brin--Thompson groups are boundedly acyclic. This allows us to prove several new embedding results for groups. First, every group of type $F_n$ embeds quasi-isometrically into a boundedly acyclic group of type $F_n$ that has no proper finite index subgroups. This improves a result of Bridson and a theorem of Fournier-Facio--Löh--Moraschi…
▽ More
We show that the \sφ-labeled Thompson groups and the twisted Brin--Thompson groups are boundedly acyclic. This allows us to prove several new embedding results for groups. First, every group of type $F_n$ embeds quasi-isometrically into a boundedly acyclic group of type $F_n$ that has no proper finite index subgroups. This improves a result of Bridson and a theorem of Fournier-Facio--Löh--Moraschini. Second, every group of type $F_n$ embeds quasi-isometrically into a $5$-uniformly perfect group of type $F_n$. Third, using Belk--Zaremsky's construction of twisted Brin--Thompson groups, we show that every finitely generated group embeds quasi-isometrically into a finitely generated boundedly acyclic simple group. We also partially answer some questions of Brothier and Tanushevski regarding the finiteness property of $φ$-labeled Thompson group $V_φ(G)$ and $F_φ(G)$.
△ Less
Submitted 13 April, 2025; v1 submitted 10 July, 2024;
originally announced July 2024.
-
Synergizing Machine Learning with ACOPF: A Comprehensive Overview
Authors:
Meng Zhao,
Masoud Barati
Abstract:
Alternative current optimal power flow (ACOPF) problems have been studied for over fifty years, and yet the development of an optimal algorithm to solve them remains a hot and challenging topic for researchers because of their nonlinear and nonconvex nature. A number of methods based on linearization and convexification have been proposed to solve to ACOPF problems, which result in near-optimal or…
▽ More
Alternative current optimal power flow (ACOPF) problems have been studied for over fifty years, and yet the development of an optimal algorithm to solve them remains a hot and challenging topic for researchers because of their nonlinear and nonconvex nature. A number of methods based on linearization and convexification have been proposed to solve to ACOPF problems, which result in near-optimal or local solutions, not optimal solutions. Nowadays, with the prevalence of machine learning, some researchers have begun to utilize this technology to solve ACOPF problems using the historical data generated by the grid operators. The present paper reviews the research on solving ACOPF problems using machine learning and neural networks and proposes future studies. This body of research is at the beginning of this area, and further exploration can be undertaken into the possibilities of solving ACOPF problems using machine learning.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
A New Cross-Space Total Variation Regularization Model for Color Image Restoration with Quaternion Blur Operator
Authors:
Zhigang Jia,
Yuelian Xiang,
Meixiang Zhao,
Tingting Wu,
Michael K. Ng
Abstract:
The cross-channel deblurring problem in color image processing is difficult to solve due to the complex coupling and structural blurring of color pixels. Until now, there are few efficient algorithms that can reduce color artifacts in deblurring process. To solve this challenging problem, we present a novel cross-space total variation (CSTV) regularization model for color image deblurring by intro…
▽ More
The cross-channel deblurring problem in color image processing is difficult to solve due to the complex coupling and structural blurring of color pixels. Until now, there are few efficient algorithms that can reduce color artifacts in deblurring process. To solve this challenging problem, we present a novel cross-space total variation (CSTV) regularization model for color image deblurring by introducing a quaternion blur operator and a cross-color space regularization functional. The existence and uniqueness of the solution are proved and a new L-curve method is proposed to find a balance of regularization terms on different color spaces. The Euler-Lagrange equation is derived to show that CSTV has taken into account the coupling of all color channels and the local smoothing within each color channel. A quaternion operator splitting method is firstly proposed to enhance the ability of color artifacts reduction of the CSTV regularization model. This strategy also applies to the well-known color deblurring models. Numerical experiments on color image databases illustrate the efficiency and effectiveness of the new model and algorithms. The color images restored by them successfully maintain the color and spatial information and are of higher quality in terms of PSNR, SSIM, MSE and CIEde2000 than the restorations of the-state-of-the-art methods.
△ Less
Submitted 26 January, 2025; v1 submitted 20 May, 2024;
originally announced May 2024.
-
A characterization of entangled two-qubit states via partial-transpose-moments
Authors:
Lin Zhang,
Ming-Jing Zhao,
Lin Chen,
Hua Xiang,
Yi Shen
Abstract:
Although quantum entanglement is an important resource, its characterization is quite challenging. The partial transposition is a common method to detect bipartite entanglement. In this paper, the authors study the partial-transpose(PT)-moments of two-qubit states,and completely describe the whole region, composed of the second and third PT-moments, for all two-qubit states. Furthermore, they dete…
▽ More
Although quantum entanglement is an important resource, its characterization is quite challenging. The partial transposition is a common method to detect bipartite entanglement. In this paper, the authors study the partial-transpose(PT)-moments of two-qubit states,and completely describe the whole region, composed of the second and third PT-moments, for all two-qubit states. Furthermore, they determine the accurate region corresponding to all entangled two-qubit states. The states corresponding to those boundary points of the whole region, and to the border lines between separable and entangled states are analyzed. As an application, they characterize the entangled region of PT-moments for the two families of Werner states and Bell-diagonal states. The relations between entanglement and the pairs of PT-moments are revealed from these typical examples. They also numerically plot the whole region of possible PT-moments for all two-qubit X-states, and find that this region is almost the same as the whole region of PT-moments for all two-qubit states. Moreover, they extend their results to detect the entanglement of multiqubit states. By utilizing the PT-moment-based method to characterize the entanglement of the multiqubit states mixed by the GHZ and W states, they propose an operational way of verifying the genuine entanglement in such states.
△ Less
Submitted 30 April, 2024;
originally announced April 2024.
-
Uncertainty relation and the constrained quadratic programming
Authors:
Lin Zhang,
Dade Wu,
Ming-Jing Zhao,
Hua Nan
Abstract:
The uncertainty relation is a fundamental concept in quantum theory, plays a pivotal role in various quantum information processing tasks. In this study, we explore the additive uncertainty relation pertaining to two or more observables, in terms of their variance,by utilizing the generalized Gell-Mann representation in qudit systems. We find that the tight state-independent lower bound of the var…
▽ More
The uncertainty relation is a fundamental concept in quantum theory, plays a pivotal role in various quantum information processing tasks. In this study, we explore the additive uncertainty relation pertaining to two or more observables, in terms of their variance,by utilizing the generalized Gell-Mann representation in qudit systems. We find that the tight state-independent lower bound of the variance sum can be characterized as a quadratic programming problem with nonlinear constraints in optimization theory. As illustrative examples, we derive analytical solutions for these quadratic programming problems in lower-dimensional systems, which align with the state-independent lower bounds. Additionally, we introduce a numerical algorithm tailored for solving these quadratic programming instances, highlighting its efficiency and accuracy. The advantage of our approach lies in its potential ability to simultaneously achieve the optimal value of the quadratic programming problem with nonlinear constraints but also precisely identify the extremal state where this optimal value is attained. This enables us to establish a tight state-independent lower bound for the sum of variances, and further identify the extremal state at which this lower bound is realized.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Uniqueness, stability and algorithm for an inverse wave-number-dependent source problems
Authors:
Mengjie Zhao,
Suliang Si,
Guanghui Hu
Abstract:
This paper is concerned with an inverse wavenumber/frequency-dependent source problem for the Helmholtz equation. In two and three dimensions, the unknown source term is supposed to be compactly supported in spatial variables but independent on one spatial variable. The dependence of the source function on wavenumber/frequency is supposed to be unknown. Based on the Dirichlet-Laplacian and Fourier…
▽ More
This paper is concerned with an inverse wavenumber/frequency-dependent source problem for the Helmholtz equation. In two and three dimensions, the unknown source term is supposed to be compactly supported in spatial variables but independent on one spatial variable. The dependence of the source function on wavenumber/frequency is supposed to be unknown. Based on the Dirichlet-Laplacian and Fourier-Transform methods, we develop two effcient non-iterative numerical algorithms to recover the wavenumber-dependent source. Uniqueness proof and increasing stability analysis are carried out in terms of the boundary measurement data of Dirichlet kind. Numerical experiments are conducted to illustrate the effectiveness and efficiency of the proposed methods.
△ Less
Submitted 31 March, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
On the $p$-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity
Authors:
Min Zhao,
Yueqiang Song,
Dušan D. Repovš
Abstract:
In this article, we deal with the following $p$-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity: $$ M\left([u]_{s,A}^{p}\right)(-Δ)_{p, A}^{s} u+V(x)|u|^{p-2} u=λ\left(\int_{\mathbb{R}^{N}} \frac{|u|^{p_{μ, s}^{*}}}{|x-y|^μ} \mathrm{d}y\right)|u|^{p_{μ, s}^{*}-2} u+k|u|^{q-2}u,\ x \in \mathbb{R}^{N},$$ where $0<s<1<p$, $ps < N$,…
▽ More
In this article, we deal with the following $p$-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity: $$ M\left([u]_{s,A}^{p}\right)(-Δ)_{p, A}^{s} u+V(x)|u|^{p-2} u=λ\left(\int_{\mathbb{R}^{N}} \frac{|u|^{p_{μ, s}^{*}}}{|x-y|^μ} \mathrm{d}y\right)|u|^{p_{μ, s}^{*}-2} u+k|u|^{q-2}u,\ x \in \mathbb{R}^{N},$$ where $0<s<1<p$, $ps < N$, $p<q<2p^{*}_{s,μ}$, $0<μ<N$, $λ$ and $k$ are some positive parameters, $p^{*}_{s,μ}=\frac{pN-p\fracμ{2}}{N-ps}$ is the critical exponent with respect to the Hardy-Littlewood-Sobolev inequality, and functions $V$, $M$ satisfy the suitable conditions. By proving the compactness results with the help of the fractional version of concentration compactness principle, we establish the existence of nontrivial solutions to this problem.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Optimal Differentially Private PCA and Estimation for Spiked Covariance Matrices
Authors:
T. Tony Cai,
Dong Xia,
Mengyue Zha
Abstract:
Estimating a covariance matrix and its associated principal components is a fundamental problem in contemporary statistics. While optimal estimation procedures have been developed with well-understood properties, the increasing demand for privacy preservation introduces new complexities to this classical problem. In this paper, we study optimal differentially private Principal Component Analysis (…
▽ More
Estimating a covariance matrix and its associated principal components is a fundamental problem in contemporary statistics. While optimal estimation procedures have been developed with well-understood properties, the increasing demand for privacy preservation introduces new complexities to this classical problem. In this paper, we study optimal differentially private Principal Component Analysis (PCA) and covariance estimation within the spiked covariance model. We precisely characterize the sensitivity of eigenvalues and eigenvectors under this model and establish the minimax rates of convergence for estimating both the principal components and covariance matrix. These rates hold up to logarithmic factors and encompass general Schatten norms, including spectral norm, Frobenius norm, and nuclear norm as special cases. We propose computationally efficient differentially private estimators and prove their minimax optimality for sub-Gaussian distributions, up to logarithmic factors. Additionally, matching minimax lower bounds are established. Notably, compared to the existing literature, our results accommodate a diverging rank, a broader range of signal strengths, and remain valid even when the sample size is much smaller than the dimension, provided the signal strength is sufficiently strong. Both simulation studies and real data experiments demonstrate the merits of our method.
△ Less
Submitted 27 September, 2024; v1 submitted 8 January, 2024;
originally announced January 2024.
-
Fourier neural operator based fluid-structure interaction for predicting the vesicle dynamics
Authors:
Wang Xiao,
Ting Gao,
Kai Liu,
Jinqiao Duan,
Meng Zhao
Abstract:
Solving complex fluid-structure interaction (FSI) problems, characterized by nonlinear partial differential equations, is crucial in various scientific and engineering applications. Traditional computational fluid dynamics (CFD) solvers are insufficient to meet the growing requirements for large-scale and long-period simulations. Fortunately, the rapid advancement in neural networks, especially ne…
▽ More
Solving complex fluid-structure interaction (FSI) problems, characterized by nonlinear partial differential equations, is crucial in various scientific and engineering applications. Traditional computational fluid dynamics (CFD) solvers are insufficient to meet the growing requirements for large-scale and long-period simulations. Fortunately, the rapid advancement in neural networks, especially neural operator learning mappings between function spaces, has introduced novel approaches to tackle these challenges via data-driven modeling. In this paper, we propose a Fourier neural operator-based fluid-structure interaction solver (FNO-based FSI solver) for efficient simulation of FSI problems, where the solid solver based on the finite difference method is seamlessly integrated with the Fourier neural operator to predict incompressible flow using the immersed boundary method. We analyze the performance of the FNO-based FSI solver in the following three situations: training data with or without the steady state, training method with one-step label or multi-step labels, and prediction in interpolation or extrapolation. We find that the best performance for interpolation is achieved by training the operator with multi-step labels using steady-state data. Finally, we train the FNO-based FSI solver using this optimal training method and apply it to vesicle dynamics. The results show that the FNO-based FSI solver is capable of capturing the variations in the fluid and the vesicle.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
An eigenvalue problem for self-similar patterns in Hele-Shaw flows
Authors:
Wang Xiao,
Lingyu Feng,
Kai Liu,
Meng Zhao
Abstract:
Hele-Shaw problems are prototypes to study the interface dynamics. Linear theory suggests the existence of self-similar patterns in a Hele-Shaw flow. That is, with a specific injection flux the interface shape remains unchanged while its size increases. In this paper, we explore the existence of self-similar patterns in the nonlinear regime and develop a rigorous nonlinear theory characterizing th…
▽ More
Hele-Shaw problems are prototypes to study the interface dynamics. Linear theory suggests the existence of self-similar patterns in a Hele-Shaw flow. That is, with a specific injection flux the interface shape remains unchanged while its size increases. In this paper, we explore the existence of self-similar patterns in the nonlinear regime and develop a rigorous nonlinear theory characterizing their fundamental features. Using a boundary integral formulation, we pose the question of self-similarity as a generalized nonlinear eigenvalue problem, involving two nonlinear integral operators. The flux constant $C$ is the eigenvalue and the corresponding self-similar pattern $\mathbf{x}$ is the eigenvector. We develop a quasi-Newton method to solve the problem and show the existence of nonlinear shapes with $k$-fold dominated symmetries. The influence of initial guesses on the self-similar patterns is investigated. We are able to obtain a desired self-similar shape once the initial guess is properly chosen. Our results go beyond the predictions of linear theory and establish a bridge between the linear theory and simulations.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Revisiting the identification problem of a function by the ratio of Laplace transforms of powers
Authors:
Dongdong Hu,
Linglong Yuan,
Minzhi Zhao
Abstract:
The ratio of Laplace transforms of powers of a function arises in the context of auction theory. The question whether a function is uniquely identified by this ratio has been answered affirmatively, if the function is non-negative, non-decreasing and right analytic.This paper extends the result to a larger class of functions without monotonicity.A conjecture in the literature says that all càdlàg…
▽ More
The ratio of Laplace transforms of powers of a function arises in the context of auction theory. The question whether a function is uniquely identified by this ratio has been answered affirmatively, if the function is non-negative, non-decreasing and right analytic.This paper extends the result to a larger class of functions without monotonicity.A conjecture in the literature says that all càdlàg functions can be identified by the ratio. We disprove this conjecture by providing simple functions that cannot be identified.
△ Less
Submitted 10 January, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Privacy Amplification by Iteration for ADMM with (Strongly) Convex Objective Functions
Authors:
T-H. Hubert Chan,
Hao Xie,
Mengshi Zhao
Abstract:
We examine a private ADMM variant for (strongly) convex objectives which is a primal-dual iterative method. Each iteration has a user with a private function used to update the primal variable, masked by Gaussian noise for local privacy, without directly adding noise to the dual variable. Privacy amplification by iteration explores if noises from later iterations can enhance the privacy guarantee…
▽ More
We examine a private ADMM variant for (strongly) convex objectives which is a primal-dual iterative method. Each iteration has a user with a private function used to update the primal variable, masked by Gaussian noise for local privacy, without directly adding noise to the dual variable. Privacy amplification by iteration explores if noises from later iterations can enhance the privacy guarantee when releasing final variables after the last iteration. Cyffers et al. [ICML 2023] explored privacy amplification by iteration for the proximal ADMM variant, where a user's entire private function is accessed and noise is added to the primal variable. In contrast, we examine a private ADMM variant requiring just one gradient access to a user's function, but both primal and dual variables must be passed between successive iterations. To apply Balle et al.'s [NeurIPS 2019] coupling framework to the gradient ADMM variant, we tackle technical challenges with novel ideas. First, we address the non-expansive mapping issue in ADMM iterations by using a customized norm. Second, because the dual variables are not masked with any noise directly, their privacy guarantees are achieved by treating two consecutive noisy ADMM iterations as a Markov operator. Our main result is that the privacy guarantee for the gradient ADMM variant can be amplified proportionally to the number of iterations. For strongly convex objective functions, this amplification exponentially increases with the number of iterations. These amplification results align with the previously studied special case of stochastic gradient descent.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Long-Term Causal Inference with Imperfect Surrogates using Many Weak Experiments, Proxies, and Cross-Fold Moments
Authors:
Aurélien Bibaut,
Nathan Kallus,
Simon Ejdemyr,
Michael Zhao
Abstract:
Inferring causal effects on long-term outcomes using short-term surrogates is crucial to rapid innovation. However, even when treatments are randomized and surrogates fully mediate their effect on outcomes, it's possible that we get the direction of causal effects wrong due to confounding between surrogates and outcomes -- a situation famously known as the surrogate paradox. The availability of ma…
▽ More
Inferring causal effects on long-term outcomes using short-term surrogates is crucial to rapid innovation. However, even when treatments are randomized and surrogates fully mediate their effect on outcomes, it's possible that we get the direction of causal effects wrong due to confounding between surrogates and outcomes -- a situation famously known as the surrogate paradox. The availability of many historical experiments offer the opportunity to instrument for the surrogate and bypass this confounding. However, even as the number of experiments grows, two-stage least squares has non-vanishing bias if each experiment has a bounded size, and this bias is exacerbated when most experiments barely move metrics, as occurs in practice. We show how to eliminate this bias using cross-fold procedures, JIVE being one example, and construct valid confidence intervals for the long-term effect in new experiments where long-term outcome has not yet been observed. Our methodology further allows to proxy for effects not perfectly mediated by the surrogates, allowing us to handle both confounding and effect leakage as violations of standard statistical surrogacy conditions.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Maximal rigid representations of continuous quivers of type $A$
Authors:
Yanxiu Liu,
Minghui Zhao
Abstract:
Bongartz and Gabriel gave a classification of maximal rigid representations for quivers of type $A$ with linear orientation and counted the number of isomorphism classes. In this paper, we give a formula on the number of isomorphism classes of a kind of maximal rigid representations for continuous quivers of type $A$ introduced by Igusa, Rock and Todorov.
Bongartz and Gabriel gave a classification of maximal rigid representations for quivers of type $A$ with linear orientation and counted the number of isomorphism classes. In this paper, we give a formula on the number of isomorphism classes of a kind of maximal rigid representations for continuous quivers of type $A$ introduced by Igusa, Rock and Todorov.
△ Less
Submitted 1 November, 2023; v1 submitted 27 September, 2023;
originally announced September 2023.
-
On the Approximation of Singular Functions by Series of Non-integer Powers
Authors:
Mohan Zhao,
Kirill Serkh
Abstract:
In this paper, we describe an algorithm for approximating functions of the form $f(x)=\int_{a}^{b} x^μ σ(μ) \, d μ$ over $[0,1]$, where $σ(μ)$ is some signed Radon measure, or, more generally, of the form $f(x) = <σ(μ),\, x^μ>$, where $σ(μ)$ is some distribution supported on $[a,b]$, with $0 <a < b < \infty$. One example from this class of functions is…
▽ More
In this paper, we describe an algorithm for approximating functions of the form $f(x)=\int_{a}^{b} x^μ σ(μ) \, d μ$ over $[0,1]$, where $σ(μ)$ is some signed Radon measure, or, more generally, of the form $f(x) = <σ(μ),\, x^μ>$, where $σ(μ)$ is some distribution supported on $[a,b]$, with $0 <a < b < \infty$. One example from this class of functions is $x^c (\log{x})^m=(-1)^m <δ^{(m)}(μ-c), \, x^μ>$, where $a\leq c \leq b$ and $m \geq 0$ is an integer. Given the desired accuracy $ε$ and the values of $a$ and $b$, our method determines a priori a collection of non-integer powers $t_1$, $t_2$, $\ldots$, $t_N$, so that the functions are approximated by series of the form $f(x)\approx \sum_{j=1}^N c_j x^{t_j}$, and a set of collocation points $x_1$, $x_2$, $\ldots$, $x_N$, such that the expansion coefficients can be found by collocating the function at these points. We prove that our method has a small uniform approximation error which is proportional to $ε$ multiplied by some small constants, and that the number of singular powers and collocation points grows as $N=O(\log{\frac{1}ε})$. We demonstrate the performance of our algorithm with several numerical experiments.
△ Less
Submitted 8 December, 2024; v1 submitted 20 August, 2023;
originally announced August 2023.
-
Exponential mixing for the white-forced complex Ginzburg--Landau equation in the whole space
Authors:
Vahagn Nersesyan,
Meng Zhao
Abstract:
In the last two decades, there has been a significant progress in the understanding of ergodic properties of white-forced dissipative PDEs. The previous studies mostly focus on equations posed on bounded domains since they rely on different compactness properties and the discreteness of the spectrum of the Laplacian. In the present paper, we consider the damped complex Ginzburg--Landau equation on…
▽ More
In the last two decades, there has been a significant progress in the understanding of ergodic properties of white-forced dissipative PDEs. The previous studies mostly focus on equations posed on bounded domains since they rely on different compactness properties and the discreteness of the spectrum of the Laplacian. In the present paper, we consider the damped complex Ginzburg--Landau equation on the real line driven by a white-in-time noise. Under the assumption that the noise is sufficiently non-degenerate, we establish the uniqueness of stationary measure and exponential mixing in the dual-Lipschitz metric. The proof is based on coupling techniques combined with a generalization of Foiaş--Prodi estimate to the case of the real line and special space-time weighted estimates which help to handle the behavior of solutions at infinity.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
A sufficient condition on successful invasion by the predator
Authors:
Hongliang Li,
Min Zhao,
Rong Yuan
Abstract:
In this paper, we provide a sufficient condition on successful invasion by the predator. Specially, we obtain the persistence of traveling wave solutions of predator-prey system, in which the predator can survive without the predation of the prey. This proof heavily depends on comparison principle of scalar monostable equation, the rescaling method and phase-plane analysis.
In this paper, we provide a sufficient condition on successful invasion by the predator. Specially, we obtain the persistence of traveling wave solutions of predator-prey system, in which the predator can survive without the predation of the prey. This proof heavily depends on comparison principle of scalar monostable equation, the rescaling method and phase-plane analysis.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Traveling Waves of Modified Leslie-Gower Predator-prey Systems
Authors:
Hongliang Li,
Min Zhao,
Rong Yuan
Abstract:
The spreading phenomena in modified Leslie-Gower reaction-diffusion predator-prey systems are the topic of this paper. We mainly study the existence of two different types of traveling waves. Be specific, with the aid of the upper and lower solutions method, we establish the existence of traveling wave connecting the prey-present state and the coexistence state or the prey-present state and the pr…
▽ More
The spreading phenomena in modified Leslie-Gower reaction-diffusion predator-prey systems are the topic of this paper. We mainly study the existence of two different types of traveling waves. Be specific, with the aid of the upper and lower solutions method, we establish the existence of traveling wave connecting the prey-present state and the coexistence state or the prey-present state and the prey-free state by constructing different and appropriate Lyapunov functions. Moreover, for traveling wave connecting the prey-present state and the prey-free state, we gain more monotonicity information on wave profile based on the asymptotic behavior at negative infinite. Finally, our results are applied to modified Leslie-Gower system with Holling II type or Lotka-Volterra type, and then a novel Lyapunov function is constructed for the latter, which further enhances our results. Meanwhile, some numerical simulations are carried to support our results.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Traveling Wave in a Ratio-dependent Holling-Tanner System with Nonlocal Diffusion and Strong Allee Effect
Authors:
Hongliang Li,
Min Zhao,
Rong Yuan
Abstract:
In this paper, a ratio-dependent Holling-Tanner system with nonlocal diffusion is taken into account, where the prey is subject to a strong Allee effect. To be special, by applying Schauder's fixed point theorem and iterative technique, we provide a general theory on the existence of traveling waves for such system. Then appropriate upper and lower solutions and a novel sequence, similar to squeez…
▽ More
In this paper, a ratio-dependent Holling-Tanner system with nonlocal diffusion is taken into account, where the prey is subject to a strong Allee effect. To be special, by applying Schauder's fixed point theorem and iterative technique, we provide a general theory on the existence of traveling waves for such system. Then appropriate upper and lower solutions and a novel sequence, similar to squeeze method, are constructed to demonstrate the existence of traveling waves for c>c*. Moreover, the existence of traveling wave for c=c* is also established by spreading speed theory and comparison principle. Finally, the nonexistence of traveling waves for c<c* is investigated, and the minimal wave speed then is determined.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Persistence of solutions in a nonlocal predator-prey system with a shifting habitat
Authors:
Min Zhao,
Rong Yuan
Abstract:
In this paper, we mainly study the propagation properties of a nonlocal dispersal predator-prey system in a shifting environment. It is known that Choi et al. [J. Differ. Equ. 302 (2021), pp. 807-853] studied the persistence or extinction of the prey and the predator separately in various moving frames. In particular, they achieved a complete picture in the local diffusion case. However, the quest…
▽ More
In this paper, we mainly study the propagation properties of a nonlocal dispersal predator-prey system in a shifting environment. It is known that Choi et al. [J. Differ. Equ. 302 (2021), pp. 807-853] studied the persistence or extinction of the prey and the predator separately in various moving frames. In particular, they achieved a complete picture in the local diffusion case. However, the question of the persistence of the prey and the predator in some intermediate moving frames in the nonlocal diffusion case is left open in Choi et al.'s paper. By using some prior estimates, the Arzela-Ascoli theorem and a diagonal extraction process, we can extend and improve the main results of Choi et al. to achieve a complete picture in the nonlocal diffusion case.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Existence and Stability of Random Transition Waves for Nonautonomous Fisher-KPP Equations with Nonlocal Diffusion
Authors:
Min Zhao,
Rong Yuan
Abstract:
In this paper, we study the existence and stability of random transition waves for time heterogeneous Fisher-KPP Equations with nonlocal diffusion. More specifically, we consider general time heterogeneities both for the nonlocal diffusion kernel and the reaction term. We use the comparison principle of the scalar equation and the method of upper and lower solutions to investigate the existence of…
▽ More
In this paper, we study the existence and stability of random transition waves for time heterogeneous Fisher-KPP Equations with nonlocal diffusion. More specifically, we consider general time heterogeneities both for the nonlocal diffusion kernel and the reaction term. We use the comparison principle of the scalar equation and the method of upper and lower solutions to investigate the existence of random transition wave solution when the wave speed is large enough. In addition, we show the stability of random transition fronts for non-autonomous Fisher-KPP equations with nonlocal diffusion.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
On Kato's conditions for the inviscid limit of the two-dimensional stochastic Navier-Stokes equation
Authors:
Ya-Guang Wang,
Meng Zhao
Abstract:
We study the asymtotic behavior of solutions to the two-dimensional stochasitc Navier-Stokes (SNS) equation in the small viscosity limit. The SNS equation is supplemented with no-slip boundary condition, in which a strong boundary layer shall appear in the limit due to the mismatch of the boundary conditions of the SNS equation and the corresponding limit problem. Several equivalent dissipation co…
▽ More
We study the asymtotic behavior of solutions to the two-dimensional stochasitc Navier-Stokes (SNS) equation in the small viscosity limit. The SNS equation is supplemented with no-slip boundary condition, in which a strong boundary layer shall appear in the limit due to the mismatch of the boundary conditions of the SNS equation and the corresponding limit problem. Several equivalent dissipation conditions are derived to ensure the convergence hold in the energy space. One novelty of this work is that we do not assume any smallness for the noise.
△ Less
Submitted 12 March, 2023;
originally announced March 2023.
-
A Continuation Method for Fitting a Bandlimited Curve to Points in the Plane
Authors:
Mohan Zhao,
Kirill Serkh
Abstract:
In this paper, we describe an algorithm for fitting an analytic and bandlimited closed or open curve to interpolate an arbitrary collection of points in $\mathbb{R}^{2}$. The main idea is to smooth the parametrization of the curve by iteratively filtering the Fourier or Chebyshev coefficients of both the derivative of the arc length function and the tangential angle of the curve, and applying smoo…
▽ More
In this paper, we describe an algorithm for fitting an analytic and bandlimited closed or open curve to interpolate an arbitrary collection of points in $\mathbb{R}^{2}$. The main idea is to smooth the parametrization of the curve by iteratively filtering the Fourier or Chebyshev coefficients of both the derivative of the arc length function and the tangential angle of the curve, and applying smooth perturbations, after each filtering step, until the curve is represented by a reasonably small number of coefficients. The algorithm produces a curve passing through the set of points to an accuracy of machine precision, after a limited number of iterations. It costs O($N\log{N}$) operations at each iteration, provided that the number of discretization nodes is $N$. The resulting curves are smooth and visually appealing, and do not exhibit any ringing artifacts. The bandwidths of the constructed curves are much smaller than those of curves constructed by previous methods. We demonstrate the performance of our algorithm with several numerical experiments.
△ Less
Submitted 24 May, 2023; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Direct sampling method to inverse wave-number-dependent source problems (part I): determination of the support of a stationary source
Authors:
Hongxia Guo,
Guanghui Hu,
Mengjie Zhao
Abstract:
This paper is concerned with a direct sampling method for imaging the support of a frequency-dependent source term embedded in a homogeneous and isotropic medium. The source term is given by the Fourier transform of a time-dependent source whose radiating period in the time domain is known.
The time-dependent source is supposed to be stationary in the sense that its compact support does not vary…
▽ More
This paper is concerned with a direct sampling method for imaging the support of a frequency-dependent source term embedded in a homogeneous and isotropic medium. The source term is given by the Fourier transform of a time-dependent source whose radiating period in the time domain is known.
The time-dependent source is supposed to be stationary in the sense that its compact support does not vary along the time variable.
Via a multi-frequency direct sampling method, we show that the smallest strip containing the source support and perpendicular to the observation direction can be recovered from far-field patterns at a fixed observation angle. With multiple but sparse observation directions, the shape of the convex hull of the source support can be recovered. The frequency-domain analysis performed here can be used to handle inverse time-dependent source problems.
Our algorithm has low computational overhead and is robust against noise. Numerical experiments in both two and three dimensions have proved our theoretical findings.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Stochastic Steffensen method
Authors:
Minda Zhao,
Zehua Lai,
Lek-Heng Lim
Abstract:
Is it possible for a first-order method, i.e., only first derivatives allowed, to be quadratically convergent? For univariate loss functions, the answer is yes -- the Steffensen method avoids second derivatives and is still quadratically convergent like Newton method. By incorporating an optimal step size we can even push its convergence order beyond quadratic to $1+\sqrt{2} \approx 2.414$. While…
▽ More
Is it possible for a first-order method, i.e., only first derivatives allowed, to be quadratically convergent? For univariate loss functions, the answer is yes -- the Steffensen method avoids second derivatives and is still quadratically convergent like Newton method. By incorporating an optimal step size we can even push its convergence order beyond quadratic to $1+\sqrt{2} \approx 2.414$. While such high convergence orders are a pointless overkill for a deterministic algorithm, they become rewarding when the algorithm is randomized for problems of massive sizes, as randomization invariably compromises convergence speed. We will introduce two adaptive learning rates inspired by the Steffensen method, intended for use in a stochastic optimization setting and requires no hyperparameter tuning aside from batch size. Extensive experiments show that they compare favorably with several existing first-order methods. When restricted to a quadratic objective, our stochastic Steffensen methods reduce to randomized Kaczmarz method -- note that this is not true for SGD or SLBFGS -- and thus we may also view our methods as a generalization of randomized Kaczmarz to arbitrary objectives.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
CLT, MDP and LDP for Range-Renewals of I.I.D.Samplings from an Infinite Discrete Distribution
Authors:
Xin-Xing Chen,
Jian-Sheng Xie,
Min-Zhi Zhao
Abstract:
Let $R_n$ be the number of distinct values of the $n$ simple samples from an infinite discrete distribution. In 1960 Bahadure proved $\displaystyle \lim_{n\to \infty} \frac{R_n}{\Enum R_n}=1$ in probability; Chen et al. proved the limit in the sense of almost sure convergence, along with other results. In this note we present results of CLT, MDP and LDP for $R_n$ under mild conditions.
Let $R_n$ be the number of distinct values of the $n$ simple samples from an infinite discrete distribution. In 1960 Bahadure proved $\displaystyle \lim_{n\to \infty} \frac{R_n}{\Enum R_n}=1$ in probability; Chen et al. proved the limit in the sense of almost sure convergence, along with other results. In this note we present results of CLT, MDP and LDP for $R_n$ under mild conditions.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Direct Computing on Control Capability for Linear Continuous-time Systems Based on Hurwitz Matrix
Authors:
Mingwang Zhao
Abstract:
In this paper, based on the controllable canonical form and the Hurwitz matrix of the Hurwitz stability criterion, an analytical volume computing method for the smooth controllability zonotope for the linear continuous-time(LCT) systems, without of help of the eigenvalue computing of the systems, is presented. And then, the computing method is generlized to the volume computing of the controllabil…
▽ More
In this paper, based on the controllable canonical form and the Hurwitz matrix of the Hurwitz stability criterion, an analytical volume computing method for the smooth controllability zonotope for the linear continuous-time(LCT) systems, without of help of the eigenvalue computing of the systems, is presented. And then, the computing method is generlized to the volume computing of the controllability ellipsoid of the LCT systems. Because the controllability zonotope and ellipsoid are directly related to control capability and their volumes are the main index describing the control capability, the new volume computing methods proposed in this paper can help greatly the computing, analysis and optimization of the control capability of LCT systems.
△ Less
Submitted 16 October, 2022;
originally announced October 2022.
-
Analytical Volume Analysis for the Finite-time Controllable Region of the Linear Discrete-time Systems
Authors:
Mingwang Zhao
Abstract:
In this paper, the works on the analytical volume analysis for the controllable regions of the linear discrete-time (LDT) systems in papers \cite{zhaomw202001} and \cite {zhaomw202004} are discussed further and a new theorem on the analytical computing for the finite-time controllability zonotope (controllable region) of LDT systems are proven. And then, three analytical factors describing the con…
▽ More
In this paper, the works on the analytical volume analysis for the controllable regions of the linear discrete-time (LDT) systems in papers \cite{zhaomw202001} and \cite {zhaomw202004} are discussed further and a new theorem on the analytical computing for the finite-time controllability zonotope (controllable region) of LDT systems are proven. And then, three analytical factors describing the control capability of the systems are deconstructed successfully from the analytical volume expression of the controllable region. Finally, the theorem is generalized to three cases: the narrow controllable region, the matrix $A$ with $n$ negative eigenvalues, the linear continuous-time systems.
△ Less
Submitted 16 October, 2022;
originally announced October 2022.
-
Data-driven probability density forecast for stochastic dynamical systems
Authors:
Meng Zhao,
Lijian Jiang
Abstract:
In this paper, a data-driven nonparametric approach is presented for forecasting the probability density evolution of stochastic dynamical systems. The method is based on stochastic Koopman operator and extended dynamic mode decomposition (EDMD). To approximate the finite-dimensional eigendecomposition of the stochastic Koopman operator, EDMD is applied to the training data set sampled from the st…
▽ More
In this paper, a data-driven nonparametric approach is presented for forecasting the probability density evolution of stochastic dynamical systems. The method is based on stochastic Koopman operator and extended dynamic mode decomposition (EDMD). To approximate the finite-dimensional eigendecomposition of the stochastic Koopman operator, EDMD is applied to the training data set sampled from the stationary distribution of the underlying stochastic dynamical system. The family of the Koopman operators form a semigroup, which is generated by the infinitesimal generator of the stochastic dynamical system. A significant connection between the generator and Fokker-Planck operator provides a way to construct an orthonormal basis of a weighted Hilbert space. A spectral decomposition of the probability density function is accomplished in this weighted space. This approach is a data-driven method and used to predict the probability density evolution and real-time moment estimation. In the limit of the large number of snapshots and observables, the data-driven probability density approximation converges to the Galerkin projection of the semigroup solution of Fokker-Planck equation on a basis adapted to an invariant measure. The proposed method shares the similar idea to diffusion forecast, but renders more accurate probability density than the diffusion forecast does. A few numerical examples are presented to illustrate the performance of the data-driven probability density forecast.
△ Less
Submitted 10 October, 2022; v1 submitted 7 October, 2022;
originally announced October 2022.
-
On the Correspondence and the Risk Contribution for Conditional Coherent and Deviation Risk Measures
Authors:
Guangyan Jia,
Mengjin Zhao
Abstract:
We give an axiomatic framework for conditional generalized deviation measures. Under financially reasonable assumptions, we give the correspondence between conditional coherent risk measures and generalized deviation measures. Moreover, we establish the notion of continuous-time risk contribution for conditional coherent risk measures and generalized deviation measures. With the help of the corres…
▽ More
We give an axiomatic framework for conditional generalized deviation measures. Under financially reasonable assumptions, we give the correspondence between conditional coherent risk measures and generalized deviation measures. Moreover, we establish the notion of continuous-time risk contribution for conditional coherent risk measures and generalized deviation measures. With the help of the correspondence between these two different types of risk measures, we give a microscopic interpretation of their risk contributions. Particularly, we show that the risk contributions of time-consistent risk measures are still time-consistent. We also demonstrate that the second element of the BSDE solution $(Y, Z)$ associated with $g$-expectation has the meaning of risk contribution.
△ Less
Submitted 18 February, 2023; v1 submitted 28 August, 2022;
originally announced August 2022.
-
Emergent Spatial Characteristics from Strategic Games Simulated on Random and Real Networks
Authors:
Louis Zhao,
Chen Ye Gan,
Minglu Zhao
Abstract:
Complex networks are a great tool for simulating the outcomes of different strategies used within the iterated prisoners' dilemma game. However, because the strategies themselves rely on the connection between nodes, then initial network structure should have an impact on the progression of the game. By defining each interaction in terms of a prisoner's dilemma and using its payoff matrix as a bas…
▽ More
Complex networks are a great tool for simulating the outcomes of different strategies used within the iterated prisoners' dilemma game. However, because the strategies themselves rely on the connection between nodes, then initial network structure should have an impact on the progression of the game. By defining each interaction in terms of a prisoner's dilemma and using its payoff matrix as a basis for investigation, we implemented players with various interaction and edge attachment strategies, and ran this dynamic process on real and random networks with varying network structure. We found that, both network size and small world properties played an important role in not only deciding the convergence rate of the simulation but also the dominant status of nodes, under the conditions where identical strategies are employed by every player.
△ Less
Submitted 27 August, 2022;
originally announced August 2022.
-
Reflection Functors For Continuous Quivers Of Type A
Authors:
Yanxiu Liu,
Minghui Zhao
Abstract:
As generalizations of quivers of type A, Igusa-Rock-Todorov in [6] introduced continuous quivers of type A. In this paper, we shall generalize BGP reflection functors to continuous quivers of type A.
As generalizations of quivers of type A, Igusa-Rock-Todorov in [6] introduced continuous quivers of type A. In this paper, we shall generalize BGP reflection functors to continuous quivers of type A.
△ Less
Submitted 15 August, 2022;
originally announced August 2022.
-
Strongly quasisymmetirc homeomorphisms being compatible with Fuchsian groups
Authors:
Shengjin Huo,
Mengzhen Zhao
Abstract:
In this paper we first introduced a domain called generalized Dirichlet fundamental domain $\mathcal{F}^{*}$ for a Fuchsian group $G$ whose generators contain parabolic elements. This allows us to show that a quasisymmetric homeomorphism $h$ being compatible with a convergence Fuchsian group $G$ of first kind is a strongly quasisymmetric homeomorphism if and only if it has a quasiconformal extensi…
▽ More
In this paper we first introduced a domain called generalized Dirichlet fundamental domain $\mathcal{F}^{*}$ for a Fuchsian group $G$ whose generators contain parabolic elements. This allows us to show that a quasisymmetric homeomorphism $h$ being compatible with a convergence Fuchsian group $G$ of first kind is a strongly quasisymmetric homeomorphism if and only if it has a quasiconformal extension $f$ to the upper half plane $\mathbb{H}$ onto itself such that the induced measure $λ_μ=|μ|^{2}/Im(z)dxdy$ by the Beltrami coefficient $μ$ of $f$ is a Carleson measure on the generalized Dirichlet fundamental domain $\mathcal{F}^{*}.$
We also show that the above property also holds for Carleson-Denjoy domains.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Online multiscale model reduction for nonlinear stochastic PDEs with multiplicative noise
Authors:
Lijian Jiang,
Mengnan Li,
Meng Zhao
Abstract:
In this paper, an online multiscale model reduction method is presented for stochastic partial differential equations (SPDEs) with multiplicative noise, where the diffusion coefficient is spatially multiscale and the noise perturbation nonlinearly depends on the diffusion dynamics. It is necessary to efficiently compute all possible trajectories of the stochastic dynamics for quantifying model's u…
▽ More
In this paper, an online multiscale model reduction method is presented for stochastic partial differential equations (SPDEs) with multiplicative noise, where the diffusion coefficient is spatially multiscale and the noise perturbation nonlinearly depends on the diffusion dynamics. It is necessary to efficiently compute all possible trajectories of the stochastic dynamics for quantifying model's uncertainty and statistic moments. The multiscale diffusion and nonlinearity may cause the computation intractable. To overcome the multiscale difficulty, a constraint energy minimizing generalized multiscale finite element method (CEM-GMsFEM) is used to localize the computation and obtain an effective coarse model. However, the nonlinear terms are still defined on a fine scale space after the Galerkin projection of CEM-GMsFEM is applied to the nonlinear SPDEs. This significantly impacts on the simulation efficiency by CEM-GMsFEM. To this end, a stochastic online discrete empirical interpolation method (DEIM) is proposed to treat the stochastic nonlinearity. The stochastic online DEIM incorporates offline snapshots and online snapshots. The offline snapshots consist of the nonlinear terms at the approximate mean of the stochastic dynamics and are used to construct an offline reduced model. The online snapshots contain some information of the current new trajectory and are used to correct the offline reduced model in an increment manner. The stochastic online DEIM substantially reduces the dimension of the nonlinear dynamics and enhances the prediction accuracy for the reduced model. Thus, the online multiscale model reduction is constructed by using CEM-GMsFEM and the stochastic online DEIM. A priori error analysis is carried out for the nonlinear SPDEs. We present a few numerical examples with diffusion in heterogeneous porous media and show the effectiveness of the proposed model reduction.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Traveling waves with continuous profile for hyperbolic Keller-Segel equation
Authors:
Quentin Griette,
Pierre Magal,
Min Zhao
Abstract:
This work describes a hyperbolic model for cell-cell repulsion with population dynamics. We consider the pressure produced by a population of cells to describe their motion. We assume that cells try to avoid crowded areas and prefer locally empty spaces far away from the carrying capacity. Here, our main goal is to prove the existence of traveling waves with continuous profiles. This article compl…
▽ More
This work describes a hyperbolic model for cell-cell repulsion with population dynamics. We consider the pressure produced by a population of cells to describe their motion. We assume that cells try to avoid crowded areas and prefer locally empty spaces far away from the carrying capacity. Here, our main goal is to prove the existence of traveling waves with continuous profiles. This article complements our previous results about sharp traveling waves. We conclude the paper with numerical simulations of the PDE problem, illustrating such a result.
△ Less
Submitted 23 May, 2024; v1 submitted 14 April, 2022;
originally announced April 2022.
-
Derivation functors and Lusztig's induction functors
Authors:
Minghui Zhao
Abstract:
Lusztig proved the compatibility of induction functors and restriction functors for Lusztig's perverse sheaves. Fang-Lan-Xiao established a categorification of Green's formula and gave a sheaf-level proof of this compatibility for all semisimple complexes. As an application, we study the relation between induction functors and derivation functors, which is a kind of special restriction functors.
Lusztig proved the compatibility of induction functors and restriction functors for Lusztig's perverse sheaves. Fang-Lan-Xiao established a categorification of Green's formula and gave a sheaf-level proof of this compatibility for all semisimple complexes. As an application, we study the relation between induction functors and derivation functors, which is a kind of special restriction functors.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
Numerical study on viscous fingering using electric fields in a Hele-Shaw cell
Authors:
Meng Zhao,
Pedro Anjos,
John Lowengrub,
Wenjun Ying,
Shuwang Li
Abstract:
We investigate the nonlinear dynamics of a moving interface in a Hele-Shaw cell subject to an in-plane applied electric field. We develop a spectrally accurate boundary integral method where a coupled integral equation system is formulated. Although the stiffness due to the high order spatial derivatives can be removed, the long-time simulation is still expensive since the evolving velocity of the…
▽ More
We investigate the nonlinear dynamics of a moving interface in a Hele-Shaw cell subject to an in-plane applied electric field. We develop a spectrally accurate boundary integral method where a coupled integral equation system is formulated. Although the stiffness due to the high order spatial derivatives can be removed, the long-time simulation is still expensive since the evolving velocity of the interface drops dramatically as the interface expands. We remove this physically imposed stiffness by employing a rescaling scheme, which accelerates the slow dynamics and reduces the computational cost. Our nonlinear results reveal that positive currents restrain finger ramification and promote overall stabilization of patterns. On the other hand, negative currents make the interface more unstable and lead to the formation of thin tail structures connecting the fingers and a small inner region. When no flux is injected, and a negative current is utilized, the interface tends to approach the origin and break up into several drops. We investigate the temporal evolution of the smallest distance between the interface and the origin and find that it obeys an algebraic law $\displaystyle (t_*-t)^b$, where $t_*$ is the estimated pinch-off time.
△ Less
Submitted 15 January, 2022;
originally announced January 2022.
-
On bases of quantum affine algebras
Authors:
Jie Xiao,
Han Xu,
Minghui Zhao
Abstract:
Let $\textbf{U}^+$ be the positive part of the quantum group $\textbf{U}$ associated with a generalized Cartan matrix. In the case of finite type, Lusztig constructed the canonical basis $\textbf{B}$ of $\textbf{U}^+$ via two approaches. The first one is an elementary algebraic construction via Ringel-Hall algebra realization of $\textbf{U}^+$ and the second one is a geometric construction. The ge…
▽ More
Let $\textbf{U}^+$ be the positive part of the quantum group $\textbf{U}$ associated with a generalized Cartan matrix. In the case of finite type, Lusztig constructed the canonical basis $\textbf{B}$ of $\textbf{U}^+$ via two approaches. The first one is an elementary algebraic construction via Ringel-Hall algebra realization of $\textbf{U}^+$ and the second one is a geometric construction. The geometric construction of canonical basis can be generalized to the cases of all types. The generalization of the elementary algebraic construction to affine type is an important problem. We give several main results of algebraic constructions to the affine canonical basis in this ariticle. These results are given by Beck-Nakajima, Lin-Xiao-Zhang, Xiao-Xu-Zhao, respectively.
△ Less
Submitted 18 August, 2021; v1 submitted 19 July, 2021;
originally announced July 2021.
