---
_id: '9981'
abstract:
- lang: eng
  text: "The numerical simulation of dynamical phenomena in interacting quantum systems
    is a notoriously hard problem. Although a number of promising numerical methods
    exist, they often have limited applicability due to the growth of entanglement
    or the presence of the so-called sign problem. In this work, we develop an importance
    sampling scheme for the simulation of quantum spin dynamics, building on a recent
    approach mapping quantum spin systems to classical stochastic processes. The importance
    sampling scheme is based on identifying the classical trajectory that yields the
    largest contribution to a given quantum observable. An exact transformation is
    then carried out to preferentially sample trajectories that are close to the dominant
    one. We demonstrate that this approach is capable of reducing the temporal growth
    of fluctuations in the stochastic quantities, thus extending the range of accessible
    times and system sizes compared to direct sampling. We discuss advantages and
    limitations of the proposed approach, outlining directions\r\nfor further developments."
article_number: '048'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Stefano
  full_name: De Nicola, Stefano
  id: 42832B76-F248-11E8-B48F-1D18A9856A87
  last_name: De Nicola
  orcid: 0000-0002-4842-6671
citation:
  ama: De Nicola S. Importance sampling scheme for the stochastic simulation of quantum
    spin dynamics. <i>SciPost Physics</i>. 2021;11(3). doi:<a href="https://doi.org/10.21468/scipostphys.11.3.048">10.21468/scipostphys.11.3.048</a>
  apa: De Nicola, S. (2021). Importance sampling scheme for the stochastic simulation
    of quantum spin dynamics. <i>SciPost Physics</i>. SciPost Foundation. <a href="https://doi.org/10.21468/scipostphys.11.3.048">https://doi.org/10.21468/scipostphys.11.3.048</a>
  chicago: De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation
    of Quantum Spin Dynamics.” <i>SciPost Physics</i>. SciPost Foundation, 2021. <a
    href="https://doi.org/10.21468/scipostphys.11.3.048">https://doi.org/10.21468/scipostphys.11.3.048</a>.
  ieee: S. De Nicola, “Importance sampling scheme for the stochastic simulation of
    quantum spin dynamics,” <i>SciPost Physics</i>, vol. 11, no. 3. SciPost Foundation,
    2021.
  ista: De Nicola S. 2021. Importance sampling scheme for the stochastic simulation
    of quantum spin dynamics. SciPost Physics. 11(3), 048.
  mla: De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation
    of Quantum Spin Dynamics.” <i>SciPost Physics</i>, vol. 11, no. 3, 048, SciPost
    Foundation, 2021, doi:<a href="https://doi.org/10.21468/scipostphys.11.3.048">10.21468/scipostphys.11.3.048</a>.
  short: S. De Nicola, SciPost Physics 11 (2021).
date_created: 2021-09-02T11:49:47Z
date_published: 2021-09-02T00:00:00Z
date_updated: 2025-05-14T10:51:45Z
day: '02'
ddc:
- '519'
department:
- _id: MaSe
doi: 10.21468/scipostphys.11.3.048
ec_funded: 1
external_id:
  arxiv:
  - '2103.16468'
  isi:
  - '000692534200001'
file:
- access_level: open_access
  checksum: e4ec69d893e31811efc6093cb6ea8eb7
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-02T14:05:43Z
  date_updated: 2021-09-02T14:05:43Z
  file_id: '9984'
  file_name: 2021_SciPostPhys_DeNicola.pdf
  file_size: 373833
  relation: main_file
  success: 1
file_date_updated: 2021-09-02T14:05:43Z
has_accepted_license: '1'
intvolume: '        11'
isi: 1
issue: '3'
keyword:
- General Physics and Astronomy
language:
- iso: eng
license: https://creativecommons.org/licenses/by/4.0/
month: '09'
oa: 1
oa_version: Published Version
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: SciPost Physics
publication_identifier:
  eissn:
  - 2666-9366
  issn:
  - 2542-4653
publication_status: published
publisher: SciPost Foundation
quality_controlled: '1'
scopus_import: '1'
status: public
title: Importance sampling scheme for the stochastic simulation of quantum spin dynamics
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 11
year: '2021'
...
---
_id: '9985'
abstract:
- lang: eng
  text: AMPA receptor (AMPAR) abundance and positioning at excitatory synapses regulates
    the strength of transmission. Changes in AMPAR localisation can enact synaptic
    plasticity, allowing long-term information storage, and is therefore tightly controlled.
    Multiple mechanisms regulating AMPAR synaptic anchoring have been described, but
    with limited coherence or comparison between reports, our understanding of this
    process is unclear. Here, combining synaptic recordings from mouse hippocampal
    slices and super-resolution imaging in dissociated cultures, we compare the contributions
    of three AMPAR interaction domains controlling transmission at hippocampal CA1
    synapses. We show that the AMPAR C-termini play only a modulatory role, whereas
    the extracellular N-terminal domain (NTD) and PDZ interactions of the auxiliary
    subunit TARP γ8 are both crucial, and each is sufficient to maintain transmission.
    Our data support a model in which γ8 accumulates AMPARs at the postsynaptic density,
    where the NTD further tunes their positioning. This interplay between cytosolic
    (TARP γ8) and synaptic cleft (NTD) interactions provides versatility to regulate
    synaptic transmission and plasticity.
acknowledgement: The authors are very grateful to Andrew Penn for advice and discussions
  on surface receptor labelling in slice tissue, dissociated culture transfection,
  and for providing tdTomato and BirAER expression plasmids. This work would not have
  been possible without support from the Biological Services teams at both the Laboratory
  of Molecular Biology and Ares facilities. We are also very grateful to Nick Barry
  and Jerome Boulanger of the LMB Light Microscopy facility for support with confocal
  and STORM imaging and analysis, Junichi Takagi for providing scFv-Clasp expression
  constructs, Veronica Chang for assistance with scFv-Clasp protein production, and
  Nejc Kejzar for assistance with cluster analysis. We would like to thank Teru Nakagawa
  and Ole Paulsen for critical reading of the manuscript and constructive feedback.
  This work was supported by grants from the Medical Research Council (MC_U105174197)
  and BBSRC (BB/N002113/1).
article_number: '5083'
article_processing_charge: Yes
article_type: original
author:
- first_name: Jake
  full_name: Watson, Jake
  id: 63836096-4690-11EA-BD4E-32803DDC885E
  last_name: Watson
  orcid: 0000-0002-8698-3823
- first_name: Alexandra
  full_name: Pinggera, Alexandra
  last_name: Pinggera
- first_name: Hinze
  full_name: Ho, Hinze
  last_name: Ho
- first_name: Ingo H.
  full_name: Greger, Ingo H.
  last_name: Greger
citation:
  ama: Watson J, Pinggera A, Ho H, Greger IH. AMPA receptor anchoring at CA1 synapses
    is determined by N-terminal domain and TARP γ8 interactions. <i>Nature Communications</i>.
    2021;12(1). doi:<a href="https://doi.org/10.1038/s41467-021-25281-4">10.1038/s41467-021-25281-4</a>
  apa: Watson, J., Pinggera, A., Ho, H., &#38; Greger, I. H. (2021). AMPA receptor
    anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions.
    <i>Nature Communications</i>. Nature Publishing Group. <a href="https://doi.org/10.1038/s41467-021-25281-4">https://doi.org/10.1038/s41467-021-25281-4</a>
  chicago: Watson, Jake, Alexandra Pinggera, Hinze Ho, and Ingo H. Greger. “AMPA Receptor
    Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.”
    <i>Nature Communications</i>. Nature Publishing Group, 2021. <a href="https://doi.org/10.1038/s41467-021-25281-4">https://doi.org/10.1038/s41467-021-25281-4</a>.
  ieee: J. Watson, A. Pinggera, H. Ho, and I. H. Greger, “AMPA receptor anchoring
    at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions,”
    <i>Nature Communications</i>, vol. 12, no. 1. Nature Publishing Group, 2021.
  ista: Watson J, Pinggera A, Ho H, Greger IH. 2021. AMPA receptor anchoring at CA1
    synapses is determined by N-terminal domain and TARP γ8 interactions. Nature Communications.
    12(1), 5083.
  mla: Watson, Jake, et al. “AMPA Receptor Anchoring at CA1 Synapses Is Determined
    by N-Terminal Domain and TARP Γ8 Interactions.” <i>Nature Communications</i>,
    vol. 12, no. 1, 5083, Nature Publishing Group, 2021, doi:<a href="https://doi.org/10.1038/s41467-021-25281-4">10.1038/s41467-021-25281-4</a>.
  short: J. Watson, A. Pinggera, H. Ho, I.H. Greger, Nature Communications 12 (2021).
date_created: 2021-09-05T22:01:23Z
date_published: 2021-08-23T00:00:00Z
date_updated: 2023-08-11T11:07:51Z
day: '23'
ddc:
- '612'
department:
- _id: PeJo
doi: 10.1038/s41467-021-25281-4
external_id:
  isi:
  - '000687672000006'
  pmid:
  - '34426577 '
file:
- access_level: open_access
  checksum: 1bf4f6a561f96bc426d754de9cb57710
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-08T12:57:06Z
  date_updated: 2021-09-08T12:57:06Z
  file_id: '9991'
  file_name: 2021_NatureCommunications_Watson.pdf
  file_size: 18310502
  relation: main_file
  success: 1
file_date_updated: 2021-09-08T12:57:06Z
has_accepted_license: '1'
intvolume: '        12'
isi: 1
issue: '1'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: Nature Communications
publication_identifier:
  eissn:
  - 2041-1723
publication_status: published
publisher: Nature Publishing Group
quality_controlled: '1'
scopus_import: '1'
status: public
title: AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain
  and TARP γ8 interactions
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 12
year: '2021'
...
---
_id: '9986'
abstract:
- lang: eng
  text: Size control is a fundamental question in biology, showing incremental complexity
    in plants, whose cells possess a rigid cell wall. The phytohormone auxin is a
    vital growth regulator with central importance for differential growth control.
    Our results indicate that auxin-reliant growth programs affect the molecular complexity
    of xyloglucans, the major type of cell wall hemicellulose in eudicots. Auxin-dependent
    induction and repression of growth coincide with reduced and enhanced molecular
    complexity of xyloglucans, respectively. In agreement with a proposed function
    in growth control, genetic interference with xyloglucan side decorations distinctly
    modulates auxin-dependent differential growth rates. Our work proposes that auxin-dependent
    growth programs have a spatially defined effect on xyloglucan’s molecular structure,
    which in turn affects cell wall mechanics and specifies differential, gravitropic
    hypocotyl growth.
acknowledgement: "We are grateful to Paul Knox, Markus Pauly, Malcom O’Neill, and
  Ignacio Zarra for providing published material; the BOKU-VIBT Imaging Center for
  access and M. Debreczeny for expertise; J.I. Thaker and Georg Seifert for critical
  reading.\r\n"
article_number: '9222'
article_processing_charge: Yes
article_type: original
author:
- first_name: Silvia Melina
  full_name: Velasquez, Silvia Melina
  last_name: Velasquez
- first_name: Xiaoyuan
  full_name: Guo, Xiaoyuan
  last_name: Guo
- first_name: Marçal
  full_name: Gallemi, Marçal
  id: 460C6802-F248-11E8-B48F-1D18A9856A87
  last_name: Gallemi
  orcid: 0000-0003-4675-6893
- first_name: Bibek
  full_name: Aryal, Bibek
  last_name: Aryal
- first_name: Peter
  full_name: Venhuizen, Peter
  last_name: Venhuizen
- first_name: Elke
  full_name: Barbez, Elke
  last_name: Barbez
- first_name: Kai Alexander
  full_name: Dünser, Kai Alexander
  last_name: Dünser
- first_name: Martin
  full_name: Darino, Martin
  last_name: Darino
- first_name: Aleš
  full_name: Pӗnčík, Aleš
  last_name: Pӗnčík
- first_name: Ondřej
  full_name: Novák, Ondřej
  last_name: Novák
- first_name: Maria
  full_name: Kalyna, Maria
  last_name: Kalyna
- first_name: Gregory
  full_name: Mouille, Gregory
  last_name: Mouille
- first_name: Eva
  full_name: Benková, Eva
  id: 38F4F166-F248-11E8-B48F-1D18A9856A87
  last_name: Benková
  orcid: 0000-0002-8510-9739
- first_name: Rishikesh P.
  full_name: Bhalerao, Rishikesh P.
  last_name: Bhalerao
- first_name: Jozef
  full_name: Mravec, Jozef
  last_name: Mravec
- first_name: Jürgen
  full_name: Kleine-Vehn, Jürgen
  last_name: Kleine-Vehn
