[{"year":"2023","scopus_import":"1","abstract":[{"lang":"eng","text":"In 1998 Burago and Kleiner and (independently) McMullen gave examples of separated nets in Euclidean space which are non-bilipschitz equivalent to the integer lattice. We study weaker notions of equivalence of separated nets and demonstrate that such notions also give rise to distinct equivalence classes. Put differently, we find occurrences of particularly strong divergence of separated nets from the integer lattice. Our approach generalises that of Burago and Kleiner and McMullen which takes place largely in a continuous setting. Existence of irregular separated nets is verified via the existence of non-realisable density functions ρ:[0,1]d→(0,∞). In the present work we obtain stronger types of non-realisable densities."}],"month":"03","isi":1,"date_updated":"2023-08-14T11:26:34Z","arxiv":1,"publisher":"Springer Nature","date_published":"2023-03-01T00:00:00Z","publication_status":"published","article_processing_charge":"No","oa_version":"Submitted Version","file":[{"content_type":"application/pdf","checksum":"6fa0a3207dd1d6467c309fd1bcc867d1","file_name":"separated_nets.pdf","file_size":900422,"date_updated":"2021-07-14T07:41:50Z","file_id":"9653","creator":"vkaluza","access_level":"open_access","relation":"main_file","date_created":"2021-07-14T07:41:50Z"}],"publication_identifier":{"eissn":["1565-8511"]},"acknowledgement":"This work was done while both authors were employed at the University of Innsbruck and enjoyed the full support of Austrian Science Fund (FWF): P 30902-N35.","doi":"10.1007/s11856-022-2448-6","oa":1,"citation":{"apa":"Dymond, M., &#38; Kaluza, V. (2023). Highly irregular separated nets. <i>Israel Journal of Mathematics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11856-022-2448-6\">https://doi.org/10.1007/s11856-022-2448-6</a>","ista":"Dymond M, Kaluza V. 2023. Highly irregular separated nets. Israel Journal of Mathematics. 253, 501–554.","ama":"Dymond M, Kaluza V. Highly irregular separated nets. <i>Israel Journal of Mathematics</i>. 2023;253:501-554. doi:<a href=\"https://doi.org/10.1007/s11856-022-2448-6\">10.1007/s11856-022-2448-6</a>","mla":"Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” <i>Israel Journal of Mathematics</i>, vol. 253, Springer Nature, 2023, pp. 501–54, doi:<a href=\"https://doi.org/10.1007/s11856-022-2448-6\">10.1007/s11856-022-2448-6</a>.","short":"M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.","chicago":"Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” <i>Israel Journal of Mathematics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s11856-022-2448-6\">https://doi.org/10.1007/s11856-022-2448-6</a>.","ieee":"M. Dymond and V. Kaluza, “Highly irregular separated nets,” <i>Israel Journal of Mathematics</i>, vol. 253. Springer Nature, pp. 501–554, 2023."},"department":[{"_id":"UlWa"}],"type":"journal_article","file_date_updated":"2021-07-14T07:41:50Z","publication":"Israel Journal of Mathematics","_id":"9652","day":"01","volume":253,"has_accepted_license":"1","article_type":"original","ddc":["515","516"],"date_created":"2021-07-14T07:01:28Z","keyword":["Lipschitz","bilipschitz","bounded displacement","modulus of continuity","separated net","non-realisable density","Burago--Kleiner construction"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"       253","status":"public","author":[{"last_name":"Dymond","full_name":"Dymond, Michael","first_name":"Michael"},{"id":"21AE5134-9EAC-11EA-BEA2-D7BD3DDC885E","full_name":"Kaluza, Vojtech","first_name":"Vojtech","last_name":"Kaluza","orcid":"0000-0002-2512-8698"}],"external_id":{"isi":["000904950300003"],"arxiv":["1903.05923"]},"language":[{"iso":"eng"}],"title":"Highly irregular separated nets","quality_controlled":"1","page":"501-554"},{"acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"file_date_updated":"2023-08-08T11:17:28Z","day":"26","_id":"13116","acknowledgement":"This work was supported by the European Research Council through grant ERC 2015-StG-679239 and by the Austrian Science Fund (FWF) StandAlone P34607 to M.L., B. P.M.  was also supported by the Kanazawa University WPI- NanoLSI Bio-SPM collaborative research program. Z.D. has received funding from Doctoral Programme of the Austrian Academy of Sciences (OeAW): Grant agreement 26360. We thank Jan Brugues (MPI CBG, Dresden, Germany), Andela Saric (ISTA, Klosterneuburg, Austria), Daniel Pearce (Uni Geneva, Switzerland) for valuable scientific input and comments on the manuscript. We are also thankful for the support by the Scientific Service Units (SSU) of IST Austria through resources provided by the Imaging and Optics Facility (IOF) and the Lab Support Facility (LSF). ","doi":"10.15479/AT:ISTA:13116","oa":1,"citation":{"chicago":"Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/AT:ISTA:13116\">https://doi.org/10.15479/AT:ISTA:13116</a>.","ieee":"Z. Dunajova <i>et al.</i>, “Chiral and nematic phases of flexible active filaments.” Institute of Science and Technology Austria, 2023.","ista":"Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:13116\">10.15479/AT:ISTA:13116</a>.","apa":"Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:13116\">https://doi.org/10.15479/AT:ISTA:13116</a>","short":"Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, (2023).","ama":"Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. 2023. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:13116\">10.15479/AT:ISTA:13116</a>","mla":"Dunajova, Zuzana, et al. <i>Chiral and Nematic Phases of Flexible Active Filaments</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:13116\">10.15479/AT:ISTA:13116</a>."},"type":"research_data","department":[{"_id":"MaLo"},{"_id":"EdHa"},{"_id":"JoDa"}],"article_processing_charge":"No","project":[{"grant_number":"679239","call_identifier":"H2020","name":"Self-Organization of the Bacterial Cell","_id":"2595697A-B435-11E9-9278-68D0E5697425"},{"grant_number":"P34607","name":"In vitro reconstitution of bacterial cell division","_id":"fc38323b-9c52-11eb-aca3-ff8afb4a011d"},{"grant_number":"26360","name":"Motile active matter models of migrating cells and chiral filaments","_id":"34d75525-11ca-11ed-8bc3-89b6307fee9d"}],"oa_version":"Published Version","file":[{"success":1,"date_updated":"2023-08-08T11:17:28Z","file_size":13111,"file_name":"ReadMe File.docx","checksum":"4b4ec5d4df7672b3af5ba23b126b171b","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","date_created":"2023-08-08T11:17:28Z","relation":"main_file","access_level":"open_access","creator":"pradler","file_id":"13983"},{"success":1,"date_updated":"2023-07-25T06:55:43Z","file_size":1499504777,"checksum":"6f1673d6ae4f547cd49cfe7f87d9ab7e","file_name":"TIRF_FtsZ WT 0.625µM.7z.001","content_type":"application/octet-stream","relation":"main_file","date_created":"2023-07-25T06:55:43Z","creator":"pradler","access_level":"open_access","file_id":"13298"},{"success":1,"date_updated":"2023-07-25T08:31:07Z","file_size":3986437211,"checksum":"bc0dea871af164f7419ac838a34a4162","file_name":"TIRF_FtsZ WT 0.900µM.7z.001","content_type":"application/octet-stream","relation":"main_file","date_created":"2023-07-25T08:31:07Z","creator":"pradler","access_level":"open_access","file_id":"13306"},{"relation":"main_file","date_created":"2023-07-25T06:56:54Z","creator":"pradler","access_level":"open_access","file_id":"13299","date_updated":"2023-07-25T06:56:54Z","success":1,"file_size":1292391225,"checksum":"dde91b799364a8456ac463dcba7bf37d","file_name":"TIRF_FtsZ WT 1.15µM.7z.001","content_type":"application/octet-stream"},{"file_name":"TIRF_FtsZ WT 1.25µM.7z.001","checksum":"ba59f4e3f062b378f45e579ec28898ce","content_type":"application/octet-stream","success":1,"date_updated":"2023-07-25T08:25:07Z","file_size":4494279051,"file_id":"13305","date_created":"2023-07-25T08:25:07Z","relation":"main_file","access_level":"open_access","creator":"pradler"},{"file_id":"13303","creator":"pradler","access_level":"open_access","relation":"main_file","date_created":"2023-07-25T08:12:32Z","content_type":"application/octet-stream","checksum":"906e1fe2aaacd1a746c49ffe39bcca66","file_name":"TIRF_FtsZ WT 1.50µM.7z.001","file_size":4697620480,"date_updated":"2023-07-25T08:12:32Z","success":1},{"checksum":"96e416494b129cb0139c8250246bfaff","file_name":"TIRF_FtsZ WT 1.50µM.7z.002","content_type":"application/octet-stream","date_updated":"2023-07-25T08:18:54Z","success":1,"file_size":3548897162,"file_id":"13304","relation":"main_file","date_created":"2023-07-25T08:18:54Z","creator":"pradler","access_level":"open_access"},{"file_size":1472947913,"success":1,"date_updated":"2023-07-25T06:59:59Z","content_type":"application/octet-stream","file_name":"TIRF_FtsZ WT 2.0µM.7z.001","checksum":"f1dfdee3d833cf8d2c6b3ecbbee566f3","access_level":"open_access","creator":"pradler","date_created":"2023-07-25T06:59:59Z","relation":"main_file","file_id":"13300"},{"file_size":1993549431,"success":1,"date_updated":"2023-07-25T07:05:40Z","content_type":"application/octet-stream","file_name":"TIRF_FtsZ WT 3.0µM.7z.001","checksum":"fe77296c7bfce8b95a67ecbbb07ced81","access_level":"open_access","creator":"pradler","date_created":"2023-07-25T07:05:40Z","relation":"main_file","file_id":"13301"},{"content_type":"application/octet-stream","file_name":"TIRF_FtsZ WT 5.0µM.7z.001","checksum":"6bc6edb807f38b00528875b4e7070bbf","file_size":1336984015,"date_updated":"2023-07-25T07:06:07Z","success":1,"file_id":"13302","access_level":"open_access","creator":"pradler","date_created":"2023-07-25T07:06:07Z","relation":"main_file"},{"file_id":"13281","relation":"main_file","date_created":"2023-07-24T12:10:55Z","creator":"pradler","access_level":"open_access","checksum":"e46bbe73e90dc56e245ecda464930009","file_name":"STED experiments.7z.001","content_type":"application/octet-stream","success":1,"date_updated":"2023-07-24T12:10:55Z","file_size":227620212},{"file_size":3433349230,"success":1,"date_updated":"2023-07-25T09:16:06Z","content_type":"application/octet-stream","checksum":"473aa9f1c097b8b03294b1f6d4f4aa04","file_name":"AFM_FtsZ WT.7z.001","creator":"pradler","access_level":"open_access","relation":"main_file","date_created":"2023-07-25T09:16:06Z","file_id":"13307"},{"date_created":"2023-07-24T12:11:54Z","relation":"main_file","access_level":"open_access","creator":"pradler","file_id":"13282","date_updated":"2023-07-24T12:11:54Z","success":1,"file_size":1416013335,"file_name":"TIRF_FtsZ WT and L169R intensity calibration.7z.001","checksum":"bc685a414d95bcd5bba4dcad0187e928","content_type":"application/octet-stream"},{"content_type":"application/octet-stream","file_name":"TIRF_FtsZ L169R below 0.6µM.7z","checksum":"e6cac262a3cf5a6a45bf28edf1dac8cd","file_size":2711456292,"success":1,"date_updated":"2023-07-24T12:26:12Z","file_id":"13285","access_level":"open_access","creator":"pradler","date_created":"2023-07-24T12:26:12Z","relation":"main_file"},{"creator":"pradler","access_level":"open_access","relation":"main_file","date_created":"2023-07-24T19:19:25Z","file_id":"13296","file_size":2272169467,"success":1,"date_updated":"2023-07-24T19:19:25Z","content_type":"application/octet-stream","checksum":"755179b242a7a4ee03133a15c5eab4ce","file_name":"TIRF_FtsZ L169R 0.625µM.7z"},{"creator":"pradler","access_level":"open_access","relation":"main_file","date_created":"2023-07-24T13:02:04Z","file_id":"13287","file_size":2915542985,"date_updated":"2023-07-24T13:02:04Z","success":1,"content_type":"application/octet-stream","checksum":"7179ce242938a688381d7126b9a7ec45","file_name":"TIRF_FtsZ L169R 0.900µM.7z"},{"file_size":2769959727,"date_updated":"2023-07-24T15:27:17Z","success":1,"content_type":"application/octet-stream","file_name":"TIRF_FtsZ L169R 1.15µM.7z","checksum":"a808996cbca0f795e00de85f1922b497","access_level":"open_access","creator":"pradler","date_created":"2023-07-24T15:27:17Z","relation":"main_file","file_id":"13294"},{"success":1,"date_updated":"2023-07-24T19:22:29Z","file_size":4440142247,"checksum":"9a42594d749e648a099fefd3e24108a8","file_name":"TIRF_FtsZ L169R 1.25uM.7z","content_type":"application/octet-stream","relation":"main_file","date_created":"2023-07-24T19:22:29Z","creator":"pradler","access_level":"open_access","file_id":"13297"},{"access_level":"open_access","creator":"pradler","date_created":"2023-07-24T15:27:09Z","relation":"main_file","file_id":"13295","file_size":2727119370,"date_updated":"2023-07-24T15:27:09Z","success":1,"content_type":"application/octet-stream","file_name":"TIRF_FtsZ L169R 1.50µM.7z","checksum":"d8df3e458dbdb83622ab4dd6c9313a4e"},{"date_updated":"2023-07-24T12:12:41Z","success":1,"file_size":1479677783,"checksum":"020db3ef1d1cbfb3cbe5bf49d6669849","file_name":"TIRF_FtsZ L169R 2.0µM.7z","content_type":"application/octet-stream","relation":"main_file","date_created":"2023-07-24T12:12:41Z","creator":"pradler","access_level":"open_access","file_id":"13283"},{"date_updated":"2023-07-24T12:13:51Z","success":1,"file_size":1560846342,"checksum":"22f2aa112442fb767c0a58876d974ab0","file_name":"TIRF_FtsZ L169R 3.0µM.7z","content_type":"application/octet-stream","relation":"main_file","date_created":"2023-07-24T12:13:51Z","creator":"pradler","access_level":"open_access","file_id":"13284"},{"file_id":"13308","access_level":"open_access","creator":"pradler","date_created":"2023-07-25T09:12:45Z","relation":"main_file","content_type":"application/octet-stream","file_name":"AFM_FtsZ L169R.7z.001","checksum":"6fac58e020d7b30092945cb210100670","file_size":2918160653,"date_updated":"2023-07-25T09:12:45Z","success":1},{"access_level":"open_access","creator":"mloose","date_created":"2023-08-03T19:50:52Z","relation":"main_file","file_id":"13947","file_size":77476061,"date_updated":"2023-08-03T19:50:52Z","success":1,"content_type":"text/csv","file_name":"EDFig4p_F5.csv","checksum":"3cdbf4a61857cb940439473c999bdfa6"},{"file_id":"13948","access_level":"open_access","creator":"mloose","date_created":"2023-08-03T19:50:50Z","relation":"main_file","content_type":"text/csv","file_name":"EDFig4p_F40.csv","checksum":"a59d5b825b4fe830cdb8833b4851508d","file_size":74938608,"success":1,"date_updated":"2023-08-03T19:50:50Z"},{"file_size":81680327,"date_updated":"2023-08-03T19:51:14Z","success":1,"content_type":"text/csv","checksum":"fe40a48ed7708260557faa1e7e8687d4","file_name":"EDFig4p_F200.csv","creator":"mloose","access_level":"open_access","relation":"main_file","date_created":"2023-08-03T19:51:14Z","file_id":"13949"},{"file_id":"13950","creator":"mloose","access_level":"open_access","relation":"main_file","date_created":"2023-08-03T19:51:45Z","content_type":"text/csv","checksum":"30bebf102f03445445f3dd3c19209497","file_name":"Fig3a_4b_F40.csv","file_size":169151538,"date_updated":"2023-08-03T19:51:45Z","success":1},{"file_id":"13951","relation":"main_file","date_created":"2023-08-03T19:51:45Z","creator":"mloose","access_level":"open_access","checksum":"29db5611c9e622710fbf7b1c83c621ec","file_name":"Fig3a_F5.csv","content_type":"text/csv","success":1,"date_updated":"2023-08-03T19:51:45Z","file_size":94791496},{"file_id":"13952","access_level":"open_access","creator":"mloose","date_created":"2023-08-03T19:51:54Z","relation":"main_file","content_type":"text/csv","file_name":"Fig3a_F200.csv","checksum":"848456b4230c086e8999f57d57dba7f1","file_size":59166206,"success":1,"date_updated":"2023-08-03T19:51:54Z"}],"year":"2023","abstract":[{"lang":"eng","text":"The emergence of large-scale order in self-organized systems relies on local interactions between individual components. During bacterial cell division, FtsZ -- a prokaryotic homologue of the eukaryotic protein tubulin -- polymerizes into treadmilling filaments that further organize into a cytoskeletal ring. In vitro, FtsZ filaments can form dynamic chiral assemblies. However, how the active and passive properties of individual filaments relate to these large-scale self-organized structures remains poorly understood. Here, we connect single filament properties with the mesoscopic scale by combining minimal active matter simulations and biochemical reconstitution experiments. We show that density and flexibility of active chiral filaments define their global order. At intermediate densities, curved, flexible filaments organize into chiral rings and polar bands. An effectively nematic organization dominates for high densities and for straight, mutant filaments with increased rigidity. Our predicted phase diagram captures these features quantitatively, demonstrating how the flexibility, density and chirality of active filaments affect their collective behaviour. Our findings shed light on the fundamental properties of active chiral matter and explain how treadmilling FtsZ filaments organize during bacterial cell division. "}],"month":"07","date_updated":"2026-03-17T12:02:11Z","publisher":"Institute of Science and Technology Austria","date_published":"2023-07-26T00:00:00Z","license":"https://creativecommons.org/licenses/by/4.0/","title":"Chiral and nematic phases of flexible active filaments","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"status":"public","author":[{"id":"4B39F286-F248-11E8-B48F-1D18A9856A87","full_name":"Dunajova, Zuzana","first_name":"Zuzana","last_name":"Dunajova"},{"id":"299FE892-F248-11E8-B48F-1D18A9856A87","last_name":"Prats Mateu","first_name":"Batirtze","full_name":"Prats Mateu, Batirtze"},{"first_name":"Philipp","full_name":"Radler, Philipp","last_name":"Radler","orcid":"0000-0001-9198-2182 ","id":"40136C2A-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Keesiang","full_name":"Lim, Keesiang","last_name":"Lim"},{"first_name":"Dörte","full_name":"Brandis, Dörte","last_name":"Brandis"},{"id":"39BDC62C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2340-7431","last_name":"Velicky","full_name":"Velicky, Philipp","first_name":"Philipp"},{"last_name":"Danzl","orcid":"0000-0001-8559-3973","full_name":"Danzl, Johann G","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Wong","full_name":"Wong, Richard W.","first_name":"Richard W."},{"last_name":"Elgeti","first_name":"Jens","full_name":"Elgeti, Jens"},{"id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","first_name":"Edouard B"},{"id":"462D4284-F248-11E8-B48F-1D18A9856A87","full_name":"Loose, Martin","first_name":"Martin","last_name":"Loose","orcid":"0000-0001-7309-9724"}],"corr_author":"1","ddc":["539"],"date_created":"2023-06-02T12:30:40Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"id":"13314","status":"public","relation":"used_in_publication"},{"id":"21423","status":"public","relation":"used_in_publication"}]},"ec_funded":1,"has_accepted_license":"1"},{"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Closure properties of general grammars - formally verified","quality_controlled":"1","external_id":{"isi":["001515590500015"],"arxiv":["2302.06420"]},"author":[{"id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","orcid":"0000-0001-5293-214X","last_name":"Dvorak","first_name":"Martin","full_name":"Dvorak, Martin"},{"last_name":"Blanchette","first_name":"Jasmin","full_name":"Blanchette, Jasmin"}],"language":[{"iso":"eng"}],"intvolume":"       268","status":"public","conference":{"start_date":"2023-07-31","name":"ITP: Interactive Theorem Proving","end_date":"2023-08-04","location":"Bialystok, Poland"},"article_number":"15","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","corr_author":"1","ddc":["000"],"date_created":"2023-06-05T07:29:05Z","has_accepted_license":"1","related_material":{"link":[{"url":"https://github.com/madvorak/grammars/tree/publish","relation":"software"}],"record":[{"relation":"dissertation_contains","status":"public","id":"21393"}]},"volume":268,"day":"27","_id":"13120","file_date_updated":"2023-08-07T11:55:43Z","publication":"14th International Conference on Interactive Theorem Proving","oa":1,"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"type":"conference","citation":{"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>.","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.","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.","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>","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>.","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>","short":"M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023."},"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. ","publication_identifier":{"isbn":["9783959772846"],"eissn":["1868-8969"]},"doi":"10.4230/LIPIcs.ITP.2023.15","oa_version":"Published Version","file":[{"content_type":"application/pdf","file_name":"2023_LIPIcS_Dvorak.pdf","checksum":"773a0197f05b67feaa6cb1e17ec3642d","file_size":715976,"success":1,"date_updated":"2023-08-07T11:55:43Z","file_id":"13982","access_level":"open_access","creator":"dernst","date_created":"2023-08-07T11:55:43Z","relation":"main_file"}],"publication_status":"published","article_processing_charge":"No","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_published":"2023-07-27T00:00:00Z","scopus_import":"1","year":"2023","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"}],"alternative_title":["LIPIcs"],"isi":1,"month":"07","date_updated":"2026-03-27T12:36:59Z","arxiv":1},{"day":"10","_id":"14466","file_date_updated":"2024-02-15T09:05:21Z","publication":"Journal of Fluid Mechanics","oa":1,"department":[{"_id":"GradSch"},{"_id":"BjHo"}],"citation":{"ista":"Marensi E, Yalniz G, Hof B. 2023. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 974, A21.","apa":"Marensi, E., Yalniz, G., &#38; Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2023.780\">https://doi.org/10.1017/jfm.2023.780</a>","mla":"Marensi, Elena, et al. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” <i>Journal of Fluid Mechanics</i>, vol. 974, A21, Cambridge University Press, 2023, doi:<a href=\"https://doi.org/10.1017/jfm.2023.780\">10.1017/jfm.2023.780</a>.","ama":"Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. <i>Journal of Fluid Mechanics</i>. 2023;974. doi:<a href=\"https://doi.org/10.1017/jfm.2023.780\">10.1017/jfm.2023.780</a>","short":"E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).","chicago":"Marensi, Elena, Gökhan Yalniz, and Björn Hof. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.1017/jfm.2023.780\">https://doi.org/10.1017/jfm.2023.780</a>.","ieee":"E. Marensi, G. Yalniz, and B. Hof, “Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows,” <i>Journal of Fluid Mechanics</i>, vol. 974. Cambridge University Press, 2023."},"type":"journal_article","doi":"10.1017/jfm.2023.780","publication_identifier":{"issn":["0022-1120"],"eissn":["1469-7645"]},"acknowledgement":"E.M. acknowledges funding from the ISTplus fellowship programme. G.Y. and B.H. acknowledge a grant from the Simons Foundation (662960, BH).","file":[{"file_id":"14996","date_created":"2024-02-15T09:05:21Z","relation":"main_file","access_level":"open_access","creator":"dernst","file_name":"2023_JourFluidMechanics_Marensi.pdf","checksum":"17c64c1fb0d5f73252364bf98b0b9e1a","content_type":"application/pdf","success":1,"date_updated":"2024-02-15T09:05:21Z","file_size":2804641}],"oa_version":"Published Version","publication_status":"published","project":[{"name":"Revisiting the Turbulence Problem Using Statistical Mechanics","_id":"238598C6-32DE-11EA-91FC-C7463DDC885E","grant_number":"662960"}],"article_processing_charge":"Yes (via OA deal)","date_published":"2023-11-10T00:00:00Z","publisher":"Cambridge University Press","abstract":[{"text":"The first long-lived turbulent structures observable in planar shear flows take the form of localized stripes, inclined with respect to the mean flow direction. The dynamics of these stripes is central to transition, and recent studies proposed an analogy to directed percolation where the stripes’ proliferation is ultimately responsible for the turbulence becoming sustained. In the present study we focus on the internal stripe dynamics as well as on the eventual stripe expansion, and we compare the underlying mechanisms in pressure- and shear-driven planar flows, respectively, plane-Poiseuille and plane-Couette flow. Despite the similarities of the overall laminar–turbulence patterns, the stripe proliferation processes in the two cases are fundamentally different. Starting from the growth and sustenance of individual stripes, we find that in plane-Couette flow new streaks are created stochastically throughout the stripe whereas in plane-Poiseuille flow streak creation is deterministic and occurs locally at the downstream tip. Because of the up/downstream symmetry, Couette stripes, in contrast to Poiseuille stripes, have two weak and two strong laminar turbulent interfaces. These differences in symmetry as well as in internal growth give rise to two fundamentally different stripe splitting mechanisms. In plane-Poiseuille flow splitting is connected to the elongational growth of the original stripe, and it results from a break-off/shedding of the stripe's tail. In plane-Couette flow splitting follows from a broadening of the original stripe and a division along the stripe into two slimmer stripes.","lang":"eng"}],"scopus_import":"1","year":"2023","arxiv":1,"date_updated":"2026-04-07T11:47:05Z","month":"11","isi":1,"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","title":"Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows","language":[{"iso":"eng"}],"external_id":{"isi":["001088363700001"],"arxiv":["2212.12406"]},"author":[{"id":"0BE7553A-1004-11EA-B805-18983DDC885E","first_name":"Elena","full_name":"Marensi, Elena","last_name":"Marensi","orcid":"0000-0001-7173-4923"},{"full_name":"Yalniz, Gökhan","first_name":"Gökhan","orcid":"0000-0002-8490-9312","last_name":"Yalniz","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425"},{"last_name":"Hof","orcid":"0000-0003-2057-2754","first_name":"Björn","full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"intvolume":"       974","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"A21","keyword":["turbulence","transition to turbulence","patterns"],"corr_author":"1","article_type":"original","date_created":"2023-10-30T09:32:28Z","ddc":["530"],"has_accepted_license":"1","volume":974,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"19684"}]}},{"corr_author":"1","article_type":"original","date_created":"2023-01-08T23:00:53Z","ddc":["530"],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_number":"A10","volume":954,"related_material":{"record":[{"id":"19684","status":"public","relation":"dissertation_contains"}]},"has_accepted_license":"1","quality_controlled":"1","title":"Symmetry-reduced dynamic mode decomposition of near-wall turbulence","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"intvolume":"       954","status":"public","language":[{"iso":"eng"}],"author":[{"last_name":"Marensi","orcid":"0000-0001-7173-4923","full_name":"Marensi, Elena","first_name":"Elena","id":"0BE7553A-1004-11EA-B805-18983DDC885E"},{"id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","last_name":"Yalniz","orcid":"0000-0002-8490-9312","full_name":"Yalniz, Gökhan","first_name":"Gökhan"},{"orcid":"0000-0003-2057-2754","last_name":"Hof","first_name":"Björn","full_name":"Hof, Björn","id":"3A374330-F248-11E8-B48F-1D18A9856A87"},{"id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","first_name":"Nazmi B","full_name":"Budanur, Nazmi B","last_name":"Budanur","orcid":"0000-0003-0423-5010"}],"external_id":{"arxiv":["2101.07516"],"isi":["000903336600001"]},"publication_status":"published","article_processing_charge":"Yes (via OA deal)","project":[{"_id":"238598C6-32DE-11EA-91FC-C7463DDC885E","name":"Revisiting the Turbulence Problem Using Statistical Mechanics","grant_number":"662960"}],"oa_version":"Published Version","file":[{"content_type":"application/pdf","checksum":"9224f987caefe5dd85a70814d3cce65c","file_name":"2023_JourFluidMechanics_Marensi.pdf","file_size":1931647,"date_updated":"2023-02-02T12:34:54Z","success":1,"file_id":"12489","creator":"dernst","access_level":"open_access","relation":"main_file","date_created":"2023-02-02T12:34:54Z"}],"scopus_import":"1","abstract":[{"lang":"eng","text":"Data-driven dimensionality reduction methods such as proper orthogonal decomposition and dynamic mode decomposition have proven to be useful for exploring complex phenomena within fluid dynamics and beyond. A well-known challenge for these techniques is posed by the continuous symmetries, e.g. translations and rotations, of the system under consideration, as drifts in the data dominate the modal expansions without providing an insight into the dynamics of the problem. In the present study, we address this issue for fluid flows in rectangular channels by formulating a continuous symmetry reduction method that eliminates the translations in the streamwise and spanwise directions simultaneously. We demonstrate our method by computing the symmetry-reduced dynamic mode decomposition (SRDMD) of sliding windows of data obtained from the transitional plane-Couette and turbulent plane-Poiseuille flow simulations. In the former setting, SRDMD captures the dynamics in the vicinity of the invariant solutions with translation symmetries, i.e. travelling waves and relative periodic orbits, whereas in the latter, our calculations reveal episodes of turbulent time evolution that can be approximated by a low-dimensional linear expansion."}],"year":"2023","date_updated":"2026-04-07T11:47:05Z","arxiv":1,"isi":1,"month":"01","date_published":"2023-01-10T00:00:00Z","publisher":"Cambridge University Press","file_date_updated":"2023-02-02T12:34:54Z","publication":"Journal of Fluid Mechanics","_id":"12105","day":"10","doi":"10.1017/jfm.2022.1001","acknowledgement":"E.M. acknowledges funding from the ISTplus fellowship programme. G.Y. and B.H. acknowledge\r\na grant from the Simons Foundation (662960, BH).","publication_identifier":{"issn":["0022-1120"],"eissn":["1469-7645"]},"oa":1,"citation":{"mla":"Marensi, Elena, et al. “Symmetry-Reduced Dynamic Mode Decomposition of near-Wall Turbulence.” <i>Journal of Fluid Mechanics</i>, vol. 954, A10, Cambridge University Press, 2023, doi:<a href=\"https://doi.org/10.1017/jfm.2022.1001\">10.1017/jfm.2022.1001</a>.","ama":"Marensi E, Yalniz G, Hof B, Budanur NB. Symmetry-reduced dynamic mode decomposition of near-wall turbulence. <i>Journal of Fluid Mechanics</i>. 2023;954. doi:<a href=\"https://doi.org/10.1017/jfm.2022.1001\">10.1017/jfm.2022.1001</a>","short":"E. Marensi, G. Yalniz, B. Hof, N.B. Budanur, Journal of Fluid Mechanics 954 (2023).","apa":"Marensi, E., Yalniz, G., Hof, B., &#38; Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. <i>Journal of Fluid Mechanics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jfm.2022.1001\">https://doi.org/10.1017/jfm.2022.1001</a>","ista":"Marensi E, Yalniz G, Hof B, Budanur NB. 2023. Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. 954, A10.","ieee":"E. Marensi, G. Yalniz, B. Hof, and N. B. Budanur, “Symmetry-reduced dynamic mode decomposition of near-wall turbulence,” <i>Journal of Fluid Mechanics</i>, vol. 954. Cambridge University Press, 2023.","chicago":"Marensi, Elena, Gökhan Yalniz, Björn Hof, and Nazmi B Budanur. “Symmetry-Reduced Dynamic Mode Decomposition of near-Wall Turbulence.” <i>Journal of Fluid Mechanics</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.1017/jfm.2022.1001\">https://doi.org/10.1017/jfm.2022.1001</a>."},"type":"journal_article","department":[{"_id":"BjHo"}]},{"day":"21","_id":"13274","issue":"3","publication":"Physical Review Letters","oa":1,"type":"journal_article","citation":{"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>","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.","short":"C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).","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>","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>.","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>.","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."},"department":[{"_id":"GradSch"},{"_id":"BjHo"}],"doi":"10.1103/physrevlett.131.034002","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"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.).","oa_version":"Preprint","publication_status":"published","article_processing_charge":"No","project":[{"grant_number":"662960","name":"Revisiting the Turbulence Problem Using Statistical Mechanics","_id":"238598C6-32DE-11EA-91FC-C7463DDC885E"}],"date_published":"2023-07-21T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2306.05098"}],"publisher":"American Physical Society","scopus_import":"1","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."}],"year":"2023","date_updated":"2026-04-07T11:47:05Z","arxiv":1,"month":"07","isi":1,"quality_controlled":"1","title":"Direct path from turbulence to time-periodic solutions","language":[{"iso":"eng"}],"external_id":{"arxiv":["2306.05098"],"isi":["001052929900004"],"pmid":["37540883"]},"author":[{"id":"3D85B7C4-F248-11E8-B48F-1D18A9856A87","last_name":"Paranjape","full_name":"Paranjape, Chaitanya S","first_name":"Chaitanya S"},{"id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","last_name":"Yalniz","orcid":"0000-0002-8490-9312","full_name":"Yalniz, Gökhan","first_name":"Gökhan"},{"last_name":"Duguet","full_name":"Duguet, Yohann","first_name":"Yohann"},{"first_name":"Nazmi B","full_name":"Budanur, Nazmi B","orcid":"0000-0003-0423-5010","last_name":"Budanur","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Björn","full_name":"Hof, Björn","orcid":"0000-0003-2057-2754","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"intvolume":"       131","status":"public","article_number":"034002","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","keyword":["General Physics and Astronomy"],"pmid":1,"corr_author":"1","article_type":"original","date_created":"2023-07-24T09:43:59Z","volume":131,"related_material":{"record":[{"id":"19684","status":"public","relation":"dissertation_contains"}]}},{"pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"103202","date_created":"2023-04-02T22:01:10Z","corr_author":"1","article_type":"original","ec_funded":1,"volume":130,"related_material":{"link":[{"relation":"press_release","description":"News on the ISTA website","url":"https://ista.ac.at/en/news/topology-of-rotating-molecules/"}],"record":[{"relation":"dissertation_contains","status":"public","id":"19393"}]},"quality_controlled":"1","title":"Topological charges of periodically kicked molecules","language":[{"iso":"eng"}],"external_id":{"arxiv":["2206.07067"],"isi":["000957635500003"],"pmid":["36962042"]},"author":[{"id":"D7C012AE-D7ED-11E9-95E8-1EC5E5697425","orcid":"0000-0002-6963-0129","last_name":"Karle","first_name":"Volker","full_name":"Karle, Volker"},{"last_name":"Ghazaryan","orcid":"0000-0001-9666-3543","first_name":"Areg","full_name":"Ghazaryan, Areg","id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87"},{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","full_name":"Lemeshko, Mikhail","orcid":"0000-0002-6990-7802","last_name":"Lemeshko"}],"status":"public","intvolume":"       130","oa_version":"Preprint","project":[{"grant_number":"801770","call_identifier":"H2020","_id":"2688CF98-B435-11E9-9278-68D0E5697425","name":"Angulon: physics and applications of a new quasiparticle"}],"article_processing_charge":"No","publication_status":"published","date_published":"2023-03-10T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2206.07067"}],"publisher":"American Physical Society","arxiv":1,"date_updated":"2026-04-07T11:48:53Z","month":"03","isi":1,"year":"2023","abstract":[{"lang":"eng","text":"We show that the simplest of existing molecules—closed-shell diatomics not interacting with one another—host topological charges when driven by periodic far-off-resonant laser pulses. A periodically kicked molecular rotor can be mapped onto a “crystalline” lattice in angular momentum space. This allows us to define quasimomenta and the band structure in the Floquet representation, by analogy with the Bloch waves of solid-state physics. Applying laser pulses spaced by 1/3 of the molecular rotational period creates a lattice with three atoms per unit cell with staggered hopping. Within the synthetic dimension of the laser strength, we discover Dirac cones with topological charges. These Dirac cones, topologically protected by reflection and time-reversal symmetry, are reminiscent of (although not equivalent to) that seen in graphene. They—and the corresponding edge states—are broadly tunable by adjusting the laser strength and can be observed in present-day experiments by measuring molecular alignment and populations of rotational levels. This paves the way to study controllable topological physics in gas-phase experiments with small molecules as well as to classify dynamical molecular states by their topological invariants."}],"scopus_import":"1","_id":"12788","day":"10","publication":"Physical Review Letters","issue":"10","citation":{"apa":"Karle, V., Ghazaryan, A., &#38; Lemeshko, M. (2023). Topological charges of periodically kicked molecules. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevLett.130.103202\">https://doi.org/10.1103/PhysRevLett.130.103202</a>","ista":"Karle V, Ghazaryan A, Lemeshko M. 2023. Topological charges of periodically kicked molecules. Physical Review Letters. 130(10), 103202.","short":"V. Karle, A. Ghazaryan, M. Lemeshko, Physical Review Letters 130 (2023).","ama":"Karle V, Ghazaryan A, Lemeshko M. Topological charges of periodically kicked molecules. <i>Physical Review Letters</i>. 2023;130(10). doi:<a href=\"https://doi.org/10.1103/PhysRevLett.130.103202\">10.1103/PhysRevLett.130.103202</a>","mla":"Karle, Volker, et al. “Topological Charges of Periodically Kicked Molecules.” <i>Physical Review Letters</i>, vol. 130, no. 10, 103202, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/PhysRevLett.130.103202\">10.1103/PhysRevLett.130.103202</a>.","chicago":"Karle, Volker, Areg Ghazaryan, and Mikhail Lemeshko. “Topological Charges of Periodically Kicked Molecules.” <i>Physical Review Letters</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/PhysRevLett.130.103202\">https://doi.org/10.1103/PhysRevLett.130.103202</a>.","ieee":"V. Karle, A. Ghazaryan, and M. Lemeshko, “Topological charges of periodically kicked molecules,” <i>Physical Review Letters</i>, vol. 130, no. 10. American Physical Society, 2023."},"department":[{"_id":"MiLe"}],"type":"journal_article","oa":1,"doi":"10.1103/PhysRevLett.130.103202","acknowledgement":"M. L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON).","publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]}},{"oa":1,"citation":{"ieee":"J. Svoboda, J. Tkadlec, K. Kaveh, and K. Chatterjee, “Coexistence times in the Moran process with environmental heterogeneity,” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>, vol. 479, no. 2271. The Royal Society, 2023.","chicago":"Svoboda, Jakub, Josef Tkadlec, Kamran Kaveh, and Krishnendu Chatterjee. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. The Royal Society, 2023. <a href=\"https://doi.org/10.1098/rspa.2022.0685\">https://doi.org/10.1098/rspa.2022.0685</a>.","short":"J. Svoboda, J. Tkadlec, K. Kaveh, K. Chatterjee, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 479 (2023).","mla":"Svoboda, Jakub, et al. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>, vol. 479, no. 2271, 20220685, The Royal Society, 2023, doi:<a href=\"https://doi.org/10.1098/rspa.2022.0685\">10.1098/rspa.2022.0685</a>.","ama":"Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. 2023;479(2271). doi:<a href=\"https://doi.org/10.1098/rspa.2022.0685\">10.1098/rspa.2022.0685</a>","apa":"Svoboda, J., Tkadlec, J., Kaveh, K., &#38; Chatterjee, K. (2023). Coexistence times in the Moran process with environmental heterogeneity. <i>Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences</i>. The Royal Society. <a href=\"https://doi.org/10.1098/rspa.2022.0685\">https://doi.org/10.1098/rspa.2022.0685</a>","ista":"Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. 2023. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 479(2271), 20220685."},"type":"journal_article","department":[{"_id":"KrCh"}],"doi":"10.1098/rspa.2022.0685","publication_identifier":{"eissn":["1471-2946"],"issn":["1364-5021"]},"acknowledgement":"J.S. and K.C. acknowledge support from the ERC CoG 863818 (ForM-SMArt)","_id":"12787","day":"29","file_date_updated":"2023-04-03T06:25:29Z","issue":"2271","publication":"Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences","date_published":"2023-03-29T00:00:00Z","publisher":"The Royal Society","year":"2023","scopus_import":"1","abstract":[{"text":"Populations evolve in spatially heterogeneous environments. While a certain trait might bring a fitness advantage in some patch of the environment, a different trait might be advantageous in another patch. Here, we study the Moran birth–death process with two types of individuals in a population stretched across two patches of size N, each patch favouring one of the two types. We show that the long-term fate of such populations crucially depends on the migration rate μ\r\n between the patches. To classify the possible fates, we use the distinction between polynomial (short) and exponential (long) timescales. We show that when μ is high then one of the two types fixates on the whole population after a number of steps that is only polynomial in N. By contrast, when μ is low then each type holds majority in the patch where it is favoured for a number of steps that is at least exponential in N. Moreover, we precisely identify the threshold migration rate μ⋆ that separates those two scenarios, thereby exactly delineating the situations that support long-term coexistence of the two types. We also discuss the case of various cycle graphs and we present computer simulations that perfectly match our analytical results.","lang":"eng"}],"date_updated":"2026-04-07T11:49:11Z","isi":1,"month":"03","file":[{"file_name":"2023_ProceedingsRoyalSocietyA_Svoboda.pdf","checksum":"13953d349fbefcb5d21ccc6b303297eb","content_type":"application/pdf","date_updated":"2023-04-03T06:25:29Z","success":1,"file_size":827784,"file_id":"12796","date_created":"2023-04-03T06:25:29Z","relation":"main_file","access_level":"open_access","creator":"dernst"}],"oa_version":"Published Version","publication_status":"published","project":[{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"article_processing_charge":"No","language":[{"iso":"eng"}],"external_id":{"isi":["000957125500002"]},"author":[{"id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","orcid":"0000-0002-1419-3267","last_name":"Svoboda","first_name":"Jakub","full_name":"Svoboda, Jakub"},{"first_name":"Josef","full_name":"Tkadlec, Josef","orcid":"0000-0002-1097-9684","last_name":"Tkadlec","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Kamran","full_name":"Kaveh, Kamran","last_name":"Kaveh"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"}],"intvolume":"       479","status":"public","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","title":"Coexistence times in the Moran process with environmental heterogeneity","has_accepted_license":"1","volume":479,"related_material":{"link":[{"relation":"research_data","url":"https://doi.org/10.6084/m9.figshare.21261771.v1"}],"record":[{"id":"20138","relation":"dissertation_contains","status":"public"}]},"ec_funded":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_number":"20220685","article_type":"original","date_created":"2023-04-02T22:01:09Z","ddc":["000"]},{"article_number":"2311.06103","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","oa_version":"Preprint","article_processing_charge":"No","date_created":"2024-02-28T17:59:32Z","OA_place":"repository","corr_author":"1","publication_status":"draft","date_published":"2023-11-10T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2311.06103"}],"arxiv":1,"date_updated":"2026-04-07T11:49:51Z","month":"11","abstract":[{"lang":"eng","text":"A crucial property for achieving secure, trustworthy and interpretable deep learning systems is their robustness: small changes to a system's inputs should not result in large changes to its outputs. Mathematically, this means one strives for networks with a small Lipschitz constant. Several recent works have focused on how to construct such Lipschitz networks, typically by imposing constraints on the weight matrices. In this work, we study an orthogonal aspect, namely the role of the activation function. We show that commonly used activation functions, such as MaxMin, as well as all piece-wise linear ones with two segments unnecessarily restrict the class of representable functions, even in the simplest one-dimensional setting. We furthermore introduce the new N-activation function that is provably more expressive than currently popular activation functions. We provide code at this https URL."}],"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"19759"}]},"year":"2023","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"day":"10","_id":"15039","publication":"arXiv","title":"1-Lipschitz neural networks are more expressive with N-activations","type":"preprint","department":[{"_id":"GradSch"},{"_id":"ChLa"}],"citation":{"apa":"Prach, B., &#38; Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">https://doi.org/10.48550/ARXIV.2311.06103</a>","ista":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv, 2311.06103.","mla":"Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” <i>ArXiv</i>, 2311.06103, doi:<a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">10.48550/ARXIV.2311.06103</a>.","ama":"Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">10.48550/ARXIV.2311.06103</a>","short":"B. Prach, C. Lampert, ArXiv (n.d.).","chicago":"Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2311.06103\">https://doi.org/10.48550/ARXIV.2311.06103</a>.","ieee":"B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” <i>arXiv</i>. ."},"oa":1,"language":[{"iso":"eng"}],"author":[{"full_name":"Prach, Bernd","first_name":"Bernd","last_name":"Prach","id":"2D561D42-C427-11E9-89B4-9C1AE6697425"},{"first_name":"Christoph","full_name":"Lampert, Christoph","orcid":"0000-0001-8622-7887","last_name":"Lampert","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["2311.06103"]},"status":"public","doi":"10.48550/ARXIV.2311.06103"},{"page":"1117-1119","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"title":"Distinct functions of TIR1 and AFB1 receptors in auxin signalling.","quality_controlled":"1","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","author":[{"first_name":"Huihuang","full_name":"Chen, Huihuang","last_name":"Chen","id":"83c96512-15b2-11ec-abd3-b7eede36184f"},{"id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","full_name":"Li, Lanxin","first_name":"Lanxin","last_name":"Li","orcid":"0000-0002-5607-272X"},{"id":"5c243f41-03f3-11ec-841c-96faf48a7ef9","last_name":"Zou","first_name":"Minxia","full_name":"Zou, Minxia"},{"id":"44B04502-A9ED-11E9-B6FC-583AE6697425","full_name":"Qi, Linlin","first_name":"Linlin","last_name":"Qi","orcid":"0000-0001-5187-8401"},{"full_name":"Friml, Jiří","first_name":"Jiří","last_name":"Friml","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"pmid":["37393433"],"isi":["001044410900001"]},"language":[{"iso":"eng"}],"status":"public","intvolume":"        16","pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["580"],"date_created":"2023-07-12T07:32:46Z","article_type":"letter_note","corr_author":"1","has_accepted_license":"1","ec_funded":1,"related_material":{"record":[{"id":"19478","status":"public","relation":"dissertation_contains"}]},"volume":16,"day":"01","_id":"13212","publication":"Molecular Plant","issue":"7","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"Bio"}],"file_date_updated":"2024-01-29T10:37:05Z","department":[{"_id":"JiFr"}],"citation":{"apa":"Chen, H., Li, L., Zou, M., Qi, L., &#38; Friml, J. (2023). Distinct functions of TIR1 and AFB1 receptors in auxin signalling. <i>Molecular Plant</i>. Elsevier . <a href=\"https://doi.org/10.1016/j.molp.2023.06.007\">https://doi.org/10.1016/j.molp.2023.06.007</a>","ista":"Chen H, Li L, Zou M, Qi L, Friml J. 2023. Distinct functions of TIR1 and AFB1 receptors in auxin signalling. Molecular Plant. 16(7), 1117–1119.","short":"H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.","ama":"Chen H, Li L, Zou M, Qi L, Friml J. Distinct functions of TIR1 and AFB1 receptors in auxin signalling. <i>Molecular Plant</i>. 2023;16(7):1117-1119. doi:<a href=\"https://doi.org/10.1016/j.molp.2023.06.007\">10.1016/j.molp.2023.06.007</a>","mla":"Chen, Huihuang, et al. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” <i>Molecular Plant</i>, vol. 16, no. 7, Elsevier , 2023, pp. 1117–19, doi:<a href=\"https://doi.org/10.1016/j.molp.2023.06.007\">10.1016/j.molp.2023.06.007</a>.","chicago":"Chen, Huihuang, Lanxin Li, Minxia Zou, Linlin Qi, and Jiří Friml. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” <i>Molecular Plant</i>. Elsevier , 2023. <a href=\"https://doi.org/10.1016/j.molp.2023.06.007\">https://doi.org/10.1016/j.molp.2023.06.007</a>.","ieee":"H. Chen, L. Li, M. Zou, L. Qi, and J. Friml, “Distinct functions of TIR1 and AFB1 receptors in auxin signalling.,” <i>Molecular Plant</i>, vol. 16, no. 7. Elsevier , pp. 1117–1119, 2023."},"type":"journal_article","oa":1,"acknowledgement":"We thank all the authors for sharing the published materials. This research was supported by the Lab Support Facility and the Imaging and Optics Facility of ISTA. We thank Lukáš Fiedler (ISTA) for critical reading of the manuscript. This project was funded by the European Research Council Advanced Grant (ETAP-742985).","publication_identifier":{"issn":["1752-9867"],"eissn":["1674-2052"]},"doi":"10.1016/j.molp.2023.06.007","oa_version":"Published Version","file":[{"content_type":"application/pdf","file_name":"2023_MolecularPlant_Chen.pdf","checksum":"6012b7e4a2f680ee6c1f84001e2b945f","file_size":1000871,"date_updated":"2024-01-29T10:37:05Z","success":1,"file_id":"14894","access_level":"open_access","creator":"dernst","date_created":"2024-01-29T10:37:05Z","relation":"main_file"}],"project":[{"name":"Tracing Evolution of Auxin Transport and Polarity in Plants","_id":"261099A6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"742985"}],"article_processing_charge":"Yes (via OA deal)","publication_status":"published","publisher":"Elsevier ","date_published":"2023-07-01T00:00:00Z","isi":1,"month":"07","date_updated":"2026-04-07T11:51:24Z","scopus_import":"1","abstract":[{"lang":"eng","text":"Auxin is the major plant hormone regulating growth and development (Friml, 2022). Forward genetic approaches in the model plant Arabidopsis thaliana have identified major components of auxin signalling and established the canonical mechanism mediating transcriptional and thus developmental reprogramming. In this textbook view, TRANSPORT INHIBITOR RESPONSE 1 (TIR1)/AUXIN-SIGNALING F-BOX (AFBs) are auxin receptors, which act as F-box subunits determining the substrate specificity of the Skp1-Cullin1-F box protein (SCF) type E3 ubiquitin ligase complex. Auxin acts as a “molecular glue” increasing the affinity between TIR1/AFBs and the Aux/IAA repressors. Subsequently, Aux/IAAs are ubiquitinated and degraded, thus releasing auxin transcription factors from their repression making them free to mediate transcription of auxin response genes (Yu et al., 2022). Nonetheless, accumulating evidence suggests existence of rapid, non-transcriptional responses downstream of TIR1/AFBs such as auxin-induced cytosolic calcium (Ca2+) transients, plasma membrane depolarization and apoplast alkalinisation, all converging on the process of root growth inhibition and root gravitropism (Li et al., 2022). Particularly, these rapid responses are mostly contributed by predominantly cytosolic AFB1, while the long-term growth responses are mediated by mainly nuclear TIR1 and AFB2-AFB5 (Li et al., 2021; Prigge et al., 2020; Serre et al., 2021). How AFB1 conducts auxin-triggered rapid responses and how it is different from TIR1 and AFB2-AFB5 remains elusive. Here, we compare the roles of TIR1 and AFB1 in transcriptional and rapid responses by modulating their subcellular localization in Arabidopsis and by testing their ability to mediate transcriptional responses when part of the minimal auxin circuit reconstituted in yeast."}],"year":"2023"},{"external_id":{"arxiv":["2307.06016"],"isi":["001570542500017"]},"author":[{"last_name":"Boker","first_name":"Udi","full_name":"Boker, Udi","id":"31E297B6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"id":"b26baa86-3308-11ec-87b0-8990f34baa85","first_name":"Nicolas Adrien","full_name":"Mazzocchi, Nicolas Adrien","last_name":"Mazzocchi"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","last_name":"Sarac","full_name":"Sarac, Naci E","first_name":"Naci E"}],"language":[{"iso":"eng"}],"status":"public","intvolume":"       279","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Safety and liveness of quantitative automata","quality_controlled":"1","has_accepted_license":"1","ec_funded":1,"related_material":{"record":[{"relation":"later_version","status":"public","id":"20342"},{"id":"20147","relation":"dissertation_contains","status":"public"}]},"volume":279,"conference":{"start_date":"2023-09-18","name":"CONCUR: Conference on Concurrency Theory","end_date":"2023-09-23","location":"Antwerp, Belgium"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"17","ddc":["000"],"date_created":"2023-07-14T10:00:15Z","corr_author":"1","citation":{"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>.","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.","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.","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>","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.","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>.","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>"},"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"type":"conference","oa":1,"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.","publication_identifier":{"eissn":["1868-8969"],"isbn":["9783959772990"]},"doi":"10.4230/LIPIcs.CONCUR.2023.17","day":"01","_id":"13221","publication":"34th International Conference on Concurrency Theory","file_date_updated":"2023-07-14T12:03:48Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_published":"2023-09-01T00:00:00Z","month":"09","isi":1,"arxiv":1,"date_updated":"2026-04-07T12:02:57Z","year":"2023","abstract":[{"lang":"eng","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."}],"scopus_import":"1","alternative_title":["LIPIcs"],"file":[{"creator":"esarac","access_level":"open_access","relation":"main_file","date_created":"2023-07-14T12:03:48Z","file_id":"13224","file_size":755529,"success":1,"date_updated":"2023-07-14T12:03:48Z","content_type":"application/pdf","checksum":"d40e57a04448ea5c77d7e1cfb9590a81","file_name":"CONCUR23.pdf"}],"oa_version":"Published Version","article_processing_charge":"No","project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093"}],"publication_status":"published"},{"day":"02","_id":"13143","publication":"Public-Key Cryptography - PKC 2023","oa":1,"type":"conference","citation":{"short":"C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.","mla":"Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” <i>Public-Key Cryptography - PKC 2023</i>, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:<a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">10.1007/978-3-031-31368-4_19</a>.","ama":"Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: <i>Public-Key Cryptography - PKC 2023</i>. Vol 13940. Springer Nature; 2023:530-553. doi:<a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">10.1007/978-3-031-31368-4_19</a>","ista":"Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.","apa":"Hoffmann, C., Hubáček, P., Kamath, C., &#38; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In <i>Public-Key Cryptography - PKC 2023</i> (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">https://doi.org/10.1007/978-3-031-31368-4_19</a>","ieee":"C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in <i>Public-Key Cryptography - PKC 2023</i>, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.","chicago":"Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In <i>Public-Key Cryptography - PKC 2023</i>, 13940:530–53. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">https://doi.org/10.1007/978-3-031-31368-4_19</a>."},"department":[{"_id":"KrPi"}],"acknowledgement":"We are grateful to Pavel Atnashev for clarifying via e-mail several aspects of the primality tests implementated in the PrimeGrid project. Pavel Hubáček is supported by the Czech Academy of Sciences (RVO 67985840), the Grant Agency of the Czech Republic under the grant agreement no. 19-27871X, and by the Charles University project UNCE/SCI/004. Chethan Kamath is supported by Azrieli International Postdoctoral Fellowship, ISF grants 484/18 and 1789/19, and ERC StG project SPP: Secrecy Preserving Proofs.","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783031313677"]},"doi":"10.1007/978-3-031-31368-4_19","oa_version":"Submitted Version","publication_status":"published","article_processing_charge":"No","publisher":"Springer Nature","main_file_link":[{"url":"https://eprint.iacr.org/2023/238","open_access":"1"}],"date_published":"2023-05-02T00:00:00Z","year":"2023","abstract":[{"lang":"eng","text":"GIMPS and PrimeGrid are large-scale distributed projects dedicated to searching giant prime numbers, usually of special forms like Mersenne and Proth primes. The numbers in the current search-space are millions of digits large and the participating volunteers need to run resource-consuming primality tests. Once a candidate prime N has been found, the only way for another party to independently verify the primality of N used to be by repeating the expensive primality test. To avoid the need for second recomputation of each primality test, these projects have recently adopted certifying mechanisms that enable efficient verification of performed tests. However, the mechanisms presently in place only detect benign errors and there is no guarantee against adversarial behavior: a malicious volunteer can mislead the project to reject a giant prime as being non-prime.\r\nIn this paper, we propose a practical, cryptographically-sound mechanism for certifying the non-primality of Proth numbers. That is, a volunteer can – parallel to running the primality test for N – generate an efficiently verifiable proof at a little extra cost certifying that N is not prime. The interactive protocol has statistical soundness and can be made non-interactive using the Fiat-Shamir heuristic.\r\nOur approach is based on a cryptographic primitive called Proof of Exponentiation (PoE) which, for a group G, certifies that a tuple (x,y,T)∈G2×N satisfies x2T=y (Pietrzak, ITCS 2019 and Wesolowski, J. Cryptol. 2020). In particular, we show how to adapt Pietrzak’s PoE at a moderate additional cost to make it a cryptographically-sound certificate of non-primality."}],"scopus_import":"1","alternative_title":["LNCS"],"month":"05","isi":1,"date_updated":"2026-04-07T12:34:30Z","page":"530-553","title":"Certifying giant nonprimes","quality_controlled":"1","external_id":{"isi":["001276519300019"]},"author":[{"id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","first_name":"Charlotte","full_name":"Hoffmann, Charlotte","orcid":"0000-0003-2027-5549","last_name":"Hoffmann"},{"last_name":"Hubáček","first_name":"Pavel","full_name":"Hubáček, Pavel"},{"first_name":"Chethan","full_name":"Kamath, Chethan","last_name":"Kamath"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654","last_name":"Pietrzak"}],"language":[{"iso":"eng"}],"intvolume":"     13940","status":"public","conference":{"start_date":"2023-05-07","name":"PKC: Public-Key Cryptography","end_date":"2023-05-10","location":"Atlanta, GA, United States"},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","corr_author":"1","date_created":"2023-06-18T22:00:47Z","related_material":{"record":[{"id":"20920","status":"public","relation":"dissertation_contains"},{"status":"public","relation":"dissertation_contains","id":"20556"}]},"volume":13940},{"date_published":"2023-04-26T00:00:00Z","publisher":"Frontiers","date_updated":"2026-04-07T12:36:07Z","isi":1,"month":"04","abstract":[{"text":"Vertebrate movement is orchestrated by spinal inter- and motor neurons that, together with sensory and cognitive input, produce dynamic motor behaviors. These behaviors vary from the simple undulatory swimming of fish and larval aquatic species to the highly coordinated running, reaching and grasping of mice, humans and other mammals. This variation raises the fundamental question of how spinal circuits have changed in register with motor behavior. In simple, undulatory fish, exemplified by the lamprey, two broad classes of interneurons shape motor neuron output: ipsilateral-projecting excitatory neurons, and commissural-projecting inhibitory neurons. An additional class of ipsilateral inhibitory neurons is required to generate escape swim behavior in larval zebrafish and tadpoles. In limbed vertebrates, a more complex spinal neuron composition is observed. In this review, we provide evidence that movement elaboration correlates with an increase and specialization of these three basic interneuron types into molecularly, anatomically, and functionally distinct subpopulations. We summarize recent work linking neuron types to movement-pattern generation across fish, amphibians, reptiles, birds and mammals.","lang":"eng"}],"scopus_import":"1","year":"2023","oa_version":"Published Version","file":[{"file_id":"14729","relation":"main_file","date_created":"2024-01-03T13:33:21Z","creator":"dernst","access_level":"open_access","checksum":"7efd06de284a28e91e97127611a9c3fd","file_name":"2023_FrontiersNeuralCircuits_Wilson.pdf","content_type":"application/pdf","success":1,"date_updated":"2024-01-03T13:33:21Z","file_size":6667157}],"project":[{"_id":"ebb66355-77a9-11ec-83b8-b8ac210a4dae","name":"Development and Evolution of Tetrapod Motor Circuits","grant_number":"101041551"}],"article_processing_charge":"Yes","publication_status":"published","type":"journal_article","citation":{"apa":"Wilson, A. C., &#38; Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. <i>Frontiers in Neural Circuits</i>. Frontiers. <a href=\"https://doi.org/10.3389/fncir.2023.1146449\">https://doi.org/10.3389/fncir.2023.1146449</a>","ista":"Wilson AC, Sweeney LB. 2023. Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. 17, 1146449.","short":"A.C. Wilson, L.B. Sweeney, Frontiers in Neural Circuits 17 (2023).","ama":"Wilson AC, Sweeney LB. Spinal cords: Symphonies of interneurons across species. <i>Frontiers in Neural Circuits</i>. 2023;17. doi:<a href=\"https://doi.org/10.3389/fncir.2023.1146449\">10.3389/fncir.2023.1146449</a>","mla":"Wilson, Alexia C., and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” <i>Frontiers in Neural Circuits</i>, vol. 17, 1146449, Frontiers, 2023, doi:<a href=\"https://doi.org/10.3389/fncir.2023.1146449\">10.3389/fncir.2023.1146449</a>.","chicago":"Wilson, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” <i>Frontiers in Neural Circuits</i>. Frontiers, 2023. <a href=\"https://doi.org/10.3389/fncir.2023.1146449\">https://doi.org/10.3389/fncir.2023.1146449</a>.","ieee":"A. C. Wilson and L. B. Sweeney, “Spinal cords: Symphonies of interneurons across species,” <i>Frontiers in Neural Circuits</i>, vol. 17. Frontiers, 2023."},"department":[{"_id":"LoSw"}],"oa":1,"doi":"10.3389/fncir.2023.1146449","publication_identifier":{"issn":["1662-5110"]},"acknowledgement":"This work was supported by the ERC Starting grant, ERC-2021-STG #101041551.","day":"26","_id":"13097","publication":"Frontiers in Neural Circuits","file_date_updated":"2024-01-03T13:33:21Z","has_accepted_license":"1","volume":17,"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20735"}]},"pmid":1,"article_number":"1146449","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2023-05-28T22:01:04Z","ddc":["570"],"corr_author":"1","article_type":"original","language":[{"iso":"eng"}],"author":[{"id":"5230e794-15b2-11ec-abd3-e2d5335ebd1d","last_name":"Wilson","orcid":"0000-0001-6191-1367","first_name":"Alexia C","full_name":"Wilson, Alexia C"},{"id":"56BE8254-C4F0-11E9-8E45-0B23E6697425","orcid":"0000-0001-9242-5601","last_name":"Sweeney","first_name":"Lora Beatrice Jaeger","full_name":"Sweeney, Lora Beatrice Jaeger"}],"external_id":{"isi":["000984606200001"],"pmid":["37180760"]},"status":"public","intvolume":"        17","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","title":"Spinal cords: Symphonies of interneurons across species"},{"_id":"14421","day":"11","publication":"Journal of Physics A: Mathematical and Theoretical","file_date_updated":"2023-10-16T07:07:24Z","issue":"44","citation":{"ieee":"S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point source,” <i>Journal of Physics A: Mathematical and Theoretical</i>, vol. 56, no. 44. IOP Publishing, 2023.","chicago":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” <i>Journal of Physics A: Mathematical and Theoretical</i>. IOP Publishing, 2023. <a href=\"https://doi.org/10.1088/1751-8121/acfe62\">https://doi.org/10.1088/1751-8121/acfe62</a>.","mla":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” <i>Journal of Physics A: Mathematical and Theoretical</i>, vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:<a href=\"https://doi.org/10.1088/1751-8121/acfe62\">10.1088/1751-8121/acfe62</a>.","ama":"Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source. <i>Journal of Physics A: Mathematical and Theoretical</i>. 2023;56(44). doi:<a href=\"https://doi.org/10.1088/1751-8121/acfe62\">10.1088/1751-8121/acfe62</a>","short":"S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).","apa":"Henheik, S. J., &#38; Tumulka, R. (2023). Creation rate of Dirac particles at a point source. <i>Journal of Physics A: Mathematical and Theoretical</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1751-8121/acfe62\">https://doi.org/10.1088/1751-8121/acfe62</a>","ista":"Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201."},"department":[{"_id":"GradSch"},{"_id":"LaEr"}],"type":"journal_article","oa":1,"doi":"10.1088/1751-8121/acfe62","acknowledgement":"J H gratefully acknowledges partial financial support by the ERC Advanced Grant 'RMTBeyond' No. 101020331.","publication_identifier":{"eissn":["1751-8121"],"issn":["1751-8113"]},"oa_version":"Published Version","file":[{"success":1,"date_updated":"2023-10-16T07:07:24Z","file_size":721399,"file_name":"2023_JourPhysics_Henheik.pdf","checksum":"5b68de147dd4c608b71a6e0e844d2ce9","content_type":"application/pdf","date_created":"2023-10-16T07:07:24Z","relation":"main_file","access_level":"open_access","creator":"dernst","file_id":"14429"}],"project":[{"name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d","call_identifier":"H2020","grant_number":"101020331"}],"article_processing_charge":"Yes (via OA deal)","publication_status":"published","date_published":"2023-10-11T00:00:00Z","publisher":"IOP Publishing","date_updated":"2026-04-07T12:37:10Z","arxiv":1,"isi":1,"month":"10","year":"2023","abstract":[{"text":"Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\\in\\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission).","lang":"eng"}],"scopus_import":"1","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","title":"Creation rate of Dirac particles at a point source","language":[{"iso":"eng"}],"external_id":{"arxiv":["2211.16606"],"isi":["001080908000001"]},"author":[{"id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik","orcid":"0000-0003-1106-327X","full_name":"Henheik, Sven Joscha","first_name":"Sven Joscha"},{"full_name":"Tumulka, Roderich","first_name":"Roderich","last_name":"Tumulka"}],"status":"public","intvolume":"        56","article_number":"445201","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2023-10-12T12:42:53Z","ddc":["510"],"corr_author":"1","article_type":"original","has_accepted_license":"1","ec_funded":1,"volume":56,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"19540"}]}},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"128","article_type":"original","ddc":["510","530"],"date_created":"2023-07-30T22:01:02Z","has_accepted_license":"1","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20575"},{"id":"19540","status":"public","relation":"dissertation_contains"}]},"volume":190,"ec_funded":1,"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Eigenstate thermalisation hypothesis for translation invariant spin systems","quality_controlled":"1","author":[{"first_name":"Shoki","full_name":"Sugimoto, Shoki","last_name":"Sugimoto"},{"id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","orcid":"0000-0003-1106-327X","last_name":"Henheik","first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha"},{"id":"1949f904-edfb-11eb-afb5-e2dfddabb93b","full_name":"Riabov, Volodymyr","first_name":"Volodymyr","last_name":"Riabov"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László","full_name":"Erdös, László"}],"external_id":{"isi":["001035677200002"],"arxiv":["2304.04213"]},"language":[{"iso":"eng"}],"intvolume":"       190","status":"public","oa_version":"Published Version","file":[{"creator":"dernst","access_level":"open_access","relation":"main_file","date_created":"2023-07-31T07:49:31Z","file_id":"13325","file_size":612755,"success":1,"date_updated":"2023-07-31T07:49:31Z","content_type":"application/pdf","checksum":"c2ef6b2aecfee1ad6d03fab620507c2c","file_name":"2023_JourStatPhysics_Sugimoto.pdf"}],"publication_status":"published","project":[{"_id":"62796744-2b32-11ec-9570-940b20777f1d","name":"Random matrices beyond Wigner-Dyson-Mehta","grant_number":"101020331","call_identifier":"H2020"}],"article_processing_charge":"Yes (in subscription journal)","publisher":"Springer Nature","date_published":"2023-07-21T00:00:00Z","year":"2023","abstract":[{"text":"We prove the Eigenstate Thermalisation Hypothesis (ETH) for local observables in a typical translation invariant system of quantum spins with L-body interactions, where L is the number of spins. This mathematically verifies the observation first made by Santos and Rigol (Phys Rev E 82(3):031130, 2010, https://doi.org/10.1103/PhysRevE.82.031130) that the ETH may hold for systems with additional translational symmetries for a naturally restricted class of observables. We also present numerical support for the same phenomenon for Hamiltonians with local interaction.","lang":"eng"}],"scopus_import":"1","month":"07","isi":1,"arxiv":1,"date_updated":"2026-04-07T12:37:10Z","day":"21","_id":"13317","issue":"7","file_date_updated":"2023-07-31T07:49:31Z","publication":"Journal of Statistical Physics","oa":1,"department":[{"_id":"LaEr"}],"citation":{"short":"S. Sugimoto, S.J. Henheik, V. Riabov, L. Erdös, Journal of Statistical Physics 190 (2023).","mla":"Sugimoto, Shoki, et al. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.” <i>Journal of Statistical Physics</i>, vol. 190, no. 7, 128, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1007/s10955-023-03132-4\">10.1007/s10955-023-03132-4</a>.","ama":"Sugimoto S, Henheik SJ, Riabov V, Erdös L. Eigenstate thermalisation hypothesis for translation invariant spin systems. <i>Journal of Statistical Physics</i>. 2023;190(7). doi:<a href=\"https://doi.org/10.1007/s10955-023-03132-4\">10.1007/s10955-023-03132-4</a>","ista":"Sugimoto S, Henheik SJ, Riabov V, Erdös L. 2023. Eigenstate thermalisation hypothesis for translation invariant spin systems. Journal of Statistical Physics. 190(7), 128.","apa":"Sugimoto, S., Henheik, S. J., Riabov, V., &#38; Erdös, L. (2023). Eigenstate thermalisation hypothesis for translation invariant spin systems. <i>Journal of Statistical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10955-023-03132-4\">https://doi.org/10.1007/s10955-023-03132-4</a>","ieee":"S. Sugimoto, S. J. Henheik, V. Riabov, and L. Erdös, “Eigenstate thermalisation hypothesis for translation invariant spin systems,” <i>Journal of Statistical Physics</i>, vol. 190, no. 7. Springer Nature, 2023.","chicago":"Sugimoto, Shoki, Sven Joscha Henheik, Volodymyr Riabov, and László Erdös. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.” <i>Journal of Statistical Physics</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s10955-023-03132-4\">https://doi.org/10.1007/s10955-023-03132-4</a>."},"type":"journal_article","acknowledgement":"LE, JH, and VR were supported by ERC Advanced Grant “RMTBeyond” No. 101020331. SS was supported by KAKENHI Grant Number JP22J14935 from the Japan Society for the Promotion of Science (JSPS) and Forefront Physics and Mathematics Program to Drive Transformation (FoPM), a World-leading Innovative Graduate Study (WINGS) Program, the University of Tokyo.\r\nOpen access funding provided by The University of Tokyo.","publication_identifier":{"eissn":["1572-9613"],"issn":["0022-4715"]},"doi":"10.1007/s10955-023-03132-4"},{"external_id":{"isi":["001051980200001"],"arxiv":["2301.05181"]},"author":[{"last_name":"Cipolloni","orcid":"0000-0002-4901-7992","full_name":"Cipolloni, Giorgio","first_name":"Giorgio","id":"42198EFA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"László","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha","last_name":"Henheik","orcid":"0000-0003-1106-327X"},{"orcid":"0000-0003-1491-4623","last_name":"Kolupaiev","first_name":"Oleksii","full_name":"Kolupaiev, Oleksii","id":"149b70d4-896a-11ed-bdf8-8c63fd44ca61"}],"language":[{"iso":"eng"}],"intvolume":"        11","status":"public","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Gaussian fluctuations in the equipartition principle for Wigner matrices","quality_controlled":"1","has_accepted_license":"1","related_material":{"record":[{"id":"19540","status":"public","relation":"dissertation_contains"}]},"volume":11,"ec_funded":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"e74","article_type":"original","corr_author":"1","ddc":["510"],"date_created":"2023-09-17T22:01:09Z","oa":1,"citation":{"chicago":"Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Oleksii Kolupaiev. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” <i>Forum of Mathematics, Sigma</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.1017/fms.2023.70\">https://doi.org/10.1017/fms.2023.70</a>.","ieee":"G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations in the equipartition principle for Wigner matrices,” <i>Forum of Mathematics, Sigma</i>, vol. 11. Cambridge University Press, 2023.","ista":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. 2023. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 11, e74.","apa":"Cipolloni, G., Erdös, L., Henheik, S. J., &#38; Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. <i>Forum of Mathematics, Sigma</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/fms.2023.70\">https://doi.org/10.1017/fms.2023.70</a>","short":"G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).","ama":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Gaussian fluctuations in the equipartition principle for Wigner matrices. <i>Forum of Mathematics, Sigma</i>. 2023;11. doi:<a href=\"https://doi.org/10.1017/fms.2023.70\">10.1017/fms.2023.70</a>","mla":"Cipolloni, Giorgio, et al. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” <i>Forum of Mathematics, Sigma</i>, vol. 11, e74, Cambridge University Press, 2023, doi:<a href=\"https://doi.org/10.1017/fms.2023.70\">10.1017/fms.2023.70</a>."},"type":"journal_article","department":[{"_id":"LaEr"},{"_id":"GradSch"}],"acknowledgement":"G.C. and L.E. gratefully acknowledge many discussions with Dominik Schröder at the preliminary stage of this project, especially his essential contribution to identify the correct generalisation of traceless observables to the deformed Wigner ensembles.\r\nL.E. and J.H. acknowledges support by ERC Advanced Grant ‘RMTBeyond’ No. 101020331.","publication_identifier":{"eissn":["2050-5094"]},"doi":"10.1017/fms.2023.70","day":"23","_id":"14343","file_date_updated":"2023-09-20T11:09:35Z","publication":"Forum of Mathematics, Sigma","publisher":"Cambridge University Press","date_published":"2023-08-23T00:00:00Z","year":"2023","scopus_import":"1","abstract":[{"text":"The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation.","lang":"eng"}],"isi":1,"month":"08","date_updated":"2026-04-07T12:37:10Z","arxiv":1,"file":[{"relation":"main_file","date_created":"2023-09-20T11:09:35Z","creator":"dernst","access_level":"open_access","file_id":"14352","date_updated":"2023-09-20T11:09:35Z","success":1,"file_size":852652,"checksum":"eb747420e6a88a7796fa934151957676","file_name":"2023_ForumMathematics_Cipolloni.pdf","content_type":"application/pdf"}],"oa_version":"Published Version","publication_status":"published","project":[{"call_identifier":"H2020","grant_number":"101020331","_id":"62796744-2b32-11ec-9570-940b20777f1d","name":"Random matrices beyond Wigner-Dyson-Mehta"}],"article_processing_charge":"Yes"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"location":"Kigali, Rwanda","end_date":"2023-05-05","name":"ICLR: International Conference on Learning Representations","start_date":"2023-05-01"},"corr_author":"1","date_created":"2024-08-04T22:01:22Z","ddc":["000"],"has_accepted_license":"1","related_material":{"link":[{"url":"https://github.com/IST-DASLab/gptq","relation":"software"}],"record":[{"relation":"dissertation_contains","status":"public","id":"17485"}]},"ec_funded":1,"quality_controlled":"1","title":"OPTQ: Accurate post-training quantization for generative pre-trained transformers","language":[{"iso":"eng"}],"author":[{"id":"09a8f98d-ec99-11ea-ae11-c063a7b7fe5f","last_name":"Frantar","full_name":"Frantar, Elias","first_name":"Elias"},{"last_name":"Ashkboos","first_name":"Saleh","full_name":"Ashkboos, Saleh"},{"last_name":"Hoefler","full_name":"Hoefler, Torsten","first_name":"Torsten"},{"full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"status":"public","file":[{"date_updated":"2024-08-05T07:52:44Z","success":1,"file_size":437492,"checksum":"aacbf11dbd8b02a3e0bfd942a33e0593","file_name":"2023_ICLR_Frantar.pdf","content_type":"application/pdf","relation":"main_file","date_created":"2024-08-05T07:52:44Z","creator":"dernst","access_level":"open_access","file_id":"17385"}],"oa_version":"Published Version","publication_status":"published","article_processing_charge":"No","project":[{"name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"805223"}],"date_published":"2023-05-01T00:00:00Z","publisher":"International Conference on Learning Representations","scopus_import":"1","abstract":[{"lang":"eng","text":"Generative Pre-trained Transformer models, known as GPT or OPT, set themselves apart through breakthrough performance across complex language modelling tasks, but also by their extremely high computational and storage costs. Specifically, due to their massive size, even inference for large, highly-accurate GPT models may require multiple performant GPUs, which limits the usability of such models. While there is emerging work on relieving this pressure via model compression, the applicability and performance of existing compression techniques is limited by the scale and complexity of GPT models. In this paper, we address this challenge, and propose OPTQ, a new one-shot weight quantization method based on approximate second-order information, that is both highly-accurate and highly-efficient. Specifically, OPTQ can quantize GPT models with 175 billion parameters in approximately four GPU hours, reducing the bitwidth down to 3 or 4 bits per weight, with negligible accuracy degradation relative to the uncompressed baseline. Our method more than doubles the compression gains relative to previously-proposed one-shot quantization methods, preserving accuracy, allowing us for the first time to execute an 175 billion-parameter model inside a single GPU for generative inference. Moreover, we also show that our method can still provide reasonable accuracy in the extreme quantization regime, in which weights are quantized to 2-bit or even ternary quantization levels. We show experimentally that these improvements can be leveraged for end-to-end inference speedups over FP16, of around 3.25x when using high-end GPUs (NVIDIA A100) and 4.5x when using more cost-effective ones (NVIDIA A6000). The implementation is available at https://github.com/IST-DASLab/gptq."}],"year":"2023","date_updated":"2026-04-07T12:43:03Z","month":"05","_id":"17378","day":"01","acknowledged_ssus":[{"_id":"ScienComp"}],"file_date_updated":"2024-08-05T07:52:44Z","publication":"11th International Conference on Learning Representations ","oa":1,"citation":{"chicago":"Frantar, Elias, Saleh Ashkboos, Torsten Hoefler, and Dan-Adrian Alistarh. “OPTQ: Accurate Post-Training Quantization for Generative Pre-Trained Transformers.” In <i>11th International Conference on Learning Representations </i>. International Conference on Learning Representations, 2023.","ieee":"E. Frantar, S. Ashkboos, T. Hoefler, and D.-A. Alistarh, “OPTQ: Accurate post-training quantization for generative pre-trained transformers,” in <i>11th International Conference on Learning Representations </i>, Kigali, Rwanda, 2023.","ista":"Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. 2023. OPTQ: Accurate post-training quantization for generative pre-trained transformers. 11th International Conference on Learning Representations . ICLR: International Conference on Learning Representations.","apa":"Frantar, E., Ashkboos, S., Hoefler, T., &#38; Alistarh, D.-A. (2023). OPTQ: Accurate post-training quantization for generative pre-trained transformers. In <i>11th International Conference on Learning Representations </i>. Kigali, Rwanda: International Conference on Learning Representations.","ama":"Frantar E, Ashkboos S, Hoefler T, Alistarh D-A. OPTQ: Accurate post-training quantization for generative pre-trained transformers. In: <i>11th International Conference on Learning Representations </i>. International Conference on Learning Representations; 2023.","mla":"Frantar, Elias, et al. “OPTQ: Accurate Post-Training Quantization for Generative Pre-Trained Transformers.” <i>11th International Conference on Learning Representations </i>, International Conference on Learning Representations, 2023.","short":"E. Frantar, S. Ashkboos, T. Hoefler, D.-A. Alistarh, in:, 11th International Conference on Learning Representations , International Conference on Learning Representations, 2023."},"department":[{"_id":"DaAl"}],"type":"conference","acknowledgement":"Elias Frantar and Dan Alistarh gratefully acknowledge funding from the European Research Council (ERC) under the European Union’s Horizon 2020 programme (grant agreement No. 805223 ScaleML), as well as experimental support from Eldar Kurtic, and from the IST Austria IT department, in particular Stefano Elefante, Andrei Hornoiu, and Alois Schloegl. The work of Saleh Ashkboos and Torsten Hoefler was supported by the PASC DaCeMI project, received EuroHPC-JU funding under grant MAELSTROM, No. 955513. We thank the Swiss National Supercomputing Center (CSCS) for supporting us with compute infrastructure."},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"location":"Honolulu, Hawaii, HI, United States","end_date":"2023-07-29","name":"ICML: International Conference on Machine Learning","start_date":"2023-07-23"},"corr_author":"1","date_created":"2023-10-29T23:01:16Z","volume":202,"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"17485"}]},"ec_funded":1,"page":"10323-10337","quality_controlled":"1","title":"SparseGPT: Massive language models can be accurately pruned in one-shot","language":[{"iso":"eng"}],"author":[{"id":"09a8f98d-ec99-11ea-ae11-c063a7b7fe5f","last_name":"Frantar","full_name":"Frantar, Elias","first_name":"Elias"},{"first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"external_id":{"arxiv":["2301.00774"]},"intvolume":"       202","status":"public","oa_version":"Preprint","publication_status":"published","article_processing_charge":"No","project":[{"grant_number":"805223","call_identifier":"H2020","name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425"}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2301.00774","open_access":"1"}],"date_published":"2023-07-30T00:00:00Z","publisher":"ML Research Press","alternative_title":["PMLR"],"year":"2023","scopus_import":"1","abstract":[{"text":"We show for the first time that large-scale generative pretrained transformer (GPT) family models can be pruned to at least 50% sparsity in one-shot, without any retraining, at minimal loss of accuracy. This is achieved via a new pruning method called SparseGPT, specifically designed to work efficiently and accurately on massive GPT-family models. We can execute SparseGPT on the largest available open-source models, OPT-175B and BLOOM-176B, in under 4.5 hours, and can reach 60% unstructured sparsity with negligible increase in perplexity: remarkably, more than 100 billion weights from these models can be ignored at inference time. SparseGPT generalizes to semi-structured (2:4 and 4:8) patterns, and is compatible with weight quantization approaches. The code is available at: https://github.com/IST-DASLab/sparsegpt.","lang":"eng"}],"date_updated":"2026-04-07T12:43:03Z","arxiv":1,"month":"07","day":"30","_id":"14458","acknowledged_ssus":[{"_id":"ScienComp"}],"publication":"Proceedings of the 40th International Conference on Machine Learning","oa":1,"department":[{"_id":"DaAl"}],"type":"conference","citation":{"short":"E. Frantar, D.-A. Alistarh, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 10323–10337.","ama":"Frantar E, Alistarh D-A. SparseGPT: Massive language models can be accurately pruned in one-shot. In: <i>Proceedings of the 40th International Conference on Machine Learning</i>. Vol 202. ML Research Press; 2023:10323-10337.","mla":"Frantar, Elias, and Dan-Adrian Alistarh. “SparseGPT: Massive Language Models Can Be Accurately Pruned in One-Shot.” <i>Proceedings of the 40th International Conference on Machine Learning</i>, vol. 202, ML Research Press, 2023, pp. 10323–37.","apa":"Frantar, E., &#38; Alistarh, D.-A. (2023). SparseGPT: Massive language models can be accurately pruned in one-shot. In <i>Proceedings of the 40th International Conference on Machine Learning</i> (Vol. 202, pp. 10323–10337). Honolulu, Hawaii, HI, United States: ML Research Press.","ista":"Frantar E, Alistarh D-A. 2023. SparseGPT: Massive language models can be accurately pruned in one-shot. Proceedings of the 40th International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 202, 10323–10337.","ieee":"E. Frantar and D.-A. Alistarh, “SparseGPT: Massive language models can be accurately pruned in one-shot,” in <i>Proceedings of the 40th International Conference on Machine Learning</i>, Honolulu, Hawaii, HI, United States, 2023, vol. 202, pp. 10323–10337.","chicago":"Frantar, Elias, and Dan-Adrian Alistarh. “SparseGPT: Massive Language Models Can Be Accurately Pruned in One-Shot.” In <i>Proceedings of the 40th International Conference on Machine Learning</i>, 202:10323–37. ML Research Press, 2023."},"acknowledgement":"The authors gratefully acknowledge funding from the European Research Council (ERC) under the European Union’s Horizon 2020 programme (grant agreement No. 805223 ScaleML), as well as experimental support from Eldar Kurtic, and from the IST Austria IT department, in particular Stefano Elefante, Andrei Hornoiu, and Alois Schloegl.","publication_identifier":{"eissn":["2640-3498"]}},{"arxiv":1,"date_updated":"2026-04-07T12:53:53Z","month":"06","year":"2023","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"18132"}]},"abstract":[{"lang":"eng","text":"Using a two-dimensional version of the delta method, we establish an asymptotic formula for the number of rational points of bounded height on non-singular complete intersections of cubic and quadric hypersurfaces of dimension at least 23 over Fq(t), provided cha(Fq)>3. Under the same hypotheses, we also verify weak approximation."}],"date_published":"2023-06-05T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2306.02718"}],"date_created":"2024-10-10T13:08:05Z","article_processing_charge":"No","OA_place":"repository","corr_author":"1","publication_status":"draft","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"2306.02718","oa_version":"Preprint","status":"public","doi":"10.48550/arXiv.2306.02718","department":[{"_id":"TiBr"}],"citation":{"chicago":"Glas, Jakob. “Complete Intersections of Cubic and Quadric Hypersurfaces over Fq(T).” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2306.02718\">https://doi.org/10.48550/arXiv.2306.02718</a>.","ieee":"J. Glas, “Complete intersections of cubic and quadric hypersurfaces over Fq(t),” <i>arXiv</i>. .","apa":"Glas, J. (n.d.). Complete intersections of cubic and quadric hypersurfaces over Fq(t). <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2306.02718\">https://doi.org/10.48550/arXiv.2306.02718</a>","ista":"Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t). arXiv, 2306.02718.","short":"J. Glas, ArXiv (n.d.).","ama":"Glas J. Complete intersections of cubic and quadric hypersurfaces over Fq(t). <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2306.02718\">10.48550/arXiv.2306.02718</a>","mla":"Glas, Jakob. “Complete Intersections of Cubic and Quadric Hypersurfaces over Fq(T).” <i>ArXiv</i>, 2306.02718, doi:<a href=\"https://doi.org/10.48550/arXiv.2306.02718\">10.48550/arXiv.2306.02718</a>."},"type":"preprint","language":[{"iso":"eng"}],"oa":1,"author":[{"id":"d6423cba-dc74-11ea-a0a7-ee61689ff5fb","first_name":"Jakob","full_name":"Glas, Jakob","last_name":"Glas"}],"external_id":{"arxiv":["2306.02718"]},"publication":"arXiv","title":"Complete intersections of cubic and quadric hypersurfaces over Fq(t)","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"day":"05","_id":"18294"},{"article_processing_charge":"No","project":[{"grant_number":"P32896","name":"Causes and consequences of population fragmentation","_id":"c08d3278-5a5b-11eb-8a69-fdb09b55f4b8"},{"_id":"34d33d68-11ca-11ed-8bc3-ec13763c0ca8","name":"The impact of deleterious mutations on small populations","grant_number":"26293"},{"grant_number":"26380","name":"Polygenic Adaptation in a Metapopulation","_id":"34c872fe-11ca-11ed-8bc3-8534b82131e6"}],"date_created":"2024-01-04T09:35:54Z","publication_status":"draft","OA_place":"repository","corr_author":"1","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","date_updated":"2026-04-07T12:54:28Z","related_material":{"record":[{"id":"21322","relation":"later_version","status":"public"},{"status":"public","relation":"dissertation_contains","id":"14711"}]},"year":"2023","abstract":[{"text":"Fragmented landscapes pose a significant threat to the persistence of species as they are highly susceptible to heightened risk of extinction due to the combined effects of genetic and demographic factors such as genetic drift and demographic stochasticity. This paper explores the intricate interplay between genetic load and extinction risk within metapopulations with a focus on understanding the impact of eco-evolutionary feedback mechanisms. We distinguish between two models of selection: soft selection, characterised by subpopulations maintaining carrying capacity despite load, and hard selection, where load can significantly affect population size. Within the soft selection framework, we investigate the impact of gene flow on genetic load at a single locus, while also considering the effect of selection strength and dominance coefficient. We subsequently build on this to examine how gene flow influences both population size and load under hard selection as well as identify critical thresholds for metapopulation persistence. Our analysis employs the diffusion, semi-deterministic and effective migration approximations. Our findings reveal that under soft selection, even modest levels of migration can significantly alleviate the burden of load. In sharp contrast, with hard selection, a much higher degree of gene flow is required to mitigate load and prevent the collapse of the metapopulation. Overall, this study sheds light into the crucial role migration plays in shaping the dynamics of genetic load and extinction risk in fragmented landscapes, offering valuable insights for conservation strategies and the preservation of diversity in a changing world.","lang":"eng"}],"date_published":"2023-12-04T00:00:00Z","main_file_link":[{"url":"https://www.biorxiv.org/content/10.1101/2023.12.02.569702v1","open_access":"1"}],"title":"Genetic load, eco-evolutionary feedback and extinction in a metapopulation","publication":"bioRxiv","_id":"14732","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"day":"04","status":"public","doi":"10.1101/2023.12.02.569702","citation":{"short":"O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).","ama":"Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. <i>bioRxiv</i>. doi:<a href=\"https://doi.org/10.1101/2023.12.02.569702\">10.1101/2023.12.02.569702</a>","mla":"Olusanya, Oluwafunmilola O., et al. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” <i>BioRxiv</i>, doi:<a href=\"https://doi.org/10.1101/2023.12.02.569702\">10.1101/2023.12.02.569702</a>.","ista":"Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback and extinction in a metapopulation. bioRxiv, <a href=\"https://doi.org/10.1101/2023.12.02.569702\">10.1101/2023.12.02.569702</a>.","apa":"Olusanya, O. O., Khudiakova, K., &#38; Sachdeva, H. (n.d.). Genetic load, eco-evolutionary feedback and extinction in a metapopulation. <i>bioRxiv</i>. <a href=\"https://doi.org/10.1101/2023.12.02.569702\">https://doi.org/10.1101/2023.12.02.569702</a>","ieee":"O. O. Olusanya, K. Khudiakova, and H. Sachdeva, “Genetic load, eco-evolutionary feedback and extinction in a metapopulation,” <i>bioRxiv</i>. .","chicago":"Olusanya, Oluwafunmilola O, Kseniia Khudiakova, and Himani Sachdeva. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” <i>BioRxiv</i>, n.d. <a href=\"https://doi.org/10.1101/2023.12.02.569702\">https://doi.org/10.1101/2023.12.02.569702</a>."},"type":"preprint","department":[{"_id":"NiBa"},{"_id":"JaMa"}],"author":[{"orcid":"0000-0003-1971-8314","last_name":"Olusanya","first_name":"Oluwafunmilola O","full_name":"Olusanya, Oluwafunmilola O","id":"41AD96DC-F248-11E8-B48F-1D18A9856A87"},{"id":"4E6DC800-AE37-11E9-AC72-31CAE5697425","full_name":"Khudiakova, Kseniia","first_name":"Kseniia","last_name":"Khudiakova","orcid":"0000-0002-6246-1465"},{"last_name":"Sachdeva","full_name":"Sachdeva, Himani","first_name":"Himani","id":"42377A0A-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"language":[{"iso":"eng"}]}]