Constraining the $z \sim 1$ IMF with {\it HST} and {\it JWST} lensed stars in MACS J0416.1-2403

The understanding of galaxy properties and evolution is contingent on knowing the initial mass function (IMF), and yet to date, the IMF is constrained only to local galaxies. Individual stars are now becoming routinely detected at cosmological distances, where luminous stars such as supergiants in background galaxies critically lensed by galaxy clusters are temporarily further magnified by huge factors up to $10^{4}$ by intra-cluster stars, thus being detected as transients. The detection rate of these events depends on the abundance of luminous stars in the background galaxy and is thus sensitive to the IMF and the star formation history (SFH), especially for the blue supergiants detected as transients in the rest-frame UV/optical filters. As a proof of concept, we use simple SFH and IMF models constrained by spectral energy distribution (SED) to see how well we can predict the {\it HST} and {\it JWST} transient detection rate in a lensed arc dubbed ``Spock'' ($z = 1.0054$). We find that demanding a simultaneously fit of SED and rest-frame UV/optical transient detection rate places constraints on the IMF, independent of the assumed simple SFH model. We conclude our Bayesian likelihood analysis indicates that the data definitively prefer the ``Spock'' galaxy to have a Salpeter IMF ($\alpha = 2.35$) rather than a Top-heavy IMF ($\alpha = 1$) -- what is thought to be the case in the early universe -- given our methodology and assumptions with no clear excess of supergiants above the standard IMF.