---
_id: '10405'
abstract:
- lang: eng
  text: 'We consider large non-Hermitian random matrices X with complex, independent,
    identically distributed centred entries and show that the linear statistics of
    their eigenvalues are asymptotically Gaussian for test functions having 2+ϵ derivatives.
    Previously this result was known only for a few special cases; either the test
    functions were required to be analytic [72], or the distribution of the matrix
    elements needed to be Gaussian [73], or at least match the Gaussian up to the
    first four moments [82, 56]. We find the exact dependence of the limiting variance
    on the fourth cumulant that was not known before. The proof relies on two novel
    ingredients: (i) a local law for a product of two resolvents of the Hermitisation
    of X with different spectral parameters and (ii) a coupling of several weakly
    dependent Dyson Brownian motions. These methods are also the key inputs for our
    analogous results on the linear eigenvalue statistics of real matrices X that
    are presented in the companion paper [32]. '
acknowledgement: L.E. would like to thank Nathanaël Berestycki and D.S.would like
  to thank Nina Holden for valuable discussions on the Gaussian freeﬁeld.G.C. and
  L.E. are partially supported by ERC Advanced Grant No. 338804.G.C. received funding
  from the European Union’s Horizon 2020 research and in-novation programme under
  the Marie Skłodowska-Curie Grant Agreement No.665385. D.S. is supported by Dr. Max
  Rössler, the Walter Haefner Foundation, and the ETH Zürich Foundation.
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Giorgio
  full_name: Cipolloni, Giorgio
  id: 42198EFA-F248-11E8-B48F-1D18A9856A87
  last_name: Cipolloni
  orcid: 0000-0002-4901-7992
- first_name: László
  full_name: Erdös, László
  id: 4DBD5372-F248-11E8-B48F-1D18A9856A87
  last_name: Erdös
  orcid: 0000-0001-5366-9603
- first_name: Dominik J
  full_name: Schröder, Dominik J
  id: 408ED176-F248-11E8-B48F-1D18A9856A87
  last_name: Schröder
  orcid: 0000-0002-2904-1856
citation:
  ama: Cipolloni G, Erdös L, Schröder DJ. Central limit theorem for linear eigenvalue
    statistics of non-Hermitian random matrices. <i>Communications on Pure and Applied
    Mathematics</i>. 2023;76(5):946-1034. doi:<a href="https://doi.org/10.1002/cpa.22028">10.1002/cpa.22028</a>
  apa: Cipolloni, G., Erdös, L., &#38; Schröder, D. J. (2023). Central limit theorem
    for linear eigenvalue statistics of non-Hermitian random matrices. <i>Communications
    on Pure and Applied Mathematics</i>. Wiley. <a href="https://doi.org/10.1002/cpa.22028">https://doi.org/10.1002/cpa.22028</a>
  chicago: Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Central Limit
    Theorem for Linear Eigenvalue Statistics of Non-Hermitian Random Matrices.” <i>Communications
    on Pure and Applied Mathematics</i>. Wiley, 2023. <a href="https://doi.org/10.1002/cpa.22028">https://doi.org/10.1002/cpa.22028</a>.
  ieee: G. Cipolloni, L. Erdös, and D. J. Schröder, “Central limit theorem for linear
    eigenvalue statistics of non-Hermitian random matrices,” <i>Communications on
    Pure and Applied Mathematics</i>, vol. 76, no. 5. Wiley, pp. 946–1034, 2023.
  ista: Cipolloni G, Erdös L, Schröder DJ. 2023. Central limit theorem for linear
    eigenvalue statistics of non-Hermitian random matrices. Communications on Pure
    and Applied Mathematics. 76(5), 946–1034.
  mla: Cipolloni, Giorgio, et al. “Central Limit Theorem for Linear Eigenvalue Statistics
    of Non-Hermitian Random Matrices.” <i>Communications on Pure and Applied Mathematics</i>,
    vol. 76, no. 5, Wiley, 2023, pp. 946–1034, doi:<a href="https://doi.org/10.1002/cpa.22028">10.1002/cpa.22028</a>.
  short: G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied
    Mathematics 76 (2023) 946–1034.
corr_author: '1'
date_created: 2021-12-05T23:01:41Z
date_published: 2023-05-01T00:00:00Z
date_updated: 2025-03-31T16:00:54Z
day: '01'
ddc:
- '510'
department:
- _id: LaEr
doi: 10.1002/cpa.22028
ec_funded: 1
external_id:
  arxiv:
  - '1912.04100'
  isi:
  - '000724652500001'
file:
- access_level: open_access
  checksum: 8346bc2642afb4ccb7f38979f41df5d9
  content_type: application/pdf
  creator: dernst
  date_created: 2023-10-04T09:21:48Z
  date_updated: 2023-10-04T09:21:48Z
  file_id: '14388'
  file_name: 2023_CommPureMathematics_Cipolloni.pdf
  file_size: 803440
  relation: main_file
  success: 1
file_date_updated: 2023-10-04T09:21:48Z
has_accepted_license: '1'
intvolume: '        76'
isi: 1
issue: '5'
language:
- iso: eng
month: '05'
oa: 1
oa_version: Published Version
page: 946-1034
project:
- _id: 258DCDE6-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '338804'
  name: Random matrices, universality and disordered quantum systems
- _id: 2564DBCA-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '665385'
  name: International IST Doctoral Program
publication: Communications on Pure and Applied Mathematics
publication_identifier:
  eissn:
  - 1097-0312
  issn:
  - 0010-3640
publication_status: published
publisher: Wiley
quality_controlled: '1'
scopus_import: '1'
status: public
title: Central limit theorem for linear eigenvalue statistics of non-Hermitian random
  matrices
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 76
year: '2023'
...
---
_id: '10550'
abstract:
- lang: eng
  text: The global existence of renormalised solutions and convergence to equilibrium
    for reaction-diffusion systems with non-linear diffusion are investigated. The
    system is assumed to have quasi-positive non-linearities and to satisfy an entropy
    inequality. The difficulties in establishing global renormalised solutions caused
    by possibly degenerate diffusion are overcome by introducing a new class of weighted
    truncation functions. By means of the obtained global renormalised solutions,
    we study the large-time behaviour of complex balanced systems arising from chemical
    reaction network theory with non-linear diffusion. When the reaction network does
    not admit boundary equilibria, the complex balanced equilibrium is shown, by using
    the entropy method, to exponentially attract all renormalised solutions in the
    same compatibility class. This convergence extends even to a range of non-linear
    diffusion, where global existence is an open problem, yet we are able to show
    that solutions to approximate systems converge exponentially to equilibrium uniformly
    in the regularisation parameter.
acknowledgement: "We thank the referees for their valuable comments and suggestions.
  A major part of this work was carried out when B. Q. Tang visited the Institute
  of Science and Technology Austria (ISTA). The hospitality of ISTA is greatly acknowledged.
  This work was partially supported by NAWI Graz.\r\nOpen access funding provided
  by University of Graz."
article_number: '66'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Klemens
  full_name: Fellner, Klemens
  last_name: Fellner
- first_name: Julian L
  full_name: Fischer, Julian L
  id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
  last_name: Fischer
  orcid: 0000-0002-0479-558X
- first_name: Michael
  full_name: Kniely, Michael
  id: 2CA2C08C-F248-11E8-B48F-1D18A9856A87
  last_name: Kniely
  orcid: 0000-0001-5645-4333
- first_name: Bao Quoc
  full_name: Tang, Bao Quoc
  last_name: Tang
citation:
  ama: Fellner K, Fischer JL, Kniely M, Tang BQ. Global renormalised solutions and
    equilibration of reaction-diffusion systems with non-linear diffusion. <i>Journal
    of Nonlinear Science</i>. 2023;33. doi:<a href="https://doi.org/10.1007/s00332-023-09926-w">10.1007/s00332-023-09926-w</a>
  apa: Fellner, K., Fischer, J. L., Kniely, M., &#38; Tang, B. Q. (2023). Global renormalised
    solutions and equilibration of reaction-diffusion systems with non-linear diffusion.
    <i>Journal of Nonlinear Science</i>. Springer Nature. <a href="https://doi.org/10.1007/s00332-023-09926-w">https://doi.org/10.1007/s00332-023-09926-w</a>
  chicago: Fellner, Klemens, Julian L Fischer, Michael Kniely, and Bao Quoc Tang.
    “Global Renormalised Solutions and Equilibration of Reaction-Diffusion Systems
    with Non-Linear Diffusion.” <i>Journal of Nonlinear Science</i>. Springer Nature,
    2023. <a href="https://doi.org/10.1007/s00332-023-09926-w">https://doi.org/10.1007/s00332-023-09926-w</a>.
  ieee: K. Fellner, J. L. Fischer, M. Kniely, and B. Q. Tang, “Global renormalised
    solutions and equilibration of reaction-diffusion systems with non-linear diffusion,”
    <i>Journal of Nonlinear Science</i>, vol. 33. Springer Nature, 2023.
  ista: Fellner K, Fischer JL, Kniely M, Tang BQ. 2023. Global renormalised solutions
    and equilibration of reaction-diffusion systems with non-linear diffusion. Journal
    of Nonlinear Science. 33, 66.
  mla: Fellner, Klemens, et al. “Global Renormalised Solutions and Equilibration of
    Reaction-Diffusion Systems with Non-Linear Diffusion.” <i>Journal of Nonlinear
    Science</i>, vol. 33, 66, Springer Nature, 2023, doi:<a href="https://doi.org/10.1007/s00332-023-09926-w">10.1007/s00332-023-09926-w</a>.
  short: K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science
    33 (2023).
date_created: 2021-12-16T12:15:35Z
date_published: 2023-06-07T00:00:00Z
date_updated: 2023-08-01T14:40:33Z
day: '07'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1007/s00332-023-09926-w
external_id:
  arxiv:
  - '2109.12019'
  isi:
  - '001002343400002'
file:
- access_level: open_access
  checksum: f3f0f0886098e31c81116cff8183750b
  content_type: application/pdf
  creator: dernst
  date_created: 2023-06-19T07:33:53Z
  date_updated: 2023-06-19T07:33:53Z
  file_id: '13149'
  file_name: 2023_JourNonlinearScience_Fellner.pdf
  file_size: 742315
  relation: main_file
  success: 1
file_date_updated: 2023-06-19T07:33:53Z
has_accepted_license: '1'
intvolume: '        33'
isi: 1
language:
- iso: eng
month: '06'
oa: 1
oa_version: Published Version
publication: Journal of Nonlinear Science
publication_identifier:
  eissn:
  - 1432-1467
  issn:
  - 0938-8974
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Global renormalised solutions and equilibration of reaction-diffusion systems
  with non-linear diffusion
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: 33
year: '2023'
...
---
_id: '10551'
abstract:
- lang: eng
  text: 'The Dean–Kawasaki equation—a strongly singular SPDE—is a basic equation of
    fluctuating hydrodynamics; it has been proposed in the physics literature to describe
    the fluctuations of the density of N independent diffusing particles in the regime
    of large particle numbers N≫1. The singular nature of the Dean–Kawasaki equation
    presents a substantial challenge for both its analysis and its rigorous mathematical
    justification. Besides being non-renormalisable by the theory of regularity structures
    by Hairer et al., it has recently been shown to not even admit nontrivial martingale
    solutions. In the present work, we give a rigorous and fully quantitative justification
    of the Dean–Kawasaki equation by considering the natural regularisation provided
    by standard numerical discretisations: We show that structure-preserving discretisations
    of the Dean–Kawasaki equation may approximate the density fluctuations of N non-interacting
    diffusing particles to arbitrary order in N−1  (in suitable weak metrics). In
    other words, the Dean–Kawasaki equation may be interpreted as a “recipe” for accurate
    and efficient numerical simulations of the density fluctuations of independent
    diffusing particles.'
acknowledgement: "We thank the anonymous referee for his/her careful reading of the
  manuscript and valuable suggestions. FC gratefully acknowledges funding from the
  Austrian Science Fund (FWF) through the project F65, and from the European Union’s
  Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie
  Grant Agreement No. 754411.\r\nOpen access funding provided by Austrian Science
  Fund (FWF)."
