基本信息

王杰 男 博导 中国科学院数学与系统科学研究院
电子邮件: wangjie212@amss.ac.cn
通信地址: 海淀区中关村东路55号思源楼
邮政编码:
电子邮件: wangjie212@amss.ac.cn
通信地址: 海淀区中关村东路55号思源楼
邮政编码:
研究领域
多项式优化、半定规划、实代数几何、符号计算及其在量子信息、运筹控制、人工智能、计算机视觉、自动推理、信号处理、程序验证等领域的应用。更多信息请见个人主页:https://wangjie212.github.io/jiewang/。
招生信息
招生专业
070104-应用数学
招生方向
多项式优化,实代数几何,半定规划,符号计算非交换多项式优化,量子信息
教育背景
2012-09--2017-07 中国科学院大学 博士学位2008-09--2012-07 中国科学技术大学 学士学位
工作经历
工作简历
2021-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
出版信息
发表论文
(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 作者 通讯作者
发表著作
(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
参与会议
(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