[{"has_accepted_license":"1","status":"public","external_id":{"isi":["000658724600010"],"arxiv":["1905.03588"]},"abstract":[{"lang":"eng","text":"In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a non-terminating system and its environment. In bidding games the players bid for the right to move the token: in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. Bidding games are known to have a clean and elegant mathematical structure that relies on the ability of the players to submit arbitrarily small bids. Many applications, however, require a fixed granularity for the bids, which can represent, for example, the monetary value expressed in cents. We study, for the first time, the combination of discrete-bidding and infinite-duration games. Our most important result proves that these games form a large determined subclass of concurrent games, where determinacy is the strong property that there always exists exactly one player who can guarantee winning the game. In particular, we show that, in contrast to non-discrete bidding games, the mechanism with which tied bids are resolved plays an important role in discrete-bidding games. We study several natural tie-breaking mechanisms and show that, while some do not admit determinacy, most natural mechanisms imply determinacy for every pair of initial budgets."}],"type":"journal_article","corr_author":"1","publication":"Logical Methods in Computer Science","date_created":"2022-01-25T16:32:13Z","oa_version":"Published Version","scopus_import":"1","language":[{"iso":"eng"}],"citation":{"ista":"Aghajohari M, Avni G, Henzinger TA. 2021. Determinacy in discrete-bidding infinite-duration games. Logical Methods in Computer Science. 17(1), 10:1-10:23.","ama":"Aghajohari M, Avni G, Henzinger TA. Determinacy in discrete-bidding infinite-duration games. <i>Logical Methods in Computer Science</i>. 2021;17(1):10:1-10:23. doi:<a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">10.23638/LMCS-17(1:10)2021</a>","ieee":"M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” <i>Logical Methods in Computer Science</i>, vol. 17, no. 1. EPI Sciences, p. 10:1-10:23, 2021.","apa":"Aghajohari, M., Avni, G., &#38; Henzinger, T. A. (2021). Determinacy in discrete-bidding infinite-duration games. <i>Logical Methods in Computer Science</i>. EPI Sciences. <a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">https://doi.org/10.23638/LMCS-17(1:10)2021</a>","short":"M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.","mla":"Aghajohari, Milad, et al. “Determinacy in Discrete-Bidding Infinite-Duration Games.” <i>Logical Methods in Computer Science</i>, vol. 17, no. 1, EPI Sciences, 2021, p. 10:1-10:23, doi:<a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">10.23638/LMCS-17(1:10)2021</a>.","chicago":"Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games.” <i>Logical Methods in Computer Science</i>. EPI Sciences, 2021. <a href=\"https://doi.org/10.23638/LMCS-17(1:10)2021\">https://doi.org/10.23638/LMCS-17(1:10)2021</a>."},"article_type":"original","arxiv":1,"ddc":["510"],"date_updated":"2026-07-06T13:21:45Z","intvolume":"        17","project":[{"grant_number":"M02369","call_identifier":"FWF","name":"Formal Methods meets Algorithmic Game Theory","_id":"264B3912-B435-11E9-9278-68D0E5697425"},{"name":"Rigorous Systems Engineering","call_identifier":"FWF","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"author":[{"full_name":"Aghajohari, Milad","last_name":"Aghajohari","first_name":"Milad"},{"id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","full_name":"Avni, Guy","first_name":"Guy","orcid":"0000-0001-5588-8287","last_name":"Avni"},{"last_name":"Henzinger","orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"page":"10:1-10:23","publication_status":"published","file_date_updated":"2022-01-26T08:04:50Z","year":"2021","month":"02","volume":17,"issue":"1","das_tickbox":"1","_id":"10674","date_published":"2021-02-03T00:00:00Z","quality_controlled":"1","publisher":"EPI Sciences","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE), Z211-N23 (Wittgenstein Award), and M 2369-N33 (Meitner fellowship).\r\n","file":[{"file_size":819878,"date_updated":"2022-01-26T08:04:50Z","file_id":"10690","file_name":"2021_LMCS_AGHAJOHAR.pdf","success":1,"checksum":"b35586a50ed1ca8f44767de116d18d81","access_level":"open_access","relation":"main_file","creator":"alisjak","date_created":"2022-01-26T08:04:50Z","content_type":"application/pdf"}],"doi":"10.23638/LMCS-17(1:10)2021","isi":1,"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_identifier":{"eissn":["1860-5974"]},"article_processing_charge":"No","title":"Determinacy in discrete-bidding infinite-duration games","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ToHe"}],"day":"03","keyword":["computer science","computer science and game theory","logic in computer science"]},{"main_file_link":[{"url":"https://arxiv.org/abs/2005.14177","open_access":"1"}],"type":"journal_article","date_created":"2021-09-19T08:53:19Z","oa_version":"Preprint","publication":"Communications in Information and Systems","external_id":{"arxiv":["2005.14177"]},"status":"public","abstract":[{"lang":"eng","text":"We study the temporal dissipation of variance and relative entropy for ergodic Markov Chains in continuous time, and compute explicitly the corresponding dissipation rates. These are identified, as is well known, in the case of the variance in terms of an appropriate Hilbertian norm; and in the case of the relative entropy, in terms of a Dirichlet form which morphs into a version of the familiar Fisher information under conditions of detailed balance. Here we obtain trajectorial versions of these results, valid along almost every path of the random motion and most transparent in the backwards direction of time. Martingale arguments and time reversal play crucial roles, as in the recent work of Karatzas, Schachermayer and Tschiderer for conservative diffusions. Extensions are developed to general “convex divergences” and to countable state-spaces. The steepest descent and gradient flow properties for the variance, the relative entropy, and appropriate generalizations, are studied along with their respective geometries under conditions of detailed balance, leading to a very direct proof for the HWI inequality of Otto and Villani in the present context."}],"language":[{"iso":"eng"}],"ec_funded":1,"citation":{"chicago":"Karatzas, Ioannis, Jan Maas, and Walter Schachermayer. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” <i>Communications in Information and Systems</i>. International Press of Boston, 2021. <a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">https://doi.org/10.4310/CIS.2021.v21.n4.a1</a>.","ama":"Karatzas I, Maas J, Schachermayer W. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. <i>Communications in Information and Systems</i>. 2021;21(4):481-536. doi:<a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">10.4310/CIS.2021.v21.n4.a1</a>","ista":"Karatzas I, Maas J, Schachermayer W. 2021. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 21(4), 481–536.","ieee":"I. Karatzas, J. Maas, and W. Schachermayer, “Trajectorial dissipation and gradient flow for the relative entropy in Markov chains,” <i>Communications in Information and Systems</i>, vol. 21, no. 4. International Press of Boston, pp. 481–536, 2021.","apa":"Karatzas, I., Maas, J., &#38; Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. <i>Communications in Information and Systems</i>. International Press of Boston. <a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">https://doi.org/10.4310/CIS.2021.v21.n4.a1</a>","short":"I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.","mla":"Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” <i>Communications in Information and Systems</i>, vol. 21, no. 4, International Press of Boston, 2021, pp. 481–536, doi:<a href=\"https://doi.org/10.4310/CIS.2021.v21.n4.a1\">10.4310/CIS.2021.v21.n4.a1</a>."},"article_type":"original","intvolume":"        21","arxiv":1,"date_updated":"2026-07-06T13:38:10Z","project":[{"grant_number":"716117","_id":"256E75B8-B435-11E9-9278-68D0E5697425","name":"Optimal Transport and Stochastic Dynamics","call_identifier":"H2020"},{"grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"}],"author":[{"last_name":"Karatzas","first_name":"Ioannis","full_name":"Karatzas, Ioannis"},{"last_name":"Maas","first_name":"Jan","orcid":"0000-0002-0845-1338","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","full_name":"Maas, Jan"},{"full_name":"Schachermayer, Walter","last_name":"Schachermayer","first_name":"Walter"}],"page":"481-536","year":"2021","publication_status":"published","volume":21,"issue":"4","month":"06","das_tickbox":"1","quality_controlled":"1","_id":"10023","date_published":"2021-06-04T00:00:00Z","doi":"10.4310/CIS.2021.v21.n4.a1","acknowledgement":"I.K. acknowledges support from the U.S. National Science Foundation under Grant NSF-DMS-20-04997. J.M. acknowledges support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 716117) and from the Austrian Science Fund (FWF) through project F65. W.S. acknowledges support from the Austrian Science Fund (FWF) under grant P28861 and by the Vienna Science and Technology Fund (WWTF) through projects MA14-008 and MA16-021.","publisher":"International Press of Boston","article_processing_charge":"No","publication_identifier":{"issn":["1526-7555"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Trajectorial dissipation and gradient flow for the relative entropy in Markov chains","oa":1,"keyword":["Markov Chain","relative entropy","time reversal","steepest descent","gradient flow"],"day":"04","department":[{"_id":"JaMa"}]},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"title":"Topological signatures and stability of hexagonal close packing and Barlow stackings","day":"20","department":[{"_id":"HeEd"}],"article_processing_charge":"No","publication_identifier":{"eissn":["1744-6848"],"issn":["1744-683X"]},"isi":1,"acknowledgement":"MS acknowledges the support by Australian Research Council funding through the ARC Training Centre for M3D Innovation (IC180100008). MS thanks M. Hanifpour and N. Francois for their input and valuable discussions. This project has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme, grant no. 788183 and from the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31.","doi":"10.1039/d1sm00774b","file":[{"relation":"main_file","creator":"dernst","access_level":"open_access","date_created":"2023-10-03T09:21:42Z","content_type":"application/pdf","file_size":4678788,"checksum":"b4da0c420530295e61b153960f6cb350","success":1,"date_updated":"2023-10-03T09:21:42Z","file_id":"14385","file_name":"2021_SoftMatter_acceptedversion_Osang.pdf"}],"publisher":"Royal Society of Chemistry","das_tickbox":"1","quality_controlled":"1","_id":"10204","date_published":"2021-10-20T00:00:00Z","year":"2021","file_date_updated":"2023-10-03T09:21:42Z","publication_status":"published","issue":"40","volume":17,"month":"10","author":[{"full_name":"Osang, Georg F","id":"464B40D6-F248-11E8-B48F-1D18A9856A87","last_name":"Osang","orcid":"0000-0002-8882-5116","first_name":"Georg F"},{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner","orcid":"0000-0002-9823-6833","first_name":"Herbert"},{"first_name":"Mohammad","last_name":"Saadatfar","full_name":"Saadatfar, Mohammad"}],"pmid":1,"page":"9107-9115","intvolume":"        17","date_updated":"2026-07-06T13:55:05Z","ddc":["540"],"project":[{"name":"Alpha Shape Theory Extended","call_identifier":"H2020","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","grant_number":"788183"},{"grant_number":"Z00342","_id":"268116B8-B435-11E9-9278-68D0E5697425","name":"Mathematics, Computer Science","call_identifier":"FWF"}],"date_created":"2021-10-31T23:01:30Z","oa_version":"Submitted Version","scopus_import":"1","publication":"Soft Matter","type":"journal_article","abstract":[{"lang":"eng","text":"Two common representations of close packings of identical spheres consisting of hexagonal layers, called Barlow stackings, appear abundantly in minerals and metals. These motifs, however, occupy an identical portion of space and bear identical first-order topological signatures as measured by persistent homology. Here we present a novel method based on k-fold covers that unambiguously distinguishes between these patterns. Moreover, our approach provides topological evidence that the FCC motif is the more stable of the two in the context of evolving experimental sphere packings during the transition from disordered to an ordered state. We conclude that our approach can be generalised to distinguish between various Barlow stackings manifested in minerals and metals."}],"external_id":{"isi":["000700090000001"],"pmid":["34569592"]},"status":"public","has_accepted_license":"1","ec_funded":1,"citation":{"mla":"Osang, Georg F., et al. “Topological Signatures and Stability of Hexagonal Close Packing and Barlow Stackings.” <i>Soft Matter</i>, vol. 17, no. 40, Royal Society of Chemistry, 2021, pp. 9107–15, doi:<a href=\"https://doi.org/10.1039/d1sm00774b\">10.1039/d1sm00774b</a>.","short":"G.F. Osang, H. Edelsbrunner, M. Saadatfar, Soft Matter 17 (2021) 9107–9115.","apa":"Osang, G. F., Edelsbrunner, H., &#38; Saadatfar, M. (2021). Topological signatures and stability of hexagonal close packing and Barlow stackings. <i>Soft Matter</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/d1sm00774b\">https://doi.org/10.1039/d1sm00774b</a>","ista":"Osang GF, Edelsbrunner H, Saadatfar M. 2021. Topological signatures and stability of hexagonal close packing and Barlow stackings. Soft Matter. 17(40), 9107–9115.","ama":"Osang GF, Edelsbrunner H, Saadatfar M. Topological signatures and stability of hexagonal close packing and Barlow stackings. <i>Soft Matter</i>. 2021;17(40):9107-9115. doi:<a href=\"https://doi.org/10.1039/d1sm00774b\">10.1039/d1sm00774b</a>","ieee":"G. F. Osang, H. Edelsbrunner, and M. Saadatfar, “Topological signatures and stability of hexagonal close packing and Barlow stackings,” <i>Soft Matter</i>, vol. 17, no. 40. Royal Society of Chemistry, pp. 9107–9115, 2021.","chicago":"Osang, Georg F, Herbert Edelsbrunner, and Mohammad Saadatfar. “Topological Signatures and Stability of Hexagonal Close Packing and Barlow Stackings.” <i>Soft Matter</i>. Royal Society of Chemistry, 2021. <a href=\"https://doi.org/10.1039/d1sm00774b\">https://doi.org/10.1039/d1sm00774b</a>."},"article_type":"original","language":[{"iso":"eng"}]},{"supervisor":[{"first_name":"Robert","orcid":"0000-0002-6781-0521","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert"},{"first_name":"Jan","orcid":"0000-0002-0845-1338","last_name":"Maas","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","full_name":"Maas, Jan"}],"date_published":"2021-08-20T00:00:00Z","_id":"9733","publisher":"Institute of Science and Technology Austria","degree_awarded":"PhD","file":[{"content_type":"application/pdf","date_created":"2021-08-19T14:03:48Z","relation":"main_file","creator":"dfelicia","access_level":"open_access","checksum":"e88bb8ca43948abe060eb2d2fa719881","date_updated":"2021-09-06T09:28:56Z","file_name":"Thesis_FeliciangeliA.pdf","file_id":"9944","file_size":1958710},{"date_created":"2021-08-19T14:06:35Z","content_type":"application/octet-stream","access_level":"closed","relation":"source_file","creator":"dfelicia","date_updated":"2022-03-10T12:13:57Z","file_name":"thesis.7z","file_id":"9945","checksum":"72810843abee83705853505b3f8348aa","file_size":3771669}],"doi":"10.15479/at:ista:9733","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","short":"CC BY-ND (4.0)","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","image":"/image/cc_by_nd.png"},"publication_identifier":{"issn":["2663-337X"]},"article_processing_charge":"No","title":"The polaron at strong coupling","oa":1,"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","license":"https://creativecommons.org/licenses/by-nd/4.0/","department":[{"_id":"GradSch"},{"_id":"RoSe"},{"_id":"JaMa"}],"day":"20","status":"public","has_accepted_license":"1","abstract":[{"lang":"eng","text":"This thesis is the result of the research carried out by the author during his PhD at IST Austria between 2017 and 2021. It mainly focuses on the Fröhlich polaron model, specifically to its regime of strong coupling. This model, which is rigorously introduced and discussed in the introduction, has been of great interest in condensed matter physics and field theory for more than eighty years. It is used to describe an electron interacting with the atoms of a solid material (the strength of this interaction is modeled by the presence of a coupling constant α in the Hamiltonian of the system). The particular regime examined here, which is mathematically described by considering the limit α →∞, displays many interesting features related to the emergence of classical behavior, which allows for a simplified effective description of the system under analysis. The properties, the range of validity and a quantitative analysis of the precision of such classical approximations are the main object of the present work. We specify our investigation to the study of the ground state energy of the system, its dynamics and its effective mass. For each of these problems, we provide in the introduction an overview of the previously known results and a detailed account of the original contributions by the author."}],"corr_author":"1","type":"dissertation","date_created":"2021-07-27T15:48:30Z","oa_version":"Published Version","language":[{"iso":"eng"}],"ec_funded":1,"citation":{"short":"D. Feliciangeli, The Polaron at Strong Coupling, Institute of Science and Technology Austria, 2021.","mla":"Feliciangeli, Dario. <i>The Polaron at Strong Coupling</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:9733\">10.15479/at:ista:9733</a>.","ista":"Feliciangeli D. 2021. The polaron at strong coupling. Institute of Science and Technology Austria.","ieee":"D. Feliciangeli, “The polaron at strong coupling,” Institute of Science and Technology Austria, 2021.","ama":"Feliciangeli D. The polaron at strong coupling. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:9733\">10.15479/at:ista:9733</a>","apa":"Feliciangeli, D. (2021). <i>The polaron at strong coupling</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:9733\">https://doi.org/10.15479/at:ista:9733</a>","chicago":"Feliciangeli, Dario. “The Polaron at Strong Coupling.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:9733\">https://doi.org/10.15479/at:ista:9733</a>."},"ddc":["515","519","539"],"date_updated":"2026-07-06T14:02:25Z","OA_place":"publisher","project":[{"grant_number":"716117","name":"Optimal Transport and Stochastic Dynamics","_id":"256E75B8-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"grant_number":"694227","call_identifier":"H2020","name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"},{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504"}],"author":[{"last_name":"Feliciangeli","first_name":"Dario","orcid":"0000-0003-0754-8530","id":"41A639AA-F248-11E8-B48F-1D18A9856A87","full_name":"Feliciangeli, Dario"}],"alternative_title":["ISTA Thesis"],"page":"180","publication_status":"published","file_date_updated":"2022-03-10T12:13:57Z","year":"2021","month":"08","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"9787"},{"relation":"part_of_dissertation","id":"9792","status":"public"},{"status":"public","id":"9791","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"9225","status":"public"},{"id":"9781","status":"public","relation":"part_of_dissertation"}]}},{"ddc":["510"],"arxiv":1,"date_updated":"2026-07-07T05:33:35Z","project":[{"name":"Alpha Shape Theory Extended","call_identifier":"H2020","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","grant_number":"788183"},{"grant_number":"Z00342","name":"Mathematics, Computer Science","_id":"268116B8-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"_id":"0aa4bc98-070f-11eb-9043-e6fff9c6a316","name":"Persistent Homology, Algorithms and Stochastic Geometry","grant_number":"I4887"},{"grant_number":"I02979-N35","call_identifier":"FWF","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","name":"Persistence and stability of geometric complexes"}],"type":"journal_article","corr_author":"1","scopus_import":"1","date_created":"2021-11-07T23:01:25Z","oa_version":"Published Version","publication":"Experimental Mathematics","status":"public","external_id":{"arxiv":["2007.07783"],"isi":["000710893500001"]},"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Consider a random set of points on the unit sphere in ℝd, which can be either uniformly sampled or a Poisson point process. Its convex hull is a random inscribed polytope, whose boundary approximates the sphere. We focus on the case d = 3, for which there are elementary proofs and fascinating formulas for metric properties. In particular, we study the fraction of acute facets, the expected intrinsic volumes, the total edge length, and the distance to a fixed point. Finally we generalize the results to the ellipsoid with homeoid density."}],"language":[{"iso":"eng"}],"ec_funded":1,"article_type":"original","citation":{"chicago":"Akopyan, Arseniy, Herbert Edelsbrunner, and Anton Nikitenko. “The Beauty of Random Polytopes Inscribed in the 2-Sphere.” <i>Experimental Mathematics</i>. Taylor &#38; Francis, 2021. <a href=\"https://doi.org/10.1080/10586458.2021.1980459\">https://doi.org/10.1080/10586458.2021.1980459</a>.","ista":"Akopyan A, Edelsbrunner H, Nikitenko A. 2021. The beauty of random polytopes inscribed in the 2-sphere. Experimental Mathematics., 1–15.","ieee":"A. Akopyan, H. Edelsbrunner, and A. Nikitenko, “The beauty of random polytopes inscribed in the 2-sphere,” <i>Experimental Mathematics</i>. Taylor &#38; Francis, pp. 1–15, 2021.","ama":"Akopyan A, Edelsbrunner H, Nikitenko A. The beauty of random polytopes inscribed in the 2-sphere. <i>Experimental Mathematics</i>. 2021:1-15. doi:<a href=\"https://doi.org/10.1080/10586458.2021.1980459\">10.1080/10586458.2021.1980459</a>","apa":"Akopyan, A., Edelsbrunner, H., &#38; Nikitenko, A. (2021). The beauty of random polytopes inscribed in the 2-sphere. <i>Experimental Mathematics</i>. Taylor &#38; Francis. <a href=\"https://doi.org/10.1080/10586458.2021.1980459\">https://doi.org/10.1080/10586458.2021.1980459</a>","short":"A. Akopyan, H. Edelsbrunner, A. Nikitenko, Experimental Mathematics (2021) 1–15.","mla":"Akopyan, Arseniy, et al. “The Beauty of Random Polytopes Inscribed in the 2-Sphere.” <i>Experimental Mathematics</i>, Taylor &#38; Francis, 2021, pp. 1–15, doi:<a href=\"https://doi.org/10.1080/10586458.2021.1980459\">10.1080/10586458.2021.1980459</a>."},"year":"2021","file_date_updated":"2023-08-14T11:55:10Z","publication_status":"published","month":"10","author":[{"id":"430D2C90-F248-11E8-B48F-1D18A9856A87","full_name":"Akopyan, Arseniy","first_name":"Arseniy","orcid":"0000-0002-2548-617X","last_name":"Akopyan"},{"full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","first_name":"Herbert","last_name":"Edelsbrunner"},{"last_name":"Nikitenko","first_name":"Anton","orcid":"0000-0002-0659-3201","id":"3E4FF1BA-F248-11E8-B48F-1D18A9856A87","full_name":"Nikitenko, Anton"}],"page":"1-15","doi":"10.1080/10586458.2021.1980459","isi":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant no. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), grant no. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), grant no. I 02979-N35.\r\nWe are grateful to Dmitry Zaporozhets and Christoph Thäle for valuable comments and for directing us to relevant references. We also thank to Anton Mellit for a useful discussion on Bessel functions.","file":[{"date_updated":"2023-08-14T11:55:10Z","file_id":"14053","file_name":"2023_ExperimentalMath_Akopyan.pdf","success":1,"checksum":"3514382e3a1eb87fa6c61ad622874415","file_size":1966019,"date_created":"2023-08-14T11:55:10Z","content_type":"application/pdf","access_level":"open_access","relation":"main_file","creator":"dernst"}],"publisher":"Taylor & Francis","das_tickbox":"1","quality_controlled":"1","_id":"10222","date_published":"2021-10-25T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"The beauty of random polytopes inscribed in the 2-sphere","oa":1,"day":"25","department":[{"_id":"HeEd"}],"article_processing_charge":"Yes (via OA deal)","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_identifier":{"issn":["1058-6458"],"eissn":["1944-950X"]}},{"department":[{"_id":"BeBi"}],"day":"01","oa":1,"title":"Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1094-4087"]},"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_processing_charge":"No","publisher":"Optica Publishing Group","isi":1,"file":[{"file_size":10873700,"file_name":"2021_OpticsExpress_Elek.pdf","file_id":"9269","date_updated":"2021-03-22T08:15:28Z","success":1,"checksum":"a9697ad83136c19ad87e46aa2db63cfd","access_level":"open_access","creator":"dernst","relation":"main_file","content_type":"application/pdf","date_created":"2021-03-22T08:15:28Z"}],"acknowledgement":"H2020 Marie Skłodowska-Curie Actions (642841); European Research Council (715767); Grantová Agentura České Republiky (16-08111S, 16-18964S); Univerzita Karlova v Praze (SVV-2017-260452); Engineering and Physical Sciences Research Council (EP/K023578/1).\r\nWe are grateful to Stratasys Ltd. for access to the voxel-level print interface of the J750\r\nmachine.","doi":"10.1364/OE.406095","_id":"9241","quality_controlled":"1","date_published":"2021-03-01T00:00:00Z","month":"03","issue":"5","volume":29,"file_date_updated":"2021-03-22T08:15:28Z","publication_status":"published","year":"2021","page":"7568-7588","author":[{"last_name":"Elek","first_name":"Oskar","full_name":"Elek, Oskar"},{"full_name":"Zhang, Ran","id":"4DDBCEB0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-3808-281X","first_name":"Ran","last_name":"Zhang"},{"full_name":"Sumin, Denis","first_name":"Denis","last_name":"Sumin"},{"full_name":"Myszkowski, Karol","first_name":"Karol","last_name":"Myszkowski"},{"orcid":"0000-0001-6511-9385","first_name":"Bernd","last_name":"Bickel","full_name":"Bickel, Bernd","id":"49876194-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Wilkie, Alexander","first_name":"Alexander","last_name":"Wilkie"},{"full_name":"Křivánek, Jaroslav","first_name":"Jaroslav","last_name":"Křivánek"},{"full_name":"Weyrich, Tim","last_name":"Weyrich","first_name":"Tim"}],"project":[{"grant_number":"642841","_id":"2508E324-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Distributed 3D Object Design"},{"call_identifier":"H2020","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767"}],"date_updated":"2026-07-07T05:54:53Z","ddc":["000"],"intvolume":"        29","article_type":"original","citation":{"chicago":"Elek, Oskar, Ran Zhang, Denis Sumin, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, Jaroslav Křivánek, and Tim Weyrich. “Robust and Practical Measurement of Volume Transport Parameters in Solid Photo-Polymer Materials for 3D Printing.” <i>Optics Express</i>. Optica Publishing Group, 2021. <a href=\"https://doi.org/10.1364/OE.406095\">https://doi.org/10.1364/OE.406095</a>.","ieee":"O. Elek <i>et al.</i>, “Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing,” <i>Optics Express</i>, vol. 29, no. 5. Optica Publishing Group, pp. 7568–7588, 2021.","ista":"Elek O, Zhang R, Sumin D, Myszkowski K, Bickel B, Wilkie A, Křivánek J, Weyrich T. 2021. Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing. Optics Express. 29(5), 7568–7588.","ama":"Elek O, Zhang R, Sumin D, et al. Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing. <i>Optics Express</i>. 2021;29(5):7568-7588. doi:<a href=\"https://doi.org/10.1364/OE.406095\">10.1364/OE.406095</a>","apa":"Elek, O., Zhang, R., Sumin, D., Myszkowski, K., Bickel, B., Wilkie, A., … Weyrich, T. (2021). Robust and practical measurement of volume transport parameters in solid photo-polymer materials for 3D printing. <i>Optics Express</i>. Optica Publishing Group. <a href=\"https://doi.org/10.1364/OE.406095\">https://doi.org/10.1364/OE.406095</a>","short":"O. Elek, R. Zhang, D. Sumin, K. Myszkowski, B. Bickel, A. Wilkie, J. Křivánek, T. Weyrich, Optics Express 29 (2021) 7568–7588.","mla":"Elek, Oskar, et al. “Robust and Practical Measurement of Volume Transport Parameters in Solid Photo-Polymer Materials for 3D Printing.” <i>Optics Express</i>, vol. 29, no. 5, Optica Publishing Group, 2021, pp. 7568–88, doi:<a href=\"https://doi.org/10.1364/OE.406095\">10.1364/OE.406095</a>."},"ec_funded":1,"language":[{"iso":"eng"}],"abstract":[{"text":"Volumetric light transport is a pervasive physical phenomenon, and therefore its accurate simulation is important for a broad array of disciplines. While suitable mathematical models for computing the transport are now available, obtaining the necessary material parameters needed to drive such simulations is a challenging task: direct measurements of these parameters from material samples are seldom possible. Building on the inverse scattering paradigm, we present a novel measurement approach which indirectly infers the transport parameters from extrinsic observations of multiple-scattered radiance. The novelty of the proposed approach lies in replacing structured illumination with a structured reflector bonded to the sample, and a robust fitting procedure that largely compensates for potential systematic errors in the calibration of the setup. We show the feasibility of our approach by validating simulations of complex 3D compositions of the measured materials against physical prints, using photo-polymer resins. As presented in this paper, our technique yields colorspace data suitable for accurate appearance reproduction in the area of 3D printing. Beyond that, and without fundamental changes to the basic measurement methodology, it could equally well be used to obtain spectral measurements that are useful for other application areas.","lang":"eng"}],"status":"public","has_accepted_license":"1","external_id":{"isi":["000624968100103"]},"date_created":"2021-03-14T23:01:33Z","scopus_import":"1","oa_version":"Published Version","publication":"Optics Express","type":"journal_article"},{"year":"2021","publication_status":"published","related_material":{"record":[{"status":"public","id":"11362","relation":"dissertation_contains"}]},"month":"06","author":[{"first_name":"Mathias","last_name":"Lechner","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Hasani","first_name":"Ramin","full_name":"Hasani, Ramin"},{"full_name":"Grosu, Radu","first_name":"Radu","last_name":"Grosu"},{"full_name":"Rus, Daniela","first_name":"Daniela","last_name":"Rus"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","orcid":"0000-0002-2985-7724"}],"page":"4140-4147","OA_place":"repository","ddc":["000"],"arxiv":1,"date_updated":"2026-07-07T06:20:35Z","project":[{"grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems"}],"OA_type":"green","type":"conference","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2103.08187"}],"oa_version":"Preprint","date_created":"2022-01-25T15:44:54Z","publication":"2021 IEEE International Conference on Robotics and Automation","scopus_import":"1","external_id":{"isi":["000765738803040"],"arxiv":["2103.08187"]},"status":"public","has_accepted_license":"1","abstract":[{"text":"Adversarial training is an effective method to train deep learning models that are resilient to norm-bounded perturbations, with the cost of nominal performance drop. While adversarial training appears to enhance the robustness and safety of a deep model deployed in open-world decision-critical applications, counterintuitively, it induces undesired behaviors in robot learning settings. In this paper, we show theoretically and experimentally that neural controllers obtained via adversarial training are subjected to three types of defects, namely transient, systematic, and conditional errors. We first generalize adversarial training to a safety-domain optimization scheme allowing for more generic specifications. We then prove that such a learning process tends to cause certain error profiles. We support our theoretical results by a thorough experimental safety analysis in a robot-learning task. Our results suggest that adversarial training is not yet ready for robot learning.","lang":"eng"}],"language":[{"iso":"eng"}],"citation":{"chicago":"Lechner, Mathias, Ramin Hasani, Radu Grosu, Daniela Rus, and Thomas A Henzinger. “Adversarial Training Is Not Ready for Robot Learning.” In <i>2021 IEEE International Conference on Robotics and Automation</i>, 4140–47. IEEE, 2021. <a href=\"https://doi.org/10.1109/ICRA48506.2021.9561036\">https://doi.org/10.1109/ICRA48506.2021.9561036</a>.","mla":"Lechner, Mathias, et al. “Adversarial Training Is Not Ready for Robot Learning.” <i>2021 IEEE International Conference on Robotics and Automation</i>, IEEE, 2021, pp. 4140–47, doi:<a href=\"https://doi.org/10.1109/ICRA48506.2021.9561036\">10.1109/ICRA48506.2021.9561036</a>.","short":"M. Lechner, R. Hasani, R. Grosu, D. Rus, T.A. Henzinger, in:, 2021 IEEE International Conference on Robotics and Automation, IEEE, 2021, pp. 4140–4147.","apa":"Lechner, M., Hasani, R., Grosu, R., Rus, D., &#38; Henzinger, T. A. (2021). Adversarial training is not ready for robot learning. In <i>2021 IEEE International Conference on Robotics and Automation</i> (pp. 4140–4147). Xi’an, China: IEEE. <a href=\"https://doi.org/10.1109/ICRA48506.2021.9561036\">https://doi.org/10.1109/ICRA48506.2021.9561036</a>","ama":"Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. Adversarial training is not ready for robot learning. In: <i>2021 IEEE International Conference on Robotics and Automation</i>. IEEE; 2021:4140-4147. doi:<a href=\"https://doi.org/10.1109/ICRA48506.2021.9561036\">10.1109/ICRA48506.2021.9561036</a>","ieee":"M. Lechner, R. Hasani, R. Grosu, D. Rus, and T. A. Henzinger, “Adversarial training is not ready for robot learning,” in <i>2021 IEEE International Conference on Robotics and Automation</i>, Xi’an, China, 2021, pp. 4140–4147.","ista":"Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. 2021. Adversarial training is not ready for robot learning. 2021 IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, 4140–4147."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","license":"https://creativecommons.org/licenses/by-nc-nd/3.0/","title":"Adversarial training is not ready for robot learning","oa":1,"day":"01","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"article_processing_charge":"No","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode"},"publication_identifier":{"eisbn":["978-1-7281-9077-8"],"issn":["1050-4729"],"isbn":["978-1-7281-9078-5"],"eissn":["2577-087X"]},"conference":{"end_date":"2021-06-05","start_date":"2021-05-30","location":"Xi'an, China","name":"ICRA: International Conference on Robotics and Automation"},"acknowledgement":"M.L. and T.A.H. are supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). R.H. and D.R. are supported by Boeing and R.G. by Horizon-2020 ECSEL Project grant no. 783163 (iDev40).","doi":"10.1109/ICRA48506.2021.9561036","isi":1,"publisher":"IEEE","das_tickbox":"1","quality_controlled":"1","_id":"10666","date_published":"2021-06-01T00:00:00Z"},{"oa":1,"title":"Efficient load-balancing through distributed token dropping","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"DaAl"}],"day":"06","publication_identifier":{"isbn":["9781450380706"]},"article_processing_charge":"No","conference":{"end_date":"2021-07-08","start_date":"2021-07-06","location":" Virtual Event, United States","name":"SPAA: Symposium on Parallelism in Algorithms and Architectures "},"publisher":"Association for Computing Machinery","acknowledgement":"We thank Orr Fischer, Juho Hirvonen, and Tuomo Lempiäinen for valuable discussions. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 840605.","doi":"10.1145/3409964.3461785","das_tickbox":"1","_id":"9678","date_published":"2021-07-06T00:00:00Z","quality_controlled":"1","publication_status":"published","year":"2021","month":"07","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"15074"}]},"author":[{"first_name":"Sebastian","last_name":"Brandt","full_name":"Brandt, Sebastian"},{"first_name":"Barbara","last_name":"Keller","full_name":"Keller, Barbara"},{"orcid":"0000-0002-6432-6646","first_name":"Joel","last_name":"Rybicki","full_name":"Rybicki, Joel","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Suomela","first_name":"Jukka","full_name":"Suomela, Jukka"},{"full_name":"Uitto, Jara","first_name":"Jara","last_name":"Uitto"}],"page":"129-139","date_updated":"2026-07-07T06:21:32Z","arxiv":1,"project":[{"grant_number":"840605","call_identifier":"H2020","_id":"26A5D39A-B435-11E9-9278-68D0E5697425","name":"Coordination in constrained and natural distributed systems"}],"abstract":[{"text":"We introduce a new graph problem, the token dropping game, and we show how to solve it efficiently in a distributed setting. We use the token dropping game as a tool to design an efficient distributed algorithm for stable orientations and more generally for locally optimal semi-matchings. The prior work by Czygrinow et al. (DISC 2012) finds a stable orientation in O(Δ^5) rounds in graphs of maximum degree Δ, while we improve it to O(Δ^4) and also prove a lower bound of Ω(Δ). For the more general problem of locally optimal semi-matchings, the prior upper bound is O(S^5) and our new algorithm runs in O(C · S^4) rounds, which is an improvement for C = o(S); here C and S are the maximum degrees of customers and servers, respectively.","lang":"eng"}],"external_id":{"arxiv":["2005.07761"]},"status":"public","publication":"Annual ACM Symposium on Parallelism in Algorithms and Architectures","oa_version":"Preprint","scopus_import":"1","date_created":"2021-07-18T22:01:22Z","main_file_link":[{"url":"https://arxiv.org/abs/2005.07761","open_access":"1"}],"type":"conference","ec_funded":1,"citation":{"mla":"Brandt, Sebastian, et al. “Efficient Load-Balancing through Distributed Token Dropping.” <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, Association for Computing Machinery, 2021, pp. 129–39, doi:<a href=\"https://doi.org/10.1145/3409964.3461785\">10.1145/3409964.3461785</a>.","short":"S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2021, pp. 129–139.","apa":"Brandt, S., Keller, B., Rybicki, J., Suomela, J., &#38; Uitto, J. (2021). Efficient load-balancing through distributed token dropping. In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 129–139).  Virtual Event, United States: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3409964.3461785\">https://doi.org/10.1145/3409964.3461785</a>","ista":"Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2021. Efficient load-balancing through distributed token dropping. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures , 129–139.","ama":"Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing through distributed token dropping. In: <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>. Association for Computing Machinery; 2021:129-139. doi:<a href=\"https://doi.org/10.1145/3409964.3461785\">10.1145/3409964.3461785</a>","ieee":"S. Brandt, B. Keller, J. Rybicki, J. Suomela, and J. Uitto, “Efficient load-balancing through distributed token dropping,” in <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>,  Virtual Event, United States, 2021, pp. 129–139.","chicago":"Brandt, Sebastian, Barbara Keller, Joel Rybicki, Jukka Suomela, and Jara Uitto. “Efficient Load-Balancing through Distributed Token Dropping.” In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, 129–39. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3409964.3461785\">https://doi.org/10.1145/3409964.3461785</a>."},"language":[{"iso":"eng"}]},{"publication_identifier":{"issn":["1049-5258"]},"tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode"},"article_processing_charge":"No","department":[{"_id":"GradSch"},{"_id":"ToHe"},{"_id":"KrCh"}],"day":"01","oa":1,"title":"Infinite time horizon safety of Bayesian neural networks","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-12-01T00:00:00Z","_id":"10667","quality_controlled":"1","das_tickbox":"1","publisher":"Neural Information Processing Systems Foundation","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award), ERC CoG 863818 (FoRM-SMArt), and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385.","file":[{"file_id":"10682","file_name":"infinite_time_horizon_safety_o.pdf","date_updated":"2022-01-26T07:39:59Z","success":1,"checksum":"0fc0f852525c10dda9cc9ffea07fb4e4","file_size":452492,"date_created":"2022-01-26T07:39:59Z","content_type":"application/pdf","access_level":"open_access","creator":"mlechner","relation":"main_file"}],"doi":"10.48550/arXiv.2111.03165","conference":{"end_date":"2021-12-10","start_date":"2021-12-06","location":"Virtual","name":"NeurIPS: Neural Information Processing Systems"},"author":[{"last_name":"Lechner","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias"},{"full_name":"Žikelić, Ðorđe","last_name":"Žikelić","first_name":"Ðorđe"},{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-2985-7724","first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"alternative_title":[" Advances in Neural Information Processing Systems"],"month":"12","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"11362"}]},"file_date_updated":"2022-01-26T07:39:59Z","publication_status":"published","year":"2021","citation":{"chicago":"Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In <i>35th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation, 2021. <a href=\"https://doi.org/10.48550/arXiv.2111.03165\">https://doi.org/10.48550/arXiv.2111.03165</a>.","short":"M. Lechner, Ð. Žikelić, K. Chatterjee, T.A. Henzinger, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.","mla":"Lechner, Mathias, et al. “Infinite Time Horizon Safety of Bayesian Neural Networks.” <i>35th Conference on Neural Information Processing Systems</i>, Neural Information Processing Systems Foundation, 2021, doi:<a href=\"https://doi.org/10.48550/arXiv.2111.03165\">10.48550/arXiv.2111.03165</a>.","ista":"Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. 2021. Infinite time horizon safety of Bayesian neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems,  Advances in Neural Information Processing Systems, .","ama":"Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: <i>35th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation; 2021. doi:<a href=\"https://doi.org/10.48550/arXiv.2111.03165\">10.48550/arXiv.2111.03165</a>","ieee":"M. Lechner, Ð. Žikelić, K. Chatterjee, and T. A. Henzinger, “Infinite time horizon safety of Bayesian neural networks,” in <i>35th Conference on Neural Information Processing Systems</i>, Virtual, 2021.","apa":"Lechner, M., Žikelić, Ð., Chatterjee, K., &#38; Henzinger, T. A. (2021). Infinite time horizon safety of Bayesian neural networks. In <i>35th Conference on Neural Information Processing Systems</i>. Virtual: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.48550/arXiv.2111.03165\">https://doi.org/10.48550/arXiv.2111.03165</a>"},"ec_funded":1,"language":[{"iso":"eng"}],"abstract":[{"text":"Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network's prediction. We consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with infinite time horizon systems. Compared to the existing sampling-based approaches, which are inapplicable to the infinite time horizon setting, we train a separate deterministic neural network that serves as an infinite time horizon safety certificate. In particular, we show that the certificate network guarantees the safety of the system over a subset of the BNN weight posterior's support. Our method first computes a safe weight set and then alters the BNN's weight posterior to reject samples outside this set. Moreover, we show how to extend our approach to a safe-exploration reinforcement learning setting, in order to avoid unsafe trajectories during the training of the policy. We evaluate our approach on a series of reinforcement learning benchmarks, including non-Lyapunovian safety specifications.","lang":"eng"}],"has_accepted_license":"1","status":"public","external_id":{"arxiv":["2111.03165"]},"publication":"35th Conference on Neural Information Processing Systems","date_created":"2022-01-25T15:45:58Z","oa_version":"Published Version","corr_author":"1","main_file_link":[{"url":"https://proceedings.neurips.cc/paper/2021/hash/544defa9fddff50c53b71c43e0da72be-Abstract.html","open_access":"1"}],"type":"conference","project":[{"grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020"},{"call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818"},{"call_identifier":"FWF","name":"Formal methods for the design and analysis of complex systems","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"}],"date_updated":"2026-07-07T06:49:10Z","ddc":["000"],"arxiv":1},{"external_id":{"arxiv":["2106.08314"]},"status":"public","has_accepted_license":"1","abstract":[{"lang":"eng","text":"Imitation learning enables high-fidelity, vision-based learning of policies within rich, photorealistic environments. However, such techniques often rely on traditional discrete-time neural models and face difficulties in generalizing to domain shifts by failing to account for the causal relationships between the agent and the environment. In this paper, we propose a theoretical and experimental framework for learning causal representations using continuous-time neural networks, specifically over their discrete-time counterparts. We evaluate our method in the context of visual-control learning of drones over a series of complex tasks, ranging from short- and long-term navigation, to chasing static and dynamic objects through photorealistic environments. Our results demonstrate that causal continuous-time\r\ndeep models can perform robust navigation tasks, where advanced recurrent models fail. These models learn complex causal control representations directly from raw visual inputs and scale to solve a variety of tasks using imitation learning."}],"type":"conference","main_file_link":[{"url":"https://proceedings.neurips.cc/paper/2021/hash/67ba02d73c54f0b83c05507b7fb7267f-Abstract.html","open_access":"1"}],"date_created":"2022-01-25T15:47:50Z","publication":"35th Conference on Neural Information Processing Systems","oa_version":"Published Version","language":[{"iso":"eng"}],"citation":{"chicago":"Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In <i>35th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation, 2021.","short":"C.J. Vorbach, R. Hasani, A. Amini, M. Lechner, D. Rus, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.","mla":"Vorbach, Charles J., et al. “Causal Navigation by Continuous-Time Neural Networks.” <i>35th Conference on Neural Information Processing Systems</i>, Neural Information Processing Systems Foundation, 2021.","ista":"Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. 2021. Causal navigation by continuous-time neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems,  Advances in Neural Information Processing Systems, .","ieee":"C. J. Vorbach, R. Hasani, A. Amini, M. Lechner, and D. Rus, “Causal navigation by continuous-time neural networks,” in <i>35th Conference on Neural Information Processing Systems</i>, Virtual, 2021.","ama":"Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. Causal navigation by continuous-time neural networks. In: <i>35th Conference on Neural Information Processing Systems</i>. Neural Information Processing Systems Foundation; 2021.","apa":"Vorbach, C. J., Hasani, R., Amini, A., Lechner, M., &#38; Rus, D. (2021). Causal navigation by continuous-time neural networks. In <i>35th Conference on Neural Information Processing Systems</i>. Virtual: Neural Information Processing Systems Foundation."},"arxiv":1,"ddc":["000"],"date_updated":"2026-07-07T06:49:46Z","project":[{"name":"Formal methods for the design and analysis of complex systems","call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211"}],"author":[{"full_name":"Vorbach, Charles J","last_name":"Vorbach","first_name":"Charles J"},{"full_name":"Hasani, Ramin","first_name":"Ramin","last_name":"Hasani"},{"last_name":"Amini","first_name":"Alexander","full_name":"Amini, Alexander"},{"id":"3DC22916-F248-11E8-B48F-1D18A9856A87","full_name":"Lechner, Mathias","first_name":"Mathias","last_name":"Lechner"},{"full_name":"Rus, Daniela","last_name":"Rus","first_name":"Daniela"}],"alternative_title":[" Advances in Neural Information Processing Systems"],"publication_status":"published","file_date_updated":"2022-01-26T07:37:24Z","year":"2021","month":"12","das_tickbox":"1","_id":"10670","quality_controlled":"1","date_published":"2021-12-01T00:00:00Z","conference":{"name":"NeurIPS: Neural Information Processing Systems","end_date":"2021-12-10","location":"Virtual","start_date":"2021-12-06"},"publisher":"Neural Information Processing Systems Foundation","file":[{"relation":"main_file","creator":"mlechner","access_level":"open_access","date_created":"2022-01-26T07:37:24Z","content_type":"application/pdf","file_size":6841228,"success":1,"checksum":"be81f0ade174a8c9b2d4fe09590b2021","date_updated":"2022-01-26T07:37:24Z","file_id":"10679","file_name":"NeurIPS-2021-causal-navigation-by-continuous-time-neural-networks-Paper.pdf"}],"acknowledgement":"C.V., R.H. A.A. and D.R. are partially supported by Boeing and MIT. A.A. is supported by the National Science Foundation (NSF) Graduate Research Fellowship Program. M.L. is supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Research was sponsored by the United States Air Force Research Laboratory and the United States Air Force Artificial Intelligence Accelerator and was accomplished under Cooperative Agreement Number FA8750-19-2-1000. The views and conclusions contained in this document are those of the authors\r\nand should not be interpreted as representing the official policies, either expressed or implied, of the United States Air Force or the U.S. Government. The U.S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation herein.\r\n","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0)","image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (3.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode"},"publication_identifier":{"issn":["1049-5258"]},"article_processing_charge":"No","title":"Causal navigation by continuous-time neural networks","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"GradSch"},{"_id":"ToHe"}],"day":"01"},{"publication_identifier":{"issn":["0004-3702"]},"article_processing_charge":"No","department":[{"_id":"KrCh"}],"day":"16","oa":1,"title":"Algorithms and conditional lower bounds for planning problems","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"103499","_id":"9293","quality_controlled":"1","date_published":"2021-03-16T00:00:00Z","publisher":"Elsevier","isi":1,"doi":"10.1016/j.artint.2021.103499","author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Dvořák, Wolfgang","last_name":"Dvořák","first_name":"Wolfgang"},{"orcid":"0000-0002-5008-6530","first_name":"Monika H","last_name":"Henzinger","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"first_name":"Alexander","last_name":"Svozil","full_name":"Svozil, Alexander"}],"month":"03","related_material":{"record":[{"id":"35","status":"public","relation":"earlier_version"}]},"issue":"8","volume":297,"publication_status":"published","year":"2021","citation":{"mla":"Chatterjee, Krishnendu, et al. “Algorithms and Conditional Lower Bounds for Planning Problems.” <i>Artificial Intelligence</i>, vol. 297, no. 8, 103499, Elsevier, 2021, doi:<a href=\"https://doi.org/10.1016/j.artint.2021.103499\">10.1016/j.artint.2021.103499</a>.","short":"K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).","apa":"Chatterjee, K., Dvořák, W., Henzinger, M., &#38; Svozil, A. (2021). Algorithms and conditional lower bounds for planning problems. <i>Artificial Intelligence</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.artint.2021.103499\">https://doi.org/10.1016/j.artint.2021.103499</a>","ama":"Chatterjee K, Dvořák W, Henzinger M, Svozil A. Algorithms and conditional lower bounds for planning problems. <i>Artificial Intelligence</i>. 2021;297(8). doi:<a href=\"https://doi.org/10.1016/j.artint.2021.103499\">10.1016/j.artint.2021.103499</a>","ista":"Chatterjee K, Dvořák W, Henzinger M, Svozil A. 2021. Algorithms and conditional lower bounds for planning problems. Artificial Intelligence. 297(8), 103499.","ieee":"K. Chatterjee, W. Dvořák, M. Henzinger, and A. Svozil, “Algorithms and conditional lower bounds for planning problems,” <i>Artificial Intelligence</i>, vol. 297, no. 8. Elsevier, 2021.","chicago":"Chatterjee, Krishnendu, Wolfgang Dvořák, Monika Henzinger, and Alexander Svozil. “Algorithms and Conditional Lower Bounds for Planning Problems.” <i>Artificial Intelligence</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.artint.2021.103499\">https://doi.org/10.1016/j.artint.2021.103499</a>."},"article_type":"original","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"We consider planning problems for graphs, Markov Decision Processes (MDPs), and games on graphs in an explicit state space. While graphs represent the most basic planning model, MDPs represent interaction with nature and games on graphs represent interaction with an adversarial environment. We consider two planning problems with k different target sets: (a) the coverage problem asks whether there is a plan for each individual target set; and (b) the sequential target reachability problem asks whether the targets can be reached in a given sequence. For the coverage problem, we present a linear-time algorithm for graphs, and quadratic conditional lower bound for MDPs and games on graphs. For the sequential target problem, we present a linear-time algorithm for graphs, a sub-quadratic algorithm for MDPs, and a quadratic conditional lower bound for games on graphs. Our results with conditional lower bounds, based on the boolean matrix multiplication (BMM) conjecture and strong exponential time hypothesis (SETH), establish (i) model-separation results showing that for the coverage problem MDPs and games on graphs are harder than graphs, and for the sequential reachability problem games on graphs are harder than MDPs and graphs; and (ii) problem-separation results showing that for MDPs the coverage problem is harder than the sequential target problem."}],"status":"public","external_id":{"arxiv":["1804.07031"],"isi":["000657537500003"]},"oa_version":"Preprint","date_created":"2021-03-28T22:01:40Z","scopus_import":"1","publication":"Artificial Intelligence","main_file_link":[{"url":"https://arxiv.org/abs/1804.07031","open_access":"1"}],"corr_author":"1","type":"journal_article","date_updated":"2026-07-07T13:36:04Z","arxiv":1,"intvolume":"       297"},{"place":"Dagstuhl, Germany","file":[{"content_type":"application/pdf","date_created":"2021-06-02T10:22:33Z","creator":"mwintrae","relation":"main_file","access_level":"open_access","checksum":"c322aa48d5d35a35877896cc565705b6","success":1,"file_id":"9442","file_name":"LIPIcs-SoCG-2021-17.pdf","date_updated":"2021-06-02T10:22:33Z","file_size":1972902}],"doi":"10.4230/LIPIcs.SoCG.2021.17","acknowledgement":"We thank Dominique Attali, Guilherme de Fonseca, Arijit Ghosh, Vincent Pilaud and Aurélien Alvarez for their comments and suggestions. We also acknowledge the reviewers.","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","conference":{"end_date":"2021-06-11","start_date":"2021-06-07","location":"Virtual","name":"SoCG: Symposium on Computational Geometry"},"_id":"9441","date_published":"2021-06-02T00:00:00Z","quality_controlled":"1","das_tickbox":"1","day":"02","department":[{"_id":"HeEd"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations","oa":1,"article_processing_charge":"No","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_identifier":{"isbn":["978-3-95977-184-9"],"issn":["1868-8969"]},"project":[{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425"}],"intvolume":"       189","ddc":["005","516","514"],"date_updated":"2026-07-07T13:43:40Z","language":[{"iso":"eng"}],"citation":{"chicago":"Boissonnat, Jean-Daniel, Siargey Kachanovich, and Mathijs Wintraecken. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” In <i>37th International Symposium on Computational Geometry</i>, 189:17:1-17:16. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.17\">https://doi.org/10.4230/LIPIcs.SoCG.2021.17</a>.","ieee":"J.-D. Boissonnat, S. Kachanovich, and M. Wintraecken, “Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations,” in <i>37th International Symposium on Computational Geometry</i>, Virtual, 2021, vol. 189, p. 17:1-17:16.","ista":"Boissonnat J-D, Kachanovich S, Wintraecken M. 2021. Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. 37th International Symposium on Computational Geometry. SoCG: Symposium on Computational GeometryLeibniz International Proceedings in Informatics (LIPIcs), LIPIcs, vol. 189, 17:1-17:16.","ama":"Boissonnat J-D, Kachanovich S, Wintraecken M. Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. In: <i>37th International Symposium on Computational Geometry</i>. Vol 189. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021:17:1-17:16. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.17\">10.4230/LIPIcs.SoCG.2021.17</a>","apa":"Boissonnat, J.-D., Kachanovich, S., &#38; Wintraecken, M. (2021). Tracing isomanifolds in Rd in time polynomial in d using Coxeter-Freudenthal-Kuhn triangulations. In <i>37th International Symposium on Computational Geometry</i> (Vol. 189, p. 17:1-17:16). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.17\">https://doi.org/10.4230/LIPIcs.SoCG.2021.17</a>","short":"J.-D. Boissonnat, S. Kachanovich, M. Wintraecken, in:, 37th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2021, p. 17:1-17:16.","mla":"Boissonnat, Jean-Daniel, et al. “Tracing Isomanifolds in Rd in Time Polynomial in d Using Coxeter-Freudenthal-Kuhn Triangulations.” <i>37th International Symposium on Computational Geometry</i>, vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 17:1-17:16, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.17\">10.4230/LIPIcs.SoCG.2021.17</a>."},"ec_funded":1,"type":"conference","publication":"37th International Symposium on Computational Geometry","date_created":"2021-06-02T10:10:55Z","scopus_import":"1","oa_version":"Published Version","has_accepted_license":"1","status":"public","abstract":[{"text":"Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. submanifolds of ℝ^d defined as the zero set of some multivariate multivalued smooth function f: ℝ^d → ℝ^{d-n}, where n is the intrinsic dimension of the manifold. A natural way to approximate a smooth isomanifold M is to consider its Piecewise-Linear (PL) approximation M̂ based on a triangulation 𝒯 of the ambient space ℝ^d. In this paper, we describe a simple algorithm to trace isomanifolds from a given starting point. The algorithm works for arbitrary dimensions n and d, and any precision D. Our main result is that, when f (or M) has bounded complexity, the complexity of the algorithm is polynomial in d and δ = 1/D (and unavoidably exponential in n). Since it is known that for δ = Ω (d^{2.5}), M̂ is O(D²)-close and isotopic to M, our algorithm produces a faithful PL-approximation of isomanifolds of bounded complexity in time polynomial in d. Combining this algorithm with dimensionality reduction techniques, the dependency on d in the size of M̂ can be completely removed with high probability. We also show that the algorithm can handle isomanifolds with boundary and, more generally, isostratifolds. The algorithm for isomanifolds with boundary has been implemented and experimental results are reported, showing that it is practical and can handle cases that are far ahead of the state-of-the-art. ","lang":"eng"}],"volume":189,"related_material":{"record":[{"id":"12960","status":"public","relation":"later_version"}]},"series_title":"Leibniz International Proceedings in Informatics (LIPIcs)","month":"06","year":"2021","publication_status":"published","file_date_updated":"2021-06-02T10:22:33Z","page":"17:1-17:16","alternative_title":["LIPIcs"],"author":[{"first_name":"Jean-Daniel","last_name":"Boissonnat","full_name":"Boissonnat, Jean-Daniel"},{"full_name":"Kachanovich, Siargey","last_name":"Kachanovich","first_name":"Siargey"},{"first_name":"Mathijs","orcid":"0000-0002-7472-2220","last_name":"Wintraecken","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","full_name":"Wintraecken, Mathijs"}]},{"oa":1,"title":"The density fingerprint of a periodic point set","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"HeEd"}],"day":"02","publication_identifier":{"issn":["1868-8969"]},"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_processing_charge":"No","conference":{"name":"SoCG: Symposium on Computational Geometry","end_date":"2021-06-11","start_date":"2021-06-07","location":"Virtual"},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file":[{"date_updated":"2021-04-22T08:08:14Z","file_name":"df_socg_final_version.pdf","file_id":"9346","success":1,"checksum":"1787baef1523d6d93753b90d0c109a6d","file_size":3117435,"content_type":"application/pdf","date_created":"2021-04-22T08:08:14Z","access_level":"open_access","relation":"main_file","creator":"mwintrae"}],"doi":"10.4230/LIPIcs.SoCG.2021.32","acknowledgement":"The authors thank Janos Pach for insightful discussions on the topic of thispaper, Morteza Saghafian for finding the one-dimensional counterexample mentioned in Section 5,and Larry Andrews for generously sharing his crystallographic perspective.","das_tickbox":"1","quality_controlled":"1","_id":"9345","date_published":"2021-06-02T00:00:00Z","publication_status":"published","file_date_updated":"2021-04-22T08:08:14Z","year":"2021","month":"06","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"18667"}]},"volume":189,"author":[{"id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner"},{"first_name":"Teresa","orcid":"0000-0002-1780-2689","last_name":"Heiss","id":"4879BB4E-F248-11E8-B48F-1D18A9856A87","full_name":"Heiss, Teresa"},{"full_name":" Kurlin , Vitaliy","first_name":"Vitaliy","last_name":" Kurlin "},{"last_name":"Smith","first_name":"Philip","full_name":"Smith, Philip"},{"first_name":"Mathijs","orcid":"0000-0002-7472-2220","last_name":"Wintraecken","id":"307CFBC8-F248-11E8-B48F-1D18A9856A87","full_name":"Wintraecken, Mathijs"}],"alternative_title":["LIPIcs"],"page":"32:1-32:16","date_updated":"2026-07-07T13:43:27Z","ddc":["004","516"],"intvolume":"       189","project":[{"_id":"266A2E9E-B435-11E9-9278-68D0E5697425","name":"Alpha Shape Theory Extended","call_identifier":"H2020","grant_number":"788183"},{"_id":"0aa4bc98-070f-11eb-9043-e6fff9c6a316","name":"Persistent Homology, Algorithms and Stochastic Geometry","grant_number":"I4887"},{"grant_number":"Z00312","call_identifier":"FWF","name":"Synaptic communication in neuronal microcircuits","_id":"25C5A090-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411"}],"abstract":[{"lang":"eng","text":"Modeling a crystal as a periodic point set, we present a fingerprint consisting of density functionsthat facilitates the efficient search for new materials and material properties. We prove invarianceunder isometries, continuity, and completeness in the generic case, which are necessary featuresfor the reliable comparison of crystals. The proof of continuity integrates methods from discretegeometry and lattice theory, while the proof of generic completeness combines techniques fromgeometry with analysis. The fingerprint has a fast algorithm based on Brillouin zones and relatedinclusion-exclusion formulae. We have implemented the algorithm and describe its application tocrystal structure prediction."}],"status":"public","has_accepted_license":"1","publication":"37th International Symposium on Computational Geometry","scopus_import":"1","date_created":"2021-04-22T08:09:58Z","oa_version":"Published Version","type":"conference","citation":{"chicago":"Edelsbrunner, Herbert, Teresa Heiss, Vitaliy  Kurlin , Philip Smith, and Mathijs Wintraecken. “The Density Fingerprint of a Periodic Point Set.” In <i>37th International Symposium on Computational Geometry</i>, 189:32:1-32:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.32\">https://doi.org/10.4230/LIPIcs.SoCG.2021.32</a>.","ista":"Edelsbrunner H, Heiss T,  Kurlin  V, Smith P, Wintraecken M. 2021. The density fingerprint of a periodic point set. 37th International Symposium on Computational Geometry. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 189, 32:1-32:16.","ama":"Edelsbrunner H, Heiss T,  Kurlin  V, Smith P, Wintraecken M. The density fingerprint of a periodic point set. In: <i>37th International Symposium on Computational Geometry</i>. Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021:32:1-32:16. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.32\">10.4230/LIPIcs.SoCG.2021.32</a>","ieee":"H. Edelsbrunner, T. Heiss, V.  Kurlin , P. Smith, and M. Wintraecken, “The density fingerprint of a periodic point set,” in <i>37th International Symposium on Computational Geometry</i>, Virtual, 2021, vol. 189, p. 32:1-32:16.","apa":"Edelsbrunner, H., Heiss, T.,  Kurlin , V., Smith, P., &#38; Wintraecken, M. (2021). The density fingerprint of a periodic point set. In <i>37th International Symposium on Computational Geometry</i> (Vol. 189, p. 32:1-32:16). Virtual: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.32\">https://doi.org/10.4230/LIPIcs.SoCG.2021.32</a>","short":"H. Edelsbrunner, T. Heiss, V.  Kurlin , P. Smith, M. Wintraecken, in:, 37th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16.","mla":"Edelsbrunner, Herbert, et al. “The Density Fingerprint of a Periodic Point Set.” <i>37th International Symposium on Computational Geometry</i>, vol. 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 32:1-32:16, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.32\">10.4230/LIPIcs.SoCG.2021.32</a>."},"ec_funded":1,"language":[{"iso":"eng"}]},{"project":[{"name":"Teaching Old Crypto New Tricks","call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","grant_number":"682815"}],"intvolume":"     12826","date_updated":"2026-07-07T13:57:01Z","ec_funded":1,"citation":{"chicago":"Kamath Hosdurg, Chethan, Karen Klein, Krzysztof Z Pietrzak, and Daniel Wichs. “Limits on the Adaptive Security of Yao’s Garbling.” In <i>41st Annual International Cryptology Conference</i>, 12826:486–515. Cham: Springer Nature, 2021. <a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">https://doi.org/10.1007/978-3-030-84245-1_17</a>.","short":"C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Springer Nature, Cham, 2021, pp. 486–515.","mla":"Kamath Hosdurg, Chethan, et al. “Limits on the Adaptive Security of Yao’s Garbling.” <i>41st Annual International Cryptology Conference</i>, vol. 12826, Springer Nature, 2021, pp. 486–515, doi:<a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">10.1007/978-3-030-84245-1_17</a>.","ista":"Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. 2021. Limits on the Adaptive Security of Yao’s Garbling. 41st Annual International Cryptology Conference. CRYPTO: Annual International Cryptology Conference, LCNS, vol. 12826, 486–515.","ama":"Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. Limits on the Adaptive Security of Yao’s Garbling. In: <i>41st Annual International Cryptology Conference</i>. Vol 12826. Cham: Springer Nature; 2021:486-515. doi:<a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">10.1007/978-3-030-84245-1_17</a>","ieee":"C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and D. Wichs, “Limits on the Adaptive Security of Yao’s Garbling,” in <i>41st Annual International Cryptology Conference</i>, Virtual, 2021, vol. 12826, pp. 486–515.","apa":"Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., &#38; Wichs, D. (2021). Limits on the Adaptive Security of Yao’s Garbling. In <i>41st Annual International Cryptology Conference</i> (Vol. 12826, pp. 486–515). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-84245-1_17\">https://doi.org/10.1007/978-3-030-84245-1_17</a>"},"language":[{"iso":"eng"}],"publication":"41st Annual International Cryptology Conference","oa_version":"Preprint","scopus_import":"1","date_created":"2021-09-23T14:06:15Z","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2021/945"}],"type":"conference","abstract":[{"text":"Yao’s garbling scheme is one of the most fundamental cryptographic constructions. Lindell and Pinkas (Journal of Cryptograhy 2009) gave a formal proof of security in the selective setting where the adversary chooses the challenge inputs before seeing the garbled circuit assuming secure symmetric-key encryption (and hence one-way functions). This was followed by results, both positive and negative, concerning its security in the, stronger, adaptive setting. Applebaum et al. (Crypto 2013) showed that it cannot satisfy adaptive security as is, due to a simple incompressibility argument. Jafargholi and Wichs (TCC 2017) considered a natural adaptation of Yao’s scheme (where the output mapping is sent in the online phase, together with the garbled input) that circumvents this negative result, and proved that it is adaptively secure, at least for shallow circuits. In particular, they showed that for the class of circuits of depth   δ , the loss in security is at most exponential in   δ . The above results all concern the simulation-based notion of security. In this work, we show that the upper bound of Jafargholi and Wichs is basically optimal in a strong sense. As our main result, we show that there exists a family of Boolean circuits, one for each depth  δ∈N , such that any black-box reduction proving the adaptive indistinguishability of the natural adaptation of Yao’s scheme from any symmetric-key encryption has to lose a factor that is exponential in   δ√ . Since indistinguishability is a weaker notion than simulation, our bound also applies to adaptive simulation. To establish our results, we build on the recent approach of Kamath et al. (Eprint 2021), which uses pebbling lower bounds in conjunction with oracle separations to prove fine-grained lower bounds on loss in cryptographic security.","lang":"eng"}],"status":"public","external_id":{"isi":["000696697800017"],"cryptoeprintid":["2021/945"]},"related_material":{"record":[{"status":"public","id":"10035","relation":"dissertation_contains"}]},"volume":12826,"month":"08","year":"2021","publication_status":"published","page":"486-515","alternative_title":["LCNS"],"author":[{"orcid":"0009-0006-6812-7317","first_name":"Chethan","last_name":"Kamath Hosdurg","full_name":"Kamath Hosdurg, Chethan","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Klein, Karen","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87","last_name":"Klein","first_name":"Karen"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z","first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654","last_name":"Pietrzak"},{"first_name":"Daniel","last_name":"Wichs","full_name":"Wichs, Daniel"}],"place":"Cham","acknowledgement":"We would like to thank the anonymous reviewers of Crypto’21 whose detailed comments helped us considerably improve the presentation of the paper.","doi":"10.1007/978-3-030-84245-1_17","isi":1,"publisher":"Springer Nature","conference":{"name":"CRYPTO: Annual International Cryptology Conference","location":"Virtual","start_date":"2021-08-16","end_date":"2021-08-20"},"date_published":"2021-08-11T00:00:00Z","_id":"10041","quality_controlled":"1","cryptoeprintid":1,"day":"11","department":[{"_id":"KrPi"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"title":"Limits on the Adaptive Security of Yao’s Garbling","article_processing_charge":"No","publication_identifier":{"issn":["0302-9743"],"eisbn":["978-3-030-84245-1"],"eissn":["1611-3349"],"isbn":["978-3-030-84244-4"]}},{"date_updated":"2026-07-07T13:57:00Z","ddc":["519"],"OA_place":"publisher","project":[{"name":"Teaching Old Crypto New Tricks","call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","grant_number":"682815"}],"abstract":[{"text":"Many security definitions come in two flavors: a stronger “adaptive” flavor, where the adversary can arbitrarily make various choices during the course of the attack, and a weaker “selective” flavor where the adversary must commit to some or all of their choices a-priori. For example, in the context of identity-based encryption, selective security requires the adversary to decide on the identity of the attacked party at the very beginning of the game whereas adaptive security allows the attacker to first see the master public key and some secret keys before making this choice. Often, it appears to be much easier to achieve selective security than it is to achieve adaptive security. A series of several recent works shows how to cleverly achieve adaptive security in several such scenarios including generalized selective decryption [Pan07][FJP15], constrained PRFs [FKPR14], and Yao’s garbled circuits [JW16]. Although the above works expressed vague intuition that they share a common technique, the connection was never made precise. In this work we present a new framework (published at Crypto ’17 [JKK+17a]) that connects all of these works and allows us to present them in a unified and simplified fashion. Having the framework in place, we show how to achieve adaptive security for proxy re-encryption schemes (published at PKC ’19 [FKKP19]) and provide the first adaptive security proofs for continuous group key agreement protocols (published at S&P ’21 [KPW+21]). Questioning optimality of our framework, we then show that currently used proof techniques cannot lead to significantly better security guarantees for \"graph-building\" games (published at TCC ’21 [KKPW21a]). These games cover generalized selective decryption, as well as the security of prominent constructions for constrained PRFs, continuous group key agreement, and proxy re-encryption. Finally, we revisit the adaptive security of Yao’s garbled circuits and extend the analysis of Jafargholi and Wichs in two directions: While they prove adaptive security only for a modified construction with increased online complexity, we provide the first positive results for the original construction by Yao (published at TCC ’21 [KKP21a]). On the negative side, we prove that the results of Jafargholi and Wichs are essentially optimal by showing that no black-box reduction can provide a significantly better security bound (published at Crypto ’21 [KKPW21c]).","lang":"eng"}],"status":"public","has_accepted_license":"1","oa_version":"Published Version","date_created":"2021-09-23T07:31:44Z","type":"dissertation","corr_author":"1","ec_funded":1,"citation":{"chicago":"Klein, Karen. “On the Adaptive Security of Graph-Based Games.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:10035\">https://doi.org/10.15479/at:ista:10035</a>.","ista":"Klein K. 2021. On the adaptive security of graph-based games. Institute of Science and Technology Austria.","ieee":"K. Klein, “On the adaptive security of graph-based games,” Institute of Science and Technology Austria, 2021.","ama":"Klein K. On the adaptive security of graph-based games. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:10035\">10.15479/at:ista:10035</a>","apa":"Klein, K. (2021). <i>On the adaptive security of graph-based games</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10035\">https://doi.org/10.15479/at:ista:10035</a>","short":"K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.","mla":"Klein, Karen. <i>On the Adaptive Security of Graph-Based Games</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:10035\">10.15479/at:ista:10035</a>."},"language":[{"iso":"eng"}],"publication_status":"published","file_date_updated":"2022-03-10T12:15:18Z","year":"2021","month":"09","related_material":{"record":[{"status":"public","id":"10049","relation":"part_of_dissertation"},{"status":"public","id":"637","relation":"part_of_dissertation"},{"id":"6430","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"10044","status":"public"},{"status":"public","id":"10048","relation":"part_of_dissertation"},{"id":"10041","status":"public","relation":"part_of_dissertation"}]},"author":[{"last_name":"Klein","first_name":"Karen","full_name":"Klein, Karen","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87"}],"alternative_title":["ISTA Thesis"],"page":"276","degree_awarded":"PhD","publisher":"Institute of Science and Technology Austria","doi":"10.15479/at:ista:10035","file":[{"access_level":"open_access","creator":"cchlebak","relation":"main_file","date_created":"2021-10-04T12:22:33Z","content_type":"application/pdf","file_size":2104726,"file_id":"10082","file_name":"thesis_pdfa.pdf","date_updated":"2021-10-04T12:22:33Z","success":1,"checksum":"73a44345c683e81f3e765efbf86fdcc5"},{"content_type":"application/x-zip-compressed","date_created":"2021-10-05T07:04:37Z","access_level":"closed","relation":"source_file","creator":"cchlebak","date_updated":"2022-03-10T12:15:18Z","file_id":"10085","file_name":"thesis_final (1).zip","checksum":"7b80df30a0e686c3ef6a56d4e1c59e29","file_size":9538359}],"acknowledgement":"I want to acknowledge the funding by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (682815 - TOCNeT).\r\n","supervisor":[{"full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z"}],"_id":"10035","date_published":"2021-09-23T00:00:00Z","oa":1,"title":"On the adaptive security of graph-based games","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","department":[{"_id":"GradSch"},{"_id":"KrPi"}],"day":"23","publication_identifier":{"issn":["2663-337X"]},"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_processing_charge":"No"},{"quality_controlled":"1","_id":"11453","date_published":"2021-12-01T00:00:00Z","das_tickbox":"1","acknowledgement":"We would like to thank Professor Dr. Henning Sprekeler for his valuable suggestions and Dr. Andrew Saxe, Milan Klöwer and Anna Wallis for their constructive feedback on the manuscript. Lukas Braun was supported by the Network of European Neuroscience Schools through their NENS Exchange Grant program, by the European Union through their European Community Action Scheme for the Mobility of University Students, the Woodward Scholarship awarded by Wadham College, Oxford and the Medical Research Council [MR/N013468/1]. Tim P. Vogels was supported by a Wellcome Trust Senior Research Fellowship [214316/Z/18/Z].","publisher":"Neural Information Processing Systems Foundation","conference":{"name":"NeurIPS: Neural Information Processing Systems","end_date":"2021-12-14","location":"Virtual, Online","start_date":"2021-12-06"},"article_processing_charge":"No","publication_identifier":{"issn":["1049-5258"],"isbn":["9781713845393"]},"day":"01","department":[{"_id":"TiVo"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Online learning of neural computations from sparse temporal feedback","oa":1,"language":[{"iso":"eng"}],"citation":{"chicago":"Braun, Lukas, and Tim P Vogels. “Online Learning of Neural Computations from Sparse Temporal Feedback.” In <i>35th Conference on Neural Information Processing Systems</i>, 20:16437–50. Neural Information Processing Systems Foundation, 2021.","mla":"Braun, Lukas, and Tim P. Vogels. “Online Learning of Neural Computations from Sparse Temporal Feedback.” <i>35th Conference on Neural Information Processing Systems</i>, vol. 20, Neural Information Processing Systems Foundation, 2021, pp. 16437–50.","short":"L. Braun, T.P. Vogels, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 16437–16450.","apa":"Braun, L., &#38; Vogels, T. P. (2021). Online learning of neural computations from sparse temporal feedback. In <i>35th Conference on Neural Information Processing Systems</i> (Vol. 20, pp. 16437–16450). Virtual, Online: Neural Information Processing Systems Foundation.","ama":"Braun L, Vogels TP. Online learning of neural computations from sparse temporal feedback. In: <i>35th Conference on Neural Information Processing Systems</i>. Vol 20. Neural Information Processing Systems Foundation; 2021:16437-16450.","ieee":"L. Braun and T. P. Vogels, “Online learning of neural computations from sparse temporal feedback,” in <i>35th Conference on Neural Information Processing Systems</i>, Virtual, Online, 2021, vol. 20, pp. 16437–16450.","ista":"Braun L, Vogels TP. 2021. Online learning of neural computations from sparse temporal feedback. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 20, 16437–16450."},"main_file_link":[{"url":"https://proceedings.neurips.cc/paper/2021/file/88e1ce84f9feef5a08d0df0334c53468-Paper.pdf","open_access":"1"}],"corr_author":"1","type":"conference","publication":"35th Conference on Neural Information Processing Systems","date_created":"2022-06-19T22:01:59Z","oa_version":"Published Version","scopus_import":"1","status":"public","abstract":[{"lang":"eng","text":"Neuronal computations depend on synaptic connectivity and intrinsic electrophysiological properties. Synaptic connectivity determines which inputs from presynaptic neurons are integrated, while cellular properties determine how inputs are filtered over time. Unlike their biological counterparts, most computational approaches to learning in simulated neural networks are limited to changes in synaptic connectivity. However, if intrinsic parameters change, neural computations are altered drastically. Here, we include the parameters that determine the intrinsic properties,\r\ne.g., time constants and reset potential, into the learning paradigm. Using sparse feedback signals that indicate target spike times, and gradient-based parameter updates, we show that the intrinsic parameters can be learned along with the synaptic weights to produce specific input-output functions. Specifically, we use a teacher-student paradigm in which a randomly initialised leaky integrate-and-fire or resonate-and-fire neuron must recover the parameters of a teacher neuron. We show that complex temporal functions can be learned online and without backpropagation through time, relying on event-based updates only. Our results are a step towards online learning of neural computations from ungraded and unsigned sparse feedback signals with a biologically inspired learning mechanism."}],"project":[{"_id":"c084a126-5a5b-11eb-8a69-d75314a70a87","name":"What’s in a memory? Spatiotemporal dynamics in strongly coupled recurrent neuronal networks.","grant_number":"214316/Z/18/Z"}],"intvolume":"        20","ddc":["000","570"],"date_updated":"2026-07-08T05:45:00Z","page":"16437-16450","alternative_title":["Advances in Neural Information Processing Systems"],"author":[{"full_name":"Braun, Lukas","first_name":"Lukas","last_name":"Braun"},{"id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","full_name":"Vogels, Tim P","first_name":"Tim P","orcid":"0000-0003-3295-6181","last_name":"Vogels"}],"volume":20,"month":"12","year":"2021","publication_status":"published"},{"publication_identifier":{"isbn":["9781713845393"],"issn":["1049-5258"]},"article_processing_charge":"No","oa":1,"title":"Distributed principal component analysis with limited communication","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"DaAl"}],"day":"01","das_tickbox":"1","quality_controlled":"1","_id":"11452","date_published":"2021-12-01T00:00:00Z","conference":{"start_date":"2021-12-06","location":"Virtual, Online","end_date":"2021-12-14","name":"NeurIPS: Neural Information Processing Systems"},"publisher":"Neural Information Processing Systems Foundation","acknowledgement":"We would like to thank the anonymous reviewers for helpful comments and suggestions. We also thank Aurelien Lucchi and Antonio Orvieto for fruitful discussions at an early stage of this work. FA is partially supported by the SNSF under research project No. 192363 and conducted part of this work while at IST Austria under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 805223 ScaleML). PD partly conducted this work while at IST Austria and was supported by the European Union’s Horizon 2020 programme under the Marie Skłodowska-Curie grant agreement No. 754411.","author":[{"last_name":"Alimisis","first_name":"Foivos","full_name":"Alimisis, Foivos"},{"full_name":"Davies, Peter","id":"11396234-BB50-11E9-B24C-90FCE5697425","last_name":"Davies","orcid":"0000-0002-5646-9524","first_name":"Peter"},{"first_name":"Bart","last_name":"Vandereycken","full_name":"Vandereycken, Bart"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","first_name":"Dan-Adrian","orcid":"0000-0003-3650-940X"}],"alternative_title":["Advances in Neural Information Processing Systems"],"page":"2823-2834","publication_status":"published","year":"2021","month":"12","volume":4,"abstract":[{"text":"We study efficient distributed algorithms for the fundamental problem of principal component analysis and leading eigenvector computation on the sphere, when the data are randomly distributed among a set of computational nodes. We propose a new quantized variant of Riemannian gradient descent to solve this problem, and prove that the algorithm converges with high probability under a set of necessary spherical-convexity properties. We give bounds on the number of bits transmitted by the algorithm under common initialization schemes, and investigate the dependency on the problem dimension in each case.","lang":"eng"}],"external_id":{"arxiv":["2110.14391"]},"status":"public","date_created":"2022-06-19T22:01:58Z","scopus_import":"1","oa_version":"Published Version","publication":"35th Conference on Neural Information Processing Systems","type":"conference","main_file_link":[{"url":"https://proceedings.neurips.cc/paper/2021/file/1680e9fa7b4dd5d62ece800239bb53bd-Paper.pdf","open_access":"1"}],"corr_author":"1","ec_funded":1,"citation":{"short":"F. Alimisis, P. Davies, B. Vandereycken, D.-A. Alistarh, in:, 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021, pp. 2823–2834.","mla":"Alimisis, Foivos, et al. “Distributed Principal Component Analysis with Limited Communication.” <i>35th Conference on Neural Information Processing Systems</i>, vol. 4, Neural Information Processing Systems Foundation, 2021, pp. 2823–34.","ama":"Alimisis F, Davies P, Vandereycken B, Alistarh D-A. Distributed principal component analysis with limited communication. In: <i>35th Conference on Neural Information Processing Systems</i>. Vol 4. Neural Information Processing Systems Foundation; 2021:2823-2834.","ieee":"F. Alimisis, P. Davies, B. Vandereycken, and D.-A. Alistarh, “Distributed principal component analysis with limited communication,” in <i>35th Conference on Neural Information Processing Systems</i>, Virtual, Online, 2021, vol. 4, pp. 2823–2834.","ista":"Alimisis F, Davies P, Vandereycken B, Alistarh D-A. 2021. Distributed principal component analysis with limited communication. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 4, 2823–2834.","apa":"Alimisis, F., Davies, P., Vandereycken, B., &#38; Alistarh, D.-A. (2021). Distributed principal component analysis with limited communication. In <i>35th Conference on Neural Information Processing Systems</i> (Vol. 4, pp. 2823–2834). Virtual, Online: Neural Information Processing Systems Foundation.","chicago":"Alimisis, Foivos, Peter Davies, Bart Vandereycken, and Dan-Adrian Alistarh. “Distributed Principal Component Analysis with Limited Communication.” In <i>35th Conference on Neural Information Processing Systems</i>, 4:2823–34. Neural Information Processing Systems Foundation, 2021."},"language":[{"iso":"eng"}],"date_updated":"2026-07-08T05:44:33Z","arxiv":1,"ddc":["000"],"intvolume":"         4","project":[{"grant_number":"805223","call_identifier":"H2020","name":"Elastic Coordination for Scalable Machine Learning","_id":"268A44D6-B435-11E9-9278-68D0E5697425"},{"grant_number":"754411","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"}]},{"page":"485-494","author":[{"first_name":"Xiaoyu","last_name":"He","full_name":"He, Xiaoyu"},{"last_name":"Wigderson","first_name":"Yuval","full_name":"Wigderson, Yuval","id":"2d0023a0-1567-11f0-833d-d5c1e476d4b5"}],"month":"01","volume":146,"publication_status":"published","year":"2021","article_type":"original","citation":{"chicago":"He, Xiaoyu, and Yuval Wigderson. “Hedetniemi’s Conjecture Is Asymptotically False.” <i>Journal of Combinatorial Theory, Series B</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.jctb.2020.03.003\">https://doi.org/10.1016/j.jctb.2020.03.003</a>.","short":"X. He, Y. Wigderson, Journal of Combinatorial Theory, Series B 146 (2021) 485–494.","mla":"He, Xiaoyu, and Yuval Wigderson. “Hedetniemi’s Conjecture Is Asymptotically False.” <i>Journal of Combinatorial Theory, Series B</i>, vol. 146, Elsevier, 2021, pp. 485–94, doi:<a href=\"https://doi.org/10.1016/j.jctb.2020.03.003\">10.1016/j.jctb.2020.03.003</a>.","ama":"He X, Wigderson Y. Hedetniemi’s conjecture is asymptotically false. <i>Journal of Combinatorial Theory, Series B</i>. 2021;146:485-494. doi:<a href=\"https://doi.org/10.1016/j.jctb.2020.03.003\">10.1016/j.jctb.2020.03.003</a>","ista":"He X, Wigderson Y. 2021. Hedetniemi’s conjecture is asymptotically false. Journal of Combinatorial Theory, Series B. 146, 485–494.","ieee":"X. He and Y. Wigderson, “Hedetniemi’s conjecture is asymptotically false,” <i>Journal of Combinatorial Theory, Series B</i>, vol. 146. Elsevier, pp. 485–494, 2021.","apa":"He, X., &#38; Wigderson, Y. (2021). Hedetniemi’s conjecture is asymptotically false. <i>Journal of Combinatorial Theory, Series B</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jctb.2020.03.003\">https://doi.org/10.1016/j.jctb.2020.03.003</a>"},"language":[{"iso":"eng"}],"abstract":[{"text":"Extending a recent breakthrough of Shitov, we prove that the chromatic number of the tensor product of two graphs can be a constant factor smaller than the minimum chromatic number of the two graphs. More precisely, we prove that there exists an absolute constant δ>0 such that for all c sufficiently large, there exist graphs G and H with chromatic number at least (1+δ)c for which χ(G×H)≤c.","lang":"eng"}],"external_id":{"arxiv":["1906.06783"]},"status":"public","publication":"Journal of Combinatorial Theory, Series B","date_created":"2026-06-29T10:50:09Z","scopus_import":"1","oa_version":"Preprint","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1906.06783","open_access":"1"}],"type":"journal_article","OA_type":"green","date_updated":"2026-07-08T07:43:57Z","arxiv":1,"intvolume":"       146","OA_place":"repository","publication_identifier":{"issn":["0095-8956"]},"article_processing_charge":"No","keyword":["Graph coloring","Hedetniemi's conjecture"],"day":"01","oa":1,"title":"Hedetniemi's conjecture is asymptotically false","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","_id":"22156","date_published":"2021-01-01T00:00:00Z","quality_controlled":"1","publisher":"Elsevier","doi":"10.1016/j.jctb.2020.03.003","extern":"1"},{"language":[{"iso":"eng"}],"article_type":"original","citation":{"chicago":"Szigeti, Stuart S., Onur Hosten, and Simon A. Haine. “Improving Cold-Atom Sensors with Quantum Entanglement: Prospects and Challenges.” <i>Applied Physics Letters</i>. AIP Publishing, 2021. <a href=\"https://doi.org/10.1063/5.0050235\">https://doi.org/10.1063/5.0050235</a>.","ista":"Szigeti SS, Hosten O, Haine SA. 2021. Improving cold-atom sensors with quantum entanglement: Prospects and challenges. Applied Physics Letters. 118(14), 140501.","ama":"Szigeti SS, Hosten O, Haine SA. Improving cold-atom sensors with quantum entanglement: Prospects and challenges. <i>Applied Physics Letters</i>. 2021;118(14). doi:<a href=\"https://doi.org/10.1063/5.0050235\">10.1063/5.0050235</a>","ieee":"S. S. Szigeti, O. Hosten, and S. A. Haine, “Improving cold-atom sensors with quantum entanglement: Prospects and challenges,” <i>Applied Physics Letters</i>, vol. 118, no. 14. AIP Publishing, 2021.","apa":"Szigeti, S. S., Hosten, O., &#38; Haine, S. A. (2021). Improving cold-atom sensors with quantum entanglement: Prospects and challenges. <i>Applied Physics Letters</i>. AIP Publishing. <a href=\"https://doi.org/10.1063/5.0050235\">https://doi.org/10.1063/5.0050235</a>","short":"S.S. Szigeti, O. Hosten, S.A. Haine, Applied Physics Letters 118 (2021).","mla":"Szigeti, Stuart S., et al. “Improving Cold-Atom Sensors with Quantum Entanglement: Prospects and Challenges.” <i>Applied Physics Letters</i>, vol. 118, no. 14, 140501, AIP Publishing, 2021, doi:<a href=\"https://doi.org/10.1063/5.0050235\">10.1063/5.0050235</a>."},"supplementarymaterial":"no","external_id":{"isi":["000637702100001"],"arxiv":["2010.09168"]},"status":"public","abstract":[{"text":"Quantum entanglement has been generated and verified in cold-atom experiments and used to make atom-interferometric measurements below the shot-noise limit. However, current state-of-the-art cold-atom devices exploit separable (i.e., unentangled) atomic states. This perspective piece asks the question: can entanglement usefully improve cold-atom sensors, in the sense that it gives new sensing capabilities unachievable with current state-of-the-art devices? We briefly review the state-of-the-art in precision cold-atom sensing, focusing on clocks and inertial sensors, identifying the potential benefits entanglement could bring to these devices, and the challenges that need to be overcome to realize these benefits. We survey demonstrated methods of generating metrologically useful entanglement in cold-atom systems, note their relative strengths and weaknesses, and assess their prospects for near-to-medium term quantum-enhanced cold-atom sensing.","lang":"eng"}],"main_file_link":[{"url":"https://arxiv.org/abs/2010.09168","open_access":"1"}],"corr_author":"1","type":"journal_article","date_created":"2021-04-18T22:01:40Z","scopus_import":"1","oa_version":"Preprint","publication":"Applied Physics Letters","arxiv":1,"date_updated":"2026-07-08T08:53:45Z","intvolume":"       118","dataavailabilitystatement":"The data that support the findings of this study are available from the corresponding author upon reasonable request.","author":[{"full_name":"Szigeti, Stuart S.","first_name":"Stuart S.","last_name":"Szigeti"},{"id":"4C02D85E-F248-11E8-B48F-1D18A9856A87","full_name":"Hosten, Onur","last_name":"Hosten","first_name":"Onur","orcid":"0000-0002-2031-204X"},{"full_name":"Haine, Simon A.","first_name":"Simon A.","last_name":"Haine"}],"month":"04","volume":118,"issue":"14","publication_status":"published","year":"2021","article_number":"140501","date_published":"2021-04-07T00:00:00Z","_id":"9331","quality_controlled":"1","das_tickbox":"1","publisher":"AIP Publishing","isi":1,"acknowledgement":"We acknowledge fruitful discussions with John Close, Chris Freier, Kyle Hardman, Joseph Hope, and Paul Wigley, and insightful suggestions made by Franck Pereira dos Santos on behalf of the Atom Interferometry and Inertial Sensors team at SYRTE. S.S.S. was supported by an Australian Research Council Discovery Early Career Researcher Award (DECRA), Project No. DE200100495. O.H. was supported by IST Austria.","doi":"10.1063/5.0050235","publication_identifier":{"issn":["0003-6951"]},"article_processing_charge":"No","department":[{"_id":"OnHo"}],"day":"07","researchdata_availability":"upon request","title":"Improving cold-atom sensors with quantum entanglement: Prospects and challenges","oa":1,"user_id":"68b8ca59-c5b3-11ee-8790-cd641c68093d"},{"day":"01","title":"Extremal and Ramsey results on graph blowups","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2150-959X"],"issn":["2156-3527"]},"article_processing_charge":"No","publisher":"International Press of Boston","doi":"10.4310/joc.2021.v12.n1.a1","extern":"1","_id":"22161","quality_controlled":"1","date_published":"2021-01-01T00:00:00Z","month":"01","volume":12,"issue":"1","publication_status":"published","year":"2021","page":"1-15","author":[{"full_name":"Fox, Jacob","first_name":"Jacob","last_name":"Fox"},{"full_name":"Luo, Sammy","first_name":"Sammy","last_name":"Luo"},{"full_name":"Wigderson, Yuval","id":"2d0023a0-1567-11f0-833d-d5c1e476d4b5","last_name":"Wigderson","first_name":"Yuval"}],"OA_type":"green","arxiv":1,"date_updated":"2026-07-08T10:41:31Z","intvolume":"        12","OA_place":"repository","language":[{"iso":"eng"}],"citation":{"chicago":"Fox, Jacob, Sammy Luo, and Yuval Wigderson. “Extremal and Ramsey Results on Graph Blowups.” <i>Journal of Combinatorics</i>. International Press of Boston, 2021. <a href=\"https://doi.org/10.4310/joc.2021.v12.n1.a1\">https://doi.org/10.4310/joc.2021.v12.n1.a1</a>.","apa":"Fox, J., Luo, S., &#38; Wigderson, Y. (2021). Extremal and Ramsey results on graph blowups. <i>Journal of Combinatorics</i>. International Press of Boston. <a href=\"https://doi.org/10.4310/joc.2021.v12.n1.a1\">https://doi.org/10.4310/joc.2021.v12.n1.a1</a>","ieee":"J. Fox, S. Luo, and Y. Wigderson, “Extremal and Ramsey results on graph blowups,” <i>Journal of Combinatorics</i>, vol. 12, no. 1. International Press of Boston, pp. 1–15, 2021.","ama":"Fox J, Luo S, Wigderson Y. Extremal and Ramsey results on graph blowups. <i>Journal of Combinatorics</i>. 2021;12(1):1-15. doi:<a href=\"https://doi.org/10.4310/joc.2021.v12.n1.a1\">10.4310/joc.2021.v12.n1.a1</a>","ista":"Fox J, Luo S, Wigderson Y. 2021. Extremal and Ramsey results on graph blowups. Journal of Combinatorics. 12(1), 1–15.","mla":"Fox, Jacob, et al. “Extremal and Ramsey Results on Graph Blowups.” <i>Journal of Combinatorics</i>, vol. 12, no. 1, International Press of Boston, 2021, pp. 1–15, doi:<a href=\"https://doi.org/10.4310/joc.2021.v12.n1.a1\">10.4310/joc.2021.v12.n1.a1</a>.","short":"J. Fox, S. Luo, Y. Wigderson, Journal of Combinatorics 12 (2021) 1–15."},"article_type":"original","external_id":{"arxiv":["1912.08328"]},"status":"public","abstract":[{"text":"Recently, Souza introduced blowup Ramsey numbers as a gener-\r\nalization of bipartite Ramsey numbers. For graphs G and H, say\r\nG r\r\n−→ H if every r-edge-coloring of G contains a monochromatic\r\ncopy of H. Let H[t] denote the t-blowup of H. Then the blowup\r\nRamsey number of G, H, r, and t is defined as the minimum n\r\nsuch that G[n] r\r\n−→ H[t]. Souza proved upper and lower bounds on\r\nn that are exponential in t, and conjectured that the exponential\r\nconstant does not depend on G. We prove that the dependence on\r\nG in the exponential constant is indeed unnecessary, but conjecture\r\nthat some dependence on G is unavoidable.\r\nAn important step in both Souza’s proof and ours is a theorem of\r\nNikiforov, which says that if a graph contains a constant fraction\r\nof the possible copies of H, then it contains a blowup of H of\r\nlogarithmic size. We also provide a new proof of this theorem with\r\na better quantitative dependence.","lang":"eng"}],"mathsc":["05C35","05C55"],"type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1912.08328"}],"publication":"Journal of Combinatorics","oa_version":"Preprint","date_created":"2026-06-29T10:52:13Z","scopus_import":"1"}]