SearcharxivSearch

arXiv subjects

Yeonwoo Nam

Publications and source records attributed to Yeonwoo Nam.

2 recordsLinked to original sources

Rapid growth in a dual AGN during a gas-rich merger at z~4.5

The late stages of galaxy mergers - when two supermassive black holes (SMBHs) reach kiloparsec-scale separations - represent a critical phase for understanding SMBH growth, galaxy co-evolution, and the progenitors of low-frequency gravitational waves. Yet confirmed close-separation (<3 kpc) dual active galactic nuclei (AGNs) remain confined to the local Universe, despite predictions that such systems should be common in the merger-rich early Universe. Here we report the discovery of LID-1166, a dual AGN with a projected separation of ~1.5 kpc at z~4.5, representing the first such system known beyond the local Universe. Spatially resolved JWST/NIRSpec integral-field spectroscopy reveals two spatially and kinematically distinct narrow-line emission components with a line-of-sight velocity offset of ~ -164 km/s. Both components additionally exhibit broad Ha emission, including a compact off-nuclei broad Ha component associated with the companion source, confirming two actively accreting SMBHs. Independent ALMA [CII] 158 um observations reveal corresponding spatially and kinematically distinct cold gas components associated with the same nuclei, demonstrating that the system is a gas-rich merger. While undergoing super-Eddington accretion during a late-stage merger, the SMBHs already lie on the local black hole-host mass relation for massive elliptical galaxies within the uncertainties, suggesting that rapid, obscured growth may help establish this relation early in cosmic history. LID-1166 reveals a previously hidden phase of SMBH growth and points to a missing population of heavily obscured, merger-driven dual AGNs at high redshift.

astro-ph.GA

Coco: Corecursion with Compositional Heterogeneous Productivity

Contemporary proof assistants impose restrictive syntactic guardedness conditions that reject many valid corecursive definitions. Existing approaches to overcome these restrictions present a fundamental trade-off between coverage and automation. We present Compositional Heterogeneous Productivity (CHP), a theoretical framework that unifies high automation with extensive coverage for corecursive definitions. CHP introduces heterogeneous productivity applicable to functions with diverse domain and codomain types, including non-coinductive types. Its key innovation is compositionality: the productivity of composite functions is systematically computed from their components, enabling modular reasoning about complex corecursive patterns. Building on CHP, we develop Coco, a corecursion library for Rocq that provides extensive automation for productivity computation and fixed-point generation.

cs.LO