Research

Generally speaking, my current research interests lie in symbolic computation theory and symbolic computation methods/algorithms in information theory and differential equations.

In the future, I may also explore more interdisciplinary fields of symbolic computation.

Papers on Information Theory

• Proving Information Inequalities by Gaussian Elimination
  Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
  Arxiv, Jan. 2024

• Sliding Secure Symmetric Multilevel Diversity Coding
  Tao Guo, Laigang Guo, Yinfei Xu, Congduan Li, Shi Jin, Raymond W. Yeung
  Arxiv, Jan. 2024

• On the Completely Monotone Conjecture for Rényi Entropy
  Hao Wu, Lei Yu, Laigang Guo
  Arxiv, Dec. 2023

• Proving Information Inequalities and Identities with Symbolic Computation (Extended Version)
  Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
  IEEE Transactions on Information Theory, 2023

• Lower Bounds on Multivariate Higher Order Derivatives of Differential Entropy
  Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
  Entropy, 2022

• Proving Information Inequalities and Identities with Symbolic Computation (Short Version)
  Laigang Guo, Raymond W. Yeung, Xiao-Shan Gao
  IEEE ISIT, 2022

• Lower Bound for Derivatives of Costa's Differential Entropy
  Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
  IEEE ISIT, 2021

• A Generalization of the Concavity of Rényi Entropy Power
  Laigang Guo, Chun-Ming Yuan, Xiao-Shan Gao
  Entropy, 2021

Papers on Differential Equations

• Limit cycles in a switching Liénard system
  Xiangyu Wang, Laigang Guo
  Discrete and Continuous Dynamical Systems-B, 2023

• Bifurcation Analysis for a Class of Cubic Switching Systems
  Xiangyu Wang, Yusen Wu, Laigang Guo
  International Journal of Bifurcation and Chaos, 2022

• Identifying weak focus and center in a convection model
  Laigang Guo, Pei Yu, Yufu Chen
  Applied Mathematics Letters, 2020

• Bifurcation analysis on a class of three-dimensional quadratic systems with twelve limit cycles
  Laigang Guo, Pei Yu, Yufu Chen
  Applied Mathematics and Computation, 2019

• Bifurcation analysis on a class of Z2-equivariant cubic switching systems showing eighteen limit cycles
  Laigang Guo, Pei Yu, Yufu Chen
  Journal of Differential Equations, 2019

• Twelve Limit Cycles in 3D Quadratic Vector Fields with Z3 Symmetry
  Laigang Guo, Pei Yu, Yufu Chen
  International Journal of Bifurcation and Chaos, 2018

• Hopf Bifurcation of Z2-Equivariant Generalized Liénard Systems
  Yusen Wu, Laigang Guo, Yufu Chen
  International Journal of Bifurcation and Chaos, 2018

• System stability analysis via a perturbation technique
  Laigang Guo, Yufu Chen
  Communications in Nonlinear Science and Numerical Simulation, 2017

Codes in Papers

Please read this file before you try to implement these codes. If you have any questions, you can contact me via email at guolaigang@gmail.com.

Welcome to discussions on these codes.

• Program for proving Tian's inequality in [Guo-Yeung-Gao, IEEE TIT, 2023]: Tian's example.

• Program for the three examples in [Guo-Yeung-Gao, Arxiv, 2024]: Example-1, Example-2, Example-3.