citation:
  ama: Velasquez SM, Guo X, Gallemi M, et al. Xyloglucan remodeling defines auxin-dependent
    differential tissue expansion in plants. <i>International Journal of Molecular
    Sciences</i>. 2021;22(17). doi:<a href="https://doi.org/10.3390/ijms22179222">10.3390/ijms22179222</a>
  apa: Velasquez, S. M., Guo, X., Gallemi, M., Aryal, B., Venhuizen, P., Barbez, E.,
    … Kleine-Vehn, J. (2021). Xyloglucan remodeling defines auxin-dependent differential
    tissue expansion in plants. <i>International Journal of Molecular Sciences</i>.
    MDPI. <a href="https://doi.org/10.3390/ijms22179222">https://doi.org/10.3390/ijms22179222</a>
  chicago: Velasquez, Silvia Melina, Xiaoyuan Guo, Marçal Gallemi, Bibek Aryal, Peter
    Venhuizen, Elke Barbez, Kai Alexander Dünser, et al. “Xyloglucan Remodeling Defines
    Auxin-Dependent Differential Tissue Expansion in Plants.” <i>International Journal
    of Molecular Sciences</i>. MDPI, 2021. <a href="https://doi.org/10.3390/ijms22179222">https://doi.org/10.3390/ijms22179222</a>.
  ieee: S. M. Velasquez <i>et al.</i>, “Xyloglucan remodeling defines auxin-dependent
    differential tissue expansion in plants,” <i>International Journal of Molecular
    Sciences</i>, vol. 22, no. 17. MDPI, 2021.
  ista: Velasquez SM, Guo X, Gallemi M, Aryal B, Venhuizen P, Barbez E, Dünser KA,
    Darino M, Pӗnčík A, Novák O, Kalyna M, Mouille G, Benková E, Bhalerao RP, Mravec
    J, Kleine-Vehn J. 2021. Xyloglucan remodeling defines auxin-dependent differential
    tissue expansion in plants. International Journal of Molecular Sciences. 22(17),
    9222.
  mla: Velasquez, Silvia Melina, et al. “Xyloglucan Remodeling Defines Auxin-Dependent
    Differential Tissue Expansion in Plants.” <i>International Journal of Molecular
    Sciences</i>, vol. 22, no. 17, 9222, MDPI, 2021, doi:<a href="https://doi.org/10.3390/ijms22179222">10.3390/ijms22179222</a>.
  short: S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A.
    Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P.
    Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences
    22 (2021).
corr_author: '1'
date_created: 2021-09-05T22:01:24Z
date_published: 2021-08-26T00:00:00Z
date_updated: 2024-10-09T21:00:50Z
day: '26'
ddc:
- '575'
department:
- _id: EvBe
doi: 10.3390/ijms22179222
external_id:
  isi:
  - '000694347100001'
  pmid:
  - '34502129'
file:
- access_level: open_access
  checksum: 6b7055cf89f1b7ed8594c3fdf56f000b
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-06T12:50:19Z
  date_updated: 2021-09-07T09:04:53Z
  file_id: '9988'
  file_name: 2021_IntJMolecularSciences_Velasquez.pdf
  file_size: 2162247
  relation: main_file
file_date_updated: 2021-09-07T09:04:53Z
has_accepted_license: '1'
intvolume: '        22'
isi: 1
issue: '17'
keyword:
- auxin
- growth
- cell wall
- xyloglucans
- hypocotyls
- gravitropism
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
publication: International Journal of Molecular Sciences
publication_identifier:
  eissn:
  - 1422-0067
  issn:
  - 1661-6596
publication_status: published
publisher: MDPI
quality_controlled: '1'
scopus_import: '1'
status: public
title: Xyloglucan remodeling defines auxin-dependent differential tissue expansion
  in plants
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 22
year: '2021'
...
---
_id: '9987'
abstract:
- lang: eng
  text: 'Stateless model checking (SMC) is one of the standard approaches to the verification
    of concurrent programs. As scheduling non-determinism creates exponentially large
    spaces of thread interleavings, SMC attempts to partition this space into equivalence
    classes and explore only a few representatives from each class. The efficiency
    of this approach depends on two factors: (a) the coarseness of the partitioning,
    and (b) the time to generate representatives in each class. For this reason, the
    search for coarse partitionings that are efficiently explorable is an active research
    challenge. In this work we present   RVF-SMC , a new SMC algorithm that uses a
    novel reads-value-from (RVF) partitioning. Intuitively, two interleavings are
    deemed equivalent if they agree on the value obtained in each read event, and
    read events induce consistent causal orderings between them. The RVF partitioning
    is provably coarser than recent approaches based on Mazurkiewicz and “reads-from”
    partitionings. Our experimental evaluation reveals that RVF is quite often a very
    effective equivalence, as the underlying partitioning is exponentially coarser
    than other approaches. Moreover,   RVF-SMC  generates representatives very efficiently,
    as the reduction in the partitioning is often met with significant speed-ups in
    the model checking task.'
acknowledgement: The research was partially funded by the ERC CoG 863818 (ForM-SMArt)
  and the Vienna Science and Technology Fund (WWTF) through project ICT15-003.
alternative_title:
- LNCS
article_processing_charge: Yes
arxiv: 1
author:
- first_name: Pratyush
  full_name: Agarwal, Pratyush
  last_name: Agarwal
- first_name: Krishnendu
  full_name: Chatterjee, Krishnendu
  id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87
  last_name: Chatterjee
  orcid: 0000-0002-4561-241X
- first_name: Shreya
  full_name: Pathak, Shreya
  last_name: Pathak
- first_name: Andreas
  full_name: Pavlogiannis, Andreas
  id: 49704004-F248-11E8-B48F-1D18A9856A87
  last_name: Pavlogiannis
  orcid: 0000-0002-8943-0722
- first_name: Viktor
  full_name: Toman, Viktor
  id: 3AF3DA7C-F248-11E8-B48F-1D18A9856A87
  last_name: Toman
  orcid: 0000-0001-9036-063X
citation:
  ama: 'Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model
    checking under a reads-value-from equivalence. In: <i>33rd International Conference
    on Computer-Aided Verification </i>. Vol 12759. Springer Nature; 2021:341-366.
    doi:<a href="https://doi.org/10.1007/978-3-030-81685-8_16">10.1007/978-3-030-81685-8_16</a>'
  apa: 'Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., &#38; Toman, V.
    (2021). Stateless model checking under a reads-value-from equivalence. In <i>33rd
    International Conference on Computer-Aided Verification </i> (Vol. 12759, pp.
    341–366). Virtual: Springer Nature. <a href="https://doi.org/10.1007/978-3-030-81685-8_16">https://doi.org/10.1007/978-3-030-81685-8_16</a>'
  chicago: Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis,
    and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.”
    In <i>33rd International Conference on Computer-Aided Verification </i>, 12759:341–66.
    Springer Nature, 2021. <a href="https://doi.org/10.1007/978-3-030-81685-8_16">https://doi.org/10.1007/978-3-030-81685-8_16</a>.
  ieee: P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless
    model checking under a reads-value-from equivalence,” in <i>33rd International
    Conference on Computer-Aided Verification </i>, Virtual, 2021, vol. 12759, pp.
    341–366.
  ista: 'Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless
    model checking under a reads-value-from equivalence. 33rd International Conference
    on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol.
    12759, 341–366.'
  mla: Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from
    Equivalence.” <i>33rd International Conference on Computer-Aided Verification
    </i>, vol. 12759, Springer Nature, 2021, pp. 341–66, doi:<a href="https://doi.org/10.1007/978-3-030-81685-8_16">10.1007/978-3-030-81685-8_16</a>.
  short: P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd
    International Conference on Computer-Aided Verification , Springer Nature, 2021,
    pp. 341–366.
conference:
  end_date: 2021-07-23
  location: Virtual
  name: 'CAV: Computer Aided Verification '
  start_date: 2021-07-20
corr_author: '1'
date_created: 2021-09-05T22:01:24Z
date_published: 2021-07-15T00:00:00Z
date_updated: 2026-04-08T07:00:30Z
day: '15'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/978-3-030-81685-8_16
ec_funded: 1
external_id:
  arxiv:
  - '2105.06424'
  isi:
  - '000698732400016'
file:
- access_level: open_access
  checksum: 4b346e5fbaa8b9bdf107819c7b2aadee
  content_type: application/pdf
  creator: dernst
  date_created: 2022-05-13T07:00:20Z
  date_updated: 2022-05-13T07:00:20Z
  file_id: '11368'
  file_name: 2021_LNCS_Agarwal.pdf
  file_size: 1516756
  relation: main_file
  success: 1
file_date_updated: 2022-05-13T07:00:20Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '07'
oa: 1
oa_version: Published Version
page: 341-366
project:
- _id: 25892FC0-B435-11E9-9278-68D0E5697425
  grant_number: ICT15-003
  name: Efficient Algorithms for Computer Aided Verification
- _id: 0599E47C-7A3F-11EA-A408-12923DDC885E
  call_identifier: H2020
  grant_number: '863818'
  name: 'Formal Methods for Stochastic Models: Algorithms and Applications'
publication: '33rd International Conference on Computer-Aided Verification '
publication_identifier:
  eisbn:
  - 978-3-030-81685-8
  eissn:
  - 1611-3349
  isbn:
  - 978-3-030-81684-1
  issn:
  - 0302-9743
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
related_material:
  record:
  - id: '10199'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Stateless model checking under a reads-value-from equivalence
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: conference
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: '12759 '
year: '2021'
...
---
_id: '9998'
abstract:
- lang: eng
  text: We define quantum equivariant K-theory of Nakajima quiver varieties. We discuss
    type A in detail as well as its connections with quantum XXZ spin chains and trigonometric
    Ruijsenaars-Schneider models. Finally we study a limit which produces a K-theoretic
    version of results of Givental and Kim, connecting quantum geometry of flag varieties
    and Toda lattice.
acknowledgement: 'First of all we would like to thank Andrei Okounkov for invaluable
  discussions, advises and sharing with us his fantastic viewpoint on modern quantum
  geometry. We are also grateful to D. Korb and Z. Zhou for their interest and comments.
  The work of A. Smirnov was supported in part by RFBR Grants under Numbers 15-02-04175
  and 15-01-04217 and in part by NSF Grant DMS–2054527. The work of P. Koroteev, A.M.
  Zeitlin and A. Smirnov is supported in part by AMS Simons travel Grant. A. M. Zeitlin
  is partially supported by Simons Collaboration Grant, Award ID: 578501. Open access
  funding provided by Institute of Science and Technology (IST Austria).'
article_number: '87'
article_processing_charge: Yes (via OA deal)
article_type: original
author:
- first_name: Peter
  full_name: Koroteev, Peter
  last_name: Koroteev
- first_name: Petr
  full_name: Pushkar, Petr
  id: 151DCEB6-9EC3-11E9-8480-ABECE5697425
  last_name: Pushkar
- first_name: Andrey V.
  full_name: Smirnov, Andrey V.
  last_name: Smirnov
- first_name: Anton M.
  full_name: Zeitlin, Anton M.
  last_name: Zeitlin
citation:
  ama: Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. Quantum K-theory of quiver varieties
    and many-body systems. <i>Selecta Mathematica</i>. 2021;27(5). doi:<a href="https://doi.org/10.1007/s00029-021-00698-3">10.1007/s00029-021-00698-3</a>
  apa: Koroteev, P., Pushkar, P., Smirnov, A. V., &#38; Zeitlin, A. M. (2021). Quantum
    K-theory of quiver varieties and many-body systems. <i>Selecta Mathematica</i>.
    Springer Nature. <a href="https://doi.org/10.1007/s00029-021-00698-3">https://doi.org/10.1007/s00029-021-00698-3</a>
  chicago: Koroteev, Peter, Petr Pushkar, Andrey V. Smirnov, and Anton M. Zeitlin.
    “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” <i>Selecta Mathematica</i>.
    Springer Nature, 2021. <a href="https://doi.org/10.1007/s00029-021-00698-3">https://doi.org/10.1007/s00029-021-00698-3</a>.
  ieee: P. Koroteev, P. Pushkar, A. V. Smirnov, and A. M. Zeitlin, “Quantum K-theory
    of quiver varieties and many-body systems,” <i>Selecta Mathematica</i>, vol. 27,
    no. 5. Springer Nature, 2021.
  ista: Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. 2021. Quantum K-theory of quiver
    varieties and many-body systems. Selecta Mathematica. 27(5), 87.
  mla: Koroteev, Peter, et al. “Quantum K-Theory of Quiver Varieties and Many-Body
    Systems.” <i>Selecta Mathematica</i>, vol. 27, no. 5, 87, Springer Nature, 2021,
    doi:<a href="https://doi.org/10.1007/s00029-021-00698-3">10.1007/s00029-021-00698-3</a>.
  short: P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica
    27 (2021).
date_created: 2021-09-12T22:01:22Z
date_published: 2021-08-30T00:00:00Z
date_updated: 2025-04-15T06:53:09Z
day: '30'
ddc:
- '530'
department:
- _id: TaHa
doi: 10.1007/s00029-021-00698-3
external_id:
  isi:
  - '000692795200001'
