[{"_id":"12467","external_id":{"arxiv":["2301.11175"],"isi":["001288609300017"]},"language":[{"iso":"eng"}],"oa":1,"intvolume":"     13992","has_accepted_license":"1","ddc":["000"],"doi":"10.1007/978-3-031-30829-1_17","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"abstract":[{"lang":"eng","text":"Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In quantitative specification and verification, properties assign not truth values, but quantitative values to infinite traces (e.g., a cost, or the distance to a boolean property). We introduce quantitative safety and liveness, and we prove that our definitions induce conservative quantitative generalizations of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness decomposition of boolean properties. In particular, we show that every quantitative property can be written as the pointwise minimum of a quantitative safety property and a quantitative liveness property. Consequently, like boolean properties, also quantitative properties can be min-decomposed into safety and liveness parts, or alternatively, max-decomposed into co-safety and co-liveness parts. Moreover, quantitative properties can be approximated naturally. We prove that every quantitative property that has both safe and co-safe approximations can be monitored arbitrarily precisely by a monitor that uses only a finite number of states."}],"article_processing_charge":"No","page":"349-370","author":[{"full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724"},{"full_name":"Mazzocchi, Nicolas Adrien","last_name":"Mazzocchi","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85"},{"full_name":"Sarac, Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","first_name":"Naci E","last_name":"Sarac"}],"volume":13992,"publisher":"Springer Nature","month":"04","year":"2023","alternative_title":["LNCS"],"fulldoi":"https://doi.org/10.1007/978-3-031-30829-1_17","file":[{"access_level":"open_access","date_updated":"2023-01-31T07:22:21Z","file_size":449027,"checksum":"981025aed580b6b27c426cb8856cf63e","date_created":"2023-01-31T07:22:21Z","content_type":"application/pdf","creator":"esarac","file_id":"12468","success":1,"file_name":"qsl.pdf","relation":"main_file"},{"date_created":"2023-06-19T10:28:09Z","content_type":"application/pdf","creator":"dernst","file_id":"13153","success":1,"file_name":"2023_LNCS_HenzingerT.pdf","relation":"main_file","access_level":"open_access","date_updated":"2023-06-19T10:28:09Z","file_size":1048171,"checksum":"f16e2af1e0eb243158ab0f0fe74e7d5a"}],"file_date_updated":"2023-06-19T10:28:09Z","date_updated":"2025-09-09T12:21:08Z","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031308284"],"issn":["0302-9743"]},"status":"public","publication":"26th International Conference Foundations of Software Science and Computation Structures","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","oa_version":"Published Version","title":"Quantitative safety and liveness","ec_funded":1,"date_published":"2023-04-21T00:00:00Z","quality_controlled":"1","conference":{"end_date":"2023-04-27","location":"Paris, France","start_date":"2023-04-22","name":"FOSSACS: Foundations of Software Science and Computation Structures"},"tmp":{"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","short":"CC BY (4.0)"},"type":"conference","corr_author":"1","isi":1,"arxiv":1,"scopus_import":"1","day":"21","date_created":"2023-01-31T07:23:56Z","project":[{"grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"}],"citation":{"mla":"Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” <i>26th International Conference Foundations of Software Science and Computation Structures</i>, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:<a href=\"https://doi.org/10.1007/978-3-031-30829-1_17\">10.1007/978-3-031-30829-1_17</a>.","chicago":"Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” In <i>26th International Conference Foundations of Software Science and Computation Structures</i>, 13992:349–70. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-30829-1_17\">https://doi.org/10.1007/978-3-031-30829-1_17</a>.","ama":"Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: <i>26th International Conference Foundations of Software Science and Computation Structures</i>. Vol 13992. Springer Nature; 2023:349-370. doi:<a href=\"https://doi.org/10.1007/978-3-031-30829-1_17\">10.1007/978-3-031-30829-1_17</a>","ista":"Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.","ieee":"T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Quantitative safety and liveness,” in <i>26th International Conference Foundations of Software Science and Computation Structures</i>, Paris, France, 2023, vol. 13992, pp. 349–370.","apa":"Henzinger, T. A., Mazzocchi, N. A., &#38; Sarac, N. E. (2023). Quantitative safety and liveness. In <i>26th International Conference Foundations of Software Science and Computation Structures</i> (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-30829-1_17\">https://doi.org/10.1007/978-3-031-30829-1_17</a>","short":"T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 26th International Conference Foundations of Software Science and Computation Structures, Springer Nature, 2023, pp. 349–370."},"acknowledgement":"We thank the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093."},{"keyword":["aromatic side chains","isotopic labeling","protein dynamics","ring flips","spin relaxation"],"fulldoi":"https://doi.org/10.15479/AT:ISTA:12497","month":"03","publisher":"Institute of Science and Technology Austria","year":"2023","date_updated":"2024-10-21T06:01:38Z","file_date_updated":"2023-03-24T09:42:03Z","file":[{"access_level":"open_access","date_updated":"2023-03-24T09:34:20Z","checksum":"fd9a28620a81a82991fb70f4fd6591d9","file_size":87018103,"date_created":"2023-03-23T10:03:16Z","content_type":"application/zip","file_id":"12743","creator":"lbecker","file_name":"Research_Data.zip","relation":"main_file"},{"relation":"main_file","file_name":"README.txt","file_id":"12755","creator":"dernst","content_type":"text/plain","date_created":"2023-03-24T07:13:55Z","checksum":"30ebdfb600af118fcf8518b6efe0b7e9","file_size":747,"date_updated":"2023-03-24T09:42:03Z","access_level":"open_access"}],"has_accepted_license":"1","oa":1,"ddc":["572"],"_id":"12497","author":[{"last_name":"Becker","first_name":"Lea Marie","id":"36336939-eb97-11eb-a6c2-c83f1214ca79","orcid":"0000-0002-6401-5151","full_name":"Becker, Lea Marie"},{"full_name":"Schanda, Paul","last_name":"Schanda","id":"7B541462-FAF6-11E9-A490-E8DFE5697425","orcid":"0000-0002-9350-7606","first_name":"Paul"}],"abstract":[{"lang":"eng","text":"Aromatic side chains are important reporters of the plasticity of proteins, and often form important contacts in protein–protein interactions. We studied aromatic residues in the two structurally homologous cross-β amyloid fibrils HET-s, and  HELLF by employing a specific isotope-labeling approach and magic-angle-spinning NMR. The dynamic behavior of the aromatic residues Phe and Tyr indicates that the hydrophobic amyloid core is rigid, without any sign of \"breathing motions\" over hundreds of milliseconds at least. Aromatic residues exposed at the fibril surface have a rigid ring axis but undergo ring flips on a variety of time scales from nanoseconds to microseconds. Our approach provides direct insight into hydrophobic-core motions, enabling a better evaluation of the conformational heterogeneity generated from an NMR structural ensemble of such amyloid cross-β architecture."}],"department":[{"_id":"GradSch"},{"_id":"PaSc"}],"article_processing_charge":"No","doi":"10.15479/AT:ISTA:12497","date_created":"2023-02-03T08:08:02Z","day":"23","corr_author":"1","tmp":{"short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)"},"type":"research_data","related_material":{"record":[{"status":"public","id":"12675","relation":"used_in_publication"}]},"license":"https://creativecommons.org/licenses/by-nc/4.0/","citation":{"chicago":"Becker, Lea Marie, and Paul Schanda. “Research Data to: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic-Angle-Spinning NMR Spectroscopy of Aromatic Residues.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/AT:ISTA:12497\">https://doi.org/10.15479/AT:ISTA:12497</a>.","mla":"Becker, Lea Marie, and Paul Schanda. <i>Research Data to: The Rigid Core and Flexible Surface of Amyloid Fibrils Probed by Magic-Angle-Spinning NMR Spectroscopy of Aromatic Residues</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:12497\">10.15479/AT:ISTA:12497</a>.","ama":"Becker LM, Schanda P. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. 2023. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:12497\">10.15479/AT:ISTA:12497</a>","ieee":"L. M. Becker and P. Schanda, “Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues.” Institute of Science and Technology Austria, 2023.","ista":"Becker LM, Schanda P. 2023. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:12497\">10.15479/AT:ISTA:12497</a>.","short":"L.M. Becker, P. Schanda, (2023).","apa":"Becker, L. M., &#38; Schanda, P. (2023). Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:12497\">https://doi.org/10.15479/AT:ISTA:12497</a>"},"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","contributor":[{"first_name":"Mélanie","last_name":"Berbon","contributor_type":"researcher"},{"contributor_type":"researcher","last_name":"Vallet","first_name":"Alicia"},{"contributor_type":"researcher","first_name":"Axelle","last_name":"Grelard"},{"contributor_type":"researcher","last_name":"Morvan","first_name":"Estelle"},{"first_name":"Benjamin","last_name":"Bardiaux","contributor_type":"researcher"},{"contributor_type":"researcher","last_name":"Lichtenecker","first_name":"Roman"},{"contributor_type":"researcher","last_name":"Ernst","first_name":"Matthias"},{"contributor_type":"researcher","last_name":"Loquet","first_name":"Antoine"},{"first_name":"Paul","orcid":"0000-0002-9350-7606","id":"7B541462-FAF6-11E9-A490-E8DFE5697425","last_name":"Schanda","contributor_type":"contact_person"},{"last_name":"Becker","first_name":"Lea Marie","orcid":"0000-0002-6401-5151","id":"36336939-eb97-11eb-a6c2-c83f1214ca79","contributor_type":"researcher"}],"date_published":"2023-03-23T00:00:00Z","title":"Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues","oa_version":"Published Version"},{"issue":"1","_id":"12545","language":[{"iso":"eng"}],"external_id":{"isi":["000963909800006"],"arxiv":["2301.01856"],"pmid":["36797971"]},"oa":1,"intvolume":"       107","doi":"10.1103/PhysRevE.107.014608","article_processing_charge":"No","abstract":[{"lang":"eng","text":"We study active surface wetting using a minimal model of bacteria that takes into account the intrinsic motility diversity of living matter. A mixture of “fast” and “slow” self-propelled Brownian particles is considered in the presence of a wall. The evolution of the wetting layer thickness shows an overshoot before stationarity and its composition evolves in two stages, equilibrating after a slow elimination of excess particles. Nonmonotonic evolutions are shown to arise from delayed avalanches towards the dilute phase combined with the emergence of a transient particle front."}],"department":[{"_id":"GradSch"}],"author":[{"full_name":"Rojas Vega, Mauricio Nicolas","first_name":"Mauricio Nicolas","id":"441e7207-f91f-11ec-b67c-9e6fe3d8fd6d","last_name":"Rojas Vega"},{"last_name":"De Castro","first_name":"Pablo","full_name":"De Castro, Pablo"},{"full_name":"Soto, Rodrigo","first_name":"Rodrigo","last_name":"Soto"}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2301.01856","open_access":"1"}],"month":"01","year":"2023","publisher":"American Physical Society","volume":107,"fulldoi":"https://doi.org/10.1103/PhysRevE.107.014608","pmid":1,"date_updated":"2025-03-06T14:01:47Z","publication_identifier":{"eissn":["2470-0053"],"issn":["2470-0045"]},"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Physical Review E","status":"public","title":"Wetting dynamics by mixtures of fast and slow self-propelled particles","oa_version":"Preprint","article_number":"014608","date_published":"2023-01-24T00:00:00Z","quality_controlled":"1","type":"journal_article","isi":1,"day":"24","date_created":"2023-02-12T23:00:59Z","scopus_import":"1","arxiv":1,"article_type":"original","citation":{"chicago":"Rojas Vega, Mauricio Nicolas, Pablo De Castro, and Rodrigo Soto. “Wetting Dynamics by Mixtures of Fast and Slow Self-Propelled Particles.” <i>Physical Review E</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevE.107.014608\">https://doi.org/10.1103/PhysRevE.107.014608</a>.","mla":"Rojas Vega, Mauricio Nicolas, et al. “Wetting Dynamics by Mixtures of Fast and Slow Self-Propelled Particles.” <i>Physical Review E</i>, vol. 107, no. 1, 014608, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevE.107.014608\">10.1103/PhysRevE.107.014608</a>.","ama":"Rojas Vega MN, De Castro P, Soto R. Wetting dynamics by mixtures of fast and slow self-propelled particles. <i>Physical Review E</i>. 2023;107(1). doi:<a href=\"https://doi.org/10.1103/PhysRevE.107.014608\">10.1103/PhysRevE.107.014608</a>","ieee":"M. N. Rojas Vega, P. De Castro, and R. Soto, “Wetting dynamics by mixtures of fast and slow self-propelled particles,” <i>Physical Review E</i>, vol. 107, no. 1. American Physical Society, 2023.","ista":"Rojas Vega MN, De Castro P, Soto R. 2023. Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. 107(1), 014608.","short":"M.N. Rojas Vega, P. De Castro, R. Soto, Physical Review E 107 (2023).","apa":"Rojas Vega, M. N., De Castro, P., &#38; Soto, R. (2023). Wetting dynamics by mixtures of fast and slow self-propelled particles. <i>Physical Review E</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevE.107.014608\">https://doi.org/10.1103/PhysRevE.107.014608</a>"},"acknowledgement":"MR-V and RS are supported by Fondecyt Grant No. 1220536 and ANID – Millennium Science Initiative Program – NCN19 170D, Chile. PdC is supported by grant #2021/10139-2, Sao Paulo Research Foundation (FAPESP), Brazil."},{"publication":"Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","publication_identifier":{"isbn":["9781611977554"]},"conference":{"end_date":"2023-01-25","location":"Florence, Italy","start_date":"2023-01-22","name":"SODA: Symposium on Discrete Algorithms"},"quality_controlled":"1","ec_funded":1,"oa_version":"Published Version","title":"Faster algorithm for turn-based stochastic games with bounded treewidth","date_published":"2023-02-01T00:00:00Z","corr_author":"1","date_created":"2023-02-24T12:20:47Z","day":"01","type":"conference","acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt) grant.","project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020"}],"citation":{"chicago":"Chatterjee, Krishnendu, Tobias Meggendorfer, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” In <i>Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 4590–4605. Society for Industrial and Applied Mathematics, 2023. <a href=\"https://doi.org/10.1137/1.9781611977554.ch173\">https://doi.org/10.1137/1.9781611977554.ch173</a>.","mla":"Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” <i>Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:<a href=\"https://doi.org/10.1137/1.9781611977554.ch173\">10.1137/1.9781611977554.ch173</a>.","ama":"Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. Faster algorithm for turn-based stochastic games with bounded treewidth. In: <i>Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms</i>. Society for Industrial and Applied Mathematics; 2023:4590-4605. doi:<a href=\"https://doi.org/10.1137/1.9781611977554.ch173\">10.1137/1.9781611977554.ch173</a>","ieee":"K. Chatterjee, T. Meggendorfer, R. J. Saona Urmeneta, and J. Svoboda, “Faster algorithm for turn-based stochastic games with bounded treewidth,” in <i>Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Florence, Italy, 2023, pp. 4590–4605.","ista":"Chatterjee K, Meggendorfer T, Saona Urmeneta RJ, Svoboda J. 2023. Faster algorithm for turn-based stochastic games with bounded treewidth. Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 4590–4605.","short":"K. Chatterjee, T. Meggendorfer, R.J. Saona Urmeneta, J. Svoboda, in:, Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–4605.","apa":"Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., &#38; Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In <i>Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms</i> (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/1.9781611977554.ch173\">https://doi.org/10.1137/1.9781611977554.ch173</a>"},"language":[{"iso":"eng"}],"ddc":["000"],"oa":1,"_id":"12676","author":[{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","orcid":"0000-0002-1712-2165","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","first_name":"Tobias"},{"full_name":"Saona Urmeneta, Raimundo J","orcid":"0000-0001-5103-038X","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","first_name":"Raimundo J","last_name":"Saona Urmeneta"},{"full_name":"Svoboda, Jakub","last_name":"Svoboda","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","first_name":"Jakub","orcid":"0000-0002-1419-3267"}],"page":"4590-4605","doi":"10.1137/1.9781611977554.ch173","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"KrCh"}],"abstract":[{"lang":"eng","text":"Turn-based stochastic games (aka simple stochastic games) are two-player zero-sum games played on directed graphs with probabilistic transitions. The goal of player-max is to maximize the probability to reach a target state against the adversarial player-min. These games lie in NP ∩ coNP and are among the rare combinatorial problems that belong to this complexity class for which the existence of polynomial-time algorithm is a major open question. While randomized sub-exponential time algorithm exists, all known deterministic algorithms require exponential time in the worst-case. An important open question has been whether faster algorithms can be obtained parametrized by the treewidth of the game graph. Even deterministic sub-exponential time algorithm for constant treewidth turn-based stochastic games has remain elusive. In this work our main result is a deterministic algorithm to solve turn-based stochastic games that, given a game with n states, treewidth at most t, and the bit-complexity of the probabilistic transition function log D, has running time O ((tn2 log D)t log n). In particular, our algorithm is quasi-polynomial time for games with constant or poly-logarithmic treewidth."}],"year":"2023","month":"02","publisher":"Society for Industrial and Applied Mathematics","fulldoi":"https://doi.org/10.1137/1.9781611977554.ch173","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1137/1.9781611977554.ch173"}],"date_updated":"2026-06-18T17:28:38Z"},{"date_updated":"2026-04-07T13:29:28Z","main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.2201.10892"}],"fulldoi":"https://doi.org/10.1016/j.disc.2023.113363","publisher":"Elsevier","year":"2023","month":"06","volume":346,"article_processing_charge":"No","department":[{"_id":"UlWa"},{"_id":"GradSch"}],"abstract":[{"lang":"eng","text":"The celebrated Erdős–Ko–Rado theorem about the maximal size of an intersecting family of r-element subsets of  was extended to the setting of exterior algebra in [5, Theorem 2.3] and in [6, Theorem 1.4]. However, the equality case has not been settled yet. In this short note, we show that the extension of the Erdős–Ko–Rado theorem and the characterization of the equality case therein, as well as those of the Hilton–Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms follow from a folklore puzzle about possible arrangements of an intersecting family of lines."}],"doi":"10.1016/j.disc.2023.113363","author":[{"full_name":"Ivanov, Grigory","orcid":"0000-0002-5021-3982","first_name":"Grigory","id":"87744F66-5C6F-11EA-AFE0-D16B3DDC885E","last_name":"Ivanov"},{"last_name":"Köse","orcid":"0009-0008-0457-9730","id":"8ba3170d-dc85-11ea-9058-c4251c96a6eb","first_name":"Seyda","full_name":"Köse, Seyda"}],"issue":"6","_id":"12680","intvolume":"       346","oa":1,"language":[{"iso":"eng"}],"external_id":{"isi":["001189844500001"],"arxiv":["2201.10892"]},"citation":{"mla":"Ivanov, Grigory, and Seyda Köse. “Erdős-Ko-Rado and Hilton-Milner Theorems for Two-Forms.” <i>Discrete Mathematics</i>, vol. 346, no. 6, 113363, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.disc.2023.113363\">10.1016/j.disc.2023.113363</a>.","chicago":"Ivanov, Grigory, and Seyda Köse. “Erdős-Ko-Rado and Hilton-Milner Theorems for Two-Forms.” <i>Discrete Mathematics</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.disc.2023.113363\">https://doi.org/10.1016/j.disc.2023.113363</a>.","ama":"Ivanov G, Köse S. Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. <i>Discrete Mathematics</i>. 2023;346(6). doi:<a href=\"https://doi.org/10.1016/j.disc.2023.113363\">10.1016/j.disc.2023.113363</a>","ista":"Ivanov G, Köse S. 2023. Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. Discrete Mathematics. 346(6), 113363.","ieee":"G. Ivanov and S. Köse, “Erdős-Ko-Rado and Hilton-Milner theorems for two-forms,” <i>Discrete Mathematics</i>, vol. 346, no. 6. Elsevier, 2023.","apa":"Ivanov, G., &#38; Köse, S. (2023). Erdős-Ko-Rado and Hilton-Milner theorems for two-forms. <i>Discrete Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.disc.2023.113363\">https://doi.org/10.1016/j.disc.2023.113363</a>","short":"G. Ivanov, S. Köse, Discrete Mathematics 346 (2023)."},"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"13331"}]},"type":"journal_article","scopus_import":"1","date_created":"2023-02-26T23:01:00Z","day":"01","arxiv":1,"article_type":"letter_note","isi":1,"corr_author":"1","date_published":"2023-06-01T00:00:00Z","oa_version":"Preprint","article_number":"113363","title":"Erdős-Ko-Rado and Hilton-Milner theorems for two-forms","quality_controlled":"1","publication_identifier":{"issn":["0012-365X"]},"publication":"Discrete Mathematics","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_status":"published","status":"public"},{"month":"03","publisher":"Institute of Science and Technology Austria","year":"2023","fulldoi":"https://doi.org/10.15479/at:ista:12716","alternative_title":["ISTA Thesis"],"file":[{"checksum":"6c6d9cc2c4cdacb74e6b1047a34d7332","file_size":23029260,"access_level":"closed","date_updated":"2023-03-08T15:08:46Z","relation":"source_file","file_name":"Burnett_Thesis_2023.docx","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_id":"12717","creator":"lburnett","date_created":"2023-03-08T15:08:46Z"},{"creator":"lburnett","file_id":"12718","content_type":"application/pdf","relation":"main_file","file_name":"Burnett_Thesis_2023_pdfA.pdf","success":1,"date_created":"2023-03-08T15:08:46Z","file_size":11959869,"checksum":"cebc77705288bf4382db9b3541483cd0","date_updated":"2023-03-08T15:08:46Z","access_level":"open_access"}],"file_date_updated":"2023-03-08T15:08:46Z","date_updated":"2026-04-07T13:25:15Z","_id":"12716","language":[{"iso":"eng"}],"ddc":["599","573"],"has_accepted_license":"1","oa":1,"doi":"10.15479/at:ista:12716","article_processing_charge":"No","abstract":[{"lang":"eng","text":"The process of detecting and evaluating sensory information to guide behaviour is termed perceptual decision-making (PDM), and is critical for the ability of an organism to interact with its external world. Individuals with autism, a neurodevelopmental condition primarily characterised by social and communication difficulties, frequently exhibit altered sensory processing and PDM difficulties are widely reported. Recent technological advancements have pushed forward our understanding of the genetic changes accompanying this condition, however our understanding of how these mutations affect the function of specific neuronal circuits and bring about the corresponding behavioural changes remains limited. Here, we use an innate PDM task, the looming avoidance response (LAR) paradigm, to identify a convergent behavioural abnormality across three molecularly distinct genetic mouse models of autism (Cul3, Setd5 and Ptchd1). Although mutant mice can rapidly detect threatening visual stimuli, their responses are consistently delayed, requiring longer to initiate an appropriate response than their wild-type siblings. Mutant animals show abnormal adaptation in both their stimulus- evoked escape responses and exploratory dynamics following repeated stimulus presentations. Similarly delayed behavioural responses are observed in wild-type animals when faced with more ambiguous threats, suggesting the mutant phenotype could arise from a dysfunction in the flexible control of this PDM process.\r\nOur knowledge of the core neuronal circuitry mediating the LAR facilitated a detailed dissection of the neuronal mechanisms underlying the behavioural impairment. In vivo extracellular recording revealed that visual responses were unaffected within a key brain region for the rapid processing of visual threats, the superior colliculus (SC), indicating that the behavioural delay was unlikely to originate from sensory impairments. Delayed behavioural responses were recapitulated in the Setd5 model following optogenetic stimulation of the excitatory output neurons of the SC, which are known to mediate escape initiation through the activation of cells in the underlying dorsal periaqueductal grey (dPAG). In vitro patch-clamp recordings of dPAG cells uncovered a stark hypoexcitability phenotype in two out of the three genetic models investigated (Setd5 and Ptchd1), that in Setd5, is mediated by the misregulation of voltage-gated potassium channels. Overall, our results show that the ability to use visual information to drive efficient escape responses is impaired in three diverse genetic mouse models of autism and that, in one of the models studied, this behavioural delay likely originates from differences in the intrinsic excitability of a key subcortical node, the dPAG. Furthermore, this work showcases the use of an innate behavioural paradigm to mechanistically dissect PDM processes in autism."}],"department":[{"_id":"GradSch"},{"_id":"MaJö"}],"author":[{"full_name":"Burnett, Laura","last_name":"Burnett","orcid":"0000-0002-8937-410X","first_name":"Laura","id":"3B717F68-F248-11E8-B48F-1D18A9856A87"}],"page":"178","supervisor":[{"full_name":"Jösch, Maximilian A","orcid":"0000-0002-3937-1330","first_name":"Maximilian A","id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","last_name":"Jösch"}],"type":"dissertation","corr_author":"1","day":"10","date_created":"2023-03-08T15:19:45Z","project":[{"_id":"2634E9D2-B435-11E9-9278-68D0E5697425","grant_number":"756502","name":"Circuits of Visual Attention","call_identifier":"H2020"}],"citation":{"chicago":"Burnett, Laura. “To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12716\">https://doi.org/10.15479/at:ista:12716</a>.","mla":"Burnett, Laura. <i>To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12716\">10.15479/at:ista:12716</a>.","ama":"Burnett L. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12716\">10.15479/at:ista:12716</a>","ieee":"L. Burnett, “To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism,” Institute of Science and Technology Austria, 2023.","ista":"Burnett L. 2023. To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism. Institute of Science and Technology Austria.","short":"L. Burnett, To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism, Institute of Science and Technology Austria, 2023.","apa":"Burnett, L. (2023). <i>To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12716\">https://doi.org/10.15479/at:ista:12716</a>"},"publication_identifier":{"issn":["2663-337X"]},"acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"LifeSc"},{"_id":"M-Shop"},{"_id":"CampIT"}],"OA_place":"publisher","publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","status":"public","degree_awarded":"PhD","ec_funded":1,"title":"To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism","oa_version":"Published Version","date_published":"2023-03-10T00:00:00Z"},{"volume":130,"year":"2023","month":"03","publisher":"American Physical Society","pmid":1,"keyword":["General Physics and Astronomy"],"fulldoi":"https://doi.org/10.1103/physrevlett.130.106901","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2203.09443"}],"date_updated":"2025-04-23T08:53:33Z","external_id":{"arxiv":["2203.09443"],"pmid":["36962044"],"isi":["000982435900002"]},"language":[{"iso":"eng"}],"intvolume":"       130","oa":1,"_id":"12723","issue":"10","author":[{"last_name":"Volosniev","first_name":"Artem","orcid":"0000-0003-0393-5525","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","full_name":"Volosniev, Artem"},{"last_name":"Shiva Kumar","first_name":"Abhishek","id":"5e9a6931-eb97-11eb-a6c2-e96f7058d77a","full_name":"Shiva Kumar, Abhishek"},{"full_name":"Lorenc, Dusan","last_name":"Lorenc","id":"40D8A3E6-F248-11E8-B48F-1D18A9856A87","first_name":"Dusan"},{"full_name":"Ashourishokri, Younes","last_name":"Ashourishokri","first_name":"Younes","id":"e32c111f-f6e0-11ea-865d-eb955baea334"},{"first_name":"Ayan A.","last_name":"Zhumekenov","full_name":"Zhumekenov, Ayan A."},{"last_name":"Bakr","first_name":"Osman M.","full_name":"Bakr, Osman M."},{"full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6990-7802","first_name":"Mikhail"},{"full_name":"Alpichshev, Zhanybek","orcid":"0000-0002-7183-5203","id":"45E67A2A-F248-11E8-B48F-1D18A9856A87","first_name":"Zhanybek","last_name":"Alpichshev"}],"doi":"10.1103/physrevlett.130.106901","abstract":[{"text":"Lead halide perovskites enjoy a number of remarkable optoelectronic properties. To explain their origin, it is necessary to study how electromagnetic fields interact with these systems. We address this problem here by studying two classical quantities: Faraday rotation and the complex refractive index in a paradigmatic perovskite CH3NH3PbBr3 in a broad wavelength range. We find that the minimal coupling of electromagnetic fields to the k⋅p Hamiltonian is insufficient to describe the observed data even on the qualitative level. To amend this, we demonstrate that there exists a relevant atomic-level coupling between electromagnetic fields and the spin degree of freedom. This spin-electric coupling allows for quantitative description of a number of previous as well as present experimental data. In particular, we use it here to show that the Faraday effect in lead halide perovskites is dominated by the Zeeman splitting of the energy levels and has a substantial beyond-Becquerel contribution. Finally, we present general symmetry-based phenomenological arguments that in the low-energy limit our effective model includes all basis coupling terms to the electromagnetic field in the linear order.","lang":"eng"}],"department":[{"_id":"GradSch"},{"_id":"ZhAl"},{"_id":"MiLe"}],"article_processing_charge":"No","corr_author":"1","isi":1,"article_type":"original","arxiv":1,"date_created":"2023-03-14T13:11:59Z","day":"10","scopus_import":"1","type":"journal_article","citation":{"short":"A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A.A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review Letters 130 (2023).","apa":"Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A. A., Bakr, O. M., … Alpichshev, Z. (2023). Spin-electric coupling in lead halide perovskites. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.130.106901\">https://doi.org/10.1103/physrevlett.130.106901</a>","ieee":"A. Volosniev <i>et al.</i>, “Spin-electric coupling in lead halide perovskites,” <i>Physical Review Letters</i>, vol. 130, no. 10. American Physical Society, 2023.","ista":"Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov AA, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Spin-electric coupling in lead halide perovskites. Physical Review Letters. 130(10), 106901.","ama":"Volosniev A, Shiva Kumar A, Lorenc D, et al. Spin-electric coupling in lead halide perovskites. <i>Physical Review Letters</i>. 2023;130(10). doi:<a href=\"https://doi.org/10.1103/physrevlett.130.106901\">10.1103/physrevlett.130.106901</a>","chicago":"Volosniev, Artem, Abhishek Shiva Kumar, Dusan Lorenc, Younes Ashourishokri, Ayan A. Zhumekenov, Osman M. Bakr, Mikhail Lemeshko, and Zhanybek Alpichshev. “Spin-Electric Coupling in Lead Halide Perovskites.” <i>Physical Review Letters</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevlett.130.106901\">https://doi.org/10.1103/physrevlett.130.106901</a>.","mla":"Volosniev, Artem, et al. “Spin-Electric Coupling in Lead Halide Perovskites.” <i>Physical Review Letters</i>, vol. 130, no. 10, 106901, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevlett.130.106901\">10.1103/physrevlett.130.106901</a>."},"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Physical Review Letters","publication_status":"published","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"quality_controlled":"1","oa_version":"Preprint","article_number":"106901","title":"Spin-electric coupling in lead halide perovskites","date_published":"2023-03-10T00:00:00Z"},{"department":[{"_id":"GradSch"},{"_id":"ZhAl"},{"_id":"MiLe"}],"abstract":[{"text":"We use general symmetry-based arguments to construct an effective model suitable for studying optical properties of lead halide perovskites. To build the model, we identify an atomic-level interaction between electromagnetic fields and the spin degree of freedom that should be added to a minimally coupled k⋅p Hamiltonian. As a first application, we study two basic optical characteristics of the material: the Verdet constant and the refractive index. Beyond these linear characteristics of the material, the model is suitable for calculating nonlinear effects such as the third-order optical susceptibility. Analysis of this quantity shows that the geometrical properties of the spin-electric term imply isotropic optical response of the system, and that optical anisotropy of lead halide perovskites is a manifestation of hopping of charge carriers. To illustrate this, we discuss third-harmonic generation.","lang":"eng"}],"article_processing_charge":"No","doi":"10.1103/physrevb.107.125201","author":[{"last_name":"Volosniev","first_name":"Artem","orcid":"0000-0003-0393-5525","id":"37D278BC-F248-11E8-B48F-1D18A9856A87","full_name":"Volosniev, Artem"},{"id":"5e9a6931-eb97-11eb-a6c2-e96f7058d77a","first_name":"Abhishek","last_name":"Shiva Kumar","full_name":"Shiva Kumar, Abhishek"},{"full_name":"Lorenc, Dusan","last_name":"Lorenc","id":"40D8A3E6-F248-11E8-B48F-1D18A9856A87","first_name":"Dusan"},{"last_name":"Ashourishokri","id":"e32c111f-f6e0-11ea-865d-eb955baea334","first_name":"Younes","full_name":"Ashourishokri, Younes"},{"full_name":"Zhumekenov, Ayan","last_name":"Zhumekenov","first_name":"Ayan"},{"last_name":"Bakr","first_name":"Osman M.","full_name":"Bakr, Osman M."},{"full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6990-7802","first_name":"Mikhail"},{"last_name":"Alpichshev","id":"45E67A2A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7183-5203","first_name":"Zhanybek","full_name":"Alpichshev, Zhanybek"}],"_id":"12724","issue":"12","oa":1,"intvolume":"       107","external_id":{"arxiv":["2204.04022"],"isi":["000972602200006"]},"language":[{"iso":"eng"}],"date_updated":"2024-10-09T21:04:46Z","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2204.04022","open_access":"1"}],"fulldoi":"https://doi.org/10.1103/physrevb.107.125201","volume":107,"publisher":"American Physical Society","month":"03","year":"2023","date_published":"2023-03-15T00:00:00Z","article_number":"125201","title":"Effective model for studying optical properties of lead halide perovskites","oa_version":"Preprint","quality_controlled":"1","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"status":"public","publication":"Physical Review B","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","citation":{"chicago":"Volosniev, Artem, Abhishek Shiva Kumar, Dusan Lorenc, Younes Ashourishokri, Ayan Zhumekenov, Osman M. Bakr, Mikhail Lemeshko, and Zhanybek Alpichshev. “Effective Model for Studying Optical Properties of Lead Halide Perovskites.” <i>Physical Review B</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevb.107.125201\">https://doi.org/10.1103/physrevb.107.125201</a>.","mla":"Volosniev, Artem, et al. “Effective Model for Studying Optical Properties of Lead Halide Perovskites.” <i>Physical Review B</i>, vol. 107, no. 12, 125201, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevb.107.125201\">10.1103/physrevb.107.125201</a>.","ama":"Volosniev A, Shiva Kumar A, Lorenc D, et al. Effective model for studying optical properties of lead halide perovskites. <i>Physical Review B</i>. 2023;107(12). doi:<a href=\"https://doi.org/10.1103/physrevb.107.125201\">10.1103/physrevb.107.125201</a>","ieee":"A. Volosniev <i>et al.</i>, “Effective model for studying optical properties of lead halide perovskites,” <i>Physical Review B</i>, vol. 107, no. 12. American Physical Society, 2023.","ista":"Volosniev A, Shiva Kumar A, Lorenc D, Ashourishokri Y, Zhumekenov A, Bakr OM, Lemeshko M, Alpichshev Z. 2023. Effective model for studying optical properties of lead halide perovskites. Physical Review B. 107(12), 125201.","short":"A. Volosniev, A. Shiva Kumar, D. Lorenc, Y. Ashourishokri, A. Zhumekenov, O.M. Bakr, M. Lemeshko, Z. Alpichshev, Physical Review B 107 (2023).","apa":"Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A., Bakr, O. M., … Alpichshev, Z. (2023). Effective model for studying optical properties of lead halide perovskites. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.107.125201\">https://doi.org/10.1103/physrevb.107.125201</a>"},"type":"journal_article","article_type":"original","arxiv":1,"date_created":"2023-03-14T13:13:05Z","scopus_import":"1","day":"15","corr_author":"1","isi":1},{"language":[{"iso":"eng"}],"ddc":["530"],"has_accepted_license":"1","_id":"12726","author":[{"full_name":"Riedl, Michael","last_name":"Riedl","orcid":"0000-0003-4844-6311","first_name":"Michael","id":"3BE60946-F248-11E8-B48F-1D18A9856A87"}],"page":"260","supervisor":[{"full_name":"Hof, Björn","last_name":"Hof","orcid":"0000-0003-2057-2754","first_name":"Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"doi":"10.15479/at:ista:12726","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"BjHo"}],"abstract":[{"lang":"eng","text":"Most motions of many-body systems at any scale in nature with sufficient degrees\r\nof freedom tend to be chaotic; reaching from the orbital motion of planets, the air\r\ncurrents in our atmosphere, down to the water flowing through our pipelines or\r\nthe movement of a population of bacteria. To the observer it is therefore intriguing\r\nwhen a moving collective exhibits order. Collective motion of flocks of birds, schools\r\nof fish or swarms of self-propelled particles or robots have been studied extensively\r\nover the past decades but the mechanisms involved in the transition from chaos to\r\norder remain unclear. Here, the interactions, that in most systems give rise to chaos,\r\nsustain order. In this thesis we investigate mechanisms that preserve, destabilize\r\nor lead to the ordered state. We show that endothelial cells migrating in circular\r\nconfinements transition to a collective rotating state and concomitantly synchronize\r\nthe frequencies of nucleating actin waves within individual cells. Consequently,\r\nthe frequency dependent cell migration speed uniformizes across the population.\r\nComplementary to the WAVE dependent nucleation of traveling actin waves, we\r\nshow that in leukocytes the actin polymerization depending on WASp generates\r\npushing forces locally at stationary patches. Next, in pipe flows, we study methods\r\nto disrupt the self–sustaining cycle of turbulence and therefore relaminarize the\r\nflow. While we find in pulsating flow conditions that turbulence emerges through a\r\nhelical instability during the decelerating phase. Finally, we show quantitatively in\r\nbrain slices of mice that wild-type control neurons can compensate the migratory\r\ndeficits of a genetically modified neuronal sub–population in the developing cortex."}],"year":"2023","publisher":"Institute of Science and Technology Austria","month":"03","fulldoi":"https://doi.org/10.15479/at:ista:12726","alternative_title":["ISTA Thesis"],"date_updated":"2026-04-07T13:29:13Z","file":[{"date_updated":"2023-11-24T11:57:46Z","access_level":"closed","file_size":63734746,"checksum":"eba0e19fe57a8c15e7aeab55a845efb7","date_created":"2023-03-23T12:49:23Z","creator":"cchlebak","file_id":"12745","content_type":"application/pdf","description":"the main file is missing the bibliography. See new thesis record 14530 for updated files.","relation":"main_file","file_name":"Thesis_Riedl_2023.pdf"},{"date_created":"2023-03-23T12:54:34Z","file_name":"Thesis_Riedl_2023_source.rar","relation":"source_file","file_id":"12746","creator":"cchlebak","content_type":"application/octet-stream","embargo_to":"open_access","access_level":"closed","date_updated":"2023-09-24T22:30:03Z","file_size":339473651,"checksum":"0eb7b650cc8ae843bcec7c8a6109ae03"}],"file_date_updated":"2023-11-24T11:57:46Z","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"Bio"}],"OA_place":"publisher","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","status":"public","publication_identifier":{"issn":["2663-337X"]},"degree_awarded":"PhD","oa_version":"None","title":"Synchronization in collectively moving active matter","date_published":"2023-03-23T00:00:00Z","corr_author":"1","day":"23","date_created":"2023-03-15T13:22:13Z","type":"dissertation","related_material":{"record":[{"relation":"part_of_dissertation","id":"461","status":"public"},{"relation":"part_of_dissertation","id":"10791","status":"public"},{"id":"7932","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"10703","status":"public"},{"id":"14530","relation":"new_edition","status":"public"}]},"citation":{"ieee":"M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.","ista":"Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.","short":"M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023.","apa":"Riedl, M. (2023). <i>Synchronization in collectively moving active matter</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12726\">https://doi.org/10.15479/at:ista:12726</a>","chicago":"Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12726\">https://doi.org/10.15479/at:ista:12726</a>.","mla":"Riedl, Michael. <i>Synchronization in Collectively Moving Active Matter</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12726\">10.15479/at:ista:12726</a>.","ama":"Riedl M. Synchronization in collectively moving active matter. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12726\">10.15479/at:ista:12726</a>"}},{"language":[{"iso":"eng"}],"oa":1,"has_accepted_license":"1","ddc":["530"],"_id":"12732","page":"158","author":[{"first_name":"Pietro","id":"4115AF5C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7969-2729","last_name":"Brighi","full_name":"Brighi, Pietro"}],"supervisor":[{"full_name":"Serbyn, Maksym","last_name":"Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym","orcid":"0000-0002-2399-5827"}],"doi":"10.15479/at:ista:12732","abstract":[{"lang":"eng","text":"Nonergodic systems, whose out-of-equilibrium dynamics fail to thermalize, provide a fascinating research direction both for fundamental reasons and for application in state of the art quantum devices.\r\nGoing beyond the description of statistical mechanics, ergodicity breaking yields a new paradigm in quantum many-body physics, introducing novel phases of matter with no counterpart at equilibrium.\r\nIn this Thesis, we address different open questions in the field, focusing on disorder-induced many-body localization (MBL) and on weak ergodicity breaking in kinetically constrained models.\r\nIn particular, we contribute to the debate about transport in kinetically constrained models, studying the effect of $U(1)$ conservation and inversion-symmetry breaking in a family of quantum East models.\r\nUsing tensor network techniques, we analyze the dynamics of large MBL systems beyond the limit of exact numerical methods.\r\nIn this setting, we approach the debated topic of the coexistence of localized and thermal eigenstates separated by energy thresholds known as many-body mobility edges.\r\nInspired by recent experiments, our work further investigates the localization of a small bath induced by the coupling to a large localized chain, the so-called MBL proximity effect.\r\n\r\nIn the first Chapter, we introduce a family of particle-conserving kinetically constrained models, inspired by the quantum East model.\r\nThe system we study features strong inversion-symmetry breaking, due to the nature of the correlated hopping.\r\nWe show that these models host so-called quantum Hilbert space fragmentation, consisting of disconnected subsectors in an entangled basis, and further provide an analytical description of this phenomenon.\r\nWe further probe its effect on dynamics of simple product states, showing revivals in fidelity and local observalbes.\r\nThe study of dynamics within the largest subsector reveals an anomalous transient superdiffusive behavior crossing over to slow logarithmic dynamics at later times.\r\nThis work suggests that particle conserving constrained models with inversion-symmetry breaking realize new universality classes of dynamics and invite their further theoretical and experimental studies.\r\n\r\nNext, we use kinetic constraints and disorder to design a model with many-body mobility edges in particle density.\r\nThis feature allows to study the dynamics of localized and thermal states in large systems beyond the limitations of previous studies.\r\nThe time-evolution shows typical signatures of localization at small densities, replaced by thermal behavior at larger densities.\r\nOur results provide evidence in favor of the stability of many-body mobility edges, which was recently challenged by a theoretical argument.\r\nTo support our findings, we probe the mechanism proposed as a cause of delocalization in many-body localized systems with mobility edges suggesting its ineffectiveness in the model studied.\r\n\r\nIn the last Chapter of this Thesis, we address the topic of many-body localization proximity effect.\r\nWe study a model inspired by recent experiments, featuring Anderson localized coupled to a small bath of free hard-core bosons.\r\nThe interaction among the two particle species results in non-trivial dynamics, which we probe using tensor network techniques.\r\nOur simulations show convincing evidence of many-body localization proximity effect when the bath is composed by a single free particle and interactions are strong.\r\nWe furthter observe an anomalous entanglement dynamics, which we explain through a phenomenological theory.\r\nFinally, we extract highly excited eigenstates of large systems, providing supplementary evidence in favor of our findings."}],"department":[{"_id":"GradSch"},{"_id":"MaSe"}],"article_processing_charge":"No","publisher":"Institute of Science and Technology Austria","month":"03","year":"2023","alternative_title":["ISTA Thesis"],"fulldoi":"https://doi.org/10.15479/at:ista:12732","date_updated":"2026-04-07T13:26:32Z","file":[{"file_size":42167561,"checksum":"5d2de651ef9449c1b8dc27148ca74777","access_level":"closed","date_updated":"2023-03-23T16:42:56Z","file_name":"Thesis_sub_PBrighi.zip","relation":"source_file","file_id":"12753","creator":"pbrighi","content_type":"application/zip","date_created":"2023-03-23T16:42:56Z"},{"access_level":"open_access","date_updated":"2023-03-23T16:43:14Z","checksum":"7caa153d4a5b0873a79358787d2dfe1e","file_size":13977000,"date_created":"2023-03-23T16:43:14Z","file_name":"Thesis_PBrighi.pdf","relation":"main_file","success":1,"file_id":"12754","creator":"pbrighi","content_type":"application/pdf"}],"file_date_updated":"2023-03-23T16:43:14Z","acknowledged_ssus":[{"_id":"ScienComp"}],"OA_place":"publisher","status":"public","publication_status":"published","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_identifier":{"issn":["2663-337X"]},"oa_version":"Published Version","title":"Ergodicity breaking in disordered and kinetically constrained quantum many-body systems","ec_funded":1,"degree_awarded":"PhD","date_published":"2023-03-21T00:00:00Z","corr_author":"1","day":"21","date_created":"2023-03-17T13:30:48Z","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","short":"CC BY-NC-SA (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","image":"/images/cc_by_nc_sa.png"},"type":"dissertation","related_material":{"record":[{"relation":"part_of_dissertation","id":"12750","status":"public"},{"id":"11470","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","id":"8308","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"11469"}]},"project":[{"call_identifier":"H2020","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","grant_number":"850899","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E"}],"citation":{"mla":"Brighi, Pietro. <i>Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12732\">10.15479/at:ista:12732</a>.","chicago":"Brighi, Pietro. “Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12732\">https://doi.org/10.15479/at:ista:12732</a>.","ama":"Brighi P. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12732\">10.15479/at:ista:12732</a>","ista":"Brighi P. 2023. Ergodicity breaking in disordered and kinetically constrained quantum many-body systems. Institute of Science and Technology Austria.","ieee":"P. Brighi, “Ergodicity breaking in disordered and kinetically constrained quantum many-body systems,” Institute of Science and Technology Austria, 2023.","apa":"Brighi, P. (2023). <i>Ergodicity breaking in disordered and kinetically constrained quantum many-body systems</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12732\">https://doi.org/10.15479/at:ista:12732</a>","short":"P. Brighi, Ergodicity Breaking in Disordered and Kinetically Constrained Quantum Many-Body Systems, Institute of Science and Technology Austria, 2023."}},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3572848.3577512"}],"month":"02","publisher":"Association for Computing Machinery","year":"2023","fulldoi":"https://doi.org/10.1145/3572848.3577512","date_updated":"2026-06-18T17:29:03Z","_id":"12736","language":[{"iso":"eng"}],"oa":1,"ddc":["000"],"doi":"10.1145/3572848.3577512","abstract":[{"text":"Although a wide variety of handcrafted concurrent data structures have been proposed, there is considerable interest in universal approaches (Universal Constructions or UCs) for building concurrent data structures. UCs (semi-)automatically convert a sequential data structure into a concurrent one. The simplest approach uses locks [3, 6] that protect a sequential data structure and allow only one process to access it at a time. However, the resulting data structure is blocking. Most work on UCs instead focuses on obtaining non-blocking progress guarantees such as obstruction-freedom, lock-freedom or wait-freedom. Many non-blocking UCs have appeared. Key examples include the seminal wait-free UC [2] by Herlihy, a NUMA-aware UC [10] by Yi et al., and an efficient UC for large objects [1] by Fatourou et al.","lang":"eng"}],"department":[{"_id":"DaAl"},{"_id":"GradSch"}],"article_processing_charge":"No","page":"438-440","author":[{"full_name":"Aksenov, Vitaly","first_name":"Vitaly","last_name":"Aksenov"},{"last_name":"Brown","first_name":"Trevor A","id":"3569F0A0-F248-11E8-B48F-1D18A9856A87","full_name":"Brown, Trevor A"},{"full_name":"Fedorov, Alexander","first_name":"Alexander","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","last_name":"Fedorov"},{"last_name":"Kokorin","first_name":"Ilya","full_name":"Kokorin, Ilya"}],"type":"conference_poster","date_created":"2023-03-19T23:00:58Z","scopus_import":"1","day":"25","citation":{"apa":"Aksenov, V., Brown, T. A., Fedorov, A., &#38; Kokorin, I. (2023). <i>Unexpected scaling in path copying trees</i>. <i>Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming</i> (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3572848.3577512\">https://doi.org/10.1145/3572848.3577512</a>","short":"V. Aksenov, T.A. Brown, A. Fedorov, I. Kokorin, Unexpected Scaling in Path Copying Trees, Association for Computing Machinery, 2023.","ista":"Aksenov V, Brown TA, Fedorov A, Kokorin I. 2023. Unexpected scaling in path copying trees, Association for Computing Machinery,p.","ieee":"V. Aksenov, T. A. Brown, A. Fedorov, and I. Kokorin, <i>Unexpected scaling in path copying trees</i>. Association for Computing Machinery, 2023, pp. 438–440.","ama":"Aksenov V, Brown TA, Fedorov A, Kokorin I. <i>Unexpected Scaling in Path Copying Trees</i>. Association for Computing Machinery; 2023:438-440. doi:<a href=\"https://doi.org/10.1145/3572848.3577512\">10.1145/3572848.3577512</a>","mla":"Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” <i>Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming</i>, Association for Computing Machinery, 2023, pp. 438–40, doi:<a href=\"https://doi.org/10.1145/3572848.3577512\">10.1145/3572848.3577512</a>.","chicago":"Aksenov, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. <i>Unexpected Scaling in Path Copying Trees</i>. <i>Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3572848.3577512\">https://doi.org/10.1145/3572848.3577512</a>."},"acknowledgement":"This work was supported by: the Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery Program grant: RGPIN-2019-04227, and the Canada Foundation for Innovation John R. Evans Leaders Fund (CFI-JELF) with equal support from the Ontario Research Fund CFI Leaders Opportunity Fund: 38512.","publication_identifier":{"isbn":["9798400700156"]},"status":"public","publication":"Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa_version":"Published Version","title":"Unexpected scaling in path copying trees","date_published":"2023-02-25T00:00:00Z","quality_controlled":"1","conference":{"end_date":"2023-03-01","location":"Montreal, QB, Canada","start_date":"2023-02-25","name":"PPoPP: Sympopsium on Principles and Practice of Parallel Programming"}},{"tmp":{"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","short":"CC BY (4.0)"},"type":"dissertation","date_created":"2023-04-14T14:56:04Z","day":"18","corr_author":"1","citation":{"ama":"Pokusaeva V. Neural control of optic flow-based navigation in Drosophila melanogaster. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12826\">10.15479/at:ista:12826</a>","chicago":"Pokusaeva, Victoria. “Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12826\">https://doi.org/10.15479/at:ista:12826</a>.","mla":"Pokusaeva, Victoria. <i>Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12826\">10.15479/at:ista:12826</a>.","short":"V. Pokusaeva, Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster, Institute of Science and Technology Austria, 2023.","apa":"Pokusaeva, V. (2023). <i>Neural control of optic flow-based navigation in Drosophila melanogaster</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12826\">https://doi.org/10.15479/at:ista:12826</a>","ieee":"V. Pokusaeva, “Neural control of optic flow-based navigation in Drosophila melanogaster,” Institute of Science and Technology Austria, 2023.","ista":"Pokusaeva V. 2023. Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria."},"project":[{"name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"publication_identifier":{"issn":["2663-337X"]},"status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","OA_place":"publisher","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"date_published":"2023-04-18T00:00:00Z","title":"Neural control of optic flow-based navigation in Drosophila melanogaster","oa_version":"Published Version","degree_awarded":"PhD","ec_funded":1,"alternative_title":["ISTA Thesis"],"fulldoi":"https://doi.org/10.15479/at:ista:12826","year":"2023","publisher":"Institute of Science and Technology Austria","month":"04","file_date_updated":"2023-04-20T09:26:51Z","file":[{"access_level":"closed","date_updated":"2023-04-20T09:26:51Z","file_size":14507243,"checksum":"5f589a9af025f7eeebfd0c186209913e","date_created":"2023-04-20T09:14:38Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"vpokusae","file_id":"12857","relation":"source_file","file_name":"Thesis_Pokusaeva.docx"},{"date_created":"2023-04-20T09:14:44Z","creator":"vpokusae","file_id":"12858","content_type":"application/pdf","file_name":"Thesis_Pokusaeva.pdf","relation":"main_file","success":1,"date_updated":"2023-04-20T09:14:44Z","access_level":"open_access","file_size":10090711,"checksum":"bbeed76db45a996b4c91a9abe12ce0ec"}],"date_updated":"2026-04-07T13:26:49Z","_id":"12826","has_accepted_license":"1","oa":1,"ddc":["570","571"],"language":[{"iso":"eng"}],"abstract":[{"text":"During navigation, animals can infer the structure of the environment by computing the optic flow cues elicited by their own movements, and subsequently use this information to instruct proper locomotor actions. These computations require a panoramic assessment of the visual environment in order to disambiguate similar sensory experiences that may require distinct behavioral responses. The estimation of the global motion patterns is therefore essential for successful navigation. Yet, our understanding of the algorithms and implementations that enable coherent panoramic visual perception remains scarce. Here I pursue this problem by dissecting the functional aspects of interneuronal communication in the lobula plate tangential cell network in Drosophila melanogaster. The results presented in the thesis demonstrate that the basis for effective interpretation of the optic flow in this circuit are stereotyped synaptic connections that mediate the formation of distinct subnetworks, each extracting a particular pattern of global motion. \r\nFirstly, I show that gap junctions are essential for a correct interpretation of binocular motion cues by horizontal motion-sensitive cells. HS cells form electrical synapses with contralateral H2 neurons that are involved in detecting yaw rotation and translation. I developed an FlpStop-mediated mutant of a gap junction protein ShakB that disrupts these electrical synapses. While the loss of electrical synapses does not affect the tuning of the direction selectivity in HS neurons, it severely alters their sensitivity to horizontal motion in the contralateral side. These physiological changes result in an inappropriate integration of binocular motion cues in walking animals. While wild-type flies form a binocular perception of visual motion by non-linear integration of monocular optic flow cues, the mutant flies sum the monocular inputs linearly. These results indicate that rather than averaging signals in neighboring neurons, gap-junctions operate in conjunction with chemical synapses to mediate complex non-linear optic flow computations.\r\nSecondly, I show that stochastic manipulation of neuronal activity in the lobula plate tangential cell network is a powerful approach to study the neuronal implementation of optic flow-based navigation in flies. Tangential neurons form multiple subnetworks, each mediating course-stabilizing response to a particular global pattern of visual motion. Application of genetic mosaic techniques can provide sparse optogenetic activation of HS cells in numerous combinations. These distinct combinations of activated neurons drive an array of distinct behavioral responses, providing important insights into how visuomotor transformation is performed in the lobula plate tangential cell network. This approach can be complemented by stochastic silencing of tangential neurons, enabling direct assessment of the functional role of individual tangential neurons in the processing of specific visual motion patterns.\r\n\tTaken together, the findings presented in this thesis suggest that establishing specific activity patterns of tangential cells via stereotyped synaptic connectivity is a key to efficient optic flow-based navigation in Drosophila melanogaster.","lang":"eng"}],"department":[{"_id":"MaJö"},{"_id":"GradSch"}],"article_processing_charge":"No","doi":"10.15479/at:ista:12826","supervisor":[{"id":"2BD278E6-F248-11E8-B48F-1D18A9856A87","first_name":"Maximilian A","orcid":"0000-0002-3937-1330","last_name":"Jösch","full_name":"Jösch, Maximilian A"}],"page":"106","author":[{"last_name":"Pokusaeva","orcid":"0000-0001-7660-444X","first_name":"Victoria","id":"3184041C-F248-11E8-B48F-1D18A9856A87","full_name":"Pokusaeva, Victoria"}]},{"related_material":{"record":[{"status":"deleted","relation":"used_in_publication","id":"14505"},{"relation":"used_in_publication","id":"12890","status":"public"}]},"acknowledgement":"FRK acknowledges support from the Villum Foundation for support through the QMATH center of Excellence (Grant No. 10059) and the Villum Young Investigator (Grant No. 25452) programs. ","date_updated":"2025-09-09T12:26:01Z","license":"https://creativecommons.org/publicdomain/zero/1.0/","file_date_updated":"2023-04-26T12:30:06Z","citation":{"ama":"Klausen FR, Lauritsen AB. Research data for: A stochastic cellular automaton model of culture formation. 2023. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:12869\">10.15479/AT:ISTA:12869</a>","chicago":"Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Research Data for: A Stochastic Cellular Automaton Model of Culture Formation.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/AT:ISTA:12869\">https://doi.org/10.15479/AT:ISTA:12869</a>.","mla":"Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. <i>Research Data for: A Stochastic Cellular Automaton Model of Culture Formation</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:12869\">10.15479/AT:ISTA:12869</a>.","short":"F.R. Klausen, A.B. Lauritsen, (2023).","apa":"Klausen, F. R., &#38; Lauritsen, A. B. (2023). Research data for: A stochastic cellular automaton model of culture formation. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:12869\">https://doi.org/10.15479/AT:ISTA:12869</a>","ieee":"F. R. Klausen and A. B. Lauritsen, “Research data for: A stochastic cellular automaton model of culture formation.” Institute of Science and Technology Austria, 2023.","ista":"Klausen FR, Lauritsen AB. 2023. Research data for: A stochastic cellular automaton model of culture formation, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:12869\">10.15479/AT:ISTA:12869</a>."},"file":[{"date_updated":"2023-04-26T12:30:06Z","access_level":"open_access","checksum":"85ede12d38bb8d944022a8cba4d719f5","file_size":4567,"date_created":"2023-04-26T12:30:06Z","creator":"alaurits","file_id":"12870","content_type":"application/octet-stream","relation":"main_file","file_name":"README.md","success":1},{"date_updated":"2023-04-26T12:27:34Z","access_level":"open_access","file_size":732586731,"checksum":"25bf79452ae895f9c8a20571a096b4c3","date_created":"2023-04-26T12:27:34Z","file_id":"12871","creator":"alaurits","content_type":"application/x-zip-compressed","file_name":"simulations_era=10_flux_varied_europe.zip","relation":"main_file","success":1},{"checksum":"bca48d80ece73eb169aee7211a4a751a","file_size":1743893150,"access_level":"open_access","date_updated":"2023-04-26T12:29:53Z","relation":"main_file","file_name":"simulations_era=10_flux_varied_torus.zip","success":1,"creator":"alaurits","file_id":"12872","content_type":"application/x-zip-compressed","date_created":"2023-04-26T12:29:53Z"},{"access_level":"open_access","date_updated":"2023-04-26T12:29:19Z","file_size":878391851,"checksum":"e77a655db15486a387a36362fbf0b665","date_created":"2023-04-26T12:29:19Z","success":1,"relation":"main_file","file_name":"simulations_era=10_R_varied_torus.zip","content_type":"application/x-zip-compressed","creator":"alaurits","file_id":"12873"},{"date_created":"2023-04-26T12:30:05Z","relation":"main_file","file_name":"simulations_era=100.zip","success":1,"file_id":"12874","creator":"alaurits","content_type":"application/x-zip-compressed","access_level":"open_access","date_updated":"2023-04-26T12:30:05Z","checksum":"8556406513adc4aa2e0417f46680f627","file_size":201652478}],"fulldoi":"https://doi.org/10.15479/AT:ISTA:12869","day":"26","date_created":"2023-04-26T12:34:49Z","year":"2023","publisher":"Institute of Science and Technology Austria","month":"04","corr_author":"1","type":"research_data","tmp":{"name":"Creative Commons Public Domain Dedication (CC0 1.0)","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","image":"/images/cc_0.png","short":"CC0 (1.0)"},"author":[{"full_name":"Klausen, Frederik Ravn","first_name":"Frederik Ravn","last_name":"Klausen"},{"first_name":"Asbjørn Bækgaard","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1","orcid":"0000-0003-4476-2288","last_name":"Lauritsen","full_name":"Lauritsen, Asbjørn Bækgaard"}],"article_processing_charge":"No","date_published":"2023-04-26T00:00:00Z","department":[{"_id":"GradSch"},{"_id":"RoSe"}],"abstract":[{"text":"We introduce a stochastic cellular automaton as a model for culture and border formation. The model can be conceptualized as a game where the expansion rate of cultures is quantified in terms of their area and perimeter in such a way that approximately round cultures get a competitive advantage.  We first analyse the model  with periodic boundary conditions, where we study how the model can end up in a fixed state, i.e. freezes. Then we implement the model on the European geography with mountains and rivers. We see how the model reproduces some qualitative features of European culture formation, namely that rivers and mountains are more frequently borders between cultures, mountainous regions tend to have higher cultural diversity and the central European plain has less clear cultural borders. ","lang":"eng"}],"oa_version":"Published Version","doi":"10.15479/AT:ISTA:12869","title":"Research data for: A stochastic cellular automaton model of culture formation","ddc":["000"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"has_accepted_license":"1","status":"public","_id":"12869"},{"author":[{"full_name":"Klausen, Frederik Ravn","last_name":"Klausen","first_name":"Frederik Ravn"},{"first_name":"Asbjørn Bækgaard","orcid":"0000-0003-4476-2288","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1","last_name":"Lauritsen","full_name":"Lauritsen, Asbjørn Bækgaard"}],"article_processing_charge":"No","abstract":[{"text":"We introduce a stochastic cellular automaton as a model for culture and border formation. The model can be conceptualized as a game where the expansion rate of cultures is quantified in terms of their area and perimeter in such a way that approximately geometrically round cultures get a competitive advantage. We first analyze the model with periodic boundary conditions, where we study how the model can end up in a fixed state, i.e., freezes. Then we implement the model on the European geography with mountains and rivers. We see how the model reproduces some qualitative features of European culture formation, namely, that rivers and mountains are more frequently borders between cultures, mountainous regions tend to have higher cultural diversity, and the central European plain has less clear cultural borders.","lang":"eng"}],"department":[{"_id":"GradSch"},{"_id":"RoSe"}],"doi":"10.1103/PhysRevE.108.054307","oa":1,"intvolume":"       108","language":[{"iso":"eng"}],"external_id":{"isi":["001106396300005"],"pmid":["38115445"],"arxiv":["2305.02153"]},"issue":"5","_id":"12890","date_updated":"2025-09-09T12:26:01Z","fulldoi":"https://doi.org/10.1103/PhysRevE.108.054307","pmid":1,"publisher":"American Physical Society","month":"11","year":"2023","volume":108,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2305.02153","open_access":"1"}],"quality_controlled":"1","date_published":"2023-11-08T00:00:00Z","oa_version":"Preprint","article_number":"054307","title":"Stochastic cellular automaton model of culture formation","publication_status":"published","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Physical Review E","status":"public","publication_identifier":{"eissn":["2470-0053"],"issn":["2470-0045"]},"acknowledgement":"Thanks to Kim Sneppen, Svend Krøjer, Peter Wildemann, Peter Rasmussen and Kent Bækgaard Lauritsen for discussions and suggestions. FRK acknowledges support from the Villum Foundation for support through the QMATH center of Excellence (Grant No. 10059) and the Villum Young Investigator (Grant No. 25452) programs.","related_material":{"record":[{"relation":"research_data","id":"12869","status":"public"}],"link":[{"url":"https://github.com/FrederikRavnKlausen/model-for-culture-formation","relation":"software"}]},"citation":{"ieee":"F. R. Klausen and A. B. Lauritsen, “Stochastic cellular automaton model of culture formation,” <i>Physical Review E</i>, vol. 108, no. 5. American Physical Society, 2023.","ista":"Klausen FR, Lauritsen AB. 2023. Stochastic cellular automaton model of culture formation. Physical Review E. 108(5), 054307.","short":"F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).","apa":"Klausen, F. R., &#38; Lauritsen, A. B. (2023). Stochastic cellular automaton model of culture formation. <i>Physical Review E</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevE.108.054307\">https://doi.org/10.1103/PhysRevE.108.054307</a>","chicago":"Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Stochastic Cellular Automaton Model of Culture Formation.” <i>Physical Review E</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevE.108.054307\">https://doi.org/10.1103/PhysRevE.108.054307</a>.","mla":"Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Stochastic Cellular Automaton Model of Culture Formation.” <i>Physical Review E</i>, vol. 108, no. 5, 054307, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevE.108.054307\">10.1103/PhysRevE.108.054307</a>.","ama":"Klausen FR, Lauritsen AB. Stochastic cellular automaton model of culture formation. <i>Physical Review E</i>. 2023;108(5). doi:<a href=\"https://doi.org/10.1103/PhysRevE.108.054307\">10.1103/PhysRevE.108.054307</a>"},"scopus_import":"1","day":"08","date_created":"2023-05-04T08:35:01Z","arxiv":1,"article_type":"original","isi":1,"corr_author":"1","type":"journal_article"},{"file_date_updated":"2023-07-06T11:37:40Z","file":[{"checksum":"8cbdab9c37ee55e591092a6f66b272c4","file_size":36767177,"date_updated":"2023-06-06T22:30:03Z","embargo_to":"open_access","access_level":"closed","file_name":"thesis.zip","relation":"source_file","file_id":"12928","creator":"rsahu","content_type":"application/x-zip-compressed","date_created":"2023-05-09T08:45:14Z"},{"date_updated":"2023-07-06T11:37:40Z","access_level":"closed","file_size":17501990,"checksum":"439659ead46618147309be39d9dd5a8c","date_created":"2023-05-09T08:51:17Z","content_type":"application/pdf","creator":"rsahu","file_id":"12929","relation":"main_file","file_name":"thesis_pdfa_final.pdf"}],"date_updated":"2026-04-15T06:43:26Z","fulldoi":"https://doi.org/10.15479/at:ista:12900","alternative_title":["ISTA Thesis"],"keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"month":"05","publisher":"Institute of Science and Technology Austria","year":"2023","article_processing_charge":"No","abstract":[{"text":"About a 100 years ago, we discovered that our universe is inherently noisy, that is, measuring any physical quantity with a precision beyond a certain point is not possible because of an omnipresent inherent noise. We call this - the quantum noise. Certain physical processes allow this quantum noise to get correlated in conjugate physical variables. These quantum correlations can be used to go beyond the potential of our inherently noisy universe and obtain a quantum advantage over the classical applications. \r\n\r\nQuantum noise being inherent also means that, at the fundamental level, the physical quantities are not well defined and therefore, objects can stay in multiple states at the same time. For example, the position of a particle not being well defined means that the particle is in multiple positions at the same time. About 4 decades ago, we started exploring the possibility of using objects which can be in multiple states at the same time to increase the dimensionality in computation. Thus, the field of quantum computing was born. We discovered that using quantum entanglement, a property closely related to quantum correlations, can be used to speed up computation of certain problems, such as factorisation of large numbers, faster than any known classical algorithm. Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date, we have explored quantum control over many physical systems including photons, spins, atoms, ions and even simple circuits made up of superconducting material. However, there persists one ubiquitous theme. The more readily a system interacts with an external field or matter, the more easily we can control it. But this also means that such a system can easily interact with a noisy environment and quickly lose its coherence. Consequently, such systems like electron spins need to be protected from the environment to ensure the longevity of their coherence. Other systems like nuclear spins are naturally protected as they do not interact easily with the environment. But, due to the same reason, it is harder to interact with such systems. \r\n\r\nAfter decades of experimentation with various systems, we are convinced that no one type of quantum system would be the best for all the quantum applications. We would need hybrid systems which are all interconnected - much like the current internet where all sorts of devices can all talk to each other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons are the best contenders to carry information for the quantum internet. They can carry quantum information cheaply and without much loss - the same reasons which has made them the backbone of our current internet. Following this direction, many systems, like trapped ions, have already demonstrated successful quantum links over a large distances using optical photons. However, some of the most promising contenders for quantum computing which are based on microwave frequencies have been left behind. This is because high energy optical photons can adversely affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present substantial progress on this missing quantum link between microwave and optics using electrooptical nonlinearities in lithium niobate. The nonlinearities are enhanced by using resonant cavities for all the involved modes leading to observation of strong direct coupling between optical and microwave frequencies. With this strong coupling we are not only able to achieve almost 100\\% internal conversion efficiency with low added noise, thus presenting a quantum-enabled transducer, but also we are able to observe novel effects such as cooling of a microwave mode using optics. The strong coupling regime also leads to direct observation of dynamical backaction effect between microwave and optical frequencies which are studied in detail here. Finally, we also report first observation of microwave-optics entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level. \r\nWith this new bridge between microwave and optics, the microwave-based quantum technologies can finally be a part of a quantum network which is based on optical photons - putting us one step closer to a future with quantum internet. ","lang":"eng"}],"department":[{"_id":"GradSch"},{"_id":"JoFi"}],"doi":"10.15479/at:ista:12900","supervisor":[{"full_name":"Fink, Johannes M","first_name":"Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8112-028X","last_name":"Fink"}],"author":[{"full_name":"Sahu, Rishabh","last_name":"Sahu","first_name":"Rishabh","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6264-2162"}],"page":"190","_id":"12900","ddc":["537","535","539"],"has_accepted_license":"1","language":[{"iso":"eng"}],"citation":{"ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.","apa":"Sahu, R. (2023). <i>Cavity quantum electrooptics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12900\">https://doi.org/10.15479/at:ista:12900</a>","short":"R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.","mla":"Sahu, Rishabh. <i>Cavity Quantum Electrooptics</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12900\">10.15479/at:ista:12900</a>.","chicago":"Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12900\">https://doi.org/10.15479/at:ista:12900</a>.","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12900\">10.15479/at:ista:12900</a>"},"project":[{"call_identifier":"H2020","grant_number":"758053","_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits"},{"_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","grant_number":"899354","name":"Quantum Local Area Networks with Superconducting Qubits","call_identifier":"H2020"},{"name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f","grant_number":"F07105"}],"related_material":{"record":[{"status":"public","id":"13175","relation":"new_edition"},{"relation":"part_of_dissertation","id":"10924","status":"public"},{"id":"9114","relation":"part_of_dissertation","status":"public"}]},"type":"dissertation","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","short":"CC BY-NC-SA (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","image":"/images/cc_by_nc_sa.png"},"day":"05","date_created":"2023-05-05T11:08:50Z","corr_author":"1","date_published":"2023-05-05T00:00:00Z","degree_awarded":"PhD","ec_funded":1,"oa_version":"Published Version","title":"Cavity quantum electrooptics","publication_identifier":{"isbn":["978-3-99078-030-5"],"issn":["2663-337X"]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","status":"public","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"OA_place":"publisher"},{"file":[{"access_level":"open_access","date_updated":"2023-05-10T09:41:43Z","checksum":"0ba0bcd0bb8b18d84792136a4370df90","file_size":8029982,"date_created":"2023-05-10T09:41:43Z","file_name":"Dataset_S1.csv","relation":"main_file","success":1,"creator":"gpuixeus","file_id":"12934","content_type":"text/csv"},{"file_size":13667640,"checksum":"a62aa9a6d4904e0fdb699cf752640863","date_updated":"2023-05-10T09:41:43Z","access_level":"open_access","content_type":"text/csv","creator":"gpuixeus","file_id":"12935","success":1,"relation":"main_file","file_name":"Dataset_S2.csv","date_created":"2023-05-10T09:41:43Z"},{"date_updated":"2023-05-10T09:41:48Z","access_level":"open_access","file_size":8369141,"checksum":"e20ea7f4f8a9bdf1b3849a44664ae58b","date_created":"2023-05-10T09:41:48Z","content_type":"text/csv","creator":"gpuixeus","file_id":"12936","success":1,"relation":"main_file","file_name":"Dataset_S3.csv"},{"file_size":19543247,"checksum":"f6156e5fc44446c907ddd0d7289d4cf8","access_level":"open_access","date_updated":"2023-05-10T09:41:50Z","creator":"gpuixeus","file_id":"12937","content_type":"text/csv","file_name":"Dataset_S4.csv","relation":"main_file","success":1,"date_created":"2023-05-10T09:41:50Z"},{"date_updated":"2023-05-11T12:50:18Z","access_level":"open_access","checksum":"ae9f54c77a1c42b666ae6c1dfd33ac86","file_size":4566,"date_created":"2023-05-11T12:50:18Z","success":1,"relation":"main_file","file_name":"readme.txt","content_type":"text/plain","creator":"gpuixeus","file_id":"12944"}],"file_date_updated":"2023-05-11T12:50:18Z","citation":{"short":"G. Puixeu Sala, (2023).","apa":"Puixeu Sala, G. (2023). Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:12933\">https://doi.org/10.15479/AT:ISTA:12933</a>","ieee":"G. Puixeu Sala, “Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster.” Institute of Science and Technology Austria, 2023.","ista":"Puixeu Sala G. 2023. Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:12933\">10.15479/AT:ISTA:12933</a>.","ama":"Puixeu Sala G. Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. 2023. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:12933\">10.15479/AT:ISTA:12933</a>","chicago":"Puixeu Sala, Gemma. “Data from: Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/AT:ISTA:12933\">https://doi.org/10.15479/AT:ISTA:12933</a>.","mla":"Puixeu Sala, Gemma. <i>Data from: Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:12933\">10.15479/AT:ISTA:12933</a>."},"date_updated":"2026-04-07T13:25:33Z","related_material":{"record":[{"id":"14077","relation":"used_in_publication","status":"public"},{"status":"public","id":"14058","relation":"used_in_publication"}]},"type":"research_data","tmp":{"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","short":"CC BY (4.0)"},"month":"05","publisher":"Institute of Science and Technology Austria","year":"2023","corr_author":"1","fulldoi":"https://doi.org/10.15479/AT:ISTA:12933","date_created":"2023-05-10T10:00:49Z","day":"15","doi":"10.15479/AT:ISTA:12933","oa_version":"Published Version","title":"Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster","date_published":"2023-05-15T00:00:00Z","article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"NiBa"},{"_id":"BeVi"}],"abstract":[{"text":"Datasets of the publication \"Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster\".","lang":"eng"}],"author":[{"full_name":"Puixeu Sala, Gemma","last_name":"Puixeu Sala","id":"33AB266C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8330-1754","first_name":"Gemma"}],"contributor":[{"last_name":"Macon","id":"2A0848E2-F248-11E8-B48F-1D18A9856A87","first_name":"Ariana"},{"last_name":"Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","first_name":"Beatriz","orcid":"0000-0002-4579-8306"}],"_id":"12933","ddc":["570"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"status":"public","has_accepted_license":"1"},{"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"13074"}],"link":[{"url":"https://github.com/IST-DASLab/CrAM","relation":"software"}]},"acknowledgement":"AP, EK, DA received funding from the European Research Council (ERC) under the European\r\nUnion’s Horizon 2020 research and innovation programme (grant agreement No 805223 ScaleML). AV acknowledges the support of the French Agence Nationale de la Recherche (ANR), under grant ANR-21-CE48-0016 (project COMCOPT). We further acknowledge the support from the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp).","project":[{"call_identifier":"H2020","grant_number":"805223","_id":"268A44D6-B435-11E9-9278-68D0E5697425","name":"Elastic Coordination for Scalable Machine Learning"}],"citation":{"ama":"Krumes A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. CrAM: A Compression-Aware Minimizer. In: <i>11th International Conference on Learning Representations </i>. OpenReview; 2023.","mla":"Krumes, Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” <i>11th International Conference on Learning Representations </i>, OpenReview, 2023.","chicago":"Krumes, Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In <i>11th International Conference on Learning Representations </i>. OpenReview, 2023.","apa":"Krumes, A., Vladu, A., Kurtic, E., Lampert, C., &#38; Alistarh, D.-A. (2023). CrAM: A Compression-Aware Minimizer. In <i>11th International Conference on Learning Representations </i>. Kigali, Rwanda : OpenReview.","short":"A. Krumes, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , OpenReview, 2023.","ista":"Krumes A, Vladu A, Kurtic E, Lampert C, Alistarh D-A. 2023. CrAM: A Compression-Aware Minimizer. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.","ieee":"A. Krumes, A. Vladu, E. Kurtic, C. Lampert, and D.-A. Alistarh, “CrAM: A Compression-Aware Minimizer,” in <i>11th International Conference on Learning Representations </i>, Kigali, Rwanda , 2023."},"corr_author":"1","arxiv":1,"date_created":"2023-05-23T11:36:18Z","day":"01","type":"conference","quality_controlled":"1","conference":{"location":"Kigali, Rwanda ","end_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations","start_date":"2023-05-01"},"title":"CrAM: A Compression-Aware Minimizer","oa_version":"Published Version","ec_funded":1,"date_published":"2023-05-01T00:00:00Z","acknowledged_ssus":[{"_id":"ScienComp"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publication":"11th International Conference on Learning Representations ","date_updated":"2026-04-07T13:30:19Z","file":[{"date_created":"2024-07-22T09:09:45Z","content_type":"application/pdf","creator":"dernst","file_id":"17294","success":1,"file_name":"2023_ICLR_Peste.pdf","relation":"main_file","date_updated":"2024-07-22T09:09:45Z","access_level":"open_access","file_size":458201,"checksum":"a6eec897e13a91cdc3eeaf309801752c"}],"file_date_updated":"2024-07-22T09:09:45Z","year":"2023","publisher":"OpenReview","month":"05","main_file_link":[{"open_access":"1","url":"https://openreview.net/pdf?id=_eTZBs-yedr"}],"author":[{"full_name":"Peste, Elena-Alexandra","first_name":"Elena-Alexandra","id":"32D78294-F248-11E8-B48F-1D18A9856A87","last_name":"Peste"},{"full_name":"Vladu, Adrian","last_name":"Vladu","first_name":"Adrian"},{"full_name":"Kurtic, Eldar","last_name":"Kurtic","first_name":"Eldar","id":"47beb3a5-07b5-11eb-9b87-b108ec578218"},{"full_name":"Lampert, Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887","first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian"}],"department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"abstract":[{"lang":"eng","text":"Deep neural networks (DNNs) often have to be compressed, via pruning and/or quantization, before they can be deployed in practical settings. In this work we propose a new compression-aware minimizer dubbed CrAM that modifies the optimization step in a principled way, in order to produce models whose local loss behavior is stable under compression operations such as pruning. Thus, dense models trained via CrAM should be compressible post-training, in a single step, without significant accuracy loss. Experimental results on standard benchmarks, such as residual networks for ImageNet classification and BERT models for language modelling, show that CrAM produces dense models that can be more accurate than the standard SGD/Adam-based baselines, but which are stable under weight pruning: specifically, we can prune models in one-shot to 70-80% sparsity with almost no accuracy loss, and to 90% with reasonable (∼1%) accuracy loss, which is competitive with gradual compression methods. Additionally, CrAM can produce sparse models which perform well for transfer learning, and it also works for semi-structured 2:4 pruning patterns supported by GPU hardware. The code for reproducing the results is available at this https URL ."}],"article_processing_charge":"No","external_id":{"arxiv":["2207.14200"]},"language":[{"iso":"eng"}],"has_accepted_license":"1","oa":1,"ddc":["000"],"_id":"13053"},{"title":"The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival","oa_version":"Published Version","degree_awarded":"PhD","ec_funded":1,"date_published":"2023-05-31T00:00:00Z","publication_identifier":{"issn":["2663-337X"]},"acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"EM-Fac"}],"OA_place":"publisher","status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","project":[{"name":"Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models","grant_number":"715508","_id":"25444568-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"call_identifier":"FWF","_id":"2548AE96-B435-11E9-9278-68D0E5697425","grant_number":"W1232","name":"Molecular Drug Targets"}],"citation":{"short":"L. Knaus, The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival, Institute of Science and Technology Austria, 2023.","apa":"Knaus, L. (2023). <i>The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13107\">https://doi.org/10.15479/at:ista:13107</a>","ieee":"L. Knaus, “The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival,” Institute of Science and Technology Austria, 2023.","ista":"Knaus L. 2023. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. Institute of Science and Technology Austria.","ama":"Knaus L. The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13107\">10.15479/at:ista:13107</a>","chicago":"Knaus, Lisa. “The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13107\">https://doi.org/10.15479/at:ista:13107</a>.","mla":"Knaus, Lisa. <i>The Metabolism of the Developing Brain : How Large Neutral Amino Acids Modulate Perinatal Neuronal Excitability and Survival</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13107\">10.15479/at:ista:13107</a>."},"related_material":{"record":[{"status":"public","id":"12802","relation":"part_of_dissertation"}]},"type":"dissertation","corr_author":"1","day":"31","date_created":"2023-06-01T09:05:24Z","doi":"10.15479/at:ista:13107","department":[{"_id":"GradSch"},{"_id":"GaNo"}],"abstract":[{"text":"Within the human body, the brain exhibits the highest rate of energy consumption amongst all organs, with the majority of generated ATP being utilized to sustain neuronal activity. Therefore, the metabolism of the mature cerebral cortex is geared towards preserving metabolic homeostasis whilst generating significant amounts of energy. This requires a precise interplay between diverse metabolic pathways, spanning from a tissue-wide scale to the level of individual neurons. Disturbances to this delicate metabolic equilibrium, such as those resulting from maternal malnutrition\r\nor mutations affecting metabolic enzymes, often result in neuropathological variants of neurodevelopment. For instance, mutations in SLC7A5, a transporter of metabolically essential large neutral amino acids (LNAAs), have been associated with autism and microcephaly. However, despite recent progress in the field, the extent of metabolic restructuring that occurs within the developing brain and the corresponding alterations in nutrient demands during various critical periods remain largely unknown. To investigate this, we performed metabolomic profiling of the murine cerebral cortex to characterize the metabolic state of the forebrain at different developmental stages. We found that the developing cortex undergoes substantial metabolic reprogramming, with specific sets of metabolites displaying stage-specific changes. According to our observations, we determined a distinct temporal period in postnatal development during which the cortex displays heightened reliance on LNAAs. Hence, using a conditional knock-out mouse model, we deleted Slc7a5 in neural cells, allowing us to monitor the impact of a perturbed neuronal metabolic state across multiple developmental stages of corticogenesis. We found that manipulating the levels of essential LNAAs in cortical neurons in vivo affects one particular perinatal developmental period critical for cortical network refinement. Abnormally low intracellular LNAA levels result in cell-autonomous alterations in neuronal lipid metabolism, excitability, and survival during this particular time window. Although most of the effects of Slc7a5 deletion on neuronal physiology are transient, derailment of these processes during this brief but crucial window leads to long-term circuit dysfunction in mice. In conclusion, out data indicate that the cerebral cortex undergoes significant metabolic reorganization during development. This process involves the intricate integration of multiple metabolic pathways to ensure optimal neuronal function throughout different developmental stages. Our findings offer a paradigm for understanding how neurons synchronize the expression of nutrient-related genes with their activity to allow proper brain maturation. Further, our results demonstrate that disruptions in these precisely calibrated metabolic processes during critical periods of brain development may result in neuropathological outcomes in mice and in humans.","lang":"eng"}],"article_processing_charge":"No","page":"147","author":[{"id":"3B2ABCF4-F248-11E8-B48F-1D18A9856A87","first_name":"Lisa","last_name":"Knaus","full_name":"Knaus, Lisa"}],"supervisor":[{"last_name":"Novarino","first_name":"Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","full_name":"Novarino, Gaia"}],"_id":"13107","language":[{"iso":"eng"}],"oa":1,"has_accepted_license":"1","ddc":["570"],"file":[{"date_created":"2023-06-01T13:48:41Z","file_name":"Thesis_Lisa Knaus_approved_final.docx","relation":"source_file","creator":"lknaus","file_id":"13112","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","access_level":"closed","date_updated":"2023-06-01T13:48:41Z","checksum":"4b69a4ac0bbf4163d59c0b58dcb4f2c3","file_size":12991551},{"checksum":"6903d152aa01181d87a696085af31c83","file_size":9309015,"date_updated":"2023-06-07T08:41:49Z","access_level":"open_access","file_id":"13114","creator":"lknaus","content_type":"application/pdf","file_name":"Thesis_Lisa Knaus_approved_final_pdfa2b.pdf","relation":"main_file","date_created":"2023-06-02T09:47:29Z"}],"file_date_updated":"2023-06-07T08:41:49Z","date_updated":"2026-04-14T08:34:36Z","year":"2023","publisher":"Institute of Science and Technology Austria","month":"05","alternative_title":["ISTA Thesis"],"fulldoi":"https://doi.org/10.15479/at:ista:13107"},{"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2106.07328","open_access":"1"}],"fulldoi":"https://doi.org/10.4153/S000843952300036X","volume":66,"year":"2023","publisher":"Cambridge University Press","month":"12","date_updated":"2026-04-08T13:04:49Z","_id":"13128","issue":"4","oa":1,"intvolume":"        66","external_id":{"arxiv":["2106.07328"],"isi":["001011963000001"]},"language":[{"iso":"eng"}],"department":[{"_id":"GradSch"}],"abstract":[{"text":"Given 𝐴 ⊆𝐺⁡𝐿2⁡(𝔽𝑞), we prove that there exist disjoint subsets 𝐵,𝐶 ⊆𝐴 such that 𝐴 =𝐵 ⊔𝐶 and their additive and multiplicative energies satisfying\r\nmax⁡{𝐸+⁡(𝐵),𝐸×⁡(𝐶)}≪|𝐴|3/𝑀⁡(|𝐴|), where\r\n𝑀⁡(|𝐴|)=min⁡{𝑞4/3/|𝐴|1/3⁢(log⁡|𝐴|)2/3, |𝐴|4/5/𝑞13/5⁢(log⁡|𝐴|)27/10}.\r\n \r\nWe also study some related questions on moderate expanders over matrix rings, namely, for 𝐴,𝐵,𝐶 ⊆𝐺⁡𝐿2⁡(𝔽𝑞), we have\r\n|𝐴⁢𝐵+𝐶|, |(𝐴+𝐵)⁢𝐶|≫𝑞4,\r\n whenever |𝐴|⁢|𝐵|⁢|𝐶| ≫𝑞10+1/2. These improve earlier results due to Karabulut, Koh, Pham, Shen, and Vinh ([2019], Expanding phenomena over matrix rings, 𝐹⁡𝑜⁢𝑟⁢𝑢⁢𝑚⁢𝑀⁢𝑎⁢𝑡⁢ℎ., 31, 951–970).","lang":"eng"}],"article_processing_charge":"No","doi":"10.4153/S000843952300036X","page":"1280-1295","author":[{"first_name":"Ali","last_name":"Mohammadi","full_name":"Mohammadi, Ali"},{"full_name":"Pham, Thang","first_name":"Thang","last_name":"Pham"},{"full_name":"Wang, Yiting","id":"1917d194-076e-11ed-97cd-837255f88785","first_name":"Yiting","orcid":"0000-0002-2856-767X","last_name":"Wang"}],"type":"journal_article","article_type":"original","arxiv":1,"date_created":"2023-06-11T22:00:40Z","day":"01","scopus_import":"1","isi":1,"citation":{"apa":"Mohammadi, A., Pham, T., &#38; Wang, Y. (2023). An energy decomposition theorem for matrices and related questions. <i>Canadian Mathematical Bulletin</i>. Cambridge University Press. <a href=\"https://doi.org/10.4153/S000843952300036X\">https://doi.org/10.4153/S000843952300036X</a>","short":"A. Mohammadi, T. Pham, Y. Wang, Canadian Mathematical Bulletin 66 (2023) 1280–1295.","ista":"Mohammadi A, Pham T, Wang Y. 2023. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 66(4), 1280–1295.","ieee":"A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices and related questions,” <i>Canadian Mathematical Bulletin</i>, vol. 66, no. 4. Cambridge University Press, pp. 1280–1295, 2023.","ama":"Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and related questions. <i>Canadian Mathematical Bulletin</i>. 2023;66(4):1280-1295. doi:<a href=\"https://doi.org/10.4153/S000843952300036X\">10.4153/S000843952300036X</a>","mla":"Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related Questions.” <i>Canadian Mathematical Bulletin</i>, vol. 66, no. 4, Cambridge University Press, 2023, pp. 1280–95, doi:<a href=\"https://doi.org/10.4153/S000843952300036X\">10.4153/S000843952300036X</a>.","chicago":"Mohammadi, Ali, Thang Pham, and Yiting Wang. “An Energy Decomposition Theorem for Matrices and Related Questions.” <i>Canadian Mathematical Bulletin</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.4153/S000843952300036X\">https://doi.org/10.4153/S000843952300036X</a>."},"publication_identifier":{"eissn":["1496-4287"],"issn":["0008-4395"]},"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publication":"Canadian Mathematical Bulletin","date_published":"2023-12-01T00:00:00Z","title":"An energy decomposition theorem for matrices and related questions","oa_version":"Preprint","quality_controlled":"1"},{"doi":"10.1103/PhysRevB.107.184312","article_processing_charge":"No","abstract":[{"text":"We consider the spin-\r\n1\r\n2\r\n Heisenberg chain (XXX model) weakly perturbed away from integrability by an isotropic next-to-nearest neighbor exchange interaction. Recently, it was conjectured that this model possesses an infinite tower of quasiconserved integrals of motion (charges) [D. Kurlov et al., Phys. Rev. B 105, 104302 (2022)]. In this work we first test this conjecture by investigating how the norm of the adiabatic gauge potential (AGP) scales with the system size, which is known to be a remarkably accurate measure of chaos. We find that for the perturbed XXX chain the behavior of the AGP norm corresponds to neither an integrable nor a chaotic regime, which supports the conjectured quasi-integrability of the model. We then prove the conjecture and explicitly construct the infinite set of quasiconserved charges. Our proof relies on the fact that the XXX chain perturbed by next-to-nearest exchange interaction can be viewed as a truncation of an integrable long-range deformation of the Heisenberg spin chain.","lang":"eng"}],"department":[{"_id":"GradSch"}],"author":[{"first_name":"Pavel","last_name":"Orlov","full_name":"Orlov, Pavel"},{"first_name":"Anastasiia","last_name":"Tiutiakina","full_name":"Tiutiakina, Anastasiia"},{"last_name":"Sharipov","first_name":"Rustem","full_name":"Sharipov, Rustem"},{"last_name":"Petrova","id":"0ac84990-897b-11ed-a09c-f5abb56a4ede","first_name":"Elena","full_name":"Petrova, Elena"},{"last_name":"Gritsev","first_name":"Vladimir","full_name":"Gritsev, Vladimir"},{"full_name":"Kurlov, Denis V.","first_name":"Denis V.","last_name":"Kurlov"}],"_id":"13138","issue":"18","language":[{"iso":"eng"}],"external_id":{"arxiv":["2303.00729"],"isi":["001003686900004"]},"intvolume":"       107","oa":1,"date_updated":"2023-08-02T06:16:02Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2303.00729"}],"publisher":"American Physical Society","year":"2023","month":"05","volume":107,"fulldoi":"https://doi.org/10.1103/PhysRevB.107.184312","oa_version":"Preprint","title":"Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain","article_number":"184312","date_published":"2023-05-01T00:00:00Z","quality_controlled":"1","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication":"Physical Review B","status":"public","citation":{"chicago":"Orlov, Pavel, Anastasiia Tiutiakina, Rustem Sharipov, Elena Petrova, Vladimir Gritsev, and Denis V. Kurlov. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.” <i>Physical Review B</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">https://doi.org/10.1103/PhysRevB.107.184312</a>.","mla":"Orlov, Pavel, et al. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.” <i>Physical Review B</i>, vol. 107, no. 18, 184312, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">10.1103/PhysRevB.107.184312</a>.","ama":"Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. <i>Physical Review B</i>. 2023;107(18). doi:<a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">10.1103/PhysRevB.107.184312</a>","ieee":"P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” <i>Physical Review B</i>, vol. 107, no. 18. American Physical Society, 2023.","ista":"Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. 2023. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 107(18), 184312.","short":"P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).","apa":"Orlov, P., Tiutiakina, A., Sharipov, R., Petrova, E., Gritsev, V., &#38; Kurlov, D. V. (2023). Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.107.184312\">https://doi.org/10.1103/PhysRevB.107.184312</a>"},"acknowledgement":"The numerical computations in this work were performed using QuSpin [83, 84]. We acknowledge useful discussions with Igor Aleiner, Boris Altshuler, Jacopo de Nardis, Anatoli Polkovnikov, and Gora Shlyapnikov. We thank Piotr Sierant and Dario Rosa for drawing our attention to Refs. [31, 42, 46] and Ref. [47], respectively. We are grateful to an anonymous referee for very useful comments and for drawing our attention to Refs. [80, 81]. The work of VG is part of the DeltaITP consortium, a program of the Netherlands Organization for Scientific\r\nResearch (NWO) funded by the Dutch Ministry of Education, Culture and Science (OCW). VG is also partially supported by RSF 19-71-10092. The work of AT was supported by the ERC Starting Grant 101042293 (HEPIQ). RS acknowledges support from Slovenian Research Agency (ARRS) - research programme P1-0402. ","type":"journal_article","isi":1,"day":"01","date_created":"2023-06-18T22:00:46Z","scopus_import":"1","arxiv":1,"article_type":"original"}]