MATHEMATICS & OPTIMIZATION & QUANTUM Beijing, China

JIE WANG · AMSS-CAS

Research

Publications in optimization, algebra, and quantum science.

Papers Under Review

Quartic Keller Maps and Tameness in Three Variables
Jie Wang and Dan Yan.
2026.

Exact Identification of Quantum Correlations in the Minimal Bell Scenario
Liang-Liang Sun, Jie Wang, and Sixia Yu.
2026.

The ascending chain condition for radical well-mixed difference ideals
Wei Li and Jie Wang.
2026.

The Five-Point Case of Mordell's Discriminant Inequality
Jie Wang.
2026.

Entrywise nonnegativity of the inverse relative gain array in dimension six
Jeffrey Uhlmann and Jie Wang.
2026.

Restricted-Multiplier Positivstellensätze for Polynomial Optimization with Affine Parameters
Jie Wang.
2026.

Nilpotent Jacobian maps in dimension three and stable tameness in block extensions
Jie Wang and Dan Yan.
2026.

Quaternionic Sums of Squares, Moments, and Quaternionic Polynomial Optimization
Yanqing Liu and Jie Wang.
2026.

On the global time-optimality for three-axis G01 interpolation via convexity-based control
Shitao He, Chunming Yuan, Liyong Shen, and Jie Wang.
2026.

Optimal Strategies for Shadow Tomography with Limited Resources
Zhen-Peng Xu, Qi Ye, Jie Wang, Gereon Koßmann, Andreas Winter, and René Schwonnek.
2026.

Strengthened Complex Moment Hierarchies and Finite Convergence over Spheres
Jie Wang.
2026.

Complete Trajectory Tracking for Polynomial Differential Variational Inequalities: A Moment-SOS Based Structure-Aware Approach
Zhang Huang, Wei Li, and Jie Wang.
2026.

The bulk spectral gap is semi-decidable: a convergent family of certified upper bounds
Xiangling Xu, Matthias Schötz, Jie Wang, Victor Magron, Igor Klep, Omar Fawzi, and Marc-Olivier Renou.
2026.

Exploiting Term Sparsity in Symmetry-Adapted Basis for Polynomial Optimization
Igor Klep, Victor Magron, Tobias Metzlaff, and Jie Wang.
2025.

Simultaneous variances of Pauli strings, weighted independence numbers, and a new kind of perfection of graphs
Zhen-Peng Xu, Jie Wang, Qi Ye, Gereon Koßmann, René Schwonnek, and Andreas Winter.
2025.

Positivstellensätze for Polynomial Matrices with Universal Quantifiers
Feng Guo and Jie Wang.
2025.

Published & Accepted Papers

Certified Bounds on Optimization Problems in Quantum Theory
Younes Naceur, Jie Wang, Victor Magron, and Antonio Acín.
Quantum, 2026.

A Dual Riemannian Augmented Lagrangian Method for Low-Rank SDPs with Unit Diagonal
Jie Wang, Liangbing Hu, and Bican Xia.
Journal of Scientific Computing, 2026.

Scalable Ground-State Certification of Quantum Spin Systems via Structured Noncommutative Polynomial Optimization
Jie Wang, David Jansen, Irénée Frerot, Marc-Olivier Renou, Victor Magron, and Antonio Acín.
SciPost Physics, 2026.

A More Efficient Reformulation of Complex SDP as Real SDP
Jie Wang.
Computational Optimization and Applications, 2026.

Mapping Phase Diagrams of Quantum Spin Systems Through Semidefinite-Programming Relaxations
David Jansen, Donato Farina, Luke Mortimer, Timothy Heightman, Andreas Leitherer, Pere Mujal, Jie Wang, and Antonio Acín.
Physical Review Letters, 2026.

Sparse Polynomial Matrix Optimization
Jared Miller, Jie Wang, and Feng Guo.
SIAM Journal on Optimization, 2025.

Exploiting Sign Symmetries in Minimizing Sums of Rational Functions
Feng Guo, Jie Wang, and Jianhao Zheng.
Mathematics of Operations Research, 2025.

Solving Low-Rank Semidefinite Programs via Manifold Optimization
Jie Wang and Liangbing Hu.
Journal of Scientific Computing, 2025.

Sparse Polynomial Optimization with Unbounded Sets
Lei Huang, Shucheng Kang, Jie Wang, and Heng Yang.
SIAM Journal on Optimization, 2025.

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

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

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, 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
Feng Guo and Jie Wang.
Mathematics of Operations Research, 2024.

Certifying Ground-State Properties of Quantum Many-Body Systems
Jie Wang, 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
Jie Wang.
SIAM Journal on Optimization, 2024.

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

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

CS-TSSOS: Correlative and Term Sparsity for Large-Scale Polynomial Optimization
Jie Wang, 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
Jie Wang, Victor Magron, and Jean-Bernard Lasserre.
Electric Power Systems Research, 2022.

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

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

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

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

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

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

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

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

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

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

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

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

Bistability of sequestration networks
Xiaoxian Tang and Jie Wang.
Discrete Contin. Dyn. Syst. Ser. B, 2020.

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

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

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

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

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

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

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

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