Posts

Showing posts from September, 2021

POEMA learning week 2: Day 2

Image
Today was a full day. Starting with a triple whammy of POEMA ESR talks we got off to a running start. I will try my best to recall the highlights (based on my own limited understanding and memory) of the day: ESR2 Andrew  : Attacking polynomial optimization problems via the critical values route. This means computing the Jacobian of the system and then solving a determental system using a very subject specific algorithm Sparse FGLM algorithm . ESR4 Alejandro  : A verbose intro into real zero (RZ) polynomials from theory down to numerics. I had hoped to see a clearer link between RZ polynomials and the Generalized Lax Conjecture but hey-ho. ESR12 Arefeh : Leveraging both primal and dual formulations in solving SDP's. Also extensions to sparse large SDP's and preconditioners for low rank SDPs. Considering how much I rely on SDP solvers I am painfully unaware of all the intricacies of their operation. I am glad Arefeh is an expert I can refer to should the need arise. Prof. Dr. T...

POEMA learning week 2: Day 1

Image
Today we had a half day but productive one. The speaker  Benoît Legat  lead us through the jungle of code relating to polynomial optimization using Julia before jumping into examples. In particular we did a rather deep dive into  SumOfSquares.jl  a sub package of  JuMP . At first glance there is staggering amount of packages for polynomial in the relatively young language of Julia. Upon some reflection, it is clear why. Just as new cities use the ruins of their predecessors as foundation so too code is written on the failings of previous code. In the case of software the cycle of innovation and improvement is much faster. Keeping up-to-date is hard work. Navigating the jungle of old and new code is no small feat for the new and uninitiated. Fortunately we now have this lecture to guide use a bit in understanding how polynomial optimization fits into the larger Julia/Jump ecosystem. In code, and perhaps math in general it is good to have a minimal viable example ...

POEMA learning week 2: day 0

Image
To change things up I have decided to make a miniseries on the **POEMA learning week 2** in Toulouse. I do this in contradistinction to the style of the my previous posts. Hence, topics other that mathematics and coding could  be included. With that said and done, welcome to my travel blog. Day zero: 12.09.2021: The calm before the storm. After a lengthy discussion with my colleagues at CWI, it was concluded that the train is the superior form of travel to conferences and the like. Benefiting from leg room, privacy (if you get a cabin) and a smooth ride, trains are the clear choice. In light of this I bought flight tickets because that was the only available option. If like me, you, the reader, made the same mistake and found yourself in a metal cylinder 10 km in the air heading to Toulouse you may also have had the bad judgment choose to take the T1 tram into town after landing. If you did, don't despair. Make it to the terminal station Palais de Justice  and you would be tre...