[{"article_type":"letter_note","fulldoi":"https://doi.org/10.1103/PhysRevB.104.L081112","date_published":"2021-08-15T00:00:00Z","abstract":[{"lang":"eng","text":"The notion of Thouless energy plays a central role in the theory of Anderson localization. We investigate and compare the scaling of Thouless energy across the many-body localization (MBL) transition in a Floquet model. We use a combination of methods that are reliable on the ergodic side of the transition (e.g., spectral form factor) and methods that work on the MBL side (e.g., typical matrix elements of local operators) to obtain a complete picture of the Thouless energy behavior across the transition. On the ergodic side, Thouless energy decreases slowly with the system size, while at the transition it becomes comparable to the level spacing. Different probes yield consistent estimates of Thouless energy in their overlapping regime of applicability, giving the location of the transition point nearly free of finite-size drift. This work establishes a connection between different definitions of Thouless energy in a many-body setting and yields insights into the MBL transition in Floquet systems."}],"ec_funded":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_updated":"2025-04-14T07:52:05Z","intvolume":"       104","issue":"8","external_id":{"arxiv":["2012.15676"],"isi":["000689734500009"]},"publisher":"American Physical Society","year":"2021","citation":{"chicago":"Sonner, Michael, Maksym Serbyn, Zlatko Papić, and Dmitry A. Abanin. “Thouless Energy across the Many-Body Localization Transition in Floquet Systems.” <i>Physical Review B</i>. American Physical Society, 2021. <a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">https://doi.org/10.1103/PhysRevB.104.L081112</a>.","short":"M. Sonner, M. Serbyn, Z. Papić, D.A. Abanin, Physical Review B 104 (2021).","mla":"Sonner, Michael, et al. “Thouless Energy across the Many-Body Localization Transition in Floquet Systems.” <i>Physical Review B</i>, vol. 104, no. 8, L081112, American Physical Society, 2021, doi:<a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">10.1103/PhysRevB.104.L081112</a>.","ista":"Sonner M, Serbyn M, Papić Z, Abanin DA. 2021. Thouless energy across the many-body localization transition in Floquet systems. Physical Review B. 104(8), L081112.","ama":"Sonner M, Serbyn M, Papić Z, Abanin DA. Thouless energy across the many-body localization transition in Floquet systems. <i>Physical Review B</i>. 2021;104(8). doi:<a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">10.1103/PhysRevB.104.L081112</a>","apa":"Sonner, M., Serbyn, M., Papić, Z., &#38; Abanin, D. A. (2021). Thouless energy across the many-body localization transition in Floquet systems. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.104.L081112\">https://doi.org/10.1103/PhysRevB.104.L081112</a>","ieee":"M. Sonner, M. Serbyn, Z. Papić, and D. A. Abanin, “Thouless energy across the many-body localization transition in Floquet systems,” <i>Physical Review B</i>, vol. 104, no. 8. American Physical Society, 2021."},"acknowledgement":"We thank S. Garratt for useful comments on the manuscript. This work was supported by the Swiss National Science Foundation (M. Sonner and D.A.A.) and by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (M. Serbyn, Grant Agreement No. 850899, and D.A.A., Grant Agreement No. 864597). Z.P. acknowledges support from EPSRC Grant No. EP/R020612/1 and from Leverhulme Trust Research Leadership Award No. RL-2019-015. The computations were performed on the Baobab cluster of the University\r\nof Geneva.","isi":1,"day":"15","arxiv":1,"oa_version":"Submitted Version","status":"public","_id":"9961","article_number":"L081112","type":"journal_article","main_file_link":[{"url":"https://arxiv.org/abs/2012.15676","open_access":"1"}],"doi":"10.1103/PhysRevB.104.L081112","oa":1,"title":"Thouless energy across the many-body localization transition in Floquet systems","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"author":[{"first_name":"Michael","full_name":"Sonner, Michael","last_name":"Sonner"},{"id":"47809E7E-F248-11E8-B48F-1D18A9856A87","last_name":"Serbyn","full_name":"Serbyn, Maksym","first_name":"Maksym","orcid":"0000-0002-2399-5827"},{"first_name":"Zlatko","last_name":"Papić","full_name":"Papić, Zlatko"},{"first_name":"Dmitry A.","full_name":"Abanin, Dmitry A.","last_name":"Abanin"}],"publication":"Physical Review B","scopus_import":"1","quality_controlled":"1","project":[{"grant_number":"850899","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","call_identifier":"H2020"}],"article_processing_charge":"No","date_created":"2021-08-28T16:44:55Z","month":"08","publication_status":"published","language":[{"iso":"eng"}],"department":[{"_id":"MaSe"}],"volume":104},{"date_updated":"2026-04-07T13:29:44Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","abstract":[{"lang":"eng","text":"Payment channel networks are a promising approach to improve the scalability of cryptocurrencies: they allow to perform transactions in a peer-to-peer fashion, along multihop routes in the network, without requiring consensus on the blockchain. However, during the discovery of cost-efficient routes for the transaction, critical information may be revealed about the transacting entities. This paper initiates the study of privacy-preserving route discovery mechanisms for payment channel networks. In particular, we present LightPIR, an approach which allows a client to learn the shortest (or cheapest in terms of fees) path between two nodes without revealing any information about the endpoints of the transaction to the servers. The two main observations which allow for an efficient solution in LightPIR are that: (1) surprisingly, hub labelling algorithms – which were developed to preprocess “street network like” graphs so one can later efficiently compute shortest paths – also perform well for the graphs underlying payment channel networks, and that (2) hub labelling algorithms can be conveniently combined with private information retrieval. LightPIR relies on a simple hub labeling heuristic on top of existing hub labeling algorithms which leverages the specific topological features of cryptocurrency networks to further minimize storage and bandwidth overheads. In a case study considering the Lightning network, we show that our approach is an order of magnitude more efficient compared to a privacy-preserving baseline based on using private information retrieval on a database that stores all pairs shortest paths."}],"ec_funded":1,"date_published":"2021-06-21T00:00:00Z","fulldoi":"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205","status":"public","_id":"9969","oa_version":"Submitted Version","isi":1,"day":"21","arxiv":1,"publisher":"IEEE","citation":{"ieee":"K. Z. Pietrzak, I. Salem, S. Schmid, and M. X. Yeo, “LightPIR: Privacy-preserving route discovery for payment channel networks,” presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland, 2021.","apa":"Pietrzak, K. Z., Salem, I., Schmid, S., &#38; Yeo, M. X. (2021). LightPIR: Privacy-preserving route discovery for payment channel networks. Presented at the 2021 IFIP Networking Conference (IFIP Networking), Espoo and Helsinki, Finland: IEEE. <a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">https://doi.org/10.23919/IFIPNetworking52078.2021.9472205</a>","ista":"Pietrzak KZ, Salem I, Schmid S, Yeo MX. 2021. LightPIR: Privacy-preserving route discovery for payment channel networks. 2021 IFIP Networking Conference (IFIP Networking).","ama":"Pietrzak KZ, Salem I, Schmid S, Yeo MX. LightPIR: Privacy-preserving route discovery for payment channel networks. In: IEEE; 2021. doi:<a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">10.23919/IFIPNetworking52078.2021.9472205</a>","mla":"Pietrzak, Krzysztof Z., et al. <i>LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks</i>. IEEE, 2021, doi:<a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">10.23919/IFIPNetworking52078.2021.9472205</a>.","short":"K.Z. Pietrzak, I. Salem, S. Schmid, M.X. Yeo, in:, IEEE, 2021.","chicago":"Pietrzak, Krzysztof Z, Iosif Salem, Stefan Schmid, and Michelle X Yeo. “LightPIR: Privacy-Preserving Route Discovery for Payment Channel Networks.” IEEE, 2021. <a href=\"https://doi.org/10.23919/IFIPNetworking52078.2021.9472205\">https://doi.org/10.23919/IFIPNetworking52078.2021.9472205</a>."},"year":"2021","external_id":{"arxiv":["2104.04293"],"isi":["000853016800008"]},"conference":{"name":"2021 IFIP Networking Conference (IFIP Networking)","end_date":"2021-06-24","location":"Espoo and Helsinki, Finland","start_date":"2021-06-21"},"scopus_import":"1","author":[{"full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z"},{"first_name":"Iosif","full_name":"Salem, Iosif","last_name":"Salem"},{"first_name":"Stefan","full_name":"Schmid, Stefan","last_name":"Schmid"},{"full_name":"Yeo, Michelle X","last_name":"Yeo","id":"2D82B818-F248-11E8-B48F-1D18A9856A87","orcid":"0009-0001-3676-4809","first_name":"Michelle X"}],"oa":1,"title":"LightPIR: Privacy-preserving route discovery for payment channel networks","publication_identifier":{"eissn":["1861-2288"],"eisbn":["978-3-9031-7639-3"],"isbn":["978-1-6654-4501-6"]},"type":"conference","doi":"10.23919/IFIPNetworking52078.2021.9472205","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.04293"}],"publication_status":"published","department":[{"_id":"KrPi"}],"language":[{"iso":"eng"}],"month":"06","article_processing_charge":"No","date_created":"2021-08-29T22:01:16Z","project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","name":"Teaching Old Crypto New Tricks","call_identifier":"H2020","grant_number":"682815"}],"quality_controlled":"1","related_material":{"record":[{"relation":"dissertation_contains","id":"14506","status":"public"}]}},{"date_published":"2021-08-30T00:00:00Z","has_accepted_license":"1","ddc":["621"],"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)"},"keyword":["Mathematical Physics","Statistical and Nonlinear Physics"],"article_type":"original","fulldoi":"https://doi.org/10.1007/s00220-021-04199-4","date_updated":"2025-06-12T06:30:13Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2021-09-08T09:46:34Z","ec_funded":1,"abstract":[{"text":"In this article we introduce a complete gradient estimate for symmetric quantum Markov semigroups on von Neumann algebras equipped with a normal faithful tracial state, which implies semi-convexity of the entropy with respect to the recently introduced noncommutative 2-Wasserstein distance. We show that this complete gradient estimate is stable under tensor products and free products and establish its validity for a number of examples. As an application we prove a complete modified logarithmic Sobolev inequality with optimal constant for Poisson-type semigroups on free group factors.","lang":"eng"}],"external_id":{"pmid":["34776525"],"isi":["000691214200001"],"arxiv":["2007.13506"]},"intvolume":"       387","file":[{"relation":"main_file","checksum":"8a602f916b1c2b0dc1159708b7cb204b","access_level":"open_access","creator":"cchlebak","date_updated":"2021-09-08T09:46:34Z","content_type":"application/pdf","file_id":"9990","file_size":505971,"date_created":"2021-09-08T07:34:24Z","file_name":"2021_CommunMathPhys_Wirth.pdf"}],"status":"public","_id":"9973","oa_version":"Published Version","isi":1,"arxiv":1,"day":"30","publisher":"Springer Nature","year":"2021","citation":{"chicago":"Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum Markov Semigroups.” <i>Communications in Mathematical Physics</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00220-021-04199-4\">https://doi.org/10.1007/s00220-021-04199-4</a>.","short":"M. Wirth, H. Zhang, Communications in Mathematical Physics 387 (2021) 761–791.","mla":"Wirth, Melchior, and Haonan Zhang. “Complete Gradient Estimates of Quantum Markov Semigroups.” <i>Communications in Mathematical Physics</i>, vol. 387, Springer Nature, 2021, pp. 761–791, doi:<a href=\"https://doi.org/10.1007/s00220-021-04199-4\">10.1007/s00220-021-04199-4</a>.","ama":"Wirth M, Zhang H. Complete gradient estimates of quantum Markov semigroups. <i>Communications in Mathematical Physics</i>. 2021;387:761–791. doi:<a href=\"https://doi.org/10.1007/s00220-021-04199-4\">10.1007/s00220-021-04199-4</a>","ista":"Wirth M, Zhang H. 2021. Complete gradient estimates of quantum Markov semigroups. Communications in Mathematical Physics. 387, 761–791.","ieee":"M. Wirth and H. Zhang, “Complete gradient estimates of quantum Markov semigroups,” <i>Communications in Mathematical Physics</i>, vol. 387. Springer Nature, pp. 761–791, 2021.","apa":"Wirth, M., &#38; Zhang, H. (2021). Complete gradient estimates of quantum Markov semigroups. <i>Communications in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00220-021-04199-4\">https://doi.org/10.1007/s00220-021-04199-4</a>"},"acknowledgement":"Both authors would like to thank Jan Maas for fruitful discussions and helpful comments.","title":"Complete gradient estimates of quantum Markov semigroups","oa":1,"pmid":1,"publication_identifier":{"eissn":["1432-0916"],"issn":["0010-3616"]},"type":"journal_article","doi":"10.1007/s00220-021-04199-4","corr_author":"1","scopus_import":"1","publication":"Communications in Mathematical Physics","author":[{"full_name":"Wirth, Melchior","last_name":"Wirth","id":"88644358-0A0E-11EA-8FA5-49A33DDC885E","first_name":"Melchior","orcid":"0000-0002-0519-4241"},{"id":"D8F41E38-9E66-11E9-A9E2-65C2E5697425","last_name":"Zhang","full_name":"Zhang, Haonan","first_name":"Haonan"}],"article_processing_charge":"Yes (via OA deal)","date_created":"2021-08-30T10:07:44Z","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"},{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"},{"name":"Taming Complexity in Partial Differential Systems","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","grant_number":"F6504"}],"quality_controlled":"1","page":"761–791","publication_status":"published","department":[{"_id":"JaMa"}],"volume":387,"language":[{"iso":"eng"}],"month":"08"},{"file":[{"creator":"cchlebak","content_type":"application/pdf","date_updated":"2021-08-31T14:02:19Z","access_level":"open_access","checksum":"1878e91c29d5769ed5a827b0b7addf00","relation":"main_file","date_created":"2021-08-31T14:02:19Z","file_size":1019662,"file_name":"2021_ResearchSquare_Cao.pdf","success":1,"file_id":"9979"}],"publisher":"Research Square","acknowledgement":"This work was financially supported by the National Natural Science Foundation of China (51773092, 21975124, 11874254, 51802187, U2030206). S.A.F. is indebted to IST Austria for support. ","citation":{"apa":"Cao, D., Shen, X., Wang, A., Yu, F., Wu, Y., Shi, S., … Chen, Y. (n.d.). Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. <i>Research Square</i>. Research Square. <a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">https://doi.org/10.21203/rs.3.rs-750965/v1</a>","ieee":"D. Cao <i>et al.</i>, “Sharp kinetic acceleration potentials during mediated redox catalysis of insulators,” <i>Research Square</i>. Research Square.","ama":"Cao D, Shen X, Wang A, et al. Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. <i>Research Square</i>. doi:<a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">10.21203/rs.3.rs-750965/v1</a>","ista":"Cao D, Shen X, Wang A, Yu F, Wu Y, Shi S, Freunberger SA, Chen Y. Sharp kinetic acceleration potentials during mediated redox catalysis of insulators. Research Square, <a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">10.21203/rs.3.rs-750965/v1</a>.","short":"D. Cao, X. Shen, A. Wang, F. Yu, Y. Wu, S. Shi, S.A. Freunberger, Y. Chen, Research Square (n.d.).","mla":"Cao, Deqing, et al. “Sharp Kinetic Acceleration Potentials during Mediated Redox Catalysis of Insulators.” <i>Research Square</i>, Research Square, doi:<a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">10.21203/rs.3.rs-750965/v1</a>.","chicago":"Cao, Deqing, Xiaoxiao Shen, Aiping Wang, Fengjiao Yu, Yuping Wu, Siqi Shi, Stefan Alexander Freunberger, and Yuhui Chen. “Sharp Kinetic Acceleration Potentials during Mediated Redox Catalysis of Insulators.” <i>Research Square</i>. Research Square, n.d. <a href=\"https://doi.org/10.21203/rs.3.rs-750965/v1\">https://doi.org/10.21203/rs.3.rs-750965/v1</a>."},"year":"2021","day":"18","oa_version":"Preprint","_id":"9978","status":"public","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)"},"keyword":["Catalysis","Energy engineering","Materials theory and modeling"],"fulldoi":"https://doi.org/10.21203/rs.3.rs-750965/v1","date_published":"2021-08-18T00:00:00Z","has_accepted_license":"1","ddc":["541"],"abstract":[{"text":"Redox mediators could catalyse otherwise slow and energy-inefficient cycling of Li-S and Li-O 2 batteries by shuttling electrons/holes between the electrode and the solid insulating storage materials. For mediators to work efficiently they need to oxidize the solid with fast kinetics yet the lowest possible overpotential. Here, we found that when the redox potentials of mediators are tuned via, e.g., 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 mediators 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 requires therefore carefully considering the surface conditions of the storage materials and electrolyte-dependent redox potentials, which may be tuned by salt concentrations or solvents.","lang":"eng"}],"file_date_updated":"2021-08-31T14:02:19Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-10-09T21:01:46Z","related_material":{"record":[{"id":"10813","relation":"later_version","status":"public"}]},"article_processing_charge":"No","date_created":"2021-08-31T12:54:16Z","month":"08","publication_status":"submitted","language":[{"iso":"eng"}],"department":[{"_id":"StFr"}],"page":"21","type":"preprint","doi":"10.21203/rs.3.rs-750965/v1","oa":1,"title":"Sharp kinetic acceleration potentials during mediated redox catalysis of insulators","publication_identifier":{"eissn":["2693-5015"]},"author":[{"full_name":"Cao, Deqing","last_name":"Cao","first_name":"Deqing"},{"first_name":"Xiaoxiao","full_name":"Shen, Xiaoxiao","last_name":"Shen"},{"last_name":"Wang","full_name":"Wang, Aiping","first_name":"Aiping"},{"first_name":"Fengjiao","full_name":"Yu, Fengjiao","last_name":"Yu"},{"last_name":"Wu","full_name":"Wu, Yuping","first_name":"Yuping"},{"first_name":"Siqi","full_name":"Shi, Siqi","last_name":"Shi"},{"id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","orcid":"0000-0003-2902-5319"},{"last_name":"Chen","full_name":"Chen, Yuhui","first_name":"Yuhui"}],"publication":"Research Square","corr_author":"1"},{"date_created":"2021-09-02T08:45:00Z","article_processing_charge":"No","day":"16","month":"08","year":"2021","acknowledgement":"This project has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant NanoEvolution, grant agreement No 894042. The authors acknowledge TU Graz for support through the Lead Project LP-03. Likewise, the use of SOMAPP Lab, a core facility supported by the Austrian Federal Ministry of Education, Science and Research, the Graz University\r\n6 of Technology, the University of Graz, and Anton Paar GmbH is acknowledged. S.D.T, A.V. and R.D. acknowledge the financial support by the Slovenian Research Agency (ARRS) research core funding P2-0393. Furthermore, A.V. acknowledge the funding from the Slovenian Research Agency, research project Z2-1863. S.A.F. is indebted to IST Austria for support. ","citation":{"short":"C. Prehal, S.D. Talian, A. Vizintin, H. Amenitsch, R. Dominko, S.A. Freunberger, V. Wood, Research Square (n.d.).","mla":"Prehal, Christian, et al. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur Batteries.” <i>Research Square</i>, doi:<a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">10.21203/rs.3.rs-818607/v1</a>.","chicago":"Prehal, Christian, Sara Drvarič Talian, Alen Vizintin, Heinz Amenitsch, Robert Dominko, Stefan Alexander Freunberger, and Vanessa Wood. “Mechanism of Li2S Formation and Dissolution in Lithium-Sulphur Batteries.” <i>Research Square</i>, n.d. <a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">https://doi.org/10.21203/rs.3.rs-818607/v1</a>.","apa":"Prehal, C., Talian, S. D., Vizintin, A., Amenitsch, H., Dominko, R., Freunberger, S. A., &#38; Wood, V. (n.d.). Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. <i>Research Square</i>. <a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">https://doi.org/10.21203/rs.3.rs-818607/v1</a>","ieee":"C. Prehal <i>et al.</i>, “Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries,” <i>Research Square</i>. .","ama":"Prehal C, Talian SD, Vizintin A, et al. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. <i>Research Square</i>. doi:<a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">10.21203/rs.3.rs-818607/v1</a>","ista":"Prehal C, Talian SD, Vizintin A, Amenitsch H, Dominko R, Freunberger SA, Wood V. Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries. Research Square, <a href=\"https://doi.org/10.21203/rs.3.rs-818607/v1\">10.21203/rs.3.rs-818607/v1</a>."},"status":"public","_id":"9980","page":"21","language":[{"iso":"eng"}],"department":[{"_id":"StFr"}],"oa_version":"Preprint","publication_status":"submitted","ddc":["621"],"title":"Mechanism of Li2S formation and dissolution in Lithium-Sulphur batteries","date_published":"2021-08-16T00:00:00Z","oa":1,"fulldoi":"https://doi.org/10.21203/rs.3.rs-818607/v1","doi":"10.21203/rs.3.rs-818607/v1","main_file_link":[{"url":"https://www.researchsquare.com/article/rs-818607/v1","open_access":"1"}],"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)"},"type":"preprint","keyword":["Li2S","Lithium Sulphur Batteries","SAXS","WAXS"],"publication":"Research Square","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","abstract":[{"lang":"eng","text":"Insufficient understanding of the mechanism that reversibly converts sulphur into lithium sulphide (Li2S) via soluble polysulphides (PS) hampers the realization of high performance lithium-sulphur cells. Typically Li2S formation is explained by direct electroreduction of a PS to Li2S; however, this is not consistent with the size of the insulating Li2S deposits. Here, we use in situ small and wide angle X-ray scattering (SAXS/WAXS) to track the growth and dissolution of crystalline and amorphous deposits from atomic to sub-micron scales during charge and discharge. Stochastic modelling based on the SAXS data allows quantification of the chemical phase evolution during discharge and charge. We show that Li2S deposits predominantly via disproportionation of transient, solid Li2S2 to form primary Li2S crystallites and solid Li2S4 particles. We further demonstrate that this process happens in reverse during charge. These findings show that the discharge capacity and rate capability in Li-S battery cathodes are therefore limited by mass transport through the increasingly tortuous network of Li2S / Li2S4 / carbon pores rather than electron transport through a passivating surface film."}],"author":[{"first_name":"Christian","full_name":"Prehal, Christian","last_name":"Prehal"},{"first_name":"Sara Drvarič","full_name":"Talian, Sara Drvarič","last_name":"Talian"},{"full_name":"Vizintin, Alen","last_name":"Vizintin","first_name":"Alen"},{"first_name":"Heinz","full_name":"Amenitsch, Heinz","last_name":"Amenitsch"},{"last_name":"Dominko","full_name":"Dominko, Robert","first_name":"Robert"},{"orcid":"0000-0003-2902-5319","first_name":"Stefan Alexander","last_name":"Freunberger","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","full_name":"Freunberger, Stefan Alexander"},{"first_name":"Vanessa","last_name":"Wood","full_name":"Wood, Vanessa"}],"date_updated":"2021-12-03T10:35:42Z"},{"date_updated":"2025-05-14T10:51:45Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"The numerical simulation of dynamical phenomena in interacting quantum systems is a notoriously hard problem. Although a number of promising numerical methods exist, they often have limited applicability due to the growth of entanglement or the presence of the so-called sign problem. In this work, we develop an importance sampling scheme for the simulation of quantum spin dynamics, building on a recent approach mapping quantum spin systems to classical stochastic processes. The importance sampling scheme is based on identifying the classical trajectory that yields the largest contribution to a given quantum observable. An exact transformation is then carried out to preferentially sample trajectories that are close to the dominant one. We demonstrate that this approach is capable of reducing the temporal growth of fluctuations in the stochastic quantities, thus extending the range of accessible times and system sizes compared to direct sampling. We discuss advantages and limitations of the proposed approach, outlining directions\r\nfor further developments."}],"file_date_updated":"2021-09-02T14:05:43Z","ec_funded":1,"ddc":["519"],"has_accepted_license":"1","date_published":"2021-09-02T00:00:00Z","article_type":"original","fulldoi":"https://doi.org/10.21468/scipostphys.11.3.048","keyword":["General Physics and Astronomy"],"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)"},"_id":"9981","status":"public","oa_version":"Published Version","day":"02","arxiv":1,"isi":1,"year":"2021","citation":{"short":"S. De Nicola, SciPost Physics 11 (2021).","mla":"De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation of Quantum Spin Dynamics.” <i>SciPost Physics</i>, vol. 11, no. 3, 048, SciPost Foundation, 2021, doi:<a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">10.21468/scipostphys.11.3.048</a>.","chicago":"De Nicola, Stefano. “Importance Sampling Scheme for the Stochastic Simulation of Quantum Spin Dynamics.” <i>SciPost Physics</i>. SciPost Foundation, 2021. <a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">https://doi.org/10.21468/scipostphys.11.3.048</a>.","ieee":"S. De Nicola, “Importance sampling scheme for the stochastic simulation of quantum spin dynamics,” <i>SciPost Physics</i>, vol. 11, no. 3. SciPost Foundation, 2021.","apa":"De Nicola, S. (2021). Importance sampling scheme for the stochastic simulation of quantum spin dynamics. <i>SciPost Physics</i>. SciPost Foundation. <a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">https://doi.org/10.21468/scipostphys.11.3.048</a>","ama":"De Nicola S. Importance sampling scheme for the stochastic simulation of quantum spin dynamics. <i>SciPost Physics</i>. 2021;11(3). doi:<a href=\"https://doi.org/10.21468/scipostphys.11.3.048\">10.21468/scipostphys.11.3.048</a>","ista":"De Nicola S. 2021. Importance sampling scheme for the stochastic simulation of quantum spin dynamics. SciPost Physics. 11(3), 048."},"publisher":"SciPost Foundation","external_id":{"arxiv":["2103.16468"],"isi":["000692534200001"]},"issue":"3","file":[{"file_id":"9984","success":1,"file_name":"2021_SciPostPhys_DeNicola.pdf","date_created":"2021-09-02T14:05:43Z","file_size":373833,"relation":"main_file","access_level":"open_access","checksum":"e4ec69d893e31811efc6093cb6ea8eb7","content_type":"application/pdf","date_updated":"2021-09-02T14:05:43Z","creator":"cchlebak"}],"intvolume":"        11","scopus_import":"1","publication":"SciPost Physics","author":[{"orcid":"0000-0002-4842-6671","first_name":"Stefano","last_name":"De Nicola","id":"42832B76-F248-11E8-B48F-1D18A9856A87","full_name":"De Nicola, Stefano"}],"publication_identifier":{"eissn":["2666-9366"],"issn":["2542-4653"]},"oa":1,"title":"Importance sampling scheme for the stochastic simulation of quantum spin dynamics","doi":"10.21468/scipostphys.11.3.048","type":"journal_article","article_number":"048","language":[{"iso":"eng"}],"department":[{"_id":"MaSe"}],"volume":11,"publication_status":"published","month":"09","date_created":"2021-09-02T11:49:47Z","article_processing_charge":"No","project":[{"grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020"}],"quality_controlled":"1"},{"author":[{"full_name":"Watson, Jake","id":"63836096-4690-11EA-BD4E-32803DDC885E","last_name":"Watson","orcid":"0000-0002-8698-3823","first_name":"Jake"},{"last_name":"Pinggera","full_name":"Pinggera, Alexandra","first_name":"Alexandra"},{"last_name":"Ho","full_name":"Ho, Hinze","first_name":"Hinze"},{"first_name":"Ingo H.","full_name":"Greger, Ingo H.","last_name":"Greger"}],"publication":"Nature Communications","scopus_import":"1","article_number":"5083","doi":"10.1038/s41467-021-25281-4","type":"journal_article","publication_identifier":{"eissn":["2041-1723"]},"pmid":1,"oa":1,"title":"AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions","month":"08","volume":12,"department":[{"_id":"PeJo"}],"language":[{"iso":"eng"}],"publication_status":"published","quality_controlled":"1","date_created":"2021-09-05T22:01:23Z","article_processing_charge":"Yes","abstract":[{"lang":"eng","text":"AMPA receptor (AMPAR) abundance and positioning at excitatory synapses regulates the strength of transmission. Changes in AMPAR localisation can enact synaptic plasticity, allowing long-term information storage, and is therefore tightly controlled. Multiple mechanisms regulating AMPAR synaptic anchoring have been described, but with limited coherence or comparison between reports, our understanding of this process is unclear. Here, combining synaptic recordings from mouse hippocampal slices and super-resolution imaging in dissociated cultures, we compare the contributions of three AMPAR interaction domains controlling transmission at hippocampal CA1 synapses. We show that the AMPAR C-termini play only a modulatory role, whereas the extracellular N-terminal domain (NTD) and PDZ interactions of the auxiliary subunit TARP γ8 are both crucial, and each is sufficient to maintain transmission. Our data support a model in which γ8 accumulates AMPARs at the postsynaptic density, where the NTD further tunes their positioning. This interplay between cytosolic (TARP γ8) and synaptic cleft (NTD) interactions provides versatility to regulate synaptic transmission and plasticity."}],"file_date_updated":"2021-09-08T12:57:06Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_updated":"2023-08-11T11:07:51Z","article_type":"original","fulldoi":"https://doi.org/10.1038/s41467-021-25281-4","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)"},"ddc":["612"],"has_accepted_license":"1","date_published":"2021-08-23T00:00:00Z","citation":{"chicago":"Watson, Jake, Alexandra Pinggera, Hinze Ho, and Ingo H. Greger. “AMPA Receptor Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.” <i>Nature Communications</i>. Nature Publishing Group, 2021. <a href=\"https://doi.org/10.1038/s41467-021-25281-4\">https://doi.org/10.1038/s41467-021-25281-4</a>.","mla":"Watson, Jake, et al. “AMPA Receptor Anchoring at CA1 Synapses Is Determined by N-Terminal Domain and TARP Γ8 Interactions.” <i>Nature Communications</i>, vol. 12, no. 1, 5083, Nature Publishing Group, 2021, doi:<a href=\"https://doi.org/10.1038/s41467-021-25281-4\">10.1038/s41467-021-25281-4</a>.","short":"J. Watson, A. Pinggera, H. Ho, I.H. Greger, Nature Communications 12 (2021).","ama":"Watson J, Pinggera A, Ho H, Greger IH. AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. <i>Nature Communications</i>. 2021;12(1). doi:<a href=\"https://doi.org/10.1038/s41467-021-25281-4\">10.1038/s41467-021-25281-4</a>","ista":"Watson J, Pinggera A, Ho H, Greger IH. 2021. AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. Nature Communications. 12(1), 5083.","apa":"Watson, J., Pinggera, A., Ho, H., &#38; Greger, I. H. (2021). AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions. <i>Nature Communications</i>. Nature Publishing Group. <a href=\"https://doi.org/10.1038/s41467-021-25281-4\">https://doi.org/10.1038/s41467-021-25281-4</a>","ieee":"J. Watson, A. Pinggera, H. Ho, and I. H. Greger, “AMPA receptor anchoring at CA1 synapses is determined by N-terminal domain and TARP γ8 interactions,” <i>Nature Communications</i>, vol. 12, no. 1. Nature Publishing Group, 2021."},"acknowledgement":"The authors are very grateful to Andrew Penn for advice and discussions on surface receptor labelling in slice tissue, dissociated culture transfection, and for providing tdTomato and BirAER expression plasmids. This work would not have been possible without support from the Biological Services teams at both the Laboratory of Molecular Biology and Ares facilities. We are also very grateful to Nick Barry and Jerome Boulanger of the LMB Light Microscopy facility for support with confocal and STORM imaging and analysis, Junichi Takagi for providing scFv-Clasp expression constructs, Veronica Chang for assistance with scFv-Clasp protein production, and Nejc Kejzar for assistance with cluster analysis. We would like to thank Teru Nakagawa and Ole Paulsen for critical reading of the manuscript and constructive feedback. This work was supported by grants from the Medical Research Council (MC_U105174197) and BBSRC (BB/N002113/1).","year":"2021","publisher":"Nature Publishing Group","day":"23","isi":1,"oa_version":"Published Version","_id":"9985","status":"public","file":[{"checksum":"1bf4f6a561f96bc426d754de9cb57710","access_level":"open_access","relation":"main_file","creator":"cchlebak","date_updated":"2021-09-08T12:57:06Z","content_type":"application/pdf","success":1,"file_id":"9991","file_size":18310502,"date_created":"2021-09-08T12:57:06Z","file_name":"2021_NatureCommunications_Watson.pdf"}],"intvolume":"        12","external_id":{"pmid":["34426577 "],"isi":["000687672000006"]},"issue":"1"},{"quality_controlled":"1","article_processing_charge":"Yes","date_created":"2021-09-05T22:01:24Z","month":"08","publication_status":"published","volume":22,"department":[{"_id":"EvBe"}],"language":[{"iso":"eng"}],"article_number":"9222","type":"journal_article","doi":"10.3390/ijms22179222","oa":1,"title":"Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants","pmid":1,"publication_identifier":{"issn":["1661-6596"],"eissn":["1422-0067"]},"author":[{"last_name":"Velasquez","full_name":"Velasquez, Silvia Melina","first_name":"Silvia Melina"},{"first_name":"Xiaoyuan","last_name":"Guo","full_name":"Guo, Xiaoyuan"},{"first_name":"Marçal","orcid":"0000-0003-4675-6893","id":"460C6802-F248-11E8-B48F-1D18A9856A87","last_name":"Gallemi","full_name":"Gallemi, Marçal"},{"first_name":"Bibek","full_name":"Aryal, Bibek","last_name":"Aryal"},{"last_name":"Venhuizen","full_name":"Venhuizen, Peter","first_name":"Peter"},{"last_name":"Barbez","full_name":"Barbez, Elke","first_name":"Elke"},{"full_name":"Dünser, Kai Alexander","last_name":"Dünser","first_name":"Kai Alexander"},{"first_name":"Martin","full_name":"Darino, Martin","last_name":"Darino"},{"first_name":"Aleš","full_name":"Pӗnčík, Aleš","last_name":"Pӗnčík"},{"first_name":"Ondřej","full_name":"Novák, Ondřej","last_name":"Novák"},{"last_name":"Kalyna","full_name":"Kalyna, Maria","first_name":"Maria"},{"last_name":"Mouille","full_name":"Mouille, Gregory","first_name":"Gregory"},{"last_name":"Benková","id":"38F4F166-F248-11E8-B48F-1D18A9856A87","full_name":"Benková, Eva","orcid":"0000-0002-8510-9739","first_name":"Eva"},{"first_name":"Rishikesh P.","full_name":"Bhalerao, Rishikesh P.","last_name":"Bhalerao"},{"first_name":"Jozef","last_name":"Mravec","full_name":"Mravec, Jozef"},{"last_name":"Kleine-Vehn","full_name":"Kleine-Vehn, Jürgen","first_name":"Jürgen"}],"publication":"International Journal of Molecular Sciences","scopus_import":"1","corr_author":"1","intvolume":"        22","file":[{"checksum":"6b7055cf89f1b7ed8594c3fdf56f000b","access_level":"open_access","relation":"main_file","content_type":"application/pdf","date_updated":"2021-09-07T09:04:53Z","creator":"cchlebak","file_id":"9988","file_name":"2021_IntJMolecularSciences_Velasquez.pdf","date_created":"2021-09-06T12:50:19Z","file_size":2162247}],"issue":"17","external_id":{"isi":["000694347100001"],"pmid":["34502129"]},"publisher":"MDPI","acknowledgement":"We are grateful to Paul Knox, Markus Pauly, Malcom O’Neill, and Ignacio Zarra for providing published material; the BOKU-VIBT Imaging Center for access and M. Debreczeny for expertise; J.I. Thaker and Georg Seifert for critical reading.\r\n","year":"2021","citation":{"ieee":"S. M. Velasquez <i>et al.</i>, “Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants,” <i>International Journal of Molecular Sciences</i>, vol. 22, no. 17. MDPI, 2021.","apa":"Velasquez, S. M., Guo, X., Gallemi, M., Aryal, B., Venhuizen, P., Barbez, E., … Kleine-Vehn, J. (2021). Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. <i>International Journal of Molecular Sciences</i>. MDPI. <a href=\"https://doi.org/10.3390/ijms22179222\">https://doi.org/10.3390/ijms22179222</a>","ista":"Velasquez SM, Guo X, Gallemi M, Aryal B, Venhuizen P, Barbez E, Dünser KA, Darino M, Pӗnčík A, Novák O, Kalyna M, Mouille G, Benková E, Bhalerao RP, Mravec J, Kleine-Vehn J. 2021. Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. International Journal of Molecular Sciences. 22(17), 9222.","ama":"Velasquez SM, Guo X, Gallemi M, et al. Xyloglucan remodeling defines auxin-dependent differential tissue expansion in plants. <i>International Journal of Molecular Sciences</i>. 2021;22(17). doi:<a href=\"https://doi.org/10.3390/ijms22179222\">10.3390/ijms22179222</a>","mla":"Velasquez, Silvia Melina, et al. “Xyloglucan Remodeling Defines Auxin-Dependent Differential Tissue Expansion in Plants.” <i>International Journal of Molecular Sciences</i>, vol. 22, no. 17, 9222, MDPI, 2021, doi:<a href=\"https://doi.org/10.3390/ijms22179222\">10.3390/ijms22179222</a>.","short":"S.M. Velasquez, X. Guo, M. Gallemi, B. Aryal, P. Venhuizen, E. Barbez, K.A. Dünser, M. Darino, A. Pӗnčík, O. Novák, M. Kalyna, G. Mouille, E. Benková, R.P. Bhalerao, J. Mravec, J. Kleine-Vehn, International Journal of Molecular Sciences 22 (2021).","chicago":"Velasquez, Silvia Melina, Xiaoyuan Guo, Marçal Gallemi, Bibek Aryal, Peter Venhuizen, Elke Barbez, Kai Alexander Dünser, et al. “Xyloglucan Remodeling Defines Auxin-Dependent Differential Tissue Expansion in Plants.” <i>International Journal of Molecular Sciences</i>. MDPI, 2021. <a href=\"https://doi.org/10.3390/ijms22179222\">https://doi.org/10.3390/ijms22179222</a>."},"isi":1,"day":"26","oa_version":"Published Version","status":"public","_id":"9986","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)"},"keyword":["auxin","growth","cell wall","xyloglucans","hypocotyls","gravitropism"],"fulldoi":"https://doi.org/10.3390/ijms22179222","article_type":"original","has_accepted_license":"1","date_published":"2021-08-26T00:00:00Z","ddc":["575"],"file_date_updated":"2021-09-07T09:04:53Z","abstract":[{"text":"Size control is a fundamental question in biology, showing incremental complexity in plants, whose cells possess a rigid cell wall. The phytohormone auxin is a vital growth regulator with central importance for differential growth control. Our results indicate that auxin-reliant growth programs affect the molecular complexity of xyloglucans, the major type of cell wall hemicellulose in eudicots. Auxin-dependent induction and repression of growth coincide with reduced and enhanced molecular complexity of xyloglucans, respectively. In agreement with a proposed function in growth control, genetic interference with xyloglucan side decorations distinctly modulates auxin-dependent differential growth rates. Our work proposes that auxin-dependent growth programs have a spatially defined effect on xyloglucan’s molecular structure, which in turn affects cell wall mechanics and specifies differential, gravitropic hypocotyl growth.","lang":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-10-09T21:00:50Z"},{"author":[{"first_name":"Pratyush","last_name":"Agarwal","full_name":"Agarwal, Pratyush"},{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"first_name":"Shreya","last_name":"Pathak","full_name":"Pathak, Shreya"},{"first_name":"Andreas","orcid":"0000-0002-8943-0722","last_name":"Pavlogiannis","id":"49704004-F248-11E8-B48F-1D18A9856A87","full_name":"Pavlogiannis, Andreas"},{"first_name":"Viktor","orcid":"0000-0001-9036-063X","last_name":"Toman","id":"3AF3DA7C-F248-11E8-B48F-1D18A9856A87","full_name":"Toman, Viktor"}],"publication":"33rd International Conference on Computer-Aided Verification ","scopus_import":"1","corr_author":"1","conference":{"location":"Virtual","name":"CAV: Computer Aided Verification ","end_date":"2021-07-23","start_date":"2021-07-20"},"doi":"10.1007/978-3-030-81685-8_16","type":"conference","publication_identifier":{"issn":["0302-9743"],"isbn":["978-3-030-81684-1"],"eisbn":["978-3-030-81685-8"],"eissn":["1611-3349"]},"oa":1,"title":"Stateless model checking under a reads-value-from equivalence","month":"07","volume":"12759 ","language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"publication_status":"published","page":"341-366","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"10199"}]},"quality_controlled":"1","project":[{"grant_number":"ICT15-003","_id":"25892FC0-B435-11E9-9278-68D0E5697425","name":"Efficient Algorithms for Computer Aided Verification"},{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","grant_number":"863818"}],"date_created":"2021-09-05T22:01:24Z","article_processing_charge":"Yes","ec_funded":1,"file_date_updated":"2022-05-13T07:00:20Z","abstract":[{"lang":"eng","text":"Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thread interleavings, SMC attempts to partition this space into equivalence classes and explore only a few representatives from each class. The efficiency of this approach depends on two factors: (a) the coarseness of the partitioning, and (b) the time to generate representatives in each class. For this reason, the search for coarse partitionings that are efficiently explorable is an active research challenge. In this work we present   RVF-SMC , a new SMC algorithm that uses a novel reads-value-from (RVF) partitioning. Intuitively, two interleavings are deemed equivalent if they agree on the value obtained in each read event, and read events induce consistent causal orderings between them. The RVF partitioning is provably coarser than recent approaches based on Mazurkiewicz and “reads-from” partitionings. Our experimental evaluation reveals that RVF is quite often a very effective equivalence, as the underlying partitioning is exponentially coarser than other approaches. Moreover,   RVF-SMC  generates representatives very efficiently, as the reduction in the partitioning is often met with significant speed-ups in the model checking task."}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","alternative_title":["LNCS"],"date_updated":"2026-04-08T07:00:30Z","fulldoi":"https://doi.org/10.1007/978-3-030-81685-8_16","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)"},"ddc":["000"],"has_accepted_license":"1","date_published":"2021-07-15T00:00:00Z","acknowledgement":"The research was partially funded by the ERC CoG 863818 (ForM-SMArt) and the Vienna Science and Technology Fund (WWTF) through project ICT15-003.","citation":{"ieee":"P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless model checking under a reads-value-from equivalence,” in <i>33rd International Conference on Computer-Aided Verification </i>, Virtual, 2021, vol. 12759, pp. 341–366.","apa":"Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., &#38; Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In <i>33rd International Conference on Computer-Aided Verification </i> (Vol. 12759, pp. 341–366). Virtual: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">https://doi.org/10.1007/978-3-030-81685-8_16</a>","ama":"Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model checking under a reads-value-from equivalence. In: <i>33rd International Conference on Computer-Aided Verification </i>. Vol 12759. Springer Nature; 2021:341-366. doi:<a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">10.1007/978-3-030-81685-8_16</a>","ista":"Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. 2021. Stateless model checking under a reads-value-from equivalence. 33rd International Conference on Computer-Aided Verification . CAV: Computer Aided Verification , LNCS, vol. 12759, 341–366.","mla":"Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from Equivalence.” <i>33rd International Conference on Computer-Aided Verification </i>, vol. 12759, Springer Nature, 2021, pp. 341–66, doi:<a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">10.1007/978-3-030-81685-8_16</a>.","short":"P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.","chicago":"Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.” In <i>33rd International Conference on Computer-Aided Verification </i>, 12759:341–66. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/978-3-030-81685-8_16\">https://doi.org/10.1007/978-3-030-81685-8_16</a>."},"year":"2021","publisher":"Springer Nature","day":"15","arxiv":1,"isi":1,"oa_version":"Published Version","status":"public","_id":"9987","file":[{"creator":"dernst","date_updated":"2022-05-13T07:00:20Z","content_type":"application/pdf","relation":"main_file","checksum":"4b346e5fbaa8b9bdf107819c7b2aadee","access_level":"open_access","file_size":1516756,"date_created":"2022-05-13T07:00:20Z","file_name":"2021_LNCS_Agarwal.pdf","file_id":"11368","success":1}],"external_id":{"isi":["000698732400016"],"arxiv":["2105.06424"]}},{"isi":1,"day":"30","publisher":"Springer Nature","year":"2021","citation":{"mla":"Koroteev, Peter, et al. “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” <i>Selecta Mathematica</i>, vol. 27, no. 5, 87, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1007/s00029-021-00698-3\">10.1007/s00029-021-00698-3</a>.","short":"P. Koroteev, P. Pushkar, A.V. Smirnov, A.M. Zeitlin, Selecta Mathematica 27 (2021).","chicago":"Koroteev, Peter, Petr Pushkar, Andrey V. Smirnov, and Anton M. Zeitlin. “Quantum K-Theory of Quiver Varieties and Many-Body Systems.” <i>Selecta Mathematica</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00029-021-00698-3\">https://doi.org/10.1007/s00029-021-00698-3</a>.","ieee":"P. Koroteev, P. Pushkar, A. V. Smirnov, and A. M. Zeitlin, “Quantum K-theory of quiver varieties and many-body systems,” <i>Selecta Mathematica</i>, vol. 27, no. 5. Springer Nature, 2021.","apa":"Koroteev, P., Pushkar, P., Smirnov, A. V., &#38; Zeitlin, A. M. (2021). Quantum K-theory of quiver varieties and many-body systems. <i>Selecta Mathematica</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00029-021-00698-3\">https://doi.org/10.1007/s00029-021-00698-3</a>","ista":"Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. 2021. Quantum K-theory of quiver varieties and many-body systems. Selecta Mathematica. 27(5), 87.","ama":"Koroteev P, Pushkar P, Smirnov AV, Zeitlin AM. Quantum K-theory of quiver varieties and many-body systems. <i>Selecta Mathematica</i>. 2021;27(5). doi:<a href=\"https://doi.org/10.1007/s00029-021-00698-3\">10.1007/s00029-021-00698-3</a>"},"acknowledgement":"First of all we would like to thank Andrei Okounkov for invaluable discussions, advises and sharing with us his fantastic viewpoint on modern quantum geometry. We are also grateful to D. Korb and Z. Zhou for their interest and comments. The work of A. Smirnov was supported in part by RFBR Grants under Numbers 15-02-04175 and 15-01-04217 and in part by NSF Grant DMS–2054527. The work of P. Koroteev, A.M. Zeitlin and A. Smirnov is supported in part by AMS Simons travel Grant. A. M. Zeitlin is partially supported by Simons Collaboration Grant, Award ID: 578501. Open access funding provided by Institute of Science and Technology (IST Austria).","_id":"9998","status":"public","oa_version":"Published Version","issue":"5","external_id":{"isi":["000692795200001"]},"intvolume":"        27","file":[{"content_type":"application/pdf","date_updated":"2021-09-13T11:31:34Z","creator":"cchlebak","access_level":"open_access","checksum":"beadc5a722ffb48190e1e63ee2dbfee5","relation":"main_file","file_name":"2021_SelectaMath_Koroteev.pdf","file_size":584648,"date_created":"2021-09-13T11:31:34Z","success":1,"file_id":"10010"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","abstract":[{"lang":"eng","text":"We define quantum equivariant K-theory of Nakajima quiver varieties. We discuss type A in detail as well as its connections with quantum XXZ spin chains and trigonometric Ruijsenaars-Schneider models. Finally we study a limit which produces a K-theoretic version of results of Givental and Kim, connecting quantum geometry of flag varieties and Toda lattice."}],"file_date_updated":"2021-09-13T11:31:34Z","date_updated":"2025-04-15T06:53:09Z","has_accepted_license":"1","date_published":"2021-08-30T00:00:00Z","ddc":["530"],"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)"},"fulldoi":"https://doi.org/10.1007/s00029-021-00698-3","article_type":"original","month":"08","publication_status":"published","language":[{"iso":"eng"}],"department":[{"_id":"TaHa"}],"volume":27,"project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"}],"quality_controlled":"1","article_processing_charge":"Yes (via OA deal)","date_created":"2021-09-12T22:01:22Z","publication":"Selecta Mathematica","author":[{"first_name":"Peter","full_name":"Koroteev, Peter","last_name":"Koroteev"},{"first_name":"Petr","id":"151DCEB6-9EC3-11E9-8480-ABECE5697425","last_name":"Pushkar","full_name":"Pushkar, Petr"},{"first_name":"Andrey V.","full_name":"Smirnov, Andrey V.","last_name":"Smirnov"},{"first_name":"Anton M.","last_name":"Zeitlin","full_name":"Zeitlin, Anton M."}],"scopus_import":"1","article_number":"87","title":"Quantum K-theory of quiver varieties and many-body systems","oa":1,"publication_identifier":{"eissn":["1420-9020"],"issn":["1022-1824"]},"type":"journal_article","doi":"10.1007/s00029-021-00698-3"},{"project":[{"call_identifier":"H2020","_id":"260F1432-B435-11E9-9278-68D0E5697425","name":"Interaction and feedback between cell mechanics and fate specification in vertebrate gastrulation","grant_number":"742573"}],"quality_controlled":"1","article_processing_charge":"Yes","date_created":"2021-09-12T22:01:23Z","month":"08","publication_status":"published","volume":10,"department":[{"_id":"CaHe"}],"language":[{"iso":"eng"}],"article_number":"e66483","oa":1,"title":"Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism","pmid":1,"publication_identifier":{"eissn":["2050-084X"]},"type":"journal_article","doi":"10.7554/eLife.66483","publication":"eLife","author":[{"first_name":"Eduardo","last_name":"Pulgar","full_name":"Pulgar, Eduardo"},{"id":"3436488C-F248-11E8-B48F-1D18A9856A87","last_name":"Schwayer","full_name":"Schwayer, Cornelia","orcid":"0000-0001-5130-2226","first_name":"Cornelia"},{"first_name":"Néstor","last_name":"Guerrero","full_name":"Guerrero, Néstor"},{"first_name":"Loreto","full_name":"López, Loreto","last_name":"López"},{"full_name":"Márquez, Susana","last_name":"Márquez","first_name":"Susana"},{"last_name":"Härtel","full_name":"Härtel, Steffen","first_name":"Steffen"},{"last_name":"Soto","full_name":"Soto, Rodrigo","first_name":"Rodrigo"},{"first_name":"Carl Philipp","full_name":"Heisenberg, Carl Philipp","last_name":"Heisenberg"},{"full_name":"Concha, Miguel L.","last_name":"Concha","first_name":"Miguel L."}],"scopus_import":"1","external_id":{"isi":["000700428500001"],"pmid":["34448451"]},"intvolume":"        10","file":[{"relation":"main_file","checksum":"a3f82b0499cc822ac1eab48a01f3f57e","access_level":"open_access","content_type":"application/pdf","date_updated":"2022-05-13T08:03:37Z","creator":"dernst","file_id":"11371","success":1,"file_name":"2021_eLife_Pulgar.pdf","date_created":"2022-05-13T08:03:37Z","file_size":9010446}],"isi":1,"day":"27","publisher":"eLife Sciences Publications","year":"2021","citation":{"ieee":"E. Pulgar <i>et al.</i>, “Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism,” <i>eLife</i>, vol. 10. eLife Sciences Publications, 2021.","apa":"Pulgar, E., Schwayer, C., Guerrero, N., López, L., Márquez, S., Härtel, S., … Concha, M. L. (2021). Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.66483\">https://doi.org/10.7554/eLife.66483</a>","ista":"Pulgar E, Schwayer C, Guerrero N, López L, Márquez S, Härtel S, Soto R, Heisenberg CP, Concha ML. 2021. Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. eLife. 10, e66483.","ama":"Pulgar E, Schwayer C, Guerrero N, et al. Apical contacts stemming from incomplete delamination guide progenitor cell allocation through a dragging mechanism. <i>eLife</i>. 2021;10. doi:<a href=\"https://doi.org/10.7554/eLife.66483\">10.7554/eLife.66483</a>","short":"E. Pulgar, C. Schwayer, N. Guerrero, L. López, S. Márquez, S. Härtel, R. Soto, C.P. Heisenberg, M.L. Concha, ELife 10 (2021).","mla":"Pulgar, Eduardo, et al. “Apical Contacts Stemming from Incomplete Delamination Guide Progenitor Cell Allocation through a Dragging Mechanism.” <i>ELife</i>, vol. 10, e66483, eLife Sciences Publications, 2021, doi:<a href=\"https://doi.org/10.7554/eLife.66483\">10.7554/eLife.66483</a>.","chicago":"Pulgar, Eduardo, Cornelia Schwayer, Néstor Guerrero, Loreto López, Susana Márquez, Steffen Härtel, Rodrigo Soto, Carl Philipp Heisenberg, and Miguel L. Concha. “Apical Contacts Stemming from Incomplete Delamination Guide Progenitor Cell Allocation through a Dragging Mechanism.” <i>ELife</i>. eLife Sciences Publications, 2021. <a href=\"https://doi.org/10.7554/eLife.66483\">https://doi.org/10.7554/eLife.66483</a>."},"_id":"9999","status":"public","oa_version":"Published Version","has_accepted_license":"1","date_published":"2021-08-27T00:00:00Z","ddc":["570"],"keyword":["cell delamination","apical constriction","dragging","mechanical forces","collective 18 locomotion","dorsal forerunner cells","zebrafish"],"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","fulldoi":"https://doi.org/10.7554/eLife.66483","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","abstract":[{"lang":"eng","text":"The developmental strategies used by progenitor cells to endure a safe journey from their induction place towards the site of terminal differentiation are still poorly understood. Here we uncovered a progenitor cell allocation mechanism that stems from an incomplete process of epithelial delamination that allows progenitors to coordinate their movement with adjacent extra-embryonic tissues. Progenitors of the zebrafish laterality organ originate from the surface epithelial enveloping layer by an apical constriction process of cell delamination. During this process, progenitors retain long-term apical contacts that enable the epithelial layer to pull a subset of progenitors along their way towards the vegetal pole. The remaining delaminated progenitors follow apically-attached progenitors’ movement by a co-attraction mechanism, avoiding sequestration by the adjacent endoderm, ensuring their fate and collective allocation at the differentiation site. Thus, we reveal that incomplete delamination serves as a cellular platform for coordinated tissue movements during development. Impact Statement: Incomplete delamination serves as a cellular platform for coordinated tissue movements during development, guiding newly formed progenitor cell groups to the differentiation site."}],"file_date_updated":"2022-05-13T08:03:37Z","ec_funded":1,"date_updated":"2025-04-14T07:46:58Z"},{"month":"08","publication_status":"published","volume":40,"language":[{"iso":"eng"}],"page":"1-15","quality_controlled":"1","article_processing_charge":"No","date_created":"2024-08-05T06:30:27Z","author":[{"full_name":"Ren, Yingying","last_name":"Ren","id":"93d68d10-3540-11ef-a265-f748a50dba3d","first_name":"Yingying"},{"first_name":"Julian","full_name":"Panetta, Julian","last_name":"Panetta"},{"first_name":"Tian","last_name":"Chen","full_name":"Chen, Tian"},{"last_name":"Isvoranu","full_name":"Isvoranu, Florin","first_name":"Florin"},{"first_name":"Samuel","full_name":"Poincloux, Samuel","last_name":"Poincloux"},{"last_name":"Brandt","full_name":"Brandt, Christopher","first_name":"Christopher"},{"first_name":"Alison","full_name":"Martin, Alison","last_name":"Martin"},{"first_name":"Mark","last_name":"Pauly","full_name":"Pauly, Mark"}],"publication":"ACM Transactions on Graphics","scopus_import":"1","extern":"1","type":"journal_article","doi":"10.1145/3450626.3459788","title":"3D weaving with curved ribbons","publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"publisher":"Association for Computing Machinery","citation":{"short":"Y. Ren, J. Panetta, T. Chen, F. Isvoranu, S. Poincloux, C. Brandt, A. Martin, M. Pauly, ACM Transactions on Graphics 40 (2021) 1–15.","mla":"Ren, Yingying, et al. “3D Weaving with Curved Ribbons.” <i>ACM Transactions on Graphics</i>, vol. 40, no. 4, Association for Computing Machinery, 2021, pp. 1–15, doi:<a href=\"https://doi.org/10.1145/3450626.3459788\">10.1145/3450626.3459788</a>.","chicago":"Ren, Yingying, Julian Panetta, Tian Chen, Florin Isvoranu, Samuel Poincloux, Christopher Brandt, Alison Martin, and Mark Pauly. “3D Weaving with Curved Ribbons.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3450626.3459788\">https://doi.org/10.1145/3450626.3459788</a>.","apa":"Ren, Y., Panetta, J., Chen, T., Isvoranu, F., Poincloux, S., Brandt, C., … Pauly, M. (2021). 3D weaving with curved ribbons. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3450626.3459788\">https://doi.org/10.1145/3450626.3459788</a>","ieee":"Y. Ren <i>et al.</i>, “3D weaving with curved ribbons,” <i>ACM Transactions on Graphics</i>, vol. 40, no. 4. Association for Computing Machinery, pp. 1–15, 2021.","ista":"Ren Y, Panetta J, Chen T, Isvoranu F, Poincloux S, Brandt C, Martin A, Pauly M. 2021. 3D weaving with curved ribbons. ACM Transactions on Graphics. 40(4), 1–15.","ama":"Ren Y, Panetta J, Chen T, et al. 3D weaving with curved ribbons. <i>ACM Transactions on Graphics</i>. 2021;40(4):1-15. doi:<a href=\"https://doi.org/10.1145/3450626.3459788\">10.1145/3450626.3459788</a>"},"year":"2021","day":"01","oa_version":"None","_id":"17384","status":"public","intvolume":"        40","issue":"4","abstract":[{"lang":"eng","text":"Basket weaving is a traditional craft for creating curved surfaces as an interwoven array of thin, flexible, and initially straight ribbons. The three-dimensional shape of a woven structure emerges through a complex interplay of the elastic bending behavior of the ribbons and the contact forces at their crossings. Curvature can be injected by carefully placing topological singularities in the otherwise regular weaving pattern. However, shape control through topology is highly non-trivial and inherently discrete, which severely limits the range of attainable woven geometries. Here, we demonstrate how to construct arbitrary smooth free-form surface geometries by weaving carefully optimized curved ribbons. We present an optimization-based approach to solving the inverse design problem for such woven structures. Our algorithm computes the ribbons' planar geometry such that their interwoven assembly closely approximates a given target design surface in equilibrium. We systematically validate our approach through a series of physical prototypes to show a broad range of new woven geometries that is not achievable by existing methods. We anticipate our computational approach to significantly enhance the capabilities for the design of new woven structures. Facilitated by modern digital fabrication technology, we see potential applications in material science, bio- and mechanical engineering, art, design, and architecture."}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2024-08-12T09:38:19Z","fulldoi":"https://doi.org/10.1145/3450626.3459788","article_type":"original","date_published":"2021-08-01T00:00:00Z"},{"issue":"10-11","intvolume":"        40","day":"01","citation":{"ieee":"A. Q. Nilles, Y. Ren, I. Becerra, and S. M. LaValle, “A visibility-based approach to computing non-deterministic bouncing strategies,” <i>The International Journal of Robotics Research</i>, vol. 40, no. 10–11. SAGE Publications, pp. 1196–1211, 2021.","apa":"Nilles, A. Q., Ren, Y., Becerra, I., &#38; LaValle, S. M. (2021). A visibility-based approach to computing non-deterministic bouncing strategies. <i>The International Journal of Robotics Research</i>. SAGE Publications. <a href=\"https://doi.org/10.1177/0278364921992788\">https://doi.org/10.1177/0278364921992788</a>","ama":"Nilles AQ, Ren Y, Becerra I, LaValle SM. A visibility-based approach to computing non-deterministic bouncing strategies. <i>The International Journal of Robotics Research</i>. 2021;40(10-11):1196-1211. doi:<a href=\"https://doi.org/10.1177/0278364921992788\">10.1177/0278364921992788</a>","ista":"Nilles AQ, Ren Y, Becerra I, LaValle SM. 2021. A visibility-based approach to computing non-deterministic bouncing strategies. The International Journal of Robotics Research. 40(10–11), 1196–1211.","short":"A.Q. Nilles, Y. Ren, I. Becerra, S.M. LaValle, The International Journal of Robotics Research 40 (2021) 1196–1211.","mla":"Nilles, Alexandra Q., et al. “A Visibility-Based Approach to Computing Non-Deterministic Bouncing Strategies.” <i>The International Journal of Robotics Research</i>, vol. 40, no. 10–11, SAGE Publications, 2021, pp. 1196–211, doi:<a href=\"https://doi.org/10.1177/0278364921992788\">10.1177/0278364921992788</a>.","chicago":"Nilles, Alexandra Q, Yingying Ren, Israel Becerra, and Steven M LaValle. “A Visibility-Based Approach to Computing Non-Deterministic Bouncing Strategies.” <i>The International Journal of Robotics Research</i>. SAGE Publications, 2021. <a href=\"https://doi.org/10.1177/0278364921992788\">https://doi.org/10.1177/0278364921992788</a>."},"year":"2021","publisher":"SAGE Publications","status":"public","_id":"17422","oa_version":"Published Version","date_published":"2021-09-01T00:00:00Z","fulldoi":"https://doi.org/10.1177/0278364921992788","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"Inspired by motion patterns of some commercially available mobile robots, we investigate the power of robots that move forward in straight lines until colliding with an environment boundary, at which point they can rotate in place and move forward again; we visualize this as the robot “bouncing” off boundaries. We define bounce rules governing how the robot should reorient after reaching a boundary, such as reorienting relative to its heading prior to collision, or relative to the normal of the boundary. We then generate plans as sequences of rules, using the bounce visibility graph generated from a polygonal environment definition, while assuming we have unavoidable non-determinism in our actuation. Our planner can be queried to determine the feasibility of tasks such as reaching goal sets and patrolling (repeatedly visiting a sequence of goals). If the task is found feasible, the planner provides a sequence of non-deterministic interaction rules, which also provide information on how precisely the robot must execute the plan to succeed. We also show how to compute stable cyclic trajectories and use these to limit uncertainty in the robot’s position. </jats:p>"}],"date_updated":"2024-08-12T10:15:14Z","quality_controlled":"1","date_created":"2024-08-12T10:01:27Z","article_processing_charge":"No","month":"09","page":"1196-1211","volume":40,"language":[{"iso":"eng"}],"publication_status":"published","extern":"1","publication_identifier":{"issn":["0278-3649"],"eissn":["1741-3176"]},"title":"A visibility-based approach to computing non-deterministic bouncing strategies","oa":1,"main_file_link":[{"url":"https://doi.org/10.1177/0278364921992788","open_access":"1"}],"doi":"10.1177/0278364921992788","type":"journal_article","publication":"The International Journal of Robotics Research","author":[{"first_name":"Alexandra Q","full_name":"Nilles, Alexandra Q","last_name":"Nilles"},{"first_name":"Yingying","last_name":"Ren","id":"93d68d10-3540-11ef-a265-f748a50dba3d","full_name":"Ren, Yingying"},{"first_name":"Israel","full_name":"Becerra, Israel","last_name":"Becerra"},{"last_name":"LaValle","full_name":"LaValle, Steven M","first_name":"Steven M"}],"scopus_import":"1"},{"extern":"1","fulldoi":"https://doi.org/10.1145/3453483.3454036","doi":"10.1145/3453483.3454036","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3453483.3454036"}],"type":"conference","oa":1,"title":"RefinedC: Automating the foundational verification of C code with refined ownership types","date_published":"2021-06-18T00:00:00Z","abstract":[{"text":"Given the central role that C continues to play in systems software, and the difficulty of writing safe and correct C code, it remains a grand challenge to develop effective formal methods for verifying C programs. In this paper, we propose a new approach to this problem: a type system we call RefinedC, which combines ownership types (for modular reasoning about shared state and concurrency) with refinement types (for encoding precise invariants on C data types and Hoare-style specifications for C functions).\r\nRefinedC is both automated (requiring minimal user intervention) and foundational (producing a proof of program correctness in Coq), while at the same time handling a range of low-level programming idioms such as pointer arithmetic. In particular, following the approach of RustBelt, the soundness of the RefinedC type system is justified semantically by interpretation into the Coq-based Iris framework for higher-order concurrent separation logic. However, the typing rules of RefinedC are also designed to be encodable in a new “separation logic programming” language we call Lithium. By restricting to a carefully chosen (yet expressive) fragment of separation logic, Lithium supports predictable, automatic, goal-directed proof search without backtracking. We demonstrate the effectiveness of RefinedC on a range of representative examples of C code.","lang":"eng"}],"author":[{"full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler","first_name":"Michael Joachim"},{"last_name":"Lepigre","full_name":"Lepigre, Rodolphe","first_name":"Rodolphe"},{"first_name":"Robbert","last_name":"Krebbers","full_name":"Krebbers, Robbert"},{"full_name":"Memarian, Kayvan","last_name":"Memarian","first_name":"Kayvan"},{"first_name":"Derek","last_name":"Dreyer","full_name":"Dreyer, Derek"},{"first_name":"Deepak","last_name":"Garg","full_name":"Garg, Deepak"}],"publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","scopus_import":"1","date_updated":"2024-09-10T11:54:22Z","conference":{"location":"virtual","end_date":"2021-06-25","name":"PLDI: Conference on Programming Language Design and Implementation","start_date":"2021-06-20"},"quality_controlled":"1","date_created":"2024-09-05T08:34:50Z","article_processing_charge":"No","citation":{"apa":"Sammler, M. J., Lepigre, R., Krebbers, R., Memarian, K., Dreyer, D., &#38; Garg, D. (2021). RefinedC: Automating the foundational verification of C code with refined ownership types. In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i> (pp. 158–174). virtual: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3453483.3454036\">https://doi.org/10.1145/3453483.3454036</a>","ieee":"M. J. Sammler, R. Lepigre, R. Krebbers, K. Memarian, D. Dreyer, and D. Garg, “RefinedC: Automating the foundational verification of C code with refined ownership types,” in <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, virtual, 2021, pp. 158–174.","ama":"Sammler MJ, Lepigre R, Krebbers R, Memarian K, Dreyer D, Garg D. RefinedC: Automating the foundational verification of C code with refined ownership types. In: <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2021:158-174. doi:<a href=\"https://doi.org/10.1145/3453483.3454036\">10.1145/3453483.3454036</a>","ista":"Sammler MJ, Lepigre R, Krebbers R, Memarian K, Dreyer D, Garg D. 2021. RefinedC: Automating the foundational verification of C code with refined ownership types. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Conference on Programming Language Design and Implementation, 158–174.","short":"M.J. Sammler, R. Lepigre, R. Krebbers, K. Memarian, D. Dreyer, D. Garg, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 158–174.","mla":"Sammler, Michael Joachim, et al. “RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types.” <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2021, pp. 158–74, doi:<a href=\"https://doi.org/10.1145/3453483.3454036\">10.1145/3453483.3454036</a>.","chicago":"Sammler, Michael Joachim, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg. “RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types.” In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, 158–74. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3453483.3454036\">https://doi.org/10.1145/3453483.3454036</a>."},"year":"2021","publisher":"Association for Computing Machinery","day":"18","month":"06","language":[{"iso":"eng"}],"oa_version":"Published Version","publication_status":"published","_id":"17505","status":"public","page":"158-174"},{"title":"THEZA: TeraHertz exploration and zooming-in for astrophysics","oa":1,"publication_identifier":{"issn":["0922-6435","1572-9508"]},"type":"journal_article","doi":"10.1007/s10686-021-09714-y","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/s10686-021-09714-y"}],"extern":"1","scopus_import":"1","publication":"Experimental Astronomy","author":[{"last_name":"Gurvits","full_name":"Gurvits, Leonid I.","first_name":"Leonid I."},{"first_name":"Zsolt","full_name":"Paragi, Zsolt","last_name":"Paragi"},{"first_name":"Viviana","full_name":"Casasola, Viviana","last_name":"Casasola"},{"first_name":"John","full_name":"Conway, John","last_name":"Conway"},{"full_name":"Davelaar, Jordy","last_name":"Davelaar","first_name":"Jordy"},{"first_name":"Heino","full_name":"Falcke, Heino","last_name":"Falcke"},{"first_name":"Rob","last_name":"Fender","full_name":"Fender, Rob"},{"first_name":"Sándor","full_name":"Frey, Sándor","last_name":"Frey"},{"full_name":"Fromm, Christian M.","last_name":"Fromm","first_name":"Christian M."},{"last_name":"Miró","full_name":"Miró, Cristina García","first_name":"Cristina García"},{"first_name":"Michael A.","full_name":"Garrett, Michael A.","last_name":"Garrett"},{"first_name":"Marcello","last_name":"Giroletti","full_name":"Giroletti, Marcello"},{"last_name":"Goddi","full_name":"Goddi, Ciriaco","first_name":"Ciriaco"},{"full_name":"Gómez, José-Luis","last_name":"Gómez","first_name":"José-Luis"},{"first_name":"Jeffrey","full_name":"van der Gucht, Jeffrey","last_name":"van der Gucht"},{"last_name":"Guirado","full_name":"Guirado, José Carlos","first_name":"José Carlos"},{"first_name":"Zoltán","full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"first_name":"Frank","last_name":"Helmich","full_name":"Helmich, Frank"},{"first_name":"Elizabeth","last_name":"Humphreys","full_name":"Humphreys, Elizabeth"},{"last_name":"Impellizzeri","full_name":"Impellizzeri, Violette","first_name":"Violette"},{"last_name":"Kramer","full_name":"Kramer, Michael","first_name":"Michael"},{"first_name":"Michael","full_name":"Lindqvist, Michael","last_name":"Lindqvist"},{"first_name":"Hendrik","last_name":"Linz","full_name":"Linz, Hendrik"},{"full_name":"Liuzzo, Elisabetta","last_name":"Liuzzo","first_name":"Elisabetta"},{"first_name":"Andrei P.","last_name":"Lobanov","full_name":"Lobanov, Andrei P."},{"first_name":"Yosuke","last_name":"Mizuno","full_name":"Mizuno, Yosuke"},{"full_name":"Rezzolla, Luciano","last_name":"Rezzolla","first_name":"Luciano"},{"first_name":"Freek","full_name":"Roelofs, Freek","last_name":"Roelofs"},{"full_name":"Ros, Eduardo","last_name":"Ros","first_name":"Eduardo"},{"last_name":"Rygl","full_name":"Rygl, Kazi L.J.","first_name":"Kazi L.J."},{"first_name":"Tuomas","full_name":"Savolainen, Tuomas","last_name":"Savolainen"},{"last_name":"Schuster","full_name":"Schuster, Karl","first_name":"Karl"},{"full_name":"Venturi, Tiziana","last_name":"Venturi","first_name":"Tiziana"},{"last_name":"Wiedner","full_name":"Wiedner, Martina C.","first_name":"Martina C."},{"full_name":"Zensus, J. Anton","last_name":"Zensus","first_name":"J. Anton"}],"article_processing_charge":"No","date_created":"2024-09-05T08:46:17Z","quality_controlled":"1","page":"559-594","publication_status":"published","language":[{"iso":"eng"}],"volume":51,"month":"05","date_published":"2021-05-27T00:00:00Z","fulldoi":"https://doi.org/10.1007/s10686-021-09714-y","article_type":"original","date_updated":"2024-09-10T12:15:42Z","alternative_title":["An ESA Voyage 2050 White Paper"],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"text":"This paper presents the ESA Voyage 2050 White Paper for a concept of TeraHertz Exploration and Zooming-in for Astrophysics (THEZA). It addresses the science case and some implementation issues of a space-borne radio interferometric system for ultra-sharp imaging of celestial radio sources at the level of angular resolution down to (sub-) microarcseconds. THEZA focuses at millimetre and sub-millimetre wavelengths (frequencies above \r\n300 GHz), but allows for science operations at longer wavelengths too. The THEZA concept science rationale is focused on the physics of spacetime in the vicinity of supermassive black holes as the leading science driver. The main aim of the concept is to facilitate a major leap by providing researchers with orders of magnitude improvements in the resolution and dynamic range in direct imaging studies of the most exotic objects in the Universe, black holes. The concept will open up a sizeable range of hitherto unreachable parameters of observational astrophysics. It unifies two major lines of development of space-borne radio astronomy of the past decades: Space VLBI (Very Long Baseline Interferometry) and mm- and sub-mm astrophysical studies with “single dish” instruments. It also builds upon the recent success of the Earth-based Event Horizon Telescope (EHT) – the first-ever direct image of a shadow of the super-massive black hole in the centre of the galaxy M87. As an amalgam of these three major areas of modern observational astrophysics, THEZA aims at facilitating a breakthrough in high-resolution high image quality studies in the millimetre and sub-millimetre domain of the electromagnetic spectrum.","lang":"eng"}],"issue":"3","intvolume":"        51","status":"public","_id":"17508","oa_version":"Published Version","day":"27","publisher":"Springer Science and Business Media LLC","citation":{"apa":"Gurvits, L. I., Paragi, Z., Casasola, V., Conway, J., Davelaar, J., Falcke, H., … Zensus, J. A. (2021). THEZA: TeraHertz exploration and zooming-in for astrophysics. <i>Experimental Astronomy</i>. Springer Science and Business Media LLC. <a href=\"https://doi.org/10.1007/s10686-021-09714-y\">https://doi.org/10.1007/s10686-021-09714-y</a>","ieee":"L. I. Gurvits <i>et al.</i>, “THEZA: TeraHertz exploration and zooming-in for astrophysics,” <i>Experimental Astronomy</i>, vol. 51, no. 3. Springer Science and Business Media LLC, pp. 559–594, 2021.","ista":"Gurvits LI, Paragi Z, Casasola V, Conway J, Davelaar J, Falcke H, Fender R, Frey S, Fromm CM, Miró CG, Garrett MA, Giroletti M, Goddi C, Gómez J-L, van der Gucht J, Guirado JC, Haiman Z, Helmich F, Humphreys E, Impellizzeri V, Kramer M, Lindqvist M, Linz H, Liuzzo E, Lobanov AP, Mizuno Y, Rezzolla L, Roelofs F, Ros E, Rygl KLJ, Savolainen T, Schuster K, Venturi T, Wiedner MC, Zensus JA. 2021. THEZA: TeraHertz exploration and zooming-in for astrophysics. Experimental Astronomy. 51(3), 559–594.","ama":"Gurvits LI, Paragi Z, Casasola V, et al. THEZA: TeraHertz exploration and zooming-in for astrophysics. <i>Experimental Astronomy</i>. 2021;51(3):559-594. doi:<a href=\"https://doi.org/10.1007/s10686-021-09714-y\">10.1007/s10686-021-09714-y</a>","mla":"Gurvits, Leonid I., et al. “THEZA: TeraHertz Exploration and Zooming-in for Astrophysics.” <i>Experimental Astronomy</i>, vol. 51, no. 3, Springer Science and Business Media LLC, 2021, pp. 559–94, doi:<a href=\"https://doi.org/10.1007/s10686-021-09714-y\">10.1007/s10686-021-09714-y</a>.","short":"L.I. Gurvits, Z. Paragi, V. Casasola, J. Conway, J. Davelaar, H. Falcke, R. Fender, S. Frey, C.M. Fromm, C.G. Miró, M.A. Garrett, M. Giroletti, C. Goddi, J.-L. Gómez, J. van der Gucht, J.C. Guirado, Z. Haiman, F. Helmich, E. Humphreys, V. Impellizzeri, M. Kramer, M. Lindqvist, H. Linz, E. Liuzzo, A.P. Lobanov, Y. Mizuno, L. Rezzolla, F. Roelofs, E. Ros, K.L.J. Rygl, T. Savolainen, K. Schuster, T. Venturi, M.C. Wiedner, J.A. Zensus, Experimental Astronomy 51 (2021) 559–594.","chicago":"Gurvits, Leonid I., Zsolt Paragi, Viviana Casasola, John Conway, Jordy Davelaar, Heino Falcke, Rob Fender, et al. “THEZA: TeraHertz Exploration and Zooming-in for Astrophysics.” <i>Experimental Astronomy</i>. Springer Science and Business Media LLC, 2021. <a href=\"https://doi.org/10.1007/s10686-021-09714-y\">https://doi.org/10.1007/s10686-021-09714-y</a>."},"year":"2021"},{"article_type":"original","fulldoi":"https://doi.org/10.3847/1538-4357/abd555","date_published":"2021-02-24T00:00:00Z","date_updated":"2024-09-10T12:36:17Z","abstract":[{"text":"The recently discovered gravitational wave sources GW190521 and GW190814 have shown evidence of BH mergers with masses and spins outside of the range expected from isolated stellar evolution. These merging objects could have undergone previous mergers. Such hierarchical mergers are predicted to be frequent in active galactic nuclei (AGNs) disks, where binaries form and evolve efficiently by dynamical interactions and gaseous dissipation. Here we compare the properties of these observed events to the theoretical models of mergers in AGN disks, which are obtained by performing one-dimensional N-body simulations combined with semi-analytical prescriptions. The high BH masses in GW190521 are consistent with mergers of high-generation (high-g) BHs where the initial progenitor stars had high metallicity, 2g BHs if the original progenitors were metal-poor, or 1g BHs that had gained mass via super-Eddington accretion. Other measured properties related to spin parameters in GW190521 are also consistent with mergers in AGN disks. Furthermore, mergers in the lower mass gap or those with low mass ratio as found in GW190814 and GW190412 are also reproduced by mergers of 2g–1g or 1g–1g objects with significant accretion in AGN disks. Finally, due to gas accretion, the massive neutron star merger reported in GW190425 can be produced in an AGN disk.","lang":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"       908","issue":"2","oa_version":"Published Version","_id":"17509","status":"public","citation":{"ieee":"H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, and J. Samsing, “Mass-gap mergers in active galactic nuclei,” <i>The Astrophysical Journal</i>, vol. 908, no. 2. American Astronomical Society, 2021.","apa":"Tagawa, H., Kocsis, B., Haiman, Z., Bartos, I., Omukai, K., &#38; Samsing, J. (2021). Mass-gap mergers in active galactic nuclei. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/1538-4357/abd555\">https://doi.org/10.3847/1538-4357/abd555</a>","ama":"Tagawa H, Kocsis B, Haiman Z, Bartos I, Omukai K, Samsing J. Mass-gap mergers in active galactic nuclei. <i>The Astrophysical Journal</i>. 2021;908(2). doi:<a href=\"https://doi.org/10.3847/1538-4357/abd555\">10.3847/1538-4357/abd555</a>","ista":"Tagawa H, Kocsis B, Haiman Z, Bartos I, Omukai K, Samsing J. 2021. Mass-gap mergers in active galactic nuclei. The Astrophysical Journal. 908(2), 194.","mla":"Tagawa, Hiromichi, et al. “Mass-Gap Mergers in Active Galactic Nuclei.” <i>The Astrophysical Journal</i>, vol. 908, no. 2, 194, American Astronomical Society, 2021, doi:<a href=\"https://doi.org/10.3847/1538-4357/abd555\">10.3847/1538-4357/abd555</a>.","short":"H. Tagawa, B. Kocsis, Z. Haiman, I. Bartos, K. Omukai, J. Samsing, The Astrophysical Journal 908 (2021).","chicago":"Tagawa, Hiromichi, Bence Kocsis, Zoltán Haiman, Imre Bartos, Kazuyuki Omukai, and Johan Samsing. “Mass-Gap Mergers in Active Galactic Nuclei.” <i>The Astrophysical Journal</i>. American Astronomical Society, 2021. <a href=\"https://doi.org/10.3847/1538-4357/abd555\">https://doi.org/10.3847/1538-4357/abd555</a>."},"year":"2021","publisher":"American Astronomical Society","day":"24","main_file_link":[{"url":"https://doi.org/10.3847/1538-4357/abd555","open_access":"1"}],"doi":"10.3847/1538-4357/abd555","type":"journal_article","publication_identifier":{"issn":["0004-637X","1538-4357"]},"title":"Mass-gap mergers in active galactic nuclei","oa":1,"extern":"1","article_number":"194","scopus_import":"1","author":[{"full_name":"Tagawa, Hiromichi","last_name":"Tagawa","first_name":"Hiromichi"},{"first_name":"Bence","last_name":"Kocsis","full_name":"Kocsis, Bence"},{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","full_name":"Haiman, Zoltán","first_name":"Zoltán"},{"last_name":"Bartos","full_name":"Bartos, Imre","first_name":"Imre"},{"last_name":"Omukai","full_name":"Omukai, Kazuyuki","first_name":"Kazuyuki"},{"last_name":"Samsing","full_name":"Samsing, Johan","first_name":"Johan"}],"publication":"The Astrophysical Journal","date_created":"2024-09-05T08:47:46Z","article_processing_charge":"No","quality_controlled":"1","volume":908,"language":[{"iso":"eng"}],"publication_status":"published","month":"02"},{"date_updated":"2024-09-10T13:47:31Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"text":"The disks of active galactic nuclei (AGNs) have emerged as a rich environment for the evolution of stars and their compact remnants. The very dense medium favors rapid accretion, while torques and migration traps enhance binary formation and mergers. Both long and short gamma-ray bursts are hence expected. We show that AGN disks constitute an ideal environment for another interesting phenomenon: the accretion-induced collapse (AIC) of neutron stars (NSs) to black holes (BHs). Rapid accretion in the dense disks can cause NSs to grow to the point of exceeding the maximum mass allowed by their equation of state. General relativistic magnetohydrodynamical simulations have shown that electromagnetic signatures are expected if the NS is surrounded by a minidisk prior to collapse, which then rapidly accretes onto the BH, and/or if the NS is highly magnetized, from reconnection of the magnetosphere during collapse. Here we compute the rates of AICs and their locations within the disks for both isolated NSs and for (initially stable) NSs formed from NS-NS mergers. We find that the global AIC rates are ∼0.07–20 Gpc−3 yr−1, and we discuss their observable prospects and signatures as they emerge from the dense disk environments.","lang":"eng"}],"date_published":"2021-06-28T00:00:00Z","fulldoi":"https://doi.org/10.3847/1538-4357/abfdb4","article_type":"original","status":"public","_id":"17515","oa_version":"Published Version","day":"28","publisher":"American Astronomical Society","year":"2021","citation":{"ieee":"R. Perna, H. Tagawa, Z. Haiman, and I. Bartos, “Accretion-induced collapse of neutron stars in the disks of active galactic nuclei,” <i>The Astrophysical Journal</i>, vol. 915, no. 1. American Astronomical Society, 2021.","apa":"Perna, R., Tagawa, H., Haiman, Z., &#38; Bartos, I. (2021). Accretion-induced collapse of neutron stars in the disks of active galactic nuclei. <i>The Astrophysical Journal</i>. American Astronomical Society. <a href=\"https://doi.org/10.3847/1538-4357/abfdb4\">https://doi.org/10.3847/1538-4357/abfdb4</a>","ista":"Perna R, Tagawa H, Haiman Z, Bartos I. 2021. Accretion-induced collapse of neutron stars in the disks of active galactic nuclei. The Astrophysical Journal. 915(1), 10.","ama":"Perna R, Tagawa H, Haiman Z, Bartos I. Accretion-induced collapse of neutron stars in the disks of active galactic nuclei. <i>The Astrophysical Journal</i>. 2021;915(1). doi:<a href=\"https://doi.org/10.3847/1538-4357/abfdb4\">10.3847/1538-4357/abfdb4</a>","mla":"Perna, Rosalba, et al. “Accretion-Induced Collapse of Neutron Stars in the Disks of Active Galactic Nuclei.” <i>The Astrophysical Journal</i>, vol. 915, no. 1, 10, American Astronomical Society, 2021, doi:<a href=\"https://doi.org/10.3847/1538-4357/abfdb4\">10.3847/1538-4357/abfdb4</a>.","short":"R. Perna, H. Tagawa, Z. Haiman, I. Bartos, The Astrophysical Journal 915 (2021).","chicago":"Perna, Rosalba, Hiromichi Tagawa, Zoltán Haiman, and Imre Bartos. “Accretion-Induced Collapse of Neutron Stars in the Disks of Active Galactic Nuclei.” <i>The Astrophysical Journal</i>. American Astronomical Society, 2021. <a href=\"https://doi.org/10.3847/1538-4357/abfdb4\">https://doi.org/10.3847/1538-4357/abfdb4</a>."},"issue":"1","intvolume":"       915","scopus_import":"1","publication":"The Astrophysical Journal","author":[{"full_name":"Perna, Rosalba","last_name":"Perna","first_name":"Rosalba"},{"full_name":"Tagawa, Hiromichi","last_name":"Tagawa","first_name":"Hiromichi"},{"first_name":"Zoltán","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán"},{"full_name":"Bartos, Imre","last_name":"Bartos","first_name":"Imre"}],"oa":1,"title":"Accretion-induced collapse of neutron stars in the disks of active galactic nuclei","publication_identifier":{"issn":["0004-637X","1538-4357"]},"type":"journal_article","doi":"10.3847/1538-4357/abfdb4","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/1538-4357/abfdb4"}],"article_number":"10","extern":"1","publication_status":"published","volume":915,"language":[{"iso":"eng"}],"month":"06","article_processing_charge":"No","date_created":"2024-09-05T08:55:06Z","quality_controlled":"1"},{"fulldoi":"https://doi.org/10.1093/mnras/stab395","article_type":"original","date_published":"2021-02-11T00:00:00Z","date_updated":"2024-09-10T13:53:06Z","abstract":[{"text":"We study the effect of baryonic processes on weak lensing (WL) observables with a suite of mock WL maps, the κTNG, based on the cosmological hydrodynamic simulations IllustrisTNG. We quantify the baryonic effects on the WL angular power spectrum, one-point probability distribution function (PDF), and number counts of peaks and minima. We also show the redshift evolution of the effects, which is a key to distinguish the effect of baryons from fundamental physics such as dark energy, dark matter, and massive neutrinos. We find that baryonic processes reduce the small-scale power, suppress the tails of the PDF, peak and minimum counts, and change the total number of peaks and minima. We compare our results to existing semi-analytical models and hydrodynamic simulations, and discuss the source of discrepancies. The κTNG suite includes 10 000 realizations of $5 \\times 5 \\, \\mathrm{deg}^2$ maps for 40 source redshifts up to zs = 2.6, well covering the range of interest for existing and upcoming WL surveys. We also produce the κTNG-Dark suite of maps, generated based on the corresponding dark matter-only IllustrisTNG simulations. Our mock maps are not only suitable for developing analytical models that incorporate the effect of baryons, but also particularly useful for studies that rely on mass maps, such as non-Gaussian statistics and machine learning with convolutional neural networks. The suite of mock maps is publicly available at Columbia Lensing (http://columbialensing.org).","lang":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","intvolume":"       502","issue":"4","oa_version":"Published Version","_id":"17516","status":"public","year":"2021","citation":{"chicago":"Osato, Ken, Jia Liu, and Zoltán Haiman. “ΚTNG: Effect of Baryonic Processes on Weak Lensing with IllustrisTNG Simulations.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2021. <a href=\"https://doi.org/10.1093/mnras/stab395\">https://doi.org/10.1093/mnras/stab395</a>.","short":"K. Osato, J. Liu, Z. Haiman, Monthly Notices of the Royal Astronomical Society 502 (2021) 5593–5602.","mla":"Osato, Ken, et al. “ΚTNG: Effect of Baryonic Processes on Weak Lensing with IllustrisTNG Simulations.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 502, no. 4, Oxford University Press, 2021, pp. 5593–602, doi:<a href=\"https://doi.org/10.1093/mnras/stab395\">10.1093/mnras/stab395</a>.","ama":"Osato K, Liu J, Haiman Z. κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations. <i>Monthly Notices of the Royal Astronomical Society</i>. 2021;502(4):5593-5602. doi:<a href=\"https://doi.org/10.1093/mnras/stab395\">10.1093/mnras/stab395</a>","ista":"Osato K, Liu J, Haiman Z. 2021. κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations. Monthly Notices of the Royal Astronomical Society. 502(4), 5593–5602.","ieee":"K. Osato, J. Liu, and Z. Haiman, “κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 502, no. 4. Oxford University Press, pp. 5593–5602, 2021.","apa":"Osato, K., Liu, J., &#38; Haiman, Z. (2021). κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/stab395\">https://doi.org/10.1093/mnras/stab395</a>"},"publisher":"Oxford University Press","day":"11","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/stab395"}],"doi":"10.1093/mnras/stab395","type":"journal_article","publication_identifier":{"issn":["0035-8711","1365-2966"]},"oa":1,"title":"κTNG: effect of baryonic processes on weak lensing with IllustrisTNG simulations","extern":"1","scopus_import":"1","author":[{"last_name":"Osato","full_name":"Osato, Ken","first_name":"Ken"},{"last_name":"Liu","full_name":"Liu, Jia","first_name":"Jia"},{"last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán","first_name":"Zoltán"}],"publication":"Monthly Notices of the Royal Astronomical Society","date_created":"2024-09-05T08:56:14Z","article_processing_charge":"No","quality_controlled":"1","language":[{"iso":"eng"}],"volume":502,"publication_status":"published","page":"5593-5602","month":"02"},{"publication":"Experimental Astronomy","author":[{"full_name":"Baker, John","last_name":"Baker","first_name":"John"},{"last_name":"Baker","full_name":"Baker, Tessa","first_name":"Tessa"},{"first_name":"Carmelita","last_name":"Carbone","full_name":"Carbone, Carmelita"},{"first_name":"Giuseppe","last_name":"Congedo","full_name":"Congedo, Giuseppe"},{"full_name":"Contaldi, Carlo","last_name":"Contaldi","first_name":"Carlo"},{"full_name":"Dvorkin, Irina","last_name":"Dvorkin","first_name":"Irina"},{"last_name":"Gair","full_name":"Gair, Jonathan","first_name":"Jonathan"},{"first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","full_name":"Haiman, Zoltán"},{"full_name":"Mota, David F.","last_name":"Mota","first_name":"David F."},{"full_name":"Renzini, Arianna","last_name":"Renzini","first_name":"Arianna"},{"full_name":"Buis, Ernst-Jan","last_name":"Buis","first_name":"Ernst-Jan"},{"last_name":"Cusin","full_name":"Cusin, Giulia","first_name":"Giulia"},{"first_name":"Jose Maria","last_name":"Ezquiaga","full_name":"Ezquiaga, Jose Maria"},{"first_name":"Guido","full_name":"Mueller, Guido","last_name":"Mueller"},{"full_name":"Pieroni, Mauro","last_name":"Pieroni","first_name":"Mauro"},{"first_name":"John","last_name":"Quenby","full_name":"Quenby, John"},{"last_name":"Ricciardone","full_name":"Ricciardone, Angelo","first_name":"Angelo"},{"last_name":"Saltas","full_name":"Saltas, Ippocratis D.","first_name":"Ippocratis D."},{"full_name":"Shao, Lijing","last_name":"Shao","first_name":"Lijing"},{"first_name":"Nicola","full_name":"Tamanini, Nicola","last_name":"Tamanini"},{"full_name":"Tasinato, Gianmassimo","last_name":"Tasinato","first_name":"Gianmassimo"},{"first_name":"Miguel","last_name":"Zumalacárregui","full_name":"Zumalacárregui, Miguel"}],"scopus_import":"1","extern":"1","publication_identifier":{"issn":["0922-6435","1572-9508"]},"oa":1,"title":"High angular resolution gravitational wave astronomy","doi":"10.1007/s10686-021-09712-0","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/s10686-021-09712-0"}],"type":"journal_article","month":"05","page":"1441-1470","language":[{"iso":"eng"}],"volume":51,"publication_status":"published","quality_controlled":"1","date_created":"2024-09-05T09:28:30Z","article_processing_charge":"No","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"text":"Since the very beginning of astronomy the location of objects on the sky has been a fundamental observational quantity that has been taken for granted. While precise two dimensional positional information is easy to obtain for observations in the electromagnetic spectrum, the positional accuracy of current and near future gravitational wave detectors is limited to between tens and hundreds of square degrees, which makes it extremely challenging to identify the host galaxies of gravitational wave events or to detect any electromagnetic counterparts. Gravitational wave observations provide information on source properties that is complementary to the information in any associated electromagnetic emission. Observing systems with multiple messengers thus has scientific potential much greater than the sum of its parts. A gravitational wave detector with higher angular resolution would significantly increase the prospects for finding the hosts of gravitational wave sources and triggering a multi-messenger follow-up campaign. An observatory with arcminute precision or better could be realised within the Voyage 2050 programme by creating a large baseline interferometer array in space and would have transformative scientific potential. Precise positional information of standard sirens would enable precision measurements of cosmological parameters and offer new insights on structure formation; a high angular resolution gravitational wave observatory would allow the detection of a stochastic background and resolution of the anisotropies within it; it would also allow the study of accretion processes around black holes; and it would have tremendous potential for tests of modified gravity and the discovery of physics beyond the Standard Model.","lang":"eng"}],"date_updated":"2024-09-11T08:17:16Z","date_published":"2021-05-04T00:00:00Z","fulldoi":"https://doi.org/10.1007/s10686-021-09712-0","article_type":"original","day":"04","year":"2021","citation":{"apa":"Baker, J., Baker, T., Carbone, C., Congedo, G., Contaldi, C., Dvorkin, I., … Zumalacárregui, M. (2021). High angular resolution gravitational wave astronomy. <i>Experimental Astronomy</i>. Springer Science and Business Media LLC. <a href=\"https://doi.org/10.1007/s10686-021-09712-0\">https://doi.org/10.1007/s10686-021-09712-0</a>","ieee":"J. Baker <i>et al.</i>, “High angular resolution gravitational wave astronomy,” <i>Experimental Astronomy</i>, vol. 51, no. 3. Springer Science and Business Media LLC, pp. 1441–1470, 2021.","ama":"Baker J, Baker T, Carbone C, et al. High angular resolution gravitational wave astronomy. <i>Experimental Astronomy</i>. 2021;51(3):1441-1470. doi:<a href=\"https://doi.org/10.1007/s10686-021-09712-0\">10.1007/s10686-021-09712-0</a>","ista":"Baker J, Baker T, Carbone C, Congedo G, Contaldi C, Dvorkin I, Gair J, Haiman Z, Mota DF, Renzini A, Buis E-J, Cusin G, Ezquiaga JM, Mueller G, Pieroni M, Quenby J, Ricciardone A, Saltas ID, Shao L, Tamanini N, Tasinato G, Zumalacárregui M. 2021. High angular resolution gravitational wave astronomy. Experimental Astronomy. 51(3), 1441–1470.","short":"J. Baker, T. Baker, C. Carbone, G. Congedo, C. Contaldi, I. Dvorkin, J. Gair, Z. Haiman, D.F. Mota, A. Renzini, E.-J. Buis, G. Cusin, J.M. Ezquiaga, G. Mueller, M. Pieroni, J. Quenby, A. Ricciardone, I.D. Saltas, L. Shao, N. Tamanini, G. Tasinato, M. Zumalacárregui, Experimental Astronomy 51 (2021) 1441–1470.","mla":"Baker, John, et al. “High Angular Resolution Gravitational Wave Astronomy.” <i>Experimental Astronomy</i>, vol. 51, no. 3, Springer Science and Business Media LLC, 2021, pp. 1441–70, doi:<a href=\"https://doi.org/10.1007/s10686-021-09712-0\">10.1007/s10686-021-09712-0</a>.","chicago":"Baker, John, Tessa Baker, Carmelita Carbone, Giuseppe Congedo, Carlo Contaldi, Irina Dvorkin, Jonathan Gair, et al. “High Angular Resolution Gravitational Wave Astronomy.” <i>Experimental Astronomy</i>. Springer Science and Business Media LLC, 2021. <a href=\"https://doi.org/10.1007/s10686-021-09712-0\">https://doi.org/10.1007/s10686-021-09712-0</a>."},"publisher":"Springer Science and Business Media LLC","status":"public","_id":"17525","oa_version":"Published Version","issue":"3","intvolume":"        51"},{"date_published":"2021-09-04T00:00:00Z","article_type":"original","fulldoi":"https://doi.org/10.1007/s10686-021-09709-9","date_updated":"2024-09-11T14:53:17Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","abstract":[{"lang":"eng","text":"We propose a space-based interferometer surveying the gravitational wave (GW) sky in the milli-Hz to μ-Hz frequency range. By the 2040s, the μ-Hz frequency band, bracketed in between the Laser Interferometer Space Antenna (LISA) and pulsar timing arrays, will constitute the largest gap in the coverage of the astrophysically relevant GW spectrum. Yet many outstanding questions related to astrophysics and cosmology are best answered by GW observations in this band. We show that a μ-Hz GW detector will be a truly overarching observatory for the scientific community at large, greatly extending the potential of LISA. Conceived to detect massive black hole binaries from their early inspiral with high signal-to-noise ratio, and low-frequency stellar binaries in the Galaxy, this instrument will be a cornerstone for multimessenger astronomy from the solar neighbourhood to the high-redshift Universe."}],"issue":"3","intvolume":"        51","_id":"17534","status":"public","oa_version":"Published Version","day":"04","publisher":"Springer Science and Business Media LLC","citation":{"chicago":"Sesana, Alberto, Natalia Korsakova, Manuel Arca Sedda, Vishal Baibhav, Enrico Barausse, Simon Barke, Emanuele Berti, et al. “Unveiling the Gravitational Universe at μ-Hz Frequencies.” <i>Experimental Astronomy</i>. Springer Science and Business Media LLC, 2021. <a href=\"https://doi.org/10.1007/s10686-021-09709-9\">https://doi.org/10.1007/s10686-021-09709-9</a>.","short":"A. Sesana, N. Korsakova, M.A. Sedda, V. Baibhav, E. Barausse, S. Barke, E. Berti, M. Bonetti, P.R. Capelo, C. Caprini, J. Garcia-Bellido, Z. Haiman, K. Jani, O. Jennrich, P.H. Johansson, F.M. Khan, V. Korol, A. Lamberts, A. Lupi, A. Mangiagli, L. Mayer, G. Nardini, F. Pacucci, A. Petiteau, A. Raccanelli, S. Rajendran, J. Regan, L. Shao, A. Spallicci, N. Tamanini, M. Volonteri, N. Warburton, K. Wong, M. Zumalacarregui, Experimental Astronomy 51 (2021) 1333–1383.","mla":"Sesana, Alberto, et al. “Unveiling the Gravitational Universe at μ-Hz Frequencies.” <i>Experimental Astronomy</i>, vol. 51, no. 3, Springer Science and Business Media LLC, 2021, pp. 1333–83, doi:<a href=\"https://doi.org/10.1007/s10686-021-09709-9\">10.1007/s10686-021-09709-9</a>.","ista":"Sesana A, Korsakova N, Sedda MA, Baibhav V, Barausse E, Barke S, Berti E, Bonetti M, Capelo PR, Caprini C, Garcia-Bellido J, Haiman Z, Jani K, Jennrich O, Johansson PH, Khan FM, Korol V, Lamberts A, Lupi A, Mangiagli A, Mayer L, Nardini G, Pacucci F, Petiteau A, Raccanelli A, Rajendran S, Regan J, Shao L, Spallicci A, Tamanini N, Volonteri M, Warburton N, Wong K, Zumalacarregui M. 2021. Unveiling the gravitational universe at μ-Hz frequencies. Experimental Astronomy. 51(3), 1333–1383.","ama":"Sesana A, Korsakova N, Sedda MA, et al. Unveiling the gravitational universe at μ-Hz frequencies. <i>Experimental Astronomy</i>. 2021;51(3):1333-1383. doi:<a href=\"https://doi.org/10.1007/s10686-021-09709-9\">10.1007/s10686-021-09709-9</a>","apa":"Sesana, A., Korsakova, N., Sedda, M. A., Baibhav, V., Barausse, E., Barke, S., … Zumalacarregui, M. (2021). Unveiling the gravitational universe at μ-Hz frequencies. <i>Experimental Astronomy</i>. Springer Science and Business Media LLC. <a href=\"https://doi.org/10.1007/s10686-021-09709-9\">https://doi.org/10.1007/s10686-021-09709-9</a>","ieee":"A. Sesana <i>et al.</i>, “Unveiling the gravitational universe at μ-Hz frequencies,” <i>Experimental Astronomy</i>, vol. 51, no. 3. Springer Science and Business Media LLC, pp. 1333–1383, 2021."},"year":"2021","title":"Unveiling the gravitational universe at μ-Hz frequencies","oa":1,"publication_identifier":{"issn":["0922-6435","1572-9508"]},"type":"journal_article","doi":"10.1007/s10686-021-09709-9","main_file_link":[{"url":"https://doi.org/10.1007/s10686-021-09709-9","open_access":"1"}],"extern":"1","scopus_import":"1","publication":"Experimental Astronomy","author":[{"first_name":"Alberto","last_name":"Sesana","full_name":"Sesana, Alberto"},{"first_name":"Natalia","last_name":"Korsakova","full_name":"Korsakova, Natalia"},{"first_name":"Manuel Arca","full_name":"Sedda, Manuel Arca","last_name":"Sedda"},{"full_name":"Baibhav, Vishal","last_name":"Baibhav","first_name":"Vishal"},{"last_name":"Barausse","full_name":"Barausse, Enrico","first_name":"Enrico"},{"last_name":"Barke","full_name":"Barke, Simon","first_name":"Simon"},{"first_name":"Emanuele","last_name":"Berti","full_name":"Berti, Emanuele"},{"first_name":"Matteo","last_name":"Bonetti","full_name":"Bonetti, Matteo"},{"first_name":"Pedro R.","full_name":"Capelo, Pedro R.","last_name":"Capelo"},{"first_name":"Chiara","full_name":"Caprini, Chiara","last_name":"Caprini"},{"full_name":"Garcia-Bellido, Juan","last_name":"Garcia-Bellido","first_name":"Juan"},{"first_name":"Zoltán","full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"full_name":"Jani, Karan","last_name":"Jani","first_name":"Karan"},{"first_name":"Oliver","last_name":"Jennrich","full_name":"Jennrich, Oliver"},{"first_name":"Peter H.","full_name":"Johansson, Peter H.","last_name":"Johansson"},{"first_name":"Fazeel Mahmood","last_name":"Khan","full_name":"Khan, Fazeel Mahmood"},{"first_name":"Valeriya","last_name":"Korol","full_name":"Korol, Valeriya"},{"last_name":"Lamberts","full_name":"Lamberts, Astrid","first_name":"Astrid"},{"first_name":"Alessandro","last_name":"Lupi","full_name":"Lupi, Alessandro"},{"first_name":"Alberto","last_name":"Mangiagli","full_name":"Mangiagli, Alberto"},{"first_name":"Lucio","last_name":"Mayer","full_name":"Mayer, Lucio"},{"first_name":"Germano","last_name":"Nardini","full_name":"Nardini, Germano"},{"first_name":"Fabio","last_name":"Pacucci","full_name":"Pacucci, Fabio"},{"full_name":"Petiteau, Antoine","last_name":"Petiteau","first_name":"Antoine"},{"last_name":"Raccanelli","full_name":"Raccanelli, Alvise","first_name":"Alvise"},{"last_name":"Rajendran","full_name":"Rajendran, Surjeet","first_name":"Surjeet"},{"first_name":"John","full_name":"Regan, John","last_name":"Regan"},{"first_name":"Lijing","full_name":"Shao, Lijing","last_name":"Shao"},{"first_name":"Alessandro","last_name":"Spallicci","full_name":"Spallicci, Alessandro"},{"first_name":"Nicola","full_name":"Tamanini, Nicola","last_name":"Tamanini"},{"first_name":"Marta","last_name":"Volonteri","full_name":"Volonteri, Marta"},{"last_name":"Warburton","full_name":"Warburton, Niels","first_name":"Niels"},{"full_name":"Wong, Kaze","last_name":"Wong","first_name":"Kaze"},{"first_name":"Miguel","full_name":"Zumalacarregui, Miguel","last_name":"Zumalacarregui"}],"article_processing_charge":"No","date_created":"2024-09-05T09:42:29Z","quality_controlled":"1","page":"1333-1383","publication_status":"published","volume":51,"language":[{"iso":"eng"}],"month":"09"}]