[{"author":[{"last_name":"Cipolloni","first_name":"Giorgio","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","full_name":"Cipolloni, Giorgio","orcid":"0000-0002-4901-7992"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","first_name":"László","last_name":"Erdös","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"},{"last_name":"Schröder","first_name":"Dominik J","id":"408ED176-F248-11E8-B48F-1D18A9856A87","full_name":"Schröder, Dominik J","orcid":"0000-0002-2904-1856"}],"type":"journal_article","citation":{"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>.","short":"G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.","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.","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>","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>","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>.","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."},"department":[{"_id":"LaEr"}],"volume":76,"status":"public","date_published":"2023-05-01T00:00:00Z","article_processing_charge":"Yes (via OA deal)","oa_version":"Published Version","day":"01","month":"05","tmp":{"short":"CC BY-NC-ND (4.0)","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)","image":"/images/cc_by_nc_nd.png"},"scopus_import":"1","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 freefield.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.","issue":"5","intvolume":"        76","publication_identifier":{"issn":["0010-3640"],"eissn":["1097-0312"]},"title":"Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices","external_id":{"arxiv":["1912.04100"],"isi":["000724652500001"]},"project":[{"grant_number":"338804","call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","_id":"258DCDE6-B435-11E9-9278-68D0E5697425"},{"grant_number":"665385","call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"page":"946-1034","file":[{"content_type":"application/pdf","file_id":"14388","relation":"main_file","creator":"dernst","file_size":803440,"date_created":"2023-10-04T09:21:48Z","date_updated":"2023-10-04T09:21:48Z","checksum":"8346bc2642afb4ccb7f38979f41df5d9","file_name":"2023_CommPureMathematics_Cipolloni.pdf","access_level":"open_access","success":1}],"corr_author":"1","date_updated":"2025-03-31T16:00:54Z","publication":"Communications on Pure and Applied Mathematics","language":[{"iso":"eng"}],"publisher":"Wiley","quality_controlled":"1","ddc":["510"],"arxiv":1,"publication_status":"published","abstract":[{"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]. ","lang":"eng"}],"file_date_updated":"2023-10-04T09:21:48Z","isi":1,"article_type":"original","year":"2023","ec_funded":1,"_id":"10405","date_created":"2021-12-05T23:01:41Z","has_accepted_license":"1","doi":"10.1002/cpa.22028","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1},{"volume":33,"author":[{"last_name":"Fellner","first_name":"Klemens","full_name":"Fellner, Klemens"},{"last_name":"Fischer","first_name":"Julian L","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L","orcid":"0000-0002-0479-558X"},{"first_name":"Michael","id":"2CA2C08C-F248-11E8-B48F-1D18A9856A87","last_name":"Kniely","orcid":"0000-0001-5645-4333","full_name":"Kniely, Michael"},{"full_name":"Tang, Bao Quoc","first_name":"Bao Quoc","last_name":"Tang"}],"type":"journal_article","citation":{"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>","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.","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>.","short":"K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023).","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.","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>.","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>"},"department":[{"_id":"JuFi"}],"day":"07","month":"06","status":"public","date_published":"2023-06-07T00:00:00Z","article_processing_charge":"No","oa_version":"Published Version","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"scopus_import":"1","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.","external_id":{"isi":["001002343400002"],"arxiv":["2109.12019"]},"intvolume":"        33","title":"Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion","publication_identifier":{"issn":["0938-8974"],"eissn":["1432-1467"]},"publication":"Journal of Nonlinear Science","language":[{"iso":"eng"}],"publisher":"Springer Nature","file":[{"relation":"main_file","content_type":"application/pdf","file_id":"13149","creator":"dernst","date_created":"2023-06-19T07:33:53Z","file_size":742315,"checksum":"f3f0f0886098e31c81116cff8183750b","file_name":"2023_JourNonlinearScience_Fellner.pdf","access_level":"open_access","success":1,"date_updated":"2023-06-19T07:33:53Z"}],"date_updated":"2023-08-01T14:40:33Z","article_number":"66","abstract":[{"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.","lang":"eng"}],"publication_status":"published","isi":1,"file_date_updated":"2023-06-19T07:33:53Z","ddc":["510"],"quality_controlled":"1","arxiv":1,"_id":"10550","article_type":"original","year":"2023","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"has_accepted_license":"1","date_created":"2021-12-16T12:15:35Z","doi":"10.1007/s00332-023-09926-w"},{"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).","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"scopus_import":"1","issue":"5","publication_identifier":{"eissn":["1432-0673"],"issn":["0003-9527"]},"title":"The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles","intvolume":"       247","external_id":{"arxiv":["2109.06500"],"pmid":["37547904"],"isi":["001043086800001"]},"project":[{"call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"},{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504"}],"citation":{"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>.","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.","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>","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.","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>","short":"F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).","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>."},"department":[{"_id":"JuFi"}],"author":[{"full_name":"Cornalba, Federico","orcid":"0000-0002-6269-5149","last_name":"Cornalba","id":"2CEB641C-A400-11E9-A717-D712E6697425","first_name":"Federico"},{"full_name":"Fischer, Julian L","orcid":"0000-0002-0479-558X","last_name":"Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","first_name":"Julian L"}],"type":"journal_article","volume":247,"oa_version":"Published Version","status":"public","date_published":"2023-08-04T00:00:00Z","article_processing_charge":"Yes (via OA deal)","day":"04","month":"08","year":"2023","pmid":1,"article_type":"original","ec_funded":1,"_id":"10551","doi":"10.1007/s00205-023-01903-7","date_created":"2021-12-16T12:16:03Z","has_accepted_license":"1","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"access_level":"open_access","success":1,"file_name":"2023_ArchiveRationalMech_Cornalba.pdf","checksum":"4529eeff170b6745a461d397ee611b5a","date_updated":"2024-01-30T12:09:34Z","date_created":"2024-01-30T12:09:34Z","file_size":1851185,"creator":"dernst","relation":"main_file","file_id":"14904","content_type":"application/pdf"}],"date_updated":"2025-04-23T13:06:01Z","corr_author":"1","language":[{"iso":"eng"}],"publisher":"Springer Nature","publication":"Archive for Rational Mechanics and Analysis","arxiv":1,"ddc":["510"],"quality_controlled":"1","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."}],"publication_status":"published","isi":1,"file_date_updated":"2024-01-30T12:09:34Z","article_number":"76"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"date_created":"2022-02-20T23:01:32Z","has_accepted_license":"1","doi":"10.1007/s13235-022-00425-3","ec_funded":1,"_id":"10770","article_type":"original","year":"2023","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."}],"publication_status":"published","isi":1,"file_date_updated":"2022-02-21T08:54:17Z","quality_controlled":"1","ddc":["000"],"publication":"Dynamic Games and Applications","language":[{"iso":"eng"}],"publisher":"Springer Nature","file":[{"file_id":"10781","content_type":"application/pdf","relation":"main_file","date_created":"2022-02-21T08:54:17Z","file_size":1890512,"creator":"dernst","date_updated":"2022-02-21T08:54:17Z","access_level":"open_access","success":1,"file_name":"2022_DynamicGamesApplic_Graham.pdf","checksum":"cd53b07e96f9030ddb348f305e5b58c7"}],"date_updated":"2025-04-14T07:43:48Z","external_id":{"isi":["000753777100001"]},"project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"page":"231-264","intvolume":"        13","title":"Where do mistakes lead? A survey of games with incompetent players","publication_identifier":{"eissn":["2153-0793"],"issn":["2153-0785"]},"tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"scopus_import":"1","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.","day":"01","month":"03","date_published":"2023-03-01T00:00:00Z","status":"public","article_processing_charge":"No","oa_version":"Published Version","volume":13,"author":[{"full_name":"Graham, Thomas","last_name":"Graham","first_name":"Thomas"},{"full_name":"Kleshnina, Maria","last_name":"Kleshnina","id":"4E21749C-F248-11E8-B48F-1D18A9856A87","first_name":"Maria"},{"full_name":"Filar, Jerzy A.","last_name":"Filar","first_name":"Jerzy A."}],"type":"journal_article","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>","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.","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>.","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>.","short":"T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.","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>","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."},"department":[{"_id":"KrCh"}]},{"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.","scopus_import":"1","title":"Highly irregular separated nets","publication_identifier":{"eissn":["1565-8511"]},"intvolume":"       253","page":"501-554","external_id":{"arxiv":["1903.05923"],"isi":["000904950300003"]},"department":[{"_id":"UlWa"}],"citation":{"short":"M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.","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>.","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>","ista":"Dymond M, Kaluza V. 2023. Highly irregular separated nets. Israel Journal of Mathematics. 253, 501–554.","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>","ieee":"M. Dymond and V. Kaluza, “Highly irregular separated nets,” <i>Israel Journal of Mathematics</i>, vol. 253. Springer Nature, pp. 501–554, 2023.","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>."},"type":"journal_article","author":[{"last_name":"Dymond","first_name":"Michael","full_name":"Dymond, Michael"},{"last_name":"Kaluza","first_name":"Vojtech","id":"21AE5134-9EAC-11EA-BEA2-D7BD3DDC885E","full_name":"Kaluza, Vojtech","orcid":"0000-0002-2512-8698"}],"volume":253,"oa_version":"Submitted Version","article_processing_charge":"No","status":"public","date_published":"2023-03-01T00:00:00Z","month":"03","day":"01","year":"2023","keyword":["Lipschitz","bilipschitz","bounded displacement","modulus of continuity","separated net","non-realisable density","Burago--Kleiner construction"],"article_type":"original","_id":"9652","doi":"10.1007/s11856-022-2448-6","date_created":"2021-07-14T07:01:28Z","has_accepted_license":"1","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-08-14T11:26:34Z","file":[{"file_id":"9653","content_type":"application/pdf","relation":"main_file","date_created":"2021-07-14T07:41:50Z","file_size":900422,"creator":"vkaluza","date_updated":"2021-07-14T07:41:50Z","access_level":"open_access","checksum":"6fa0a3207dd1d6467c309fd1bcc867d1","file_name":"separated_nets.pdf"}],"publisher":"Springer Nature","language":[{"iso":"eng"}],"publication":"Israel Journal of Mathematics","arxiv":1,"ddc":["515","516"],"quality_controlled":"1","file_date_updated":"2021-07-14T07:41:50Z","isi":1,"publication_status":"published","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."}]},{"month":"08","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."}],"related_material":{"record":[{"id":"20040","relation":"later_version","status":"public"},{"status":"public","relation":"dissertation_contains","id":"17336"}]},"day":"02","publication_status":"draft","article_number":"2308.00516","arxiv":1,"oa_version":"Preprint","article_processing_charge":"No","date_published":"2023-08-02T00:00:00Z","status":"public","language":[{"iso":"eng"}],"publication":"arXiv","department":[{"_id":"JaMa"}],"citation":{"ista":"Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov chains. arXiv, 2308.00516.","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>.","short":"F. Pedrotti, ArXiv (n.d.).","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>.","ieee":"F. Pedrotti, “Contractive coupling rates and curvature lower bounds for Markov chains,” <i>arXiv</i>. .","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>"},"date_updated":"2026-04-07T13:00:02Z","author":[{"id":"d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c","first_name":"Francesco","last_name":"Pedrotti","full_name":"Pedrotti, Francesco"}],"corr_author":"1","type":"preprint","OA_place":"repository","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"arxiv":["2308.00516"]},"doi":"10.48550/arXiv.2308.00516","title":"Contractive coupling rates and curvature lower bounds for Markov chains","date_created":"2024-07-31T08:02:16Z","_id":"17351","year":"2023","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2308.00516","open_access":"1"}]},{"day":"04","month":"10","oa_version":"Published Version","status":"public","date_published":"2023-10-04T00:00:00Z","article_processing_charge":"Yes","alternative_title":["De Gruyter STEM"],"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>","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.","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>.","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>.","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.","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>","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, ."},"editor":[{"last_name":"Dörfler","first_name":"Kathrin","full_name":"Dörfler, Kathrin"},{"full_name":"Knippers, Jan","last_name":"Knippers","first_name":"Jan"},{"full_name":"Menges, Achim","last_name":"Menges","first_name":"Achim"},{"full_name":"Parascho, Stefana","last_name":"Parascho","first_name":"Stefana"},{"last_name":"Pottmann","first_name":"Helmut","full_name":"Pottmann, Helmut"},{"last_name":"Wortmann","first_name":"Thomas","full_name":"Wortmann, Thomas"}],"author":[{"full_name":"Suzuki, Seiichi","first_name":"Seiichi","last_name":"Suzuki"},{"first_name":"Alison","last_name":"Martin","full_name":"Martin, Alison"},{"full_name":"Ren, Yingying","last_name":"Ren","id":"93d68d10-3540-11ef-a265-f748a50dba3d","first_name":"Yingying"},{"last_name":"Chen","first_name":"Tzu-Ying","full_name":"Chen, Tzu-Ying"},{"full_name":"Parascho, Stefana","first_name":"Stefana","last_name":"Parascho"},{"full_name":"Pauly, Mark","first_name":"Mark","last_name":"Pauly"}],"type":"book_chapter","extern":"1","title":"BamX: Rethinking Deployability in Architecture through Weaving","publication_identifier":{"eisbn":["9783111162683"],"isbn":["9783111160115"]},"tmp":{"short":"CC BY-NC-ND (4.0)","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)","image":"/images/cc_by_nc_nd.png"},"scopus_import":"1","publication_status":"published","abstract":[{"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.","lang":"eng"}],"file_date_updated":"2024-08-12T09:52:12Z","ddc":["510"],"quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"De Gruyter","publication":"Advances in Architectural Geometry 2023","file":[{"access_level":"open_access","success":1,"file_name":"2023_ArchGeometry_Suzuki.pdf","checksum":"bf97dbf1794277f18711adef81b2e218","date_updated":"2024-08-12T09:52:12Z","date_created":"2024-08-12T09:52:12Z","file_size":775573,"creator":"dernst","relation":"main_file","file_id":"17421","content_type":"application/pdf"}],"date_updated":"2024-08-12T09:54:02Z","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1515/9783111162683-016","has_accepted_license":"1","date_created":"2024-08-05T06:28:57Z","_id":"17380","year":"2023"},{"intvolume":"         7","title":"Melocoton: A program logic for verified interoperability between OCaml and C","publication_identifier":{"issn":["2475-1421"]},"extern":"1","page":"716-744","scopus_import":"1","issue":"OOPSLA2","article_processing_charge":"No","status":"public","date_published":"2023-10-16T00:00:00Z","oa_version":"Published Version","month":"10","day":"16","type":"journal_article","author":[{"full_name":"Guéneau, Armaël","last_name":"Guéneau","first_name":"Armaël"},{"full_name":"Hostert, Johannes","last_name":"Hostert","first_name":"Johannes"},{"last_name":"Spies","first_name":"Simon","full_name":"Spies, Simon"},{"id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim","last_name":"Sammler","full_name":"Sammler, Michael Joachim"},{"last_name":"Birkedal","first_name":"Lars","full_name":"Birkedal, Lars"},{"full_name":"Dreyer, Derek","first_name":"Derek","last_name":"Dreyer"}],"citation":{"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.","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>.","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.","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>.","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.","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>"},"volume":7,"date_created":"2024-09-05T08:17:10Z","doi":"10.1145/3622823","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3622823"}],"article_type":"original","year":"2023","_id":"17498","quality_controlled":"1","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."}],"publication_status":"published","date_updated":"2024-09-10T09:04:24Z","publication":"Proceedings of the ACM on Programming Languages","publisher":"Association for Computing Machinery","language":[{"iso":"eng"}]},{"year":"2023","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3571232"}],"article_type":"original","_id":"17499","doi":"10.1145/3571232","date_created":"2024-09-05T08:21:51Z","oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2024-09-10T09:03:17Z","publisher":"Association for Computing Machinery","language":[{"iso":"eng"}],"publication":"Proceedings of the ACM on Programming Languages","quality_controlled":"1","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."}],"publication_status":"published","scopus_import":"1","issue":"POPL","title":"Conditional contextual refinement","publication_identifier":{"issn":["2475-1421"]},"intvolume":"         7","page":"1121-1151","extern":"1","citation":{"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>.","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.","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>","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.","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>.","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."},"author":[{"full_name":"Song, Youngju","first_name":"Youngju","last_name":"Song"},{"last_name":"Cho","first_name":"Minki","full_name":"Cho, Minki"},{"full_name":"Lee, Dongjae","last_name":"Lee","first_name":"Dongjae"},{"first_name":"Chung-Kil","last_name":"Hur","full_name":"Hur, Chung-Kil"},{"full_name":"Sammler, Michael Joachim","first_name":"Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler"},{"full_name":"Dreyer, Derek","first_name":"Derek","last_name":"Dreyer"}],"type":"journal_article","volume":7,"oa_version":"Published Version","article_processing_charge":"No","status":"public","date_published":"2023-01-11T00:00:00Z","month":"01","day":"11"},{"publication_identifier":{"issn":["2475-1421"]},"title":"DimSum: A decentralized approach to multi-language semantics and verification","intvolume":"         7","page":"775-805","extern":"1","scopus_import":"1","issue":"POPL","oa_version":"Published Version","date_published":"2023-01-11T00:00:00Z","status":"public","article_processing_charge":"No","day":"11","month":"01","citation":{"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>.","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.","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.","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>","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>","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>.","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."},"type":"journal_article","author":[{"last_name":"Sammler","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim","full_name":"Sammler, Michael Joachim"},{"first_name":"Simon","last_name":"Spies","full_name":"Spies, Simon"},{"last_name":"Song","first_name":"Youngju","full_name":"Song, Youngju"},{"full_name":"D'Osualdo, Emanuele","last_name":"D'Osualdo","first_name":"Emanuele"},{"full_name":"Krebbers, Robbert","first_name":"Robbert","last_name":"Krebbers"},{"last_name":"Garg","first_name":"Deepak","full_name":"Garg, Deepak"},{"last_name":"Dreyer","first_name":"Derek","full_name":"Dreyer, Derek"}],"volume":7,"doi":"10.1145/3571220","date_created":"2024-09-05T08:24:06Z","oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2023","article_type":"original","main_file_link":[{"url":"https://doi.org/10.1145/3571220","open_access":"1"}],"_id":"17500","quality_controlled":"1","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."}],"publication_status":"published","date_updated":"2024-09-10T09:13:02Z","language":[{"iso":"eng"}],"publisher":"Association for Computing Machinery","publication":"Proceedings of the ACM on Programming Languages"},{"oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.3847/2041-8213/acc103","date_created":"2024-09-05T08:44:27Z","_id":"17507","year":"2023","article_type":"original","main_file_link":[{"url":"https://doi.org/10.3847/2041-8213/acc103","open_access":"1"}],"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."}],"publication_status":"published","article_number":"L3","quality_controlled":"1","language":[{"iso":"eng"}],"publisher":"American Astronomical Society","publication":"The Astrophysical Journal Letters","date_updated":"2024-09-10T10:52:04Z","extern":"1","title":"Observable signatures of stellar-mass black holes in active galactic nuclei","publication_identifier":{"issn":["2041-8205","2041-8213"]},"intvolume":"       946","issue":"1","scopus_import":"1","day":"21","month":"03","oa_version":"Published Version","status":"public","date_published":"2023-03-21T00:00:00Z","article_processing_charge":"No","volume":946,"citation":{"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.","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>.","short":"H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).","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>.","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.","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>"},"author":[{"full_name":"Tagawa, Hiromichi","first_name":"Hiromichi","last_name":"Tagawa"},{"first_name":"Shigeo S.","last_name":"Kimura","full_name":"Kimura, Shigeo S."},{"full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"first_name":"Rosalba","last_name":"Perna","full_name":"Perna, Rosalba"},{"last_name":"Bartos","first_name":"Imre","full_name":"Bartos, Imre"}],"type":"journal_article"},{"volume":945,"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>","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.","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).","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>.","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>","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."},"type":"journal_article","author":[{"first_name":"V.","last_name":"Gayathri","full_name":"Gayathri, V."},{"first_name":"Daniel","last_name":"Wysocki","full_name":"Wysocki, Daniel"},{"full_name":"Yang, Y.","first_name":"Y.","last_name":"Yang"},{"first_name":"Vera","last_name":"Delfavero","full_name":"Delfavero, Vera"},{"first_name":"R.","last_name":"O’Shaughnessy","full_name":"O’Shaughnessy, R."},{"last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán","full_name":"Haiman, Zoltán"},{"full_name":"Tagawa, H.","last_name":"Tagawa","first_name":"H."},{"first_name":"I.","last_name":"Bartos","full_name":"Bartos, I."}],"day":"13","month":"03","oa_version":"Published Version","date_published":"2023-03-13T00:00:00Z","status":"public","article_processing_charge":"No","issue":"2","scopus_import":"1","extern":"1","publication_identifier":{"issn":["2041-8205","2041-8213"]},"title":"Gravitational wave source populations: Disentangling an AGN component","intvolume":"       945","language":[{"iso":"eng"}],"publisher":"American Astronomical Society","publication":"The Astrophysical Journal Letters","date_updated":"2024-09-10T13:31:17Z","abstract":[{"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.","lang":"eng"}],"publication_status":"published","article_number":"L29","quality_controlled":"1","_id":"17513","year":"2023","article_type":"original","main_file_link":[{"url":"https://doi.org/10.3847/2041-8213/acbfb8","open_access":"1"}],"oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.3847/2041-8213/acbfb8","date_created":"2024-09-05T08:52:25Z"},{"doi":"10.3847/2041-8213/acf8c9","date_created":"2024-09-05T08:53:23Z","oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","year":"2023","main_file_link":[{"url":"https://doi.org/10.3847/2041-8213/acf8c9","open_access":"1"}],"article_type":"original","_id":"17514","quality_controlled":"1","publication_status":"published","abstract":[{"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.","lang":"eng"}],"article_number":"L27","date_updated":"2024-09-10T13:38:53Z","publisher":"American Astronomical Society","language":[{"iso":"eng"}],"publication":"The Astrophysical Journal Letters","title":"The enhanced population of extreme mass-ratio inspirals in the LISA band from supermassive black hole binaries","publication_identifier":{"issn":["2041-8205","2041-8213"]},"intvolume":"       955","extern":"1","scopus_import":"1","issue":"2","oa_version":"Published Version","article_processing_charge":"No","date_published":"2023-09-26T00:00:00Z","status":"public","month":"09","day":"26","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>","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.","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).","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>.","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>","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."},"author":[{"full_name":"Naoz, Smadar","last_name":"Naoz","first_name":"Smadar"},{"full_name":"Haiman, Zoltán","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán"}],"type":"journal_article","volume":955},{"oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1093/mnras/stad3095","date_created":"2024-09-05T09:20:27Z","_id":"17521","year":"2023","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/stad3095"}],"article_type":"original","publication_status":"published","abstract":[{"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.","lang":"eng"}],"quality_controlled":"1","publisher":"Oxford University Press","language":[{"iso":"eng"}],"publication":"Monthly Notices of the Royal Astronomical Society","date_updated":"2024-09-10T14:43:04Z","page":"5441-5454","extern":"1","title":"Disappearing thermal X-ray emission as a tell-tale signature of merging massive black hole binaries","publication_identifier":{"issn":["0035-8711","1365-2966"]},"intvolume":"       526","issue":"4","scopus_import":"1","month":"10","day":"13","oa_version":"Published Version","article_processing_charge":"No","date_published":"2023-10-13T00:00:00Z","status":"public","volume":526,"citation":{"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.","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>","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.","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>.","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>.","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.","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>"},"author":[{"full_name":"Krauth, Luke Major","last_name":"Krauth","first_name":"Luke Major"},{"full_name":"Davelaar, Jordy","last_name":"Davelaar","first_name":"Jordy"},{"first_name":"John Ryan","last_name":"Westernacher-Schneider","full_name":"Westernacher-Schneider, John Ryan"},{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán","last_name":"Haiman","full_name":"Haiman, Zoltán"},{"full_name":"Zrake, Jonathan","first_name":"Jonathan","last_name":"Zrake"},{"first_name":"Andrew","last_name":"MacFadyen","full_name":"MacFadyen, Andrew"}],"type":"journal_article"},{"quality_controlled":"1","publication_status":"published","abstract":[{"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).","lang":"eng"}],"date_updated":"2024-09-11T07:39:21Z","publication":"Monthly Notices of the Royal Astronomical Society","publisher":"Oxford University Press","language":[{"iso":"eng"}],"date_created":"2024-09-05T09:22:35Z","doi":"10.1093/mnras/stad252","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/stad252"}],"article_type":"original","year":"2023","_id":"17522","article_processing_charge":"No","date_published":"2023-01-27T00:00:00Z","status":"public","oa_version":"Published Version","month":"01","day":"27","type":"journal_article","author":[{"full_name":"Su, Kung-Yi","last_name":"Su","first_name":"Kung-Yi"},{"last_name":"Bryan","first_name":"Greg L","full_name":"Bryan, Greg L"},{"last_name":"Haiman","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán"},{"full_name":"Somerville, Rachel S","first_name":"Rachel S","last_name":"Somerville"},{"first_name":"Christopher C","last_name":"Hayward","full_name":"Hayward, Christopher C"},{"full_name":"Faucher-Giguère, Claude-André","first_name":"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>","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.","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.","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>.","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>","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."},"volume":520,"intvolume":"       520","title":"Self-regulation of black hole accretion via jets in early protogalaxies","publication_identifier":{"issn":["0035-8711","1365-2966"]},"extern":"1","page":"4258-4275","scopus_import":"1","issue":"3"},{"scopus_import":"1","issue":"1","intvolume":"       526","publication_identifier":{"issn":["0035-8711","1365-2966"]},"title":"Flares from stars crossing active galactic nucleus discs on low-inclination orbits","extern":"1","page":"69-79","author":[{"full_name":"Tagawa, Hiromichi","first_name":"Hiromichi","last_name":"Tagawa"},{"full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"}],"type":"journal_article","citation":{"short":"H. Tagawa, Z. Haiman, Monthly Notices of the Royal Astronomical Society 526 (2023) 69–79.","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>.","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>","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.","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>","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.","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>."},"volume":526,"date_published":"2023-09-05T00:00:00Z","status":"public","article_processing_charge":"No","oa_version":"Published Version","day":"05","month":"09","article_type":"original","main_file_link":[{"url":"https://doi.org/10.1093/mnras/stad2616","open_access":"1"}],"year":"2023","_id":"17527","date_created":"2024-09-05T09:30:18Z","doi":"10.1093/mnras/stad2616","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"date_updated":"2024-09-11T08:52:17Z","publication":"Monthly Notices of the Royal Astronomical Society","language":[{"iso":"eng"}],"publisher":"Oxford University Press","quality_controlled":"1","publication_status":"published","abstract":[{"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.","lang":"eng"}]},{"issue":"1","scopus_import":"1","page":"1126-1139","extern":"1","publication_identifier":{"issn":["0035-8711","1365-2966"]},"title":"Gas dynamical friction as a binary formation mechanism in AGN discs","intvolume":"       523","volume":523,"citation":{"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>.","short":"S. DeLaurentiis, M. Epstein-Martin, Z. Haiman, Monthly Notices of the Royal Astronomical Society 523 (2023) 1126–1139.","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.","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>","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>","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>.","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."},"type":"journal_article","author":[{"last_name":"DeLaurentiis","first_name":"Stanislav","full_name":"DeLaurentiis, Stanislav"},{"full_name":"Epstein-Martin, Marguerite","first_name":"Marguerite","last_name":"Epstein-Martin"},{"full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"}],"day":"10","month":"05","oa_version":"Published Version","status":"public","date_published":"2023-05-10T00:00:00Z","article_processing_charge":"No","_id":"17539","year":"2023","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/stad1412"}],"oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1093/mnras/stad1412","date_created":"2024-09-05T09:53:03Z","language":[{"iso":"eng"}],"publisher":"Oxford University Press","publication":"Monthly Notices of the Royal Astronomical Society","date_updated":"2024-09-12T09:46:18Z","abstract":[{"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.","lang":"eng"}],"publication_status":"published","quality_controlled":"1"},{"intvolume":"       522","title":"The importance of live binary evolution in numerical simulations of binaries embedded in circumbinary discs","publication_identifier":{"issn":["0035-8711","1365-2966"]},"extern":"1","page":"1569-1574","scopus_import":"1","issue":"1","status":"public","date_published":"2023-04-12T00:00:00Z","article_processing_charge":"No","oa_version":"Published Version","day":"12","month":"04","type":"journal_article","author":[{"first_name":"Alessia","last_name":"Franchini","full_name":"Franchini, Alessia"},{"last_name":"Lupi","first_name":"Alessandro","full_name":"Lupi, Alessandro"},{"full_name":"Sesana, Alberto","last_name":"Sesana","first_name":"Alberto"},{"first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","full_name":"Haiman, Zoltán"}],"citation":{"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>.","short":"A. Franchini, A. Lupi, A. Sesana, Z. Haiman, Monthly Notices of the Royal Astronomical Society 522 (2023) 1569–1574.","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>","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.","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>","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.","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>."},"volume":522,"date_created":"2024-09-05T10:08:46Z","doi":"10.1093/mnras/stad1070","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"article_type":"original","main_file_link":[{"url":"https://doi.org/10.1093/mnras/stad1070","open_access":"1"}],"year":"2023","_id":"17548","quality_controlled":"1","publication_status":"published","abstract":[{"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.","lang":"eng"}],"date_updated":"2024-09-18T09:30:21Z","publication":"Monthly Notices of the Royal Astronomical Society","language":[{"iso":"eng"}],"publisher":"Oxford University Press"},{"_id":"17549","article_type":"original","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/2041-8213/acc9c8"}],"year":"2023","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"date_created":"2024-09-05T10:11:02Z","doi":"10.3847/2041-8213/acc9c8","publication":"The Astrophysical Journal Letters","language":[{"iso":"eng"}],"publisher":"American Astronomical Society","date_updated":"2024-09-18T09:53:12Z","article_number":"L5","publication_status":"published","abstract":[{"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.","lang":"eng"}],"quality_controlled":"1","issue":"1","scopus_import":"1","extern":"1","intvolume":"       951","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","publication_identifier":{"issn":["2041-8205","2041-8213"]},"volume":951,"type":"journal_article","author":[{"full_name":"Yang, Jinyi","last_name":"Yang","first_name":"Jinyi"},{"last_name":"Wang","first_name":"Feige","full_name":"Wang, Feige"},{"full_name":"Fan, Xiaohui","last_name":"Fan","first_name":"Xiaohui"},{"full_name":"Hennawi, Joseph F.","first_name":"Joseph F.","last_name":"Hennawi"},{"full_name":"Barth, Aaron J.","last_name":"Barth","first_name":"Aaron J."},{"full_name":"Bañados, Eduardo","first_name":"Eduardo","last_name":"Bañados"},{"last_name":"Sun","first_name":"Fengwu","full_name":"Sun, Fengwu"},{"full_name":"Liu, Weizhe","first_name":"Weizhe","last_name":"Liu"},{"full_name":"Cai, Zheng","last_name":"Cai","first_name":"Zheng"},{"first_name":"Linhua","last_name":"Jiang","full_name":"Jiang, Linhua"},{"last_name":"Li","first_name":"Zihao","full_name":"Li, Zihao"},{"last_name":"Onoue","first_name":"Masafusa","full_name":"Onoue, Masafusa"},{"full_name":"Schindler, Jan-Torge","first_name":"Jan-Torge","last_name":"Schindler"},{"first_name":"Yue","last_name":"Shen","full_name":"Shen, Yue"},{"last_name":"Wu","first_name":"Yunjing","full_name":"Wu, Yunjing"},{"full_name":"Bhowmick, Aklant K.","first_name":"Aklant K.","last_name":"Bhowmick"},{"full_name":"Bieri, Rebekka","last_name":"Bieri","first_name":"Rebekka"},{"full_name":"Blecha, Laura","first_name":"Laura","last_name":"Blecha"},{"full_name":"Bosman, Sarah","first_name":"Sarah","last_name":"Bosman"},{"full_name":"Champagne, Jaclyn B.","first_name":"Jaclyn B.","last_name":"Champagne"},{"first_name":"Luis","last_name":"Colina","full_name":"Colina, Luis"},{"last_name":"Connor","first_name":"Thomas","full_name":"Connor, Thomas"},{"full_name":"Costa, Tiago","first_name":"Tiago","last_name":"Costa"},{"first_name":"Frederick B.","last_name":"Davies","full_name":"Davies, Frederick B."},{"full_name":"Decarli, Roberto","last_name":"Decarli","first_name":"Roberto"},{"last_name":"De Rosa","first_name":"Gisella","full_name":"De Rosa, Gisella"},{"last_name":"Drake","first_name":"Alyssa B.","full_name":"Drake, Alyssa B."},{"first_name":"Eiichi","last_name":"Egami","full_name":"Egami, Eiichi"},{"full_name":"Eilers, Anna-Christina","first_name":"Anna-Christina","last_name":"Eilers"},{"first_name":"Analis E.","last_name":"Evans","full_name":"Evans, Analis E."},{"full_name":"Farina, Emanuele Paolo","first_name":"Emanuele Paolo","last_name":"Farina"},{"full_name":"Habouzit, Melanie","last_name":"Habouzit","first_name":"Melanie"},{"full_name":"Haiman, Zoltán","last_name":"Haiman","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"},{"first_name":"Xiangyu","last_name":"Jin","full_name":"Jin, Xiangyu"},{"last_name":"Jun","first_name":"Hyunsung D.","full_name":"Jun, Hyunsung D."},{"last_name":"Kakiichi","first_name":"Koki","full_name":"Kakiichi, Koki"},{"last_name":"Khusanova","first_name":"Yana","full_name":"Khusanova, Yana"},{"full_name":"Kulkarni, Girish","last_name":"Kulkarni","first_name":"Girish"},{"full_name":"Loiacono, Federica","first_name":"Federica","last_name":"Loiacono"},{"first_name":"Alessandro","last_name":"Lupi","full_name":"Lupi, Alessandro"},{"last_name":"Mazzucchelli","first_name":"Chiara","full_name":"Mazzucchelli, Chiara"},{"full_name":"Pan, Zhiwei","first_name":"Zhiwei","last_name":"Pan"},{"full_name":"Rojas-Ruiz, Sofía","last_name":"Rojas-Ruiz","first_name":"Sofía"},{"full_name":"Strauss, Michael A.","first_name":"Michael A.","last_name":"Strauss"},{"full_name":"Tee, Wei Leong","first_name":"Wei Leong","last_name":"Tee"},{"last_name":"Trakhtenbrot","first_name":"Benny","full_name":"Trakhtenbrot, Benny"},{"first_name":"Maxime","last_name":"Trebitsch","full_name":"Trebitsch, Maxime"},{"last_name":"Venemans","first_name":"Bram","full_name":"Venemans, Bram"},{"last_name":"Vestergaard","first_name":"Marianne","full_name":"Vestergaard, Marianne"},{"full_name":"Volonteri, Marta","first_name":"Marta","last_name":"Volonteri"},{"first_name":"Fabian","last_name":"Walter","full_name":"Walter, Fabian"},{"full_name":"Xie, Zhang-Liang","first_name":"Zhang-Liang","last_name":"Xie"},{"full_name":"Yue, Minghao","last_name":"Yue","first_name":"Minghao"},{"full_name":"Zhang, Haowen","first_name":"Haowen","last_name":"Zhang"},{"first_name":"Huanian","last_name":"Zhang","full_name":"Zhang, Huanian"},{"full_name":"Zou, Siwei","last_name":"Zou","first_name":"Siwei"}],"citation":{"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.","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>.","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>","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.","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).","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>."},"day":"29","month":"06","status":"public","date_published":"2023-06-29T00:00:00Z","article_processing_charge":"No","oa_version":"Published Version"},{"volume":521,"author":[{"first_name":"Tianhuan","last_name":"Lu","full_name":"Lu, Tianhuan"},{"full_name":"Haiman, Zoltán","last_name":"Haiman","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"},{"full_name":"Li, Xiangchong","last_name":"Li","first_name":"Xiangchong"}],"type":"journal_article","citation":{"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.","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>.","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>","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.","short":"T. Lu, Z. Haiman, X. Li, Monthly Notices of the Royal Astronomical Society 521 (2023) 2050–2066.","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>."},"month":"03","day":"06","article_processing_charge":"No","date_published":"2023-03-06T00:00:00Z","status":"public","oa_version":"Published Version","issue":"2","scopus_import":"1","extern":"1","page":"2050-2066","intvolume":"       521","publication_identifier":{"issn":["0035-8711","1365-2966"]},"title":"Cosmological constraints from HSC survey first-year data using deep learning","publication":"Monthly Notices of the Royal Astronomical Society","publisher":"Oxford University Press","language":[{"iso":"eng"}],"date_updated":"2024-09-18T10:09:01Z","abstract":[{"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σ.","lang":"eng"}],"publication_status":"published","quality_controlled":"1","_id":"17551","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/stad686"}],"article_type":"original","year":"2023","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","oa":1,"date_created":"2024-09-05T10:14:34Z","doi":"10.1093/mnras/stad686"}]