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