[{"volume":21,"article_type":"original","date_created":"2023-08-22T14:10:34Z","author":[{"first_name":"Francesco","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello"},{"last_name":"Bauer","full_name":"Bauer, Stefan","first_name":"Stefan"},{"full_name":"Lucic, Mario","last_name":"Lucic","first_name":"Mario"},{"last_name":"Rätsch","full_name":"Rätsch, Gunnar","first_name":"Gunnar"},{"full_name":"Gelly, Sylvain","last_name":"Gelly","first_name":"Sylvain"},{"full_name":"Schölkopf, Bernhard","last_name":"Schölkopf","first_name":"Bernhard"},{"last_name":"Bachem","full_name":"Bachem, Olivier","first_name":"Olivier"}],"day":"01","scopus_import":"1","title":"A sober look at the unsupervised learning of disentangled representations and their evaluation","oa_version":"Published Version","publication_status":"published","has_accepted_license":"1","intvolume":"        21","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"The idea behind the unsupervised learning of disentangled representations is that real-world data is generated by a few explanatory factors of variation which can be recovered by unsupervised learning algorithms. In this paper, we provide a sober look at recent progress in the field and challenge some common assumptions. We first theoretically show that the unsupervised learning of disentangled representations is fundamentally impossible without inductive biases on both the models and the data. Then, we train over 14000\r\n models covering most prominent methods and evaluation metrics in a reproducible large-scale experimental study on eight data sets. We observe that while the different methods successfully enforce properties “encouraged” by the corresponding losses, well-disentangled models seemingly cannot be identified without supervision. Furthermore, different evaluation metrics do not always agree on what should be considered “disentangled” and exhibit systematic differences in the estimation. Finally, increased disentanglement does not seem to necessarily lead to a decreased sample complexity of learning for downstream tasks. Our results suggest that future work on disentanglement learning should be explicit about the role of inductive biases and (implicit) supervision, investigate concrete benefits of enforcing disentanglement of the learned representations, and consider a reproducible experimental setup covering several data sets.","lang":"eng"}],"department":[{"_id":"FrLo"}],"article_number":"209","arxiv":1,"month":"09","citation":{"short":"F. Locatello, S. Bauer, M. Lucic, G. Rätsch, S. Gelly, B. Schölkopf, O. Bachem, Journal of Machine Learning Research 21 (2020).","ieee":"F. Locatello <i>et al.</i>, “A sober look at the unsupervised learning of disentangled representations and their evaluation,” <i>Journal of Machine Learning Research</i>, vol. 21. MIT Press, 2020.","ama":"Locatello F, Bauer S, Lucic M, et al. A sober look at the unsupervised learning of disentangled representations and their evaluation. <i>Journal of Machine Learning Research</i>. 2020;21.","mla":"Locatello, Francesco, et al. “A Sober Look at the Unsupervised Learning of Disentangled Representations and Their Evaluation.” <i>Journal of Machine Learning Research</i>, vol. 21, 209, MIT Press, 2020.","apa":"Locatello, F., Bauer, S., Lucic, M., Rätsch, G., Gelly, S., Schölkopf, B., &#38; Bachem, O. (2020). A sober look at the unsupervised learning of disentangled representations and their evaluation. <i>Journal of Machine Learning Research</i>. MIT Press.","chicago":"Locatello, Francesco, Stefan Bauer, Mario Lucic, Gunnar Rätsch, Sylvain Gelly, Bernhard Schölkopf, and Olivier Bachem. “A Sober Look at the Unsupervised Learning of Disentangled Representations and Their Evaluation.” <i>Journal of Machine Learning Research</i>. MIT Press, 2020.","ista":"Locatello F, Bauer S, Lucic M, Rätsch G, Gelly S, Schölkopf B, Bachem O. 2020. A sober look at the unsupervised learning of disentangled representations and their evaluation. Journal of Machine Learning Research. 21, 209."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"language":[{"iso":"eng"}],"date_updated":"2023-09-12T09:23:56Z","_id":"14195","type":"journal_article","article_processing_charge":"No","publisher":"MIT Press","main_file_link":[{"url":"https://jmlr.csail.mit.edu/papers/v21/19-976.html","open_access":"1"}],"quality_controlled":"1","ddc":["000"],"year":"2020","external_id":{"arxiv":["2010.14766"]},"date_published":"2020-09-01T00:00:00Z","status":"public","extern":"1","publication":"Journal of Machine Learning Research"},{"department":[{"_id":"JoFi"}],"article_number":"9266397","month":"09","arxiv":1,"citation":{"ama":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. Microwave quantum illumination with a digital phase-conjugated receiver. In: <i>IEEE National Radar Conference - Proceedings</i>. Vol 2020. IEEE; 2020. doi:<a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">10.1109/RadarConf2043947.2020.9266397</a>","ieee":"S. Barzanjeh, S. Pirandola, D. Vitali, and J. M. Fink, “Microwave quantum illumination with a digital phase-conjugated receiver,” in <i>IEEE National Radar Conference - Proceedings</i>, Florence, Italy, 2020, vol. 2020, no. 9.","short":"S. Barzanjeh, S. Pirandola, D. Vitali, J.M. Fink, in:, IEEE National Radar Conference - Proceedings, IEEE, 2020.","chicago":"Barzanjeh, Shabir, Stefano Pirandola, David Vitali, and Johannes M Fink. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” In <i>IEEE National Radar Conference - Proceedings</i>, Vol. 2020. IEEE, 2020. <a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">https://doi.org/10.1109/RadarConf2043947.2020.9266397</a>.","ista":"Barzanjeh S, Pirandola S, Vitali D, Fink JM. 2020. Microwave quantum illumination with a digital phase-conjugated receiver. IEEE National Radar Conference - Proceedings. RadarConf: National Conference on Radar vol. 2020, 9266397.","apa":"Barzanjeh, S., Pirandola, S., Vitali, D., &#38; Fink, J. M. (2020). Microwave quantum illumination with a digital phase-conjugated receiver. In <i>IEEE National Radar Conference - Proceedings</i> (Vol. 2020). Florence, Italy: IEEE. <a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">https://doi.org/10.1109/RadarConf2043947.2020.9266397</a>","mla":"Barzanjeh, Shabir, et al. “Microwave Quantum Illumination with a Digital Phase-Conjugated Receiver.” <i>IEEE National Radar Conference - Proceedings</i>, vol. 2020, no. 9, 9266397, IEEE, 2020, doi:<a href=\"https://doi.org/10.1109/RadarConf2043947.2020.9266397\">10.1109/RadarConf2043947.2020.9266397</a>."},"issue":"9","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"volume":2020,"date_created":"2021-01-10T23:01:17Z","scopus_import":"1","day":"21","author":[{"id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","full_name":"Barzanjeh, Shabir","last_name":"Barzanjeh","orcid":"0000-0003-0415-1423","first_name":"Shabir"},{"full_name":"Pirandola, Stefano","last_name":"Pirandola","first_name":"Stefano"},{"last_name":"Vitali","full_name":"Vitali, David","first_name":"David"},{"first_name":"Johannes M","orcid":"0000-0001-8112-028X","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","full_name":"Fink, Johannes M","last_name":"Fink"}],"title":"Microwave quantum illumination with a digital phase-conjugated receiver","oa_version":"Preprint","publication_identifier":{"issn":["1097-5659"],"isbn":["9781728189420"]},"publication_status":"published","intvolume":"      2020","abstract":[{"text":"Quantum illumination is a sensing technique that employs entangled signal-idler beams to improve the detection efficiency of low-reflectivity objects in environments with large thermal noise. The advantage over classical strategies is evident at low signal brightness, a feature which could make the protocol an ideal prototype for non-invasive scanning or low-power short-range radar. Here we experimentally investigate the concept of quantum illumination at microwave frequencies, by generating entangled fields using a Josephson parametric converter which are then amplified to illuminate a room-temperature object at a distance of 1 meter. Starting from experimental data, we simulate the case of perfect idler photon number detection, which results in a quantum advantage compared to the relative classical benchmark. Our results highlight the opportunities and challenges on the way towards a first room-temperature application of microwave quantum circuits.","lang":"eng"}],"year":"2020","isi":1,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"7910"}]},"external_id":{"isi":["000612224900089"],"arxiv":["1908.03058"]},"ec_funded":1,"date_published":"2020-09-21T00:00:00Z","acknowledgement":"This work was supported by the Institute of Science and Technology Austria (IST Austria), the European Research Council under grant agreement number 758053 (ERC StG QUNNECT) and the EU’s Horizon 2020 research and innovation programme under grant agreement number 862644 (FET Open QUARTET). S.B. acknowledges support from the Marie Skłodowska Curie\r\nfellowship number 707438 (MSC-IF SUPEREOM), DV acknowledge support from EU’s Horizon 2020 research and innovation programme under grant agreement number 732894 (FET Proactive HOT) and the Project QuaSeRT funded by the QuantERA ERANET Cofund in Quantum Technologies, and J.M.F from the Austrian Science Fund (FWF) through BeyondC (F71), a NOMIS foundation research grant, and the EU’s Horizon 2020 research and\r\ninnovation programme under grant agreement number 732894 (FET Proactive\r\nHOT).","conference":{"location":"Florence, Italy","end_date":"2020-09-25","start_date":"2020-09-21","name":"RadarConf: National Conference on Radar"},"status":"public","publication":"IEEE National Radar Conference - Proceedings","project":[{"_id":"26336814-B435-11E9-9278-68D0E5697425","grant_number":"758053","name":"A Fiber Optic Transceiver for Superconducting Qubits","call_identifier":"H2020"},{"name":"Quantum readout techniques and technologies","grant_number":"862644","call_identifier":"H2020","_id":"237CBA6C-32DE-11EA-91FC-C7463DDC885E"},{"_id":"258047B6-B435-11E9-9278-68D0E5697425","grant_number":"707438","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","call_identifier":"H2020"},{"name":"Hybrid Optomechanical Technologies","grant_number":"732894","call_identifier":"H2020","_id":"257EB838-B435-11E9-9278-68D0E5697425"}],"_id":"9001","date_updated":"2024-09-10T12:23:52Z","type":"conference","article_processing_charge":"No","doi":"10.1109/RadarConf2043947.2020.9266397","publisher":"IEEE","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1908.03058"}],"quality_controlled":"1"},{"main_file_link":[{"url":"https://arxiv.org/abs/1906.08463","open_access":"1"}],"quality_controlled":"1","page":"635-659","_id":"9007","date_updated":"2023-08-24T11:11:36Z","type":"journal_article","article_processing_charge":"No","doi":"10.4171/CMH/499","publisher":"European Mathematical Society","date_published":"2020-12-07T00:00:00Z","publication":"Commentarii Mathematici Helvetici","status":"public","year":"2020","isi":1,"external_id":{"arxiv":["1906.08463"],"isi":["000596833300001"]},"publication_identifier":{"issn":["00102571"],"eissn":["14208946"]},"publication_status":"published","abstract":[{"lang":"eng","text":"Motivated by a recent question of Peyre, we apply the Hardy–Littlewood circle method to count “sufficiently free” rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the rationals."}],"intvolume":"        95","volume":95,"date_created":"2021-01-17T23:01:11Z","article_type":"original","day":"07","scopus_import":"1","author":[{"last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","full_name":"Browning, Timothy D","first_name":"Timothy D","orcid":"0000-0002-8314-0177"},{"first_name":"Will","full_name":"Sawin, Will","last_name":"Sawin"}],"title":"Free rational points on smooth hypersurfaces","oa_version":"Preprint","citation":{"chicago":"Browning, Timothy D, and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” <i>Commentarii Mathematici Helvetici</i>. European Mathematical Society, 2020. <a href=\"https://doi.org/10.4171/CMH/499\">https://doi.org/10.4171/CMH/499</a>.","ista":"Browning TD, Sawin W. 2020. Free rational points on smooth hypersurfaces. Commentarii Mathematici Helvetici. 95(4), 635–659.","apa":"Browning, T. D., &#38; Sawin, W. (2020). Free rational points on smooth hypersurfaces. <i>Commentarii Mathematici Helvetici</i>. European Mathematical Society. <a href=\"https://doi.org/10.4171/CMH/499\">https://doi.org/10.4171/CMH/499</a>","mla":"Browning, Timothy D., and Will Sawin. “Free Rational Points on Smooth Hypersurfaces.” <i>Commentarii Mathematici Helvetici</i>, vol. 95, no. 4, European Mathematical Society, 2020, pp. 635–59, doi:<a href=\"https://doi.org/10.4171/CMH/499\">10.4171/CMH/499</a>.","ama":"Browning TD, Sawin W. Free rational points on smooth hypersurfaces. <i>Commentarii Mathematici Helvetici</i>. 2020;95(4):635-659. doi:<a href=\"https://doi.org/10.4171/CMH/499\">10.4171/CMH/499</a>","ieee":"T. D. Browning and W. Sawin, “Free rational points on smooth hypersurfaces,” <i>Commentarii Mathematici Helvetici</i>, vol. 95, no. 4. European Mathematical Society, pp. 635–659, 2020.","short":"T.D. Browning, W. Sawin, Commentarii Mathematici Helvetici 95 (2020) 635–659."},"issue":"4","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"TiBr"}],"arxiv":1,"month":"12"},{"external_id":{"isi":["000658495400012"]},"isi":1,"year":"2020","status":"public","publication":"Proceedings of the VLDB Endowment","acknowledgement":"We thank Nicolas Gailly, Vincent Graf, Jean-Pierre Hubaux, Wouter Lueks, Massimo Marelli, Carmela Troncoso, Juan-Ramón Troncoso Pastoriza, Frédéric Pont, and Sandra Siby for their valuable feedback. This project was supported in part by the ETH domain under PHRT grant #2017−201, and by the AXA Research Fund, Byzgen, DFINITY, and the Swiss Data Science Center (SDSC).","date_published":"2020-12-01T00:00:00Z","publisher":"Association for Computing Machinery","doi":"10.14778/3436905.3436917","article_processing_charge":"No","type":"journal_article","date_updated":"2023-08-24T13:57:13Z","_id":"9011","page":"586-599","quality_controlled":"1","main_file_link":[{"url":"https://dl.acm.org/doi/10.14778/3436905.3436917","open_access":"1"}],"month":"12","department":[{"_id":"ElKo"}],"language":[{"iso":"eng"}],"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","issue":"4","citation":{"short":"E. Kokoris Kogias, E.C. Alp, L. Gasser, P. Jovanovic, E. Syta, B. Ford, Proceedings of the VLDB Endowment 14 (2020) 586–599.","ieee":"E. Kokoris Kogias, E. C. Alp, L. Gasser, P. Jovanovic, E. Syta, and B. Ford, “CALYPSO: Private data management for decentralized ledgers,” <i>Proceedings of the VLDB Endowment</i>, vol. 14, no. 4. Association for Computing Machinery, pp. 586–599, 2020.","ama":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. CALYPSO: Private data management for decentralized ledgers. <i>Proceedings of the VLDB Endowment</i>. 2020;14(4):586-599. doi:<a href=\"https://doi.org/10.14778/3436905.3436917\">10.14778/3436905.3436917</a>","mla":"Kokoris Kogias, Eleftherios, et al. “CALYPSO: Private Data Management for Decentralized Ledgers.” <i>Proceedings of the VLDB Endowment</i>, vol. 14, no. 4, Association for Computing Machinery, 2020, pp. 586–99, doi:<a href=\"https://doi.org/10.14778/3436905.3436917\">10.14778/3436905.3436917</a>.","apa":"Kokoris Kogias, E., Alp, E. C., Gasser, L., Jovanovic, P., Syta, E., &#38; Ford, B. (2020). CALYPSO: Private data management for decentralized ledgers. <i>Proceedings of the VLDB Endowment</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.14778/3436905.3436917\">https://doi.org/10.14778/3436905.3436917</a>","chicago":"Kokoris Kogias, Eleftherios, Enis Ceyhun Alp, Linus Gasser, Philipp Jovanovic, Ewa Syta, and Bryan Ford. “CALYPSO: Private Data Management for Decentralized Ledgers.” <i>Proceedings of the VLDB Endowment</i>. Association for Computing Machinery, 2020. <a href=\"https://doi.org/10.14778/3436905.3436917\">https://doi.org/10.14778/3436905.3436917</a>.","ista":"Kokoris Kogias E, Alp EC, Gasser L, Jovanovic P, Syta E, Ford B. 2020. CALYPSO: Private data management for decentralized ledgers. Proceedings of the VLDB Endowment. 14(4), 586–599."},"oa_version":"Published Version","title":"CALYPSO: Private data management for decentralized ledgers","author":[{"last_name":"Kokoris Kogias","full_name":"Kokoris Kogias, Eleftherios","id":"f5983044-d7ef-11ea-ac6d-fd1430a26d30","first_name":"Eleftherios"},{"last_name":"Alp","full_name":"Alp, Enis Ceyhun","first_name":"Enis Ceyhun"},{"full_name":"Gasser, Linus","last_name":"Gasser","first_name":"Linus"},{"last_name":"Jovanovic","full_name":"Jovanovic, Philipp","first_name":"Philipp"},{"last_name":"Syta","full_name":"Syta, Ewa","first_name":"Ewa"},{"full_name":"Ford, Bryan","last_name":"Ford","first_name":"Bryan"}],"day":"01","scopus_import":"1","article_type":"original","date_created":"2021-01-17T23:01:13Z","volume":14,"abstract":[{"lang":"eng","text":"Distributed ledgers provide high availability and integrity, making them a key enabler for practical and secure computation of distributed workloads among mutually distrustful parties. Many practical applications also require strong confidentiality, however. This work enhances permissioned and permissionless blockchains with the ability to manage confidential data without forfeiting availability or decentralization. The proposed Calypso architecture addresses two orthogonal challenges confronting modern distributed ledgers: (a) enabling the auditable management of secrets and (b) protecting distributed computations against arbitrage attacks when their results depend on the ordering and secrecy of inputs.\r\n\r\nCalypso introduces on-chain secrets, a novel abstraction that enforces atomic deposition of an auditable trace whenever users access confidential data. Calypso provides user-controlled consent management that ensures revocation atomicity and accountable anonymity. To enable permissionless deployment, we introduce an incentive scheme and provide users with the option to select their preferred trustees. We evaluated our Calypso prototype with a confidential document-sharing application and a decentralized lottery. Our benchmarks show that transaction-processing latency increases linearly in terms of security (number of trustees) and is in the range of 0.2 to 8 seconds for 16 to 128 trustees."}],"tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"intvolume":"        14","publication_identifier":{"eissn":["2150-8097"]},"publication_status":"published"},{"ec_funded":1,"date_published":"2020-12-15T00:00:00Z","acknowledgement":"This work was supported by the European Union's Horizon 2020 Research and Innovation\r\nProgramme under Marie Sklodowska-Curie grant agreement 665385 and by the Deutsche\r\nForschungsgemeinschaft (DFG, German Research Foundation) under Germany's Excellence Strategy, EXC-2047/1--390685813.","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"International IST Doctoral Program","grant_number":"665385"}],"status":"public","publication":"SIAM Journal on Mathematical Analysis","year":"2020","isi":1,"external_id":{"isi":["000600695200027"]},"quality_controlled":"1","page":"6222-6233","ddc":["510"],"date_updated":"2023-08-24T11:15:16Z","_id":"9039","type":"journal_article","doi":"10.1137/20M1322182","article_processing_charge":"No","publisher":"Society for Industrial and Applied Mathematics","issue":"6","citation":{"ieee":"J. L. Fischer, T. Laux, and T. M. Simon, “Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies,” <i>SIAM Journal on Mathematical Analysis</i>, vol. 52, no. 6. Society for Industrial and Applied Mathematics, pp. 6222–6233, 2020.","short":"J.L. Fischer, T. Laux, T.M. Simon, SIAM Journal on Mathematical Analysis 52 (2020) 6222–6233.","ama":"Fischer JL, Laux T, Simon TM. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. <i>SIAM Journal on Mathematical Analysis</i>. 2020;52(6):6222-6233. doi:<a href=\"https://doi.org/10.1137/20M1322182\">10.1137/20M1322182</a>","apa":"Fischer, J. L., Laux, T., &#38; Simon, T. M. (2020). Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/20M1322182\">https://doi.org/10.1137/20M1322182</a>","mla":"Fischer, Julian L., et al. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” <i>SIAM Journal on Mathematical Analysis</i>, vol. 52, no. 6, Society for Industrial and Applied Mathematics, 2020, pp. 6222–33, doi:<a href=\"https://doi.org/10.1137/20M1322182\">10.1137/20M1322182</a>.","chicago":"Fischer, Julian L, Tim Laux, and Theresa M. Simon. “Convergence Rates of the Allen-Cahn Equation to Mean Curvature Flow: A Short Proof Based on Relative Entropies.” <i>SIAM Journal on Mathematical Analysis</i>. Society for Industrial and Applied Mathematics, 2020. <a href=\"https://doi.org/10.1137/20M1322182\">https://doi.org/10.1137/20M1322182</a>.","ista":"Fischer JL, Laux T, Simon TM. 2020. Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies. SIAM Journal on Mathematical Analysis. 52(6), 6222–6233."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"JuFi"}],"file":[{"file_id":"9041","creator":"dernst","date_updated":"2021-01-25T07:48:39Z","file_size":310655,"date_created":"2021-01-25T07:48:39Z","checksum":"21aa1cf4c30a86a00cae15a984819b5d","relation":"main_file","access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2020_SIAM_Fischer.pdf"}],"month":"12","publication_identifier":{"eissn":["10957154"],"issn":["00361410"]},"publication_status":"published","file_date_updated":"2021-01-25T07:48:39Z","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"We give a short and self-contained proof for rates of convergence of the Allen--Cahn equation towards mean curvature flow, assuming that a classical (smooth) solution to the latter exists and starting from well-prepared initial data. Our approach is based on a relative entropy technique. In particular, it does not require a stability analysis for the linearized Allen--Cahn operator. As our analysis also does not rely on the comparison principle, we expect it to be applicable to more complex equations and systems.","lang":"eng"}],"intvolume":"        52","volume":52,"article_type":"original","date_created":"2021-01-24T23:01:09Z","author":[{"first_name":"Julian L","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L","last_name":"Fischer"},{"last_name":"Laux","full_name":"Laux, Tim","first_name":"Tim"},{"last_name":"Simon","full_name":"Simon, Theresa M.","first_name":"Theresa M."}],"day":"15","scopus_import":"1","oa_version":"Published Version","title":"Convergence rates of the Allen-Cahn equation to mean curvature flow: A short proof based on relative entropies"},{"language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"P.A. Alamdari, G. Avni, T.A. Henzinger, A. Lukina, in:, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, TU Wien Academic Press, 2020, pp. 138–147.","ieee":"P. A. Alamdari, G. Avni, T. A. Henzinger, and A. Lukina, “Formal methods with a touch of magic,” in <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, Online Conference, 2020, pp. 138–147.","ama":"Alamdari PA, Avni G, Henzinger TA, Lukina A. Formal methods with a touch of magic. In: <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>. TU Wien Academic Press; 2020:138-147. doi:<a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">10.34727/2020/isbn.978-3-85448-042-6_21</a>","mla":"Alamdari, Par Alizadeh, et al. “Formal Methods with a Touch of Magic.” <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, TU Wien Academic Press, 2020, pp. 138–47, doi:<a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">10.34727/2020/isbn.978-3-85448-042-6_21</a>.","apa":"Alamdari, P. A., Avni, G., Henzinger, T. A., &#38; Lukina, A. (2020). Formal methods with a touch of magic. In <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i> (pp. 138–147). Online Conference: TU Wien Academic Press. <a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>","ista":"Alamdari PA, Avni G, Henzinger TA, Lukina A. 2020. Formal methods with a touch of magic. Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design.  FMCAD: Formal Methods in Computer-Aided Design, 138–147.","chicago":"Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.” In <i>Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design</i>, 138–47. TU Wien Academic Press, 2020. <a href=\"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21\">https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21</a>."},"month":"09","file":[{"date_created":"2021-02-09T09:39:02Z","file_size":990999,"creator":"dernst","date_updated":"2021-02-09T09:39:02Z","file_id":"9109","success":1,"file_name":"2020_FMCAD_Alamdari.pdf","access_level":"open_access","content_type":"application/pdf","relation":"main_file","checksum":"d616d549a0ade78606b16f8a9540820f"}],"department":[{"_id":"ToHe"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fields. The use of black-box neural networks in deep reinforcement learning (deep RL) poses a challenge for such a combination. Instead of reasoning formally about the output of deep RL, which we call the wizard, we extract from it a decision-tree based model, which we refer to as the magic book. Using the extracted model as an intermediary, we are able to handle problems that are infeasible for either deep RL or formal methods by themselves. First, we suggest, for the first time, a synthesis procedure that is based on a magic book. We synthesize a stand-alone correct-by-design controller that enjoys the favorable performance of RL. Second, we incorporate a magic book in a bounded model checking (BMC) procedure. BMC allows us to find numerous traces of the plant under the control of the wizard, which a user can use to increase the trustworthiness of the wizard and direct further training."}],"has_accepted_license":"1","publication_identifier":{"eissn":["2708-7824"],"isbn":["9783854480426"]},"publication_status":"published","file_date_updated":"2021-02-09T09:39:02Z","oa_version":"Published Version","title":"Formal methods with a touch of magic","author":[{"first_name":"Par Alizadeh","last_name":"Alamdari","full_name":"Alamdari, Par Alizadeh"},{"last_name":"Avni","full_name":"Avni, Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5588-8287","first_name":"Guy"},{"first_name":"Thomas A","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Lukina","full_name":"Lukina, Anna","id":"CBA4D1A8-0FE8-11E9-BDE6-07BFE5697425","first_name":"Anna"}],"scopus_import":"1","day":"21","date_created":"2021-01-24T23:01:10Z","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"The Wittgenstein Prize","call_identifier":"FWF"}],"status":"public","publication":"Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design","acknowledgement":"This research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","date_published":"2020-09-21T00:00:00Z","conference":{"name":" FMCAD: Formal Methods in Computer-Aided Design","end_date":"2020-09-24","start_date":"2020-09-21","location":"Online Conference"},"year":"2020","ddc":["000"],"page":"138-147","quality_controlled":"1","publisher":"TU Wien Academic Press","doi":"10.34727/2020/isbn.978-3-85448-042-6_21","article_processing_charge":"No","type":"conference","date_updated":"2021-02-09T09:39:59Z","_id":"9040"},{"citation":{"apa":"Schmid-Hempel, P., &#38; Cremer, S. (2020). Parasites and Pathogens. In C. Starr (Ed.), <i>Encyclopedia of Social Insects</i>. Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">https://doi.org/10.1007/978-3-319-90306-4_94-1</a>","mla":"Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” <i>Encyclopedia of Social Insects</i>, edited by C Starr, Springer Nature, 2020, doi:<a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">10.1007/978-3-319-90306-4_94-1</a>.","chicago":"Schmid-Hempel, Paul, and Sylvia Cremer. “Parasites and Pathogens.” In <i>Encyclopedia of Social Insects</i>, edited by C Starr. Cham: Springer Nature, 2020. <a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">https://doi.org/10.1007/978-3-319-90306-4_94-1</a>.","ista":"Schmid-Hempel P, Cremer S. 2020.Parasites and Pathogens. In: Encyclopedia of Social Insects. .","ieee":"P. Schmid-Hempel and S. Cremer, “Parasites and Pathogens,” in <i>Encyclopedia of Social Insects</i>, C. Starr, Ed. Cham: Springer Nature, 2020.","short":"P. Schmid-Hempel, S. Cremer, in:, C. Starr (Ed.), Encyclopedia of Social Insects, Springer Nature, Cham, 2020.","ama":"Schmid-Hempel P, Cremer S. Parasites and Pathogens. In: Starr C, ed. <i>Encyclopedia of Social Insects</i>. Cham: Springer Nature; 2020. doi:<a href=\"https://doi.org/10.1007/978-3-319-90306-4_94-1\">10.1007/978-3-319-90306-4_94-1</a>"},"place":"Cham","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-02-22T00:00:00Z","publication":"Encyclopedia of Social Insects","status":"public","language":[{"iso":"eng"}],"department":[{"_id":"SyCr"}],"year":"2020","month":"02","quality_controlled":"1","publication_status":"published","publication_identifier":{"isbn":["9783319903064"]},"_id":"9096","date_updated":"2021-02-05T12:19:21Z","date_created":"2021-02-05T12:15:18Z","type":"book_chapter","article_processing_charge":"No","day":"22","author":[{"first_name":"Paul","full_name":"Schmid-Hempel, Paul","last_name":"Schmid-Hempel"},{"last_name":"Cremer","full_name":"Cremer, Sylvia M","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2193-3868","first_name":"Sylvia M"}],"doi":"10.1007/978-3-319-90306-4_94-1","title":"Parasites and Pathogens","oa_version":"None","publisher":"Springer Nature","editor":[{"first_name":"C","last_name":"Starr","full_name":"Starr, C"}]},{"arxiv":1,"month":"12","department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"S. Gruenbacher, J. Cyranka, M. Lechner, M. A. Islam, S. A. Smolka, and R. Grosu, “Lagrangian reachtubes: The next generation,” in <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, Jeju Islang, Korea (South), 2020, vol. 2020, pp. 1556–1563.","short":"S. Gruenbacher, J. Cyranka, M. Lechner, M.A. Islam, S.A. Smolka, R. Grosu, in:, Proceedings of the 59th IEEE Conference on Decision and Control, IEEE, 2020, pp. 1556–1563.","ama":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. Lagrangian reachtubes: The next generation. In: <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>. Vol 2020. IEEE; 2020:1556-1563. doi:<a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">10.1109/CDC42340.2020.9304042</a>","apa":"Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., &#38; Grosu, R. (2020). Lagrangian reachtubes: The next generation. In <i>Proceedings of the 59th IEEE Conference on Decision and Control</i> (Vol. 2020, pp. 1556–1563). Jeju Islang, Korea (South): IEEE. <a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">https://doi.org/10.1109/CDC42340.2020.9304042</a>","mla":"Gruenbacher, Sophie, et al. “Lagrangian Reachtubes: The next Generation.” <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, vol. 2020, IEEE, 2020, pp. 1556–63, doi:<a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">10.1109/CDC42340.2020.9304042</a>.","ista":"Gruenbacher S, Cyranka J, Lechner M, Islam MA, Smolka SA, Grosu R. 2020. Lagrangian reachtubes: The next generation. Proceedings of the 59th IEEE Conference on Decision and Control. CDC: Conference on Decision and Control vol. 2020, 1556–1563.","chicago":"Gruenbacher, Sophie, Jacek Cyranka, Mathias Lechner, Md Ariful Islam, Scott A. Smolka, and Radu Grosu. “Lagrangian Reachtubes: The next Generation.” In <i>Proceedings of the 59th IEEE Conference on Decision and Control</i>, 2020:1556–63. IEEE, 2020. <a href=\"https://doi.org/10.1109/CDC42340.2020.9304042\">https://doi.org/10.1109/CDC42340.2020.9304042</a>."},"oa_version":"Preprint","title":"Lagrangian reachtubes: The next generation","day":"14","scopus_import":"1","author":[{"first_name":"Sophie","last_name":"Gruenbacher","full_name":"Gruenbacher, Sophie"},{"first_name":"Jacek","last_name":"Cyranka","full_name":"Cyranka, Jacek"},{"first_name":"Mathias","full_name":"Lechner, Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner"},{"last_name":"Islam","full_name":"Islam, Md Ariful","first_name":"Md Ariful"},{"first_name":"Scott A.","last_name":"Smolka","full_name":"Smolka, Scott A."},{"first_name":"Radu","last_name":"Grosu","full_name":"Grosu, Radu"}],"date_created":"2021-02-07T23:01:14Z","volume":2020,"abstract":[{"lang":"eng","text":"We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a nonlinear dynamical system. LRT-NG significantly advances the state-of-the-art Langrangian Reachability and its associated tool LRT. From a theoretical perspective, LRT-NG is superior to LRT in three ways. First, it uses for the first time an analytically computed metric for the propagated ball which is proven to minimize the ball’s volume. We emphasize that the metric computation is the centerpiece of all bloating-based techniques. Secondly, it computes the next reachset as the intersection of two balls: one based on the Cartesian metric and the other on the new metric. While the two metrics were previously considered opposing approaches, their joint use considerably tightens the reachtubes. Thirdly, it avoids the \"wrapping effect\" associated with the validated integration of the center of the reachset, by optimally absorbing the interval approximation in the radius of the next ball. From a tool-development perspective, LRT-NG is superior to LRT in two ways. First, it is a standalone tool that no longer relies on CAPD. This required the implementation of the Lohner method and a Runge-Kutta time-propagation method. Secondly, it has an improved interface, allowing the input model and initial conditions to be provided as external input files. Our experiments on a comprehensive set of benchmarks, including two Neural ODEs, demonstrates LRT-NG’s superior performance compared to LRT, CAPD, and Flow*."}],"intvolume":"      2020","publication_identifier":{"issn":["07431546"],"isbn":["9781728174471"]},"publication_status":"published","external_id":{"arxiv":["2012.07458"]},"year":"2020","publication":"Proceedings of the 59th IEEE Conference on Decision and Control","status":"public","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211"}],"acknowledgement":"The authors would like to thank Ramin Hasani and Guillaume Berger for intellectual discussions about the research which lead to the generation of new ideas. ML was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Smolka’s research was supported by NSF grants CPS-1446832 and CCF-1918225. Gruenbacher is funded by FWF project W1255-N23. JC was partially supported by NAWA Polish Returns grant\r\nPPN/PPO/2018/1/00029.\r\n","conference":{"start_date":"2020-12-14","end_date":"2020-12-18","name":"CDC: Conference on Decision and Control","location":"Jeju Islang, Korea (South)"},"date_published":"2020-12-14T00:00:00Z","publisher":"IEEE","article_processing_charge":"No","doi":"10.1109/CDC42340.2020.9304042","type":"conference","_id":"9103","date_updated":"2021-02-09T09:20:58Z","page":"1556-1563","quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/2012.07458","open_access":"1"}]},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ieee":"Z. Bao, L. Erdös, and K. Schnelli, “On the support of the free additive convolution,” <i>Journal d’Analyse Mathematique</i>, vol. 142. Springer Nature, pp. 323–348, 2020.","short":"Z. Bao, L. Erdös, K. Schnelli, Journal d’Analyse Mathematique 142 (2020) 323–348.","ama":"Bao Z, Erdös L, Schnelli K. On the support of the free additive convolution. <i>Journal d’Analyse Mathematique</i>. 2020;142:323-348. doi:<a href=\"https://doi.org/10.1007/s11854-020-0135-2\">10.1007/s11854-020-0135-2</a>","apa":"Bao, Z., Erdös, L., &#38; Schnelli, K. (2020). On the support of the free additive convolution. <i>Journal d’Analyse Mathematique</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11854-020-0135-2\">https://doi.org/10.1007/s11854-020-0135-2</a>","mla":"Bao, Zhigang, et al. “On the Support of the Free Additive Convolution.” <i>Journal d’Analyse Mathematique</i>, vol. 142, Springer Nature, 2020, pp. 323–48, doi:<a href=\"https://doi.org/10.1007/s11854-020-0135-2\">10.1007/s11854-020-0135-2</a>.","ista":"Bao Z, Erdös L, Schnelli K. 2020. On the support of the free additive convolution. Journal d’Analyse Mathematique. 142, 323–348.","chicago":"Bao, Zhigang, László Erdös, and Kevin Schnelli. “On the Support of the Free Additive Convolution.” <i>Journal d’Analyse Mathematique</i>. Springer Nature, 2020. <a href=\"https://doi.org/10.1007/s11854-020-0135-2\">https://doi.org/10.1007/s11854-020-0135-2</a>."},"language":[{"iso":"eng"}],"oa":1,"department":[{"_id":"LaEr"}],"month":"11","arxiv":1,"publication_identifier":{"eissn":["15658538"],"issn":["00217670"]},"publication_status":"published","intvolume":"       142","abstract":[{"lang":"eng","text":"We consider the free additive convolution of two probability measures μ and ν on the real line and show that μ ⊞ v is supported on a single interval if μ and ν each has single interval support. Moreover, the density of μ ⊞ ν is proven to vanish as a square root near the edges of its support if both μ and ν have power law behavior with exponents between −1 and 1 near their edges. In particular, these results show the ubiquity of the conditions in our recent work on optimal local law at the spectral edges for addition of random matrices [5]."}],"article_type":"original","date_created":"2021-02-07T23:01:15Z","volume":142,"oa_version":"Preprint","title":"On the support of the free additive convolution","author":[{"orcid":"0000-0003-3036-1475","first_name":"Zhigang","last_name":"Bao","id":"442E6A6C-F248-11E8-B48F-1D18A9856A87","full_name":"Bao, Zhigang"},{"full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","last_name":"Erdös","orcid":"0000-0001-5366-9603","first_name":"László"},{"id":"434AD0AE-F248-11E8-B48F-1D18A9856A87","full_name":"Schnelli, Kevin","last_name":"Schnelli","orcid":"0000-0003-0954-3231","first_name":"Kevin"}],"day":"01","scopus_import":"1","acknowledgement":"Supported in part by Hong Kong RGC Grant ECS 26301517.\r\nSupported in part by ERC Advanced Grant RANMAT No. 338804.\r\nSupported in part by the Knut and Alice Wallenberg Foundation and the Swedish Research Council Grant VR-2017-05195.","date_published":"2020-11-01T00:00:00Z","ec_funded":1,"project":[{"_id":"258DCDE6-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"Random matrices, universality and disordered quantum systems","grant_number":"338804"}],"status":"public","publication":"Journal d'Analyse Mathematique","external_id":{"arxiv":["1804.11199"],"isi":["000611879400008"]},"isi":1,"year":"2020","quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/1804.11199","open_access":"1"}],"page":"323-348","type":"journal_article","date_updated":"2023-08-24T11:16:03Z","_id":"9104","publisher":"Springer Nature","doi":"10.1007/s11854-020-0135-2","article_processing_charge":"No"},{"year":"2020","isi":1,"external_id":{"isi":["000674680100001"]},"related_material":{"link":[{"url":"https://ist.ac.at/en/news/how-to-transport-microwave-quantum-information-via-optical-fiber/","description":"News on IST Homepage","relation":"press_release"}],"record":[{"id":"13071","status":"public","relation":"research_data"},{"id":"12900","relation":"dissertation_contains","status":"public"},{"id":"13175","status":"public","relation":"dissertation_contains"}]},"project":[{"_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits","grant_number":"758053","call_identifier":"H2020"},{"call_identifier":"H2020","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"call_identifier":"H2020","grant_number":"899354","name":"Quantum Local Area Networks with Superconducting Qubits","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A"},{"call_identifier":"FWF","name":"Integrating superconducting quantum circuits","grant_number":"F07105","_id":"26927A52-B435-11E9-9278-68D0E5697425"},{"name":"Coherent on-chip conversion of superconducting qubit signals from microwaves to optical frequencies","_id":"2671EB66-B435-11E9-9278-68D0E5697425"}],"publication":"PRX Quantum","status":"public","ec_funded":1,"acknowledgement":"The authors acknowledge the support of T. Menner, A. Arslani, and T. Asenov from the Miba machine shop for machining the microwave cavity, and thank S. Barzanjeh, F. Sedlmeir, and C. Marquardt for fruitful discussions. This work is supported by IST Austria and the European Research Council under Grant No. 758053 (ERC StG QUNNECT). W.H. is the recipient of an ISTplus postdoctoral fellowship with funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant No. 754411.\r\nG.A. is the recipient of a DOC fellowship of the Austrian Academy of Sciences at IST Austria. J.M.F. acknowledges support from the Austrian Science Fund (FWF) through BeyondC (F71) and the European Union’s Horizon 2020 research and innovation program under Grant No. 899354 (FET Open SuperQuLAN). H.G.L.S. acknowledges support from the Aotearoa/New Zealand’s MBIE Endeavour Smart Ideas Grant No UOOX1805.","date_published":"2020-11-23T00:00:00Z","doi":"10.1103/prxquantum.1.020315","article_processing_charge":"No","publisher":"American Physical Society","date_updated":"2024-10-29T09:11:05Z","_id":"9114","type":"journal_article","ddc":["530"],"quality_controlled":"1","month":"11","department":[{"_id":"JoFi"}],"file":[{"relation":"main_file","checksum":"b70b12ded6d7660d4c9037eb09bfed0c","file_name":"2020_PRXQuantum_Hease.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","file_id":"9115","file_size":2146924,"date_created":"2021-02-12T11:16:16Z","date_updated":"2021-02-12T11:16:16Z","creator":"dernst"}],"article_number":"020315","oa":1,"language":[{"iso":"eng"}],"issue":"2","citation":{"apa":"Hease, W. J., Rueda Sanchez, A. R., Sahu, R., Wulf, M., Arnold, G. M., Schwefel, H. G. L., &#38; Fink, J. M. (2020). Bidirectional electro-optic wavelength conversion in the quantum ground state. <i>PRX Quantum</i>. American Physical Society. <a href=\"https://doi.org/10.1103/prxquantum.1.020315\">https://doi.org/10.1103/prxquantum.1.020315</a>","mla":"Hease, William J., et al. “Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State.” <i>PRX Quantum</i>, vol. 1, no. 2, 020315, American Physical Society, 2020, doi:<a href=\"https://doi.org/10.1103/prxquantum.1.020315\">10.1103/prxquantum.1.020315</a>.","ista":"Hease WJ, Rueda Sanchez AR, Sahu R, Wulf M, Arnold GM, Schwefel HGL, Fink JM. 2020. Bidirectional electro-optic wavelength conversion in the quantum ground state. PRX Quantum. 1(2), 020315.","chicago":"Hease, William J, Alfredo R Rueda Sanchez, Rishabh Sahu, Matthias Wulf, Georg M Arnold, Harald G.L. Schwefel, and Johannes M Fink. “Bidirectional Electro-Optic Wavelength Conversion in the Quantum Ground State.” <i>PRX Quantum</i>. American Physical Society, 2020. <a href=\"https://doi.org/10.1103/prxquantum.1.020315\">https://doi.org/10.1103/prxquantum.1.020315</a>.","ieee":"W. J. Hease <i>et al.</i>, “Bidirectional electro-optic wavelength conversion in the quantum ground state,” <i>PRX Quantum</i>, vol. 1, no. 2. American Physical Society, 2020.","short":"W.J. Hease, A.R. Rueda Sanchez, R. Sahu, M. Wulf, G.M. Arnold, H.G.L. Schwefel, J.M. Fink, PRX Quantum 1 (2020).","ama":"Hease WJ, Rueda Sanchez AR, Sahu R, et al. Bidirectional electro-optic wavelength conversion in the quantum ground state. <i>PRX Quantum</i>. 2020;1(2). doi:<a href=\"https://doi.org/10.1103/prxquantum.1.020315\">10.1103/prxquantum.1.020315</a>"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"id":"29705398-F248-11E8-B48F-1D18A9856A87","full_name":"Hease, William J","last_name":"Hease","orcid":"0000-0001-9868-2166","first_name":"William J"},{"orcid":"0000-0001-6249-5860","first_name":"Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","full_name":"Rueda Sanchez, Alfredo R","last_name":"Rueda Sanchez"},{"orcid":"0000-0001-6264-2162","first_name":"Rishabh","full_name":"Sahu, Rishabh","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","last_name":"Sahu"},{"full_name":"Wulf, Matthias","id":"45598606-F248-11E8-B48F-1D18A9856A87","last_name":"Wulf","first_name":"Matthias","orcid":"0000-0001-6613-1378"},{"id":"3770C838-F248-11E8-B48F-1D18A9856A87","full_name":"Arnold, Georg M","last_name":"Arnold","orcid":"0000-0003-1397-7876","first_name":"Georg M"},{"first_name":"Harald G.L.","last_name":"Schwefel","full_name":"Schwefel, Harald G.L."},{"first_name":"Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","full_name":"Fink, Johannes M"}],"day":"23","oa_version":"Published Version","title":"Bidirectional electro-optic wavelength conversion in the quantum ground state","volume":1,"article_type":"original","date_created":"2021-02-12T10:41:28Z","has_accepted_license":"1","intvolume":"         1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"Microwave photonics lends the advantages of fiber optics to electronic sensing and communication systems. In contrast to nonlinear optics, electro-optic devices so far require classical modulation fields whose variance is dominated by electronic or thermal noise rather than quantum fluctuations. Here we demonstrate bidirectional single-sideband conversion of X band microwave to C band telecom light with a microwave mode occupancy as low as 0.025 ± 0.005 and an added output noise of less than or equal to 0.074 photons. This is facilitated by radiative cooling and a triply resonant ultra-low-loss transducer operating at millikelvin temperatures. The high bandwidth of 10.7 MHz and total (internal) photon conversion\r\nefficiency of 0.03% (0.67%) combined with the extremely slow heating rate of 1.1 added output noise photons per second for the highest available pump power of 1.48 mW puts near-unity efficiency pulsed quantum transduction within reach. Together with the non-Gaussian resources of superconducting qubits this might provide the practical foundation to extend the range and scope of current quantum networks in analogy to electrical repeaters in classical fiber optic communication.","lang":"eng"}],"acknowledged_ssus":[{"_id":"M-Shop"}],"publication_identifier":{"issn":["2691-3399"]},"publication_status":"published","file_date_updated":"2021-02-12T11:16:16Z"},{"publication":"eLS","language":[{"iso":"eng"}],"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2020-05-16T00:00:00Z","citation":{"apa":"Westram, A. M., Faria, R., Butlin, R., &#38; Johannesson, K. (2020). Inversions and Evolution. In <i>eLS</i>. Wiley. <a href=\"https://doi.org/10.1002/9780470015902.a0029007\">https://doi.org/10.1002/9780470015902.a0029007</a>","mla":"Westram, Anja M., et al. “Inversions and Evolution.” <i>ELS</i>, Wiley, 2020, doi:<a href=\"https://doi.org/10.1002/9780470015902.a0029007\">10.1002/9780470015902.a0029007</a>.","chicago":"Westram, Anja M, Rui Faria, Roger Butlin, and Kerstin Johannesson. “Inversions and Evolution.” In <i>ELS</i>. Wiley, 2020. <a href=\"https://doi.org/10.1002/9780470015902.a0029007\">https://doi.org/10.1002/9780470015902.a0029007</a>.","ista":"Westram AM, Faria R, Butlin R, Johannesson K. 2020.Inversions and Evolution. In: eLS. .","ieee":"A. M. Westram, R. Faria, R. Butlin, and K. Johannesson, “Inversions and Evolution,” in <i>eLS</i>, Wiley, 2020.","short":"A.M. Westram, R. Faria, R. Butlin, K. Johannesson, in:, ELS, Wiley, 2020.","ama":"Westram AM, Faria R, Butlin R, Johannesson K. Inversions and Evolution. In: <i>ELS</i>. Wiley; 2020. doi:<a href=\"https://doi.org/10.1002/9780470015902.a0029007\">10.1002/9780470015902.a0029007</a>"},"month":"05","year":"2020","department":[{"_id":"NiBa"}],"abstract":[{"text":"Inversions are chromosomal rearrangements where the order of genes is reversed. Inversions originate by mutation and can be under positive, negative or balancing selection. Selective effects result from potential disruptive effects on meiosis, gene disruption at inversion breakpoints and, importantly, the effects of inversions as modifiers of recombination rate: Recombination is strongly reduced in individuals heterozygous for an inversion, allowing for alleles at different loci to be inherited as a ‘block’. This may lead to a selective advantage whenever it is favourable to keep certain combinations of alleles associated, for example under local adaptation with gene flow. Inversions can cover a considerable part of a chromosome and contain numerous loci under different selection pressures, so that the resulting overall effects may be complex. Empirical data from various systems show that inversions may have a prominent role in local adaptation, speciation, parallel evolution, the maintenance of polymorphism and sex chromosome evolution.","lang":"eng"}],"publication_identifier":{"isbn":["9780470016176","9780470015902"]},"quality_controlled":"1","publication_status":"published","title":"Inversions and Evolution","publisher":"Wiley","oa_version":"None","article_processing_charge":"No","day":"16","author":[{"last_name":"Westram","id":"3C147470-F248-11E8-B48F-1D18A9856A87","full_name":"Westram, Anja M","orcid":"0000-0003-1050-4969","first_name":"Anja M"},{"full_name":"Faria, Rui","last_name":"Faria","first_name":"Rui"},{"last_name":"Butlin","full_name":"Butlin, Roger","first_name":"Roger"},{"first_name":"Kerstin","full_name":"Johannesson, Kerstin","last_name":"Johannesson"}],"doi":"10.1002/9780470015902.a0029007","date_created":"2021-02-15T12:39:04Z","type":"book_chapter","_id":"9123","date_updated":"2021-02-15T13:18:16Z"},{"year":"2020","external_id":{"arxiv":["1908.06777"]},"ec_funded":1,"date_published":"2020-07-21T00:00:00Z","acknowledgement":"The authors of this paper thank Roland Roth for suggesting the analysis of theweighted\r\ncurvature derivatives for the purpose of improving molecular dynamics simulations. They also thank Patrice Koehl for the implementation of the formulas and for his encouragement and advise along the road. Finally, they thank two anonymous reviewers for their constructive criticism.\r\nThis project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 78818 Alpha). It is also partially supported by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, through grant no. I02979-N35 of the Austrian Science Fund (FWF).","project":[{"grant_number":"788183","name":"Alpha Shape Theory Extended","call_identifier":"H2020","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"},{"_id":"2561EBF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"I02979-N35","name":"Persistence and stability of geometric complexes"}],"status":"public","publication":"Computational and Mathematical Biophysics","date_updated":"2023-10-17T12:35:10Z","_id":"9156","type":"journal_article","doi":"10.1515/cmb-2020-0101","article_processing_charge":"No","publisher":"De Gruyter","quality_controlled":"1","page":"74-88","ddc":["510"],"department":[{"_id":"HeEd"}],"file":[{"file_name":"2020_CompMathBiophysics_Akopyan.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"ca43a7440834eab6bbea29c59b56ef3a","file_size":707452,"date_created":"2021-02-19T13:33:19Z","creator":"dernst","date_updated":"2021-02-19T13:33:19Z","file_id":"9170"}],"month":"07","arxiv":1,"issue":"1","citation":{"ista":"Akopyan A, Edelsbrunner H. 2020. The weighted Gaussian curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 74–88.","chicago":"Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Gaussian Curvature Derivative of a Space-Filling Diagram.” <i>Computational and Mathematical Biophysics</i>. De Gruyter, 2020. <a href=\"https://doi.org/10.1515/cmb-2020-0101\">https://doi.org/10.1515/cmb-2020-0101</a>.","mla":"Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Gaussian Curvature Derivative of a Space-Filling Diagram.” <i>Computational and Mathematical Biophysics</i>, vol. 8, no. 1, De Gruyter, 2020, pp. 74–88, doi:<a href=\"https://doi.org/10.1515/cmb-2020-0101\">10.1515/cmb-2020-0101</a>.","apa":"Akopyan, A., &#38; Edelsbrunner, H. (2020). The weighted Gaussian curvature derivative of a space-filling diagram. <i>Computational and Mathematical Biophysics</i>. De Gruyter. <a href=\"https://doi.org/10.1515/cmb-2020-0101\">https://doi.org/10.1515/cmb-2020-0101</a>","ama":"Akopyan A, Edelsbrunner H. The weighted Gaussian curvature derivative of a space-filling diagram. <i>Computational and Mathematical Biophysics</i>. 2020;8(1):74-88. doi:<a href=\"https://doi.org/10.1515/cmb-2020-0101\">10.1515/cmb-2020-0101</a>","short":"A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 74–88.","ieee":"A. Akopyan and H. Edelsbrunner, “The weighted Gaussian curvature derivative of a space-filling diagram,” <i>Computational and Mathematical Biophysics</i>, vol. 8, no. 1. De Gruyter, pp. 74–88, 2020."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"language":[{"iso":"eng"}],"volume":8,"article_type":"original","date_created":"2021-02-17T15:12:44Z","author":[{"first_name":"Arseniy","orcid":"0000-0002-2548-617X","full_name":"Akopyan, Arseniy","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","last_name":"Akopyan"},{"first_name":"Herbert","orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner"}],"day":"21","title":"The weighted Gaussian curvature derivative of a space-filling diagram","oa_version":"Published Version","publication_identifier":{"issn":["2544-7297"]},"publication_status":"published","file_date_updated":"2021-02-19T13:33:19Z","has_accepted_license":"1","abstract":[{"lang":"eng","text":"The morphometric approach [11, 14] writes the solvation free energy as a linear combination of weighted versions of the volume, area, mean curvature, and Gaussian curvature of the space-filling diagram. We give a formula for the derivative of the weighted Gaussian curvature. Together with the derivatives of the weighted volume in [7], the weighted area in [4], and the weighted mean curvature in [1], this yields the derivative of the morphometric expression of solvation free energy."}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"         8"},{"oa":1,"language":[{"iso":"eng"}],"citation":{"apa":"Akopyan, A., &#38; Edelsbrunner, H. (2020). The weighted mean curvature derivative of a space-filling diagram. <i>Computational and Mathematical Biophysics</i>. De Gruyter. <a href=\"https://doi.org/10.1515/cmb-2020-0100\">https://doi.org/10.1515/cmb-2020-0100</a>","mla":"Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative of a Space-Filling Diagram.” <i>Computational and Mathematical Biophysics</i>, vol. 8, no. 1, De Gruyter, 2020, pp. 51–67, doi:<a href=\"https://doi.org/10.1515/cmb-2020-0100\">10.1515/cmb-2020-0100</a>.","chicago":"Akopyan, Arseniy, and Herbert Edelsbrunner. “The Weighted Mean Curvature Derivative of a Space-Filling Diagram.” <i>Computational and Mathematical Biophysics</i>. De Gruyter, 2020. <a href=\"https://doi.org/10.1515/cmb-2020-0100\">https://doi.org/10.1515/cmb-2020-0100</a>.","ista":"Akopyan A, Edelsbrunner H. 2020. The weighted mean curvature derivative of a space-filling diagram. Computational and Mathematical Biophysics. 8(1), 51–67.","ieee":"A. Akopyan and H. Edelsbrunner, “The weighted mean curvature derivative of a space-filling diagram,” <i>Computational and Mathematical Biophysics</i>, vol. 8, no. 1. De Gruyter, pp. 51–67, 2020.","short":"A. Akopyan, H. Edelsbrunner, Computational and Mathematical Biophysics 8 (2020) 51–67.","ama":"Akopyan A, Edelsbrunner H. The weighted mean curvature derivative of a space-filling diagram. <i>Computational and Mathematical Biophysics</i>. 2020;8(1):51-67. doi:<a href=\"https://doi.org/10.1515/cmb-2020-0100\">10.1515/cmb-2020-0100</a>"},"issue":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"06","department":[{"_id":"HeEd"}],"file":[{"file_id":"9171","file_size":562359,"date_created":"2021-02-19T13:56:24Z","date_updated":"2021-02-19T13:56:24Z","creator":"dernst","relation":"main_file","checksum":"cea41de9937d07a3b927d71ee8b4e432","success":1,"file_name":"2020_CompMathBiophysics_Akopyan2.pdf","access_level":"open_access","content_type":"application/pdf"}],"has_accepted_license":"1","abstract":[{"text":"Representing an atom by a solid sphere in 3-dimensional Euclidean space, we get the space-filling diagram of a molecule by taking the union. Molecular dynamics simulates its motion subject to bonds and other forces, including the solvation free energy. The morphometric approach [12, 17] writes the latter as a linear combination of weighted versions of the volume, area, mean curvature, and Gaussian curvature of the space-filling diagram. We give a formula for the derivative of the weighted mean curvature. Together with the derivatives of the weighted volume in [7], the weighted area in [3], and the weighted Gaussian curvature [1], this yields the derivative of the morphometric expression of the solvation free energy.","lang":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"         8","file_date_updated":"2021-02-19T13:56:24Z","publication_identifier":{"issn":["2544-7297"]},"publication_status":"published","day":"20","author":[{"id":"430D2C90-F248-11E8-B48F-1D18A9856A87","full_name":"Akopyan, Arseniy","last_name":"Akopyan","orcid":"0000-0002-2548-617X","first_name":"Arseniy"},{"orcid":"0000-0002-9823-6833","first_name":"Herbert","full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","last_name":"Edelsbrunner"}],"oa_version":"Published Version","title":"The weighted mean curvature derivative of a space-filling diagram","volume":8,"date_created":"2021-02-17T15:13:01Z","article_type":"original","status":"public","publication":"Computational and Mathematical Biophysics","project":[{"call_identifier":"H2020","name":"Alpha Shape Theory Extended","grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"},{"grant_number":"I02979-N35","name":"Persistence and stability of geometric complexes","call_identifier":"FWF","_id":"2561EBF4-B435-11E9-9278-68D0E5697425"}],"ec_funded":1,"date_published":"2020-06-20T00:00:00Z","acknowledgement":"The authors of this paper thank Roland Roth for suggesting the analysis of the weighted\r\ncurvature derivatives for the purpose of improving molecular dynamics simulations and for his continued encouragement. They also thank Patrice Koehl for the implementation of the formulas and for his encouragement and advise along the road. Finally, they thank two anonymous reviewers for their constructive criticism.\r\nThis project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 78818 Alpha). It is also partially supported by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, through grant no. I02979-N35 of the Austrian Science Fund (FWF).","year":"2020","page":"51-67","ddc":["510"],"quality_controlled":"1","article_processing_charge":"No","doi":"10.1515/cmb-2020-0100","publisher":"De Gruyter","_id":"9157","date_updated":"2023-10-17T12:34:51Z","type":"journal_article"},{"ddc":["580"],"quality_controlled":"1","article_processing_charge":"No","doi":"10.1016/j.xplc.2020.100048","publisher":"Elsevier","_id":"9160","date_updated":"2024-03-25T23:30:26Z","type":"journal_article","publication":"Plant Communications","status":"public","project":[{"grant_number":"24746","name":"Molecular mechanisms of the cytokinin regulated endomembrane trafficking to coordinate plant organogenesis.","_id":"261821BC-B435-11E9-9278-68D0E5697425"},{"_id":"253E54C8-B435-11E9-9278-68D0E5697425","grant_number":"ALTF710-2016","name":"Molecular mechanism of auxindriven formative divisions delineating lateral root organogenesis in plants"}],"pmid":1,"date_published":"2020-05-11T00:00:00Z","acknowledgement":"H.S. is the recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology, Austria. J.C.M. is the recipient of an EMBO Long-Term Fellowship (ALTF number 710-2016). We would like to thank Jiri Friml and Carina Baskett for critical reading of the manuscript and Shutang Tan and Maciek Adamowski for helpful discussions. No conflict of interest declared.","isi":1,"year":"2020","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"10135"}]},"external_id":{"pmid":["33367243"],"isi":["000654052800010"]},"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Auxin is a key hormonal regulator, that governs plant growth and development in concert with other hormonal pathways. The unique feature of auxin is its polar, cell-to-cell transport that leads to the formation of local auxin maxima and gradients, which coordinate initiation and patterning of plant organs. The molecular machinery mediating polar auxin transport is one of the important points of interaction with other hormones. Multiple hormonal pathways converge at the regulation of auxin transport and form a regulatory network that integrates various developmental and environmental inputs to steer plant development. In this review, we discuss recent advances in understanding the mechanisms that underlie regulation of polar auxin transport by multiple hormonal pathways. Specifically, we focus on the post-translational mechanisms that contribute to fine-tuning of the abundance and polarity of auxin transporters at the plasma membrane and thereby enable rapid modification of the auxin flow to coordinate plant growth and development."}],"tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"intvolume":"         1","file_date_updated":"2021-02-18T10:23:59Z","publication_identifier":{"issn":["2590-3462"]},"publication_status":"published","day":"11","scopus_import":"1","author":[{"first_name":"Hana","last_name":"Semeradova","full_name":"Semeradova, Hana","id":"42FE702E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Montesinos López","full_name":"Montesinos López, Juan C","id":"310A8E3E-F248-11E8-B48F-1D18A9856A87","first_name":"Juan C","orcid":"0000-0001-9179-6099"},{"id":"38F4F166-F248-11E8-B48F-1D18A9856A87","full_name":"Benková, Eva","last_name":"Benková","first_name":"Eva","orcid":"0000-0002-8510-9739"}],"oa_version":"Published Version","title":"All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways","volume":1,"date_created":"2021-02-18T10:18:43Z","article_type":"original","oa":1,"language":[{"iso":"eng"}],"citation":{"mla":"Semerádová, Hana, et al. “All Roads Lead to Auxin: Post-Translational Regulation of Auxin Transport by Multiple Hormonal Pathways.” <i>Plant Communications</i>, vol. 1, no. 3, 100048, Elsevier, 2020, doi:<a href=\"https://doi.org/10.1016/j.xplc.2020.100048\">10.1016/j.xplc.2020.100048</a>.","apa":"Semerádová, H., Montesinos López, J. C., &#38; Benková, E. (2020). All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. <i>Plant Communications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.xplc.2020.100048\">https://doi.org/10.1016/j.xplc.2020.100048</a>","ista":"Semerádová H, Montesinos López JC, Benková E. 2020. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. Plant Communications. 1(3), 100048.","chicago":"Semerádová, Hana, Juan C Montesinos López, and Eva Benková. “All Roads Lead to Auxin: Post-Translational Regulation of Auxin Transport by Multiple Hormonal Pathways.” <i>Plant Communications</i>. Elsevier, 2020. <a href=\"https://doi.org/10.1016/j.xplc.2020.100048\">https://doi.org/10.1016/j.xplc.2020.100048</a>.","short":"H. Semerádová, J.C. Montesinos López, E. Benková, Plant Communications 1 (2020).","ieee":"H. Semerádová, J. C. Montesinos López, and E. Benková, “All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways,” <i>Plant Communications</i>, vol. 1, no. 3. Elsevier, 2020.","ama":"Semerádová H, Montesinos López JC, Benková E. All roads lead to auxin: Post-translational regulation of auxin transport by multiple hormonal pathways. <i>Plant Communications</i>. 2020;1(3). doi:<a href=\"https://doi.org/10.1016/j.xplc.2020.100048\">10.1016/j.xplc.2020.100048</a>"},"issue":"3","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"05","department":[{"_id":"EvBe"}],"article_number":"100048","file":[{"date_updated":"2021-02-18T10:23:59Z","creator":"dernst","date_created":"2021-02-18T10:23:59Z","file_size":840289,"file_id":"9161","access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2020_PlantComm_Semeradova.pdf","checksum":"785b266d82a94b007cf40dbbe7c4847e","relation":"main_file"}]},{"year":"2020","isi":1,"external_id":{"isi":["000521449500001"]},"status":"public","publication":"Quantum Science and Technology","project":[{"_id":"258047B6-B435-11E9-9278-68D0E5697425","name":"Microwave-to-Optical Quantum Link: Quantum Teleportation and Quantum Illumination with cavity Optomechanics SUPEREOM","grant_number":"707438","call_identifier":"H2020"}],"ec_funded":1,"acknowledgement":"During the writing of this article we became aware of another review of quantum transduction with somewhat different emphasis [99].\r\nWe would like to thank the participants of the transduction workshop at Caltech in September 2018 for helpful and stimulating discussions. We particularly thank John Bartholomew, Andrei Faraon, Johannes Fink, Jeff Holzgrafe, Linbo Shao, Marko Lončar, Daniel Oblak, and Oskar Painter.\r\nN L and N S acknowledge support from the Alliance for Quantum Technologies' (AQT) Intelligent Quantum Networks and Technologies (INQNET) research program and by DOE/HEP QuantISED program grant, QCCFP (Quantum Communication Channels for Fundamental Physics), award number DE-SC0019219. NS further acknowledges support by the Natural Sciences and Engineering Research Council of Canada (NSERC). SB acknowledges support from the Marie Skłodowska Curie fellowship number 707 438 (MSC-IF SUPEREOM). JPC acknowledges support from the Caltech PMA prize postdoctoral fellowship. MS acknowledges support from the ARL-CDQI and the National Science Foundation. CS acknowledges NSERC, Quantum Alberta, and the Alberta Major Innovation Fund.","date_published":"2020-03-01T00:00:00Z","article_processing_charge":"No","doi":"10.1088/2058-9565/ab788a","publisher":"IOP Publishing","_id":"9194","date_updated":"2023-08-24T11:17:48Z","type":"journal_article","ddc":["530"],"quality_controlled":"1","month":"03","department":[{"_id":"JoFi"}],"article_number":"020501","file":[{"date_created":"2021-03-02T09:47:13Z","file_size":974399,"creator":"dernst","date_updated":"2021-03-02T09:47:13Z","file_id":"9215","success":1,"file_name":"2020_QuantumScience_Lauk.pdf","access_level":"open_access","content_type":"application/pdf","relation":"main_file","checksum":"a8562c42124a66b86836fe2489eb5f4f"}],"oa":1,"language":[{"iso":"eng"}],"citation":{"chicago":"Lauk, Nikolai, Neil Sinclair, Shabir Barzanjeh, Jacob P Covey, Mark Saffman, Maria Spiropulu, and Christoph Simon. “Perspectives on Quantum Transduction.” <i>Quantum Science and Technology</i>. IOP Publishing, 2020. <a href=\"https://doi.org/10.1088/2058-9565/ab788a\">https://doi.org/10.1088/2058-9565/ab788a</a>.","ista":"Lauk N, Sinclair N, Barzanjeh S, Covey JP, Saffman M, Spiropulu M, Simon C. 2020. Perspectives on quantum transduction. Quantum Science and Technology. 5(2), 020501.","apa":"Lauk, N., Sinclair, N., Barzanjeh, S., Covey, J. P., Saffman, M., Spiropulu, M., &#38; Simon, C. (2020). Perspectives on quantum transduction. <i>Quantum Science and Technology</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/2058-9565/ab788a\">https://doi.org/10.1088/2058-9565/ab788a</a>","mla":"Lauk, Nikolai, et al. “Perspectives on Quantum Transduction.” <i>Quantum Science and Technology</i>, vol. 5, no. 2, 020501, IOP Publishing, 2020, doi:<a href=\"https://doi.org/10.1088/2058-9565/ab788a\">10.1088/2058-9565/ab788a</a>.","ama":"Lauk N, Sinclair N, Barzanjeh S, et al. Perspectives on quantum transduction. <i>Quantum Science and Technology</i>. 2020;5(2). doi:<a href=\"https://doi.org/10.1088/2058-9565/ab788a\">10.1088/2058-9565/ab788a</a>","ieee":"N. Lauk <i>et al.</i>, “Perspectives on quantum transduction,” <i>Quantum Science and Technology</i>, vol. 5, no. 2. IOP Publishing, 2020.","short":"N. Lauk, N. Sinclair, S. Barzanjeh, J.P. Covey, M. Saffman, M. Spiropulu, C. Simon, Quantum Science and Technology 5 (2020)."},"issue":"2","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","scopus_import":"1","day":"01","author":[{"first_name":"Nikolai","last_name":"Lauk","full_name":"Lauk, Nikolai"},{"last_name":"Sinclair","full_name":"Sinclair, Neil","first_name":"Neil"},{"first_name":"Shabir","orcid":"0000-0003-0415-1423","full_name":"Barzanjeh, Shabir","id":"2D25E1F6-F248-11E8-B48F-1D18A9856A87","last_name":"Barzanjeh"},{"full_name":"Covey, Jacob P","last_name":"Covey","first_name":"Jacob P"},{"first_name":"Mark","last_name":"Saffman","full_name":"Saffman, Mark"},{"last_name":"Spiropulu","full_name":"Spiropulu, Maria","first_name":"Maria"},{"first_name":"Christoph","full_name":"Simon, Christoph","last_name":"Simon"}],"title":"Perspectives on quantum transduction","oa_version":"Published Version","volume":5,"date_created":"2021-02-25T08:32:29Z","article_type":"review","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"Quantum transduction, the process of converting quantum signals from one form of energy to another, is an important area of quantum science and technology. The present perspective article reviews quantum transduction between microwave and optical photons, an area that has recently seen a lot of activity and progress because of its relevance for connecting superconducting quantum processors over long distances, among other applications. Our review covers the leading approaches to achieving such transduction, with an emphasis on those based on atomic ensembles, opto-electro-mechanics, and electro-optics. We briefly discuss relevant metrics from the point of view of different applications, as well as challenges for the future.","lang":"eng"}],"intvolume":"         5","file_date_updated":"2021-03-02T09:47:13Z","publication_identifier":{"issn":["2058-9565"]},"publication_status":"published"},{"year":"2020","isi":1,"related_material":{"link":[{"url":"https://doi.org/10.1002/qute.202070011","description":"Cover Page","relation":"poster"}]},"external_id":{"isi":["000548088300001"]},"acknowledgement":"The authors thank Amita Deb for useful comments on this manuscript. The authors acknowledge support from the MBIE of New Zealand Endeavour Smart Ideas fund. The reference numbers in Figure 8 were corrected in April 2020, after online publication.","date_published":"2020-01-01T00:00:00Z","publication":"Advanced Quantum Technologies","status":"public","_id":"9195","date_updated":"2023-08-24T13:53:02Z","type":"journal_article","article_processing_charge":"No","doi":"10.1002/qute.201900077","publisher":"Wiley","quality_controlled":"1","ddc":["530"],"department":[{"_id":"JoFi"}],"article_number":"1900077","file":[{"access_level":"open_access","content_type":"application/pdf","success":1,"file_name":"2020_AdvQuantumTech_Lambert.pdf","checksum":"157e95abd6883c3b35b0fa78ae10775e","relation":"main_file","creator":"dernst","date_updated":"2021-03-02T12:30:03Z","date_created":"2021-03-02T12:30:03Z","file_size":2410114,"file_id":"9216"}],"month":"01","citation":{"ista":"Lambert NJ, Rueda Sanchez AR, Sedlmeir F, Schwefel HGL. 2020. Coherent conversion between microwave and optical photons - An overview of physical implementations. Advanced Quantum Technologies. 3(1), 1900077.","chicago":"Lambert, Nicholas J., Alfredo R Rueda Sanchez, Florian Sedlmeir, and Harald G. L. Schwefel. “Coherent Conversion between Microwave and Optical Photons - An Overview of Physical Implementations.” <i>Advanced Quantum Technologies</i>. Wiley, 2020. <a href=\"https://doi.org/10.1002/qute.201900077\">https://doi.org/10.1002/qute.201900077</a>.","mla":"Lambert, Nicholas J., et al. “Coherent Conversion between Microwave and Optical Photons - An Overview of Physical Implementations.” <i>Advanced Quantum Technologies</i>, vol. 3, no. 1, 1900077, Wiley, 2020, doi:<a href=\"https://doi.org/10.1002/qute.201900077\">10.1002/qute.201900077</a>.","apa":"Lambert, N. J., Rueda Sanchez, A. R., Sedlmeir, F., &#38; Schwefel, H. G. L. (2020). Coherent conversion between microwave and optical photons - An overview of physical implementations. <i>Advanced Quantum Technologies</i>. Wiley. <a href=\"https://doi.org/10.1002/qute.201900077\">https://doi.org/10.1002/qute.201900077</a>","ama":"Lambert NJ, Rueda Sanchez AR, Sedlmeir F, Schwefel HGL. Coherent conversion between microwave and optical photons - An overview of physical implementations. <i>Advanced Quantum Technologies</i>. 2020;3(1). doi:<a href=\"https://doi.org/10.1002/qute.201900077\">10.1002/qute.201900077</a>","short":"N.J. Lambert, A.R. Rueda Sanchez, F. Sedlmeir, H.G.L. Schwefel, Advanced Quantum Technologies 3 (2020).","ieee":"N. J. Lambert, A. R. Rueda Sanchez, F. Sedlmeir, and H. G. L. Schwefel, “Coherent conversion between microwave and optical photons - An overview of physical implementations,” <i>Advanced Quantum Technologies</i>, vol. 3, no. 1. Wiley, 2020."},"issue":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"volume":3,"date_created":"2021-02-25T08:52:36Z","article_type":"original","day":"01","author":[{"first_name":"Nicholas J.","last_name":"Lambert","full_name":"Lambert, Nicholas J."},{"full_name":"Rueda Sanchez, Alfredo R","id":"3B82B0F8-F248-11E8-B48F-1D18A9856A87","last_name":"Rueda Sanchez","first_name":"Alfredo R","orcid":"0000-0001-6249-5860"},{"last_name":"Sedlmeir","full_name":"Sedlmeir, Florian","first_name":"Florian"},{"last_name":"Schwefel","full_name":"Schwefel, Harald G. L.","first_name":"Harald G. L."}],"title":"Coherent conversion between microwave and optical photons - An overview of physical implementations","oa_version":"Published Version","file_date_updated":"2021-03-02T12:30:03Z","publication_status":"published","publication_identifier":{"issn":["2511-9044"]},"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)"},"abstract":[{"lang":"eng","text":"Quantum information technology based on solid state qubits has created much interest in converting quantum states from the microwave to the optical domain. Optical photons, unlike microwave photons, can be transmitted by fiber, making them suitable for long distance quantum communication. Moreover, the optical domain offers access to a large set of very well‐developed quantum optical tools, such as highly efficient single‐photon detectors and long‐lived quantum memories. For a high fidelity microwave to optical transducer, efficient conversion at single photon level and low added noise is needed. Currently, the most promising approaches to build such systems are based on second‐order nonlinear phenomena such as optomechanical and electro‐optic interactions. Alternative approaches, although not yet as efficient, include magneto‐optical coupling and schemes based on isolated quantum systems like atoms, ions, or quantum dots. Herein, the necessary theoretical foundations for the most important microwave‐to‐optical conversion experiments are provided, their implementations are described, and the current limitations and future prospects are discussed."}],"intvolume":"         3"},{"quality_controlled":"1","page":"251-297","type":"journal_article","date_updated":"2023-10-17T09:15:53Z","_id":"9196","publisher":"Instytut Matematyczny","doi":"10.4064/sm180411-11-2","article_processing_charge":"No","date_published":"2020-03-01T00:00:00Z","status":"public","publication":"Studia Mathematica","keyword":["General Mathematics"],"external_id":{"arxiv":["1709.05202"],"isi":["000558100500002"]},"year":"2020","isi":1,"publication_status":"published","publication_identifier":{"eissn":["1730-6337"],"issn":["0039-3223"]},"abstract":[{"text":"In order to provide a local description of a regular function in a small neighbourhood of a point x, it is sufficient by Taylor’s theorem to know the value of the function as well as all of its derivatives up to the required order at the point x itself. In other words, one could say that a regular function is locally modelled by the set of polynomials. The theory of regularity structures due to Hairer generalizes this observation and provides an abstract setup, which in the application to singular SPDE extends the set of polynomials by functionals constructed from, e.g., white noise. In this context, the notion of Taylor polynomials is lifted to the notion of so-called modelled distributions. The celebrated reconstruction theorem, which in turn was inspired by Gubinelli’s \\textit {sewing lemma}, is of paramount importance for the theory. It enables one to reconstruct a modelled distribution as a true distribution on Rd which is locally approximated by this extended set of models or “monomials”. In the original work of Hairer, the error is measured by means of Hölder norms. This was then generalized to the whole scale of Besov spaces by Hairer and Labbé. It is the aim of this work to adapt the analytic part of the theory of regularity structures to the scale of Triebel–Lizorkin spaces.","lang":"eng"}],"intvolume":"       252","article_type":"original","date_created":"2021-02-25T08:55:03Z","volume":252,"title":"Modelled distributions of Triebel–Lizorkin type","oa_version":"Preprint","author":[{"orcid":"0000-0001-7252-8072","first_name":"Sebastian","last_name":"Hensel","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","full_name":"Hensel, Sebastian"},{"first_name":"Tommaso","last_name":"Rosati","full_name":"Rosati, Tommaso"}],"day":"01","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"3","citation":{"chicago":"Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin Type.” <i>Studia Mathematica</i>. Instytut Matematyczny, 2020. <a href=\"https://doi.org/10.4064/sm180411-11-2\">https://doi.org/10.4064/sm180411-11-2</a>.","ista":"Hensel S, Rosati T. 2020. Modelled distributions of Triebel–Lizorkin type. Studia Mathematica. 252(3), 251–297.","mla":"Hensel, Sebastian, and Tommaso Rosati. “Modelled Distributions of Triebel–Lizorkin Type.” <i>Studia Mathematica</i>, vol. 252, no. 3, Instytut Matematyczny, 2020, pp. 251–97, doi:<a href=\"https://doi.org/10.4064/sm180411-11-2\">10.4064/sm180411-11-2</a>.","apa":"Hensel, S., &#38; Rosati, T. (2020). Modelled distributions of Triebel–Lizorkin type. <i>Studia Mathematica</i>. Instytut Matematyczny. <a href=\"https://doi.org/10.4064/sm180411-11-2\">https://doi.org/10.4064/sm180411-11-2</a>","ama":"Hensel S, Rosati T. Modelled distributions of Triebel–Lizorkin type. <i>Studia Mathematica</i>. 2020;252(3):251-297. doi:<a href=\"https://doi.org/10.4064/sm180411-11-2\">10.4064/sm180411-11-2</a>","short":"S. Hensel, T. Rosati, Studia Mathematica 252 (2020) 251–297.","ieee":"S. Hensel and T. Rosati, “Modelled distributions of Triebel–Lizorkin type,” <i>Studia Mathematica</i>, vol. 252, no. 3. Instytut Matematyczny, pp. 251–297, 2020."},"language":[{"iso":"eng"}],"department":[{"_id":"JuFi"},{"_id":"GradSch"}],"month":"03","arxiv":1},{"publication_status":"published","publication_identifier":{"isbn":["9781577358350"],"issn":["2159-5399"],"eissn":["2374-3468"]},"abstract":[{"text":"In this paper we introduce and study all-pay bidding games, a class of two player, zero-sum games on graphs. The game proceeds as follows. We place a token on some vertex in the graph and assign budgets to the two players. Each turn, each player submits a sealed legal bid (non-negative and below their remaining budget), which is deducted from their budget and the highest bidder moves the token onto an adjacent vertex. The game ends once a sink is reached, and Player 1 pays Player 2 the outcome that is associated with the sink. The players attempt to maximize their expected outcome. Our games model settings where effort (of no inherent value) needs to be invested in an ongoing and stateful manner. On the negative side, we show that even in simple games on DAGs, optimal strategies may require a distribution over bids with infinite support. A central quantity in bidding games is the ratio of the players budgets. On the positive side, we show a simple FPTAS for DAGs, that, for each budget ratio, outputs an approximation for the optimal strategy for that ratio. We also implement it, show that it performs well, and suggests interesting properties of these games. Then, given an outcome c, we show an algorithm for finding the necessary and sufficient initial ratio for guaranteeing outcome c with probability 1 and a strategy ensuring such. Finally, while the general case has not previously been studied, solving the specific game in which Player 1 wins iff he wins the first two auctions, has been long stated as an open question, which we solve.","lang":"eng"}],"intvolume":"        34","volume":34,"date_created":"2021-02-25T09:05:18Z","article_type":"original","day":"03","scopus_import":"1","author":[{"orcid":"0000-0001-5588-8287","first_name":"Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","full_name":"Avni, Guy","last_name":"Avni"},{"first_name":"Rasmus","orcid":"0000-0003-4783-0389","id":"3B699956-F248-11E8-B48F-1D18A9856A87","full_name":"Ibsen-Jensen, Rasmus","last_name":"Ibsen-Jensen"},{"first_name":"Josef","orcid":"0000-0002-1097-9684","last_name":"Tkadlec","full_name":"Tkadlec, Josef","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87"}],"title":"All-pay bidding games on graphs","oa_version":"Preprint","citation":{"ama":"Avni G, Ibsen-Jensen R, Tkadlec J. All-pay bidding games on graphs. <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. 2020;34(02):1798-1805. doi:<a href=\"https://doi.org/10.1609/aaai.v34i02.5546\">10.1609/aaai.v34i02.5546</a>","ieee":"G. Avni, R. Ibsen-Jensen, and J. Tkadlec, “All-pay bidding games on graphs,” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 34, no. 02. Association for the Advancement of Artificial Intelligence, pp. 1798–1805, 2020.","short":"G. Avni, R. Ibsen-Jensen, J. Tkadlec, Proceedings of the AAAI Conference on Artificial Intelligence 34 (2020) 1798–1805.","chicago":"Avni, Guy, Rasmus Ibsen-Jensen, and Josef Tkadlec. “All-Pay Bidding Games on Graphs.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. Association for the Advancement of Artificial Intelligence, 2020. <a href=\"https://doi.org/10.1609/aaai.v34i02.5546\">https://doi.org/10.1609/aaai.v34i02.5546</a>.","ista":"Avni G, Ibsen-Jensen R, Tkadlec J. 2020. All-pay bidding games on graphs. Proceedings of the AAAI Conference on Artificial Intelligence. 34(02), 1798–1805.","apa":"Avni, G., Ibsen-Jensen, R., &#38; Tkadlec, J. (2020). All-pay bidding games on graphs. <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>. New York, NY, United States: Association for the Advancement of Artificial Intelligence. <a href=\"https://doi.org/10.1609/aaai.v34i02.5546\">https://doi.org/10.1609/aaai.v34i02.5546</a>","mla":"Avni, Guy, et al. “All-Pay Bidding Games on Graphs.” <i>Proceedings of the AAAI Conference on Artificial Intelligence</i>, vol. 34, no. 02, Association for the Advancement of Artificial Intelligence, 2020, pp. 1798–805, doi:<a href=\"https://doi.org/10.1609/aaai.v34i02.5546\">10.1609/aaai.v34i02.5546</a>."},"issue":"02","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","language":[{"iso":"eng"}],"department":[{"_id":"ToHe"},{"_id":"KrCh"}],"month":"04","arxiv":1,"quality_controlled":"1","page":"1798-1805","_id":"9197","date_updated":"2023-09-05T12:40:00Z","type":"journal_article","article_processing_charge":"No","doi":"10.1609/aaai.v34i02.5546","publisher":"Association for the Advancement of Artificial Intelligence","date_published":"2020-04-03T00:00:00Z","conference":{"name":"AAAI: Conference on Artificial Intelligence","start_date":"2020-02-07","end_date":"2020-02-12","location":"New York, NY, United States"},"acknowledgement":"This research was supported by the Austrian Science Fund (FWF) under grants S11402-N23 (RiSE/SHiNE), Z211-N23 (Wittgenstein Award), and M 2369-N33 (Meitner fellowship).","status":"public","publication":"Proceedings of the AAAI Conference on Artificial Intelligence","project":[{"_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11402-N23","name":"Rigorous Systems Engineering"},{"call_identifier":"FWF","name":"The Wittgenstein Prize","grant_number":"Z211","_id":"25F42A32-B435-11E9-9278-68D0E5697425"},{"_id":"264B3912-B435-11E9-9278-68D0E5697425","grant_number":"M02369","name":"Formal Methods meets Algorithmic Game Theory","call_identifier":"FWF"}],"year":"2020","external_id":{"arxiv":["1911.08360"]}},{"year":"2020","external_id":{"arxiv":["1912.10095"]},"status":"public","publication":"Proceedings of the 37th International Conference on Machine Learning","project":[{"_id":"059876FA-7A3F-11EA-A408-12923DDC885E","name":"Prix Lopez-Loretta 2019 - Marco Mondelli"}],"date_published":"2020-07-13T00:00:00Z","acknowledgement":"M. Mondelli was partially supported by the 2019 LopezLoreta Prize. The authors thank Phan-Minh Nguyen for helpful discussions and the IST Distributed Algorithms and Systems Lab for providing computational resources.","article_processing_charge":"No","publisher":"ML Research Press","_id":"9198","date_updated":"2024-09-10T13:03:19Z","type":"conference","page":"8773-8784","ddc":["000"],"quality_controlled":"1","month":"07","arxiv":1,"department":[{"_id":"MaMo"}],"file":[{"file_name":"2020_PMLR_Shevchenko.pdf","success":1,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"f042c8d4316bd87c6361aa76f1fbdbbe","date_created":"2021-03-02T15:38:14Z","file_size":5336380,"date_updated":"2021-03-02T15:38:14Z","creator":"dernst","file_id":"9217"}],"oa":1,"language":[{"iso":"eng"}],"citation":{"ama":"Shevchenko A, Mondelli M. Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In: <i>Proceedings of the 37th International Conference on Machine Learning</i>. Vol 119. ML Research Press; 2020:8773-8784.","short":"A. Shevchenko, M. Mondelli, in:, Proceedings of the 37th International Conference on Machine Learning, ML Research Press, 2020, pp. 8773–8784.","ieee":"A. Shevchenko and M. Mondelli, “Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks,” in <i>Proceedings of the 37th International Conference on Machine Learning</i>, 2020, vol. 119, pp. 8773–8784.","chicago":"Shevchenko, Alexander, and Marco Mondelli. “Landscape Connectivity and Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” In <i>Proceedings of the 37th International Conference on Machine Learning</i>, 119:8773–84. ML Research Press, 2020.","ista":"Shevchenko A, Mondelli M. 2020. Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. Proceedings of the 37th International Conference on Machine Learning. vol. 119, 8773–8784.","mla":"Shevchenko, Alexander, and Marco Mondelli. “Landscape Connectivity and Dropout Stability of SGD Solutions for Over-Parameterized Neural Networks.” <i>Proceedings of the 37th International Conference on Machine Learning</i>, vol. 119, ML Research Press, 2020, pp. 8773–84.","apa":"Shevchenko, A., &#38; Mondelli, M. (2020). Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks. In <i>Proceedings of the 37th International Conference on Machine Learning</i> (Vol. 119, pp. 8773–8784). ML Research Press."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"13","author":[{"last_name":"Shevchenko","full_name":"Shevchenko, Alexander","first_name":"Alexander"},{"orcid":"0000-0002-3242-7020","first_name":"Marco","last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco"}],"oa_version":"Published Version","title":"Landscape connectivity and dropout stability of SGD solutions for over-parameterized neural networks","volume":119,"date_created":"2021-02-25T09:36:22Z","has_accepted_license":"1","abstract":[{"lang":"eng","text":"The optimization of multilayer neural networks typically leads to a solution\r\nwith zero training error, yet the landscape can exhibit spurious local minima\r\nand the minima can be disconnected. In this paper, we shed light on this\r\nphenomenon: we show that the combination of stochastic gradient descent (SGD)\r\nand over-parameterization makes the landscape of multilayer neural networks\r\napproximately connected and thus more favorable to optimization. More\r\nspecifically, we prove that SGD solutions are connected via a piecewise linear\r\npath, and the increase in loss along this path vanishes as the number of\r\nneurons grows large. This result is a consequence of the fact that the\r\nparameters found by SGD are increasingly dropout stable as the network becomes\r\nwider. We show that, if we remove part of the neurons (and suitably rescale the\r\nremaining ones), the change in loss is independent of the total number of\r\nneurons, and it depends only on how many neurons are left. Our results exhibit\r\na mild dependence on the input dimension: they are dimension-free for two-layer\r\nnetworks and depend linearly on the dimension for multilayer networks. We\r\nvalidate our theoretical findings with numerical experiments for different\r\narchitectures and classification tasks."}],"intvolume":"       119","file_date_updated":"2021-03-02T15:38:14Z","publication_status":"published"},{"publication_status":"published","publication_identifier":{"eisbn":["9781728183244"],"eissn":["2576-3172"]},"file_date_updated":"2021-02-26T16:38:14Z","abstract":[{"text":"We propose a novel hybridization method for stability analysis that over-approximates nonlinear dynamical systems by switched systems with linear inclusion dynamics. We observe that existing hybridization techniques for safety analysis that over-approximate nonlinear dynamical systems by switched affine inclusion dynamics and provide fixed approximation error, do not suffice for stability analysis. Hence, we propose a hybridization method that provides a state-dependent error which converges to zero as the state tends to the equilibrium point. The crux of our hybridization computation is an elegant recursive algorithm that uses partial derivatives of a given function to obtain upper and lower bound matrices for the over-approximating linear inclusion. We illustrate our method on some examples to demonstrate the application of the theory for stability analysis. In particular, our method is able to establish stability of a nonlinear system which does not admit a polynomial Lyapunov function.","lang":"eng"}],"has_accepted_license":"1","date_created":"2021-02-26T16:38:24Z","oa_version":"Submitted Version","title":"Hybridization for stability verification of nonlinear switched systems","author":[{"first_name":"Miriam","orcid":"0000-0003-2936-5719","last_name":"Garcia Soto","id":"4B3207F6-F248-11E8-B48F-1D18A9856A87","full_name":"Garcia Soto, Miriam"},{"first_name":"Pavithra","full_name":"Prabhakar, Pavithra","last_name":"Prabhakar"}],"day":"01","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","citation":{"short":"M. Garcia Soto, P. Prabhakar, in:, 2020 IEEE Real-Time Systems Symposium, IEEE, 2020, pp. 244–256.","ieee":"M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification of nonlinear switched systems,” in <i>2020 IEEE Real-Time Systems Symposium</i>, Houston, TX, USA , 2020, pp. 244–256.","ama":"Garcia Soto M, Prabhakar P. Hybridization for stability verification of nonlinear switched systems. In: <i>2020 IEEE Real-Time Systems Symposium</i>. IEEE; 2020:244-256. doi:<a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">10.1109/RTSS49844.2020.00031</a>","mla":"Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” <i>2020 IEEE Real-Time Systems Symposium</i>, IEEE, 2020, pp. 244–56, doi:<a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">10.1109/RTSS49844.2020.00031</a>.","apa":"Garcia Soto, M., &#38; Prabhakar, P. (2020). Hybridization for stability verification of nonlinear switched systems. In <i>2020 IEEE Real-Time Systems Symposium</i> (pp. 244–256). Houston, TX, USA : IEEE. <a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">https://doi.org/10.1109/RTSS49844.2020.00031</a>","ista":"Garcia Soto M, Prabhakar P. 2020. Hybridization for stability verification of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time Systems Symposium, 244–256.","chicago":"Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” In <i>2020 IEEE Real-Time Systems Symposium</i>, 244–56. IEEE, 2020. <a href=\"https://doi.org/10.1109/RTSS49844.2020.00031\">https://doi.org/10.1109/RTSS49844.2020.00031</a>."},"language":[{"iso":"eng"}],"oa":1,"file":[{"file_size":1125794,"date_created":"2021-02-26T16:38:14Z","creator":"mgarcias","date_updated":"2021-02-26T16:38:14Z","file_id":"9203","file_name":"main.pdf","access_level":"open_access","content_type":"application/pdf","relation":"main_file","checksum":"8f97f229316c3b3a6f0cf99297aa0941"}],"department":[{"_id":"ToHe"}],"month":"12","quality_controlled":"1","ddc":["000"],"page":"244-256","type":"conference","date_updated":"2024-02-22T13:25:19Z","_id":"9202","publisher":"IEEE","doi":"10.1109/RTSS49844.2020.00031","article_processing_charge":"No","conference":{"start_date":"2020-12-01","end_date":"2020-12-04","name":"RTTS: Real-Time Systems Symposium","location":"Houston, TX, USA "},"acknowledgement":"Miriam Garc´ıa Soto was partially supported by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award). Pavithra Prabhakar was partially supported by NSF CAREER Award No. 1552668, NSF Award No. 2008957 and ONR YIP Award No. N000141712577.","date_published":"2020-12-01T00:00:00Z","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","name":"The Wittgenstein Prize","grant_number":"Z211","call_identifier":"FWF"}],"publication":"2020 IEEE Real-Time Systems Symposium","status":"public","external_id":{"isi":["000680435100021"]},"isi":1,"year":"2020"}]