Root-finding algorithms | Mathematical theorems | Real algebraic geometry

Budan's theorem

In mathematics, Budan's theorem is a theorem for bounding the number of real roots of a polynomial in an interval, and computing the parity of this number. It was published in 1807 by François Budan de Boislaurent. A similar theorem was published independently by Joseph Fourier in 1820. Each of these theorems is a corollary of the other. Fourier's statement appears more often in the literature of 19th century and has been referred to as Fourier's, Budan–Fourier, Fourier–Budan, and even Budan's theorem Budan's original formulation is used in fast modern algorithms for real-root isolation of polynomials. (Wikipedia).

Video thumbnail

Introduction to additive combinatorics lecture 10.8 --- A weak form of Freiman's theorem

In this short video I explain how the proof of Freiman's theorem for subsets of Z differs from the proof given earlier for subsets of F_p^N. The answer is not very much: the main differences are due to the fact that cyclic groups of prime order do not have lots of subgroups, so one has to

From playlist Introduction to Additive Combinatorics (Cambridge Part III course)

Video thumbnail

Topics in Combinatorics lecture 6.2 --- Variants of the Borsuk-Ulam theorem

The Borsuk-Ulam theorem states that if f is a continuous function from S^n to R^n (that is, from the n-sphere to n-dimensional Euclidean space), then there exists x such that f(x) = f(-x). It has many applications, including in combinatorics. In this video I prepare the ground for explaini

From playlist Topics in Combinatorics (Cambridge Part III course)

Video thumbnail

Introduction to additive combinatorics lecture 1.8 --- Plünnecke's theorem

In this video I present a proof of Plünnecke's theorem due to George Petridis, which also uses some arguments of Imre Ruzsa. Plünnecke's theorem is a very useful tool in additive combinatorics, which implies that if A is a set of integers such that |A+A| is at most C|A|, then for any pair

From playlist Introduction to Additive Combinatorics (Cambridge Part III course)

Video thumbnail

Decoupling in harmonic analysis and the Vinogradov mean value theorem - Bourgain

Topic: Decoupling in harmonic analysis and the Vinogradov mean value theorem Speaker: Jean Bourgain Date: Thursday, December 17 Based on a new decoupling inequality for curves in ℝd, we obtain the essentially optimal form of Vinogradov's mean value theorem in all dimensions (the case d=3

From playlist Mathematics

Video thumbnail

Paolo Antonini: The Baum-Connes conjecture localized at the unit element of a discrete group

Talk by Paolo Antonic in Global Noncommutative Geometry Seminar (Americas) http://www.math.wustl.edu/~xtang/NCG-Seminar on June 3, 2020.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

Introduction to additive combinatorics lecture 9.5 --- Freiman's theorem for subsets of F_p^N.

Freiman's theorem for subsets of F_p^N states that if A is a subset of F_p^N and |A + A| is at most C|A|, then there is a subspace X of F_p^N of size at most C'|A| that contains A, where C' depends only on C. The result is actually due to Imre Ruzsa. Here I give not Ruzsa's original proof,

From playlist Introduction to Additive Combinatorics (Cambridge Part III course)

Video thumbnail

Michele Vendruscolo - Protein function and disfunction III

PROGRAM: ICTP-ICTS WINTER SCHOOL ON QUANTITATIVE SYSTEMS BIOLOGY DATES: Monday 09 Dec, 2013 - Friday 20 Dec, 2013 VENUE: Biological Sciences auditorium, IISc Campus, Bangalore PROGRAM LINKhttp://www.icts.res.in/program/QSB2013 Biology is undergoing a revolution. Advances in experimenta

From playlist ICTP-ICTS Winter School on Quantitative Systems Biology

Video thumbnail

Rahim Moosa: Around Jouanolou-type theorems

Abstract: In the mid-90’s, generalising a theorem of Jouanolou, Hrushovski proved that if a D-variety over the constant field C has no non-constant D-rational functions to C, then it has only finitely many D-subvarieties of codimension one. This theorem has analogues in other geometric con

From playlist Combinatorics

Video thumbnail

Introduction to additive combinatorics lecture 8.7 --- Bohr sets and Bogolyubov's lemma.

Bogolyubov's lemma says that if A is a dense subset of a finite Abelian group, then the set 2A - 2A has a large structured subset. The structure in question is that of a Bohr set, which I define here. If G is the group F_p^n for some small prime p, then it follows that 2A - 2A contains a s

