Showing 1–50 of 189 results for author: Summers, J

Galaxy Mergers in the Epoch of Reionization I: A JWST Study of Pair Fractions, Merger Rates, and Stellar Mass Accretion Rates at $z = 4.5-11.5$

Authors: Qiao Duan, Christopher J. Conselice, Qiong Li, Duncan Austin, Thomas Harvey, Nathan J. Adams, Kenneth J. Duncan, James Trussler, Leonardo Ferreira, Lewi Westcott, Honor Harris, Rogier A. Windhorst, Benne W. Holwerda, Thomas J. Broadhurst, Dan Coe, Seth H. Cohen, Simon P. Driver, Brenda Frye, Norman A. Grogin, Nimish P. Hathi, Rolf A. Jansen, Anton M. Koekemoer, Madeline A. Marshall, Mario Nonino, Rafael Ortiz III , et al. (7 additional authors not shown)

Abstract: We present a full analysis of galaxy major merger pair fractions, merger rates, and mass accretion rates, thus uncovering the role of mergers in galaxy formation at the earliest previously unexplored epoch of $4.5<z<11.5$. We target galaxies with masses $\log_{10}(\mathrm{M}_*/\mathrm{M}_\odot) = 8.0 - 10.0$, utilizing data from eight JWST Cycle-1 fields (CEERS, JADES GOODS-S, NEP-TDF, NGDEEP, GLA… ▽ More We present a full analysis of galaxy major merger pair fractions, merger rates, and mass accretion rates, thus uncovering the role of mergers in galaxy formation at the earliest previously unexplored epoch of $4.5<z<11.5$. We target galaxies with masses $\log_{10}(\mathrm{M}_*/\mathrm{M}_\odot) = 8.0 - 10.0$, utilizing data from eight JWST Cycle-1 fields (CEERS, JADES GOODS-S, NEP-TDF, NGDEEP, GLASS, El-Gordo, SMACS-0723, MACS-0416), covering an unmasked area of 189.36 $\mathrm{arcmin}^2$. We develop a new probabilistic pair-counting methodology that integrates full photometric redshift posteriors and corrects for detection incompleteness to quantify close pairs with physical projected separations between 20 and 50 kpc. Our analysis reveals an increase in pair fractions up to $z = 8$, reaching $0.211 \pm 0.065$, followed by a statistically flat evolution to $z = 11.5$. We find that the galaxy merger rate increases from the local Universe up to $z = 6$ and then stabilizes at a value of $\sim 6$ Gyr$^{-1}$ up to $z = 11.5$. We fit both a power-law and a power-law + exponential model to our pair fraction and merger rate redshift evolution, finding that the latter model describes the trends more accurately, particularly at $z = 8.0 - 11.5$. In addition, we measure that the average galaxy increases its stellar mass due to mergers by a factor of $2.77 \pm 0.99$ from redshift $z = 10.5$ to $z = 5.0$. Lastly, we investigate the impact of mergers on galaxy stellar mass growth, revealing that mergers contribute $71 \pm 25\%$ as much to galaxy stellar mass increases as star formation from gas. This indicates that mergers drive about half of galaxy assembly at high redshift. △ Less

Submitted 12 July, 2024; originally announced July 2024.

Comments: 30 Pages, 15 Figures, Submitted to MNRAS

JWST view of three infant galaxies at z=8.3 and implications for reionization

Authors: Zhiyuan Ma, Bangzheng Sun, Cheng Cheng, Haojing Yan, Fengwu Sun, Nicholas Foo, Eiichi Egami, Jose M. Diego, Seth H. Cohen, Rolf A. Jansen, Jake Summers, Rogier A. Windhorst, Jordan C. J. D'Silva, Anton M. Koekemoer, Dan Coe, Christopher J. Conselice, Simon P. Driver, Brenda Frye, Norman A. Grogin, Madeline A. Marshall, Mario Nonino, Rafael Ortiz III, Nor Pirzkal, Aaron Robotham, Russell E. Ryan, Jr. , et al. (12 additional authors not shown)

Abstract: New JWST/NIRCam wide-field slitless spectroscopy provides redshifts for two z > 8 galaxies located behind the lensing cluster MACS J0416.1-2403. Both galaxies are strong [O iii]λ5007 emitters. For one galaxy, "Y1", the existing redshift z = 8.31, based on ALMA measurements of [O iii] 88 μm and [C ii] 157.7 μm lines, is confirmed. JWST/NIRCam images resolve this galaxy into three components of simi… ▽ More New JWST/NIRCam wide-field slitless spectroscopy provides redshifts for two z > 8 galaxies located behind the lensing cluster MACS J0416.1-2403. Both galaxies are strong [O iii]λ5007 emitters. For one galaxy, "Y1", the existing redshift z = 8.31, based on ALMA measurements of [O iii] 88 μm and [C ii] 157.7 μm lines, is confirmed. JWST/NIRCam images resolve this galaxy into three components of similar colors, and the whole system extends over ~3.4 kpc. The other galaxy, "JD", is at z = 8.34 instead of the previously claimed z = 9.28. It has a companion, "JD-N", at the same redshift with projected separation ~2.3 kpc. All objects are only moderately magnified and have intrinsic MUV ranging from -19.66 to -20.85 mag. Their eight-band NIRCam spectral energy distributions show that the galaxies are all very young with ages $\lesssim$11 Myr and stellar masses about 108 $M_{\odot}$. These infant galaxies are actively forming stars at rates of a few tens to a couple of hundred $M_{\odot} yr^{-1}$, but only one of them (JD) has a blue rest-frame UV slope. This slope indicates a high Lyman-continuum photon escape fraction that could contribute significantly to the cosmic hydrogen-reionizing background. The other two systems have much flatter slopes largely because their dust extinction is twice as high as JD's albeit only AV ~ 0.90 mag. The much lower indicated escape fractions show that even very young, actively star-forming galaxies can have negligible contribution to reionization when they quickly form dust throughout their bodies. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 18 pages, 6 figures, submitted to ApJL

Reasoning about Interior Mutability in Rust using Library-Defined Capabilities

Authors: Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers

Abstract: Existing automated verification techniques for safe Rust code rely on the strong type-system properties to reason about programs, especially to deduce which memory locations do not change (i.e., are framed) across function calls. However, these type guarantees do not hold in the presence of interior mutability (e.g., when interacting with any concurrent data structure). As a consequence, existing… ▽ More Existing automated verification techniques for safe Rust code rely on the strong type-system properties to reason about programs, especially to deduce which memory locations do not change (i.e., are framed) across function calls. However, these type guarantees do not hold in the presence of interior mutability (e.g., when interacting with any concurrent data structure). As a consequence, existing verification techniques for safe code such as Prusti and Creusot are either unsound or fundamentally incomplete if applied to this setting. In this work, we present the first technique capable of automatically verifying safe clients of existing interiorly mutable types. At the core of our approach, we identify a novel notion of implicit capabilities: library-defined properties that cannot be expressed using Rust's types. We propose new annotations to specify these capabilities and a first-order logic encoding suitable for program verification. We have implemented our technique in a verifier called Mendel and used it to prove absence of panics in Rust programs that make use of popular standard-library types with interior mutability, including Rc, Arc, Cell, RefCell, AtomicI32, Mutex and RwLock. Our evaluation shows that these library annotations are useful for verifying usages of real-world libraries, and powerful enough to require zero client-side annotations in many of the verified programs. △ Less

Submitted 14 May, 2024; originally announced May 2024.

JWST's PEARLS: resolved study of the stellar and dust components in starburst galaxies at cosmic noon

Authors: M. Polletta, B. L. Frye, N. Garuda, S. P. Willner, S. Berta, R. Kneissl, H. Dole, R. A. Jansen, M. D. Lehnert, S. H. Cohen, J. Summers, R. A. Windhorst, J. C. J. D'Silva, A. M. Koekemoer, D. Coe, C. J. Conselice, S. P. Driver, N. A. Grogin, M. A. Marshall, M. Nonino, R. Ortiz III, N. Pirzkal, A. Robotham, R. E. Ryan, Jr., C. N. A. Willmer , et al. (13 additional authors not shown)

Abstract: Dusty star-forming galaxies (DSFGs) contribute significantly to the stellar buildup at cosmic noon. Major mergers and gas accretion are often invoked to explain DSFGs' prodigious star-formation rates (SFRs) and large stellar masses. We conducted a spatially-resolved morphological analysis of the rest-frame UV/NIR emission in three DSFGs at z~2.5. Initially discovered as CO emitters by NOEMA observ… ▽ More Dusty star-forming galaxies (DSFGs) contribute significantly to the stellar buildup at cosmic noon. Major mergers and gas accretion are often invoked to explain DSFGs' prodigious star-formation rates (SFRs) and large stellar masses. We conducted a spatially-resolved morphological analysis of the rest-frame UV/NIR emission in three DSFGs at z~2.5. Initially discovered as CO emitters by NOEMA observations of a bright Herschel source, we observed them with the JWST/NIRCam as part of the PEARLS program. The NIRCam data reveal the galaxies' stellar population and dust distribution on scales of 250 pc. Spatial variations in stellar mass, SFR, and dust extinction are determined in resolved maps obtained through pixel-based SED fitting. The CO emitters are massive, dusty starburst galaxies with SFRs ranging from 340 to 2500 Msun/yr, positioning them among the most active SFGs at 2<z<3. Notably, they belong to the ~1.5% of the entire JWST population with extremely red colors. Their morphologies are disk-like, with effective radii of 2.0-4.4 kpc, and exhibit sub-structures such as clumps and spiral arms. The galaxies have dust extinctions up to Av=5-7 mag with asymmetric distributions extending over several kpc and including off-center regions resembling bent spiral arms and clumps. The NIR dust-attenuation curve in these sources deviates from standard laws, implying different dust grain properties than commonly assumed in starburst galaxies. The proximity of galaxies with consistent redshifts, strong color gradients, overall disturbed appearance, asymmetric dust obscuration, and wide-spread star formation favor interactions (minor mergers and flybys) as the mechanism driving the CO galaxies' exceptional SFRs. Their large masses and rich environment hint at membership in two proto-structures, as initially inferred from their association with a Planck-selected high-z source. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 24 pages, 21 figures + appendix. Submitted to A&A. Comments welcome!

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)

Authors: Rui Ge, Ronald Garcia, Alexander J. Summers

Abstract: SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reasoning is, however, known to be challenging. If quantifier instantiation is not carefully controlled, then runtime and outcomes can be brittle and hard to predict. In particular, uncontrolled quantifier instantiation can… ▽ More SMT-based program analysis and verification often involve reasoning about program features that have been specified using quantifiers; incorporating quantifiers into SMT-based reasoning is, however, known to be challenging. If quantifier instantiation is not carefully controlled, then runtime and outcomes can be brittle and hard to predict. In particular, uncontrolled quantifier instantiation can lead to unexpected incompleteness and even non-termination. E-matching is the most widely-used approach for controlling quantifier instantiation, but when axiomatisations are complex, even experts cannot tell if their use of E-matching guarantees completeness or termination. This paper presents a new formal model that facilitates the proof, once and for all, that giving a complex E-matching-based axiomatisation to an SMT solver, such as Z3 or cvc5, will not cause non-termination. Key to our technique is an operational semantics for solver behaviour that models how the E-matching rules common to most solvers are used to determine when quantifier instantiations are enabled, but abstracts over irrelevant details of individual solvers. We demonstrate the effectiveness of our technique by presenting a termination proof for a set theory axiomatisation adapted from those used in the Dafny and Viper verifiers. △ Less

Submitted 27 April, 2024; originally announced April 2024.

Comments: extended version of IJCAR 2024 publication

EPOCHS III: Unbiased UV continuum slopes at 6.5<z<13 from combined PEARLS GTO and public JWST NIRCam imaging

Authors: Duncan Austin, Christopher J. Conselice, Nathan J. Adams, Thomas Harvey, Qiao Duan, James Trussler, Qiong Li, Ignas Juodzbalis, Katherine Ormerod, Leonardo Ferreira, Lewi Westcott, Honor Harris, Stephen M. Wilkins, Rachana Bhatawdekar, Joseph Caruana, Dan Coe, Seth H. Cohen, Simon P. Driver, Jordan C. J. D'Silva, Brenda Frye, Lukas J. Furtak, Norman A. Grogin, Nimish P. Hathi, Benne W. Holwerda, Rolf A. Jansen , et al. (12 additional authors not shown)

Abstract: We present an analysis of rest-frame UV continuum slopes, $β$, using a sample of 1011 galaxies at $6.5<z<13$ from the EPOCHS photometric sample collated from the GTO PEARLS and public ERS/GTO/GO (JADES, CEERS, NGDEEP, GLASS) JWST NIRCam imaging across $178.9~\mathrm{arcmin}^2$ of unmasked blank sky. We correct our UV slopes for the photometric error coupling bias using $200,000$ power law SEDs for… ▽ More We present an analysis of rest-frame UV continuum slopes, $β$, using a sample of 1011 galaxies at $6.5<z<13$ from the EPOCHS photometric sample collated from the GTO PEARLS and public ERS/GTO/GO (JADES, CEERS, NGDEEP, GLASS) JWST NIRCam imaging across $178.9~\mathrm{arcmin}^2$ of unmasked blank sky. We correct our UV slopes for the photometric error coupling bias using $200,000$ power law SEDs for each $β=\{-1,-1.5,-2,-2.5,-3\}$ in each field, finding biases as large as $Δβ\simeq-0.55$ for the lowest SNR galaxies in our sample. Additionally, we simulate the impact of rest-UV line emission (including Ly$α$) and damped Ly$α$ systems on our measured $β$, finding biases as large as $0.5-0.6$ for the most extreme systems. We find a decreasing trend with redshift of $β=-1.51\pm0.08-(0.097\pm0.010)\times z$, with potential evidence for Pop.~III stars or top-heavy initial mass functions (IMFs) in a subsample of 68 $β+σ_β<-2.8$ galaxies. At $z\simeq11.5$, we measure an extremely blue $β(M_{\mathrm{UV}}=-19)=-2.73\pm0.06$, deviating from simulations, indicative of low-metallicity galaxies with non-zero Lyman continuum escape fractions $f_{\mathrm{esc, LyC}}\gtrsim0$ and minimal dust content. The observed steepening of $\mathrm{d}β/\mathrm{d}\log_{10}(M_{\star}/\mathrm{M}_{\odot})$ from $0.22\pm0.02$ at $z=7$ to $0.81\pm0.13$ at $z=11.5$ implies that dust produced in core-collapse supernovae (SNe) at early times may be ejected via outflows from low mass galaxies. We also observe a flatter $\mathrm{d}β/\mathrm{d}M_{\mathrm{UV}}=0.03\pm0.02$ at $z=7$ and a shallower $\mathrm{d}β/\mathrm{d}\log_{10}(M_{\star} / \mathrm{M}_{\odot})$ at $z<11$ than seen by HST, unveiling a new population of low mass, faint, galaxies reddened by dust produced in the stellar winds of asymptotic giant branch (AGB) stars or carbon-rich Wolf-Rayet binaries. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Comments: 37 pages, 18 figures, 8 tables. Data available via the Github page at https://github.com/duncanaustin98/EPOCHS-III-data. Submitted to ApJ on 16/04/2024

PEARLS: Discovery of Point-Source Features Within Galaxies in the North Ecliptic Pole Time Domain Field

