TDCOSMO. IV. Hierarchical time-delay cosmography - joint inference of the Hubble constant and galaxy density profiles

The H0LiCOW collaboration inferred via strong gravitational lensing time delays a Hubble constant value of H[SUB]0[/SUB] = 73.3[SUB]-1.8[/SUB][SUP]+1.7[/SUP] km s[SUP]-1[/SUP] Mpc[SUP]-1[/SUP], describing deflector mass density profiles by either a power-law or stars (constant mass-to-light ratio) plus standard dark matter halos. The mass-sheet transform (MST) that leaves the lensing observables unchanged is considered the dominant source of residual uncertainty in H[SUB]0[/SUB]. We quantify any potential effect of the MST with a flexible family of mass models, which directly encodes it, and they are hence maximally degenerate with H[SUB]0[/SUB]. Our calculation is based on a new hierarchical Bayesian approach in which the MST is only constrained by stellar kinematics. The approach is validated on mock lenses, which are generated from hydrodynamic simulations. We first applied the inference to the TDCOSMO sample of seven lenses, six of which are from H0LiCOW, and measured H[SUB]0[/SUB] = 74.5[SUB]-6.1[/SUB][SUP]+5.6[/SUP] km s[SUP]-1[/SUP] Mpc[SUP]-1[/SUP]. Secondly, in order to further constrain the deflector mass density profiles, we added imaging and spectroscopy for a set of 33 strong gravitational lenses from the Sloan Lens ACS (SLACS) sample. For nine of the 33 SLAC lenses, we used resolved kinematics to constrain the stellar anisotropy. From the joint hierarchical analysis of the TDCOSMO+SLACS sample, we measured H[SUB]0[/SUB] = 67.4[SUB]-3.2[/SUB][SUP]+4.1[/SUP] km s[SUP]-1[/SUP] Mpc[SUP]-1[/SUP]. This measurement assumes that the TDCOSMO and SLACS galaxies are drawn from the same parent population. The blind H0LiCOW, TDCOSMO-only and TDCOSMO+SLACS analyses are in mutual statistical agreement. The TDCOSMO+SLACS analysis prefers marginally shallower mass profiles than H0LiCOW or TDCOSMO-only. Without relying on the form of the mass density profile used by H0LiCOW, we achieve a ∼5% measurement of H[SUB]0[/SUB]. While our new hierarchical analysis does not statistically invalidate the mass profile assumptions by H0LiCOW - and thus the H[SUB]0[/SUB] measurement relying on them - it demonstrates the importance of understanding the mass density profile of elliptical galaxies. The uncertainties on H[SUB]0[/SUB] derived in this paper can be reduced by physical or observational priors on the form of the mass profile, or by additional data. <P />The full analysis is available at <A href="https://github.com/TDCOSMO/hierarchy_analysis_2020_public">http://https://github.com/TDCOSMO/hierarchy_analysis_2020_public</A>.