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
16/06/26, Hội nghị, hội thảo:
International Conference “Complex Hyperbolicity, Function fields and Non-archimedean Arithmetic"
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
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
.
Trần Quang Hóa,
Đỗ Trọng Hoàng,
Le Van Dinh,
Nguyễn Đăng Hợp,
Thái Thành Nguyễn,
Asymptotic depth of invariant chains of edge ideals,
Journal of Combinatorial Theory, Series A Volume 224, November 2026, 106221
.