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:
Workshop on Graphs and Beyond
02/04/26, Hội nghị, hội thảo:
Hội thảo Phương trình vi phân và ứng dụng
23/04/26, Hội nghị, hội thảo:
Hội thảo TỐI ƯU VÀ TÍNH TOÁN KHOA HỌC lần thứ 24
Xuất bản mới
Florian Bridoux,
Christophe Crespelle,
Phan Thị Hà Dương,
Adrien Richard,
Dividing sum of cycles in the semiring of functional digraphs,
Natural Computing, Vol. 25, No. 1, 2026.
.
Giang Trung Hiếu,
Nguyễn Minh Trí,
Đặng Anh Tuấn,
On some Sobolev and Pólya-Szegö type inequalities with weights and applications,
Journal of Mathematical Analysis and Applications, Volume 561, Issue 2, 15 September 2026, 130591
.
Ha Dung M,
Hoàng Đức Anh,
Ngô Trung Hiếu,
On the least almost-prime in an arithmetic progression,
Mathematika 72 (2026), no. 2, Paper No. e70080.
.