BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Elena Zucca

Elena Zucca contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
astro-ph.GAProgramming LanguagesLogic in Computer Science

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2024arXiv

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<z<4.0$). Specifically, we study the AGN fraction in galaxies residing in a range of environments at these redshifts, from field galaxies to highly overdense peaks in the GOODS-S extragalactic field. Utilizing the extensive photometric and spectroscopic observations in this field, we measure local- and global-overdensities over a large a range of environments, including in several massive (M$_{tot}\geq10^{14.8}$M$_\odot$) protostructures. We employ a multi-wavelength AGN catalog consisting of AGN in nine different categories. Our analysis shows a higher AGN fraction (10.9$^{+3.6}_{-2.3}$%) for galaxies in the highest local-overdensity regions compared to the AGN fraction (1.9$^{+0.4}_{-0.3}$%) of coeval field galaxies (a ~4$σ$ difference). This trend of increasing AGN fraction in denser environments relative to the field is present in all redshift bins. We also find this trend consistently present in all five AGN categories that have a sufficient number of AGN to make a meaningful comparison: mid-IR SED, mid-IR color, X-ray luminosity, X-ray-luminosity-to-radio-luminosity-ratio, and optical-spectroscopy. Our results also demonstrate a clear trend of higher (~4x) AGN fractions in denser environments for a given stellar mass. Additionally, we observe the same trend (though at a lower significance) with the global environment of galaxies, measured using a metric based on the projected distance of galaxies from their nearest massive ($M_{tot}>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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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 (&#34;CII-detected-all&#34;) into lower redshift (&#34;CII-detected-lz&#34;, $\langle z\rangle=4.5$) and higher redshift (&#34;CII-detected-hz&#34;, $\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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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$ (<z>=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.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Flexible coinductive logic programming

Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction, to express a variety of intermediate interpretations, necessary in some cases to get the correct meaning. We provide a detailed formal account of an extension of logic programming supporting flexible coinduction. Syntactically, programs are enriched by coclauses, clauses with a special meaning used to tune the interpretation of predicates. As usual, the declarative semantics can be expressed as a fixed point which, however, is not necessarily the least, nor the greatest one, but is determined by the coclauses. Correspondingly, the operational semantics is a combination of standard SLD resolution and coSLD resolution. We prove that the operational semantics is sound and complete with respect to declarative semantics restricted to finite comodels. This paper is under consideration for acceptance in TPLP.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Sound Regular Corecursion in coFJ

The aim of the paper is to provide solid foundations for a programming paradigm natively supporting the creation and manipulation of cyclic data structures. To this end, we describe coFJ, a Java-like calculus where objects can be infinite and methods are equipped with a codefinition (an alternative body). We provide an abstract semantics of the calculus based on the framework of inference systems with corules. In coFJ with this semantics, FJ recursive methods on finite objects can be extended to infinite objects as well, and behave as desired by the programmer, by specifying a codefinition. We also describe an operational semantics which can be directly implemented in a programming language, and prove the soundness of such semantics with respect to the abstract one.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Soundness conditions for big-step semantics

We propose a general proof technique to show that a predicate is sound, that is, prevents stuck computation, with respect to a big-step semantics. This result may look surprising, since in big-step semantics there is no difference between non-terminating and stuck computations, hence soundness cannot even be expressed. The key idea is to define constructions yielding an extended version of a given arbitrary big-step semantics, where the difference is made explicit. The extended semantics are exploited in the meta-theory, notably they are necessary to show that the proof technique works. However, they remain transparent when using the proof technique, since it consists in checking three conditions on the original rules only, as we illustrate by several examples.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The ALPINE-ALMA [C II] survey: the luminosity function of serendipitous [C II] line emitters at $z\sim 5$

We present the first [CII] 158 $μ$m luminosity function (LF) at $z\sim 5$ from a sample of serendipitous lines detected in the ALMA Large Program to INvestigate [CII] at Early times (ALPINE). A search performed over the 118 ALPINE pointings revealed several serendipitous lines. Based on their fidelity, we selected 14 lines for the final catalog. According to the redshift of their counterparts, we identified 8 out of 14 detections as [CII] lines at $z\sim 5$, and two as CO transitions at lower redshifts. The remaining 4 lines have an elusive identification in the available catalogs and we considered them as [CII] candidates. We used the 8 confirmed [CII] and the 4 [CII] candidates to build one of the first [CII] LFs at $z\sim 5$. We found that 11 out of these 12 sources have a redshift very similar to that of the ALPINE target in the same pointing, suggesting the presence of overdensities around the targets. Therefore, we split the sample in two (a &#34;clustered&#34; and &#34;field&#34; sub-sample) according to their redshift separation and built two separate LFs. Our estimates suggest that there could be an evolution of the [CII] LF between $z \sim 5$ and $z \sim 0$. By converting the [CII] luminosity to star formation rate we evaluated the cosmic star formation rate density (SFRD) at $z\sim 5$. The clustered sample results in a SFRD $\sim 10$ times higher than previous measurements from UV-selected galaxies. On the other hand, from the field sample (likely representing the average galaxy population) we derived a SFRD $\sim 1.6$ higher compared to current estimates from UV surveys but compatible within the errors. Because of the large uncertainties, observations of larger samples are necessary to better constrain the SFRD at $z\sim 5$. This study represents one of the first efforts aimed at characterizing the demography of [CII] emitters at $z\sim 5$ using a mm-selection of galaxies.

0 citations0 reviewsNo code linkedOpen access