[{"author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu"},{"last_name":"Goharshady","orcid":"0000-0003-1702-6584","first_name":"Amir Kafshdar","full_name":"Goharshady, Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","last_name":"Meggendorfer","orcid":"0000-0002-1712-2165","first_name":"Tobias","full_name":"Meggendorfer, Tobias"},{"id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde"}],"external_id":{"isi":["000870304500004"]},"language":[{"iso":"eng"}],"intvolume":" 13371","status":"public","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"page":"55-78","license":"https://creativecommons.org/licenses/by/4.0/","title":"Sound and complete certificates for auantitative termination analysis of probabilistic programs","quality_controlled":"1","has_accepted_license":"1","related_material":{"record":[{"id":"14539","relation":"dissertation_contains","status":"public"}]},"volume":13371,"ec_funded":1,"conference":{"start_date":"2022-08-07","end_date":"2022-08-10","name":"CAV: Computer Aided Verification","location":"Haifa, Israel"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ddc":["000"],"date_created":"2022-08-28T22:02:02Z","oa":1,"department":[{"_id":"KrCh"}],"type":"conference","citation":{"ieee":"K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Sound and complete certificates for auantitative termination analysis of probabilistic programs,” in Proceedings of the 34th International Conference on Computer Aided Verification, Haifa, Israel, 2022, vol. 13371, pp. 55–78.","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022. https://doi.org/10.1007/978-3-031-13185-1_4.","ama":"Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Sound and complete certificates for auantitative termination analysis of probabilistic programs. In: Proceedings of the 34th International Conference on Computer Aided Verification. Vol 13371. Springer; 2022:55-78. doi:10.1007/978-3-031-13185-1_4","mla":"Chatterjee, Krishnendu, et al. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” Proceedings of the 34th International Conference on Computer Aided Verification, vol. 13371, Springer, 2022, pp. 55–78, doi:10.1007/978-3-031-13185-1_4.","short":"K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.","ista":"Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2022. Sound and complete certificates for auantitative termination analysis of probabilistic programs. Proceedings of the 34th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13371, 55–78.","apa":"Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. https://doi.org/10.1007/978-3-031-13185-1_4"},"publication_identifier":{"isbn":["9783031131844"],"issn":["0302-9743"],"eissn":["1611-3349"]},"acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt), the HKUST-Kaisa Joint Research Institute Project Grant HKJRI3A-055, the HKUST Startup Grant R9272 and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","doi":"10.1007/978-3-031-13185-1_4","day":"07","_id":"12000","file_date_updated":"2022-08-29T09:17:01Z","publication":"Proceedings of the 34th International Conference on Computer Aided Verification","publisher":"Springer","date_published":"2022-08-07T00:00:00Z","scopus_import":"1","abstract":[{"text":"We consider the quantitative problem of obtaining lower-bounds on the probability of termination of a given non-deterministic probabilistic program. Specifically, given a non-termination threshold p∈[0,1], we aim for certificates proving that the program terminates with probability at least 1−p. The basic idea of our approach is to find a terminating stochastic invariant, i.e. a subset SI of program states such that (i) the probability of the program ever leaving SI is no more than p, and (ii) almost-surely, the program either leaves SI or terminates.\r\n\r\nWhile stochastic invariants are already well-known, we provide the first proof that the idea above is not only sound, but also complete for quantitative termination analysis. We then introduce a novel sound and complete characterization of stochastic invariants that enables template-based approaches for easy synthesis of quantitative termination certificates, especially in affine or polynomial forms. Finally, by combining this idea with the existing martingale-based methods that are relatively complete for qualitative termination analysis, we obtain the first automated, sound, and relatively complete algorithm for quantitative termination analysis. Notably, our completeness guarantees for quantitative termination analysis are as strong as the best-known methods for the qualitative variant.\r\n\r\nOur prototype implementation demonstrates the effectiveness of our approach on various probabilistic programs. We also demonstrate that our algorithm certifies lower bounds on termination probability for probabilistic programs that are beyond the reach of previous methods.","lang":"eng"}],"year":"2022","alternative_title":["LNCS"],"isi":1,"month":"08","date_updated":"2026-04-07T13:27:55Z","oa_version":"Published Version","file":[{"success":1,"date_updated":"2022-08-29T09:17:01Z","file_size":505094,"file_name":"2022_LNCS_Chatterjee.pdf","checksum":"24e0f810ec52735a90ade95198bc641d","content_type":"application/pdf","date_created":"2022-08-29T09:17:01Z","relation":"main_file","access_level":"open_access","creator":"alisjak","file_id":"12003"}],"publication_status":"published","article_processing_charge":"Yes (in subscription journal)","project":[{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385"}]},{"keyword":["General Medicine"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_type":"original","corr_author":"1","date_created":"2023-02-05T17:29:50Z","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"14539"}]},"volume":36,"ec_funded":1,"page":"7326-7336","title":"Stability verification in stochastic control systems via neural network supermartingales","quality_controlled":"1","author":[{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","first_name":"Mathias","last_name":"Lechner"},{"last_name":"Zikelic","orcid":"0000-0002-4681-1699","first_name":"Dorde","full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","first_name":"Thomas A"}],"external_id":{"arxiv":["2112.09495"]},"language":[{"iso":"eng"}],"intvolume":" 36","status":"public","oa_version":"Preprint","publication_status":"published","article_processing_charge":"No","project":[{"name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020"},{"call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020"}],"publisher":"Association for the Advancement of Artificial Intelligence","main_file_link":[{"url":"https://arxiv.org/abs/2112.09495","open_access":"1"}],"date_published":"2022-06-28T00:00:00Z","scopus_import":"1","abstract":[{"lang":"eng","text":"We consider the problem of formally verifying almost-sure (a.s.) asymptotic stability in discrete-time nonlinear stochastic control systems. While verifying stability in deterministic control systems is extensively studied in the literature, verifying stability in stochastic control systems is an open problem. The few existing works on this topic either consider only specialized forms of stochasticity or make restrictive assumptions on the system, rendering them inapplicable to learning algorithms with neural network policies. \r\n In this work, we present an approach for general nonlinear stochastic control problems with two novel aspects: (a) instead of classical stochastic extensions of Lyapunov functions, we use ranking supermartingales (RSMs) to certify a.s. asymptotic stability, and (b) we present a method for learning neural network RSMs. \r\n We prove that our approach guarantees a.s. asymptotic stability of the system and\r\n provides the first method to obtain bounds on the stabilization time, which stochastic Lyapunov functions do not.\r\n Finally, we validate our approach experimentally on a set of nonlinear stochastic reinforcement learning environments with neural network policies."}],"year":"2022","month":"06","date_updated":"2026-04-07T13:27:55Z","arxiv":1,"day":"28","_id":"12511","issue":"7","publication":"Proceedings of the AAAI Conference on Artificial Intelligence","oa":1,"department":[{"_id":"ToHe"},{"_id":"KrCh"}],"type":"journal_article","citation":{"apa":"Lechner, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i7.20695","ista":"Lechner M, Zikelic D, Chatterjee K, Henzinger TA. 2022. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 36(7), 7326–7336.","short":"M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.","mla":"Lechner, Mathias, et al. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, Association for the Advancement of Artificial Intelligence, 2022, pp. 7326–36, doi:10.1609/aaai.v36i7.20695.","ama":"Lechner M, Zikelic D, Chatterjee K, Henzinger TA. Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. 2022;36(7):7326-7336. doi:10.1609/aaai.v36i7.20695","chicago":"Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022. https://doi.org/10.1609/aaai.v36i7.20695.","ieee":"M. Lechner, D. Zikelic, K. Chatterjee, and T. A. Henzinger, “Stability verification in stochastic control systems via neural network supermartingales,” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7. Association for the Advancement of Artificial Intelligence, pp. 7326–7336, 2022."},"publication_identifier":{"eissn":["2374-3468"],"issn":["2159-5399"],"isbn":["9781577358350"]},"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, ERC CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation programme\r\nunder the Marie Skłodowska-Curie Grant Agreement No. 665385.","doi":"10.1609/aaai.v36i7.20695"},{"related_material":{"record":[{"id":"14830","status":"public","relation":"later_version"},{"id":"14539","status":"public","relation":"dissertation_contains"}]},"ec_funded":1,"corr_author":"1","date_created":"2023-11-24T13:10:09Z","article_number":"2210.05308","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","author":[{"last_name":"Zikelic","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Lechner","full_name":"Lechner, Mathias","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000-0002-2985-7724"},{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["2210.05308"]},"language":[{"iso":"eng"}],"license":"https://creativecommons.org/licenses/by-sa/4.0/","title":"Learning control policies for stochastic systems with reach-avoid guarantees","tmp":{"short":"CC BY-SA (4.0)","name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","image":"/images/cc_by_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode"},"year":"2022","abstract":[{"text":"We study the problem of learning controllers for discrete-time non-linear stochastic dynamical systems with formal reach-avoid guarantees. This work presents the first method for providing formal reach-avoid guarantees, which combine and generalize stability and safety guarantees, with a tolerable probability threshold $p\\in[0,1]$ over the infinite time horizon. Our method leverages advances in machine learning literature and it represents formal certificates as neural networks. In particular, we learn a certificate in the form of a reach-avoid supermartingale (RASM), a novel notion that we introduce in this work. Our RASMs provide reachability and avoidance guarantees by imposing constraints on what can be viewed as a stochastic extension of level sets of Lyapunov functions for deterministic systems. Our approach solves several important problems -- it can be used to learn a control policy from scratch, to verify a reach-avoid specification for a fixed control policy, or to fine-tune a pre-trained policy if it does not satisfy the reach-avoid specification. We validate our approach on $3$ stochastic non-linear reinforcement learning tasks.","lang":"eng"}],"month":"11","arxiv":1,"date_updated":"2026-04-07T13:27:56Z","date_published":"2022-11-29T00:00:00Z","main_file_link":[{"url":"https://arxiv.org/abs/2210.05308","open_access":"1"}],"OA_place":"repository","publication_status":"draft","project":[{"call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093"},{"grant_number":"665385","call_identifier":"H2020","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"No","oa_version":"Preprint","doi":"10.48550/ARXIV.2210.05308","oa":1,"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"type":"preprint","citation":{"chicago":"Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2210.05308.","ieee":"D. Zikelic, M. Lechner, T. A. Henzinger, and K. Chatterjee, “Learning control policies for stochastic systems with reach-avoid guarantees,” arXiv. .","ista":"Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv, 2210.05308.","apa":"Zikelic, D., Lechner, M., Henzinger, T. A., & Chatterjee, K. (n.d.). Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. https://doi.org/10.48550/ARXIV.2210.05308","ama":"Zikelic D, Lechner M, Henzinger TA, Chatterjee K. Learning control policies for stochastic systems with reach-avoid guarantees. arXiv. doi:10.48550/ARXIV.2210.05308","mla":"Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.” ArXiv, 2210.05308, doi:10.48550/ARXIV.2210.05308.","short":"D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.)."},"publication":"arXiv","_id":"14600","day":"29"},{"date_created":"2023-11-24T13:22:30Z","corr_author":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"2205.11991","ec_funded":1,"related_material":{"record":[{"id":"14539","relation":"dissertation_contains","status":"public"}]},"title":"Learning stabilizing policies in stochastic control systems","status":"public","language":[{"iso":"eng"}],"external_id":{"arxiv":["2205.11991"]},"author":[{"id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","first_name":"Mathias","last_name":"Lechner"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"project":[{"name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","call_identifier":"H2020"},{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818"},{"call_identifier":"H2020","grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"No","publication_status":"draft","OA_place":"repository","oa_version":"Preprint","date_updated":"2026-04-07T13:27:56Z","arxiv":1,"month":"05","abstract":[{"text":"In this work, we address the problem of learning provably stable neural\r\nnetwork policies for stochastic control systems. While recent work has\r\ndemonstrated the feasibility of certifying given policies using martingale\r\ntheory, the problem of how to learn such policies is little explored. Here, we\r\nstudy the effectiveness of jointly learning a policy together with a martingale\r\ncertificate that proves its stability using a single learning algorithm. We\r\nobserve that the joint optimization problem becomes easily stuck in local\r\nminima when starting from a randomly initialized policy. Our results suggest\r\nthat some form of pre-training of the policy is required for the joint\r\noptimization to repair and verify the policy successfully.","lang":"eng"}],"year":"2022","date_published":"2022-05-24T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2205.11991"}],"publication":"arXiv","day":"24","_id":"14601","doi":"10.48550/arXiv.2205.11991","department":[{"_id":"KrCh"},{"_id":"ToHe"}],"type":"preprint","citation":{"ieee":"D. Zikelic, M. Lechner, K. Chatterjee, and T. A. Henzinger, “Learning stabilizing policies in stochastic control systems,” arXiv. .","chicago":"Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.11991.","short":"D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).","mla":"Zikelic, Dorde, et al. “Learning Stabilizing Policies in Stochastic Control Systems.” ArXiv, 2205.11991, doi:10.48550/arXiv.2205.11991.","ama":"Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv. doi:10.48550/arXiv.2205.11991","apa":"Zikelic, D., Lechner, M., Chatterjee, K., & Henzinger, T. A. (n.d.). Learning stabilizing policies in stochastic control systems. arXiv. https://doi.org/10.48550/arXiv.2205.11991","ista":"Zikelic D, Lechner M, Chatterjee K, Henzinger TA. Learning stabilizing policies in stochastic control systems. arXiv, 2205.11991."},"oa":1},{"has_accepted_license":"1","volume":221,"related_material":{"record":[{"id":"9192","status":"public","relation":"research_data"},{"id":"11321","relation":"research_data","status":"public"},{"id":"14651","status":"public","relation":"dissertation_contains"}]},"pmid":1,"article_number":"iyac083","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_created":"2022-05-26T13:44:50Z","ddc":["576"],"corr_author":"1","article_type":"original","language":[{"iso":"eng"}],"external_id":{"pmid":["35639938"],"isi":["000803735800001"]},"author":[{"id":"455235B8-F248-11E8-B48F-1D18A9856A87","last_name":"Surendranadh","orcid":"0000-0001-6395-386X","first_name":"Parvathy","full_name":"Surendranadh, Parvathy"},{"last_name":"Arathoon","orcid":"0000-0003-1771-714X","first_name":"Louise S","full_name":"Arathoon, Louise S","id":"2CFCFF98-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Carina","full_name":"Baskett, Carina","orcid":"0000-0002-7354-8574","last_name":"Baskett","id":"3B4A7CE2-F248-11E8-B48F-1D18A9856A87"},{"id":"419049E2-F248-11E8-B48F-1D18A9856A87","first_name":"David","full_name":"Field, David","orcid":"0000-0002-4014-8478","last_name":"Field"},{"orcid":"0000-0001-6118-0541","last_name":"Pickup","full_name":"Pickup, Melinda","first_name":"Melinda","id":"2C78037E-F248-11E8-B48F-1D18A9856A87"},{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton","orcid":"0000-0002-8548-5240","first_name":"Nicholas H","full_name":"Barton, Nicholas H"}],"status":"public","intvolume":" 221","quality_controlled":"1","title":"Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus","date_published":"2022-07-01T00:00:00Z","publisher":"Oxford University Press","date_updated":"2026-04-07T13:28:29Z","month":"07","isi":1,"abstract":[{"text":"Many studies have quantified the distribution of heterozygosity and relatedness in natural populations, but few have examined the demographic processes driving these patterns. In this study, we take a novel approach by studying how population structure affects both pairwise identity and the distribution of heterozygosity in a natural population of the self-incompatible plant Antirrhinum majus. Excess variance in heterozygosity between individuals is due to identity disequilibrium, which reflects the variance in inbreeding between individuals; it is measured by the statistic g2. We calculated g2 together with FST and pairwise relatedness (Fij) using 91 SNPs in 22,353 individuals collected over 11 years. We find that pairwise Fij declines rapidly over short spatial scales, and the excess variance in heterozygosity between individuals reflects significant variation in inbreeding. Additionally, we detect an excess of individuals with around half the average heterozygosity, indicating either selfing or matings between close relatives. We use 2 types of simulation to ask whether variation in heterozygosity is consistent with fine-scale spatial population structure. First, by simulating offspring using parents drawn from a range of spatial scales, we show that the known pollen dispersal kernel explains g2. Second, we simulate a 1,000-generation pedigree using the known dispersal and spatial distribution and find that the resulting g2 is consistent with that observed from the field data. In contrast, a simulated population with uniform density underestimates g2, indicating that heterogeneous density promotes identity disequilibrium. Our study shows that heterogeneous density and leptokurtic dispersal can together explain the distribution of heterozygosity.","lang":"eng"}],"scopus_import":"1","year":"2022","oa_version":"Submitted Version","file":[{"file_id":"11412","access_level":"open_access","creator":"larathoo","date_created":"2022-05-26T12:48:15Z","relation":"main_file","content_type":"application/pdf","file_name":"Manuscript.pdf","checksum":"cc2d56deb608bd53c5cc02f03a875107","file_size":885374,"success":1,"date_updated":"2022-05-26T12:48:15Z"},{"access_level":"open_access","creator":"larathoo","date_created":"2022-05-26T12:48:21Z","relation":"main_file","file_id":"11413","file_size":1401704,"success":1,"date_updated":"2022-05-26T12:48:21Z","content_type":"application/pdf","file_name":"SupplementalMaterial.pdf","checksum":"693742595b6c7ed809423be01460d083"}],"article_processing_charge":"No","project":[{"grant_number":"P32166","_id":"05959E1C-7A3F-11EA-A408-12923DDC885E","name":"Snapdragon Speciation"}],"publication_status":"published","citation":{"apa":"Surendranadh, P., Arathoon, L. S., Baskett, C., Field, D., Pickup, M., & Barton, N. H. (2022). Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyac083","ista":"Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. 2022. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 221(3), iyac083.","ama":"Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 2022;221(3). doi:10.1093/genetics/iyac083","mla":"Surendranadh, Parvathy, et al. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Genetics, vol. 221, no. 3, iyac083, Oxford University Press, 2022, doi:10.1093/genetics/iyac083.","short":"P. Surendranadh, L.S. Arathoon, C. Baskett, D. Field, M. Pickup, N.H. Barton, Genetics 221 (2022).","chicago":"Surendranadh, Parvathy, Louise S Arathoon, Carina Baskett, David Field, Melinda Pickup, and Nicholas H Barton. “Effects of Fine-Scale Population Structure on the Distribution of Heterozygosity in a Long-Term Study of Antirrhinum Majus.” Genetics. Oxford University Press, 2022. https://doi.org/10.1093/genetics/iyac083.","ieee":"P. Surendranadh, L. S. Arathoon, C. Baskett, D. Field, M. Pickup, and N. H. Barton, “Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus,” Genetics, vol. 221, no. 3. Oxford University Press, 2022."},"department":[{"_id":"GradSch"},{"_id":"NiBa"}],"type":"journal_article","oa":1,"doi":"10.1093/genetics/iyac083","acknowledgement":"Part of this work was funded by Marie Curie COFUND Doctoral Fellowship and Austrian Science Fund FWF (grant P32166).\r\nWe thank the many volunteers and friends who have contributed to data collection in the field site over the years, in particular those who have managed field seasons: Barbora Trubenova, Maria Clara Melo, Tom Ellis, Eva Cereghetti, Lenka Matejovicova, Beatriz Pablo Carmona. Frederic Ferrer and Eva Salmerón Mateu have been immensely helpful with logistics at our informal field station, El Serrat de Planoles. We thank Sean Stankowski for technical help in\r\nproducing figure 1. This research was also supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing (SciComp).","publication_identifier":{"eissn":["1943-2631"]},"day":"01","_id":"11411","publication":"Genetics","acknowledged_ssus":[{"_id":"ScienComp"}],"file_date_updated":"2022-05-26T12:48:21Z","issue":"3"},{"quality_controlled":"1","title":"Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"status":"public","intvolume":" 24","language":[{"iso":"eng"}],"external_id":{"arxiv":["2112.11154"],"isi":["000834834300001"]},"author":[{"last_name":"Hensel","orcid":"0000-0001-7252-8072","full_name":"Hensel, Sebastian","first_name":"Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Marveggio","first_name":"Alice","full_name":"Marveggio, Alice","id":"25647992-AA84-11E9-9D75-8427E6697425"}],"date_created":"2022-08-14T22:01:45Z","ddc":["510"],"corr_author":"1","article_type":"original","article_number":"93","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ec_funded":1,"volume":24,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"14587"}]},"has_accepted_license":"1","publication":"Journal of Mathematical Fluid Mechanics","file_date_updated":"2022-08-16T06:55:22Z","issue":"3","_id":"11842","day":"01","doi":"10.1007/s00021-022-00722-2","publication_identifier":{"issn":["1422-6928"],"eissn":["1422-6952"]},"acknowledgement":"The authors warmly thank their former resp. current PhD advisor Julian Fischer for the suggestion of this problem and for valuable initial discussions on the subjects of this paper. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819) , and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813.","type":"journal_article","citation":{"ieee":"S. Hensel and A. Marveggio, “Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities,” Journal of Mathematical Fluid Mechanics, vol. 24, no. 3. Springer Nature, 2022.","chicago":"Hensel, Sebastian, and Alice Marveggio. “Weak-Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Ninety Degree Contact Angle and Same Viscosities.” Journal of Mathematical Fluid Mechanics. Springer Nature, 2022. https://doi.org/10.1007/s00021-022-00722-2.","short":"S. Hensel, A. Marveggio, Journal of Mathematical Fluid Mechanics 24 (2022).","ama":"Hensel S, Marveggio A. Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. 2022;24(3). doi:10.1007/s00021-022-00722-2","mla":"Hensel, Sebastian, and Alice Marveggio. “Weak-Strong Uniqueness for the Navier–Stokes Equation for Two Fluids with Ninety Degree Contact Angle and Same Viscosities.” Journal of Mathematical Fluid Mechanics, vol. 24, no. 3, 93, Springer Nature, 2022, doi:10.1007/s00021-022-00722-2.","apa":"Hensel, S., & Marveggio, A. (2022). Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. Springer Nature. https://doi.org/10.1007/s00021-022-00722-2","ista":"Hensel S, Marveggio A. 2022. Weak-strong uniqueness for the Navier–Stokes equation for two fluids with ninety degree contact angle and same viscosities. Journal of Mathematical Fluid Mechanics. 24(3), 93."},"department":[{"_id":"JuFi"}],"oa":1,"project":[{"name":"Bridging Scales in Random Materials","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020","grant_number":"948819"}],"article_processing_charge":"No","publication_status":"published","file":[{"file_name":"2022_JMathFluidMech_Hensel.pdf","checksum":"75c5f286300e6f0539cf57b4dba108d5","content_type":"application/pdf","success":1,"date_updated":"2022-08-16T06:55:22Z","file_size":2045570,"file_id":"11848","date_created":"2022-08-16T06:55:22Z","relation":"main_file","access_level":"open_access","creator":"cchlebak"}],"oa_version":"Published Version","arxiv":1,"date_updated":"2026-04-07T13:28:13Z","isi":1,"month":"08","year":"2022","abstract":[{"lang":"eng","text":"We consider the flow of two viscous and incompressible fluids within a bounded domain modeled by means of a two-phase Navier–Stokes system. The two fluids are assumed to be immiscible, meaning that they are separated by an interface. With respect to the motion of the interface, we consider pure transport by the fluid flow. Along the boundary of the domain, a complete slip boundary condition for the fluid velocities and a constant ninety degree contact angle condition for the interface are assumed. In the present work, we devise for the resulting evolution problem a suitable weak solution concept based on the framework of varifolds and establish as the main result a weak-strong uniqueness principle in 2D. The proof is based on a relative entropy argument and requires a non-trivial further development of ideas from the recent work of Fischer and the first author (Arch. Ration. Mech. Anal. 236, 2020) to incorporate the contact angle condition. To focus on the effects of the necessarily singular geometry of the evolving fluid domains, we work for simplicity in the regime of same viscosities for the two fluids."}],"scopus_import":"1","date_published":"2022-08-01T00:00:00Z","publisher":"Springer Nature"},{"project":[{"call_identifier":"H2020","grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"date_created":"2023-11-23T09:30:02Z","article_processing_charge":"No","publication_status":"draft","corr_author":"1","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"2203.17143","ec_funded":1,"date_updated":"2026-04-07T13:28:13Z","arxiv":1,"month":"03","related_material":{"record":[{"id":"17481","relation":"later_version","status":"public"},{"id":"14587","status":"public","relation":"dissertation_contains"}]},"year":"2022","abstract":[{"lang":"eng","text":"Phase-field models such as the Allen-Cahn equation may give rise to the formation and evolution of geometric shapes, a phenomenon that may be analyzed rigorously in suitable scaling regimes. In its sharp-interface limit, the vectorial Allen-Cahn equation with a potential with N≥3 distinct minima has been conjectured to describe the evolution of branched interfaces by multiphase mean curvature flow.\r\nIn the present work, we give a rigorous proof for this statement in two and three ambient dimensions and for a suitable class of potentials: As long as a strong solution to multiphase mean curvature flow exists, solutions to the vectorial Allen-Cahn equation with well-prepared initial data converge towards multiphase mean curvature flow in the limit of vanishing interface width parameter ε↘0. We even establish the rate of convergence O(ε1/2).\r\nOur approach is based on the gradient flow structure of the Allen-Cahn equation and its limiting motion: Building on the recent concept of \"gradient flow calibrations\" for multiphase mean curvature flow, we introduce a notion of relative entropy for the vectorial Allen-Cahn equation with multi-well potential. This enables us to overcome the limitations of other approaches, e.g. avoiding the need for a stability analysis of the Allen-Cahn operator or additional convergence hypotheses for the energy at positive times."}],"date_published":"2022-03-31T00:00:00Z","main_file_link":[{"url":"https://arxiv.org/abs/2203.17143","open_access":"1"}],"publication":"arXiv","title":"Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow","day":"31","_id":"14597","status":"public","doi":"10.48550/ARXIV.2203.17143","type":"preprint","department":[{"_id":"JuFi"}],"citation":{"apa":"Fischer, J. L., & Marveggio, A. (n.d.). Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv. https://doi.org/10.48550/ARXIV.2203.17143","ista":"Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv, 2203.17143.","short":"J.L. Fischer, A. Marveggio, ArXiv (n.d.).","mla":"Fischer, Julian L., and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” ArXiv, 2203.17143, doi:10.48550/ARXIV.2203.17143.","ama":"Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow. arXiv. doi:10.48550/ARXIV.2203.17143","chicago":"Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen-Cahn Equation towards Multiphase Mean Curvature Flow.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2203.17143.","ieee":"J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow,” arXiv. ."},"oa":1,"language":[{"iso":"eng"}],"author":[{"full_name":"Fischer, Julian L","first_name":"Julian L","orcid":"0000-0002-0479-558X","last_name":"Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87"},{"id":"25647992-AA84-11E9-9D75-8427E6697425","last_name":"Marveggio","full_name":"Marveggio, Alice","first_name":"Alice"}],"external_id":{"arxiv":["2203.17143"]}},{"has_accepted_license":"1","ec_funded":1,"volume":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"12726"},{"relation":"dissertation_contains","status":"public","id":"14530"}]},"pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"kvac009","date_created":"2022-02-25T07:52:11Z","ddc":["570"],"corr_author":"1","article_type":"original","language":[{"iso":"eng"}],"external_id":{"pmid":["38596707"]},"author":[{"id":"38853E16-F248-11E8-B48F-1D18A9856A87","last_name":"Hansen","full_name":"Hansen, Andi H","first_name":"Andi H"},{"id":"48EA0138-F248-11E8-B48F-1D18A9856A87","first_name":"Florian","full_name":"Pauler, Florian","orcid":"0000-0002-7462-0048","last_name":"Pauler"},{"id":"3BE60946-F248-11E8-B48F-1D18A9856A87","first_name":"Michael","full_name":"Riedl, Michael","last_name":"Riedl","orcid":"0000-0003-4844-6311"},{"id":"36BCB99C-F248-11E8-B48F-1D18A9856A87","full_name":"Streicher, Carmen","first_name":"Carmen","last_name":"Streicher"},{"full_name":"Heger, Anna-Magdalena","first_name":"Anna-Magdalena","last_name":"Heger","id":"4B76FFD2-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-7903-3010","last_name":"Laukoter","full_name":"Laukoter, Susanne","first_name":"Susanne","id":"2D6B7A9A-F248-11E8-B48F-1D18A9856A87"},{"id":"4DF26D8C-F248-11E8-B48F-1D18A9856A87","last_name":"Sommer","orcid":"0000-0003-1216-9105","full_name":"Sommer, Christoph M","first_name":"Christoph M"},{"last_name":"Nicolas","full_name":"Nicolas, Armel","first_name":"Armel","id":"2A103192-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Hof, Björn","first_name":"Björn","orcid":"0000-0003-2057-2754","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Tsai","first_name":"Li Huei","full_name":"Tsai, Li Huei"},{"full_name":"Rülicke, Thomas","first_name":"Thomas","last_name":"Rülicke"},{"full_name":"Hippenmeyer, Simon","first_name":"Simon","last_name":"Hippenmeyer","orcid":"0000-0003-2279-1061","id":"37B36620-F248-11E8-B48F-1D18A9856A87"}],"status":"public","intvolume":" 1","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","title":"Tissue-wide effects override cell-intrinsic gene function in radial neuron migration","date_published":"2022-07-07T00:00:00Z","publisher":"Oxford University Press","date_updated":"2026-04-07T13:29:13Z","month":"07","abstract":[{"lang":"eng","text":"The mammalian neocortex is composed of diverse neuronal and glial cell classes that broadly arrange in six distinct laminae. Cortical layers emerge during development and defects in the developmental programs that orchestrate cortical lamination are associated with neurodevelopmental diseases. The developmental principle of cortical layer formation depends on concerted radial projection neuron migration, from their birthplace to their final target position. Radial migration occurs in defined sequential steps, regulated by a large array of signaling pathways. However, based on genetic loss-of-function experiments, most studies have thus far focused on the role of cell-autonomous gene function. Yet, cortical neuron migration in situ is a complex process and migrating neurons traverse along diverse cellular compartments and environments. The role of tissue-wide properties and genetic state in radial neuron migration is however not clear. Here we utilized mosaic analysis with double markers (MADM) technology to either sparsely or globally delete gene function, followed by quantitative single-cell phenotyping. The MADM-based gene ablation paradigms in combination with computational modeling demonstrated that global tissue-wide effects predominate cell-autonomous gene function albeit in a gene-specific manner. Our results thus suggest that the genetic landscape in a tissue critically affects the overall migration phenotype of individual cortical projection neurons. In a broader context, our findings imply that global tissue-wide effects represent an essential component of the underlying etiology associated with focal malformations of cortical development in particular, and neurological diseases in general."}],"year":"2022","file":[{"date_updated":"2023-08-16T08:00:30Z","success":1,"file_size":4846551,"checksum":"822e76e056c07099d1fb27d1ece5941b","file_name":"2023_OxfordOpenNeuroscience_Hansen.pdf","content_type":"application/pdf","relation":"main_file","date_created":"2023-08-16T08:00:30Z","creator":"dernst","access_level":"open_access","file_id":"14061"}],"oa_version":"Published Version","article_processing_charge":"No","project":[{"call_identifier":"FP7","grant_number":"618444","_id":"25D61E48-B435-11E9-9278-68D0E5697425","name":"Molecular Mechanisms of Cerebral Cortex Development"},{"grant_number":"24812","_id":"2625A13E-B435-11E9-9278-68D0E5697425","name":"Molecular mechanisms of radial neuronal migration"}],"publication_status":"published","department":[{"_id":"SiHi"},{"_id":"BjHo"},{"_id":"LifeSc"},{"_id":"EM-Fac"}],"citation":{"short":"A.H. Hansen, F. Pauler, M. Riedl, C. Streicher, A.-M. Heger, S. Laukoter, C.M. Sommer, A. Nicolas, B. Hof, L.H. Tsai, T. Rülicke, S. Hippenmeyer, Oxford Open Neuroscience 1 (2022).","mla":"Hansen, Andi H., et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience, vol. 1, no. 1, kvac009, Oxford University Press, 2022, doi:10.1093/oons/kvac009.","ama":"Hansen AH, Pauler F, Riedl M, et al. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 2022;1(1). doi:10.1093/oons/kvac009","apa":"Hansen, A. H., Pauler, F., Riedl, M., Streicher, C., Heger, A.-M., Laukoter, S., … Hippenmeyer, S. (2022). Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. Oxford University Press. https://doi.org/10.1093/oons/kvac009","ista":"Hansen AH, Pauler F, Riedl M, Streicher C, Heger A-M, Laukoter S, Sommer CM, Nicolas A, Hof B, Tsai LH, Rülicke T, Hippenmeyer S. 2022. Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. 1(1), kvac009.","ieee":"A. H. Hansen et al., “Tissue-wide effects override cell-intrinsic gene function in radial neuron migration,” Oxford Open Neuroscience, vol. 1, no. 1. Oxford University Press, 2022.","chicago":"Hansen, Andi H, Florian Pauler, Michael Riedl, Carmen Streicher, Anna-Magdalena Heger, Susanne Laukoter, Christoph M Sommer, et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience. Oxford University Press, 2022. https://doi.org/10.1093/oons/kvac009."},"type":"journal_article","oa":1,"doi":"10.1093/oons/kvac009","publication_identifier":{"eissn":["2753-149X"]},"acknowledgement":"A.H.H. was a recipient of a DOC Fellowship (24812) of the Austrian Academy of Sciences. This work also received support from IST Austria institutional funds; the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007–2013) under REA grant agreement No 618444 to S.H.\r\nAPC funding was obtained by IST Austria institutional funds.\r\nWe thank A. Sommer and C. Czepe (VBCF GmbH, NGS Unit), L. Andersen, J. Sonntag and J. Renno for technical support and/or initial experiments; M. Sixt, J. Nimpf and all members of the Hippenmeyer lab for discussion. This research was supported by the Scientific Service Units of IST Austria through resources provided by the Imaging and Optics Facility, Lab Support Facility and Preclinical Facility.","_id":"10791","day":"07","publication":"Oxford Open Neuroscience","file_date_updated":"2023-08-16T08:00:30Z","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"PreCl"},{"_id":"Bio"}],"issue":"1"},{"ec_funded":1,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"13074"}]},"conference":{"location":"New Orleans, LA, United States","name":"CVPR: Computer Vision and Pattern Recognition","end_date":"2022-06-24","start_date":"2022-06-18"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_created":"2023-01-16T10:06:00Z","corr_author":"1","author":[{"first_name":"Eugenia B","full_name":"Iofinova, Eugenia B","orcid":"0000-0002-7778-3221","last_name":"Iofinova","id":"f9a17499-f6e0-11ea-865d-fdf9a3f77117"},{"full_name":"Peste, Elena-Alexandra","first_name":"Elena-Alexandra","last_name":"Peste","id":"32D78294-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kurtz","first_name":"Mark","full_name":"Kurtz, Mark"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X"}],"external_id":{"isi":["000870759105034"],"arxiv":["2111.13445"]},"language":[{"iso":"eng"}],"status":"public","page":"12256-12266","title":"How well do sparse ImageNet models transfer?","quality_controlled":"1","publisher":"Institute of Electrical and Electronics Engineers","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2111.13445"}],"date_published":"2022-09-27T00:00:00Z","month":"09","isi":1,"arxiv":1,"date_updated":"2026-04-07T13:30:19Z","abstract":[{"text":"Transfer learning is a classic paradigm by which models pretrained on large “upstream” datasets are adapted to yield good results on “downstream” specialized datasets. Generally, more accurate models on the “upstream” dataset tend to provide better transfer accuracy “downstream”. In this work, we perform an in-depth investigation of this phenomenon in the context of convolutional neural networks (CNNs) trained on the ImageNet dataset, which have been pruned-that is, compressed by sparsifiying their connections. We consider transfer using unstructured pruned models obtained by applying several state-of-the-art pruning methods, including magnitude-based, second-order, regrowth, lottery-ticket, and regularization approaches, in the context of twelve standard transfer tasks. In a nutshell, our study shows that sparse models can match or even outperform the transfer performance of dense models, even at high sparsities, and, while doing so, can lead to significant inference and even training speedups. At the same time, we observe and analyze significant differences in the behaviour of different pruning methods. The code is available at: https://github.com/IST-DASLab/sparse-imagenet-transfer.","lang":"eng"}],"year":"2022","scopus_import":"1","oa_version":"Preprint","project":[{"_id":"9B9290DE-BA93-11EA-9121-9846C619BF3A","name":"Vienna Graduate School on Computational Optimization","grant_number":"W1260-N35"},{"name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425","grant_number":"805223","call_identifier":"H2020"}],"article_processing_charge":"No","publication_status":"published","department":[{"_id":"DaAl"},{"_id":"ChLa"}],"citation":{"chicago":"Iofinova, Eugenia B, Alexandra Krumes, Mark Kurtz, and Dan-Adrian Alistarh. “How Well Do Sparse ImageNet Models Transfer?” In 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 12256–66. Institute of Electrical and Electronics Engineers, 2022. https://doi.org/10.1109/cvpr52688.2022.01195.","ieee":"E. B. Iofinova, A. Krumes, M. Kurtz, and D.-A. Alistarh, “How well do sparse ImageNet models transfer?,” in 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, New Orleans, LA, United States, 2022, pp. 12256–12266.","ista":"Iofinova EB, Krumes A, Kurtz M, Alistarh D-A. 2022. How well do sparse ImageNet models transfer? 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Computer Vision and Pattern Recognition, 12256–12266.","apa":"Iofinova, E. B., Krumes, A., Kurtz, M., & Alistarh, D.-A. (2022). How well do sparse ImageNet models transfer? In 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 12256–12266). New Orleans, LA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/cvpr52688.2022.01195","mla":"Iofinova, Eugenia B., et al. “How Well Do Sparse ImageNet Models Transfer?” 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Institute of Electrical and Electronics Engineers, 2022, pp. 12256–66, doi:10.1109/cvpr52688.2022.01195.","ama":"Iofinova EB, Krumes A, Kurtz M, Alistarh D-A. How well do sparse ImageNet models transfer? In: 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition. Institute of Electrical and Electronics Engineers; 2022:12256-12266. doi:10.1109/cvpr52688.2022.01195","short":"E.B. Iofinova, A. Krumes, M. Kurtz, D.-A. Alistarh, in:, 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Institute of Electrical and Electronics Engineers, 2022, pp. 12256–12266."},"type":"conference","oa":1,"publication_identifier":{"eissn":["2575-7075"]},"acknowledgement":"he authors would like to sincerely thank Christoph Lampert and Nir Shavit for fruitful discussions during the development of this work, and Eldar Kurtic for experimental support. EI was supported in part by the FWF DK VGSCO, grant agreement number W1260-N35, while AP and DA acknowledge generous support by the ERC, via Starting Grant 805223 ScaleML.","doi":"10.1109/cvpr52688.2022.01195","_id":"12299","day":"27","publication":"2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition"},{"publication_identifier":{"isbn":["978-3-99078-016-9"],"issn":["2663-337X"]},"degree_awarded":"PhD","doi":"10.15479/at:ista:11128","oa":1,"type":"dissertation","citation":{"short":"L. Matejovicova, Genetic Basis of Flower Colour as a Model for Adaptive Evolution, Institute of Science and Technology Austria, 2022.","ama":"Matejovicova L. Genetic basis of flower colour as a model for adaptive evolution. 2022. doi:10.15479/at:ista:11128","mla":"Matejovicova, Lenka. Genetic Basis of Flower Colour as a Model for Adaptive Evolution. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11128.","apa":"Matejovicova, L. (2022). Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11128","ista":"Matejovicova L. 2022. Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria.","ieee":"L. Matejovicova, “Genetic basis of flower colour as a model for adaptive evolution,” Institute of Science and Technology Austria, 2022.","chicago":"Matejovicova, Lenka. “Genetic Basis of Flower Colour as a Model for Adaptive Evolution.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11128."},"department":[{"_id":"GradSch"},{"_id":"NiBa"}],"acknowledged_ssus":[{"_id":"ScienComp"},{"_id":"Bio"}],"file_date_updated":"2022-04-07T08:11:51Z","_id":"11128","day":"06","year":"2022","abstract":[{"lang":"eng","text":"Although we often see studies focusing on simple or even discrete traits in studies of colouration,\r\nthe variation of “appearance” phenotypes found in nature is often more complex, continuous\r\nand high-dimensional. Therefore, we developed automated methods suitable for large datasets\r\nof genomes and images, striving to account for their complex nature, while minimising human\r\nbias. We used these methods on a dataset of more than 20, 000 plant SNP genomes and\r\ncorresponding fower images from a hybrid zone of two subspecies of Antirrhinum majus with\r\ndistinctly coloured fowers to improve our understanding of the genetic nature of the fower\r\ncolour in our study system.\r\nFirstly, we use the advantage of large numbers of genotyped plants to estimate the haplotypes in\r\nthe main fower colour regulating region. We study colour- and geography-related characteristics\r\nof the estimated haplotypes and how they connect to their relatedness. We show discrepancies\r\nfrom the expected fower colour distributions given the genotype and identify particular\r\nhaplotypes leading to unexpected phenotypes. We also confrm a signifcant defcit of the\r\ndouble recessive recombinant and quite surprisingly, we show that haplotypes of the most\r\nfrequent parental type are much less variable than others.\r\nSecondly, we introduce our pipeline capable of processing tens of thousands of full fower\r\nimages without human interaction and summarising each image into a set of informative scores.\r\nWe show the compatibility of these machine-measured fower colour scores with the previously\r\nused manual scores and study impact of external efect on the resulting scores. Finally, we use\r\nthe machine-measured fower colour scores to ft and examine a phenotype cline across the\r\nhybrid zone in Planoles using full fower images as opposed to discrete, manual scores and\r\ncompare it with the genotypic cline."}],"alternative_title":["ISTA Thesis"],"month":"04","date_updated":"2026-04-07T14:12:19Z","publisher":"Institute of Science and Technology Austria","date_published":"2022-04-06T00:00:00Z","publication_status":"published","OA_place":"publisher","article_processing_charge":"No","oa_version":"Published Version","file":[{"file_id":"11129","access_level":"open_access","creator":"cchlebak","date_created":"2022-04-07T08:11:34Z","relation":"main_file","content_type":"application/pdf","file_name":"LenkaPhD_Official_PDFA.pdf","checksum":"e9609bc4e8f8e20146fc1125fd4f1bf7","file_size":11906472,"date_updated":"2022-04-07T08:11:34Z"},{"file_size":23036766,"date_updated":"2022-04-07T08:11:51Z","content_type":"application/x-zip-compressed","checksum":"99d67040432fd07a225643a212ee8588","file_name":"LenkaPhD Official_source.zip","creator":"cchlebak","access_level":"closed","relation":"source_file","date_created":"2022-04-07T08:11:51Z","file_id":"11130"}],"supervisor":[{"id":"4880FE40-F248-11E8-B48F-1D18A9856A87","full_name":"Barton, Nicholas H","first_name":"Nicholas H","last_name":"Barton","orcid":"0000-0002-8548-5240"}],"status":"public","author":[{"id":"2DFDEC72-F248-11E8-B48F-1D18A9856A87","last_name":"Matejovicova","full_name":"Matejovicova, Lenka","first_name":"Lenka"}],"language":[{"iso":"eng"}],"title":"Genetic basis of flower colour as a model for adaptive evolution","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"page":"112","has_accepted_license":"1","corr_author":"1","ddc":["576","582"],"date_created":"2022-04-07T08:19:54Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd"},{"project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020"}],"article_processing_charge":"No","publication_status":"published","OA_place":"publisher","file":[{"date_updated":"2022-09-08T21:50:34Z","success":1,"file_size":1907386,"file_name":"Thesis_final_draft.pdf","checksum":"bf073344320e05d92c224786cec2e92d","content_type":"application/pdf","date_created":"2022-09-08T21:50:34Z","relation":"main_file","access_level":"open_access","creator":"ashute","file_id":"12073"},{"file_id":"12074","access_level":"closed","creator":"ashute","date_created":"2022-09-08T21:50:42Z","relation":"source_file","content_type":"application/octet-stream","file_name":"athesis.tex","checksum":"b054ac6baa09f70e8235403a4abbed80","file_size":495393,"date_updated":"2022-09-12T11:24:21Z"},{"file_name":"qfcjsfmtvtbfrjjvhdzrnqxfvgjvxtbf.zip","checksum":"0a31e905f1cff5eb8110978cc90e1e79","content_type":"application/x-zip-compressed","date_updated":"2022-09-12T11:24:21Z","file_size":944534,"file_id":"12078","date_created":"2022-09-09T12:05:00Z","relation":"source_file","access_level":"closed","creator":"ashute"}],"oa_version":"Published Version","date_updated":"2026-04-07T14:13:35Z","month":"09","alternative_title":["ISTA Thesis"],"abstract":[{"lang":"eng","text":"In this thesis, we study two of the most important questions in Arithmetic geometry: that of the existence and density of solutions to Diophantine equations. In order for a Diophantine equation to have any solutions over the rational numbers, it must have solutions everywhere locally, i.e., over R and over Qp for every prime p. The converse, called the Hasse principle, is known to fail in general. However, it is still a central question in Arithmetic geometry to determine for which varieties the Hasse principle does hold. In this work, we establish the Hasse principle for a wide new family of varieties of the form f(t) = NK/Q(x) ̸= 0, where f is a polynomial with integer coefficients and NK/Q denotes the norm\r\nform associated to a number field K. Our results cover products of arbitrarily many linear, quadratic or cubic factors, and generalise an argument of Irving [69], which makes use of the beta sieve of Rosser and Iwaniec. We also demonstrate how our main sieve results can be applied to treat new cases of a conjecture of Harpaz and Wittenberg on locally split values of polynomials over number fields, and discuss consequences for rational points in fibrations.\r\nIn the second question, about the density of solutions, one defines a height function and seeks to estimate asymptotically the number of points of height bounded by B as B → ∞. Traditionally, one either counts rational points, or\r\nintegral points with respect to a suitable model. However, in this thesis, we study an emerging area of interest in Arithmetic geometry known as Campana points, which in some sense interpolate between rational and integral points.\r\nMore precisely, we count the number of nonzero integers z1, z2, z3 such that gcd(z1, z2, z3) = 1, and z1, z2, z3, z1 + z2 + z3 are all squareful and bounded by B. Using the circle method, we obtain an asymptotic formula which agrees in\r\nthe power of B and log B with a bold new generalisation of Manin’s conjecture to the setting of Campana points, recently formulated by Pieropan, Smeets, Tanimoto and Várilly-Alvarado [96]. However, in this thesis we also provide the first known counterexamples to leading constant predicted by their conjecture. "}],"year":"2022","date_published":"2022-09-08T00:00:00Z","publisher":"Institute of Science and Technology Austria","file_date_updated":"2022-09-12T11:24:21Z","_id":"12072","day":"08","doi":"10.15479/at:ista:12072","degree_awarded":"PhD","acknowledgement":"I acknowledge the received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska Curie Grant Agreement No. 665385.","publication_identifier":{"isbn":["978-3-99078-023-7"],"issn":["2663-337X"]},"type":"dissertation","citation":{"chicago":"Shute, Alec L. “Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12072.","ieee":"A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.","apa":"Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072","ista":"Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.","mla":"Shute, Alec L. Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12072.","ama":"Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072","short":"A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022."},"department":[{"_id":"GradSch"},{"_id":"TiBr"}],"oa":1,"date_created":"2022-09-08T21:53:03Z","ddc":["512"],"corr_author":"1","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","ec_funded":1,"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"12076"},{"relation":"part_of_dissertation","status":"public","id":"12077"}]},"has_accepted_license":"1","title":"Existence and density problems in Diophantine geometry: From norm forms to Campana points","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","page":"208","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","image":"/images/cc_by_nc_sa.png","short":"CC BY-NC-SA (4.0)","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"status":"public","supervisor":[{"id":"35827D50-F248-11E8-B48F-1D18A9856A87","full_name":"Browning, Timothy D","first_name":"Timothy D","last_name":"Browning","orcid":"0000-0002-8314-0177"}],"language":[{"iso":"eng"}],"author":[{"id":"440EB050-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-1812-2810","last_name":"Shute","first_name":"Alec L","full_name":"Shute, Alec L"}]},{"date_published":"2022-09-29T00:00:00Z","publisher":"Institute of Science and Technology Austria","date_updated":"2026-04-07T14:13:19Z","month":"09","alternative_title":["ISTA Thesis"],"year":"2022","abstract":[{"lang":"eng","text":"Metazoan development relies on the formation and remodeling of cell-cell contacts. The \r\nbinding of adhesion receptors and remodeling of the actomyosin cell cortex at cell-cell \r\ninteraction sites have been implicated in cell-cell contact formation. Yet, how these two \r\nprocesses functionally interact to drive cell-cell contact expansion and strengthening \r\nremains unclear. Here, we study how primary germ layer progenitor cells from zebrafish \r\nbind to supported lipid bilayers (SLB) functionalized with E-cadherin ectodomains as an \r\nassay system for monitoring cell-cell contact formation at high spatiotemporal resolution. \r\nWe show that cell-cell contact formation represents a two-tiered process: E-cadherin\u0002mediated downregulation of the small GTPase RhoA at the forming contact leads to both \r\ndepletion of Myosin-2 and decrease of F-actin. This is followed by centrifugal actin \r\nnetwork flows at the contact triggered by a sharp gradient of Myosin-2 at the rim of the \r\ncontact zone, with Myosin-2 displaying higher cortical localization outside than inside of \r\nthe contact. These centrifugal cortical actin flows, in turn, not only further dilute the actin \r\nnetwork at the contact disc, but also lead to an accumulation of both F-actin and E\u0002cadherin at the contact rim. Eventually, this combination of actomyosin downregulation \r\nand flows at the contact contribute to the characteristic molecular organization implicated \r\nin contact formation and maintenance: depletion of cortical actomyosin at the contact disc, \r\ndriving contact expansion by lowering interfacial tension at the contact, and accumulation \r\nof both E-cadherin and F-actin at the contact rim, mechanically linking the contractile \r\ncortices of the adhering cells. Thus, using a biomimetic assay, we exemplify how \r\nadhesion signaling and cell mechanics function together to modulate the spatial \r\norganization of cell-cell contacts."}],"file":[{"file_id":"12369","access_level":"open_access","creator":"cchlebak","date_created":"2023-01-25T10:52:46Z","relation":"main_file","content_type":"application/pdf","file_name":"THESIS_FINAL_FArslan_pdfa.pdf","checksum":"e54a3e69b83ebf166544164afd25608e","file_size":14581024,"success":1,"date_updated":"2023-01-25T10:52:46Z"}],"oa_version":"Published Version","article_processing_charge":"No","project":[{"_id":"260F1432-B435-11E9-9278-68D0E5697425","name":"Interaction and feedback between cell mechanics and fate specification in vertebrate gastrulation","call_identifier":"H2020","grant_number":"742573"}],"publication_status":"published","OA_place":"publisher","citation":{"chicago":"Arslan, Feyza N. “Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12153.","ieee":"F. N. Arslan, “Remodeling of E-cadherin-mediated contacts via cortical flows,” Institute of Science and Technology Austria, 2022.","ista":"Arslan FN. 2022. Remodeling of E-cadherin-mediated contacts via cortical flows. Institute of Science and Technology Austria.","apa":"Arslan, F. N. (2022). Remodeling of E-cadherin-mediated contacts via cortical flows. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12153","short":"F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.","mla":"Arslan, Feyza N. Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12153.","ama":"Arslan FN. Remodeling of E-cadherin-mediated contacts via cortical flows. 2022. doi:10.15479/at:ista:12153"},"department":[{"_id":"GradSch"},{"_id":"CaHe"}],"type":"dissertation","oa":1,"doi":"10.15479/at:ista:12153","degree_awarded":"PhD","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-025-1 "]},"day":"29","_id":"12368","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"},{"_id":"NanoFab"}],"file_date_updated":"2023-01-25T10:52:46Z","has_accepted_license":"1","ec_funded":1,"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"9350"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_created":"2023-01-25T10:43:24Z","ddc":["570"],"corr_author":"1","language":[{"iso":"eng"}],"author":[{"id":"49DA7910-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5809-9566","last_name":"Arslan","full_name":"Arslan, Feyza N","first_name":"Feyza N"}],"status":"public","supervisor":[{"id":"39427864-F248-11E8-B48F-1D18A9856A87","last_name":"Heisenberg","orcid":"0000-0002-0912-4566","first_name":"Carl-Philipp J","full_name":"Heisenberg, Carl-Philipp J"}],"page":"113","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Remodeling of E-cadherin-mediated contacts via cortical flows"},{"date_created":"2022-08-07T22:01:58Z","article_type":"original","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_number":"65","volume":41,"related_material":{"link":[{"description":"News on the ISTA website","relation":"press_release","url":"https://ista.ac.at/en/news/digital-yarn-real-socks/"}],"record":[{"id":"12358","relation":"dissertation_contains","status":"public"}]},"quality_controlled":"1","title":"Estimation of yarn-level simulation models for production fabrics","status":"public","intvolume":" 41","language":[{"iso":"eng"}],"external_id":{"isi":["000830989200114"]},"author":[{"last_name":"Sperl","full_name":"Sperl, Georg","first_name":"Georg","id":"4DD40360-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sánchez-Banderas","full_name":"Sánchez-Banderas, Rosa M.","first_name":"Rosa M."},{"last_name":"Li","full_name":"Li, Manwen","first_name":"Manwen"},{"last_name":"Wojtan","orcid":"0000-0001-6646-5546","first_name":"Christopher J","full_name":"Wojtan, Christopher J","id":"3C61F1D2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Miguel A.","full_name":"Otaduy, Miguel A.","last_name":"Otaduy"}],"article_processing_charge":"No","publication_status":"published","oa_version":"Published Version","date_updated":"2026-04-07T14:12:58Z","isi":1,"month":"07","year":"2022","scopus_import":"1","abstract":[{"text":"This paper introduces a methodology for inverse-modeling of yarn-level mechanics of cloth, based on the mechanical response of fabrics in the real world. We compiled a database from physical tests of several different knitted fabrics used in the textile industry. These data span different types of complex knit patterns, yarn compositions, and fabric finishes, and the results demonstrate diverse physical properties like stiffness, nonlinearity, and anisotropy.\r\n\r\nWe then develop a system for approximating these mechanical responses with yarn-level cloth simulation. To do so, we introduce an efficient pipeline for converting between fabric-level data and yarn-level simulation, including a novel swatch-level approximation for speeding up computation, and some small-but-necessary extensions to yarn-level models used in computer graphics. The dataset used for this paper can be found at http://mslab.es/projects/YarnLevelFabrics.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3528223.3530167"}],"date_published":"2022-07-22T00:00:00Z","publisher":"Association for Computing Machinery","publication":"ACM Transactions on Graphics","acknowledged_ssus":[{"_id":"ScienComp"}],"issue":"4","_id":"11736","day":"22","doi":"10.1145/3528223.3530167","acknowledgement":"We wish to thank the anonymous reviewers for their helpful comments. To develop this project, we were helped by many people both at Under Armour (Clay Dean, Randall Harward, Kyle Blakely, Craig Simile, Michael Seiz, Brooke Malone, Brittainy McFarland, Emilie Phan, Lindsey Kern, Courtney Oswald, Haley Barkley, Bob Chin, Adam Bayer, Connie Kwok, Marielle Newman, Nick Pence, Allison Hicks, Allison White, Candace Rubenstein, Jeremy Stangland, Fred Fagergren, Michael Mazzoleni, Nathaniel Berry, Manuel Frank) and SEDDI (Gabriel Cirio, Alejandro Rodríguez, Sofía Dominguez, Alicia Nicas, Elena Garcés, Daniel Rodríguez, David Pascual, Manuel Godoy, Sergio Suja, Sergio Ruiz, Roberto Condori, Alberto Martín, Graham Sullivan). We also thank the members of the Visual Computing Group at IST Austria and the Multimodal Simulation Lab at URJC for their feedback. This research was supported by the Scientific Service Units (SSU) of IST Austria through resources provided by Scientific Computing, and it was funded in part by the European Research Council (ERC Consolidator Grant 772738 TouchDesign).","publication_identifier":{"issn":["0730-0301"],"eissn":["1557-7368"]},"type":"journal_article","department":[{"_id":"ChWo"}],"citation":{"ista":"Sperl G, Sánchez-Banderas RM, Li M, Wojtan C, Otaduy MA. 2022. Estimation of yarn-level simulation models for production fabrics. ACM Transactions on Graphics. 41(4), 65.","apa":"Sperl, G., Sánchez-Banderas, R. M., Li, M., Wojtan, C., & Otaduy, M. A. (2022). Estimation of yarn-level simulation models for production fabrics. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3528223.3530167","short":"G. Sperl, R.M. Sánchez-Banderas, M. Li, C. Wojtan, M.A. Otaduy, ACM Transactions on Graphics 41 (2022).","mla":"Sperl, Georg, et al. “Estimation of Yarn-Level Simulation Models for Production Fabrics.” ACM Transactions on Graphics, vol. 41, no. 4, 65, Association for Computing Machinery, 2022, doi:10.1145/3528223.3530167.","ama":"Sperl G, Sánchez-Banderas RM, Li M, Wojtan C, Otaduy MA. Estimation of yarn-level simulation models for production fabrics. ACM Transactions on Graphics. 2022;41(4). doi:10.1145/3528223.3530167","chicago":"Sperl, Georg, Rosa M. Sánchez-Banderas, Manwen Li, Chris Wojtan, and Miguel A. Otaduy. “Estimation of Yarn-Level Simulation Models for Production Fabrics.” ACM Transactions on Graphics. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528223.3530167.","ieee":"G. Sperl, R. M. Sánchez-Banderas, M. Li, C. Wojtan, and M. A. Otaduy, “Estimation of yarn-level simulation models for production fabrics,” ACM Transactions on Graphics, vol. 41, no. 4. Association for Computing Machinery, 2022."},"oa":1},{"file_date_updated":"2022-08-11T16:09:19Z","day":"11","_id":"11777","doi":"10.15479/at:ista:11777","degree_awarded":"PhD","publication_identifier":{"isbn":["978-3-99078-021-3"],"issn":["2663-337X"]},"oa":1,"citation":{"apa":"Wild, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11777","ista":"Wild P. 2022. High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology Austria.","mla":"Wild, Pascal. High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11777.","ama":"Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777","short":"P. Wild, High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes, Institute of Science and Technology Austria, 2022.","chicago":"Wild, Pascal. “High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11777.","ieee":"P. Wild, “High-dimensional expansion and crossing numbers of simplicial complexes,” Institute of Science and Technology Austria, 2022."},"department":[{"_id":"GradSch"},{"_id":"UlWa"}],"type":"dissertation","OA_place":"publisher","publication_status":"published","project":[{"call_identifier":"H2020","grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"No","file":[{"date_updated":"2022-08-10T15:34:04Z","file_size":16828,"file_name":"flags.py","checksum":"f5f3af1fb7c8a24b71ddc88ad7f7c5b4","content_type":"text/x-python","description":"Code for computer-assisted proofs in Section 8.4.7 in Thesis","date_created":"2022-08-10T15:34:04Z","relation":"supplementary_material","access_level":"open_access","creator":"pwild","file_id":"11780"},{"date_updated":"2022-08-10T15:34:10Z","file_size":12226,"checksum":"1f7c12dfe3bdaa9b147e4fbc3d34e3d5","file_name":"lowerbound.cpp","content_type":"text/x-c++src","relation":"supplementary_material","date_created":"2022-08-10T15:34:10Z","description":"Code for proof of Lemma 8.20 in Thesis","creator":"pwild","access_level":"open_access","file_id":"11781"},{"file_id":"11782","access_level":"open_access","creator":"pwild","date_created":"2022-08-10T15:34:17Z","description":"Code for proof of Proposition 7.9 in Thesis","relation":"supplementary_material","content_type":"text/x-python","file_name":"upperbound.py","checksum":"4cf81455c49e5dec3b9b2e3980137eeb","file_size":3240,"date_updated":"2022-08-10T15:34:17Z"},{"file_id":"11809","date_created":"2022-08-11T16:08:33Z","title":"High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes","relation":"main_file","access_level":"open_access","creator":"pwild","file_name":"finalthesisPascalWildPDFA.pdf","checksum":"4e96575b10cbe4e0d0db2045b2847774","content_type":"application/pdf","date_updated":"2022-08-11T16:08:33Z","file_size":5086282},{"date_updated":"2022-08-11T16:09:19Z","file_size":18150068,"checksum":"92d94842a1fb6dca5808448137573b2e","file_name":"ThesisSubmission.zip","content_type":"application/zip","relation":"source_file","date_created":"2022-08-11T16:09:19Z","creator":"pwild","access_level":"closed","file_id":"11810"}],"oa_version":"Published Version","alternative_title":["ISTA Thesis"],"year":"2022","abstract":[{"lang":"eng","text":"In this dissertation we study coboundary expansion of simplicial complex with a view of giving geometric applications.\r\nOur main novel tool is an equivariant version of Gromov's celebrated Topological Overlap Theorem. The equivariant topological overlap theorem leads to various geometric applications including a quantitative non-embeddability result for sufficiently thick buildings (which partially resolves a conjecture of Tancer and Vorwerk) and an improved lower bound on the pair-crossing number of (bounded degree) expander graphs. Additionally, we will give new proofs for several known lower bounds for geometric problems such as the number of Tverberg partitions or the crossing number of complete bipartite graphs.\r\nFor the aforementioned applications one is naturally lead to study expansion properties of joins of simplicial complexes. In the presence of a special certificate for expansion (as it is the case, e.g., for spherical buildings), the join of two expanders is an expander. On the flip-side, we report quite some evidence that coboundary expansion exhibits very non-product-like behaviour under taking joins. For instance, we exhibit infinite families of graphs $(G_n)_{n\\in \\mathbb{N}}$ and $(H_n)_{n\\in\\mathbb{N}}$ whose join $G_n*H_n$ has expansion of lower order than the product of the expansion constant of the graphs. Moreover, we show an upper bound of $(d+1)/2^d$ on the normalized coboundary expansion constants for the complete multipartite complex $[n]^{*(d+1)}$ (under a mild divisibility condition on $n$).\r\nVia the probabilistic method the latter result extends to an upper bound of $(d+1)/2^d+\\varepsilon$ on the coboundary expansion constant of the spherical building associated with $\\mathrm{PGL}_{d+2}(\\mathbb{F}_q)$ for any $\\varepsilon>0$ and sufficiently large $q=q(\\varepsilon)$. This disproves a conjecture of Lubotzky, Meshulam and Mozes -- in a rather strong sense.\r\nBy improving on existing lower bounds we make further progress towards closing the gap between the known lower and upper bounds on the coboundary expansion constants of $[n]^{*(d+1)}$. The best improvements we achieve using computer-aided proofs and flag algebras. The exact value even for the complete $3$-partite $2$-dimensional complex $[n]^{*3}$ remains unknown but we are happy to conjecture a precise value for every $n$. %Moreover, we show that a previously shown lower bound on the expansion constant of the spherical building associated with $\\mathrm{PGL}_{2}(\\mathbb{F}_q)$ is not tight.\r\nIn a loosely structured, last chapter of this thesis we collect further smaller observations related to expansion. We point out a link between discrete Morse theory and a technique for showing coboundary expansion, elaborate a bit on the hardness of computing coboundary expansion constants, propose a new criterion for coboundary expansion (in a very dense setting) and give one way of making the folklore result that expansion of links is a necessary condition for a simplicial complex to be an expander precise."}],"date_updated":"2026-04-07T14:18:26Z","month":"08","date_published":"2022-08-11T00:00:00Z","publisher":"Institute of Science and Technology Austria","title":"High-dimensional expansion and crossing numbers of simplicial complexes","page":"170","supervisor":[{"orcid":"0000-0002-1494-0568","last_name":"Wagner","first_name":"Uli","full_name":"Wagner, Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"status":"public","language":[{"iso":"eng"}],"author":[{"id":"4C20D868-F248-11E8-B48F-1D18A9856A87","full_name":"Wild, Pascal","first_name":"Pascal","last_name":"Wild"}],"corr_author":"1","date_created":"2022-08-10T15:51:19Z","ddc":["500","516","514"],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","ec_funded":1,"has_accepted_license":"1"},{"has_accepted_license":"1","related_material":{"record":[{"id":"10564","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"8705"}]},"ec_funded":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","corr_author":"1","date_created":"2022-06-30T12:15:03Z","ddc":["515","539"],"language":[{"iso":"eng"}],"author":[{"full_name":"Mysliwy, Krzysztof","first_name":"Krzysztof","last_name":"Mysliwy","id":"316457FC-F248-11E8-B48F-1D18A9856A87"}],"supervisor":[{"first_name":"Robert","full_name":"Seiringer, Robert","last_name":"Seiringer","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"status":"public","page":"138","title":"Polarons in Bose gases and polar crystals: Some rigorous energy estimates","date_published":"2022-07-01T00:00:00Z","publisher":"Institute of Science and Technology Austria","alternative_title":["ISTA Thesis"],"abstract":[{"lang":"eng","text":"The polaron model is a basic model of quantum field theory describing a single particle\r\ninteracting with a bosonic field. It arises in many physical contexts. We are mostly concerned\r\nwith models applicable in the context of an impurity atom in a Bose-Einstein condensate as\r\nwell as the problem of electrons moving in polar crystals.\r\nThe model has a simple structure in which the interaction of the particle with the field is given\r\nby a term linear in the field’s creation and annihilation operators. In this work, we investigate\r\nthe properties of this model by providing rigorous estimates on various energies relevant to the\r\nproblem. The estimates are obtained, for the most part, by suitable operator techniques which\r\nconstitute the principal mathematical substance of the thesis.\r\nThe first application of these techniques is to derive the polaron model rigorously from first\r\nprinciples, i.e., from a full microscopic quantum-mechanical many-body problem involving an\r\nimpurity in an otherwise homogeneous system. We accomplish this for the N + 1 Bose gas\r\nin the mean-field regime by showing that a suitable polaron-type Hamiltonian arises at weak\r\ninteractions as a low-energy effective theory for this problem.\r\nIn the second part, we investigate rigorously the ground state of the model at fixed momentum\r\nand for large values of the coupling constant. Qualitatively, the system is expected to display\r\na transition from the quasi-particle behavior at small momenta, where the dispersion relation\r\nis parabolic and the particle moves through the medium dragging along a cloud of phonons, to\r\nthe radiative behavior at larger momenta where the polaron decelerates and emits free phonons.\r\nAt the same time, in the strong coupling regime, the bosonic field is expected to behave purely\r\nclassically. Accordingly, the effective mass of the polaron at strong coupling is conjectured to\r\nbe asymptotically equal to the one obtained from the semiclassical counterpart of the problem,\r\nfirst studied by Landau and Pekar in the 1940s. For polaron models with regularized form\r\nfactors and phonon dispersion relations of superfluid type, i.e., bounded below by a linear\r\nfunction of the wavenumbers for all phonon momenta as in the interacting Bose gas, we prove\r\nthat for a large window of momenta below the radiation threshold, the energy-momentum\r\nrelation at strong coupling is indeed essentially a parabola with semi-latus rectum equal to the\r\nLandau–Pekar effective mass, as expected.\r\nFor the Fröhlich polaron describing electrons in polar crystals where the dispersion relation is\r\nof the optical type and the form factor is formally UV–singular due to the nature of the point\r\ncharge-dipole interaction, we are able to give the corresponding upper bound. In contrast to\r\nthe regular case, this requires the inclusion of the quantum fluctuations of the phonon field,\r\nwhich makes the problem considerably more difficult.\r\nThe results are supplemented by studies on the absolute ground-state energy at strong coupling,\r\na proof of the divergence of the effective mass with the coupling constant for a wide class of\r\npolaron models, as well as the discussion of the apparent UV singularity of the Fröhlich model\r\nand the application of the techniques used for its removal for the energy estimates.\r\n"}],"year":"2022","date_updated":"2026-04-07T14:14:52Z","month":"07","file":[{"file_id":"11486","relation":"main_file","date_created":"2022-07-05T08:12:56Z","creator":"kmysliwy","access_level":"open_access","checksum":"7970714a20a6052f75fb27a6c3e9976e","file_name":"thes1_no_isbn_2_1b.pdf","content_type":"application/pdf","success":1,"date_updated":"2022-07-05T08:12:56Z","file_size":1830973},{"file_size":5831060,"date_updated":"2022-07-05T08:17:12Z","content_type":"application/zip","file_name":"thes_source.zip","checksum":"647a2011fdf56277096c9350fefe1097","access_level":"closed","creator":"kmysliwy","date_created":"2022-07-05T08:15:52Z","relation":"source_file","file_id":"11487"}],"oa_version":"Published Version","publication_status":"published","OA_place":"publisher","article_processing_charge":"No","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385"}],"oa":1,"department":[{"_id":"GradSch"},{"_id":"RoSe"}],"type":"dissertation","citation":{"ieee":"K. Mysliwy, “Polarons in Bose gases and polar crystals: Some rigorous energy estimates,” Institute of Science and Technology Austria, 2022.","chicago":"Mysliwy, Krzysztof. “Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11473.","ama":"Mysliwy K. Polarons in Bose gases and polar crystals: Some rigorous energy estimates. 2022. doi:10.15479/at:ista:11473","mla":"Mysliwy, Krzysztof. Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11473.","short":"K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.","apa":"Mysliwy, K. (2022). Polarons in Bose gases and polar crystals: Some rigorous energy estimates. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11473","ista":"Mysliwy K. 2022. Polarons in Bose gases and polar crystals: Some rigorous energy estimates. Institute of Science and Technology Austria."},"doi":"10.15479/at:ista:11473","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","_id":"11473","day":"01","file_date_updated":"2022-07-05T08:17:12Z","acknowledged_ssus":[{"_id":"SSU"}]},{"article_type":"original","corr_author":"1","ddc":["570"],"date_created":"2022-08-28T22:01:59Z","article_number":"4728","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","pmid":1,"related_material":{"link":[{"url":"https://ista.ac.at/en/news/dreaddful-mimicry/","description":"News on ISTA website","relation":"press_release"}],"record":[{"status":"public","relation":"research_data","id":"11542"},{"id":"11945","relation":"part_of_dissertation","status":"public"}]},"volume":13,"has_accepted_license":"1","title":"Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses","quality_controlled":"1","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"intvolume":" 13","status":"public","external_id":{"isi":["000840984400032"],"pmid":["35970889"]},"author":[{"full_name":"Schulz, Rouven","first_name":"Rouven","orcid":"0000-0001-5297-733X","last_name":"Schulz","id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87"},{"id":"4B51CE74-F248-11E8-B48F-1D18A9856A87","last_name":"Korkut","orcid":"0000-0003-4309-2251","full_name":"Korkut, Medina","first_name":"Medina"},{"first_name":"Alessandro","full_name":"Venturino, Alessandro","last_name":"Venturino","orcid":"0000-0003-2356-9403","id":"41CB84B2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Gloria","full_name":"Colombo, Gloria","last_name":"Colombo","orcid":"0000-0001-9434-8902","id":"3483CF6C-F248-11E8-B48F-1D18A9856A87"},{"id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","full_name":"Siegert, Sandra","first_name":"Sandra","last_name":"Siegert","orcid":"0000-0001-8635-0877"}],"language":[{"iso":"eng"}],"publication_status":"published","project":[{"name":"Modulating microglia through G protein-coupled receptor (GPCR) signaling","_id":"267F75D8-B435-11E9-9278-68D0E5697425"}],"article_processing_charge":"No","oa_version":"Published Version","file":[{"checksum":"191d9db0266e14a28d3a56dc7f65da84","file_name":"2022_NatComm_Schulz.pdf","content_type":"application/pdf","success":1,"date_updated":"2022-08-29T06:44:30Z","file_size":7317396,"file_id":"12002","relation":"main_file","date_created":"2022-08-29T06:44:30Z","creator":"cchlebak","access_level":"open_access"}],"scopus_import":"1","year":"2022","abstract":[{"lang":"eng","text":"G protein-coupled receptors (GPCRs) regulate processes ranging from immune responses to neuronal signaling. However, ligands for many GPCRs remain unknown, suffer from off-target effects or have poor bioavailability. Additionally, dissecting cell type-specific responses is challenging when the same GPCR is expressed on different cells within a tissue. Here, we overcome these limitations by engineering DREADD-based GPCR chimeras that bind clozapine-N-oxide and mimic a GPCR-of-interest. We show that chimeric DREADD-β2AR triggers responses comparable to β2AR on second messenger and kinase activity, post-translational modifications, and protein-protein interactions. Moreover, we successfully recapitulate β2AR-mediated filopodia formation in microglia, an immune cell capable of driving central nervous system inflammation. When dissecting microglial inflammation, we included two additional DREADD-based chimeras mimicking microglia-enriched GPR65 and GPR109A. DREADD-β2AR and DREADD-GPR65 modulate the inflammatory response with high similarity to endogenous β2AR, while DREADD-GPR109A shows no impact. Our DREADD-based approach allows investigation of cell type-dependent pathways without known endogenous ligands."}],"isi":1,"month":"08","date_updated":"2026-04-07T14:17:58Z","publisher":"Springer Nature","date_published":"2022-08-15T00:00:00Z","acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"LifeSc"}],"file_date_updated":"2022-08-29T06:44:30Z","publication":"Nature Communications","day":"15","_id":"11995","publication_identifier":{"eissn":["2041-1723"]},"acknowledgement":"The authors thank the Scientific Service Units at ISTA, in particular the Molecular Biology Service of the Lab Support Facility, Imaging & Optics Facility, and the Preclinical Facility, and the Novarino group, Harald Janoviak, and Marco Benevento for sharing reagents and expertise. This research was supported by a DOC Fellowship (24979) awarded to R.S. by the Austrian Academy of Sciences.","doi":"10.1038/s41467-022-32390-1","oa":1,"citation":{"ista":"Schulz R, Korkut M, Venturino A, Colombo G, Siegert S. 2022. Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. 13, 4728.","apa":"Schulz, R., Korkut, M., Venturino, A., Colombo, G., & Siegert, S. (2022). Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-32390-1","mla":"Schulz, Rouven, et al. “Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses.” Nature Communications, vol. 13, 4728, Springer Nature, 2022, doi:10.1038/s41467-022-32390-1.","ama":"Schulz R, Korkut M, Venturino A, Colombo G, Siegert S. Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses. Nature Communications. 2022;13. doi:10.1038/s41467-022-32390-1","short":"R. Schulz, M. Korkut, A. Venturino, G. Colombo, S. Siegert, Nature Communications 13 (2022).","chicago":"Schulz, Rouven, Medina Korkut, Alessandro Venturino, Gloria Colombo, and Sandra Siegert. “Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses.” Nature Communications. Springer Nature, 2022. https://doi.org/10.1038/s41467-022-32390-1.","ieee":"R. Schulz, M. Korkut, A. Venturino, G. Colombo, and S. Siegert, “Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses,” Nature Communications, vol. 13. Springer Nature, 2022."},"type":"journal_article","department":[{"_id":"SaSi"}]},{"external_id":{"isi":["000726275600001"],"arxiv":["2106.09328"]},"author":[{"id":"316457FC-F248-11E8-B48F-1D18A9856A87","full_name":"Mysliwy, Krzysztof","first_name":"Krzysztof","last_name":"Mysliwy"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","first_name":"Robert","full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","last_name":"Seiringer"}],"language":[{"iso":"eng"}],"intvolume":" 186","status":"public","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Polaron models with regular interactions at strong coupling","quality_controlled":"1","has_accepted_license":"1","related_material":{"record":[{"id":"11473","relation":"dissertation_contains","status":"public"}]},"volume":186,"ec_funded":1,"article_number":"5","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_type":"original","corr_author":"1","ddc":["530"],"date_created":"2021-12-19T23:01:32Z","oa":1,"citation":{"chicago":"Mysliwy, Krzysztof, and Robert Seiringer. “Polaron Models with Regular Interactions at Strong Coupling.” Journal of Statistical Physics. Springer Nature, 2022. https://doi.org/10.1007/s10955-021-02851-w.","ieee":"K. Mysliwy and R. Seiringer, “Polaron models with regular interactions at strong coupling,” Journal of Statistical Physics, vol. 186, no. 1. Springer Nature, 2022.","apa":"Mysliwy, K., & Seiringer, R. (2022). Polaron models with regular interactions at strong coupling. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-021-02851-w","ista":"Mysliwy K, Seiringer R. 2022. Polaron models with regular interactions at strong coupling. Journal of Statistical Physics. 186(1), 5.","ama":"Mysliwy K, Seiringer R. Polaron models with regular interactions at strong coupling. Journal of Statistical Physics. 2022;186(1). doi:10.1007/s10955-021-02851-w","mla":"Mysliwy, Krzysztof, and Robert Seiringer. “Polaron Models with Regular Interactions at Strong Coupling.” Journal of Statistical Physics, vol. 186, no. 1, 5, Springer Nature, 2022, doi:10.1007/s10955-021-02851-w.","short":"K. Mysliwy, R. Seiringer, Journal of Statistical Physics 186 (2022)."},"department":[{"_id":"RoSe"}],"type":"journal_article","publication_identifier":{"eissn":["1572-9613"],"issn":["0022-4715"]},"acknowledgement":"Financial support through the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme Grant Agreement No. 694227 (R.S.) and the Maria Skłodowska-Curie Grant Agreement No. 665386 (K.M.) is gratefully acknowledged. Open access funding provided by Institute of Science and Technology (IST Austria).","doi":"10.1007/s10955-021-02851-w","day":"01","_id":"10564","issue":"1","file_date_updated":"2022-02-02T14:24:41Z","publication":"Journal of Statistical Physics","publisher":"Springer Nature","date_published":"2022-01-01T00:00:00Z","scopus_import":"1","abstract":[{"lang":"eng","text":"We study a class of polaron-type Hamiltonians with sufficiently regular form factor in the interaction term. We investigate the strong-coupling limit of the model, and prove suitable bounds on the ground state energy as a function of the total momentum of the system. These bounds agree with the semiclassical approximation to leading order. The latter corresponds here to the situation when the particle undergoes harmonic motion in a potential well whose frequency is determined by the corresponding Pekar functional. We show that for all such models the effective mass diverges in the strong coupling limit, in all spatial dimensions. Moreover, for the case when the phonon dispersion relation grows at least linearly with momentum, the bounds result in an asymptotic formula for the effective mass quotient, a quantity generalizing the usual notion of the effective mass. This asymptotic form agrees with the semiclassical Landau–Pekar formula and can be regarded as the first rigorous confirmation, in a slightly weaker sense than usually considered, of the validity of the semiclassical formula for the effective mass."}],"year":"2022","month":"01","isi":1,"date_updated":"2026-04-07T14:14:51Z","arxiv":1,"oa_version":"Published Version","file":[{"success":1,"date_updated":"2022-02-02T14:24:41Z","file_size":434957,"file_name":"2022_JournalStatPhys_Myśliwy.pdf","checksum":"da03f6d293c4b9802091bce9471b1d29","content_type":"application/pdf","date_created":"2022-02-02T14:24:41Z","relation":"main_file","access_level":"open_access","creator":"cchlebak","file_id":"10716"}],"publication_status":"published","project":[{"name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","grant_number":"694227","call_identifier":"H2020"},{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"article_processing_charge":"Yes (via OA deal)"},{"language":[{"iso":"eng"}],"author":[{"id":"4C5E7B96-F248-11E8-B48F-1D18A9856A87","full_name":"Schulz, Rouven","first_name":"Rouven","orcid":"0000-0001-5297-733X","last_name":"Schulz"}],"status":"public","supervisor":[{"id":"36ACD32E-F248-11E8-B48F-1D18A9856A87","first_name":"Sandra","full_name":"Siegert, Sandra","orcid":"0000-0001-8635-0877","last_name":"Siegert"}],"page":"133","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function","has_accepted_license":"1","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"11995"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_created":"2022-08-23T11:33:11Z","ddc":["570"],"corr_author":"1","citation":{"mla":"Schulz, Rouven. Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11945.","ama":"Schulz R. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. 2022. doi:10.15479/at:ista:11945","short":"R. Schulz, Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function, Institute of Science and Technology Austria, 2022.","ista":"Schulz R. 2022. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria.","apa":"Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11945","ieee":"R. Schulz, “Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function,” Institute of Science and Technology Austria, 2022.","chicago":"Schulz, Rouven. “Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11945."},"type":"dissertation","department":[{"_id":"GradSch"},{"_id":"SaSi"}],"oa":1,"doi":"10.15479/at:ista:11945","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","day":"23","_id":"11945","acknowledged_ssus":[{"_id":"Bio"},{"_id":"PreCl"},{"_id":"LifeSc"}],"file_date_updated":"2022-08-25T09:33:31Z","date_published":"2022-08-23T00:00:00Z","publisher":"Institute of Science and Technology Austria","date_updated":"2026-04-07T14:17:59Z","month":"08","alternative_title":["ISTA Thesis"],"abstract":[{"text":"G protein-coupled receptors (GPCRs) respond to specific ligands and regulate multiple processes ranging from cell growth and immune responses to neuronal signal transmission. However, ligands for many GPCRs remain unknown, suffer from off-target effects or have poor bioavailability. Additional challenges exist to dissect cell-type specific responses when the same GPCR is expressed on several cell types within the body. Here, we overcome these limitations by engineering DREADD-based GPCR chimeras that selectively bind their agonist clozapine-N-oxide (CNO) and mimic a GPCR-of-interest in a desired cell type.\r\nWe validated our approach with β2-adrenergic receptor (β2AR/ADRB2) and show that our chimeric DREADD-β2AR triggers comparable responses on second messenger and kinase activity, post-translational modifications, and protein-protein interactions. Since β2AR is also enriched in microglia, which can drive inflammation in the central nervous system, we expressed chimeric DREADD-β2AR in primary microglia and successfully recapitulate β2AR-mediated filopodia formation through CNO stimulation. To dissect the role of selected GPCRs during microglial inflammation, we additionally generated DREADD-based chimeras for microglia-enriched GPR65 and GPR109A/HCAR2. In a microglia cell line, DREADD-β2AR and DREADD-GPR65 both modulated the inflammatory response with a similar profile as endogenously expressed β2AR, while DREADD-GPR109A showed no impact.\r\nOur DREADD-based approach provides the means to obtain mechanistic and functional insights into GPCR signaling on a cell-type specific level.","lang":"eng"}],"year":"2022","oa_version":"Published Version","file":[{"access_level":"open_access","creator":"rschulz","date_created":"2022-08-25T08:59:57Z","relation":"main_file","file_id":"11970","file_size":28079331,"date_updated":"2022-08-25T08:59:57Z","success":1,"content_type":"application/pdf","file_name":"Thesis_Rouven_Schulz_2022_final.pdf","checksum":"61b1b666a210ff7cdd0e95ea75207a13"},{"file_name":"Thesis_Rouven_Schulz_2022_final.docx","checksum":"2b8f95ea1c134dbdb927b41b1dbeeeb5","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2022-08-25T09:33:31Z","file_size":27226963,"file_id":"11971","date_created":"2022-08-25T09:00:11Z","relation":"source_file","access_level":"closed","creator":"rschulz"}],"article_processing_charge":"No","project":[{"name":"Modulating microglia through G protein-coupled receptor (GPCR) signaling","_id":"267F75D8-B435-11E9-9278-68D0E5697425"}],"publication_status":"published","OA_place":"publisher"},{"date_created":"2022-07-20T11:21:53Z","ddc":["575"],"corr_author":"1","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","ec_funded":1,"related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"8138"},{"status":"public","relation":"part_of_dissertation","id":"7142"},{"id":"6260","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"10411"},{"id":"8931","status":"public","relation":"part_of_dissertation"},{"id":"7465","relation":"part_of_dissertation","status":"public"},{"id":"9287","status":"public","relation":"part_of_dissertation"}]},"has_accepted_license":"1","title":"Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana","page":"248","status":"public","supervisor":[{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","last_name":"Friml","full_name":"Friml, Jiří","first_name":"Jiří"},{"full_name":"Benková, Eva","first_name":"Eva","last_name":"Benková","orcid":"0000-0002-8510-9739","id":"38F4F166-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Shani","first_name":"Eilon","full_name":"Shani, Eilon"}],"language":[{"iso":"eng"}],"author":[{"id":"35A03822-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1286-7368","last_name":"Gallei","full_name":"Gallei, Michelle C","first_name":"Michelle C"}],"project":[{"name":"Tracing Evolution of Auxin Transport and Polarity in Plants","_id":"261099A6-B435-11E9-9278-68D0E5697425","grant_number":"742985","call_identifier":"H2020"}],"article_processing_charge":"No","publication_status":"published","OA_place":"publisher","oa_version":"Published Version","file":[{"relation":"main_file","date_created":"2022-07-25T09:08:47Z","creator":"mgallei","access_level":"open_access","file_id":"11645","date_updated":"2022-07-25T09:08:47Z","file_size":9730864,"checksum":"bd7ac35403cf5b4b2607287d2a104b3a","file_name":"Thesis_Gallei.pdf","content_type":"application/pdf"},{"file_name":"Thesis_Gallei_source.docx","checksum":"a9e54fe5471ba25dc13c2150c1b8ccbb","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2022-07-25T09:39:58Z","file_size":19560720,"file_id":"11646","date_created":"2022-07-25T09:09:09Z","relation":"source_file","access_level":"closed","creator":"mgallei"},{"access_level":"closed","creator":"mgallei","date_created":"2022-07-25T09:09:32Z","description":"This is the print version of the thesis including the full appendix","relation":"source_file","file_id":"11647","file_size":24542837,"date_updated":"2022-07-25T09:39:58Z","content_type":"application/pdf","file_name":"Thesis_Gallei_to_print.pdf","checksum":"3994f7f20058941b5bb8a16886b21e71"},{"date_updated":"2022-07-25T11:48:45Z","file_size":15435966,"checksum":"f24acd3c0d864f4c6676e8b0d7bfa76b","file_name":"Thesis_Gallei_Appendix.pdf","content_type":"application/pdf","relation":"main_file","date_created":"2022-07-25T11:48:45Z","creator":"mgallei","access_level":"open_access","file_id":"11650"}],"date_updated":"2026-04-07T14:18:58Z","month":"07","alternative_title":["ISTA Thesis"],"year":"2022","abstract":[{"text":"Plant growth and development is well known to be both, flexible and dynamic. The high capacity for post-embryonic organ formation and tissue regeneration requires tightly regulated intercellular communication and coordinated tissue polarization. One of the most important drivers for patterning and polarity in plant development is the phytohormone auxin. Auxin has the unique characteristic to establish polarized channels for its own active directional cell to cell transport. This fascinating phenomenon is called auxin canalization. Those auxin transport channels are characterized by the expression and polar, subcellular localization of PIN auxin efflux carriers. PIN proteins have the ability to dynamically change their localization and auxin itself can affect this by interfering with trafficking. Most of the underlying molecular mechanisms of canalization still remain enigmatic. What is known so far is that canonical auxin signaling is indispensable but also other non-canonical signaling components are thought to play a role. In order to shed light into the mysteries auf auxin canalization this study revisits the branches of auxin signaling in detail. Further a new auxin analogue, PISA, is developed which triggers auxin-like responses but does not directly activate canonical transcriptional auxin signaling. We revisit the direct auxin effect on PIN trafficking where we found that, contradictory to previous observations, auxin is very specifically promoting endocytosis of PIN2 but has no overall effect on endocytosis. Further, we evaluate which cellular processes related to PIN subcellular dynamics are involved in the establishment of auxin conducting channels and the formation of vascular tissue. We are re-evaluating the function of AUXIN BINDING PROTEIN 1 (ABP1) and provide a comprehensive picture about its developmental phneotypes and involvement in auxin signaling and canalization. Lastly, we are focusing on the crosstalk between the hormone strigolactone (SL) and auxin and found that SL is interfering with essentially all processes involved in auxin canalization in a non-transcriptional manner. Lastly we identify a new way of SL perception and signaling which is emanating from mitochondria, is independent of canonical SL signaling and is modulating primary root growth.","lang":"eng"}],"date_published":"2022-07-20T00:00:00Z","publisher":"Institute of Science and Technology Austria","file_date_updated":"2022-07-25T11:48:45Z","_id":"11626","day":"20","doi":"10.15479/at:ista:11626","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-019-0"]},"degree_awarded":"PhD","type":"dissertation","department":[{"_id":"GradSch"},{"_id":"JiFr"}],"citation":{"chicago":"Gallei, Michelle C. “Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11626.","ieee":"M. C. Gallei, “Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2022.","apa":"Gallei, M. C. (2022). Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11626","ista":"Gallei MC. 2022. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. Institute of Science and Technology Austria.","ama":"Gallei MC. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. 2022. doi:10.15479/at:ista:11626","mla":"Gallei, Michelle C. Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11626.","short":"M.C. Gallei, Auxin and Strigolactone Non-Canonical Signaling Regulating Development in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2022."},"oa":1},{"oa":1,"citation":{"chicago":"Li, Lanxin, Michelle C Gallei, and Jiří Friml. “Bending to Auxin: Fast Acid Growth for Tropisms.” Trends in Plant Science. Cell Press, 2022. https://doi.org/10.1016/j.tplants.2021.11.006.","ieee":"L. Li, M. C. Gallei, and J. Friml, “Bending to auxin: Fast acid growth for tropisms,” Trends in Plant Science, vol. 27, no. 5. Cell Press, pp. 440–449, 2022.","apa":"Li, L., Gallei, M. C., & Friml, J. (2022). Bending to auxin: Fast acid growth for tropisms. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2021.11.006","ista":"Li L, Gallei MC, Friml J. 2022. Bending to auxin: Fast acid growth for tropisms. Trends in Plant Science. 27(5), 440–449.","short":"L. Li, M.C. Gallei, J. Friml, Trends in Plant Science 27 (2022) 440–449.","mla":"Li, Lanxin, et al. “Bending to Auxin: Fast Acid Growth for Tropisms.” Trends in Plant Science, vol. 27, no. 5, Cell Press, 2022, pp. 440–49, doi:10.1016/j.tplants.2021.11.006.","ama":"Li L, Gallei MC, Friml J. Bending to auxin: Fast acid growth for tropisms. Trends in Plant Science. 2022;27(5):440-449. doi:10.1016/j.tplants.2021.11.006"},"type":"journal_article","department":[{"_id":"JiFr"}],"doi":"10.1016/j.tplants.2021.11.006","acknowledgement":"The authors thank Alexandra Mally for editing the text. This work was supported by the Austrian Science Fund (FWF) I 3630-B25 to Jiří Friml and the DOC Fellowship of the Austrian Academy of Sciences to Lanxin Li. All figures were created with BioRender.com.","publication_identifier":{"issn":["1360-1385"]},"day":"01","_id":"10411","file_date_updated":"2023-11-02T17:00:03Z","issue":"5","publication":"Trends in Plant Science","date_published":"2022-05-01T00:00:00Z","publisher":"Cell Press","scopus_import":"1","abstract":[{"text":"The phytohormone auxin is the major growth regulator governing tropic responses including gravitropism. Auxin build-up at the lower side of stimulated shoots promotes cell expansion, whereas in roots it inhibits growth, leading to upward shoot bending and downward root bending, respectively. Yet it remains an enigma how the same signal can trigger such opposite cellular responses. In this review, we discuss several recent unexpected insights into the mechanisms underlying auxin regulation of growth, challenging several existing models. We focus on the divergent mechanisms of apoplastic pH regulation in shoots and roots revisiting the classical Acid Growth Theory and discuss coordinated involvement of multiple auxin signaling pathways. From this emerges a more comprehensive, updated picture how auxin regulates growth.","lang":"eng"}],"year":"2022","date_updated":"2026-04-07T14:18:57Z","isi":1,"month":"05","oa_version":"Submitted Version","file":[{"file_id":"14480","creator":"amally","access_level":"open_access","relation":"main_file","date_created":"2023-11-02T17:00:03Z","content_type":"application/pdf","checksum":"3d94980ee1ff6bec100dd813f6a921a6","file_name":"Li Plants 2021_accepted.pdf","file_size":805779,"success":1,"date_updated":"2023-11-02T17:00:03Z"}],"publication_status":"published","project":[{"call_identifier":"FWF","grant_number":"I03630","name":"Molecular mechanisms of endocytic cargo recognition in plants","_id":"26538374-B435-11E9-9278-68D0E5697425"},{"_id":"26B4D67E-B435-11E9-9278-68D0E5697425","name":"A Case Study of Plant Growth Regulation: Molecular Mechanism of Auxin-mediated Rapid Growth Inhibition in Arabidopsis Root","grant_number":"25351"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"external_id":{"isi":["000793707900005"],"pmid":["34848141"]},"author":[{"id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","full_name":"Li, Lanxin","first_name":"Lanxin","last_name":"Li","orcid":"0000-0002-5607-272X"},{"id":"35A03822-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1286-7368","last_name":"Gallei","full_name":"Gallei, Michelle C","first_name":"Michelle C"},{"full_name":"Friml, Jiří","first_name":"Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"intvolume":" 27","status":"public","page":"440-449","quality_controlled":"1","title":"Bending to auxin: Fast acid growth for tropisms","has_accepted_license":"1","volume":27,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"11626"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"corr_author":"1","article_type":"original","date_created":"2021-12-05T23:01:43Z","ddc":["580"]}]