[{"keyword":["Mathematical Physics","Statistical and Nonlinear Physics"],"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","type":"journal_article","_id":"9121","department":[{"_id":"GradSch"}],"file_date_updated":"2021-02-15T09:31:07Z","ddc":["510"],"date_updated":"2023-09-05T15:17:16Z","intvolume":" 111","month":"02","oa_version":"Published Version","abstract":[{"lang":"eng","text":"We show that the energy gap for the BCS gap equation is\r\nΞ=μ(8e−2+o(1))exp(π2μ−−√a)\r\nin the low density limit μ→0. Together with the similar result for the critical temperature by Hainzl and Seiringer (Lett Math Phys 84: 99–107, 2008), this shows that, in the low density limit, the ratio of the energy gap and critical temperature is a universal constant independent of the interaction potential V. The results hold for a class of potentials with negative scattering length a and no bound states."}],"volume":111,"language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"eaf1b3ff5026f120f0929a5c417dc842","file_id":"9122","success":1,"date_updated":"2021-02-15T09:31:07Z","file_size":329332,"creator":"dernst","date_created":"2021-02-15T09:31:07Z","file_name":"2021_LettersMathPhysics_Lauritsen.pdf"}],"publication_status":"published","publication_identifier":{"issn":["0377-9017"],"eissn":["1573-0530"]},"project":[{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"article_number":"20","title":"The BCS energy gap at low density","article_processing_charge":"Yes (via OA deal)","external_id":{"isi":["000617531900001"]},"author":[{"orcid":"0000-0003-4476-2288","full_name":"Lauritsen, Asbjørn Bækgaard","last_name":"Lauritsen","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1","first_name":"Asbjørn Bækgaard"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"short":"A.B. Lauritsen, Letters in Mathematical Physics 111 (2021).","ieee":"A. B. Lauritsen, “The BCS energy gap at low density,” Letters in Mathematical Physics, vol. 111. Springer Nature, 2021.","ama":"Lauritsen AB. The BCS energy gap at low density. Letters in Mathematical Physics. 2021;111. doi:10.1007/s11005-021-01358-5","apa":"Lauritsen, A. B. (2021). The BCS energy gap at low density. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01358-5","mla":"Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” Letters in Mathematical Physics, vol. 111, 20, Springer Nature, 2021, doi:10.1007/s11005-021-01358-5.","ista":"Lauritsen AB. 2021. The BCS energy gap at low density. Letters in Mathematical Physics. 111, 20.","chicago":"Lauritsen, Asbjørn Bækgaard. “The BCS Energy Gap at Low Density.” Letters in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s11005-021-01358-5."},"oa":1,"quality_controlled":"1","publisher":"Springer Nature","acknowledgement":"Most of this work was done as part of the author’s master’s thesis. The author would like to thank Jan Philip Solovej for his supervision of this process.\r\nOpen Access funding provided by Institute of Science and Technology (IST Austria)","date_created":"2021-02-15T09:27:14Z","date_published":"2021-02-12T00:00:00Z","doi":"10.1007/s11005-021-01358-5","publication":"Letters in Mathematical Physics","day":"12","year":"2021","isi":1,"has_accepted_license":"1"},{"has_accepted_license":"1","isi":1,"year":"2021","day":"01","publication":"Networks and Spatial Economics","page":"291-323","date_published":"2021-06-01T00:00:00Z","doi":"10.1007/s11067-021-09517-w","date_created":"2021-03-10T12:18:47Z","acknowledgement":"The authors sincerely thank the Editor-in-Chief and anonymous referees for their careful reading, constructive comments and fruitful suggestions that help improve the manuscript. The research of the first author is supported by the National Research Foundation (NRF) South Africa (S& F-DSI/NRF Free Standing Postdoctoral Fellowship; Grant Number: 120784). The first author also acknowledges the financial support from DSI/NRF, South Africa Center of Excellence in Mathematical and Statistical Sciences (CoE-MaSS) Postdoctoral Fellowship. The second author has received funding from the European Research Council (ERC) under the European Union’s Seventh Framework Program (FP7 - 2007-2013) (Grant agreement No. 616160). Open Access funding provided by Institute of Science and Technology (IST Austria).","publisher":"Springer Nature","quality_controlled":"1","oa":1,"citation":{"chicago":"Izuchukwu, Chinedu, and Yekini Shehu. “New Inertial Projection Methods for Solving Multivalued Variational Inequality Problems beyond Monotonicity.” Networks and Spatial Economics. Springer Nature, 2021. https://doi.org/10.1007/s11067-021-09517-w.","ista":"Izuchukwu C, Shehu Y. 2021. New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity. Networks and Spatial Economics. 21(2), 291–323.","mla":"Izuchukwu, Chinedu, and Yekini Shehu. “New Inertial Projection Methods for Solving Multivalued Variational Inequality Problems beyond Monotonicity.” Networks and Spatial Economics, vol. 21, no. 2, Springer Nature, 2021, pp. 291–323, doi:10.1007/s11067-021-09517-w.","short":"C. Izuchukwu, Y. Shehu, Networks and Spatial Economics 21 (2021) 291–323.","ieee":"C. Izuchukwu and Y. Shehu, “New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity,” Networks and Spatial Economics, vol. 21, no. 2. Springer Nature, pp. 291–323, 2021.","apa":"Izuchukwu, C., & Shehu, Y. (2021). New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity. Networks and Spatial Economics. Springer Nature. https://doi.org/10.1007/s11067-021-09517-w","ama":"Izuchukwu C, Shehu Y. New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity. Networks and Spatial Economics. 2021;21(2):291-323. doi:10.1007/s11067-021-09517-w"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"last_name":"Izuchukwu","full_name":"Izuchukwu, Chinedu","first_name":"Chinedu"},{"last_name":"Shehu","orcid":"0000-0001-9224-7139","full_name":"Shehu, Yekini","first_name":"Yekini","id":"3FC7CB58-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"isi":["000625002100001"]},"article_processing_charge":"Yes (via OA deal)","title":"New inertial projection methods for solving multivalued variational inequality problems beyond monotonicity","project":[{"name":"Discrete Optimization in Computer Vision: Theory and Practice","grant_number":"616160","_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"publication_identifier":{"issn":["1566-113X"],"eissn":["1572-9427"]},"publication_status":"published","file":[{"content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"22b4253a2e5da843622a2df713784b4c","file_id":"9884","success":1,"date_updated":"2021-08-11T12:44:16Z","file_size":834964,"creator":"kschuh","date_created":"2021-08-11T12:44:16Z","file_name":"2021_NetworksSpatialEconomics_Shehu.pdf"}],"language":[{"iso":"eng"}],"issue":"2","volume":21,"ec_funded":1,"abstract":[{"lang":"eng","text":"In this paper, we present two new inertial projection-type methods for solving multivalued variational inequality problems in finite-dimensional spaces. We establish the convergence of the sequence generated by these methods when the multivalued mapping associated with the problem is only required to be locally bounded without any monotonicity assumption. Furthermore, the inertial techniques that we employ in this paper are quite different from the ones used in most papers. Moreover, based on the weaker assumptions on the inertial factor in our methods, we derive several special cases of our methods. Finally, we present some experimental results to illustrate the profits that we gain by introducing the inertial extrapolation steps."}],"oa_version":"Published Version","scopus_import":"1","month":"06","intvolume":" 21","date_updated":"2023-09-05T15:32:32Z","ddc":["510"],"department":[{"_id":"VlKo"}],"file_date_updated":"2021-08-11T12:44:16Z","_id":"9234","article_type":"original","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","keyword":["Computer Networks and Communications","Software","Artificial Intelligence"]},{"month":"03","intvolume":" 5","scopus_import":"1","oa_version":"Published Version","abstract":[{"text":"We study the probabilistic convergence between the mapper graph and the Reeb graph of a topological space X equipped with a continuous function f:X→R. We first give a categorification of the mapper graph and the Reeb graph by interpreting them in terms of cosheaves and stratified covers of the real line R. We then introduce a variant of the classic mapper graph of Singh et al. (in: Eurographics symposium on point-based graphics, 2007), referred to as the enhanced mapper graph, and demonstrate that such a construction approximates the Reeb graph of (X,f) when it is applied to points randomly sampled from a probability density function concentrated on (X,f). Our techniques are based on the interleaving distance of constructible cosheaves and topological estimation via kernel density estimates. Following Munch and Wang (In: 32nd international symposium on computational geometry, volume 51 of Leibniz international proceedings in informatics (LIPIcs), Dagstuhl, Germany, pp 53:1–53:16, 2016), we first show that the mapper graph of (X,f), a constructible R-space (with a fixed open cover), approximates the Reeb graph of the same space. We then construct an isomorphism between the mapper of (X,f) to the mapper of a super-level set of a probability density function concentrated on (X,f). Finally, building on the approach of Bobrowski et al. (Bernoulli 23(1):288–328, 2017b), we show that, with high probability, we can recover the mapper of the super-level set given a sufficiently large sample. Our work is the first to consider the mapper construction using the theory of cosheaves in a probabilistic setting. It is part of an ongoing effort to combine sheaf theory, probability, and statistics, to support topological data analysis with random data.","lang":"eng"}],"issue":"1","volume":5,"ec_funded":1,"file":[{"date_created":"2021-02-11T14:43:59Z","file_name":"2020_JourApplCompTopology_Brown.pdf","creator":"dernst","date_updated":"2021-02-11T14:43:59Z","file_size":2090265,"file_id":"9112","checksum":"3f02e9d47c428484733da0f588a3c069","success":1,"access_level":"open_access","relation":"main_file","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2367-1726"],"eissn":["2367-1734"]},"publication_status":"published","status":"public","article_type":"original","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"9111","file_date_updated":"2021-02-11T14:43:59Z","department":[{"_id":"HeEd"}],"ddc":["510"],"date_updated":"2023-09-05T15:37:56Z","publisher":"Springer Nature","quality_controlled":"1","oa":1,"acknowledgement":"AB was supported in part by the European Union’s Horizon 2020 research and innovation\r\nprogramme under the Marie Sklodowska-Curie GrantAgreement No. 754411 and NSF IIS-1513616. OB was supported in part by the Israel Science Foundation, Grant 1965/19. BW was supported in part by NSF IIS-1513616 and DBI-1661375. EM was supported in part by NSF CMMI-1800466, DMS-1800446, and CCF-1907591.We would like to thank the Institute for Mathematics and its Applications for hosting a workshop titled Bridging Statistics and Sheaves in May 2018, where this work was conceived.\r\nOpen Access funding provided by Institute of Science and Technology (IST Austria).","date_published":"2021-03-01T00:00:00Z","doi":"10.1007/s41468-020-00063-x","date_created":"2021-02-11T14:41:02Z","page":"99-140","day":"01","publication":"Journal of Applied and Computational Topology","has_accepted_license":"1","year":"2021","project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"title":"Probabilistic convergence and stability of random mapper graphs","author":[{"id":"70B7FDF6-608D-11E9-9333-8535E6697425","first_name":"Adam","full_name":"Brown, Adam","last_name":"Brown"},{"last_name":"Bobrowski","full_name":"Bobrowski, Omer","first_name":"Omer"},{"first_name":"Elizabeth","last_name":"Munch","full_name":"Munch, Elizabeth"},{"first_name":"Bei","full_name":"Wang, Bei","last_name":"Wang"}],"external_id":{"arxiv":["1909.03488"]},"article_processing_charge":"Yes (via OA deal)","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"mla":"Brown, Adam, et al. “Probabilistic Convergence and Stability of Random Mapper Graphs.” Journal of Applied and Computational Topology, vol. 5, no. 1, Springer Nature, 2021, pp. 99–140, doi:10.1007/s41468-020-00063-x.","short":"A. Brown, O. Bobrowski, E. Munch, B. Wang, Journal of Applied and Computational Topology 5 (2021) 99–140.","ieee":"A. Brown, O. Bobrowski, E. Munch, and B. Wang, “Probabilistic convergence and stability of random mapper graphs,” Journal of Applied and Computational Topology, vol. 5, no. 1. Springer Nature, pp. 99–140, 2021.","ama":"Brown A, Bobrowski O, Munch E, Wang B. Probabilistic convergence and stability of random mapper graphs. Journal of Applied and Computational Topology. 2021;5(1):99-140. doi:10.1007/s41468-020-00063-x","apa":"Brown, A., Bobrowski, O., Munch, E., & Wang, B. (2021). Probabilistic convergence and stability of random mapper graphs. Journal of Applied and Computational Topology. Springer Nature. https://doi.org/10.1007/s41468-020-00063-x","chicago":"Brown, Adam, Omer Bobrowski, Elizabeth Munch, and Bei Wang. “Probabilistic Convergence and Stability of Random Mapper Graphs.” Journal of Applied and Computational Topology. Springer Nature, 2021. https://doi.org/10.1007/s41468-020-00063-x.","ista":"Brown A, Bobrowski O, Munch E, Wang B. 2021. Probabilistic convergence and stability of random mapper graphs. Journal of Applied and Computational Topology. 5(1), 99–140."}},{"external_id":{"isi":["000636966300001"]},"article_processing_charge":"Yes (via OA deal)","author":[{"first_name":"Eniko","id":"485BB5A4-F248-11E8-B48F-1D18A9856A87","last_name":"Szep","full_name":"Szep, Eniko"},{"first_name":"Himani","id":"42377A0A-F248-11E8-B48F-1D18A9856A87","full_name":"Sachdeva, Himani","last_name":"Sachdeva"},{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","full_name":"Barton, Nicholas H","orcid":"0000-0002-8548-5240"}],"title":"Polygenic local adaptation in metapopulations: A stochastic eco‐evolutionary model","citation":{"mla":"Szep, Eniko, et al. “Polygenic Local Adaptation in Metapopulations: A Stochastic Eco‐evolutionary Model.” Evolution, vol. 75, no. 5, Wiley, 2021, pp. 1030–45, doi:10.1111/evo.14210.","ieee":"E. Szep, H. Sachdeva, and N. H. Barton, “Polygenic local adaptation in metapopulations: A stochastic eco‐evolutionary model,” Evolution, vol. 75, no. 5. Wiley, pp. 1030–1045, 2021.","short":"E. Szep, H. Sachdeva, N.H. Barton, Evolution 75 (2021) 1030–1045.","ama":"Szep E, Sachdeva H, Barton NH. Polygenic local adaptation in metapopulations: A stochastic eco‐evolutionary model. Evolution. 2021;75(5):1030-1045. doi:10.1111/evo.14210","apa":"Szep, E., Sachdeva, H., & Barton, N. H. (2021). Polygenic local adaptation in metapopulations: A stochastic eco‐evolutionary model. Evolution. Wiley. https://doi.org/10.1111/evo.14210","chicago":"Szep, Eniko, Himani Sachdeva, and Nicholas H Barton. “Polygenic Local Adaptation in Metapopulations: A Stochastic Eco‐evolutionary Model.” Evolution. Wiley, 2021. https://doi.org/10.1111/evo.14210.","ista":"Szep E, Sachdeva H, Barton NH. 2021. Polygenic local adaptation in metapopulations: A stochastic eco‐evolutionary model. Evolution. 75(5), 1030–1045."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","oa":1,"publisher":"Wiley","quality_controlled":"1","acknowledgement":"We thank the reviewers for their helpful comments, and also our colleagues, for illuminating discussions over the long gestation of this paper.","page":"1030-1045","date_created":"2021-03-20T08:22:10Z","doi":"10.1111/evo.14210","date_published":"2021-05-01T00:00:00Z","year":"2021","isi":1,"has_accepted_license":"1","publication":"Evolution","day":"01","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"article_type":"original","type":"journal_article","keyword":["Genetics","Ecology","Evolution","Behavior and Systematics","General Agricultural and Biological Sciences"],"status":"public","_id":"9252","file_date_updated":"2021-08-11T13:39:19Z","department":[{"_id":"NiBa"}],"date_updated":"2023-09-05T15:44:06Z","ddc":["570"],"scopus_import":"1","intvolume":" 75","month":"05","abstract":[{"text":"This paper analyses the conditions for local adaptation in a metapopulation with infinitely many islands under a model of hard selection, where population size depends on local fitness. Each island belongs to one of two distinct ecological niches or habitats. Fitness is influenced by an additive trait which is under habitat‐dependent directional selection. Our analysis is based on the diffusion approximation and accounts for both genetic drift and demographic stochasticity. By neglecting linkage disequilibria, it yields the joint distribution of allele frequencies and population size on each island. We find that under hard selection, the conditions for local adaptation in a rare habitat are more restrictive for more polygenic traits: even moderate migration load per locus at very many loci is sufficient for population sizes to decline. This further reduces the efficacy of selection at individual loci due to increased drift and because smaller populations are more prone to swamping due to migration, causing a positive feedback between increasing maladaptation and declining population sizes. Our analysis also highlights the importance of demographic stochasticity, which exacerbates the decline in numbers of maladapted populations, leading to population collapse in the rare habitat at significantly lower migration than predicted by deterministic arguments.","lang":"eng"}],"oa_version":"Published Version","related_material":{"record":[{"id":"13062","status":"public","relation":"research_data"}]},"issue":"5","volume":75,"publication_status":"published","publication_identifier":{"eissn":["1558-5646"],"issn":["0014-3820"]},"language":[{"iso":"eng"}],"file":[{"date_created":"2021-08-11T13:39:19Z","file_name":"2021_Evolution_Szep.pdf","creator":"kschuh","date_updated":"2021-08-11T13:39:19Z","file_size":734102,"file_id":"9886","checksum":"b90fb5767d623602046fed03725e16ca","success":1,"access_level":"open_access","relation":"main_file","content_type":"application/pdf"}]},{"author":[{"first_name":"Roger K.","last_name":"Butlin","full_name":"Butlin, Roger K."},{"first_name":"Maria R.","last_name":"Servedio","full_name":"Servedio, Maria R."},{"first_name":"Carole M.","last_name":"Smadja","full_name":"Smadja, Carole M."},{"last_name":"Bank","full_name":"Bank, Claudia","first_name":"Claudia"},{"first_name":"Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H"},{"first_name":"Samuel M.","full_name":"Flaxman, Samuel M.","last_name":"Flaxman"},{"full_name":"Giraud, Tatiana","last_name":"Giraud","first_name":"Tatiana"},{"first_name":"Robin","last_name":"Hopkins","full_name":"Hopkins, Robin"},{"first_name":"Erica L.","last_name":"Larson","full_name":"Larson, Erica L."},{"first_name":"Martine E.","last_name":"Maan","full_name":"Maan, Martine E."},{"first_name":"Joana","full_name":"Meier, Joana","last_name":"Meier"},{"first_name":"Richard","full_name":"Merrill, Richard","last_name":"Merrill"},{"first_name":"Mohamed A. F.","last_name":"Noor","full_name":"Noor, Mohamed A. F."},{"full_name":"Ortiz‐Barrientos, Daniel","last_name":"Ortiz‐Barrientos","first_name":"Daniel"},{"full_name":"Qvarnström, Anna","last_name":"Qvarnström","first_name":"Anna"}],"external_id":{"isi":["000647224000001"]},"article_processing_charge":"No","title":"Homage to Felsenstein 1981, or why are there so few/many species?","citation":{"ista":"Butlin RK, Servedio MR, Smadja CM, Bank C, Barton NH, Flaxman SM, Giraud T, Hopkins R, Larson EL, Maan ME, Meier J, Merrill R, Noor MAF, Ortiz‐Barrientos D, Qvarnström A. 2021. Homage to Felsenstein 1981, or why are there so few/many species? Evolution. 75(5), 978–988.","chicago":"Butlin, Roger K., Maria R. Servedio, Carole M. Smadja, Claudia Bank, Nicholas H Barton, Samuel M. Flaxman, Tatiana Giraud, et al. “Homage to Felsenstein 1981, or Why Are There so Few/Many Species?” Evolution. Wiley, 2021. https://doi.org/10.1111/evo.14235.","ieee":"R. K. Butlin et al., “Homage to Felsenstein 1981, or why are there so few/many species?,” Evolution, vol. 75, no. 5. Wiley, pp. 978–988, 2021.","short":"R.K. Butlin, M.R. Servedio, C.M. Smadja, C. Bank, N.H. Barton, S.M. Flaxman, T. Giraud, R. Hopkins, E.L. Larson, M.E. Maan, J. Meier, R. Merrill, M.A.F. Noor, D. Ortiz‐Barrientos, A. Qvarnström, Evolution 75 (2021) 978–988.","apa":"Butlin, R. K., Servedio, M. R., Smadja, C. M., Bank, C., Barton, N. H., Flaxman, S. M., … Qvarnström, A. (2021). Homage to Felsenstein 1981, or why are there so few/many species? Evolution. Wiley. https://doi.org/10.1111/evo.14235","ama":"Butlin RK, Servedio MR, Smadja CM, et al. Homage to Felsenstein 1981, or why are there so few/many species? Evolution. 2021;75(5):978-988. doi:10.1111/evo.14235","mla":"Butlin, Roger K., et al. “Homage to Felsenstein 1981, or Why Are There so Few/Many Species?” Evolution, vol. 75, no. 5, Wiley, 2021, pp. 978–88, doi:10.1111/evo.14235."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","page":"978-988","date_published":"2021-04-19T00:00:00Z","doi":"10.1111/evo.14235","date_created":"2021-05-06T04:34:47Z","isi":1,"year":"2021","day":"19","publication":"Evolution","quality_controlled":"1","publisher":"Wiley","oa":1,"acknowledgement":"RKB was funded by the Natural Environment Research Council (NE/P012272/1 & NE/P001610/1), the European Research Council (693030 BARRIERS), and the Swedish Research Council (VR) (2018‐03695). MRS was funded by the National Science Foundation (Grant No. DEB1939290).","department":[{"_id":"NiBa"}],"date_updated":"2023-09-05T15:44:33Z","article_type":"original","type":"journal_article","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","keyword":["Genetics","Ecology","Evolution","Behavior and Systematics","General Agricultural and Biological Sciences"],"_id":"9374","volume":75,"issue":"5","publication_identifier":{"eissn":["1558-5646"],"issn":["0014-3820"]},"publication_status":"published","language":[{"iso":"eng"}],"main_file_link":[{"url":"https://onlinelibrary.wiley.com/doi/10.1111/evo.14235","open_access":"1"}],"month":"04","intvolume":" 75","abstract":[{"text":"If there are no constraints on the process of speciation, then the number of species might be expected to match the number of available niches and this number might be indefinitely large. One possible constraint is the opportunity for allopatric divergence. In 1981, Felsenstein used a simple and elegant model to ask if there might also be genetic constraints. He showed that progress towards speciation could be described by the build‐up of linkage disequilibrium among divergently selected loci and between these loci and those contributing to other forms of reproductive isolation. Therefore, speciation is opposed by recombination, because it tends to break down linkage disequilibria. Felsenstein then introduced a crucial distinction between “two‐allele” models, which are subject to this effect, and “one‐allele” models, which are free from the recombination constraint. These fundamentally important insights have been the foundation for both empirical and theoretical studies of speciation ever since.","lang":"eng"}],"oa_version":"Published Version"},{"department":[{"_id":"NiBa"}],"title":"Supplementary code for: Polygenic local adaptation in metapopulations: A stochastic eco-evolutionary model","article_processing_charge":"No","author":[{"full_name":"Szep, Eniko","last_name":"Szep","id":"485BB5A4-F248-11E8-B48F-1D18A9856A87","first_name":"Eniko"},{"first_name":"Himani","id":"42377A0A-F248-11E8-B48F-1D18A9856A87","full_name":"Sachdeva, Himani","last_name":"Sachdeva"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["570"],"date_updated":"2023-09-05T15:44:05Z","citation":{"mla":"Szep, Eniko, et al. Supplementary Code for: Polygenic Local Adaptation in Metapopulations: A Stochastic Eco-Evolutionary Model. Dryad, 2021, doi:10.5061/DRYAD.8GTHT76P1.","apa":"Szep, E., Sachdeva, H., & Barton, N. H. (2021). Supplementary code for: Polygenic local adaptation in metapopulations: A stochastic eco-evolutionary model. Dryad. https://doi.org/10.5061/DRYAD.8GTHT76P1","ama":"Szep E, Sachdeva H, Barton NH. Supplementary code for: Polygenic local adaptation in metapopulations: A stochastic eco-evolutionary model. 2021. doi:10.5061/DRYAD.8GTHT76P1","ieee":"E. Szep, H. Sachdeva, and N. H. Barton, “Supplementary code for: Polygenic local adaptation in metapopulations: A stochastic eco-evolutionary model.” Dryad, 2021.","short":"E. Szep, H. Sachdeva, N.H. Barton, (2021).","chicago":"Szep, Eniko, Himani Sachdeva, and Nicholas H Barton. “Supplementary Code for: Polygenic Local Adaptation in Metapopulations: A Stochastic Eco-Evolutionary Model.” Dryad, 2021. https://doi.org/10.5061/DRYAD.8GTHT76P1.","ista":"Szep E, Sachdeva H, Barton NH. 2021. Supplementary code for: Polygenic local adaptation in metapopulations: A stochastic eco-evolutionary model, Dryad, 10.5061/DRYAD.8GTHT76P1."},"status":"public","tmp":{"image":"/images/cc_0.png","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)","short":"CC0 (1.0)"},"type":"research_data_reference","_id":"13062","date_created":"2023-05-23T16:17:02Z","license":"https://creativecommons.org/publicdomain/zero/1.0/","date_published":"2021-03-02T00:00:00Z","related_material":{"record":[{"status":"public","id":"9252","relation":"used_in_publication"}]},"doi":"10.5061/DRYAD.8GTHT76P1","day":"02","year":"2021","month":"03","main_file_link":[{"url":"https://doi.org/10.5061/dryad.8gtht76p1","open_access":"1"}],"oa":1,"publisher":"Dryad","oa_version":"Published Version","abstract":[{"text":"This paper analyzes the conditions for local adaptation in a metapopulation with infinitely many islands under a model of hard selection, where population size depends on local fitness. Each island belongs to one of two distinct ecological niches or habitats. Fitness is influenced by an additive trait which is under habitat-dependent directional selection. Our analysis is based on the diffusion approximation and accounts for both genetic drift and demographic stochasticity. By neglecting linkage disequilibria, it yields the joint distribution of allele frequencies and population size on each island. We find that under hard selection, the conditions for local adaptation in a rare habitat are more restrictive for more polygenic traits: even moderate migration load per locus at very many loci is sufficient for population sizes to decline. This further reduces the efficacy of selection at individual loci due to increased drift and because smaller populations are more prone to swamping due to migration, causing a positive feedback between increasing maladaptation and declining population sizes. Our analysis also highlights the importance of demographic stochasticity, which exacerbates the decline in numbers of maladapted populations, leading to population collapse in the rare habitat at significantly lower migration than predicted by deterministic arguments.","lang":"eng"}]},{"_id":"10838","status":"public","keyword":["Genetics","Ecology","Evolution","Behavior and Systematics"],"type":"journal_article","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"ddc":["570"],"date_updated":"2023-09-05T16:02:19Z","file_date_updated":"2022-03-08T11:31:30Z","department":[{"_id":"BeVi"}],"pmid":1,"oa_version":"Published Version","abstract":[{"text":"Combining hybrid zone analysis with genomic data is a promising approach to understanding the genomic basis of adaptive divergence. It allows for the identification of genomic regions underlying barriers to gene flow. It also provides insights into spatial patterns of allele frequency change, informing about the interplay between environmental factors, dispersal and selection. However, when only a single hybrid zone is analysed, it is difficult to separate patterns generated by selection from those resulting from chance. Therefore, it is beneficial to look for repeatable patterns across replicate hybrid zones in the same system. We applied this approach to the marine snail Littorina saxatilis, which contains two ecotypes, adapted to wave-exposed rocks vs. high-predation boulder fields. The existence of numerous hybrid zones between ecotypes offered the opportunity to test for the repeatability of genomic architectures and spatial patterns of divergence. We sampled and phenotyped snails from seven replicate hybrid zones on the Swedish west coast and genotyped them for thousands of single nucleotide polymorphisms. Shell shape and size showed parallel clines across all zones. Many genomic regions showing steep clines and/or high differentiation were shared among hybrid zones, consistent with a common evolutionary history and extensive gene flow between zones, and supporting the importance of these regions for divergence. In particular, we found that several large putative inversions contribute to divergence in all locations. Additionally, we found evidence for consistent displacement of clines from the boulder–rock transition. Our results demonstrate patterns of spatial variation that would not be accessible without continuous spatial sampling, a large genomic data set and replicate hybrid zones.","lang":"eng"}],"month":"08","intvolume":" 30","scopus_import":"1","file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"checksum":"d5611f243ceb63a0e091d6662ebd9cda","file_id":"10839","creator":"dernst","file_size":1726548,"date_updated":"2022-03-08T11:31:30Z","file_name":"2021_MolecularEcology_Westram.pdf","date_created":"2022-03-08T11:31:30Z"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0962-1083"],"eissn":["1365-294X"]},"publication_status":"published","issue":"15","volume":30,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"apa":"Westram, A. M., Faria, R., Johannesson, K., & Butlin, R. (2021). Using replicate hybrid zones to understand the genomic basis of adaptive divergence. Molecular Ecology. Wiley. https://doi.org/10.1111/mec.15861","ama":"Westram AM, Faria R, Johannesson K, Butlin R. Using replicate hybrid zones to understand the genomic basis of adaptive divergence. Molecular Ecology. 2021;30(15):3797-3814. doi:10.1111/mec.15861","ieee":"A. M. Westram, R. Faria, K. Johannesson, and R. Butlin, “Using replicate hybrid zones to understand the genomic basis of adaptive divergence,” Molecular Ecology, vol. 30, no. 15. Wiley, pp. 3797–3814, 2021.","short":"A.M. Westram, R. Faria, K. Johannesson, R. Butlin, Molecular Ecology 30 (2021) 3797–3814.","mla":"Westram, Anja M., et al. “Using Replicate Hybrid Zones to Understand the Genomic Basis of Adaptive Divergence.” Molecular Ecology, vol. 30, no. 15, Wiley, 2021, pp. 3797–814, doi:10.1111/mec.15861.","ista":"Westram AM, Faria R, Johannesson K, Butlin R. 2021. Using replicate hybrid zones to understand the genomic basis of adaptive divergence. Molecular Ecology. 30(15), 3797–3814.","chicago":"Westram, Anja M, Rui Faria, Kerstin Johannesson, and Roger Butlin. “Using Replicate Hybrid Zones to Understand the Genomic Basis of Adaptive Divergence.” Molecular Ecology. Wiley, 2021. https://doi.org/10.1111/mec.15861."},"title":"Using replicate hybrid zones to understand the genomic basis of adaptive divergence","author":[{"last_name":"Westram","full_name":"Westram, Anja M","orcid":"0000-0003-1050-4969","id":"3C147470-F248-11E8-B48F-1D18A9856A87","first_name":"Anja M"},{"last_name":"Faria","full_name":"Faria, Rui","first_name":"Rui"},{"full_name":"Johannesson, Kerstin","last_name":"Johannesson","first_name":"Kerstin"},{"first_name":"Roger","full_name":"Butlin, Roger","last_name":"Butlin"}],"external_id":{"pmid":["33638231"],"isi":["000669439700001"]},"article_processing_charge":"No","acknowledgement":"We thank everyone who helped with fieldwork, snail processing and DNA extractions, particularly Laura Brettell, Mårten Duvetorp, Juan Galindo, Anne-Lise Liabot, Mark Ravinet, Irena Senčić and Zuzanna Zagrodzka. We are also grateful to Edinburgh Genomics for library preparation and sequencing, to Stuart Baird and Mark Ravinet for helpful discussions, and to three anonymous reviewers for their constructive comments. This work was supported by the Natural Environment Research Council (NE/K014021/1), the European Research Council (AdG-693030-BARRIERS), Swedish Research Councils Formas and Vetenskapsrådet through a Linnaeus grant to the Centre for Marine Evolutionary Biology (217-2008-1719), the European Regional Development Fund (POCI-01-0145-FEDER-030628), and the Fundação para a iência e a Tecnologia,\r\nPortugal (PTDC/BIA-EVL/\r\n30628/2017). A.M.W. and R.F. were\r\nfunded by the European Union’s Horizon 2020 research and innovation\r\nprogramme under Marie Skłodowska-Curie\r\ngrant agreements\r\nno. 754411/797747 and no. 706376, respectively.","publisher":"Wiley","quality_controlled":"1","oa":1,"day":"01","publication":"Molecular Ecology","has_accepted_license":"1","isi":1,"year":"2021","date_published":"2021-08-01T00:00:00Z","doi":"10.1111/mec.15861","date_created":"2022-03-08T11:28:32Z","page":"3797-3814"},{"publication_identifier":{"eissn":["1469-8137"],"issn":["0028-646x"]},"publication_status":"published","language":[{"iso":"eng"}],"issue":"6","volume":230,"abstract":[{"lang":"eng","text":"• The phenylpropanoid pathway serves a central role in plant metabolism, providing numerous compounds involved in diverse physiological processes. Most carbon entering the pathway is incorporated into lignin. Although several phenylpropanoid pathway mutants show seedling growth arrest, the role for lignin in seedling growth and development is unexplored.\r\n• We use complementary pharmacological and genetic approaches to block CINNAMATE‐4‐HYDROXYLASE (C4H) functionality in Arabidopsis seedlings and a set of molecular and biochemical techniques to investigate the underlying phenotypes.\r\n• Blocking C4H resulted in reduced lateral rooting and increased adventitious rooting apically in the hypocotyl. These phenotypes coincided with an inhibition in auxin transport. The upstream accumulation in cis‐cinnamic acid was found to likely cause polar auxin transport inhibition. Conversely, a downstream depletion in lignin perturbed phloem‐mediated auxin transport. Restoring lignin deposition effectively reestablished phloem transport and, accordingly, auxin homeostasis.\r\n• Our results show that the accumulation of bioactive intermediates and depletion in lignin jointly cause the aberrant phenotypes upon blocking C4H, and demonstrate that proper deposition of lignin is essential for the establishment of auxin distribution in seedlings. Our data position the phenylpropanoid pathway and lignin in a new physiological framework, consolidating their importance in plant growth and development."}],"oa_version":"Published Version","pmid":1,"scopus_import":"1","main_file_link":[{"open_access":"1","url":"https://biblio.ugent.be/publication/8703799/file/8703800.pdf"}],"month":"03","intvolume":" 230","date_updated":"2023-09-05T15:46:55Z","department":[{"_id":"JiFr"}],"_id":"9288","type":"journal_article","article_type":"original","status":"public","isi":1,"year":"2021","day":"17","publication":"New Phytologist","page":"2275-2291","date_published":"2021-03-17T00:00:00Z","doi":"10.1111/nph.17349","date_created":"2021-03-26T12:09:01Z","quality_controlled":"1","publisher":"Wiley","oa":1,"citation":{"mla":"El Houari, I., et al. “Seedling Developmental Defects upon Blocking CINNAMATE-4-HYDROXYLASE Are Caused by Perturbations in Auxin Transport.” New Phytologist, vol. 230, no. 6, Wiley, 2021, pp. 2275–91, doi:10.1111/nph.17349.","short":"I. El Houari, C. Van Beirs, H. Arents, H. Han, A. Chanoca, D. Opdenacker, J. Pollier, V. Storme, W. Steenackers, M. Quareshy, R. Napier, T. Beeckman, J. Friml, B. De Rybel, W. Boerjan, B. Vanholme, New Phytologist 230 (2021) 2275–2291.","ieee":"I. El Houari et al., “Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport,” New Phytologist, vol. 230, no. 6. Wiley, pp. 2275–2291, 2021.","apa":"El Houari, I., Van Beirs, C., Arents, H., Han, H., Chanoca, A., Opdenacker, D., … Vanholme, B. (2021). Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport. New Phytologist. Wiley. https://doi.org/10.1111/nph.17349","ama":"El Houari I, Van Beirs C, Arents H, et al. Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport. New Phytologist. 2021;230(6):2275-2291. doi:10.1111/nph.17349","chicago":"El Houari, I, C Van Beirs, HE Arents, Huibin Han, A Chanoca, D Opdenacker, J Pollier, et al. “Seedling Developmental Defects upon Blocking CINNAMATE-4-HYDROXYLASE Are Caused by Perturbations in Auxin Transport.” New Phytologist. Wiley, 2021. https://doi.org/10.1111/nph.17349.","ista":"El Houari I, Van Beirs C, Arents H, Han H, Chanoca A, Opdenacker D, Pollier J, Storme V, Steenackers W, Quareshy M, Napier R, Beeckman T, Friml J, De Rybel B, Boerjan W, Vanholme B. 2021. Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport. New Phytologist. 230(6), 2275–2291."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"full_name":"El Houari, I","last_name":"El Houari","first_name":"I"},{"last_name":"Van Beirs","full_name":"Van Beirs, C","first_name":"C"},{"full_name":"Arents, HE","last_name":"Arents","first_name":"HE"},{"id":"31435098-F248-11E8-B48F-1D18A9856A87","first_name":"Huibin","last_name":"Han","full_name":"Han, Huibin"},{"last_name":"Chanoca","full_name":"Chanoca, A","first_name":"A"},{"first_name":"D","full_name":"Opdenacker, D","last_name":"Opdenacker"},{"first_name":"J","last_name":"Pollier","full_name":"Pollier, J"},{"first_name":"V","last_name":"Storme","full_name":"Storme, V"},{"first_name":"W","full_name":"Steenackers, W","last_name":"Steenackers"},{"last_name":"Quareshy","full_name":"Quareshy, M","first_name":"M"},{"first_name":"R","last_name":"Napier","full_name":"Napier, R"},{"full_name":"Beeckman, T","last_name":"Beeckman","first_name":"T"},{"last_name":"Friml","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"B","last_name":"De Rybel","full_name":"De Rybel, B"},{"first_name":"W","full_name":"Boerjan, W","last_name":"Boerjan"},{"last_name":"Vanholme","full_name":"Vanholme, B","first_name":"B"}],"external_id":{"isi":["000639552400001"],"pmid":["33728703"]},"article_processing_charge":"No","title":"Seedling developmental defects upon blocking CINNAMATE-4-HYDROXYLASE are caused by perturbations in auxin transport"},{"department":[{"_id":"Bio"}],"file_date_updated":"2022-03-08T11:23:16Z","date_updated":"2023-09-05T15:58:53Z","ddc":["570"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","article_type":"letter_note","keyword":["Immunology","Immunology and Allergy"],"status":"public","_id":"10836","issue":"5","volume":76,"publication_status":"published","publication_identifier":{"issn":["0105-4538"],"eissn":["1398-9995"]},"language":[{"iso":"eng"}],"file":[{"success":1,"checksum":"9526f9554112fc027c9f7fa540c488cd","file_id":"10837","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2021_Allergy_Pranger.pdf","date_created":"2022-03-08T11:23:16Z","creator":"dernst","file_size":626081,"date_updated":"2022-03-08T11:23:16Z"}],"scopus_import":"1","intvolume":" 76","month":"05","oa_version":"Published Version","pmid":1,"external_id":{"isi":["000577708800001"],"pmid":["32990982"]},"article_processing_charge":"No","author":[{"last_name":"Pranger","full_name":"Pranger, Christina L.","first_name":"Christina L."},{"first_name":"Judit","id":"36432834-F248-11E8-B48F-1D18A9856A87","last_name":"Fazekas-Singer","orcid":"0000-0002-8777-3502","full_name":"Fazekas-Singer, Judit"},{"last_name":"Köhler","full_name":"Köhler, Verena K.","first_name":"Verena K."},{"last_name":"Pali‐Schöll","full_name":"Pali‐Schöll, Isabella","first_name":"Isabella"},{"first_name":"Alessandro","last_name":"Fiocchi","full_name":"Fiocchi, Alessandro"},{"first_name":"Sophia N.","last_name":"Karagiannis","full_name":"Karagiannis, Sophia N."},{"full_name":"Zenarruzabeitia, Olatz","last_name":"Zenarruzabeitia","first_name":"Olatz"},{"full_name":"Borrego, Francisco","last_name":"Borrego","first_name":"Francisco"},{"full_name":"Jensen‐Jarolim, Erika","last_name":"Jensen‐Jarolim","first_name":"Erika"}],"title":"PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow's milk allergy and tolerance","citation":{"ista":"Pranger CL, Singer J, Köhler VK, Pali‐Schöll I, Fiocchi A, Karagiannis SN, Zenarruzabeitia O, Borrego F, Jensen‐Jarolim E. 2021. PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow’s milk allergy and tolerance. Allergy. 76(5), 1553–1556.","chicago":"Pranger, Christina L., Judit Singer, Verena K. Köhler, Isabella Pali‐Schöll, Alessandro Fiocchi, Sophia N. Karagiannis, Olatz Zenarruzabeitia, Francisco Borrego, and Erika Jensen‐Jarolim. “PIPE‐cloned Human IgE and IgG4 Antibodies: New Tools for Investigating Cow’s Milk Allergy and Tolerance.” Allergy. Wiley, 2021. https://doi.org/10.1111/all.14604.","ama":"Pranger CL, Singer J, Köhler VK, et al. PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow’s milk allergy and tolerance. Allergy. 2021;76(5):1553-1556. doi:10.1111/all.14604","apa":"Pranger, C. L., Singer, J., Köhler, V. K., Pali‐Schöll, I., Fiocchi, A., Karagiannis, S. N., … Jensen‐Jarolim, E. (2021). PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow’s milk allergy and tolerance. Allergy. Wiley. https://doi.org/10.1111/all.14604","short":"C.L. Pranger, J. Singer, V.K. Köhler, I. Pali‐Schöll, A. Fiocchi, S.N. Karagiannis, O. Zenarruzabeitia, F. Borrego, E. Jensen‐Jarolim, Allergy 76 (2021) 1553–1556.","ieee":"C. L. Pranger et al., “PIPE‐cloned human IgE and IgG4 antibodies: New tools for investigating cow’s milk allergy and tolerance,” Allergy, vol. 76, no. 5. Wiley, pp. 1553–1556, 2021.","mla":"Pranger, Christina L., et al. “PIPE‐cloned Human IgE and IgG4 Antibodies: New Tools for Investigating Cow’s Milk Allergy and Tolerance.” Allergy, vol. 76, no. 5, Wiley, 2021, pp. 1553–56, doi:10.1111/all.14604."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","page":"1553-1556","date_created":"2022-03-08T11:19:05Z","doi":"10.1111/all.14604","date_published":"2021-05-01T00:00:00Z","year":"2021","isi":1,"has_accepted_license":"1","publication":"Allergy","day":"01","oa":1,"publisher":"Wiley","quality_controlled":"1","acknowledgement":"This work was supported by the Austrian Science Fund (FWF) grants MCCA W1248-B30 and SFB F4606-B28 to EJJ. CP received a short-term research fellowship of the European Federation of Immunological Societies (EFIS-IL) for a research visit at Biocruces Bizkaia Health Research Institute, Barakaldo, Spain. VKK received an EFIS-IL short-term research fellowship for a research visit at King’s College London. The research was funded by the National Institute for Health Research (NIHR) Biomedical Research Centre (BRC) based at Guy's and St Thomas' NHS Foundation Trust and King's College London (IS-BRC-1215-20006) (SNK). The authors acknowledge support by the Medical Research Council (MR/L023091/1) (SNK); Breast Cancer Now (147; KCL-BCN-Q3)(SNK); Cancer Research UK (C30122/A11527; C30122/A15774) (SNK); Cancer Research UK King's Health Partners Centre at King's College London (C604/A25135) (SNK); CRUK/NIHR in England/DoH for Scotland, Wales and Northern Ireland Experimental Cancer Medicine Centre (C10355/A15587) (SNK). The views expressed are those of the author(s) and not necessarily those of the NHS, the NIHR or the Department of Health. Additionally, this work was funded by Instituto de Salud Carlos III through the project \"PI16/01223\" (Co-funded by European Regional Development Fund; “A way to make Europe”) to FB and by the Department of Health, Basque Government through the project “2019111031” to OZ. OZ is recipient of a Sara Borrell 2017 post-doctoral contract “CD17/00128” funded by Instituto de Salud Carlos III (Co-funded by European Social Fund; “Investing in your future”)."},{"oa":1,"quality_controlled":"1","publisher":"Wiley","acknowledgement":"This work was supported by the National Key Research andDevelopment Programme of China (2017YFA0506100), theNational Natural Science Foundation of China (31870170 and31701168), and the Fok Ying Tung Education Foundation(161027) to XC; NTU startup grant (M4081533) and NIM/01/2016 (NTU, Singapore) to YM. We thank Lei Shi andZhongquan Lin for microscopy assistance.","date_created":"2020-10-05T12:45:36Z","date_published":"2021-01-01T00:00:00Z","doi":"10.1111/nph.16915","page":"963-978","publication":"New Phytologist","day":"01","year":"2021","isi":1,"has_accepted_license":"1","title":"Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana","external_id":{"pmid":["32901934"],"isi":["000573568000001"]},"article_processing_charge":"No","author":[{"full_name":"Ke, M","last_name":"Ke","first_name":"M"},{"full_name":"Ma, Z","last_name":"Ma","first_name":"Z"},{"full_name":"Wang, D","last_name":"Wang","first_name":"D"},{"first_name":"Y","full_name":"Sun, Y","last_name":"Sun"},{"first_name":"C","full_name":"Wen, C","last_name":"Wen"},{"first_name":"D","full_name":"Huang, D","last_name":"Huang"},{"first_name":"Z","last_name":"Chen","full_name":"Chen, Z"},{"last_name":"Yang","full_name":"Yang, L","first_name":"L"},{"last_name":"Tan","orcid":"0000-0002-0471-8285","full_name":"Tan, Shutang","first_name":"Shutang","id":"2DE75584-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Li","full_name":"Li, R","first_name":"R"},{"orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří"},{"full_name":"Miao, Y","last_name":"Miao","first_name":"Y"},{"last_name":"Chen","full_name":"Chen, X","first_name":"X"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Ke, M, Z Ma, D Wang, Y Sun, C Wen, D Huang, Z Chen, et al. “Salicylic Acid Regulates PIN2 Auxin Transporter Hyper-Clustering and Root Gravitropic Growth via Remorin-Dependent Lipid Nanodomain Organization in Arabidopsis Thaliana.” New Phytologist. Wiley, 2021. https://doi.org/10.1111/nph.16915.","ista":"Ke M, Ma Z, Wang D, Sun Y, Wen C, Huang D, Chen Z, Yang L, Tan S, Li R, Friml J, Miao Y, Chen X. 2021. Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana. New Phytologist. 229(2), 963–978.","mla":"Ke, M., et al. “Salicylic Acid Regulates PIN2 Auxin Transporter Hyper-Clustering and Root Gravitropic Growth via Remorin-Dependent Lipid Nanodomain Organization in Arabidopsis Thaliana.” New Phytologist, vol. 229, no. 2, Wiley, 2021, pp. 963–78, doi:10.1111/nph.16915.","ieee":"M. Ke et al., “Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana,” New Phytologist, vol. 229, no. 2. Wiley, pp. 963–978, 2021.","short":"M. Ke, Z. Ma, D. Wang, Y. Sun, C. Wen, D. Huang, Z. Chen, L. Yang, S. Tan, R. Li, J. Friml, Y. Miao, X. Chen, New Phytologist 229 (2021) 963–978.","apa":"Ke, M., Ma, Z., Wang, D., Sun, Y., Wen, C., Huang, D., … Chen, X. (2021). Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana. New Phytologist. Wiley. https://doi.org/10.1111/nph.16915","ama":"Ke M, Ma Z, Wang D, et al. Salicylic acid regulates PIN2 auxin transporter hyper-clustering and root gravitropic growth via Remorin-dependent lipid nanodomain organization in Arabidopsis thaliana. New Phytologist. 2021;229(2):963-978. doi:10.1111/nph.16915"},"intvolume":" 229","month":"01","scopus_import":"1","pmid":1,"oa_version":"Published Version","abstract":[{"lang":"eng","text":"To adapt to the diverse array of biotic and abiotic cues, plants have evolved sophisticated mechanisms to sense changes in environmental conditions and modulate their growth. Growth-promoting hormones and defence signalling fine tune plant development antagonistically. During host-pathogen interactions, this defence-growth trade-off is mediated by the counteractive effects of the defence hormone salicylic acid (SA) and the growth hormone auxin. Here we revealed an underlying mechanism of SA regulating auxin signalling by constraining the plasma membrane dynamics of PIN2 auxin efflux transporter in Arabidopsis thaliana roots. The lateral diffusion of PIN2 proteins is constrained by SA signalling, during which PIN2 proteins are condensed into hyperclusters depending on REM1.2-mediated nanodomain compartmentalisation. Furthermore, membrane nanodomain compartmentalisation by SA or Remorin (REM) assembly significantly suppressed clathrin-mediated endocytosis. Consequently, SA-induced heterogeneous surface condensation disrupted asymmetric auxin distribution and the resultant gravitropic response. Our results demonstrated a defence-growth trade-off mechanism by which SA signalling crosstalked with auxin transport by concentrating membrane-resident PIN2 into heterogeneous compartments."}],"issue":"2","volume":229,"language":[{"iso":"eng"}],"file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_id":"9085","checksum":"d36b6a8c6fafab66264e0d27114dae63","creator":"dernst","file_size":3674502,"date_updated":"2021-02-04T09:53:16Z","file_name":"2021_NewPhytologist_Ke.pdf","date_created":"2021-02-04T09:53:16Z"}],"publication_status":"published","publication_identifier":{"issn":["0028-646x"],"eissn":["1469-8137"]},"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"type":"journal_article","article_type":"original","_id":"8608","department":[{"_id":"JiFr"}],"file_date_updated":"2021-02-04T09:53:16Z","ddc":["580"],"date_updated":"2023-09-05T16:06:24Z"},{"oa_version":"Preprint","abstract":[{"lang":"eng","text":"Hartree–Fock theory has been justified as a mean-field approximation for fermionic systems. However, it suffers from some defects in predicting physical properties, making necessary a theory of quantum correlations. Recently, bosonization of many-body correlations has been rigorously justified as an upper bound on the correlation energy at high density with weak interactions. We review the bosonic approximation, deriving an effective Hamiltonian. We then show that for systems with Coulomb interaction this effective theory predicts collective excitations (plasmons) in accordance with the random phase approximation of Bohm and Pines, and with experimental observation."}],"month":"01","intvolume":" 33","scopus_import":"1","main_file_link":[{"url":"https://arxiv.org/abs/1910.08190","open_access":"1"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["0129-055X"],"eissn":["1793-6659"]},"publication_status":"published","volume":33,"issue":"1","ec_funded":1,"_id":"7900","status":"public","article_type":"original","type":"journal_article","date_updated":"2023-09-05T16:07:40Z","department":[{"_id":"RoSe"}],"publisher":"World Scientific","quality_controlled":"1","oa":1,"day":"01","publication":"Reviews in Mathematical Physics","isi":1,"year":"2021","date_published":"2021-01-01T00:00:00Z","doi":"10.1142/s0129055x20600090","date_created":"2020-05-28T16:47:55Z","article_number":"2060009","project":[{"call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","name":"Analysis of quantum many-body systems"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"short":"N.P. Benedikter, Reviews in Mathematical Physics 33 (2021).","ieee":"N. P. Benedikter, “Bosonic collective excitations in Fermi gases,” Reviews in Mathematical Physics, vol. 33, no. 1. World Scientific, 2021.","apa":"Benedikter, N. P. (2021). Bosonic collective excitations in Fermi gases. Reviews in Mathematical Physics. World Scientific. https://doi.org/10.1142/s0129055x20600090","ama":"Benedikter NP. Bosonic collective excitations in Fermi gases. Reviews in Mathematical Physics. 2021;33(1). doi:10.1142/s0129055x20600090","mla":"Benedikter, Niels P. “Bosonic Collective Excitations in Fermi Gases.” Reviews in Mathematical Physics, vol. 33, no. 1, 2060009, World Scientific, 2021, doi:10.1142/s0129055x20600090.","ista":"Benedikter NP. 2021. Bosonic collective excitations in Fermi gases. Reviews in Mathematical Physics. 33(1), 2060009.","chicago":"Benedikter, Niels P. “Bosonic Collective Excitations in Fermi Gases.” Reviews in Mathematical Physics. World Scientific, 2021. https://doi.org/10.1142/s0129055x20600090."},"title":"Bosonic collective excitations in Fermi gases","author":[{"last_name":"Benedikter","full_name":"Benedikter, Niels P","orcid":"0000-0002-1071-6091","id":"3DE6C32A-F248-11E8-B48F-1D18A9856A87","first_name":"Niels P"}],"article_processing_charge":"No","external_id":{"arxiv":["1910.08190"],"isi":["000613313200010"]}},{"ec_funded":1,"issue":"01","volume":33,"language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0129-055X"],"eissn":["1793-6659"]},"intvolume":" 33","month":"02","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1912.12509"}],"scopus_import":"1","oa_version":"Preprint","abstract":[{"lang":"eng","text":" We review old and new results on the Fröhlich polaron model. The discussion includes the validity of the (classical) Pekar approximation in the strong coupling limit, quantum corrections to this limit, as well as the divergence of the effective polaron mass."}],"department":[{"_id":"RoSe"}],"date_updated":"2023-09-05T16:08:02Z","keyword":["Mathematical Physics","Statistical and Nonlinear Physics"],"status":"public","article_type":"original","type":"journal_article","_id":"10852","date_created":"2022-03-18T08:11:34Z","doi":"10.1142/s0129055x20600120","date_published":"2021-02-01T00:00:00Z","publication":"Reviews in Mathematical Physics","day":"01","year":"2021","isi":1,"oa":1,"quality_controlled":"1","publisher":"World Scientific Publishing","acknowledgement":"This work was supported by the European Research Council (ERC) under the Euro-pean Union’s Horizon 2020 research and innovation programme (grant agreementNo. 694227).","title":"The polaron at strong coupling","article_processing_charge":"No","external_id":{"arxiv":["1912.12509"],"isi":["000613313200013"]},"author":[{"last_name":"Seiringer","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Seiringer, Robert. “The Polaron at Strong Coupling.” Reviews in Mathematical Physics. World Scientific Publishing, 2021. https://doi.org/10.1142/s0129055x20600120.","ista":"Seiringer R. 2021. The polaron at strong coupling. Reviews in Mathematical Physics. 33(01), 2060012.","mla":"Seiringer, Robert. “The Polaron at Strong Coupling.” Reviews in Mathematical Physics, vol. 33, no. 01, 2060012, World Scientific Publishing, 2021, doi:10.1142/s0129055x20600120.","apa":"Seiringer, R. (2021). The polaron at strong coupling. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/s0129055x20600120","ama":"Seiringer R. The polaron at strong coupling. Reviews in Mathematical Physics. 2021;33(01). doi:10.1142/s0129055x20600120","short":"R. Seiringer, Reviews in Mathematical Physics 33 (2021).","ieee":"R. Seiringer, “The polaron at strong coupling,” Reviews in Mathematical Physics, vol. 33, no. 01. World Scientific Publishing, 2021."},"project":[{"name":"Analysis of quantum many-body systems","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"article_number":"2060012"},{"abstract":[{"lang":"eng","text":"In this thesis we study persistence of multi-covers of Euclidean balls and the geometric structures underlying their computation, in particular Delaunay mosaics and Voronoi tessellations. The k-fold cover for some discrete input point set consists of the space where at least k balls of radius r around the input points overlap. Persistence is a notion that captures, in some sense, the topology of the shape underlying the input. While persistence is usually computed for the union of balls, the k-fold cover is of interest as it captures local density,\r\nand thus might approximate the shape of the input better if the input data is noisy. To compute persistence of these k-fold covers, we need a discretization that is provided by higher-order Delaunay mosaics. We present and implement a simple and efficient algorithm for the computation of higher-order Delaunay mosaics, and use it to give experimental results for their combinatorial properties. The algorithm makes use of a new geometric structure, the rhomboid tiling. It contains the higher-order Delaunay mosaics as slices, and by introducing a filtration\r\nfunction on the tiling, we also obtain higher-order α-shapes as slices. These allow us to compute persistence of the multi-covers for varying radius r; the computation for varying k is less straight-foward and involves the rhomboid tiling directly. We apply our algorithms to experimental sphere packings to shed light on their structural properties. Finally, inspired by periodic structures in packings and materials, we propose and implement an algorithm for periodic Delaunay triangulations to be integrated into the Computational Geometry Algorithms Library (CGAL), and discuss the implications on persistence for periodic data sets."}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"month":"02","place":"Klosterneuburg","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","publication_status":"published","file":[{"file_size":13446994,"date_updated":"2021-02-03T10:37:28Z","creator":"patrickd","file_name":"thesis_source.zip","date_created":"2021-02-02T14:09:25Z","content_type":"application/zip","relation":"source_file","access_level":"closed","file_id":"9063","checksum":"bcf27986147cab0533b6abadd74e7629"},{"file_id":"9064","checksum":"9cc8af266579a464385bbe2aff6af606","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2021-02-02T14:09:18Z","file_name":"thesis_pdfA2b.pdf","date_updated":"2021-02-02T14:09:18Z","file_size":5210329,"creator":"patrickd"}],"language":[{"iso":"eng"}],"related_material":{"record":[{"relation":"part_of_dissertation","id":"187","status":"public"},{"relation":"part_of_dissertation","id":"8703","status":"public"}]},"_id":"9056","type":"dissertation","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"status":"public","supervisor":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","full_name":"Edelsbrunner, Herbert"}],"date_updated":"2023-09-07T13:29:01Z","ddc":["006","514","516"],"file_date_updated":"2021-02-03T10:37:28Z","department":[{"_id":"HeEd"},{"_id":"GradSch"}],"publisher":"Institute of Science and Technology Austria","oa":1,"has_accepted_license":"1","year":"2021","day":"01","page":"134","doi":"10.15479/AT:ISTA:9056","date_published":"2021-02-01T00:00:00Z","date_created":"2021-02-02T14:11:06Z","citation":{"ieee":"G. F. Osang, “Multi-cover persistence and Delaunay mosaics,” Institute of Science and Technology Austria, Klosterneuburg, 2021.","short":"G.F. Osang, Multi-Cover Persistence and Delaunay Mosaics, Institute of Science and Technology Austria, 2021.","ama":"Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:10.15479/AT:ISTA:9056","apa":"Osang, G. F. (2021). Multi-cover persistence and Delaunay mosaics. Institute of Science and Technology Austria, Klosterneuburg. https://doi.org/10.15479/AT:ISTA:9056","mla":"Osang, Georg F. Multi-Cover Persistence and Delaunay Mosaics. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9056.","ista":"Osang GF. 2021. Multi-cover persistence and Delaunay mosaics. Klosterneuburg: Institute of Science and Technology Austria.","chicago":"Osang, Georg F. “Multi-Cover Persistence and Delaunay Mosaics.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9056."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"first_name":"Georg F","id":"464B40D6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8882-5116","full_name":"Osang, Georg F","last_name":"Osang"}],"article_processing_charge":"No","title":"Multi-cover persistence and Delaunay mosaics"},{"acknowledgement":"I gratefully acknowledge the financial support from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385 and my advisor’s ERC Advanced Grant No. 338804.","oa":1,"publisher":"Institute of Science and Technology Austria","year":"2021","has_accepted_license":"1","day":"25","page":"380","date_created":"2021-01-21T18:16:54Z","date_published":"2021-01-25T00:00:00Z","doi":"10.15479/AT:ISTA:9022","project":[{"grant_number":"665385","name":"International IST Doctoral Program","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"},{"call_identifier":"FP7","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","grant_number":"338804","name":"Random matrices, universality and disordered quantum systems"}],"citation":{"chicago":"Cipolloni, Giorgio. “Fluctuations in the Spectrum of Random Matrices.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:9022.","ista":"Cipolloni G. 2021. Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria.","mla":"Cipolloni, Giorgio. Fluctuations in the Spectrum of Random Matrices. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9022.","apa":"Cipolloni, G. (2021). Fluctuations in the spectrum of random matrices. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:9022","ama":"Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022","short":"G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.","ieee":"G. Cipolloni, “Fluctuations in the spectrum of random matrices,” Institute of Science and Technology Austria, 2021."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","article_processing_charge":"No","author":[{"last_name":"Cipolloni","orcid":"0000-0002-4901-7992","full_name":"Cipolloni, Giorgio","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgio"}],"title":"Fluctuations in the spectrum of random matrices","abstract":[{"lang":"eng","text":"In the first part of the thesis we consider Hermitian random matrices. Firstly, we consider sample covariance matrices XX∗ with X having independent identically distributed (i.i.d.) centred entries. We prove a Central Limit Theorem for differences of linear statistics of XX∗ and its minor after removing the first column of X. Secondly, we consider Wigner-type matrices and prove that the eigenvalue statistics near cusp singularities of the limiting density of states are universal and that they form a Pearcey process. Since the limiting eigenvalue distribution admits only square root (edge) and cubic root (cusp) singularities, this concludes the third and last remaining case of the Wigner-Dyson-Mehta universality conjecture. The main technical ingredients are an optimal local law at the cusp, and the proof of the fast relaxation to equilibrium of the Dyson Brownian motion in the cusp regime.\r\nIn the second part we consider non-Hermitian matrices X with centred i.i.d. entries. We normalise the entries of X to have variance N −1. It is well known that the empirical eigenvalue density converges to the uniform distribution on the unit disk (circular law). In the first project, we prove universality of the local eigenvalue statistics close to the edge of the spectrum. This is the non-Hermitian analogue of the TracyWidom universality at the Hermitian edge. Technically we analyse the evolution of the spectral distribution of X along the Ornstein-Uhlenbeck flow for very long time\r\n(up to t = +∞). In the second project, we consider linear statistics of eigenvalues for macroscopic test functions f in the Sobolev space H2+ϵ and prove their convergence to the projection of the Gaussian Free Field on the unit disk. We prove this result for non-Hermitian matrices with real or complex entries. The main technical ingredients are: (i) local law for products of two resolvents at different spectral parameters, (ii) analysis of correlated Dyson Brownian motions.\r\nIn the third and final part we discuss the mathematically rigorous application of supersymmetric techniques (SUSY ) to give a lower tail estimate of the lowest singular value of X − z, with z ∈ C. More precisely, we use superbosonisation formula to give an integral representation of the resolvent of (X − z)(X − z)∗ which reduces to two and three contour integrals in the complex and real case, respectively. The rigorous analysis of these integrals is quite challenging since simple saddle point analysis cannot be applied (the main contribution comes from a non-trivial manifold). Our result\r\nimproves classical smoothing inequalities in the regime |z| ≈ 1; this result is essential to prove edge universality for i.i.d. non-Hermitian matrices."}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"month":"01","degree_awarded":"PhD","publication_status":"published","publication_identifier":{"issn":["2663-337X"]},"language":[{"iso":"eng"}],"file":[{"creator":"gcipollo","date_updated":"2021-01-25T14:19:03Z","file_size":4127796,"date_created":"2021-01-25T14:19:03Z","file_name":"thesis.pdf","access_level":"open_access","relation":"main_file","content_type":"application/pdf","file_id":"9043","checksum":"5a93658a5f19478372523ee232887e2b","success":1},{"file_id":"9044","checksum":"e8270eddfe6a988e92a53c88d1d19b8c","content_type":"application/zip","access_level":"closed","relation":"source_file","date_created":"2021-01-25T14:19:10Z","file_name":"Thesis_files.zip","date_updated":"2021-01-25T14:19:10Z","file_size":12775206,"creator":"gcipollo"}],"ec_funded":1,"_id":"9022","type":"dissertation","status":"public","date_updated":"2023-09-07T13:29:32Z","supervisor":[{"first_name":"László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","orcid":"0000-0001-5366-9603","full_name":"Erdös, László"}],"ddc":["510"],"department":[{"_id":"GradSch"},{"_id":"LaEr"}],"file_date_updated":"2021-01-25T14:19:10Z"},{"date_published":"2021-05-01T00:00:00Z","related_material":{"record":[{"status":"public","id":"9418","relation":"dissertation_contains"}]},"date_created":"2021-05-24T11:16:46Z","day":"01","file":[{"relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_id":"9417","checksum":"f34ff17017527db5ba6927f817bdd125","creator":"bphuong","file_size":502356,"date_updated":"2021-05-24T11:15:57Z","file_name":"iclr2021_conference.pdf","date_created":"2021-05-24T11:15:57Z"}],"publication":"9th International Conference on Learning Representations","language":[{"iso":"eng"}],"has_accepted_license":"1","publication_status":"published","year":"2021","month":"05","scopus_import":"1","quality_controlled":"1","main_file_link":[{"url":"https://openreview.net/pdf?id=krz7T0xU9Z_","open_access":"1"}],"oa":1,"oa_version":"Published Version","abstract":[{"text":"We study the inductive bias of two-layer ReLU networks trained by gradient flow. We identify a class of easy-to-learn (`orthogonally separable') datasets, and characterise the solution that ReLU networks trained on such datasets converge to. Irrespective of network width, the solution turns out to be a combination of two max-margin classifiers: one corresponding to the positive data subset and one corresponding to the negative data subset. The proof is based on the recently introduced concept of extremal sectors, for which we prove a number of properties in the context of orthogonal separability. In particular, we prove stationarity of activation patterns from some time onwards, which enables a reduction of the ReLU network to an ensemble of linear subnetworks.","lang":"eng"}],"file_date_updated":"2021-05-24T11:15:57Z","title":"The inductive bias of ReLU networks on orthogonally separable data","department":[{"_id":"GradSch"},{"_id":"ChLa"}],"author":[{"first_name":"Phuong","id":"3EC6EE64-F248-11E8-B48F-1D18A9856A87","last_name":"Bui Thi Mai","full_name":"Bui Thi Mai, Phuong"},{"full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","last_name":"Lampert","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","ddc":["000"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2023-09-07T13:29:50Z","citation":{"ista":"Phuong M, Lampert C. 2021. The inductive bias of ReLU networks on orthogonally separable data. 9th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.","chicago":"Phuong, Mary, and Christoph Lampert. “The Inductive Bias of ReLU Networks on Orthogonally Separable Data.” In 9th International Conference on Learning Representations, 2021.","apa":"Phuong, M., & Lampert, C. (2021). The inductive bias of ReLU networks on orthogonally separable data. In 9th International Conference on Learning Representations. Virtual.","ama":"Phuong M, Lampert C. The inductive bias of ReLU networks on orthogonally separable data. In: 9th International Conference on Learning Representations. ; 2021.","ieee":"M. Phuong and C. Lampert, “The inductive bias of ReLU networks on orthogonally separable data,” in 9th International Conference on Learning Representations, Virtual, 2021.","short":"M. Phuong, C. Lampert, in:, 9th International Conference on Learning Representations, 2021.","mla":"Phuong, Mary, and Christoph Lampert. “The Inductive Bias of ReLU Networks on Orthogonally Separable Data.” 9th International Conference on Learning Representations, 2021."},"status":"public","type":"conference","conference":{"name":" ICLR: International Conference on Learning Representations","start_date":"2021-05-03","location":"Virtual","end_date":"2021-05-07"},"_id":"9416"},{"date_published":"2021-02-11T00:00:00Z","doi":"10.1007/s11005-020-01350-5","date_created":"2021-03-07T23:01:25Z","day":"11","publication":"Letters in Mathematical Physics","has_accepted_license":"1","isi":1,"year":"2021","publisher":"Springer Nature","quality_controlled":"1","oa":1,"acknowledgement":"Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC Grant Agreement No 694227 (D.F. and R.S.) and under the Marie Skłodowska-Curie Grant Agreement No. 754411 (S.R.) is gratefully acknowledged. Open Access funding provided by Institute of Science and Technology (IST Austria)","title":"Persistence of the spectral gap for the Landau–Pekar equations","author":[{"id":"41A639AA-F248-11E8-B48F-1D18A9856A87","first_name":"Dario","last_name":"Feliciangeli","full_name":"Feliciangeli, Dario","orcid":"0000-0003-0754-8530"},{"id":"856966FE-A408-11E9-977E-802DE6697425","first_name":"Simone Anna Elvira","last_name":"Rademacher","orcid":"0000-0001-5059-4466","full_name":"Rademacher, Simone Anna Elvira"},{"last_name":"Seiringer","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert"}],"external_id":{"isi":["000617195700001"]},"article_processing_charge":"Yes (via OA deal)","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"short":"D. Feliciangeli, S.A.E. Rademacher, R. Seiringer, Letters in Mathematical Physics 111 (2021).","ieee":"D. Feliciangeli, S. A. E. Rademacher, and R. Seiringer, “Persistence of the spectral gap for the Landau–Pekar equations,” Letters in Mathematical Physics, vol. 111. Springer Nature, 2021.","apa":"Feliciangeli, D., Rademacher, S. A. E., & Seiringer, R. (2021). Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-020-01350-5","ama":"Feliciangeli D, Rademacher SAE, Seiringer R. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 2021;111. doi:10.1007/s11005-020-01350-5","mla":"Feliciangeli, Dario, et al. “Persistence of the Spectral Gap for the Landau–Pekar Equations.” Letters in Mathematical Physics, vol. 111, 19, Springer Nature, 2021, doi:10.1007/s11005-020-01350-5.","ista":"Feliciangeli D, Rademacher SAE, Seiringer R. 2021. Persistence of the spectral gap for the Landau–Pekar equations. Letters in Mathematical Physics. 111, 19.","chicago":"Feliciangeli, Dario, Simone Anna Elvira Rademacher, and Robert Seiringer. “Persistence of the Spectral Gap for the Landau–Pekar Equations.” Letters in Mathematical Physics. Springer Nature, 2021. https://doi.org/10.1007/s11005-020-01350-5."},"project":[{"call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","grant_number":"694227"},{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"article_number":"19","related_material":{"record":[{"id":"9733","status":"public","relation":"dissertation_contains"}]},"volume":111,"ec_funded":1,"file":[{"creator":"dernst","file_size":391205,"date_updated":"2021-03-09T11:44:34Z","file_name":"2021_LettersMathPhysics_Feliciangeli.pdf","date_created":"2021-03-09T11:44:34Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_id":"9232","checksum":"ffbfe1aad623bce7ff529c207e343b53"}],"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["15730530"],"issn":["03779017"]},"publication_status":"published","month":"02","intvolume":" 111","scopus_import":"1","oa_version":"Published Version","abstract":[{"text":"The Landau–Pekar equations describe the dynamics of a strongly coupled polaron.\r\nHere, we provide a class of initial data for which the associated effective Hamiltonian\r\nhas a uniform spectral gap for all times. For such initial data, this allows us to extend the\r\nresults on the adiabatic theorem for the Landau–Pekar equations and their derivation\r\nfrom the Fröhlich model obtained in previous works to larger times.","lang":"eng"}],"file_date_updated":"2021-03-09T11:44:34Z","department":[{"_id":"RoSe"}],"ddc":["510"],"date_updated":"2023-09-07T13:30:11Z","status":"public","type":"journal_article","article_type":"original","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"_id":"9225"},{"day":"01","publication":"arXiv","has_accepted_license":"1","year":"2021","date_published":"2021-02-01T00:00:00Z","date_created":"2021-08-06T08:25:57Z","acknowledgement":"Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No 694227 is gratefully acknowledged. We would also like to thank Rupert Frank for many helpful discussions, especially related to the Gross coordinate transformation defined in Def. 4.1.\r\n","oa":1,"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","citation":{"ista":"Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv, 2101.12566.","chicago":"Feliciangeli, Dario, and Robert Seiringer. “The Strongly Coupled Polaron on the Torus: Quantum Corrections to the Pekar Asymptotics.” ArXiv, n.d.","ieee":"D. Feliciangeli and R. Seiringer, “The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics,” arXiv. .","short":"D. Feliciangeli, R. Seiringer, ArXiv (n.d.).","ama":"Feliciangeli D, Seiringer R. The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv.","apa":"Feliciangeli, D., & Seiringer, R. (n.d.). The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics. arXiv.","mla":"Feliciangeli, Dario, and Robert Seiringer. “The Strongly Coupled Polaron on the Torus: Quantum Corrections to the Pekar Asymptotics.” ArXiv, 2101.12566."},"title":"The strongly coupled polaron on the torus: Quantum corrections to the Pekar asymptotics","author":[{"last_name":"Feliciangeli","orcid":"0000-0003-0754-8530","full_name":"Feliciangeli, Dario","first_name":"Dario","id":"41A639AA-F248-11E8-B48F-1D18A9856A87"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert"}],"article_processing_charge":"No","external_id":{"arxiv":["2101.12566"]},"article_number":"2101.12566","project":[{"call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","grant_number":"694227"}],"language":[{"iso":"eng"}],"publication_status":"submitted","related_material":{"record":[{"relation":"later_version","id":"10224","status":"public"},{"id":"9733","status":"public","relation":"dissertation_contains"}]},"ec_funded":1,"oa_version":"Preprint","abstract":[{"text":"We investigate the Fröhlich polaron model on a three-dimensional torus, and give a proof of the second-order quantum corrections to its ground-state energy in the strong-coupling limit. Compared to previous work in the confined case, the translational symmetry (and its breaking in the Pekar approximation) makes the analysis substantially more challenging.","lang":"eng"}],"month":"02","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2101.12566"}],"ddc":["510"],"date_updated":"2023-09-07T13:30:10Z","department":[{"_id":"RoSe"}],"_id":"9787","status":"public","type":"preprint","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"}},{"file":[{"creator":"dernst","file_size":1516756,"date_updated":"2022-05-13T07:00:20Z","file_name":"2021_LNCS_Agarwal.pdf","date_created":"2022-05-13T07:00:20Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"checksum":"4b346e5fbaa8b9bdf107819c7b2aadee","file_id":"11368"}],"language":[{"iso":"eng"}],"publication_identifier":{"eisbn":["978-3-030-81685-8"],"isbn":["978-3-030-81684-1"],"eissn":["1611-3349"],"issn":["0302-9743"]},"publication_status":"published","related_material":{"record":[{"status":"public","id":"10199","relation":"dissertation_contains"}]},"volume":"12759 ","ec_funded":1,"oa_version":"Published Version","abstract":[{"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.","lang":"eng"}],"month":"07","alternative_title":["LNCS"],"scopus_import":"1","ddc":["000"],"date_updated":"2023-09-07T13:30:27Z","department":[{"_id":"KrCh"}],"file_date_updated":"2022-05-13T07:00:20Z","_id":"9987","status":"public","type":"conference","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"conference":{"location":"Virtual","end_date":"2021-07-23","start_date":"2021-07-20","name":"CAV: Computer Aided Verification "},"day":"15","publication":"33rd International Conference on Computer-Aided Verification ","isi":1,"has_accepted_license":"1","year":"2021","doi":"10.1007/978-3-030-81685-8_16","date_published":"2021-07-15T00:00:00Z","date_created":"2021-09-05T22:01:24Z","page":"341-366","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.","publisher":"Springer Nature","quality_controlled":"1","oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"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.","chicago":"Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.” In 33rd International Conference on Computer-Aided Verification , 12759:341–66. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-81685-8_16.","short":"P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.","ieee":"P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless model checking under a reads-value-from equivalence,” in 33rd International Conference on Computer-Aided Verification , Virtual, 2021, vol. 12759, pp. 341–366.","ama":"Agarwal P, Chatterjee K, Pathak S, Pavlogiannis A, Toman V. Stateless model checking under a reads-value-from equivalence. In: 33rd International Conference on Computer-Aided Verification . Vol 12759. Springer Nature; 2021:341-366. doi:10.1007/978-3-030-81685-8_16","apa":"Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A., & Toman, V. (2021). Stateless model checking under a reads-value-from equivalence. In 33rd International Conference on Computer-Aided Verification (Vol. 12759, pp. 341–366). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-81685-8_16","mla":"Agarwal, Pratyush, et al. “Stateless Model Checking under a Reads-Value-from Equivalence.” 33rd International Conference on Computer-Aided Verification , vol. 12759, Springer Nature, 2021, pp. 341–66, doi:10.1007/978-3-030-81685-8_16."},"title":"Stateless model checking under a reads-value-from equivalence","author":[{"full_name":"Agarwal, Pratyush","last_name":"Agarwal","first_name":"Pratyush"},{"last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Pathak","full_name":"Pathak, Shreya","first_name":"Shreya"},{"full_name":"Pavlogiannis, Andreas","orcid":"0000-0002-8943-0722","last_name":"Pavlogiannis","first_name":"Andreas","id":"49704004-F248-11E8-B48F-1D18A9856A87"},{"id":"3AF3DA7C-F248-11E8-B48F-1D18A9856A87","first_name":"Viktor","last_name":"Toman","orcid":"0000-0001-9036-063X","full_name":"Toman, Viktor"}],"article_processing_charge":"Yes","external_id":{"isi":["000698732400016"],"arxiv":["2105.06424"]},"project":[{"_id":"25892FC0-B435-11E9-9278-68D0E5697425","grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification"},{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}]},{"abstract":[{"text":"The present thesis is concerned with the derivation of weak-strong uniqueness principles for curvature driven interface evolution problems not satisfying a comparison principle. The specific examples being treated are two-phase Navier-Stokes flow with surface tension, modeling the evolution of two incompressible, viscous and immiscible fluids separated by a sharp interface, and multiphase mean curvature flow, which serves as an idealized model for the motion of grain boundaries in an annealing polycrystalline material. Our main results - obtained in joint works with Julian Fischer, Tim Laux and Theresa M. Simon - state that prior to the formation of geometric singularities due to topology changes, the weak solution concept of Abels (Interfaces Free Bound. 9, 2007) to two-phase Navier-Stokes flow with surface tension and the weak solution concept of Laux and Otto (Calc. Var. Partial Differential Equations 55, 2016) to multiphase mean curvature flow (for networks in R^2 or double bubbles in R^3) represents the unique solution to these interface evolution problems within the class of classical solutions, respectively. To the best of the author's knowledge, for interface evolution problems not admitting a geometric comparison principle the derivation of a weak-strong uniqueness principle represented an open problem, so that the works contained in the present thesis constitute the first positive results in this direction. The key ingredient of our approach consists of the introduction of a novel concept of relative entropies for a class of curvature driven interface evolution problems, for which the associated energy contains an interfacial contribution being proportional to the surface area of the evolving (network of) interface(s). The interfacial part of the relative entropy gives sufficient control on the interface error between a weak and a classical solution, and its time evolution can be computed, at least in principle, for any energy dissipating weak solution concept. A resulting stability estimate for the relative entropy essentially entails the above mentioned weak-strong uniqueness principles. The present thesis contains a detailed introduction to our relative entropy approach, which in particular highlights potential applications to other problems in curvature driven interface evolution not treated in this thesis.","lang":"eng"}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"month":"09","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","publication_status":"published","file":[{"file_id":"10008","checksum":"c8475faaf0b680b4971f638f1db16347","relation":"source_file","access_level":"closed","content_type":"application/x-zip-compressed","file_name":"thesis_final_Hensel.zip","date_created":"2021-09-13T11:03:24Z","creator":"shensel","file_size":15022154,"date_updated":"2021-09-15T14:37:30Z"},{"date_created":"2021-09-13T14:18:56Z","file_name":"thesis_final_Hensel.pdf","date_updated":"2021-09-14T09:52:47Z","file_size":6583638,"creator":"shensel","file_id":"10014","checksum":"1a609937aa5275452822f45f2da17f07","content_type":"application/pdf","access_level":"open_access","relation":"main_file"}],"language":[{"iso":"eng"}],"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"10012"},{"status":"public","id":"10013","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"7489","status":"public"}]},"ec_funded":1,"_id":"10007","type":"dissertation","status":"public","supervisor":[{"id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","first_name":"Julian L","orcid":"0000-0002-0479-558X","full_name":"Fischer, Julian L","last_name":"Fischer"}],"date_updated":"2023-09-07T13:30:45Z","ddc":["515"],"file_date_updated":"2021-09-15T14:37:30Z","department":[{"_id":"GradSch"},{"_id":"JuFi"}],"publisher":"Institute of Science and Technology Austria","oa":1,"has_accepted_license":"1","year":"2021","day":"14","page":"300","doi":"10.15479/at:ista:10007","date_published":"2021-09-14T00:00:00Z","date_created":"2021-09-13T11:12:34Z","project":[{"call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","name":"International IST Doctoral Program"},{"grant_number":"948819","name":"Bridging Scales in Random Materials","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020"}],"citation":{"chicago":"Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.","ista":"Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.","mla":"Hensel, Sebastian. Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10007.","apa":"Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007","ama":"Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007","ieee":"S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.","short":"S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","author":[{"id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian","full_name":"Hensel, Sebastian","orcid":"0000-0001-7252-8072","last_name":"Hensel"}],"article_processing_charge":"No","title":"Curvature driven interface evolution: Uniqueness properties of weak solution concepts"},{"oa":1,"quality_controlled":"1","publisher":"Association for Computing Machinery","acknowledgement":"The research was partially funded by the ERC CoG 863818 (ForM-SMArt) and the Vienna Science\r\nand Technology Fund (WWTF) through project ICT15-003.","date_created":"2021-10-27T15:05:34Z","date_published":"2021-10-15T00:00:00Z","doi":"10.1145/3485541","publication":"Proceedings of the ACM on Programming Languages","day":"15","year":"2021","has_accepted_license":"1","project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425"}],"article_number":"164","title":"The reads-from equivalence for the TSO and PSO memory models","article_processing_charge":"No","external_id":{"arxiv":["2011.11763"]},"author":[{"first_name":"Truc Lam","last_name":"Bui","full_name":"Bui, Truc Lam"},{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"first_name":"Tushar","full_name":"Gautam, Tushar","last_name":"Gautam"},{"orcid":"0000-0002-8943-0722","full_name":"Pavlogiannis, Andreas","last_name":"Pavlogiannis","id":"49704004-F248-11E8-B48F-1D18A9856A87","first_name":"Andreas"},{"orcid":"0000-0001-9036-063X","full_name":"Toman, Viktor","last_name":"Toman","first_name":"Viktor","id":"3AF3DA7C-F248-11E8-B48F-1D18A9856A87"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","citation":{"ista":"Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. 2021. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 5(OOPSLA), 164.","chicago":"Bui, Truc Lam, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, and Viktor Toman. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2021. https://doi.org/10.1145/3485541.","ama":"Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 2021;5(OOPSLA). doi:10.1145/3485541","apa":"Bui, T. L., Chatterjee, K., Gautam, T., Pavlogiannis, A., & Toman, V. (2021). The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3485541","short":"T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).","ieee":"T. L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, and V. Toman, “The reads-from equivalence for the TSO and PSO memory models,” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA. Association for Computing Machinery, 2021.","mla":"Bui, Truc Lam, et al. “The Reads-from Equivalence for the TSO and PSO Memory Models.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, 164, Association for Computing Machinery, 2021, doi:10.1145/3485541."},"intvolume":" 5","month":"10","scopus_import":"1","oa_version":"Published Version","abstract":[{"text":"In this work we solve the algorithmic problem of consistency verification for the TSO and PSO memory models given a reads-from map, denoted VTSO-rf and VPSO-rf, respectively. For an execution of n events over k threads and d variables, we establish novel bounds that scale as nk+1 for TSO and as nk+1· min(nk2, 2k· d) for PSO. Moreover, based on our solution to these problems, we develop an SMC algorithm under TSO and PSO that uses the RF equivalence. The algorithm is exploration-optimal, in the sense that it is guaranteed to explore each class of the RF partitioning exactly once, and spends polynomial time per class when k is bounded. Finally, we implement all our algorithms in the SMC tool Nidhugg, and perform a large number of experiments over benchmarks from existing literature. Our experimental results show that our algorithms for VTSO-rf and VPSO-rf provide significant scalability improvements over standard alternatives. Moreover, when used for SMC, the RF partitioning is often much coarser than the standard Shasha-Snir partitioning for TSO/PSO, which yields a significant speedup in the model checking task.\r\n\r\n","lang":"eng"}],"ec_funded":1,"issue":"OOPSLA","related_material":{"record":[{"status":"public","id":"10199","relation":"dissertation_contains"}]},"volume":5,"language":[{"iso":"eng"}],"file":[{"file_id":"10215","checksum":"9d6dce7b611853c529bb7b1915ac579e","success":1,"access_level":"open_access","relation":"main_file","content_type":"application/pdf","date_created":"2021-11-04T07:24:48Z","file_name":"2021_ProcACMPL_Bui.pdf","creator":"cchlebak","date_updated":"2021-11-04T07:24:48Z","file_size":2903485}],"publication_status":"published","publication_identifier":{"eissn":["2475-1421"]},"keyword":["safety","risk","reliability and quality","software"],"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)"},"article_type":"original","type":"journal_article","_id":"10191","file_date_updated":"2021-11-04T07:24:48Z","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"ddc":["000"],"date_updated":"2023-09-07T13:30:27Z"}]