Authors: Rafael Ortiz III, Rogier A. Windhorst, Seth H. Cohen, S. P. Willner, Rolf A. Jansen, Timothy Carleton, Patrick S. Kamieneski, Michael J. Rutkowski, Brent Smith, Jake Summers, Tyler J. McCabe, Rosalia O'Brien, Jose M. Diego, Min S. Yun, Jordan C. J. D'Silva, Juno Li, Hansung B. Gim, Nimish P. Hathi, Benne W. Holwerda, Adi Zitrin, Cheng Cheng, Noah J. McLeod, Christopher J. Conselice, Simon P. Driver, Haojing Yan , et al. (9 additional authors not shown)

Abstract: $ $The first public 0.9-4.4 $μ$m NIRCam images of the North Ecliptic Pole (NEP) Time Domain Field (TDF) uncovered many galaxies that display point-source features in their cores as seen in the longer wavelength filters. We visually identified a sample of 66 galaxies ($\sim$1 galaxy per arcmin$^2… ▽ More $ $The first public 0.9-4.4 $μ$m NIRCam images of the North Ecliptic Pole (NEP) Time Domain Field (TDF) uncovered many galaxies that display point-source features in their cores as seen in the longer wavelength filters. We visually identified a sample of 66 galaxies ($\sim$1 galaxy per arcmin$^2$) with point-like cores and fit their spectral energy distributions (SED)s using EAZY and CIGALE to characterize the sample's active galactic nucleus (AGN) and host galaxy parameters. Single-template fitting best fits $70\%$ of the sample with a Seyfert-blended SED. With CIGALE we compute the median fractional AGN contribution to the 0.1-30.0 $μ$m flux to be $0.30\pm0.06$, and that $56\%$ of the 66 galaxies have star-formation rates in the starburst range whereas the remainder are near the star-formation main sequence. There are Very Large Array (VLA) 3 GHz detections for 24/66 galaxies, implying some combination of AGN emission and vigorous star formation. We present a novel sample selection procedure in tandem to the morphological sample selection based on objects' light profiles at 4.4 $μ$m. This procedure identifies a parameter space which probes point-source features and automatically recovers our visual sample with minimal contamination from both stars and brighter galaxies. This procedure may be used in other extant and future NIRCam images to streamline the search for galaxies with point-like cores. The morphological approach to recognizing AGN is being resurrected by the James Webb Space Telescope (JWST) by virtue of its superb angular resolution at infrared wavelengths. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Comments: 11 pages, 6 figures, 1 table

Birds of a Feather: Resolving Stellar Mass Assembly With JWST/NIRCam in a Pair of Kindred $z \sim 2$ Dusty Star-forming Galaxies Lensed by the PLCK G165.7+67.0 Cluster

Authors: Patrick S. Kamieneski, Brenda L. Frye, Rogier A. Windhorst, Kevin C. Harrington, Min S. Yun, Allison Noble, Massimo Pascale, Nicholas Foo, Seth H. Cohen, Rolf A. Jansen, Timothy Carleton, Anton M. Koekemoer, Christopher N. A. Willmer, Jake S. Summers, Nikhil Garuda, Reagen Leimbach, Benne W. Holwerda, Justin D. R. Pierel, Eric F. Jimenez-Andrade, S. P. Willner, Belen Alcalde Pampliega, Amit Vishwas, William C. Keel, Q. Daniel Wang, Cheng Cheng , et al. (16 additional authors not shown)

Abstract: We present a new parametric lens model for the G165.7+67.0 galaxy cluster, which was discovered with $Planck$ through its bright submillimeter flux, originating from a pair of extraordinary dusty star-forming galaxies (DSFGs) at $z\approx 2.2$. Using JWST and interferometric mm/radio observations, we characterize the intrinsic physical properties of the DSFGs, which are separated by only… ▽ More We present a new parametric lens model for the G165.7+67.0 galaxy cluster, which was discovered with $Planck$ through its bright submillimeter flux, originating from a pair of extraordinary dusty star-forming galaxies (DSFGs) at $z\approx 2.2$. Using JWST and interferometric mm/radio observations, we characterize the intrinsic physical properties of the DSFGs, which are separated by only $\sim 1^{\prime\prime}$ (8 kpc) and a velocity difference $ΔV \lesssim 600~{\rm km}~{\rm s}^{-1}$ in the source plane, and thus likely undergoing a major merger. Boasting intrinsic star formation rates ${\rm SFR}_{\rm IR} = 320 \pm 70$ and $400 \pm 80~ M_\odot~{\rm yr}^{-1}$, stellar masses ${\rm log}[M_\star/M_\odot] = 10.2 \pm 0.1$ and $10.3 \pm 0.1$, and dust attenuations $A_V = 1.5 \pm 0.3$ and $1.2 \pm 0.3$, they are remarkably similar objects. We perform spatially-resolved pixel-by-pixel SED fitting using rest-frame near-UV to near-IR imaging from JWST/NIRCam for both galaxies, resolving some stellar structures down to 100 pc scales. Based on their resolved specific SFRs and $UVJ$ colors, both DSFGs are experiencing significant galaxy-scale star formation events. If they are indeed interacting gravitationally, this strong starburst could be the hallmark of gas that has been disrupted by an initial close passage. In contrast, the host galaxy of the recently discovered triply-imaged SN H0pe has a much lower SFR than the DSFGs, and we present evidence for the onset of inside-out quenching and large column densities of dust even in regions of low specific SFR. Based on the intrinsic SFRs of the DSFGs inferred from UV through FIR SED modeling, this pair of objects alone is predicted to yield an observable $1.1 \pm 0.2~{\rm CCSNe~yr}^{-1}$, making this cluster field ripe for continued monitoring. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 47 pages, 21 figures, 5 tables. Submitted to ApJ, comments welcome!

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)

Authors: Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, Alexander J. Summers

Abstract: Automated program verifiers are typically implemented using an intermediate verification language (IVL), such as Boogie or Why3. A verifier front-end translates the input program and specification into an IVL program, while the back-end generates proof obligations for the IVL program and employs an SMT solver to discharge them. Soundness of such verifiers therefore requires that the front-end tran… ▽ More Automated program verifiers are typically implemented using an intermediate verification language (IVL), such as Boogie or Why3. A verifier front-end translates the input program and specification into an IVL program, while the back-end generates proof obligations for the IVL program and employs an SMT solver to discharge them. Soundness of such verifiers therefore requires that the front-end translation faithfully captures the semantics of the input program and specification in the IVL program, and that the back-end reports success only if the IVL program is actually correct. For a verification tool to be trustworthy, these soundness conditions must be satisfied by its actual implementation, not just the program logic it uses. In this paper, we present a novel validation methodology that, given a formal semantics for the input language and IVL, provides formal soundness guarantees for front-end implementations. For each run of the verifier, we automatically generate a proof in Isabelle showing that the correctness of the produced IVL program implies the correctness of the input program. This proof can be checked independently from the verifier, in Isabelle, and can be combined with existing work on validating back-ends to obtain an end-to-end soundness result. Our methodology based on forward simulation employs several modularisation strategies to handle the large semantic gap between the input language and the IVL, as well as the intricacies of practical, optimised translations. We present our methodology for the widely-used Viper and Boogie languages. Our evaluation shows that it is effective in validating the translations performed by the existing Viper implementation. △ Less

Submitted 9 May, 2024; v1 submitted 4 April, 2024; originally announced April 2024.

Comments: Extended version of PLDI 2024 publication

Lensed Type Ia Supernova "Encore" at z=2: The First Instance of Two Multiply-Imaged Supernovae in the Same Host Galaxy

Authors: J. D. R. Pierel, A. B. Newman, S. Dhawan, M. Gu, B. A. Joshi, T. Li, S. Schuldt, L. G. Strolger, S. H. Suyu, G. B. Caminha, S. H. Cohen, J. M. Diego, J. C. J. Dsilva, S. Ertl, B. L. Frye, G. Granata, C. Grillo, A. M. Koekemoer, J. Li, A. Robotham, J. Summers, T. Treu, R. A. Windhorst, A. Zitrin, S. Agarwal , et al. (38 additional authors not shown)

Abstract: A bright ($m_{\rm F150W,AB}$=24 mag), $z=1.95$ supernova (SN) candidate was discovered in JWST/NIRCam imaging acquired on 2023 November 17. The SN is quintuply-imaged as a result of strong gravitational lensing by a foreground galaxy cluster, detected in three locations, and remarkably is the second lensed SN found in the same host galaxy. The previous lensed SN was called "Requiem", and therefore… ▽ More A bright ($m_{\rm F150W,AB}$=24 mag), $z=1.95$ supernova (SN) candidate was discovered in JWST/NIRCam imaging acquired on 2023 November 17. The SN is quintuply-imaged as a result of strong gravitational lensing by a foreground galaxy cluster, detected in three locations, and remarkably is the second lensed SN found in the same host galaxy. The previous lensed SN was called "Requiem", and therefore the new SN is named "Encore". This makes the MACS J0138.0$-$2155 cluster the first known system to produce more than one multiply-imaged SN. Moreover, both SN Requiem and SN Encore are Type Ia SNe (SNe Ia), making this the most distant case of a galaxy hosting two SNe Ia. Using parametric host fitting, we determine the probability of detecting two SNe Ia in this host galaxy over a $\sim10$ year window to be $\approx3\%$. These observations have the potential to yield a Hubble Constant ($H_0$) measurement with $\sim10\%$ precision, only the third lensed SN capable of such a result, using the three visible images of the SN. Both SN Requiem and SN Encore have a fourth image that is expected to appear within a few years of $\sim2030$, providing an unprecedented baseline for time-delay cosmography. △ Less

Submitted 3 April, 2024; v1 submitted 2 April, 2024; originally announced April 2024.

Comments: Submitted to ApJL

JWST Photometric Time-Delay and Magnification Measurements for the Triply-Imaged Type Ia "Supernova H0pe" at z = 1.78

Authors: J. D. R. Pierel, B. L. Frye, M. Pascale, G. B. Caminha, W. Chen, S. Dhawan, D. Gilman, M. Grayling, S. Huber, P. Kelly, S. Thorp, N. Arendse, S. Birrer, M. Bronikowski, R. Canameras, D. Coe, S. H. Cohen, C. J. Conselice, S. P. Driver, J. C. J. Dsilva, M. Engesser, N. Foo, C. Gall, N. Garuda, C. Grillo , et al. (38 additional authors not shown)

Abstract: Supernova (SN) H0pe is a gravitationally lensed, triply-imaged, Type Ia SN (SN Ia) discovered in James Webb Space Telescope imaging of the PLCK G165.7+67.0 cluster of galaxies. Well-observed multiply-imaged SNe provide a rare opportunity to constrain the Hubble constant ($H_0$), by measuring the relative time delay between the images and modeling the foreground mass distribution. SN H0pe is locate… ▽ More Supernova (SN) H0pe is a gravitationally lensed, triply-imaged, Type Ia SN (SN Ia) discovered in James Webb Space Telescope imaging of the PLCK G165.7+67.0 cluster of galaxies. Well-observed multiply-imaged SNe provide a rare opportunity to constrain the Hubble constant ($H_0$), by measuring the relative time delay between the images and modeling the foreground mass distribution. SN H0pe is located at $z=1.783$, and is the first SN Ia with sufficient light curve sampling and long enough time delays for an $H_0$ inference. Here we present photometric time-delay measurements and SN properties of SN H0pe. Using JWST/NIRCam photometry we measure time delays of $Δt_{ab}=-116.6^{+10.8}_{-9.3}$ and $Δt_{cb}=-48.6^{+3.6}_{-4.0}$ observer-frame days relative to the last image to arrive (image 2b; all uncertainties are $1σ$), which corresponds to a $\sim5.6\%$ uncertainty contribution for $H_0$ assuming $70 \rm{km s^{-1} Mpc^{-1}}$. We also constrain the absolute magnification of each image to $μ_{a}=4.3^{+1.6}_{-1.8}$, $μ_{b}=7.6^{+3.6}_{-2.6}$, $μ_{c}=6.4^{+1.6}_{-1.5}$ by comparing the observed peak near-IR magnitude of SN H0pe to the non-lensed population of SNe Ia. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: Accepted in ApJ

TREASUREHUNT: Transients and Variability Discovered with HST in the JWST North Ecliptic Pole Time Domain Field

Authors: Rosalia O'Brien, Rolf A. Jansen, Norman A. Grogin, Seth H. Cohen, Brent M. Smith, Ross M. Silver, W. P. Maksym III, Rogier A. Windhorst, Timothy Carleton, Anton M. Koekemoer, Nimish P. Hathi, Christopher N. A. Willmer, Brenda L. Frye, M. Alpaslan, M. L. N. Ashby, T. A. Ashcraft, S. Bonoli, W. Brisken, N. Cappelluti, F. Civano, C. J. Conselice, V. S. Dhillon, S. P. Driver, K. J. Duncan, R. Dupke , et al. (34 additional authors not shown)

Abstract: The JWST North Ecliptic Pole (NEP) Time Domain Field (TDF) is a $>$14 arcmin diameter field optimized for multi-wavelength time-domain science with JWST. It has been observed across the electromagnetic spectrum both from the ground and from space, including with the Hubble Space Telescope (HST). As part of HST observations over 3 cycles (the "TREASUREHUNT" program), deep images were obtained with… ▽ More The JWST North Ecliptic Pole (NEP) Time Domain Field (TDF) is a $>$14 arcmin diameter field optimized for multi-wavelength time-domain science with JWST. It has been observed across the electromagnetic spectrum both from the ground and from space, including with the Hubble Space Telescope (HST). As part of HST observations over 3 cycles (the "TREASUREHUNT" program), deep images were obtained with ACS/WFC in F435W and F606W that cover almost the entire JWST NEP TDF. Many of the individual pointings of these programs partially overlap, allowing an initial assessment of the potential of this field for time-domain science with HST and JWST. The cumulative area of overlapping pointings is ~88 arcmin$^2$, with time intervals between individual epochs that range between 1 day and 4$+$ years. To a depth of $m_{AB}$ $\simeq$ 29.5 mag (F606W), we present the discovery of 12 transients and 190 variable candidates. For the variable candidates, we demonstrate that Gaussian statistics are applicable, and estimate that ~80 are false positives. The majority of the transients will be supernovae, although at least two are likely quasars. Most variable candidates are AGN, where we find 0.42% of the general $z$ $<$ 6 field galaxy population to vary at the $~3σ$ level. Based on a 5-year timeframe, this translates into a random supernova areal density of up to ~0.07 transients per arcmin$^2$ (~245 deg$^{-2}$) per epoch, and a variable AGN areal density of ~1.25 variables per arcmin$^2$ (~4500 deg$^{-2}$) to these depths. △ Less

Submitted 2 May, 2024; v1 submitted 10 January, 2024; originally announced January 2024.

Comments: 32 pages, 11 figures, 5 tables, 1 Appendix

JWST's PEARLS: 119 multiply imaged galaxies behind MACS0416, lensing properties of caustic crossing galaxies, and the relation between halo mass and number of globular clusters at $z=0.4$

