I recall friends in the UK who had a noise problem from their upstairs neighbours who basically said “hard cheese – if you aren’t happy, move out.” So they went away for the weekend, having propped stereo speakers up against their bedroom ceiling with the Muppets theme playing on a loop for the 48 hours they were away. Not too loud but loud enough to be heard upstairs and drive the “hard cheese” people insane. “Oh dear, could you hear that?’ they said when they returned to complaints. World War 3 was about to break out but the equivalent of the strata manager stepped in ready to enforce noise complaints from either party. Problem solved.
In this case, just enough irritation to get the person upstairs to agree to putting down carpet at shared cost might work.
One other thought, I wonder if the original DA for the apartment included that the floors would be carpeted. That might be on the title documents for the unit – if so, it would be another avenue to explore.