[{"department":[{"_id":"MaJö"}],"publisher":"Wiley","month":"02","isi":1,"page":"553-573","scopus_import":"1","acknowledgement":"This work was supported by FONDECYT grants 1151432 and 1210169 to Gonzalo J. Marín. FONDECYT grant 1210069 to Jorge Mpodozis. Spanish Ministry of Science, Innovation and Universities (MCIU), State Research Agency (AEI) and European Regional Development Fund (FEDER), PGC2018-098229-B-100 to José L Ferrán. Spanish Ministry of Economy and Competitiveness Excellency Grant BFU2014-57516P (with European Community FEDER support), and a Seneca Foundation (Autonomous Community of Murcia) Excellency Research contract, ref: 19904/ GERM/15; project name: Genoarchitectonic Brain Development and Applications to Neurodegenerative Diseases and Cancer (5672 Fundación Séneca) to Luis Puelles. The authors gratefully acknowledge the valuable editorial help provided by Sara Fernández-Collemann. The authors also thank Elisa Sentis and Solano Henríquez for expert technical help.","language":[{"iso":"eng"}],"status":"public","doi":"10.1002/cne.25229","date_published":"2022-02-01T00:00:00Z","intvolume":" 530","volume":530,"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","abstract":[{"lang":"eng","text":"Neurons can change their classical neurotransmitters during ontogeny, sometimes going through stages of dual release. Here, we explored the development of the neurotransmitter identity of neurons of the avian nucleus isthmi parvocellularis (Ipc), whose axon terminals are retinotopically arranged in the optic tectum (TeO) and exert a focal gating effect upon the ascending transmission of retinal inputs. Although cholinergic and glutamatergic markers are both found in Ipc neurons and terminals of adult pigeons and chicks, the mRNA expression of the vesicular acetylcholine transporter, VAChT, is weak or absent. To explore how the Ipc neurotransmitter identity is established during ontogeny, we analyzed the expression of mRNAs coding for cholinergic (ChAT, VAChT, and CHT) and glutamatergic (VGluT2 and VGluT3) markers in chick embryos at different developmental stages. We found that between E12 and E18, Ipc neurons expressed all cholinergic mRNAs and also VGluT2 mRNA; however, from E16 through posthatch stages, VAChT mRNA expression was specifically diminished. Our ex vivo deposits of tracer crystals and intracellular filling experiments revealed that Ipc axons exhibit a mature paintbrush morphology late in development, experiencing marked morphological transformations during the period of presumptive dual vesicular transmitter release. Additionally, although ChAT protein immunoassays increasingly label the growing Ipc axon, this labeling was consistently restricted to sparse portions of the terminal branches. Combined, these results suggest that the synthesis of glutamate and acetylcholine, and their vesicular release, is complexly linked to the developmental processes of branching, growing and remodeling of these unique axons."}],"article_type":"original","publication_status":"published","oa_version":"None","article_processing_charge":"No","quality_controlled":"1","year":"2022","_id":"9955","pmid":1,"date_created":"2021-08-23T08:40:59Z","external_id":{"pmid":["34363623"],"isi":["000686420000001"]},"title":"Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum","issue":"2","citation":{"short":"R. Reyes‐Pinto, J.L. Ferrán, T.A. Vega Zuniga, C. González‐Cabrera, H. Luksch, J. Mpodozis, L. Puelles, G.J. Marín, Journal of Comparative Neurology 530 (2022) 553–573.","chicago":"Reyes‐Pinto, Rosana, José L. Ferrán, Tomas A Vega Zuniga, Cristian González‐Cabrera, Harald Luksch, Jorge Mpodozis, Luis Puelles, and Gonzalo J. Marín. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology. Wiley, 2022. https://doi.org/10.1002/cne.25229.","ista":"Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, González‐Cabrera C, Luksch H, Mpodozis J, Puelles L, Marín GJ. 2022. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. 530(2), 553–573.","mla":"Reyes‐Pinto, Rosana, et al. “Change in the Neurochemical Signature and Morphological Development of the Parvocellular Isthmic Projection to the Avian Tectum.” Journal of Comparative Neurology, vol. 530, no. 2, Wiley, 2022, pp. 553–73, doi:10.1002/cne.25229.","apa":"Reyes‐Pinto, R., Ferrán, J. L., Vega Zuniga, T. A., González‐Cabrera, C., Luksch, H., Mpodozis, J., … Marín, G. J. (2022). Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. Wiley. https://doi.org/10.1002/cne.25229","ieee":"R. Reyes‐Pinto et al., “Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum,” Journal of Comparative Neurology, vol. 530, no. 2. Wiley, pp. 553–573, 2022.","ama":"Reyes‐Pinto R, Ferrán JL, Vega Zuniga TA, et al. Change in the neurochemical signature and morphological development of the parvocellular isthmic projection to the avian tectum. Journal of Comparative Neurology. 2022;530(2):553-573. doi:10.1002/cne.25229"},"author":[{"first_name":"Rosana","last_name":"Reyes‐Pinto","full_name":"Reyes‐Pinto, Rosana"},{"full_name":"Ferrán, José L.","first_name":"José L.","last_name":"Ferrán"},{"full_name":"Vega Zuniga, Tomas A","id":"2E7C4E78-F248-11E8-B48F-1D18A9856A87","first_name":"Tomas A","last_name":"Vega Zuniga"},{"full_name":"González‐Cabrera, Cristian","last_name":"González‐Cabrera","first_name":"Cristian"},{"full_name":"Luksch, Harald","last_name":"Luksch","first_name":"Harald"},{"full_name":"Mpodozis, Jorge","last_name":"Mpodozis","first_name":"Jorge"},{"full_name":"Puelles, Luis","first_name":"Luis","last_name":"Puelles"},{"first_name":"Gonzalo J.","last_name":"Marín","full_name":"Marín, Gonzalo J."}],"date_updated":"2023-08-11T10:58:17Z","publication_identifier":{"issn":["0021-9967"],"eissn":["1096-9861"]},"publication":"Journal of Comparative Neurology","day":"01"},{"license":"https://creativecommons.org/licenses/by/4.0/","isi":1,"publisher":"Wiley","department":[{"_id":"TaHa"}],"month":"03","acknowledgement":"We warmly thank S. Gukov for valuable discussions on the GPPV invariant ̂Z𝑎(𝑀3; 𝑞). The first\r\nauthor was supported in part by the center of excellence grant ‘Center for Quantum Geometry\r\nof Moduli Spaces’ from the Danish National Research Foundation (DNRF95) and by the ERCSynergy\r\ngrant ‘ReNewQuantum’. The second author received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement no. 754411.","scopus_import":"1","arxiv":1,"page":"709-764","ddc":["510"],"intvolume":" 105","doi":"10.1112/jlms.12506","date_published":"2022-03-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"file_date_updated":"2022-03-24T11:42:25Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","volume":105,"quality_controlled":"1","oa_version":"Published Version","article_processing_charge":"Yes (via OA deal)","article_type":"original","publication_status":"published","file":[{"success":1,"date_created":"2022-03-24T11:42:25Z","relation":"main_file","file_id":"10917","file_name":"2022_JourLondonMathSoc_Andersen.pdf","date_updated":"2022-03-24T11:42:25Z","file_size":649130,"content_type":"application/pdf","checksum":"9c72327d39f34f1a6eaa98fa4b8493f2","creator":"dernst","access_level":"open_access"}],"abstract":[{"text":"For a Seifert fibered homology sphere X we show that the q-series invariant Zˆ0(X; q) introduced by Gukov-Pei-Putrov-Vafa, is a resummation of the Ohtsuki series Z0(X). We show that for every even k ∈ N there exists a full asymptotic expansion of Zˆ0(X; q) for q tending to e 2πi/k, and in particular that the limit Zˆ0(X; e 2πi/k) exists and is equal to the\r\nWRT quantum invariant τk(X). We show that the poles of the Borel transform of Z0(X) coincide with the classical complex Chern-Simons values, which we further show classifies the corresponding components of the moduli space of flat SL(2, C)-connections.","lang":"eng"}],"date_created":"2021-08-31T12:51:40Z","ec_funded":1,"year":"2022","_id":"9977","has_accepted_license":"1","issue":"2","project":[{"call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"external_id":{"isi":["000755205700001"],"arxiv":["1811.05376"]},"title":"Resurgence analysis of quantum invariants of Seifert fibered homology spheres","day":"01","publication":"Journal of the London Mathematical Society","publication_identifier":{"eissn":["1469-7750"]},"oa":1,"citation":{"short":"W. Mistegaard, J.E. Andersen, Journal of the London Mathematical Society 105 (2022) 709–764.","mla":"Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society, vol. 105, no. 2, Wiley, 2022, pp. 709–64, doi:10.1112/jlms.12506.","ama":"Mistegaard W, Andersen JE. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. 2022;105(2):709-764. doi:10.1112/jlms.12506","ieee":"W. Mistegaard and J. E. Andersen, “Resurgence analysis of quantum invariants of Seifert fibered homology spheres,” Journal of the London Mathematical Society, vol. 105, no. 2. Wiley, pp. 709–764, 2022.","apa":"Mistegaard, W., & Andersen, J. E. (2022). Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12506","chicago":"Mistegaard, William, and Jørgen Ellegaard Andersen. “Resurgence Analysis of Quantum Invariants of Seifert Fibered Homology Spheres.” Journal of the London Mathematical Society. Wiley, 2022. https://doi.org/10.1112/jlms.12506.","ista":"Mistegaard W, Andersen JE. 2022. Resurgence analysis of quantum invariants of Seifert fibered homology spheres. Journal of the London Mathematical Society. 105(2), 709–764."},"date_updated":"2023-08-02T06:53:51Z","author":[{"id":"41B03CD0-62AE-11E9-84EF-0718E6697425","full_name":"Mistegaard, William","first_name":"William","last_name":"Mistegaard"},{"full_name":"Andersen, Jørgen Ellegaard","first_name":"Jørgen Ellegaard","last_name":"Andersen"}]},{"ddc":["570"],"intvolume":" 62","status":"public","tmp":{"image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"language":[{"iso":"eng"}],"date_published":"2021-08-16T00:00:00Z","doi":"10.1167/IOVS.62.10.14","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","file_date_updated":"2022-05-13T07:40:15Z","volume":62,"type":"journal_article","isi":1,"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","month":"08","department":[{"_id":"SaSi"}],"publisher":"Association for Research in Vision and Ophthalmology","scopus_import":"1","acknowledgement":"The authors thank Joel Dietz for maintaining the mice used in this study, Satoshi Kinoshita and the Translational Research Initiative in Pathology Laboratory at the University of Wisconsin-Madison for cutting retinal sections analyzed in this study, and Mark Banghart for statistical review of the data analysis. Supported by National Eye Institute Grants R01 EY012223 (RWN), R01 EY030123 (RWN), R01 EY029809 (LWG), R01 EY029809 (LWG) and a Vision Research CORE grant P30 EY016665, NRSA grant T32 GM081061, by an unrestricted research grant from Research to Prevent Blindness, Inc., and by a University of Wisconsin-Madison Vilas Life Cycle award and the Frederick A. Davis Research Chair (RWN). ","issue":"10","article_number":"14","has_accepted_license":"1","external_id":{"pmid":["34398198"],"isi":["000695230000014"]},"title":"Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression","oa":1,"publication_identifier":{"eissn":["1552-5783"],"issn":["0146-0404"]},"publication":"Investigative Ophthalmology and Visual Science","day":"16","author":[{"last_name":"Schmitt","first_name":"Heather M.","full_name":"Schmitt, Heather M."},{"full_name":"Fehrman, Rachel L.","first_name":"Rachel L.","last_name":"Fehrman"},{"first_name":"Margaret E","last_name":"Maes","orcid":"0000-0001-9642-1085","full_name":"Maes, Margaret E","id":"3838F452-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Yang","first_name":"Huan","full_name":"Yang, Huan"},{"full_name":"Guo, Lian Wang","first_name":"Lian Wang","last_name":"Guo"},{"last_name":"Schlamp","first_name":"Cassandra L.","full_name":"Schlamp, Cassandra L."},{"full_name":"Pelzel, Heather R.","last_name":"Pelzel","first_name":"Heather R."},{"first_name":"Robert W.","last_name":"Nickells","full_name":"Nickells, Robert W."}],"date_updated":"2023-08-14T06:35:17Z","citation":{"ista":"Schmitt HM, Fehrman RL, Maes ME, Yang H, Guo LW, Schlamp CL, Pelzel HR, Nickells RW. 2021. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 62(10), 14.","chicago":"Schmitt, Heather M., Rachel L. Fehrman, Margaret E Maes, Huan Yang, Lian Wang Guo, Cassandra L. Schlamp, Heather R. Pelzel, and Robert W. Nickells. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology, 2021. https://doi.org/10.1167/IOVS.62.10.14.","ama":"Schmitt HM, Fehrman RL, Maes ME, et al. Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. 2021;62(10). doi:10.1167/IOVS.62.10.14","apa":"Schmitt, H. M., Fehrman, R. L., Maes, M. E., Yang, H., Guo, L. W., Schlamp, C. L., … Nickells, R. W. (2021). Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression. Investigative Ophthalmology and Visual Science. Association for Research in Vision and Ophthalmology. https://doi.org/10.1167/IOVS.62.10.14","ieee":"H. M. Schmitt et al., “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” Investigative Ophthalmology and Visual Science, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021.","mla":"Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:10.1167/IOVS.62.10.14.","short":"H.M. Schmitt, R.L. Fehrman, M.E. Maes, H. Yang, L.W. Guo, C.L. Schlamp, H.R. Pelzel, R.W. Nickells, Investigative Ophthalmology and Visual Science 62 (2021)."},"article_processing_charge":"Yes","oa_version":"Published Version","quality_controlled":"1","abstract":[{"text":"Inhibition or targeted deletion of histone deacetylase 3 (HDAC3) is neuroprotective in a variety neurodegenerative conditions, including retinal ganglion cells (RGCs) after acute optic nerve damage. Consistent with this, induced HDAC3 expression in cultured cells shows selective toxicity to neurons. Despite an established role for HDAC3 in neuronal pathology, little is known regarding the mechanism of this pathology.","lang":"eng"}],"file":[{"success":1,"relation":"main_file","date_created":"2022-05-13T07:40:15Z","file_id":"11369","file_name":"2021_IOVS_Schmitt.pdf","date_updated":"2022-05-13T07:40:15Z","file_size":19707796,"content_type":"application/pdf","checksum":"c430967746f653aa1ae84ee617f62b73","creator":"dernst","access_level":"open_access"}],"publication_status":"published","article_type":"original","_id":"10000","year":"2021","date_created":"2021-09-12T22:01:23Z","pmid":1},{"oa_version":"Preprint","article_processing_charge":"No","keyword":["Computer science","Computational modeling","Markov processes","Probabilistic logic","Formal verification","Game Theory"],"quality_controlled":"1","abstract":[{"text":"We present a faster symbolic algorithm for the following central problem in probabilistic verification: Compute the maximal end-component (MEC) decomposition of Markov decision processes (MDPs). This problem generalizes the SCC decomposition problem of graphs and closed recurrent sets of Markov chains. The model of symbolic algorithms is widely used in formal verification and model-checking, where access to the input model is restricted to only symbolic operations (e.g., basic set operations and computation of one-step neighborhood). For an input MDP with n vertices and m edges, the classical symbolic algorithm from the 1990s for the MEC decomposition requires O(n2) symbolic operations and O(1) symbolic space. The only other symbolic algorithm for the MEC decomposition requires O(nm−−√) symbolic operations and O(m−−√) symbolic space. A main open question is whether the worst-case O(n2) bound for symbolic operations can be beaten. We present a symbolic algorithm that requires O˜(n1.5) symbolic operations and O˜(n−−√) symbolic space. Moreover, the parametrization of our algorithm provides a trade-off between symbolic operations and symbolic space: for all 0<ϵ≤1/2 the symbolic algorithm requires O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space ( O˜ hides poly-logarithmic factors). Using our techniques we present faster algorithms for computing the almost-sure winning regions of ω -regular objectives for MDPs. We consider the canonical parity objectives for ω -regular objectives, and for parity objectives with d -priorities we present an algorithm that computes the almost-sure winning region with O˜(n2−ϵ) symbolic operations and O˜(nϵ) symbolic space, for all 0<ϵ≤1/2 .","lang":"eng"}],"publication_status":"published","year":"2021","_id":"10002","date_created":"2021-09-12T22:01:24Z","ec_funded":1,"project":[{"call_identifier":"FWF","_id":"25863FF4-B435-11E9-9278-68D0E5697425","grant_number":"S11407","name":"Game Theory"},{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","call_identifier":"H2020"}],"title":"Symbolic time and space tradeoffs for probabilistic verification","external_id":{"arxiv":["2104.07466"],"isi":["000947350400089"]},"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","publication_identifier":{"issn":["1043-6871"],"isbn":["978-1-6654-4896-3"],"eisbn":["978-1-6654-4895-6"]},"oa":1,"day":"07","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee"},{"first_name":"Wolfgang","last_name":"Dvorak","full_name":"Dvorak, Wolfgang"},{"orcid":"0000-0002-5008-6530","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","first_name":"Monika H"},{"full_name":"Svozil, Alexander","last_name":"Svozil","first_name":"Alexander"}],"date_updated":"2025-07-14T09:10:07Z","citation":{"short":"K. Chatterjee, W. Dvorak, M.H. Henzinger, A. Svozil, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13.","ieee":"K. Chatterjee, W. Dvorak, M. H. Henzinger, and A. Svozil, “Symbolic time and space tradeoffs for probabilistic verification,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.","apa":"Chatterjee, K., Dvorak, W., Henzinger, M. H., & Svozil, A. (2021). Symbolic time and space tradeoffs for probabilistic verification. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470739","ama":"Chatterjee K, Dvorak W, Henzinger MH, Svozil A. Symbolic time and space tradeoffs for probabilistic verification. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470739","mla":"Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739.","ista":"Chatterjee K, Dvorak W, Henzinger MH, Svozil A. 2021. Symbolic time and space tradeoffs for probabilistic verification. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.","chicago":"Chatterjee, Krishnendu, Wolfgang Dvorak, Monika H Henzinger, and Alexander Svozil. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470739."},"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.07466"}],"isi":1,"department":[{"_id":"KrCh"}],"publisher":"Institute of Electrical and Electronics Engineers","month":"07","scopus_import":"1","acknowledgement":"The authors are grateful to the anonymous referees for their valuable comments. A. S. is fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15–003. K. C. is supported by the Austrian Science Fund (FWF) NFN Grant No S11407-N23 (RiSE/SHiNE) and by the ERC CoG 863818 (ForM-SMArt). For M. H. the research leading to these results has received funding from the European Research Council under the European Unions Seventh Framework Programme (FP/2007–2013) / ERC Grant Agreement no. 340506.","conference":{"location":"Rome, Italy","name":"LICS: Symposium on Logic in Computer Science","start_date":"2021-06-29","end_date":"2021-07-02"},"page":"1-13","arxiv":1,"language":[{"iso":"eng"}],"status":"public","doi":"10.1109/LICS52264.2021.9470739","date_published":"2021-07-07T00:00:00Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"conference"},{"quality_controlled":"1","keyword":["Computer science","Heuristic algorithms","Memory management","Automata","Markov processes","Probability distribution","Complexity theory"],"article_processing_charge":"No","oa_version":"Preprint","publication_status":"published","abstract":[{"lang":"eng","text":"Markov chains are the de facto finite-state model for stochastic dynamical systems, and Markov decision processes (MDPs) extend Markov chains by incorporating non-deterministic behaviors. Given an MDP and rewards on states, a classical optimization criterion is the maximal expected total reward where the MDP stops after T steps, which can be computed by a simple dynamic programming algorithm. We consider a natural generalization of the problem where the stopping times can be chosen according to a probability distribution, such that the expected stopping time is T, to optimize the expected total reward. Quite surprisingly we establish inter-reducibility of the expected stopping-time problem for Markov chains with the Positivity problem (which is related to the well-known Skolem problem), for which establishing either decidability or undecidability would be a major breakthrough. Given the hardness of the exact problem, we consider the approximate version of the problem: we show that it can be solved in exponential time for Markov chains and in exponential space for MDPs."}],"ec_funded":1,"date_created":"2021-09-12T22:01:25Z","_id":"10004","year":"2021","external_id":{"arxiv":["2104.07278"],"isi":["000947350400036"]},"title":"Stochastic processes with expected stopping time","project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818"}],"day":"07","oa":1,"publication":"Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science","publication_identifier":{"issn":["1043-6871"],"isbn":["978-1-6654-4896-3"],"eisbn":["978-1-6654-4895-6"]},"citation":{"mla":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595.","ieee":"K. Chatterjee and L. Doyen, “Stochastic processes with expected stopping time,” in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 2021, pp. 1–13.","ama":"Chatterjee K, Doyen L. Stochastic processes with expected stopping time. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021:1-13. doi:10.1109/LICS52264.2021.9470595","apa":"Chatterjee, K., & Doyen, L. (2021). Stochastic processes with expected stopping time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 1–13). Rome, Italy: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LICS52264.2021.9470595","chicago":"Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–13. Institute of Electrical and Electronics Engineers, 2021. https://doi.org/10.1109/LICS52264.2021.9470595.","ista":"Chatterjee K, Doyen L. 2021. Stochastic processes with expected stopping time. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Symposium on Logic in Computer Science, 1–13.","short":"K. Chatterjee, L. Doyen, in:, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13."},"author":[{"first_name":"Krishnendu","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"}],"date_updated":"2025-07-14T09:10:08Z","isi":1,"main_file_link":[{"url":"https://arxiv.org/abs/2104.07278","open_access":"1"}],"month":"07","publisher":"Institute of Electrical and Electronics Engineers","department":[{"_id":"KrCh"}],"acknowledgement":"We are grateful to the anonymous reviewers of LICS 2021 and of a previous version of this paper for insightful comments that helped improving the presentation. This research was partially supported by the grant ERC CoG 863818 (ForM-SMArt).","scopus_import":"1","arxiv":1,"conference":{"end_date":"2021-07-02","name":"LICS: Symposium on Logic in Computer Science","start_date":"2021-06-29","location":"Rome, Italy"},"page":"1-13","date_published":"2021-07-07T00:00:00Z","doi":"10.1109/LICS52264.2021.9470595","status":"public","language":[{"iso":"eng"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"conference"},{"date_published":"2021-08-25T00:00:00Z","doi":"10.1142/S0218202521500457","status":"public","language":[{"iso":"eng"}],"intvolume":" 31","type":"journal_article","volume":31,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"08","publisher":"World Scientific","department":[{"_id":"JuFi"}],"main_file_link":[{"url":"https://arxiv.org/abs/2009.06917","open_access":"1"}],"isi":1,"arxiv":1,"acknowledgement":"M. Bulíček and J. Málek acknowledge the support of the project No. 18-12719S financed by the Czech\r\nScience foundation (GAČR). E. Maringová acknowledges support from Charles University Research program \r\nUNCE/SCI/023, the grant SVV-2020-260583 by the Ministry of Education, Youth and Sports, Czech Republic\r\nand from the Austrian Science Fund (FWF), grants P30000, W1245, and F65. M. Bulíček and J. Málek are\r\nmembers of the Nečas Center for Mathematical Modelling.\r\n","scopus_import":"1","title":"On nonlinear problems of parabolic type with implicit constitutive equations involving flux","external_id":{"arxiv":["2009.06917"],"isi":["000722222900004"]},"project":[{"grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems"}],"issue":"09","author":[{"full_name":"Bulíček, Miroslav","first_name":"Miroslav","last_name":"Bulíček"},{"full_name":"Maringová, Erika","id":"dbabca31-66eb-11eb-963a-fb9c22c880b4","last_name":"Maringová","first_name":"Erika"},{"full_name":"Málek, Josef","first_name":"Josef","last_name":"Málek"}],"date_updated":"2023-09-04T11:43:45Z","citation":{"mla":"Bulíček, Miroslav, et al. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09, World Scientific, 2021, doi:10.1142/S0218202521500457.","ieee":"M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09. World Scientific, 2021.","apa":"Bulíček, M., Maringová, E., & Málek, J. (2021). On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. World Scientific. https://doi.org/10.1142/S0218202521500457","ama":"Bulíček M, Maringová E, Málek J. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 2021;31(09). doi:10.1142/S0218202521500457","chicago":"Bulíček, Miroslav, Erika Maringová, and Josef Málek. “On Nonlinear Problems of Parabolic Type with Implicit Constitutive Equations Involving Flux.” Mathematical Models and Methods in Applied Sciences. World Scientific, 2021. https://doi.org/10.1142/S0218202521500457.","ista":"Bulíček M, Maringová E, Málek J. 2021. On nonlinear problems of parabolic type with implicit constitutive equations involving flux. Mathematical Models and Methods in Applied Sciences. 31(09).","short":"M. Bulíček, E. Maringová, J. Málek, Mathematical Models and Methods in Applied Sciences 31 (2021)."},"day":"25","oa":1,"publication_identifier":{"issn":["0218-2025"],"eissn":["1793-6314"]},"publication":"Mathematical Models and Methods in Applied Sciences","publication_status":"published","article_type":"original","abstract":[{"lang":"eng","text":"We study systems of nonlinear partial differential equations of parabolic type, in which the elliptic operator is replaced by the first-order divergence operator acting on a flux function, which is related to the spatial gradient of the unknown through an additional implicit equation. This setting, broad enough in terms of applications, significantly expands the paradigm of nonlinear parabolic problems. Formulating four conditions concerning the form of the implicit equation, we first show that these conditions describe a maximal monotone p-coercive graph. We then establish the global-in-time and large-data existence of a (weak) solution and its uniqueness. To this end, we adopt and significantly generalize Minty’s method of monotone mappings. A unified theory, containing several novel tools, is developed in a way to be tractable from the point of view of numerical approximations."}],"quality_controlled":"1","article_processing_charge":"No","keyword":["Nonlinear parabolic systems","implicit constitutive theory","weak solutions","existence","uniqueness"],"oa_version":"Preprint","date_created":"2021-09-12T22:01:25Z","_id":"10005","year":"2021"},{"type":"dissertation","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file_date_updated":"2021-09-15T14:37:30Z","status":"public","language":[{"iso":"eng"}],"date_published":"2021-09-14T00:00:00Z","doi":"10.15479/at:ista:10007","ddc":["515"],"alternative_title":["ISTA Thesis"],"page":"300","month":"09","publisher":"Institute of Science and Technology Austria","department":[{"_id":"GradSch"},{"_id":"JuFi"}],"degree_awarded":"PhD","supervisor":[{"last_name":"Fischer","first_name":"Julian L","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L"}],"citation":{"short":"S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.","ista":"Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.","chicago":"Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10007.","ama":"Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007","ieee":"S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.","apa":"Hensel, S. (2021). Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10007","mla":"Hensel, Sebastian. Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10007."},"author":[{"last_name":"Hensel","first_name":"Sebastian","orcid":"0000-0001-7252-8072","full_name":"Hensel, Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87"}],"date_updated":"2023-09-07T13:30:45Z","oa":1,"publication_identifier":{"issn":["2663-337X"]},"day":"14","title":"Curvature driven interface evolution: Uniqueness properties of weak solution concepts","project":[{"name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020","name":"Bridging Scales in Random Materials"}],"has_accepted_license":"1","_id":"10007","year":"2021","date_created":"2021-09-13T11:12:34Z","ec_funded":1,"abstract":[{"lang":"eng","text":"The present thesis is concerned with the derivation of weak-strong uniqueness principles for curvature driven interface evolution problems not satisfying a comparison principle. The specific examples being treated are two-phase Navier-Stokes flow with surface tension, modeling the evolution of two incompressible, viscous and immiscible fluids separated by a sharp interface, and multiphase mean curvature flow, which serves as an idealized model for the motion of grain boundaries in an annealing polycrystalline material. Our main results - obtained in joint works with Julian Fischer, Tim Laux and Theresa M. Simon - state that prior to the formation of geometric singularities due to topology changes, the weak solution concept of Abels (Interfaces Free Bound. 9, 2007) to two-phase Navier-Stokes flow with surface tension and the weak solution concept of Laux and Otto (Calc. Var. Partial Differential Equations 55, 2016) to multiphase mean curvature flow (for networks in R^2 or double bubbles in R^3) represents the unique solution to these interface evolution problems within the class of classical solutions, respectively. To the best of the author's knowledge, for interface evolution problems not admitting a geometric comparison principle the derivation of a weak-strong uniqueness principle represented an open problem, so that the works contained in the present thesis constitute the first positive results in this direction. The key ingredient of our approach consists of the introduction of a novel concept of relative entropies for a class of curvature driven interface evolution problems, for which the associated energy contains an interfacial contribution being proportional to the surface area of the evolving (network of) interface(s). The interfacial part of the relative entropy gives sufficient control on the interface error between a weak and a classical solution, and its time evolution can be computed, at least in principle, for any energy dissipating weak solution concept. A resulting stability estimate for the relative entropy essentially entails the above mentioned weak-strong uniqueness principles. The present thesis contains a detailed introduction to our relative entropy approach, which in particular highlights potential applications to other problems in curvature driven interface evolution not treated in this thesis."}],"file":[{"date_updated":"2021-09-15T14:37:30Z","file_id":"10008","relation":"source_file","date_created":"2021-09-13T11:03:24Z","file_name":"thesis_final_Hensel.zip","access_level":"closed","creator":"shensel","file_size":15022154,"content_type":"application/x-zip-compressed","checksum":"c8475faaf0b680b4971f638f1db16347"},{"creator":"shensel","access_level":"open_access","file_size":6583638,"content_type":"application/pdf","checksum":"1a609937aa5275452822f45f2da17f07","date_updated":"2021-09-14T09:52:47Z","relation":"main_file","date_created":"2021-09-13T14:18:56Z","file_id":"10014","file_name":"thesis_final_Hensel.pdf"}],"related_material":{"record":[{"status":"public","id":"10012","relation":"part_of_dissertation"},{"status":"public","id":"10013","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"7489","status":"public"}]},"publication_status":"published","article_processing_charge":"No","oa_version":"Published Version"},{"type":"preprint","author":[{"full_name":"Hensel, Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7252-8072","last_name":"Hensel","first_name":"Sebastian"},{"full_name":"Laux, Tim","last_name":"Laux","first_name":"Tim"}],"citation":{"short":"S. Hensel, T. Laux, ArXiv (n.d.).","ista":"Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. arXiv, 2109.04233.","chicago":"Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of the Allen-Cahn Equation and Weak-Strong Uniqueness.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2109.04233.","apa":"Hensel, S., & Laux, T. (n.d.). A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. arXiv. https://doi.org/10.48550/arXiv.2109.04233","ama":"Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. arXiv. doi:10.48550/arXiv.2109.04233","ieee":"S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness,” arXiv. .","mla":"Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of the Allen-Cahn Equation and Weak-Strong Uniqueness.” ArXiv, 2109.04233, doi:10.48550/arXiv.2109.04233."},"date_updated":"2023-05-03T10:34:38Z","publication":"arXiv","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"day":"09","project":[{"name":"Bridging Scales in Random Materials","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020","grant_number":"948819"}],"language":[{"iso":"eng"}],"status":"public","external_id":{"arxiv":["2109.04233"]},"title":"A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness","doi":"10.48550/arXiv.2109.04233","date_published":"2021-09-09T00:00:00Z","article_number":"2109.04233","arxiv":1,"year":"2021","_id":"10011","date_created":"2021-09-13T12:17:10Z","ec_funded":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813. The content of this paper was developed and parts of it were written during a visit of the first author to the Hausdorff Center of Mathematics (HCM), University of Bonn. The hospitality and the support of HCM are gratefully acknowledged.","abstract":[{"text":"We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow - is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle.","lang":"eng"}],"publication_status":"submitted","department":[{"_id":"JuFi"}],"month":"09","oa_version":"Preprint","article_processing_charge":"No","keyword":["Mean curvature flow","gradient flows","varifolds","weak solutions","weak-strong uniqueness","calibrated geometry","gradient-flow calibrations"],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2109.04233"}]},{"author":[{"first_name":"Sebastian","last_name":"Hensel","full_name":"Hensel, Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-7252-8072"},{"last_name":"Laux","first_name":"Tim","full_name":"Laux, Tim"}],"type":"preprint","date_updated":"2023-09-07T13:30:45Z","citation":{"short":"S. Hensel, T. Laux, ArXiv (n.d.).","ieee":"S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” arXiv. .","apa":"Hensel, S., & Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. https://doi.org/10.48550/arXiv.2108.01733","ama":"Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv. doi:10.48550/arXiv.2108.01733","mla":"Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, 2108.01733, doi:10.48550/arXiv.2108.01733.","ista":"Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv, 2108.01733.","chicago":"Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2108.01733."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"arXiv","oa":1,"day":"03","project":[{"grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020","name":"Bridging Scales in Random Materials"}],"language":[{"iso":"eng"}],"title":"Weak-strong uniqueness for the mean curvature flow of double bubbles","status":"public","external_id":{"arxiv":["2108.01733"]},"doi":"10.48550/arXiv.2108.01733","date_published":"2021-08-03T00:00:00Z","article_number":"2108.01733","arxiv":1,"year":"2021","_id":"10013","ec_funded":1,"date_created":"2021-09-13T12:17:11Z","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813.","abstract":[{"text":"We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces meeting along triple junctions.","lang":"eng"}],"related_material":{"record":[{"relation":"later_version","id":"13043","status":"public"},{"id":"10007","status":"public","relation":"dissertation_contains"}]},"department":[{"_id":"JuFi"}],"publication_status":"submitted","month":"08","oa_version":"Preprint","article_processing_charge":"No","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2108.01733"}]},{"project":[{"grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"International IST Doctoral Program"},{"_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1","call_identifier":"FWF","name":"FWF Open Access Fund"}],"title":"The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators","external_id":{"pmid":["34359847"],"isi":["000676604700001"]},"article_number":"1665 ","has_accepted_license":"1","date_updated":"2024-10-29T10:22:44Z","citation":{"chicago":"Nikonorova, N, E Murphy, CF Fonseca de Lima, S Zhu, B van de Cotte, LD Vu, D Balcerowicz, et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” Cells. MDPI, 2021. https://doi.org/10.3390/cells10071665.","ista":"Nikonorova N, Murphy E, Fonseca de Lima C, Zhu S, van de Cotte B, Vu L, Balcerowicz D, Li L, Kong X, De Rop G, Beeckman T, Friml J, Vissenberg K, Morris P, Ding Z, De Smet I. 2021. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. 10, 1665.","mla":"Nikonorova, N., et al. “The Arabidopsis Root Tip (Phospho)Proteomes at Growth-Promoting versus Growth-Repressing Conditions Reveal Novel Root Growth Regulators.” Cells, vol. 10, 1665, MDPI, 2021, doi:10.3390/cells10071665.","apa":"Nikonorova, N., Murphy, E., Fonseca de Lima, C., Zhu, S., van de Cotte, B., Vu, L., … De Smet, I. (2021). The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. MDPI. https://doi.org/10.3390/cells10071665","ieee":"N. Nikonorova et al., “The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators,” Cells, vol. 10. MDPI, 2021.","ama":"Nikonorova N, Murphy E, Fonseca de Lima C, et al. The Arabidopsis root tip (phospho)proteomes at growth-promoting versus growth-repressing conditions reveal novel root growth regulators. Cells. 2021;10. doi:10.3390/cells10071665","short":"N. Nikonorova, E. Murphy, C. Fonseca de Lima, S. Zhu, B. van de Cotte, L. Vu, D. Balcerowicz, L. Li, X. Kong, G. De Rop, T. Beeckman, J. Friml, K. Vissenberg, P. Morris, Z. Ding, I. De Smet, Cells 10 (2021)."},"author":[{"last_name":"Nikonorova","first_name":"N","full_name":"Nikonorova, N"},{"full_name":"Murphy, E","first_name":"E","last_name":"Murphy"},{"full_name":"Fonseca de Lima, CF","last_name":"Fonseca de Lima","first_name":"CF"},{"first_name":"S","last_name":"Zhu","full_name":"Zhu, S"},{"last_name":"van de Cotte","first_name":"B","full_name":"van de Cotte, B"},{"full_name":"Vu, LD","last_name":"Vu","first_name":"LD"},{"full_name":"Balcerowicz, D","last_name":"Balcerowicz","first_name":"D"},{"orcid":"0000-0002-5607-272X","full_name":"Li, Lanxin","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","last_name":"Li","first_name":"Lanxin"},{"last_name":"Kong","first_name":"X","full_name":"Kong, X"},{"first_name":"G","last_name":"De Rop","full_name":"De Rop, G"},{"full_name":"Beeckman, T","last_name":"Beeckman","first_name":"T"},{"orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","full_name":"Friml, Jiří","first_name":"Jiří","last_name":"Friml"},{"last_name":"Vissenberg","first_name":"K","full_name":"Vissenberg, K"},{"last_name":"Morris","first_name":"PC","full_name":"Morris, PC"},{"full_name":"Ding, Z","last_name":"Ding","first_name":"Z"},{"full_name":"De Smet, I","last_name":"De Smet","first_name":"I"}],"publication":"Cells","publication_identifier":{"issn":["2073-4409"]},"oa":1,"day":"02","file":[{"success":1,"date_created":"2021-09-16T09:07:06Z","relation":"main_file","file_id":"10021","file_name":"2021_Cells_Nikonorova.pdf","date_updated":"2021-09-16T09:07:06Z","file_size":2667848,"content_type":"application/pdf","checksum":"2a9f534b9c2200e72e2cde95afaf4eed","creator":"cchlebak","access_level":"open_access"}],"abstract":[{"lang":"eng","text":"Auxin plays a dual role in growth regulation and, depending on the tissue and concentration of the hormone, it can either promote or inhibit division and expansion processes in plants. Recent studies have revealed that, beyond transcriptional reprogramming, alternative auxincontrolled mechanisms regulate root growth. Here, we explored the impact of different concentrations of the synthetic auxin NAA that establish growth-promoting and -repressing conditions on the root tip proteome and phosphoproteome, generating a unique resource. From the phosphoproteome data, we pinpointed (novel) growth regulators, such as the RALF34-THE1 module. Our results, together with previously published studies, suggest that auxin, H+-ATPases, cell wall modifications and cell wall sensing receptor-like kinases are tightly embedded in a pathway regulating cell elongation. Furthermore, our study assigned a novel role to MKK2 as a regulator of primary root growth and a (potential) regulator of auxin biosynthesis and signalling, and suggests the importance of the MKK2\r\nThr31 phosphorylation site for growth regulation in the Arabidopsis root tip."}],"related_material":{"record":[{"relation":"dissertation_contains","id":"10083","status":"public"}]},"article_type":"original","publication_status":"published","oa_version":"Published Version","article_processing_charge":"Yes","keyword":["primary root","(phospho)proteomics","auxin","(receptor) kinase"],"quality_controlled":"1","year":"2021","_id":"10015","date_created":"2021-09-14T11:36:20Z","pmid":1,"ec_funded":1,"language":[{"iso":"eng"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","doi":"10.3390/cells10071665","date_published":"2021-07-02T00:00:00Z","alternative_title":["Protein Phosphorylation and Cell Signaling in Plants"],"intvolume":" 10","ddc":["575"],"volume":10,"type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2021-09-16T09:07:06Z","publisher":"MDPI","department":[{"_id":"JiFr"}],"month":"07","isi":1,"acknowledgement":"We thank the Nottingham Stock Centre for seeds, Frank Van Breusegem for the phb3 mutant, and Herman Höfte for the the1 mutant. Open Access Funding by the Austrian Science Fund (FWF)."},{"oa_version":"Preprint","keyword":["Markov Chain","relative entropy","time reversal","steepest descent","gradient flow"],"article_processing_charge":"No","quality_controlled":"1","abstract":[{"lang":"eng","text":"We study the temporal dissipation of variance and relative entropy for ergodic Markov Chains in continuous time, and compute explicitly the corresponding dissipation rates. These are identified, as is well known, in the case of the variance in terms of an appropriate Hilbertian norm; and in the case of the relative entropy, in terms of a Dirichlet form which morphs into a version of the familiar Fisher information under conditions of detailed balance. Here we obtain trajectorial versions of these results, valid along almost every path of the random motion and most transparent in the backwards direction of time. Martingale arguments and time reversal play crucial roles, as in the recent work of Karatzas, Schachermayer and Tschiderer for conservative diffusions. Extensions are developed to general “convex divergences” and to countable state-spaces. The steepest descent and gradient flow properties for the variance, the relative entropy, and appropriate generalizations, are studied along with their respective geometries under conditions of detailed balance, leading to a very direct proof for the HWI inequality of Otto and Villani in the present context."}],"publication_status":"published","article_type":"original","year":"2021","_id":"10023","ec_funded":1,"date_created":"2021-09-19T08:53:19Z","issue":"4","project":[{"_id":"256E75B8-B435-11E9-9278-68D0E5697425","grant_number":"716117","call_identifier":"H2020","name":"Optimal Transport and Stochastic Dynamics"},{"grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","name":"Taming Complexity in Partial Differential Systems"}],"title":"Trajectorial dissipation and gradient flow for the relative entropy in Markov chains","external_id":{"arxiv":["2005.14177"]},"publication":"Communications in Information and Systems","publication_identifier":{"issn":["1526-7555"]},"oa":1,"day":"04","citation":{"short":"I. Karatzas, J. Maas, W. Schachermayer, Communications in Information and Systems 21 (2021) 481–536.","chicago":"Karatzas, Ioannis, Jan Maas, and Walter Schachermayer. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” Communications in Information and Systems. International Press, 2021. https://doi.org/10.4310/CIS.2021.v21.n4.a1.","ista":"Karatzas I, Maas J, Schachermayer W. 2021. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 21(4), 481–536.","mla":"Karatzas, Ioannis, et al. “Trajectorial Dissipation and Gradient Flow for the Relative Entropy in Markov Chains.” Communications in Information and Systems, vol. 21, no. 4, International Press, 2021, pp. 481–536, doi:10.4310/CIS.2021.v21.n4.a1.","ieee":"I. Karatzas, J. Maas, and W. Schachermayer, “Trajectorial dissipation and gradient flow for the relative entropy in Markov chains,” Communications in Information and Systems, vol. 21, no. 4. International Press, pp. 481–536, 2021.","ama":"Karatzas I, Maas J, Schachermayer W. Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. 2021;21(4):481-536. doi:10.4310/CIS.2021.v21.n4.a1","apa":"Karatzas, I., Maas, J., & Schachermayer, W. (2021). Trajectorial dissipation and gradient flow for the relative entropy in Markov chains. Communications in Information and Systems. International Press. https://doi.org/10.4310/CIS.2021.v21.n4.a1"},"date_updated":"2021-09-20T12:51:18Z","author":[{"first_name":"Ioannis","last_name":"Karatzas","full_name":"Karatzas, Ioannis"},{"first_name":"Jan","last_name":"Maas","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","full_name":"Maas, Jan","orcid":"0000-0002-0845-1338"},{"full_name":"Schachermayer, Walter","last_name":"Schachermayer","first_name":"Walter"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2005.14177"}],"department":[{"_id":"JaMa"}],"publisher":"International Press","month":"06","acknowledgement":"I.K. acknowledges support from the U.S. National Science Foundation under Grant NSF-DMS-20-04997. J.M. acknowledges support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 716117) and from the Austrian Science Fund (FWF) through project F65. W.S. acknowledges support from the Austrian Science Fund (FWF) under grant P28861 and by the Vienna Science and Technology Fund (WWTF) through projects MA14-008 and MA16-021.","page":"481-536","arxiv":1,"intvolume":" 21","language":[{"iso":"eng"}],"status":"public","doi":"10.4310/CIS.2021.v21.n4.a1","date_published":"2021-06-04T00:00:00Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","volume":21,"type":"journal_article"},{"arxiv":1,"page":"124-158","acknowledgement":"The authors would like to thank Marek Biskup and Alberto Chiarini for useful suggestions and Cristian Giardina, Frank den Hollander and Shubhamoy Nandan for inspiring discussions. S.F. acknowledges Simona Villa for her help in creating the picture. Furthermore, the authors thank two anonymous referees for the careful reading of the manuscript. S.F. acknowledges financial support from NWO, The Netherlands via the grant TOP1.17.019. F.S. acknowledges financial support from NWO via the TOP1 grant 613.001.552 as well as funding from the European Union’s Horizon 2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement No. 754411.","scopus_import":"1","publisher":"Elsevier","department":[{"_id":"JaMa"}],"month":"08","isi":1,"type":"journal_article","volume":142,"file_date_updated":"2022-05-13T07:55:50Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1016/j.spa.2021.08.006","date_published":"2021-08-27T00:00:00Z","language":[{"iso":"eng"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","intvolume":" 142","ddc":["519"],"ec_funded":1,"date_created":"2021-09-19T22:01:25Z","year":"2021","_id":"10024","article_type":"original","publication_status":"published","file":[{"checksum":"56768c553d7218ee5714902ffec90ec4","file_size":2115791,"content_type":"application/pdf","creator":"dernst","access_level":"open_access","file_name":"2021_StochasticProcessesAppl_Floreani.pdf","date_created":"2022-05-13T07:55:50Z","success":1,"relation":"main_file","file_id":"11370","date_updated":"2022-05-13T07:55:50Z"}],"abstract":[{"lang":"eng","text":"In this paper, we introduce a random environment for the exclusion process in obtained by assigning a maximal occupancy to each site. This maximal occupancy is allowed to randomly vary among sites, and partial exclusion occurs. Under the assumption of ergodicity under translation and uniform ellipticity of the environment, we derive a quenched hydrodynamic limit in path space by strengthening the mild solution approach initiated in Nagy (2002) and Faggionato (2007). To this purpose, we prove, employing the technology developed for the random conductance model, a homogenization result in the form of an arbitrary starting point quenched invariance principle for a single particle in the same environment, which is a result of independent interest. The self-duality property of the partial exclusion process allows us to transfer this homogenization result to the particle system and, then, apply the tightness criterion in Redig et al. (2020)."}],"quality_controlled":"1","oa_version":"Published Version","keyword":["hydrodynamic limit","random environment","random conductance model","arbitrary starting point quenched invariance principle","duality","mild solution"],"article_processing_charge":"Yes","date_updated":"2023-08-14T06:52:43Z","author":[{"last_name":"Floreani","first_name":"Simone","full_name":"Floreani, Simone"},{"full_name":"Redig, Frank","first_name":"Frank","last_name":"Redig"},{"id":"E1836206-9F16-11E9-8814-AEFDE5697425","full_name":"Sau, Federico","last_name":"Sau","first_name":"Federico"}],"citation":{"short":"S. Floreani, F. Redig, F. Sau, Stochastic Processes and Their Applications 142 (2021) 124–158.","mla":"Floreani, Simone, et al. “Hydrodynamics for the Partial Exclusion Process in Random Environment.” Stochastic Processes and Their Applications, vol. 142, Elsevier, 2021, pp. 124–58, doi:10.1016/j.spa.2021.08.006.","apa":"Floreani, S., Redig, F., & Sau, F. (2021). Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2021.08.006","ieee":"S. Floreani, F. Redig, and F. Sau, “Hydrodynamics for the partial exclusion process in random environment,” Stochastic Processes and their Applications, vol. 142. Elsevier, pp. 124–158, 2021.","ama":"Floreani S, Redig F, Sau F. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 2021;142:124-158. doi:10.1016/j.spa.2021.08.006","chicago":"Floreani, Simone, Frank Redig, and Federico Sau. “Hydrodynamics for the Partial Exclusion Process in Random Environment.” Stochastic Processes and Their Applications. Elsevier, 2021. https://doi.org/10.1016/j.spa.2021.08.006.","ista":"Floreani S, Redig F, Sau F. 2021. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 142, 124–158."},"day":"27","publication":"Stochastic Processes and their Applications","publication_identifier":{"issn":["0304-4149"]},"oa":1,"project":[{"grant_number":"754411","call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"title":"Hydrodynamics for the partial exclusion process in random environment","external_id":{"isi":["000697748500005"],"arxiv":["1911.12564"]},"has_accepted_license":"1"},{"date_created":"2021-09-19T22:01:25Z","ec_funded":1,"year":"2021","_id":"10025","article_type":"original","publication_status":"published","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s41586-021-04181-z"}]},"abstract":[{"lang":"eng","text":"Ferromagnetism is most common in transition metal compounds but may also arise in low-density two-dimensional electron systems, with signatures observed in silicon, III-V semiconductor systems, and graphene moiré heterostructures. Here we show that gate-tuned van Hove singularities in rhombohedral trilayer graphene drive the spontaneous ferromagnetic polarization of the electron system into one or more spin- and valley flavors. Using capacitance measurements on graphite-gated van der Waals heterostructures, we find a cascade of density- and electronic displacement field tuned phase transitions marked by negative electronic compressibility. The transitions define the boundaries between phases where quantum oscillations have either four-fold, two-fold, or one-fold degeneracy, associated with a spin and valley degenerate normal metal, spin-polarized `half-metal', and spin and valley polarized `quarter metal', respectively. For electron doping, the salient features are well captured by a phenomenological Stoner model with a valley-anisotropic Hund's coupling, likely arising from interactions at the lattice scale. For hole filling, we observe a richer phase diagram featuring a delicate interplay of broken symmetries and transitions in the Fermi surface topology. Finally, by rotational alignment of a hexagonal boron nitride substrate to induce a moiré superlattice, we find that the superlattice perturbs the preexisting isospin order only weakly, leaving the basic phase diagram intact while catalyzing the formation of topologically nontrivial gapped states whenever itinerant half- or quarter metal states occur at half- or quarter superlattice band filling. Our results show that rhombohedral trilayer graphene is an ideal platform for well-controlled tests of many-body theory and reveal magnetism in moiré materials to be fundamentally itinerant in nature."}],"quality_controlled":"1","oa_version":"Preprint","keyword":["condensed matter - mesoscale and nanoscale physics","condensed matter - strongly correlated electrons","multidisciplinary"],"article_processing_charge":"No","date_updated":"2023-08-14T07:04:06Z","author":[{"full_name":"Zhou, Haoxin","first_name":"Haoxin","last_name":"Zhou"},{"full_name":"Xie, Tian","last_name":"Xie","first_name":"Tian"},{"id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87","full_name":"Ghazaryan, Areg","orcid":"0000-0001-9666-3543","first_name":"Areg","last_name":"Ghazaryan"},{"last_name":"Holder","first_name":"Tobias","full_name":"Holder, Tobias"},{"full_name":"Ehrets, James R.","first_name":"James R.","last_name":"Ehrets"},{"last_name":"Spanton","first_name":"Eric M.","full_name":"Spanton, Eric M."},{"last_name":"Taniguchi","first_name":"Takashi","full_name":"Taniguchi, Takashi"},{"first_name":"Kenji","last_name":"Watanabe","full_name":"Watanabe, Kenji"},{"last_name":"Berg","first_name":"Erez","full_name":"Berg, Erez"},{"first_name":"Maksym","last_name":"Serbyn","orcid":"0000-0002-2399-5827","full_name":"Serbyn, Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Young, Andrea F.","last_name":"Young","first_name":"Andrea F."}],"citation":{"short":"H. Zhou, T. Xie, A. Ghazaryan, T. Holder, J.R. Ehrets, E.M. Spanton, T. Taniguchi, K. Watanabe, E. Berg, M. Serbyn, A.F. Young, Nature (2021).","apa":"Zhou, H., Xie, T., Ghazaryan, A., Holder, T., Ehrets, J. R., Spanton, E. M., … Young, A. F. (2021). Half and quarter metals in rhombohedral trilayer graphene. Nature. Springer Nature. https://doi.org/10.1038/s41586-021-03938-w","ama":"Zhou H, Xie T, Ghazaryan A, et al. Half and quarter metals in rhombohedral trilayer graphene. Nature. 2021. doi:10.1038/s41586-021-03938-w","ieee":"H. Zhou et al., “Half and quarter metals in rhombohedral trilayer graphene,” Nature. Springer Nature, 2021.","mla":"Zhou, Haoxin, et al. “Half and Quarter Metals in Rhombohedral Trilayer Graphene.” Nature, Springer Nature, 2021, doi:10.1038/s41586-021-03938-w.","ista":"Zhou H, Xie T, Ghazaryan A, Holder T, Ehrets JR, Spanton EM, Taniguchi T, Watanabe K, Berg E, Serbyn M, Young AF. 2021. Half and quarter metals in rhombohedral trilayer graphene. Nature.","chicago":"Zhou, Haoxin, Tian Xie, Areg Ghazaryan, Tobias Holder, James R. Ehrets, Eric M. Spanton, Takashi Taniguchi, et al. “Half and Quarter Metals in Rhombohedral Trilayer Graphene.” Nature. Springer Nature, 2021. https://doi.org/10.1038/s41586-021-03938-w."},"day":"01","publication":"Nature","publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"oa":1,"project":[{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"external_id":{"isi":["000706977400002"],"arxiv":["2104.00653"]},"title":"Half and quarter metals in rhombohedral trilayer graphene","arxiv":1,"acknowledgement":"The authors acknowledge discussions with A. Macdonald, L. Fu, F. Wang and M. Zaletel. AFY acknowledges support of the National Science Foundation under DMR1654186, and the Gordon and Betty Moore Foundation under award GBMF9471. The authors acknowledge the use of the research facilities within the California NanoSystems Institute, supported by the University of California, Santa Barbara and the University of California, Office of the President.\r\nK.W. and T.T. acknowledge support from the Elemental Strategy Initiative conducted by the MEXT, Japan, Grant Number JPMXP0112101001 and JSPS KAKENHI, Grant Number JP20H00354. EB and TH were supported by the European Research Council (ERC) under grant HQMAT (Grant Agreement No. 817799). A.G. acknowledges support by the European Unions Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement\r\nNo. 754411.\r\n","scopus_import":"1","publisher":"Springer Nature","department":[{"_id":"MaSe"},{"_id":"MiLe"}],"month":"09","isi":1,"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.00653"}],"type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1038/s41586-021-03938-w","date_published":"2021-09-01T00:00:00Z","language":[{"iso":"eng"}],"status":"public"},{"day":"08","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"arXiv","oa":1,"type":"preprint","author":[{"first_name":"Duc T","last_name":"Phan","id":"29C8C0B4-F248-11E8-B48F-1D18A9856A87","full_name":"Phan, Duc T"},{"first_name":"Jorden L","last_name":"Senior","orcid":"0000-0002-0672-9295","full_name":"Senior, Jorden L","id":"5479D234-2D30-11EA-89CC-40953DDC885E"},{"id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87","full_name":"Ghazaryan, Areg","orcid":"0000-0001-9666-3543","first_name":"Areg","last_name":"Ghazaryan"},{"full_name":"Hatefipour, M.","last_name":"Hatefipour","first_name":"M."},{"full_name":"Strickland, W. M.","first_name":"W. M.","last_name":"Strickland"},{"full_name":"Shabani, J.","first_name":"J.","last_name":"Shabani"},{"first_name":"Maksym","last_name":"Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","full_name":"Serbyn, Maksym","orcid":"0000-0002-2399-5827"},{"first_name":"Andrew P","last_name":"Higginbotham","id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","full_name":"Higginbotham, Andrew P","orcid":"0000-0003-2607-2363"}],"citation":{"chicago":"Phan, Duc T, Jorden L Senior, Areg Ghazaryan, M. Hatefipour, W. M. Strickland, J. Shabani, Maksym Serbyn, and Andrew P Higginbotham. “Breakdown of Induced P±ip Pairing in a Superconductor-Semiconductor Hybrid.” ArXiv, n.d.","ista":"Phan DT, Senior JL, Ghazaryan A, Hatefipour M, Strickland WM, Shabani J, Serbyn M, Higginbotham AP. Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv, 2107.03695.","mla":"Phan, Duc T., et al. “Breakdown of Induced P±ip Pairing in a Superconductor-Semiconductor Hybrid.” ArXiv, 2107.03695.","apa":"Phan, D. T., Senior, J. L., Ghazaryan, A., Hatefipour, M., Strickland, W. M., Shabani, J., … Higginbotham, A. P. (n.d.). Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv.","ieee":"D. T. Phan et al., “Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid,” arXiv. .","ama":"Phan DT, Senior JL, Ghazaryan A, et al. Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv.","short":"D.T. Phan, J.L. Senior, A. Ghazaryan, M. Hatefipour, W.M. Strickland, J. Shabani, M. Serbyn, A.P. Higginbotham, ArXiv (n.d.)."},"date_updated":"2024-02-21T12:36:52Z","article_number":"2107.03695","date_published":"2021-07-08T00:00:00Z","language":[{"iso":"eng"}],"project":[{"call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships"}],"external_id":{"arxiv":["2107.03695"]},"status":"public","title":"Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid","date_created":"2021-09-21T08:41:02Z","ec_funded":1,"acknowledgement":"This research was supported by the Scientific Service Units of IST Austria through resources provided by the MIBA Machine Shop and the nanofabrication facility. JS and AG were supported by funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement No.754411.","year":"2021","_id":"10029","arxiv":1,"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"main_file_link":[{"url":"https://arxiv.org/abs/2107.03695","open_access":"1"}],"oa_version":"Preprint","article_processing_charge":"No","publication_status":"submitted","related_material":{"record":[{"id":"10851","status":"public","relation":"later_version"},{"status":"public","id":"9636","relation":"research_data"}]},"department":[{"_id":"MaSe"},{"_id":"AnHi"},{"_id":"MiLe"}],"month":"07","abstract":[{"lang":"eng","text":"Superconductor-semiconductor hybrids are platforms for realizing effective p-wave superconductivity. Spin-orbit coupling, combined with the proximity effect, causes the two-dimensional semiconductor to inherit p±ip intraband pairing, and application of magnetic field can then result in transitions to the normal state, partial Bogoliubov Fermi surfaces, or topological phases with Majorana modes. Experimentally probing the hybrid superconductor-semiconductor interface is challenging due to the shunting effect of the conventional superconductor. Consequently, the nature of induced pairing remains an open question. Here, we use the circuit quantum electrodynamics architecture to probe induced superconductivity in a two dimensional Al-InAs hybrid system. We observe a strong suppression of superfluid density and enhanced dissipation driven by magnetic field, which cannot be accounted for by the depairing theory of an s-wave superconductor. These observations are explained by a picture of independent intraband p±ip superconductors giving way to partial Bogoliubov Fermi surfaces, and allow for the first characterization of key properties of the hybrid superconducting system."}]},{"title":"Discrete-to-continuum limits of transport problems and gradient flows in the space of measures","project":[{"name":"Dissipation and Dispersion in Nonlinear Partial Differential Equations","call_identifier":"FWF","_id":"260788DE-B435-11E9-9278-68D0E5697425"},{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems"}],"has_accepted_license":"1","date_updated":"2023-09-07T13:31:06Z","author":[{"id":"30AD2CBC-F248-11E8-B48F-1D18A9856A87","full_name":"Portinale, Lorenzo","first_name":"Lorenzo","last_name":"Portinale"}],"citation":{"mla":"Portinale, Lorenzo. Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10030.","ieee":"L. Portinale, “Discrete-to-continuum limits of transport problems and gradient flows in the space of measures,” Institute of Science and Technology Austria, 2021.","apa":"Portinale, L. (2021). Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10030","ama":"Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030","chicago":"Portinale, Lorenzo. “Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10030.","ista":"Portinale L. 2021. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria.","short":"L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021."},"supervisor":[{"last_name":"Maas","first_name":"Jan","full_name":"Maas, Jan","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0845-1338"}],"day":"22","oa":1,"publication_identifier":{"issn":["2663-337X"]},"related_material":{"record":[{"status":"public","id":"10022","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"9792","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"7573"}]},"publication_status":"published","abstract":[{"text":"This PhD thesis is primarily focused on the study of discrete transport problems, introduced for the first time in the seminal works of Maas [Maa11] and Mielke [Mie11] on finite state Markov chains and reaction-diffusion equations, respectively. More in detail, my research focuses on the study of transport costs on graphs, in particular the convergence and the stability of such problems in the discrete-to-continuum limit. This thesis also includes some results concerning\r\nnon-commutative optimal transport. The first chapter of this thesis consists of a general introduction to the optimal transport problems, both in the discrete, the continuous, and the non-commutative setting. Chapters 2 and 3 present the content of two works, obtained in collaboration with Peter Gladbach, Eva Kopfer, and Jan Maas, where we have been able to show the convergence of discrete transport costs on periodic graphs to suitable continuous ones, which can be described by means of a homogenisation result. We first focus on the particular case of quadratic costs on the real line and then extending the result to more general costs in arbitrary dimension. Our results are the first complete characterisation of limits of transport costs on periodic graphs in arbitrary dimension which do not rely on any additional symmetry. In Chapter 4 we turn our attention to one of the intriguing connection between evolution equations and optimal transport, represented by the theory of gradient flows. We show that discrete gradient flow structures associated to a finite volume approximation of a certain class of diffusive equations (Fokker–Planck) is stable in the limit of vanishing meshes, reproving the convergence of the scheme via the method of evolutionary Γ-convergence and exploiting a more variational point of view on the problem. This is based on a collaboration with Dominik Forkert and Jan Maas. Chapter 5 represents a change of perspective, moving away from the discrete world and reaching the non-commutative one. As in the discrete case, we discuss how classical tools coming from the commutative optimal transport can be translated into the setting of density matrices. In particular, in this final chapter we present a non-commutative version of the Schrödinger problem (or entropic regularised optimal transport problem) and discuss existence and characterisation of minimisers, a duality result, and present a non-commutative version of the well-known Sinkhorn algorithm to compute the above mentioned optimisers. This is based on a joint work with Dario Feliciangeli and Augusto Gerolin. Finally, Appendix A and B contain some additional material and discussions, with particular attention to Harnack inequalities and the regularity of flows on discrete spaces.","lang":"eng"}],"file":[{"date_updated":"2022-03-10T12:14:42Z","file_name":"tex_and_pictures.zip","file_id":"10032","relation":"source_file","date_created":"2021-09-21T09:17:34Z","access_level":"closed","creator":"cchlebak","checksum":"8cd60dcb8762e8f21867e21e8001e183","content_type":"application/x-zip-compressed","file_size":3876668},{"creator":"cchlebak","access_level":"open_access","checksum":"9789e9d967c853c1503ec7f307170279","content_type":"application/pdf","file_size":2532673,"date_updated":"2021-09-27T11:14:31Z","file_name":"thesis_portinale_Final (1).pdf","date_created":"2021-09-27T11:14:31Z","relation":"main_file","file_id":"10047"}],"article_processing_charge":"No","oa_version":"Published Version","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"date_created":"2021-09-21T09:14:15Z","_id":"10030","year":"2021","date_published":"2021-09-22T00:00:00Z","doi":"10.15479/at:ista:10030","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"language":[{"iso":"eng"}],"ddc":["515"],"alternative_title":["ISTA Thesis"],"type":"dissertation","file_date_updated":"2022-03-10T12:14:42Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","month":"09","publisher":"Institute of Science and Technology Austria","department":[{"_id":"GradSch"},{"_id":"JaMa"}],"degree_awarded":"PhD","acknowledgement":"The author gratefully acknowledges support by the Austrian Science Fund (FWF), grants No W1245."},{"acknowledgement":"The author would like to express his gratitude to D. Gaitsgory, without whose tireless guidance and encouragement in pursuing this problem, this work would not have been possible. The author is grateful to his advisor B.C. Ngô for many years of patient guidance and support. This paper is revised while the author is a postdoc in Hausel group at IST Austria. We thank him and the group for providing a wonderful research environment. The author also gratefully acknowledges the support of the Lise Meitner fellowship “Algebro-Geometric Applications of Factorization Homology,” Austrian Science Fund (FWF): M 2751.","scopus_import":"1","arxiv":1,"isi":1,"month":"09","publisher":"Elsevier","department":[{"_id":"TaHa"}],"file_date_updated":"2021-09-21T15:58:52Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","type":"journal_article","volume":392,"intvolume":" 392","ddc":["514"],"date_published":"2021-09-21T00:00:00Z","doi":"10.1016/j.aim.2021.107992","status":"public","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"language":[{"iso":"eng"}],"date_created":"2021-09-21T15:58:59Z","_id":"10033","year":"2021","quality_controlled":"1","article_processing_charge":"Yes (via OA deal)","keyword":["Chiral algebras","Chiral homology","Factorization algebras","Koszul duality","Ran space"],"oa_version":"Published Version","article_type":"original","publication_status":"published","abstract":[{"lang":"eng","text":"The ⊗*-monoidal structure on the category of sheaves on the Ran space is not pro-nilpotent in the sense of [3]. However, under some connectivity assumptions, we prove that Koszul duality induces an equivalence of categories and that this equivalence behaves nicely with respect to Verdier duality on the Ran space and integrating along the Ran space, i.e. taking factorization homology. Based on ideas sketched in [4], we show that these results also offer a simpler alternative to one of the two main steps in the proof of the Atiyah-Bott formula given in [7] and [5]."}],"file":[{"creator":"qho","access_level":"open_access","checksum":"f3c0086d41af11db31c00014efb38072","file_size":840635,"content_type":"application/pdf","date_updated":"2021-09-21T15:58:52Z","file_name":"1-s2.0-S000187082100431X-main.pdf","relation":"main_file","date_created":"2021-09-21T15:58:52Z","file_id":"10034"}],"day":"21","oa":1,"publication":"Advances in Mathematics","publication_identifier":{"issn":["0001-8708"],"eissn":["1090-2082"]},"citation":{"short":"Q.P. Ho, Advances in Mathematics 392 (2021).","mla":"Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” Advances in Mathematics, vol. 392, 107992, Elsevier, 2021, doi:10.1016/j.aim.2021.107992.","apa":"Ho, Q. P. (2021). The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. Elsevier. https://doi.org/10.1016/j.aim.2021.107992","ieee":"Q. P. Ho, “The Atiyah-Bott formula and connectivity in chiral Koszul duality,” Advances in Mathematics, vol. 392. Elsevier, 2021.","ama":"Ho QP. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 2021;392. doi:10.1016/j.aim.2021.107992","chicago":"Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” Advances in Mathematics. Elsevier, 2021. https://doi.org/10.1016/j.aim.2021.107992.","ista":"Ho QP. 2021. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 392, 107992."},"date_updated":"2023-08-14T06:54:35Z","author":[{"orcid":"0000-0001-6889-1418","full_name":"Ho, Quoc P","id":"3DD82E3C-F248-11E8-B48F-1D18A9856A87","last_name":"Ho","first_name":"Quoc P"}],"has_accepted_license":"1","article_number":"107992","external_id":{"arxiv":["1610.00212"],"isi":["000707040300031"]},"title":"The Atiyah-Bott formula and connectivity in chiral Koszul duality","project":[{"name":"Algebro-Geometric Applications of Factorization Homology","_id":"26B96266-B435-11E9-9278-68D0E5697425","grant_number":"M02751","call_identifier":"FWF"}]},{"has_accepted_license":"1","project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"682815","name":"Teaching Old Crypto New Tricks"}],"title":"On the adaptive security of graph-based games","publication_identifier":{"issn":["2663-337X"]},"oa":1,"day":"23","supervisor":[{"first_name":"Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","full_name":"Pietrzak, Krzysztof Z"}],"date_updated":"2023-10-17T09:24:07Z","author":[{"last_name":"Klein","first_name":"Karen","full_name":"Klein, Karen","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87"}],"citation":{"short":"K. Klein, On the Adaptive Security of Graph-Based Games, Institute of Science and Technology Austria, 2021.","ieee":"K. Klein, “On the adaptive security of graph-based games,” Institute of Science and Technology Austria, 2021.","ama":"Klein K. On the adaptive security of graph-based games. 2021. doi:10.15479/at:ista:10035","apa":"Klein, K. (2021). On the adaptive security of graph-based games. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:10035","mla":"Klein, Karen. On the Adaptive Security of Graph-Based Games. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10035.","ista":"Klein K. 2021. On the adaptive security of graph-based games. Institute of Science and Technology Austria.","chicago":"Klein, Karen. “On the Adaptive Security of Graph-Based Games.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/at:ista:10035."},"oa_version":"Published Version","article_processing_charge":"No","file":[{"file_name":"thesis_pdfa.pdf","file_id":"10082","date_created":"2021-10-04T12:22:33Z","relation":"main_file","success":1,"date_updated":"2021-10-04T12:22:33Z","checksum":"73a44345c683e81f3e765efbf86fdcc5","file_size":2104726,"content_type":"application/pdf","access_level":"open_access","creator":"cchlebak"},{"creator":"cchlebak","access_level":"closed","content_type":"application/x-zip-compressed","file_size":9538359,"checksum":"7b80df30a0e686c3ef6a56d4e1c59e29","date_updated":"2022-03-10T12:15:18Z","relation":"source_file","date_created":"2021-10-05T07:04:37Z","file_id":"10085","file_name":"thesis_final (1).zip"}],"abstract":[{"lang":"eng","text":"Many security definitions come in two flavors: a stronger “adaptive” flavor, where the adversary can arbitrarily make various choices during the course of the attack, and a weaker “selective” flavor where the adversary must commit to some or all of their choices a-priori. For example, in the context of identity-based encryption, selective security requires the adversary to decide on the identity of the attacked party at the very beginning of the game whereas adaptive security allows the attacker to first see the master public key and some secret keys before making this choice. Often, it appears to be much easier to achieve selective security than it is to achieve adaptive security. A series of several recent works shows how to cleverly achieve adaptive security in several such scenarios including generalized selective decryption [Pan07][FJP15], constrained PRFs [FKPR14], and Yao’s garbled circuits [JW16]. Although the above works expressed vague intuition that they share a common technique, the connection was never made precise. In this work we present a new framework (published at Crypto ’17 [JKK+17a]) that connects all of these works and allows us to present them in a unified and simplified fashion. Having the framework in place, we show how to achieve adaptive security for proxy re-encryption schemes (published at PKC ’19 [FKKP19]) and provide the first adaptive security proofs for continuous group key agreement protocols (published at S&P ’21 [KPW+21]). Questioning optimality of our framework, we then show that currently used proof techniques cannot lead to significantly better security guarantees for \"graph-building\" games (published at TCC ’21 [KKPW21a]). These games cover generalized selective decryption, as well as the security of prominent constructions for constrained PRFs, continuous group key agreement, and proxy re-encryption. Finally, we revisit the adaptive security of Yao’s garbled circuits and extend the analysis of Jafargholi and Wichs in two directions: While they prove adaptive security only for a modified construction with increased online complexity, we provide the first positive results for the original construction by Yao (published at TCC ’21 [KKP21a]). On the negative side, we prove that the results of Jafargholi and Wichs are essentially optimal by showing that no black-box reduction can provide a significantly better security bound (published at Crypto ’21 [KKPW21c])."}],"publication_status":"published","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"10044"},{"relation":"part_of_dissertation","id":"10049","status":"public"},{"relation":"part_of_dissertation","id":"637","status":"public"},{"id":"10041","status":"public","relation":"part_of_dissertation"},{"status":"public","id":"6430","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"10048","status":"public"}]},"year":"2021","_id":"10035","date_created":"2021-09-23T07:31:44Z","ec_funded":1,"ddc":["519"],"alternative_title":["ISTA Thesis"],"language":[{"iso":"eng"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"status":"public","doi":"10.15479/at:ista:10035","date_published":"2021-09-23T00:00:00Z","user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","file_date_updated":"2022-03-10T12:15:18Z","type":"dissertation","degree_awarded":"PhD","publisher":"Institute of Science and Technology Austria","department":[{"_id":"GradSch"},{"_id":"KrPi"}],"month":"09","acknowledgement":"I want to acknowledge the funding by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (682815 - TOCNeT).\r\n","page":"276"},{"citation":{"short":"C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, D. Wichs, in:, 41st Annual International Cryptology Conference, Part II , Springer Nature, Cham, 2021, pp. 486–515.","mla":"Kamath Hosdurg, Chethan, et al. “Limits on the Adaptive Security of Yao’s Garbling.” 41st Annual International Cryptology Conference, Part II , vol. 12826, Springer Nature, 2021, pp. 486–515, doi:10.1007/978-3-030-84245-1_17.","ieee":"C. Kamath Hosdurg, K. Klein, K. Z. Pietrzak, and D. Wichs, “Limits on the Adaptive Security of Yao’s Garbling,” in 41st Annual International Cryptology Conference, Part II , Virtual, 2021, vol. 12826, pp. 486–515.","ama":"Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. Limits on the Adaptive Security of Yao’s Garbling. In: 41st Annual International Cryptology Conference, Part II . Vol 12826. Cham: Springer Nature; 2021:486-515. doi:10.1007/978-3-030-84245-1_17","apa":"Kamath Hosdurg, C., Klein, K., Pietrzak, K. Z., & Wichs, D. (2021). Limits on the Adaptive Security of Yao’s Garbling. In 41st Annual International Cryptology Conference, Part II (Vol. 12826, pp. 486–515). Cham: Springer Nature. https://doi.org/10.1007/978-3-030-84245-1_17","chicago":"Kamath Hosdurg, Chethan, Karen Klein, Krzysztof Z Pietrzak, and Daniel Wichs. “Limits on the Adaptive Security of Yao’s Garbling.” In 41st Annual International Cryptology Conference, Part II , 12826:486–515. Cham: Springer Nature, 2021. https://doi.org/10.1007/978-3-030-84245-1_17.","ista":"Kamath Hosdurg C, Klein K, Pietrzak KZ, Wichs D. 2021. Limits on the Adaptive Security of Yao’s Garbling. 41st Annual International Cryptology Conference, Part II . CRYPTO: Annual International Cryptology Conference, LCNS, vol. 12826, 486–515."},"date_updated":"2023-09-07T13:32:11Z","author":[{"id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","full_name":"Kamath Hosdurg, Chethan","first_name":"Chethan","last_name":"Kamath Hosdurg"},{"first_name":"Karen","last_name":"Klein","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87","full_name":"Klein, Karen"},{"orcid":"0000-0002-9139-1654","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","first_name":"Krzysztof Z"},{"first_name":"Daniel","last_name":"Wichs","full_name":"Wichs, Daniel"}],"day":"11","publication_identifier":{"issn":["0302-9743"],"isbn":["978-3-030-84244-4"],"eissn":["1611-3349"],"eisbn":["978-3-030-84245-1"]},"publication":"41st Annual International Cryptology Conference, Part II ","oa":1,"project":[{"name":"Teaching Old Crypto New Tricks","grant_number":"682815","_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"title":"Limits on the Adaptive Security of Yao’s Garbling","ec_funded":1,"date_created":"2021-09-23T14:06:15Z","year":"2021","_id":"10041","related_material":{"record":[{"id":"10035","status":"public","relation":"dissertation_contains"}]},"publication_status":"published","abstract":[{"lang":"eng","text":"Yao’s garbling scheme is one of the most fundamental cryptographic constructions. Lindell and Pinkas (Journal of Cryptograhy 2009) gave a formal proof of security in the selective setting where the adversary chooses the challenge inputs before seeing the garbled circuit assuming secure symmetric-key encryption (and hence one-way functions). This was followed by results, both positive and negative, concerning its security in the, stronger, adaptive setting. Applebaum et al. (Crypto 2013) showed that it cannot satisfy adaptive security as is, due to a simple incompressibility argument. Jafargholi and Wichs (TCC 2017) considered a natural adaptation of Yao’s scheme (where the output mapping is sent in the online phase, together with the garbled input) that circumvents this negative result, and proved that it is adaptively secure, at least for shallow circuits. In particular, they showed that for the class of circuits of depth δ , the loss in security is at most exponential in δ . The above results all concern the simulation-based notion of security. In this work, we show that the upper bound of Jafargholi and Wichs is basically optimal in a strong sense. As our main result, we show that there exists a family of Boolean circuits, one for each depth δ∈N , such that any black-box reduction proving the adaptive indistinguishability of the natural adaptation of Yao’s scheme from any symmetric-key encryption has to lose a factor that is exponential in δ√ . Since indistinguishability is a weaker notion than simulation, our bound also applies to adaptive simulation. To establish our results, we build on the recent approach of Kamath et al. (Eprint 2021), which uses pebbling lower bounds in conjunction with oracle separations to prove fine-grained lower bounds on loss in cryptographic security."}],"quality_controlled":"1","oa_version":"Preprint","article_processing_charge":"No","type":"conference","volume":12826,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","doi":"10.1007/978-3-030-84245-1_17","date_published":"2021-08-11T00:00:00Z","language":[{"iso":"eng"}],"status":"public","intvolume":" 12826","alternative_title":["LCNS"],"conference":{"end_date":"2021-08-20","name":"CRYPTO: Annual International Cryptology Conference","start_date":"2021-08-16","location":"Virtual"},"page":"486-515","place":"Cham","acknowledgement":"We would like to thank the anonymous reviewers of Crypto’21 whose detailed comments helped us considerably improve the presentation of the paper.","publisher":"Springer Nature","department":[{"_id":"KrPi"}],"month":"08","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2021/945"}]},{"article_number":"2021/926","date_published":"2021-07-08T00:00:00Z","language":[{"iso":"eng"}],"project":[{"_id":"258AA5B2-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"682815","name":"Teaching Old Crypto New Tricks"}],"title":"On treewidth, separators and Yao's garbling","status":"public","day":"08","publication":"19th Theory of Cryptography Conference 2021","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","oa":1,"type":"conference","author":[{"last_name":"Kamath Hosdurg","first_name":"Chethan","id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","full_name":"Kamath Hosdurg, Chethan"},{"last_name":"Klein","first_name":"Karen","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87","full_name":"Klein, Karen"},{"full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9139-1654","last_name":"Pietrzak","first_name":"Krzysztof Z"}],"citation":{"short":"C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.","mla":"Kamath Hosdurg, Chethan, et al. “On Treewidth, Separators and Yao’s Garbling.” 19th Theory of Cryptography Conference 2021, 2021/926, International Association for Cryptologic Research, 2021.","apa":"Kamath Hosdurg, C., Klein, K., & Pietrzak, K. Z. (2021). On treewidth, separators and Yao’s garbling. In 19th Theory of Cryptography Conference 2021. Raleigh, NC, United States: International Association for Cryptologic Research.","ama":"Kamath Hosdurg C, Klein K, Pietrzak KZ. On treewidth, separators and Yao’s garbling. In: 19th Theory of Cryptography Conference 2021. International Association for Cryptologic Research; 2021.","ieee":"C. Kamath Hosdurg, K. Klein, and K. Z. Pietrzak, “On treewidth, separators and Yao’s garbling,” in 19th Theory of Cryptography Conference 2021, Raleigh, NC, United States, 2021.","chicago":"Kamath Hosdurg, Chethan, Karen Klein, and Krzysztof Z Pietrzak. “On Treewidth, Separators and Yao’s Garbling.” In 19th Theory of Cryptography Conference 2021. International Association for Cryptologic Research, 2021.","ista":"Kamath Hosdurg C, Klein K, Pietrzak KZ. 2021. On treewidth, separators and Yao’s garbling. 19th Theory of Cryptography Conference 2021. TCC: Theory of Cryptography Conference, 2021/926."},"date_updated":"2023-09-07T13:32:11Z","quality_controlled":"1","main_file_link":[{"url":"https://eprint.iacr.org/2021/926","open_access":"1"}],"oa_version":"Preprint","article_processing_charge":"No","publisher":"International Association for Cryptologic Research","related_material":{"record":[{"relation":"later_version","id":"10409","status":"public"},{"status":"public","id":"10035","relation":"dissertation_contains"}]},"department":[{"_id":"KrPi"}],"publication_status":"published","month":"07","abstract":[{"lang":"eng","text":"We show that Yao’s garbling scheme is adaptively indistinguishable for the class of Boolean circuits of size S and treewidth w with only a S^O(w) loss in security. For instance, circuits with constant treewidth are as a result adaptively indistinguishable with only a polynomial loss. This (partially) complements a negative result of Applebaum et al. (Crypto 2013), which showed (assuming one-way functions) that Yao’s garbling scheme cannot be adaptively simulatable. As main technical contributions, we introduce a new pebble game that abstracts out our security reduction and then present a pebbling strategy for this game where the number of pebbles used is roughly O(d w log(S)), d being the fan-out of the circuit. The design of the strategy relies on separators, a graph-theoretic notion with connections to circuit complexity."}],"ec_funded":1,"date_created":"2021-09-24T12:01:34Z","acknowledgement":"We would like to thank Daniel Wichs for helpful discussions on the landscape of adaptive security of Yao’s garbling. ","year":"2021","_id":"10044","conference":{"location":"Raleigh, NC, United States","name":"TCC: Theory of Cryptography Conference","start_date":"2021-11-08","end_date":"2021-11-11"}},{"main_file_link":[{"url":" https://doi.org/10.48550/arXiv.2109.10203","open_access":"1"}],"month":"09","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"arxiv":1,"ddc":["004"],"status":"public","language":[{"iso":"eng"}],"date_published":"2021-09-21T00:00:00Z","doi":"10.48550/arXiv.2109.10203","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file_date_updated":"2021-09-27T10:54:51Z","type":"preprint","keyword":["minimum 0-extension problem","metric labeling problem","discrete metric spaces","metric extensions","computational complexity","valued constraint satisfaction problems","discrete convex analysis","L-convex functions"],"article_processing_charge":"No","oa_version":"Preprint","abstract":[{"lang":"eng","text":"Given a fixed finite metric space (V,μ), the {\\em minimum 0-extension problem}, denoted as 0-Ext[μ], is equivalent to the following optimization problem: minimize function of the form minx∈Vn∑ifi(xi)+∑ijcijμ(xi,xj) where cij,cvi are given nonnegative costs and fi:V→R are functions given by fi(xi)=∑v∈Vcviμ(xi,v). The computational complexity of 0-Ext[μ] has been recently established by Karzanov and by Hirai: if metric μ is {\\em orientable modular} then 0-Ext[μ] can be solved in polynomial time, otherwise 0-Ext[μ] is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as L♮-convex functions. We consider a more general version of the problem in which unary functions fi(xi) can additionally have terms of the form cuv;iμ(xi,{u,v}) for {u,v}∈F, where set F⊆(V2) is fixed. We extend the complexity classification above by providing an explicit condition on (μ,F) for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving 0-Ext on orientable modular graphs.\r\n"}],"file":[{"date_updated":"2021-09-27T10:54:51Z","file_id":"10046","relation":"main_file","date_created":"2021-09-27T10:54:51Z","success":1,"file_name":"Generalized-0-Ext.pdf","access_level":"open_access","creator":"mdvorak","content_type":"application/pdf","file_size":603672,"checksum":"e7e83065f7bc18b9c188bf93b5ca5db6"}],"publication_status":"submitted","_id":"10045","year":"2021","date_created":"2021-09-27T10:48:23Z","article_number":"2109.10203","has_accepted_license":"1","external_id":{"arxiv":["2109.10203"]},"title":"Generalized minimum 0-extension problem and discrete convexity","oa":1,"publication":"arXiv","day":"21","author":[{"first_name":"Martin","last_name":"Dvorak","orcid":"0000-0001-5293-214X","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","full_name":"Dvorak, Martin"},{"last_name":"Kolmogorov","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir"}],"citation":{"short":"M. Dvorak, V. Kolmogorov, ArXiv (n.d.).","chicago":"Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2109.10203.","ista":"Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. arXiv, 2109.10203.","mla":"Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” ArXiv, 2109.10203, doi:10.48550/arXiv.2109.10203.","ieee":"M. Dvorak and V. Kolmogorov, “Generalized minimum 0-extension problem and discrete convexity,” arXiv. .","ama":"Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. arXiv. doi:10.48550/arXiv.2109.10203","apa":"Dvorak, M., & Kolmogorov, V. (n.d.). Generalized minimum 0-extension problem and discrete convexity. arXiv. https://doi.org/10.48550/arXiv.2109.10203"},"date_updated":"2023-05-03T10:40:16Z"}]