Authors: Jose M. Diego, Nathan J. Adams, Steven Willner, Tom Harvey, Tom Broadhurst, Seth H. Cohen, Rolf A. Jansen, Jake Summers, Rogier A. Windhorst, Jordan C. J. D'Silva, Anton M. Koekemoer, Dan Coe, Christopher J. Conselice, Simon P. Driver, Brenda Frye, Norman A. Grogin, Madeline A. Marshall, Mario Nonino, Rafael Ortiz III, Nor Pirzkal, Aaron Robotham, Russell E. Ryan, Jr., Christopher N. A. Willmer, Haojing Yan, Fengwu Sun , et al. (4 additional authors not shown)

Abstract: We present a new lens model for the $z=0.396$ galaxy cluster MACS J0416.1$-$2403 based on a previously known set of 77 spectroscopically confirmed, multiply imaged galaxies plus an additional set of 42 candidate multiply imaged galaxies from past HST and new JWST data. The new galaxies lack spectroscopic redshifts but have geometric and/or photometric redshift estimates that are presented here. Th… ▽ More We present a new lens model for the $z=0.396$ galaxy cluster MACS J0416.1$-$2403 based on a previously known set of 77 spectroscopically confirmed, multiply imaged galaxies plus an additional set of 42 candidate multiply imaged galaxies from past HST and new JWST data. The new galaxies lack spectroscopic redshifts but have geometric and/or photometric redshift estimates that are presented here. The new model predicts magnifications and time delays for all multiple images. The full set of constraints totals 343, constituting the largest sample of multiple images lensed by a single cluster to date. Caustic-crossing galaxies lensed by this cluster are especially interesting. Some of these galaxies show transient events, most of which are interpreted as micro-lensing of stars at cosmological distances. These caustic-crossing arcs are expected to show similar events in future, deeper JWST observations. We provide time delay and magnification models for all these arcs. The time delays and the magnifications for different arcs are generally anti-correlated, as expected from $N$-body simulations. In the major sub-halos of the cluster, the dark-matter mass from our lens model correlates well with the observed number of globular clusters. This confirms earlier results, derived at lower redshifts, which suggest that globular clusters can be used as powerful mass proxies for the halo masses when lensing constraints are scarce or not available. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 21 pages and 11 figures

Model-independent extraction of form factors and $|V_{cb}|$ in $\overline{B} \rightarrow D \ell^- \overlineν_\ell$ with hadronic tagging at BaBar

Authors: BaBar Collaboration, J. P. Lees, V. Poireau, V. Tisserand, E. Grauges, A. Palano, G. Eigen, D. N. Brown, Yu. G. Kolomensky, M. Fritsch, H. Koch, R. Cheaib, C. Hearty, T. S. Mattison, J. A. McKenna, R. Y. So, V. E. Blinov, A. R. Buzykaev, V. P. Druzhinin, E. A. Kozyrev, E. A. Kravchenko, S. I. Serednyakov, Yu. I. Skovpen, E. P. Solodov, K. Yu. Todyshev , et al. (186 additional authors not shown)

Abstract: Using the entire BaBar $Υ(4S)$ data set, the first two-dimensional unbinned angular analysis of the semileptonic decay $\overline{B} \rightarrow D \ell^- \overlineν_\ell$ is performed, employing hadronic reconstruction of the tag-side $B$ meson from $Υ(4S)\to B\overline{B}$. Here, $\ell$ denotes the light charged leptons $e$ and $μ$. A novel data-driven signal-background separation procedure with… ▽ More Using the entire BaBar $Υ(4S)$ data set, the first two-dimensional unbinned angular analysis of the semileptonic decay $\overline{B} \rightarrow D \ell^- \overlineν_\ell$ is performed, employing hadronic reconstruction of the tag-side $B$ meson from $Υ(4S)\to B\overline{B}$. Here, $\ell$ denotes the light charged leptons $e$ and $μ$. A novel data-driven signal-background separation procedure with minimal dependence on simulation is developed. This procedure preserves all multi-dimensional correlations present in the data. The expected $\sin^2θ_\ell$ dependence of the differential decay rate in the Standard Model is demonstrated, where $θ_\ell$ is the lepton helicity angle. Including input from the latest lattice QCD calculations and previously available experimental data, the underlying form factors are extracted using both model-independent (BGL) and dependent (CLN) methods. Comparisons with lattice calculations show flavor SU(3) symmetry to be a good approximation in the $B_{(s)}\to D_{(s)}$ sector. Using the BGL results, the CKM matrix element $|V_{cb}|=(41.09\pm 1.16)\times 10^{-3}$ and the Standard Model prediction of the lepton-flavor universality violation variable $\mathcal{R}(D)=0.300\pm 0.004$, are extracted. The value of $|V_{cb}|$ from $\overline{B} \rightarrow D \ell^- \overlineν_\ell$ tends to be higher than that extracted using $\overline{B} \rightarrow D \ell^- \overlineν_\ell$. The Standard Model $\mathcal{R}(D)$ calculation is at a $1.97σ$ tension with the latest HFLAV experimental average. △ Less

Submitted 25 November, 2023; originally announced November 2023.

JWST's PEARLS: Improved Flux Calibration for NIRCam

Authors: Zhiyuan Ma, Haojing Yan, Bangzheng Sun, Seth H. Cohen, Rolf A. Jansen, Jake Summers, Rogier A. Windhorst, Jordan C. J. D'Silva, Anton M. Koekemoer, Dan Coe, Christopher J. Conselice, Simon P. Driver, Brenda Frye, Norman A. Grogin, Madeline A. Marshall, Mario Nonino, Rafael Ortiz III, Nor Pirzkal, Aaron Robotham, Russell E. Ryan, Jr., Christopher N. A. Willmer, Heidi B. Hammel, Stefanie N. Milam, Nathan J. Adams, Cheng Cheng , et al. (1 additional authors not shown)

Abstract: The Prime Extragalactic Areas for Reionization and Lensing Science (PEARLS), a JWST GTO program, obtained a set of unique NIRCam observations that have enabled us to significantly improve the default photometric calibration across both NIRCam modules. The observations consisted of three epochs of 4-band (F150W, F200W, F356W, and F444W) NIRCam imaging in the Spitzer IRAC Dark Field (IDF). The three… ▽ More The Prime Extragalactic Areas for Reionization and Lensing Science (PEARLS), a JWST GTO program, obtained a set of unique NIRCam observations that have enabled us to significantly improve the default photometric calibration across both NIRCam modules. The observations consisted of three epochs of 4-band (F150W, F200W, F356W, and F444W) NIRCam imaging in the Spitzer IRAC Dark Field (IDF). The three epochs were six months apart and spanned the full duration of Cycle 1. As the IDF is in the JWST continuous viewing zone, we were able to design the observations such that the two modules of NIRCam, modules A and B, were flipped by 180 degrees and completely overlapped each other's footprints in alternate epochs. We were therefore able to directly compare the photometry of the same objects observed with different modules and detectors, and we found significant photometric residuals up to ~ 0.05 mag in some detectors and filters, for the default version of the calibration files that we used (jwst_1039.pmap). Moreover, there are multiplicative gradients present in the data obtained in the two long-wavelength bands. The problem is less severe in the data reduced using the latest pmap (jwst_1130.pmap as of September 2023), but it is still present, and is non-negligible. We provide a recipe to correct for this systematic effect to bring the two modules onto a more consistent calibration, to a photometric precision better than ~ 0.02 mag. △ Less

Submitted 16 January, 2024; v1 submitted 22 November, 2023; originally announced November 2023.

Comments: 12 pages, 8 figures, 3 tables. Accepted to PASP

JWST NIRCam Photometry: A Study of Globular Clusters Surrounding Bright Elliptical Galaxy VV 191a at z=0.0513

Authors: Jessica M. Berkheimer, Timothy Carleton, Rogier A. Windhorst, William C. Keel, Benne W. Holwerda, Mario Nonino, Seth H. Cohen, Rolf A. Jansen, Dan Coe, Christopher J. Conselice, Simon P. Driver, Brenda L. Frye, Norman A. Grogin, Anton M. Koekemoer, Ray Lucas, Madeline A. Marshall, Nor Pirzkal, Clayton Robertson, Aaron Robotham, Russell E. Ryan Jr., Brent M. Smith, Jake Summers, Scott Tompkins, Christopher N. A. Willmer, Haojing Yan

Abstract: James Webb Space Telescope NIRCam images have revealed 154 reliable globular cluster (GC) candidates around the $z = 0.0513$ elliptical galaxy VV~191a after subtracting 34 likely interlopers from background galaxies inside our search area. NIRCam broadband observations are made at 0.9-4.5 $μ$m using the F090W, F150W, F356W, and F444W filters. Using PSF-matched photometry, the data are analyzed to… ▽ More James Webb Space Telescope NIRCam images have revealed 154 reliable globular cluster (GC) candidates around the $z = 0.0513$ elliptical galaxy VV~191a after subtracting 34 likely interlopers from background galaxies inside our search area. NIRCam broadband observations are made at 0.9-4.5 $μ$m using the F090W, F150W, F356W, and F444W filters. Using PSF-matched photometry, the data are analyzed to present color-magnitude diagrams (CMDs) and color distributions that suggest a relatively uniform population of GCs, except for small fractions of reddest (5-8%) and bluest (2-4%) outliers. GC models in the F090W vs. (F090-F150W) diagram fit the NIRCam data well and show that the majority of GCs detected have a mass of approximately $\sim$$10^{6.5}$$M_{\odot}$, with metallicities [Fe/H] spanning the typical range expected for GCs (-2.5$\le$ [Fe/H]$\le$ 0.5). However, the models predict $\sim$0.3-0.4 mag bluer (F356W-F444W) colors than the NIRCam data for a reasonable range of GC ages, metallicities, and reddening. Although our data does not quite reach the luminosity function turnover, the measured luminosity function is consistent with previous measurements, suggesting an estimated peak at $m_{\rm AB}$$\sim$-9.4 mag, $\pm$0.2 mag in the F090W filter. △ Less

Submitted 5 February, 2024; v1 submitted 25 October, 2023; originally announced October 2023.

Comments: 11 pages, 7 figures

Report number: AAS50418

A Lens Finder Map to check claimed High-z Galaxies behind SMACS J0723.3-7327

Authors: Alex Chow, Sung Kei Li, Tom Broadhurst, Jeremy Lim, Man Cheung Alex Li, James Nianias, Jake Summers, Rogier Windhorst

Abstract: The first science image released by the JWST reveals numerous galaxies in the distant background of the galaxy cluster SMACS J0723.3-7327. Some have claimed redshifts of up to $z \simeq 20$, challenging standard cosmological models for structure formation. Here, we present a lens model for SMACS J0723.3-7327 anchored on five spectroscopically-confirmed systems at $1.38 \leq z \leq 2.21$ that are m… ▽ More The first science image released by the JWST reveals numerous galaxies in the distant background of the galaxy cluster SMACS J0723.3-7327. Some have claimed redshifts of up to $z \simeq 20$, challenging standard cosmological models for structure formation. Here, we present a lens model for SMACS J0723.3-7327 anchored on five spectroscopically-confirmed systems at $1.38 \leq z \leq 2.21$ that are multiply lensed, along with twelve other systems with proposed image counterparts sharing common colours, spectral energy distributions, and morphological features, but having unknown redshifts. Constrained only by their image positions and, where available, redshifts, our lens model correctly reproduces the positions and correctly predicts the morphologies and relative brightnesses of all these image counterparts, as well as providing geometrically-determined redshifts spanning $1.4 \lesssim z \lesssim 6.7$ for the twelve candidate multiply-lensed galaxies lacking spectroscopic measurements. From this lens model, we create a lens finder map that defines regions over which galaxies beyond a certain redshift are predicted to be multiply lensed. Applying this map to three galaxies claimed to be at $10 \lesssim z \lesssim 20$, we find no image counterparts at locations (with an uncertainty of $\sim$$0.^{\prime\prime}5$) where they ought to be sufficiently magnified to be detectable - suggesting instead that these galaxies lie at $z \lesssim 1.7-3.2$. In lieu of spectroscopy, the creation of reliable lens finder maps for cluster fields are urgently needed to test and constrain redshifts inferred from photometry for a rapidly increasing number of candidate high-$z$ galaxies found with the JWST. △ Less

Submitted 15 October, 2023; originally announced October 2023.

Star formation and AGN activity 500 Myr after the Big Bang: Insights from JWST

Authors: Jordan C. J. D'Silva, Simon P. Driver, Claudia D. P. Lagos, Aaron S. G. Robotham, Jake Summers, Rogier A. Windhorst

Abstract: We consider the effect of including an active galactic nuclei (AGN) component when fitting spectral energy distributions of 109 spectroscopically confirmed $z\approx 3.5-12.5$ galaxies with JWST. Remarkably, we find that the resulting cosmic star formation history is $\approx 0.4$ dex lower at $z\gtrsim 9.5$ when an AGN component is included in the fitting. This alleviates previously reported exce… ▽ More We consider the effect of including an active galactic nuclei (AGN) component when fitting spectral energy distributions of 109 spectroscopically confirmed $z\approx 3.5-12.5$ galaxies with JWST. Remarkably, we find that the resulting cosmic star formation history is $\approx 0.4$ dex lower at $z\gtrsim 9.5$ when an AGN component is included in the fitting. This alleviates previously reported excess star formation at $z\gtrsim 9.5$ compared to models based on typical baryon conversion efficiencies inside dark matter halos. We find that the individual stellar masses and star formation rates can be as much as $\approx 4$ dex lower when fitting with an AGN component. These results highlight the importance of considering both stellar mass assembly and supermassive black hole growth when interpreting the light distributions of among the first galaxies to ever exist. △ Less

Submitted 11 December, 2023; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 15 pages, 5 figures. Accepted for publication in ApJL after addressing reviewer comments

PEARLS: A Potentially Isolated Quiescent Dwarf Galaxy with a TRGB Distance of 30 Mpc

Authors: Timothy Carleton, Timothy Ellsworth-Bowers, Rogier A. Windhorst, Seth H. Cohen, Christopher J. Conselice, Jose M. Diego, Adi Zitrin, Haylee N. Archer, Isabel McIntyre, Patrick Kamieneski, Rolf A. Jansen, Jake Summers, Jordan C. J. D'Silva, Anton M. Koekemoer, Dan Coe, Simon P. Driver, Brenda Frye, Norman A. Grogin, Madeline A. Marshall, Mario Nonino, Nor Pirzkal, Aaron Robotham, Russell E. Ryan, Jr., Rafael Ortiz III, Scott Tompkins , et al. (3 additional authors not shown)

Abstract: A wealth of observations have long suggested that the vast majority of isolated classical dwarf galaxies ($M_*=10^7$-$10^9$ M$_\odot$) are currently star-forming. However, recent observations of the large abundance of "Ultra-Diffuse Galaxies" beyond the reach of previous large spectroscopic surveys suggest that our understanding of the dwarf galaxy population may be incomplete. Here we report the… ▽ More A wealth of observations have long suggested that the vast majority of isolated classical dwarf galaxies ($M_*=10^7$-$10^9$ M$_\odot$) are currently star-forming. However, recent observations of the large abundance of "Ultra-Diffuse Galaxies" beyond the reach of previous large spectroscopic surveys suggest that our understanding of the dwarf galaxy population may be incomplete. Here we report the serendipitous discovery of an isolated quiescent dwarf galaxy in the nearby Universe, which was imaged as part of the PEARLS GTO program. Remarkably, individual red-giant branch stars are visible in this near-IR imaging, suggesting a distance of $30\pm4$ Mpc, and a wealth of archival photometry point to an sSFR of $2\times10^{-11}$ yr$^{-1}$ and SFR of $4\times10^{-4}$ M$_\odot$ yr$^{-1}$. Spectra obtained with the Lowell Discovery Telescope find a recessional velocity consistent with the Hubble Flow and ${>}1500$ km/s separated from the nearest massive galaxy in SDSS, suggesting that this galaxy was either quenched from internal mechanisms or had a very high-velocity ($>1000$ km/s) interaction with a nearby massive galaxy in the past. This analysis highlights the possibility that many nearby quiescent dwarf galaxies are waiting to be discovered and that JWST has the potential to resolve them. △ Less

