arXiv subjects

Elena Zucca

Publications and source records attributed to Elena Zucca.

At least 19 recordsLinked to original sources

arXiv2026

Don't exhaust, don't waste: Resource-aware soundness for big-step semantics

We extend the semantics and type system of a lambda calculus equipped with common constructs to be "resource-aware". That is, the semantics keeps track of the usage of resources, and is stuck, besides in case of type errors, if either a needed resource is exhausted, or a provided resource would be wasted. In such way, the type system guarantees, besides standard soundness, that for well-typed programs there is a computation where no resource gets either exhausted or wasted. The extension is parametric on an arbitrary "grade algebra", modeling an assortment of possible usages, and does not require ad-hoc changes to the underlying language. To this end, the semantics needs to be formalized in big-step style; as a consequence, expressing and proving (resource-aware) soundness is challenging, and is achieved by applying recent techniques based on coinductive reasoning.

cs.PL↗

arXiv2026

The HST-Hyperion Survey: Environmental Imprints on the Stellar-Mass Function at z~2.5

Not all galaxies at Cosmic Noon evolve in the same way. It remains unclear how the local environment -- especially the extreme overdensities of protoclusters -- affects stellar mass assembly at high redshift. The stellar mass function (SMF) encodes these processes; comparing SMFs across environments reveals differences in evolutionary history. We present the SMF of the Hyperion proto-supercluster at $z\sim2.5$, one of the largest and most massive protostructures known. This dataset provides the most statistically robust SMF of a single protostructure at $z>2$. By comparing the SMF of overdense peaks within Hyperion to the coeval field, we ask: how early, and how strongly, does a dense environment favor massive galaxies? Using COSMOS2020 photometry with ground-based and new HST grism spectroscopy, we construct a 3D overdensity map that assigns galaxies to peaks, outskirts, or the field. We perform 100 Monte Carlo realizations to propagate redshift and mass uncertainties, and derive SMFs normalized to the field. The peaks show a clear excess of massive galaxies: number densities at $\log(M_*/M_\odot)\sim 11$ are ~10x higher than the field, while those at $\log(M_*/M_\odot)\sim 9.5$ are enhanced by only ~3.5x. By contrast, the outskirts and Hyperion as a whole mirror the field. Environmental effects on stellar mass growth are thus evident by $z\sim 2.5$. The densest regions already host galaxies with accelerated growth, while the global SMF masks this signal. Protostructures therefore begin shaping the high-mass end of the SMF well before cluster quenching, and may drive the elevated star formation at Cosmic Noon.

astro-ph.GA↗

arXiv2025

An effectful object calculus

We show how to smoothly incorporate in the object-oriented paradigm constructs to raise, compose, and handle effects in an arbitrary monad. The underlying pure calculus is meant to be a representative of the last generation of OO languages, and the effectful extension is manageable enough for ordinary programmers; notably, constructs to raise effects are just special methods. We equip the calculus with an expressive type-and-effect system, which, again by relying on standard features such as inheritance and generic types, allows a simple form of effect polymorphism. The soundness of the type-and-effect system is expressed and proved by a recently introduced technique, where the semantics is formalized by a one-step reduction relation from language expressions into monadic ones, so that it is enough to prove progress and subject reduction properties on this relation.

cs.PL↗

arXiv2025

Monadic type-and-effect soundness

We introduce the abstract notions of "monadic operational semantics", a small-step semantics where computational effects are modularly modeled by a monad, and "type-and-effect system", including "effect types" whose interpretation lifts well-typedness to its monadic version. In this meta-theory, as usually done in the non-monadic case, we can express progress and subject reduction properties and provide a proof, given once and for all, that they imply soundness. The approach is illustrated on a lambda calculus with generic effects. We equip the calculus with an expressive type-and-effect system, and provide proofs of progress and subject reduction which are parametric on the interpretation of effect types. In this way, we obtain as instances many significant examples, such as checking exceptions, preventing/limiting non-determinism, constraining order/fairness of outputs on different locations. We also provide an extension with constructs to raise and handle computational effects, which can be instantiated to model different policies.

cs.PL↗

arXiv2025

The HST-Hyperion Survey: Grism Observations of a $z\sim2.5$ Proto-Supercluster

