In an economy with both inter- and intra-region inequality and inconsistency between the objectives of local and central governments, this paper studies optimal non-linear federal (central) income tax under non-linear regional income taxes. Starting with a benchmark model without labor mobility,...