Submitted 4 January, 2024; v1 submitted 27 September, 2023; originally announced September 2023.

Comments: Accepted to ApJ Letters

PEARLS: JWST counterparts of micro-Jy radio sources in the Time Domain Field

Authors: S. P. Willner, H. B. Gim, M. del Carmen Polletta, S. H. Cohen, C. N. A. Willmer, X. Zhao, J. C. J. D'Silva, R. A. Jansen, A. M. Koekemoer, J. Summers, R. A. Windhorst, D. Coe, C. J. Conselice, S. P. Driver, B. Frye, N. A. Grogin, M. A. Marshall, M. Nonino, R. Ortiz III, N. Pirzkal, A. Robotham, M. J. Rutkowski, R. E. Ryan, Jr., S. Tompkins, H. Yan , et al. (16 additional authors not shown)

Abstract: The Time Domain Field (TDF) near the North Ecliptic Pole in JWST's continuous-viewing zone will become a premier "blank field" for extragalactic science. JWST/NIRCam data in a 16 arcmin$^2$ portion of the TDF identify 4.4 $μ$m counterparts for 62 of 63 3 GHz sources with S(3 GHz) > 5 μJy. The one unidentified radio source may be a lobe of a nearby Seyfert galaxy, or it may be an infrared-faint rad… ▽ More The Time Domain Field (TDF) near the North Ecliptic Pole in JWST's continuous-viewing zone will become a premier "blank field" for extragalactic science. JWST/NIRCam data in a 16 arcmin$^2$ portion of the TDF identify 4.4 $μ$m counterparts for 62 of 63 3 GHz sources with S(3 GHz) > 5 μJy. The one unidentified radio source may be a lobe of a nearby Seyfert galaxy, or it may be an infrared-faint radio source. The bulk properties of the radio-host galaxies are consistent with those found by previous work: redshifts range from 0.14 to 4.4 with a median redshift of 1.33. The radio emission arises primarily from star formation in $\sim 2/3$ of the sample and from an active galactic nucleus in $\sim 1/3$, but just over half the sample shows evidence for an AGN either in the spectral energy distribution or by radio excess. All but three counterparts are brighter than magnitude 23 AB at 4.4 $μ$m, and the exquisite resolution of JWST identifies correct counterparts for sources for which observations with lower angular resolution would mis-identify a nearby bright source as the counterpart when the correct one is faint and red. Up to 11% of counterparts might have been unidentified or misidentified absent NIRCam observations. △ Less

Submitted 26 September, 2023; v1 submitted 22 September, 2023; originally announced September 2023.

Comments: Accepted for publication in ApJ. V2 adds an author and some acknowledgments inadvertently omitted

The JWST Discovery of the Triply-imaged Type Ia "Supernova H0pe" and Observations of the Galaxy Cluster PLCK G165.7+67.0

Authors: Brenda L. Frye, Massimo Pascale, Justin Pierel, Wenlei Chen, Nicholas Foo, Reagen Leimbach, Nikhil Garuda, Seth Cohen, Patrick Kamieneski, Rogier Windhorst, Anton M. Koekemoer, Pat Kelly, Jake Summers, Michael Engesser, Daizhong Liu, Lukas Furtak, Maria Polletta, Kevin Harrington, Steve Willner, Jose M. Diego, Rolf Jansen, Dan Coe, Christopher J. Conselice, Liang Dai, Herve Dole , et al. (17 additional authors not shown)

Abstract: A Type Ia supernova (SN) at $z=1.78$ was discovered in James Webb Space Telescope Near Infrared Camera imaging of the galaxy cluster PLCK G165.7+67.0 (G165; $z = 0.35$). The SN is situated 1.5-2 kpc from the host-galaxy nucleus and appears in three different locations as a result of gravitational lensing by G165. These data can yield a value for Hubble's constant using time delays from this multip… ▽ More A Type Ia supernova (SN) at $z=1.78$ was discovered in James Webb Space Telescope Near Infrared Camera imaging of the galaxy cluster PLCK G165.7+67.0 (G165; $z = 0.35$). The SN is situated 1.5-2 kpc from the host-galaxy nucleus and appears in three different locations as a result of gravitational lensing by G165. These data can yield a value for Hubble's constant using time delays from this multiply-imaged SN Ia that we call "SN H0pe." Over the cluster, we identified 21 image multiplicities, confirmed five of them using the Near-Infrared Spectrograph, and constructed a new lens model that gives a total mass within 600 kpc of ($2.6 \pm 0.3) \times 10^{14}$ $M_{\odot}$. The photometry uncovered a galaxy overdensity coincident with the SN host galaxy. NIRSpec confirmed six member galaxies, four of which surround the SN host galaxy with relative velocity $\lesssim$900 km s$^{-1}$ and projected physical extent $\lesssim$33 kpc. This compact galaxy group is dominated by the SN host galaxy, which has a stellar mass of $(5.0 \pm 0.1) \times 10^{11}$ $M_{\odot}$. The group members have specific star-formation rates of 2-260 Gyr$^{-1}$ derived from the H$α$-line fluxes corrected for stellar absorption, dust extinction, and slit losses. Another group centered on a strongly-lensed dusty star forming galaxy is at $z=2.24$. The total (unobscured and obscured) SFR of this second galaxy group is estimated to be ($\gtrsim$100 $M_{\odot}$ yr$^{-1}$), which translates to a supernova rate of $\sim$1 SNe yr$^{-1}$, suggesting that regular monitoring of this cluster may yield additional SNe. △ Less

Submitted 4 December, 2023; v1 submitted 13 September, 2023; originally announced September 2023.

Comments: 29 pages, Accepted to ApJ on November 24, 2023

EPOCHS IX. When cosmic dawn breaks: Evidence for evolved stellar populations in $7 < z < 12$ galaxies from PEARLS GTO and public NIRCam imaging

Authors: James A. A. Trussler, Christopher J. Conselice, Nathan Adams, Duncan Austin, Leonardo Ferreira, Tom Harvey, Qiong Li, Aswin P. Vijayan, Stephen M. Wilkins, Rogier A. Windhorst, Rachana Bhatawdekar, Cheng Cheng, Dan Coe, Seth H. Cohen, Simon P. Driver, Brenda Frye, Norman A. Grogin, Nimish Hathi, Rolf A. Jansen, Anton Koekemoer, Madeline A. Marshall, Mario Nonino, Rafael Ortiz, Nor Pirzkal, Aaron Robotham , et al. (6 additional authors not shown)

Abstract: The presence of evolved stars in high-redshift galaxies can place valuable indirect constraints on the onset of star formation in the Universe. Thus we use PEARLS GTO and public NIRCam photometric data to search for Balmer-break candidate galaxies at $7 < z < 12$. We find that our Balmer-break candidates at $z \sim 10.5$ tend to be older (115 Myr), have lower inferred [O III] + H$β$ emission line… ▽ More The presence of evolved stars in high-redshift galaxies can place valuable indirect constraints on the onset of star formation in the Universe. Thus we use PEARLS GTO and public NIRCam photometric data to search for Balmer-break candidate galaxies at $7 < z < 12$. We find that our Balmer-break candidates at $z \sim 10.5$ tend to be older (115 Myr), have lower inferred [O III] + H$β$ emission line equivalent widths (120 Å), have lower specific star formation rates (6 Gyr$^{-1}$) and redder UV slopes ($β= -1.8$) than our control sample of galaxies. However, these trends all become less strong at $z \sim 8$, where the F444W filter now probes the strong rest-frame optical emission lines, thus providing additional constraints on the current star formation activity of these galaxies. Indeed, the bursty nature of Epoch of Reionisation galaxies can lead to a disconnect between their current SED profiles and their more extended star-formation histories. We discuss how strong emission lines, the cumulative effect of weak emission lines, dusty continua and AGN can all contribute to the photometric excess seen in the rest-frame optical, thus mimicking the signature of a Balmer break. Additional medium-band imaging will thus be essential to more robustly identify Balmer-break galaxies. However, the Balmer break alone cannot serve as a definitive proxy for the stellar age of galaxies, being complexly dependent on the star-formation history. Ultimately, deep NIRSpec continuum spectroscopy and MIRI imaging will provide the strongest indirect constraints on the formation era of the first galaxies in the Universe, thereby revealing when cosmic dawn breaks. △ Less

Submitted 7 March, 2024; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 25 pages, 16 figures, 2 tables. Updated to published version in MNRAS

Journal ref: MNRAS, 527, 11627 (2024)

A search for high-redshift direct-collapse black hole candidates in the PEARLS north ecliptic pole field

Authors: Armin Nabizadeh, Erik Zackrisson, Fabio Pacucci, Peter W. Maksym, Weihui Li, Francesca Civano, Seth H. Cohen, Jordan C. J. D'Silva, Anton M. Koekemoer, Jake Summers, Rogier A. Windhorst, Nathan Adams, Christopher J. Conselice, Dan Coe, Simon P. Driver, Brenda Frye, Norman A. Grogin, Rolf A. Jansen, Madeline A. Marshall, Mario Nonino, Nor Pirzkal, Aaron Robotham, Michael J. Rutkowski, Russell E. Ryan, Jr., Scott Tompkins , et al. (9 additional authors not shown)

Abstract: Direct-collapse black holes (DCBHs) of mass $\sim 10^4$-$10^5 {M}_\odot$ that form in HI-cooling halos in the early Universe are promising progenitors of the $\gtrsim 10^9 {M}_\odot$ supermassive black holes that fuel observed $z \gtrsim 7$ quasars. Efficient accretion of the surrounding gas onto such DCBH seeds may render them sufficiently bright for detection with the JWST up to $z\approx 20$. A… ▽ More Direct-collapse black holes (DCBHs) of mass $\sim 10^4$-$10^5 {M}_\odot$ that form in HI-cooling halos in the early Universe are promising progenitors of the $\gtrsim 10^9 {M}_\odot$ supermassive black holes that fuel observed $z \gtrsim 7$ quasars. Efficient accretion of the surrounding gas onto such DCBH seeds may render them sufficiently bright for detection with the JWST up to $z\approx 20$. Additionally, the very steep and red spectral slope predicted across the $\approx 1$-5 $μ$m wavelength range of the JWST/NIRSpec instrument during their initial growth phase should make them photometrically identifiable up to very high redshifts. In this work, we present a search for such DCBH candidates across the 34 arcmin$^{2}$ in the first two spokes of the JWST cycle-1 PEARLS survey of the north ecliptic pole time-domain field covering eight NIRCam filters down to a maximum depth of $\sim$ 29 AB mag. We identify two objects with spectral energy distributions consistent with the Pacucci et al. (2016) DCBH models. However, we also note that even with data in eight NIRCam filters, objects of this type remain degenerate with dusty galaxies and obscured active galactic nuclei over a wide range of redshifts. Follow-up spectroscopy would be required to pin down the nature of these objects. Based on our sample of DCBH candidates and assumptions on the typical duration of the DCBH steep-slope state, we set a conservative upper limit of $\lesssim 5\times 10^{-4}$ comoving Mpc$^{-3}$ (cMpc$^{-3}$) on the comoving density of host halos capable of hosting DCBHs with spectral energy distributions similar to the Pacucci et al. (2016) models at $z\approx 6$-14. △ Less

Submitted 19 January, 2024; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: 10 pages, 6 figures, 1 table, accepted for publication in A&A

JWST's PEARLS: Mothra, a new kaiju star at z=2.091 extremely magnified by MACS0416, and implications for dark matter models

Authors: J. M. Diego, Bangzheng Sun, Haojing Yan, Lukas J. Furtak, Erik Zackrisson, Liang Dai, Patrick Kelly, Mario Nonino, Nathan Adams, Ashish K. Meena, S. P. Willner, Adi Zitrin, Seth H. Cohen, Jordan C. J. D Silva, Rolf A. Jansen, Jake Summers, Rogier A. Windhorst, Dan Coe, Christopher J. Conselice, Simon P. Driver, Brenda Frye, Norman A. Grogin, Anton M. Koekemoer, Madeline A. Marshall, Nor Pirzkal , et al. (6 additional authors not shown)

Abstract: We report the discovery of Mothra, an extremely magnified monster star, likely a binary system of two supergiant stars, in one of the strongly lensed galaxies behind the galaxy cluster MACS0416. The star is in a galaxy with spectroscopic redshift $z=2.091$ in a portion of the galaxy that is parsecs away from the cluster caustic. The binary star is observed only on the side of the critical curve wi… ▽ More We report the discovery of Mothra, an extremely magnified monster star, likely a binary system of two supergiant stars, in one of the strongly lensed galaxies behind the galaxy cluster MACS0416. The star is in a galaxy with spectroscopic redshift $z=2.091$ in a portion of the galaxy that is parsecs away from the cluster caustic. The binary star is observed only on the side of the critical curve with negative parity but has been detectable for at least eight years, implying the presence of a small lensing perturber. Microlenses alone cannot explain the earlier observations of this object made with the Hubble Space Telescope. A larger perturber with a mass of at least $10^4$\,\Msun\ offers a more satisfactory explanation. Based on the lack of perturbation on other nearby sources in the same arc, the maximum mass of the perturber is $M< 2.5\times10^6$\,\Msun, making it the smallest substructure constrained by lensing above redshift 0.3. The existence of this millilens is fully consistent with the expectations from the standard cold dark matter model. On the other hand, the existence of such small substructure in a cluster environment has implications for other dark matter models. In particular, warm dark matter models with particle masses below 8.7\,keV are excluded by our observations. Similarly, axion dark matter models are consistent with the observations only if the axion mass is in the range $0.5\times10^{-22}\, {\rm eV} < m_a < 5\times10^{-22}\, {\rm eV}$. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Comments: 26 pages and 27 figures

Journal ref: A&A 679, A31 (2023)

JWST's PEARLS: Transients in the MACS J0416.1-2403 Field

Authors: Haojing Yan, Zhiyuan Ma, Bangzheng Sun, Lifan Wang, Patrick Kelly, Jose M. Diego, Seth H. Cohen, Rogier A. Windhorst, Rolf A. Jansen, Norman A. Grogin, John F. Beacom, Christopher J. Conselice, Simon P. Driver, Brenda Frye, Dan Coe, Madeline A. Marshall, Anton Koekemoer, Christopher N. A. Willmer, Aaron Robotham, Jordan C. J. D'Silva, Jake Summers, Mario Nonino, Nor Pirzkal, Russell E. Ryan, Jr., Rafael Ortiz III , et al. (5 additional authors not shown)