We present first results and catalogs from the HST-Hyperion survey. This survey has collected 50 orbits of WFC3/F160W imaging and WFC3/G141 grism spectroscopy in the most overdense regions of the Hyperion proto-supercluster at $z\sim2.45$, which are analyzed in conjunction with the adjacent 56 orbits of WFC3/F140W imaging and WFC3/G141 grism spectroscopy from the 3D-HST survey. Sources were identified and spectra extracted using GRIZLI, which subsequently fit the combined grism data with object-matched photometric data from the COSMOS2020 catalog to obtain a redshift and best-fit spectral model. Each source was then visually inspected by multiple team members and quality flags were assigned. A total of 12814 objects with $m_{HST} \leq 25.0$ were inspected, of which 5629 (44%) have reliable redshifts from the grism data, which are sensitive to emission lines at a level of $\sim8.8 \times10^{-18}$ erg s$^{-1}$ cm$^{-2}$ ($1σ$). Comparison to high-quality ground-based spectroscopic redshifts yields a scatter of $σ_{\rm NMAD} = 0.0016$. The resulting catalogs contain 125 confirmed members of the Hyperion structure within $2.40<z<2.53$, with an additional 71 confirmed galaxies in projection within $2.35<z<2.65$. The redshift, stellar population, and line flux catalogs, as well as all grism spectra, are publicly available.

astro-ph.GA↗

arXiv2025

Discovering Large-Scale Structure at $2<z<5$ in the C3VO Survey

The Charting Cluster Construction with VUDS and ORELSE (C3VO) survey is an ongoing imaging and spectroscopic campaign aiming to map out the growth of structure up to $z\sim5$ and was born from the combination of the Visible Multi-Object Spectrograph Ultra Deep Survey and the Observations of Redshift Evolution in Large-Scale Environments (ORELSE) survey. As we previously accomplished with the ORELSE survey, we apply our technique known as Voronoi tessellation Monte Carlo (VMC) mapping to search for serendipitous galaxy overdensities at $2 14$ and $2 14.5$. In the C3VO fields, we were able to recover many of the previously known structures in the literature as well as find hundreds of new overdensity candidates, once again demonstrating the powerful capabilities of VMC mapping when applied to wide-field optical and infrared galaxy evolution surveys at ever higher redshifts.

astro-ph.GA↗

arXiv2024

Enhanced AGN Activity in Overdense Galactic Environments at $2 < z < 4$

We conduct a study on the relationship between galaxy environments and their active galactic nuclei (AGN) activity at high redshifts ($2.0 10^{12.8}M_\odot$) overdense ($σ_δ>5.0$) peak, normalized with respect to the size of the peak. These findings indicate that the prevalence of AGN activity is highly dependent on the environment in which a host galaxy resides, even at early times in the formation history of the Universe.

astro-ph.GA↗

arXiv2024

Environmental Effects on the Stellar Mass Function in a z~3.3 Overdensity of Galaxies in the COSMOS Field

We present an analysis of the number density of galaxies as a function of stellar mass (i.e., the stellar mass function, SMF) in the COSMOS field at z~3.3, making a comparison between the SMF in overdense environments and the SMF in the coeval field. In particular, this region contains the Elentári proto-supercluster, a system of 6 extended overdensities spanning ~70 cMpc on a side. A clear difference is seen in the high-mass slope of these SMFs, with overdense regions showing an increase in the ratio of high-mass galaxies to low-mass galaxies relative to the field, indicating a more rapid build-up of stellar mass in overdense environments. This result qualitatively agrees with analyses of clusters at z~1, though the differences between protocluster and field SMFs at z~3.3 are smaller. While this is consistent with overdensities enhancing the evolution of their member galaxies, potentially through increased merger rates, whether this enhancement begins in protocluster environments or even earlier in group environments is still unclear. Though the measured fractions of quiescent galaxies between the field and overdense environments do not vary significantly, implying that this stellar mass enhancement is ongoing and any starbursts triggered by merger activity have not yet quenched, we note that spectroscopic observations are biased towards star-forming populations, particularly for low-mass galaxies. If mergers are indeed responsible, high resolution imaging of Elentári and similar structures at these early epochs should then reveal increased merger rates relative to the field. Larger samples of well-characterized overdensities are necessary to draw broader conclusions in these areas.

astro-ph.GA↗

arXiv2023

Protoclusters as Drivers of Stellar Mass Growth in the Early Universe, a Case Study: Taralay -- a Massive Protocluster at z ~ 4.57