From playlist Introduction to Additive Combinatorics (Cambridge Part III course)

Video thumbnail

Galois theory: Discriminants

This lecture is part of an online graduate course on Galois theory. We define the discriminant of a finite field extension, ans show that it is essentially the same as the discriminant of a minimal polynomial of a generator. We then give some applications to algebraic number fields. Corr

From playlist Galois theory

Video thumbnail

Dimitri Zvonkine - On two ELSV formulas

The ELSV formula (discovered by Ekedahl, Lando, Shapiro and Vainshtein) is an equality between two numbers. The first one is a Hurwitz number that can be defined as the number of factorizations of a given permutation into transpositions. The second is the integral of a characteristic class

From playlist 4th Itzykson Colloquium - Moduli Spaces and Quantum Curves

Video thumbnail

Calculus 1 (Stewart) Ep 22, Mean Value Theorem (Oct 28, 2021)

This is a recording of a live class for Math 1171, Calculus 1, an undergraduate course for math majors (and others) at Fairfield University, Fall 2021. The textbook is Stewart. PDF of the written notes, and a list of all episodes is at the class website. Class website: http://cstaecker.f

From playlist Math 1171 (Calculus 1) Fall 2021

Video thumbnail

Equidistribution of Unipotent Random Walks on Homogeneous spaces by Emmanuel Breuillard

PROGRAM : ERGODIC THEORY AND DYNAMICAL SYSTEMS (HYBRID) ORGANIZERS : C. S. Aravinda (TIFR-CAM, Bengaluru), Anish Ghosh (TIFR, Mumbai) and Riddhi Shah (JNU, New Delhi) DATE : 05 December 2022 to 16 December 2022 VENUE : Ramanujan Lecture Hall and Online The programme will have an emphasis

From playlist Ergodic Theory and Dynamical Systems 2022

Video thumbnail

What is Green's theorem? Chris Tisdell UNSW

This lecture discusses Green's theorem in the plane. Green's theorem not only gives a relationship between double integrals and line integrals, but it also gives a relationship between "curl" and "circulation". In addition, Gauss' divergence theorem in the plane is also discussed, whic

From playlist Vector Calculus @ UNSW Sydney. Dr Chris Tisdell

Video thumbnail

Real Analysis Ep 32: The Mean Value Theorem

Episode 32 of my videos for my undergraduate Real Analysis course at Fairfield University. This is a recording of a live class. This episode is more about the mean value theorem and related ideas. Class webpage: http://cstaecker.fairfield.edu/~cstaecker/courses/2020f3371/ Chris Staecker

From playlist Math 3371 (Real analysis) Fall 2020

Video thumbnail

Pythagorean theorem - What is it?

► My Geometry course: https://www.kristakingmath.com/geometry-course Pythagorean theorem is super important in math. You will probably learn about it for the first time in Algebra, but you will literally use it in Algebra, Geometry, Trigonometry, Precalculus, Calculus, and beyond! That’s

From playlist Geometry

Video thumbnail

Wolfram Physics Project: Working Session Sept. 15, 2020 [Physicalization of Metamathematics]

This is a Wolfram Physics Project working session on metamathematics and its physicalization in the Wolfram Model. Begins at 10:15 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Check out the

From playlist Wolfram Physics Project Livestream Archive

Video thumbnail

The Stepanov Method - Avi Wigderson

Avi Wigderson Institute for Advanced Study May 25, 2010 The Stepanov method is an elementary method for proving bounds on the number of roots of polynomials. At its core is the following idea. To upper bound the number of roots of a polynomial f(x) in a field, one sets up an auxiliary pol

From playlist Mathematics

Video thumbnail

Johnathan Bush (7/8/2020): Borsuk–Ulam theorems for maps into higher-dimensional codomains

Title: Borsuk–Ulam theorems for maps into higher-dimensional codomains Abstract: I will describe Borsuk-Ulam theorems for maps of spheres into higher-dimensional codomains. Given a continuous map from a sphere to Euclidean space, we say the map is odd if it respects the standard antipodal

From playlist AATRN 2020

Related pages

Möbius transformation | Sturm's theorem | Joseph Alfred Serret | Joseph Fourier | Parity (mathematics) | Computer algebra | Theory of equations | Vincent's theorem | Continued fraction | François Budan de Boislaurent | Descartes' rule of signs | Real-root isolation