Abstract: With its unprecedented sensitivity and spatial resolution, the James Webb Space Telescope (JWST) has opened a new window for time-domain discoveries in the infrared. Here we report observations in the only field that has received four epochs (spanning 126 days) of JWST NIRCam observations in Cycle 1. This field is towards MACS J0416.1-2403, which is a rich galaxy cluster at redshift z=0.4 and is o… ▽ More With its unprecedented sensitivity and spatial resolution, the James Webb Space Telescope (JWST) has opened a new window for time-domain discoveries in the infrared. Here we report observations in the only field that has received four epochs (spanning 126 days) of JWST NIRCam observations in Cycle 1. This field is towards MACS J0416.1-2403, which is a rich galaxy cluster at redshift z=0.4 and is one of the Hubble Frontier Fields. We have discovered 14 transients from these data. Twelve of these transients happened in three galaxies (with z=0.94, 1.01, and 2.091) crossing a lensing caustic of the cluster,and these transients are highly magnified by gravitational lensing. These 12 transients are likely of similar nature to those previously reported based on the Hubble Space Telescope (HST) data in this field, i.e., individual stars in the highly magnified arcs. However, these twelve could not have been found by HST because they are too red and too faint. The other two transients are associated with background galaxies (z=2.205 and 0.7093) that are only moderately magnified, and they are likely supernovae. They indicate a de-magnified supernova surface density, when monitored at a time cadence of a few months to a ~3--4 micron survey limit of AB ~ 28.5 mag, of ~0.5 per sq. arcmin integrated to z ~ 2. This survey depth is beyond the capability of HST but can be easily reached by JWST. △ Less

Submitted 11 October, 2023; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: ApJS accepted

EPOCHS VII: Discovery of high redshift ($6.5 < z < 12$) AGN candidates in JWST ERO and PEARLS data

Authors: Ignas Juodžbalis, Christopher J. Conselice, Maitrayee Singh, Nathan Adams, Katherine Ormerod, Thomas Harvey, Duncan Austin, Marta Volonteri, Seth H. Cohen, Rolf A. Jansen, Jake Summers, Rogier A. Windhorst, Jordan C. J. D'Silva, Anton M. Koekemoer, Dan Coe, Simon P. Driver, Brenda Frye, Norman A. Grogin, Madeline A. Marshall, Mario Nonino, Nor Pirzkal, Aaron Robotham, Russell E. Ryan, Jr., Rafael Ortiz III, Scott Tompkins , et al. (2 additional authors not shown)

Abstract: We present an analysis of a sample of robust high redshift galaxies selected photometrically from the `blank' fields of the Prime Extragalactic Areas for Reionization Science (PEARLS) survey and Early Release Observations (ERO) data of the James Webb Space Telescope (JWST) with the aim of selecting candidate high redshift active galactic nuclei (AGN). Sources were identified from the parent sample… ▽ More We present an analysis of a sample of robust high redshift galaxies selected photometrically from the `blank' fields of the Prime Extragalactic Areas for Reionization Science (PEARLS) survey and Early Release Observations (ERO) data of the James Webb Space Telescope (JWST) with the aim of selecting candidate high redshift active galactic nuclei (AGN). Sources were identified from the parent sample using a threefold selection procedure, which includes spectral energy distribution (SED) fitting to identify sources that are best fitted by AGN SED templates, a further selection based on the relative performance of AGN and non-AGN models, and finally morphological fitting to identify compact sources of emission, resulting in a purity-oriented procedure. Using this procedure, we identify a sample of nine AGN candidates at $6.5 < z < 12$, from which we constrain their physical properties as well as measure a lower bound on the AGN fraction in this redshift range of $5 \pm 1$\%. As this is an extreme lower limit due to our focus on purity and our SEDs being calibrated for unobscured Type 1 AGN, this demonstrates that AGN are perhaps quite common at this early epoch. The rest-frame UV colors of our candidate objects suggest that these systems are potentially candidate obese black hole galaxies (OBG), or AGN with very little galaxy component. We also investigate emission from our sample sources from fields overlapping with Chandra and VLA surveys, allowing us to place X-ray and 3 GHz radio detection limits on our candidates. Of note is a $z = 11.9$ candidate source exhibiting an abrupt morphological shift in the reddest band as compared to the bluer bands, indicating a potential merger or an unusually strong outflow. △ Less

Submitted 3 August, 2023; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: Accepted by MNRAS, 12 pages, 11 figures, updated to the final accepted version

Hidden giants in JWST's PEARLS: An ultra-massive z=4.26 sub-millimeter galaxy that is invisible to HST

Authors: Ian Smail, Ugne Dudzeviciute, Mark Gurwell, Giovanni G. Fazio, S. P. Willner, A. M. Swinbank, Vinodiran Arumugam, Jake Summers, Seth H. Cohen, Rolf A. Jansen, Rogier A. Windhorst, Ashish Meena, Adi Zitrin, William C. Keel, Dan Coe, Christopher J. Conselice, Jordan C. J. D'Silva, Simon P. Driver, Brenda Frye, Norman A. Grogin, Anton M. Koekemoer, Madeline A. Marshall, Mario Nonino, Nor Pirzkal, Aaron Robotham , et al. (10 additional authors not shown)

Abstract: We present a multi-wavelength analysis using SMA, JCMT, NOEMA, JWST, HST, and SST of two dusty strongly star-forming galaxies, 850.1 and 850.2, seen through the massive cluster lens A1489. These SMA-located sources both lie at z=4.26 and have bright dust continuum emission, but 850.2 is a UV-detected Lyman-break galaxy, while 850.1 is undetected at <2um, even with deep JWST/NIRCam observations. We… ▽ More We present a multi-wavelength analysis using SMA, JCMT, NOEMA, JWST, HST, and SST of two dusty strongly star-forming galaxies, 850.1 and 850.2, seen through the massive cluster lens A1489. These SMA-located sources both lie at z=4.26 and have bright dust continuum emission, but 850.2 is a UV-detected Lyman-break galaxy, while 850.1 is undetected at <2um, even with deep JWST/NIRCam observations. We investigate their stellar, ISM, and dynamical properties, including a pixel-level SED analysis to derive sub-kpc-resolution stellar-mass and Av maps. We find that 850.1 is one of the most massive and highly obscured, Av~5, galaxies known at z>4 with M*~10^11.8 Mo (likely forming at z>6), and 850.2 is one of the least massive and least obscured, Av~1, members of the z>4 dusty star-forming population. The diversity of these two dust-mass-selected galaxies illustrates the incompleteness of galaxy surveys at z>3-4 based on imaging at <2um, the longest wavelengths feasible from HST or the ground. The resolved mass map of 850.1 shows a compact stellar mass distribution, Re(mass)~1kpc, but its expected evolution to z~1.5 and then z~0 matches both the properties of massive, quiescent galaxies at z~1.5 and ultra-massive early-type galaxies at z~0. We suggest that 850.1 is the central galaxy of a group in which 850.2 is a satellite that will likely merge in the near future. The stellar morphology of 850.1 shows arms and a linear bar feature which we link to the active dynamical environment it resides within. △ Less

Submitted 28 June, 2023; originally announced June 2023.

Comments: Submitted to ApJ, comments welcome!

Magellanic System Stars Identified in SMACS J0723.3-7327 James Webb Space Telescope Early Release Observations Images

Authors: Jake Summers, Rogier A. Windhorst, Seth H. Cohen, Rolf A. Jansen, Timothy Carleton, Patrick S. Kamieneski, Benne W. Holwerda, Christopher J. Conselice, Nathan J. Adams, Brenda Frye, Jose M. Diego, Christopher N. A. Willmer, Rafael Ortiz III, Cheng Cheng, Alex Pigarelli, Aaron Robotham, Jordan C. J. D'Silva, Scott Tompkins, Simon P. Driver, Haojing Yan, Dan Coe, Norman Grogin, Anton Koekemoer, Madeline A. Marshall, Nor Pirzkal , et al. (1 additional authors not shown)

Abstract: We identify 71 distant stars in JWST/NIRCam ERO images of the field of galaxy cluster SMACS J0723.3-7327 (SMACS 0723). Given the relatively small ($\sim$$10^{\circ}$) angular separation between SMACS 0723 and the Large Magellanic Cloud, it is likely that these stars are associated with the LMC outskirts or Leading Arm. This is further bolstered by a spectral energy distribution analysis, which sug… ▽ More We identify 71 distant stars in JWST/NIRCam ERO images of the field of galaxy cluster SMACS J0723.3-7327 (SMACS 0723). Given the relatively small ($\sim$$10^{\circ}$) angular separation between SMACS 0723 and the Large Magellanic Cloud, it is likely that these stars are associated with the LMC outskirts or Leading Arm. This is further bolstered by a spectral energy distribution analysis, which suggests an excess of stars at a physical distance of $40-100$ kpc, consistent with being associated with or located behind the Magellanic system. In particular, we find that the overall surface density of stars brighter than 27.0 mag in the field of SMACS 0723 is $\sim$2.3 times that of stars in a blank field with similar galactic latitude (the North Ecliptic Pole Time Domain Field), and that the density of stars in the SMACS 0723 field with SED-derived distances consistent with the Magellanic system is $\sim$6.1 times larger than that of the blank field. The candidate stars at these distances are consistent with a stellar population at the same distance modulus with [Fe/H] $= -1.0$ and an age of $\sim$$5.0$ Gyr. On the assumption that all of the 71 stars are associated with the LMC, then the stellar density of the LMC at the location of the SMACS 0723 field is $\sim$$740$ stars kpc$^{-3}$, which helps trace the density of stars in the LMC outskirts. △ Less

Submitted 1 February, 2024; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: Published in ApJ

Journal ref: ApJ 958 108 (2023)

Spectroscopy of the Supernova H0pe Host Galaxy at Redshift 1.78

Authors: M. Polletta, M. Nonino, B. Frye, A. Gargiulo, S. Bisogni, N. Garuda, D. Thompson, M. Lehnert, M. Pascale, S. P. Willner, P. Kamieneski, R. Leimbach, C. Cheng, D. Coe, S. H. Cohen, C. J. Conselice, L. Dai, J. Diego, H. Dole, S. P. Driver, J. C. J. D'Silva, A. Fontana, N. Foo, L. J. Furtak, N. A. Grogin , et al. (20 additional authors not shown)

