[{"corr_author":"1","citation":{"apa":"Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (2022). Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries. <i>Nature Catalysis</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41929-022-00752-z\">https://doi.org/10.1038/s41929-022-00752-z</a>","ama":"Cao D, Shen X, Wang A, et al. Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries. <i>Nature Catalysis</i>. 2022;5:193-201. doi:<a href=\"https://doi.org/10.1038/s41929-022-00752-z\">10.1038/s41929-022-00752-z</a>","short":"D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen, Nature Catalysis 5 (2022) 193–201.","mla":"Cao, Deqing, et al. “Threshold Potentials for Fast Kinetics during Mediated Redox Catalysis of Insulators in Li–O2 and Li–S Batteries.” <i>Nature Catalysis</i>, vol. 5, Springer Nature, 2022, pp. 193–201, doi:<a href=\"https://doi.org/10.1038/s41929-022-00752-z\">10.1038/s41929-022-00752-z</a>.","chicago":"Cao, Deqing, Xiaoxiao Shen, Aiping Wang, Fengjiao Yu, Yuping Wu, Siqi Shi, Stefan Alexander Freunberger, and Yuhui Chen. “Threshold Potentials for Fast Kinetics during Mediated Redox Catalysis of Insulators in Li–O2 and Li–S Batteries.” <i>Nature Catalysis</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1038/s41929-022-00752-z\">https://doi.org/10.1038/s41929-022-00752-z</a>.","ieee":"D. Cao <i>et al.</i>, “Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries,” <i>Nature Catalysis</i>, vol. 5. Springer Nature, pp. 193–201, 2022.","ista":"Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. 2022. Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries. Nature Catalysis. 5, 193–201."},"related_material":{"record":[{"relation":"earlier_version","id":"9978","status":"public"}]},"language":[{"iso":"eng"}],"page":"193-201","oa_version":"Preprint","publication_status":"published","isi":1,"author":[{"full_name":"Cao, Deqing","last_name":"Cao","first_name":"Deqing"},{"first_name":"Xiaoxiao","last_name":"Shen","full_name":"Shen, Xiaoxiao"},{"full_name":"Wang, Aiping","last_name":"Wang","first_name":"Aiping"},{"first_name":"Fengjiao","full_name":"Yu, Fengjiao","last_name":"Yu"},{"full_name":"Wu, Yuping","last_name":"Wu","first_name":"Yuping"},{"full_name":"Shi, Siqi","last_name":"Shi","first_name":"Siqi"},{"orcid":"0000-0003-2902-5319","last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425"},{"first_name":"Yuhui","full_name":"Chen, Yuhui","last_name":"Chen"}],"department":[{"_id":"StFr"}],"volume":5,"month":"03","intvolume":"         5","scopus_import":"1","acknowledgement":"This work was financially supported by the National Natural Science Foundation of China (grant nos. 51773092, 21975124, 11874254, 51802187 and U2030206). It was further supported by Fujian science & technology innovation laboratory for energy devices of China (21C-LAB), Key Research Project of Zhejiang Laboratory (grant no. 2021PE0AC02) and the Cultivation Program for the Excellent Doctoral Dissertation of Nanjing Tech University. S.A.F. is indebted to IST Austria for support.","publication_identifier":{"issn":["2520-1158"]},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.21203/rs.3.rs-750965/v1"}],"publisher":"Springer Nature","quality_controlled":"1","title":"Threshold potentials for fast kinetics during mediated redox catalysis of insulators in Li–O2 and Li–S batteries","abstract":[{"lang":"eng","text":"Redox mediators could catalyse otherwise slow and energy-inefficient cycling of Li–S and Li–O2 batteries by shuttling electrons or holes between the electrode and the solid insulating storage materials. For mediators to work efficiently they need to oxidize the solid with fast kinetics but with the lowest possible overpotential. However, the dependence of kinetics and overpotential is unclear, which hinders informed improvement. Here, we find that when the redox potentials of mediators are tuned via, for example, Li+ concentration in the electrolyte, they exhibit distinct threshold potentials, where the kinetics accelerate several-fold within a range as small as 10 mV. This phenomenon is independent of types of mediator and electrolyte. The acceleration originates from the overpotentials required to activate fast Li+/e− extraction and the following chemical step at specific abundant surface facets. Efficient redox catalysis at insulating solids therefore requires careful consideration of the surface conditions of the storage materials and electrolyte-dependent redox potentials, which may be tuned by salt concentrations or solvents."}],"article_type":"original","oa":1,"status":"public","date_updated":"2024-10-09T21:01:46Z","keyword":["Process Chemistry and Technology","Biochemistry","Bioengineering","Catalysis"],"doi":"10.1038/s41929-022-00752-z","year":"2022","date_created":"2022-03-04T07:50:10Z","date_published":"2022-03-03T00:00:00Z","_id":"10813","external_id":{"isi":["000763879400001"]},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","publication":"Nature Catalysis","article_processing_charge":"No","day":"03"},{"article_processing_charge":"Yes (via OA deal)","day":"01","type":"journal_article","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication":"European Journal of Mathematics","date_created":"2020-05-03T22:00:48Z","license":"https://creativecommons.org/licenses/by/4.0/","date_published":"2022-12-01T00:00:00Z","external_id":{"arxiv":["1912.12685"]},"_id":"7791","year":"2022","file_date_updated":"2020-07-14T12:48:03Z","arxiv":1,"project":[{"call_identifier":"H2020","name":"Alpha Shape Theory Extended","grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"status":"public","doi":"10.1007/s40879-020-00405-0","date_updated":"2025-04-14T07:48:36Z","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_type":"original","oa":1,"publisher":"Springer Nature","quality_controlled":"1","abstract":[{"lang":"eng","text":"Extending a result of Milena Radnovic and Serge Tabachnikov, we establish conditionsfor two different non-symmetric norms to define the same billiard reflection law."}],"title":"When different norms lead to same billiard trajectories?","file":[{"file_name":"2020_EuropMathematics_Akopyan.pdf","access_level":"open_access","creator":"dernst","file_size":263926,"date_created":"2020-05-04T10:33:42Z","relation":"main_file","checksum":"f53e71fd03744075adcd0b8fc1b8423d","content_type":"application/pdf","file_id":"7796","date_updated":"2020-07-14T12:48:03Z"}],"publication_identifier":{"issn":["2199-675X"],"eissn":["2199-6768"]},"intvolume":"         8","ddc":["510"],"scopus_import":"1","acknowledgement":"AA was supported by European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 78818 Alpha). RK was supported by the Federal professorship program Grant 1.456.2016/1.4 and the Russian Foundation for Basic Research Grants 18-01-00036 and 19-01-00169. Open access funding provided by Institute of Science and Technology (IST Austria). The authors thank Alexey Balitskiy, Milena Radnović, and Serge Tabachnikov for useful discussions.","publication_status":"published","department":[{"_id":"HeEd"}],"author":[{"orcid":"0000-0002-2548-617X","last_name":"Akopyan","full_name":"Akopyan, Arseniy","first_name":"Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Karasev, Roman","last_name":"Karasev","first_name":"Roman"}],"volume":8,"month":"12","language":[{"iso":"eng"}],"page":"1309 - 1312","oa_version":"Published Version","has_accepted_license":"1","ec_funded":1,"corr_author":"1","citation":{"chicago":"Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” <i>European Journal of Mathematics</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s40879-020-00405-0\">https://doi.org/10.1007/s40879-020-00405-0</a>.","ieee":"A. Akopyan and R. Karasev, “When different norms lead to same billiard trajectories?,” <i>European Journal of Mathematics</i>, vol. 8, no. 4. Springer Nature, pp. 1309–1312, 2022.","mla":"Akopyan, Arseniy, and Roman Karasev. “When Different Norms Lead to Same Billiard Trajectories?” <i>European Journal of Mathematics</i>, vol. 8, no. 4, Springer Nature, 2022, pp. 1309–12, doi:<a href=\"https://doi.org/10.1007/s40879-020-00405-0\">10.1007/s40879-020-00405-0</a>.","ista":"Akopyan A, Karasev R. 2022. When different norms lead to same billiard trajectories? European Journal of Mathematics. 8(4), 1309–1312.","ama":"Akopyan A, Karasev R. When different norms lead to same billiard trajectories? <i>European Journal of Mathematics</i>. 2022;8(4):1309-1312. doi:<a href=\"https://doi.org/10.1007/s40879-020-00405-0\">10.1007/s40879-020-00405-0</a>","apa":"Akopyan, A., &#38; Karasev, R. (2022). When different norms lead to same billiard trajectories? <i>European Journal of Mathematics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s40879-020-00405-0\">https://doi.org/10.1007/s40879-020-00405-0</a>","short":"A. Akopyan, R. Karasev, European Journal of Mathematics 8 (2022) 1309–1312."},"issue":"4"},{"ec_funded":1,"related_material":{"link":[{"relation":"earlier_version","url":"https://doi.org/10.4230/LIPIcs.ICALP.2020.7"}],"record":[{"status":"public","id":"15077","relation":"earlier_version"}]},"has_accepted_license":"1","issue":"4","citation":{"ama":"Alistarh D-A, Nadiradze G, Sabour A. Dynamic averaging load balancing on cycles. <i>Algorithmica</i>. 2022;84(4):1007-1029. doi:<a href=\"https://doi.org/10.1007/s00453-021-00905-9\">10.1007/s00453-021-00905-9</a>","apa":"Alistarh, D.-A., Nadiradze, G., &#38; Sabour, A. (2022). Dynamic averaging load balancing on cycles. <i>Algorithmica</i>. Virtual, Online; Germany: Springer Nature. <a href=\"https://doi.org/10.1007/s00453-021-00905-9\">https://doi.org/10.1007/s00453-021-00905-9</a>","short":"D.-A. Alistarh, G. Nadiradze, A. Sabour, Algorithmica 84 (2022) 1007–1029.","chicago":"Alistarh, Dan-Adrian, Giorgi Nadiradze, and Amirmojtaba Sabour. “Dynamic Averaging Load Balancing on Cycles.” <i>Algorithmica</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s00453-021-00905-9\">https://doi.org/10.1007/s00453-021-00905-9</a>.","ieee":"D.-A. Alistarh, G. Nadiradze, and A. Sabour, “Dynamic averaging load balancing on cycles,” <i>Algorithmica</i>, vol. 84, no. 4. Springer Nature, pp. 1007–1029, 2022.","mla":"Alistarh, Dan-Adrian, et al. “Dynamic Averaging Load Balancing on Cycles.” <i>Algorithmica</i>, vol. 84, no. 4, Springer Nature, 2022, pp. 1007–29, doi:<a href=\"https://doi.org/10.1007/s00453-021-00905-9\">10.1007/s00453-021-00905-9</a>.","ista":"Alistarh D-A, Nadiradze G, Sabour A. 2022. Dynamic averaging load balancing on cycles. Algorithmica. 84(4), 1007–1029."},"acknowledgement":"The authors sincerely thank Thomas Sauerwald and George Giakkoupis for insightful discussions, and Mohsen Ghaffari, Yuval Peres, and Udi Wieder for feedback on earlier versions of this draft. We also thank the ICALP anonymous reviewers for their very useful comments. Open access funding provided by Institute of Science and Technology (IST Austria). Funding was provided by European Research Council (Grant No. PR1042ERC01).","ddc":["000"],"intvolume":"        84","scopus_import":"1","month":"04","volume":84,"publication_status":"published","isi":1,"department":[{"_id":"DaAl"}],"conference":{"name":"ICALP: Automata, Languages and Programming","end_date":"2020-07-11","location":"Virtual, Online; Germany","start_date":"2020-07-08"},"author":[{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"},{"id":"3279A00C-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgi","orcid":"0000-0001-5634-0731","full_name":"Nadiradze, Giorgi","last_name":"Nadiradze"},{"full_name":"Sabour, Amirmojtaba","last_name":"Sabour","id":"bcc145fd-e77f-11ea-ae8b-80d661dbff67","first_name":"Amirmojtaba"}],"page":"1007-1029","oa_version":"Published Version","language":[{"iso":"eng"}],"project":[{"name":"Elastic Coordination for Scalable Machine Learning","grant_number":"805223","_id":"268A44D6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"doi":"10.1007/s00453-021-00905-9","date_updated":"2025-07-10T11:55:11Z","status":"public","arxiv":1,"oa":1,"article_type":"original","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"file":[{"date_updated":"2021-12-27T10:36:40Z","success":1,"file_id":"10577","checksum":"21169b25b0c8e17b21e12af22bff9870","content_type":"application/pdf","date_created":"2021-12-27T10:36:40Z","relation":"main_file","access_level":"open_access","file_size":525950,"creator":"cchlebak","file_name":"2021_Algorithmica_Alistarh.pdf"}],"publisher":"Springer Nature","quality_controlled":"1","abstract":[{"text":"We consider the following dynamic load-balancing process: given an underlying graph G with n nodes, in each step t≥ 0, one unit of load is created, and placed at a randomly chosen graph node. In the same step, the chosen node picks a random neighbor, and the two nodes balance their loads by averaging them. We are interested in the expected gap between the minimum and maximum loads at nodes as the process progresses, and its dependence on n and on the graph structure. Variants of the above graphical balanced allocation process have been studied previously by Peres, Talwar, and Wieder [Peres et al., 2015], and by Sauerwald and Sun [Sauerwald and Sun, 2015]. These authors left as open the question of characterizing the gap in the case of cycle graphs in the dynamic case, where weights are created during the algorithm’s execution. For this case, the only known upper bound is of 𝒪(n log n), following from a majorization argument due to [Peres et al., 2015], which analyzes a related graphical allocation process. In this paper, we provide an upper bound of 𝒪 (√n log n) on the expected gap of the above process for cycles of length n. We introduce a new potential analysis technique, which enables us to bound the difference in load between k-hop neighbors on the cycle, for any k ≤ n/2. We complement this with a \"gap covering\" argument, which bounds the maximum value of the gap by bounding its value across all possible subsets of a certain structure, and recursively bounding the gaps within each subset. We provide analytical and experimental evidence that our upper bound on the gap is tight up to a logarithmic factor. ","lang":"eng"}],"title":"Dynamic averaging load balancing on cycles","publication_identifier":{"eissn":["1432-0541"],"issn":["0178-4617"]},"article_processing_charge":"Yes (via OA deal)","day":"01","publication":"Algorithmica","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2022-04-01T00:00:00Z","external_id":{"arxiv":["2003.09297"],"isi":["000734004600001"]},"_id":"8286","date_created":"2020-08-24T06:24:04Z","file_date_updated":"2021-12-27T10:36:40Z","year":"2022"},{"page":"1313-1327","oa_version":"Preprint","language":[{"iso":"eng"}],"acknowledgement":" This paper would not be written if not for Dan Reznik’s curiosity and persistence; we are very grateful to him. We also thank R. Garcia and J. Koiller for interesting discussions. It is a pleasure to thank the Mathematical Institute of the University of Heidelberg for its stimulating atmosphere. ST thanks M. Bialy for interesting discussions and the Tel Aviv\r\nUniversity for its invariable hospitality. AA was supported by European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 78818 Alpha). RS is supported by NSF Grant DMS-1807320. ST was supported by NSF grant DMS-1510055 and SFB/TRR 191.","intvolume":"         8","scopus_import":"1","month":"12","volume":8,"publication_status":"published","author":[{"orcid":"0000-0002-2548-617X","last_name":"Akopyan","full_name":"Akopyan, Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","first_name":"Arseniy"},{"first_name":"Richard","last_name":"Schwartz","full_name":"Schwartz, Richard"},{"full_name":"Tabachnikov, Serge","last_name":"Tabachnikov","first_name":"Serge"}],"department":[{"_id":"HeEd"}],"ec_funded":1,"issue":"4","citation":{"short":"A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics 8 (2022) 1313–1327.","apa":"Akopyan, A., Schwartz, R., &#38; Tabachnikov, S. (2022). Billiards in ellipses revisited. <i>European Journal of Mathematics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s40879-020-00426-9\">https://doi.org/10.1007/s40879-020-00426-9</a>","ama":"Akopyan A, Schwartz R, Tabachnikov S. Billiards in ellipses revisited. <i>European Journal of Mathematics</i>. 2022;8(4):1313-1327. doi:<a href=\"https://doi.org/10.1007/s40879-020-00426-9\">10.1007/s40879-020-00426-9</a>","ista":"Akopyan A, Schwartz R, Tabachnikov S. 2022. Billiards in ellipses revisited. European Journal of Mathematics. 8(4), 1313–1327.","mla":"Akopyan, Arseniy, et al. “Billiards in Ellipses Revisited.” <i>European Journal of Mathematics</i>, vol. 8, no. 4, Springer Nature, 2022, pp. 1313–27, doi:<a href=\"https://doi.org/10.1007/s40879-020-00426-9\">10.1007/s40879-020-00426-9</a>.","ieee":"A. Akopyan, R. Schwartz, and S. Tabachnikov, “Billiards in ellipses revisited,” <i>European Journal of Mathematics</i>, vol. 8, no. 4. Springer Nature, pp. 1313–1327, 2022.","chicago":"Akopyan, Arseniy, Richard Schwartz, and Serge Tabachnikov. “Billiards in Ellipses Revisited.” <i>European Journal of Mathematics</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s40879-020-00426-9\">https://doi.org/10.1007/s40879-020-00426-9</a>."},"date_published":"2022-12-01T00:00:00Z","external_id":{"arxiv":["2001.02934"]},"_id":"8538","date_created":"2020-09-20T22:01:38Z","year":"2022","article_processing_charge":"No","day":"01","publication":"European Journal of Mathematics","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","type":"journal_article","publisher":"Springer Nature","title":"Billiards in ellipses revisited","abstract":[{"text":"We prove some recent experimental observations of Dan Reznik concerning periodic billiard orbits in ellipses. For example, the sum of cosines of the angles of a periodic billiard polygon remains constant in the 1-parameter family of such polygons (that exist due to the Poncelet porism). In our proofs, we use geometric and complex analytic methods.","lang":"eng"}],"quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/2001.02934","open_access":"1"}],"publication_identifier":{"eissn":["2199-6768"],"issn":["2199-675X"]},"project":[{"call_identifier":"H2020","name":"Alpha Shape Theory Extended","grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"}],"date_updated":"2025-04-14T07:48:34Z","status":"public","doi":"10.1007/s40879-020-00426-9","arxiv":1,"oa":1,"article_type":"original"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","publication":"FEBS Journal","day":"01","article_processing_charge":"No","year":"2022","date_created":"2021-04-18T22:01:43Z","pmid":1,"_id":"9336","external_id":{"isi":["000636678800001"],"pmid":["33818917"]},"date_published":"2022-03-01T00:00:00Z","article_type":"original","oa":1,"date_updated":"2026-06-18T19:47:28Z","status":"public","doi":"10.1111/febs.15823","publication_identifier":{"issn":["1742-464X"],"eissn":["1742-4658"]},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/febs.15823"}],"quality_controlled":"1","title":"Building and sustaining mentor interactions as a mentee","abstract":[{"lang":"eng","text":"Mentorship is experience and/or knowledge‐based guidance. Mentors support, sponsor and advocate for mentees. Having one or more mentors when you seek advice can significantly influence and improve your research endeavours, well‐being and career development. Positive mentee–mentor relationships are vital for maintaining work–life balance and success in careers. Early‐career researchers (ECRs), in particular, can benefit from mentorship to navigate challenges in academic and nonacademic life and careers. Yet, strategies for selecting mentors and maintaining interactions with them are often underdiscussed within research environments. In this Words of Advice, we provide recommendations for ECRs to seek and manage mentorship interactions. Our article draws from our experiences as ECRs and published work, to provide suggestions for mentees to proactively promote beneficial mentorship interactions. The recommended practices highlight the importance of identifying mentorship needs, planning and selecting multiple and diverse mentors, setting goals, and maintaining constructive, and mutually beneficial working relationships with mentors."}],"publisher":"Wiley","department":[{"_id":"CaHe"}],"author":[{"last_name":"Sarabipour","full_name":"Sarabipour, Sarvenaz","first_name":"Sarvenaz"},{"last_name":"Hainer","full_name":"Hainer, Sarah J.","first_name":"Sarah J."},{"last_name":"Arslan","full_name":"Arslan, Feyza N","orcid":"0000-0001-5809-9566","id":"49DA7910-F248-11E8-B48F-1D18A9856A87","first_name":"Feyza N"},{"first_name":"Charlotte M.","full_name":"De Winde, Charlotte M.","last_name":"De Winde"},{"first_name":"Emily","last_name":"Furlong","full_name":"Furlong, Emily"},{"first_name":"Natalia","last_name":"Bielczyk","full_name":"Bielczyk, Natalia"},{"last_name":"Jadavji","full_name":"Jadavji, Nafisa M.","first_name":"Nafisa M."},{"first_name":"Aparna P.","last_name":"Shah","full_name":"Shah, Aparna P."},{"first_name":"Sejal","full_name":"Davla, Sejal","last_name":"Davla"}],"publication_status":"published","isi":1,"volume":289,"month":"03","scopus_import":"1","ddc":["570"],"intvolume":"       289","acknowledgement":"The authors thank Nicholas Asby of the University of Chicago for valuable comments on an earlier version of this work. A.P.S. was partially supported by the NARSAD Young Investigator Grant 27705. S.J.H was supported by the National Institutes of Health grant R35GM133732.","language":[{"iso":"eng"}],"oa_version":"Published Version","page":"1374-1384","citation":{"ista":"Sarabipour S, Hainer SJ, Arslan FN, De Winde CM, Furlong E, Bielczyk N, Jadavji NM, Shah AP, Davla S. 2022. Building and sustaining mentor interactions as a mentee. FEBS Journal. 289(6), 1374–1384.","ieee":"S. Sarabipour <i>et al.</i>, “Building and sustaining mentor interactions as a mentee,” <i>FEBS Journal</i>, vol. 289, no. 6. Wiley, pp. 1374–1384, 2022.","chicago":"Sarabipour, Sarvenaz, Sarah J. Hainer, Feyza N Arslan, Charlotte M. De Winde, Emily Furlong, Natalia Bielczyk, Nafisa M. Jadavji, Aparna P. Shah, and Sejal Davla. “Building and Sustaining Mentor Interactions as a Mentee.” <i>FEBS Journal</i>. Wiley, 2022. <a href=\"https://doi.org/10.1111/febs.15823\">https://doi.org/10.1111/febs.15823</a>.","mla":"Sarabipour, Sarvenaz, et al. “Building and Sustaining Mentor Interactions as a Mentee.” <i>FEBS Journal</i>, vol. 289, no. 6, Wiley, 2022, pp. 1374–84, doi:<a href=\"https://doi.org/10.1111/febs.15823\">10.1111/febs.15823</a>.","short":"S. Sarabipour, S.J. Hainer, F.N. Arslan, C.M. De Winde, E. Furlong, N. Bielczyk, N.M. Jadavji, A.P. Shah, S. Davla, FEBS Journal 289 (2022) 1374–1384.","ama":"Sarabipour S, Hainer SJ, Arslan FN, et al. Building and sustaining mentor interactions as a mentee. <i>FEBS Journal</i>. 2022;289(6):1374-1384. doi:<a href=\"https://doi.org/10.1111/febs.15823\">10.1111/febs.15823</a>","apa":"Sarabipour, S., Hainer, S. J., Arslan, F. N., De Winde, C. M., Furlong, E., Bielczyk, N., … Davla, S. (2022). Building and sustaining mentor interactions as a mentee. <i>FEBS Journal</i>. Wiley. <a href=\"https://doi.org/10.1111/febs.15823\">https://doi.org/10.1111/febs.15823</a>"},"issue":"6","alternative_title":["Words of Advice"]},{"date_updated":"2025-04-22T13:45:18Z","status":"public","doi":"10.1007/s10208-021-09520-0","project":[{"call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"oa":1,"article_type":"original","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"file":[{"file_name":"Boissonnat-Wintraecken2021_Article_TheTopologicalCorrectnessOfPLA.pdf","date_created":"2021-07-14T06:44:36Z","relation":"main_file","access_level":"open_access","creator":"mwintrae","file_size":1455699,"file_id":"9650","checksum":"f1d372ec3c08ec22e84f8e93e1126b8c","content_type":"application/pdf","date_updated":"2021-07-14T06:44:36Z"}],"abstract":[{"lang":"eng","text":"Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f : Rd → Rd−n. A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation T of the ambient space Rd. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently\r\nfine triangulation T . This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary."}],"title":"The topological correctness of PL approximations of isomanifolds","quality_controlled":"1","publisher":"Springer Nature","publication_identifier":{"eissn":["1615-3383"]},"day":"01","article_processing_charge":"Yes (via OA deal)","publication":"Foundations of Computational Mathematics ","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","external_id":{"isi":["000673039600001"]},"_id":"9649","date_published":"2022-01-01T00:00:00Z","date_created":"2021-07-14T06:44:53Z","file_date_updated":"2021-07-14T06:44:36Z","year":"2022","related_material":{"record":[{"id":"7952","status":"public","relation":"earlier_version"}]},"ec_funded":1,"has_accepted_license":"1","citation":{"apa":"Boissonnat, J.-D., &#38; Wintraecken, M. (2022). The topological correctness of PL approximations of isomanifolds. <i>Foundations of Computational Mathematics </i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10208-021-09520-0\">https://doi.org/10.1007/s10208-021-09520-0</a>","ama":"Boissonnat J-D, Wintraecken M. The topological correctness of PL approximations of isomanifolds. <i>Foundations of Computational Mathematics </i>. 2022;22:967-1012. doi:<a href=\"https://doi.org/10.1007/s10208-021-09520-0\">10.1007/s10208-021-09520-0</a>","short":"J.-D. Boissonnat, M. Wintraecken, Foundations of Computational Mathematics  22 (2022) 967–1012.","mla":"Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” <i>Foundations of Computational Mathematics </i>, vol. 22, Springer Nature, 2022, pp. 967–1012, doi:<a href=\"https://doi.org/10.1007/s10208-021-09520-0\">10.1007/s10208-021-09520-0</a>.","ieee":"J.-D. Boissonnat and M. Wintraecken, “The topological correctness of PL approximations of isomanifolds,” <i>Foundations of Computational Mathematics </i>, vol. 22. Springer Nature, pp. 967–1012, 2022.","chicago":"Boissonnat, Jean-Daniel, and Mathijs Wintraecken. “The Topological Correctness of PL Approximations of Isomanifolds.” <i>Foundations of Computational Mathematics </i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1007/s10208-021-09520-0\">https://doi.org/10.1007/s10208-021-09520-0</a>.","ista":"Boissonnat J-D, Wintraecken M. 2022. The topological correctness of PL approximations of isomanifolds. Foundations of Computational Mathematics . 22, 967–1012."},"corr_author":"1","acknowledgement":"First and foremost, we acknowledge Siargey Kachanovich for discussions. We thank Herbert Edelsbrunner and all members of his group, all former and current members of the Datashape team (formerly known as Geometrica), and André Lieutier for encouragement. We further thank the reviewers of Foundations of Computational Mathematics and the reviewers and program committee of the Symposium on Computational Geometry for their feedback, which improved the exposition.\r\nThis work was funded by the European Research Council under the European Union’s ERC Grant Agreement number 339025 GUDHI (Algorithmic Foundations of Geometric Understanding in Higher Dimensions). This work was also supported by the French government, through the 3IA Côte d’Azur Investments in the Future project managed by the National Research Agency (ANR) with the reference number ANR-19-P3IA-0002. Mathijs Wintraecken also received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement no. 754411.","scopus_import":"1","intvolume":"        22","ddc":["516"],"month":"01","volume":22,"author":[{"full_name":"Boissonnat, Jean-Daniel","last_name":"Boissonnat","first_name":"Jean-Daniel"},{"full_name":"Wintraecken, Mathijs","last_name":"Wintraecken","orcid":"0000-0002-7472-2220","first_name":"Mathijs","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87"}],"department":[{"_id":"HeEd"}],"isi":1,"publication_status":"published","oa_version":"Published Version","page":"967-1012","language":[{"iso":"eng"}]},{"year":"2022","file_date_updated":"2022-07-25T07:11:32Z","date_created":"2021-08-06T09:09:11Z","pmid":1,"date_published":"2022-07-11T00:00:00Z","acknowledged_ssus":[{"_id":"Bio"},{"_id":"EM-Fac"},{"_id":"PreCl"},{"_id":"LifeSc"}],"_id":"9794","external_id":{"isi":["000822975900002"],"pmid":["35817845"]},"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Nature Immunology","article_processing_charge":"No","day":"11","publication_identifier":{"eissn":["1529-2916"],"issn":["1529-2908"]},"publisher":"Springer Nature","title":"Multitier mechanics control stromal adaptations in swelling lymph nodes","abstract":[{"lang":"eng","text":"Lymph nodes (LNs) comprise two main structural elements: fibroblastic reticular cells that form dedicated niches for immune cell interaction and capsular fibroblasts that build a shell around the organ. Immunological challenge causes LNs to increase more than tenfold in size within a few days. Here, we characterized the biomechanics of LN swelling on the cellular and organ scale. We identified lymphocyte trapping by influx and proliferation as drivers of an outward pressure force, causing fibroblastic reticular cells of the T-zone (TRCs) and their associated conduits to stretch. After an initial phase of relaxation, TRCs sensed the resulting strain through cell matrix adhesions, which coordinated local growth and remodeling of the stromal network. While the expanded TRC network readopted its typical configuration, a massive fibrotic reaction of the organ capsule set in and countered further organ expansion. Thus, different fibroblast populations mechanically control LN swelling in a multitier fashion."}],"quality_controlled":"1","file":[{"content_type":"application/pdf","checksum":"628e7b49809f22c75b428842efe70c68","file_id":"11642","success":1,"date_updated":"2022-07-25T07:11:32Z","file_name":"2022_NatureImmunology_Assen.pdf","access_level":"open_access","creator":"dernst","file_size":11475325,"relation":"main_file","date_created":"2022-07-25T07:11:32Z"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_type":"original","oa":1,"project":[{"grant_number":"724373","name":"Cellular Navigation Along Spatial Gradients","_id":"25FE9508-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"date_updated":"2025-06-11T13:52:43Z","status":"public","doi":"10.1038/s41590-022-01257-4","language":[{"iso":"eng"}],"page":"1246-1255","oa_version":"Published Version","publication_status":"published","isi":1,"author":[{"first_name":"Frank P","id":"3A8E7F24-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3470-6119","last_name":"Assen","full_name":"Assen, Frank P"},{"first_name":"Jun","full_name":"Abe, Jun","last_name":"Abe"},{"orcid":"0000-0002-6625-3348","last_name":"Hons","full_name":"Hons, Miroslav","first_name":"Miroslav","id":"4167FE56-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Robert","id":"4E01D6B4-F248-11E8-B48F-1D18A9856A87","full_name":"Hauschild, Robert","last_name":"Hauschild","orcid":"0000-0001-9843-3522"},{"last_name":"Shamipour","full_name":"Shamipour, Shayan","first_name":"Shayan","id":"40B34FE2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kaufmann","full_name":"Kaufmann, Walter","orcid":"0000-0001-9735-5315","id":"3F99E422-F248-11E8-B48F-1D18A9856A87","first_name":"Walter"},{"id":"D93824F4-D9BA-11E9-BB12-F207E6697425","first_name":"Tommaso","full_name":"Costanzo, Tommaso","last_name":"Costanzo","orcid":"0000-0001-9732-3815"},{"first_name":"Gabriel","id":"2B819732-F248-11E8-B48F-1D18A9856A87","last_name":"Krens","full_name":"Krens, Gabriel","orcid":"0000-0003-4761-5996"},{"full_name":"Brown, Markus","last_name":"Brown","first_name":"Markus","id":"3DAB9AFC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Burkhard","last_name":"Ludewig","full_name":"Ludewig, Burkhard"},{"id":"37B36620-F248-11E8-B48F-1D18A9856A87","first_name":"Simon","last_name":"Hippenmeyer","full_name":"Hippenmeyer, Simon","orcid":"0000-0003-2279-1061"},{"id":"39427864-F248-11E8-B48F-1D18A9856A87","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg"},{"last_name":"Weninger","full_name":"Weninger, Wolfgang","first_name":"Wolfgang"},{"orcid":"0000-0001-6005-1561","last_name":"Hannezo","full_name":"Hannezo, Edouard B","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Luther","full_name":"Luther, Sanjiv A.","first_name":"Sanjiv A."},{"first_name":"Jens V.","last_name":"Stein","full_name":"Stein, Jens V."},{"full_name":"Sixt, Michael K","last_name":"Sixt","orcid":"0000-0002-4561-241X","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","first_name":"Michael K"}],"department":[{"_id":"SiHi"},{"_id":"CaHe"},{"_id":"EdHa"},{"_id":"EM-Fac"},{"_id":"Bio"},{"_id":"MiSi"}],"volume":23,"month":"07","intvolume":"        23","ddc":["570"],"scopus_import":"1","acknowledgement":"This research was supported by the Scientific Service Units of IST Austria through resources provided by the Imaging and Optics, Electron Microscopy, Preclinical and Life Science Facilities. We thank C. Moussion for providing anti-PNAd antibody and D. Critchley for Talin1-floxed mice, and E. Papusheva for providing a custom 3D channel alignment script. This work was supported by a European Research Council grant ERC-CoG-72437 to M.S. M.H. was supported by Czech Sciencundation GACR 20-24603Y and Charles University PRIMUS/20/MED/013.","corr_author":"1","citation":{"short":"F.P. Assen, J. Abe, M. Hons, R. Hauschild, S. Shamipour, W. Kaufmann, T. Costanzo, G. Krens, M. Brown, B. Ludewig, S. Hippenmeyer, C.-P.J. Heisenberg, W. Weninger, E.B. Hannezo, S.A. Luther, J.V. Stein, M.K. Sixt, Nature Immunology 23 (2022) 1246–1255.","ama":"Assen FP, Abe J, Hons M, et al. Multitier mechanics control stromal adaptations in swelling lymph nodes. <i>Nature Immunology</i>. 2022;23:1246-1255. doi:<a href=\"https://doi.org/10.1038/s41590-022-01257-4\">10.1038/s41590-022-01257-4</a>","apa":"Assen, F. P., Abe, J., Hons, M., Hauschild, R., Shamipour, S., Kaufmann, W., … Sixt, M. K. (2022). Multitier mechanics control stromal adaptations in swelling lymph nodes. <i>Nature Immunology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41590-022-01257-4\">https://doi.org/10.1038/s41590-022-01257-4</a>","ista":"Assen FP, Abe J, Hons M, Hauschild R, Shamipour S, Kaufmann W, Costanzo T, Krens G, Brown M, Ludewig B, Hippenmeyer S, Heisenberg C-PJ, Weninger W, Hannezo EB, Luther SA, Stein JV, Sixt MK. 2022. Multitier mechanics control stromal adaptations in swelling lymph nodes. Nature Immunology. 23, 1246–1255.","ieee":"F. P. Assen <i>et al.</i>, “Multitier mechanics control stromal adaptations in swelling lymph nodes,” <i>Nature Immunology</i>, vol. 23. Springer Nature, pp. 1246–1255, 2022.","chicago":"Assen, Frank P, Jun Abe, Miroslav Hons, Robert Hauschild, Shayan Shamipour, Walter Kaufmann, Tommaso Costanzo, et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” <i>Nature Immunology</i>. Springer Nature, 2022. <a href=\"https://doi.org/10.1038/s41590-022-01257-4\">https://doi.org/10.1038/s41590-022-01257-4</a>.","mla":"Assen, Frank P., et al. “Multitier Mechanics Control Stromal Adaptations in Swelling Lymph Nodes.” <i>Nature Immunology</i>, vol. 23, Springer Nature, 2022, pp. 1246–55, doi:<a href=\"https://doi.org/10.1038/s41590-022-01257-4\">10.1038/s41590-022-01257-4</a>."},"has_accepted_license":"1","ec_funded":1},{"citation":{"ama":"Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, et al. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. <i>Journal of Comparative Neurology</i>. 2022;530(2):553-573. doi:<a href=\"https://doi.org/10.1002/cne.25229\">10.1002/cne.25229</a>","apa":"Reyes‐Pinto, R., Ferrán, J. L., Vega Zuniga, T. A., González‐Cabrera, C., Luksch, H., Mpodozis, J., … Marín, G. J. (2022). Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. <i>Journal of Comparative Neurology</i>. Wiley. <a href=\"https://doi.org/10.1002/cne.25229\">https://doi.org/10.1002/cne.25229</a>","short":"R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.","chicago":"Reyes‐Pinto, Rosana, José L. Ferrán, Tomas A Vega Zuniga, Cristian González‐Cabrera, Harald Luksch, Jorge Mpodozis, Luis Puelles, and Gonzalo J. Marín. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” <i>Journal of Comparative Neurology</i>. Wiley, 2022. <a href=\"https://doi.org/10.1002/cne.25229\">https://doi.org/10.1002/cne.25229</a>.","ieee":"R. Reyes‐Pinto <i>et al.</i>, “Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum,” <i>Journal of Comparative Neurology</i>, vol. 530, no. 2. Wiley, pp. 553–573, 2022.","mla":"Reyes‐Pinto, Rosana, et al. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” <i>Journal of Comparative Neurology</i>, vol. 530, no. 2, Wiley, 2022, pp. 553–73, doi:<a href=\"https://doi.org/10.1002/cne.25229\">10.1002/cne.25229</a>.","ista":"Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, González‐Cabrera C, Luksch H, Mpodozis J, Puelles L, Marín GJ. 2022. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. 530(2), 553–573."},"issue":"2","language":[{"iso":"eng"}],"page":"553-573","oa_version":"None","publication_status":"published","isi":1,"author":[{"last_name":"Reyes‐Pinto","full_name":"Reyes‐Pinto, Rosana","first_name":"Rosana"},{"first_name":"José L.","full_name":"Ferrán, José L.","last_name":"Ferrán"},{"full_name":"Vega Zuniga, Tomas A","last_name":"Vega Zuniga","id":"2E7C4E78-F248-11E8-B48F-1D18A9856A87","first_name":"Tomas A"},{"last_name":"González‐Cabrera","full_name":"González‐Cabrera, Cristian","first_name":"Cristian"},{"full_name":"Luksch, Harald","last_name":"Luksch","first_name":"Harald"},{"last_name":"Mpodozis","full_name":"Mpodozis, Jorge","first_name":"Jorge"},{"full_name":"Puelles, Luis","last_name":"Puelles","first_name":"Luis"},{"first_name":"Gonzalo J.","last_name":"Marín","full_name":"Marín, Gonzalo J."}],"department":[{"_id":"MaJö"}],"volume":530,"month":"02","intvolume":"       530","scopus_import":"1","acknowledgement":"This work was supported by FONDECYT grants 1151432 and 1210169 to Gonzalo J. Marín. FONDECYT grant 1210069 to Jorge Mpodozis. Spanish Ministry of Science, Innovation and Universities (MCIU), State Research Agency (AEI) and European Regional Development Fund (FEDER), PGC2018-098229-B-100 to José L Ferrán. Spanish Ministry of Economy and Competitiveness Excellency Grant BFU2014-57516P (with European Community FEDER support), and a Seneca Foundation (Autonomous Community of Murcia) Excellency Research contract, ref: 19904/ GERM/15; project name: Genoarchitectonic Brain Development and Applications to Neurodegenerative Diseases and Cancer (5672 Fundación Séneca) to Luis Puelles. The authors gratefully acknowledge the valuable editorial help provided by Sara Fernández-Collemann. The authors also thank Elisa Sentis and Solano Henríquez for expert technical help.","publication_identifier":{"issn":["0021-9967"],"eissn":["1096-9861"]},"publisher":"Wiley","abstract":[{"text":"Neurons can change their classical neurotransmitters during ontogeny, sometimes going through stages of dual release. Here, we explored the development of the neurotransmitter identity of neurons of the avian nucleus isthmi parvocellularis (Ipc), whose axon terminals are retinotopically arranged in the optic tectum (TeO) and exert a focal gating effect upon the ascending transmission of retinal inputs. Although cholinergic and glutamatergic markers are both found in Ipc neurons and terminals of adult pigeons and chicks, the mRNA expression of the vesicular acetylcholine transporter, VAChT, is weak or absent. To explore how the Ipc neurotransmitter identity is established during ontogeny, we analyzed the expression of mRNAs coding for cholinergic (ChAT, VAChT, and CHT) and glutamatergic (VGluT2 and VGluT3) markers in chick embryos at different developmental stages. We found that between E12 and E18, Ipc neurons expressed all cholinergic mRNAs and also VGluT2 mRNA; however, from E16 through posthatch stages, VAChT mRNA expression was specifically diminished. Our ex vivo deposits of tracer crystals and intracellular filling experiments revealed that Ipc axons exhibit a mature paintbrush morphology late in development, experiencing marked morphological transformations during the period of presumptive dual vesicular transmitter release. Additionally, although ChAT protein immunoassays increasingly label the growing Ipc axon, this labeling was consistently restricted to sparse portions of the terminal branches. Combined, these results suggest that the synthesis of glutamate and acetylcholine, and their vesicular release, is complexly linked to the developmental processes of branching, growing and remodeling of these unique axons.","lang":"eng"}],"title":"Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum","quality_controlled":"1","article_type":"original","status":"public","date_updated":"2023-08-11T10:58:17Z","doi":"10.1002/cne.25229","year":"2022","pmid":1,"date_created":"2021-08-23T08:40:59Z","date_published":"2022-02-01T00:00:00Z","_id":"9955","external_id":{"isi":["000686420000001"],"pmid":["34363623"]},"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication":"Journal of Comparative Neurology","article_processing_charge":"No","day":"01"},{"arxiv":1,"status":"public","date_updated":"2025-04-14T07:43:49Z","doi":"10.1112/jlms.12506","project":[{"call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"article_type":"original","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"oa":1,"title":"Resurgence analysis of quantum invariants of Seifert fibered homology spheres","abstract":[{"lang":"eng","text":"For a Seifert fibered homology sphere X we show that the q-series invariant Zˆ0(X; q) introduced by Gukov-Pei-Putrov-Vafa, is a resummation of the Ohtsuki series Z0(X). We show that for every even k ∈ N there exists a full asymptotic expansion of Zˆ0(X; q) for q tending to e 2πi/k, and in particular that the limit Zˆ0(X; e 2πi/k) exists and is equal to the\r\nWRT quantum invariant τk(X). We show that the poles of the Borel transform of Z0(X) coincide with the classical complex Chern-Simons values, which we further show classifies the corresponding components of the moduli space of flat SL(2, C)-connections."}],"quality_controlled":"1","publisher":"Wiley","file":[{"file_name":"2022_JourLondonMathSoc_Andersen.pdf","relation":"main_file","date_created":"2022-03-24T11:42:25Z","access_level":"open_access","creator":"dernst","file_size":649130,"success":1,"content_type":"application/pdf","checksum":"9c72327d39f34f1a6eaa98fa4b8493f2","file_id":"10917","date_updated":"2022-03-24T11:42:25Z"}],"publication_identifier":{"eissn":["1469-7750"]},"day":"01","article_processing_charge":"Yes (via OA deal)","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","publication":"Journal of the London Mathematical Society","date_created":"2021-08-31T12:51:40Z","_id":"9977","external_id":{"isi":["000755205700001"],"arxiv":["1811.05376"]},"date_published":"2022-03-01T00:00:00Z","year":"2022","file_date_updated":"2022-03-24T11:42:25Z","has_accepted_license":"1","ec_funded":1,"citation":{"short":"W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764.","ama":"Mistegaard W, Andersen JE. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. <i>Journal of the London Mathematical Society</i>. 2022;105(2):709-764. doi:<a href=\"https://doi.org/10.1112/jlms.12506\">10.1112/jlms.12506</a>","apa":"Mistegaard, W., &#38; Andersen, J. E. (2022). Resurgence analysis of quantum invariants of Seifert fibered homology spheres. <i>Journal of the London Mathematical Society</i>. Wiley. <a href=\"https://doi.org/10.1112/jlms.12506\">https://doi.org/10.1112/jlms.12506</a>","ista":"Mistegaard W, Andersen JE. 2022. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. 105(2), 709–764.","chicago":"Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” <i>Journal of the London Mathematical Society</i>. Wiley, 2022. <a href=\"https://doi.org/10.1112/jlms.12506\">https://doi.org/10.1112/jlms.12506</a>.","ieee":"W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” <i>Journal of the London Mathematical Society</i>, vol. 105, no. 2. Wiley, pp. 709–764, 2022.","mla":"Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” <i>Journal of the London Mathematical Society</i>, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:<a href=\"https://doi.org/10.1112/jlms.12506\">10.1112/jlms.12506</a>."},"corr_author":"1","issue":"2","scopus_import":"1","ddc":["510"],"intvolume":"       105","acknowledgement":"We warmly thank S. Gukov for valuable discussions on the GPPV invariant ̂Z𝑎(𝑀3; 𝑞). The first\r\nauthor was supported in part by the center of excellence grant ‘Center for Quantum Geometry\r\nof Moduli Spaces’ from the Danish National Research Foundation (DNRF95) and by the ERCSynergy\r\ngrant ‘ReNewQuantum’. The second author received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement no. 754411.","department":[{"_id":"TaHa"}],"author":[{"last_name":"Mistegaard","full_name":"Mistegaard, William","id":"41B03CD0-62AE-11E9-84EF-0718E6697425","first_name":"William"},{"last_name":"Andersen","full_name":"Andersen, Jørgen Ellegaard","first_name":"Jørgen Ellegaard"}],"isi":1,"publication_status":"published","month":"03","volume":105,"language":[{"iso":"eng"}],"oa_version":"Published Version","page":"709-764"},{"quality_controlled":"1","title":"Umbrella meshes: Elastic mechanisms for freeform shape deployment","abstract":[{"text":"We present a computational inverse design framework for a new class of volumetric deployable structures that have compact rest states and deploy into bending-active 3D target surfaces. Umbrella meshes consist of elastic beams, rigid plates, and hinge joints that can be directly printed or assembled in a zero-energy fabrication state. During deployment, as the elastic beams of varying heights rotate from vertical to horizontal configurations, the entire structure transforms from a compact block into a target curved surface. Umbrella Meshes encode both intrinsic and extrinsic curvature of the target surface and in principle are free from the area expansion ratio bounds of past auxetic material systems.\r\nWe build a reduced physics-based simulation framework to accurately and efficiently model the complex interaction between the elastically deforming components. To determine the mesh topology and optimal shape parameters for approximating a given target surface, we propose an inverse design optimization algorithm initialized with conformal flattening. Our algorithm minimizes the structure's strain energy in its deployed state and optimizes actuation forces so that the final deployed structure is in stable equilibrium close to the desired surface with few or no external constraints. We validate our approach by fabricating a series of physical models at various scales using different manufacturing techniques.","lang":"eng"}],"publisher":"Association for Computing Machinery","publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"citation":{"ista":"Ren Y, Kusupati U, Panetta J, Isvoranu F, Pellis D, Chen T, Pauly M. 2022. Umbrella meshes: Elastic mechanisms for freeform shape deployment. ACM Transactions on Graphics. 41(4), 1–15.","chicago":"Ren, Yingying, Uday Kusupati, Julian Panetta, Florin Isvoranu, Davide Pellis, Tian Chen, and Mark Pauly. “Umbrella Meshes: Elastic Mechanisms for Freeform Shape Deployment.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2022. <a href=\"https://doi.org/10.1145/3528223.3530089\">https://doi.org/10.1145/3528223.3530089</a>.","ieee":"Y. Ren <i>et al.</i>, “Umbrella meshes: Elastic mechanisms for freeform shape deployment,” <i>ACM Transactions on Graphics</i>, vol. 41, no. 4. Association for Computing Machinery, pp. 1–15, 2022.","mla":"Ren, Yingying, et al. “Umbrella Meshes: Elastic Mechanisms for Freeform Shape Deployment.” <i>ACM Transactions on Graphics</i>, vol. 41, no. 4, Association for Computing Machinery, 2022, pp. 1–15, doi:<a href=\"https://doi.org/10.1145/3528223.3530089\">10.1145/3528223.3530089</a>.","short":"Y. Ren, U. Kusupati, J. Panetta, F. Isvoranu, D. Pellis, T. Chen, M. Pauly, ACM Transactions on Graphics 41 (2022) 1–15.","ama":"Ren Y, Kusupati U, Panetta J, et al. Umbrella meshes: Elastic mechanisms for freeform shape deployment. <i>ACM Transactions on Graphics</i>. 2022;41(4):1-15. doi:<a href=\"https://doi.org/10.1145/3528223.3530089\">10.1145/3528223.3530089</a>","apa":"Ren, Y., Kusupati, U., Panetta, J., Isvoranu, F., Pellis, D., Chen, T., &#38; Pauly, M. (2022). Umbrella meshes: Elastic mechanisms for freeform shape deployment. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3528223.3530089\">https://doi.org/10.1145/3528223.3530089</a>"},"issue":"4","doi":"10.1145/3528223.3530089","status":"public","date_updated":"2024-08-12T09:40:49Z","article_type":"original","extern":"1","date_created":"2024-08-05T06:30:07Z","_id":"17383","date_published":"2022-07-22T00:00:00Z","language":[{"iso":"eng"}],"year":"2022","oa_version":"None","page":"1-15","day":"22","scopus_import":"1","intvolume":"        41","article_processing_charge":"No","author":[{"full_name":"Ren, Yingying","last_name":"Ren","first_name":"Yingying","id":"93d68d10-3540-11ef-a265-f748a50dba3d"},{"first_name":"Uday","last_name":"Kusupati","full_name":"Kusupati, Uday"},{"full_name":"Panetta, Julian","last_name":"Panetta","first_name":"Julian"},{"full_name":"Isvoranu, Florin","last_name":"Isvoranu","first_name":"Florin"},{"full_name":"Pellis, Davide","last_name":"Pellis","first_name":"Davide"},{"last_name":"Chen","full_name":"Chen, Tian","first_name":"Tian"},{"first_name":"Mark","full_name":"Pauly, Mark","last_name":"Pauly"}],"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","volume":41,"publication":"ACM Transactions on Graphics","month":"07"},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3563345"}],"publication_identifier":{"issn":["2475-1421"]},"abstract":[{"text":"Low-level systems code often needs to interact with data, such as page table entries or network packet headers, in which multiple pieces of information are packaged together as bitfield components of a single machine integer and accessed via bitfield manipulations (e.g., shifts and masking). Most existing approaches to verifying such code employ SMT solvers, instantiated with theories for bit vector reasoning: these provide a powerful hammer, but also significantly increase the trusted computing base of the verification toolchain.\r\nIn this work, we propose an alternative approach to the verification of bitfield-manipulating systems code, which we call BFF. Building on the RefinedC framework, BFF is not only highly automated (as SMT-based approaches are) but also foundational---i.e., it produces a machine-checked proof of program correctness against a formal semantics for C programs, fully mechanized in Coq. Unlike SMT-based approaches, we do not try to solve the general problem of arbitrary bit vector reasoning, but rather observe that real systems code typically accesses bitfields using simple, well-understood programming patterns: the layout of a bit vector is known up front, and its bitfields are accessed in predictable ways through a handful of bitwise operations involving bit masks. Correspondingly, we center our approach around the concept of a structured bit vector---i.e., a bit vector with a known bitfield layout---which we use to drive simple and predictable automation. We validate the BFF approach by verifying a range of bitfield-manipulating C functions drawn from real systems code, including page table manipulation code from the Linux kernel and the pKVM hypervisor.","lang":"eng"}],"title":"BFF: Foundational and automated verification of bitfield-manipulating programs","quality_controlled":"1","publisher":"Association for Computing Machinery","oa":1,"article_type":"original","date_updated":"2024-09-10T09:49:18Z","status":"public","doi":"10.1145/3563345","year":"2022","_id":"17501","date_published":"2022-10-31T00:00:00Z","date_created":"2024-09-05T08:27:17Z","publication":"Proceedings of the ACM on Programming Languages","type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","day":"31","article_processing_charge":"No","issue":"OOPSLA2","citation":{"short":"F. Zhu, M.J. Sammler, R. Lepigre, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 6 (2022) 1613–1638.","ama":"Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. BFF: Foundational and automated verification of bitfield-manipulating programs. <i>Proceedings of the ACM on Programming Languages</i>. 2022;6(OOPSLA2):1613-1638. doi:<a href=\"https://doi.org/10.1145/3563345\">10.1145/3563345</a>","apa":"Zhu, F., Sammler, M. J., Lepigre, R., Dreyer, D., &#38; Garg, D. (2022). BFF: Foundational and automated verification of bitfield-manipulating programs. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3563345\">https://doi.org/10.1145/3563345</a>","ista":"Zhu F, Sammler MJ, Lepigre R, Dreyer D, Garg D. 2022. BFF: Foundational and automated verification of bitfield-manipulating programs. Proceedings of the ACM on Programming Languages. 6(OOPSLA2), 1613–1638.","ieee":"F. Zhu, M. J. Sammler, R. Lepigre, D. Dreyer, and D. Garg, “BFF: Foundational and automated verification of bitfield-manipulating programs,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 6, no. OOPSLA2. Association for Computing Machinery, pp. 1613–1638, 2022.","chicago":"Zhu, Fengmin, Michael Joachim Sammler, Rodolphe Lepigre, Derek Dreyer, and Deepak Garg. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2022. <a href=\"https://doi.org/10.1145/3563345\">https://doi.org/10.1145/3563345</a>.","mla":"Zhu, Fengmin, et al. “BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 6, no. OOPSLA2, Association for Computing Machinery, 2022, pp. 1613–38, doi:<a href=\"https://doi.org/10.1145/3563345\">10.1145/3563345</a>."},"extern":"1","oa_version":"Published Version","page":"1613-1638","language":[{"iso":"eng"}],"volume":6,"month":"10","author":[{"full_name":"Zhu, Fengmin","last_name":"Zhu","first_name":"Fengmin"},{"full_name":"Sammler, Michael Joachim","last_name":"Sammler","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim"},{"first_name":"Rodolphe","last_name":"Lepigre","full_name":"Lepigre, Rodolphe"},{"first_name":"Derek","full_name":"Dreyer, Derek","last_name":"Dreyer"},{"last_name":"Garg","full_name":"Garg, Deepak","first_name":"Deepak"}],"publication_status":"published","scopus_import":"1","intvolume":"         6"},{"title":"Islaris: Verification of machine code against authoritative ISA semantics","quality_controlled":"1","abstract":[{"lang":"eng","text":"Recent years have seen great advances towards verifying large-scale systems code. However, these verifications are usually based on hand-written assembly or machine-code semantics for the underlying architecture that only cover a small part of the instruction set architecture (ISA). In contrast, other recent work has used Sail to establish formal models for large real-world architectures, including Armv8-A and RISC-V, that are comprehensive (complete enough to boot an operating system or hypervisor) and authoritative (automatically derived from the Arm internal model and validated against the Arm validation suite, and adopted as the official formal specification by RISC-V International, respectively). But the scale and complexity of these models makes them challenging to use as a basis for verification.\r\nIn this paper, we propose Islaris, the first system to support verification of machine code above these complete and authoritative real-world ISA specifications. Islaris uses a novel combination of SMT-solver-based symbolic execution (the Isla symbolic executor) and automated reasoning in a foundational program logic (a new separation logic we derive using Iris in Coq). We show that this approach can handle Armv8-A and RISC-V machine code exercising a wide range of systems features, including installing and calling exception vectors, code parametric on a relocation address offset (from the production pKVM hypervisor); unaligned access faults; memory-mapped IO; and compiled C code using inline assembly and function pointers."}],"publisher":"Association for Computing Machinery","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3519939.3523434"}],"citation":{"ama":"Sammler MJ, Hammond A, Lepigre R, et al. Islaris: Verification of machine code against authoritative ISA semantics. In: <i>Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2022:825-840. doi:<a href=\"https://doi.org/10.1145/3519939.3523434\">10.1145/3519939.3523434</a>","apa":"Sammler, M. J., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., … Sewell, P. (2022). Islaris: Verification of machine code against authoritative ISA semantics. In <i>Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i> (pp. 825–840). San Diego, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3519939.3523434\">https://doi.org/10.1145/3519939.3523434</a>","short":"M.J. Sammler, A. Hammond, R. Lepigre, B. Campbell, J. Pichon-Pharabod, D. Dreyer, D. Garg, P. Sewell, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 825–840.","chicago":"Sammler, Michael Joachim, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” In <i>Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, 825–40. Association for Computing Machinery, 2022. <a href=\"https://doi.org/10.1145/3519939.3523434\">https://doi.org/10.1145/3519939.3523434</a>.","ieee":"M. J. Sammler <i>et al.</i>, “Islaris: Verification of machine code against authoritative ISA semantics,” in <i>Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, San Diego, CA, United States, 2022, pp. 825–840.","mla":"Sammler, Michael Joachim, et al. “Islaris: Verification of Machine Code against Authoritative ISA Semantics.” <i>Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2022, pp. 825–40, doi:<a href=\"https://doi.org/10.1145/3519939.3523434\">10.1145/3519939.3523434</a>.","ista":"Sammler MJ, Hammond A, Lepigre R, Campbell B, Pichon-Pharabod J, Dreyer D, Garg D, Sewell P. 2022. Islaris: Verification of machine code against authoritative ISA semantics. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Conference on Programming Language Design and Implementation, 825–840."},"status":"public","doi":"10.1145/3519939.3523434","date_updated":"2024-09-10T11:08:03Z","oa":1,"extern":"1","_id":"17502","date_published":"2022-06-09T00:00:00Z","date_created":"2024-09-05T08:29:08Z","oa_version":"Published Version","page":"825-840","language":[{"iso":"eng"}],"year":"2022","day":"09","scopus_import":"1","article_processing_charge":"No","month":"06","publication":"Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation","conference":{"name":"PLDI: Conference on Programming Language Design and Implementation","end_date":"2022-06-17","location":"San Diego, CA, United States","start_date":"2022-06-13"},"author":[{"last_name":"Sammler","full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim"},{"first_name":"Angus","full_name":"Hammond, Angus","last_name":"Hammond"},{"last_name":"Lepigre","full_name":"Lepigre, Rodolphe","first_name":"Rodolphe"},{"first_name":"Brian","last_name":"Campbell","full_name":"Campbell, Brian"},{"full_name":"Pichon-Pharabod, Jean","last_name":"Pichon-Pharabod","first_name":"Jean"},{"first_name":"Derek","last_name":"Dreyer","full_name":"Dreyer, Derek"},{"first_name":"Deepak","full_name":"Garg, Deepak","last_name":"Garg"},{"first_name":"Peter","full_name":"Sewell, Peter","last_name":"Sewell"}],"type":"conference","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"page":"1-32","oa_version":"Published Version","language":[{"iso":"eng"}],"volume":6,"month":"01","publication_status":"published","author":[{"full_name":"Lepigre, Rodolphe","last_name":"Lepigre","first_name":"Rodolphe"},{"id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim","full_name":"Sammler, Michael Joachim","last_name":"Sammler"},{"last_name":"Memarian","full_name":"Memarian, Kayvan","first_name":"Kayvan"},{"first_name":"Robbert","full_name":"Krebbers, Robbert","last_name":"Krebbers"},{"last_name":"Dreyer","full_name":"Dreyer, Derek","first_name":"Derek"},{"full_name":"Sewell, Peter","last_name":"Sewell","first_name":"Peter"}],"intvolume":"         6","scopus_import":"1","issue":"POPL","citation":{"chicago":"Lepigre, Rodolphe, Michael Joachim Sammler, Kayvan Memarian, Robbert Krebbers, Derek Dreyer, and Peter Sewell. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2022. <a href=\"https://doi.org/10.1145/3498681\">https://doi.org/10.1145/3498681</a>.","ieee":"R. Lepigre, M. J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, and P. Sewell, “VIP: Verifying real-world C idioms with integer-pointer casts,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 6, no. POPL. Association for Computing Machinery, pp. 1–32, 2022.","mla":"Lepigre, Rodolphe, et al. “VIP: Verifying Real-World C Idioms with Integer-Pointer Casts.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 6, no. POPL, Association for Computing Machinery, 2022, pp. 1–32, doi:<a href=\"https://doi.org/10.1145/3498681\">10.1145/3498681</a>.","ista":"Lepigre R, Sammler MJ, Memarian K, Krebbers R, Dreyer D, Sewell P. 2022. VIP: Verifying real-world C idioms with integer-pointer casts. Proceedings of the ACM on Programming Languages. 6(POPL), 1–32.","ama":"Lepigre R, Sammler MJ, Memarian K, Krebbers R, Dreyer D, Sewell P. VIP: Verifying real-world C idioms with integer-pointer casts. <i>Proceedings of the ACM on Programming Languages</i>. 2022;6(POPL):1-32. doi:<a href=\"https://doi.org/10.1145/3498681\">10.1145/3498681</a>","apa":"Lepigre, R., Sammler, M. J., Memarian, K., Krebbers, R., Dreyer, D., &#38; Sewell, P. (2022). VIP: Verifying real-world C idioms with integer-pointer casts. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3498681\">https://doi.org/10.1145/3498681</a>","short":"R. Lepigre, M.J. Sammler, K. Memarian, R. Krebbers, D. Dreyer, P. Sewell, Proceedings of the ACM on Programming Languages 6 (2022) 1–32."},"extern":"1","year":"2022","date_published":"2022-01-12T00:00:00Z","_id":"17503","date_created":"2024-09-05T08:31:09Z","publication":"Proceedings of the ACM on Programming Languages","type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_processing_charge":"No","day":"12","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3498681"}],"publication_identifier":{"issn":["2475-1421"]},"publisher":"Association for Computing Machinery","quality_controlled":"1","abstract":[{"text":"Systems code often requires fine-grained control over memory layout and pointers, expressed using low-level (e.g., bitwise) operations on pointer values. Since these operations go beyond what basic pointer arithmetic in C allows, they are performed with the help of integer-pointer casts. Prior work has explored increasingly realistic memory object models for C that account for the desired semantics of integer-pointer casts while also being sound w.r.t. compiler optimisations, culminating in PNVI, the preferred memory object model in ongoing discussions within the ISO WG14 C standards committee. However, its complexity makes it an unappealing target for verification, and no tools currently exist to verify C programs under PNVI.\r\nIn this paper, we introduce VIP, a new memory object model aimed at supporting C verification. VIP sidesteps the complexities of PNVI with a simple but effective idea: a new construct that lets programmers express the intended provenances of integer-pointer casts explicitly. At the same time, we prove VIP compatible with PNVI, thus enabling verification on top of VIP to benefit from PNVI’s validation with respect to practice. In particular, we build a verification tool, RefinedC-VIP, for verifying programs under VIP semantics. As the name suggests, RefinedC-VIP extends the recently developed RefinedC tool, which is automated yet also produces foundational proofs in Coq. We evaluate RefinedC-VIP on a range of systems-code idioms, and validate VIP’s expressiveness via an implementation in the Cerberus C semantics.","lang":"eng"}],"title":"VIP: Verifying real-world C idioms with integer-pointer casts","oa":1,"article_type":"original","doi":"10.1145/3498681","date_updated":"2024-09-10T09:48:57Z","status":"public"},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3498689"}],"publication_identifier":{"issn":["2475-1421"]},"quality_controlled":"1","title":"Simuliris: A separation logic framework for verifying concurrent program optimizations","abstract":[{"lang":"eng","text":"Today’s compilers employ a variety of non-trivial optimizations to achieve good performance. One key trick compilers use to justify transformations of concurrent programs is to assume that the source program has no data races: if it does, they cause the program to have undefined behavior (UB) and give the compiler free rein. However, verifying correctness of optimizations that exploit this assumption is a non-trivial problem. In particular, prior work either has not proven that such optimizations preserve program termination (particularly non-obvious when considering optimizations that move instructions out of loop bodies), or has treated all synchronization operations as external functions (losing the ability to reorder instructions around them).\r\nIn this work we present Simuliris, the first simulation technique to establish termination preservation (under a fair scheduler) for a range of concurrent program transformations that exploit UB in the source language. Simuliris is based on the idea of using ownership to reason modularly about the assumptions the compiler makes about programs with well-defined behavior. This brings the benefits of concurrent separation logics to the space of verifying program transformations: we can combine powerful reasoning techniques such as framing and coinduction to perform thread-local proofs of non-trivial concurrent program optimizations. Simuliris is built on a (non-step-indexed) variant of the Coq-based Iris framework, and is thus not tied to a particular language. In addition to demonstrating the effectiveness of Simuliris on standard compiler optimizations involving data race UB, we also instantiate it with Jung et al.’s Stacked Borrows semantics for Rust and generalize their proofs of interesting type-based aliasing optimizations to account for concurrency."}],"publisher":"Association for Computing Machinery","oa":1,"article_type":"original","date_updated":"2024-09-10T09:48:37Z","status":"public","doi":"10.1145/3498689","year":"2022","_id":"17504","date_published":"2022-01-12T00:00:00Z","date_created":"2024-09-05T08:32:16Z","publication":"Proceedings of the ACM on Programming Languages","type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","day":"12","article_processing_charge":"No","issue":"POPL","citation":{"ista":"Gäher L, Sammler MJ, Spies S, Jung R, Dang H-H, Krebbers R, Kang J, Dreyer D. 2022. Simuliris: A separation logic framework for verifying concurrent program optimizations. Proceedings of the ACM on Programming Languages. 6(POPL), 1–31.","ieee":"L. Gäher <i>et al.</i>, “Simuliris: A separation logic framework for verifying concurrent program optimizations,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 6, no. POPL. Association for Computing Machinery, pp. 1–31, 2022.","chicago":"Gäher, Lennard, Michael Joachim Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2022. <a href=\"https://doi.org/10.1145/3498689\">https://doi.org/10.1145/3498689</a>.","mla":"Gäher, Lennard, et al. “Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 6, no. POPL, Association for Computing Machinery, 2022, pp. 1–31, doi:<a href=\"https://doi.org/10.1145/3498689\">10.1145/3498689</a>.","short":"L. Gäher, M.J. Sammler, S. Spies, R. Jung, H.-H. Dang, R. Krebbers, J. Kang, D. Dreyer, Proceedings of the ACM on Programming Languages 6 (2022) 1–31.","ama":"Gäher L, Sammler MJ, Spies S, et al. Simuliris: A separation logic framework for verifying concurrent program optimizations. <i>Proceedings of the ACM on Programming Languages</i>. 2022;6(POPL):1-31. doi:<a href=\"https://doi.org/10.1145/3498689\">10.1145/3498689</a>","apa":"Gäher, L., Sammler, M. J., Spies, S., Jung, R., Dang, H.-H., Krebbers, R., … Dreyer, D. (2022). Simuliris: A separation logic framework for verifying concurrent program optimizations. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3498689\">https://doi.org/10.1145/3498689</a>"},"extern":"1","oa_version":"Published Version","page":"1-31","language":[{"iso":"eng"}],"volume":6,"month":"01","author":[{"first_name":"Lennard","full_name":"Gäher, Lennard","last_name":"Gäher"},{"id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim","full_name":"Sammler, Michael Joachim","last_name":"Sammler"},{"last_name":"Spies","full_name":"Spies, Simon","first_name":"Simon"},{"last_name":"Jung","full_name":"Jung, Ralf","first_name":"Ralf"},{"full_name":"Dang, Hoang-Hai","last_name":"Dang","first_name":"Hoang-Hai"},{"last_name":"Krebbers","full_name":"Krebbers, Robbert","first_name":"Robbert"},{"first_name":"Jeehoon","last_name":"Kang","full_name":"Kang, Jeehoon"},{"full_name":"Dreyer, Derek","last_name":"Dreyer","first_name":"Derek"}],"publication_status":"published","scopus_import":"1","intvolume":"         6"},{"extern":"1","issue":"10","article_number":"103010","citation":{"ista":"Davelaar J, Haiman Z. 2022. Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. Physical Review D. 105(10), 103010.","ieee":"J. Davelaar and Z. Haiman, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries,” <i>Physical Review D</i>, vol. 105, no. 10. American Physical Society (APS), 2022.","chicago":"Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” <i>Physical Review D</i>. American Physical Society (APS), 2022. <a href=\"https://doi.org/10.1103/physrevd.105.103010\">https://doi.org/10.1103/physrevd.105.103010</a>.","mla":"Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Black Hole Binaries.” <i>Physical Review D</i>, vol. 105, no. 10, 103010, American Physical Society (APS), 2022, doi:<a href=\"https://doi.org/10.1103/physrevd.105.103010\">10.1103/physrevd.105.103010</a>.","short":"J. Davelaar, Z. Haiman, Physical Review D 105 (2022).","ama":"Davelaar J, Haiman Z. Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. <i>Physical Review D</i>. 2022;105(10). doi:<a href=\"https://doi.org/10.1103/physrevd.105.103010\">10.1103/physrevd.105.103010</a>","apa":"Davelaar, J., &#38; Haiman, Z. (2022). Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries. <i>Physical Review D</i>. American Physical Society (APS). <a href=\"https://doi.org/10.1103/physrevd.105.103010\">https://doi.org/10.1103/physrevd.105.103010</a>"},"intvolume":"       105","scopus_import":"1","month":"05","volume":105,"publication_status":"published","author":[{"first_name":"Jordy","last_name":"Davelaar","full_name":"Davelaar, Jordy"},{"first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","full_name":"Haiman, Zoltán"}],"oa_version":"Published Version","language":[{"iso":"eng"}],"doi":"10.1103/physrevd.105.103010","date_updated":"2024-09-11T08:41:55Z","status":"public","oa":1,"article_type":"original","publisher":"American Physical Society (APS)","title":"Self-lensing flares from black hole binaries: General-relativistic ray tracing of black hole binaries","quality_controlled":"1","abstract":[{"lang":"eng","text":"The self-lensing of a massive black hole binary (MBHB), which occurs when the two BHs are aligned close to the line of sight, is expected to produce periodic, short-duration flares. Here we study the shapes of self-lensing flares (SLFs) via general-relativistic ray tracing in a superimposed binary BH metric, in which the emission is generated by geometrically thin accretion flows around each component. The suite of models covers eccentric binary orbits, black hole spins, unequal mass binaries, and different emission model geometries. We explore the above parameter space and report how the light curves change as a function of, e.g., binary separation, inclination, and eccentricity. We also compare our light curves to those in the microlensing approximation, and show how strong deflections, as well as time-delay effects, change the size and shape of the SLF. If gravitational waves (GWs) from the inspiraling MBHB are observed by LISA, SLFs can help securely identify the source and localizing it on the sky, and to constrain the graviton mass by comparing the phasing of the SLFs and the GWs. Additionally, when these systems are viewed edge-on the SLF shows a distinct dip that can be directly correlated with the BH shadow size. This opens a new way to measure BH shadow sizes in systems that are unresolvable by current VLBI facilities."}],"main_file_link":[{"url":"https://doi.org/10.1103/physrevd.105.103010","open_access":"1"}],"publication_identifier":{"issn":["2470-0010","2470-0029"]},"article_processing_charge":"No","day":"09","publication":"Physical Review D","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","date_published":"2022-05-09T00:00:00Z","_id":"17526","date_created":"2024-09-05T09:29:24Z","year":"2022"},{"date_updated":"2024-09-12T09:24:50Z","status":"public","doi":"10.1038/s41586-021-04333-1","arxiv":1,"oa":1,"article_type":"original","title":"AGN as potential factories for eccentric black hole mergers","abstract":[{"text":"There is some weak evidence that the black hole merger named GW190521 had a non-zero eccentricity. In addition, the component black holes' masses exceeded the limit predicted by stellar evolution. The large masses can be explained by successive mergers, which may be efficient in gas disks surrounding active galactic nuclei (AGN), but it is difficult to maintain an eccentric orbit all the way to the merger, as basic physics would argue for circularization. Here we show that AGN-disk environments can lead to an excess of eccentric mergers, if the interactions between single and binary black holes are frequent, and occur with mutual inclinations of less than a few degrees. We further illustrate that this eccentric population has a different distribution of the inclination between the spin vectors of the black holes and their orbital angular momentum at merger, referred to as the spin-orbit tilt, compared to the remaining circular mergers.","lang":"eng"}],"quality_controlled":"1","publisher":"Springer Science and Business Media LLC","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.2010.09765","open_access":"1"}],"publication_identifier":{"issn":["0028-0836","1476-4687"]},"day":"09","article_processing_charge":"No","publication":"Nature","type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","external_id":{"arxiv":["2010.09765"]},"_id":"17536","date_published":"2022-05-09T00:00:00Z","date_created":"2024-09-05T09:45:31Z","year":"2022","extern":"1","issue":"7900","citation":{"apa":"Samsing, J., Bartos, I., D’Orazio, D. J., Haiman, Z., Kocsis, B., Leigh, N. W. C., … Tagawa, H. (2022). AGN as potential factories for eccentric black hole mergers. <i>Nature</i>. Springer Science and Business Media LLC. <a href=\"https://doi.org/10.1038/s41586-021-04333-1\">https://doi.org/10.1038/s41586-021-04333-1</a>","ama":"Samsing J, Bartos I, D’Orazio DJ, et al. AGN as potential factories for eccentric black hole mergers. <i>Nature</i>. 2022;603(7900):237-240. doi:<a href=\"https://doi.org/10.1038/s41586-021-04333-1\">10.1038/s41586-021-04333-1</a>","short":"J. Samsing, I. Bartos, D.J. D’Orazio, Z. Haiman, B. Kocsis, N.W.C. Leigh, B. Liu, M.E. Pessah, H. Tagawa, Nature 603 (2022) 237–240.","mla":"Samsing, J., et al. “AGN as Potential Factories for Eccentric Black Hole Mergers.” <i>Nature</i>, vol. 603, no. 7900, Springer Science and Business Media LLC, 2022, pp. 237–40, doi:<a href=\"https://doi.org/10.1038/s41586-021-04333-1\">10.1038/s41586-021-04333-1</a>.","chicago":"Samsing, J., I. Bartos, D. J. D’Orazio, Zoltán Haiman, B. Kocsis, N. W. C. Leigh, B. Liu, M. E. Pessah, and H. Tagawa. “AGN as Potential Factories for Eccentric Black Hole Mergers.” <i>Nature</i>. Springer Science and Business Media LLC, 2022. <a href=\"https://doi.org/10.1038/s41586-021-04333-1\">https://doi.org/10.1038/s41586-021-04333-1</a>.","ieee":"J. Samsing <i>et al.</i>, “AGN as potential factories for eccentric black hole mergers,” <i>Nature</i>, vol. 603, no. 7900. Springer Science and Business Media LLC, pp. 237–240, 2022.","ista":"Samsing J, Bartos I, D’Orazio DJ, Haiman Z, Kocsis B, Leigh NWC, Liu B, Pessah ME, Tagawa H. 2022. AGN as potential factories for eccentric black hole mergers. Nature. 603(7900), 237–240."},"scopus_import":"1","intvolume":"       603","volume":603,"month":"05","author":[{"full_name":"Samsing, J.","last_name":"Samsing","first_name":"J."},{"last_name":"Bartos","full_name":"Bartos, I.","first_name":"I."},{"first_name":"D. J.","last_name":"D’Orazio","full_name":"D’Orazio, D. J."},{"full_name":"Haiman, Zoltán","last_name":"Haiman","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"},{"last_name":"Kocsis","full_name":"Kocsis, B.","first_name":"B."},{"first_name":"N. W. C.","last_name":"Leigh","full_name":"Leigh, N. W. C."},{"first_name":"B.","last_name":"Liu","full_name":"Liu, B."},{"last_name":"Pessah","full_name":"Pessah, M. E.","first_name":"M. E."},{"first_name":"H.","last_name":"Tagawa","full_name":"Tagawa, H."}],"publication_status":"published","oa_version":"Preprint","page":"237-240","language":[{"iso":"eng"}]},{"quality_controlled":"1","abstract":[{"text":"Supermassive black hole (BH) binaries are thought to produce self-lensing flares (SLFs) when the two BHs are aligned with the line of sight. If the binary orbit is observed nearly edge-on, we find a distinct feature in the light curve imprinted by the relativistic shadow around the background (“source”) BH. We study this feature by ray tracing in a binary model and predict that 1% of the current binary candidates could show this feature. Our BH tomography method proposed here could make it possible to extract BH shadows that are spatially unresolvable by high-resolution very long base line interferometry (VLBI).","lang":"eng"}],"title":"Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography","publisher":"American Physical Society","publication_identifier":{"issn":["0031-9007","1079-7114"]},"main_file_link":[{"url":" https://doi.org/10.48550/arXiv.2112.05829","open_access":"1"}],"arxiv":1,"doi":"10.1103/physrevlett.128.191101","status":"public","date_updated":"2024-09-18T09:24:54Z","article_type":"original","oa":1,"date_created":"2024-09-05T10:07:30Z","external_id":{"arxiv":["2112.05829"]},"_id":"17547","date_published":"2022-05-09T00:00:00Z","year":"2022","day":"09","article_processing_charge":"No","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","publication":"Physical Review Letters","citation":{"apa":"Davelaar, J., &#38; Haiman, Z. (2022). Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.128.191101\">https://doi.org/10.1103/physrevlett.128.191101</a>","ama":"Davelaar J, Haiman Z. Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography. <i>Physical Review Letters</i>. 2022;128(19). doi:<a href=\"https://doi.org/10.1103/physrevlett.128.191101\">10.1103/physrevlett.128.191101</a>","short":"J. Davelaar, Z. Haiman, Physical Review Letters 128 (2022).","mla":"Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” <i>Physical Review Letters</i>, vol. 128, no. 19, 191101, American Physical Society, 2022, doi:<a href=\"https://doi.org/10.1103/physrevlett.128.191101\">10.1103/physrevlett.128.191101</a>.","chicago":"Davelaar, Jordy, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries: Observing Black Hole Shadows via Light Curve Tomography.” <i>Physical Review Letters</i>. American Physical Society, 2022. <a href=\"https://doi.org/10.1103/physrevlett.128.191101\">https://doi.org/10.1103/physrevlett.128.191101</a>.","ieee":"J. Davelaar and Z. Haiman, “Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography,” <i>Physical Review Letters</i>, vol. 128, no. 19. American Physical Society, 2022.","ista":"Davelaar J, Haiman Z. 2022. Self-Lensing flares from black hole binaries: Observing black hole shadows via light curve tomography. Physical Review Letters. 128(19), 191101."},"article_number":"191101","issue":"19","extern":"1","language":[{"iso":"eng"}],"oa_version":"Preprint","scopus_import":"1","intvolume":"       128","author":[{"first_name":"Jordy","last_name":"Davelaar","full_name":"Davelaar, Jordy"},{"full_name":"Haiman, Zoltán","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán"}],"publication_status":"published","month":"05","volume":128},{"intvolume":"       932","scopus_import":"1","month":"06","volume":932,"publication_status":"published","author":[{"first_name":"Christopher","full_name":"Tiede, Christopher","last_name":"Tiede"},{"first_name":"Jonathan","last_name":"Zrake","full_name":"Zrake, Jonathan"},{"first_name":"Andrew","full_name":"MacFadyen, Andrew","last_name":"MacFadyen"},{"last_name":"Haiman","full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"}],"oa_version":"Published Version","language":[{"iso":"eng"}],"extern":"1","issue":"1","article_number":"24","citation":{"mla":"Tiede, Christopher, et al. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.” <i>The Astrophysical Journal</i>, vol. 932, no. 1, 24, American Astronomical Society, 2022, doi:<a href=\"https://doi.org/10.3847/1538-4357/ac6c2b\">10.3847/1538-4357/ac6c2b</a>.","ieee":"C. Tiede, J. Zrake, A. MacFadyen, and Z. Haiman, “How binaries accrete: Hydrodynamic simulations with passive tracer particles,” <i>The Astrophysical Journal</i>, vol. 932, no. 1. American Astronomical Society, 2022.","chicago":"Tiede, Christopher, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman. “How Binaries Accrete: Hydrodynamic Simulations with Passive Tracer Particles.” <i>The Astrophysical Journal</i>. American Astronomical Society, 2022. <a href=\"https://doi.org/10.3847/1538-4357/ac6c2b\">https://doi.org/10.3847/1538-4357/ac6c2b</a>.","ista":"Tiede C, Zrake J, MacFadyen A, Haiman Z. 2022. How binaries accrete: Hydrodynamic simulations with passive tracer particles. The Astrophysical Journal. 932(1), 24.","apa":"Tiede, C., Zrake, J., MacFadyen, A., &#38; Haiman, Z. (2022). How binaries accrete: Hydrodynamic simulations with passive tracer particles. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/1538-4357/ac6c2b\">https://doi.org/10.3847/1538-4357/ac6c2b</a>","ama":"Tiede C, Zrake J, MacFadyen A, Haiman Z. How binaries accrete: Hydrodynamic simulations with passive tracer particles. <i>The Astrophysical Journal</i>. 2022;932(1). doi:<a href=\"https://doi.org/10.3847/1538-4357/ac6c2b\">10.3847/1538-4357/ac6c2b</a>","short":"C. Tiede, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 932 (2022)."},"article_processing_charge":"No","day":"13","publication":"The Astrophysical Journal","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","date_published":"2022-06-13T00:00:00Z","_id":"17553","date_created":"2024-09-05T10:17:13Z","year":"2022","date_updated":"2024-09-18T10:18:01Z","status":"public","doi":"10.3847/1538-4357/ac6c2b","oa":1,"article_type":"original","publisher":"American Astronomical Society","quality_controlled":"1","title":"How binaries accrete: Hydrodynamic simulations with passive tracer particles","abstract":[{"lang":"eng","text":"Linear analysis of gas flows around orbiting binaries suggests that a centrifugal barrier ought to clear a low-density cavity around the binary and inhibit mass transfer onto it. Modern hydrodynamics simulations have confirmed the low-density cavity, but show that any mass flowing from large scales into the circumbinary disk is eventually transferred onto the binary components. Even though many numerical studies confirm this picture, it is still not understood precisely how gas parcels overcome the centrifugal barrier and ultimately accrete. We present a detailed analysis of the binary accretion process, using an accurate prescription for evolving grid-based hydrodynamics with Lagrangian tracer particles that track the trajectories of individual gas parcels. We find that binary accretion can be described in four phases: (1) gas is viscously transported through the circumbinary disk up to the centrifugal barrier at the cavity wall, (2) the cavity wall is tidally distorted into accretion streams consisting of near-ballistic gas parcels on eccentric orbits, (3) the portion of each stream moving inwards of an ``accretion horizon'' radius r¯≃a -- the radius beyond which no material is returned to the cavity wall -- becomes bound to a minidisk orbiting an individual binary component, and (4) the minidisk gas accretes onto the binary component through the combined effect of viscous and tidal stresses."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/1538-4357/ac6c2b"}],"publication_identifier":{"issn":["0004-637X","1538-4357"]}},{"article_type":"original","oa":1,"date_updated":"2024-09-18T12:31:26Z","doi":"10.3847/1538-4357/ac7daa","status":"public","publication_identifier":{"issn":["0004-637X","1538-4357"]},"main_file_link":[{"url":"https://doi.org/10.3847/1538-4357/ac7daa","open_access":"1"}],"title":"Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts","abstract":[{"text":"Observations of the most luminous quasars at high redshifts (z>6) have revealed that the largest supermassive black holes (SMBHs) at those epochs tend to be substantially overmassive relative to their host galaxies compared to the local relations, suggesting they experienced rapid early growth phases. We propose an assembly model for the SMBHs that end up in rare massive ∼1012 M⊙ host halos at z∼6−7, applying a kinetic feedback prescription for BHs accreting above the Eddington rate, provided by radiation hydrodynamic simulations for the long-term evolution of the accretion-flow structure. The large inflow rates into these halos during their assembly enable the formation of >109 M⊙ SMBHs by z∼6, even starting from stellar-mass seeds at z∼30, and even in the presence of outflows that reduce the BH feeding rate, especially at early times. This mechanism also naturally yields a high BH-to-galaxy mass ratio of >0.01 before the SMBH mass reaches MBH>109 M⊙ by z∼6. These fast-growing SMBH progenitors are bright enough to be detected by upcoming observations with the James Webb Space Telescope over a wide range of redshift (7<z<15), regardless of how they were seeded.","lang":"eng"}],"quality_controlled":"1","publisher":"American Astronomical Society","type":"journal_article","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"The Astrophysical Journal","day":"23","article_processing_charge":"No","year":"2022","date_created":"2024-09-05T12:00:42Z","_id":"17560","date_published":"2022-08-23T00:00:00Z","extern":"1","citation":{"short":"H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, R. Kuiper, The Astrophysical Journal 935 (2022).","ama":"Hu H, Inayoshi K, Haiman Z, Li W, Quataert E, Kuiper R. Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts. <i>The Astrophysical Journal</i>. 2022;935(2). doi:<a href=\"https://doi.org/10.3847/1538-4357/ac7daa\">10.3847/1538-4357/ac7daa</a>","apa":"Hu, H., Inayoshi, K., Haiman, Z., Li, W., Quataert, E., &#38; Kuiper, R. (2022). Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/1538-4357/ac7daa\">https://doi.org/10.3847/1538-4357/ac7daa</a>","ista":"Hu H, Inayoshi K, Haiman Z, Li W, Quataert E, Kuiper R. 2022. Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts. The Astrophysical Journal. 935(2), 140.","ieee":"H. Hu, K. Inayoshi, Z. Haiman, W. Li, E. Quataert, and R. Kuiper, “Supercritical growth pathway to overmassive black holes at cosmic dawn: Coevolution with massive quasar hosts,” <i>The Astrophysical Journal</i>, vol. 935, no. 2. American Astronomical Society, 2022.","chicago":"Hu, Haojie, Kohei Inayoshi, Zoltán Haiman, Wenxiu Li, Eliot Quataert, and Rolf Kuiper. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” <i>The Astrophysical Journal</i>. American Astronomical Society, 2022. <a href=\"https://doi.org/10.3847/1538-4357/ac7daa\">https://doi.org/10.3847/1538-4357/ac7daa</a>.","mla":"Hu, Haojie, et al. “Supercritical Growth Pathway to Overmassive Black Holes at Cosmic Dawn: Coevolution with Massive Quasar Hosts.” <i>The Astrophysical Journal</i>, vol. 935, no. 2, 140, American Astronomical Society, 2022, doi:<a href=\"https://doi.org/10.3847/1538-4357/ac7daa\">10.3847/1538-4357/ac7daa</a>."},"article_number":"140","issue":"2","author":[{"last_name":"Hu","full_name":"Hu, Haojie","first_name":"Haojie"},{"first_name":"Kohei","full_name":"Inayoshi, Kohei","last_name":"Inayoshi"},{"full_name":"Haiman, Zoltán","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán"},{"first_name":"Wenxiu","full_name":"Li, Wenxiu","last_name":"Li"},{"full_name":"Quataert, Eliot","last_name":"Quataert","first_name":"Eliot"},{"full_name":"Kuiper, Rolf","last_name":"Kuiper","first_name":"Rolf"}],"publication_status":"published","volume":935,"month":"08","scopus_import":"1","intvolume":"       935","language":[{"iso":"eng"}],"oa_version":"Published Version"},{"day":"07","article_processing_charge":"No","publication":"The Astrophysical Journal Letters","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","type":"journal_article","_id":"17561","date_published":"2022-07-07T00:00:00Z","date_created":"2024-09-05T12:01:54Z","year":"2022","status":"public","doi":"10.3847/2041-8213/ac7c0b","date_updated":"2024-09-18T12:38:14Z","oa":1,"article_type":"original","title":"Tidal disruption on stellar-mass black holes in active galactic nuclei","quality_controlled":"1","abstract":[{"text":"Active galactic nuclei (AGNs) can funnel stars and stellar remnants from the vicinity of the galactic center into the inner plane of the AGN disk. Stars reaching this inner region can be tidally disrupted by the stellar-mass black holes in the disk. Such micro tidal disruption events (micro-TDEs) could be a useful probe of stellar interaction with the AGN disk. We find that micro-TDEs in AGNs occur at a rate of ∼170 Gpc−3 yr−1. Their cleanest observational probe may be the electromagnetic detection of tidal disruption in AGNs by heavy supermassive black holes (M• ≳ 108 M⊙) that cannot tidally disrupt solar-type stars. The reconstructed rate of such events from observations, nonetheless, appears to be much lower than our estimated micro-TDE rate. We discuss two such micro-TDE candidates observed to date (ASASSN-15lh and ZTF19aailpwl).","lang":"eng"}],"publisher":"American Astronomical Society","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/2041-8213/ac7c0b"}],"publication_identifier":{"issn":["2041-8205","2041-8213"]},"scopus_import":"1","intvolume":"       933","month":"07","volume":933,"author":[{"last_name":"Yang","full_name":"Yang, Y.","first_name":"Y."},{"full_name":"Bartos, I.","last_name":"Bartos","first_name":"I."},{"last_name":"Fragione","full_name":"Fragione, G.","first_name":"G."},{"last_name":"Haiman","full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"},{"last_name":"Kowalski","full_name":"Kowalski, M.","first_name":"M."},{"first_name":"S.","last_name":"Márka","full_name":"Márka, S."},{"first_name":"R.","full_name":"Perna, R.","last_name":"Perna"},{"first_name":"H.","full_name":"Tagawa, H.","last_name":"Tagawa"}],"publication_status":"published","oa_version":"Published Version","language":[{"iso":"eng"}],"extern":"1","issue":"2","citation":{"ama":"Yang Y, Bartos I, Fragione G, et al. Tidal disruption on stellar-mass black holes in active galactic nuclei. <i>The Astrophysical Journal Letters</i>. 2022;933(2). doi:<a href=\"https://doi.org/10.3847/2041-8213/ac7c0b\">10.3847/2041-8213/ac7c0b</a>","apa":"Yang, Y., Bartos, I., Fragione, G., Haiman, Z., Kowalski, M., Márka, S., … Tagawa, H. (2022). Tidal disruption on stellar-mass black holes in active galactic nuclei. <i>The Astrophysical Journal Letters</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/2041-8213/ac7c0b\">https://doi.org/10.3847/2041-8213/ac7c0b</a>","short":"Y. Yang, I. Bartos, G. Fragione, Z. Haiman, M. Kowalski, S. Márka, R. Perna, H. Tagawa, The Astrophysical Journal Letters 933 (2022).","ieee":"Y. Yang <i>et al.</i>, “Tidal disruption on stellar-mass black holes in active galactic nuclei,” <i>The Astrophysical Journal Letters</i>, vol. 933, no. 2. American Astronomical Society, 2022.","chicago":"Yang, Y., I. Bartos, G. Fragione, Zoltán Haiman, M. Kowalski, S. Márka, R. Perna, and H. Tagawa. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.” <i>The Astrophysical Journal Letters</i>. American Astronomical Society, 2022. <a href=\"https://doi.org/10.3847/2041-8213/ac7c0b\">https://doi.org/10.3847/2041-8213/ac7c0b</a>.","mla":"Yang, Y., et al. “Tidal Disruption on Stellar-Mass Black Holes in Active Galactic Nuclei.” <i>The Astrophysical Journal Letters</i>, vol. 933, no. 2, L28, American Astronomical Society, 2022, doi:<a href=\"https://doi.org/10.3847/2041-8213/ac7c0b\">10.3847/2041-8213/ac7c0b</a>.","ista":"Yang Y, Bartos I, Fragione G, Haiman Z, Kowalski M, Márka S, Perna R, Tagawa H. 2022. Tidal disruption on stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 933(2), L28."},"article_number":"L28"}]