-
Runge--Kutta generalized Convolution Quadrature for sectorial problems
Authors:
Jing Guo,
Maria Lopez-Fernandez
Abstract:
We study the application of the generalized convolution quadrature (gCQ) based on Runge--Kutta methods to approximate the solution of an important class of sectorial problems. The gCQ generalizes Lubich's original convolution quadrature (CQ) to variable steps. High-order versions of the gCQ have been developed in the last decade, relying on certain Runge--Kutta methods. The Runge--Kutta based gCQ…
▽ More
We study the application of the generalized convolution quadrature (gCQ) based on Runge--Kutta methods to approximate the solution of an important class of sectorial problems. The gCQ generalizes Lubich's original convolution quadrature (CQ) to variable steps. High-order versions of the gCQ have been developed in the last decade, relying on certain Runge--Kutta methods. The Runge--Kutta based gCQ has been studied so far in a rather general setting, which includes applications to boundary integral formulations of wave problems. The available stability and convergence results for these new methods are suboptimal compared to those known for the uniform-step CQ, both in terms of convergence order and regularity requirements of the data. Here we focus on a special class of sectorial problems and prove that in these important applications it is possible to achieve the same order of convergence as for the original CQ, under the same regularity hypotheses on the data, and for very general time meshes. In the particular case of data with some known algebraic type of singularity, we also show how to choose an optimally graded time mesh to achieve convergence with maximal order, overcoming the well-known order reduction of the original CQ in these situations. An important advantage of the gCQ method is that it allows for a fast and memory-efficient implementation. We describe how the fast and oblivious Runge--Kutta based gCQ can be implemented and illustrate our theoretical results with several numerical experiments. The codes implementing the examples in this article are available in [13].
△ Less
Submitted 26 June, 2025;
originally announced June 2025.
-
Normal forms for ordinary differential operators, II
Authors:
Junhu Guo,
A. B. Zheglov
Abstract:
In this paper, which is a follow-up of our first paper "Normal forms for ordinary differential operators, I", we extend the explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups obtained earlier to analogous parametrisation of torsion free sheaves of arbitrary rank with vanishing cohomology groups on projective irreducible curve…
▽ More
In this paper, which is a follow-up of our first paper "Normal forms for ordinary differential operators, I", we extend the explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups obtained earlier to analogous parametrisation of torsion free sheaves of arbitrary rank with vanishing cohomology groups on projective irreducible curves.
As an illustration of our theorem we calculate one explicit example of such parametrisation, namely for rank two sheaves on a Weierstrass cubic curve.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
On Stability and Instability of the De Gregorio Model Near Excited States on the Torus
Authors:
Jie Guo,
Quansen Jiu
Abstract:
The Constantin-Lax-Majda (CLM) model and the De Gregorio model which is a modification of the CLM model are well-known for their ability to emulate the behavior of the 3D Euler equations, particularly their potential to develop finite-time singularities. The stability properties of the De Gregorio model on the torus near the ground state $-\sinθ$ have been thoroughly studied. However, the stabilit…
▽ More
The Constantin-Lax-Majda (CLM) model and the De Gregorio model which is a modification of the CLM model are well-known for their ability to emulate the behavior of the 3D Euler equations, particularly their potential to develop finite-time singularities. The stability properties of the De Gregorio model on the torus near the ground state $-\sinθ$ have been thoroughly studied. However, the stability analysis near excited states $-\sin kθ$ with $k\ge 2$ remains challenging. This paper focuses on analyzing the stability and instability of the De Gregorio model on torus around the first excited state $-\sin 2θ$. The linear and nonlinear instability are established for a broad class of initial data, while nonlinear stability is proved for another large class of initial data in this paper. Our analysis reveals that solution behavior to the De Gregorio model near excited states demonstrates different stability patterns depending on initial conditions. One of new ingredients in our instability analysis involves deriving a second-order ordinary differential equation (ODE) governing the Fourier coefficients of solutions and examining the spectral properties of a positive definite quadratic form emerging from this ODE.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
Extremum Seeking for PDE Systems using Physics-Informed Neural Networks
Authors:
Haojin Guo,
Zongyi Guo,
Jianguo Guo,
Tiago Roux Oliveira
Abstract:
Extremum Seeking (ES) is an effective real-time optimization method for PDE systems in cascade with nonlinear quadratic maps. To address PDEs in the feedback loop, a boundary control law and a re-design of the additive probing signal are mandatory. The latter, commonly called "trajectory generation" or "motion planning," involves designing perturbation signals that anticipate their propagation thr…
▽ More
Extremum Seeking (ES) is an effective real-time optimization method for PDE systems in cascade with nonlinear quadratic maps. To address PDEs in the feedback loop, a boundary control law and a re-design of the additive probing signal are mandatory. The latter, commonly called "trajectory generation" or "motion planning," involves designing perturbation signals that anticipate their propagation through PDEs. Specifically, this requires solving motion planning problems for systems governed by parabolic and hyperbolic PDEs. Physics-Informed Neural Networks (PINN) is a powerful tool for solving PDEs by embedding physical laws as constraints in the neural network's loss function, enabling efficient solutions for high-dimensional, nonlinear, and complex problems. This paper proposes a novel construction integrating PINN and ES, automating the motion planning process for specific PDE systems and eliminating the need for case-by-case analytical derivations. The proposed strategy efficiently extracts perturbation signals, optimizing the PDE system.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Data driven approach towards more efficient Newton-Raphson power flow calculation for distribution grids
Authors:
Shengyuan Yan,
Farzad Vazinram,
Zeynab Kaseb,
Lindsay Spoor,
Jochen Stiasny,
Betul Mamudi,
Amirhossein Heydarian Ardakani,
Ugochukwu Orji,
Pedro P. Vergara,
Yu Xiang,
Jerry Guo
Abstract:
Power flow (PF) calculations are fundamental to power system analysis to ensure stable and reliable grid operation. The Newton-Raphson (NR) method is commonly used for PF analysis due to its rapid convergence when initialized properly. However, as power grids operate closer to their capacity limits, ill-conditioned cases and convergence issues pose significant challenges. This work, therefore, add…
▽ More
Power flow (PF) calculations are fundamental to power system analysis to ensure stable and reliable grid operation. The Newton-Raphson (NR) method is commonly used for PF analysis due to its rapid convergence when initialized properly. However, as power grids operate closer to their capacity limits, ill-conditioned cases and convergence issues pose significant challenges. This work, therefore, addresses these challenges by proposing strategies to improve NR initialization, hence minimizing iterations and avoiding divergence. We explore three approaches: (i) an analytical method that estimates the basin of attraction using mathematical bounds on voltages, (ii) Two data-driven models leveraging supervised learning or physics-informed neural networks (PINNs) to predict optimal initial guesses, and (iii) a reinforcement learning (RL) approach that incrementally adjusts voltages to accelerate convergence. These methods are tested on benchmark systems. This research is particularly relevant for modern power systems, where high penetration of renewables and decentralized generation require robust and scalable PF solutions. In experiments, all three proposed methods demonstrate a strong ability to provide an initial guess for Newton-Raphson method to converge with fewer steps. The findings provide a pathway for more efficient real-time grid operations, which, in turn, support the transition toward smarter and more resilient electricity networks.
△ Less
Submitted 15 April, 2025;
originally announced April 2025.
-
On the averaging theorems for stochastic perturbation of conservative linear systems
Authors:
Jing Guo,
Sergei Kuksin,
Zhenxin Liu
Abstract:
For stochastic perturbations of linear systems with non-zero pure imaginary spectrum we discuss the averaging theorems in terms of the slow-fast action-angle variables and in the sense of Krylov-Bogoliubov. Then we show that if the diffusion matrix of the perturbation is uniformly elliptic, then in all cases the averaged dynamics does not depend on a hamiltonian part of the perturbation.
For stochastic perturbations of linear systems with non-zero pure imaginary spectrum we discuss the averaging theorems in terms of the slow-fast action-angle variables and in the sense of Krylov-Bogoliubov. Then we show that if the diffusion matrix of the perturbation is uniformly elliptic, then in all cases the averaged dynamics does not depend on a hamiltonian part of the perturbation.
△ Less
Submitted 12 May, 2025; v1 submitted 6 April, 2025;
originally announced April 2025.
-
B-brane transport in nonabelian GLSMs for $K_{Gr(2,N)}$
Authors:
Jirui Guo,
Mauricio Romo,
Lucy Smith
Abstract:
We study the properties of B-branes in a class of nonabelian GLSMs realizing the canonical line bundle $K_{Gr(2,N)}$ in their geometric phase. By analysing the hemisphere partition function, i.e. B-brane central charge, we propose a grade restriction rule and the corresponding window categories for a specific class of paths between phases. We find very striking differences between the cases of N e…
▽ More
We study the properties of B-branes in a class of nonabelian GLSMs realizing the canonical line bundle $K_{Gr(2,N)}$ in their geometric phase. By analysing the hemisphere partition function, i.e. B-brane central charge, we propose a grade restriction rule and the corresponding window categories for a specific class of paths between phases. We find very striking differences between the cases of N even and N odd. In particular, for the case of N even, we suggest that more than one window category can be possible, for a fixed path. A detailed computation of the open Witten index and some monodromies provides evidence for our proposal for window categories. In addition, we make some remarks about B-branes on the the strongly coupled phase, for the case $N=4$, based on our window proposal.
△ Less
Submitted 8 March, 2025;
originally announced March 2025.
-
Nonlinear Model Reduction by Probabilistic Manifold Decomposition
Authors:
Jiaming Guo,
Dunhui Xiao
Abstract:
This paper presents a novel non-linear model reduction method: Probabilistic Manifold Decomposition (PMD), which provides a powerful framework for constructing non-intrusive reduced-order models (ROMs) by embedding a high-dimensional system into a low-dimensional probabilistic manifold and predicting the dynamics. Through explicit mappings, PMD captures both linearity and non-linearity of the syst…
▽ More
This paper presents a novel non-linear model reduction method: Probabilistic Manifold Decomposition (PMD), which provides a powerful framework for constructing non-intrusive reduced-order models (ROMs) by embedding a high-dimensional system into a low-dimensional probabilistic manifold and predicting the dynamics. Through explicit mappings, PMD captures both linearity and non-linearity of the system. A key strength of PMD lies in its predictive capabilities, allowing it to generate stable dynamic states based on embedded representations.
The method also offers a mathematically rigorous approach to analyze the convergence of linear feature matrices and low-dimensional probabilistic manifolds, ensuring that sample-based approximations converge to the true data distributions as sample sizes increase. These properties, combined with its computational efficiency, make PMD a versatile tool for applications requiring high accuracy and scalability, such as fluid dynamics simulations and other engineering problems. By preserving the geometric and probabilistic structures of the high-dimensional system, PMD achieves a balance between computational speed, accuracy, and predictive capabilities, positioning itself as a robust alternative to the traditional model reduction method.
△ Less
Submitted 4 March, 2025; v1 submitted 2 March, 2025;
originally announced March 2025.
-
Dynamic reinsurance design with heterogeneous beliefs under the mean-variance framework
Authors:
Junyi Guo,
Xia Han,
Hao Wang
Abstract:
This paper investigates the dynamic reinsurance design problem under the mean-variance criterion, incorporating heterogeneous beliefs between the insurer and the reinsurer, and introducing an incentive compatibility constraint to address moral hazard. The insurer's surplus process is modeled using the classical Cramér-Lundberg risk model, with the option to invest in a risk-free asset. To solve th…
▽ More
This paper investigates the dynamic reinsurance design problem under the mean-variance criterion, incorporating heterogeneous beliefs between the insurer and the reinsurer, and introducing an incentive compatibility constraint to address moral hazard. The insurer's surplus process is modeled using the classical Cramér-Lundberg risk model, with the option to invest in a risk-free asset. To solve the extended Hamilton-Jacobi-Bellman (HJB) system, we apply the partitioned domain optimization technique, transforming the infinite-dimensional optimization problem into a finite-dimensional one determined by several key parameters. The resulting optimal reinsurance contracts are more complex than the standard proportional and excess-of-loss contracts commonly studied in the mean-variance literature with homogeneous beliefs. By further assuming specific forms of belief heterogeneity, we derive the parametric solutions and obtain a clear optimal equilibrium solution. Finally, we compare our results with models where the insurer and reinsurer share identical beliefs or where the incentive compatibility constraint is relaxed. Numerical examples are provided to illustrate the impact of belief heterogeneity on optimal reinsurance strategies.
△ Less
Submitted 3 March, 2025; v1 submitted 8 February, 2025;
originally announced February 2025.
-
A non-zero-sum game with reinforcement learning under mean-variance framework
Authors:
Junyi Guo,
Xia Han,
Hao Wang,
Kam Chuen Yuen
Abstract:
In this paper, we investigate a competitive market involving two agents who consider both their own wealth and the wealth gap with their opponent. Both agents can invest in a financial market consisting of a risk-free asset and a risky asset, under conditions where model parameters are partially or completely unknown. This setup gives rise to a non-zero-sum differential game within the framework o…
▽ More
In this paper, we investigate a competitive market involving two agents who consider both their own wealth and the wealth gap with their opponent. Both agents can invest in a financial market consisting of a risk-free asset and a risky asset, under conditions where model parameters are partially or completely unknown. This setup gives rise to a non-zero-sum differential game within the framework of reinforcement learning (RL). Each agent aims to maximize his own Choquet-regularized, time-inconsistent mean-variance objective. Adopting the dynamic programming approach, we derive a time-consistent Nash equilibrium strategy in a general incomplete market setting. Under the additional assumption of a Gaussian mean return model, we obtain an explicit analytical solution, which facilitates the development of a practical RL algorithm. Notably, the proposed algorithm achieves uniform convergence, even though the conventional policy improvement theorem does not apply to the equilibrium policy. Numerical experiments demonstrate the robustness and effectiveness of the algorithm, underscoring its potential for practical implementation.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Quantum integrable model for the quantum cohomology/K-theory of flag varieties and the double $β$-Grothendieck polynomials
Authors:
Jirui Guo
Abstract:
A GL$(n)$ quantum integrable system generalizing the asymmetric five vertex spin chain is shown to encode the ring relations of the equivariant quantum cohomology and equivariant quantum K-theory ring of flag varieties. We also show that the Bethe ansatz states of this system generate the double $β$-Grothendieck polynomials.
A GL$(n)$ quantum integrable system generalizing the asymmetric five vertex spin chain is shown to encode the ring relations of the equivariant quantum cohomology and equivariant quantum K-theory ring of flag varieties. We also show that the Bethe ansatz states of this system generate the double $β$-Grothendieck polynomials.
△ Less
Submitted 15 April, 2025; v1 submitted 5 February, 2025;
originally announced February 2025.
-
Refinements of Van Hamme's (E.2) and (F.2) supercongruences and two supercongruences by Swisher
Authors:
Victor J. W. Guo,
Chen Wang
Abstract:
In 1997, Van Hamme proposed 13 supercongruences on truncated hypergeometric series. Van Hamme's (B.2) supercongruence was first confirmed by Mortenson and received a WZ proof by Zudilin later. In 2012, using the WZ method again, Sun extended Van Hamme's (B.2) supercongruence to the modulus $p^4$ case, where $p$ is an odd prime. In this paper, by using a more general WZ pair, we generalize Hamme's…
▽ More
In 1997, Van Hamme proposed 13 supercongruences on truncated hypergeometric series. Van Hamme's (B.2) supercongruence was first confirmed by Mortenson and received a WZ proof by Zudilin later. In 2012, using the WZ method again, Sun extended Van Hamme's (B.2) supercongruence to the modulus $p^4$ case, where $p$ is an odd prime. In this paper, by using a more general WZ pair, we generalize Hamme's (E.2) and (F.2) supercongruences, as well as two supercongruences by Swisher, to the modulus $p^4$ case. Our generalizations of these supercongruences are related to Euler polynomials. We also put forward a relevant conjecture on $q$-congruences for further study.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Maximal green sequences for $\mathcal{Q}^N$ quivers
Authors:
Jingmin Guo,
Bing Duan,
Yanfeng Luo
Abstract:
We introduce $\mathcal{Q}^N$ quivers and construct maximal green sequences for these quivers. We prove that any finite connected full subquiver of the quivers defined by Hernandez and Leclerc, arising in monoidal categorifications of cluster algebras, is a special case of $\mathcal{Q}^N$ quivers. Moreover, we prove that the trees of oriented cycles introduced by Garver and Musiker are special case…
▽ More
We introduce $\mathcal{Q}^N$ quivers and construct maximal green sequences for these quivers. We prove that any finite connected full subquiver of the quivers defined by Hernandez and Leclerc, arising in monoidal categorifications of cluster algebras, is a special case of $\mathcal{Q}^N$ quivers. Moreover, we prove that the trees of oriented cycles introduced by Garver and Musiker are special cases of $\mathcal{Q}^N$ quivers. This result resolves an open problem proposed by Garver and Musiker, providing a construction of maximal green sequences for quivers that are trees of oriented cycles. Furthermore, we prove that quivers that are mutation equivalent to an orientation of a type AD Dynkin diagram can also be recognized as special cases of $\mathcal{Q}^N$ quivers.
△ Less
Submitted 14 January, 2025;
originally announced January 2025.
-
Evolutionary game dynamics for higher-order interactions
Authors:
Jiachao Guo,
Yao Meng,
Aming Li
Abstract:
Cooperative behaviors are deeply embedded in structured biological and social systems. Networks are often employed to portray pairwise interactions among individuals, where network nodes represent individuals and links indicate who interacts with whom. However, it is increasingly recognized that many empirical interactions often involve triple or more individuals instead of the massively oversimpl…
▽ More
Cooperative behaviors are deeply embedded in structured biological and social systems. Networks are often employed to portray pairwise interactions among individuals, where network nodes represent individuals and links indicate who interacts with whom. However, it is increasingly recognized that many empirical interactions often involve triple or more individuals instead of the massively oversimplified lower-order pairwise interactions, highlighting the fundamental gap in understanding the evolution of collective cooperation for higher-order interactions with diverse scales of the number of individuals. Here, we develop a theoretical framework of evolutionary game dynamics for systematically analyzing how cooperation evolves and fixates under higher-order interactions. Specifically, we offer a simple condition under which cooperation is favored under arbitrary combinations of different orders of interactions. Compared to pairwise interactions, our findings suggest that higher-order interactions enable lower thresholds for the emergence of cooperation. Surprisingly, we show that higher-order interactions favor the evolution of cooperation in large-scale systems, which is the opposite for lower-order scenarios. Our results offer a new avenue for understanding the evolution of collective cooperation in empirical systems with higher-order interactions.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
Combinatorics and large genus asymptotics of the Brézin--Gross--Witten numbers
Authors:
Jindong Guo,
Paul Norbury,
Di Yang,
Don Zagier
Abstract:
In this paper, we study combinatorial and asymptotic properties of some interesting rational numbers called the Brézin--Gross--Witten (BGW) numbers, which can be represented as the intersection numbers of psi and Theta classes on the moduli space of stable algebraic curves. In particular, we discover and prove the uniform large genus leading asymptotics of certain normalized BGW numbers, and give…
▽ More
In this paper, we study combinatorial and asymptotic properties of some interesting rational numbers called the Brézin--Gross--Witten (BGW) numbers, which can be represented as the intersection numbers of psi and Theta classes on the moduli space of stable algebraic curves. In particular, we discover and prove the uniform large genus leading asymptotics of certain normalized BGW numbers, and give a new proof of the polynomiality phenomenon for the large genus asymptotics. We also propose, with extensive numerical data, several new conjectures including monotonicity and integrality on the BGW numbers. Applications to the Painlevé II hierarchy and to the BGW-kappa numbers are given.
△ Less
Submitted 10 February, 2025; v1 submitted 29 December, 2024;
originally announced December 2024.
-
Model-free stochastic linear quadratic design by semidefinite programming
Authors:
Jing Guo,
Xiushan Jiang,
Weihai Zhang
Abstract:
In this article, we study a model-free design approach for stochastic linear quadratic (SLQ) controllers. Based on the convexity of the SLQ dual problem and the Karush-Kuhn-Tucker (KKT) conditions, we find the relationship between the optimal point of the dual problem and the Q-function, which can be used to develop a novel model-free semidefinite programming (SDP) algorithm for deriving optimal c…
▽ More
In this article, we study a model-free design approach for stochastic linear quadratic (SLQ) controllers. Based on the convexity of the SLQ dual problem and the Karush-Kuhn-Tucker (KKT) conditions, we find the relationship between the optimal point of the dual problem and the Q-function, which can be used to develop a novel model-free semidefinite programming (SDP) algorithm for deriving optimal control gain. This study provides a new optimization perspective for understanding Q-learning algorithms and lays a theoretical foundation for effective reinforcement learning (RL) algorithms. Finally, the effectiveness of the proposed model-free SDP algorithm is demonstrated by two case simulations.
△ Less
Submitted 22 December, 2024;
originally announced December 2024.
-
Bessel functions and Weyl's law for balls and spherical shells
Authors:
Jingwei Guo,
Tao Jiang,
Zuoqin Wang,
Xuerui Yang
Abstract:
The purpose of this paper is twofold. One is to investigate the properties of the zeros of cross-products of Bessel functions or derivatives of ultraspherical Bessel functions, as well as the properties of the zeros of the derivative of the first-kind ultraspherical Bessel function. The properties we study include asymptotics (with uniform and nonuniform remainder estimates), upper and lower bound…
▽ More
The purpose of this paper is twofold. One is to investigate the properties of the zeros of cross-products of Bessel functions or derivatives of ultraspherical Bessel functions, as well as the properties of the zeros of the derivative of the first-kind ultraspherical Bessel function. The properties we study include asymptotics (with uniform and nonuniform remainder estimates), upper and lower bounds and so on. In addition, we provide the number of zeros of a certain cross-product within a large circle and show that all its zeros are real and simple. These results may be of independent interest.
The other is to investigate the Dirichlet/Neumann Laplacian on balls and spherical shells in $\mathbb{R}^d$ ($d\geq 2$) and the remainder of the associated Weyl's law. We obtain new upper bounds in all dimensions, both in the Dirichlet and Neumann cases. The proof relies on our studies of Bessel functions and the latest development in the Gauss circle problem, which was driven by the application of the emerging decoupling theory of harmonic analysis.
△ Less
Submitted 18 December, 2024;
originally announced December 2024.
-
Median Filters for Anisotropic Wetting / Dewetting Problems
Authors:
Jiajia Guo,
Selim Esedoglu
Abstract:
We present new level set methods for multiphase, anisotropic (weighted) motion by mean curvature of networks, focusing on wetting-dewetting problems where one out of three phases is stationary -- a good testbed for checking whether complicated junction conditions are correctly enforced. The new schemes are vectorial median filters: The level set values at the next time step are determined by a sor…
▽ More
We present new level set methods for multiphase, anisotropic (weighted) motion by mean curvature of networks, focusing on wetting-dewetting problems where one out of three phases is stationary -- a good testbed for checking whether complicated junction conditions are correctly enforced. The new schemes are vectorial median filters: The level set values at the next time step are determined by a sorting procedure performed on the most recent level set values. Detailed numerical convergence studies are presented, showing that the correct angle conditions at triple junctions (which include torque terms due to anisotropy) are indeed indirectly and automatically attained. Other standard benefits of level set methods, such as subgrid accuracy on uniform grids via interpolation and seamless treatment of topological changes, remain intact.
△ Less
Submitted 16 December, 2024;
originally announced December 2024.
-
Cartesian products of graphs and their coherent configurations
Authors:
Jinzhuan Cai,
Jin Guo,
Alexander L. Gavrilyuk,
Ilia Ponomarenko
Abstract:
The coherent configuration $\mathsf{WL}(X)$ of a graph $X$ is the smallest coherent configuration on the vertices of $X$ that contains the edge set of $X$ as a relation. The aim of the paper is to study $\mathsf{WL}(X)$ when $X$ is a Cartesian product of graphs. The example of a Hamming graph shows that, in general, $\mathsf{WL}(X)$ does not coincide with the tensor product of the coherent configu…
▽ More
The coherent configuration $\mathsf{WL}(X)$ of a graph $X$ is the smallest coherent configuration on the vertices of $X$ that contains the edge set of $X$ as a relation. The aim of the paper is to study $\mathsf{WL}(X)$ when $X$ is a Cartesian product of graphs. The example of a Hamming graph shows that, in general, $\mathsf{WL}(X)$ does not coincide with the tensor product of the coherent configurations of the factors. We prove that if $X$ is ``closed'' with respect to the $6$-dimensional Weisfeiler-Leman algorithm, then $\mathsf{WL}(X)$ is the tensor product of the coherent configurations of certain graphs related to the prime decomposition of $X$. This condition is trivially satisfied for almost all graphs. In addition, we prove that the property of a graph ``to be decomposable into a Cartesian product of $k$ connected prime graphs'' for some $k\ge 1$ is recognized by the $m$-dimensional Weisfeiler-Leman algorithm for all $m\ge 6$.
△ Less
Submitted 4 November, 2024;
originally announced November 2024.
-
An adaptive cubic regularisation algorithm based on interior point methods for solving nonlinear inequality constrained optimization
Authors:
Yonggang Pei,
Jingyi Guo,
Detong Zhu
Abstract:
Nonlinear constrained optimization has a wide range of practical applications. In this paper, we consider nonlinear optimization with inequality constraints. The interior point method is considered to be one of the most powerful algorithms for solving large-scale nonlinear inequality constrained optimization. We propose an adaptive regularisation algorithm using cubics based on interior point meth…
▽ More
Nonlinear constrained optimization has a wide range of practical applications. In this paper, we consider nonlinear optimization with inequality constraints. The interior point method is considered to be one of the most powerful algorithms for solving large-scale nonlinear inequality constrained optimization. We propose an adaptive regularisation algorithm using cubics based on interior point methods (ARCBIP) for solving nonlinear inequality constrained optimization. For solving the barrier problem, we construct ARC subproblem with linearized constraints and the well-known fraction to the boundary rule that prevents slack variables from approaching their lower bounds prematurely. The ARC subproblem in ARCBIP can avoid incompatibility of the intersection of linearized constraints with trust-region bounds in trust-region methods. We employ composite-step approach and reduced Hessian methods to deal with linearized constraints, where the trial step is decomposed into a normal step and a tangential step. They are obtained by solving two standard ARC subproblems approximately with the fraction to the boundary rule. Requirements on normal steps and tangential steps are given to ensure global convergence. To determine whether the trial step is accepted, we use exact penalty function as the merit function in ARC framework. The updating of the barrier parameter is implemented by adaptive strategies. Global convergence is analyzed under mild assumptions. Preliminary numerical experiments and some comparison results are reported.
△ Less
Submitted 28 October, 2024;
originally announced October 2024.
-
Exploring a Geometric Conjecture, Some Properties of Blaschke Products, and the Geometry of Curves Formed by Them
Authors:
Mehmet Celik,
Mathis Duguin,
Jia Guo,
Dianlun Luo,
Kamryn Spinelli,
Yunus E. Zeytuncu,
Zhuoyu Zhu
Abstract:
In 2021, Dan Reznik made a YouTube video demonstrating that power circles of Poncelet triangles have an invariant total area. He made a simulation based on this observation and put forward a few conjectures. One of these conjectures suggests that the sum of the areas of three circles, each centered at the midpoint of a side of the Poncelet triangle and passing through the opposite vertex, remains…
▽ More
In 2021, Dan Reznik made a YouTube video demonstrating that power circles of Poncelet triangles have an invariant total area. He made a simulation based on this observation and put forward a few conjectures. One of these conjectures suggests that the sum of the areas of three circles, each centered at the midpoint of a side of the Poncelet triangle and passing through the opposite vertex, remains constant. In this paper, we provide a proof of Reznik's conjecture and present a formula for calculating the total sum. Additionally, we demonstrate the algebraic structures formed by various sets of products and the geometric properties of polygons and ellipses created by these products.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
Observer-Based Event-Triggered Secure Consensus Control for Multi-Agent Systems
Authors:
Jingyao Wang,
Zeqin Zeng,
Jinghua Guo,
Zhisheng Duan
Abstract:
This study delves into the intricate challenges encountered by multi-agent systems (MASs) operating within environments that are subject to deception attacks and Markovian randomly switching topologies, particularly in the context of event-triggered secure consensus control. To address these complexities, a novel observer-based distributed event-triggered control scheme is introduced. This approac…
▽ More
This study delves into the intricate challenges encountered by multi-agent systems (MASs) operating within environments that are subject to deception attacks and Markovian randomly switching topologies, particularly in the context of event-triggered secure consensus control. To address these complexities, a novel observer-based distributed event-triggered control scheme is introduced. This approach uses local information to dynamically adjust its triggered conditions, thereby enhancing the utilization of network resources. Additionally, the design of the observer based secure consensus controller is distributed, leveraging the local information of each individual agent. Furthermore, our event-triggered mechanism theoretically precludes the occurrence of Zeno behavior in the triggering time series. Finally, simulation results underscore the superiority of our proposed method when compared to existing techniques, thereby validating its effectiveness and applicability in the event-triggered secure consensus control of MASs.
△ Less
Submitted 24 October, 2024;
originally announced October 2024.
-
On multivalued groups of order 3
Authors:
Jin Guo,
Ilia Ponomarenko,
Andrey V. Vasil'ev
Abstract:
A complete classification of the multivalued coset groups of order $3$ is given. The proof is based on the classification of rank $3$ groups having regular normal subgroups.
A complete classification of the multivalued coset groups of order $3$ is given. The proof is based on the classification of rank $3$ groups having regular normal subgroups.
△ Less
Submitted 5 October, 2024;
originally announced October 2024.
-
Quasi-Steady-State Approach for Efficient Multiscale Simulation and Optimization of mAb Glycosylation in CHO Cell Culture
Authors:
Yingjie Ma,
Jing Guo,
Andrew Maloney,
Richard Braatz
Abstract:
Glycosylation is a critical quality attribute for monoclonal antibody (mAb) production, influenced by both process conditions and cellular mechanisms. Multiscale mechanistic models, spanning from the bioreactor to the Golgi apparatus, have been proposed for analyzing the glycosylation process. However, these models are computationally intensive to solve when using traditional methods, making optim…
▽ More
Glycosylation is a critical quality attribute for monoclonal antibody (mAb) production, influenced by both process conditions and cellular mechanisms. Multiscale mechanistic models, spanning from the bioreactor to the Golgi apparatus, have been proposed for analyzing the glycosylation process. However, these models are computationally intensive to solve when using traditional methods, making optimization and control challenging. In this work, we propose a quasi-steady-state (QSS) approach for efficiently solving the multiscale glycosylation model. By introducing the QSS assumption and assuming negligible nucleotide sugar donor (NSD) flux for glycosylation in the Golgi, the large-scale partial differential algebraic equation system is converted into a series of independent differential algebraic equation systems. Based on that representation, we develop a three-step QSS simulation method and further reduce computational time through parallel computing and nonuniform time grid strategies. Case studies in simulation, parameter estimation, and dynamic optimization demonstrate that the QSS approach can be more than 300-fold faster than the method of lines, with less than 1.6% relative errors. This work establishes a solid foundation for multiscale model-based optimization and control of the glycosylation process, supporting the implementation of quality by design.
△ Less
Submitted 16 March, 2025; v1 submitted 30 August, 2024;
originally announced September 2024.
-
Computing optimal partition problems via Lagrange multiplier approach
Authors:
Qing Cheng,
Jing Guo,
Dong Wang
Abstract:
In this paper, we consider numerical approximations for the optimal partition problem using Lagrange multipliers. By rewriting it into constrained gradient flows, three and four steps numerical schemes based on the Lagrange multiplier approach \cite{ChSh22,ChSh_II22} are proposed to solve the constrained gradient system. Numerical schemes proposed for the constrained gradient flows satisfy the nic…
▽ More
In this paper, we consider numerical approximations for the optimal partition problem using Lagrange multipliers. By rewriting it into constrained gradient flows, three and four steps numerical schemes based on the Lagrange multiplier approach \cite{ChSh22,ChSh_II22} are proposed to solve the constrained gradient system. Numerical schemes proposed for the constrained gradient flows satisfy the nice properties of orthogonality-preserving, norm-preserving, positivity-preserving and energy dissipating. The proposed schemes are very efficient in which only linear Poisson equations are solved at each time step. Extensive numerical results in 2D and 3D for optimal partition problem are presented to validate the effectiveness and accuracy of the proposed numerical schemes.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Diffusion Transformer Captures Spatial-Temporal Dependencies: A Theory for Gaussian Process Data
Authors:
Hengyu Fu,
Zehao Dou,
Jiawei Guo,
Mengdi Wang,
Minshuo Chen
Abstract:
Diffusion Transformer, the backbone of Sora for video generation, successfully scales the capacity of diffusion models, pioneering new avenues for high-fidelity sequential data generation. Unlike static data such as images, sequential data consists of consecutive data frames indexed by time, exhibiting rich spatial and temporal dependencies. These dependencies represent the underlying dynamic mode…
▽ More
Diffusion Transformer, the backbone of Sora for video generation, successfully scales the capacity of diffusion models, pioneering new avenues for high-fidelity sequential data generation. Unlike static data such as images, sequential data consists of consecutive data frames indexed by time, exhibiting rich spatial and temporal dependencies. These dependencies represent the underlying dynamic model and are critical to validate the generated data. In this paper, we make the first theoretical step towards bridging diffusion transformers for capturing spatial-temporal dependencies. Specifically, we establish score approximation and distribution estimation guarantees of diffusion transformers for learning Gaussian process data with covariance functions of various decay patterns. We highlight how the spatial-temporal dependencies are captured and affect learning efficiency. Our study proposes a novel transformer approximation theory, where the transformer acts to unroll an algorithm. We support our theoretical results by numerical experiments, providing strong evidence that spatial-temporal dependencies are captured within attention layers, aligning with our approximation theory.
△ Less
Submitted 4 February, 2025; v1 submitted 22 July, 2024;
originally announced July 2024.
-
Vector spaces over finite commutative rings
Authors:
Jun Guo,
Junli Liu,
Qiuli Xu
Abstract:
Vector spaces over finite fields and Anzahl formulas of subspaces were studied by Wan (Geometry of Classical Groups over Finite Fields, Science Press, 2002). As a generalization, we study vector spaces and singular linear spaces over commutative rings, and obtain some Anzahl formulas and dimensional formula for subspaces. Moreover, we discuss arcs and caps by using these subspaces.
Vector spaces over finite fields and Anzahl formulas of subspaces were studied by Wan (Geometry of Classical Groups over Finite Fields, Science Press, 2002). As a generalization, we study vector spaces and singular linear spaces over commutative rings, and obtain some Anzahl formulas and dimensional formula for subspaces. Moreover, we discuss arcs and caps by using these subspaces.
△ Less
Submitted 26 March, 2025; v1 submitted 15 July, 2024;
originally announced July 2024.
-
Hidden Convexity-Based Distributed Operation of Integrated Electricity-Gas Systems
Authors:
Rong-Peng Liu,
Yue Song,
Junhong Liu,
Xiaozhe Wang,
Jinpeng Guo,
Yunhe Hou
Abstract:
We propose a hidden convexity-based method to address distributed optimal energy flow (OEF) problems for transmission-level integrated electricity-gas systems. First, we develop a node-wise decoupling method to de-compose an OEF problem into multiple OEF subproblems. Then, we propose a hidden convexity-based method to equivalently reformulate nonconvex OEF subproblems as semi-definite programs. Th…
▽ More
We propose a hidden convexity-based method to address distributed optimal energy flow (OEF) problems for transmission-level integrated electricity-gas systems. First, we develop a node-wise decoupling method to de-compose an OEF problem into multiple OEF subproblems. Then, we propose a hidden convexity-based method to equivalently reformulate nonconvex OEF subproblems as semi-definite programs. This method differs from any ap-proximation and convexification methods that may incur infeasible solutions. Since all OEF subproblems are origi-nally convex or equivalently convexified, we adopt an ADMM to solve the hidden convexity-based distributed OEF problem with convergence analysis. Test results validate the effectiveness of the proposed method, especially in handling a large number of agents.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Normal forms for ordinary differential operators, I
Authors:
J. Guo,
A. B. Zheglov
Abstract:
In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain two applications in different directions of algebra/algebraic geometry.
The first application is a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups.
The second applicat…
▽ More
In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain two applications in different directions of algebra/algebraic geometry.
The first application is a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups.
The second application is a commutativity criterion for operators in the Weyl algebra or, more generally, in the ring of ordinary differential operators, which we prove in the case when operators have a normal form with the restriction top line (for details see Introduction).
Both applications are obtained with the help of normal forms. Namely, considering the ring of ordinary differential operators $D_1=K[[x]][\partial ]$ as a subring of a certain complete non-commutative ring $\hat{D}_1^{sym}$, the normal forms of differential operators mentioned here are obtained after conjugation by some invertible operator ("Schur operator"), calculated using one of the operators in a ring. Normal forms of commuting operators are polynomials with constant coefficients in the differentiation, integration and shift operators, which have a restricted finite order in each variable, and can be effectively calculated for any given commuting operators.
△ Less
Submitted 20 February, 2025; v1 submitted 20 June, 2024;
originally announced June 2024.
-
The automorphism groups of small affine rank 3 graphs
Authors:
Jin Guo,
Andrey V. Vasil'ev,
Rui Wang
Abstract:
A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van Maldeghem, the full automorphism groups of these graphs (equivalently, the 2-closures of rank 3 groups) have not been explicitly described, though a lot of information o…
▽ More
A rank 3 graph is an orbital graph of a rank 3 permutation group of even order. Despite the classification of rank 3 graphs being complete, see, e.g., Chapter 11 of the recent monograph 'Strongly regular graphs' by Brouwer and Van Maldeghem, the full automorphism groups of these graphs (equivalently, the 2-closures of rank 3 groups) have not been explicitly described, though a lot of information on this subject is available. In the present note, we address this problem for the affine rank 3 graphs. We find the automorphism groups for finitely many relatively small graphs and show that modulo known results, this provides the full description of the automorphism groups of the affine rank 3 graphs, thus reducing the general problem to the case when the socle of the automorphism group is nonabelian simple.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Experimental investigation of trans-scale displacement responses of wrinkle defects in fiber reinforced composite laminates
Authors:
Li Ma,
Shoulong Wang,
Changchen Liu,
Ange Wen,
Kaidi Ying,
Jing Guo
Abstract:
Wrinkle defects were found widely exist in the field of industrial products, i.e. wind turbine blades and filament-wound composite pressure vessels. The magnitude of wrinkle wavelength varies from several millimeters to over one hundred millimeters. Locating the wrinkle defects and measuring their responses are very important to the assessment of the structures that containing wrinkle defects. A m…
▽ More
Wrinkle defects were found widely exist in the field of industrial products, i.e. wind turbine blades and filament-wound composite pressure vessels. The magnitude of wrinkle wavelength varies from several millimeters to over one hundred millimeters. Locating the wrinkle defects and measuring their responses are very important to the assessment of the structures that containing wrinkle defects. A meso-mechanical modeling is presented based on the homogenization method to obtain the effective stiffness of a graded wrinkle. The finite element simulation predicts the trans-scale response of out-of-plane displacement of wrinkled laminates, where the maximum displacement ranges from nanoscale to millimeter scale. Such trans-scale effect requires different measurement approaches to observe the displacement responses. Here we employed Shearography (Speckle Pattern Shearing Interferometry) and fringe projection profilometry (FPP) method respectively according to the different magnitude of displacement. In FPP method, a displacement extraction algorithm was presented to obtain the out-of-plane displacement. The measurement sensitivity and accuracy of Shearography and FPP are compared, which provides a quantitative reference for industrial non-destructive test.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Blow-up criterion for a three-dimensional compressible non-Newtonian fluid with vacuum
Authors:
Junyuan Guo,
Li Fang
Abstract:
This work is devoted to establish an improved blow-up criterion for strong solutions to a three-dimensional compressible non-Newtonian fluid with vacuum. The considered system is the Power Law model in a bounded periodic domain in R^3.We establish a blow-up criterion for the local strong solutions in terms of the L^4(0,T;L^{\infty}(Ω))norm of the gradient of the velocity for any power-law index q…
▽ More
This work is devoted to establish an improved blow-up criterion for strong solutions to a three-dimensional compressible non-Newtonian fluid with vacuum. The considered system is the Power Law model in a bounded periodic domain in R^3.We establish a blow-up criterion for the local strong solutions in terms of the L^4(0,T;L^{\infty}(Ω))norm of the gradient of the velocity for any power-law index q is greater than 1.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
A mean curvature type flow with capillary boundary in a horoball in hyperbolic space
Authors:
Jinyu Guo
Abstract:
In this paper, we study a mean curvature type flow with capillary boundary in a horoball in hyperbolic space. Our flow preserves the volume of the bounded domain enclosed by the hypersurface and monotonically decreases the energy functional. We show that it has the long time existence and converges to a truncated umbilical hypersurface in hyperbolic space. As an application, we solve an isoperimet…
▽ More
In this paper, we study a mean curvature type flow with capillary boundary in a horoball in hyperbolic space. Our flow preserves the volume of the bounded domain enclosed by the hypersurface and monotonically decreases the energy functional. We show that it has the long time existence and converges to a truncated umbilical hypersurface in hyperbolic space. As an application, we solve an isoperimetric type problem for hypersurfaces with capillary boundary in a horoball.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
High-Performance Privacy-Preserving Matrix Completion for Trajectory Recovery
Authors:
Jiahao Guo,
An-Bao Xu
Abstract:
Matrix completion has important applications in trajectory recovery and mobile social networks. However, sending raw data containing personal, sensitive information to cloud computing nodes may lead to privacy exposure issue.The privacy-preserving matrix completion is a useful approach to perform matrix completion while preserving privacy. In this paper, we propose a high-performance method for pr…
▽ More
Matrix completion has important applications in trajectory recovery and mobile social networks. However, sending raw data containing personal, sensitive information to cloud computing nodes may lead to privacy exposure issue.The privacy-preserving matrix completion is a useful approach to perform matrix completion while preserving privacy. In this paper, we propose a high-performance method for privacy-preserving matrix completion. First,we use a lightweight encryption scheme to encrypt the raw data and then perform matrix completion using alternating direction method of multipliers (ADMM). Then,the complemented matrix is decrypted and compared with the original matrix to calculate the error. This method has faster speed with higher accuracy. The results of numerical experiments reveal that the proposed method is faster than other algorithms.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Precise large deviation for stationary sequence of branching process with immigration
Authors:
Jiayan Guo,
Wenming Hong
Abstract:
It is known that there exists the stationary sequence of branching process with immigration $\{X_{n}\}_{n\in\mathbb{Z}}$ under some conditions (Foster and Williamson (1971)), when the offspring is critical or subcritical. A precise large deviation probability for the partial sum $S_{n}=X_{1}+\cdots+X_{n}$ is specified, the significant difference is revealed for the critical and subcritical cases.
It is known that there exists the stationary sequence of branching process with immigration $\{X_{n}\}_{n\in\mathbb{Z}}$ under some conditions (Foster and Williamson (1971)), when the offspring is critical or subcritical. A precise large deviation probability for the partial sum $S_{n}=X_{1}+\cdots+X_{n}$ is specified, the significant difference is revealed for the critical and subcritical cases.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Precise Large Deviations For The Total Population Of Heavy-Tailed Subcritical Branching Process With Immigration
Authors:
Jiayan Guo,
Wenming Hong
Abstract:
In this article we focus on the partial sum $S_{n}=X_{1}+\cdots+X_{n}$ of the subcritical branching process with immigration $\{X_{n}\}_{n\in\mathbb{N_{+}}}$, under the condition that one of the offspring $ξ$ or immigration $η$ is regularly varying. The tail distribution of $S_n$ is heavily dependent on that of $ξ$ and $η$, and a precise large deviation probability for $S_{n}$ is specified. (i)Whe…
▽ More
In this article we focus on the partial sum $S_{n}=X_{1}+\cdots+X_{n}$ of the subcritical branching process with immigration $\{X_{n}\}_{n\in\mathbb{N_{+}}}$, under the condition that one of the offspring $ξ$ or immigration $η$ is regularly varying. The tail distribution of $S_n$ is heavily dependent on that of $ξ$ and $η$, and a precise large deviation probability for $S_{n}$ is specified. (i)When the tail of offspring $ξ$ is lighter than immigration $η$, uniformly for $x\geq x_{n}$, $P(S_{n}-ES_{n}>x)\sim c_{1}nP(η>x)$ with some constant $c_{1}$ and sequence $\{x_{n}\}$, where $c_{1}$ is only related to the mean of offspring; (ii) When the tail of immigration $η$ is not heavier than offspring $ξ$, uniformly for $x\geq x_{n}$,$P(S_{n} ES_{n}>x)\sim c_{2}nP(ξ>x)$ with some constant $c_{2}$ and sequence $\{x_{n}\}$, where $c_{2}$ is related to both the mean of offspring and the mean of immigration.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Stability of traveling waves in non-cooperative systems with nonlocal dispersal of equal diffusivities
Authors:
Jong-Shenq Guo,
Masahiko Shimojo
Abstract:
In this work, we first prove a stability theorem for traveling waves in a class of non-cooperative reaction-diffusion systems with nonlocal dispersal of equal diffusivities. Our stability criterion is in the sense that the initial perturbation is such that a suitable weighted relative entropy function is bounded and integrable. Then we apply our main theorem to derive the stability of traveling wa…
▽ More
In this work, we first prove a stability theorem for traveling waves in a class of non-cooperative reaction-diffusion systems with nonlocal dispersal of equal diffusivities. Our stability criterion is in the sense that the initial perturbation is such that a suitable weighted relative entropy function is bounded and integrable. Then we apply our main theorem to derive the stability of traveling waves for some specific examples of non-cooperative systems arising in ecology and epidemiology.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
A refined convergence estimate for a fourth order finite difference numerical scheme to the Cahn-Hilliard equation
Authors:
Jing Guo,
Cheng Wang,
Yue Yan,
Xingye Yue
Abstract:
In this article we present a refined convergence analysis for a second order accurate in time, fourth order finite difference numerical scheme for the 3-D Cahn-Hilliard equation, with an improved convergence constant. A modified backward differentiation formula temporal discretization is applied, and a Douglas-Dupont artificial regularization is included to ensure the energy stability. In fact, a…
▽ More
In this article we present a refined convergence analysis for a second order accurate in time, fourth order finite difference numerical scheme for the 3-D Cahn-Hilliard equation, with an improved convergence constant. A modified backward differentiation formula temporal discretization is applied, and a Douglas-Dupont artificial regularization is included to ensure the energy stability. In fact, a standard application of discrete Gronwall inequality leads to a convergence constant dependent on the interface width parameter in an exponential singular form. We aim to obtain an improved estimate, with such a singular dependence only in a polynomial order. A uniform in time functional bounds of the numerical solution, including the higher order Sobolev norms, as well as the associated bounds for the first and second order temporal difference stencil, have to be carefully established. Certain recursive analysis has to be applied in the analysis for the BDF-style temporal stencil. As a result, we are able to apply a spectrum estimate for the linearized Cahn-Hilliard operator, and this technique leads to the refined error estimate. A three-dimensional numerical example of accuracy check is presented as well.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
Identification of High-Dimensional ARMA Models with Binary-Valued Observations
Authors:
Xin Li,
Ting Wang,
Jin Guo,
Yanlong Zhao
Abstract:
This paper studies system identification of high-dimensional ARMA models with binary-valued observations. The existing paper can only deal with the case where the regression term is only one-dimensional. In this paper, the ARMA model with arbitrary dimensions is considered, which is more challenging. Different from the identification of FIR models with binary-valued observations, the prediction of…
▽ More
This paper studies system identification of high-dimensional ARMA models with binary-valued observations. The existing paper can only deal with the case where the regression term is only one-dimensional. In this paper, the ARMA model with arbitrary dimensions is considered, which is more challenging. Different from the identification of FIR models with binary-valued observations, the prediction of original system output and the parameter both need to be estimated in ARMA models. An online identification algorithm consisting of parameter estimation and prediction of original system output is proposed. The parameter estimation and the prediction of original output are strongly coupled but mutually reinforcing. By analyzing the two estimates at the same time instead of analyzing separately, we finally prove that the parameter estimate can converge to the true parameter with convergence rate O(1/k) under certain conditions. Simulations are given to demonstrate the theoretical results.
△ Less
Submitted 28 October, 2024; v1 submitted 1 April, 2024;
originally announced April 2024.
-
Action Functional as an Early Warning Indicator in the Space of Probability Measures via Schrödinger Bridge
Authors:
Peng Zhang,
Ting Gao,
Jin Guo,
Jinqiao Duan
Abstract:
Critical transitions and tipping phenomena between two meta-stable states in stochastic dynamical systems are a significant scientific issue. In this work, we expand the methodology of identifying the most probable transition pathway between two meta-stable states with Onsager-Machlup action functional, to investigate the evolutionary transition dynamics between two meta-stable invariant sets with…
▽ More
Critical transitions and tipping phenomena between two meta-stable states in stochastic dynamical systems are a significant scientific issue. In this work, we expand the methodology of identifying the most probable transition pathway between two meta-stable states with Onsager-Machlup action functional, to investigate the evolutionary transition dynamics between two meta-stable invariant sets with Schrödinger bridge. In contrast to existing methodologies such as statistical analysis, bifurcation theory, information theory, statistical physics, topology, and graph theory for early warning indicators, we introduce a novel framework on Early Warning Signals (EWS) within the realm of probability measures that align with the entropy production rate (EPR). To validate our framework, we apply it to the Morris-Lecar model and investigate the transition dynamics between a meta-stable state and a stable invariant set (the limit cycle or homoclinic orbit) under various conditions. Additionally, we analyze real Alzheimer's data from the Alzheimer's Disease Neuroimaging Initiative database to explore EWS indicating the transition from healthy to pre-AD states. This framework not only expands the transition pathway to encompass measures between two specified densities on invariant sets, but also demonstrates the potential of our early warning indicators for complex diseases.
△ Less
Submitted 11 March, 2025; v1 submitted 15 March, 2024;
originally announced March 2024.
-
The associated graded algebras of Brauer graph algebras II: infinite representation type
Authors:
Jing Guo,
Yuming Liu,
Yu Ye
Abstract:
Let $G$ be a Brauer graph and $A$ the associated Brauer graph algebra. Denote by $gr(A)$ the graded algebra associated with the radical filtration of $A$. The question when $gr(A)$ is of finite representation type was answered in [9]. In the present paper, we characterize when $gr(A)$ is domestic in terms of the associated Brauer graph $G$.
Let $G$ be a Brauer graph and $A$ the associated Brauer graph algebra. Denote by $gr(A)$ the graded algebra associated with the radical filtration of $A$. The question when $gr(A)$ is of finite representation type was answered in [9]. In the present paper, we characterize when $gr(A)$ is domestic in terms of the associated Brauer graph $G$.
△ Less
Submitted 15 May, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.
-
Model-free $H_{\infty}$ control of Itô stochastic system via off-policy reinforcement learning
Authors:
Jing Guo Jing Guo,
Xiushan Jiang,
Weihai Zhang
Abstract:
The stochastic $H_{\infty}$ control is studied for a linear stochastic Itô system with an unknown system model. The linear stochastic $H_{\infty}$ control issue is known to be transformable into the problem of solving a so-called generalized algebraic Riccati equation (GARE), which is a nonlinear equation that is typically difficult to solve analytically. Worse, model-based techniques cannot be ut…
▽ More
The stochastic $H_{\infty}$ control is studied for a linear stochastic Itô system with an unknown system model. The linear stochastic $H_{\infty}$ control issue is known to be transformable into the problem of solving a so-called generalized algebraic Riccati equation (GARE), which is a nonlinear equation that is typically difficult to solve analytically. Worse, model-based techniques cannot be utilized to approximately solve a GARE when an accurate system model is unavailable or prohibitively expensive to construct in reality. To address these issues, an off-policy reinforcement learning (RL) approach is presented to learn the solution of a GARE from real system data rather than a system model; its convergence is demonstrated, and the robustness of RL to errors in the learning process is investigated. In the off-policy RL approach, the system data may be created with behavior policies rather than the target policies, which is highly significant and promising for use in actual systems. Finally, the proposed off-policy RL approach is validated on a stochastic linear F-16 aircraft system.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
A Bernoulli-barycentric rational matrix collocation method with preconditioning for a class of evolutionary PDEs
Authors:
Wei-Hua Luo,
Xian-Ming Gu,
Bruno Carpentieri,
Jun Guo
Abstract:
We propose a Bernoulli-barycentric rational matrix collocation method for two-dimensional evolutionary partial differential equations (PDEs) with variable coefficients that combines Bernoulli polynomials with barycentric rational interpolations in time and space, respectively. The theoretical accuracy $O\left((2π)^{-N}+h_x^{d_x-1}+h_y^{d_y-1}\right)$ of our numerical scheme is proven, where $N$ is…
▽ More
We propose a Bernoulli-barycentric rational matrix collocation method for two-dimensional evolutionary partial differential equations (PDEs) with variable coefficients that combines Bernoulli polynomials with barycentric rational interpolations in time and space, respectively. The theoretical accuracy $O\left((2π)^{-N}+h_x^{d_x-1}+h_y^{d_y-1}\right)$ of our numerical scheme is proven, where $N$ is the number of basis functions in time, $h_x$ and $h_y$ are the grid sizes in the $x$, $y$-directions, respectively, and $0\leq d_x\leq \frac{b-a}{h_x},~0\leq d_y\leq\frac{d-c}{h_y}$. For the efficient solution of the relevant linear system arising from the discretizations, we introduce a class of dimension expanded preconditioners that take the advantage of structural properties of the coefficient matrices, and we present a theoretical analysis of eigenvalue distributions of the preconditioned matrices. The effectiveness of our proposed method and preconditioners are studied for solving some real-world examples represented by the heat conduction equation, the advection-diffusion equation, the wave equation and telegraph equations.
△ Less
Submitted 10 February, 2024; v1 submitted 6 February, 2024;
originally announced February 2024.
-
Campana conjecture for coverings of toric surfaces over function fields
Authors:
Carlo Gasbarri,
Ji Guo,
Julie Tzu-Yueh Wang
Abstract:
We first proved Vojta's abc conjecture over function fields for Campana points on projective toric surfaces with high multiplicity along the boundary. As a consequence, we show a version of Campana's conjecture on finite covering of projective toric surfaces over function fields.
We first proved Vojta's abc conjecture over function fields for Campana points on projective toric surfaces with high multiplicity along the boundary. As a consequence, we show a version of Campana's conjecture on finite covering of projective toric surfaces over function fields.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Decoding Mean Field Games from Population and Environment Observations By Gaussian Processes
Authors:
Jinyan Guo,
Chenchen Mou,
Xianjin Yang,
Chao Zhou
Abstract:
This paper presents a Gaussian Process (GP) framework, a non-parametric technique widely acknowledged for regression and classification tasks, to address inverse problems in mean field games (MFGs). By leveraging GPs, we aim to recover agents' strategic actions and the environment's configurations from partial and noisy observations of the population of agents and the setup of the environment. Our…
▽ More
This paper presents a Gaussian Process (GP) framework, a non-parametric technique widely acknowledged for regression and classification tasks, to address inverse problems in mean field games (MFGs). By leveraging GPs, we aim to recover agents' strategic actions and the environment's configurations from partial and noisy observations of the population of agents and the setup of the environment. Our method is a probabilistic tool to infer the behaviors of agents in MFGs from data in scenarios where the comprehensive dataset is either inaccessible or contaminated by noises.
△ Less
Submitted 24 December, 2023; v1 submitted 7 December, 2023;
originally announced December 2023.
-
A GLSM realization of derived equivalence in $U(1) \times U(2)$ models
Authors:
Jirui Guo,
Ban Lin,
Hao Zou
Abstract:
The paper [arXiv:1506.06999] has studied a derived equivalence between two Calabi-Yau fivefolds. In this paper, we propose a new understanding from the viewpoint of the GLSM, by realizing these two Calabi-Yau fivefolds in two different phases of a $U(1)\times U(2)$ GLSM. We find that this method can be generalized to construct other examples of derived equivalence. The functor for the equivalence…
▽ More
The paper [arXiv:1506.06999] has studied a derived equivalence between two Calabi-Yau fivefolds. In this paper, we propose a new understanding from the viewpoint of the GLSM, by realizing these two Calabi-Yau fivefolds in two different phases of a $U(1)\times U(2)$ GLSM. We find that this method can be generalized to construct other examples of derived equivalence. The functor for the equivalence can be realized by the brane transport along a path across different phases. To implement the brane transport, we compute the small window categories for anomalous $U(2)$ theories, extending previous results on window categories.
△ Less
Submitted 9 December, 2023;
originally announced December 2023.
-
Generalized Hernandez-Leclerc modules and cluster algebras
Authors:
Jingmin Guo,
Bing Duan,
Yanfeng Luo
Abstract:
We introduce generalized Hernandez-Leclerc modules over $U_q(\widehat{\mathfrak{sl}_{n+1}})$ as a generalization of Hernandez-Leclerc modules of type A, and prove that they are real and prime via monoidal categorifications of cluster algebras.
We introduce generalized Hernandez-Leclerc modules over $U_q(\widehat{\mathfrak{sl}_{n+1}})$ as a generalization of Hernandez-Leclerc modules of type A, and prove that they are real and prime via monoidal categorifications of cluster algebras.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
A large family of strongly regular graphs with small Weisfeiler-Leman dimension
Authors:
Jinzhuan Cai,
Jin Guo,
Alexander L. Gavrilyuk,
Ilia Ponomarenko
Abstract:
In 2002, D. Fon-Der-Flaass constructed a prolific family of strongly regular graphs. In this paper, we prove that for infinitely many natural numbers $n$, this family contains $n^{Ω(n^{2/3})}$ strongly regular $n$-vertex graphs $X$ with the same parameters, which satisfy the following condition: an isomorphism between $X$ and any other graph can be verified by the $4$-dimensional Weisfeiler-Leman…
▽ More
In 2002, D. Fon-Der-Flaass constructed a prolific family of strongly regular graphs. In this paper, we prove that for infinitely many natural numbers $n$, this family contains $n^{Ω(n^{2/3})}$ strongly regular $n$-vertex graphs $X$ with the same parameters, which satisfy the following condition: an isomorphism between $X$ and any other graph can be verified by the $4$-dimensional Weisfeiler-Leman algorithm.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
The minimum degree of minimal $k$-factor-critical claw-free graphs*
Authors:
Jing Guo,
Qiuli Li,
Fuliang Lu,
Heping Zhang
Abstract:
A graph $G$ of order $n$ is said to be $k$-factor-critical for integers $1\leq k< n$, if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph is minimal if for every edge, the deletion of it results in a graph that is not $k$-factor-critical. In 1998, O. Favaron and M. Shi conjectured that every minimal $k$-factor-critical graph has minimum degree…
▽ More
A graph $G$ of order $n$ is said to be $k$-factor-critical for integers $1\leq k< n$, if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph is minimal if for every edge, the deletion of it results in a graph that is not $k$-factor-critical. In 1998, O. Favaron and M. Shi conjectured that every minimal $k$-factor-critical graph has minimum degree $k+1$. In this paper, we confirm the conjecture for minimal $k$-factor-critical claw-free graphs. Moreover, we show that every minimal $k$-factor-critical claw-free graph $G$ has at least $\frac{k-1}{2k}|V(G)|$ vertices of degree $k+1$ in the case of $(k+1)$-connected, yielding further evidence for S. Norine and R. Thomas' conjecture on the minimum degree of minimal bricks when $k=2$.
△ Less
Submitted 29 December, 2024; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Stable $(r+1)$-th capillary hypersurfaces
Authors:
Jinyu Guo,
Haizhong Li,
Chao Xia
Abstract:
In this paper, we propose a new definition of stable $(r+1)$-th capillary hypersurfaces from variational perspective for any $1\leq r\leq n-1$. More precisely, we define stable $(r+1)$-th capillary hypersurfaces to be smooth local minimizers of a new energy functional under volume-preserving and contact angle-preserving variations. Using the new concept of the stable $(r+1)$-th capillary hypersurf…
▽ More
In this paper, we propose a new definition of stable $(r+1)$-th capillary hypersurfaces from variational perspective for any $1\leq r\leq n-1$. More precisely, we define stable $(r+1)$-th capillary hypersurfaces to be smooth local minimizers of a new energy functional under volume-preserving and contact angle-preserving variations. Using the new concept of the stable $(r+1)$-th capillary hypersurfaces, we generalize the stability results of Souam \cite{Souam} in a Euclidean half-space and Guo-Wang-Xia \cite{GWX} in a horoball in hyperbolic space for capillary hypersurface to $(r+1)$-th capillary hypersurface case.
△ Less
Submitted 15 May, 2025; v1 submitted 19 November, 2023;
originally announced November 2023.
