TPS63001 to power arduino

No, you don't need a linear regulator afterwards. The ripple produced by that regulator is 10mV or less according to the datasheet. If you are using the ADC then you might want to feed the Aref pin via an L-C filter, otherwise the ripply may cause a small amount of fluctuation in the ADC reading.