Ian Payne, Department of Pure Mathematics, University of Waterloo
“Pointed Decomposition without Absorption”
Last week we saw the definition of a pointed decomposition of an instance, and saw that a proper one exists when absorption is present. This week, we’ll go through the proof that a proper pointed decomposition exists even when absorption is not present. I will also try to give a big picture explanation of where the paper is going.