file:
- access_level: open_access
  checksum: beadc5a722ffb48190e1e63ee2dbfee5
  content_type: application/pdf
  creator: cchlebak
  date_created: 2021-09-13T11:31:34Z
  date_updated: 2021-09-13T11:31:34Z
  file_id: '10010'
  file_name: 2021_SelectaMath_Koroteev.pdf
  file_size: 584648
  relation: main_file
  success: 1
file_date_updated: 2021-09-13T11:31:34Z
has_accepted_license: '1'
intvolume: '        27'
isi: 1
issue: '5'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
project:
- _id: B67AFEDC-15C9-11EA-A837-991A96BB2854
  name: IST Austria Open Access Fund
publication: Selecta Mathematica
publication_identifier:
  eissn:
  - 1420-9020
  issn:
  - 1022-1824
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Quantum K-theory of quiver varieties and many-body systems
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 27
year: '2021'
...
---
_id: '9999'
abstract:
- lang: eng
  text: 'The developmental strategies used by progenitor cells to endure a safe journey
    from their induction place towards the site of terminal differentiation are still
    poorly understood. Here we uncovered a progenitor cell allocation mechanism that
    stems from an incomplete process of epithelial delamination that allows progenitors
    to coordinate their movement with adjacent extra-embryonic tissues. Progenitors
    of the zebrafish laterality organ originate from the surface epithelial enveloping
    layer by an apical constriction process of cell delamination. During this process,
    progenitors retain long-term apical contacts that enable the epithelial layer
    to pull a subset of progenitors along their way towards the vegetal pole. The
    remaining delaminated progenitors follow apically-attached progenitors’ movement
    by a co-attraction mechanism, avoiding sequestration by the adjacent endoderm,
    ensuring their fate and collective allocation at the differentiation site. Thus,
    we reveal that incomplete delamination serves as a cellular platform for coordinated
    tissue movements during development. Impact Statement: Incomplete delamination
    serves as a cellular platform for coordinated tissue movements during development,
    guiding newly formed progenitor cell groups to the differentiation site.'
article_number: e66483
article_processing_charge: Yes
article_type: original
author:
- first_name: Eduardo
  full_name: Pulgar, Eduardo
  last_name: Pulgar
- first_name: Cornelia
  full_name: Schwayer, Cornelia
  id: 3436488C-F248-11E8-B48F-1D18A9856A87
  last_name: Schwayer
  orcid: 0000-0001-5130-2226
- first_name: Néstor
  full_name: Guerrero, Néstor
  last_name: Guerrero
- first_name: Loreto
  full_name: López, Loreto
  last_name: López
- first_name: Susana
  full_name: Márquez, Susana
  last_name: Márquez
- first_name: Steffen
  full_name: Härtel, Steffen
  last_name: Härtel
- first_name: Rodrigo
  full_name: Soto, Rodrigo
  last_name: Soto
- first_name: Carl Philipp
  full_name: Heisenberg, Carl Philipp
  last_name: Heisenberg
- first_name: Miguel L.
  full_name: Concha, Miguel L.
  last_name: Concha
citation:
  ama: Pulgar E, Schwayer C, Guerrero N, et al. Apical contacts stemming from incomplete
    delamination guide progenitor cell allocation through a dragging mechanism. <i>eLife</i>.
    2021;10. doi:<a href="https://doi.org/10.7554/eLife.66483">10.7554/eLife.66483</a>
  apa: Pulgar, E., Schwayer, C., Guerrero, N., López, L., Márquez, S., Härtel, S.,
    … Concha, M. L. (2021). Apical contacts stemming from incomplete delamination
    guide progenitor cell allocation through a dragging mechanism. <i>ELife</i>. eLife
    Sciences Publications. <a href="https://doi.org/10.7554/eLife.66483">https://doi.org/10.7554/eLife.66483</a>
  chicago: Pulgar, Eduardo, Cornelia Schwayer, Néstor Guerrero, Loreto López, Susana
    Márquez, Steffen Härtel, Rodrigo Soto, Carl Philipp Heisenberg, and Miguel L.
    Concha. “Apical Contacts Stemming from Incomplete Delamination Guide Progenitor
    Cell Allocation through a Dragging Mechanism.” <i>ELife</i>. eLife Sciences Publications,
    2021. <a href="https://doi.org/10.7554/eLife.66483">https://doi.org/10.7554/eLife.66483</a>.
  ieee: E. Pulgar <i>et al.</i>, “Apical contacts stemming from incomplete delamination
    guide progenitor cell allocation through a dragging mechanism,” <i>eLife</i>,
    vol. 10. eLife Sciences Publications, 2021.
  ista: Pulgar E, Schwayer C, Guerrero N, López L, Márquez S, Härtel S, Soto R, Heisenberg
    CP, Concha ML. 2021. Apical contacts stemming from incomplete delamination guide
    progenitor cell allocation through a dragging mechanism. eLife. 10, e66483.
  mla: Pulgar, Eduardo, et al. “Apical Contacts Stemming from Incomplete Delamination
    Guide Progenitor Cell Allocation through a Dragging Mechanism.” <i>ELife</i>,
    vol. 10, e66483, eLife Sciences Publications, 2021, doi:<a href="https://doi.org/10.7554/eLife.66483">10.7554/eLife.66483</a>.
  short: E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R.
    Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).
date_created: 2021-09-12T22:01:23Z
date_published: 2021-08-27T00:00:00Z
date_updated: 2025-04-14T07:46:58Z
day: '27'
ddc:
- '570'
department:
- _id: CaHe
doi: 10.7554/eLife.66483
ec_funded: 1
external_id:
  isi:
  - '000700428500001'
  pmid:
  - '34448451'
file:
- access_level: open_access
  checksum: a3f82b0499cc822ac1eab48a01f3f57e
  content_type: application/pdf
  creator: dernst
  date_created: 2022-05-13T08:03:37Z
  date_updated: 2022-05-13T08:03:37Z
  file_id: '11371'
  file_name: 2021_eLife_Pulgar.pdf
  file_size: 9010446
  relation: main_file
  success: 1
file_date_updated: 2022-05-13T08:03:37Z
has_accepted_license: '1'
intvolume: '        10'
isi: 1
keyword:
- cell delamination
- apical constriction
- dragging
- mechanical forces
- collective 18 locomotion
- dorsal forerunner cells
- zebrafish
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260F1432-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '742573'
  name: Interaction and feedback between cell mechanics and fate specification in
    vertebrate gastrulation
publication: eLife
publication_identifier:
  eissn:
  - 2050-084X
publication_status: published
publisher: eLife Sciences Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: Apical contacts stemming from incomplete delamination guide progenitor cell
  allocation through a dragging mechanism
tmp:
  image: /images/cc_by.png
  legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode
  name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)
  short: CC BY (4.0)
type: journal_article
user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8
volume: 10
year: '2021'
...
---
_id: '17384'
abstract:
- lang: eng
  text: Basket weaving is a traditional craft for creating curved surfaces as an interwoven
    array of thin, flexible, and initially straight ribbons. The three-dimensional
    shape of a woven structure emerges through a complex interplay of the elastic
    bending behavior of the ribbons and the contact forces at their crossings. Curvature
    can be injected by carefully placing topological singularities in the otherwise
    regular weaving pattern. However, shape control through topology is highly non-trivial
    and inherently discrete, which severely limits the range of attainable woven geometries.
    Here, we demonstrate how to construct arbitrary smooth free-form surface geometries
    by weaving carefully optimized curved ribbons. We present an optimization-based
    approach to solving the inverse design problem for such woven structures. Our
    algorithm computes the ribbons' planar geometry such that their interwoven assembly
    closely approximates a given target design surface in equilibrium. We systematically
    validate our approach through a series of physical prototypes to show a broad
    range of new woven geometries that is not achievable by existing methods. We anticipate
    our computational approach to significantly enhance the capabilities for the design
    of new woven structures. Facilitated by modern digital fabrication technology,
    we see potential applications in material science, bio- and mechanical engineering,
    art, design, and architecture.
article_processing_charge: No
article_type: original
author:
- first_name: Yingying
  full_name: Ren, Yingying
  id: 93d68d10-3540-11ef-a265-f748a50dba3d
  last_name: Ren
- first_name: Julian
  full_name: Panetta, Julian
  last_name: Panetta
- first_name: Tian
  full_name: Chen, Tian
  last_name: Chen
- first_name: Florin
  full_name: Isvoranu, Florin
  last_name: Isvoranu
- first_name: Samuel
  full_name: Poincloux, Samuel
  last_name: Poincloux
- first_name: Christopher
  full_name: Brandt, Christopher
  last_name: Brandt
- first_name: Alison
  full_name: Martin, Alison
  last_name: Martin
- first_name: Mark
  full_name: Pauly, Mark
  last_name: Pauly
citation:
  ama: Ren Y, Panetta J, Chen T, et al. 3D weaving with curved ribbons. <i>ACM Transactions
    on Graphics</i>. 2021;40(4):1-15. doi:<a href="https://doi.org/10.1145/3450626.3459788">10.1145/3450626.3459788</a>
  apa: Ren, Y., Panetta, J., Chen, T., Isvoranu, F., Poincloux, S., Brandt, C., …
    Pauly, M. (2021). 3D weaving with curved ribbons. <i>ACM Transactions on Graphics</i>.
    Association for Computing Machinery. <a href="https://doi.org/10.1145/3450626.3459788">https://doi.org/10.1145/3450626.3459788</a>
  chicago: Ren, Yingying, Julian Panetta, Tian Chen, Florin Isvoranu, Samuel Poincloux,
    Christopher Brandt, Alison Martin, and Mark Pauly. “3D Weaving with Curved Ribbons.”
    <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2021.
    <a href="https://doi.org/10.1145/3450626.3459788">https://doi.org/10.1145/3450626.3459788</a>.
  ieee: Y. Ren <i>et al.</i>, “3D weaving with curved ribbons,” <i>ACM Transactions
    on Graphics</i>, vol. 40, no. 4. Association for Computing Machinery, pp. 1–15,
    2021.
  ista: Ren Y, Panetta J, Chen T, Isvoranu F, Poincloux S, Brandt C, Martin A, Pauly
    M. 2021. 3D weaving with curved ribbons. ACM Transactions on Graphics. 40(4),
    1–15.
  mla: Ren, Yingying, et al. “3D Weaving with Curved Ribbons.” <i>ACM Transactions
    on Graphics</i>, vol. 40, no. 4, Association for Computing Machinery, 2021, pp.
    1–15, doi:<a href="https://doi.org/10.1145/3450626.3459788">10.1145/3450626.3459788</a>.
  short: Y. Ren, J. Panetta, T. Chen, F. Isvoranu, S. Poincloux, C. Brandt, A. Martin,
    M. Pauly, ACM Transactions on Graphics 40 (2021) 1–15.
date_created: 2024-08-05T06:30:27Z
date_published: 2021-08-01T00:00:00Z
date_updated: 2024-08-12T09:38:19Z
day: '01'
doi: 10.1145/3450626.3459788
extern: '1'
intvolume: '        40'
issue: '4'
language:
- iso: eng
month: '08'
oa_version: None
page: 1-15
publication: ACM Transactions on Graphics
publication_identifier:
  eissn:
  - 1557-7368
  issn:
  - 0730-0301
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 3D weaving with curved ribbons
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 40
year: '2021'
...
---
_id: '17422'
abstract:
- lang: eng
  text: Inspired by motion patterns of some commercially available mobile robots,
    we investigate the power of robots that move forward in straight lines until colliding
    with an environment boundary, at which point they can rotate in place and move
    forward again; we visualize this as the robot “bouncing” off boundaries. We define
    bounce rules governing how the robot should reorient after reaching a boundary,
    such as reorienting relative to its heading prior to collision, or relative to
    the normal of the boundary. We then generate plans as sequences of rules, using
    the bounce visibility graph generated from a polygonal environment definition,
    while assuming we have unavoidable non-determinism in our actuation. Our planner
    can be queried to determine the feasibility of tasks such as reaching goal sets
    and patrolling (repeatedly visiting a sequence of goals). If the task is found
    feasible, the planner provides a sequence of non-deterministic interaction rules,
    which also provide information on how precisely the robot must execute the plan
    to succeed. We also show how to compute stable cyclic trajectories and use these
    to limit uncertainty in the robot’s position. </jats:p>
article_processing_charge: No
article_type: original
author:
- first_name: Alexandra Q
  full_name: Nilles, Alexandra Q
  last_name: Nilles
- first_name: Yingying
  full_name: Ren, Yingying
  id: 93d68d10-3540-11ef-a265-f748a50dba3d
  last_name: Ren
- first_name: Israel
  full_name: Becerra, Israel
  last_name: Becerra
- first_name: Steven M
  full_name: LaValle, Steven M
  last_name: LaValle
