[{"status":"public","main_file_link":[{"url":"https://arxiv.org/abs/2302.01629","open_access":"1"}],"date_created":"2023-04-23T16:11:03Z","acknowledgement":"Simone Bombari and Marco Mondelli were partially supported by the 2019 Lopez-Loreta prize, and\r\nthe authors would like to thank Hamed Hassani for helpful discussions.\r\n","article_processing_charge":"No","conference":{"start_date":"2023-07-23","location":"Honolulu, HI, United States","end_date":"2023-07-29","name":"ICML: International Conference on Machine Learning"},"related_material":{"link":[{"url":"https://github.com/simone-bombari/beyond-universal-robustness","relation":"software"}]},"publication":"Proceedings of the 40th International Conference on Machine Learning","title":"Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels","alternative_title":["PMLR"],"day":"27","project":[{"name":"Prix Lopez-Loretta 2019 - Marco Mondelli","_id":"059876FA-7A3F-11EA-A408-12923DDC885E"}],"department":[{"_id":"GradSch"},{"_id":"MaMo"}],"author":[{"full_name":"Bombari, Simone","last_name":"Bombari","id":"ca726dda-de17-11ea-bc14-f9da834f63aa","first_name":"Simone"},{"last_name":"Kiyani","full_name":"Kiyani, Shayan","id":"f5a2b424-e339-11ed-8435-ff3b4fe70cf8","first_name":"Shayan"},{"last_name":"Mondelli","full_name":"Mondelli, Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","first_name":"Marco","orcid":"0000-0002-3242-7020"}],"intvolume":"       202","date_updated":"2025-04-15T07:50:16Z","oa_version":"Preprint","abstract":[{"lang":"eng","text":"Machine learning models are vulnerable to adversarial perturbations, and a thought-provoking paper by Bubeck and Sellke has analyzed this phenomenon through the lens of over-parameterization: interpolating smoothly the data requires significantly more parameters than simply memorizing it. However, this \"universal\" law provides only a necessary condition for robustness, and it is unable to discriminate between models. In this paper, we address these gaps by focusing on empirical risk minimization in two prototypical settings, namely, random features and the neural tangent kernel (NTK). We prove that, for random features, the model is not robust for any degree of over-parameterization, even when the necessary condition coming from the universal law of robustness is satisfied. In contrast, for even activations, the NTK model meets the universal lower bound, and it is robust as soon as the necessary condition on over-parameterization is fulfilled. This also addresses a conjecture in prior work by Bubeck, Li and Nagaraj. Our analysis decouples the effect of the kernel of the model from an \"interaction matrix\", which describes the interaction with the test data and captures the effect of the activation. Our theoretical results are corroborated by numerical evidence on both synthetic and standard datasets (MNIST, CIFAR-10)."}],"oa":1,"date_published":"2023-10-27T00:00:00Z","language":[{"iso":"eng"}],"publisher":"ML Research Press","external_id":{"arxiv":["2302.01629"]},"page":"2738-2776","year":"2023","quality_controlled":"1","arxiv":1,"month":"10","_id":"12859","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"S. Bombari, S. Kiyani, and M. Mondelli, “Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels,” in <i>Proceedings of the 40th International Conference on Machine Learning</i>, Honolulu, HI, United States, 2023, vol. 202, pp. 2738–2776.","ama":"Bombari S, Kiyani S, Mondelli M. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In: <i>Proceedings of the 40th International Conference on Machine Learning</i>. Vol 202. ML Research Press; 2023:2738-2776.","apa":"Bombari, S., Kiyani, S., &#38; Mondelli, M. (2023). Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In <i>Proceedings of the 40th International Conference on Machine Learning</i> (Vol. 202, pp. 2738–2776). Honolulu, HI, United States: ML Research Press.","short":"S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.","ista":"Bombari S, Kiyani S, Mondelli M. 2023. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. Proceedings of the 40th International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 202, 2738–2776.","mla":"Bombari, Simone, et al. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” <i>Proceedings of the 40th International Conference on Machine Learning</i>, vol. 202, ML Research Press, 2023, pp. 2738–76.","chicago":"Bombari, Simone, Shayan Kiyani, and Marco Mondelli. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” In <i>Proceedings of the 40th International Conference on Machine Learning</i>, 202:2738–76. ML Research Press, 2023."},"publication_status":"published","type":"conference","volume":202,"corr_author":"1"},{"oa_version":"Published Version","citation":{"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.","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>","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>.","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>.","short":"F.R. Klausen, A.B. Lauritsen, (2023)."},"date_updated":"2025-09-09T12:26:01Z","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"}],"corr_author":"1","type":"research_data","author":[{"first_name":"Frederik Ravn","last_name":"Klausen","full_name":"Klausen, Frederik Ravn"},{"full_name":"Lauritsen, Asbjørn Bækgaard","last_name":"Lauritsen","orcid":"0000-0003-4476-2288","first_name":"Asbjørn Bækgaard","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","tmp":{"short":"CC0 (1.0)","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"},"_id":"12869","department":[{"_id":"GradSch"},{"_id":"RoSe"}],"title":"Research data for: A stochastic cellular automaton model of culture formation","ddc":["000"],"day":"26","month":"04","year":"2023","related_material":{"record":[{"relation":"used_in_publication","id":"14505","status":"deleted"},{"status":"public","id":"12890","relation":"used_in_publication"}]},"article_processing_charge":"No","file":[{"file_name":"README.md","checksum":"85ede12d38bb8d944022a8cba4d719f5","access_level":"open_access","file_id":"12870","file_size":4567,"content_type":"application/octet-stream","date_updated":"2023-04-26T12:30:06Z","date_created":"2023-04-26T12:30:06Z","success":1,"relation":"main_file","creator":"alaurits"},{"date_created":"2023-04-26T12:27:34Z","relation":"main_file","creator":"alaurits","success":1,"file_id":"12871","file_name":"simulations_era=10_flux_varied_europe.zip","checksum":"25bf79452ae895f9c8a20571a096b4c3","access_level":"open_access","content_type":"application/x-zip-compressed","date_updated":"2023-04-26T12:27:34Z","file_size":732586731},{"content_type":"application/x-zip-compressed","date_updated":"2023-04-26T12:29:53Z","file_size":1743893150,"file_id":"12872","file_name":"simulations_era=10_flux_varied_torus.zip","checksum":"bca48d80ece73eb169aee7211a4a751a","access_level":"open_access","creator":"alaurits","relation":"main_file","success":1,"date_created":"2023-04-26T12:29:53Z"},{"success":1,"creator":"alaurits","relation":"main_file","date_created":"2023-04-26T12:29:19Z","file_size":878391851,"content_type":"application/x-zip-compressed","date_updated":"2023-04-26T12:29:19Z","file_name":"simulations_era=10_R_varied_torus.zip","checksum":"e77a655db15486a387a36362fbf0b665","access_level":"open_access","file_id":"12873"},{"date_created":"2023-04-26T12:30:05Z","success":1,"creator":"alaurits","relation":"main_file","checksum":"8556406513adc4aa2e0417f46680f627","access_level":"open_access","file_name":"simulations_era=100.zip","file_id":"12874","file_size":201652478,"date_updated":"2023-04-26T12:30:05Z","content_type":"application/x-zip-compressed"}],"date_created":"2023-04-26T12:34:49Z","oa":1,"file_date_updated":"2023-04-26T12:30:06Z","status":"public","date_published":"2023-04-26T00:00:00Z","doi":"10.15479/AT:ISTA:12869","publisher":"Institute of Science and Technology Austria","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. "},{"ec_funded":1,"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-028-2"]},"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"12237"},{"relation":"part_of_dissertation","id":"10806","status":"public"},{"relation":"part_of_dissertation","id":"10123","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"10042"},{"status":"public","id":"9118","relation":"part_of_dissertation"}]},"acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"NanoFab"}],"status":"public","file_date_updated":"2023-05-02T07:43:18Z","date_created":"2023-05-02T07:58:57Z","article_processing_charge":"No","author":[{"orcid":"0000-0003-4566-5877","id":"45D7531A-F248-11E8-B48F-1D18A9856A87","first_name":"Mariano","full_name":"Calcabrini, Mariano","last_name":"Calcabrini"}],"date_updated":"2026-04-07T13:26:14Z","oa_version":"Published Version","abstract":[{"lang":"eng","text":"High-performance semiconductors rely upon precise control of heat and charge transport. This can be achieved by precisely engineering defects in polycrystalline solids. There are multiple approaches to preparing such polycrystalline semiconductors, and the transformation of solution-processed colloidal nanoparticles is appealing because colloidal nanoparticles combine low cost with structural and compositional tunability along with rich surface chemistry. However, the multiple processes from nanoparticle synthesis to the final bulk nanocomposites are very complex. They involve nanoparticle purification, post-synthetic modifications, and finally consolidation (thermal treatments and densification). All these properties dictate the final material’s composition and microstructure, ultimately affecting its functional properties. This thesis explores the synthesis, surface chemistry and consolidation of colloidal semiconductor nanoparticles into dense solids. In particular, the transformations that take place during these processes, and their effect on the material’s transport properties are evaluated. "}],"title":"Nanoparticle-based semiconductor solids: From synthesis to consolidation","day":"28","alternative_title":["ISTA Thesis"],"ddc":["546","541"],"has_accepted_license":"1","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"}],"department":[{"_id":"GradSch"},{"_id":"MaIb"}],"page":"82","year":"2023","oa":1,"file":[{"relation":"source_file","creator":"mcalcabr","date_created":"2023-05-02T07:43:18Z","file_size":99627036,"date_updated":"2023-05-02T07:43:18Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","checksum":"9347b0e09425f56fdcede5d3528404dc","access_level":"closed","file_name":"Thesis_Calcabrini.docx","file_id":"12887"},{"content_type":"application/pdf","date_updated":"2023-05-02T07:42:45Z","file_size":8742220,"file_id":"12888","file_name":"Thesis_Calcabrini_pdfa.pdf","checksum":"2d188b76621086cd384f0b9264b0a576","access_level":"open_access","creator":"mcalcabr","relation":"main_file","success":1,"date_created":"2023-05-02T07:42:45Z"}],"language":[{"iso":"eng"}],"doi":"10.15479/at:ista:12885","date_published":"2023-04-28T00:00:00Z","publisher":"Institute of Science and Technology Austria","OA_place":"publisher","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","supervisor":[{"first_name":"Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843","last_name":"Ibáñez","full_name":"Ibáñez, Maria"}],"citation":{"ieee":"M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.","apa":"Calcabrini, M. (2023). <i>Nanoparticle-based semiconductor solids: From synthesis to consolidation</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:12885\">https://doi.org/10.15479/at:ista:12885</a>","ama":"Calcabrini M. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12885\">10.15479/at:ista:12885</a>","short":"M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.","mla":"Calcabrini, Mariano. <i>Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:12885\">10.15479/at:ista:12885</a>.","ista":"Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.","chicago":"Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:12885\">https://doi.org/10.15479/at:ista:12885</a>."},"publication_status":"published","type":"dissertation","corr_author":"1","degree_awarded":"PhD","month":"04","_id":"12885"},{"publication_status":"published","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.","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>","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>","short":"F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).","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>.","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>.","ista":"Klausen FR, Lauritsen AB. 2023. Stochastic cellular automaton model of culture formation. Physical Review E. 108(5), 054307."},"corr_author":"1","type":"journal_article","volume":108,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","_id":"12890","arxiv":1,"pmid":1,"month":"11","scopus_import":"1","quality_controlled":"1","year":"2023","external_id":{"pmid":["38115445"],"arxiv":["2305.02153"],"isi":["001106396300005"]},"article_type":"original","oa":1,"publisher":"American Physical Society","date_published":"2023-11-08T00:00:00Z","language":[{"iso":"eng"}],"doi":"10.1103/PhysRevE.108.054307","issue":"5","oa_version":"Preprint","article_number":"054307","intvolume":"       108","date_updated":"2025-09-09T12:26:01Z","abstract":[{"lang":"eng","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."}],"author":[{"first_name":"Frederik Ravn","last_name":"Klausen","full_name":"Klausen, Frederik Ravn"},{"orcid":"0000-0003-4476-2288","first_name":"Asbjørn Bækgaard","id":"e1a2682f-dc8d-11ea-abe3-81da9ac728f1","full_name":"Lauritsen, Asbjørn Bækgaard","last_name":"Lauritsen"}],"isi":1,"department":[{"_id":"GradSch"},{"_id":"RoSe"}],"title":"Stochastic cellular automaton model of culture formation","day":"08","related_material":{"link":[{"relation":"software","url":"https://github.com/FrederikRavnKlausen/model-for-culture-formation"}],"record":[{"status":"public","id":"12869","relation":"research_data"}]},"publication":"Physical Review E","publication_identifier":{"issn":["2470-0045"],"eissn":["2470-0053"]},"article_processing_charge":"No","date_created":"2023-05-04T08:35:01Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2305.02153"}],"status":"public","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."},{"file":[{"creator":"rsahu","relation":"source_file","date_created":"2023-05-09T08:45:14Z","file_size":36767177,"content_type":"application/x-zip-compressed","date_updated":"2023-06-06T22:30:03Z","file_name":"thesis.zip","embargo_to":"open_access","access_level":"closed","checksum":"8cbdab9c37ee55e591092a6f66b272c4","file_id":"12928"},{"checksum":"439659ead46618147309be39d9dd5a8c","access_level":"closed","file_name":"thesis_pdfa_final.pdf","file_id":"12929","file_size":17501990,"date_updated":"2023-07-06T11:37:40Z","content_type":"application/pdf","date_created":"2023-05-09T08:51:17Z","relation":"main_file","creator":"rsahu"}],"doi":"10.15479/at:ista:12900","publisher":"Institute of Science and Technology Austria","date_published":"2023-05-05T00:00:00Z","language":[{"iso":"eng"}],"keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"page":"190","year":"2023","month":"05","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (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","short":"CC BY-NC-SA (4.0)"},"_id":"12900","OA_place":"publisher","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publication_status":"published","citation":{"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>.","ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","short":"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>","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:12900\">10.15479/at:ista:12900</a>","ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023."},"supervisor":[{"last_name":"Fink","full_name":"Fink, Johannes M","first_name":"Johannes M","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8112-028X"}],"degree_awarded":"PhD","corr_author":"1","type":"dissertation","date_created":"2023-05-05T11:08:50Z","file_date_updated":"2023-07-06T11:37:40Z","status":"public","article_processing_charge":"No","ec_funded":1,"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-030-5"]},"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"related_material":{"record":[{"relation":"new_edition","id":"13175","status":"public"},{"relation":"part_of_dissertation","id":"10924","status":"public"},{"status":"public","relation":"part_of_dissertation","id":"9114"}]},"title":"Cavity quantum electrooptics","ddc":["537","535","539"],"alternative_title":["ISTA Thesis"],"day":"05","has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"JoFi"}],"project":[{"grant_number":"758053","call_identifier":"H2020","_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits"},{"call_identifier":"H2020","grant_number":"899354","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","name":"Quantum Local Area Networks with Superconducting Qubits"},{"name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f","grant_number":"F07105"}],"author":[{"id":"47D26E34-F248-11E8-B48F-1D18A9856A87","first_name":"Rishabh","orcid":"0000-0001-6264-2162","last_name":"Sahu","full_name":"Sahu, Rishabh"}],"oa_version":"Published Version","date_updated":"2026-04-15T06:43:26Z","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"}]},{"contributor":[{"id":"2A0848E2-F248-11E8-B48F-1D18A9856A87","first_name":"Ariana","last_name":"Macon"},{"last_name":"Vicoso","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","first_name":"Beatriz","orcid":"0000-0002-4579-8306"}],"doi":"10.15479/AT:ISTA:12933","publisher":"Institute of Science and Technology Austria","date_published":"2023-05-15T00:00:00Z","file_date_updated":"2023-05-11T12:50:18Z","oa":1,"status":"public","date_created":"2023-05-10T10:00:49Z","file":[{"date_created":"2023-05-10T09:41:43Z","creator":"gpuixeus","relation":"main_file","success":1,"file_id":"12934","checksum":"0ba0bcd0bb8b18d84792136a4370df90","access_level":"open_access","file_name":"Dataset_S1.csv","date_updated":"2023-05-10T09:41:43Z","content_type":"text/csv","file_size":8029982},{"file_id":"12935","access_level":"open_access","checksum":"a62aa9a6d4904e0fdb699cf752640863","file_name":"Dataset_S2.csv","date_updated":"2023-05-10T09:41:43Z","content_type":"text/csv","file_size":13667640,"date_created":"2023-05-10T09:41:43Z","relation":"main_file","creator":"gpuixeus","success":1},{"file_id":"12936","checksum":"e20ea7f4f8a9bdf1b3849a44664ae58b","access_level":"open_access","file_name":"Dataset_S3.csv","date_updated":"2023-05-10T09:41:48Z","content_type":"text/csv","file_size":8369141,"date_created":"2023-05-10T09:41:48Z","creator":"gpuixeus","relation":"main_file","success":1},{"file_size":19543247,"content_type":"text/csv","date_updated":"2023-05-10T09:41:50Z","file_name":"Dataset_S4.csv","checksum":"f6156e5fc44446c907ddd0d7289d4cf8","access_level":"open_access","file_id":"12937","success":1,"relation":"main_file","creator":"gpuixeus","date_created":"2023-05-10T09:41:50Z"},{"success":1,"relation":"main_file","creator":"gpuixeus","date_created":"2023-05-11T12:50:18Z","file_size":4566,"content_type":"text/plain","date_updated":"2023-05-11T12:50:18Z","file_name":"readme.txt","access_level":"open_access","checksum":"ae9f54c77a1c42b666ae6c1dfd33ac86","file_id":"12944"}],"article_processing_charge":"No","related_material":{"record":[{"relation":"used_in_publication","id":"14077","status":"public"},{"id":"14058","relation":"used_in_publication","status":"public"}]},"year":"2023","day":"15","month":"05","ddc":["570"],"title":"Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster","department":[{"_id":"GradSch"},{"_id":"NiBa"},{"_id":"BeVi"}],"_id":"12933","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"has_accepted_license":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"full_name":"Puixeu Sala, Gemma","last_name":"Puixeu Sala","orcid":"0000-0001-8330-1754","first_name":"Gemma","id":"33AB266C-F248-11E8-B48F-1D18A9856A87"}],"corr_author":"1","abstract":[{"lang":"eng","text":"Datasets of the publication \"Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster\"."}],"type":"research_data","date_updated":"2026-04-07T13:25:33Z","citation":{"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>","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>","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.","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>.","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>.","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>.","short":"G. Puixeu Sala, (2023)."},"oa_version":"Published Version"},{"project":[{"call_identifier":"H2020","grant_number":"715767","_id":"24F9549A-B435-11E9-9278-68D0E5697425","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling"}],"department":[{"_id":"GradSch"},{"_id":"BeBi"}],"isi":1,"has_accepted_license":"1","day":"26","ddc":["006"],"title":"PCBend: Light up your 3D shapes with foldable circuit boards","abstract":[{"lang":"eng","text":"We propose a computational design approach for covering a surface with individually addressable RGB LEDs, effectively forming a low-resolution surface screen. To achieve a low-cost and scalable approach, we propose creating designs from flat PCB panels bent in-place along the surface of a 3D printed core. Working with standard rigid PCBs enables the use of\r\nestablished PCB manufacturing services, allowing the fabrication of designs with several hundred LEDs. \r\nOur approach optimizes the PCB geometry for folding, and then jointly optimizes the LED packing, circuit and routing, solving a challenging layout problem under strict manufacturing requirements. Unlike paper, PCBs cannot bend beyond a certain point without breaking. Therefore, we introduce parametric cut patterns acting as hinges, designed to allow bending while remaining compact. To tackle the joint optimization of placement, circuit and routing, we propose a specialized algorithm that splits the global problem into one sub-problem per triangle, which is then individually solved.\r\nOur technique generates PCB blueprints in a completely automated way. After being fabricated by a PCB manufacturing service, the boards are bent and glued by the user onto the 3D printed support. We demonstrate our technique on a range of physical models and virtual examples, creating intricate surface light patterns from hundreds of LEDs."}],"intvolume":"        42","date_updated":"2026-05-04T12:41:52Z","article_number":"142","oa_version":"Submitted Version","author":[{"first_name":"Marco","last_name":"Freire","full_name":"Freire, Marco"},{"orcid":"0009-0007-6138-6890","id":"FF8FA64C-AA6A-11E9-99AD-50D4E5697425","first_name":"Manas","full_name":"Bhargava, Manas","last_name":"Bhargava"},{"first_name":"Camille","id":"2B14B676-F248-11E8-B48F-1D18A9856A87","last_name":"Schreck","full_name":"Schreck, Camille"},{"last_name":"Hugron","full_name":"Hugron, Pierre-Alexandre","first_name":"Pierre-Alexandre"},{"orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","full_name":"Bickel, Bernd","last_name":"Bickel"},{"first_name":"Sylvain","last_name":"Lefebvre","full_name":"Lefebvre, Sylvain"}],"article_processing_charge":"No","acknowledgement":"We thank the reviewers for the valuable feedback. We also thank the Miba Machine Shop at ISTA, PCBWay, and PragoBoard for helping us with fabrication and assembly. This project was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 715767 – MATERIALIZABLE).","file_date_updated":"2023-06-20T12:20:51Z","status":"public","date_created":"2023-05-22T08:37:04Z","acknowledged_ssus":[{"_id":"M-Shop"}],"related_material":{"record":[{"id":"20276","relation":"dissertation_contains","status":"public"}]},"publication":"Transactions on Graphics","publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"conference":{"start_date":"2023-08-06","location":"Los Angeles, CA, United States","name":"SIGGRAPH: Computer Graphics and Interactive Techniques Conference","end_date":"2023-08-10"},"ec_funded":1,"_id":"13049","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"month":"07","scopus_import":"1","corr_author":"1","volume":42,"type":"journal_article","citation":{"ama":"Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. <i>Transactions on Graphics</i>. 2023;42(4). doi:<a href=\"https://doi.org/10.1145/3592411\">10.1145/3592411</a>","apa":"Freire, M., Bhargava, M., Schreck, C., Hugron, P.-A., Bickel, B., &#38; Lefebvre, S. (2023). PCBend: Light up your 3D shapes with foldable circuit boards. <i>Transactions on Graphics</i>. Los Angeles, CA, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3592411\">https://doi.org/10.1145/3592411</a>","ieee":"M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” <i>Transactions on Graphics</i>, vol. 42, no. 4. Association for Computing Machinery, 2023.","chicago":"Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” <i>Transactions on Graphics</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3592411\">https://doi.org/10.1145/3592411</a>.","ista":"Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. 2023. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 42(4), 142.","mla":"Freire, Marco, et al. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” <i>Transactions on Graphics</i>, vol. 42, no. 4, 142, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3592411\">10.1145/3592411</a>.","short":"M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, S. Lefebvre, Transactions on Graphics 42 (2023)."},"publication_status":"published","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","keyword":["PCB design and layout","Mesh geometry models"],"article_type":"original","issue":"4","doi":"10.1145/3592411","language":[{"iso":"eng"}],"publisher":"Association for Computing Machinery","date_published":"2023-07-26T00:00:00Z","oa":1,"file":[{"file_id":"13156","file_name":"2023_ACMToG_Freire.pdf","checksum":"a0b0ba3b36f43a94388e8824613d812a","access_level":"open_access","content_type":"application/pdf","date_updated":"2023-06-19T11:02:23Z","file_size":78940724,"date_created":"2023-06-19T11:02:23Z","creator":"dernst","relation":"main_file","success":1},{"file_size":34345905,"content_type":"application/pdf","date_updated":"2023-06-20T12:20:51Z","file_name":"2023_ACMToG_SuppMaterial_Freire.pdf","checksum":"b9206bbb67af82df49b7e7cdbde3410c","access_level":"open_access","file_id":"13157","success":1,"relation":"main_file","creator":"dernst","date_created":"2023-06-20T12:20:51Z"}],"year":"2023","quality_controlled":"1","external_id":{"isi":["001044671300108"]}},{"file":[{"date_created":"2024-07-22T09:09:45Z","success":1,"relation":"main_file","creator":"dernst","checksum":"a6eec897e13a91cdc3eeaf309801752c","access_level":"open_access","file_name":"2023_ICLR_Peste.pdf","file_id":"17294","file_size":458201,"date_updated":"2024-07-22T09:09:45Z","content_type":"application/pdf"}],"oa":1,"publisher":"OpenReview","language":[{"iso":"eng"}],"date_published":"2023-05-01T00:00:00Z","external_id":{"arxiv":["2207.14200"]},"quality_controlled":"1","year":"2023","arxiv":1,"month":"05","_id":"13053","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","citation":{"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.","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.","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.","short":"A. Krumes, A. Vladu, E. Kurtic, C. Lampert, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , OpenReview, 2023.","mla":"Krumes, Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” <i>11th International Conference on Learning Representations </i>, 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.","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."},"type":"conference","corr_author":"1","main_file_link":[{"url":"https://openreview.net/pdf?id=_eTZBs-yedr","open_access":"1"}],"date_created":"2023-05-23T11:36:18Z","file_date_updated":"2024-07-22T09:09:45Z","status":"public","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).","article_processing_charge":"No","ec_funded":1,"conference":{"name":"ICLR: International Conference on Learning Representations","end_date":"2023-05-05","location":"Kigali, Rwanda ","start_date":"2023-05-01"},"publication":"11th International Conference on Learning Representations ","related_material":{"record":[{"id":"13074","relation":"dissertation_contains","status":"public"}],"link":[{"relation":"software","url":"https://github.com/IST-DASLab/CrAM"}]},"acknowledged_ssus":[{"_id":"ScienComp"}],"title":"CrAM: A Compression-Aware Minimizer","ddc":["000"],"day":"01","has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"project":[{"name":"Elastic Coordination for Scalable Machine Learning","call_identifier":"H2020","grant_number":"805223","_id":"268A44D6-B435-11E9-9278-68D0E5697425"}],"author":[{"full_name":"Peste, Elena-Alexandra","last_name":"Peste","first_name":"Elena-Alexandra","id":"32D78294-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Adrian","last_name":"Vladu","full_name":"Vladu, Adrian"},{"id":"47beb3a5-07b5-11eb-9b87-b108ec578218","first_name":"Eldar","full_name":"Kurtic, Eldar","last_name":"Kurtic"},{"orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph","full_name":"Lampert, Christoph","last_name":"Lampert"},{"first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian"}],"oa_version":"Published Version","date_updated":"2026-04-07T13:30:19Z","abstract":[{"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 .","lang":"eng"}]},{"alternative_title":["ISTA Thesis"],"day":"23","ddc":["000"],"title":"Efficiency and generalization of sparse neural networks","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385"},{"name":"Elastic Coordination for Scalable Machine Learning","grant_number":"805223","call_identifier":"H2020","_id":"268A44D6-B435-11E9-9278-68D0E5697425"}],"department":[{"_id":"GradSch"},{"_id":"DaAl"},{"_id":"ChLa"}],"has_accepted_license":"1","author":[{"id":"32D78294-F248-11E8-B48F-1D18A9856A87","first_name":"Elena-Alexandra","full_name":"Peste, Elena-Alexandra","last_name":"Peste"}],"abstract":[{"text":"Deep learning has become an integral part of a large number of important applications, and many of the recent breakthroughs have been enabled by the ability to train very large models, capable to capture complex patterns and relationships from the data. At the same time, the massive sizes of modern deep learning models have made their deployment to smaller devices more challenging; this is particularly important, as in many applications the users rely on accurate deep learning predictions, but they only have access to devices with limited memory and compute power. One solution to this problem is to prune neural networks, by setting as many of their parameters as possible to zero, to obtain accurate sparse models with lower memory footprint. Despite the great research progress in obtaining sparse models that preserve accuracy, while satisfying memory and computational constraints, there are still many challenges associated with efficiently training sparse models, as well as understanding their generalization properties.\r\n\r\nThe focus of this thesis is to investigate how the training process of sparse models can be made more efficient, and to understand the differences between sparse and dense models in terms of how well they can generalize to changes in the data distribution. We first study a method for co-training sparse and dense models, at a lower cost compared to regular training. With our method we can obtain very accurate sparse networks, and dense models that can recover the baseline accuracy. Furthermore, we are able to more easily analyze the differences, at prediction level, between the sparse-dense model pairs. Next, we investigate the generalization properties of sparse neural networks in more detail, by studying how well different sparse models trained on a larger task can adapt to smaller, more specialized tasks, in a transfer learning scenario. Our analysis across multiple pruning methods and sparsity levels reveals that sparse models provide features that can transfer similarly to or better than the dense baseline. However, the choice of the pruning method plays an important role, and can influence the results when the features are fixed (linear finetuning), or when they are allowed to adapt to the new task (full finetuning). Using sparse models with fixed masks for finetuning on new tasks has an important practical advantage, as it enables training neural networks on smaller devices. However, one drawback of current pruning methods is that the entire training cycle has to be repeated to obtain the initial sparse model, for every sparsity target; in consequence, the entire training process is costly and also multiple models need to be stored. In the last part of the thesis we propose a method that can train accurate dense models that are compressible in a single step, to multiple sparsity levels, without additional finetuning. Our method results in sparse models that can be competitive with existing pruning methods, and which can also successfully generalize to new tasks.","lang":"eng"}],"date_updated":"2026-06-18T17:18:20Z","oa_version":"Published Version","status":"public","file_date_updated":"2023-05-24T16:12:59Z","date_created":"2023-05-23T17:07:53Z","article_processing_charge":"No","publication_identifier":{"issn":["2663-337X"]},"ec_funded":1,"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"13053"},{"relation":"part_of_dissertation","id":"12299","status":"public"},{"status":"public","id":"11458","relation":"part_of_dissertation"}]},"acknowledged_ssus":[{"_id":"ScienComp"}],"month":"05","_id":"13074","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","OA_place":"publisher","corr_author":"1","type":"dissertation","degree_awarded":"PhD","citation":{"ama":"Krumes A. Efficiency and generalization of sparse neural networks. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13074\">10.15479/at:ista:13074</a>","apa":"Krumes, A. (2023). <i>Efficiency and generalization of sparse neural networks</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13074\">https://doi.org/10.15479/at:ista:13074</a>","ieee":"A. Krumes, “Efficiency and generalization of sparse neural networks,” Institute of Science and Technology Austria, 2023.","short":"A. Krumes, Efficiency and Generalization of Sparse Neural Networks, Institute of Science and Technology Austria, 2023.","mla":"Krumes, Alexandra. <i>Efficiency and Generalization of Sparse Neural Networks</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13074\">10.15479/at:ista:13074</a>.","chicago":"Krumes, Alexandra. “Efficiency and Generalization of Sparse Neural Networks.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13074\">https://doi.org/10.15479/at:ista:13074</a>.","ista":"Krumes A. 2023. Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria."},"supervisor":[{"full_name":"Lampert, Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","first_name":"Christoph"},{"last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X"}],"publication_status":"published","date_published":"2023-05-23T00:00:00Z","publisher":"Institute of Science and Technology Austria","doi":"10.15479/at:ista:13074","language":[{"iso":"eng"}],"oa":1,"file":[{"file_id":"13087","file_name":"PhD_Thesis_Alexandra_Peste_final.pdf","checksum":"6b3354968403cb9d48cc5a83611fb571","access_level":"open_access","content_type":"application/pdf","date_updated":"2023-05-24T16:11:16Z","file_size":2152072,"date_created":"2023-05-24T16:11:16Z","creator":"epeste","relation":"main_file","success":1},{"file_name":"PhD_Thesis_APeste.zip","checksum":"8d0df94bbcf4db72c991f22503b3fd60","access_level":"closed","file_id":"13088","file_size":1658293,"content_type":"application/zip","date_updated":"2023-05-24T16:12:59Z","date_created":"2023-05-24T16:12:59Z","relation":"source_file","creator":"epeste"}],"page":"147","year":"2023"},{"_id":"13107","month":"05","citation":{"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.","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>","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>","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>.","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.","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>.","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."},"supervisor":[{"last_name":"Novarino","full_name":"Novarino, Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","first_name":"Gaia","orcid":"0000-0002-7673-7178"}],"publication_status":"published","corr_author":"1","type":"dissertation","degree_awarded":"PhD","OA_place":"publisher","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","oa":1,"file":[{"file_name":"Thesis_Lisa Knaus_approved_final.docx","access_level":"closed","checksum":"4b69a4ac0bbf4163d59c0b58dcb4f2c3","file_id":"13112","file_size":12991551,"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_updated":"2023-06-01T13:48:41Z","date_created":"2023-06-01T13:48:41Z","creator":"lknaus","relation":"source_file"},{"access_level":"open_access","checksum":"6903d152aa01181d87a696085af31c83","file_name":"Thesis_Lisa Knaus_approved_final_pdfa2b.pdf","file_id":"13114","file_size":9309015,"date_updated":"2023-06-07T08:41:49Z","content_type":"application/pdf","date_created":"2023-06-02T09:47:29Z","creator":"lknaus","relation":"main_file"}],"publisher":"Institute of Science and Technology Austria","date_published":"2023-05-31T00:00:00Z","doi":"10.15479/at:ista:13107","language":[{"iso":"eng"}],"year":"2023","page":"147","has_accepted_license":"1","project":[{"name":"Probing the Reversibility of Autism Spectrum Disorders by Employing in vivo and in vitro Models","call_identifier":"H2020","grant_number":"715508","_id":"25444568-B435-11E9-9278-68D0E5697425"},{"name":"Molecular Drug Targets","grant_number":"W1232","call_identifier":"FWF","_id":"2548AE96-B435-11E9-9278-68D0E5697425"}],"department":[{"_id":"GradSch"},{"_id":"GaNo"}],"title":"The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival","alternative_title":["ISTA Thesis"],"day":"31","ddc":["570"],"date_updated":"2026-04-14T08:34:36Z","oa_version":"Published Version","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"}],"author":[{"first_name":"Lisa","id":"3B2ABCF4-F248-11E8-B48F-1D18A9856A87","last_name":"Knaus","full_name":"Knaus, Lisa"}],"article_processing_charge":"No","file_date_updated":"2023-06-07T08:41:49Z","status":"public","date_created":"2023-06-01T09:05:24Z","acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"},{"_id":"EM-Fac"}],"related_material":{"record":[{"relation":"part_of_dissertation","id":"12802","status":"public"}]},"ec_funded":1,"publication_identifier":{"issn":["2663-337X"]}},{"file":[{"date_created":"2023-08-07T11:55:43Z","success":1,"relation":"main_file","creator":"dernst","checksum":"773a0197f05b67feaa6cb1e17ec3642d","access_level":"open_access","file_name":"2023_LIPIcS_Dvorak.pdf","file_id":"13982","file_size":715976,"date_updated":"2023-08-07T11:55:43Z","content_type":"application/pdf"}],"oa":1,"doi":"10.4230/LIPIcs.ITP.2023.15","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_published":"2023-07-27T00:00:00Z","quality_controlled":"1","year":"2023","external_id":{"arxiv":["2302.06420"],"isi":["001515590500015"]},"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"_id":"13120","arxiv":1,"scopus_import":"1","month":"07","publication_status":"published","citation":{"apa":"Dvorak, M., &#38; Blanchette, J. (2023). Closure properties of general grammars - formally verified. In <i>14th International Conference on Interactive Theorem Proving</i> (Vol. 268). Bialystok, Poland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">https://doi.org/10.4230/LIPIcs.ITP.2023.15</a>","ama":"Dvorak M, Blanchette J. Closure properties of general grammars - formally verified. In: <i>14th International Conference on Interactive Theorem Proving</i>. Vol 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">10.4230/LIPIcs.ITP.2023.15</a>","ieee":"M. Dvorak and J. Blanchette, “Closure properties of general grammars - formally verified,” in <i>14th International Conference on Interactive Theorem Proving</i>, Bialystok, Poland, 2023, vol. 268.","short":"M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","ista":"Dvorak M, Blanchette J. 2023. Closure properties of general grammars - formally verified. 14th International Conference on Interactive Theorem Proving. ITP: Interactive Theorem Proving, LIPIcs, vol. 268, 15.","mla":"Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” <i>14th International Conference on Interactive Theorem Proving</i>, vol. 268, 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">10.4230/LIPIcs.ITP.2023.15</a>.","chicago":"Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.” In <i>14th International Conference on Interactive Theorem Proving</i>, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.ITP.2023.15\">https://doi.org/10.4230/LIPIcs.ITP.2023.15</a>."},"volume":268,"type":"conference","corr_author":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","article_processing_charge":"No","date_created":"2023-06-05T07:29:05Z","status":"public","file_date_updated":"2023-08-07T11:55:43Z","acknowledgement":"Jasmin Blanchette: This research has received funding from the Netherlands Organization\r\nfor Scientific Research (NWO) under the Vidi program (project No. 016.Vidi.189.037, Lean Forward).\r\n__\r\nWe thank Vladimir Kolmogorov for making this collaboration possible. We\r\nthank Václav Končický for discussing ideas about the Kleene star construction. We thank Patrick Johnson, Floris van Doorn, and Damiano Testa for their small yet very valuable contributions to our code. We thank Eric Wieser for simplifying one of our proofs. We thank Mark Summerfield for suggesting textual improvements. We thank the anonymous reviewers for very helpful comments. Finally, we thank the Lean community for helping us with various technical issues and answering many questions. ","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"21393"}],"link":[{"relation":"software","url":"https://github.com/madvorak/grammars/tree/publish"}]},"publication":"14th International Conference on Interactive Theorem Proving","conference":{"name":"ITP: Interactive Theorem Proving","end_date":"2023-08-04","location":"Bialystok, Poland","start_date":"2023-07-31"},"publication_identifier":{"isbn":["9783959772846"],"eissn":["1868-8969"]},"has_accepted_license":"1","isi":1,"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"title":"Closure properties of general grammars - formally verified","ddc":["000"],"day":"27","alternative_title":["LIPIcs"],"article_number":"15","oa_version":"Published Version","date_updated":"2026-03-27T12:36:59Z","intvolume":"       268","abstract":[{"text":"We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to show closure of the class of type-0 languages under four operations: union, reversal, concatenation, and the Kleene star. The literature mostly focuses on Turing machine arguments, which are possibly more difficult to formalize. For the Kleene star, we could not follow the literature and came up with our own grammar-based construction.","lang":"eng"}],"author":[{"last_name":"Dvorak","full_name":"Dvorak, Martin","first_name":"Martin","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","orcid":"0000-0001-5293-214X"},{"first_name":"Jasmin","full_name":"Blanchette, Jasmin","last_name":"Blanchette"}]},{"publication_identifier":{"eissn":["1496-4287"],"issn":["0008-4395"]},"publication":"Canadian Mathematical Bulletin","date_created":"2023-06-11T22:00:40Z","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2106.07328","open_access":"1"}],"status":"public","article_processing_charge":"No","author":[{"last_name":"Mohammadi","full_name":"Mohammadi, Ali","first_name":"Ali"},{"first_name":"Thang","last_name":"Pham","full_name":"Pham, Thang"},{"full_name":"Wang, Yiting","last_name":"Wang","orcid":"0000-0002-2856-767X","id":"1917d194-076e-11ed-97cd-837255f88785","first_name":"Yiting"}],"oa_version":"Preprint","intvolume":"        66","date_updated":"2026-04-08T13:04:49Z","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"}],"title":"An energy decomposition theorem for matrices and related questions","day":"01","isi":1,"department":[{"_id":"GradSch"}],"external_id":{"isi":["001011963000001"],"arxiv":["2106.07328"]},"page":"1280-1295","quality_controlled":"1","year":"2023","oa":1,"publisher":"Cambridge University Press","doi":"10.4153/S000843952300036X","date_published":"2023-12-01T00:00:00Z","language":[{"iso":"eng"}],"issue":"4","article_type":"original","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","citation":{"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>","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.","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>."},"type":"journal_article","volume":66,"arxiv":1,"month":"12","scopus_import":"1","_id":"13128"},{"year":"2023","quality_controlled":"1","external_id":{"arxiv":["2303.00729"],"isi":["001003686900004"]},"article_type":"original","issue":"18","date_published":"2023-05-01T00:00:00Z","publisher":"American Physical Society","language":[{"iso":"eng"}],"doi":"10.1103/PhysRevB.107.184312","oa":1,"type":"journal_article","volume":107,"citation":{"short":"P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023).","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>.","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.","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>.","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.","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>","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>"},"publication_status":"published","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","_id":"13138","month":"05","scopus_import":"1","arxiv":1,"publication":"Physical Review B","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"article_processing_charge":"No","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. ","status":"public","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2303.00729","open_access":"1"}],"date_created":"2023-06-18T22:00:46Z","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"}],"date_updated":"2023-08-02T06:16:02Z","intvolume":"       107","oa_version":"Preprint","article_number":"184312","author":[{"full_name":"Orlov, Pavel","last_name":"Orlov","first_name":"Pavel"},{"first_name":"Anastasiia","last_name":"Tiutiakina","full_name":"Tiutiakina, Anastasiia"},{"first_name":"Rustem","full_name":"Sharipov, Rustem","last_name":"Sharipov"},{"first_name":"Elena","id":"0ac84990-897b-11ed-a09c-f5abb56a4ede","last_name":"Petrova","full_name":"Petrova, Elena"},{"first_name":"Vladimir","last_name":"Gritsev","full_name":"Gritsev, Vladimir"},{"full_name":"Kurlov, Denis V.","last_name":"Kurlov","first_name":"Denis V."}],"department":[{"_id":"GradSch"}],"isi":1,"day":"01","title":"Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain"},{"_id":"13166","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"pmid":1,"month":"06","scopus_import":"1","volume":13,"type":"journal_article","publication_status":"published","citation":{"apa":"Vetrova, A. A., Kupaeva, D. M., Kizenko, A., Lebedeva, T. S., Walentek, P., Tsikolia, N., &#38; Kremnyov, S. V. (2023). The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. <i>Scientific Reports</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41598-023-35979-8\">https://doi.org/10.1038/s41598-023-35979-8</a>","ama":"Vetrova AA, Kupaeva DM, Kizenko A, et al. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. <i>Scientific Reports</i>. 2023;13. doi:<a href=\"https://doi.org/10.1038/s41598-023-35979-8\">10.1038/s41598-023-35979-8</a>","ieee":"A. A. Vetrova <i>et al.</i>, “The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization,” <i>Scientific Reports</i>, vol. 13. Springer Nature, 2023.","mla":"Vetrova, Alexandra A., et al. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.” <i>Scientific Reports</i>, vol. 13, 9382, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41598-023-35979-8\">10.1038/s41598-023-35979-8</a>.","chicago":"Vetrova, Alexandra A., Daria M. Kupaeva, Alena Kizenko, Tatiana S. Lebedeva, Peter Walentek, Nikoloz Tsikolia, and Stanislav V. Kremnyov. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.” <i>Scientific Reports</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41598-023-35979-8\">https://doi.org/10.1038/s41598-023-35979-8</a>.","ista":"Vetrova AA, Kupaeva DM, Kizenko A, Lebedeva TS, Walentek P, Tsikolia N, Kremnyov SV. 2023. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 13, 9382.","short":"A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023)."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_type":"original","publisher":"Springer Nature","date_published":"2023-06-09T00:00:00Z","language":[{"iso":"eng"}],"doi":"10.1038/s41598-023-35979-8","file":[{"file_name":"2023_ScientificReports_Vetrova.pdf","access_level":"open_access","checksum":"baddf6b2fa9adf88263d4a3b0998f0f2","file_id":"13170","file_size":4844149,"content_type":"application/pdf","date_updated":"2023-06-26T09:58:53Z","date_created":"2023-06-26T09:58:53Z","success":1,"creator":"dernst","relation":"main_file"}],"oa":1,"quality_controlled":"1","year":"2023","external_id":{"isi":["001006690200045"],"pmid":["37296138"]},"department":[{"_id":"GradSch"}],"isi":1,"has_accepted_license":"1","ddc":["570"],"day":"09","title":"The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization","abstract":[{"text":"Brachyury, a member of T-box gene family, is widely known for its major role in mesoderm specification in bilaterians. It is also present in non-bilaterian metazoans, such as cnidarians, where it acts as a component of an axial patterning system. In this study, we present a phylogenetic analysis of Brachyury genes within phylum Cnidaria, investigate differential expression and address a functional framework of Brachyury paralogs in hydrozoan Dynamena pumila. Our analysis indicates two duplication events of Brachyury within the cnidarian lineage. The first duplication likely appeared in the medusozoan ancestor, resulting in two copies in medusozoans, while the second duplication arose in the hydrozoan ancestor, resulting in three copies in hydrozoans. Brachyury1 and 2 display a conservative expression pattern marking the oral pole of the body axis in D. pumila. On the contrary, Brachyury3 expression was detected in scattered presumably nerve cells of the D. pumila larva. Pharmacological modulations indicated that Brachyury3 is not under regulation of cWnt signaling in contrast to the other two Brachyury genes. Divergence in expression patterns and regulation suggest neofunctionalization of Brachyury3 in hydrozoans.","lang":"eng"}],"oa_version":"Published Version","article_number":"9382","intvolume":"        13","date_updated":"2023-08-02T06:17:18Z","author":[{"full_name":"Vetrova, Alexandra A.","last_name":"Vetrova","first_name":"Alexandra A."},{"first_name":"Daria M.","last_name":"Kupaeva","full_name":"Kupaeva, Daria M."},{"first_name":"Alena","id":"a521c60b-0815-11ed-9b02-b8bd522477c8","full_name":"Kizenko, Alena","last_name":"Kizenko"},{"full_name":"Lebedeva, Tatiana S.","last_name":"Lebedeva","first_name":"Tatiana S."},{"first_name":"Peter","last_name":"Walentek","full_name":"Walentek, Peter"},{"first_name":"Nikoloz","full_name":"Tsikolia, Nikoloz","last_name":"Tsikolia"},{"last_name":"Kremnyov","full_name":"Kremnyov, Stanislav V.","first_name":"Stanislav V."}],"article_processing_charge":"No","acknowledgement":"We thank N.A. Pertsov White Sea Biological Station of Moscow State University for the help and support in obtaining samples and providing access to all required facilities and equipment of the “Center of Microscopy WSBS MSU”. We are grateful to Dr. Amro Hamdoun for pCS2+8 plasmid (Addgene plasmid # 34931).\r\nWork in the Walentek lab is supported by the Deutsche Forschungsgemeinschaft (DFG) under the Emmy Noether Programme (grant WA3365/2-2) and under Germany’s Excellence Strategy (CIBSS-EXC-2189-Project ID 390939984). SK is supported by the project No. 0088-2021-0009 of the Koltzov Institute of Developmental Biology of the RAS. The study of molecular patterning of D. pumila colony was funded by RFBR, project number 20-04-00978a (to S.K.).","date_created":"2023-06-25T22:00:46Z","file_date_updated":"2023-06-26T09:58:53Z","status":"public","publication":"Scientific Reports","publication_identifier":{"eissn":["2045-2322"]}},{"degree_awarded":"PhD","corr_author":"1","type":"dissertation","publication_status":"published","supervisor":[{"id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","first_name":"Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","full_name":"Fink, Johannes M"}],"citation":{"ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13175\">10.15479/at:ista:13175</a>","apa":"Sahu, R. (2023). <i>Cavity quantum electrooptics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13175\">https://doi.org/10.15479/at:ista:13175</a>","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:13175\">10.15479/at:ista:13175</a>.","chicago":"Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13175\">https://doi.org/10.15479/at:ista:13175</a>.","ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","short":"R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","OA_place":"publisher","_id":"13175","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (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","short":"CC BY-NC-SA (4.0)"},"month":"05","year":"2023","page":"202","keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"language":[{"iso":"eng"}],"date_published":"2023-05-05T00:00:00Z","doi":"10.15479/at:ista:13175","publisher":"Institute of Science and Technology Austria","file":[{"file_id":"13176","access_level":"open_access","checksum":"7d03f1a5a5258ee43dfc3323dea4e08f","file_name":"thesis_pdfa.pdf","date_updated":"2023-06-30T08:17:25Z","content_type":"application/pdf","file_size":18688376,"date_created":"2023-06-30T08:17:25Z","creator":"cchlebak","relation":"main_file","success":1},{"creator":"cchlebak","relation":"source_file","date_created":"2023-07-06T11:35:15Z","file_size":37847025,"content_type":"application/x-zip-compressed","date_updated":"2023-07-06T11:35:15Z","file_name":"thesis.zip","checksum":"c3b45317ae58e0527533f98c202d81b7","access_level":"closed","file_id":"13196"}],"oa":1,"abstract":[{"lang":"eng","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. "}],"oa_version":"Published Version","date_updated":"2026-04-15T06:43:26Z","author":[{"full_name":"Sahu, Rishabh","last_name":"Sahu","orcid":"0000-0001-6264-2162","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","first_name":"Rishabh"}],"department":[{"_id":"GradSch"},{"_id":"JoFi"}],"project":[{"grant_number":"758053","call_identifier":"H2020","_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits"},{"name":"Quantum Local Area Networks with Superconducting Qubits","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","call_identifier":"H2020","grant_number":"899354"},{"name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits","grant_number":"F07105","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f"}],"has_accepted_license":"1","ddc":["537","535","539"],"day":"05","alternative_title":["ISTA Thesis"],"title":"Cavity quantum electrooptics","related_material":{"record":[{"relation":"old_edition","id":"12900","status":"public"},{"relation":"part_of_dissertation","id":"10924","status":"public"},{"relation":"part_of_dissertation","id":"9114","status":"public"}]},"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"publication_identifier":{"isbn":["978-3-99078-030-5"],"issn":["2663-337X"]},"ec_funded":1,"article_processing_charge":"No","date_created":"2023-06-30T08:07:43Z","file_date_updated":"2023-07-06T11:35:15Z","status":"public"},{"date_published":"2023-05-18T00:00:00Z","publisher":"EMS Press","language":[{"iso":"eng"}],"doi":"10.4171/JST/439","issue":"4","file":[{"date_created":"2023-07-11T08:19:15Z","success":1,"creator":"alisjak","relation":"main_file","access_level":"open_access","checksum":"5501da33be010b5c81440438287584d5","file_name":"2023_EMS_Hainzl.pdf","file_id":"13208","file_size":304619,"date_updated":"2023-07-11T08:19:15Z","content_type":"application/pdf"}],"oa":1,"article_type":"original","page":"1507–1540","external_id":{"arxiv":["2201.08090"],"isi":["000997933500008"]},"quality_controlled":"1","year":"2023","scopus_import":"1","month":"05","arxiv":1,"_id":"13207","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","volume":12,"corr_author":"1","type":"journal_article","publication_status":"published","citation":{"ieee":"C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” <i>Journal of Spectral Theory</i>, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023.","apa":"Hainzl, C., Roos, B., &#38; Seiringer, R. (2023). Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. EMS Press. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>","ama":"Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. 2023;12(4):1507–1540. doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>","short":"C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.","mla":"Hainzl, Christian, et al. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>, vol. 12, no. 4, EMS Press, 2023, pp. 1507–1540, doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>.","chicago":"Hainzl, Christian, Barbara Roos, and Robert Seiringer. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>. EMS Press, 2023. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>.","ista":"Hainzl C, Roos B, Seiringer R. 2023. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 12(4), 1507–1540."},"acknowledgement":"We thank Egor Babaev for encouraging us to study this problem, and Rupert Frank for many fruitful discussions. scussions. Funding. Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No. 694227 (Barbara Roos and Robert Seiringer) is gratefully acknowledged.","date_created":"2023-07-10T16:35:45Z","status":"public","file_date_updated":"2023-07-11T08:19:15Z","article_processing_charge":"No","publication_identifier":{"eissn":["1664-0403"],"issn":["1664-039X"]},"ec_funded":1,"publication":"Journal of Spectral Theory","related_material":{"record":[{"relation":"dissertation_contains","id":"14374","status":"public"}]},"ddc":["530"],"day":"18","title":"Boundary superconductivity in the BCS model","department":[{"_id":"GradSch"},{"_id":"RoSe"}],"project":[{"name":"Analysis of quantum many-body systems","call_identifier":"H2020","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"}],"isi":1,"has_accepted_license":"1","author":[{"first_name":"Christian","last_name":"Hainzl","full_name":"Hainzl, Christian"},{"last_name":"Roos","full_name":"Roos, Barbara","id":"5DA90512-D80F-11E9-8994-2E2EE6697425","first_name":"Barbara","orcid":"0000-0002-9071-5880"},{"orcid":"0000-0002-6781-0521","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert","last_name":"Seiringer"}],"abstract":[{"lang":"eng","text":"We consider the linear BCS equation, determining the BCS critical temperature, in the presence of a boundary, where Dirichlet boundary conditions are imposed. In the one-dimensional case with point interactions, we prove that the critical temperature is strictly larger than the bulk value, at least at weak coupling. In particular, the Cooper-pair wave function localizes near the boundary, an effect that cannot be modeled by effective Neumann boundary conditions on the order parameter as often imposed in Ginzburg–Landau theory. We also show that the relative shift in critical temperature vanishes if the coupling constant either goes to zero or to infinity."}],"oa_version":"Published Version","intvolume":"        12","date_updated":"2026-04-07T13:27:39Z"},{"external_id":{"isi":["001570542500017"],"arxiv":["2307.06016"]},"year":"2023","quality_controlled":"1","doi":"10.4230/LIPIcs.CONCUR.2023.17","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","language":[{"iso":"eng"}],"date_published":"2023-09-01T00:00:00Z","oa":1,"file":[{"creator":"esarac","relation":"main_file","success":1,"date_created":"2023-07-14T12:03:48Z","date_updated":"2023-07-14T12:03:48Z","content_type":"application/pdf","file_size":755529,"file_id":"13224","checksum":"d40e57a04448ea5c77d7e1cfb9590a81","access_level":"open_access","file_name":"CONCUR23.pdf"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","volume":279,"corr_author":"1","citation":{"ieee":"U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness of quantitative automata,” in <i>34th International Conference on Concurrency Theory</i>, Antwerp, Belgium, 2023, vol. 279.","apa":"Boker, U., Henzinger, T. A., Mazzocchi, N. A., &#38; Sarac, N. E. (2023). Safety and liveness of quantitative automata. In <i>34th International Conference on Concurrency Theory</i> (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">https://doi.org/10.4230/LIPIcs.CONCUR.2023.17</a>","ama":"Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: <i>34th International Conference on Concurrency Theory</i>. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">10.4230/LIPIcs.CONCUR.2023.17</a>","ista":"Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.","chicago":"Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In <i>34th International Conference on Concurrency Theory</i>, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">https://doi.org/10.4230/LIPIcs.CONCUR.2023.17</a>.","mla":"Boker, Udi, et al. “Safety and Liveness of Quantitative Automata.” <i>34th International Conference on Concurrency Theory</i>, vol. 279, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2023.17\">10.4230/LIPIcs.CONCUR.2023.17</a>.","short":"U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023."},"publication_status":"published","month":"09","scopus_import":"1","arxiv":1,"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"_id":"13221","publication_identifier":{"isbn":["9783959772990"],"eissn":["1868-8969"]},"conference":{"name":"CONCUR: Conference on Concurrency Theory","end_date":"2023-09-23","start_date":"2023-09-18","location":"Antwerp, Belgium"},"ec_funded":1,"publication":"34th International Conference on Concurrency Theory","related_material":{"record":[{"status":"public","relation":"later_version","id":"20342"},{"id":"20147","relation":"dissertation_contains","status":"public"}]},"acknowledgement":"We thank Christof Löding for pointing us to some results on PSpace-hardess of universality problems and the anonymous reviewers for their helpful comments. This work was supported in part by the ERC-2020-AdG 101020093 and the Israel Science Foundation grant 2410/22.","status":"public","file_date_updated":"2023-07-14T12:03:48Z","date_created":"2023-07-14T10:00:15Z","article_processing_charge":"No","author":[{"id":"31E297B6-F248-11E8-B48F-1D18A9856A87","first_name":"Udi","full_name":"Boker, Udi","last_name":"Boker"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"last_name":"Mazzocchi","full_name":"Mazzocchi, Nicolas Adrien","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","first_name":"Naci E","last_name":"Sarac","full_name":"Sarac, Naci E"}],"abstract":[{"text":"The safety-liveness dichotomy is a fundamental concept in formal languages which plays a key role in verification. Recently, this dichotomy has been lifted to quantitative properties, which are arbitrary functions from infinite words to partially-ordered domains. We look into harnessing the dichotomy for the specific classes of quantitative properties expressed by quantitative automata. These automata contain finitely many states and rational-valued transition weights, and their common value functions Inf, Sup, LimInf, LimSup, LimInfAvg, LimSupAvg, and DSum map infinite words into the totallyordered domain of real numbers. In this automata-theoretic setting, we establish a connection between quantitative safety and topological continuity and provide an alternative characterization of quantitative safety and liveness in terms of their boolean counterparts. For all common value functions, we show how the safety closure of a quantitative automaton can be constructed in PTime, and we provide PSpace-complete checks of whether a given quantitative automaton is safe or live, with the exception of LimInfAvg and LimSupAvg automata, for which the safety check is in ExpSpace. Moreover, for deterministic Sup, LimInf, and LimSup automata, we give PTime decompositions into safe and live automata. These decompositions enable the separation of techniques for safety and liveness verification for quantitative specifications.","lang":"eng"}],"date_updated":"2026-04-07T12:02:57Z","intvolume":"       279","oa_version":"Published Version","article_number":"17","alternative_title":["LIPIcs"],"day":"01","ddc":["000"],"title":"Safety and liveness of quantitative automata","project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software"}],"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"isi":1,"has_accepted_license":"1"},{"publisher":"Association for Computing Machinery","date_published":"2023-06-17T00:00:00Z","language":[{"iso":"eng"}],"doi":"10.1145/3558481.3591082","file":[{"success":1,"relation":"main_file","creator":"dernst","date_created":"2023-07-31T10:53:08Z","file_size":2087937,"date_updated":"2023-07-31T10:53:08Z","content_type":"application/pdf","checksum":"72e312aabf0c5248c99b5cd3a88e4c88","access_level":"open_access","file_name":"2023_SPAA_Fedorov.pdf","file_id":"13334"}],"oa":1,"page":"261-271","external_id":{"arxiv":["2304.09331"],"isi":["001108889000024"]},"quality_controlled":"1","year":"2023","month":"06","scopus_import":"1","arxiv":1,"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"_id":"13262","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","corr_author":"1","type":"conference","publication_status":"published","citation":{"apa":"Fedorov, A., Hashemi, D., Nadiradze, G., &#38; Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3558481.3591082\">https://doi.org/10.1145/3558481.3591082</a>","ama":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>. Association for Computing Machinery; 2023:261-271. doi:<a href=\"https://doi.org/10.1145/3558481.3591082\">10.1145/3558481.3591082</a>","ieee":"A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, Orlando, FL, United States, 2023, pp. 261–271.","short":"A. Fedorov, D. Hashemi, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–271.","ista":"Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.","mla":"Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, Association for Computing Machinery, 2023, pp. 261–71, doi:<a href=\"https://doi.org/10.1145/3558481.3591082\">10.1145/3558481.3591082</a>.","chicago":"Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” In <i>Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures</i>, 261–71. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3558481.3591082\">https://doi.org/10.1145/3558481.3591082</a>."},"date_created":"2023-07-23T22:01:12Z","status":"public","file_date_updated":"2023-07-31T10:53:08Z","article_processing_charge":"Yes (via OA deal)","publication_identifier":{"isbn":["9781450395458"]},"conference":{"end_date":"2023-06-19","name":"SPAA: Symposium on Parallelism in Algorithms and Architectures","location":"Orlando, FL, United States","start_date":"2023-06-17"},"publication":"Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures","ddc":["000"],"day":"17","title":"Provably-efficient and internally-deterministic parallel Union-Find","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"has_accepted_license":"1","isi":1,"author":[{"full_name":"Fedorov, Alexander","last_name":"Fedorov","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6","first_name":"Alexander"},{"full_name":"Hashemi, Diba","last_name":"Hashemi","first_name":"Diba","id":"ed9595ea-2f8f-11ee-ba95-d2b546540783"},{"full_name":"Nadiradze, Giorgi","last_name":"Nadiradze","orcid":"0000-0001-5634-0731","id":"3279A00C-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgi"},{"orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh"}],"abstract":[{"text":"Determining the degree of inherent parallelism in classical sequential algorithms and leveraging it for fast parallel execution is a key topic in parallel computing, and detailed analyses are known for a wide range of classical algorithms. In this paper, we perform the first such analysis for the fundamental Union-Find problem, in which we are given a graph as a sequence of edges, and must maintain its connectivity structure under edge additions. We prove that classic sequential algorithms for this problem are well-parallelizable under reasonable assumptions, addressing a conjecture by [Blelloch, 2017]. More precisely, we show via a new potential argument that, under uniform random edge ordering, parallel union-find operations are unlikely to interfere: T concurrent threads processing the graph in parallel will encounter memory contention O(T2 · log |V| · log |E|) times in expectation, where |E| and |V| are the number of edges and nodes in the graph, respectively. We leverage this result to design a new parallel Union-Find algorithm that is both internally deterministic, i.e., its results are guaranteed to match those of a sequential execution, but also work-efficient and scalable, as long as the number of threads T is O(|E|1 over 3 - ε), for an arbitrarily small constant ε > 0, which holds for most large real-world graphs. We present lower bounds which show that our analysis is close to optimal, and experimental results suggesting that the performance cost of internal determinism is limited.","lang":"eng"}],"oa_version":"Published Version","date_updated":"2025-09-09T12:43:18Z"},{"title":"Direct path from turbulence to time-periodic solutions","day":"21","isi":1,"department":[{"_id":"GradSch"},{"_id":"BjHo"}],"project":[{"name":"Revisiting the Turbulence Problem Using Statistical Mechanics","grant_number":"662960","_id":"238598C6-32DE-11EA-91FC-C7463DDC885E"}],"author":[{"first_name":"Chaitanya S","id":"3D85B7C4-F248-11E8-B48F-1D18A9856A87","full_name":"Paranjape, Chaitanya S","last_name":"Paranjape"},{"first_name":"Gökhan","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","orcid":"0000-0002-8490-9312","last_name":"Yalniz","full_name":"Yalniz, Gökhan"},{"full_name":"Duguet, Yohann","last_name":"Duguet","first_name":"Yohann"},{"orcid":"0000-0003-0423-5010","first_name":"Nazmi B","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","full_name":"Budanur, Nazmi B","last_name":"Budanur"},{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","first_name":"Björn","orcid":"0000-0003-2057-2754","last_name":"Hof","full_name":"Hof, Björn"}],"oa_version":"Preprint","article_number":"034002","intvolume":"       131","date_updated":"2026-04-07T11:47:05Z","abstract":[{"lang":"eng","text":"Viscous flows through pipes and channels are steady and ordered until, with increasing velocity, the laminar motion catastrophically breaks down and gives way to turbulence. How this apparently discontinuous change from low- to high-dimensional motion can be rationalized within the framework of the Navier-Stokes equations is not well understood. Exploiting geometrical properties of transitional channel flow we trace turbulence to far lower Reynolds numbers (Re) than previously possible and identify the complete path that reversibly links fully turbulent motion to an invariant solution. This precursor of turbulence destabilizes rapidly with Re, and the accompanying explosive increase in attractor dimension effectively marks the transition between deterministic and de facto stochastic dynamics."}],"date_created":"2023-07-24T09:43:59Z","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2306.05098","open_access":"1"}],"status":"public","acknowledgement":"We thank Baofang Song as well as the developers of Channelflow for sharing their numerical codes, and Mukund Vasudevan and Holger Kantz for fruitful discussions. This work was supported by a grant from the Simons Foundation (662960, B. H.).","article_processing_charge":"No","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"publication":"Physical Review Letters","related_material":{"record":[{"relation":"dissertation_contains","id":"19684","status":"public"}]},"arxiv":1,"pmid":1,"scopus_import":"1","month":"07","_id":"13274","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","citation":{"ama":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. <i>Physical Review Letters</i>. 2023;131(3). doi:<a href=\"https://doi.org/10.1103/physrevlett.131.034002\">10.1103/physrevlett.131.034002</a>","apa":"Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., &#38; Hof, B. (2023). Direct path from turbulence to time-periodic solutions. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevlett.131.034002\">https://doi.org/10.1103/physrevlett.131.034002</a>","ieee":"C. S. Paranjape, G. Yalniz, Y. Duguet, N. B. Budanur, and B. Hof, “Direct path from turbulence to time-periodic solutions,” <i>Physical Review Letters</i>, vol. 131, no. 3. American Physical Society, 2023.","short":"C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).","chicago":"Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur, and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” <i>Physical Review Letters</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevlett.131.034002\">https://doi.org/10.1103/physrevlett.131.034002</a>.","mla":"Paranjape, Chaitanya S., et al. “Direct Path from Turbulence to Time-Periodic Solutions.” <i>Physical Review Letters</i>, vol. 131, no. 3, 034002, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevlett.131.034002\">10.1103/physrevlett.131.034002</a>.","ista":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. 2023. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 131(3), 034002."},"volume":131,"type":"journal_article","corr_author":"1","oa":1,"date_published":"2023-07-21T00:00:00Z","doi":"10.1103/physrevlett.131.034002","language":[{"iso":"eng"}],"publisher":"American Physical Society","issue":"3","article_type":"original","keyword":["General Physics and Astronomy"],"external_id":{"isi":["001052929900004"],"pmid":["37540883"],"arxiv":["2306.05098"]},"quality_controlled":"1","year":"2023"},{"year":"2023","page":"184","doi":"10.15479/at:ista:13286","language":[{"iso":"eng"}],"publisher":"Institute of Science and Technology Austria","date_published":"2023-07-21T00:00:00Z","file":[{"relation":"source_file","creator":"mvalenti","date_created":"2023-08-11T09:27:39Z","file_size":56121429,"date_updated":"2023-08-11T10:01:34Z","content_type":"application/x-zip-compressed","checksum":"666ee31c7eade89679806287c062fa14","access_level":"closed","file_name":"PhD_thesis_Valentini_final.zip","file_id":"14033"},{"date_created":"2023-08-11T14:39:17Z","creator":"mvalenti","relation":"main_file","file_id":"14035","access_level":"open_access","checksum":"0992f2ebef152dee8e70055350ebbb55","file_name":"PhD_thesis_Valentini_final_validated.pdf","date_updated":"2023-08-11T14:39:17Z","content_type":"application/pdf","file_size":38199711}],"oa":1,"degree_awarded":"PhD","corr_author":"1","type":"dissertation","publication_status":"published","citation":{"ieee":"M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023.","apa":"Valentini, M. (2023). <i>Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13286\">https://doi.org/10.15479/at:ista:13286</a>","ama":"Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13286\">10.15479/at:ista:13286</a>","chicago":"Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13286\">https://doi.org/10.15479/at:ista:13286</a>.","ista":"Valentini M. 2023. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria.","mla":"Valentini, Marco. <i>Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13286\">10.15479/at:ista:13286</a>.","short":"M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023."},"supervisor":[{"first_name":"Georgios","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8342-202X","last_name":"Katsaros","full_name":"Katsaros, Georgios"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","OA_place":"publisher","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (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","short":"CC BY-NC-SA (4.0)"},"_id":"13286","month":"07","related_material":{"record":[{"status":"public","relation":"research_data","id":"12522"},{"status":"public","relation":"part_of_dissertation","id":"12118"},{"status":"public","id":"8910","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"13312","status":"public"}]},"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}],"publication_identifier":{"issn":["2663-337X"]},"ec_funded":1,"article_processing_charge":"No","date_created":"2023-07-24T14:10:45Z","status":"public","file_date_updated":"2023-08-11T14:39:17Z","abstract":[{"lang":"eng","text":"Semiconductor-superconductor hybrid systems are the harbour of many intriguing mesoscopic phenomena. This material combination leads to spatial variations of the superconducting properties, which gives rise to Andreev bound states (ABSs). Some of these states might exhibit remarkable properties that render them highly desirable for topological quantum computing. The most prominent and hunted of such states are Majorana zero modes (MZMs), quasiparticles equals to their own quasiparticles that they follow non-abelian statistics. In this thesis, we first introduce the general framework of such hybrid systems and, then, we unveil a series of mesoscopic phenomena that we discovered. Firstly, we show tunneling spectroscopy experiments on full-shell nanowires (NWs) showing that unwanted quantum-dot states coupled to superconductors (Yu-Shiba-Rusinov states) can mimic MZMs signatures. Then, we introduce a novel protocol which allowed the integration of tunneling spectroscopy with Coulomb spectroscopy within the same device. Employing this approach on both full-shell NWs and partial-shell NWs, we demonstrated that longitudinally confined states reveal charge transport phenomenology similar to the one expected for MZMs. These findings shed light on the intricate interplay between superconductivity and quantum confinement, which brought us to explore another material platform, i.e. a two-dimensional Germanium hole gas. After developing a robust way to induce superconductivity in such system, we showed how to engineer the proximity effect and we revealed a superconducting hard gap. Finally, we created a superconducting radio frequency driven ideal diode and a generator of non-sinusoidal current-phase relations. Our results open the path for the exploration of protected superconducting qubits and more complex hybrid devices in planar Germanium, like Kitaev chains and hybrid qubit devices."}],"oa_version":"Published Version","date_updated":"2026-06-03T07:16:01Z","author":[{"first_name":"Marco","id":"C0BB2FAC-D767-11E9-B658-BC13E6697425","full_name":"Valentini, Marco","last_name":"Valentini"}],"department":[{"_id":"GradSch"},{"_id":"GeKa"}],"project":[{"_id":"262116AA-B435-11E9-9278-68D0E5697425","name":"Hybrid Semiconductor - Superconductor Quantum Devices"},{"call_identifier":"H2020","grant_number":"862046","_id":"237E5020-32DE-11EA-91FC-C7463DDC885E","name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS"},{"_id":"34a66131-11ca-11ed-8bc3-a31681c6b03e","grant_number":"F8606","name":"Center for Correlated Quantum Materials and Solid State Quantum Systems: Conventional  and unconventional topological superconductors"}],"has_accepted_license":"1","ddc":["530"],"alternative_title":["ISTA Thesis"],"day":"21","title":"Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium"}]