Simulations predict that the galaxy populations inhabiting protoclusters may contribute considerably to the total amount of stellar mass growth of galaxies in the early universe. In this study, we test these predictions observationally, focusing on the Taralay protocluster (formerly PCl J1001+0220) at $z \sim 4.57$ in the COSMOS field. Leveraging data from the Charting Cluster Construction with VUDS and ORELSE (C3VO) survey, we spectroscopically confirmed 44 galaxies within the adopted redshift range of the protocluster ($4.48 < z < 4.64$) and incorporate an additional 18 such galaxies from ancillary spectroscopic surveys. Using a density mapping technique, we estimate the total mass of Taralay to be $\sim 1.7 \times 10^{15}$ M$_\odot$, sufficient to form a massive cluster by the present day. By comparing the star formation rate density (SFRD) within the protocluster (SFRD$_\text{pc}$) to that of the coeval field (SFRD$_\text{field}$), we find that SFRD$_\text{pc}$ surpasses the SFRD$_\text{field}$ by $Δ$log(SFRD/$M_\odot$ yr$^{-1}$ Mpc$^{-3}$) = $1.08 \pm 0.32$ (or $\sim$ 12$\times$). The observed contribution fraction of protoclusters to the cosmic SFRD adopting Taralay as a proxy for typical protoclusters is $33.5\%^{+8.0\%}_{-4.3\%}$, a value $\sim$2$σ$ in excess of the predictions from simulations. Taralay contains three peaks that are $5σ$ above the average density at these redshifts. Their SFRD is $\sim$0.5 dex higher than the value derived for the overall protocluster. We show that 68% of all star formation in the protocluster takes place within these peaks, and that the innermost regions of the peaks encase $\sim 50\%$ of the total star formation in the protocluster. This study strongly suggests that protoclusters drive stellar mass growth in the early universe and that this growth may proceed in an inside-out manner.

astro-ph.GA↗

arXiv2023

Identification and Characterization of Six Spectroscopically Confirmed Massive Protostructures at $2.5<z<4.5$

We present six spectroscopically confirmed massive protostructures, spanning a redshift range of $2.5 9000$\thinspace cMpc$^3$) of more than $2.5σ_δ$ above the field density levels at these redshifts, have a total mass $M_{tot}\ge10^{14.8}M_\odot$ and one or more highly overdense (overdensity$\thinspace>5σ_δ$) peaks. One of the most complex protostructures discovered is a massive ($M_{tot}=10^{15.1}M_\odot$) system at $z\sim3.47$ that contains six peaks and 55 spectroscopic members. We also discover protostructures at $z\sim3.30$ and $z\sim3.70$ that appear to at least partially overlap on sky with the protostructure at $z\sim3.47$, suggesting a possible connection. We additionally report on the discovery of three massive protostructures at $z=2.67$, 2.80, and 4.14 and discuss their properties. Finally, we discuss the relationship between star formation rate and environment in the richest of these protostructures, finding an enhancement of star formation activity in the densest regions. The diversity of the protostructures reported here provide an opportunity to study the complex effects of dense environments on galaxy evolution over a large redshift range in the early universe.

astro-ph.GA↗

arXiv2023

Multi-graded Featherweight Java

Resource-aware type systems statically approximate not only the expected result type of a program, but also the way external resources are used, e.g., how many times the value of a variable is needed. We extend the type system of Featherweight Java to be resource-aware, parametrically on an arbitrary grade algebra modeling a specific usage of resources. We prove that this type system is sound with respect to a resource-aware version of reduction, that is, a well-typed program has a reduction sequence which does not get stuck due to resource consumption. Moreover, we show that the available grades can be heterogeneous, that is, obtained by combining grades of different kinds, via a minimal collection of homomorphisms from one kind to another. Finally, we show how grade algebras and homomorphisms can be specified as Java classes, so that grade annotations in types can be written in the language itself.

cs.PL↗

arXiv2022

Coeffects for Sharing and Mutation

In type-and-coeffect systems, contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bottom-up, combining, for each term, the coeffects of its subterms, through a fixed set of algebraic operators. We show that this principled approach can be adopted to track sharing in the imperative paradigm, that is, links among variables possibly introduced by the execution. This provides a significant example of non-structural coeffects, which cannot be computed by-variable, since the way a given variable is used can affect the coeffects of other variables. To illustrate the effectiveness of the approach, we enhance the type system tracking sharing to model a sophisticated set of features related to uniqueness and immutability. Thanks to the coeffect-based approach, we can express such features in a simple way and prove related properties with standard techniques.