citation:
  ama: Nilles AQ, Ren Y, Becerra I, LaValle SM. A visibility-based approach to computing
    non-deterministic bouncing strategies. <i>The International Journal of Robotics
    Research</i>. 2021;40(10-11):1196-1211. doi:<a href="https://doi.org/10.1177/0278364921992788">10.1177/0278364921992788</a>
  apa: Nilles, A. Q., Ren, Y., Becerra, I., &#38; LaValle, S. M. (2021). A visibility-based
    approach to computing non-deterministic bouncing strategies. <i>The International
    Journal of Robotics Research</i>. SAGE Publications. <a href="https://doi.org/10.1177/0278364921992788">https://doi.org/10.1177/0278364921992788</a>
  chicago: Nilles, Alexandra Q, Yingying Ren, Israel Becerra, and Steven M LaValle.
    “A Visibility-Based Approach to Computing Non-Deterministic Bouncing Strategies.”
    <i>The International Journal of Robotics Research</i>. SAGE Publications, 2021.
    <a href="https://doi.org/10.1177/0278364921992788">https://doi.org/10.1177/0278364921992788</a>.
  ieee: A. Q. Nilles, Y. Ren, I. Becerra, and S. M. LaValle, “A visibility-based approach
    to computing non-deterministic bouncing strategies,” <i>The International Journal
    of Robotics Research</i>, vol. 40, no. 10–11. SAGE Publications, pp. 1196–1211,
    2021.
  ista: Nilles AQ, Ren Y, Becerra I, LaValle SM. 2021. A visibility-based approach
    to computing non-deterministic bouncing strategies. The International Journal
    of Robotics Research. 40(10–11), 1196–1211.
  mla: Nilles, Alexandra Q., et al. “A Visibility-Based Approach to Computing Non-Deterministic
    Bouncing Strategies.” <i>The International Journal of Robotics Research</i>, vol.
    40, no. 10–11, SAGE Publications, 2021, pp. 1196–211, doi:<a href="https://doi.org/10.1177/0278364921992788">10.1177/0278364921992788</a>.
  short: A.Q. Nilles, Y. Ren, I. Becerra, S.M. LaValle, The International Journal
    of Robotics Research 40 (2021) 1196–1211.
date_created: 2024-08-12T10:01:27Z
date_published: 2021-09-01T00:00:00Z
date_updated: 2024-08-12T10:15:14Z
day: '01'
doi: 10.1177/0278364921992788
extern: '1'
intvolume: '        40'
issue: 10-11
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1177/0278364921992788
month: '09'
oa: 1
oa_version: Published Version
page: 1196-1211
publication: The International Journal of Robotics Research
publication_identifier:
  eissn:
  - 1741-3176
  issn:
  - 0278-3649
publication_status: published
publisher: SAGE Publications
quality_controlled: '1'
scopus_import: '1'
status: public
title: A visibility-based approach to computing non-deterministic bouncing strategies
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 40
year: '2021'
...
---
_id: '17505'
abstract:
- lang: eng
  text: "Given the central role that C continues to play in systems software, and
    the difficulty of writing safe and correct C code, it remains a grand challenge
    to develop effective formal methods for verifying C programs. In this paper, we
    propose a new approach to this problem: a type system we call RefinedC, which
    combines ownership types (for modular reasoning about shared state and concurrency)
    with refinement types (for encoding precise invariants on C data types and Hoare-style
    specifications for C functions).\r\nRefinedC is both automated (requiring minimal
    user intervention) and foundational (producing a proof of program correctness
    in Coq), while at the same time handling a range of low-level programming idioms
    such as pointer arithmetic. In particular, following the approach of RustBelt,
    the soundness of the RefinedC type system is justified semantically by interpretation
    into the Coq-based Iris framework for higher-order concurrent separation logic.
    However, the typing rules of RefinedC are also designed to be encodable in a new
    “separation logic programming” language we call Lithium. By restricting to a carefully
    chosen (yet expressive) fragment of separation logic, Lithium supports predictable,
    automatic, goal-directed proof search without backtracking. We demonstrate the
    effectiveness of RefinedC on a range of representative examples of C code."
article_processing_charge: No
author:
- first_name: Michael Joachim
  full_name: Sammler, Michael Joachim
  id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
  last_name: Sammler
- first_name: Rodolphe
  full_name: Lepigre, Rodolphe
  last_name: Lepigre
- first_name: Robbert
  full_name: Krebbers, Robbert
  last_name: Krebbers
- first_name: Kayvan
  full_name: Memarian, Kayvan
  last_name: Memarian
- first_name: Derek
  full_name: Dreyer, Derek
  last_name: Dreyer
- first_name: Deepak
  full_name: Garg, Deepak
  last_name: Garg
citation:
  ama: 'Sammler MJ, Lepigre R, Krebbers R, Memarian K, Dreyer D, Garg D. RefinedC:
    Automating the foundational verification of C code with refined ownership types.
    In: <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
    Language Design and Implementation</i>. Association for Computing Machinery; 2021:158-174.
    doi:<a href="https://doi.org/10.1145/3453483.3454036">10.1145/3453483.3454036</a>'
  apa: 'Sammler, M. J., Lepigre, R., Krebbers, R., Memarian, K., Dreyer, D., &#38;
    Garg, D. (2021). RefinedC: Automating the foundational verification of C code
    with refined ownership types. In <i>Proceedings of the 42nd ACM SIGPLAN International
    Conference on Programming Language Design and Implementation</i> (pp. 158–174).
    virtual: Association for Computing Machinery. <a href="https://doi.org/10.1145/3453483.3454036">https://doi.org/10.1145/3453483.3454036</a>'
  chicago: 'Sammler, Michael Joachim, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian,
    Derek Dreyer, and Deepak Garg. “RefinedC: Automating the Foundational Verification
    of C Code with Refined Ownership Types.” In <i>Proceedings of the 42nd ACM SIGPLAN
    International Conference on Programming Language Design and Implementation</i>,
    158–74. Association for Computing Machinery, 2021. <a href="https://doi.org/10.1145/3453483.3454036">https://doi.org/10.1145/3453483.3454036</a>.'
  ieee: 'M. J. Sammler, R. Lepigre, R. Krebbers, K. Memarian, D. Dreyer, and D. Garg,
    “RefinedC: Automating the foundational verification of C code with refined ownership
    types,” in <i>Proceedings of the 42nd ACM SIGPLAN International Conference on
    Programming Language Design and Implementation</i>, virtual, 2021, pp. 158–174.'
  ista: 'Sammler MJ, Lepigre R, Krebbers R, Memarian K, Dreyer D, Garg D. 2021. RefinedC:
    Automating the foundational verification of C code with refined ownership types.
    Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language
    Design and Implementation. PLDI: Conference on Programming Language Design and
    Implementation, 158–174.'
  mla: 'Sammler, Michael Joachim, et al. “RefinedC: Automating the Foundational Verification
    of C Code with Refined Ownership Types.” <i>Proceedings of the 42nd ACM SIGPLAN
    International Conference on Programming Language Design and Implementation</i>,
    Association for Computing Machinery, 2021, pp. 158–74, doi:<a href="https://doi.org/10.1145/3453483.3454036">10.1145/3453483.3454036</a>.'
  short: M.J. Sammler, R. Lepigre, R. Krebbers, K. Memarian, D. Dreyer, D. Garg, in:,
    Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language
    Design and Implementation, Association for Computing Machinery, 2021, pp. 158–174.
conference:
  end_date: 2021-06-25
  location: virtual
  name: 'PLDI: Conference on Programming Language Design and Implementation'
  start_date: 2021-06-20
date_created: 2024-09-05T08:34:50Z
date_published: 2021-06-18T00:00:00Z
date_updated: 2024-09-10T11:54:22Z
day: '18'
doi: 10.1145/3453483.3454036
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/3453483.3454036
month: '06'
oa: 1
oa_version: Published Version
page: 158-174
publication: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming
  Language Design and Implementation
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'RefinedC: Automating the foundational verification of C code with refined
  ownership types'
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2021'
...
---
_id: '17508'
abstract:
- lang: eng
  text: "This paper presents the ESA Voyage 2050 White Paper for a concept of TeraHertz
    Exploration and Zooming-in for Astrophysics (THEZA). It addresses the science
    case and some implementation issues of a space-borne radio interferometric system
    for ultra-sharp imaging of celestial radio sources at the level of angular resolution
    down to (sub-) microarcseconds. THEZA focuses at millimetre and sub-millimetre
    wavelengths (frequencies above \r\n300 GHz), but allows for science operations
    at longer wavelengths too. The THEZA concept science rationale is focused on the
    physics of spacetime in the vicinity of supermassive black holes as the leading
    science driver. The main aim of the concept is to facilitate a major leap by providing
    researchers with orders of magnitude improvements in the resolution and dynamic
    range in direct imaging studies of the most exotic objects in the Universe, black
    holes. The concept will open up a sizeable range of hitherto unreachable parameters
    of observational astrophysics. It unifies two major lines of development of space-borne
    radio astronomy of the past decades: Space VLBI (Very Long Baseline Interferometry)
    and mm- and sub-mm astrophysical studies with “single dish” instruments. It also
    builds upon the recent success of the Earth-based Event Horizon Telescope (EHT)
    – the first-ever direct image of a shadow of the super-massive black hole in the
    centre of the galaxy M87. As an amalgam of these three major areas of modern observational
    astrophysics, THEZA aims at facilitating a breakthrough in high-resolution high
    image quality studies in the millimetre and sub-millimetre domain of the electromagnetic
    spectrum."
alternative_title:
- An ESA Voyage 2050 White Paper
article_processing_charge: No
article_type: original
author:
- first_name: Leonid I.
  full_name: Gurvits, Leonid I.
  last_name: Gurvits
- first_name: Zsolt
  full_name: Paragi, Zsolt
  last_name: Paragi
- first_name: Viviana
  full_name: Casasola, Viviana
  last_name: Casasola
- first_name: John
  full_name: Conway, John
  last_name: Conway
- first_name: Jordy
  full_name: Davelaar, Jordy
  last_name: Davelaar
- first_name: Heino
  full_name: Falcke, Heino
  last_name: Falcke
- first_name: Rob
  full_name: Fender, Rob
  last_name: Fender
- first_name: Sándor
  full_name: Frey, Sándor
  last_name: Frey
- first_name: Christian M.
  full_name: Fromm, Christian M.
  last_name: Fromm
- first_name: Cristina García
  full_name: Miró, Cristina García
  last_name: Miró
- first_name: Michael A.
  full_name: Garrett, Michael A.
  last_name: Garrett
- first_name: Marcello
  full_name: Giroletti, Marcello
  last_name: Giroletti
- first_name: Ciriaco
  full_name: Goddi, Ciriaco
  last_name: Goddi
- first_name: José-Luis
  full_name: Gómez, José-Luis
  last_name: Gómez
- first_name: Jeffrey
  full_name: van der Gucht, Jeffrey
  last_name: van der Gucht
- first_name: José Carlos
  full_name: Guirado, José Carlos
  last_name: Guirado
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Frank
  full_name: Helmich, Frank
  last_name: Helmich
- first_name: Elizabeth
  full_name: Humphreys, Elizabeth
  last_name: Humphreys
- first_name: Violette
  full_name: Impellizzeri, Violette
  last_name: Impellizzeri
- first_name: Michael
  full_name: Kramer, Michael
  last_name: Kramer
- first_name: Michael
  full_name: Lindqvist, Michael
  last_name: Lindqvist
- first_name: Hendrik
  full_name: Linz, Hendrik
  last_name: Linz
- first_name: Elisabetta
  full_name: Liuzzo, Elisabetta
  last_name: Liuzzo
- first_name: Andrei P.
  full_name: Lobanov, Andrei P.
  last_name: Lobanov
- first_name: Yosuke
  full_name: Mizuno, Yosuke
  last_name: Mizuno
- first_name: Luciano
  full_name: Rezzolla, Luciano
  last_name: Rezzolla
- first_name: Freek
  full_name: Roelofs, Freek
  last_name: Roelofs
- first_name: Eduardo
  full_name: Ros, Eduardo
  last_name: Ros
- first_name: Kazi L.J.
  full_name: Rygl, Kazi L.J.
  last_name: Rygl
- first_name: Tuomas
  full_name: Savolainen, Tuomas
  last_name: Savolainen
- first_name: Karl
  full_name: Schuster, Karl
  last_name: Schuster
- first_name: Tiziana
  full_name: Venturi, Tiziana
  last_name: Venturi
- first_name: Martina C.
  full_name: Wiedner, Martina C.
  last_name: Wiedner
- first_name: J. Anton
  full_name: Zensus, J. Anton
  last_name: Zensus
