基本信息
王杰  男  博导  中国科学院数学与系统科学研究院
电子邮件: 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,中国数学会计算机数学专委会委员,

教授课程

应用数学中的代数与几何方法

专利与奖励

   
奖励信息
(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