cs.PL↗

arXiv2022

The ALPINE-ALMA [CII] survey: The infrared-radio correlation and AGN fraction of star-forming galaxies at z $\sim$ 4.4-5.9

We present the radio properties of 66 spectroscopically-confirmed normal star-forming galaxies (SFGs) at $4.4<z<5.9$ in the COSMOS field that were [C II] detected in the Atacama Large Millimeter Array (ALMA) Large Program to INvestigate [C II] at Early times (ALPINE). We separate these galaxies ("CII-detected-all") into lower redshift ("CII-detected-lz", $\langle z\rangle=4.5$) and higher redshift ("CII-detected-hz", $\langle z\rangle=5.6$) sub-samples and stack multi-wavelength imaging for each sub-sample from X-ray to radio bands. A radio signal is detected in the stacked 3 GHz image of CII-detected-all and -lz samples at $\gtrsim3σ$. We find that the infrared-radio correlation of our sample, quantified by $q_{\mathrm{TIR}}$, is lower than the local relation for normal SFGs at $\sim$3$σ$ significance level, and is instead broadly consistent with that of bright sub-mm galaxies at $2<z<5$. Neither of these samples show evidence of dominant AGN activity in their stacked Spectral Energy Distributions (SEDs), rest-frame UV spectra, or X-ray images. Although we cannot rule out the possible effect of the assumed spectral index and the applied infrared SED templates as at least partially causing these differences, the lower obscured fraction of star formation than at lower redshift can alleviate the tension between our stacked $q_{\mathrm{TIR}}$s and that of local normal SFGs. It is possible that the dust buildup, which primarily governs the IR emission in addition to older stellar populations, has not had enough time to occur fully in these galaxies, whereas the radio emission can respond on a more rapid timescale. Therefore, we might expect a lower $q_{\mathrm{TIR}}$ to be a general property of high-redshift SFGs.

astro-ph.GA↗

arXiv2022

The ALPINE-ALMA [CII] survey: dust attenuation curves at z=4.4-5.5

There is now ample evidence that dust is already present in abundance at high z. However, given the faintness of distant galaxies in the optical and the NIR, datasets are still limited and how the dust affects the emerging radiation of galaxies at very high redshift is not yet fully understood. Using the ALPINE survey, our objective is to quantify the dust attenuation properties in galaxies at z=4.4-5.5, and in particular the shape of their attenuation curve. Using the CIGALE code, we model the stellar populations and their interaction with the dust in order to measure some of the physical properties of a subsample of 23 main-sequence ALPINE galaxies. We find that the attenuation curves span a broad range of properties, from curves that are much steeper than the SMC extinction curve, to shallower than the starburst attenuation curve. The shape of the attenuation curves strongly depends on the V-band attenuation. Galaxies with the lowest attenuation also present the steepest curves. The steepness of such curves is probably the consequence of the combination of the intrinsic physical properties of the dust, the relative distribution of stars and dust in the interstellar medium, and the differential reddening. The broad range of attenuation curves found at z~5 shows that no single attenuation curve is appropriate for main sequence galaxies and that assuming a fixed curve can lead to large errors, for instance in the interpretation and use of the IRX-beta diagram, if SED modeling is not feasible. Great caution should be exercised when correcting high redshift galaxies for the presence of dust using the UV slope beta as it can affect the estimation of both SFR and stellar mass even at low V-band attenuation due to the steepness of the attenuation curve. However, when SED modeling can be used, the impact of the choice of the attenuation curve on the SFR and the stellar mass is limited.

astro-ph.GA↗

arXiv2022

Enhancing expressivity of checked corecursive streams (extended version)

We propose a novel approach to stream definition and manipulation. Our solution is based on two key ideas. Regular corecursion, which avoids non termination by detecting cyclic calls, is enhanced, by allowing in equations defining streams other operators besides the stream constructor. In this way, some non-regular streams are definable. Furthermore, execution includes a runtime check to ensure that the stream generated by a function call is well-defined, in the sense that access to an arbitrary index always succeeds. We extend the technique beyond the simple stream operators considered in previous work, notably by adding an interleaving combinator which has a non-trivial recursion scheme.

cs.PL↗

arXiv2021

