Focaliser sur:
Tous les jours
9 oct. 2023
10 oct. 2023
11 oct. 2023
12 oct. 2023
13 oct. 2023
14 oct. 2023
15 oct. 2023
16 oct. 2023
17 oct. 2023
18 oct. 2023
19 oct. 2023
20 oct. 2023
21 oct. 2023
22 oct. 2023
23 oct. 2023
24 oct. 2023
Indico style
Indico style - inline minutes
Indico style - numbered
Indico style - numbered + minutes
Indico Weeks View
Retour à l'affichage de la conférence
Choisissez le fuseau horaire
Utiliser le fuseau horaire de l'événement/catégorie
Veuillez spécifier un fuseau horaire
Africa/Abidjan
Africa/Accra
Africa/Addis_Ababa
Africa/Algiers
Africa/Asmara
Africa/Bamako
Africa/Bangui
Africa/Banjul
Africa/Bissau
Africa/Blantyre
Africa/Brazzaville
Africa/Bujumbura
Africa/Cairo
Africa/Casablanca
Africa/Ceuta
Africa/Conakry
Africa/Dakar
Africa/Dar_es_Salaam
Africa/Djibouti
Africa/Douala
Africa/El_Aaiun
Africa/Freetown
Africa/Gaborone
Africa/Harare
Africa/Johannesburg
Africa/Juba
Africa/Kampala
Africa/Khartoum
Africa/Kigali
Africa/Kinshasa
Africa/Lagos
Africa/Libreville
Africa/Lome
Africa/Luanda
Africa/Lubumbashi
Africa/Lusaka
Africa/Malabo
Africa/Maputo
Africa/Maseru
Africa/Mbabane
Africa/Mogadishu
Africa/Monrovia
Africa/Nairobi
Africa/Ndjamena
Africa/Niamey
Africa/Nouakchott
Africa/Ouagadougou
Africa/Porto-Novo
Africa/Sao_Tome
Africa/Tripoli
Africa/Tunis
Africa/Windhoek
America/Adak
America/Anchorage
America/Anguilla
America/Antigua
America/Araguaina
America/Argentina/Buenos_Aires
America/Argentina/Catamarca
America/Argentina/Cordoba
America/Argentina/Jujuy
America/Argentina/La_Rioja
America/Argentina/Mendoza
America/Argentina/Rio_Gallegos
America/Argentina/Salta
America/Argentina/San_Juan
America/Argentina/San_Luis
America/Argentina/Tucuman
America/Argentina/Ushuaia
America/Aruba
America/Asuncion
America/Atikokan
America/Bahia
America/Bahia_Banderas
America/Barbados
America/Belem
America/Belize
America/Blanc-Sablon
America/Boa_Vista
America/Bogota
America/Boise
America/Cambridge_Bay
America/Campo_Grande
America/Cancun
America/Caracas
America/Cayenne
America/Cayman
America/Chicago
America/Chihuahua
America/Ciudad_Juarez
America/Costa_Rica
America/Creston
America/Cuiaba
America/Curacao
America/Danmarkshavn
America/Dawson
America/Dawson_Creek
America/Denver
America/Detroit
America/Dominica
America/Edmonton
America/Eirunepe
America/El_Salvador
America/Fort_Nelson
America/Fortaleza
America/Glace_Bay
America/Goose_Bay
America/Grand_Turk
America/Grenada
America/Guadeloupe
America/Guatemala
America/Guayaquil
America/Guyana
America/Halifax
America/Havana
America/Hermosillo
America/Indiana/Indianapolis
America/Indiana/Knox
America/Indiana/Marengo
America/Indiana/Petersburg
America/Indiana/Tell_City
America/Indiana/Vevay
America/Indiana/Vincennes
America/Indiana/Winamac
America/Inuvik
America/Iqaluit
America/Jamaica
America/Juneau
America/Kentucky/Louisville
America/Kentucky/Monticello
America/Kralendijk
America/La_Paz
America/Lima
America/Los_Angeles
America/Lower_Princes
America/Maceio
America/Managua
America/Manaus
America/Marigot
America/Martinique
America/Matamoros
America/Mazatlan
America/Menominee
America/Merida
America/Metlakatla
America/Mexico_City
America/Miquelon
America/Moncton
America/Monterrey
America/Montevideo
America/Montserrat
America/Nassau
America/New_York
America/Nome
America/Noronha
America/North_Dakota/Beulah
America/North_Dakota/Center
America/North_Dakota/New_Salem
America/Nuuk
America/Ojinaga
America/Panama
America/Paramaribo
America/Phoenix
America/Port-au-Prince
America/Port_of_Spain
America/Porto_Velho
America/Puerto_Rico
America/Punta_Arenas
America/Rankin_Inlet
America/Recife
America/Regina
America/Resolute
America/Rio_Branco
America/Santarem
America/Santiago
America/Santo_Domingo
America/Sao_Paulo
America/Scoresbysund
America/Sitka
America/St_Barthelemy
America/St_Johns
America/St_Kitts
America/St_Lucia
America/St_Thomas
America/St_Vincent
America/Swift_Current
America/Tegucigalpa
America/Thule
America/Tijuana
America/Toronto
America/Tortola
America/Vancouver
America/Whitehorse
America/Winnipeg
America/Yakutat
Antarctica/Casey
Antarctica/Davis
Antarctica/DumontDUrville
Antarctica/Macquarie
Antarctica/Mawson
Antarctica/McMurdo
Antarctica/Palmer
Antarctica/Rothera
Antarctica/Syowa
Antarctica/Troll
Antarctica/Vostok
Arctic/Longyearbyen
Asia/Aden
Asia/Almaty
Asia/Amman
Asia/Anadyr
Asia/Aqtau
Asia/Aqtobe
Asia/Ashgabat
Asia/Atyrau
Asia/Baghdad
Asia/Bahrain
Asia/Baku
Asia/Bangkok
Asia/Barnaul
Asia/Beirut
Asia/Bishkek
Asia/Brunei
Asia/Chita
Asia/Choibalsan
Asia/Colombo
Asia/Damascus
Asia/Dhaka
Asia/Dili
Asia/Dubai
Asia/Dushanbe
Asia/Famagusta
Asia/Gaza
Asia/Hebron
Asia/Ho_Chi_Minh
Asia/Hong_Kong
Asia/Hovd
Asia/Irkutsk
Asia/Jakarta
Asia/Jayapura
Asia/Jerusalem
Asia/Kabul
Asia/Kamchatka
Asia/Karachi
Asia/Kathmandu
Asia/Khandyga
Asia/Kolkata
Asia/Krasnoyarsk
Asia/Kuala_Lumpur
Asia/Kuching
Asia/Kuwait
Asia/Macau
Asia/Magadan
Asia/Makassar
Asia/Manila
Asia/Muscat
Asia/Nicosia
Asia/Novokuznetsk
Asia/Novosibirsk
Asia/Omsk
Asia/Oral
Asia/Phnom_Penh
Asia/Pontianak
Asia/Pyongyang
Asia/Qatar
Asia/Qostanay
Asia/Qyzylorda
Asia/Riyadh
Asia/Sakhalin
Asia/Samarkand
Asia/Seoul
Asia/Shanghai
Asia/Singapore
Asia/Srednekolymsk
Asia/Taipei
Asia/Tashkent
Asia/Tbilisi
Asia/Tehran
Asia/Thimphu
Asia/Tokyo
Asia/Tomsk
Asia/Ulaanbaatar
Asia/Urumqi
Asia/Ust-Nera
Asia/Vientiane
Asia/Vladivostok
Asia/Yakutsk
Asia/Yangon
Asia/Yekaterinburg
Asia/Yerevan
Atlantic/Azores
Atlantic/Bermuda
Atlantic/Canary
Atlantic/Cape_Verde
Atlantic/Faroe
Atlantic/Madeira
Atlantic/Reykjavik
Atlantic/South_Georgia
Atlantic/St_Helena
Atlantic/Stanley
Australia/Adelaide
Australia/Brisbane
Australia/Broken_Hill
Australia/Darwin
Australia/Eucla
Australia/Hobart
Australia/Lindeman
Australia/Lord_Howe
Australia/Melbourne
Australia/Perth
Australia/Sydney
Canada/Atlantic
Canada/Central
Canada/Eastern
Canada/Mountain
Canada/Newfoundland
Canada/Pacific
Europe/Amsterdam
Europe/Andorra
Europe/Astrakhan
Europe/Athens
Europe/Belgrade
Europe/Berlin
Europe/Bratislava
Europe/Brussels
Europe/Bucharest
Europe/Budapest
Europe/Busingen
Europe/Chisinau
Europe/Copenhagen
Europe/Dublin
Europe/Gibraltar
Europe/Guernsey
Europe/Helsinki
Europe/Isle_of_Man
Europe/Istanbul
Europe/Jersey
Europe/Kaliningrad
Europe/Kirov
Europe/Kyiv
Europe/Lisbon
Europe/Ljubljana
Europe/London
Europe/Luxembourg
Europe/Madrid
Europe/Malta
Europe/Mariehamn
Europe/Minsk
Europe/Monaco
Europe/Moscow
Europe/Oslo
Europe/Paris
Europe/Podgorica
Europe/Prague
Europe/Riga
Europe/Rome
Europe/Samara
Europe/San_Marino
Europe/Sarajevo
Europe/Saratov
Europe/Simferopol
Europe/Skopje
Europe/Sofia
Europe/Stockholm
Europe/Tallinn
Europe/Tirane
Europe/Ulyanovsk
Europe/Vaduz
Europe/Vatican
Europe/Vienna
Europe/Vilnius
Europe/Volgograd
Europe/Warsaw
Europe/Zagreb
Europe/Zurich
GMT
Indian/Antananarivo
Indian/Chagos
Indian/Christmas
Indian/Cocos
Indian/Comoro
Indian/Kerguelen
Indian/Mahe
Indian/Maldives
Indian/Mauritius
Indian/Mayotte
Indian/Reunion
Pacific/Apia
Pacific/Auckland
Pacific/Bougainville
Pacific/Chatham
Pacific/Chuuk
Pacific/Easter
Pacific/Efate
Pacific/Fakaofo
Pacific/Fiji
Pacific/Funafuti
Pacific/Galapagos
Pacific/Gambier
Pacific/Guadalcanal
Pacific/Guam
Pacific/Honolulu
Pacific/Kanton
Pacific/Kiritimati
Pacific/Kosrae
Pacific/Kwajalein
Pacific/Majuro
Pacific/Marquesas
Pacific/Midway
Pacific/Nauru
Pacific/Niue
Pacific/Norfolk
Pacific/Noumea
Pacific/Pago_Pago
Pacific/Palau
Pacific/Pitcairn
Pacific/Pohnpei
Pacific/Port_Moresby
Pacific/Rarotonga
Pacific/Saipan
Pacific/Tahiti
Pacific/Tarawa
Pacific/Tongatapu
Pacific/Wake
Pacific/Wallis
US/Alaska
US/Arizona
US/Central
US/Eastern
US/Hawaii
US/Mountain
US/Pacific
UTC
Sauver
Europe/Paris
Français
Deutsch (Deutschland)
English (United Kingdom)
English (United States)
Español (España)
Français (France)
Italiano (Italia)
Polski (Polska)
Português (Brasil)
Türkçe (Türkiye)
Čeština (Česko)
Монгол (Монгол)
Українська (Україна)
中文 (中国)
S'authentifier
Geometry of Polynomial System Solving, Optimization and Topology
de
lundi 9 octobre 2023 (09:00)
à
mardi 24 octobre 2023 (18:00)
lundi 9 octobre 2023
10:00
Moment Method in Optimization by D. Henrion. 10:00-12:00. Amphitheater Darboux, IHP
Moment Method in Optimization by D. Henrion. 10:00-12:00. Amphitheater Darboux, IHP
10:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
mardi 10 octobre 2023
10:00
Moment Method in Optimization by D. Henrion. 10:00-12:00. Amphitheater Darboux, IHP
Moment Method in Optimization by D. Henrion. 10:00-12:00. Amphitheater Darboux, IHP
10:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
14:00
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 14:00-17:30. Amphitheater Darboux, IHP
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 14:00-17:30. Amphitheater Darboux, IHP
14:00 - 17:30
Room: Amphithéâtre Hermite / Darboux
mercredi 11 octobre 2023
10:00
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 10:00-12:00. Amphitheater Darboux, IHP
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 10:00-12:00. Amphitheater Darboux, IHP
10:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
16:00
General audience presentation "The quadratic equation revisited" by B. Sturmfels. 16:00-18:00. Amphitheater Darboux, IHP
General audience presentation "The quadratic equation revisited" by B. Sturmfels. 16:00-18:00. Amphitheater Darboux, IHP
16:00 - 18:00
Room: Amphithéâtre Hermite / Darboux
Abstract High school students learn how to express the solution of a quadratic equation in one unknown in terms of its three coefficients. What does this this formula matter? We offer an answer in terms of discriminants and data. This lecture invites the audience to a journey towards non-linear algebra.
jeudi 12 octobre 2023
10:00
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 10:00-12:00. Amphitheater Darboux, IHP
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 10:00-12:00. Amphitheater Darboux, IHP
10:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
14:00
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 14:00-17:00. Amphitheater Darboux, IHP
Polynomials Systems and Real Geometry by I. Emiris and D. Plaumann. 14:00-17:00. Amphitheater Darboux, IHP
14:00 - 17:00
Room: Amphithéâtre Hermite / Darboux
vendredi 13 octobre 2023
samedi 14 octobre 2023
dimanche 15 octobre 2023
lundi 16 octobre 2023
08:45
Welcome coffee
Welcome coffee
08:45 - 09:15
Room: Amphithéâtre Hermite / Darboux
09:15
Opening
Opening
09:15 - 09:30
Room: Amphithéâtre Hermite / Darboux
09:30
Dimension results for sparse systems homogenized via rational polytopes by Pierre-Jean Spaenlehauer
Dimension results for sparse systems homogenized via rational polytopes by Pierre-Jean Spaenlehauer
09:30 - 10:30
Room: Amphithéâtre Hermite / Darboux
Abstract. A classical method to compute with sparse polynomials is to homogenize them with respect to Newton polytopes, regarding them as homogeneous elements of Cartier degrees in the Cox ring of a projective toric variety. In this talk, we investigate subvarieties defined by generic polynomial systems in the Cox ring when the degrees are non-necessarily Cartier, with a view towards identifying alternative toric homogenizations that are suitable for practical computations. Joint work with Matías Bender.
10:30
Coffee break
Coffee break
10:30 - 11:00
Room: Amphithéâtre Hermite / Darboux
11:00
Chordal Graphs in Triangular Decomposition in Top-Down Style by Chenqi Mou
Chordal Graphs in Triangular Decomposition in Top-Down Style by Chenqi Mou
11:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
Abstract. In this talk, I will present the connections between chordal graphs from graph theory and triangular decomposition in top-down style from symbolic computation, including the underlying theories, algorithms, and applications in biology. Viewing triangular decomposition in top-down style as polynomial generalization of Gaussian elimination, we show that all the polynomial sets, including all the computed triangular sets, appearing in several typical top-down algorithms for triangular decomposition have associated graphs which are subgraphs of the chordal graph of the input polynomial set. These theoretical results can be interpreted as “triangular decomposition in top-down style preserves chordality” and are further used to design sparse triangular decomposition for polynomial sets which are sparse with respect to their variables. Sparse triangular decomposition is shown to be more efficient than ordinary one experimentally, and its application on computing equilibria of biological dynamic systems will also be reported. This talk is based on the joint work with Yang Bai, Jiahua Lai, and Wenwen Ju.
12:00
Lunch break
Lunch break
12:00 - 14:30
Room: Amphithéâtre Hermite / Darboux
14:30
Modular algorithms for computing triangular decompositions of polynomial systems by Marc Moreno Maza
Modular algorithms for computing triangular decompositions of polynomial systems by Marc Moreno Maza
14:30 - 15:30
Room: Amphithéâtre Hermite / Darboux
Abstract. https://rtca2023.github.io/pages_Paris/files_m5/abstract_moreno-maza.pdf
15:30
Coffee break
Coffee break
15:30 - 16:00
Room: Amphithéâtre Hermite / Darboux
mardi 17 octobre 2023
09:30
Polynomial systems arising in the formal verification of programs by Fatemeh Mohammadi
Polynomial systems arising in the formal verification of programs by Fatemeh Mohammadi
09:30 - 10:30
Room: Amphithéâtre Hermite / Darboux
Abstract. Multiple classical problems in the formal verification of programs such as reachability, termination, and template-based synthesis can be reduced to solving polynomial systems of equations. In this talk, I will describe the primary objects and these connections. In particular, I will show how the algebraic and geometric techniques can be applied, enhancing the scalability and completeness for such problems.
10:30
Coffee break
Coffee break
10:30 - 11:00
Room: Amphithéâtre Hermite / Darboux
11:00
Positive solutions to polynomial systems and applications to reaction networks by Elisenda Feliu
Positive solutions to polynomial systems and applications to reaction networks by Elisenda Feliu
11:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
Abstract. The main object of study in the (algebraic) theory of reaction networks is the solution se of a system of parametric polynomial equations in the positive orthant. This system consists of polynomials with fixed support, the coefficients are linear in the parameters, but there might be some (proportionality) dependencies among the coefficients. The questions of interest concern properties of this system, and of its intersection with a family of parallel linear subspaces of complementary dimension. In this case, of relevance is to determine the possible number of zeros the system has when the parameters vary. In this talk I will introduce the framework and the families of polynomial systems under study in full generality, and having the reaction networks as the main application. I will proceed to discuss recent results addressing the expected dimension of the solution sets and on how to decide whether the solution set admits a toric parametrization for all parameter values. The latter is relevant for the problem of counting solutions, and this connection will also be explained in the talk.
12:00
Group Photo
Group Photo
12:00 - 12:15
Room: Amphithéâtre Hermite / Darboux
12:15
Lunch break
Lunch break
12:15 - 14:30
Room: Amphithéâtre Hermite / Darboux
14:30
Polynomial Systems Arising in Paradoxical 6R Linkages by Zijia Li
Polynomial Systems Arising in Paradoxical 6R Linkages by Zijia Li
14:30 - 15:30
Room: Amphithéâtre Hermite / Darboux
Abstract. In this talk, we first provide a comprehensive definition of closed n-linkages and explain their mobility, typically denoted as n-6. We then focus on the intriguing subset of closed n-linkages with a mobility higher than n-6, known as paradoxical linkages. Based on the powerful tools of Bond Theory and the freezing technique, we present a thorough classification of n-linkages with a mobility of n-4 or higher, incorporating revolute, prismatic, or helical joints. Additionally, we explicitly derive strong necessary conditions for nR-linkages with a mobility of n-5. Utilizing these necessary conditions, we explore and discuss possible polynomial systems that arise in paradoxical 6R linkages.
15:30
Coffee break
Coffee break
15:30 - 16:00
Room: Amphithéâtre Hermite / Darboux
mercredi 18 octobre 2023
09:30
Some advances in numerical algebraic geometry for computing real solutions by Jon Hauenstein
Some advances in numerical algebraic geometry for computing real solutions by Jon Hauenstein
09:30 - 10:30
Room: Amphithéâtre Hermite / Darboux
Abstract. Numerical algebraic geometry provides a collection of algorithms for computing and analyzing solution sets of polynomial systems. This talk will discuss new techniques that have been developed in numerical algebraic geometry for focusing on real solution sets of polynomial systems. Several applications of these techniques will be presented such as computing smooth points on algebraic sets, approximate synthesis of mechanisms, and path planning for output mode switching.
10:30
Coffee break
Coffee break
10:30 - 11:00
Room: Amphithéâtre Hermite / Darboux
11:00
u-generation: solving systems of polynomials equation-by-equation by Anton Leykin
u-generation: solving systems of polynomials equation-by-equation by Anton Leykin
11:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
Abstract. We develop a new method that improves the efficiency of equation-by-equation homotopy continuation methods for solving polynomial systems. Our method is based on a novel geometric construction and reduces the total number of homotopy paths that must be numerically continued. These improvements may be applied to the basic algorithms of numerical algebraic geometry in the settings of both projective and multiprojective varieties. (This is joint work with T. Duff and J. I. Rodriguez.)
12:00
Free afternoon
Free afternoon
12:00 - 18:30
Room: Amphithéâtre Hermite / Darboux
18:30
Cocktail
Cocktail
18:30 - 21:00
Room: Amphithéâtre Hermite / Darboux
jeudi 19 octobre 2023
09:30
Sums of squares approximations in polynomial optimization: performance analysis and degree bounds by Monique Laurent
Sums of squares approximations in polynomial optimization: performance analysis and degree bounds by Monique Laurent
09:30 - 10:30
Room: Amphithéâtre Hermite / Darboux
Abstract. Polynomial optimization deals with optimizing a polynomial function over a feasible region defined by polynomial inequalities, thus modeling a broad range of hard nonlinear nonconvex optimization problems. Hierarchies of tractable semidefinite relaxations have been introduced that are based on using sums of squares of polynomials as a ``proxy” for global nonnegativity. These hierarchies give bounds on the global minimum of the original problem with asymptotic convergence (under a minor compactness assumption). In this lecture we discuss recent results on the performance analysis of these hierarchies and related effective degree bounds for dedicated sums of squares representations of positive polynomials on some classes of compact semi-algebraic sets (including the hypercube, the sphere or the ball).
10:30
Coffee break
Coffee break
10:30 - 11:00
Room: Amphithéâtre Hermite / Darboux
11:00
Solving by duality by Bernard Mourrain
Solving by duality by Bernard Mourrain
11:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
Abstract. Finding the common roots of a set of polynomial equations is a problem that appears in many contexts and applications. Standard approaches for solving this difficult question, such as Grobner bases, border basis, triangular sets, etc. are based on polynomial reductions but their instability against numerical approximations can be critical. In this talk, we will describe a dual approach which focuses on linear functionals vanishing at the roots. We will review the properties of Truncated Normal Forms, the connexion with classical computer algebra approaches and resultants. We will also detail the dual approach in the context of optimisation problems and for analysing isolated singularities. Examples from geometric modeling, robotics and tensor decomposition will illustrate the numerical behavior of these dual methods.
12:00
Lunch break
Lunch break
12:00 - 14:30
Room: Amphithéâtre Hermite / Darboux
14:30
Non-negativity and rational sums of squares over zero-dimensional varieties by Teresa Krick
Non-negativity and rational sums of squares over zero-dimensional varieties by Teresa Krick
14:30 - 15:30
Room: Amphithéâtre Hermite / Darboux
Abstract. In this work in progress with Lorenzo Baldi and Bernard Mourrain, we extend previous results on univariate rational sums of squares, obtained with Bernard and Agnes Szanto, to the case of a non-negative rational polynomial on a basic zero-dimensional semi-algebraic set defined by rational polynomials.
15:30
Coffee break
Coffee break
15:30 - 16:00
Room: Amphithéâtre Hermite / Darboux
16:00
Conormal Spaces and Whitney Stratifications by Martin Helmer
Conormal Spaces and Whitney Stratifications by Martin Helmer
16:00 - 17:00
Room: Amphithéâtre Hermite / Darboux
Abstract. We describe a new algorithm for computing Whitney stratifications of complex projective varieties. The main ingredients are (a) an algebraic criterion, due to Lê and Teissier, which reformulates Whitney regularity in terms of conormal spaces and maps, and (b) a new interpretation of this conormal criterion via ideal saturations, which can be practically implemented on a computer. We show that this algorithm improves upon the existing state of the art by several orders of magnitude, even for relatively small input varieties. This is joint work with Vidit Nanda (Oxford).
vendredi 20 octobre 2023
09:30
The geometry of the Vandermonde map at infinity by Cordian Riener
The geometry of the Vandermonde map at infinity by Cordian Riener
09:30 - 10:30
Room: Amphithéâtre Hermite / Darboux
Abstract. The Vandermonde map is the polynomial map given by the power-sum polynomials. We study the geometry of the image of the nonnegative orthant under under this map and focus on the limit as the number of variables approaches infinity. We will show, the geometry of this limit is the key to new undecidability results in nonnegativity of symmetric polynomials and deciding validity of trace inequalities in linear algebra.
10:30
Coffee break
Coffee break
10:30 - 11:00
Room: Amphithéâtre Hermite / Darboux
11:00
Recent advances in Gröbner basis algorithms and geometric applications by Christian Eder
Recent advances in Gröbner basis algorithms and geometric applications by Christian Eder
11:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
Abstract. The tasks of designing innovative mathematical software and of solving complex research problems using computational methods are strongly mutually dependent. Developing a new generation of algorithms to considerably push the computational boundaries of nonlinear algebra, notably addressing polynomial system solving, is thus envitable. One important task of this process is to no longer use Gröbner bases only as a black box in higher level algorthms, but to optimize their computation with the geometric context in mind. In this talk, we will illustrate this idea by presenting a new algorithm for computing Gröbner bases of saturated polynomial ideals. Moreover, we introduce msolve, an open source software package build to provide this new generation of efficient and optimized algorithms for the community. The contents of this talk are based on joint work with Jérémy Berthomieu and Mohab Safey El Din.
samedi 21 octobre 2023
dimanche 22 octobre 2023
lundi 23 octobre 2023
mardi 24 octobre 2023
09:30
Topical day: Mechanism Design and Computer Algebra. Galois Theory for Planar Mechanisms by Josef Schicho. 9:30-10h30. Amphitheater Darboux
Topical day: Mechanism Design and Computer Algebra. Galois Theory for Planar Mechanisms by Josef Schicho. 9:30-10h30. Amphitheater Darboux
09:30 - 10:30
Room: Amphithéâtre Hermite / Darboux
Let G be a graph with n vertices and e edges. The computation of the position of n points in the plane such that for any two vertices in the graph connected by an edge, the distance between the two corresponding points is given, is equivalent to the inverse kinematic problem for a (highly parallel) planar mechanism with revolute joints. If the graph is a Laman graph, then the solution set is generically a finite set of orbits under the group of Euclidean displacements, and can be assigned a Galois group (which is associated to the field extension needed to express the solutions exactly). We explain some geometric ideas for analyzing the Galois group. Using these ideas, we determine the number of components of the solution set for graphs that have the property that the above position problem is generically solvable.
11:00
Mechanisms from Motions – Rational and Algebraic by H.-P. Schröcker. 11:00-12:00
Mechanisms from Motions – Rational and Algebraic by H.-P. Schröcker. 11:00-12:00
11:00 - 12:00
Room: Amphithéâtre Hermite / Darboux
The factorization of rational motions has been introduced about a decade ago. On a kinematics level it corresponds to the decomposition of a rational motion into elementary motions (rotations, translations, ...) The mathematics behind is the factorization of special polynomials over non-commutative rings into linear factors. This talk gives an overview about the past decade of motion factorization and explains many of the underlying constructions of mechanisms at hand of animations. It will also feature a new geometric factorization algorithm that highlights the importance of “kinematics at infinity” and gives rise to an extension of the factorization theory from rational to algebraic motions.
14:00
Inverse kinematics with computer algebra and the Lasserre hierarchy by Didier Henrion. 14:00-15:00
Inverse kinematics with computer algebra and the Lasserre hierarchy by Didier Henrion. 14:00-15:00
14:00 - 15:00
Room: Amphithéâtre Hermite / Darboux
The Inverse Kinematics (IK) problem consists of finding robot control parameters to bring it into a desired position under kinematics and collision constraints. We describe a global solution to the optimal IK problem for a general serial manipulator with 7 degrees of freedom (7DOF) with revolute joints. Classical modeling yields a polynomial optimization problem with constraints of degree four. A direct application of the moment-SOS (sums of squares) aka Lasserre hierarchy generates semidefinite optimization problems which are too large for state-of-the-art numerical solvers. Using computer algebra (Groebner basis computations), we show that the kinematic constraints due to rotations can all be generated by degree two polynomials. On this reduced problem, we demonstrate that the second relaxation of the Lasserre hierarchy is sufficient to solve the 7DOF IK problem on a KUKA LBR IIWA manipulator and we show that we are able to compute the optimal IK or certify infeasibility in 99% of the tested poses. This is joint work with Pavel Trutman (Prague), Tomas Pajdla (Prague) and Mohab Safey El Din (Paris).
15:00
Cloth State Representation Using a Derivative of the Gauss Linking Integral by Maria Alberich-Carraminana. 15:00-16:00
Cloth State Representation Using a Derivative of the Gauss Linking Integral by Maria Alberich-Carraminana. 15:00-16:00
15:00 - 16:00
Room: Amphithéâtre Hermite / Darboux
Robotic manipulation of cloth presents a complex challenge due to the infinite-dimensional shape-state space of textiles. This complexity makes accurate state estimation a daunting task. To address this issue, we introduce the concept of dGLI Cloth Coordinates—a finite, low-dimensional representation of cloth states. This novel approach enables us to effectively distinguish among a wide range of folded states, paving the way for efficient learning methods in cloth manipulation planning and control.
