Given a known reference state σ∈Cd×d and copies of an unknown state ρ, distinguish ρ=σ from ∥ρ−σ∥tr>ε. Determine sample complexity bounds depending on the particular σ when joint, entangled measurements are allowed, analogous to instance-optimal results for incoherent measurements.