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
13/10/26, Hội nghị, hội thảo:
International Workshop on Optimization, Variational Analysis, and Control Theory
09/11/26, Hội nghị, hội thảo:
Workshop on singularities and related topics (Conference in memory of Professor Lê Dũng Tráng)
Xuất bản mới
Cấn Văn Hảo,
Naoki Kubota,
Shuta Nakajima,
Upper tail large deviation for the one-dimensional frog model,
Probability Theory and Related Fields, Volume 194, pages 1945–2023 (2026)
.
Lê Viết Cường,
Đoàn Thái Sơn,
Nguyễn Thị Thu Sương,
Proportional local assignability of two-sided dichotomy spectrum of linear time-varying systems,
Journal of Differential Equations Volume 477, 5 October 2026, 114592
.
Lê Tuấn Hoa,
Doan Quang Tien,
New bounds on Castelnuovo-Mumford regularity of monomial curves and application to sumsets,
Journal of Pure and Applied Algebra Volume 230, Issue 9, September 2026, 108323
.