基本信息

王杰 男 博导 中国科学院数学与系统科学研究院
电子邮件: wangjie212@amss.ac.cn
通信地址: 海淀区中关村东路55号思源楼
邮政编码:
电子邮件: wangjie212@amss.ac.cn
通信地址: 海淀区中关村东路55号思源楼
邮政编码:
研究领域
多项式优化、半定规划、实代数几何、符号计算及其在量子信息、运筹控制、人工智能、计算机视觉、自动推理、信号处理、程序验证等领域的应用。更多信息请见个人主页:https://wangjie212.github.io/jiewang/。
招生信息
招生专业
070104-应用数学
招生方向
多项式优化,实代数几何,半定规划,符号计算
非交换多项式优化,量子信息
非交换多项式优化,量子信息
教育背景
2012-09--2017-07 中国科学院大学 博士学位
2008-09--2012-07 中国科学技术大学 学士学位
2008-09--2012-07 中国科学技术大学 学士学位
工作经历
工作简历
2021-06~现在, 中国科学院数学与系统科学研究院, 副研究员
2019-07~2021-06,法国国家科学中心, 博士后
2017-07~2019-06,北京大学, 博士后
2019-07~2021-06,法国国家科学中心, 博士后
2017-07~2019-06,北京大学, 博士后
社会兼职
2024-06-06-今,中国数学会计算机数学专委会委员,
2021-06-06-2024-06-06,中国数学会计算机数学专委会委员,
2021-06-06-2024-06-06,中国数学会计算机数学专委会委员,
教授课程
应用数学中的代数与几何方法
专利与奖励
奖励信息
(1) 北京运筹学会2022青年优秀论文, 一等奖, 省级, 2022
(2) 关肇直青年研究奖, 一等奖, 研究所(学校), 2022
(2) 关肇直青年研究奖, 一等奖, 研究所(学校), 2022
出版信息
发表论文
(1) Sparse Polynomial Optimization with Unbounded Sets, SIAM Journal on Optimization, 2025, 第 3 作者 通讯作者
(2) Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets, FORMAL METHODS, PT I, FM 2024, 2025, 第 2 作者
(3) Certifying Ground-State Properties of Quantum Many-Body Systems, Physical Review X, 2024, 第 1 作者
(4) WEIGHTED GEOMETRIC MEAN, MINIMUM MEDIATED SET, AND OPTIMAL SIMPLE SECOND-ORDER CONE REPRESENTATION, SIAM JOURNAL ON OPTIMIZATION, 2024, 第 1 作者 通讯作者
(5) A Moment-Sum-of-Squares Hierarchy for Robust Polynomial Matrix Inequality Optimization with Sum-of-Squares Convexity, MATHEMATICS OF OPERATIONS RESEARCH, 2024, 第 2 作者 通讯作者
(6) A Moment-SOS Hierarchy for Robust Polynomial Matrix Inequality Optimization with SOS-Convexity, Mathematics of Operations Research, 2024, 第 2 作者 通讯作者
(7) SONC optimization and exact nonnegativity certificates via second-order cone programming, JOURNAL OF SYMBOLIC COMPUTATION, 2023, 第 2 作者
(8) Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 第 1 作者 通讯作者
(9) State polynomials: positivity, optimization and nonlinear Bell inequalities, MATHEMATICAL PROGRAMMING, 2023, 第 4 作者
(10) CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization, ACM Transactions on Mathematical Software (TOMS), 2022, 第 1 作者 通讯作者
(11) Nonnegative Polynomials and Circuit Polynomials, SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, 2022, 第 1 作者 通讯作者
(12) Stability of Linear Systems under Extended Weakly-Hard Constraints, IEEE Control Systems Letters, 2022, 第 4 作者
(13) SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming, JOURNAL OF SYMBOLIC COMPUTATION, 2021, 第 2 作者
(14) On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods, SN Computer Science, 2021, 第 2 作者
(15) CHORDAL-TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY WITH CHORDAL EXTENSION, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
(16) BISTABILITY OF SEQUESTRATION NETWORKS, DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2021, 第 2 作者 通讯作者
(17) SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions, 2021 American Control Conference (ACC), 2021, 第 1 作者 通讯作者
(18) TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
(19) Exploiting Sparsity in Complex Polynomial Optimization, JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2021, 第 1 作者
(20) Exploiting term sparsity in noncommutative polynomial optimization, COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2021, 第 1 作者
(21) TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization, MEGA, 2021, 第 2 作者
(22) Systems of polynomials with at least one positive real zero, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2020, 第 1 作者 通讯作者
(23) Toric P-difference varieties, Toric P-difference varieties, SCIENCE CHINA Mathematics, 2020, 第 1 作者 通讯作者
(24) A second order cone characterization for sums of nonnegative circuits, 第45届国际符号和代数运算研讨会 (ISSAC), 2020, 第 1 作者 通讯作者
(25) A New Sparse SOS Decomposition Algorithm Based on Term Sparsity, PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19), 2019, 第 1 作者 通讯作者
(26) Finite basis for radical well-mixed difference ideals generated by binomials, COMMUNICATIONS IN ALGEBRA, 2018, 第 1 作者 通讯作者
(27) Difference indices of quasi-prime difference algebraic systems, JOURNAL OF SYMBOLIC COMPUTATION, 2018, 第 1 作者 通讯作者
(28) Toric Difference Variety, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 第 3 作者
(29) 差分代数中若干问题的研究, The Research of Certain Problems in Difference Algebra, 2017, 第 1 作者
(30) MONOMIAL DIFFERENCE IDEALS, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2017, 第 1 作者 通讯作者
(2) Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets, FORMAL METHODS, PT I, FM 2024, 2025, 第 2 作者
(3) Certifying Ground-State Properties of Quantum Many-Body Systems, Physical Review X, 2024, 第 1 作者
(4) WEIGHTED GEOMETRIC MEAN, MINIMUM MEDIATED SET, AND OPTIMAL SIMPLE SECOND-ORDER CONE REPRESENTATION, SIAM JOURNAL ON OPTIMIZATION, 2024, 第 1 作者 通讯作者
(5) A Moment-Sum-of-Squares Hierarchy for Robust Polynomial Matrix Inequality Optimization with Sum-of-Squares Convexity, MATHEMATICS OF OPERATIONS RESEARCH, 2024, 第 2 作者 通讯作者
(6) A Moment-SOS Hierarchy for Robust Polynomial Matrix Inequality Optimization with SOS-Convexity, Mathematics of Operations Research, 2024, 第 2 作者 通讯作者
(7) SONC optimization and exact nonnegativity certificates via second-order cone programming, JOURNAL OF SYMBOLIC COMPUTATION, 2023, 第 2 作者
(8) Exploiting Term Sparsity in Moment-SOS Hierarchy for Dynamical Systems, IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 第 1 作者 通讯作者
(9) State polynomials: positivity, optimization and nonlinear Bell inequalities, MATHEMATICAL PROGRAMMING, 2023, 第 4 作者
(10) CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization, ACM Transactions on Mathematical Software (TOMS), 2022, 第 1 作者 通讯作者
(11) Nonnegative Polynomials and Circuit Polynomials, SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, 2022, 第 1 作者 通讯作者
(12) Stability of Linear Systems under Extended Weakly-Hard Constraints, IEEE Control Systems Letters, 2022, 第 4 作者
(13) SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming, JOURNAL OF SYMBOLIC COMPUTATION, 2021, 第 2 作者
(14) On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods, SN Computer Science, 2021, 第 2 作者
(15) CHORDAL-TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY WITH CHORDAL EXTENSION, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
(16) BISTABILITY OF SEQUESTRATION NETWORKS, DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2021, 第 2 作者 通讯作者
(17) SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions, 2021 American Control Conference (ACC), 2021, 第 1 作者 通讯作者
(18) TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
(19) Exploiting Sparsity in Complex Polynomial Optimization, JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2021, 第 1 作者
(20) Exploiting term sparsity in noncommutative polynomial optimization, COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2021, 第 1 作者
(21) TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization, MEGA, 2021, 第 2 作者
(22) Systems of polynomials with at least one positive real zero, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2020, 第 1 作者 通讯作者
(23) Toric P-difference varieties, Toric P-difference varieties, SCIENCE CHINA Mathematics, 2020, 第 1 作者 通讯作者
(24) A second order cone characterization for sums of nonnegative circuits, 第45届国际符号和代数运算研讨会 (ISSAC), 2020, 第 1 作者 通讯作者
(25) A New Sparse SOS Decomposition Algorithm Based on Term Sparsity, PROCEEDINGS OF THE 2019 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC '19), 2019, 第 1 作者 通讯作者
(26) Finite basis for radical well-mixed difference ideals generated by binomials, COMMUNICATIONS IN ALGEBRA, 2018, 第 1 作者 通讯作者
(27) Difference indices of quasi-prime difference algebraic systems, JOURNAL OF SYMBOLIC COMPUTATION, 2018, 第 1 作者 通讯作者
(28) Toric Difference Variety, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 第 3 作者
(29) 差分代数中若干问题的研究, The Research of Certain Problems in Difference Algebra, 2017, 第 1 作者
(30) MONOMIAL DIFFERENCE IDEALS, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2017, 第 1 作者 通讯作者
发表著作
(1) 稀疏多项式优化:理论与实践, Sparse Polynomial Optimization: Theory and Practice, World Scientific Press, 2023-05, 第 2 作者
科研活动
科研项目
( 1 ) 计算机数学核心理论、算法与软件, 参与, 国家任务, 2024-01--2028-12
( 2 ) 多项式优化理论、算法与应用, 负责人, 国家任务, 2023-01--2025-12
( 3 ) 面向安全攸关系统的半代数优化算法、软件测试, 参与, 国家任务, 2023-01--2027-12
( 4 ) 中国运筹学会青年人才发展专项, 负责人, 其他, 2023-01--2024-12
( 5 ) 陈景润未来之星, 负责人, 研究所自主部署, 2022-01--2024-12
( 6 ) 符号数值混合计算在代数视觉中的应用, 参与, 国家任务, 2022-01--2025-12
( 2 ) 多项式优化理论、算法与应用, 负责人, 国家任务, 2023-01--2025-12
( 3 ) 面向安全攸关系统的半代数优化算法、软件测试, 参与, 国家任务, 2023-01--2027-12
( 4 ) 中国运筹学会青年人才发展专项, 负责人, 其他, 2023-01--2024-12
( 5 ) 陈景润未来之星, 负责人, 研究所自主部署, 2022-01--2024-12
( 6 ) 符号数值混合计算在代数视觉中的应用, 参与, 国家任务, 2022-01--2025-12
参与会议
(1)多项式优化与低秩SDP SIAM优化会议 2023-05-31
(2)SONC锥的二阶锥表示 SIAM应用代数几何会议 2021-08-19
(3)在大规模多项式优化中利用稀疏性 SIAM优化会议 2021-07-21
(4)在非交换多项式优化中利用稀疏性 欧洲数学大会 2021-06-21
(5)在SOS规划和多项式优化中利用项稀疏性 国际连续优化会议 2019-08-06
(6)非负多项式与circuit多项式 SIAM应用代数几何会议 2019-07-13
(2)SONC锥的二阶锥表示 SIAM应用代数几何会议 2021-08-19
(3)在大规模多项式优化中利用稀疏性 SIAM优化会议 2021-07-21
(4)在非交换多项式优化中利用稀疏性 欧洲数学大会 2021-06-21
(5)在SOS规划和多项式优化中利用项稀疏性 国际连续优化会议 2019-08-06
(6)非负多项式与circuit多项式 SIAM应用代数几何会议 2019-07-13