With an Apple TV 4k you can set up the big HomePod to home theatre using the default audio setting. You cannot set the minis to stay as the default audio at this time. See: Set up home theater audio with HomePod and Apple TV 4K - Apple Support (CA)
However you can still use all of them to AirPlay to:
You can send audio from Apple TV to one or more AirPlay 2–enabled devices (such as HomePod and other smart speakers and TVs) connected to the same network in your home. You can also send audio from AirPlay 2 speakers like HomePod to Apple TV.
Before you start, make sure you’ve set up your devices in the Home app on an iOS, iPadOS, or macOS (Catalina or later) device. For more information, see the iPhone User Guide.
- Do either of the following:
- Press and hold the TV
button on the Siri Remote to open Control Center, then select the Audio Controls button
. - If you see the Audio Controls button
in an app, select it.
- A list of available audio devices appears, organized by room (as assigned in the Home app on your iOS, iPadOS, or macOS device).
