[{"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"date_created":"2023-06-18T22:00:46Z","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2023-04-27","location":"Paris, France","start_date":"2023-04-22"},"alternative_title":["LNCS"],"title":"Correct approximation of stationary distributions","scopus_import":"1","abstract":[{"text":"A classical problem for Markov chains is determining their stationary (or steady-state) distribution. This problem has an equally classical solution based on eigenvectors and linear equation systems. However, this approach does not scale to large instances, and iterative solutions are desirable. It turns out that a naive approach, as used by current model checkers, may yield completely wrong results. We present a new approach, which utilizes recent advances in partial exploration and mean payoff computation to obtain a correct, converging approximation.","lang":"eng"}],"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":13993,"intvolume":"     13993","oa_version":"Published Version","quality_controlled":"1","doi":"10.1007/978-3-031-30823-9_25","related_material":{"record":[{"id":"14990","status":"public","relation":"research_data"}]},"citation":{"ama":"Meggendorfer T. Correct approximation of stationary distributions. In: <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 13993. Springer Nature; 2023:489-507. doi:<a href=\"https://doi.org/10.1007/978-3-031-30823-9_25\">10.1007/978-3-031-30823-9_25</a>","ieee":"T. Meggendorfer, “Correct approximation of stationary distributions,” in <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>, Paris, France, 2023, vol. 13993, pp. 489–507.","short":"T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.","ista":"Meggendorfer T. 2023. Correct approximation of stationary distributions. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 489–507.","apa":"Meggendorfer, T. (2023). Correct approximation of stationary distributions. In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-30823-9_25\">https://doi.org/10.1007/978-3-031-30823-9_25</a>","chicago":"Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>, 13993:489–507. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-30823-9_25\">https://doi.org/10.1007/978-3-031-30823-9_25</a>.","mla":"Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:<a href=\"https://doi.org/10.1007/978-3-031-30823-9_25\">10.1007/978-3-031-30823-9_25</a>."},"day":"22","type":"conference","arxiv":1,"_id":"13139","date_updated":"2024-02-27T07:19:33Z","publication_status":"published","article_processing_charge":"No","page":"489-507","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2023-04-22T00:00:00Z","ddc":["000"],"status":"public","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031308222"],"issn":["0302-9743"]},"year":"2023","author":[{"full_name":"Meggendorfer, Tobias","first_name":"Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"}],"external_id":{"arxiv":["2301.08137"]},"oa":1,"month":"04","file":[{"success":1,"content_type":"application/pdf","relation":"main_file","checksum":"59f707a3949c03793251b0d04c62542a","file_size":521951,"date_created":"2023-06-19T07:18:40Z","file_name":"2023_LNCS_Meggendorfer.pdf","file_id":"13148","date_updated":"2023-06-19T07:18:40Z","creator":"dernst","access_level":"open_access"}],"publication":"TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems","file_date_updated":"2023-06-19T07:18:40Z","publisher":"Springer Nature","has_accepted_license":"1"},{"date_updated":"2023-06-19T08:49:46Z","publication_status":"published","_id":"13141","oa":1,"author":[{"full_name":"Anand, Ashwani","first_name":"Ashwani","last_name":"Anand"},{"id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","last_name":"Mallik","orcid":"0000-0001-9864-7475","full_name":"Mallik, Kaushik","first_name":"Kaushik"},{"last_name":"Nayak","first_name":"Satya Prakash","full_name":"Nayak, Satya Prakash"},{"full_name":"Schmuck, Anne Kathrin","first_name":"Anne Kathrin","last_name":"Schmuck"}],"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"211-228","date_published":"2023-04-20T00:00:00Z","ddc":["000"],"status":"public","year":"2023","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031308192"],"issn":["0302-9743"]},"publication":"TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems","month":"04","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"file_size":521425,"checksum":"60dcafc1b4f6f070be43bad3fe877974","file_name":"2023_LNCS_Anand.pdf","date_created":"2023-06-19T08:43:21Z","access_level":"open_access","creator":"dernst","date_updated":"2023-06-19T08:43:21Z","file_id":"13151"}],"publisher":"Springer Nature","has_accepted_license":"1","file_date_updated":"2023-06-19T08:43:21Z","alternative_title":["LNCS"],"title":"Computing adequately permissive assumptions for synthesis","scopus_import":"1","department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2023-04-27","location":"Paris, France","start_date":"2023-04-22"},"date_created":"2023-06-18T22:00:47Z","intvolume":"     13994","volume":13994,"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"abstract":[{"lang":"eng","text":"We automatically compute a new class of environment assumptions in two-player turn-based finite graph games which characterize an “adequate cooperation” needed from the environment to allow the system player to win. Given an ω-regular winning condition Φ for the system player, we compute an ω-regular assumption Ψ for the environment player, such that (i) every environment strategy compliant with Ψ allows the system to fulfill Φ (sufficiency), (ii) Ψ\r\n can be fulfilled by the environment for every strategy of the system (implementability), and (iii) Ψ does not prevent any cooperative strategy choice (permissiveness).\r\nFor parity games, which are canonical representations of ω-regular games, we present a polynomial-time algorithm for the symbolic computation of adequately permissive assumptions and show that our algorithm runs faster and produces better assumptions than existing approaches—both theoretically and empirically. To the best of our knowledge, for ω\r\n-regular games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also permissive."}],"doi":"10.1007/978-3-031-30820-8_15","quality_controlled":"1","oa_version":"Published Version","citation":{"ama":"Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 13994. Springer Nature; 2023:211-228. doi:<a href=\"https://doi.org/10.1007/978-3-031-30820-8_15\">10.1007/978-3-031-30820-8_15</a>","short":"A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.","ieee":"A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>, Paris, France, 2023, vol. 13994, pp. 211–228.","chicago":"Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>, 13994:211–28. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-30820-8_15\">https://doi.org/10.1007/978-3-031-30820-8_15</a>.","apa":"Anand, A., Mallik, K., Nayak, S. P., &#38; Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-30820-8_15\">https://doi.org/10.1007/978-3-031-30820-8_15</a>","ista":"Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.","mla":"Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” <i>TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:<a href=\"https://doi.org/10.1007/978-3-031-30820-8_15\">10.1007/978-3-031-30820-8_15</a>."},"day":"20","type":"conference"},{"oa_version":"Published Version","quality_controlled":"1","doi":"10.1007/978-3-031-30823-9_1","type":"conference","day":"22","citation":{"mla":"Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” <i>Tools and Algorithms for the Construction and Analysis of Systems </i>, vol. 13993, Springer Nature, 2023, pp. 3–25, doi:<a href=\"https://doi.org/10.1007/978-3-031-30823-9_1\">10.1007/978-3-031-30823-9_1</a>.","ieee":"K. Chatterjee, T. A. Henzinger, M. Lechner, and D. Zikelic, “A learner-verifier framework for neural network controllers and certificates of stochastic systems,” in <i>Tools and Algorithms for the Construction and Analysis of Systems </i>, Paris, France, 2023, vol. 13993, pp. 3–25.","short":"K. Chatterjee, T.A. Henzinger, M. Lechner, D. Zikelic, in:, Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2023, pp. 3–25.","ama":"Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: <i>Tools and Algorithms for the Construction and Analysis of Systems </i>. Vol 13993. Springer Nature; 2023:3-25. doi:<a href=\"https://doi.org/10.1007/978-3-031-30823-9_1\">10.1007/978-3-031-30823-9_1</a>","ista":"Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. A learner-verifier framework for neural network controllers and certificates of stochastic systems. Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 3–25.","apa":"Chatterjee, K., Henzinger, T. A., Lechner, M., &#38; Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In <i>Tools and Algorithms for the Construction and Analysis of Systems </i> (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-30823-9_1\">https://doi.org/10.1007/978-3-031-30823-9_1</a>","chicago":"Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” In <i>Tools and Algorithms for the Construction and Analysis of Systems </i>, 13993:3–25. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-30823-9_1\">https://doi.org/10.1007/978-3-031-30823-9_1</a>."},"date_created":"2023-06-18T22:00:47Z","conference":{"start_date":"2023-04-22","end_date":"2023-04-27","location":"Paris, France","name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"language":[{"iso":"eng"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"scopus_import":"1","title":"A learner-verifier framework for neural network controllers and certificates of stochastic systems","alternative_title":["LNCS"],"volume":13993,"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"abstract":[{"lang":"eng","text":"Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for stochastic control systems and survey recent methods that formally guarantee a conjunction of reachability and safety properties. Given a property and a lower bound on the probability of the property being satisfied, our framework jointly learns a control policy and a formal certificate to ensure the satisfaction of the property with a desired probability threshold. Both the control policy and the formal certificate are continuous functions from states to reals, which are learned as parameterized neural networks. While in the deterministic case, the certificates are invariant and barrier functions for safety, or Lyapunov and ranking functions for liveness, in the stochastic case the certificates are supermartingales. For certificate verification, we use interval arithmetic abstract interpretation to bound the expected values of neural network functions."}],"intvolume":"     13993","file":[{"file_size":528455,"checksum":"3d8a8bb24d211bc83360dfc2fd744307","content_type":"application/pdf","relation":"main_file","success":1,"file_id":"13150","access_level":"open_access","creator":"dernst","date_updated":"2023-06-19T08:29:30Z","date_created":"2023-06-19T08:29:30Z","file_name":"2023_LNCS_Chatterjee.pdf"}],"month":"04","publication":"Tools and Algorithms for the Construction and Analysis of Systems ","file_date_updated":"2023-06-19T08:29:30Z","has_accepted_license":"1","publisher":"Springer Nature","_id":"13142","publication_status":"published","ec_funded":1,"project":[{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"}],"date_updated":"2025-07-14T09:09:52Z","year":"2023","publication_identifier":{"isbn":["9783031308222"],"eissn":["1611-3349"],"issn":["0302-9743"]},"ddc":["000"],"status":"public","date_published":"2023-04-22T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"3-25","article_processing_charge":"No","author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"full_name":"Lechner, Mathias","first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner"},{"orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","first_name":"Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic"}],"oa":1,"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093, ERC CoG 863818 (FoRM-SMArt) and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 665385."},{"main_file_link":[{"url":"https://eprint.iacr.org/2023/238","open_access":"1"}],"day":"02","type":"conference","citation":{"ista":"Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. 2023. Certifying giant nonprimes. Public-Key Cryptography - PKC 2023. PKC: Public-Key Cryptography, LNCS, vol. 13940, 530–553.","apa":"Hoffmann, C., Hubáček, P., Kamath, C., &#38; Pietrzak, K. Z. (2023). Certifying giant nonprimes. In <i>Public-Key Cryptography - PKC 2023</i> (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">https://doi.org/10.1007/978-3-031-31368-4_19</a>","chicago":"Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In <i>Public-Key Cryptography - PKC 2023</i>, 13940:530–53. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">https://doi.org/10.1007/978-3-031-31368-4_19</a>.","ieee":"C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in <i>Public-Key Cryptography - PKC 2023</i>, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553.","ama":"Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: <i>Public-Key Cryptography - PKC 2023</i>. Vol 13940. Springer Nature; 2023:530-553. doi:<a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">10.1007/978-3-031-31368-4_19</a>","short":"C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553.","mla":"Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” <i>Public-Key Cryptography - PKC 2023</i>, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:<a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">10.1007/978-3-031-31368-4_19</a>."},"quality_controlled":"1","doi":"10.1007/978-3-031-31368-4_19","oa_version":"Submitted Version","intvolume":"     13940","volume":13940,"abstract":[{"text":"GIMPS and PrimeGrid are large-scale distributed projects dedicated to searching giant prime numbers, usually of special forms like Mersenne and Proth primes. The numbers in the current search-space are millions of digits large and the participating volunteers need to run resource-consuming primality tests. Once a candidate prime N has been found, the only way for another party to independently verify the primality of N used to be by repeating the expensive primality test. To avoid the need for second recomputation of each primality test, these projects have recently adopted certifying mechanisms that enable efficient verification of performed tests. However, the mechanisms presently in place only detect benign errors and there is no guarantee against adversarial behavior: a malicious volunteer can mislead the project to reject a giant prime as being non-prime.\r\nIn this paper, we propose a practical, cryptographically-sound mechanism for certifying the non-primality of Proth numbers. That is, a volunteer can – parallel to running the primality test for N – generate an efficiently verifiable proof at a little extra cost certifying that N is not prime. The interactive protocol has statistical soundness and can be made non-interactive using the Fiat-Shamir heuristic.\r\nOur approach is based on a cryptographic primitive called Proof of Exponentiation (PoE) which, for a group G, certifies that a tuple (x,y,T)∈G2×N satisfies x2T=y (Pietrzak, ITCS 2019 and Wesolowski, J. Cryptol. 2020). In particular, we show how to adapt Pietrzak’s PoE at a moderate additional cost to make it a cryptographically-sound certificate of non-primality.","lang":"eng"}],"scopus_import":"1","title":"Certifying giant nonprimes","alternative_title":["LNCS"],"date_created":"2023-06-18T22:00:47Z","conference":{"name":"PKC: Public-Key Cryptography","location":"Atlanta, GA, United States","end_date":"2023-05-10","start_date":"2023-05-07"},"language":[{"iso":"eng"}],"department":[{"_id":"KrPi"}],"publisher":"Springer Nature","publication":"Public-Key Cryptography - PKC 2023","month":"05","oa":1,"author":[{"full_name":"Hoffmann, Charlotte","first_name":"Charlotte","id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","last_name":"Hoffmann"},{"full_name":"Hubáček, Pavel","first_name":"Pavel","last_name":"Hubáček"},{"last_name":"Kamath","full_name":"Kamath, Chethan","first_name":"Chethan"},{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z"}],"acknowledgement":"We are grateful to Pavel Atnashev for clarifying via e-mail several aspects of the primality tests implementated in the PrimeGrid project. Pavel Hubáček is supported by the Czech Academy of Sciences (RVO 67985840), the Grant Agency of the Czech Republic under the grant agreement no. 19-27871X, and by the Charles University project UNCE/SCI/004. Chethan Kamath is supported by Azrieli International Postdoctoral Fellowship, ISF grants 484/18 and 1789/19, and ERC StG project SPP: Secrecy Preserving Proofs.","publication_identifier":{"isbn":["9783031313677"],"eissn":["1611-3349"],"issn":["0302-9743"]},"year":"2023","date_published":"2023-05-02T00:00:00Z","status":"public","page":"530-553","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","publication_status":"published","date_updated":"2023-06-19T08:03:37Z","_id":"13143"},{"title":"A Mecke-type characterization of the Dirichlet–Ferguson measure","scopus_import":"1","language":[{"iso":"eng"}],"date_created":"2023-06-18T22:00:48Z","department":[{"_id":"JaMa"}],"intvolume":"        28","article_type":"original","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"abstract":[{"text":"We prove a characterization of the Dirichlet–Ferguson measure over an arbitrary finite diffuse measure space. We provide an interpretation of this characterization in analogy with the Mecke identity for Poisson point processes.","lang":"eng"}],"volume":28,"doi":"10.1214/23-ECP528","quality_controlled":"1","oa_version":"Published Version","day":"05","type":"journal_article","citation":{"apa":"Dello Schiavo, L., &#38; Lytvynov, E. (2023). A Mecke-type characterization of the Dirichlet–Ferguson measure. <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/23-ECP528\">https://doi.org/10.1214/23-ECP528</a>","chicago":"Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” <i>Electronic Communications in Probability</i>. Institute of Mathematical Statistics, 2023. <a href=\"https://doi.org/10.1214/23-ECP528\">https://doi.org/10.1214/23-ECP528</a>.","ista":"Dello Schiavo L, Lytvynov E. 2023. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 28, 1–12.","ama":"Dello Schiavo L, Lytvynov E. A Mecke-type characterization of the Dirichlet–Ferguson measure. <i>Electronic Communications in Probability</i>. 2023;28:1-12. doi:<a href=\"https://doi.org/10.1214/23-ECP528\">10.1214/23-ECP528</a>","short":"L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12.","ieee":"L. Dello Schiavo and E. Lytvynov, “A Mecke-type characterization of the Dirichlet–Ferguson measure,” <i>Electronic Communications in Probability</i>, vol. 28. Institute of Mathematical Statistics, pp. 1–12, 2023.","mla":"Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” <i>Electronic Communications in Probability</i>, vol. 28, Institute of Mathematical Statistics, 2023, pp. 1–12, doi:<a href=\"https://doi.org/10.1214/23-ECP528\">10.1214/23-ECP528</a>."},"publication_status":"published","date_updated":"2023-12-13T11:24:57Z","project":[{"grant_number":"E208","_id":"34dbf174-11ca-11ed-8bc3-afe9d43d4b9c","name":"Configuration Spaces over Non-Smooth Spaces"}],"_id":"13145","author":[{"orcid":"0000-0002-9881-6870","full_name":"Dello Schiavo, Lorenzo","first_name":"Lorenzo","last_name":"Dello Schiavo","id":"ECEBF480-9E4F-11EA-B557-B0823DDC885E"},{"first_name":"Eugene","full_name":"Lytvynov, Eugene","last_name":"Lytvynov"}],"external_id":{"isi":["001042025400001"]},"isi":1,"oa":1,"acknowledgement":"Research supported by the Sfb 1060 The Mathematics of Emergent Effects (University of Bonn). L.D.S. gratefully acknowledges funding of his current position by the Austrian Science Fund (FWF) through project ESPRIT 208.","date_published":"2023-05-05T00:00:00Z","ddc":["510"],"status":"public","publication_identifier":{"eissn":["1083-589X"]},"year":"2023","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"1-12","publication":"Electronic Communications in Probability","file":[{"success":1,"content_type":"application/pdf","relation":"main_file","checksum":"4a543fe4b3f9e747cc52167c17bfb524","file_size":271434,"file_name":"2023_ElectronCommProbability_Schiavo.pdf","date_created":"2023-06-19T09:37:40Z","date_updated":"2023-06-19T09:37:40Z","creator":"dernst","access_level":"open_access","file_id":"13152"}],"month":"05","has_accepted_license":"1","publisher":"Institute of Mathematical Statistics","file_date_updated":"2023-06-19T09:37:40Z"},{"abstract":[{"lang":"eng","text":"Molecular compatibility between gametes is a prerequisite for successful fertilization. As long as a sperm and egg can recognize and bind each other via their surface proteins, gamete fusion may occur even between members of separate species, resulting in hybrids that can impact speciation. The egg membrane protein Bouncer confers species specificity to gamete interactions between medaka and zebrafish, preventing their cross-fertilization. Here, we leverage this specificity to uncover distinct amino acid residues and N-glycosylation patterns that differentially influence the function of medaka and zebrafish Bouncer and contribute to cross-species incompatibility. Curiously, in contrast to the specificity observed for medaka and zebrafish Bouncer, seahorse and fugu Bouncer are compatible with both zebrafish and medaka sperm, in line with the pervasive purifying selection that dominates Bouncer’s evolution. The Bouncer-sperm interaction is therefore the product of seemingly opposing evolutionary forces that, for some species, restrict fertilization to closely related fish, and for others, allow broad gamete compatibility that enables hybridization."}],"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":14,"article_number":"3506","article_type":"original","intvolume":"        14","department":[{"_id":"FyKo"}],"date_created":"2023-06-25T22:00:45Z","language":[{"iso":"eng"}],"scopus_import":"1","title":"Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries","citation":{"ama":"Gert KRB, Panser K, Surm J, et al. Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. <i>Nature Communications</i>. 2023;14. doi:<a href=\"https://doi.org/10.1038/s41467-023-39317-4\">10.1038/s41467-023-39317-4</a>","ieee":"K. R. B. Gert <i>et al.</i>, “Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries,” <i>Nature Communications</i>, vol. 14. Springer Nature, 2023.","short":"K.R.B. Gert, K. Panser, J. Surm, B.S. Steinmetz, A. Schleiffer, L. Jovine, Y. Moran, F. Kondrashov, A. Pauli, Nature Communications 14 (2023).","ista":"Gert KRB, Panser K, Surm J, Steinmetz BS, Schleiffer A, Jovine L, Moran Y, Kondrashov F, Pauli A. 2023. Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. 14, 3506.","apa":"Gert, K. R. B., Panser, K., Surm, J., Steinmetz, B. S., Schleiffer, A., Jovine, L., … Pauli, A. (2023). Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-023-39317-4\">https://doi.org/10.1038/s41467-023-39317-4</a>","chicago":"Gert, Krista R.B., Karin Panser, Joachim Surm, Benjamin S. Steinmetz, Alexander Schleiffer, Luca Jovine, Yehu Moran, Fyodor Kondrashov, and Andrea Pauli. “Divergent Molecular Signatures in Fish Bouncer Proteins Define Cross-Fertilization Boundaries.” <i>Nature Communications</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41467-023-39317-4\">https://doi.org/10.1038/s41467-023-39317-4</a>.","mla":"Gert, Krista R. B., et al. “Divergent Molecular Signatures in Fish Bouncer Proteins Define Cross-Fertilization Boundaries.” <i>Nature Communications</i>, vol. 14, 3506, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1038/s41467-023-39317-4\">10.1038/s41467-023-39317-4</a>."},"type":"journal_article","day":"14","oa_version":"Published Version","quality_controlled":"1","doi":"10.1038/s41467-023-39317-4","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","year":"2023","publication_identifier":{"eissn":["2041-1723"]},"status":"public","date_published":"2023-06-14T00:00:00Z","ddc":["570"],"acknowledgement":"We thank Manfred Schartl for sharing RNA-seq data from medaka ovaries and testes prior to publication; Maria Novatchkova for help with RNA-seq analysis; Katharina Lust for advice on medaka techniques; Milan Malinsky for input on Lake Malawi cichlid Bouncer sequences; Felicia Spitzer, Mirjam Binner, and Anna Bandura for help with genotyping; Friedrich Puhl, Kerstin Rattner, Julia Koenig, and Dijana Sunjic for taking care of zebrafish and medaka; and the Pauli lab for helpful discussions about the project and feedback on the manuscript. K.R.B.G. was supported by a DOC Fellowship from the Austrian Academy of Sciences. Work in the Pauli lab was supported by the FWF START program (Y 1031-B28 to A.P.), the ERC CoG 101044495/GaMe, the HFSP Career Development Award (CDA00066/2015 to A.P.), a HFSP Young Investigator Award (RGY0079/2020 to A.P.) and the FWF SFB RNA-Deco (project number F80). The IMP receives institutional funding from Boehringer Ingelheim and the Austrian Research Promotion Agency (Headquarter grant FFG-852936). Work by J.S. and Y.M. in this project was supported by the Israel Science Foundation grant 636/21 to Y.M. Work by L.J. was supported by the Swedish Research Council grant 2020-04936 and the Knut and Alice Wallenberg Foundation grant 2018.0042. For the purpose of Open Access, the author has applied a CC BY public copyright license to any Author Accepted Manuscript (AAM) version arising from this submission.","author":[{"last_name":"Gert","full_name":"Gert, Krista R.B.","first_name":"Krista R.B."},{"last_name":"Panser","first_name":"Karin","full_name":"Panser, Karin"},{"full_name":"Surm, Joachim","first_name":"Joachim","last_name":"Surm"},{"last_name":"Steinmetz","first_name":"Benjamin S.","full_name":"Steinmetz, Benjamin S."},{"first_name":"Alexander","full_name":"Schleiffer, Alexander","last_name":"Schleiffer"},{"full_name":"Jovine, Luca","first_name":"Luca","last_name":"Jovine"},{"last_name":"Moran","first_name":"Yehu","full_name":"Moran, Yehu"},{"full_name":"Kondrashov, Fyodor","first_name":"Fyodor","orcid":"0000-0001-8243-4694","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","last_name":"Kondrashov"},{"full_name":"Pauli, Andrea","first_name":"Andrea","last_name":"Pauli"}],"isi":1,"external_id":{"isi":["001048208600023"]},"oa":1,"_id":"13164","date_updated":"2023-12-13T11:26:34Z","publication_status":"published","file_date_updated":"2023-06-26T10:26:04Z","publisher":"Springer Nature","has_accepted_license":"1","month":"06","file":[{"access_level":"open_access","date_updated":"2023-06-26T10:26:04Z","creator":"dernst","file_id":"13172","file_name":"2023_NatureComm_Gert.pdf","date_created":"2023-06-26T10:26:04Z","file_size":1555006,"checksum":"d6165f41c7f1c2c04b04256ec9f003fb","content_type":"application/pdf","relation":"main_file","success":1}],"publication":"Nature Communications"},{"day":"01","type":"journal_article","citation":{"mla":"Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.” <i>Journal of Combinatorial Theory. Series A</i>, vol. 199, no. 10, 105776, Elsevier, 2023, doi:<a href=\"https://doi.org/10.1016/j.jcta.2023.105776\">10.1016/j.jcta.2023.105776</a>.","ista":"Fang L, Huang H, Pach J, Tardos G, Zuo J. 2023. Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. 199(10), 105776.","apa":"Fang, L., Huang, H., Pach, J., Tardos, G., &#38; Zuo, J. (2023). Successive vertex orderings of fully regular graphs. <i>Journal of Combinatorial Theory. Series A</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jcta.2023.105776\">https://doi.org/10.1016/j.jcta.2023.105776</a>","chicago":"Fang, Lixing, Hao Huang, János Pach, Gábor Tardos, and Junchi Zuo. “Successive Vertex Orderings of Fully Regular Graphs.” <i>Journal of Combinatorial Theory. Series A</i>. Elsevier, 2023. <a href=\"https://doi.org/10.1016/j.jcta.2023.105776\">https://doi.org/10.1016/j.jcta.2023.105776</a>.","ama":"Fang L, Huang H, Pach J, Tardos G, Zuo J. Successive vertex orderings of fully regular graphs. <i>Journal of Combinatorial Theory Series A</i>. 2023;199(10). doi:<a href=\"https://doi.org/10.1016/j.jcta.2023.105776\">10.1016/j.jcta.2023.105776</a>","short":"L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023).","ieee":"L. Fang, H. Huang, J. Pach, G. Tardos, and J. Zuo, “Successive vertex orderings of fully regular graphs,” <i>Journal of Combinatorial Theory. Series A</i>, vol. 199, no. 10. Elsevier, 2023."},"doi":"10.1016/j.jcta.2023.105776","quality_controlled":"1","oa_version":"Published Version","intvolume":"       199","article_type":"original","issue":"10","article_number":"105776","abstract":[{"lang":"eng","text":"A graph G=(V, E) is called fully regular if for every independent set I c V, the number of vertices in V\\I  that are not connected to any element of I depends only on the size of I. A linear ordering of the vertices of G is called successive if for every i, the first i vertices induce a connected subgraph of G. We give an explicit formula for the number of successive vertex orderings of a fully regular graph.\r\nAs an application of our results, we give alternative proofs of two theorems of Stanley and Gao & Peng, determining the number of linear edge orderings of complete graphs and complete bipartite graphs, respectively, with the property that the first i edges induce a connected subgraph.\r\nAs another application, we give a simple product formula for the number of linear orderings of the hyperedges of a complete 3-partite 3-uniform hypergraph such that, for every i, the first i hyperedges induce a connected subgraph. We found similar formulas for complete (non-partite) 3-uniform hypergraphs and in another closely related case, but we managed to verify them only when the number of vertices is small."}],"tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"volume":199,"title":"Successive vertex orderings of fully regular graphs","scopus_import":"1","language":[{"iso":"eng"}],"date_created":"2023-06-25T22:00:45Z","department":[{"_id":"HeEd"}],"publisher":"Elsevier","has_accepted_license":"1","file_date_updated":"2024-01-30T12:03:10Z","publication":"Journal of Combinatorial Theory. Series A","file":[{"file_size":352555,"checksum":"9eebc213b4182a66063a99083ff5bd04","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"14902","access_level":"open_access","creator":"dernst","date_updated":"2024-01-30T12:03:10Z","date_created":"2024-01-30T12:03:10Z","file_name":"2023_JourCombinatiorialTheory_Fang.pdf"}],"month":"10","author":[{"last_name":"Fang","first_name":"Lixing","full_name":"Fang, Lixing"},{"first_name":"Hao","full_name":"Huang, Hao","last_name":"Huang"},{"first_name":"János","full_name":"Pach, János","id":"E62E3130-B088-11EA-B919-BF823C25FEA4","last_name":"Pach"},{"last_name":"Tardos","first_name":"Gábor","full_name":"Tardos, Gábor"},{"full_name":"Zuo, Junchi","first_name":"Junchi","last_name":"Zuo"}],"external_id":{"arxiv":["2206.13592"]},"oa":1,"status":"public","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","date_published":"2023-10-01T00:00:00Z","ddc":["510"],"year":"2023","publication_identifier":{"eissn":["1096-0899"],"issn":["0097-3165"]},"article_processing_charge":"Yes (in subscription journal)","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","date_updated":"2024-01-30T12:03:51Z","_id":"13165","arxiv":1},{"oa_version":"Published Version","quality_controlled":"1","doi":"10.1038/s41591-023-02365-w","citation":{"mla":"Xu, Jiayuan, et al. “Effects of Urban Living Environments on Mental Health in Adults.” <i>Nature Medicine</i>, vol. 29, Springer Nature, 2023, pp. 1456–67, doi:<a href=\"https://doi.org/10.1038/s41591-023-02365-w\">10.1038/s41591-023-02365-w</a>.","ama":"Xu J, Liu N, Polemiti E, et al. Effects of urban living environments on mental health in adults. <i>Nature Medicine</i>. 2023;29:1456-1467. doi:<a href=\"https://doi.org/10.1038/s41591-023-02365-w\">10.1038/s41591-023-02365-w</a>","short":"J. Xu, N. Liu, E. Polemiti, L. Garcia-Mondragon, J. Tang, X. Liu, T. Lett, L. Yu, M.M. Nöthen, J. Feng, C. Yu, A. Marquand, G. Schumann, H. Walter, A. Heinz, M. Ralser, S. Twardziok, N. Vaidya, E. Serin, M. Jentsch, E. Hitchen, R. Eils, U.H. Taron, T. Schütz, K. Schepanski, J. Banks, T. Banaschewski, K. Jansone, N. Christmann, A. Meyer-Lindenberg, H. Tost, N. Holz, E. Schwarz, A. Stringaris, M. Neidhart, F. Nees, S. Siehl, O. A. Andreassen, L. T. Westlye, D. Van Der Meer, S. Fernandez, R. Kjelkenes, H. Ask, M. Rapp, M. Tschorn, S.J. Böttger, G. Novarino, L. Marr, M. Slater, G.F. Viapiana, F.E. Orosa, J. Gallego, A. Pastor, A. Forstner, P. Hoffmann, M. M. Nöthen, A. J. Forstner, I. Claus, A. Miller, S. Heilmann-Heimbach, P. Sommer, M. Boye, J. Wilbertz, K. Schmitt, V. Jirsa, S. Petkoski, S. Pitel, L. Otten, A.P. Athanasiadis, C. Pearmund, B. Spanlang, E. Alvarez, M. Sanchez, A. Giner, S. Hese, P. Renner, T. Jia, Y. Gong, Y. Xia, X. Chang, V. Calhoun, J. Liu, P. Thompson, N. Clinton, S. Desrivieres, A. H. Young, B. Stahl, G. Ogoh, Nature Medicine 29 (2023) 1456–1467.","ieee":"J. Xu <i>et al.</i>, “Effects of urban living environments on mental health in adults,” <i>Nature Medicine</i>, vol. 29. Springer Nature, pp. 1456–1467, 2023.","chicago":"Xu, Jiayuan, Nana Liu, Elli Polemiti, Liliana Garcia-Mondragon, Jie Tang, Xiaoxuan Liu, Tristram Lett, et al. “Effects of Urban Living Environments on Mental Health in Adults.” <i>Nature Medicine</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1038/s41591-023-02365-w\">https://doi.org/10.1038/s41591-023-02365-w</a>.","apa":"Xu, J., Liu, N., Polemiti, E., Garcia-Mondragon, L., Tang, J., Liu, X., … Ogoh, G. (2023). Effects of urban living environments on mental health in adults. <i>Nature Medicine</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41591-023-02365-w\">https://doi.org/10.1038/s41591-023-02365-w</a>","ista":"Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467."},"day":"15","type":"journal_article","department":[{"_id":"GaNo"}],"language":[{"iso":"eng"}],"date_created":"2023-06-25T22:00:46Z","title":"Effects of urban living environments on mental health in adults","scopus_import":"1","volume":29,"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"abstract":[{"lang":"eng","text":"Urban-living individuals are exposed to many environmental factors that may combine and interact to influence mental health. While individual factors of an urban environment have been investigated in isolation, no attempt has been made to model how complex, real-life exposure to living in the city relates to brain and mental health, and how this is moderated by genetic factors. Using the data of 156,075 participants from the UK Biobank, we carried out sparse canonical correlation analyses to investigate the relationships between urban environments and psychiatric symptoms. We found an environmental profile of social deprivation, air pollution, street network and urban land-use density that was positively correlated with an affective symptom group (r = 0.22, Pperm < 0.001), mediated by brain volume differences consistent with reward processing, and moderated by genes enriched for stress response, including CRHR1, explaining 2.01% of the variance in brain volume differences. Protective factors such as greenness and generous destination accessibility were negatively correlated with an anxiety symptom group (r = 0.10, Pperm < 0.001), mediated by brain regions necessary for emotion regulation and moderated by EXD3, explaining 1.65% of the variance. The third urban environmental profile was correlated with an emotional instability symptom group (r = 0.03, Pperm < 0.001). Our findings suggest that different environmental profiles of urban living may influence specific psychiatric symptom groups through distinct neurobiological pathways."}],"intvolume":"        29","article_type":"original","month":"06","file":[{"date_updated":"2023-06-26T10:15:44Z","creator":"dernst","access_level":"open_access","file_id":"13171","date_created":"2023-06-26T10:15:44Z","file_name":"2023_NatureMedicine_Xu.pdf","checksum":"bcd3225b2731c3442fa98987fd3bd46d","file_size":7365360,"success":1,"relation":"main_file","content_type":"application/pdf"}],"publication":"Nature Medicine","file_date_updated":"2023-06-26T10:15:44Z","has_accepted_license":"1","publisher":"Springer Nature","_id":"13168","date_updated":"2023-12-13T11:25:55Z","publication_status":"published","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"1456-1467","status":"public","ddc":["570"],"date_published":"2023-06-15T00:00:00Z","year":"2023","publication_identifier":{"eissn":["1546-170X"],"issn":["1078-8956"]},"acknowledgement":"This work received support from the European Union-funded Horizon Europe project ‘environMENTAL’ (no. 101057429 to G.S., A.M. and M.M.N.) and cofunding by UK Research and Innovation under the UK Government’s Horizon Europe funding guarantee (nos. 10041392 and 10038599) for study design and data analysis; the Horizon 2020-funded European Research Council Advanced Grant ‘STRATIFY’ (no. 695313 to G.S. for study design and data analysis); the Human Brain Project (HBP SGA3, no. 945539 to G.S. for study design and data analysis); the National Institutes of Health (grant no. R01DA049238 to G.S. for study design and data analysis); the German Research Foundation (COPE; grant no. 675346 to G.S. for study design and data analysis); the National Natural Science Foundation of China (grant no. 82001797 to J.X., grant no. 82030053 to C.Y., grant no. 82202093 to J.T. and grant no. 82150710554 to G.S. for study design, data analysis and preparation of the manuscript); National Key Research and Development Program of China (grant no. 2018YFC1314301 to C.Y. for study design and data analysis); Tianjin Applied Basic Research Diversified Investment Foundation (grant no. 21JCYBJC01360 to J.X. for study design and data analysis); Tianjin Health Technology Project (grant no. TJWJ2021QN002 to J.X. for preparation of the manuscript); Science & Technology Development Fund of the Tianjin Education Commission for Higher Education (grant no. 2019KJ195 to J.X. for preparation of the manuscript); the Tianjin Medical University ‘Clinical Talent Training 123 Climbing Plan’ to J.X. for the preparation of the manuscript; Tianjin Key Medical Discipline (Specialty) Construction Project (grant no. TJYXZDXK-001A to C.Y. for preparation of the manuscript); the National Key R&D Program of China (grant no. 2022YFE0209400 to L.Y. for study design and data analysis); the Tsinghua University Initiative Scientific Research Program (grant no. 2021Z11GHX002 to L.Y. for study design and data analysis); the National Key Scientific and Technological Infrastructure Project ‘Earth System Science Numerical Simulator Facility’ (EarthLab to L.Y. for study design and data analysis); the Chinese National High-end Foreign Expert Recruitment Plan to G.S.; and the Alexander von Humboldt Foundation to G.S. for study design and data analysis.","isi":1,"author":[{"full_name":"Xu, Jiayuan","first_name":"Jiayuan","last_name":"Xu"},{"full_name":"Liu, Nana","first_name":"Nana","last_name":"Liu"},{"last_name":"Polemiti","first_name":"Elli","full_name":"Polemiti, Elli"},{"full_name":"Garcia-Mondragon, Liliana","first_name":"Liliana","last_name":"Garcia-Mondragon"},{"full_name":"Tang, Jie","first_name":"Jie","last_name":"Tang"},{"last_name":"Liu","full_name":"Liu, Xiaoxuan","first_name":"Xiaoxuan"},{"last_name":"Lett","first_name":"Tristram","full_name":"Lett, Tristram"},{"last_name":"Yu","full_name":"Yu, Le","first_name":"Le"},{"last_name":"Nöthen","first_name":"Markus M.","full_name":"Nöthen, Markus M."},{"last_name":"Feng","first_name":"Jianfeng","full_name":"Feng, Jianfeng"},{"first_name":"Chunshui","full_name":"Yu, Chunshui","last_name":"Yu"},{"first_name":"Andre","full_name":"Marquand, Andre","last_name":"Marquand"},{"last_name":"Schumann","full_name":"Schumann, Gunter","first_name":"Gunter"},{"last_name":"Walter","first_name":"Henrik","full_name":"Walter, Henrik"},{"last_name":"Heinz","full_name":"Heinz, Andreas","first_name":"Andreas"},{"first_name":"Markus","full_name":"Ralser, Markus","last_name":"Ralser"},{"last_name":"Twardziok","full_name":"Twardziok, Sven","first_name":"Sven"},{"last_name":"Vaidya","first_name":"Nilakshi","full_name":"Vaidya, Nilakshi"},{"last_name":"Serin","full_name":"Serin, Emin","first_name":"Emin"},{"last_name":"Jentsch","first_name":"Marcel","full_name":"Jentsch, Marcel"},{"full_name":"Hitchen, Esther","first_name":"Esther","last_name":"Hitchen"},{"first_name":"Roland","full_name":"Eils, Roland","last_name":"Eils"},{"last_name":"Taron","full_name":"Taron, Ulrike Helene","first_name":"Ulrike Helene"},{"full_name":"Schütz, Tatjana","first_name":"Tatjana","last_name":"Schütz"},{"first_name":"Kerstin","full_name":"Schepanski, Kerstin","last_name":"Schepanski"},{"last_name":"Banks","first_name":"Jamie","full_name":"Banks, Jamie"},{"full_name":"Banaschewski, Tobias","first_name":"Tobias","last_name":"Banaschewski"},{"full_name":"Jansone, Karina","first_name":"Karina","last_name":"Jansone"},{"full_name":"Christmann, Nina","first_name":"Nina","last_name":"Christmann"},{"last_name":"Meyer-Lindenberg","first_name":"Andreas","full_name":"Meyer-Lindenberg, Andreas"},{"last_name":"Tost","first_name":"Heike","full_name":"Tost, Heike"},{"last_name":"Holz","full_name":"Holz, Nathalie","first_name":"Nathalie"},{"last_name":"Schwarz","full_name":"Schwarz, Emanuel","first_name":"Emanuel"},{"first_name":"Argyris","full_name":"Stringaris, Argyris","last_name":"Stringaris"},{"first_name":"Maja","full_name":"Neidhart, Maja","last_name":"Neidhart"},{"last_name":"Nees","first_name":"Frauke","full_name":"Nees, Frauke"},{"last_name":"Siehl","first_name":"Sebastian","full_name":"Siehl, Sebastian"},{"full_name":"A. Andreassen, Ole","first_name":"Ole","last_name":"A. Andreassen"},{"last_name":"T. Westlye","first_name":"Lars","full_name":"T. Westlye, Lars"},{"last_name":"Van Der Meer","full_name":"Van Der Meer, Dennis","first_name":"Dennis"},{"full_name":"Fernandez, Sara","first_name":"Sara","last_name":"Fernandez"},{"last_name":"Kjelkenes","first_name":"Rikka","full_name":"Kjelkenes, Rikka"},{"full_name":"Ask, Helga","first_name":"Helga","last_name":"Ask"},{"first_name":"Michael","full_name":"Rapp, Michael","last_name":"Rapp"},{"last_name":"Tschorn","first_name":"Mira","full_name":"Tschorn, Mira"},{"first_name":"Sarah Jane","full_name":"Böttger, Sarah Jane","last_name":"Böttger"},{"orcid":"0000-0002-7673-7178","first_name":"Gaia","full_name":"Novarino, Gaia","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","last_name":"Novarino"},{"first_name":"Lena","full_name":"Marr, Lena","last_name":"Marr","id":"4406F586-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Slater, Mel","first_name":"Mel","last_name":"Slater"},{"first_name":"Guillem Feixas","full_name":"Viapiana, Guillem Feixas","last_name":"Viapiana"},{"first_name":"Francisco Eiroa","full_name":"Orosa, Francisco Eiroa","last_name":"Orosa"},{"full_name":"Gallego, Jaime","first_name":"Jaime","last_name":"Gallego"},{"last_name":"Pastor","first_name":"Alvaro","full_name":"Pastor, Alvaro"},{"last_name":"Forstner","full_name":"Forstner, Andreas","first_name":"Andreas"},{"last_name":"Hoffmann","full_name":"Hoffmann, Per","first_name":"Per"},{"last_name":"M. Nöthen","first_name":"Markus","full_name":"M. Nöthen, Markus"},{"full_name":"J. Forstner, Andreas","first_name":"Andreas","last_name":"J. Forstner"},{"last_name":"Claus","first_name":"Isabelle","full_name":"Claus, Isabelle"},{"last_name":"Miller","full_name":"Miller, Abbi","first_name":"Abbi"},{"last_name":"Heilmann-Heimbach","first_name":"Stefanie","full_name":"Heilmann-Heimbach, Stefanie"},{"last_name":"Sommer","full_name":"Sommer, Peter","first_name":"Peter"},{"last_name":"Boye","full_name":"Boye, Mona","first_name":"Mona"},{"full_name":"Wilbertz, Johannes","first_name":"Johannes","last_name":"Wilbertz"},{"last_name":"Schmitt","full_name":"Schmitt, Karen","first_name":"Karen"},{"full_name":"Jirsa, Viktor","first_name":"Viktor","last_name":"Jirsa"},{"first_name":"Spase","full_name":"Petkoski, Spase","last_name":"Petkoski"},{"last_name":"Pitel","first_name":"Séverine","full_name":"Pitel, Séverine"},{"first_name":"Lisa","full_name":"Otten, Lisa","last_name":"Otten"},{"last_name":"Athanasiadis","full_name":"Athanasiadis, Anastasios Polykarpos","first_name":"Anastasios Polykarpos"},{"first_name":"Charlie","full_name":"Pearmund, Charlie","last_name":"Pearmund"},{"full_name":"Spanlang, Bernhard","first_name":"Bernhard","last_name":"Spanlang"},{"first_name":"Elena","full_name":"Alvarez, Elena","last_name":"Alvarez"},{"first_name":"Mavi","full_name":"Sanchez, Mavi","last_name":"Sanchez"},{"full_name":"Giner, Arantxa","first_name":"Arantxa","last_name":"Giner"},{"first_name":"Sören","full_name":"Hese, Sören","last_name":"Hese"},{"last_name":"Renner","full_name":"Renner, Paul","first_name":"Paul"},{"first_name":"Tianye","full_name":"Jia, Tianye","last_name":"Jia"},{"last_name":"Gong","full_name":"Gong, Yanting","first_name":"Yanting"},{"last_name":"Xia","first_name":"Yunman","full_name":"Xia, Yunman"},{"first_name":"Xiao","full_name":"Chang, Xiao","last_name":"Chang"},{"full_name":"Calhoun, Vince","first_name":"Vince","last_name":"Calhoun"},{"last_name":"Liu","full_name":"Liu, Jingyu","first_name":"Jingyu"},{"first_name":"Paul","full_name":"Thompson, Paul","last_name":"Thompson"},{"first_name":"Nicholas","full_name":"Clinton, Nicholas","last_name":"Clinton"},{"first_name":"Sylvane","full_name":"Desrivieres, Sylvane","last_name":"Desrivieres"},{"last_name":"H. Young","full_name":"H. Young, Allan","first_name":"Allan"},{"full_name":"Stahl, Bernd","first_name":"Bernd","last_name":"Stahl"},{"last_name":"Ogoh","first_name":"George","full_name":"Ogoh, George"}],"oa":1,"external_id":{"isi":["001013172700001"]}},{"doi":"10.15479/AT:ISTA:13173","month":"07","oa_version":"Published Version","file":[{"file_size":542873672,"checksum":"ed59170869ba621f89f7c1894092192f","content_type":"application/x-zip-compressed","relation":"main_file","access_level":"closed","date_updated":"2023-11-17T14:30:44Z","creator":"shigemot","file_id":"13174","description":"After review an updated version of the data is provided","title":"Outdated Version","file_name":"Raw data for Koppensteiner et al.zip","date_created":"2023-06-29T13:11:22Z"},{"file_id":"14550","access_level":"open_access","date_updated":"2023-11-17T14:13:02Z","creator":"patrickd","date_created":"2023-11-17T14:13:02Z","file_name":"11-17-23 Updated Koppensteiner et al. raw data.xlsx","file_size":915079,"checksum":"c07860eb82b4d367245f1b589fe5c250","relation":"main_file","content_type":"application/vnd.openxmlformats-officedocument.spreadsheetml.sheet","success":1},{"file_name":"EM_Images.zip","date_created":"2024-02-06T07:21:43Z","file_id":"14942","date_updated":"2024-02-06T07:21:43Z","creator":"dernst","access_level":"open_access","success":1,"relation":"main_file","content_type":"application/x-zip-compressed","checksum":"abf84b1699edac4349dc3a92d466fb7b","file_size":544868924}],"has_accepted_license":"1","publisher":"Institute of Science and Technology Austria","citation":{"apa":"Shigemoto, R. (2023). Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:13173\">https://doi.org/10.15479/AT:ISTA:13173</a>","chicago":"Shigemoto, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/AT:ISTA:13173\">https://doi.org/10.15479/AT:ISTA:13173</a>.","ista":"Shigemoto R. 2023. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals, Institute of Science and Technology Austria, <a href=\"https://doi.org/10.15479/AT:ISTA:13173\">10.15479/AT:ISTA:13173</a>.","ieee":"R. Shigemoto, “Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals.” Institute of Science and Technology Austria, 2023.","ama":"Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:13173\">10.15479/AT:ISTA:13173</a>","short":"R. Shigemoto, (2023).","mla":"Shigemoto, Ryuichi. <i>Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:13173\">10.15479/AT:ISTA:13173</a>."},"type":"research_data","day":"29","file_date_updated":"2024-02-06T07:21:43Z","date_updated":"2024-02-21T12:19:26Z","title":"Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals","department":[{"_id":"RySh"}],"date_created":"2023-06-29T13:16:42Z","_id":"13173","keyword":["medial habenula","GABAB receptor","vesicle release","Flash and Freeze","Flash and Freeze-fracture"],"oa":1,"author":[{"orcid":"0000-0001-8761-9444","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","tmp":{"short":"CC BY-NC (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)"},"year":"2023","abstract":[{"lang":"eng","text":"GABAB receptor (GBR) activation inhibits neurotransmitter release in axon terminals in the brain, except in medial habenula (MHb) terminals, which show robust potentiation. However, mechanisms underlying this enigmatic potentiation remain elusive. Here, we report that GBR activation on MHb terminals induces an activity-dependent transition from a facilitating, tonic to a depressing, phasic neurotransmitter release mode. This transition is accompanied by a 4.1-fold increase in readily releasable vesicle pool (RRP) size and a 3.5-fold increase of docked synaptic vesicles at the presynaptic active zone (AZ). Strikingly, tonic and phasic release exhibit distinct coupling distances and are selectively affected by deletion of synaptoporin (SPO) and Ca2+-dependent activator protein for secretion 2 (CAPS2), respectively. SPO modulates augmentation, the short-term plasticity associated with tonic release, and CAPS2 retains the increased RRP for initial responses in phasic response trains. Double pre-embedding immunolabeling confirmed the co-localization of CAPS2 and SPO inside the same terminal. The cytosolic protein CAPS2 showed a synaptic vesicle (SV)-associated distribution similar to the vesicular transmembrane protein SPO. A newly developed “Flash and Freeze-fracture” method revealed the release of SPO-associated vesicles in both tonic and phasic modes and activity-dependent recruitment of CAPS2 to the AZ during phasic release, which lasted several minutes. Overall, these results indicate that GBR activation translocates CAPS2 to the AZ along with the fusion of CAPS2-associated SVs, contributing to a persistent RRP increase. Thus, we discovered structural and molecular mechanisms underlying tonic and phasic neurotransmitter release and their transition by GBR activation in MHb terminals."}],"license":"https://creativecommons.org/licenses/by-nc/4.0/","ddc":["571"],"status":"public","date_published":"2023-07-29T00:00:00Z"},{"doi":"10.15479/at:ista:13175","oa_version":"Published Version","type":"dissertation","day":"05","related_material":{"record":[{"status":"public","id":"12900","relation":"old_edition"},{"relation":"part_of_dissertation","status":"public","id":"9114"},{"status":"public","id":"10924","relation":"part_of_dissertation"}]},"citation":{"mla":"Sahu, Rishabh. <i>Cavity Quantum Electrooptics</i>. Institute of Science and Technology Austria, 2023, doi:<a href=\"https://doi.org/10.15479/at:ista:13175\">10.15479/at:ista:13175</a>.","short":"R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023.","ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13175\">10.15479/at:ista:13175</a>","ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","chicago":"Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. <a href=\"https://doi.org/10.15479/at:ista:13175\">https://doi.org/10.15479/at:ista:13175</a>.","apa":"Sahu, R. (2023). <i>Cavity quantum electrooptics</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:13175\">https://doi.org/10.15479/at:ista:13175</a>"},"title":"Cavity quantum electrooptics","alternative_title":["ISTA Thesis"],"language":[{"iso":"eng"}],"date_created":"2023-06-30T08:07:43Z","department":[{"_id":"GradSch"},{"_id":"JoFi"}],"degree_awarded":"PhD","abstract":[{"text":"About a 100 years ago, we discovered that our universe is inherently noisy, that is, measuring any physical quantity with a precision beyond a certain point is not possible because of an omnipresent inherent noise. We call this - the quantum noise. Certain physical processes allow this quantum noise to get correlated in conjugate physical variables. These quantum correlations can be used to go beyond the potential of our inherently noisy universe and obtain a quantum advantage over the classical applications. \r\n\r\nQuantum noise being inherent also means that, at the fundamental level, the physical quantities are not well defined and therefore, objects can stay in multiple states at the same time. For example, the position of a particle not being well defined means that the particle is in multiple positions at the same time. About 4 decades ago, we started exploring the possibility of using objects which can be in multiple states at the same time to increase the dimensionality in computation. Thus, the field of quantum computing was born. We discovered that using quantum entanglement, a property closely related to quantum correlations, can be used to speed up computation of certain problems, such as factorisation of large numbers, faster than any known classical algorithm. Thus began the pursuit to make quantum computers a reality. \r\n\r\nTill date, we have explored quantum control over many physical systems including photons, spins, atoms, ions and even simple circuits made up of superconducting material. However, there persists one ubiquitous theme. The more readily a system interacts with an external field or matter, the more easily we can control it. But this also means that such a system can easily interact with a noisy environment and quickly lose its coherence. Consequently, such systems like electron spins need to be protected from the environment to ensure the longevity of their coherence. Other systems like nuclear spins are naturally protected as they do not interact easily with the environment. But, due to the same reason, it is harder to interact with such systems. \r\n\r\nAfter decades of experimentation with various systems, we are convinced that no one type of quantum system would be the best for all the quantum applications. We would need hybrid systems which are all interconnected - much like the current internet where all sorts of devices can all talk to each other - but now for quantum devices. A quantum internet. \r\n\r\nOptical photons are the best contenders to carry information for the quantum internet. They can carry quantum information cheaply and without much loss - the same reasons which has made them the backbone of our current internet. Following this direction, many systems, like trapped ions, have already demonstrated successful quantum links over a large distances using optical photons. However, some of the most promising contenders for quantum computing which are based on microwave frequencies have been left behind. This is because high energy optical photons can adversely affect fragile low-energy microwave systems. \r\n\r\nIn this thesis, we present substantial progress on this missing quantum link between microwave and optics using electrooptical nonlinearities in lithium niobate. The nonlinearities are enhanced by using resonant cavities for all the involved modes leading to observation of strong direct coupling between optical and microwave frequencies. With this strong coupling we are not only able to achieve almost 100\\% internal conversion efficiency with low added noise, thus presenting a quantum-enabled transducer, but also we are able to observe novel effects such as cooling of a microwave mode using optics. The strong coupling regime also leads to direct observation of dynamical backaction effect between microwave and optical frequencies which are studied in detail here. Finally, we also report first observation of microwave-optics entanglement in form of two-mode squeezed vacuum squeezed 0.7dB below vacuum level. \r\nWith this new bridge between microwave and optics, the microwave-based quantum technologies can finally be a part of a quantum network which is based on optical photons - putting us one step closer to a future with quantum internet. ","lang":"eng"}],"tmp":{"short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)"},"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"file":[{"relation":"main_file","content_type":"application/pdf","success":1,"file_size":18688376,"checksum":"7d03f1a5a5258ee43dfc3323dea4e08f","file_name":"thesis_pdfa.pdf","date_created":"2023-06-30T08:17:25Z","file_id":"13176","access_level":"open_access","date_updated":"2023-06-30T08:17:25Z","creator":"cchlebak"},{"file_size":37847025,"checksum":"c3b45317ae58e0527533f98c202d81b7","content_type":"application/x-zip-compressed","relation":"source_file","access_level":"closed","date_updated":"2023-07-06T11:35:15Z","creator":"cchlebak","file_id":"13196","date_created":"2023-07-06T11:35:15Z","file_name":"thesis.zip"}],"month":"05","has_accepted_license":"1","publisher":"Institute of Science and Technology Austria","file_date_updated":"2023-07-06T11:35:15Z","supervisor":[{"first_name":"Johannes M","full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"}],"publication_status":"published","ec_funded":1,"date_updated":"2024-10-29T09:11:06Z","project":[{"name":"A Fiber Optic Transceiver for Superconducting Qubits","_id":"26336814-B435-11E9-9278-68D0E5697425","grant_number":"758053","call_identifier":"H2020"},{"call_identifier":"H2020","grant_number":"899354","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","name":"Quantum Local Area Networks with Superconducting Qubits"},{"_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f","name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits"}],"_id":"13175","keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"oa":1,"author":[{"full_name":"Sahu, Rishabh","first_name":"Rishabh","orcid":"0000-0001-6264-2162","last_name":"Sahu","id":"47D26E34-F248-11E8-B48F-1D18A9856A87"}],"status":"public","ddc":["537","535","539"],"date_published":"2023-05-05T00:00:00Z","publication_identifier":{"issn":["2663 - 337X"],"isbn":["978-3-99078-030-5"]},"year":"2023","article_processing_charge":"No","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","page":"202"},{"intvolume":"       151","article_type":"original","issue":"8","volume":151,"abstract":[{"lang":"eng","text":"In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigenvalue growth and show by examples that corresponding upper bounds cannot be established."}],"title":"Sobolev-type inequalities and eigenvalue growth on graphs with finite measure","scopus_import":"1","language":[{"iso":"eng"}],"date_created":"2023-07-02T22:00:43Z","department":[{"_id":"JaMa"}],"main_file_link":[{"url":" https://doi.org/10.48550/arXiv.1804.08353","open_access":"1"}],"day":"01","type":"journal_article","citation":{"ieee":"B. Hua, M. Keller, M. Schwarz, and M. Wirth, “Sobolev-type inequalities and eigenvalue growth on graphs with finite measure,” <i>Proceedings of the American Mathematical Society</i>, vol. 151, no. 8. American Mathematical Society, pp. 3401–3414, 2023.","ama":"Hua B, Keller M, Schwarz M, Wirth M. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. <i>Proceedings of the American Mathematical Society</i>. 2023;151(8):3401-3414. doi:<a href=\"https://doi.org/10.1090/proc/14361\">10.1090/proc/14361</a>","short":"B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414.","apa":"Hua, B., Keller, M., Schwarz, M., &#38; Wirth, M. (2023). Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. <i>Proceedings of the American Mathematical Society</i>. American Mathematical Society. <a href=\"https://doi.org/10.1090/proc/14361\">https://doi.org/10.1090/proc/14361</a>","chicago":"Hua, Bobo, Matthias Keller, Michael Schwarz, and Melchior Wirth. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” <i>Proceedings of the American Mathematical Society</i>. American Mathematical Society, 2023. <a href=\"https://doi.org/10.1090/proc/14361\">https://doi.org/10.1090/proc/14361</a>.","ista":"Hua B, Keller M, Schwarz M, Wirth M. 2023. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. 151(8), 3401–3414.","mla":"Hua, Bobo, et al. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” <i>Proceedings of the American Mathematical Society</i>, vol. 151, no. 8, American Mathematical Society, 2023, pp. 3401–14, doi:<a href=\"https://doi.org/10.1090/proc/14361\">10.1090/proc/14361</a>."},"doi":"10.1090/proc/14361","quality_controlled":"1","oa_version":"Preprint","oa":1,"external_id":{"arxiv":["1804.08353"],"isi":["000988204400001"]},"author":[{"last_name":"Hua","first_name":"Bobo","full_name":"Hua, Bobo"},{"last_name":"Keller","full_name":"Keller, Matthias","first_name":"Matthias"},{"last_name":"Schwarz","full_name":"Schwarz, Michael","first_name":"Michael"},{"orcid":"0000-0002-0519-4241","full_name":"Wirth, Melchior","first_name":"Melchior","id":"88644358-0A0E-11EA-8FA5-49A33DDC885E","last_name":"Wirth"}],"isi":1,"acknowledgement":"The second author was supported by the priority program SPP2026 of the German Research Foundation (DFG). The fourth author was supported by the German Academic Scholarship Foundation (Studienstiftung des deutschen Volkes) and by the German Research Foundation (DFG) via RTG 1523/2.","date_published":"2023-08-01T00:00:00Z","status":"public","publication_identifier":{"eissn":["1088-6826"],"issn":["0002-9939"]},"year":"2023","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"3401-3414","publication_status":"published","date_updated":"2023-11-14T13:07:09Z","arxiv":1,"_id":"13177","publisher":"American Mathematical Society","publication":"Proceedings of the American Mathematical Society","month":"08"},{"file_date_updated":"2023-07-03T10:36:25Z","has_accepted_license":"1","publisher":"Cambridge University Press","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"file_size":943192,"checksum":"f672eb7dd015c472c9a04f1b9bf9df7d","file_name":"2023_ForumofMathematics.Sigma_Mitrouskas.pdf","date_created":"2023-07-03T10:36:25Z","file_id":"13186","access_level":"open_access","creator":"alisjak","date_updated":"2023-07-03T10:36:25Z"}],"month":"06","publication":"Forum of Mathematics","year":"2023","publication_identifier":{"eissn":["2050-5094"]},"status":"public","date_published":"2023-06-13T00:00:00Z","ddc":["500"],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","page":"1-52","article_processing_charge":"Yes","isi":1,"oa":1,"author":[{"id":"cbddacee-2b11-11eb-a02e-a2e14d04e52d","last_name":"Mitrouskas","first_name":"David Johannes","full_name":"Mitrouskas, David Johannes"},{"first_name":"Krzysztof","full_name":"Mysliwy, Krzysztof","last_name":"Mysliwy","id":"316457FC-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","first_name":"Robert"}],"external_id":{"isi":["001005008800001"],"arxiv":["2203.02454"]},"acknowledgement":"This research was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme grant agreement No. 694227 (R.S.) and the Maria Skłodowska-Curie grant agreement No. 665386 (K.M.).","arxiv":1,"_id":"13178","publication_status":"published","ec_funded":1,"project":[{"name":"Analysis of quantum many-body systems","call_identifier":"H2020","grant_number":"694227","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"}],"date_updated":"2023-11-02T12:30:50Z","type":"journal_article","day":"13","citation":{"ista":"Mitrouskas DJ, Mysliwy K, Seiringer R. 2023. Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Mathematics. 11, 1–52.","apa":"Mitrouskas, D. J., Mysliwy, K., &#38; Seiringer, R. (2023). Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. <i>Forum of Mathematics</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/fms.2023.45\">https://doi.org/10.1017/fms.2023.45</a>","chicago":"Mitrouskas, David Johannes, Krzysztof Mysliwy, and Robert Seiringer. “Optimal Parabolic Upper Bound for the Energy-Momentum Relation of a Strongly Coupled Polaron.” <i>Forum of Mathematics</i>. Cambridge University Press, 2023. <a href=\"https://doi.org/10.1017/fms.2023.45\">https://doi.org/10.1017/fms.2023.45</a>.","ieee":"D. J. Mitrouskas, K. Mysliwy, and R. Seiringer, “Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron,” <i>Forum of Mathematics</i>, vol. 11. Cambridge University Press, pp. 1–52, 2023.","short":"D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52.","ama":"Mitrouskas DJ, Mysliwy K, Seiringer R. Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. <i>Forum of Mathematics</i>. 2023;11:1-52. doi:<a href=\"https://doi.org/10.1017/fms.2023.45\">10.1017/fms.2023.45</a>","mla":"Mitrouskas, David Johannes, et al. “Optimal Parabolic Upper Bound for the Energy-Momentum Relation of a Strongly Coupled Polaron.” <i>Forum of Mathematics</i>, vol. 11, Cambridge University Press, 2023, pp. 1–52, doi:<a href=\"https://doi.org/10.1017/fms.2023.45\">10.1017/fms.2023.45</a>."},"oa_version":"Published Version","doi":"10.1017/fms.2023.45","quality_controlled":"1","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"abstract":[{"text":"We consider the large polaron described by the Fröhlich Hamiltonian and study its energy-momentum relation defined as the lowest possible energy as a function of the total momentum. Using a suitable family of trial states, we derive an optimal parabolic upper bound for the energy-momentum relation in the limit of strong coupling. The upper bound consists of a momentum independent term that agrees with the predicted two-term expansion for the ground state energy of the strongly coupled polaron at rest and a term that is quadratic in the momentum with coefficient given by the inverse of twice the classical effective mass introduced by Landau and Pekar.","lang":"eng"}],"volume":11,"article_type":"original","intvolume":"        11","date_created":"2023-07-02T22:00:43Z","language":[{"iso":"eng"}],"department":[{"_id":"RoSe"}],"scopus_import":"1","title":"Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron"},{"citation":{"ama":"Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. <i>Proceedings of the ACM on Programming Languages</i>. 2023;7. doi:<a href=\"https://doi.org/10.1145/3591230\">10.1145/3591230</a>","short":"N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).","ieee":"N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 7. Association for Computing Machinery , 2023.","chicago":"Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery , 2023. <a href=\"https://doi.org/10.1145/3591230\">https://doi.org/10.1145/3591230</a>.","ista":"Koval N, Khalanskiy D, Alistarh D-A. 2023. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 7, 116.","apa":"Koval, N., Khalanskiy, D., &#38; Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery . <a href=\"https://doi.org/10.1145/3591230\">https://doi.org/10.1145/3591230</a>","mla":"Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 7, 116, Association for Computing Machinery , 2023, doi:<a href=\"https://doi.org/10.1145/3591230\">10.1145/3591230</a>."},"day":"06","type":"journal_article","oa_version":"Published Version","quality_controlled":"1","doi":"10.1145/3591230","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"abstract":[{"text":"Writing concurrent code that is both correct and efficient is notoriously difficult. Thus, programmers often prefer to use synchronization abstractions, which render code simpler and easier to reason about. Despite a wealth of work on this topic, there is still a gap between the rich semantics provided by synchronization abstractions in modern programming languages—specifically, fair FIFO ordering of synchronization requests and support for abortable operations—and frameworks for implementing it correctly and efficiently. Supporting such semantics is critical given the rising popularity of constructs for asynchronous programming, such as coroutines, which abort frequently and are cheaper to suspend and resume compared to native threads.\r\n\r\nThis paper introduces a new framework called CancellableQueueSynchronizer (CQS), which enables simple yet efficient implementations of a wide range of fair and abortable synchronization primitives: mutexes, semaphores, barriers, count-down latches, and blocking pools. Our main contribution is algorithmic, as implementing both fairness and abortability efficiently at this level of generality is non-trivial. Importantly, all our algorithms, including the CQS framework and the primitives built on top of it, come with formal proofs in the Iris framework for Coq for many of their properties. These proofs are modular, so it is easy to show correctness for new primitives implemented on top of CQS. From a practical perspective, implementation of CQS for native threads on the JVM improves throughput by up to two orders of magnitude over Java’s AbstractQueuedSynchronizer, the only practical abstraction offering similar semantics. Further, we successfully integrated CQS as a core component of the popular Kotlin Coroutines library, validating the framework’s practical impact and expressiveness in a real-world environment. In sum, CancellableQueueSynchronizer is the first framework to combine expressiveness with formal guarantees and solid practical performance. Our approach should be extensible to other languages and families of synchronization primitives.","lang":"eng"}],"volume":7,"intvolume":"         7","article_type":"original","article_number":"116","department":[{"_id":"DaAl"}],"language":[{"iso":"eng"}],"date_created":"2023-07-02T22:00:43Z","title":"CQS: A formally-verified framework for fair and abortable synchronization","scopus_import":"1","file_date_updated":"2023-07-03T13:09:39Z","has_accepted_license":"1","publisher":"Association for Computing Machinery ","month":"06","file":[{"date_updated":"2023-07-03T13:09:39Z","creator":"alisjak","access_level":"open_access","file_id":"13187","file_name":"2023_ACMProgram.Lang._Koval.pdf","date_created":"2023-07-03T13:09:39Z","checksum":"5dba6e73f0ed79adbdae14d165bc2f68","file_size":1266773,"success":1,"relation":"main_file","content_type":"application/pdf"}],"publication":"Proceedings of the ACM on Programming Languages","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","ddc":["000"],"date_published":"2023-06-06T00:00:00Z","publication_identifier":{"eissn":["2475-1421"]},"year":"2023","author":[{"full_name":"Koval, Nikita","first_name":"Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval"},{"last_name":"Khalanskiy","first_name":"Dmitry","full_name":"Khalanskiy, Dmitry"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian","first_name":"Dan-Adrian"}],"oa":1,"_id":"13179","date_updated":"2023-07-17T08:43:19Z","publication_status":"published"},{"main_file_link":[{"url":"https://arxiv.org/abs/2203.06881","open_access":"1"}],"citation":{"ama":"Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. <i>Involve</i>. 2023;16(2):331-342. doi:<a href=\"https://doi.org/10.2140/involve.2023.16.331\">10.2140/involve.2023.16.331</a>","ieee":"T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” <i>Involve</i>, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023.","short":"T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.","apa":"Browning, T. D., Lyczak, J., &#38; Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. <i>Involve</i>. Mathematical Sciences Publishers. <a href=\"https://doi.org/10.2140/involve.2023.16.331\">https://doi.org/10.2140/involve.2023.16.331</a>","ista":"Browning TD, Lyczak J, Sarapin R. 2023. Local solubility for a family of quadrics over a split quadric surface. Involve. 16(2), 331–342.","chicago":"Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” <i>Involve</i>. Mathematical Sciences Publishers, 2023. <a href=\"https://doi.org/10.2140/involve.2023.16.331\">https://doi.org/10.2140/involve.2023.16.331</a>.","mla":"Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” <i>Involve</i>, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:<a href=\"https://doi.org/10.2140/involve.2023.16.331\">10.2140/involve.2023.16.331</a>."},"day":"26","type":"journal_article","doi":"10.2140/involve.2023.16.331","quality_controlled":"1","oa_version":"Preprint","issue":"2","article_type":"original","intvolume":"        16","abstract":[{"text":"We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface","lang":"eng"}],"volume":16,"scopus_import":"1","title":"Local solubility for a family of quadrics over a split quadric surface","department":[{"_id":"TiBr"}],"date_created":"2023-07-02T22:00:43Z","language":[{"iso":"eng"}],"publisher":"Mathematical Sciences Publishers","publication":"Involve","month":"05","oa":1,"external_id":{"arxiv":["2203.06881"]},"author":[{"first_name":"Timothy D","full_name":"Browning, Timothy D","orcid":"0000-0002-8314-0177","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Julian","full_name":"Lyczak, Julian","last_name":"Lyczak","id":"3572849A-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Sarapin","full_name":"Sarapin, Roman","first_name":"Roman"}],"page":"331-342","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","year":"2023","publication_identifier":{"eissn":["1944-4184"],"issn":["1944-4176"]},"date_published":"2023-05-26T00:00:00Z","status":"public","date_updated":"2023-07-17T08:39:19Z","publication_status":"published","_id":"13180","arxiv":1},{"file_date_updated":"2023-07-03T09:41:05Z","has_accepted_license":"1","publisher":"Springer Nature","file":[{"file_name":"2023_Journal of Applied and Computational Topology_Biswas.pdf","date_created":"2023-07-03T09:41:05Z","file_id":"13185","creator":"alisjak","date_updated":"2023-07-03T09:41:05Z","access_level":"open_access","success":1,"relation":"main_file","content_type":"application/pdf","checksum":"697249d5d1c61dea4410b9f021b70fce","file_size":487355}],"month":"06","publication":"Journal of Applied and Computational Topology","publication_identifier":{"issn":["2367-1726"],"eissn":["2367-1734"]},"year":"2023","date_published":"2023-06-17T00:00:00Z","status":"public","ddc":["000"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes (via OA deal)","oa":1,"author":[{"last_name":"Biswas","id":"3C2B033E-F248-11E8-B48F-1D18A9856A87","full_name":"Biswas, Ranita","first_name":"Ranita","orcid":"0000-0002-5372-7890"},{"last_name":"Cultrera Di Montesano","id":"34D2A09C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6249-0832","first_name":"Sebastiano","full_name":"Cultrera Di Montesano, Sebastiano"},{"last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","full_name":"Edelsbrunner, Herbert","first_name":"Herbert","orcid":"0000-0002-9823-6833"},{"last_name":"Saghafian","id":"f86f7148-b140-11ec-9577-95435b8df824","first_name":"Morteza","full_name":"Saghafian, Morteza"}],"acknowledgement":"Open access funding provided by Austrian Science Fund (FWF). This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, grant no. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), Grant No. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), Grant No. I 02979-N35. The authors of this paper thank anonymous reviewers for their constructive criticism and Monika Henzinger for detailed comments on an earlier version of this paper.","_id":"13182","ec_funded":1,"publication_status":"epub_ahead","project":[{"name":"Alpha Shape Theory Extended","call_identifier":"H2020","grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"},{"name":"Discretization in Geometry and Dynamics","grant_number":"I4887","_id":"0aa4bc98-070f-11eb-9043-e6fff9c6a316"},{"name":"The Wittgenstein Prize","call_identifier":"FWF","_id":"268116B8-B435-11E9-9278-68D0E5697425","grant_number":"Z00342"}],"date_updated":"2023-10-18T08:13:10Z","type":"journal_article","day":"17","citation":{"apa":"Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &#38; Saghafian, M. (2023). Geometric characterization of the persistence of 1D maps. <i>Journal of Applied and Computational Topology</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s41468-023-00126-9\">https://doi.org/10.1007/s41468-023-00126-9</a>","chicago":"Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Geometric Characterization of the Persistence of 1D Maps.” <i>Journal of Applied and Computational Topology</i>. Springer Nature, 2023. <a href=\"https://doi.org/10.1007/s41468-023-00126-9\">https://doi.org/10.1007/s41468-023-00126-9</a>.","ista":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2023. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology.","ama":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. <i>Journal of Applied and Computational Topology</i>. 2023. doi:<a href=\"https://doi.org/10.1007/s41468-023-00126-9\">10.1007/s41468-023-00126-9</a>","short":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).","ieee":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Geometric characterization of the persistence of 1D maps,” <i>Journal of Applied and Computational Topology</i>. Springer Nature, 2023.","mla":"Biswas, Ranita, et al. “Geometric Characterization of the Persistence of 1D Maps.” <i>Journal of Applied and Computational Topology</i>, Springer Nature, 2023, doi:<a href=\"https://doi.org/10.1007/s41468-023-00126-9\">10.1007/s41468-023-00126-9</a>."},"oa_version":"Published Version","quality_controlled":"1","doi":"10.1007/s41468-023-00126-9","abstract":[{"lang":"eng","text":"We characterize critical points of 1-dimensional maps paired in persistent homology\r\ngeometrically and this way get elementary proofs of theorems about the symmetry\r\nof persistence diagrams and the variation of such maps. In particular, we identify\r\nbranching points and endpoints of networks as the sole source of asymmetry and\r\nrelate the cycle basis in persistent homology with a version of the stable marriage\r\nproblem. Our analysis provides the foundations of fast algorithms for maintaining a\r\ncollection of sorted lists together with its persistence diagram."}],"tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"article_type":"original","date_created":"2023-07-02T22:00:44Z","language":[{"iso":"eng"}],"department":[{"_id":"HeEd"}],"scopus_import":"1","title":"Geometric characterization of the persistence of 1D maps"},{"intvolume":"        42","issue":"5","article_type":"original","article_number":"171","acknowledged_ssus":[{"_id":"M-Shop"}],"abstract":[{"lang":"eng","text":"The Kirchhoff rod model describes the bending and twisting of slender elastic rods in three dimensions, and has been widely studied to enable the prediction of how a rod will deform, given its geometry and boundary conditions. In this work, we study a number of inverse problems with the goal of computing the geometry of a straight rod that will automatically deform to match a curved target shape after attaching its endpoints to a support structure. Our solution lets us finely control the static equilibrium state of a rod by varying the cross-sectional profiles along its length.\r\nWe also show that the set of physically realizable equilibrium states admits a concise geometric description in terms of linear line complexes, which leads to very efficient computational design algorithms. Implemented in an interactive software tool, they allow us to convert three-dimensional hand-drawn spline curves to elastic rods, and give feedback about the feasibility and practicality of a design in real time. We demonstrate the efficacy of our method by designing and manufacturing several physical prototypes with applications to interior design and soft robotics."}],"volume":42,"title":"The design space of Kirchhoff rods","language":[{"iso":"eng"}],"date_created":"2023-07-04T07:41:30Z","department":[{"_id":"BeBi"}],"day":"20","type":"journal_article","related_material":{"record":[{"id":"12897","status":"public","relation":"part_of_dissertation"}]},"citation":{"mla":"Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.” <i>ACM Transactions on Graphics</i>, vol. 42, no. 5, 171, Association for Computing Machinery, 2023, doi:<a href=\"https://doi.org/10.1145/3606033\">10.1145/3606033</a>.","ama":"Hafner C, Bickel B. The design space of Kirchhoff rods. <i>ACM Transactions on Graphics</i>. 2023;42(5). doi:<a href=\"https://doi.org/10.1145/3606033\">10.1145/3606033</a>","ieee":"C. Hafner and B. Bickel, “The design space of Kirchhoff rods,” <i>ACM Transactions on Graphics</i>, vol. 42, no. 5. Association for Computing Machinery, 2023.","short":"C. Hafner, B. Bickel, ACM Transactions on Graphics 42 (2023).","ista":"Hafner C, Bickel B. 2023. The design space of Kirchhoff rods. ACM Transactions on Graphics. 42(5), 171.","apa":"Hafner, C., &#38; Bickel, B. (2023). The design space of Kirchhoff rods. <i>ACM Transactions on Graphics</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3606033\">https://doi.org/10.1145/3606033</a>","chicago":"Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.” <i>ACM Transactions on Graphics</i>. Association for Computing Machinery, 2023. <a href=\"https://doi.org/10.1145/3606033\">https://doi.org/10.1145/3606033</a>."},"quality_controlled":"1","doi":"10.1145/3606033","oa_version":"Submitted Version","external_id":{"isi":["001086833300010"]},"author":[{"first_name":"Christian","full_name":"Hafner, Christian","id":"400429CC-F248-11E8-B48F-1D18A9856A87","last_name":"Hafner"},{"full_name":"Bickel, Bernd","first_name":"Bernd","orcid":"0000-0001-6511-9385","last_name":"Bickel","id":"49876194-F248-11E8-B48F-1D18A9856A87"}],"keyword":["Computer Graphics","Computational Design","Computational Geometry","Shape Modeling"],"oa":1,"isi":1,"acknowledgement":"We thank the anonymous reviewers for their generous feedback, and Julian Fischer for his help in proving Proposition 1. 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. 715767).","date_published":"2023-09-20T00:00:00Z","ddc":["516"],"status":"public","publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"year":"2023","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","ec_funded":1,"date_updated":"2024-03-25T23:30:26Z","project":[{"call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling"}],"_id":"13188","publisher":"Association for Computing Machinery","has_accepted_license":"1","file_date_updated":"2023-07-04T08:11:28Z","publication":"ACM Transactions on Graphics","file":[{"relation":"main_file","content_type":"application/pdf","success":1,"file_size":19635168,"checksum":"4954c1cfa487725bc156dcfec872478a","date_created":"2023-07-04T08:11:28Z","file_name":"kirchhoff-rods.pdf","file_id":"13194","access_level":"open_access","creator":"chafner","date_updated":"2023-07-04T08:11:28Z"},{"file_name":"supp-main.pdf","date_created":"2023-07-04T07:46:28Z","date_updated":"2023-07-04T07:46:28Z","creator":"chafner","access_level":"open_access","title":"Supplemental Material with Proofs","file_id":"13190","relation":"supplementary_material","content_type":"application/pdf","checksum":"79c9975fbc82ff71f1767331d2204cca","file_size":420909},{"content_type":"application/pdf","relation":"supplementary_material","checksum":"4ab647e4f03c711e1e6a5fc1eb8684db","file_size":430086,"date_created":"2023-07-04T07:46:30Z","file_name":"supp-cheat.pdf","creator":"chafner","date_updated":"2023-07-04T07:46:30Z","access_level":"open_access","title":"Cheat Sheet for Notation","file_id":"13191"},{"checksum":"c0fd9a57d012046de90c185ffa904b76","file_size":268088064,"content_type":"video/mp4","relation":"supplementary_material","title":"Supplemental Video","file_id":"13192","creator":"chafner","date_updated":"2023-07-04T07:46:39Z","access_level":"open_access","date_created":"2023-07-04T07:46:39Z","file_name":"kirchhoff-video-final.mp4"},{"file_size":25790,"checksum":"71b00712b489ada2cd9815910ee180a9","relation":"supplementary_material","content_type":"application/x-zip-compressed","file_id":"13193","title":"Matlab Source Code with Example","access_level":"open_access","creator":"chafner","date_updated":"2023-07-04T07:47:10Z","file_name":"matlab-submission.zip","date_created":"2023-07-04T07:47:10Z"}],"month":"09"},{"publication_status":"published","ec_funded":1,"project":[{"call_identifier":"H2020","_id":"0aa60e99-070f-11eb-9043-a6de6bdc3afa","grant_number":"949120","name":"Tribocharge: a multi-scale approach to an enduring problem in physics"},{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"date_updated":"2023-08-02T06:34:47Z","_id":"13197","arxiv":1,"author":[{"orcid":"0000-0001-5154-417X","full_name":"Grosjean, Galien M","first_name":"Galien M","last_name":"Grosjean","id":"0C5FDA4A-9CF6-11E9-8939-FF05E6697425"},{"orcid":"0000-0002-2299-3176","first_name":"Scott R","full_name":"Waitukaitis, Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","last_name":"Waitukaitis"}],"isi":1,"external_id":{"arxiv":["2304.12861"],"isi":["001019565900002"]},"keyword":["Physics and Astronomy (miscellaneous)","General Materials Science"],"oa":1,"acknowledgement":"This project has received funding from the European Research Council Grant Agreement No. 949120 and from\r\nthe European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant\r\nAgreement No. 754411. ","year":"2023","publication_identifier":{"issn":["2475-9953"]},"date_published":"2023-06-13T00:00:00Z","status":"public","ddc":["537"],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","publication":"Physical Review Materials","file":[{"file_name":"Mosaic_asymmetries.pdf","date_created":"2023-07-07T12:49:51Z","date_updated":"2023-07-07T12:49:51Z","creator":"ggrosjea","access_level":"open_access","file_id":"13198","success":1,"relation":"main_file","content_type":"application/pdf","checksum":"75584730d9cdd50eeccb4c52c509776d","file_size":1127040}],"month":"06","has_accepted_license":"1","publisher":"American Physical Society","file_date_updated":"2023-07-07T12:49:51Z","title":"Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts","date_created":"2023-07-07T12:48:01Z","language":[{"iso":"eng"}],"department":[{"_id":"ScWa"}],"article_number":"065601","article_type":"original","issue":"6","intvolume":"         7","volume":7,"abstract":[{"lang":"eng","text":"Nominally identical materials exchange net electric charge during contact through a mechanism that is still debated. ‘Mosaic models’, in which surfaces are presumed to consist of a random patchwork of microscopic donor/acceptor sites, offer an appealing explanation for this phenomenon. However, recent experiments have shown that global differences persist even between same-material samples, which the standard mosaic framework does not account for. Here, we expand the mosaic framework by incorporating global differences in the densities of donor/acceptor sites. We develop\r\nan analytical model, backed by numerical simulations, that smoothly connects the global and deterministic charge transfer of different materials to the local and stochastic mosaic picture normally associated with identical materials. Going further, we extend our model to explain the effect of contact asymmetries during sliding, providing a plausible explanation for reversal of charging sign that has been observed experimentally."}],"doi":"10.1103/physrevmaterials.7.065601","quality_controlled":"1","oa_version":"Submitted Version","type":"journal_article","day":"13","citation":{"ama":"Grosjean GM, Waitukaitis SR. Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. <i>Physical Review Materials</i>. 2023;7(6). doi:<a href=\"https://doi.org/10.1103/physrevmaterials.7.065601\">10.1103/physrevmaterials.7.065601</a>","ieee":"G. M. Grosjean and S. R. Waitukaitis, “Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts,” <i>Physical Review Materials</i>, vol. 7, no. 6. American Physical Society, 2023.","short":"G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).","ista":"Grosjean GM, Waitukaitis SR. 2023. Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. Physical Review Materials. 7(6), 065601.","chicago":"Grosjean, Galien M, and Scott R Waitukaitis. “Asymmetries in Triboelectric Charging: Generalizing Mosaic Models to Different-Material Samples and Sliding Contacts.” <i>Physical Review Materials</i>. American Physical Society, 2023. <a href=\"https://doi.org/10.1103/physrevmaterials.7.065601\">https://doi.org/10.1103/physrevmaterials.7.065601</a>.","apa":"Grosjean, G. M., &#38; Waitukaitis, S. R. (2023). Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. <i>Physical Review Materials</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevmaterials.7.065601\">https://doi.org/10.1103/physrevmaterials.7.065601</a>","mla":"Grosjean, Galien M., and Scott R. Waitukaitis. “Asymmetries in Triboelectric Charging: Generalizing Mosaic Models to Different-Material Samples and Sliding Contacts.” <i>Physical Review Materials</i>, vol. 7, no. 6, 065601, American Physical Society, 2023, doi:<a href=\"https://doi.org/10.1103/physrevmaterials.7.065601\">10.1103/physrevmaterials.7.065601</a>."}},{"file":[{"date_created":"2023-07-10T10:10:54Z","file_name":"2023_NatureComms_Qiu.pdf","access_level":"open_access","date_updated":"2023-07-10T10:10:54Z","creator":"alisjak","file_id":"13206","content_type":"application/pdf","relation":"main_file","success":1,"file_size":1349134,"checksum":"ec7ccd2c08f90d59cab302fd0d7776a4"}],"month":"06","pmid":1,"publication":"Nature Communications","file_date_updated":"2023-07-10T10:10:54Z","has_accepted_license":"1","publisher":"Nature Research","arxiv":1,"_id":"13200","ec_funded":1,"publication_status":"published","project":[{"name":"A Fiber Optic Transceiver for Superconducting Qubits","_id":"26336814-B435-11E9-9278-68D0E5697425","grant_number":"758053","call_identifier":"H2020"},{"name":"Quantum Local Area Networks with Superconducting Qubits","call_identifier":"H2020","grant_number":"899354","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A"},{"name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f"},{"name":"ISTplus - Postdoctoral Fellowships","call_identifier":"H2020","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425"},{"name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","grant_number":"291734","call_identifier":"FP7"},{"name":"Coherent on-chip conversion of superconducting qubit signals from microwaves to optical frequencies","_id":"2671EB66-B435-11E9-9278-68D0E5697425"}],"date_updated":"2024-08-07T07:11:55Z","publication_identifier":{"eissn":["2041-1723"]},"year":"2023","date_published":"2023-06-24T00:00:00Z","status":"public","ddc":["000"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","external_id":{"isi":["001018100800002"],"pmid":["37355691"],"arxiv":["2210.12443"]},"isi":1,"author":[{"id":"45e99c0d-1eb1-11eb-9b96-ed8ab2983cac","last_name":"Qiu","first_name":"Liu","full_name":"Qiu, Liu","orcid":"0000-0003-4345-4267"},{"id":"47D26E34-F248-11E8-B48F-1D18A9856A87","last_name":"Sahu","orcid":"0000-0001-6264-2162","full_name":"Sahu, Rishabh","first_name":"Rishabh"},{"full_name":"Hease, William J","first_name":"William J","orcid":"0000-0001-9868-2166","last_name":"Hease","id":"29705398-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Arnold","id":"3770C838-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1397-7876","full_name":"Arnold, Georg M","first_name":"Georg M"},{"first_name":"Johannes M","full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"}],"oa":1,"acknowledgement":"This work was supported by the European Research Council under grant agreement no. 758053 (ERC StG QUNNECT), the European Union’s Horizon 2020 research and innovation program under grant agreement no. 899354 (FETopen SuperQuLAN), and the Austrian Science Fund (FWF) through BeyondC (F7105). L.Q. acknowledges generous support from the ISTFELLOW programme. W.H. is the recipient of an ISTplus postdoctoral fellowship with funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement no. 754411. G.A. is the recipient of a DOC fellowship of the Austrian Academy of Sciences at IST Austria.","oa_version":"Published Version","doi":"10.1038/s41467-023-39493-3","quality_controlled":"1","type":"journal_article","day":"24","citation":{"apa":"Qiu, L., Sahu, R., Hease, W. J., Arnold, G. M., &#38; Fink, J. M. (2023). Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. <i>Nature Communications</i>. Nature Research. <a href=\"https://doi.org/10.1038/s41467-023-39493-3\">https://doi.org/10.1038/s41467-023-39493-3</a>","ista":"Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. 2023. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. 14, 3784.","chicago":"Qiu, Liu, Rishabh Sahu, William J Hease, Georg M Arnold, and Johannes M Fink. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.” <i>Nature Communications</i>. Nature Research, 2023. <a href=\"https://doi.org/10.1038/s41467-023-39493-3\">https://doi.org/10.1038/s41467-023-39493-3</a>.","ama":"Qiu L, Sahu R, Hease WJ, Arnold GM, Fink JM. Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. <i>Nature Communications</i>. 2023;14. doi:<a href=\"https://doi.org/10.1038/s41467-023-39493-3\">10.1038/s41467-023-39493-3</a>","short":"L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023).","ieee":"L. Qiu, R. Sahu, W. J. Hease, G. M. Arnold, and J. M. Fink, “Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action,” <i>Nature Communications</i>, vol. 14. Nature Research, 2023.","mla":"Qiu, Liu, et al. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.” <i>Nature Communications</i>, vol. 14, 3784, Nature Research, 2023, doi:<a href=\"https://doi.org/10.1038/s41467-023-39493-3\">10.1038/s41467-023-39493-3</a>."},"date_created":"2023-07-09T22:01:11Z","language":[{"iso":"eng"}],"department":[{"_id":"JoFi"}],"scopus_import":"1","title":"Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":14,"abstract":[{"text":"Recent quantum technologies have established precise quantum control of various microscopic systems using electromagnetic waves. Interfaces based on cryogenic cavity electro-optic systems are particularly promising, due to the direct interaction between microwave and optical fields in the quantum regime. Quantum optical control of superconducting microwave circuits has been precluded so far due to the weak electro-optical coupling as well as quasi-particles induced by the pump laser. Here we report the coherent control of a superconducting microwave cavity using laser pulses in a multimode electro-optical device at millikelvin temperature with near-unity cooperativity. Both the stationary and instantaneous responses of the microwave and optical modes comply with the coherent electro-optical interaction, and reveal only minuscule amount of excess back-action with an unanticipated time delay. Our demonstration enables wide ranges of applications beyond quantum transductions, from squeezing and quantum non-demolition measurements of microwave fields, to entanglement generation and hybrid quantum networks.","lang":"eng"}],"article_type":"original","article_number":"3784","intvolume":"        14"},{"citation":{"ieee":"Y. Wang <i>et al.</i>, “The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation,” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 120, no. 25. National Academy of Sciences, 2023.","short":"Y. Wang, Z. Yuan, J. Wang, H. Xiao, L. Wan, L. Li, Y. Guo, Z. Gong, J. Friml, J. Zhang, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).","ama":"Wang Y, Yuan Z, Wang J, et al. The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. 2023;120(25). doi:<a href=\"https://doi.org/10.1073/pnas.2221313120\">10.1073/pnas.2221313120</a>","ista":"Wang Y, Yuan Z, Wang J, Xiao H, Wan L, Li L, Guo Y, Gong Z, Friml J, Zhang J. 2023. The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. Proceedings of the National Academy of Sciences of the United States of America. 120(25), e2221313120.","apa":"Wang, Y., Yuan, Z., Wang, J., Xiao, H., Wan, L., Li, L., … Zhang, J. (2023). The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation. <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2221313120\">https://doi.org/10.1073/pnas.2221313120</a>","chicago":"Wang, Yalu, Zhi Yuan, Jinyi Wang, Huixin Xiao, Lu Wan, Lanxin Li, Yan Guo, Zhizhong Gong, Jiří Friml, and Jing Zhang. “The Nitrate Transporter NRT2.1 Directly Antagonizes PIN7-Mediated Auxin Transport for Root Growth Adaptation.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>. National Academy of Sciences, 2023. <a href=\"https://doi.org/10.1073/pnas.2221313120\">https://doi.org/10.1073/pnas.2221313120</a>.","mla":"Wang, Yalu, et al. “The Nitrate Transporter NRT2.1 Directly Antagonizes PIN7-Mediated Auxin Transport for Root Growth Adaptation.” <i>Proceedings of the National Academy of Sciences of the United States of America</i>, vol. 120, no. 25, e2221313120, National Academy of Sciences, 2023, doi:<a href=\"https://doi.org/10.1073/pnas.2221313120\">10.1073/pnas.2221313120</a>."},"day":"12","type":"journal_article","doi":"10.1073/pnas.2221313120","quality_controlled":"1","oa_version":"Published Version","article_number":"e2221313120","issue":"25","article_type":"original","intvolume":"       120","tmp":{"image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"abstract":[{"text":"As a crucial nitrogen source, nitrate (NO3−) is a key nutrient for plants. Accordingly, root systems adapt to maximize NO3− availability, a developmental regulation also involving the phytohormone auxin. Nonetheless, the molecular mechanisms underlying this regulation remain poorly understood. Here, we identify low-nitrate-resistant mutant (lonr) in Arabidopsis (Arabidopsis thaliana), whose root growth fails to adapt to low-NO3− conditions. lonr2 is defective in the high-affinity NO3− transporter NRT2.1. lonr2 (nrt2.1) mutants exhibit defects in polar auxin transport, and their low-NO3−-induced root phenotype depends on the PIN7 auxin exporter activity. NRT2.1 directly associates with PIN7 and antagonizes PIN7-mediated auxin efflux depending on NO3− levels. These results reveal a mechanism by which NRT2.1 in response to NO3− limitation directly regulates auxin transport activity and, thus, root growth. This adaptive mechanism contributes to the root developmental plasticity to help plants cope with changes in NO3− availability.","lang":"eng"}],"volume":120,"scopus_import":"1","title":"The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation","department":[{"_id":"JiFr"}],"date_created":"2023-07-09T22:01:12Z","language":[{"iso":"eng"}],"has_accepted_license":"1","publisher":"National Academy of Sciences","file_date_updated":"2023-12-13T23:30:03Z","publication":"Proceedings of the National Academy of Sciences of the United States of America","pmid":1,"month":"06","file":[{"file_size":5244581,"checksum":"d800e06252eaefba28531fa9440f23f0","relation":"main_file","content_type":"application/pdf","file_id":"13204","access_level":"open_access","date_updated":"2023-12-13T23:30:03Z","creator":"alisjak","file_name":"2023_PNAS_Wang.pdf","date_created":"2023-07-10T08:48:40Z","embargo":"2023-12-12"}],"acknowledgement":"We are grateful to Caifu Jiang for providing ethyl metha-nesulfonate- mutagenized population, Yi Wang for providing Xenopus oocytes, Jun Fan and Zhaosheng Kong for providing tobacco BY- 2 cells, and Claus Schwechheimer, Alain Gojon, and Shutang Tan for helpful discussions. This work was supported by the National Key Research and Development Program of China (2021YFF1000500), the  National  Natural  Science  Foundation  of  China  (32170265  and  32022007),  Hainan  Provincial  Natural  Science  Foundation  of  China  (323CXTD379),  Chinese  Universities  Scientific  Fund  (2023TC019),  Beijing  Municipal  Natural  Science  Foundation  (5192011),  Beijing  Outstanding  University  Discipline  Program,  and  China Postdoctoral Science Foundation (BH2020259460).","external_id":{"isi":["001030689600003"],"pmid":["37307446"]},"isi":1,"author":[{"first_name":"Yalu","full_name":"Wang, Yalu","last_name":"Wang"},{"last_name":"Yuan","first_name":"Zhi","full_name":"Yuan, Zhi"},{"first_name":"Jinyi","full_name":"Wang, Jinyi","last_name":"Wang"},{"first_name":"Huixin","full_name":"Xiao, Huixin","last_name":"Xiao"},{"last_name":"Wan","first_name":"Lu","full_name":"Wan, Lu"},{"id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","last_name":"Li","orcid":"0000-0002-5607-272X","full_name":"Li, Lanxin","first_name":"Lanxin"},{"first_name":"Yan","full_name":"Guo, Yan","last_name":"Guo"},{"first_name":"Zhizhong","full_name":"Gong, Zhizhong","last_name":"Gong"},{"full_name":"Friml, Jiří","first_name":"Jiří","orcid":"0000-0002-8302-7596","last_name":"Friml","id":"4159519E-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Zhang, Jing","first_name":"Jing","last_name":"Zhang"}],"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","article_processing_charge":"No","year":"2023","publication_identifier":{"issn":["0027-8424"],"eissn":["1091-6490"]},"date_published":"2023-06-12T00:00:00Z","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","status":"public","ddc":["570"],"date_updated":"2023-12-13T23:30:04Z","publication_status":"published","_id":"13201"},{"acknowledgement":"This work was supported by The Institute of Science and Technology (IST) Austria, the European Union's Horizon 2020 Research and Innovation Program under the Marie Skłodowska-Curie Grant Agreement No. 793482 (to K.E.) and by the European Research Council (ERC) Grant Agreement No. 694539 (to R.S.). We thank Nicoleta Condruz (IST Austria, Klosterneuburg, Austria) for technical assistance with sample preparation, the Electron Microscopy Facility of IST Austria (Klosterneuburg, Austria) for technical support with EM works, Natalia Baranova (University of Vienna, Vienna, Austria) and Martin Loose (IST Austria, Klosterneuburg, Austria) for advice on liposome preparation, and Yugo Fukazawa (University of Fukui, Fukui, Japan) for comments.","external_id":{"pmid":["37160366"],"isi":["001020132100005"]},"isi":1,"oa":1,"author":[{"first_name":"Kohgaku","full_name":"Eguchi, Kohgaku","orcid":"0000-0002-6170-2546","id":"2B7846DC-F248-11E8-B48F-1D18A9856A87","last_name":"Eguchi"},{"id":"3B59276A-F248-11E8-B48F-1D18A9856A87","last_name":"Le Monnier","full_name":"Le Monnier, Elodie","first_name":"Elodie"},{"full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","last_name":"Shigemoto"}],"article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"4197-4216","date_published":"2023-06-07T00:00:00Z","status":"public","ddc":["570"],"year":"2023","publication_identifier":{"issn":["0270-6474"],"eissn":["1529-2401"]},"date_updated":"2023-10-18T07:12:47Z","project":[{"grant_number":"793482","_id":"2659CC84-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Ultrastructural analysis of phosphoinositides in nerve terminals: distribution, dynamics and physiological roles in synaptic transmission"},{"name":"In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour","call_identifier":"H2020","grant_number":"694539","_id":"25CA28EA-B435-11E9-9278-68D0E5697425"}],"ec_funded":1,"publication_status":"published","_id":"13202","has_accepted_license":"1","publisher":"Society for Neuroscience","file_date_updated":"2023-07-10T09:04:58Z","publication":"The Journal of Neuroscience","pmid":1,"month":"06","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"file_size":7794425,"checksum":"70b2141870e0bf1c94fd343e18fdbc32","date_created":"2023-07-10T09:04:58Z","file_name":"2023_JN_Eguchi.pdf","file_id":"13205","access_level":"open_access","date_updated":"2023-07-10T09:04:58Z","creator":"alisjak"}],"intvolume":"        43","issue":"23","article_type":"original","tmp":{"short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"abstract":[{"text":"Phosphatidylinositol-4,5-bisphosphate (PI(4,5)P2) plays an essential role in neuronal activities through interaction with various proteins involved in signaling at membranes. However, the distribution pattern of PI(4,5)P2 and the association with these proteins on the neuronal cell membranes remain elusive. In this study, we established a method for visualizing PI(4,5)P2 by SDS-digested freeze-fracture replica labeling (SDS-FRL) to investigate the quantitative nanoscale distribution of PI(4,5)P2 in cryo-fixed brain. We demonstrate that PI(4,5)P2 forms tiny clusters with a mean size of ∼1000 nm2 rather than randomly distributed in cerebellar neuronal membranes in male C57BL/6J mice. These clusters show preferential accumulation in specific membrane compartments of different cell types, in particular, in Purkinje cell (PC) spines and granule cell (GC) presynaptic active zones. Furthermore, we revealed extensive association of PI(4,5)P2 with CaV2.1 and GIRK3 across different membrane compartments, whereas its association with mGluR1α was compartment specific. These results suggest that our SDS-FRL method provides valuable insights into the physiological functions of PI(4,5)P2 in neurons.","lang":"eng"}],"volume":43,"acknowledged_ssus":[{"_id":"EM-Fac"}],"title":"Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons","scopus_import":"1","department":[{"_id":"RySh"}],"language":[{"iso":"eng"}],"date_created":"2023-07-09T22:01:12Z","citation":{"ieee":"K. Eguchi, E. Le Monnier, and R. Shigemoto, “Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons,” <i>The Journal of Neuroscience</i>, vol. 43, no. 23. Society for Neuroscience, pp. 4197–4216, 2023.","ama":"Eguchi K, Le Monnier E, Shigemoto R. Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons. <i>The Journal of Neuroscience</i>. 2023;43(23):4197-4216. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.1514-22.2023\">10.1523/JNEUROSCI.1514-22.2023</a>","short":"K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216.","ista":"Eguchi K, Le Monnier E, Shigemoto R. 2023. Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons. The Journal of Neuroscience. 43(23), 4197–4216.","chicago":"Eguchi, Kohgaku, Elodie Le Monnier, and Ryuichi Shigemoto. “Nanoscale Phosphoinositide Distribution on Cell Membranes of Mouse Cerebellar Neurons.” <i>The Journal of Neuroscience</i>. Society for Neuroscience, 2023. <a href=\"https://doi.org/10.1523/JNEUROSCI.1514-22.2023\">https://doi.org/10.1523/JNEUROSCI.1514-22.2023</a>.","apa":"Eguchi, K., Le Monnier, E., &#38; Shigemoto, R. (2023). Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons. <i>The Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.1514-22.2023\">https://doi.org/10.1523/JNEUROSCI.1514-22.2023</a>","mla":"Eguchi, Kohgaku, et al. “Nanoscale Phosphoinositide Distribution on Cell Membranes of Mouse Cerebellar Neurons.” <i>The Journal of Neuroscience</i>, vol. 43, no. 23, Society for Neuroscience, 2023, pp. 4197–216, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.1514-22.2023\">10.1523/JNEUROSCI.1514-22.2023</a>."},"type":"journal_article","day":"07","doi":"10.1523/JNEUROSCI.1514-22.2023","quality_controlled":"1","oa_version":"Published Version"}]