article_number: '76'
article_processing_charge: Yes (via OA deal)
article_type: original
arxiv: 1
author:
- first_name: Federico
  full_name: Cornalba, Federico
  id: 2CEB641C-A400-11E9-A717-D712E6697425
  last_name: Cornalba
  orcid: 0000-0002-6269-5149
- first_name: Julian L
  full_name: Fischer, Julian L
  id: 2C12A0B0-F248-11E8-B48F-1D18A9856A87
  last_name: Fischer
  orcid: 0000-0002-0479-558X
citation:
  ama: Cornalba F, Fischer JL. The Dean-Kawasaki equation and the structure of density
    fluctuations in systems of diffusing particles. <i>Archive for Rational Mechanics
    and Analysis</i>. 2023;247(5). doi:<a href="https://doi.org/10.1007/s00205-023-01903-7">10.1007/s00205-023-01903-7</a>
  apa: Cornalba, F., &#38; Fischer, J. L. (2023). The Dean-Kawasaki equation and the
    structure of density fluctuations in systems of diffusing particles. <i>Archive
    for Rational Mechanics and Analysis</i>. Springer Nature. <a href="https://doi.org/10.1007/s00205-023-01903-7">https://doi.org/10.1007/s00205-023-01903-7</a>
  chicago: Cornalba, Federico, and Julian L Fischer. “The Dean-Kawasaki Equation and
    the Structure of Density Fluctuations in Systems of Diffusing Particles.” <i>Archive
    for Rational Mechanics and Analysis</i>. Springer Nature, 2023. <a href="https://doi.org/10.1007/s00205-023-01903-7">https://doi.org/10.1007/s00205-023-01903-7</a>.
  ieee: F. Cornalba and J. L. Fischer, “The Dean-Kawasaki equation and the structure
    of density fluctuations in systems of diffusing particles,” <i>Archive for Rational
    Mechanics and Analysis</i>, vol. 247, no. 5. Springer Nature, 2023.
  ista: Cornalba F, Fischer JL. 2023. The Dean-Kawasaki equation and the structure
    of density fluctuations in systems of diffusing particles. Archive for Rational
    Mechanics and Analysis. 247(5), 76.
  mla: Cornalba, Federico, and Julian L. Fischer. “The Dean-Kawasaki Equation and
    the Structure of Density Fluctuations in Systems of Diffusing Particles.” <i>Archive
    for Rational Mechanics and Analysis</i>, vol. 247, no. 5, 76, Springer Nature,
    2023, doi:<a href="https://doi.org/10.1007/s00205-023-01903-7">10.1007/s00205-023-01903-7</a>.
  short: F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247
    (2023).
corr_author: '1'
date_created: 2021-12-16T12:16:03Z
date_published: 2023-08-04T00:00:00Z
date_updated: 2025-04-23T13:06:01Z
day: '04'
ddc:
- '510'
department:
- _id: JuFi
doi: 10.1007/s00205-023-01903-7
ec_funded: 1
external_id:
  arxiv:
  - '2109.06500'
  isi:
  - '001043086800001'
  pmid:
  - '37547904'
file:
- access_level: open_access
  checksum: 4529eeff170b6745a461d397ee611b5a
  content_type: application/pdf
  creator: dernst
  date_created: 2024-01-30T12:09:34Z
  date_updated: 2024-01-30T12:09:34Z
  file_id: '14904'
  file_name: 2023_ArchiveRationalMech_Cornalba.pdf
  file_size: 1851185
  relation: main_file
  success: 1
file_date_updated: 2024-01-30T12:09:34Z
has_accepted_license: '1'
intvolume: '       247'
isi: 1
issue: '5'
language:
- iso: eng
month: '08'
oa: 1
oa_version: Published Version
pmid: 1
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
- _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2
  grant_number: F6504
  name: Taming Complexity in Partial Differential Systems
publication: Archive for Rational Mechanics and Analysis
publication_identifier:
  eissn:
  - 1432-0673
  issn:
  - 0003-9527
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: The Dean-Kawasaki equation and the structure of density fluctuations in systems
  of diffusing particles
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: 247
year: '2023'
...
---
_id: '10770'
abstract:
- lang: eng
  text: Mathematical models often aim to describe a complicated mechanism in a cohesive
    and simple manner. However, reaching perfect balance between being simple enough
    or overly simplistic is a challenging task. Frequently, game-theoretic models
    have an underlying assumption that players, whenever they choose to execute a
    specific action, do so perfectly. In fact, it is rare that action execution perfectly
    coincides with intentions of individuals, giving rise to behavioural mistakes.
    The concept of incompetence of players was suggested to address this issue in
    game-theoretic settings. Under the assumption of incompetence, players have non-zero
    probabilities of executing a different strategy from the one they chose, leading
    to stochastic outcomes of the interactions. In this article, we survey results
    related to the concept of incompetence in classic as well as evolutionary game
    theory and provide several new results. We also suggest future extensions of the
    model and argue why it is important to take into account behavioural mistakes
    when analysing interactions among players in both economic and biological settings.
acknowledgement: "The authors would like to acknowledge stimulating email discussions
  with Dr Wayne Lobb of W.A. Lobb LLC on the topic of evolutionary games. We also
  thank Dr Thomas Taimre for his input to the material in Sect. 3.\r\nThe authors
  would like to acknowledge partial support from the Australian Research Council under
  the Discovery grant DP180101602 and support by the European Union’s Horizon 2020
  research and innovation program under the Marie Sklodowska-Curie Grant Agreement
  #754411."
article_processing_charge: No
article_type: original
author:
- first_name: Thomas
  full_name: Graham, Thomas
  last_name: Graham
- first_name: Maria
  full_name: Kleshnina, Maria
  id: 4E21749C-F248-11E8-B48F-1D18A9856A87
  last_name: Kleshnina
- first_name: Jerzy A.
  full_name: Filar, Jerzy A.
  last_name: Filar
citation:
  ama: Graham T, Kleshnina M, Filar JA. Where do mistakes lead? A survey of games
    with incompetent players. <i>Dynamic Games and Applications</i>. 2023;13:231-264.
    doi:<a href="https://doi.org/10.1007/s13235-022-00425-3">10.1007/s13235-022-00425-3</a>
  apa: Graham, T., Kleshnina, M., &#38; Filar, J. A. (2023). Where do mistakes lead?
    A survey of games with incompetent players. <i>Dynamic Games and Applications</i>.
    Springer Nature. <a href="https://doi.org/10.1007/s13235-022-00425-3">https://doi.org/10.1007/s13235-022-00425-3</a>
  chicago: Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes
    Lead? A Survey of Games with Incompetent Players.” <i>Dynamic Games and Applications</i>.
    Springer Nature, 2023. <a href="https://doi.org/10.1007/s13235-022-00425-3">https://doi.org/10.1007/s13235-022-00425-3</a>.
  ieee: T. Graham, M. Kleshnina, and J. A. Filar, “Where do mistakes lead? A survey
    of games with incompetent players,” <i>Dynamic Games and Applications</i>, vol.
    13. Springer Nature, pp. 231–264, 2023.
  ista: Graham T, Kleshnina M, Filar JA. 2023. Where do mistakes lead? A survey of
    games with incompetent players. Dynamic Games and Applications. 13, 231–264.
  mla: Graham, Thomas, et al. “Where Do Mistakes Lead? A Survey of Games with Incompetent
    Players.” <i>Dynamic Games and Applications</i>, vol. 13, Springer Nature, 2023,
    pp. 231–64, doi:<a href="https://doi.org/10.1007/s13235-022-00425-3">10.1007/s13235-022-00425-3</a>.
  short: T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023)
    231–264.
date_created: 2022-02-20T23:01:32Z
date_published: 2023-03-01T00:00:00Z
date_updated: 2025-04-14T07:43:48Z
day: '01'
ddc:
- '000'
department:
- _id: KrCh
doi: 10.1007/s13235-022-00425-3
ec_funded: 1
external_id:
  isi:
  - '000753777100001'
file:
- access_level: open_access
  checksum: cd53b07e96f9030ddb348f305e5b58c7
  content_type: application/pdf
  creator: dernst
  date_created: 2022-02-21T08:54:17Z
  date_updated: 2022-02-21T08:54:17Z
  file_id: '10781'
  file_name: 2022_DynamicGamesApplic_Graham.pdf
  file_size: 1890512
  relation: main_file
  success: 1
file_date_updated: 2022-02-21T08:54:17Z
has_accepted_license: '1'
intvolume: '        13'
isi: 1
language:
- iso: eng
month: '03'
oa: 1
oa_version: Published Version
page: 231-264
project:
- _id: 260C2330-B435-11E9-9278-68D0E5697425
  call_identifier: H2020
  grant_number: '754411'
  name: ISTplus - Postdoctoral Fellowships
publication: Dynamic Games and Applications
publication_identifier:
  eissn:
  - 2153-0793
  issn:
  - 2153-0785
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Where do mistakes lead? A survey of games with incompetent players
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: 13
year: '2023'
...
---
_id: '9652'
abstract:
- lang: eng
  text: In 1998 Burago and Kleiner and (independently) McMullen gave examples of separated
    nets in Euclidean space which are non-bilipschitz equivalent to the integer lattice.
    We study weaker notions of equivalence of separated nets and demonstrate that
    such notions also give rise to distinct equivalence classes. Put differently,
    we find occurrences of particularly strong divergence of separated nets from the
    integer lattice. Our approach generalises that of Burago and Kleiner and McMullen
    which takes place largely in a continuous setting. Existence of irregular separated
    nets is verified via the existence of non-realisable density functions ρ:[0,1]d→(0,∞).
    In the present work we obtain stronger types of non-realisable densities.
acknowledgement: 'This work was done while both authors were employed at the University
  of Innsbruck and enjoyed the full support of Austrian Science Fund (FWF): P 30902-N35.'
article_processing_charge: No
article_type: original
arxiv: 1
author:
- first_name: Michael
  full_name: Dymond, Michael
  last_name: Dymond
- first_name: Vojtech
  full_name: Kaluza, Vojtech
  id: 21AE5134-9EAC-11EA-BEA2-D7BD3DDC885E
  last_name: Kaluza
  orcid: 0000-0002-2512-8698
citation:
  ama: Dymond M, Kaluza V. Highly irregular separated nets. <i>Israel Journal of Mathematics</i>.
    2023;253:501-554. doi:<a href="https://doi.org/10.1007/s11856-022-2448-6">10.1007/s11856-022-2448-6</a>
  apa: Dymond, M., &#38; Kaluza, V. (2023). Highly irregular separated nets. <i>Israel
    Journal of Mathematics</i>. Springer Nature. <a href="https://doi.org/10.1007/s11856-022-2448-6">https://doi.org/10.1007/s11856-022-2448-6</a>
  chicago: Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.”
    <i>Israel Journal of Mathematics</i>. Springer Nature, 2023. <a href="https://doi.org/10.1007/s11856-022-2448-6">https://doi.org/10.1007/s11856-022-2448-6</a>.
  ieee: M. Dymond and V. Kaluza, “Highly irregular separated nets,” <i>Israel Journal
    of Mathematics</i>, vol. 253. Springer Nature, pp. 501–554, 2023.
  ista: Dymond M, Kaluza V. 2023. Highly irregular separated nets. Israel Journal
    of Mathematics. 253, 501–554.
  mla: Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” <i>Israel
    Journal of Mathematics</i>, vol. 253, Springer Nature, 2023, pp. 501–54, doi:<a
    href="https://doi.org/10.1007/s11856-022-2448-6">10.1007/s11856-022-2448-6</a>.
  short: M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
date_created: 2021-07-14T07:01:28Z
date_published: 2023-03-01T00:00:00Z
date_updated: 2023-08-14T11:26:34Z
day: '01'
ddc:
- '515'
- '516'
department:
- _id: UlWa
doi: 10.1007/s11856-022-2448-6
external_id:
  arxiv:
  - '1903.05923'
  isi:
  - '000904950300003'
file:
- access_level: open_access
  checksum: 6fa0a3207dd1d6467c309fd1bcc867d1
  content_type: application/pdf
  creator: vkaluza
  date_created: 2021-07-14T07:41:50Z
  date_updated: 2021-07-14T07:41:50Z
  file_id: '9653'
  file_name: separated_nets.pdf
  file_size: 900422
  relation: main_file
