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
15/07/26, Hội nghị, hội thảo:
Hình học tôpô và các chủ đề liên quan
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
Le Thi Hong Hanh,
Dương Trọng Luyện,
Nguyễn Minh Trí,
Nontrivial Solutions to Boundary Value Problems for Semilinear $\Delta ^{\alpha ,\beta }_{\alpha _1,\beta _1}$-Differential Equations,
Analysis and PDE in Developing Countries, Trends in Mathematics (TM, volume 17) (2026) pp 27–35, Birkhäuser/Springer, Cham, 2026 ISBN: 978-3-032-14210-8; 978-3-032-14211-5
Adam Czornik,
Đoàn Thái Sơn,
Nguyễn Thị Thu Sương,
Pole Placement Theorem for Linear Measurable Time-Varying Control Systems with Single Input,
SIAM Journal on Control and Optimization, Vol. 64, Iss. 4 (2026)
Đinh Nho Hào,
Maxim Shishlenin,
Van Ba Cong,
Stable Numerical Solution to Multi-dimensional Nonlinear Inverse Heat Conduction Problems via Artificial Neural Networks,
Lobachevskii Journal of Mathematics, Volume 47, pages 1213–1232 (2026)