The stellar mass versus stellar metallicity relation of star-forming galaxies at $1.6\le z\le3.0$ and implications for the evolution of the $α$-enhancement

We measure the relationship between stellar mass and stellar metallicity, the stellar mass--metallicity relation (MZR), for 1336 star-forming galaxies at $1.6\le z\le3.0$ ( =2.2) using rest-frame far-ultraviolet spectra from the zCOSMOS-deep survey. High signal-to-noise composite spectra containing stellar absorption features are fit with population synthesis model spectra of a range of metallicity. We find stellar metallicities, which mostly reflect iron abundances, scaling as $(Z_{Fe,\ast}/Z_{Fe,\odot})=-(0.81\pm0.01)+(0.32+0.03)\log(M_\ast/10^{10}M_\odot)$ across the mass range of $10^9\lesssim M_\ast/M_\odot\lesssim10^{11}$, being $\approx6\times$ lower than seen locally at the same masses. The instantaneous oxygen-to-iron ratio ($α$-enhancement) inferred using the gas-phase oxygen MZRs, is on average found to be [O/Fe]$\approx0.47$, being higher than the local [O/Fe]$\approx0$. The observed changes in [O/Fe] and [Fe/H] are reproduced in simple flow-through gas-regulator models with steady star-formation histories (SFHs) that follow the evolving main sequence. Our models show that the [O/Fe] is determined almost entirely by the instantaneous specific star formation rate alone while being independent of the SFHs, mass, and the gas-regulation characteristics of the systems. We find that the locations of $\sim10^{10}M_\odot$ galaxies at z~2 in the [O/Fe]--metallicity planes are in remarkable agreement with the sequence of low-metallicity thick-disk stars in our Galaxy. This manifests a beautiful concordance between the results of Galactic archaeology and observations of high-redshift Milky Way progenitors. However, there remains a question of how and when the old metal-rich, low-$α$/Fe stars seen in the bulge had formed by z~2 because such a stellar population is not seen in our data and difficult to explain in the context of our models.

astro-ph.GA↗

arXiv2021

Enhanced Regular Corecursion for Data Streams

We propose a simple calculus for processing data streams (infinite flows of data series), represented by finite sets of equations built on stream operators. Furthermore, functions defining streams are regularly corecursive, that is, cyclic calls are detected, avoiding non-termination as happens with ordinary recursion in the call-by-value evaluation strategy. As we illustrate by several examples, the combination of such two mechanisms provides a good compromise between expressive power and decidability. Notably, we provide an algorithm to check that the stream returned by a function call is represented by a well-formed set of equations which actually admits a unique solution, hence access to an arbitrary element of the returned stream will never diverge.

cs.PL↗

arXiv2021

Implications of the Environments of Radio-detected AGN in a Complex Protostructure at z$\sim$3.3

Radio Active Galactic Nuclei (RAGNs) are mainly found in dense structures (i.e., clusters/groups) at redshifts of z$<$2 and are commonly used to detect protoclusters at higher redshift. Here, we attempt to study the host and environmental properties of two relatively faint ($\mathrm L_\mathrm{1.4GHz} \sim10^{25}$ W Hz$^{-1}$) RAGNs in a known protocluster at z=3.3 in the PCl J0227-0421 field, detected using the latest radio observation obtained as part of the Observations of Redshift Evolution in Large-Scale Environments (ORELSE) Survey. Using new spectroscopic observations obtained from Keck/MOSFIRE as part of the Charting Cluster Construction with the VIMOS Ultra-Deep Survey (VUDS) and ORELSE (C3VO) survey and previous spectroscopic data obtained as part of the VIMOS-VLT Deep Survey (VVDS) and VUDS, we revise the three-dimensional overdensity field around this protocluster. The protocluster is embedded in a large scale overdensity protostructure. This protostructure has an estimated total mass of $\sim$2.6$\times10^{15} M_\odot$ and contains several overdensity peaks. Both RAGNs are hosted by very bright and massive galaxies, while their hosts show extreme differences color, indicating that they have different ages and are in different evolutionary stages. Furthermore, we find that they are not in the most locally dense parts of the protostructure, but are fairly close to the centers of their parent overdensity peaks. We propose a scenario where merging might already have happened in both cases, which lowered the local density of their surrounding area and boosted their stellar mass. This work is the first time that two RAGNs at low luminosity have been found and studied within a high redshift protostructure.

astro-ph.GA↗