citation:
  ama: 'Gurvits LI, Paragi Z, Casasola V, et al. THEZA: TeraHertz exploration and
    zooming-in for astrophysics. <i>Experimental Astronomy</i>. 2021;51(3):559-594.
    doi:<a href="https://doi.org/10.1007/s10686-021-09714-y">10.1007/s10686-021-09714-y</a>'
  apa: 'Gurvits, L. I., Paragi, Z., Casasola, V., Conway, J., Davelaar, J., Falcke,
    H., … Zensus, J. A. (2021). THEZA: TeraHertz exploration and zooming-in for astrophysics.
    <i>Experimental Astronomy</i>. Springer Science and Business Media LLC. <a href="https://doi.org/10.1007/s10686-021-09714-y">https://doi.org/10.1007/s10686-021-09714-y</a>'
  chicago: 'Gurvits, Leonid I., Zsolt Paragi, Viviana Casasola, John Conway, Jordy
    Davelaar, Heino Falcke, Rob Fender, et al. “THEZA: TeraHertz Exploration and Zooming-in
    for Astrophysics.” <i>Experimental Astronomy</i>. Springer Science and Business
    Media LLC, 2021. <a href="https://doi.org/10.1007/s10686-021-09714-y">https://doi.org/10.1007/s10686-021-09714-y</a>.'
  ieee: 'L. I. Gurvits <i>et al.</i>, “THEZA: TeraHertz exploration and zooming-in
    for astrophysics,” <i>Experimental Astronomy</i>, vol. 51, no. 3. Springer Science
    and Business Media LLC, pp. 559–594, 2021.'
  ista: 'Gurvits LI, Paragi Z, Casasola V, Conway J, Davelaar J, Falcke H, Fender
    R, Frey S, Fromm CM, Miró CG, Garrett MA, Giroletti M, Goddi C, Gómez J-L, van
    der Gucht J, Guirado JC, Haiman Z, Helmich F, Humphreys E, Impellizzeri V, Kramer
    M, Lindqvist M, Linz H, Liuzzo E, Lobanov AP, Mizuno Y, Rezzolla L, Roelofs F,
    Ros E, Rygl KLJ, Savolainen T, Schuster K, Venturi T, Wiedner MC, Zensus JA. 2021.
    THEZA: TeraHertz exploration and zooming-in for astrophysics. Experimental Astronomy.
    51(3), 559–594.'
  mla: 'Gurvits, Leonid I., et al. “THEZA: TeraHertz Exploration and Zooming-in for
    Astrophysics.” <i>Experimental Astronomy</i>, vol. 51, no. 3, Springer Science
    and Business Media LLC, 2021, pp. 559–94, doi:<a href="https://doi.org/10.1007/s10686-021-09714-y">10.1007/s10686-021-09714-y</a>.'
  short: L.I. Gurvits, Z. Paragi, V. Casasola, J. Conway, J. Davelaar, H. Falcke,
    R. Fender, S. Frey, C.M. Fromm, C.G. Miró, M.A. Garrett, M. Giroletti, C. Goddi,
    J.-L. Gómez, J. van der Gucht, J.C. Guirado, Z. Haiman, F. Helmich, E. Humphreys,
    V. Impellizzeri, M. Kramer, M. Lindqvist, H. Linz, E. Liuzzo, A.P. Lobanov, Y.
    Mizuno, L. Rezzolla, F. Roelofs, E. Ros, K.L.J. Rygl, T. Savolainen, K. Schuster,
    T. Venturi, M.C. Wiedner, J.A. Zensus, Experimental Astronomy 51 (2021) 559–594.
date_created: 2024-09-05T08:46:17Z
date_published: 2021-05-27T00:00:00Z
date_updated: 2024-09-10T12:15:42Z
day: '27'
doi: 10.1007/s10686-021-09714-y
extern: '1'
intvolume: '        51'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1007/s10686-021-09714-y
month: '05'
oa: 1
oa_version: Published Version
page: 559-594
publication: Experimental Astronomy
publication_identifier:
  issn:
  - 0922-6435
  - 1572-9508
publication_status: published
publisher: Springer Science and Business Media LLC
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'THEZA: TeraHertz exploration and zooming-in for astrophysics'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 51
year: '2021'
...
---
_id: '17509'
abstract:
- lang: eng
  text: The recently discovered gravitational wave sources GW190521 and GW190814 have
    shown evidence of BH mergers with masses and spins outside of the range expected
    from isolated stellar evolution. These merging objects could have undergone previous
    mergers. Such hierarchical mergers are predicted to be frequent in active galactic
    nuclei (AGNs) disks, where binaries form and evolve efficiently by dynamical interactions
    and gaseous dissipation. Here we compare the properties of these observed events
    to the theoretical models of mergers in AGN disks, which are obtained by performing
    one-dimensional N-body simulations combined with semi-analytical prescriptions.
    The high BH masses in GW190521 are consistent with mergers of high-generation
    (high-g) BHs where the initial progenitor stars had high metallicity, 2g BHs if
    the original progenitors were metal-poor, or 1g BHs that had gained mass via super-Eddington
    accretion. Other measured properties related to spin parameters in GW190521 are
    also consistent with mergers in AGN disks. Furthermore, mergers in the lower mass
    gap or those with low mass ratio as found in GW190814 and GW190412 are also reproduced
    by mergers of 2g–1g or 1g–1g objects with significant accretion in AGN disks.
    Finally, due to gas accretion, the massive neutron star merger reported in GW190425
    can be produced in an AGN disk.
article_number: '194'
article_processing_charge: No
article_type: original
author:
- first_name: Hiromichi
  full_name: Tagawa, Hiromichi
  last_name: Tagawa
- first_name: Bence
  full_name: Kocsis, Bence
  last_name: Kocsis
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Imre
  full_name: Bartos, Imre
  last_name: Bartos
- first_name: Kazuyuki
  full_name: Omukai, Kazuyuki
  last_name: Omukai
- first_name: Johan
  full_name: Samsing, Johan
  last_name: Samsing
citation:
  ama: Tagawa H, Kocsis B, Haiman Z, Bartos I, Omukai K, Samsing J. Mass-gap mergers
    in active galactic nuclei. <i>The Astrophysical Journal</i>. 2021;908(2). doi:<a
    href="https://doi.org/10.3847/1538-4357/abd555">10.3847/1538-4357/abd555</a>
  apa: Tagawa, H., Kocsis, B., Haiman, Z., Bartos, I., Omukai, K., &#38; Samsing,
    J. (2021). Mass-gap mergers in active galactic nuclei. <i>The Astrophysical Journal</i>.
    American Astronomical Society. <a href="https://doi.org/10.3847/1538-4357/abd555">https://doi.org/10.3847/1538-4357/abd555</a>
  chicago: Tagawa, Hiromichi, Bence Kocsis, Zoltán Haiman, Imre Bartos, Kazuyuki Omukai,
    and Johan Samsing. “Mass-Gap Mergers in Active Galactic Nuclei.” <i>The Astrophysical
    Journal</i>. American Astronomical Society, 2021. <a href="https://doi.org/10.3847/1538-4357/abd555">https://doi.org/10.3847/1538-4357/abd555</a>.
  ieee: H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, and J. Samsing, “Mass-gap
    mergers in active galactic nuclei,” <i>The Astrophysical Journal</i>, vol. 908,
    no. 2. American Astronomical Society, 2021.
  ista: Tagawa H, Kocsis B, Haiman Z, Bartos I, Omukai K, Samsing J. 2021. Mass-gap
    mergers in active galactic nuclei. The Astrophysical Journal. 908(2), 194.
  mla: Tagawa, Hiromichi, et al. “Mass-Gap Mergers in Active Galactic Nuclei.” <i>The
    Astrophysical Journal</i>, vol. 908, no. 2, 194, American Astronomical Society,
    2021, doi:<a href="https://doi.org/10.3847/1538-4357/abd555">10.3847/1538-4357/abd555</a>.
  short: H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, J. Samsing, The Astrophysical
    Journal 908 (2021).
date_created: 2024-09-05T08:47:46Z
date_published: 2021-02-24T00:00:00Z
date_updated: 2024-09-10T12:36:17Z
day: '24'
doi: 10.3847/1538-4357/abd555
extern: '1'
intvolume: '       908'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3847/1538-4357/abd555
month: '02'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
  issn:
  - 0004-637X
  - 1538-4357
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Mass-gap mergers in active galactic nuclei
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 908
year: '2021'
...
---
_id: '17515'
abstract:
- lang: eng
  text: 'The disks of active galactic nuclei (AGNs) have emerged as a rich environment
    for the evolution of stars and their compact remnants. The very dense medium favors
    rapid accretion, while torques and migration traps enhance binary formation and
    mergers. Both long and short gamma-ray bursts are hence expected. We show that
    AGN disks constitute an ideal environment for another interesting phenomenon:
    the accretion-induced collapse (AIC) of neutron stars (NSs) to black holes (BHs).
    Rapid accretion in the dense disks can cause NSs to grow to the point of exceeding
    the maximum mass allowed by their equation of state. General relativistic magnetohydrodynamical
    simulations have shown that electromagnetic signatures are expected if the NS
    is surrounded by a minidisk prior to collapse, which then rapidly accretes onto
    the BH, and/or if the NS is highly magnetized, from reconnection of the magnetosphere
    during collapse. Here we compute the rates of AICs and their locations within
    the disks for both isolated NSs and for (initially stable) NSs formed from NS-NS
    mergers. We find that the global AIC rates are ∼0.07–20 Gpc−3 yr−1, and we discuss
    their observable prospects and signatures as they emerge from the dense disk environments.'
article_number: '10'
article_processing_charge: No
article_type: original
author:
- first_name: Rosalba
  full_name: Perna, Rosalba
  last_name: Perna
- first_name: Hiromichi
  full_name: Tagawa, Hiromichi
  last_name: Tagawa
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Imre
  full_name: Bartos, Imre
  last_name: Bartos
citation:
  ama: Perna R, Tagawa H, Haiman Z, Bartos I. Accretion-induced collapse of neutron
    stars in the disks of active galactic nuclei. <i>The Astrophysical Journal</i>.
    2021;915(1). doi:<a href="https://doi.org/10.3847/1538-4357/abfdb4">10.3847/1538-4357/abfdb4</a>
  apa: Perna, R., Tagawa, H., Haiman, Z., &#38; Bartos, I. (2021). Accretion-induced
    collapse of neutron stars in the disks of active galactic nuclei. <i>The Astrophysical
    Journal</i>. American Astronomical Society. <a href="https://doi.org/10.3847/1538-4357/abfdb4">https://doi.org/10.3847/1538-4357/abfdb4</a>
  chicago: Perna, Rosalba, Hiromichi Tagawa, Zoltán Haiman, and Imre Bartos. “Accretion-Induced
    Collapse of Neutron Stars in the Disks of Active Galactic Nuclei.” <i>The Astrophysical
    Journal</i>. American Astronomical Society, 2021. <a href="https://doi.org/10.3847/1538-4357/abfdb4">https://doi.org/10.3847/1538-4357/abfdb4</a>.
  ieee: R. Perna, H. Tagawa, Z. Haiman, and I. Bartos, “Accretion-induced collapse
    of neutron stars in the disks of active galactic nuclei,” <i>The Astrophysical
    Journal</i>, vol. 915, no. 1. American Astronomical Society, 2021.
  ista: Perna R, Tagawa H, Haiman Z, Bartos I. 2021. Accretion-induced collapse of
    neutron stars in the disks of active galactic nuclei. The Astrophysical Journal.
    915(1), 10.
  mla: Perna, Rosalba, et al. “Accretion-Induced Collapse of Neutron Stars in the
    Disks of Active Galactic Nuclei.” <i>The Astrophysical Journal</i>, vol. 915,
    no. 1, 10, American Astronomical Society, 2021, doi:<a href="https://doi.org/10.3847/1538-4357/abfdb4">10.3847/1538-4357/abfdb4</a>.
  short: R. Perna, H. Tagawa, Z. Haiman, I. Bartos, The Astrophysical Journal 915
    (2021).
