-
Lin-Lu-Yau Ricci curvature on hypergraphs
Authors:
Yulu Tian,
Liang Zhao
Abstract:
In this paper, we introduce a unified framework for defining Lin-Lu-Yau (LLY) Ricci curvature on both undirected and directed hypergraphs. By establishing upper bounds and monotonicity properties for the parameterized curvature $κ_α$, we justify the well-posedness and compatibility of our definitions. Furthermore, we prove a Bonnet-Myers-type theorem for hypergraphs, which highlights the potential…
▽ More
In this paper, we introduce a unified framework for defining Lin-Lu-Yau (LLY) Ricci curvature on both undirected and directed hypergraphs. By establishing upper bounds and monotonicity properties for the parameterized curvature $κ_α$, we justify the well-posedness and compatibility of our definitions. Furthermore, we prove a Bonnet-Myers-type theorem for hypergraphs, which highlights the potential of LLY Ricci curvature in hypergraph analysis, particularly in studying geometric and structural properties. Our results extends the foundational definitions of graph Ricci curvature by Ollivier and Lin-Lu-Yau to the hypergraph setting.
△ Less
Submitted 5 July, 2025;
originally announced July 2025.
-
Level structures on parahoric torsors and complete integrability
Authors:
Georgios Kydonakis,
Lutian Zhao
Abstract:
For a smooth complex algebraic curve $X$ and a reduced effective divisor $D$ on $X$, we introduce a notion of $D$-level structure on parahoric $\mathcal{G}_{\boldsymbol θ}$-torsors over $X$, for any connected complex reductive Lie group $G$. A moduli space of parahoric $\mathcal{G}_{\boldsymbol θ}$-torsors equipped with a $D$-level structure is constructed and we identify a canonical moment map wi…
▽ More
For a smooth complex algebraic curve $X$ and a reduced effective divisor $D$ on $X$, we introduce a notion of $D$-level structure on parahoric $\mathcal{G}_{\boldsymbol θ}$-torsors over $X$, for any connected complex reductive Lie group $G$. A moduli space of parahoric $\mathcal{G}_{\boldsymbol θ}$-torsors equipped with a $D$-level structure is constructed and we identify a canonical moment map with respect to the action of a level group on this moduli space. This action extends to a Poisson action on the cotangent, thus inducing a Poisson structure on the moduli space of logahoric $\mathcal{G}_{\boldsymbol θ}$-Higgs torsors on $X$. A study of the generic fibers of the parahoric Hitchin fibration of this moduli space identifies them as abelian torsors and introduces new algebraically completely integrable Hamiltonian Hitchin systems in this parahoric setting. We show that this framework generalizes, among other, the integrable system of Beauville and recovers the classical Gaudin model in its simplest form, the space of periodic KP elliptic solitons and the elliptic Calogero--Moser system, thus demonstrating that the logahoric Hitchin integrable system unifies many integrable systems with regular singularities under a single geometric framework.
△ Less
Submitted 13 June, 2025;
originally announced June 2025.
-
Moderate deviation principles for the current and the tagged particle in the WASEP
Authors:
Xiaofeng Xue,
Linjie Zhao
Abstract:
We study the weakly asymmetric simple exclusion process in one dimension. We prove sample path moderate deviation principles for the current and the tagged particle when the process starts from one of its stationary measures. We simplify the proof in our previous works [Xue and Zhao, Electronic Journal of Probability, 2024] and [Xue and Zhao, Stochastic Processes and their Applications, 2023], whe…
▽ More
We study the weakly asymmetric simple exclusion process in one dimension. We prove sample path moderate deviation principles for the current and the tagged particle when the process starts from one of its stationary measures. We simplify the proof in our previous works [Xue and Zhao, Electronic Journal of Probability, 2024] and [Xue and Zhao, Stochastic Processes and their Applications, 2023], where the same problem was investigated in the symmetric simple exclusion process.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
An Efficient and Globally Optimal Algorithm for Nonconvex QCQP with One Equality Constraint
Authors:
Licheng Zhao,
Rui Zhou,
Wenqiang Pu
Abstract:
In this paper, we concentrate on a particular category of quadratically constrained quadratic programming (QCQP): nonconvex QCQP with one equality constraint. This type of QCQP problem optimizes a quadratic objective under a fixed second-order cost and has various engineering applications. It often serves as a subproblem in an iterative algorithm framework. However, the development of a high-quali…
▽ More
In this paper, we concentrate on a particular category of quadratically constrained quadratic programming (QCQP): nonconvex QCQP with one equality constraint. This type of QCQP problem optimizes a quadratic objective under a fixed second-order cost and has various engineering applications. It often serves as a subproblem in an iterative algorithm framework. However, the development of a high-quality and efficient solution remains an open problem in the existing literature. Traditionally, the Semidefinite Relaxation (SDR) technique is applied for an optimal solution with a prohibitively high order of time complexity. To improve computational efficiency, we propose a fast and non-iterative algorithm to reach a globally optimal solution. This algorithm consists of two consecutive stages: Simultaneous Diagonalization (SD) and Bisection Search (BS). The SD stage decouples the original problem through an affine mapping and the BS stage finds the optimal Lagrange multiplier by solving an equation induced from first- and second-order Karush-Kuhn-Tucker (KKT) conditions. In addition, we enrich the proposed algorithm with further extensions on the problem structure, namely, rank-deficient parameter, indefiniteness, constraint augmentation, and matrix-format variable. Numerical simulations show that the proposed algorithm achieves good numerical performance in terms of constraint satisfaction, optimality gap, and computational time, and scales to problem sizes at least ten times those supported by the traditional benchmarks.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Bounds for Moments of Dirichlet $L$-functions of fixed modulus on the critical line
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We study the $2k$-th moment of the family of Dirichlet $L$-functions to a fixed prime modulus on the critical line and establish sharp lower bounds for all real $k \geq 0$ and sharp upper bounds for $k$ in the range $0 \leq k \leq 1$.
We study the $2k$-th moment of the family of Dirichlet $L$-functions to a fixed prime modulus on the critical line and establish sharp lower bounds for all real $k \geq 0$ and sharp upper bounds for $k$ in the range $0 \leq k \leq 1$.
△ Less
Submitted 25 May, 2025;
originally announced May 2025.
-
Moderate deviations for the facilitated exclusion process in equilibrium
Authors:
Linjie Zhao
Abstract:
We derive the moderate deviation principles for the fluctuation fields of the facilitated exclusion process (FEP) in one dimension when the process starts from its stationary measure, both in the symmetric and asymmetric cases. The main step is to prove a super-exponential version of the Boltzmann-Gibbs principle, which relies on the logarithmic Sobolev inequality for the FEP.
We derive the moderate deviation principles for the fluctuation fields of the facilitated exclusion process (FEP) in one dimension when the process starts from its stationary measure, both in the symmetric and asymmetric cases. The main step is to prove a super-exponential version of the Boltzmann-Gibbs principle, which relies on the logarithmic Sobolev inequality for the FEP.
△ Less
Submitted 2 May, 2025;
originally announced May 2025.
-
Upper bounds for moments of Dirichlet $L$-functions to a fixed modulus
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We study the $2k$-th moment of central values of the family of Dirichlet $L$-functions to a fixed prime modulus and establish sharp upper bounds for all real $k \in [0,2]$.
We study the $2k$-th moment of central values of the family of Dirichlet $L$-functions to a fixed prime modulus and establish sharp upper bounds for all real $k \in [0,2]$.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
A common first integral from three-body secular theory and Kepler billiards
Authors:
Gabriella Pinzari,
Lei Zhao
Abstract:
We observe that a particular first integral of the partially-averaged system in the secular theory of the three-body problem appears also as an important conserved quantity of integrable Kepler billiards. In this note we illustrate their common roots with the projective dynamics of the two-center problem. We then combine these two aspects to define a class of integrable billiard systems on surface…
▽ More
We observe that a particular first integral of the partially-averaged system in the secular theory of the three-body problem appears also as an important conserved quantity of integrable Kepler billiards. In this note we illustrate their common roots with the projective dynamics of the two-center problem. We then combine these two aspects to define a class of integrable billiard systems on surfaces of constant curvature.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Nonlinear Diffusion Equations on Graphs: Global Well-Posedness, Blow-Up Analysis and Applications
Authors:
Mengqiu Shao,
Yunyan Yang,
Liang Zhao
Abstract:
For a nonlinear diffusion equation on graphs whose nonlinearity violates the Lipschitz condition, we prove short-time solution existence and characterize global well-posedness by establishing sufficient criteria for blow-up phenomena and quantifying blow-up rates. These theoretical results are then applied to model complex dynamical networks, with supporting numerical experiments. This work mainly…
▽ More
For a nonlinear diffusion equation on graphs whose nonlinearity violates the Lipschitz condition, we prove short-time solution existence and characterize global well-posedness by establishing sufficient criteria for blow-up phenomena and quantifying blow-up rates. These theoretical results are then applied to model complex dynamical networks, with supporting numerical experiments. This work mainly makes two contributions: (i) generalization of existing results for diffusion equations on graphs to cases with nontrivial potentials, producing richer analytical results; (ii) a new PDE approach to model complex dynamical networks, with preliminary numerical experiments confirming its validity.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
Twisted second moment of modular $L$-functions to a fixed modulus
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We study asymptotically the twisted second moment of the family of modular $L$-functions to a fixed modulus. As an application, we establish sharp lower bounds for all real $k \geq 0$ and sharp upper bounds for $k$ in the range $0 \leq k \leq 1$ for the $2k$-th moment of these $L$-functions on the critical line.
We study asymptotically the twisted second moment of the family of modular $L$-functions to a fixed modulus. As an application, we establish sharp lower bounds for all real $k \geq 0$ and sharp upper bounds for $k$ in the range $0 \leq k \leq 1$ for the $2k$-th moment of these $L$-functions on the critical line.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
A novel multipoint stress control volume method for linear elasticity on quadrilateral grids
Authors:
Shubin Fu,
Lina Zhao
Abstract:
In this paper, we develop a novel control volume method that is locally conservative and locking-free for linear elasticity problem on quadrilateral grids. The symmetry of stress is weakly imposed through the introduction of a Lagrange multiplier. As such, the method involves three unknowns: stress, displacement and rotation. To ensure the well-posedness of the scheme, a pair of carefully defined…
▽ More
In this paper, we develop a novel control volume method that is locally conservative and locking-free for linear elasticity problem on quadrilateral grids. The symmetry of stress is weakly imposed through the introduction of a Lagrange multiplier. As such, the method involves three unknowns: stress, displacement and rotation. To ensure the well-posedness of the scheme, a pair of carefully defined finite element spaces is used for the stress, displacement and rotation such that the inf-sup condition holds. An appealing feature of the method is that piecewise constant functions are used for the approximations of stress, displacement and rotation, which greatly simplifies the implementation. In particular, the stress space is defined delicately such that the stress bilinear form is localized around each vertex, which allows for the local elimination of the stress, resulting in a cell-centered system. By choosing different definitions of the space for rotation, we develop two variants of the method. In particular, the first method uses a constant function for rotation over the interaction region, which allows for further elimination and results in a cell-centered system involving displacement only. A rigorous error analysis is performed for the proposed scheme. We show the optimal convergence for $L^2$-error of the stress and rotation. Moreover, we can also prove the superconvergence for $L^2$-error of displacement. Extensive numerical simulations indicate that our method is efficient and accurate, and can handle problems with discontinuous coefficients.
△ Less
Submitted 13 April, 2025; v1 submitted 3 March, 2025;
originally announced March 2025.
-
Proof of Existence of Integers Excluding Two Residue Values in a Specific Range
Authors:
Liang Zhao
Abstract:
This paper investigates the existence of integers that exclude two specific residence values modulo primes up to $p_k$ within the interval $[p_k^2, p_{k+1}^2]$. Using asymptotic results from analytic number theory, we establish bounds on the proportion of integers excluded by the union of residue classes. The findings highlight the density of residue class coverage in large intervals, contributing…
▽ More
This paper investigates the existence of integers that exclude two specific residence values modulo primes up to $p_k$ within the interval $[p_k^2, p_{k+1}^2]$. Using asymptotic results from analytic number theory, we establish bounds on the proportion of integers excluded by the union of residue classes. The findings highlight the density of residue class coverage in large intervals, contributing to the understanding of modular systems and their implications in number theory and related fields.
△ Less
Submitted 26 January, 2025;
originally announced January 2025.
-
2-extendability of (4,5,6)-fullerenes
Authors:
Lifang Zhao,
Heping Zhang
Abstract:
A (4,5,6)-fullerene is a plane cubic graph whose faces are only quadrilaterals, pentagons and hexagons, which includes all (4,6)- and (5,6)-fullerenes. A connected graph $G$ with at least $2k+2$ vertices is $k$-extendable if $G$ has perfect matchings and any matching of size $k$ is contained in a perfect matching of $G$. We know that each (4,5,6)-fullerene graph is 1-extendable and at most 2-exten…
▽ More
A (4,5,6)-fullerene is a plane cubic graph whose faces are only quadrilaterals, pentagons and hexagons, which includes all (4,6)- and (5,6)-fullerenes. A connected graph $G$ with at least $2k+2$ vertices is $k$-extendable if $G$ has perfect matchings and any matching of size $k$ is contained in a perfect matching of $G$. We know that each (4,5,6)-fullerene graph is 1-extendable and at most 2-extendable. It is natural to wonder which (4,5,6)-fullerene graphs are 2-extendable. In this paper, we completely solve this problem (see Theorem 3.3): All non-2-extendable (4,5,6)-fullerenes consist of four sporadic (4,5,6)-fullerenes ($F_{12},F_{14},F_{18}$ and $F_{20}$) and five classes of (4,5,6)-fullerenes. As a surprising consequence, we find that all (4,5,6)-fullerenes with the anti-Kekulé number 3 are non-2-extendable. Further, there also always exists a non-2-extendable (4,5,6)-fullerene with arbitrarily even $n\geqslant10$ vertices.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
On the finiteness issue of four-body balanced configurations in the plane
Authors:
Yuchen Wang,
Lei Zhao
Abstract:
We show that the number of $\mathbf{S}$-balanced configurations of four bodies in the plane is finite, provided that the symmetric matrix $\mathbf{S}$ is close to a numerical matrix.
We show that the number of $\mathbf{S}$-balanced configurations of four bodies in the plane is finite, provided that the symmetric matrix $\mathbf{S}$ is close to a numerical matrix.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
Bounds for Moments of Twisted Fourier coefficients of Modular Forms
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We establish upper bounds for shifted moments of modular $L$-functions to a fixed modulus as well as quadratic twists of modular $L$-functions under the generalized Riemann hypothesis. Our results are then used to establish bounds for moments of sums involving with Fourier coefficients of a given modular form twisted by Dirichlet characters.
We establish upper bounds for shifted moments of modular $L$-functions to a fixed modulus as well as quadratic twists of modular $L$-functions under the generalized Riemann hypothesis. Our results are then used to establish bounds for moments of sums involving with Fourier coefficients of a given modular form twisted by Dirichlet characters.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Stationary fluctuations for the WASEP with long jumps and infinitely extended reservoirs
Authors:
Wenxuan Chen,
Linjie Zhao
Abstract:
We study a weakly asymmetric exclusion process with long jumps and with infinitely many extended reservoirs. We prove that the stationary fluctuations of the process are governed by the generalized Ornstein-Uhlenbeck process or the stochastic Burgers equation with Dirichlet boundary conditions depending on the strength of the asymmetry of the dynamics.
We study a weakly asymmetric exclusion process with long jumps and with infinitely many extended reservoirs. We prove that the stationary fluctuations of the process are governed by the generalized Ornstein-Uhlenbeck process or the stochastic Burgers equation with Dirichlet boundary conditions depending on the strength of the asymmetry of the dynamics.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Well-balanced fifth-order finite volume WENO schemes with constant subtraction technique for shallow water equations
Authors:
Lidan Zhao,
Zhanjing Tao,
Min Zhang
Abstract:
In this paper, we propose a new well-balanced fifth-order finite volume WENO method for solving one- and two-dimensional shallow water equations with bottom topography. The well-balanced property is crucial to the ability of a scheme to simulate perturbation waves over the ``lake-at-rest'' steady state such as waves on a lake or tsunami waves in the deep ocean. We adopt the constant subtraction te…
▽ More
In this paper, we propose a new well-balanced fifth-order finite volume WENO method for solving one- and two-dimensional shallow water equations with bottom topography. The well-balanced property is crucial to the ability of a scheme to simulate perturbation waves over the ``lake-at-rest'' steady state such as waves on a lake or tsunami waves in the deep ocean. We adopt the constant subtraction technique such that both the flux gradient and source term in the new pre-balanced form vanish at the lake-at-rest steady state, while the well-balanced WENO method by Xing and Shu [Commun. Comput. Phys., 2006] uses high-order accurate numerical discretization of the source term and makes the exact balance between the source term and the flux gradient, to achieve the well-balanced property. The scaling positivity-preserving limiter is used for the water height near the dry areas. The fifth-order WENO-AO reconstruction is used to construct the solution since it has better resolution than the WENO-ZQ and WENO-MR reconstructions for the perturbation of steady state flows. Extensive one- and two-dimensional numerical examples are presented to demonstrate the well-balanced, fifth-order accuracy, non-oscillatory, and positivity-preserving properties of the proposed method.
△ Less
Submitted 17 November, 2024;
originally announced November 2024.
-
Lower bounds for shifted moments of Dirichlet $L$-functions of fixed modulus
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We establish sharp lower bounds for shifted (with two shifts) moments of Dirichlet $L$-function of fixed modulus under the generalized Riemann hypothesis.
We establish sharp lower bounds for shifted (with two shifts) moments of Dirichlet $L$-function of fixed modulus under the generalized Riemann hypothesis.
△ Less
Submitted 28 April, 2025; v1 submitted 6 November, 2024;
originally announced November 2024.
-
Implicit-explicit time discretization schemes for a class of semilinear wave equations with nonautonomous dampings
Authors:
Zhe Jiao,
Yaxu Li,
Lijing Zhao
Abstract:
This paper is concerned about the implicit-explicit (IMEX) methods for a class of dissipative wave systems with time-varying velocity feedbacks and nonlinear potential energies, equipped with different boundary conditions. Firstly, we approximate the problems by using a vanilla IMEX method, which is a second-order scheme for the problems when the damping terms are time-independent. However, rigors…
▽ More
This paper is concerned about the implicit-explicit (IMEX) methods for a class of dissipative wave systems with time-varying velocity feedbacks and nonlinear potential energies, equipped with different boundary conditions. Firstly, we approximate the problems by using a vanilla IMEX method, which is a second-order scheme for the problems when the damping terms are time-independent. However, rigors analysis shows that the error rate declines from second to first order due to the nonautonomous dampings. To recover the convergence order, we propose a revised IMEX scheme and apply it to the nonautonomous wave equations with a kinetic boundary condition. Our numerical experiments demonstrate that the revised scheme can not only achieve second-order accuracy but also improve the computational efficiency.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
On the structure of the Bloch--Kato Selmer groups of modular forms over anticyclotomic $\mathbf{Z}_p$-towers
Authors:
Antonio Lei,
Luca Mastella,
Luochen Zhao
Abstract:
Let $p$ be an odd prime number and let $K$ be an imaginary quadratic field in which $p$ is split. Let $f$ be a modular form with good reduction at $p$. We study the variation of the Bloch--Kato Selmer groups and the Bloch--Kato--Shafarevich--Tate groups of $f$ over the anticyclotomic $\mathbf{Z}_p$-extension $K_\infty$ of $K$. In particular, we show that under the generalized Heegner hypothesis, i…
▽ More
Let $p$ be an odd prime number and let $K$ be an imaginary quadratic field in which $p$ is split. Let $f$ be a modular form with good reduction at $p$. We study the variation of the Bloch--Kato Selmer groups and the Bloch--Kato--Shafarevich--Tate groups of $f$ over the anticyclotomic $\mathbf{Z}_p$-extension $K_\infty$ of $K$. In particular, we show that under the generalized Heegner hypothesis, if the $p$-localization of the generalized Heegner cycle attached to $f$ is primitive and certain local conditions hold, then the Pontryagin dual of the Selmer group of $f$ over $K_\infty$ is free over the Iwasawa algebra. Consequently, the Bloch--Kato--Shafarevich--Tate groups of $f$ vanish. This generalizes earlier works of Matar and Matar--Nekovář on elliptic curves. Furthermore, our proof applies uniformly to the ordinary and non-ordinary settings.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
On some multiple solutions for a $p(x)$-Laplace equation with supercritical growth
Authors:
Lin Zhao
Abstract:
We consider the multiplicity of solutions for the $p(x)$-Laplacian problems involving the supercritical Sobolev growth via Ricceri's principle. By means of the truncation combining with De Giorgi iteration, we can extend the result about subcritical and critical growth to the supercritical growth and obtain at least three solutions for the $p(x)$ Laplacian problem.
We consider the multiplicity of solutions for the $p(x)$-Laplacian problems involving the supercritical Sobolev growth via Ricceri's principle. By means of the truncation combining with De Giorgi iteration, we can extend the result about subcritical and critical growth to the supercritical growth and obtain at least three solutions for the $p(x)$ Laplacian problem.
△ Less
Submitted 17 September, 2024;
originally announced September 2024.
-
Adaptively Coupled Domain Decomposition Method for Multiphase and Multicomponent Porous Media Flows
Authors:
Shizhe Li,
Li Zhao,
Chen-Song Zhang
Abstract:
Numerical simulation of large-scale multiphase and multicomponent flow in porous media is a significant field of interest in the petroleum industry. The fully implicit approach is favored in reservoir simulation due to its numerical stability and relaxed constraints on time-step sizes. However, this method requires solving a large nonlinear system at each time step, making the development of effic…
▽ More
Numerical simulation of large-scale multiphase and multicomponent flow in porous media is a significant field of interest in the petroleum industry. The fully implicit approach is favored in reservoir simulation due to its numerical stability and relaxed constraints on time-step sizes. However, this method requires solving a large nonlinear system at each time step, making the development of efficient and convergent numerical methods crucial for accelerating the nonlinear solvers. In this paper, we present an adaptively coupled subdomain framework based on the domain decomposition method. The solution methods developed within this framework effectively handle strong nonlinearities in global problems by addressing subproblems in the coupled regions. Furthermore, we propose several adaptive coupling strategies and develop a method for leveraging initial guesses to accelerate the solution of nonlinear problems, thereby improving the convergence and parallel performance of nonlinear solvers. A series of numerical experiments validate the effectiveness of the proposed framework. Additionally, by utilizing tens of thousands of processors, we demonstrate the scalability of this approach through a large-scale reservoir simulation with over 2 billion degrees of freedom.
△ Less
Submitted 2 June, 2025; v1 submitted 17 September, 2024;
originally announced September 2024.
-
LibMOON: A Gradient-based MultiObjective OptimizatioN Library in PyTorch
Authors:
Xiaoyuan Zhang,
Liang Zhao,
Yingying Yu,
Xi Lin,
Yifan Chen,
Han Zhao,
Qingfu Zhang
Abstract:
Multiobjective optimization problems (MOPs) are prevalent in machine learning, with applications in multi-task learning, learning under fairness or robustness constraints, etc. Instead of reducing multiple objective functions into a scalar objective, MOPs aim to optimize for the so-called Pareto optimality or Pareto set learning, which involves optimizing more than one objective function simultane…
▽ More
Multiobjective optimization problems (MOPs) are prevalent in machine learning, with applications in multi-task learning, learning under fairness or robustness constraints, etc. Instead of reducing multiple objective functions into a scalar objective, MOPs aim to optimize for the so-called Pareto optimality or Pareto set learning, which involves optimizing more than one objective function simultaneously, over models with thousands / millions of parameters. Existing benchmark libraries for MOPs mainly focus on evolutionary algorithms, most of which are zeroth-order / meta-heuristic methods that do not effectively utilize higher-order information from objectives and cannot scale to large-scale models with thousands / millions of parameters. In light of the above gap, this paper introduces LibMOON, the first multiobjective optimization library that supports state-of-the-art gradient-based methods, provides a fair benchmark, and is open-sourced for the community.
△ Less
Submitted 11 October, 2024; v1 submitted 4 September, 2024;
originally announced September 2024.
-
Moderate deviation principles for a reaction diffusion model in non-equilibrium
Authors:
Linjie Zhao
Abstract:
We study moderate deviations from hydrodynamic limits of a reaction diffusion model. The process is defined as the superposition of the symmetric exclusion process with a Glauber dynamics. When the process starts from a product measure with a constant density, which is a non-equilibrium measure for the process, we prove that the re-scaled density fluctuation field satisfies the moderate deviation…
▽ More
We study moderate deviations from hydrodynamic limits of a reaction diffusion model. The process is defined as the superposition of the symmetric exclusion process with a Glauber dynamics. When the process starts from a product measure with a constant density, which is a non-equilibrium measure for the process, we prove that the re-scaled density fluctuation field satisfies the moderate deviation principle. Our proof relies on the so-called main lemma developed by Jara and Menezes in [arXiv:1810.09526, 2018].
△ Less
Submitted 21 August, 2024;
originally announced August 2024.
-
Upper bounds for shifted moments of quadratic Dirichlet $L$-functions over function fields
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We establish sharp upper bounds on shifted moments of quadratic Dirichlet $L$-functions over function fields. As an application, we prove some bounds for moments of quadratic Dirichlet character sums over function fields.
We establish sharp upper bounds on shifted moments of quadratic Dirichlet $L$-functions over function fields. As an application, we prove some bounds for moments of quadratic Dirichlet character sums over function fields.
△ Less
Submitted 24 March, 2025; v1 submitted 5 August, 2024;
originally announced August 2024.
-
Constraint Energy Minimizing Generalized Multiscale Finite Element Method for Convection Diffusion Equations with Inhomogeneous Boundary Conditions
Authors:
Po Chai Wong,
Eric T. Chung,
Changqing Ye,
Lina Zhao
Abstract:
In this paper, we develop the constraint energy minimizing generalized multiscale finite element method (CEM-GMsFEM) for convection-diffusion equations with inhomogeneous Dirichlet, Neumann and Robin boundary conditions, along with high-contrast coefficients. For time independent problems, boundary correctors $\mathcal{D}^m$ and $\mathcal{N}^{m}$ for Dirichlet, Neumann, and Robin conditions are de…
▽ More
In this paper, we develop the constraint energy minimizing generalized multiscale finite element method (CEM-GMsFEM) for convection-diffusion equations with inhomogeneous Dirichlet, Neumann and Robin boundary conditions, along with high-contrast coefficients. For time independent problems, boundary correctors $\mathcal{D}^m$ and $\mathcal{N}^{m}$ for Dirichlet, Neumann, and Robin conditions are designed. For time dependent problems, a scheme to update the boundary correctors is formulated. Error analysis in both cases is given to show the first-order convergence in energy norm with respect to the coarse mesh size $H$ and second-order convergence in $L^2-$norm, as verified by numerical examples, with which different finite difference schemes are compared for temporal discretization. Nonlinear problems are also demonstrated in combination with Strang splitting.
△ Less
Submitted 1 August, 2024;
originally announced August 2024.
-
$q$-Binomial Identities Finder
Authors:
Hao Zhong,
Leqi Zhao
Abstract:
This paper presents a symbolic computation method for automatically transforming $q$-hypergeometric identities to $q$-binomial identities. Through this method, many previously proven $q$-binomial identities, including $q$-Saalschütz's formula and $q$-Suranyi's formula, are re-fund, and numerous new ones are discovered. Moreover, the generation of the identities is accompanied by the corresponding…
▽ More
This paper presents a symbolic computation method for automatically transforming $q$-hypergeometric identities to $q$-binomial identities. Through this method, many previously proven $q$-binomial identities, including $q$-Saalschütz's formula and $q$-Suranyi's formula, are re-fund, and numerous new ones are discovered. Moreover, the generation of the identities is accompanied by the corresponding proofs. During the transformation process, different ranges of variable values and various combinations of $q$-Pochhammer symbols yield different identities. The algorithm maps variable constraints to positive elements in an ordered vector space and employs a backtracking method to provide the feasible variable constraints and $q$-binomial coefficient combinations for each step.
△ Less
Submitted 20 August, 2024; v1 submitted 31 July, 2024;
originally announced August 2024.
-
Chevron patterns in an active nematic liquid crystal film in contact with Smectic A
Authors:
M. Carme Calderer,
Lingxing Yao,
Longhua Zhao,
Dmitry Golovaty,
Jordi Ignés-Mullol,
Francesc Sagués
Abstract:
We study a new mechanism of active matter confinement of a thin, active nematic sample consisting of microtubules, activated by Adenosine Triphosphate (ATP), placed between a slab of passive liquid crystal, the compound 8CB, and water. The 8CB slab is kept at a temperature below the phase transition value between the nematic and the smectic A phases. The smectic A molecules are horizontally aligne…
▽ More
We study a new mechanism of active matter confinement of a thin, active nematic sample consisting of microtubules, activated by Adenosine Triphosphate (ATP), placed between a slab of passive liquid crystal, the compound 8CB, and water. The 8CB slab is kept at a temperature below the phase transition value between the nematic and the smectic A phases. The smectic A molecules are horizontally aligned with an applied magnetic field, with their centers of mass arranged on equally spaced layers perpendicular to the field. The contact with the active nematic prompts flow in the smectic slab, along the direction parallel to the layers. This flow direction is transferred back to the active nematic. We set up a model of such contact flow and make predictions on the experimentally observed pattern, from the point of view of asymptotic, linear and nonlinear analyses. We examine such results within the scope of the principle of minimum energy dissipation of the flow. For analytic convenience, we consider the active nematic confined between two symmetric 8CB slabs, and show that the conclusions still hold when replacing the bottom smectic A substrate with water, as in the experimental setting.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Shifted moments of quadratic Dirichlet $L$-functions
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We establish sharp upper bounds for shifted moments of quadratic Dirichlet $L$-function under the generalized Riemann hypothesis. Our result is then used to prove bounds for moments of quadratic Dirichlet character sums.
We establish sharp upper bounds for shifted moments of quadratic Dirichlet $L$-function under the generalized Riemann hypothesis. Our result is then used to prove bounds for moments of quadratic Dirichlet character sums.
△ Less
Submitted 5 March, 2025; v1 submitted 25 June, 2024;
originally announced June 2024.
-
A note for W^{1,p}(V) and W_0^{1,p}(V) on a locally finite graph
Authors:
Yulu Tian,
Liang Zhao
Abstract:
In this paper, we investigate the Sobolev spaces W^{1,p}(V) and W_0^{1,p}(V) on a locally finite graph G=(V,E), which are fundamental tools when we apply the variational methods to partial differential equations on graphs. As a key contribution of this note, we show that in general, W^{1,p}(V) is not equivalent to W_0^{1,p}(V) on locally finite graphs, which is different from the situation on Eucl…
▽ More
In this paper, we investigate the Sobolev spaces W^{1,p}(V) and W_0^{1,p}(V) on a locally finite graph G=(V,E), which are fundamental tools when we apply the variational methods to partial differential equations on graphs. As a key contribution of this note, we show that in general, W^{1,p}(V) is not equivalent to W_0^{1,p}(V) on locally finite graphs, which is different from the situation on Euclidean space R^N.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
On the Expressive Power of Spectral Invariant Graph Neural Networks
Authors:
Bohang Zhang,
Lingxiao Zhao,
Haggai Maron
Abstract:
Incorporating spectral information to enhance Graph Neural Networks (GNNs) has shown promising results but raises a fundamental challenge due to the inherent ambiguity of eigenvectors. Various architectures have been proposed to address this ambiguity, referred to as spectral invariant architectures. Notable examples include GNNs and Graph Transformers that use spectral distances, spectral project…
▽ More
Incorporating spectral information to enhance Graph Neural Networks (GNNs) has shown promising results but raises a fundamental challenge due to the inherent ambiguity of eigenvectors. Various architectures have been proposed to address this ambiguity, referred to as spectral invariant architectures. Notable examples include GNNs and Graph Transformers that use spectral distances, spectral projection matrices, or other invariant spectral features. However, the potential expressive power of these spectral invariant architectures remains largely unclear. The goal of this work is to gain a deep theoretical understanding of the expressive power obtainable when using spectral features. We first introduce a unified message-passing framework for designing spectral invariant GNNs, called Eigenspace Projection GNN (EPNN). A comprehensive analysis shows that EPNN essentially unifies all prior spectral invariant architectures, in that they are either strictly less expressive or equivalent to EPNN. A fine-grained expressiveness hierarchy among different architectures is also established. On the other hand, we prove that EPNN itself is bounded by a recently proposed class of Subgraph GNNs, implying that all these spectral invariant architectures are strictly less expressive than 3-WL. Finally, we discuss whether using spectral features can gain additional expressiveness when combined with more expressive GNNs.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Moderate deviation principles for the WASEP
Authors:
Linjie Zhao
Abstract:
We study the weakly asymmetric simple exclusion process on the integer lattice. Under suitable constraints on the strength of the weak asymmetry of the dynamics, we prove moderate deviation principles for the fluctuation fields when the process starts from stationary measures. As an application, we obtain sample path moderate deviation principles for the occupation time of the process in one dimen…
▽ More
We study the weakly asymmetric simple exclusion process on the integer lattice. Under suitable constraints on the strength of the weak asymmetry of the dynamics, we prove moderate deviation principles for the fluctuation fields when the process starts from stationary measures. As an application, we obtain sample path moderate deviation principles for the occupation time of the process in one dimension.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Twisted first moment of central values of primitive quadratic Dirichlet $L$-functions
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We evaluate the twisted first moment of central values of the family of primitive quadratic Dirichlet $L$-functions using the method of double Dirichlet series together with a recursive argument. Our main result is an asymptotic formula with an error term of size that is the square root of that of the main term.
We evaluate the twisted first moment of central values of the family of primitive quadratic Dirichlet $L$-functions using the method of double Dirichlet series together with a recursive argument. Our main result is an asymptotic formula with an error term of size that is the square root of that of the main term.
△ Less
Submitted 18 October, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Data-Driven Stable Neural Feedback Loop Design
Authors:
Zuxun Xiong,
Han Wang,
Liqun Zhao,
Antonis Papachristodoulou
Abstract:
This paper proposes a data-driven approach to design a feedforward Neural Network (NN) controller with a stability guarantee for plants with unknown dynamics. We first introduce data-driven representations of stability conditions for Neural Feedback Loops (NFLs) with linear plants, which can be formulated into a semidefinite program (SDP). Subsequently, this SDP constraint is integrated into the N…
▽ More
This paper proposes a data-driven approach to design a feedforward Neural Network (NN) controller with a stability guarantee for plants with unknown dynamics. We first introduce data-driven representations of stability conditions for Neural Feedback Loops (NFLs) with linear plants, which can be formulated into a semidefinite program (SDP). Subsequently, this SDP constraint is integrated into the NN training process to ensure stability of the feedback loop. The whole NN controller design problem can be solved by an iterative algorithm. Finally, we illustrate the effectiveness of the proposed method compared to model-based methods via numerical examples.
△ Less
Submitted 11 October, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Ratios conjecture of quadratic Hecke $L$-functions of prime-related moduli
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
Using the method of multiple Dirichlet series, we develop L-functions ratios conjecture with one shift in both the numerator and denominator in certain ranges for quadratic families of Dirichlet and Hecke L-functions of primerelated moduli of imaginary quadratic number fields of class number one under the generalized Riemann hypothesis. As corollaries, we evaluate asymptotically the first moment o…
▽ More
Using the method of multiple Dirichlet series, we develop L-functions ratios conjecture with one shift in both the numerator and denominator in certain ranges for quadratic families of Dirichlet and Hecke L-functions of primerelated moduli of imaginary quadratic number fields of class number one under the generalized Riemann hypothesis. As corollaries, we evaluate asymptotically the first moment of central values as well as the one-level density of the families of L-functions under consideration.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Bounds for moments of quadratic Dirichlet character sums
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We establish upper bounds for moments of smoothed quadratic Dirichlet character sums under the generalized Riemann hypothesis, confirming a conjecture of M. Jutila.
We establish upper bounds for moments of smoothed quadratic Dirichlet character sums under the generalized Riemann hypothesis, confirming a conjecture of M. Jutila.
△ Less
Submitted 7 April, 2024; v1 submitted 18 February, 2024;
originally announced March 2024.
-
Calculus of variations on hypergraphs
Authors:
Mengqiu Shao,
Yulu Tian,
Liang Zhao
Abstract:
We have established a coherent framework for applying variational methods to partial differential equations on hypergraphs, which includes the propositions of calculus and function spaces on hypergraphs. Several results related to the maximum principle on hypergraphs have also been proven. As applications, we demonstrated how these can be used to study partial differential equations on hypergraphs…
▽ More
We have established a coherent framework for applying variational methods to partial differential equations on hypergraphs, which includes the propositions of calculus and function spaces on hypergraphs. Several results related to the maximum principle on hypergraphs have also been proven. As applications, we demonstrated how these can be used to study partial differential equations on hypergraphs.
△ Less
Submitted 29 March, 2024; v1 submitted 18 March, 2024;
originally announced March 2024.
-
Finite element method coupled with multiscale finite element method for the non-stationary Stokes-Darcy model
Authors:
Yachen Hong,
Wenhan Zhang,
Lina Zhao,
Haibiao Zheng
Abstract:
In this paper, we combine the multiscale flnite element method to propose an algorithm for solving the non-stationary Stokes-Darcy model, where the permeability coefflcient in the Darcy region exhibits multiscale characteristics. Our algorithm involves two steps: first, conducting the parallel computation of multiscale basis functions in the Darcy region. Second, based on these multiscale basis fu…
▽ More
In this paper, we combine the multiscale flnite element method to propose an algorithm for solving the non-stationary Stokes-Darcy model, where the permeability coefflcient in the Darcy region exhibits multiscale characteristics. Our algorithm involves two steps: first, conducting the parallel computation of multiscale basis functions in the Darcy region. Second, based on these multiscale basis functions, we employ an implicitexplicit scheme to solve the Stokes-Darcy equations. One signiflcant feature of the algorithm is that it solves problems on relatively coarse grids, thus signiflcantly reducing computational costs. Moreover, under the same coarse grid size, it exhibits higher accuracy compared to standard flnite element method. Under the assumption that the permeability coefflcient is periodic and independent of time, this paper demonstrates the stability and convergence of the algorithm. Finally, the rationality and effectiveness of the algorithm are verifled through three numerical experiments, with experimental results consistent with theoretical analysis.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Long time dynamics for helical vortex filament in Euler flows
Authors:
Dengjun Guo,
Lifeng Zhao
Abstract:
We consider the three-dimensional incompressible Euler equation \begin{equation*}\left\{\begin{aligned} &\partial_t Ω+U \cdot \nabla Ω-Ω\cdot \nabla U=0 \\ &Ω(x,0)=Ω_0(x) \end{aligned}\right. \end{equation*} under the assumption that $Ω^z$ is helical and in the absence of vorticity stretching. Assuming that the initial vorticity $Ω_0$ is primarily concentrated within an $ε$ neighborhood of a helix…
▽ More
We consider the three-dimensional incompressible Euler equation \begin{equation*}\left\{\begin{aligned} &\partial_t Ω+U \cdot \nabla Ω-Ω\cdot \nabla U=0 \\ &Ω(x,0)=Ω_0(x) \end{aligned}\right. \end{equation*} under the assumption that $Ω^z$ is helical and in the absence of vorticity stretching. Assuming that the initial vorticity $Ω_0$ is primarily concentrated within an $ε$ neighborhood of a helix $Γ_0$, we prove that its solution $Ω(\cdot,t)$ remain concentrated near a helix $Γ(t)$ for any $t \in [0,T)$, where $Γ(t)$ can be interpreted as $Γ_0$ rotating around the $x_3$ axis with a speed $V=C\log \frac{1}ε+O(1)$. It should be emphasized that the dynamics for the helical vortex filament are exhibited on the time interval $[0,T)$, which is longer than $\left[0, \frac{T}{\log\frac{1}ε}\right)$.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Ratios conjecture of quartic $L$-functions of prime moduli
Authors:
Peng Gao,
Liangyi Zhao
Abstract:
We apply the method of multiple Dirichlet series to develop $L$-functions ratios conjecture with one shift in both the numerator and denominator in certain ranges for the family of quartic Hecke $L$-functions of prime moduli over the Gaussian field under the generalized Riemann hypothesis. As consequences, we evaluate asymptotically the first moment of central values as well as the one-level densi…
▽ More
We apply the method of multiple Dirichlet series to develop $L$-functions ratios conjecture with one shift in both the numerator and denominator in certain ranges for the family of quartic Hecke $L$-functions of prime moduli over the Gaussian field under the generalized Riemann hypothesis. As consequences, we evaluate asymptotically the first moment of central values as well as the one-level density of the same family of $L$-functions.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
MIM-Reasoner: Learning with Theoretical Guarantees for Multiplex Influence Maximization
Authors:
Nguyen Do,
Tanmoy Chowdhury,
Chen Ling,
Liang Zhao,
My T. Thai
Abstract:
Multiplex influence maximization (MIM) asks us to identify a set of seed users such as to maximize the expected number of influenced users in a multiplex network. MIM has been one of central research topics, especially in nowadays social networking landscape where users participate in multiple online social networks (OSNs) and their influences can propagate among several OSNs simultaneously. Altho…
▽ More
Multiplex influence maximization (MIM) asks us to identify a set of seed users such as to maximize the expected number of influenced users in a multiplex network. MIM has been one of central research topics, especially in nowadays social networking landscape where users participate in multiple online social networks (OSNs) and their influences can propagate among several OSNs simultaneously. Although there exist a couple combinatorial algorithms to MIM, learning-based solutions have been desired due to its generalization ability to heterogeneous networks and their diversified propagation characteristics. In this paper, we introduce MIM-Reasoner, coupling reinforcement learning with probabilistic graphical model, which effectively captures the complex propagation process within and between layers of a given multiplex network, thereby tackling the most challenging problem in MIM. We establish a theoretical guarantee for MIM-Reasoner as well as conduct extensive analyses on both synthetic and real-world datasets to validate our MIM-Reasoner's performance.
△ Less
Submitted 10 March, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
Hydrodynamics for asymmetric simple exclusion on a finite segment with Glauber-type source
Authors:
Lu Xu,
Linjie Zhao
Abstract:
We consider an open interacting particle system on a finite lattice. The particles perform asymmetric simple exclusion and are randomly created or destroyed at all sites, with rates that grow rapidly near the boundaries. We study the hydrodynamic limit for the particle density at the hyperbolic space-time scale and obtain the entropy solution to a boundary-driven quasilinear conservation law with…
▽ More
We consider an open interacting particle system on a finite lattice. The particles perform asymmetric simple exclusion and are randomly created or destroyed at all sites, with rates that grow rapidly near the boundaries. We study the hydrodynamic limit for the particle density at the hyperbolic space-time scale and obtain the entropy solution to a boundary-driven quasilinear conservation law with a relaxation term. Different from the usual boundary conditions introduced in [Bardos, Roux, and Nedelec, (1979), Comm. Part. Diff. Equ], discontinuity (boundary layer) does not formulate at the boundaries due to the strong relaxation scheme.
△ Less
Submitted 14 July, 2024; v1 submitted 19 February, 2024;
originally announced February 2024.
-
Asymptotic behavior of 3-D evolutionary model of Magnetoelasticity for small data
Authors:
Xiaonan Hao,
Jiaxi Huang,
Ning Jiang,
Lifeng Zhao
Abstract:
In this article, we consider the evolutionary model for magnetoelasticity with vanishing viscosity/damping, which is a nonlinear dispersive system. The global regularity and scattering of the evolutionary model for magnetoelasticity under small size of initial data is proved. Our proof relies on the idea of vector-field method due to the quasilinearity and the presence of convective term. A key ob…
▽ More
In this article, we consider the evolutionary model for magnetoelasticity with vanishing viscosity/damping, which is a nonlinear dispersive system. The global regularity and scattering of the evolutionary model for magnetoelasticity under small size of initial data is proved. Our proof relies on the idea of vector-field method due to the quasilinearity and the presence of convective term. A key observation is that we construct a suitable energy functional including the mass quantity, which enable us to provide a good decay estimates for Schrödinger flow. In particular, we establish the asymptotic behavior in both mass and energy spaces for Schrödinger map, not only for gauged equation.
△ Less
Submitted 24 February, 2024; v1 submitted 18 February, 2024;
originally announced February 2024.
-
Cohomology of $(\varphi, τ)$-modules
Authors:
Hui Gao,
Luming Zhao
Abstract:
We construct cohomology theories for $(\varphi, τ)$-modules, and study their relation with cohomology of $(\varphi, Γ)$-modules, as well as Galois cohomology. Our method is axiomatic, and can treat the étale case, the overconvergent case, and the rigid-overconvergent case simultaneously. We use recent advances in locally analytic cohomology as a key ingredient.
We construct cohomology theories for $(\varphi, τ)$-modules, and study their relation with cohomology of $(\varphi, Γ)$-modules, as well as Galois cohomology. Our method is axiomatic, and can treat the étale case, the overconvergent case, and the rigid-overconvergent case simultaneously. We use recent advances in locally analytic cohomology as a key ingredient.
△ Less
Submitted 20 May, 2025; v1 submitted 4 February, 2024;
originally announced February 2024.
-
Almost surely convergence of the quantum entropy of random graph states and the area law
Authors:
Zhi Yin,
Liang Zhao
Abstract:
In [1], Collins et al. showed that the quantum entropy of random graph states satisfies the so-called area law as the local dimension tends to be large. In this paper, we continue to study the fluctuation of the convergence and thus prove the area law holds almost surely.
In [1], Collins et al. showed that the quantum entropy of random graph states satisfies the so-called area law as the local dimension tends to be large. In this paper, we continue to study the fluctuation of the convergence and thus prove the area law holds almost surely.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
Soliton resolution for the energy critical damped wave equations in the radial case
Authors:
Jingyuan Gu,
Lifeng Zhao
Abstract:
We consider energy-critical damped wave equation \begin{equation*} \partial_{tt}u-Δu+α\partial_t u=\left|u\right|^{\frac{4}{D-2}}u \end{equation*} with radial initial data in dimensions $D\geq 4$. The equation has a nontrivial radial stationary solution $W$, called the ground state, which is unique up to sign and scale. We prove that any bounded energy norm solution behaves asymptotically as a sup…
▽ More
We consider energy-critical damped wave equation \begin{equation*} \partial_{tt}u-Δu+α\partial_t u=\left|u\right|^{\frac{4}{D-2}}u \end{equation*} with radial initial data in dimensions $D\geq 4$. The equation has a nontrivial radial stationary solution $W$, called the ground state, which is unique up to sign and scale. We prove that any bounded energy norm solution behaves asymptotically as a superposition of the modulated ground states and a radiation term. In the global case, particularly, the solution converges to a pure multi-bubble due to the damping effect.
△ Less
Submitted 11 March, 2024; v1 submitted 22 December, 2023;
originally announced January 2024.
-
Multiscale finite element method for Stokes-Darcy model
Authors:
Yachen Hong,
Wenhan Zhang,
Lina Zhao,
Haibiao Zheng
Abstract:
This paper explores the application of the multiscale finite element method (MsFEM) to address steady-state Stokes-Darcy problems with BJS interface conditions in highly heterogeneous porous media. We assume the existence of multiscale features in the Darcy region and propose an algorithm for the multiscale Stokes-Darcy model. During the offline phase, we employ MsFEM to construct permeability-dep…
▽ More
This paper explores the application of the multiscale finite element method (MsFEM) to address steady-state Stokes-Darcy problems with BJS interface conditions in highly heterogeneous porous media. We assume the existence of multiscale features in the Darcy region and propose an algorithm for the multiscale Stokes-Darcy model. During the offline phase, we employ MsFEM to construct permeability-dependent offline bases for efficient coarse-grid simulation, with this process conducted in parallel to enhance its efficiency. In the online phase, we use the Robin-Robin algorithm to derive the model's solution. Subsequently, we conduct error analysis based on $L^2$ and $H^1$ norms, assuming certain periodic coefficients in the Darcy region. To validate our approach, we present extensive numerical tests on highly heterogeneous media, illustrating the results of the error analysis.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Dynamics for the corotational energy-critical wave map equation with quantized blow-up rates
Authors:
Ze Li,
Yezhou Yi,
Lifeng Zhao
Abstract:
We consider the wave maps from $\mathbb{R}^{1+2}$ into $\mathbb{S}^2\subset \mathbb{R}^3.$ Under an additional assumption of $k$-corotational symmetry, the problem reduces to the one dimensional semilinear wave equation: \begin{equation*}
\partial_t^2 u-\partial_r^2 u-\frac{\partial_r u}{r}+k^2 \frac{\sin(2u)}{2r^2}=0. \end{equation*} Given any integer $k\ge 1$ and any integer $m\ge 2k,$ we exhi…
▽ More
We consider the wave maps from $\mathbb{R}^{1+2}$ into $\mathbb{S}^2\subset \mathbb{R}^3.$ Under an additional assumption of $k$-corotational symmetry, the problem reduces to the one dimensional semilinear wave equation: \begin{equation*}
\partial_t^2 u-\partial_r^2 u-\frac{\partial_r u}{r}+k^2 \frac{\sin(2u)}{2r^2}=0. \end{equation*} Given any integer $k\ge 1$ and any integer $m\ge 2k,$ we exhibit a set of initial data $(u_0,u_1)$ with energy arbitrarily close to that of the ground state solution $Q$, such that the corresponding solution $u$ blows up in finite time by concentrating its energy. To be precise, the solution $u$ satisfies \begin{equation*}
\lim\limits_{t\rightarrow T} \left\|\left(u(t,r)-Q\left(\frac{r}{λ(t)}\right)-u_1^*(r), \partial_t u-u_2^*(r)\right)\right\|_{H\times L^2}=0 \end{equation*} with a quantized speed \begin{equation*}
λ(t)=c(u_0,u_1)(1+o_{t\to T}(1))\frac{(T-t)^{\frac{m}{k}}}{|\log(T-t)|^{\frac{m}{k(m-k)}}}, \end{equation*} where $\|u\|_{H}:=\int_{\mathbb{R}^2}\left(|\partial_r u|^2+\frac{|u|^2}{r^2}\right).$
△ Less
Submitted 6 February, 2024; v1 submitted 30 December, 2023;
originally announced January 2024.
-
Bifurcation of limit cycles for a class of cubic Hamiltonian systems with nesting period annuli
Authors:
Yuan Chang,
Liqin Zhao,
Qiuyi Wang
Abstract:
In this paper, we obtain the upper bound of the number of zeros of Abelian integral for a class of cubic Hamiltonian systems with nesting period annuli under perturbations of polynomials of degree n. Furthermore, we consider the Hopf and homoclinic bifurcation when a=-1,b=-2,c=1 and n=3, and obtain 18 distributions in which system has at least 3 limit cycles for each case.
In this paper, we obtain the upper bound of the number of zeros of Abelian integral for a class of cubic Hamiltonian systems with nesting period annuli under perturbations of polynomials of degree n. Furthermore, we consider the Hopf and homoclinic bifurcation when a=-1,b=-2,c=1 and n=3, and obtain 18 distributions in which system has at least 3 limit cycles for each case.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Model-Free Verification for Neural Network Controlled Systems
Authors:
Han Wang,
Zuxun Xiong,
Liqun Zhao,
Antonis Papachristodoulou
Abstract:
Neural network controllers have shown potential in achieving superior performance in feedback control systems. Although a neural network can be trained efficiently using deep and reinforcement learning methods, providing formal guarantees for the closed-loop properties is challenging. The main difficulty comes from the nonlinear activation functions. One popular method is to use sector bounds on t…
▽ More
Neural network controllers have shown potential in achieving superior performance in feedback control systems. Although a neural network can be trained efficiently using deep and reinforcement learning methods, providing formal guarantees for the closed-loop properties is challenging. The main difficulty comes from the nonlinear activation functions. One popular method is to use sector bounds on the activation functions resulting in a robust analysis. These methods work well under the assumption that the system dynamics are perfectly known, which is, however, impossible in practice. In this paper, we propose data-driven semi-definite programs to formally verify stability and safety for a neural network controlled linear system with unknown dynamics. The proposed method performs verification directly from end-to-end without identifying the dynamics. Through a numerical example, we validate the efficacy of our method on linear systems with controller trained by imitation learning.
△ Less
Submitted 9 January, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
