BUT you need to feed that power to the Arduino via the USB port and that cable makes the system a bit bulky. In principle you could feed the 5V output of the PowerBoost to the 5V pin on the Arduino ..

There are multiple libraries out there that can be used to control IR LEDs from Arduino: Sometimes ... These often do not have a separate power supply, and are powered through the cable. Conceptually ...