Deciding non-negativity of generic polynomials based on Sturm’s theorem
Người báo cáo: Vũ Trung Hiếu (University of Tokyo, Japan)
Date: 14:00-15:00, 02 October 2025
Venue: Room 301, A5, Institute of Mathematics
Abstract: We address the problem of deciding the non-negativity of a real polynomial $f$. To this end, we employ the critical value polynomial $varphi_f,$ whose roots are the complex critical values of $f$. First, we show that, under a genericity assumption, this decision problem reduces to determining whether $varphi_f$ has only non-negative roots. This reduction allows us to apply Sturm’s theorem to resolve the problem. Second, we propose a symbolic algorithm for deciding non-negativity and analyze its bit complexity in the case where the input polynomial has rational coefficients. The talk is based on joint work with Nguyen Hong Duc and Akiko Takeda
Tin tức nổi bật
Hoạt động tuần
Hội thảo sắp diễn ra
23/03/26, Hội nghị, hội thảo:
HỌC KỲ CHUYÊN ĐỀ: ĐỒ THỊ VÀ CÁC HƯỚNG NGHIÊN CỨU MỞ RỘNG
Xuất bản mới
Nguyễn Huyền Mười,
Vũ Ngọc Phát,
New design of robust $H_\infty$ controllers for descriptor discrete time-varying delay equations with bounded disturbances,
Transactions of the Institute of Measurement and Control, 48(2026), 87-97
(SCI(-E); Scopus)
.
Lê Xuân Thanh,
Lê Dũng Mưu,
Nguyễn Văn Quý,
A Dual Approach Based Extragradient-Type Method for Solving Quasi-Equilibrium Problems,
Journal of Optimization Theory and Applications, Volume 208, article number 59, (2026)
.
Vũ Thị Hướng,
Ida Litzel,
Thorsten Koch,
Similarity-based fuzzy clustering scientific articles: Potentials and challenges from mathematical and computational perspectives,
Journal of Nonlinear and Variational Analysis 10, 381-401 (2026).
(SCI-E, Scopus)
.