date_created: 2024-09-05T08:55:06Z
date_published: 2021-06-28T00:00:00Z
date_updated: 2024-09-10T13:47:31Z
day: '28'
doi: 10.3847/1538-4357/abfdb4
extern: '1'
intvolume: '       915'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3847/1538-4357/abfdb4
month: '06'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal
publication_identifier:
  issn:
  - 0004-637X
  - 1538-4357
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Accretion-induced collapse of neutron stars in the disks of active galactic
  nuclei
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 915
year: '2021'
...
---
_id: '17516'
abstract:
- lang: eng
  text: We study the effect of baryonic processes on weak lensing (WL) observables
    with a suite of mock WL maps, the κTNG, based on the cosmological hydrodynamic
    simulations IllustrisTNG. We quantify the baryonic effects on the WL angular power
    spectrum, one-point probability distribution function (PDF), and number counts
    of peaks and minima. We also show the redshift evolution of the effects, which
    is a key to distinguish the effect of baryons from fundamental physics such as
    dark energy, dark matter, and massive neutrinos. We find that baryonic processes
    reduce the small-scale power, suppress the tails of the PDF, peak and minimum
    counts, and change the total number of peaks and minima. We compare our results
    to existing semi-analytical models and hydrodynamic simulations, and discuss the
    source of discrepancies. The κTNG suite includes 10 000 realizations of $5 \times
    5 \, \mathrm{deg}^2$ maps for 40 source redshifts up to zs = 2.6, well covering
    the range of interest for existing and upcoming WL surveys. We also produce the
    κTNG-Dark suite of maps, generated based on the corresponding dark matter-only
    IllustrisTNG simulations. Our mock maps are not only suitable for developing analytical
    models that incorporate the effect of baryons, but also particularly useful for
    studies that rely on mass maps, such as non-Gaussian statistics and machine learning
    with convolutional neural networks. The suite of mock maps is publicly available
    at Columbia Lensing (http://columbialensing.org).
article_processing_charge: No
article_type: original
author:
- first_name: Ken
  full_name: Osato, Ken
  last_name: Osato
- first_name: Jia
  full_name: Liu, Jia
  last_name: Liu
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: 'Osato K, Liu J, Haiman Z. κTNG: effect of baryonic processes on weak lensing
    with IllustrisTNG simulations. <i>Monthly Notices of the Royal Astronomical Society</i>.
    2021;502(4):5593-5602. doi:<a href="https://doi.org/10.1093/mnras/stab395">10.1093/mnras/stab395</a>'
  apa: 'Osato, K., Liu, J., &#38; Haiman, Z. (2021). κTNG: effect of baryonic processes
    on weak lensing with IllustrisTNG simulations. <i>Monthly Notices of the Royal
    Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stab395">https://doi.org/10.1093/mnras/stab395</a>'
  chicago: 'Osato, Ken, Jia Liu, and Zoltán Haiman. “ΚTNG: Effect of Baryonic Processes
    on Weak Lensing with IllustrisTNG Simulations.” <i>Monthly Notices of the Royal
    Astronomical Society</i>. Oxford University Press, 2021. <a href="https://doi.org/10.1093/mnras/stab395">https://doi.org/10.1093/mnras/stab395</a>.'
  ieee: 'K. Osato, J. Liu, and Z. Haiman, “κTNG: effect of baryonic processes on weak
    lensing with IllustrisTNG simulations,” <i>Monthly Notices of the Royal Astronomical
    Society</i>, vol. 502, no. 4. Oxford University Press, pp. 5593–5602, 2021.'
  ista: 'Osato K, Liu J, Haiman Z. 2021. κTNG: effect of baryonic processes on weak
    lensing with IllustrisTNG simulations. Monthly Notices of the Royal Astronomical
    Society. 502(4), 5593–5602.'
  mla: 'Osato, Ken, et al. “ΚTNG: Effect of Baryonic Processes on Weak Lensing with
    IllustrisTNG Simulations.” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 502, no. 4, Oxford University Press, 2021, pp. 5593–602, doi:<a href="https://doi.org/10.1093/mnras/stab395">10.1093/mnras/stab395</a>.'
  short: K. Osato, J. Liu, Z. Haiman, Monthly Notices of the Royal Astronomical Society
    502 (2021) 5593–5602.
date_created: 2024-09-05T08:56:14Z
date_published: 2021-02-11T00:00:00Z
date_updated: 2024-09-10T13:53:06Z
day: '11'
doi: 10.1093/mnras/stab395
extern: '1'
intvolume: '       502'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stab395
month: '02'
oa: 1
oa_version: Published Version
page: 5593-5602
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  issn:
  - 0035-8711
  - 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 502
year: '2021'
...
---
_id: '17525'
abstract:
- lang: eng
  text: Since the very beginning of astronomy the location of objects on the sky has
    been a fundamental observational quantity that has been taken for granted. While
    precise two dimensional positional information is easy to obtain for observations
    in the electromagnetic spectrum, the positional accuracy of current and near future
    gravitational wave detectors is limited to between tens and hundreds of square
    degrees, which makes it extremely challenging to identify the host galaxies of
    gravitational wave events or to detect any electromagnetic counterparts. Gravitational
    wave observations provide information on source properties that is complementary
    to the information in any associated electromagnetic emission. Observing systems
    with multiple messengers thus has scientific potential much greater than the sum
    of its parts. A gravitational wave detector with higher angular resolution would
    significantly increase the prospects for finding the hosts of gravitational wave
    sources and triggering a multi-messenger follow-up campaign. An observatory with
    arcminute precision or better could be realised within the Voyage 2050 programme
    by creating a large baseline interferometer array in space and would have transformative
    scientific potential. Precise positional information of standard sirens would
    enable precision measurements of cosmological parameters and offer new insights
    on structure formation; a high angular resolution gravitational wave observatory
    would allow the detection of a stochastic background and resolution of the anisotropies
    within it; it would also allow the study of accretion processes around black holes;
    and it would have tremendous potential for tests of modified gravity and the discovery
    of physics beyond the Standard Model.
article_processing_charge: No
article_type: original
author:
- first_name: John
  full_name: Baker, John
  last_name: Baker
- first_name: Tessa
  full_name: Baker, Tessa
  last_name: Baker
- first_name: Carmelita
  full_name: Carbone, Carmelita
  last_name: Carbone
- first_name: Giuseppe
  full_name: Congedo, Giuseppe
  last_name: Congedo
- first_name: Carlo
  full_name: Contaldi, Carlo
  last_name: Contaldi
- first_name: Irina
  full_name: Dvorkin, Irina
  last_name: Dvorkin
- first_name: Jonathan
  full_name: Gair, Jonathan
  last_name: Gair
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: David F.
  full_name: Mota, David F.
  last_name: Mota
- first_name: Arianna
  full_name: Renzini, Arianna
  last_name: Renzini
- first_name: Ernst-Jan
  full_name: Buis, Ernst-Jan
  last_name: Buis
- first_name: Giulia
  full_name: Cusin, Giulia
  last_name: Cusin
- first_name: Jose Maria
  full_name: Ezquiaga, Jose Maria
  last_name: Ezquiaga
- first_name: Guido
  full_name: Mueller, Guido
  last_name: Mueller
- first_name: Mauro
  full_name: Pieroni, Mauro
  last_name: Pieroni
- first_name: John
  full_name: Quenby, John
  last_name: Quenby
- first_name: Angelo
  full_name: Ricciardone, Angelo
  last_name: Ricciardone
- first_name: Ippocratis D.
  full_name: Saltas, Ippocratis D.
  last_name: Saltas
- first_name: Lijing
  full_name: Shao, Lijing
  last_name: Shao
- first_name: Nicola
  full_name: Tamanini, Nicola
  last_name: Tamanini
- first_name: Gianmassimo
  full_name: Tasinato, Gianmassimo
  last_name: Tasinato
- first_name: Miguel
  full_name: Zumalacárregui, Miguel
  last_name: Zumalacárregui
citation:
  ama: Baker J, Baker T, Carbone C, et al. High angular resolution gravitational wave
    astronomy. <i>Experimental Astronomy</i>. 2021;51(3):1441-1470. doi:<a href="https://doi.org/10.1007/s10686-021-09712-0">10.1007/s10686-021-09712-0</a>
  apa: Baker, J., Baker, T., Carbone, C., Congedo, G., Contaldi, C., Dvorkin, I.,
    … Zumalacárregui, M. (2021). High angular resolution gravitational wave astronomy.
    <i>Experimental Astronomy</i>. Springer Science and Business Media LLC. <a href="https://doi.org/10.1007/s10686-021-09712-0">https://doi.org/10.1007/s10686-021-09712-0</a>
  chicago: Baker, John, Tessa Baker, Carmelita Carbone, Giuseppe Congedo, Carlo Contaldi,
    Irina Dvorkin, Jonathan Gair, et al. “High Angular Resolution Gravitational Wave
    Astronomy.” <i>Experimental Astronomy</i>. Springer Science and Business Media
    LLC, 2021. <a href="https://doi.org/10.1007/s10686-021-09712-0">https://doi.org/10.1007/s10686-021-09712-0</a>.
  ieee: J. Baker <i>et al.</i>, “High angular resolution gravitational wave astronomy,”
    <i>Experimental Astronomy</i>, vol. 51, no. 3. Springer Science and Business Media
    LLC, pp. 1441–1470, 2021.
  ista: Baker J, Baker T, Carbone C, Congedo G, Contaldi C, Dvorkin I, Gair J, Haiman
    Z, Mota DF, Renzini A, Buis E-J, Cusin G, Ezquiaga JM, Mueller G, Pieroni M, Quenby
    J, Ricciardone A, Saltas ID, Shao L, Tamanini N, Tasinato G, Zumalacárregui M.
    2021. High angular resolution gravitational wave astronomy. Experimental Astronomy.
    51(3), 1441–1470.
  mla: Baker, John, et al. “High Angular Resolution Gravitational Wave Astronomy.”
    <i>Experimental Astronomy</i>, vol. 51, no. 3, Springer Science and Business Media
    LLC, 2021, pp. 1441–70, doi:<a href="https://doi.org/10.1007/s10686-021-09712-0">10.1007/s10686-021-09712-0</a>.
  short: J. Baker, T. Baker, C. Carbone, G. Congedo, C. Contaldi, I. Dvorkin, J. Gair,
    Z. Haiman, D.F. Mota, A. Renzini, E.-J. Buis, G. Cusin, J.M. Ezquiaga, G. Mueller,
    M. Pieroni, J. Quenby, A. Ricciardone, I.D. Saltas, L. Shao, N. Tamanini, G. Tasinato,
    M. Zumalacárregui, Experimental Astronomy 51 (2021) 1441–1470.
date_created: 2024-09-05T09:28:30Z
date_published: 2021-05-04T00:00:00Z
date_updated: 2024-09-11T08:17:16Z
day: '04'
doi: 10.1007/s10686-021-09712-0
extern: '1'
intvolume: '        51'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1007/s10686-021-09712-0
month: '05'
oa: 1
oa_version: Published Version
page: 1441-1470
publication: Experimental Astronomy
publication_identifier:
  issn:
  - 0922-6435
  - 1572-9508
publication_status: published
publisher: Springer Science and Business Media LLC
quality_controlled: '1'
scopus_import: '1'
status: public
title: High angular resolution gravitational wave astronomy
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 51
year: '2021'
...
---
_id: '17534'
abstract:
- lang: eng
  text: We propose a space-based interferometer surveying the gravitational wave (GW)
    sky in the milli-Hz to μ-Hz frequency range. By the 2040s, the μ-Hz frequency
    band, bracketed in between the Laser Interferometer Space Antenna (LISA) and pulsar
    timing arrays, will constitute the largest gap in the coverage of the astrophysically
    relevant GW spectrum. Yet many outstanding questions related to astrophysics and
    cosmology are best answered by GW observations in this band. We show that a μ-Hz
    GW detector will be a truly overarching observatory for the scientific community
    at large, greatly extending the potential of LISA. Conceived to detect massive
    black hole binaries from their early inspiral with high signal-to-noise ratio,
    and low-frequency stellar binaries in the Galaxy, this instrument will be a cornerstone
    for multimessenger astronomy from the solar neighbourhood to the high-redshift
    Universe.
article_processing_charge: No
article_type: original
author:
- first_name: Alberto
  full_name: Sesana, Alberto
  last_name: Sesana
- first_name: Natalia
  full_name: Korsakova, Natalia
  last_name: Korsakova
- first_name: Manuel Arca
  full_name: Sedda, Manuel Arca
  last_name: Sedda
- first_name: Vishal
  full_name: Baibhav, Vishal
  last_name: Baibhav
- first_name: Enrico
  full_name: Barausse, Enrico
  last_name: Barausse
- first_name: Simon
  full_name: Barke, Simon
  last_name: Barke
- first_name: Emanuele
  full_name: Berti, Emanuele
  last_name: Berti
- first_name: Matteo
  full_name: Bonetti, Matteo
  last_name: Bonetti
- first_name: Pedro R.
  full_name: Capelo, Pedro R.
  last_name: Capelo
- first_name: Chiara
  full_name: Caprini, Chiara
  last_name: Caprini
- first_name: Juan
  full_name: Garcia-Bellido, Juan
  last_name: Garcia-Bellido
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Karan
  full_name: Jani, Karan
  last_name: Jani
- first_name: Oliver
  full_name: Jennrich, Oliver
  last_name: Jennrich
- first_name: Peter H.
  full_name: Johansson, Peter H.
  last_name: Johansson
- first_name: Fazeel Mahmood
  full_name: Khan, Fazeel Mahmood
  last_name: Khan
- first_name: Valeriya
  full_name: Korol, Valeriya
  last_name: Korol
- first_name: Astrid
  full_name: Lamberts, Astrid
  last_name: Lamberts
- first_name: Alessandro
  full_name: Lupi, Alessandro
  last_name: Lupi
- first_name: Alberto
  full_name: Mangiagli, Alberto
  last_name: Mangiagli
- first_name: Lucio
  full_name: Mayer, Lucio
  last_name: Mayer
- first_name: Germano
  full_name: Nardini, Germano
  last_name: Nardini
- first_name: Fabio
  full_name: Pacucci, Fabio
  last_name: Pacucci
- first_name: Antoine
  full_name: Petiteau, Antoine
  last_name: Petiteau
- first_name: Alvise
  full_name: Raccanelli, Alvise
  last_name: Raccanelli
- first_name: Surjeet
  full_name: Rajendran, Surjeet
  last_name: Rajendran
- first_name: John
  full_name: Regan, John
  last_name: Regan
- first_name: Lijing
  full_name: Shao, Lijing
  last_name: Shao
- first_name: Alessandro
  full_name: Spallicci, Alessandro
  last_name: Spallicci
- first_name: Nicola
  full_name: Tamanini, Nicola
  last_name: Tamanini
- first_name: Marta
  full_name: Volonteri, Marta
  last_name: Volonteri
- first_name: Niels
  full_name: Warburton, Niels
  last_name: Warburton
- first_name: Kaze
  full_name: Wong, Kaze
  last_name: Wong
- first_name: Miguel
  full_name: Zumalacarregui, Miguel
  last_name: Zumalacarregui
citation:
  ama: Sesana A, Korsakova N, Sedda MA, et al. Unveiling the gravitational universe
    at μ-Hz frequencies. <i>Experimental Astronomy</i>. 2021;51(3):1333-1383. doi:<a
    href="https://doi.org/10.1007/s10686-021-09709-9">10.1007/s10686-021-09709-9</a>
  apa: Sesana, A., Korsakova, N., Sedda, M. A., Baibhav, V., Barausse, E., Barke,
    S., … Zumalacarregui, M. (2021). Unveiling the gravitational universe at μ-Hz
    frequencies. <i>Experimental Astronomy</i>. Springer Science and Business Media
    LLC. <a href="https://doi.org/10.1007/s10686-021-09709-9">https://doi.org/10.1007/s10686-021-09709-9</a>
  chicago: Sesana, Alberto, Natalia Korsakova, Manuel Arca Sedda, Vishal Baibhav,
    Enrico Barausse, Simon Barke, Emanuele Berti, et al. “Unveiling the Gravitational
    Universe at μ-Hz Frequencies.” <i>Experimental Astronomy</i>. Springer Science
    and Business Media LLC, 2021. <a href="https://doi.org/10.1007/s10686-021-09709-9">https://doi.org/10.1007/s10686-021-09709-9</a>.
  ieee: A. Sesana <i>et al.</i>, “Unveiling the gravitational universe at μ-Hz frequencies,”
    <i>Experimental Astronomy</i>, vol. 51, no. 3. Springer Science and Business Media
    LLC, pp. 1333–1383, 2021.
  ista: Sesana A, Korsakova N, Sedda MA, Baibhav V, Barausse E, Barke S, Berti E,
    Bonetti M, Capelo PR, Caprini C, Garcia-Bellido J, Haiman Z, Jani K, Jennrich
    O, Johansson PH, Khan FM, Korol V, Lamberts A, Lupi A, Mangiagli A, Mayer L, Nardini
    G, Pacucci F, Petiteau A, Raccanelli A, Rajendran S, Regan J, Shao L, Spallicci
    A, Tamanini N, Volonteri M, Warburton N, Wong K, Zumalacarregui M. 2021. Unveiling
    the gravitational universe at μ-Hz frequencies. Experimental Astronomy. 51(3),
    1333–1383.
  mla: Sesana, Alberto, et al. “Unveiling the Gravitational Universe at μ-Hz Frequencies.”
    <i>Experimental Astronomy</i>, vol. 51, no. 3, Springer Science and Business Media
    LLC, 2021, pp. 1333–83, doi:<a href="https://doi.org/10.1007/s10686-021-09709-9">10.1007/s10686-021-09709-9</a>.
  short: A. Sesana, N. Korsakova, M.A. Sedda, V. Baibhav, E. Barausse, S. Barke, E.
    Berti, M. Bonetti, P.R. Capelo, C. Caprini, J. Garcia-Bellido, Z. Haiman, K. Jani,
    O. Jennrich, P.H. Johansson, F.M. Khan, V. Korol, A. Lamberts, A. Lupi, A. Mangiagli,
    L. Mayer, G. Nardini, F. Pacucci, A. Petiteau, A. Raccanelli, S. Rajendran, J.
    Regan, L. Shao, A. Spallicci, N. Tamanini, M. Volonteri, N. Warburton, K. Wong,
    M. Zumalacarregui, Experimental Astronomy 51 (2021) 1333–1383.
date_created: 2024-09-05T09:42:29Z
date_published: 2021-09-04T00:00:00Z
date_updated: 2024-09-11T14:53:17Z
day: '04'
doi: 10.1007/s10686-021-09709-9
extern: '1'
intvolume: '        51'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1007/s10686-021-09709-9
month: '09'
oa: 1
oa_version: Published Version
page: 1333-1383
publication: Experimental Astronomy
publication_identifier:
  issn:
  - 0922-6435
  - 1572-9508
publication_status: published
publisher: Springer Science and Business Media LLC
quality_controlled: '1'
scopus_import: '1'
status: public
title: Unveiling the gravitational universe at μ-Hz frequencies
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 51
year: '2021'
...
---
_id: '17574'
abstract:
- lang: eng
  text: As weak lensing surveys are becoming deeper and cover larger areas, information
    will be available on small angular scales down to the arcmin level. To extract
    this extra information, accurate modelling of baryonic effects is necessary. In
    this work, we adopt a baryonic correction model, which includes gas both bound
    inside and ejected from dark matter (DM) haloes, a central galaxy, and changes
    in the DM profile induced by baryons. We use this model to incorporate baryons
    into a large suite of DM-only N-body simulations, covering a grid of 75 cosmologies
    in the Ωm–σ8 parameter space. We investigate how baryons affect Gaussian and non-Gaussian
    weak lensing statistics and the cosmological parameter inferences from these statistics.
    Our results show that marginalizing over baryonic parameters degrades the constraints
    in Ωm–σ8 space by a factor of 2–5 compared to those with baryonic parameters fixed.
    We also find that combining the lensing power spectrum and peak counts can break
    the degeneracy between cosmological and baryonic parameters and mitigate the impact
    of the uncertainty in baryonic physics.
article_processing_charge: No
article_type: original
author:
- first_name: Tianhuan
  full_name: Lu, Tianhuan
  last_name: Lu
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: Lu T, Haiman Z. The impact of baryons on cosmological inference from weak lensing
    statistics. <i>Monthly Notices of the Royal Astronomical Society</i>. 2021;506(3):3406-3417.
    doi:<a href="https://doi.org/10.1093/mnras/stab1978">10.1093/mnras/stab1978</a>
  apa: Lu, T., &#38; Haiman, Z. (2021). The impact of baryons on cosmological inference
    from weak lensing statistics. <i>Monthly Notices of the Royal Astronomical Society</i>.
    Oxford University Press. <a href="https://doi.org/10.1093/mnras/stab1978">https://doi.org/10.1093/mnras/stab1978</a>
  chicago: Lu, Tianhuan, and Zoltán Haiman. “The Impact of Baryons on Cosmological
    Inference from Weak Lensing Statistics.” <i>Monthly Notices of the Royal Astronomical
    Society</i>. Oxford University Press, 2021. <a href="https://doi.org/10.1093/mnras/stab1978">https://doi.org/10.1093/mnras/stab1978</a>.
  ieee: T. Lu and Z. Haiman, “The impact of baryons on cosmological inference from
    weak lensing statistics,” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 506, no. 3. Oxford University Press, pp. 3406–3417, 2021.
  ista: Lu T, Haiman Z. 2021. The impact of baryons on cosmological inference from
    weak lensing statistics. Monthly Notices of the Royal Astronomical Society. 506(3),
    3406–3417.
  mla: Lu, Tianhuan, and Zoltán Haiman. “The Impact of Baryons on Cosmological Inference
    from Weak Lensing Statistics.” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 506, no. 3, Oxford University Press, 2021, pp. 3406–17, doi:<a href="https://doi.org/10.1093/mnras/stab1978">10.1093/mnras/stab1978</a>.
  short: T. Lu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 506 (2021)
    3406–3417.
date_created: 2024-09-05T12:17:24Z
date_published: 2021-07-10T00:00:00Z
date_updated: 2024-09-19T07:43:16Z
day: '10'
doi: 10.1093/mnras/stab1978
extern: '1'
intvolume: '       506'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stab1978
month: '07'
oa: 1
oa_version: Published Version
page: 3406-3417
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  issn:
  - 0035-8711
  - 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: The impact of baryons on cosmological inference from weak lensing statistics
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 506
year: '2021'
...
---
_id: '17577'
abstract:
- lang: eng
  text: 'The Legacy Survey of Space and Time (LSST) by the Vera C. Rubin Observatory
    is expected to discover tens of millions of quasars. A significant fraction of
    these could be powered by coalescing massive black hole (MBH) binaries, since
    many quasars are believed to be triggered by mergers. We show that under plausible
    assumptions about the luminosity functions, lifetimes, and binary fractions of
    quasars, we expect the full LSST quasar catalogue to contain between 20 and 100
    million compact MBH binaries with masses M = 105–9M⊙, redshifts z = 0–6, and orbital
    periods P = 1–70 d. Their light-curves are expected to be distinctly periodic,
    which can be confidently distinguished from stochastic red-noise variability,
    because LSST will cover dozens, or even hundreds of cycles. A very small subset
    of 10–150 ultracompact (P ≲ 1 d) binary quasars among these will, over ∼5–15 yr,
    evolve into the mHz gravitational-wave frequency band and can be detected by LISA.
    They can therefore be regarded as ‘LISA verification binaries’, analogous to short-period
    Galactic compact-object binaries. The practical question is how to find these
    handful of ‘needles in the haystack’ among the large number of quasars: this will
    likely require a tailored co-adding analysis optimized for this purpose.'
article_processing_charge: No
article_type: original
author:
- first_name: Chengcheng
  full_name: Xin, Chengcheng
  last_name: Xin
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: Xin C, Haiman Z. Ultra-short-period massive black hole binary candidates in
    LSST as LISA ‘verification binaries.’ <i>Monthly Notices of the Royal Astronomical
    Society</i>. 2021;506(2):2408-2417. doi:<a href="https://doi.org/10.1093/mnras/stab1856">10.1093/mnras/stab1856</a>
  apa: Xin, C., &#38; Haiman, Z. (2021). Ultra-short-period massive black hole binary
    candidates in LSST as LISA ‘verification binaries.’ <i>Monthly Notices of the
    Royal Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stab1856">https://doi.org/10.1093/mnras/stab1856</a>
  chicago: Xin, Chengcheng, and Zoltán Haiman. “Ultra-Short-Period Massive Black Hole
    Binary Candidates in LSST as LISA ‘Verification Binaries.’” <i>Monthly Notices
    of the Royal Astronomical Society</i>. Oxford University Press, 2021. <a href="https://doi.org/10.1093/mnras/stab1856">https://doi.org/10.1093/mnras/stab1856</a>.
  ieee: C. Xin and Z. Haiman, “Ultra-short-period massive black hole binary candidates
    in LSST as LISA ‘verification binaries,’” <i>Monthly Notices of the Royal Astronomical
    Society</i>, vol. 506, no. 2. Oxford University Press, pp. 2408–2417, 2021.
  ista: Xin C, Haiman Z. 2021. Ultra-short-period massive black hole binary candidates
    in LSST as LISA ‘verification binaries’. Monthly Notices of the Royal Astronomical
    Society. 506(2), 2408–2417.
  mla: Xin, Chengcheng, and Zoltán Haiman. “Ultra-Short-Period Massive Black Hole
    Binary Candidates in LSST as LISA ‘Verification Binaries.’” <i>Monthly Notices
    of the Royal Astronomical Society</i>, vol. 506, no. 2, Oxford University Press,
    2021, pp. 2408–17, doi:<a href="https://doi.org/10.1093/mnras/stab1856">10.1093/mnras/stab1856</a>.
  short: C. Xin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 506
    (2021) 2408–2417.
date_created: 2024-09-05T12:19:58Z
date_published: 2021-07-05T00:00:00Z
date_updated: 2024-09-19T08:07:41Z
day: '05'
doi: 10.1093/mnras/stab1856
extern: '1'
intvolume: '       506'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stab1856
month: '07'
oa: 1
oa_version: Published Version
page: 2408-2417
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  issn:
  - 0035-8711
  - 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Ultra-short-period massive black hole binary candidates in LSST as LISA ‘verification
  binaries’
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 506
year: '2021'
...
---
_id: '17578'
abstract:
- lang: eng
  text: "If primordial black holes (PBHs) seeded the supermassive black holes (SMBHs)
    at the centers of high-redshift quasars, then the gas surrounding these black
    holes may reveal nucleosynthetic clues to their primordial origins. We present
    predictions of altered primordial abundances around PBHs massive enough to seed
    SMBHs at \U0001D467≈6–7.5. We find that if PBHs with initial masses of ∼105  M⊙
    are responsible for such SMBHs, they may produce primordial deuterium and Helium
    fractions enhanced by ≥10%, and lithium abundance depleted by ≥10%, at distances
    of up to ≈ a comoving kiloparsec away from the black hole after decoupling. We
    estimate that ∼108  M⊙ of gas is enhanced (or depleted) by at least one percent.
    Evidence of these modified primordial deuterium, helium, and lithium abundances
    could still be present if this circum-PBH gas remains unaccreted by the SMBH and
    in or near the host galaxies of high-redshift quasars. Measuring the abundance
    anomalies will be challenging, but could offer a novel way to reveal the primordial
    origin of such SMBH seeds."
article_number: '103022'
article_processing_charge: No
article_type: original
author:
- first_name: Phoebe Upton
  full_name: Sanderbeck, Phoebe Upton
  last_name: Sanderbeck
- first_name: Simeon
  full_name: Bird, Simeon
  last_name: Bird
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: Sanderbeck PU, Bird S, Haiman Z. Nucleosynthetic signatures of primordial origin
    around supermassive black holes. <i>Physical Review D</i>. 2021;104(10). doi:<a
    href="https://doi.org/10.1103/physrevd.104.103022">10.1103/physrevd.104.103022</a>
  apa: Sanderbeck, P. U., Bird, S., &#38; Haiman, Z. (2021). Nucleosynthetic signatures
    of primordial origin around supermassive black holes. <i>Physical Review D</i>.
    American Physical Society. <a href="https://doi.org/10.1103/physrevd.104.103022">https://doi.org/10.1103/physrevd.104.103022</a>
  chicago: Sanderbeck, Phoebe Upton, Simeon Bird, and Zoltán Haiman. “Nucleosynthetic
    Signatures of Primordial Origin around Supermassive Black Holes.” <i>Physical
    Review D</i>. American Physical Society, 2021. <a href="https://doi.org/10.1103/physrevd.104.103022">https://doi.org/10.1103/physrevd.104.103022</a>.
  ieee: P. U. Sanderbeck, S. Bird, and Z. Haiman, “Nucleosynthetic signatures of primordial
    origin around supermassive black holes,” <i>Physical Review D</i>, vol. 104, no.
    10. American Physical Society, 2021.
  ista: Sanderbeck PU, Bird S, Haiman Z. 2021. Nucleosynthetic signatures of primordial
    origin around supermassive black holes. Physical Review D. 104(10), 103022.
  mla: Sanderbeck, Phoebe Upton, et al. “Nucleosynthetic Signatures of Primordial
    Origin around Supermassive Black Holes.” <i>Physical Review D</i>, vol. 104, no.
    10, 103022, American Physical Society, 2021, doi:<a href="https://doi.org/10.1103/physrevd.104.103022">10.1103/physrevd.104.103022</a>.
  short: P.U. Sanderbeck, S. Bird, Z. Haiman, Physical Review D 104 (2021).
date_created: 2024-09-05T12:20:50Z
date_published: 2021-11-17T00:00:00Z
date_updated: 2024-09-19T08:12:35Z
day: '17'
doi: 10.1103/physrevd.104.103022
extern: '1'
intvolume: '       104'
issue: '10'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1103/physrevd.104.103022
month: '11'
oa: 1
oa_version: Published Version
publication: Physical Review D
publication_identifier:
  issn:
  - 2470-0010
  - 2470-0029
publication_status: published
publisher: American Physical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Nucleosynthetic signatures of primordial origin around supermassive black holes
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 104
year: '2021'
...
---
_id: '17583'
abstract:
- lang: eng
  text: The astrophysical origin of gravitational wave transients is a timely open
    question in the wake of discoveries by the Laser Interferometer Gravitational-Wave
    Observatory (LIGO)/Virgo. In active galactic nuclei (AGNs), binaries form and
    evolve efficiently by interaction with a dense population of stars and the gaseous
    AGN disk. Previous studies have shown that stellar-mass black hole (BH) mergers
    in such environments can explain the merger rate and the number of suspected hierarchical
    mergers observed by LIGO/Virgo. The binary eccentricity distribution can provide
    further information to distinguish between astrophysical models. Here we derive
    the eccentricity distribution of BH mergers in AGN disks. We find that eccentricity
    is mainly due to binary–single (BS) interactions, which lead to most BH mergers
    in AGN disks having a significant eccentricity at 0.01 Hz, detectable by the Laser
    Interferometer Space Antenna. If BS interactions occur in isotropic-3D directions,
    then 8%–30% of the mergers in AGN disks will have eccentricities at 10 Hz above
    e10 Hz ≳ 0.03, detectable by LIGO/Virgo/Kamioka Gravitational Wave Detector, while
    5%–17% of mergers have e10 Hz ≥ 0.3. On the other hand, if BS interactions are
    confined to the AGN–disk plane due to torques from the disk, with 1–20 intermediate
    binary states during each interaction, or if BHs can migrate to ≲ 10−3 pc from
    the central supermassive BH, then 10%–70% of the mergers will be highly eccentric
    (e10 Hz ≥ 0.3), consistent with the possible high eccentricity in GW190521.
article_number: L20
article_processing_charge: No
article_type: original
author:
- first_name: Hiromichi
  full_name: Tagawa, Hiromichi
  last_name: Tagawa
- first_name: Bence
  full_name: Kocsis, Bence
  last_name: Kocsis
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Imre
  full_name: Bartos, Imre
  last_name: Bartos
- first_name: Kazuyuki
  full_name: Omukai, Kazuyuki
  last_name: Omukai
- first_name: Johan
  full_name: Samsing, Johan
  last_name: Samsing
citation:
  ama: Tagawa H, Kocsis B, Haiman Z, Bartos I, Omukai K, Samsing J. Eccentric black
    hole mergers in active galactic nuclei. <i>The Astrophysical Journal Letters</i>.
    2021;907(1). doi:<a href="https://doi.org/10.3847/2041-8213/abd4d3">10.3847/2041-8213/abd4d3</a>
  apa: Tagawa, H., Kocsis, B., Haiman, Z., Bartos, I., Omukai, K., &#38; Samsing,
    J. (2021). Eccentric black hole mergers in active galactic nuclei. <i>The Astrophysical
    Journal Letters</i>. American Astronomical Society. <a href="https://doi.org/10.3847/2041-8213/abd4d3">https://doi.org/10.3847/2041-8213/abd4d3</a>
  chicago: Tagawa, Hiromichi, Bence Kocsis, Zoltán Haiman, Imre Bartos, Kazuyuki Omukai,
    and Johan Samsing. “Eccentric Black Hole Mergers in Active Galactic Nuclei.” <i>The
    Astrophysical Journal Letters</i>. American Astronomical Society, 2021. <a href="https://doi.org/10.3847/2041-8213/abd4d3">https://doi.org/10.3847/2041-8213/abd4d3</a>.
  ieee: H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, and J. Samsing, “Eccentric
    black hole mergers in active galactic nuclei,” <i>The Astrophysical Journal Letters</i>,
    vol. 907, no. 1. American Astronomical Society, 2021.
  ista: Tagawa H, Kocsis B, Haiman Z, Bartos I, Omukai K, Samsing J. 2021. Eccentric
    black hole mergers in active galactic nuclei. The Astrophysical Journal Letters.
    907(1), L20.
  mla: Tagawa, Hiromichi, et al. “Eccentric Black Hole Mergers in Active Galactic
    Nuclei.” <i>The Astrophysical Journal Letters</i>, vol. 907, no. 1, L20, American
    Astronomical Society, 2021, doi:<a href="https://doi.org/10.3847/2041-8213/abd4d3">10.3847/2041-8213/abd4d3</a>.
  short: H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, J. Samsing, The Astrophysical
    Journal Letters 907 (2021).
date_created: 2024-09-05T12:27:07Z
date_published: 2021-01-21T00:00:00Z
date_updated: 2024-09-19T11:41:11Z
day: '21'
doi: 10.3847/2041-8213/abd4d3
extern: '1'
intvolume: '       907'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3847/2041-8213/abd4d3
month: '01'
oa: 1
oa_version: Published Version
publication: The Astrophysical Journal Letters
publication_identifier:
  issn:
  - 2041-8205
  - 2041-8213
publication_status: published
publisher: American Astronomical Society
quality_controlled: '1'
scopus_import: '1'
status: public
title: Eccentric black hole mergers in active galactic nuclei
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 907
year: '2021'
...
---
_id: '17585'
abstract:
- lang: eng
  text: Recent gravitational wave (GW) observations by LIGO/Virgo show evidence for
    hierarchical mergers, where the merging BHs are the remnants of previous BH merger
    events. These events may carry important clues about the astrophysical host environments
    of the GW sources. In this paper, we present the distributions of the effective
    spin parameter (χeff), the precession spin parameter (χp), and the chirp mass
    (mchirp) expected in hierarchical mergers. Under a wide range of assumptions,
    hierarchical mergers produce (i) a monotonic increase of the average of the typical
    total spin for merging binaries, which we characterize with χ¯typ≡(χ2eff+χ2p)1/2¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯,
    up to roughly the maximum mchirp among first-generation (1g) BHs, and (ii) a plateau
    at χ¯typ∼0.6 at higher mchirp. We suggest that the maximum mass and typical spin
    magnitudes for 1g BHs can be estimated from χ¯typ as a function of mchirp. The
    GW data observed in LIGO/Virgo O1--O3a prefers an increase in χ¯typ at low mchirp,
    which is consistent with the growth of the BH spin magnitude by hierarchical mergers,
    at ∼2σ confidence. A Bayesian analysis suggests that 1g BHs have the maximum mass
    of ∼15--30M⊙ if the majority of mergers are of high-generation BHs (not among
    1g-1g BHs), which is consistent with mergers in active galactic nucleus disks
    and/or nuclear star clusters, while if mergers mainly originate from globular
    clusters, 1g BHs are favored to have non-zero spin magnitudes of ∼0.3. We also
    forecast that signatures for hierarchical mergers in the χ¯typ distribution can
    be confidently recovered once the number of GW events increases to ≳O(100).
article_processing_charge: No
article_type: original
author:
- first_name: Hiromichi
  full_name: Tagawa, Hiromichi
  last_name: Tagawa
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Imre
  full_name: Bartos, Imre
  last_name: Bartos
- first_name: Bence
  full_name: Kocsis, Bence
  last_name: Kocsis
- first_name: Kazuyuki
  full_name: Omukai, Kazuyuki
  last_name: Omukai
citation:
  ama: Tagawa H, Haiman Z, Bartos I, Kocsis B, Omukai K. Signatures of hierarchical
    mergers in black hole spin and mass distribution. <i>Monthly Notices of the Royal
    Astronomical Society</i>. 2021;507(3):3362-3380. doi:<a href="https://doi.org/10.1093/mnras/stab2315">10.1093/mnras/stab2315</a>
  apa: Tagawa, H., Haiman, Z., Bartos, I., Kocsis, B., &#38; Omukai, K. (2021). Signatures
    of hierarchical mergers in black hole spin and mass distribution. <i>Monthly Notices
    of the Royal Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stab2315">https://doi.org/10.1093/mnras/stab2315</a>
  chicago: Tagawa, Hiromichi, Zoltán Haiman, Imre Bartos, Bence Kocsis, and Kazuyuki
    Omukai. “Signatures of Hierarchical Mergers in Black Hole Spin and Mass Distribution.”
    <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press,
    2021. <a href="https://doi.org/10.1093/mnras/stab2315">https://doi.org/10.1093/mnras/stab2315</a>.
  ieee: H. Tagawa, Z. Haiman, I. Bartos, B. Kocsis, and K. Omukai, “Signatures of
    hierarchical mergers in black hole spin and mass distribution,” <i>Monthly Notices
    of the Royal Astronomical Society</i>, vol. 507, no. 3. Oxford University Press,
    pp. 3362–3380, 2021.
  ista: Tagawa H, Haiman Z, Bartos I, Kocsis B, Omukai K. 2021. Signatures of hierarchical
    mergers in black hole spin and mass distribution. Monthly Notices of the Royal
    Astronomical Society. 507(3), 3362–3380.
  mla: Tagawa, Hiromichi, et al. “Signatures of Hierarchical Mergers in Black Hole
    Spin and Mass Distribution.” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 507, no. 3, Oxford University Press, 2021, pp. 3362–80, doi:<a href="https://doi.org/10.1093/mnras/stab2315">10.1093/mnras/stab2315</a>.
  short: H. Tagawa, Z. Haiman, I. Bartos, B. Kocsis, K. Omukai, Monthly Notices of
    the Royal Astronomical Society 507 (2021) 3362–3380.
date_created: 2024-09-05T12:30:08Z
date_published: 2021-08-13T00:00:00Z
date_updated: 2024-09-19T11:50:46Z
day: '13'
doi: 10.1093/mnras/stab2315
extern: '1'
intvolume: '       507'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stab2315
month: '08'
oa: 1
oa_version: Published Version
page: 3362-3380
publication: Monthly Notices of the Royal Astronomical Society
publication_identifier:
  issn:
  - 0035-8711
  - 1365-2966
publication_status: published
publisher: Oxford University Press
quality_controlled: '1'
scopus_import: '1'
status: public
title: Signatures of hierarchical mergers in black hole spin and mass distribution
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 507
year: '2021'
...
