基本信息
王杰  男  博导  中国科学院数学与系统科学研究院
电子邮件: wangjie212@amss.ac.cn
通信地址: 海淀区中关村东路55号思源楼
邮政编码:

研究领域

多项式优化、全局优化、张量优化、实代数几何、半定规划、符号计算及其在运筹控制、量子信息、神经网络、人工智能、计算机视觉、电力系统、张量计算、数据处理、理论计算机、自动推理、信号处理、信息通讯、图形图像、数控技术、程序验证、金融数学、生物数学等领域的应用。更多信息请见个人主页:https://wangjie212.github.io/jiewang/

招生信息

   
招生专业
070104-应用数学
070105-运筹学与控制论
070102-计算数学
招生方向
多项式优化,实代数几何,半定规划,符号计算
非交换多项式优化,量子信息

教育背景

2012-09--2017-07   中国科学院大学   博士学位
2008-09--2012-07   中国科学技术大学   学士学位

工作经历

   
工作简历
2021-06~现在, 中国科学院数学与系统科学研究院, 副研究员
2019-07~2021-06,法国国家科学中心, 博士后
2017-07~2019-06,北京大学, 博士后

教授课程

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

专利与奖励

   
奖励信息
(1) 北京运筹学会2022青年优秀论文, 一等奖, 省级, 2022
(2) 关肇直青年研究奖, 一等奖, 研究所(学校), 2022

出版信息

   
发表论文
(1) SONC optimization and exact nonnegativity certificates via second-order cone programming, JOURNAL OF SYMBOLIC COMPUTATION, 2023, 第 2 作者
(2) State polynomials: positivity, optimization and nonlinear Bell inequalities, MATHEMATICAL PROGRAMMING, 2023, 第 4 作者
(3) CS-TSSOS: Correlative and term sparsity for large-scale polynomial optimization, ACM Transactions on Mathematical Software (TOMS), 2022, 通讯作者
(4) Nonnegative Polynomials and Circuit Polynomials, SIAM JOURNAL ON APPLIED ALGEBRA AND GEOMETRY, 2022, 通讯作者
(5) Stability of Linear Systems under Extended Weakly-Hard Constraints, IEEE Control Systems Letters, 2022, 第 4 作者
(6) Exploiting term sparsity in noncommutative polynomial optimization, COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2021, 第 1 作者
(7) TSSOS: a Julia library to exploit sparsity for large-scale polynomial optimization, MEGA, 2021, 第 2 作者
(8) SONC Optimization and Exact Nonnegativity Certificates via Second-Order Cone Programming, JOURNAL OF SYMBOLIC COMPUTATION, 2021, 第 2 作者
(9) On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods, SN Computer Science, 2021, 第 2 作者
(10) CHORDAL-TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY WITH CHORDAL EXTENSION, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
(11) BISTABILITY OF SEQUESTRATION NETWORKS, DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS-SERIES B, 2021, 通讯作者
(12) SparseJSR: A Fast Algorithm to Compute Joint Spectral Radius via Sparse SOS Decompositions, 2021 American Control Conference (ACC), 2021, 通讯作者
(13) TSSOS: A MOMENT-SOS HIERARCHY THAT EXPLOITS TERM SPARSITY, SIAM JOURNAL ON OPTIMIZATION, 2021, 第 1 作者
(14) Exploiting Sparsity in Complex Polynomial Optimization, JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2021, 第 1 作者
(15) Systems of polynomials with at least one positive real zero, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2020, 通讯作者
(16) Toric P-difference varieties, Toric P-difference varieties, SCIENCE CHINA-MATHEMATICS, 2020, 通讯作者
(17) A second order cone characterization for sums of nonnegative circuits, 第45届国际符号和代数运算研讨会 (ISSAC), 2020, 通讯作者
(18) 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, 通讯作者
(19) Finite basis for radical well-mixed difference ideals generated by binomials, COMMUNICATIONS IN ALGEBRA, 2018, 通讯作者
(20) Difference indices of quasi-prime difference algebraic systems, JOURNAL OF SYMBOLIC COMPUTATION, 2018, 通讯作者
(21) Toric Difference Variety, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 第 3 作者
(22) 差分代数中若干问题的研究, The Research of Certain Problems in Difference Algebra, 2017, 第 1 作者
(23) MONOMIAL DIFFERENCE IDEALS, PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2017, 通讯作者
发表著作
(1) 稀疏多项式优化:理论与实践, Sparse Polynomial Optimization: Theory and Practice, World Scientific Press, 2023-05, 第 2 作者

科研活动

   
科研项目
( 1 ) 陈景润未来之星, 负责人, 研究所自主部署, 2022-01--2024-12
( 2 ) 符号数值混合计算在代数视觉中的应用, 参与, 国家任务, 2022-01--2025-12
( 3 ) 多项式优化理论、算法与应用, 负责人, 国家任务, 2023-01--2025-12
( 4 ) 面向安全攸关系统的半代数优化算法、软件测试, 参与, 国家任务, 2023-01--2027-12
( 5 ) 中国运筹学会青年人才发展专项, 负责人, 其他, 2023-01--2024-12
参与会议
(1)SONC锥的二阶锥表示   SIAM应用代数几何会议   2021-08-19
(2)在大规模多项式优化中利用稀疏性   SIAM优化会议   2021-07-21
(3)在非交换多项式优化中利用稀疏性   欧洲数学大会   2021-06-21
(4)在SOS规划和多项式优化中利用项稀疏性   国际连续优化会议   2019-08-06
(5)非负多项式与circuit多项式   SIAM应用代数几何会议   2019-07-13