file_date_updated: 2021-07-14T07:41:50Z
has_accepted_license: '1'
intvolume: '       253'
isi: 1
keyword:
- Lipschitz
- bilipschitz
- bounded displacement
- modulus of continuity
- separated net
- non-realisable density
- Burago--Kleiner construction
language:
- iso: eng
month: '03'
oa: 1
oa_version: Submitted Version
page: 501-554
publication: Israel Journal of Mathematics
publication_identifier:
  eissn:
  - 1565-8511
publication_status: published
publisher: Springer Nature
quality_controlled: '1'
scopus_import: '1'
status: public
title: Highly irregular separated nets
type: journal_article
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 253
year: '2023'
...
---
OA_place: repository
_id: '17351'
abstract:
- lang: eng
  text: "Contractive coupling rates have been recently introduced by Conforti as a\r\ntool
    to establish convex Sobolev inequalities (including modified log-Sobolev\r\nand
    Poincar\\'{e} inequality) for some classes of Markov chains. In this work,\r\nwe
    show how contractive coupling rates can also be used to prove stronger\r\ninequalities,
    in the form of curvature lower bounds for Markov chains and\r\ngeodesic convexity
    of entropic functionals. We illustrate this in several\r\nexamples discussed by
    Conforti, where in particular, after appropriately\r\nchoosing a parameter function,
    we establish positive curvature in the entropic\r\nand (discrete) Bakry--\\'{E}mery
    sense. In addition, we recall and give\r\nstraightforward generalizations of some
    notions of coarse Ricci curvature, and\r\nwe discuss some of their properties
    and relations with the concepts of\r\ncouplings and coupling rates: as an application,
    we show exponential\r\ncontraction of the $p$-Wasserstein distance for the heat
    flow in the\r\naforementioned examples."
article_number: '2308.00516'
article_processing_charge: No
arxiv: 1
author:
- first_name: Francesco
  full_name: Pedrotti, Francesco
  id: d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c
  last_name: Pedrotti
citation:
  ama: Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov
    chains. <i>arXiv</i>. doi:<a href="https://doi.org/10.48550/arXiv.2308.00516">10.48550/arXiv.2308.00516</a>
  apa: Pedrotti, F. (n.d.). Contractive coupling rates and curvature lower bounds
    for Markov chains. <i>arXiv</i>. <a href="https://doi.org/10.48550/arXiv.2308.00516">https://doi.org/10.48550/arXiv.2308.00516</a>
  chicago: Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds
    for Markov Chains.” <i>ArXiv</i>, n.d. <a href="https://doi.org/10.48550/arXiv.2308.00516">https://doi.org/10.48550/arXiv.2308.00516</a>.
  ieee: F. Pedrotti, “Contractive coupling rates and curvature lower bounds for Markov
    chains,” <i>arXiv</i>. .
  ista: Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov
    chains. arXiv, 2308.00516.
  mla: Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds
    for Markov Chains.” <i>ArXiv</i>, 2308.00516, doi:<a href="https://doi.org/10.48550/arXiv.2308.00516">10.48550/arXiv.2308.00516</a>.
  short: F. Pedrotti, ArXiv (n.d.).
corr_author: '1'
date_created: 2024-07-31T08:02:16Z
date_published: 2023-08-02T00:00:00Z
date_updated: 2026-04-07T13:00:02Z
day: '02'
department:
- _id: JaMa
doi: 10.48550/arXiv.2308.00516
external_id:
  arxiv:
  - '2308.00516'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.48550/arXiv.2308.00516
month: '08'
oa: 1
oa_version: Preprint
publication: arXiv
publication_status: draft
related_material:
  record:
  - id: '20040'
    relation: later_version
    status: public
  - id: '17336'
    relation: dissertation_contains
    status: public
status: public
title: Contractive coupling rates and curvature lower bounds for Markov chains
type: preprint
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '17380'
abstract:
- lang: eng
  text: Deployable gridshells are a class of planar-to-spatial structures that achievea
    3D curved geometry by inducing bending on a flat grid of elastic beams. However,
    theslender nature of these beams often conflicts with the structure’s load-bearing
    capacity.To address this issue, multiple layers are typically stacked to enhance
    out-of-planestiffness and prevent stability issues. The primary challenge then
    lies in deploying suchmulti-layered systems globally, as it requires significant
    shaping forces for actuation.This paper presents an alternative design approach
    that involves strategically connect-ing compact-to-volumetric gridshell components
    using weaving principles to shape athick segmented shell. This innovative approach
    allows for an incremental construc-tion process based entirely on deployable modules
    with volumetric configurations thatlocally provide the necessary structural depth
    for the entire system. To demonstrate thisprinciple, we present the realization
    of BamX, a research pavilion constructed usingdeployable cylindrical components
    made from raw bamboo slats. These componentsare interconnected at carefully optimized
    interlocking woven nodes, resulting in abending-active structural frame that is
    both strong and exceptionally lightweight. Todetermine the optimal topology and
    geometry of the pavilion, we employ an integrativecomputational approach that
    leverages advanced numerical optimization techniques.Our method incorporates a
    physics-based simulation of the bending and twisting be-havior of the bamboo ribbons.
    By finding the ideal locations for ribbon crossings, weensure that all external
    and internal forces are in global equilibrium while minimizingthe mechanical stress
    experienced by each ribbon. BamX exemplifies how a symbiosisof refined weaving
    craft and advanced computational modeling enables fascinatingnew opportunities
    for rethinking deployability in architecture.
alternative_title:
- De Gruyter STEM
article_processing_charge: Yes
author:
- first_name: Seiichi
  full_name: Suzuki, Seiichi
  last_name: Suzuki
- first_name: Alison
  full_name: Martin, Alison
  last_name: Martin
- first_name: Yingying
  full_name: Ren, Yingying
  id: 93d68d10-3540-11ef-a265-f748a50dba3d
  last_name: Ren
- first_name: Tzu-Ying
  full_name: Chen, Tzu-Ying
  last_name: Chen
- first_name: Stefana
  full_name: Parascho, Stefana
  last_name: Parascho
- first_name: Mark
  full_name: Pauly, Mark
  last_name: Pauly
citation:
  ama: 'Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. BamX: Rethinking
    Deployability in Architecture through Weaving. In: Dörfler K, Knippers J, Menges
    A, Parascho S, Pottmann H, Wortmann T, eds. <i>Advances in Architectural Geometry
    2023</i>. De Gruyter; 2023. doi:<a href="https://doi.org/10.1515/9783111162683-016">10.1515/9783111162683-016</a>'
  apa: 'Suzuki, S., Martin, A., Ren, Y., Chen, T.-Y., Parascho, S., &#38; Pauly, M.
    (2023). BamX: Rethinking Deployability in Architecture through Weaving. In K.
    Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, &#38; T. Wortmann (Eds.),
    <i>Advances in Architectural Geometry 2023</i>. De Gruyter. <a href="https://doi.org/10.1515/9783111162683-016">https://doi.org/10.1515/9783111162683-016</a>'
  chicago: 'Suzuki, Seiichi, Alison Martin, Yingying Ren, Tzu-Ying Chen, Stefana Parascho,
    and Mark Pauly. “BamX: Rethinking Deployability in Architecture through Weaving.”
    In <i>Advances in Architectural Geometry 2023</i>, edited by Kathrin Dörfler,
    Jan Knippers, Achim Menges, Stefana Parascho, Helmut Pottmann, and Thomas Wortmann.
    De Gruyter, 2023. <a href="https://doi.org/10.1515/9783111162683-016">https://doi.org/10.1515/9783111162683-016</a>.'
  ieee: 'S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, and M. Pauly, “BamX:
    Rethinking Deployability in Architecture through Weaving,” in <i>Advances in Architectural
    Geometry 2023</i>, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann,
    and T. Wortmann, Eds. De Gruyter, 2023.'
  ista: 'Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. 2023.BamX: Rethinking
    Deployability in Architecture through Weaving. In: Advances in Architectural Geometry
    2023. De Gruyter STEM, .'
  mla: 'Suzuki, Seiichi, et al. “BamX: Rethinking Deployability in Architecture through
    Weaving.” <i>Advances in Architectural Geometry 2023</i>, edited by Kathrin Dörfler
    et al., De Gruyter, 2023, doi:<a href="https://doi.org/10.1515/9783111162683-016">10.1515/9783111162683-016</a>.'
  short: S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, M. Pauly, in:, K.
    Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, T. Wortmann (Eds.),
    Advances in Architectural Geometry 2023, De Gruyter, 2023.
date_created: 2024-08-05T06:28:57Z
date_published: 2023-10-04T00:00:00Z
date_updated: 2024-08-12T09:54:02Z
day: '04'
ddc:
- '510'
doi: 10.1515/9783111162683-016
editor:
- first_name: Kathrin
  full_name: Dörfler, Kathrin
  last_name: Dörfler
- first_name: Jan
  full_name: Knippers, Jan
  last_name: Knippers
- first_name: Achim
  full_name: Menges, Achim
  last_name: Menges
- first_name: Stefana
  full_name: Parascho, Stefana
  last_name: Parascho
- first_name: Helmut
  full_name: Pottmann, Helmut
  last_name: Pottmann
- first_name: Thomas
  full_name: Wortmann, Thomas
  last_name: Wortmann
extern: '1'
file:
- access_level: open_access
  checksum: bf97dbf1794277f18711adef81b2e218
  content_type: application/pdf
  creator: dernst
  date_created: 2024-08-12T09:52:12Z
  date_updated: 2024-08-12T09:52:12Z
  file_id: '17421'
  file_name: 2023_ArchGeometry_Suzuki.pdf
  file_size: 775573
  relation: main_file
  success: 1
file_date_updated: 2024-08-12T09:52:12Z
has_accepted_license: '1'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Published Version
publication: Advances in Architectural Geometry 2023
publication_identifier:
  eisbn:
  - '9783111162683'
  isbn:
  - '9783111160115'
publication_status: published
publisher: De Gruyter
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'BamX: Rethinking Deployability in Architecture through Weaving'
tmp:
  image: /images/cc_by_nc_nd.png
  legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode
  name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
    (CC BY-NC-ND 4.0)
  short: CC BY-NC-ND (4.0)
type: book_chapter
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2023'
...
---
_id: '17498'
abstract:
- lang: eng
  text: In recent years, there has been tremendous progress on developing program
    logics for verifying the correctness of programs in a rich and diverse array of
    languages. Thus far, however, such logics have assumed that programs are written
    entirely in a single programming language. In practice, this assumption rarely
    holds since programs are often composed of components written in different programming
    languages, which interact with one another via some kind of foreign function interface
    (FFI). In this paper, we take the first steps towards the goal of developing program
    logics for multi-language verification. Specifically, we present Melocoton, a
    multi-language program verification system for reasoning about OCaml, C, and their
    interactions through the OCaml FFI. Melocoton consists of the first formal semantics
    of (a large subset of) the OCaml FFI—previously only described in prose in the
    OCaml manual—as well as the first program logic to reason about the interactions
    of program components written in OCaml and C. Melocoton is fully mechanized in
    Coq on top of the Iris separation logic framework.
article_processing_charge: No
article_type: original
author:
- first_name: Armaël
  full_name: Guéneau, Armaël
  last_name: Guéneau
- first_name: Johannes
  full_name: Hostert, Johannes
  last_name: Hostert
- first_name: Simon
  full_name: Spies, Simon
  last_name: Spies
- first_name: Michael Joachim
  full_name: Sammler, Michael Joachim
  id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
  last_name: Sammler
- first_name: Lars
  full_name: Birkedal, Lars
  last_name: Birkedal
- first_name: Derek
  full_name: Dreyer, Derek
  last_name: Dreyer
citation:
  ama: 'Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. Melocoton:
    A program logic for verified interoperability between OCaml and C. <i>Proceedings
    of the ACM on Programming Languages</i>. 2023;7(OOPSLA2):716-744. doi:<a href="https://doi.org/10.1145/3622823">10.1145/3622823</a>'
  apa: 'Guéneau, A., Hostert, J., Spies, S., Sammler, M. J., Birkedal, L., &#38; Dreyer,
    D. (2023). Melocoton: A program logic for verified interoperability between OCaml
    and C. <i>Proceedings of the ACM on Programming Languages</i>. Association for
    Computing Machinery. <a href="https://doi.org/10.1145/3622823">https://doi.org/10.1145/3622823</a>'
  chicago: 'Guéneau, Armaël, Johannes Hostert, Simon Spies, Michael Joachim Sammler,
    Lars Birkedal, and Derek Dreyer. “Melocoton: A Program Logic for Verified Interoperability
    between OCaml and C.” <i>Proceedings of the ACM on Programming Languages</i>.
    Association for Computing Machinery, 2023. <a href="https://doi.org/10.1145/3622823">https://doi.org/10.1145/3622823</a>.'
  ieee: 'A. Guéneau, J. Hostert, S. Spies, M. J. Sammler, L. Birkedal, and D. Dreyer,
    “Melocoton: A program logic for verified interoperability between OCaml and C,”
    <i>Proceedings of the ACM on Programming Languages</i>, vol. 7, no. OOPSLA2. Association
    for Computing Machinery, pp. 716–744, 2023.'
  ista: 'Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. 2023. Melocoton:
    A program logic for verified interoperability between OCaml and C. Proceedings
    of the ACM on Programming Languages. 7(OOPSLA2), 716–744.'
  mla: 'Guéneau, Armaël, et al. “Melocoton: A Program Logic for Verified Interoperability
    between OCaml and C.” <i>Proceedings of the ACM on Programming Languages</i>,
    vol. 7, no. OOPSLA2, Association for Computing Machinery, 2023, pp. 716–44, doi:<a
    href="https://doi.org/10.1145/3622823">10.1145/3622823</a>.'
  short: A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings
    of the ACM on Programming Languages 7 (2023) 716–744.
date_created: 2024-09-05T08:17:10Z
date_published: 2023-10-16T00:00:00Z
date_updated: 2024-09-10T09:04:24Z
day: '16'
doi: 10.1145/3622823
extern: '1'
intvolume: '         7'
issue: OOPSLA2
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/3622823
month: '10'
oa: 1
oa_version: Published Version
page: 716-744
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
  issn:
  - 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Melocoton: A program logic for verified interoperability between OCaml and
  C'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 7
year: '2023'
...
---
_id: '17499'
abstract:
- lang: eng
  text: "Much work in formal verification of low-level systems is based on one of
    two approaches: refinement or separation logic. These two approaches have complementary
    benefits: refinement supports the use of programs as specifications, as well as
    transitive composition of proofs, whereas separation logic supports conditional
    specifications, as well as modular ownership reasoning about shared state. A number
    of verification frameworks employ these techniques in tandem, but in all such
    cases the benefits of the two techniques remain separate. For example, in frameworks
    that use relational separation logic to prove contextual refinement, the relational
    separation logic judgment does not support transitive composition of proofs, while
    the contextual refinement judgment does not support conditional specifications.
    \ \r\nIn this paper, we propose Conditional Contextual Refinement (or CCR, for
    short), the first verification system to not only combine refinement and separation
    logic in a single framework but also to truly marry them together into a unified
    mechanism enjoying all the benefits of refinement and separation logic simultaneously.
    Specifically, unlike in prior work, CCR’s refinement specifications are both conditional
    (with separation logic pre- and post-conditions) and transitively composable.
    We implement CCR in Coq and evaluate its effectiveness on a range of interesting
    examples."
article_processing_charge: No
article_type: original
author:
- first_name: Youngju
  full_name: Song, Youngju
  last_name: Song
- first_name: Minki
  full_name: Cho, Minki
  last_name: Cho
- first_name: Dongjae
  full_name: Lee, Dongjae
  last_name: Lee
- first_name: Chung-Kil
  full_name: Hur, Chung-Kil
  last_name: Hur
- first_name: Michael Joachim
  full_name: Sammler, Michael Joachim
  id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
  last_name: Sammler
- first_name: Derek
  full_name: Dreyer, Derek
  last_name: Dreyer
citation:
  ama: Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. Conditional contextual
    refinement. <i>Proceedings of the ACM on Programming Languages</i>. 2023;7(POPL):1121-1151.
    doi:<a href="https://doi.org/10.1145/3571232">10.1145/3571232</a>
  apa: Song, Y., Cho, M., Lee, D., Hur, C.-K., Sammler, M. J., &#38; Dreyer, D. (2023).
    Conditional contextual refinement. <i>Proceedings of the ACM on Programming Languages</i>.
    Association for Computing Machinery. <a href="https://doi.org/10.1145/3571232">https://doi.org/10.1145/3571232</a>
  chicago: Song, Youngju, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Joachim Sammler,
    and Derek Dreyer. “Conditional Contextual Refinement.” <i>Proceedings of the ACM
    on Programming Languages</i>. Association for Computing Machinery, 2023. <a href="https://doi.org/10.1145/3571232">https://doi.org/10.1145/3571232</a>.
  ieee: Y. Song, M. Cho, D. Lee, C.-K. Hur, M. J. Sammler, and D. Dreyer, “Conditional
    contextual refinement,” <i>Proceedings of the ACM on Programming Languages</i>,
    vol. 7, no. POPL. Association for Computing Machinery, pp. 1121–1151, 2023.
  ista: Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. 2023. Conditional contextual
    refinement. Proceedings of the ACM on Programming Languages. 7(POPL), 1121–1151.
  mla: Song, Youngju, et al. “Conditional Contextual Refinement.” <i>Proceedings of
    the ACM on Programming Languages</i>, vol. 7, no. POPL, Association for Computing
    Machinery, 2023, pp. 1121–51, doi:<a href="https://doi.org/10.1145/3571232">10.1145/3571232</a>.
  short: Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings
    of the ACM on Programming Languages 7 (2023) 1121–1151.
date_created: 2024-09-05T08:21:51Z
date_published: 2023-01-11T00:00:00Z
date_updated: 2024-09-10T09:03:17Z
day: '11'
doi: 10.1145/3571232
extern: '1'
intvolume: '         7'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/3571232
month: '01'
oa: 1
oa_version: Published Version
page: 1121-1151
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
  issn:
  - 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: Conditional contextual refinement
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 7
year: '2023'
...
---
_id: '17500'
abstract:
- lang: eng
  text: "Prior work on multi-language program verification has achieved impressive
    results, including the compositional verification of complex compilers. But the
    existing approaches to this problem impose a variety of restrictions on the overall
    structure of multi-language programs (e.g. fixing the source language, fixing
    the set of involved languages, fixing the memory model, or fixing the semantics
    of interoperation). In this paper, we explore the problem of how to avoid such
    global restrictions.\r\nConcretely, we present DimSum: a new, decentralized approach
    to multi-language semantics and verification, which we have implemented in the
    Coq proof assistant. Decentralization means that we can define and reason about
    languages independently from each other (as independent modules communicating
    via events), but also combine and translate between them when necessary (via a
    library of combinators).\r\nWe apply DimSum to a high-level imperative language
    Rec (with an abstract memory model and function calls), a low-level assembly language
    Asm (with a concrete memory model, arbitrary jumps, and syscalls), and a mathematical
    specification language Spec. We evaluate DimSum on two case studies: an Asm library
    extending Rec with support for pointer comparison, and a coroutine library for
    Rec written in Asm. In both cases, we show how DimSum allows the Asm libraries
    to be abstracted to Rec-level specifications, despite the behavior of the Asm
    libraries not being syntactically expressible in Rec itself. We also verify an
    optimizing multi-pass compiler from Rec to Asm, showing that it is compatible
    with these Asm libraries."
article_processing_charge: No
article_type: original
author:
- first_name: Michael Joachim
  full_name: Sammler, Michael Joachim
  id: 510d3901-2a03-11ee-914d-d9ae9011f0a7
  last_name: Sammler
- first_name: Simon
  full_name: Spies, Simon
  last_name: Spies
- first_name: Youngju
  full_name: Song, Youngju
  last_name: Song
- first_name: Emanuele
  full_name: D'Osualdo, Emanuele
  last_name: D'Osualdo
- first_name: Robbert
  full_name: Krebbers, Robbert
  last_name: Krebbers
- first_name: Deepak
  full_name: Garg, Deepak
  last_name: Garg
- first_name: Derek
  full_name: Dreyer, Derek
  last_name: Dreyer
citation:
  ama: 'Sammler MJ, Spies S, Song Y, et al. DimSum: A decentralized approach to multi-language
    semantics and verification. <i>Proceedings of the ACM on Programming Languages</i>.
    2023;7(POPL):775-805. doi:<a href="https://doi.org/10.1145/3571220">10.1145/3571220</a>'
  apa: 'Sammler, M. J., Spies, S., Song, Y., D’Osualdo, E., Krebbers, R., Garg, D.,
    &#38; Dreyer, D. (2023). DimSum: A decentralized approach to multi-language semantics
    and verification. <i>Proceedings of the ACM on Programming Languages</i>. Association
    for Computing Machinery. <a href="https://doi.org/10.1145/3571220">https://doi.org/10.1145/3571220</a>'
  chicago: 'Sammler, Michael Joachim, Simon Spies, Youngju Song, Emanuele D’Osualdo,
    Robbert Krebbers, Deepak Garg, and Derek Dreyer. “DimSum: A Decentralized Approach
    to Multi-Language Semantics and Verification.” <i>Proceedings of the ACM on Programming
    Languages</i>. Association for Computing Machinery, 2023. <a href="https://doi.org/10.1145/3571220">https://doi.org/10.1145/3571220</a>.'
  ieee: 'M. J. Sammler <i>et al.</i>, “DimSum: A decentralized approach to multi-language
    semantics and verification,” <i>Proceedings of the ACM on Programming Languages</i>,
    vol. 7, no. POPL. Association for Computing Machinery, pp. 775–805, 2023.'
  ista: 'Sammler MJ, Spies S, Song Y, D’Osualdo E, Krebbers R, Garg D, Dreyer D. 2023.
    DimSum: A decentralized approach to multi-language semantics and verification.
    Proceedings of the ACM on Programming Languages. 7(POPL), 775–805.'
  mla: 'Sammler, Michael Joachim, et al. “DimSum: A Decentralized Approach to Multi-Language
    Semantics and Verification.” <i>Proceedings of the ACM on Programming Languages</i>,
    vol. 7, no. POPL, Association for Computing Machinery, 2023, pp. 775–805, doi:<a
    href="https://doi.org/10.1145/3571220">10.1145/3571220</a>.'
  short: M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer,
    Proceedings of the ACM on Programming Languages 7 (2023) 775–805.
date_created: 2024-09-05T08:24:06Z
date_published: 2023-01-11T00:00:00Z
date_updated: 2024-09-10T09:13:02Z
day: '11'
doi: 10.1145/3571220
extern: '1'
intvolume: '         7'
issue: POPL
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/3571220
month: '01'
oa: 1
oa_version: Published Version
page: 775-805
publication: Proceedings of the ACM on Programming Languages
publication_identifier:
  issn:
  - 2475-1421
publication_status: published
publisher: Association for Computing Machinery
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'DimSum: A decentralized approach to multi-language semantics and verification'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 7
year: '2023'
...
---
_id: '17507'
abstract:
- lang: eng
  text: Stellar-mass black holes (BHs) are predicted to be embedded in the disks of
    active galactic nuclei (AGNs) due to gravitational drag and in situ star formation.
    However, clear evidence for AGN disk-embedded BHs is currently lacking. Here,
    as possible electromagnetic signatures of these BHs, we investigate breakout emission
    from shocks emerging around Blandford–Znajek jets launched from accreting BHs
    in AGN disks. We assume that most of the highly super-Eddington flow reaches the
    BH and produces a strong jet, and the jet produces feedback that shuts off accretion
    and thus leads to episodic flaring. These assumptions, while poorly understood
    at present, yield observable consequences that can probe the presence of AGN-embedded
    BHs as well as the accretion process itself. They predict a breakout emission
    characterized by luminous thermal emission in the X-ray bands and bright broadband
    nonthermal emission from the infrared to the gamma-ray bands. The flare duration
    depends on the BH's distance r from the central supermassive BH, varying between
    103–106 s for r ∼ 0.01–1 pc. This emission can be discovered by current and future
    infrared, optical, and X-ray wide-field surveys and monitoring campaigns of nearby
    AGNs.
article_number: L3
article_processing_charge: No
article_type: original
author:
- first_name: Hiromichi
  full_name: Tagawa, Hiromichi
  last_name: Tagawa
- first_name: Shigeo S.
  full_name: Kimura, Shigeo S.
  last_name: Kimura
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Rosalba
  full_name: Perna, Rosalba
  last_name: Perna
- first_name: Imre
  full_name: Bartos, Imre
  last_name: Bartos
citation:
  ama: Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. Observable signatures of
    stellar-mass black holes in active galactic nuclei. <i>The Astrophysical Journal
    Letters</i>. 2023;946(1). doi:<a href="https://doi.org/10.3847/2041-8213/acc103">10.3847/2041-8213/acc103</a>
  apa: Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., &#38; Bartos, I. (2023).
    Observable signatures of stellar-mass black holes in active galactic nuclei. <i>The
    Astrophysical Journal Letters</i>. American Astronomical Society. <a href="https://doi.org/10.3847/2041-8213/acc103">https://doi.org/10.3847/2041-8213/acc103</a>
  chicago: Tagawa, Hiromichi, Shigeo S. Kimura, Zoltán Haiman, Rosalba Perna, and
    Imre Bartos. “Observable Signatures of Stellar-Mass Black Holes in Active Galactic
    Nuclei.” <i>The Astrophysical Journal Letters</i>. American Astronomical Society,
    2023. <a href="https://doi.org/10.3847/2041-8213/acc103">https://doi.org/10.3847/2041-8213/acc103</a>.
  ieee: H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Observable signatures
    of stellar-mass black holes in active galactic nuclei,” <i>The Astrophysical Journal
    Letters</i>, vol. 946, no. 1. American Astronomical Society, 2023.
  ista: Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2023. Observable signatures
    of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal
    Letters. 946(1), L3.
  mla: Tagawa, Hiromichi, et al. “Observable Signatures of Stellar-Mass Black Holes
    in Active Galactic Nuclei.” <i>The Astrophysical Journal Letters</i>, vol. 946,
    no. 1, L3, American Astronomical Society, 2023, doi:<a href="https://doi.org/10.3847/2041-8213/acc103">10.3847/2041-8213/acc103</a>.
  short: H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical
    Journal Letters 946 (2023).
date_created: 2024-09-05T08:44:27Z
date_published: 2023-03-21T00:00:00Z
date_updated: 2024-09-10T10:52:04Z
day: '21'
doi: 10.3847/2041-8213/acc103
extern: '1'
intvolume: '       946'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3847/2041-8213/acc103
month: '03'
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: Observable signatures of stellar-mass black holes in active galactic nuclei
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 946
year: '2023'
...
---
_id: '17513'
abstract:
- lang: eng
  text: The astrophysical origin of over 90 compact binary mergers discovered by the
    LIGO and Virgo gravitational wave observatories is an open question. While the
    unusual mass and spin of some of the discovered objects constrain progenitor scenarios,
    the observed mergers are consistent with multiple interpretations. A promising
    approach to solve this question is to consider the observed distributions of binary
    properties and compare them to expectations from different origin scenarios. Here
    we describe a new hierarchical population analysis framework to assess the relative
    contribution of different formation channels simultaneously. For this study we
    considered binary formation in active galactic nucleus (AGN) disks along with
    phenomenological models, but the same framework can be extended to other models.
    We find that high-mass and high-mass-ratio binaries appear more likely to have
    an AGN origin compared to having the same origin as lower-mass events. Future
    observations of high-mass black hole mergers could further disentangle the AGN
    component from other channels.
article_number: L29
article_processing_charge: No
article_type: original
author:
- first_name: V.
  full_name: Gayathri, V.
  last_name: Gayathri
- first_name: Daniel
  full_name: Wysocki, Daniel
  last_name: Wysocki
- first_name: Y.
  full_name: Yang, Y.
  last_name: Yang
- first_name: Vera
  full_name: Delfavero, Vera
  last_name: Delfavero
- first_name: R.
  full_name: O’Shaughnessy, R.
  last_name: O’Shaughnessy
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: H.
  full_name: Tagawa, H.
  last_name: Tagawa
- first_name: I.
  full_name: Bartos, I.
  last_name: Bartos
citation:
  ama: 'Gayathri V, Wysocki D, Yang Y, et al. Gravitational wave source populations:
    Disentangling an AGN component. <i>The Astrophysical Journal Letters</i>. 2023;945(2).
    doi:<a href="https://doi.org/10.3847/2041-8213/acbfb8">10.3847/2041-8213/acbfb8</a>'
  apa: 'Gayathri, V., Wysocki, D., Yang, Y., Delfavero, V., O’Shaughnessy, R., Haiman,
    Z., … Bartos, I. (2023). Gravitational wave source populations: Disentangling
    an AGN component. <i>The Astrophysical Journal Letters</i>. American Astronomical
    Society. <a href="https://doi.org/10.3847/2041-8213/acbfb8">https://doi.org/10.3847/2041-8213/acbfb8</a>'
  chicago: 'Gayathri, V., Daniel Wysocki, Y. Yang, Vera Delfavero, R. O’Shaughnessy,
    Zoltán Haiman, H. Tagawa, and I. Bartos. “Gravitational Wave Source Populations:
    Disentangling an AGN Component.” <i>The Astrophysical Journal Letters</i>. American
    Astronomical Society, 2023. <a href="https://doi.org/10.3847/2041-8213/acbfb8">https://doi.org/10.3847/2041-8213/acbfb8</a>.'
  ieee: 'V. Gayathri <i>et al.</i>, “Gravitational wave source populations: Disentangling
    an AGN component,” <i>The Astrophysical Journal Letters</i>, vol. 945, no. 2.
    American Astronomical Society, 2023.'
  ista: 'Gayathri V, Wysocki D, Yang Y, Delfavero V, O’Shaughnessy R, Haiman Z, Tagawa
    H, Bartos I. 2023. Gravitational wave source populations: Disentangling an AGN
    component. The Astrophysical Journal Letters. 945(2), L29.'
  mla: 'Gayathri, V., et al. “Gravitational Wave Source Populations: Disentangling
    an AGN Component.” <i>The Astrophysical Journal Letters</i>, vol. 945, no. 2,
    L29, American Astronomical Society, 2023, doi:<a href="https://doi.org/10.3847/2041-8213/acbfb8">10.3847/2041-8213/acbfb8</a>.'
  short: V. Gayathri, D. Wysocki, Y. Yang, V. Delfavero, R. O’Shaughnessy, Z. Haiman,
    H. Tagawa, I. Bartos, The Astrophysical Journal Letters 945 (2023).
date_created: 2024-09-05T08:52:25Z
date_published: 2023-03-13T00:00:00Z
date_updated: 2024-09-10T13:31:17Z
day: '13'
doi: 10.3847/2041-8213/acbfb8
extern: '1'
intvolume: '       945'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3847/2041-8213/acbfb8
month: '03'
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: 'Gravitational wave source populations: Disentangling an AGN component'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 945
year: '2023'
...
---
_id: '17514'
abstract:
- lang: eng
  text: Extreme mass-ratio inspirals (EMRIs) take place when a stellar-mass black
    hole (BH) merges with a supermassive BH (SMBH). The gravitational-wave emission
    from such an event is expected to be detectable by the future Laser Interferometer
    Space Antenna (LISA) and other millihertz detectors. It was recently suggested
    that the EMRI rate in SMBH binary systems is orders of magnitude higher than the
    EMRI rate around a single SMBH with the same total mass. Here we show that this
    high rate can produce thousands of SMBH–BH sources at a redshift of unity. We
    predict that LISA may detect a few hundred of these EMRIs with signal-to-noise
    ratio above S/N ≥8 within a 4 yr mission lifetime. The remaining subthreshold
    sources will contribute to a large confusion noise, which is approximately an
    order of magnitude above LISA’s sensitivity level. Finally, we suggest that the
    individually detectable systems, as well as the background noise from the subthreshold
    EMRIs, can be used to constrain the SMBH binary fraction in the low-redshift Universe.
article_number: L27
article_processing_charge: No
article_type: original
author:
- first_name: Smadar
  full_name: Naoz, Smadar
  last_name: Naoz
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: Naoz S, Haiman Z. The enhanced population of extreme mass-ratio inspirals in
    the LISA band from supermassive black hole binaries. <i>The Astrophysical Journal
    Letters</i>. 2023;955(2). doi:<a href="https://doi.org/10.3847/2041-8213/acf8c9">10.3847/2041-8213/acf8c9</a>
  apa: Naoz, S., &#38; Haiman, Z. (2023). The enhanced population of extreme mass-ratio
    inspirals in the LISA band from supermassive black hole binaries. <i>The Astrophysical
    Journal Letters</i>. American Astronomical Society. <a href="https://doi.org/10.3847/2041-8213/acf8c9">https://doi.org/10.3847/2041-8213/acf8c9</a>
  chicago: Naoz, Smadar, and Zoltán Haiman. “The Enhanced Population of Extreme Mass-Ratio
    Inspirals in the LISA Band from Supermassive Black Hole Binaries.” <i>The Astrophysical
    Journal Letters</i>. American Astronomical Society, 2023. <a href="https://doi.org/10.3847/2041-8213/acf8c9">https://doi.org/10.3847/2041-8213/acf8c9</a>.
  ieee: S. Naoz and Z. Haiman, “The enhanced population of extreme mass-ratio inspirals
    in the LISA band from supermassive black hole binaries,” <i>The Astrophysical
    Journal Letters</i>, vol. 955, no. 2. American Astronomical Society, 2023.
  ista: Naoz S, Haiman Z. 2023. The enhanced population of extreme mass-ratio inspirals
    in the LISA band from supermassive black hole binaries. The Astrophysical Journal
    Letters. 955(2), L27.
  mla: Naoz, Smadar, and Zoltán Haiman. “The Enhanced Population of Extreme Mass-Ratio
    Inspirals in the LISA Band from Supermassive Black Hole Binaries.” <i>The Astrophysical
    Journal Letters</i>, vol. 955, no. 2, L27, American Astronomical Society, 2023,
    doi:<a href="https://doi.org/10.3847/2041-8213/acf8c9">10.3847/2041-8213/acf8c9</a>.
  short: S. Naoz, Z. Haiman, The Astrophysical Journal Letters 955 (2023).
date_created: 2024-09-05T08:53:23Z
date_published: 2023-09-26T00:00:00Z
date_updated: 2024-09-10T13:38:53Z
day: '26'
doi: 10.3847/2041-8213/acf8c9
extern: '1'
intvolume: '       955'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3847/2041-8213/acf8c9
month: '09'
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: The enhanced population of extreme mass-ratio inspirals in the LISA band from
  supermassive black hole binaries
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 955
year: '2023'
...
---
_id: '17521'
abstract:
- lang: eng
  text: 'The upcoming Laser Interferometer Space Antenna (LISA) is expected to detect
    gravitational waves (GWs) from massive black hole binaries (MBHB). Finding the
    electromagnetic (EM) counterparts for these GW events will be crucial for understanding
    how and where MBHBs merge, measuring their redshifts, constraining the Hubble
    constant and the graviton mass, and for other novel science applications. However,
    due to poor GW sky localization, multiwavelength, time-dependent EM models are
    needed to identify the right host galaxy. We studied merging MBHBs embedded in
    a circumbinary disc (CBD) using high-resolution two-dimensional simulations, with
    a Γ-law equation of state, incorporating viscous heating, shock heating, and radiative
    cooling. We simulate the binary from large separation until after merger, allowing
    us to model the decoupling of the binary from the CBD. We compute the EM signatures
    and identify distinct features before, during, and after the merger. Our main
    result is a multiband EM signature: we find that the MBHB produces strong thermal
    X-ray emission until 1–2 d prior to the merger. However, as the binary decouples
    from the CBD, the X-ray-bright minidiscs rapidly shrink in size, become disrupted,
    and the accretion rate drops precipitously. As a result, the thermal X-ray luminosity
    drops by orders of magnitude, and the source remains X-ray dark for several days,
    regardless of any post-merger effects such as GW recoil or mass-loss. Looking
    for the abrupt spectral change where the thermal X-ray disappears is a tell-tale
    EM signature of LISA mergers that does not require extensive pre-merger monitoring.'
article_processing_charge: No
article_type: original
author:
- first_name: Luke Major
  full_name: Krauth, Luke Major
  last_name: Krauth
- first_name: Jordy
  full_name: Davelaar, Jordy
  last_name: Davelaar
- first_name: John Ryan
  full_name: Westernacher-Schneider, John Ryan
  last_name: Westernacher-Schneider
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Jonathan
  full_name: Zrake, Jonathan
  last_name: Zrake
- first_name: Andrew
  full_name: MacFadyen, Andrew
  last_name: MacFadyen
citation:
  ama: Krauth LM, Davelaar J, Westernacher-Schneider JR, Haiman Z, Zrake J, MacFadyen
    A. Disappearing thermal X-ray emission as a tell-tale signature of merging massive
    black hole binaries. <i>Monthly Notices of the Royal Astronomical Society</i>.
    2023;526(4):5441-5454. doi:<a href="https://doi.org/10.1093/mnras/stad3095">10.1093/mnras/stad3095</a>
  apa: Krauth, L. M., Davelaar, J., Westernacher-Schneider, J. R., Haiman, Z., Zrake,
    J., &#38; MacFadyen, A. (2023). Disappearing thermal X-ray emission as a tell-tale
    signature of merging massive black hole binaries. <i>Monthly Notices of the Royal
    Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stad3095">https://doi.org/10.1093/mnras/stad3095</a>
  chicago: Krauth, Luke Major, Jordy Davelaar, John Ryan Westernacher-Schneider, Zoltán
    Haiman, Jonathan Zrake, and Andrew MacFadyen. “Disappearing Thermal X-Ray Emission
    as a Tell-Tale Signature of Merging Massive Black Hole Binaries.” <i>Monthly Notices
    of the Royal Astronomical Society</i>. Oxford University Press, 2023. <a href="https://doi.org/10.1093/mnras/stad3095">https://doi.org/10.1093/mnras/stad3095</a>.
  ieee: L. M. Krauth, J. Davelaar, J. R. Westernacher-Schneider, Z. Haiman, J. Zrake,
    and A. MacFadyen, “Disappearing thermal X-ray emission as a tell-tale signature
    of merging massive black hole binaries,” <i>Monthly Notices of the Royal Astronomical
    Society</i>, vol. 526, no. 4. Oxford University Press, pp. 5441–5454, 2023.
  ista: Krauth LM, Davelaar J, Westernacher-Schneider JR, Haiman Z, Zrake J, MacFadyen
    A. 2023. Disappearing thermal X-ray emission as a tell-tale signature of merging
    massive black hole binaries. Monthly Notices of the Royal Astronomical Society.
    526(4), 5441–5454.
  mla: Krauth, Luke Major, et al. “Disappearing Thermal X-Ray Emission as a Tell-Tale
    Signature of Merging Massive Black Hole Binaries.” <i>Monthly Notices of the Royal
    Astronomical Society</i>, vol. 526, no. 4, Oxford University Press, 2023, pp.
    5441–54, doi:<a href="https://doi.org/10.1093/mnras/stad3095">10.1093/mnras/stad3095</a>.
  short: L.M. Krauth, J. Davelaar, J.R. Westernacher-Schneider, Z. Haiman, J. Zrake,
    A. MacFadyen, Monthly Notices of the Royal Astronomical Society 526 (2023) 5441–5454.
date_created: 2024-09-05T09:20:27Z
date_published: 2023-10-13T00:00:00Z
date_updated: 2024-09-10T14:43:04Z
day: '13'
doi: 10.1093/mnras/stad3095
extern: '1'
intvolume: '       526'
issue: '4'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stad3095
month: '10'
oa: 1
oa_version: Published Version
page: 5441-5454
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: Disappearing thermal X-ray emission as a tell-tale signature of merging massive
  black hole binaries
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 526
year: '2023'
...
---
_id: '17522'
abstract:
- lang: eng
  text: The early growth of black holes (BHs) in high-redshift galaxies is likely
    feedback regulated. While radiative feedback has been extensively studied, the
    role of mechanical feedback has received less scrutiny to date. Here, we use high-resolution
    parsec-scale hydrodynamical simulations to study jet propagation and its effect
    on 100 M⊙ BH accretion in the dense, low-metallicity gas expected in early protogalaxies.
    As the jet propagates, it shocks the surrounding gas forming a jet cocoon. The
    cocoon consists of a rapidly cooling cold phase at the interface with the background
    gas and an overpressured subsonic phase of reverse shock-heated gas filling the
    interior. We vary the background gas density and temperature, BH feedback efficiency,
    and the jet model. We found that the width of the jet cocoon roughly follows a
    scaling derived by assuming momentum conservation in the jet-propagation direction
    and energy conservation in the lateral directions. Depending on the assumed gas
    and jet properties, the cocoon either stays elongated to large radii or isotropizes
    before reaching the Bondi radius, forming a nearly spherical bubble. Lower jet
    velocities and higher background gas densities result in self-regulation to higher
    momentum fluxes and elongated cocoons. In all cases, the outward cocoon momentum
    flux balances the inward inflowing gas momentum flux near the Bondi radius, which
    ultimately regulates BH accretion. The time-averaged accretion rate always remains
    below the Bondi rate, and exceeds the Eddington rate only if the ambient medium
    is dense and cold, and/or the jet is weak (low velocity and mass loading).
article_processing_charge: No
article_type: original
author:
- first_name: Kung-Yi
  full_name: Su, Kung-Yi
  last_name: Su
- first_name: Greg L
  full_name: Bryan, Greg L
  last_name: Bryan
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Rachel S
  full_name: Somerville, Rachel S
  last_name: Somerville
- first_name: Christopher C
  full_name: Hayward, Christopher C
  last_name: Hayward
- first_name: Claude-André
  full_name: Faucher-Giguère, Claude-André
  last_name: Faucher-Giguère
citation:
  ama: Su K-Y, Bryan GL, Haiman Z, Somerville RS, Hayward CC, Faucher-Giguère C-A.
    Self-regulation of black hole accretion via jets in early protogalaxies. <i>Monthly
    Notices of the Royal Astronomical Society</i>. 2023;520(3):4258-4275. doi:<a href="https://doi.org/10.1093/mnras/stad252">10.1093/mnras/stad252</a>
  apa: Su, K.-Y., Bryan, G. L., Haiman, Z., Somerville, R. S., Hayward, C. C., &#38;
    Faucher-Giguère, C.-A. (2023). Self-regulation of black hole accretion via jets
    in early protogalaxies. <i>Monthly Notices of the Royal Astronomical Society</i>.
    Oxford University Press. <a href="https://doi.org/10.1093/mnras/stad252">https://doi.org/10.1093/mnras/stad252</a>
  chicago: Su, Kung-Yi, Greg L Bryan, Zoltán Haiman, Rachel S Somerville, Christopher
    C Hayward, and Claude-André Faucher-Giguère. “Self-Regulation of Black Hole Accretion
    via Jets in Early Protogalaxies.” <i>Monthly Notices of the Royal Astronomical
    Society</i>. Oxford University Press, 2023. <a href="https://doi.org/10.1093/mnras/stad252">https://doi.org/10.1093/mnras/stad252</a>.
  ieee: K.-Y. Su, G. L. Bryan, Z. Haiman, R. S. Somerville, C. C. Hayward, and C.-A.
    Faucher-Giguère, “Self-regulation of black hole accretion via jets in early protogalaxies,”
    <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 520, no. 3. Oxford
    University Press, pp. 4258–4275, 2023.
  ista: Su K-Y, Bryan GL, Haiman Z, Somerville RS, Hayward CC, Faucher-Giguère C-A.
    2023. Self-regulation of black hole accretion via jets in early protogalaxies.
    Monthly Notices of the Royal Astronomical Society. 520(3), 4258–4275.
  mla: Su, Kung-Yi, et al. “Self-Regulation of Black Hole Accretion via Jets in Early
    Protogalaxies.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol.
    520, no. 3, Oxford University Press, 2023, pp. 4258–75, doi:<a href="https://doi.org/10.1093/mnras/stad252">10.1093/mnras/stad252</a>.
  short: K.-Y. Su, G.L. Bryan, Z. Haiman, R.S. Somerville, C.C. Hayward, C.-A. Faucher-Giguère,
    Monthly Notices of the Royal Astronomical Society 520 (2023) 4258–4275.
date_created: 2024-09-05T09:22:35Z
date_published: 2023-01-27T00:00:00Z
date_updated: 2024-09-11T07:39:21Z
day: '27'
doi: 10.1093/mnras/stad252
extern: '1'
intvolume: '       520'
issue: '3'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stad252
month: '01'
oa: 1
oa_version: Published Version
page: 4258-4275
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: Self-regulation of black hole accretion via jets in early protogalaxies
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 520
year: '2023'
...
---
_id: '17527'
abstract:
- lang: eng
  text: The origin of the recently discovered new class of transients, X-ray quasi-periodic
    eruptions (QPEs), remains a puzzle. Due to their periodicity and association with
    active galactic nuclei (AGNs), it is natural to relate these eruptions to stars
    or compact objects in tight orbits around supermassive black holes (SMBHs). In
    this paper, we predict the properties of emission from bow shocks produced by
    stars crossing AGN discs, and compare them to the observed properties of QPEs.
    We find that when a star’s orbit is retrograde and has a low inclination (≲40°)
    with respect to the AGN disc and the star is massive (≳10 M⊙), the breakout emission
    from the bow shock can explain the observed duration (∼hours) and X-ray luminosity
    (∼few × 1042 erg s−1) of QPEs. This model can further explain various observed
    features of QPEs, such as their complex luminosity evolution, the gradual decline
    of luminosity of the flares over several years, the evolution of the hardness
    ratio, the modulation of the luminosity during quiescent phases, and the preference
    of the central SMBHs to have low masses.
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
citation:
  ama: Tagawa H, Haiman Z. Flares from stars crossing active galactic nucleus discs
    on low-inclination orbits. <i>Monthly Notices of the Royal Astronomical Society</i>.
    2023;526(1):69-79. doi:<a href="https://doi.org/10.1093/mnras/stad2616">10.1093/mnras/stad2616</a>
  apa: Tagawa, H., &#38; Haiman, Z. (2023). Flares from stars crossing active galactic
    nucleus discs on low-inclination orbits. <i>Monthly Notices of the Royal Astronomical
    Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stad2616">https://doi.org/10.1093/mnras/stad2616</a>
  chicago: Tagawa, Hiromichi, and Zoltán Haiman. “Flares from Stars Crossing Active
    Galactic Nucleus Discs on Low-Inclination Orbits.” <i>Monthly Notices of the Royal
    Astronomical Society</i>. Oxford University Press, 2023. <a href="https://doi.org/10.1093/mnras/stad2616">https://doi.org/10.1093/mnras/stad2616</a>.
  ieee: H. Tagawa and Z. Haiman, “Flares from stars crossing active galactic nucleus
    discs on low-inclination orbits,” <i>Monthly Notices of the Royal Astronomical
    Society</i>, vol. 526, no. 1. Oxford University Press, pp. 69–79, 2023.
  ista: Tagawa H, Haiman Z. 2023. Flares from stars crossing active galactic nucleus
    discs on low-inclination orbits. Monthly Notices of the Royal Astronomical Society.
    526(1), 69–79.
  mla: Tagawa, Hiromichi, and Zoltán Haiman. “Flares from Stars Crossing Active Galactic
    Nucleus Discs on Low-Inclination Orbits.” <i>Monthly Notices of the Royal Astronomical
    Society</i>, vol. 526, no. 1, Oxford University Press, 2023, pp. 69–79, doi:<a
    href="https://doi.org/10.1093/mnras/stad2616">10.1093/mnras/stad2616</a>.
  short: H. Tagawa, Z. Haiman, Monthly Notices of the Royal Astronomical Society 526
    (2023) 69–79.
date_created: 2024-09-05T09:30:18Z
date_published: 2023-09-05T00:00:00Z
date_updated: 2024-09-11T08:52:17Z
day: '05'
doi: 10.1093/mnras/stad2616
extern: '1'
intvolume: '       526'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stad2616
month: '09'
oa: 1
oa_version: Published Version
page: 69-79
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: Flares from stars crossing active galactic nucleus discs on low-inclination
  orbits
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 526
year: '2023'
...
---
_id: '17539'
abstract:
- lang: eng
  text: In this paper, we study how gaseous dynamical friction (DF) affects the motion
    of fly-by stellar-mass black holes (sBHs) embedded in active galactic nucleus
    (AGN) discs. We perform three-body integrations of the interaction of two co-planar
    sBHs in nearby, initially circular orbits around the supermassive black hole.
    We find that DF can facilitate the formation of gravitationally bound near-Keplerian
    binaries in AGN discs, and we delineate the discrete ranges of impact parameters
    and AGN disc parameters for which such captures occur. We also report trends in
    the bound binaries’ eccentricity and sense of rotation (prograde or retrograde
    with respect to the background AGN disc) as a function of the impact parameter
    of the initial encounter. While based on an approximate description of gaseous
    friction, our results suggest that binary formation in AGN discs should be common
    and may produce both prograde and retrograde, as well as both circular and eccentric
    binaries.
article_processing_charge: No
article_type: original
author:
- first_name: Stanislav
  full_name: DeLaurentiis, Stanislav
  last_name: DeLaurentiis
- first_name: Marguerite
  full_name: Epstein-Martin, Marguerite
  last_name: Epstein-Martin
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: DeLaurentiis S, Epstein-Martin M, Haiman Z. Gas dynamical friction as a binary
    formation mechanism in AGN discs. <i>Monthly Notices of the Royal Astronomical
    Society</i>. 2023;523(1):1126-1139. doi:<a href="https://doi.org/10.1093/mnras/stad1412">10.1093/mnras/stad1412</a>
  apa: DeLaurentiis, S., Epstein-Martin, M., &#38; Haiman, Z. (2023). Gas dynamical
    friction as a binary formation mechanism in AGN discs. <i>Monthly Notices of the
    Royal Astronomical Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stad1412">https://doi.org/10.1093/mnras/stad1412</a>
  chicago: DeLaurentiis, Stanislav, Marguerite Epstein-Martin, and Zoltán Haiman.
    “Gas Dynamical Friction as a Binary Formation Mechanism in AGN Discs.” <i>Monthly
    Notices of the Royal Astronomical Society</i>. Oxford University Press, 2023.
    <a href="https://doi.org/10.1093/mnras/stad1412">https://doi.org/10.1093/mnras/stad1412</a>.
  ieee: S. DeLaurentiis, M. Epstein-Martin, and Z. Haiman, “Gas dynamical friction
    as a binary formation mechanism in AGN discs,” <i>Monthly Notices of the Royal
    Astronomical Society</i>, vol. 523, no. 1. Oxford University Press, pp. 1126–1139,
    2023.
  ista: DeLaurentiis S, Epstein-Martin M, Haiman Z. 2023. Gas dynamical friction as
    a binary formation mechanism in AGN discs. Monthly Notices of the Royal Astronomical
    Society. 523(1), 1126–1139.
  mla: DeLaurentiis, Stanislav, et al. “Gas Dynamical Friction as a Binary Formation
    Mechanism in AGN Discs.” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 523, no. 1, Oxford University Press, 2023, pp. 1126–39, doi:<a href="https://doi.org/10.1093/mnras/stad1412">10.1093/mnras/stad1412</a>.
  short: S. DeLaurentiis, M. Epstein-Martin, Z. Haiman, Monthly Notices of the Royal
    Astronomical Society 523 (2023) 1126–1139.
date_created: 2024-09-05T09:53:03Z
date_published: 2023-05-10T00:00:00Z
date_updated: 2024-09-12T09:46:18Z
day: '10'
doi: 10.1093/mnras/stad1412
extern: '1'
intvolume: '       523'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stad1412
month: '05'
oa: 1
oa_version: Published Version
page: 1126-1139
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: Gas dynamical friction as a binary formation mechanism in AGN discs
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 523
year: '2023'
...
---
_id: '17548'
abstract:
- lang: eng
  text: The shrinking of a binary orbit driven by the interaction with a gaseous circumbinary
    disc, initially advocated as a potential way to catalyse the binary merger, has
    recently been debated in the case of geometrically thick (i.e. with H/R ≳ 0.1)
    discs. However, a clear consensus is still missing mainly owing to numerical limitations,
    such as fixed orbit binaries or lack of resolution inside the cavity carved by
    the binary in its circumbinary disc. In this work, we assess the importance of
    evolving the binary orbit by means of hydrodynamic simulations performed with
    the code gizmo in meshless finite mass mode. In order to model the interaction
    between equal mass circular binaries and their locally isothermal circumbinary
    discs, we enforce hyper-Lagrangian resolution inside the cavity. We find that
    fixing the binary orbit ultimately leads to an overestimate of the gravitational
    torque that the gas exerts on the binary and an underestimate of the torque due
    to the accretion of material on to the binary components. Furthermore, we find
    that the modulation of the accretion rate on the binary orbital period is strongly
    suppressed in the fixed orbit simulation, while it is clearly present in the live
    binary simulations. This has potential implications for the prediction of the
    observable periodicities in massive black hole binary candidates.
article_processing_charge: No
article_type: original
author:
- first_name: Alessia
  full_name: Franchini, Alessia
  last_name: Franchini
- first_name: Alessandro
  full_name: Lupi, Alessandro
  last_name: Lupi
- first_name: Alberto
  full_name: Sesana, Alberto
  last_name: Sesana
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
citation:
  ama: Franchini A, Lupi A, Sesana A, Haiman Z. The importance of live binary evolution
    in numerical simulations of binaries embedded in circumbinary discs. <i>Monthly
    Notices of the Royal Astronomical Society</i>. 2023;522(1):1569-1574. doi:<a href="https://doi.org/10.1093/mnras/stad1070">10.1093/mnras/stad1070</a>
  apa: Franchini, A., Lupi, A., Sesana, A., &#38; Haiman, Z. (2023). The importance
    of live binary evolution in numerical simulations of binaries embedded in circumbinary
    discs. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University
    Press. <a href="https://doi.org/10.1093/mnras/stad1070">https://doi.org/10.1093/mnras/stad1070</a>
  chicago: Franchini, Alessia, Alessandro Lupi, Alberto Sesana, and Zoltán Haiman.
    “The Importance of Live Binary Evolution in Numerical Simulations of Binaries
    Embedded in Circumbinary Discs.” <i>Monthly Notices of the Royal Astronomical
    Society</i>. Oxford University Press, 2023. <a href="https://doi.org/10.1093/mnras/stad1070">https://doi.org/10.1093/mnras/stad1070</a>.
  ieee: A. Franchini, A. Lupi, A. Sesana, and Z. Haiman, “The importance of live binary
    evolution in numerical simulations of binaries embedded in circumbinary discs,”
    <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 522, no. 1. Oxford
    University Press, pp. 1569–1574, 2023.
  ista: Franchini A, Lupi A, Sesana A, Haiman Z. 2023. The importance of live binary
    evolution in numerical simulations of binaries embedded in circumbinary discs.
    Monthly Notices of the Royal Astronomical Society. 522(1), 1569–1574.
  mla: Franchini, Alessia, et al. “The Importance of Live Binary Evolution in Numerical
    Simulations of Binaries Embedded in Circumbinary Discs.” <i>Monthly Notices of
    the Royal Astronomical Society</i>, vol. 522, no. 1, Oxford University Press,
    2023, pp. 1569–74, doi:<a href="https://doi.org/10.1093/mnras/stad1070">10.1093/mnras/stad1070</a>.
  short: A. Franchini, A. Lupi, A. Sesana, Z. Haiman, Monthly Notices of the Royal
    Astronomical Society 522 (2023) 1569–1574.
date_created: 2024-09-05T10:08:46Z
date_published: 2023-04-12T00:00:00Z
date_updated: 2024-09-18T09:30:21Z
day: '12'
doi: 10.1093/mnras/stad1070
extern: '1'
intvolume: '       522'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stad1070
month: '04'
oa: 1
oa_version: Published Version
page: 1569-1574
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 importance of live binary evolution in numerical simulations of binaries
  embedded in circumbinary discs
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 522
year: '2023'
...
---
_id: '17549'
abstract:
- lang: eng
  text: Studies of rest-frame optical emission in quasars at z>6 have historically
    been limited by the wavelengths accessible by ground-based telescopes. The James
    Webb Space Telescope (JWST) now offers the opportunity to probe this emission
    deep into the reionization epoch. We report the observations of eight quasars
    at z>6.5 using the JWST/NIRCam Wide Field Slitless Spectroscopy, as a part of
    the ''A SPectroscopic survey of biased halos In the Reionization Era (ASPIRE)"
    program. Our JWST spectra cover the quasars' emission between rest frame ∼ 4100
    and 5100 Å. The profiles of these quasars' broad Hβ emission lines span a FWHM
    from 3000 to 6000 km s−1. The Hβ-based virial black hole (BH) masses, ranging
    from 0.6 to 2.1 billion solar masses, are generally consistent with their MgII-based
    BH masses. The new measurements based on the more reliable Hβ tracer thus confirm
    the existence of billion solar-mass BHs in the reionization epoch. In the observed
    [OIII] λλ4960,5008 doublets of these luminous quasars, broad components are more
    common than narrow core components (≤ 1200 km s−1), and only one quasar shows
    stronger narrow components than broad. Two quasars exhibit significantly broad
    and blueshifted [OIII] emission, thought to trace galactic-scale outflows, with
    median velocities of −610 km s−1 and −1430 km s−1 relative to the [CII] 158μm
    line. All eight quasars show strong optical FeII emission, and follow the Eigenvector
    1 relations defined by low-redshift quasars. The entire ASPIRE program will eventually
    cover 25 quasars and provide a statistical sample for the studies of the BHs and
    quasar spectral properties.
article_number: L5
article_processing_charge: No
article_type: original
author:
- first_name: Jinyi
  full_name: Yang, Jinyi
  last_name: Yang
- first_name: Feige
  full_name: Wang, Feige
  last_name: Wang
- first_name: Xiaohui
  full_name: Fan, Xiaohui
  last_name: Fan
- first_name: Joseph F.
  full_name: Hennawi, Joseph F.
  last_name: Hennawi
- first_name: Aaron J.
  full_name: Barth, Aaron J.
  last_name: Barth
- first_name: Eduardo
  full_name: Bañados, Eduardo
  last_name: Bañados
- first_name: Fengwu
  full_name: Sun, Fengwu
  last_name: Sun
- first_name: Weizhe
  full_name: Liu, Weizhe
  last_name: Liu
- first_name: Zheng
  full_name: Cai, Zheng
  last_name: Cai
- first_name: Linhua
  full_name: Jiang, Linhua
  last_name: Jiang
- first_name: Zihao
  full_name: Li, Zihao
  last_name: Li
- first_name: Masafusa
  full_name: Onoue, Masafusa
  last_name: Onoue
- first_name: Jan-Torge
  full_name: Schindler, Jan-Torge
  last_name: Schindler
- first_name: Yue
  full_name: Shen, Yue
  last_name: Shen
- first_name: Yunjing
  full_name: Wu, Yunjing
  last_name: Wu
- first_name: Aklant K.
  full_name: Bhowmick, Aklant K.
  last_name: Bhowmick
- first_name: Rebekka
  full_name: Bieri, Rebekka
  last_name: Bieri
- first_name: Laura
  full_name: Blecha, Laura
  last_name: Blecha
- first_name: Sarah
  full_name: Bosman, Sarah
  last_name: Bosman
- first_name: Jaclyn B.
  full_name: Champagne, Jaclyn B.
  last_name: Champagne
- first_name: Luis
  full_name: Colina, Luis
  last_name: Colina
- first_name: Thomas
  full_name: Connor, Thomas
  last_name: Connor
- first_name: Tiago
  full_name: Costa, Tiago
  last_name: Costa
- first_name: Frederick B.
  full_name: Davies, Frederick B.
  last_name: Davies
- first_name: Roberto
  full_name: Decarli, Roberto
  last_name: Decarli
- first_name: Gisella
  full_name: De Rosa, Gisella
  last_name: De Rosa
- first_name: Alyssa B.
  full_name: Drake, Alyssa B.
  last_name: Drake
- first_name: Eiichi
  full_name: Egami, Eiichi
  last_name: Egami
- first_name: Anna-Christina
  full_name: Eilers, Anna-Christina
  last_name: Eilers
- first_name: Analis E.
  full_name: Evans, Analis E.
  last_name: Evans
- first_name: Emanuele Paolo
  full_name: Farina, Emanuele Paolo
  last_name: Farina
- first_name: Melanie
  full_name: Habouzit, Melanie
  last_name: Habouzit
- first_name: Zoltán
  full_name: Haiman, Zoltán
  id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36
  last_name: Haiman
- first_name: Xiangyu
  full_name: Jin, Xiangyu
  last_name: Jin
- first_name: Hyunsung D.
  full_name: Jun, Hyunsung D.
  last_name: Jun
- first_name: Koki
  full_name: Kakiichi, Koki
  last_name: Kakiichi
- first_name: Yana
  full_name: Khusanova, Yana
  last_name: Khusanova
- first_name: Girish
  full_name: Kulkarni, Girish
  last_name: Kulkarni
- first_name: Federica
  full_name: Loiacono, Federica
  last_name: Loiacono
- first_name: Alessandro
  full_name: Lupi, Alessandro
  last_name: Lupi
- first_name: Chiara
  full_name: Mazzucchelli, Chiara
  last_name: Mazzucchelli
- first_name: Zhiwei
  full_name: Pan, Zhiwei
  last_name: Pan
- first_name: Sofía
  full_name: Rojas-Ruiz, Sofía
  last_name: Rojas-Ruiz
- first_name: Michael A.
  full_name: Strauss, Michael A.
  last_name: Strauss
- first_name: Wei Leong
  full_name: Tee, Wei Leong
  last_name: Tee
- first_name: Benny
  full_name: Trakhtenbrot, Benny
  last_name: Trakhtenbrot
- first_name: Maxime
  full_name: Trebitsch, Maxime
  last_name: Trebitsch
- first_name: Bram
  full_name: Venemans, Bram
  last_name: Venemans
- first_name: Marianne
  full_name: Vestergaard, Marianne
  last_name: Vestergaard
- first_name: Marta
  full_name: Volonteri, Marta
  last_name: Volonteri
- first_name: Fabian
  full_name: Walter, Fabian
  last_name: Walter
- first_name: Zhang-Liang
  full_name: Xie, Zhang-Liang
  last_name: Xie
- first_name: Minghao
  full_name: Yue, Minghao
  last_name: Yue
- first_name: Haowen
  full_name: Zhang, Haowen
  last_name: Zhang
- first_name: Huanian
  full_name: Zhang, Huanian
  last_name: Zhang
- first_name: Siwei
  full_name: Zou, Siwei
  last_name: Zou
citation:
  ama: 'Yang J, Wang F, Fan X, et al. A SPectroscopic survey of biased halos in the
    reionization Era (ASPIRE): A first look at the rest-frame optical spectra of &#62;
    6.5 quasars using JWST. <i>The Astrophysical Journal Letters</i>. 2023;951(1).
    doi:<a href="https://doi.org/10.3847/2041-8213/acc9c8">10.3847/2041-8213/acc9c8</a>'
  apa: 'Yang, J., Wang, F., Fan, X., Hennawi, J. F., Barth, A. J., Bañados, E., …
    Zou, S. (2023). A SPectroscopic survey of biased halos in the reionization Era
    (ASPIRE): A first look at the rest-frame optical spectra of &#62; 6.5 quasars
    using JWST. <i>The Astrophysical Journal Letters</i>. American Astronomical Society.
    <a href="https://doi.org/10.3847/2041-8213/acc9c8">https://doi.org/10.3847/2041-8213/acc9c8</a>'
  chicago: 'Yang, Jinyi, Feige Wang, Xiaohui Fan, Joseph F. Hennawi, Aaron J. Barth,
    Eduardo Bañados, Fengwu Sun, et al. “A SPectroscopic Survey of Biased Halos in
    the Reionization Era (ASPIRE): A First Look at the Rest-Frame Optical Spectra
    of &#62; 6.5 Quasars Using JWST.” <i>The Astrophysical Journal Letters</i>. American
    Astronomical Society, 2023. <a href="https://doi.org/10.3847/2041-8213/acc9c8">https://doi.org/10.3847/2041-8213/acc9c8</a>.'
  ieee: 'J. Yang <i>et al.</i>, “A SPectroscopic survey of biased halos in the reionization
    Era (ASPIRE): A first look at the rest-frame optical spectra of &#62; 6.5 quasars
    using JWST,” <i>The Astrophysical Journal Letters</i>, vol. 951, no. 1. American
    Astronomical Society, 2023.'
  ista: 'Yang J, Wang F, Fan X, Hennawi JF, Barth AJ, Bañados E, Sun F, Liu W, Cai
    Z, Jiang L, Li Z, Onoue M, Schindler J-T, Shen Y, Wu Y, Bhowmick AK, Bieri R,
    Blecha L, Bosman S, Champagne JB, Colina L, Connor T, Costa T, Davies FB, Decarli
    R, De Rosa G, Drake AB, Egami E, Eilers A-C, Evans AE, Farina EP, Habouzit M,
    Haiman Z, Jin X, Jun HD, Kakiichi K, Khusanova Y, Kulkarni G, Loiacono F, Lupi
    A, Mazzucchelli C, Pan Z, Rojas-Ruiz S, Strauss MA, Tee WL, Trakhtenbrot B, Trebitsch
    M, Venemans B, Vestergaard M, Volonteri M, Walter F, Xie Z-L, Yue M, Zhang H,
    Zhang H, Zou S. 2023. A SPectroscopic survey of biased halos in the reionization
    Era (ASPIRE): A first look at the rest-frame optical spectra of &#62; 6.5 quasars
    using JWST. The Astrophysical Journal Letters. 951(1), L5.'
  mla: 'Yang, Jinyi, et al. “A SPectroscopic Survey of Biased Halos in the Reionization
    Era (ASPIRE): A First Look at the Rest-Frame Optical Spectra of &#62; 6.5 Quasars
    Using JWST.” <i>The Astrophysical Journal Letters</i>, vol. 951, no. 1, L5, American
    Astronomical Society, 2023, doi:<a href="https://doi.org/10.3847/2041-8213/acc9c8">10.3847/2041-8213/acc9c8</a>.'
  short: J. Yang, F. Wang, X. Fan, J.F. Hennawi, A.J. Barth, E. Bañados, F. Sun, W.
    Liu, Z. Cai, L. Jiang, Z. Li, M. Onoue, J.-T. Schindler, Y. Shen, Y. Wu, A.K.
    Bhowmick, R. Bieri, L. Blecha, S. Bosman, J.B. Champagne, L. Colina, T. Connor,
    T. Costa, F.B. Davies, R. Decarli, G. De Rosa, A.B. Drake, E. Egami, A.-C. Eilers,
    A.E. Evans, E.P. Farina, M. Habouzit, Z. Haiman, X. Jin, H.D. Jun, K. Kakiichi,
    Y. Khusanova, G. Kulkarni, F. Loiacono, A. Lupi, C. Mazzucchelli, Z. Pan, S. Rojas-Ruiz,
    M.A. Strauss, W.L. Tee, B. Trakhtenbrot, M. Trebitsch, B. Venemans, M. Vestergaard,
    M. Volonteri, F. Walter, Z.-L. Xie, M. Yue, H. Zhang, H. Zhang, S. Zou, The Astrophysical
    Journal Letters 951 (2023).
date_created: 2024-09-05T10:11:02Z
date_published: 2023-06-29T00:00:00Z
date_updated: 2024-09-18T09:53:12Z
day: '29'
doi: 10.3847/2041-8213/acc9c8
extern: '1'
intvolume: '       951'
issue: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.3847/2041-8213/acc9c8
month: '06'
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: 'A SPectroscopic survey of biased halos in the reionization Era (ASPIRE): A
  first look at the rest-frame optical spectra of > 6.5 quasars using JWST'
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 951
year: '2023'
...
---
_id: '17551'
abstract:
- lang: eng
  text: We present cosmological constraints from the Subaru Hyper Suprime-Cam (HSC)
    first-year weak lensing shear catalogue using convolutional neural networks (CNNs)
    and conventional summary statistics. We crop 19 3×3deg2 sub-fields from the first-year
    area, divide the galaxies with redshift 0.3≤z≤1.5 into four equally-spaced redshift
    bins, and perform tomographic analyses. We develop a pipeline to generate simulated
    convergence maps from cosmological N-body simulations, where we account for effects
    such as intrinsic alignments (IAs), baryons, photometric redshift errors, and
    point spread function errors, to match characteristics of the real catalogue.
    We train CNNs that can predict the underlying parameters from the simulated maps,
    and we use them to construct likelihood functions for Bayesian analyses. In the
    Λ cold dark matter model with two free cosmological parameters Ωm and σ8, we find
    Ωm=0.278+0.037−0.035, S8≡(Ωm/0.3)0.5σ8=0.793+0.017−0.018, and the IA amplitude
    AIA=0.20+0.55−0.58. In a model with four additional free baryonic parameters,
    we find Ωm=0.268+0.040−0.036, S8=0.819+0.034−0.024, and AIA=−0.16+0.59−0.58, with
    the baryonic parameters not being well-constrained. We also find that statistical
    uncertainties of the parameters by the CNNs are smaller than those from the power
    spectrum (5--24 percent smaller for S8 and a factor of 2.5--3.0 smaller for Ωm),
    showing the effectiveness of CNNs for uncovering additional cosmological information
    from the HSC data. With baryons, the S8 discrepancy between HSC first-year data
    and Planck 2018 is reduced from ∼2.2σ to 0.3--0.5σ.
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
- first_name: Xiangchong
  full_name: Li, Xiangchong
  last_name: Li
citation:
  ama: Lu T, Haiman Z, Li X. Cosmological constraints from HSC survey first-year data
    using deep learning. <i>Monthly Notices of the Royal Astronomical Society</i>.
    2023;521(2):2050-2066. doi:<a href="https://doi.org/10.1093/mnras/stad686">10.1093/mnras/stad686</a>
  apa: Lu, T., Haiman, Z., &#38; Li, X. (2023). Cosmological constraints from HSC
    survey first-year data using deep learning. <i>Monthly Notices of the Royal Astronomical
    Society</i>. Oxford University Press. <a href="https://doi.org/10.1093/mnras/stad686">https://doi.org/10.1093/mnras/stad686</a>
  chicago: Lu, Tianhuan, Zoltán Haiman, and Xiangchong Li. “Cosmological Constraints
    from HSC Survey First-Year Data Using Deep Learning.” <i>Monthly Notices of the
    Royal Astronomical Society</i>. Oxford University Press, 2023. <a href="https://doi.org/10.1093/mnras/stad686">https://doi.org/10.1093/mnras/stad686</a>.
  ieee: T. Lu, Z. Haiman, and X. Li, “Cosmological constraints from HSC survey first-year
    data using deep learning,” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 521, no. 2. Oxford University Press, pp. 2050–2066, 2023.
  ista: Lu T, Haiman Z, Li X. 2023. Cosmological constraints from HSC survey first-year
    data using deep learning. Monthly Notices of the Royal Astronomical Society. 521(2),
    2050–2066.
  mla: Lu, Tianhuan, et al. “Cosmological Constraints from HSC Survey First-Year Data
    Using Deep Learning.” <i>Monthly Notices of the Royal Astronomical Society</i>,
    vol. 521, no. 2, Oxford University Press, 2023, pp. 2050–66, doi:<a href="https://doi.org/10.1093/mnras/stad686">10.1093/mnras/stad686</a>.
  short: T. Lu, Z. Haiman, X. Li, Monthly Notices of the Royal Astronomical Society
    521 (2023) 2050–2066.
date_created: 2024-09-05T10:14:34Z
date_published: 2023-03-06T00:00:00Z
date_updated: 2024-09-18T10:09:01Z
day: '06'
doi: 10.1093/mnras/stad686
extern: '1'
intvolume: '       521'
issue: '2'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1093/mnras/stad686
month: '03'
oa: 1
oa_version: Published Version
page: 2050-2066
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: Cosmological constraints from HSC survey first-year data using deep learning
type: journal_article
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
volume: 521
year: '2023'
...
