Jie Wang (王杰)

Papers Under Review

Exploiting Sign Symmetries in Minimizing Sums of Rational Functions
with Feng Guo and Jianhao Zheng.
2024.

Strengthening Lasserre's Hierarchy in Real and Complex Polynomial Optimization
2024.

Sparse Polynomial Optimization with Unbounded Sets
with Lei Huang, Shucheng Kang, and Heng Yang.
2024.

A More Efficient Reformulation of Complex SDP as Real SDP
2023.

Solving Low-Rank Semidefinite Programs via Manifold Optimization
with Liangbing Hu.
2023.

Published & Forthcoming Papers

A Real Moment-HSOS Hierarchy for Complex Polynomial Optimization with Real Coefficients
with Victor Magron.
Computational Optimization and Applications, 2024.

Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets
with Hao Wu, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan.
The 26th International Symposium on Formal Methods (FM2024), 2024.

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
with Hao Wu, Shenghua Feng, Ting Gan, Bican Xia, and Naijun Zhan.
The 26th International Symposium on Formal Methods (FM2024), 2024.

A Moment-SOS Hierarchy for Robust Polynomial Matrix Inequality Optimization with SOS-Convexity
with Feng Guo.
Mathematics of Operations Research, 2024.

Certifying Ground-State Properties of Quantum Many-Body Systems
with Jacopo Surace, Irénée Frérot, Benoît Legat, Marc-Olivier Renou, Victor Magron, and Antonio Acín.
Physical Review X, 2024.

Weighted Geometric Mean, Minimum Mediated Set, and Optimal Simple Second-Order Cone Representation
SIAM Journal on Optimization, 2024.

State Polynomials: Positivity, Optimization and Nonlinear Bell Inequalities
with Igor Klep, Victor Magron, and Jurij Volčič.
Mathematical Programming, 2023.

Exploiting Term Sparsity in Moment-SOS hierarchy for Dynamical Systems
with Corbinian Schlosser, Milan Korda, and Victor Magron.
IEEE Transactions on Automatic Control, 2023.

CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization
with Victor Magron, Jean-Bernard Lasserre and Ngoc Hoang Anh Mai.
ACM Transactions on Mathematical Software, 2022.

Certifying Global Optimality of AC-OPF Solutions via Sparse Polynomial Optimization
with Victor Magron and Jean-Bernard Lasserre.
Electric Power Systems Research, 2022.

Exploiting Constant Trace Property in Large-Scale Polynomial Optimization
with Ngoc Hoang Anh Mai, Jean-Bernard Lasserre and Victor Magron.
ACM Transactions on Mathematical Software, 2022.

Stability of Control Systems under Extended Weakly-Hard Constraints
with Nils Vreman, Paolo Pazzaglia, Victor Magron and Martina Maggio.
IEEE Control Systems Letters, 2022.

Nonnegative Polynomials and Circuit Polynomials
SIAM Journal on Applied Algebra and Geometry, 2022.

Exploiting Sparsity in Complex Polynomial Optimization
with Victor Magron.
Journal of Optimization Theory and Applications, 2021.

Exploiting Term Sparsity in Noncommutative Polynomial Optimization
with Victor Magron.
Computational Optimization and Applications, 2021.

SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming
with Victor Magron.
Journal of Symbolic Computation, 2021.

TSSOS: a Julia Library to Exploit Sparsity for Large-Scale Polynomial Optimization
with Victor Magron.
MEGA'21, 2021.

On Radically Expanding the Landscape of Potential Applications for Automated Proof Methods
with Jeffrey Uhlmann.
SN Computer Science, 2021.

SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions
with Martina Maggio and Victor Magron.
ACC'21, 2021.

Chordal-TSSOS: a moment-SOS hierarchy that exploits Term Sparsity with Chordal Extension
with Victor Magron and Jean-Bernard Lasserre.
SIAM Journal on Optimization, 2021.

TSSOS: A Moment-SOS Hierarchy That Exploits Term Sparsity
with Victor Magron and Jean-Bernard Lasserre.
SIAM Journal on Optimization, 2021.

A Second Order Cone Characterization for Sums of Nonnegative Circuits
with Victor Magron.
The 45th ISSAC, 2020.

Bistability of sequestration networks
with Xiaoxian Tang.
Discrete Contin. Dyn. Syst. Ser. B, 2020.

Toric P-difference varieties
Science China Mathematics, 63:643–670, 2020.

Systems of polynomials with at least one positive real zero
Journal of Algebra and Its Applications, 2019.

A new sparse SOS decomposition algorithm based on term sparsity
with Haokun Li and Bican Xia.
The 44th ISSAC, 2019.

Finite basis for radical well-mixed difference ideals generated by binomials
Communications in Algebra, 46(6):2589-2599, 2018.

Difference indices of quasi-prime difference algebraic systems
Journal of Symbolic Computation, 87:1-13, 2018.

Difference indices of quasi-regular difference algebraic systems
Journal of Mathematical Sciences: Advances and Applications, 46:31-49, 2017.

Monomial difference ideals
Proceedings of the American Mathematical Society, 145(4):1481-1496, 2017.

Toric difference variety
with Xiaoshan Gao, Zhang Huang, and Chunming Yuan.
Journal of Systems Science and Complexity, 30(1):173-195, 2017.