Notes on the one-loop amplituhedron and its BCFW tiling

These notes are based on talks I gave in the seminar "Mathematical structures in scattering amplitudes in quantum field theories" I organized in Weizmann Institute on Fall 24'. They study amplituhedra, and extend the proof of \cite{even2021amplituhedron} of the BCFW conjecture for tree amplituhedra to one loop.