Abstract: Supernova (SN) H0pe was discovered as a new transient in James Webb Space Telescope (JWST) NIRCam images of the galaxy cluster PLCK G165.7+67.0 taken as part of the "Prime Extragalactic Areas for Reionization and Lensing Science" (PEARLS) JWST GTO program (# 1176) on 2023 March 30 (AstroNote 2023-96; Frye et al. 2023). The transient is a compact source associated with a background galaxy that is s… ▽ More Supernova (SN) H0pe was discovered as a new transient in James Webb Space Telescope (JWST) NIRCam images of the galaxy cluster PLCK G165.7+67.0 taken as part of the "Prime Extragalactic Areas for Reionization and Lensing Science" (PEARLS) JWST GTO program (# 1176) on 2023 March 30 (AstroNote 2023-96; Frye et al. 2023). The transient is a compact source associated with a background galaxy that is stretched and triply-imaged by the cluster's strong gravitational lensing. This paper reports spectra in the 950-1370 nm observer frame of two of the galaxy's images obtained with Large Binocular Telescope (LBT) Utility Camera in the Infrared (LUCI) in longslit mode two weeks after the \JWST\ observations. The individual average spectra show the [OII] doublet and the Balmer and 4000 Angstrom breaks at redshift z=1.783+/-0.002. The CIGALE best-fit model of the spectral energy distribution indicates that SN H0pe's host galaxy is massive (Mstar~6x10^10 Msun after correcting for a magnification factor ~7) with a predominant intermediate age (~2 Gyr) stellar population, moderate extinction, and a magnification-corrected star formation rate ~13 Msun/yr, consistent with being below the main sequence of star formation. These properties suggest that H0pe might be a type Ia SN. Additional observations of SN H0pe and its host recently carried out with JWST (JWST-DD-4446; PI: B. Frye) will be able to both determine the SN classification and confirm its association with the galaxy analyzed in this work. △ Less

Submitted 21 June, 2023; originally announced June 2023.

Comments: 6 pages, 4 figures, Letter accepted for publication in Astronomy & Astrophysics

Journal ref: A&A 675, L4 (2023)

Dynamic Wisp Removal in JWST NIRCam Images

Authors: A. S. G. Robotham, J. C. J. D'Silva, R. A. Windhorst, R. A. Jansen, J. Summers, S. P. Driver, C. N. A. Wilmer, S. Bellstedt

Abstract: The James Webb Space Telescope (JWST) near-infrared camera (NIRCam) has been found to exhibit serious wisp-like structures in four of its eight short-wavelength detectors. The exact structure and strength of these wisps is highly variable with the position and orientation of JWST, so the use of static templates is non-optimal. Here we investigate a dynamic strategy to mitigate these wisps using lo… ▽ More The James Webb Space Telescope (JWST) near-infrared camera (NIRCam) has been found to exhibit serious wisp-like structures in four of its eight short-wavelength detectors. The exact structure and strength of these wisps is highly variable with the position and orientation of JWST, so the use of static templates is non-optimal. Here we investigate a dynamic strategy to mitigate these wisps using long-wavelength reference images. Based on a suite of experiments where we embed a worst-case scenario median-stacked wisp into wisp-free images, we define suitable parameters for our wisp removal strategy. Using this setup we re-process wisp-affected public Prime Extragalactic Areas for Reionization and Lensing Science (PEARLS) data in the North Ecliptic Pole Time Domain Field (NEP-TDF), resulting in significant visual improvement in our detector frames and reduced noise in the final stacked images. △ Less

Submitted 13 July, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: 20 pages, 13 figures, accepted to PASP

EPOCHS Paper II: The Ultraviolet Luminosity Function from $7.5<z<13.5$ using 180 square arcminutes of deep, blank-fields from the PEARLS Survey and Public JWST data

Authors: Nathan J. Adams, Christopher J. Conselice, Duncan Austin, Thomas Harvey, Leonardo Ferreira, James Trussler, Ignas Juodzbalis, Qiong Li, Rogier Windhorst, Seth H. Cohen, Rolf Jansen, Jake Summers, Scott Tompkins, Simon P. Driver, Aaron Robotham, Jordan C. J. D'Silva, Haojing Yan, Dan Coe, Brenda Frye, Norman A. Grogin, Anton M. Koekemoer, Madeline A. Marshall, Nor Pirzkal, Russell E. Ryan, Jr., W. Peter Maksym , et al. (12 additional authors not shown)

Abstract: We present an analysis of the ultraviolet luminosity function (UV LF) and star formation rate density of distant galaxies ($7.5 < z < 13.5$) in the `blank' fields of the Prime Extragalactic Areas for Reionization Science (PEARLS) survey combined with Early Release Science (ERS) data from the CEERS, GLASS, NGDEEP surveys/fields and the first data release of JADES. We use strict quality cuts on EAZY… ▽ More We present an analysis of the ultraviolet luminosity function (UV LF) and star formation rate density of distant galaxies ($7.5 < z < 13.5$) in the `blank' fields of the Prime Extragalactic Areas for Reionization Science (PEARLS) survey combined with Early Release Science (ERS) data from the CEERS, GLASS, NGDEEP surveys/fields and the first data release of JADES. We use strict quality cuts on EAZY photometric redshifts to obtain a reliable selection and characterisation of high-redshift ($z>6.5$) galaxies from a consistently processed set of deep, near-infrared imaging. Within an area of 180 arcmin$^{2}$, we identify 1046 candidate galaxies at redshifts $z>6.5$ and we use this sample to study the ultraviolet luminosity function (UV LF) in four redshift bins between $7.5<z<13.5$. The measured number density of galaxies at $z=8$ and $z=9$ match those of past observations undertaken by the {\em Hubble Space Telescope} (HST). Our $z=10.5$ measurements lie between early JWST results and past HST results, indicating cosmic variance may be the cause of previous high density measurements. However, number densities of UV luminous galaxies at $z=12.5$ are high compared to predictions from simulations. When examining the star formation rate density of galaxies at this time period, our observations are still largely consistent with a constant star formation efficiency, are slightly lower than previous early estimations using JWST and support galaxy driven reionization at $z\leq8$. △ Less

Submitted 6 March, 2024; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 28 Pages, 4 Tables, 10 Figures, V2 updated paper: Accepted in ApJ, analysis now includes completed PEARLS NEP-TDF Field and JADES DR1, updated image calibrations for all fields, more detailed completeness analysis conducted. V3 updated paper: corrected minor issues in acknowledgements section

Resource Specifications for Resource-Manipulating Programs

Authors: Zachary Grannan, Alexander J. Summers

Abstract: Specifications for modular program verifiers are expressed as constraints on program states (e.g. preconditions) and relations on program states (e.g. postconditions). For programs whose domain is managing resources of any kind (e.g. cryptocurrencies), such state-based specifications must make explicit properties that a human would implicitly understand for free. For example, it's clear that depos… ▽ More Specifications for modular program verifiers are expressed as constraints on program states (e.g. preconditions) and relations on program states (e.g. postconditions). For programs whose domain is managing resources of any kind (e.g. cryptocurrencies), such state-based specifications must make explicit properties that a human would implicitly understand for free. For example, it's clear that depositing into your bank account will not change other balances, but classically this must be stated as a frame condition. As a result, classical specifications for resource-manipulating programs quickly become verbose and difficult to interpret, write and debug. In this paper, we present a novel methodology that extends a modular program verifier to support user-defined first-class resources, allowing resource-related operations and properties to be expressed directly and eliminating the need to reify implicit knowledge in the specifications. We implement our methodology as an extension of the program verifier Prusti, and use it to verify real-world smart contracts and a key part of a blockchain application. Our evaluation demonstrates that specifications written with our methodology are more concise and substantially simpler than specifications written purely in terms of program states. △ Less

Submitted 18 April, 2024; v1 submitted 24 April, 2023; originally announced April 2023.

Are JWST/NIRCam color gradients in the lensed z=2.3 dusty star-forming galaxy El Anzuelo due to central dust attenuation or inside-out galaxy growth?

Authors: Patrick S. Kamieneski, Brenda L. Frye, Massimo Pascale, Seth H. Cohen, Rogier A. Windhorst, Rolf A. Jansen, Min S. Yun, Cheng Cheng, Jake S. Summers, Timothy Carleton, Kevin C. Harrington, Jose M. Diego, Haojing Yan, Anton M. Koekemoer, Christopher N. A. Willmer, Andreea Petric, Lukas J. Furtak, Nicholas Foo, Christopher J. Conselice, Dan Coe, Simon P. Driver, Norman A. Grogin, Madeline A. Marshall, Nor Pirzkal, Aaron S. G. Robotham , et al. (2 additional authors not shown)

Abstract: Gradients in the mass-to-light ratio of distant galaxies impede our ability to characterize their size and compactness. The long-wavelength filters of $JWST$'s NIRCam offer a significant step forward. For galaxies at Cosmic Noon ($z\sim2$), this regime corresponds to the rest-frame near-infrared, which is less biased towards young stars and captures emission from the bulk of a galaxy's stellar pop… ▽ More Gradients in the mass-to-light ratio of distant galaxies impede our ability to characterize their size and compactness. The long-wavelength filters of $JWST$'s NIRCam offer a significant step forward. For galaxies at Cosmic Noon ($z\sim2$), this regime corresponds to the rest-frame near-infrared, which is less biased towards young stars and captures emission from the bulk of a galaxy's stellar population. We present an initial analysis of an extraordinary lensed dusty star-forming galaxy (DSFG) at $z=2.3$ behind the $El~Gordo$ cluster ($z=0.87$), named $El~Anzuelo$ ("The Fishhook") after its partial Einstein-ring morphology. The FUV-NIR SED suggests an intrinsic star formation rate of $81^{+7}_{-2}~M_\odot~{\rm yr}^{-1}$ and dust attenuation $A_V\approx 1.6$, in line with other DSFGs on the star-forming main sequence. We develop a parametric lens model to reconstruct the source-plane structure of dust imaged by the Atacama Large Millimeter/submillimeter Array, far-UV to optical light from $Hubble$, and near-IR imaging with 8 filters of $JWST$/NIRCam, as part of the Prime Extragalactic Areas for Reionization and Lensing Science (PEARLS) program. The source-plane half-light radius is remarkably consistent from $\sim 1-4.5~μ$m, despite a clear color gradient where the inferred galaxy center is redder than the outskirts. We interpret this to be the result of both a radially-decreasing gradient in attenuation and substantial spatial offsets between UV- and IR-emitting components. A spatial decomposition of the SED reveals modestly suppressed star formation in the inner kiloparsec, which suggests that we are witnessing the early stages of inside-out quenching. △ Less

Submitted 23 July, 2023; v1 submitted 9 March, 2023; originally announced March 2023.

Comments: 29 pages, 11 figures, 5 tables. Accepted for publication in ApJ

PEARLS: Low Stellar Density Galaxies in the El Gordo Cluster Observed with JWST

Authors: Timothy Carleton, Seth H. Cohen, Brenda Frye, Alex Pigarelli, Jiashuo Zhang, Rogier A. Windhorst, Jose M. Diego, Christopher J. Conselice, Cheng Cheng, Simon P. Driver, Nicholas Foo, Rachana A. Bhatawdekar, Patrick Kamieneski, Rolf A. Jansen, Haojing Yan, Jake Summers, Aaron Robotham, Christopher N. A. Willmer, Anton Koekemoer, Scott Tompkins, Dan Coe, Norman Grogin, Madeline A. Marshall, Mario Nonino, Nor Pirzkal , et al. (1 additional authors not shown)

Abstract: A full understanding of how unusually large "Ultra Diffuse Galaxies" (UDGs) fit into our conventional understanding of dwarf galaxies remains elusive, despite the large number of objects identified locally. A natural extension of UDG research is the study of similar galaxies at higher redshift to establish how their properties may evolve over time. However, this has been a challenging task given h… ▽ More A full understanding of how unusually large "Ultra Diffuse Galaxies" (UDGs) fit into our conventional understanding of dwarf galaxies remains elusive, despite the large number of objects identified locally. A natural extension of UDG research is the study of similar galaxies at higher redshift to establish how their properties may evolve over time. However, this has been a challenging task given how severely systematic effects and cosmological surface brightness dimming inhibit our ability to study low-surface brightness galaxies at high-$z$. Here, we present an identification of low stellar surface density galaxies (LDGs), likely the progenitors of local UDGs, at moderate redshift with deep near-IR observations of the El Gordo cluster at $z = 0.87$ with JWST. By stacking 8 NIRCAM filters, we are able to achieve an apparent surface brightness sensitivity of $24.59$ mag arcsec$^{-2}$, faint enough to be complete to the bright end of the LDG population. Our analysis identifies significant differences between this population and local UDGs, such as their color and size distributions, which suggest that UDG progenitors are bluer and more extended at high-$z$ than at $z = 0$. This suggests that multiple mechanisms are responsible for UDG formation and that prolonged transformation of cluster dwarfs is not a primary UDG formation mechanism at high-$z$. Furthermore, we find a slight overabundance of LDGs in El Gordo, and, in contrast to findings in local clusters, our analysis does not show a deficit of LDGs in the center of El Gordo, implying that tidal destruction of LDGs is significant between $z = 0.87$ and $z = 0$. △ Less

Submitted 17 August, 2023; v1 submitted 8 March, 2023; originally announced March 2023.

Comments: Accepted to ApJ

Paper 1: The JWST PEARLS View of the El Gordo Galaxy Cluster and of the Structure It Magnifies

Authors: Brenda L. Frye, Massimo Pascale, Nicholas Foo, Reagen Leimbach, Nikhil Garuda, Paulina Soto Robles, Jake Summers, Carlos Diaz, Patrick Kamieneski, Lukas Furtak, Seth Cohen, Jose Diego, Benjamin Beauchesne, Rogier Windhorst, Steve Willner, Anton M. Koekemoer, Adi Zitrin, Gabriel Caminha, Karina Caputi, Dan Coe, Christopher J. Conselice, Liang Dai, Herve Dole, Simon Driver, Norman Grogin , et al. (19 additional authors not shown)

Abstract: The massive galaxy cluster El Gordo (z=0.87) imprints multitudes of gravitationally lensed arcs onto James Webb Space Telescope (JWST) Near-Infrared Camera (NIRCam) images. Eight bands of NIRCam imaging were obtained in the ``Prime Extragalactic Areas for Reionization and Lensing Science'' (``PEARLS'') program. PSF-matched photometry across Hubble Space Telescope (HST) and NIRCam filters supplies… ▽ More The massive galaxy cluster El Gordo (z=0.87) imprints multitudes of gravitationally lensed arcs onto James Webb Space Telescope (JWST) Near-Infrared Camera (NIRCam) images. Eight bands of NIRCam imaging were obtained in the ``Prime Extragalactic Areas for Reionization and Lensing Science'' (``PEARLS'') program. PSF-matched photometry across Hubble Space Telescope (HST) and NIRCam filters supplies new photometric redshifts. A new light-traces-mass lens model based on 56 image multiplicities identifies the two mass peaks and yields a mass estimate within 500 kpc of ~(7.0 +/- 0.30) x 10^14 Msun. A search for substructure in the 140 cluster members with spectroscopic redshifts confirms the two main mass components. The southeastern mass peak that contains the BCG is more tightly bound than the northwestern one. The virial mass within 1.7 Mpc is (5.1 +/- 0.60) x 10^14 Msun, lower than the lensing mass. A significant transverse velocity component could mean the virial mass is underestimated. We contribute one new member to the previously known z=4.32 galaxy group. Intrinsic (delensed) positions of the five secure group members span a physical extent of ~60 kpc. Thirteen additional candidates selected by spectroscopic/photometric constraints are small and faint with a mean intrinsic luminosity ~2.2 mag fainter than L*. NIRCam imaging admits a fairly wide range of brightnesses and morphologies for the group members, suggesting a more diverse galaxy population in this galaxy overdensity. △ Less

Submitted 3 June, 2023; v1 submitted 6 March, 2023; originally announced March 2023.

Comments: 24 pages, accepted by ApJ

Search for $B$ Mesogenesis at BABAR

Authors: BABAR Collaboration, J. P. Lees, V. Poireau, V. Tisserand, E. Grauges, A. Palano, G. Eigen, D. N. Brown, Yu. G. Kolomensky, M. Fritsch, H. Koch, R. Cheaib, C. Hearty, T. S. Mattison, J. A. McKenna, R. Y. So, V. E. Blinov, A. R. Buzykaev, V. P. Druzhinin, V. B. Golubev, E. A. Kozyrev, E. A. Kravchenko, A. P. Onuchin, S. I. Serednyakov, Yu. I. Skovpen , et al. (218 additional authors not shown)

Abstract: A new mechanism has been proposed to simultaneously explain the presence of dark matter and the matter-antimatter asymmetry in the universe. This scenario predicts exotic $B$ meson decays into a baryon and a dark sector anti-baryon ($ψ_D$) with branching fractions accessible at $B$ factories. We present a search for $B \rightarrow Λψ_D$ decays using data collected by the $BABAR$ experiment at SLAC… ▽ More A new mechanism has been proposed to simultaneously explain the presence of dark matter and the matter-antimatter asymmetry in the universe. This scenario predicts exotic $B$ meson decays into a baryon and a dark sector anti-baryon ($ψ_D$) with branching fractions accessible at $B$ factories. We present a search for $B \rightarrow Λψ_D$ decays using data collected by the $BABAR$ experiment at SLAC. This reaction is identified by fully reconstructing the accompanying $B$ meson and requiring the presence of a single $Λ$ baryon in the remaining particles. No significant signal is observed, and bounds on the $B \rightarrow Λψ_D$ branching fraction are derived in the range $0.13 - 5.2\times 10^{-5}$ for $1.0 < m_{ψ_D} < 4.2$ GeV/$c^{2}$. These results set strong constraints on the parameter space allowed by the theory. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Journal ref: PHYS. REV. D 107, 092001 (2023)

JWST's PEARLS: TN J1338-1942 -- I. Extreme jet triggered star-formation in a $z=4.11$ luminous radio galaxy

Authors: Kenneth J. Duncan, Rogier A. Windhorst, Anton M. Koekemoer, Huub J. A. Röttgering, Seth H. Cohen, Rolf A. Jansen, Jake Summers, Scott Tompkins, Taylor A. Hutchison, Christopher J. Conselice, Simon P. Driver, Haojing Yan, Nathan J. Adams, Cheng Cheng, Dan Coe, Jose M. Diego, Hervé Dole, Brenda Frye, Hansung B. Gim, Norman A. Grogin, Benne W. Holwerda, Jeremy Lim, Madeline A. Marshall, Mario Nonino, Nor Pirzkal , et al. (3 additional authors not shown)

Abstract: We present the first JWST observations of the $z=4.11$ luminous radio galaxy TN J1338-1942, obtained as part of the ``Prime Extragalactic Areas for Reionization and Lensing Science'' (``PEARLS'') project. Our NIRCam observations, designed to probe the key rest-frame optical continuum and emission line features at this redshift, enable resolved spectral energy distribution modelling that incorporat… ▽ More We present the first JWST observations of the $z=4.11$ luminous radio galaxy TN J1338-1942, obtained as part of the ``Prime Extragalactic Areas for Reionization and Lensing Science'' (``PEARLS'') project. Our NIRCam observations, designed to probe the key rest-frame optical continuum and emission line features at this redshift, enable resolved spectral energy distribution modelling that incorporates both a range of stellar population assumptions and radiative shock models. With an estimated stellar mass of $\log_{10}(M/\text{M}_{\odot}) \sim 10.9$, TN J1338--1942 is confirmed to be one of the most massive galaxies known at this epoch. Our observations also reveal extremely high equivalent-width nebular emission coincident with the luminous AGN jets that is best fit by radiative shocks surrounded by extensive recent star-formation. We estimate the total star-formation rate (SFR) could be as high as $\sim1600\,\text{M}_{\odot}\,\text{yr}^{-1}$, with the SFR that we attribute to the jet induced burst conservatively $\gtrsim500\,\text{M}_{\odot}\,\text{yr}^{-1}$. The mass-weighted age of the star-formation, $t_{\text{mass}} <4$ Myr, is consistent with the likely age of the jets responsible for the triggered activity and significantly younger than that measured in the core of the host galaxy. The extreme scale of the potential jet-triggered star-formation activity indicates the potential importance of positive AGN feedback in the earliest stages of massive galaxy formation, with our observations also illustrating the extraordinary prospects for detailed studies of high-redshift galaxies with JWST. △ Less

Submitted 25 April, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: 17 pages, 15 figures, Accepted for publication in MNRAS after minor revisions

Compositional Reasoning for Side-effectful Iterators and Iterator Adapters

Authors: Aurel Bílý, Jonas Hansen, Peter Müller, Alexander J. Summers

Abstract: Iteration is a programming operation that traditionally refers to visiting the elements of a data structure in sequence. However, modern programming systems such as Rust, Java, and C# generalise iteration far beyond the traditional use case. They allow iterators to be parameterised with (potentially side-effectful) closures and support the composition of iterators to form iterator chains, where ea… ▽ More Iteration is a programming operation that traditionally refers to visiting the elements of a data structure in sequence. However, modern programming systems such as Rust, Java, and C# generalise iteration far beyond the traditional use case. They allow iterators to be parameterised with (potentially side-effectful) closures and support the composition of iterators to form iterator chains, where each iterator in the chain consumes values from its predecessor and produces values for its successor. Such generalisations pose three major challenges for modular specification and verification of iterators and the client code using them: (1) How can parameterised iterators be specified modularly and their (accumulated) side effects reasoned about? (2) How can the behaviour of an iterator chain be derived from the specifications of its component iterators? (3) How can proofs about such iterators be automated? We present the first methodology for the modular specification and verification of advanced iteration idioms with side-effectful computations. It addresses the three challenges above using a combination of inductive two-state invariants, higher-order closure contracts, and separation logic-like ownership. We implement and our methodology in a state-of-the-art SMT-based Rust verifier. Our evaluation shows that our methodology is sufficiently expressive to handle advanced and idiomatic iteration idioms and requires modest annotation overhead. △ Less

Submitted 18 October, 2022; originally announced October 2022.

MSC Class: 68Q60 ACM Class: F.3.1

JWST's PEARLS: A JWST/NIRCam view of ALMA sources

Authors: Cheng Cheng, Jia-Sheng Huang, Ian Smail, Haojing Yan, Seth H. Cohen, Rolf A. Jansen, Rogier A. Windhorst, Zhiyuan Ma, Anton Koekemoer, Christopher N. A. Willmer, S. P. Willner, Jose M. Diego, Brenda Frye, Christopher J. Conselice, Leonardo Ferreira, Andreea Petric, Min Yun, Hansung B. Gim, Maria del Carmen Polletta, Kenneth J. Duncan, Rachel Honor, Benne W. Holwerda, Huub J. A. Röttgering, Nimish P. Hathi, Patrick S. Kamieneski , et al. (11 additional authors not shown)

Abstract: We report the results of James Webb Space Telescope/NIRCam observations of 19 (sub)millimeter (submm/mm) sources detected by the Atacama Large Millimeter Array (ALMA). The accurate ALMA positions allowed unambiguous identifications of their NIRCam counterparts. Taking gravitational lensing into account, these represent 16 distinct galaxies in three fields and constitute the largest sample of its k… ▽ More We report the results of James Webb Space Telescope/NIRCam observations of 19 (sub)millimeter (submm/mm) sources detected by the Atacama Large Millimeter Array (ALMA). The accurate ALMA positions allowed unambiguous identifications of their NIRCam counterparts. Taking gravitational lensing into account, these represent 16 distinct galaxies in three fields and constitute the largest sample of its kind to date. The counterparts' spectral energy distributions from rest-frame ultraviolet to near infrared provide photometric redshifts ($1<z<4.5$) and stellar masses ($M_*>10^{10.5}$ Msol), which are similar to sub-millimeter galaxy (SMG) hosts studied previously. However, our sample is fainter in submm/mm than the classic SMG samples are, and our sources exhibit a wider range of properties. They have dust-embedded star-formation rates as low as 10 Msol yr$^{-1}$, and the sources populate both the star-forming main sequence and the quiescent categories. The deep NIRCam data allow us to study the rest-frame near-IR morphologies. Excluding two multiply imaged systems and one quasar, the majority of the remaining sources are disk-like and show either little or no disturbance. This suggests that secular growth is a potential route for the assembly of high-mass disk galaxies. While a few hosts have large disks, the majority have small disks (median half-mass radius of 1.6 kpc). At this time, it is unclear whether this is due to the prevalence of small disks at these redshifts or some unknown selection effects of deep ALMA observations. A larger sample of ALMA sources with NIRCam observations will be able to address this question. △ Less

Submitted 9 December, 2022; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: 19 pages, 11 figures, accepted by ApJL

JWST's PEARLS: a new lens model for ACT-CL J0102$-$4915, "EL Gordo'', and the first red supergiant star at cosmological distances discovered by JWST

Authors: Jose M. Diego, Ashish K. Meena, Nathan J. Adams, Tom Broadhurst, Liang Dai, Dan Coe, Brenda Frye, Patrick Kelly, Anton M. Koekemoer, Massimo Pascale, S. P. Willner, Erik Zackrisson, Adi Zitrin, Rogier A. Windhorst, Seth H. Cohen, Rolf A. Jansen, Jake Summers, Scott Tompkins, Christopher J. Conselice, Simon P. Driver, Haojing Yan, Norman Grogin, Madeline A. Marshall, Nor Pirzkal, Aaron Robotham , et al. (5 additional authors not shown)

Abstract: The first JWST data on the massive colliding cluster El Gordo confirm 23 known families of multiply lensed images and identify 8 new members of these families. Based on these families, which have been confirmed spectroscopically by MUSE, we derived an initial lens model. This model guided the identification of 37 additional families of multiply lensed galaxies, among which 28 are entirely new syst… ▽ More The first JWST data on the massive colliding cluster El Gordo confirm 23 known families of multiply lensed images and identify 8 new members of these families. Based on these families, which have been confirmed spectroscopically by MUSE, we derived an initial lens model. This model guided the identification of 37 additional families of multiply lensed galaxies, among which 28 are entirely new systems, and 9 were previously known. The initial lens model determined geometric redshifts for the 37 new systems. The geometric redshifts agree reasonably well with spectroscopic or photometric redshifts when those are available. The geometric redshifts enable two additional models that include all 60 families of multiply lensed galaxies spanning a redshift range $2<z<6$. The derived dark-matter distribution confirms the double-peak configuration of mass found by earlier work with the southern and northern clumps having similar masses. We confirm that El Gordo is the most massive known cluster at $z>0.8$ and has an estimated virial mass close the maximum mass allowed by standard cosmological models. The JWST images also reveal the presence of small-mass perturbers that produce small lensing distortions. The smallest of these is consistent with being a dwarf galaxy at $z=0.87$ and has an estimated mass of $3.8\times10^9$~\Msol, making it the smallest substructure found at $z>0.5$. The JWST images also show several candidate caustic-crossing events. One of them is detected at high significance at the expected position of the critical curve and is likely a red supergiant star at $z=2.1878$. This would be the first red supergiant found at cosmological distances. The cluster lensing should magnify background objects at $z>6$, making more of them visible than in blank fields of similar size, but there appears to be a deficiency of such objects. △ Less

Submitted 12 October, 2022; originally announced October 2022.

Comments: 27 pages, 21 figures

Journal ref: A&A 672, A3 (2023)

Multiple Coulomb Scattering of muons in Lithium Hydride

Authors: M. Bogomilov, R. Tsenov, G. Vankova-Kirilova, Y. P. Song, J. Y. Tang, Z. H. Li, R. Bertoni, M. Bonesini, F. Chignoli, R. Mazza, V. Palladino, A. de Bari, D. Orestano, L. Tortora, Y. Kuno, H. Sakamoto, A. Sato, S. Ishimoto, M. Chung, C. K. Sung, F. Filthaut, M. Fedorov, D. Jokovic, D. Maletic, M. Savic , et al. (112 additional authors not shown)

Abstract: Multiple Coulomb Scattering (MCS) is a well known phenomenon occurring when charged particles traverse materials. Measurements of muons traversing low $Z$ materials made in the MuScat experiment showed that theoretical models and simulation codes, such as GEANT4 (v7.0), over-estimated the scattering. The Muon Ionization Cooling Experiment (MICE) measured the cooling of a muon beam traversing a liq… ▽ More Multiple Coulomb Scattering (MCS) is a well known phenomenon occurring when charged particles traverse materials. Measurements of muons traversing low $Z$ materials made in the MuScat experiment showed that theoretical models and simulation codes, such as GEANT4 (v7.0), over-estimated the scattering. The Muon Ionization Cooling Experiment (MICE) measured the cooling of a muon beam traversing a liquid hydrogen or lithium hydride (LiH) energy absorber as part of a programme to develop muon accelerator facilities, such as a Neutrino Factory or a Muon Collider. The energy loss and MCS that occur in the absorber material are competing effects that alter the performance of the cooling channel. Therefore measurements of MCS are required in order to validate the simulations used to predict the cooling performance in future accelerator facilities. We report measurements made in the MICE apparatus of MCS using a LiH absorber and muons within the momentum range 160 to 245 MeV/c. The measured RMS scattering width is about 9% smaller than that predicted by the approximate formula proposed by the Particle Data Group. Data at 172, 200 and 240 MeV/c are compared to the GEANT4 (v9.6) default scattering model. These measurements show agreement with this more recent GEANT4 (v9.6) version over the range of incident muon momenta. △ Less

Submitted 21 September, 2022; originally announced September 2022.

Comments: 20 pages, 14 figures, journal

Report number: RAL-P-2022-001

JWST's PEARLS: Prime Extragalactic Areas for Reionization and Lensing Science: Project Overview and First Results

Authors: Rogier A. Windhorst, Seth H. Cohen, Rolf A. Jansen, Jake Summers, Scott Tompkins, Christopher J. Conselice, Simon P. Driver, Haojing Yan, Dan Coe, Brenda Frye, Norman Grogin, Anton Koekemoer, Madeline A. Marshall, Rosalia O'Brien, Nor Pirzkal, Aaron Robotham, Russell E. Ryan, Jr., Christopher N. A. Willmer, Timothy Carleton, Jose M. Diego, William C. Keel, Paolo Porto, Caleb Redshaw, Sydney Scheller, Stephen M. Wilkins , et al. (60 additional authors not shown)

Abstract: We give an overview and describe the rationale, methods, and first results from NIRCam images of the JWST "Prime Extragalactic Areas for Reionization and Lensing Science" ("PEARLS") project. PEARLS uses up to eight NIRCam filters to survey several prime extragalactic survey areas: two fields at the North Ecliptic Pole (NEP); seven gravitationally lensing clusters; two high redshift proto-clusters;… ▽ More We give an overview and describe the rationale, methods, and first results from NIRCam images of the JWST "Prime Extragalactic Areas for Reionization and Lensing Science" ("PEARLS") project. PEARLS uses up to eight NIRCam filters to survey several prime extragalactic survey areas: two fields at the North Ecliptic Pole (NEP); seven gravitationally lensing clusters; two high redshift proto-clusters; and the iconic backlit VV 191 galaxy system to map its dust attenuation. PEARLS also includes NIRISS spectra for one of the NEP fields and NIRSpec spectra of two high-redshift quasars. The main goal of PEARLS is to study the epoch of galaxy assembly, AGN growth, and First Light. Five fields, the JWST NEP Time-Domain Field (TDF), IRAC Dark Field (IDF), and three lensing clusters, will be observed in up to four epochs over a year. The cadence and sensitivity of the imaging data are ideally suited to find faint variable objects such as weak AGN, high-redshift supernovae, and cluster caustic transits. Both NEP fields have sightlines through our Galaxy, providing significant numbers of very faint brown dwarfs whose proper motions can be studied. Observations from the first spoke in the NEP TDF are public. This paper presents our first PEARLS observations, their NIRCam data reduction and analysis, our first object catalogs, the 0.9-4.5 $μ$m galaxy counts and Integrated Galaxy Light. We assess the JWST sky brightness in 13 NIRCam filters, yielding our first constraints to diffuse light at 0.9-4.5 μm. PEARLS is designed to be of lasting benefit to the community. △ Less

Submitted 28 November, 2022; v1 submitted 9 September, 2022; originally announced September 2022.

Comments: Accepted to AJ, comments welcome. We ask anyone who uses our public PEARLS (NEP TDF) data to refer to this overview paper

Webb's PEARLS: Bright 1.5--2.0 micron Dropouts in the Spitzer/IRAC Dark Field

Authors: Haojing Yan, Seth H. Cohen, Rogier A. Windhorst, Rolf A. Jansen, Zhiyuan Ma, John F. Beacom, Cheng Cheng, Jia-Sheng Huang, Norman A. Grogin, S. P. Willner, Min Yun, Heidi B. Hammel, Stefanie N. Milam, Christopher J. Conselice, Simon P. Driver, Brenda Frye, Madeline A. Marshall, Anton Koekemoer, Christopher N. A. Willmer, Aaron Robotham, Jordan C. J. D'Silva, Jake Summers, Chenxiaoji Ling, Jeremy Lim, Kevin Harrington , et al. (13 additional authors not shown)

Abstract: Using the first epoch of four-band NIRCam observations obtained by the James Webb Space Telescope (JWST) Prime Extragalactic Areas for Reionization and Lensing Science Program in the Spitzer IRAC Dark Field, we search for F150W and F200W dropouts. In 14.2 arcmin^2, we have found eight F150W dropouts and eight F200W dropouts, all brighter than 27.5 mag (the brightest being ~24 mag) in the band to t… ▽ More Using the first epoch of four-band NIRCam observations obtained by the James Webb Space Telescope (JWST) Prime Extragalactic Areas for Reionization and Lensing Science Program in the Spitzer IRAC Dark Field, we search for F150W and F200W dropouts. In 14.2 arcmin^2, we have found eight F150W dropouts and eight F200W dropouts, all brighter than 27.5 mag (the brightest being ~24 mag) in the band to the red side of the break. As they are detected in multiple bands, these must be real objects. Their nature, however, is unclear, and characterizing their properties is important for realizing the full potential of JWST. If the observed color decrements are due to the Lyman break, these objects should be at z >~ 11.7 and z >~ 15.4, respectively. The color diagnostics show that at least four F150W dropouts are far away from the usual contaminators encountered in dropout searches (red galaxies at much lower redshifts or brown dwarf stars). While the diagnostics of the F200W dropouts are less certain due to the limited number of passbands, at least one of them is likely not a known type of contaminant, and the rest are consistent with either high-redshift galaxies with evolved stellar populations or old galaxies at z ~ 3 to 8. If a significant fraction of our dropouts are indeed at z ~ 12, we have to face the severe problem of explaining their high luminosities and number densities. Spectroscopic identifications of such objects are urgently needed. △ Less

Submitted 7 December, 2022; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: Accepted for publication in ApJL

JWST's PEARLS: dust attenuation and gravitational lensing in the backlit-galaxy system VV 191

Authors: William C. Keel, Rogier A. Windhorst, Rolf A. Jansen, Seth H. Cohen, Jake Summers, Benne Holwerda, Sarah T. Bradford, Clayton D. Robertson, Giovanni Ferrami, Stuart Wyithe, Haojing Yan, Christopher J. Conselice, Simon P. Driver, Aaron Robotham, Norman A. Grogin, Christopher N. A. Willmer, Anton M. Koekemoer, Brenda L. Frye, Nimish P. Hathi, Russell E. Ryan, Jr., Nor Pirzkal, Madeline A. Marshall, Dan Coe, Jose M. Diego, Thomas J. Broadhurst , et al. (6 additional authors not shown)

Abstract: We derive the spatial and wavelength behavior of dust attenuation in the multiple-armed spiral galaxy VV191b using backlighting by the superimposed elliptical system VV191a in a pair with an exceptionally favorable geometry for this measurement. Imaging using JWST and HST spans the wavelength range 0.3-4.5 microns with high angular resolution, tracing the dust in detail from 0.6 to 1.5 microns. Di… ▽ More We derive the spatial and wavelength behavior of dust attenuation in the multiple-armed spiral galaxy VV191b using backlighting by the superimposed elliptical system VV191a in a pair with an exceptionally favorable geometry for this measurement. Imaging using JWST and HST spans the wavelength range 0.3-4.5 microns with high angular resolution, tracing the dust in detail from 0.6 to 1.5 microns. Distinct dust lanes continue well beyond the bright spiral arms, and trace a complex web, with a very sharp radial cutoff near 1.7 Petrosian radii. We present attenuation profiles and coverage statistics in each band at radii 14-21 kpc. We derive the attenuation law with wavelength; the data both within and between the dust lanes clearly favor a stronger reddening behavior (R ~ 2.0 between 0.6 and 0.9 microns, approaching unity by 1.5 microns) than found for starbursts and star-forming regions of galaxies. Power-law extinction behavior lambda^(-beta) gives beta=2.1 from 0.6-0.9 microns. R decreases at increasing wavelengths (R~1.1 between 0.9 and 1.5 microns), while beta steepens to 2.5. Mixing regions of different column density flattens the wavelength behavior, so these results suggest a different grain population than in our vicinity. The NIRCam images reveal a lens arc and counterimage from a background galaxy at z~1, spanning 90 degrees azimuthally at 2.8" from the foreground elliptical galaxy nucleus, and an additional weakly-lensed galaxy. The lens model and imaging data give a mass/light ratio 7.6 in solar units within the Einstein radius 2.0 kpc. △ Less

Submitted 21 February, 2023; v1 submitted 30 August, 2022; originally announced August 2022.

Comments: Accepted by Astron. J. Analysis redone since submission, using updated JWST calibrations. Dust reddening behavior is steeper with wavelength and lensed galaxy redshift lower than we first derived

Measurements of the branching fraction, isospin asymmetry, and lepton-universality ratio in $B \to J/ψK$ decays at Belle II

Authors: Belle II Collaboration, F. Abudinén, I. Adachi, R. Adak, K. Adamczyk, L. Aggarwal, P. Ahlburg, H. Ahmed, J. K. Ahn, H. Aihara, N. Akopov, A. Aloisio, F. Ameli, L. Andricek, N. Anh Ky, D. M. Asner, H. Atmacan, V. Aulchenko, T. Aushev, V. Aushev, T. Aziz, V. Babu, S. Bacher, H. Bae, S. Baehr , et al. (570 additional authors not shown)

Abstract: We report a study of $B \to J/ψ(\ell^{+}\ell^{-})K$ decays, where $\ell$ represents an electron or a muon, using $e^{+}e^{-}$ collisions at the $Υ(4S)$ resonance. The data were collected by the Belle II experiment at the SuperKEKB asymmetric-energy collider during 2019-2021, corresponding to an integrated luminosity of $189$ fb$^{-1}$. The measured quantities are the branching fractions (… ▽ More We report a study of $B \to J/ψ(\ell^{+}\ell^{-})K$ decays, where $\ell$ represents an electron or a muon, using $e^{+}e^{-}$ collisions at the $Υ(4S)$ resonance. The data were collected by the Belle II experiment at the SuperKEKB asymmetric-energy collider during 2019-2021, corresponding to an integrated luminosity of $189$ fb$^{-1}$. The measured quantities are the branching fractions (${\mathcal B}$) of the decay channels $B^{+} \to J/ψ(e^{+}e^{-})K^{+}$, $B^{+} \to J/ψ(μ^{+}μ^{-}) K^{+}$, $B^{0} \to J/ψ(e^{+}e^{-}) K^{0}_{S}$, and $B^{0} \to J/ψ(μ^{+}μ^{-})K^{0}_{S}$; the lepton-flavor-dependent isospin asymmetries for the electron [$A_{I}\left(B \to J/ψ(e^{+}e^{-}) K\right)$] and muon [$A_{I}\left(B \to J/ψ(μ^{+} μ^{-}) K\right)$] channels; and the ratios of branching fractions between the muon and electron channels for the charged [$R_{K^{+}}\left(J/ψ\right)$] and neutral kaon [$R_{K^{0}}\left(J/ψ\right)$] case. The measurements are consistent with the world-average values. △ Less

Submitted 22 July, 2022; originally announced July 2022.

First decay-time-dependent analysis of $B^{0} \to K_{S}^{0} π^{0}$ at Belle II

Authors: Belle II Collaboration, F. Abudinén, I. Adachi, R. Adak, K. Adamczyk, L. Aggarwal, P. Ahlburg, H. Ahmed, J. K. Ahn, H. Aihara, N. Akopov, A. Aloisio, F. Ameli, L. Andricek, N. Anh Ky, D. M. Asner, H. Atmacan, V. Aulchenko, T. Aushev, V. Aushev, T. Aziz, V. Babu, S. Bacher, H. Bae, S. Baehr , et al. (569 additional authors not shown)

Abstract: We report measurements of the branching fraction ($\mathcal{B}$) and direct $CP$-violating asymmetry ($A_{CP}$) of the charmless decay $B^{0} \to K^0 π^0$ at Belle II. A sample of $e^{+} e^{-}$ collisions, corresponding to $189.8 fb^{-1}$ of integrated luminosity, recorded at the $Υ(4S)$ resonance is used for the first decay-time-dependent analysis of these decays within the experiment. We reconst… ▽ More We report measurements of the branching fraction ($\mathcal{B}$) and direct $CP$-violating asymmetry ($A_{CP}$) of the charmless decay $B^{0} \to K^0 π^0$ at Belle II. A sample of $e^{+} e^{-}$ collisions, corresponding to $189.8 fb^{-1}$ of integrated luminosity, recorded at the $Υ(4S)$ resonance is used for the first decay-time-dependent analysis of these decays within the experiment. We reconstruct about 135 signal candidates, and measure $\mathcal{B}(B^{0} \to K^{0} π^{0})= [11.0 \pm 1.2 (stat) \pm 1.0 (syst)] \times 10^{-6}$ and $A_{CP} (B^{0} \to K^{0} π^{0})= -0.41_{-0.32}^{+0.30} (stat) \pm 0.09 (syst)$. △ Less

Submitted 15 June, 2022; originally announced June 2022.

Measurement of the branching fraction for the decay $B \to K^{\ast}(892)\ell^+\ell^-$ at Belle II

Authors: Belle II Collaboration, F. Abudinén, I. Adachi, R. Adak, K. Adamczyk, L. Aggarwal, P. Ahlburg, H. Ahmed, J. K. Ahn, H. Aihara, N. Akopov, A. Aloisio, F. Ameli, L. Andricek, N. Anh Ky, D. M. Asner, H. Atmacan, V. Aulchenko, T. Aushev, V. Aushev, T. Aziz, V. Babu, S. Bacher, H. Bae, S. Baehr , et al. (569 additional authors not shown)

Abstract: We report a measurement of the branching fraction of $B \to K^{\ast}(892)\ell^+\ell^-$ decays, where $\ell^+\ell^- = μ^+μ^-$ or $e^+e^-$, using electron-positron collisions recorded at an energy at or near the $Υ(4S)$ mass and corresponding to an integrated luminosity of $189$ fb$^{-1}$. The data was collected during 2019--2021 by the Belle II experiment at the SuperKEKB $e^{+}e^{-}$ asymmetric-en… ▽ More We report a measurement of the branching fraction of $B \to K^{\ast}(892)\ell^+\ell^-$ decays, where $\ell^+\ell^- = μ^+μ^-$ or $e^+e^-$, using electron-positron collisions recorded at an energy at or near the $Υ(4S)$ mass and corresponding to an integrated luminosity of $189$ fb$^{-1}$. The data was collected during 2019--2021 by the Belle II experiment at the SuperKEKB $e^{+}e^{-}$ asymmetric-energy collider. We reconstruct $K^{\ast}(892)$ candidates in the $K^+π^-$, $K_{S}^{0}π^+$, and $K^+π^0$ final states. The signal yields with statistical uncertainties are $22\pm 6$, $18 \pm 6$, and $38 \pm 9$ for the decays $B \to K^{\ast}(892)μ^+μ^-$, $B \to K^{\ast}(892)e^+e^-$, and $B \to K^{\ast}(892)\ell^+\ell^-$, respectively. We measure the branching fractions of these decays for the entire range of the dilepton mass, excluding the very low mass region to suppress the $B \to K^{\ast}(892)γ(\to e^+e^-)$ background and regions compatible with decays of charmonium resonances, to be \begin{equation} {\cal B}(B \to K^{\ast}(892)μ^+μ^-) = (1.19 \pm 0.31 ^{+0.08}_{-0.07}) \times 10^{-6}, {\cal B}(B \to K^{\ast}(892)e^+e^-) = (1.42 \pm 0.48 \pm 0.09)\times 10^{-6}, {\cal B}(B \to K^{\ast}(892)\ell^+\ell^-) = (1.25 \pm 0.30 ^{+0.08}_{-0.07}) \times 10^{-6}, \end{equation} where the first and second uncertainties are statistical and systematic, respectively. These results, limited by sample size, are the first measurements of $B \to K^{\ast}(892)\ell^+\ell^-$ branching fractions from the Belle II experiment. △ Less

Submitted 19 September, 2022; v1 submitted 13 June, 2022; originally announced June 2022.

Report number: BELLE2-CONF-PH-2022-009

Sound Automation of Magic Wands (extended version)

Authors: Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks, Alexanders J. Summers, Peter Müller

Abstract: The magic wand $\mathbin{-\!\!*}$ (also called separating implication) is a separation logic connective commonly used to specify properties of partial data structures, for instance during iterative traversals. A footprint of a magic wand formula $A \mathbin{-\!\!*} B$ is a state that, combined with any state in which $A$ holds, yields a state in which $B$ holds. The key challenge of proving a magi… ▽ More The magic wand $\mathbin{-\!\!*}$ (also called separating implication) is a separation logic connective commonly used to specify properties of partial data structures, for instance during iterative traversals. A footprint of a magic wand formula $A \mathbin{-\!\!*} B$ is a state that, combined with any state in which $A$ holds, yields a state in which $B$ holds. The key challenge of proving a magic wand (also called packaging a wand) is to find such a footprint. Existing package algorithms either have a high annotation overhead or, as we show in this paper, are unsound. We present a formal framework that precisely characterises a wide design space of possible package algorithms applicable to a large class of separation logics. We prove in Isabelle/HOL that our formal framework is sound and complete, and use it to develop a novel package algorithm that offers competitive automation and is sound. Moreover, we present a novel, restricted definition of wands and prove in Isabelle/HOL that it is possible to soundly combine fractions of such wands, which is not the case for arbitrary wands. We have implemented our techniques for the Viper language, and demonstrate that they are effective in practice. △ Less

Submitted 2 August, 2022; v1 submitted 23 May, 2022; originally announced May 2022.

Comments: Extended version of CAV 2022 publication

REST: Integrating Term Rewriting with Program Verification (Extended Version)

Authors: Zachary Grannan, Niki Vazou, Eva Darulova, Alexander J. Summers

Abstract: We introduce REST, a novel term rewriting technique for theorem proving that uses online termination checking and can be integrated with existing program verifiers. REST enables flexible but terminating term rewriting for theorem proving by: (1) exploiting newly-introduced term orderings that are more permissive than standard rewrite simplification orderings; (2) dynamically and iteratively select… ▽ More We introduce REST, a novel term rewriting technique for theorem proving that uses online termination checking and can be integrated with existing program verifiers. REST enables flexible but terminating term rewriting for theorem proving by: (1) exploiting newly-introduced term orderings that are more permissive than standard rewrite simplification orderings; (2) dynamically and iteratively selecting orderings based on the path of rewrites taken so far; and (3) integrating external oracles that allow steps that cannot be justified with rewrite rules. Our REST approach is designed around an easily implementable core algorithm, parameterizable by choices of term orderings and their implementations; in this way our approach can be easily integrated into existing tools. We implemented REST as a Haskell library and incorporated it into Liquid Haskell's evaluation strategy, extending Liquid Haskell with rewriting rules. We evaluated our REST implementation by comparing it against both existing rewriting techniques and E-matching and by showing that it can be used to supplant manual lemma application in many existing Liquid Haskell proofs. △ Less

Submitted 16 February, 2022; v1 submitted 11 February, 2022; originally announced February 2022.

Exclusive $B \to X_u \ell ν_\ell$ Decays with Hadronic Full-event-interpretation Tagging in 62.8 fb$^{-1}$ of Belle II Data

Authors: Belle II Collaboration, F. Abudinén, I. Adachi, R. Adak, K. Adamczyk, L. Aggarwal, P. Ahlburg, H. Ahmed, J. K. Ahn, H. Aihara, N. Akopov, A. Aloisio, F. Ameli, L. Andricek, N. Anh Ky, D. M. Asner, H. Atmacan, V. Aulchenko, T. Aushev, V. Aushev, T. Aziz, V. Babu, S. Bacher, H. Bae, S. Baehr , et al. (543 additional authors not shown)

Abstract: We present a reconstruction in early data of the semileptonic decay $B^+ \to π^0 \ell^+ ν_\ell$, and first results of a reconstruction of the decays $B^+ \to ρ^0 \ell^+ ν_\ell$ and $B^0 \to ρ^- \ell^+ ν_\ell$ in a sample corresponding to 62.8 fb$^{-1}$ of Belle II data using hadronic $B$-tagging via the full-event-interpretation algorithm. We determine the total branching fractions via fits to the… ▽ More We present a reconstruction in early data of the semileptonic decay $B^+ \to π^0 \ell^+ ν_\ell$, and first results of a reconstruction of the decays $B^+ \to ρ^0 \ell^+ ν_\ell$ and $B^0 \to ρ^- \ell^+ ν_\ell$ in a sample corresponding to 62.8 fb$^{-1}$ of Belle II data using hadronic $B$-tagging via the full-event-interpretation algorithm. We determine the total branching fractions via fits to the distribution of the square of the missing mass, and find $\mathcal{B}(B^+ \to π^0 \ell^+ ν_\ell)$ = (8.29 $\pm$ 1.99(stat) $\pm$ 0.46(syst)) $\times 10^{-5}$. We obtain $95\%$ CL upper limits on the branching fractions with $\mathcal{B}(B^0 \to ρ^- \ell^+ ν_\ell) < 3.37 \times 10^{-4}$ and $\mathcal{B}(B^+ \to ρ^0 \ell^+ ν_\ell) < 19.7 \times 10^{-5}$. We also obtain an updated branching fraction for the $B^0 \to π^- \ell^+ ν_\ell$ decay, $\mathcal{B}(B^0 \to π^- \ell^+ ν_\ell)$ = (1.47 $\pm$ 0.29(stat) $\pm$ 0.05(syst)) $\times 10^{-4}$, based on the sum of the partial branching fractions in three bins of the squared momentum transfer to the leptonic system. △ Less

Submitted 1 November, 2021; originally announced November 2021.