[{"ec_funded":1,"language":[{"iso":"eng"}],"oa_version":"Published Version","publication":"Tools and Algorithms for the Construction and Analysis of Systems ","doi":"10.1007/978-3-031-30823-9_1","page":"3-25","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031308222"],"issn":["0302-9743"]},"publisher":"Springer Nature","oa":1,"intvolume":"     13993","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"file":[{"success":1,"file_name":"2023_LNCS_Chatterjee.pdf","date_updated":"2023-06-19T08:29:30Z","file_size":528455,"access_level":"open_access","content_type":"application/pdf","file_id":"13150","creator":"dernst","checksum":"3d8a8bb24d211bc83360dfc2fd744307","relation":"main_file","date_created":"2023-06-19T08:29:30Z"}],"ddc":["000"],"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."}],"date_published":"2023-04-22T00:00:00Z","status":"public","quality_controlled":"1","has_accepted_license":"1","article_processing_charge":"No","scopus_import":"1","month":"04","author":[{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","full_name":"Chatterjee, Krishnendu"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"first_name":"Mathias","id":"3DC22916-F248-11E8-B48F-1D18A9856A87","last_name":"Lechner","full_name":"Lechner, Mathias"},{"full_name":"Zikelic, Dorde","last_name":"Zikelic","orcid":"0000-0002-4681-1699","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde"}],"department":[{"_id":"KrCh"},{"_id":"ToHe"}],"citation":{"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>","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>.","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>.","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>","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.","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.","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."},"date_updated":"2025-07-14T09:09:52Z","_id":"13142","project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"grant_number":"665385","call_identifier":"H2020","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program"}],"file_date_updated":"2023-06-19T08:29:30Z","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2023-04-27","start_date":"2023-04-22","location":"Paris, France"},"date_created":"2023-06-18T22:00:47Z","license":"https://creativecommons.org/licenses/by/4.0/","alternative_title":["LNCS"],"publication_status":"published","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.","volume":13993,"title":"A learner-verifier framework for neural network controllers and certificates of stochastic systems","day":"22","year":"2023"},{"author":[{"last_name":"Hoffmann","full_name":"Hoffmann, Charlotte","first_name":"Charlotte","id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7"},{"full_name":"Hubáček, Pavel","last_name":"Hubáček","first_name":"Pavel"},{"last_name":"Kamath","full_name":"Kamath, Chethan","first_name":"Chethan"},{"full_name":"Pietrzak, Krzysztof Z","last_name":"Pietrzak","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z"}],"month":"05","article_processing_charge":"No","scopus_import":"1","quality_controlled":"1","status":"public","date_published":"2023-05-02T00:00:00Z","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"}],"intvolume":"     13940","oa":1,"publisher":"Springer Nature","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1611-3349"],"isbn":["9783031313677"],"issn":["0302-9743"]},"type":"conference","doi":"10.1007/978-3-031-31368-4_19","page":"530-553","publication":"Public-Key Cryptography - PKC 2023","oa_version":"Submitted Version","language":[{"iso":"eng"}],"year":"2023","day":"02","title":"Certifying giant nonprimes","volume":13940,"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.","main_file_link":[{"url":"https://eprint.iacr.org/2023/238","open_access":"1"}],"publication_status":"published","alternative_title":["LNCS"],"date_created":"2023-06-18T22:00:47Z","conference":{"location":"Atlanta, GA, United States","start_date":"2023-05-07","end_date":"2023-05-10","name":"PKC: Public-Key Cryptography"},"_id":"13143","date_updated":"2023-06-19T08:03:37Z","citation":{"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.","short":"C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 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>","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.","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>.","mla":"Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” <i>Public-Key Cryptography - PKC 2023</i>, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:<a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">10.1007/978-3-031-31368-4_19</a>.","ama":"Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: <i>Public-Key Cryptography - PKC 2023</i>. Vol 13940. Springer Nature; 2023:530-553. doi:<a href=\"https://doi.org/10.1007/978-3-031-31368-4_19\">10.1007/978-3-031-31368-4_19</a>"},"department":[{"_id":"KrPi"}]},{"quality_controlled":"1","article_type":"original","status":"public","date_published":"2023-05-05T00:00:00Z","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"}],"ddc":["510"],"file":[{"success":1,"file_name":"2023_ElectronCommProbability_Schiavo.pdf","date_updated":"2023-06-19T09:37:40Z","file_size":271434,"access_level":"open_access","content_type":"application/pdf","file_id":"13152","creator":"dernst","checksum":"4a543fe4b3f9e747cc52167c17bfb524","relation":"main_file","date_created":"2023-06-19T09:37:40Z"}],"author":[{"first_name":"Lorenzo","orcid":"0000-0002-9881-6870","id":"ECEBF480-9E4F-11EA-B557-B0823DDC885E","last_name":"Dello Schiavo","full_name":"Dello Schiavo, Lorenzo"},{"full_name":"Lytvynov, Eugene","last_name":"Lytvynov","first_name":"Eugene"}],"month":"05","scopus_import":"1","article_processing_charge":"No","has_accepted_license":"1","publication_identifier":{"eissn":["1083-589X"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","doi":"10.1214/23-ECP528","page":"1-12","publication":"Electronic Communications in Probability","oa_version":"Published Version","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"isi":1,"intvolume":"        28","oa":1,"publisher":"Institute of Mathematical Statistics","day":"05","title":"A Mecke-type characterization of the Dirichlet–Ferguson measure","external_id":{"isi":["001042025400001"]},"volume":28,"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.","year":"2023","file_date_updated":"2023-06-19T09:37:40Z","project":[{"grant_number":"E208","_id":"34dbf174-11ca-11ed-8bc3-afe9d43d4b9c","name":"Configuration Spaces over Non-Smooth Spaces"}],"_id":"13145","date_updated":"2023-12-13T11:24:57Z","citation":{"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>.","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>","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.","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>","short":"L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12."},"department":[{"_id":"JaMa"}],"publication_status":"published","date_created":"2023-06-18T22:00:48Z"},{"_id":"13164","date_updated":"2023-12-13T11:26:34Z","file_date_updated":"2023-06-26T10:26:04Z","citation":{"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.","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>.","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>","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>.","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>"},"department":[{"_id":"FyKo"}],"publication_status":"published","date_created":"2023-06-25T22:00:45Z","external_id":{"isi":["001048208600023"]},"day":"14","title":"Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries","volume":14,"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.","year":"2023","doi":"10.1038/s41467-023-39317-4","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2041-1723"]},"type":"journal_article","oa_version":"Published Version","publication":"Nature Communications","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publisher":"Springer Nature","oa":1,"isi":1,"intvolume":"        14","article_type":"original","status":"public","quality_controlled":"1","file":[{"checksum":"d6165f41c7f1c2c04b04256ec9f003fb","creator":"dernst","date_created":"2023-06-26T10:26:04Z","relation":"main_file","date_updated":"2023-06-26T10:26:04Z","file_name":"2023_NatureComm_Gert.pdf","success":1,"file_id":"13172","content_type":"application/pdf","access_level":"open_access","file_size":1555006}],"date_published":"2023-06-14T00:00:00Z","ddc":["570"],"abstract":[{"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.","lang":"eng"}],"scopus_import":"1","article_processing_charge":"No","author":[{"first_name":"Krista R.B.","full_name":"Gert, Krista R.B.","last_name":"Gert"},{"last_name":"Panser","full_name":"Panser, Karin","first_name":"Karin"},{"full_name":"Surm, Joachim","last_name":"Surm","first_name":"Joachim"},{"full_name":"Steinmetz, Benjamin S.","last_name":"Steinmetz","first_name":"Benjamin S."},{"first_name":"Alexander","last_name":"Schleiffer","full_name":"Schleiffer, Alexander"},{"full_name":"Jovine, Luca","last_name":"Jovine","first_name":"Luca"},{"first_name":"Yehu","last_name":"Moran","full_name":"Moran, Yehu"},{"full_name":"Kondrashov, Fyodor","last_name":"Kondrashov","orcid":"0000-0001-8243-4694","id":"44FDEF62-F248-11E8-B48F-1D18A9856A87","first_name":"Fyodor"},{"first_name":"Andrea","full_name":"Pauli, Andrea","last_name":"Pauli"}],"month":"06","has_accepted_license":"1","article_number":"3506"},{"month":"10","author":[{"first_name":"Lixing","full_name":"Fang, Lixing","last_name":"Fang"},{"last_name":"Huang","full_name":"Huang, Hao","first_name":"Hao"},{"first_name":"János","id":"E62E3130-B088-11EA-B919-BF823C25FEA4","last_name":"Pach","full_name":"Pach, János"},{"first_name":"Gábor","last_name":"Tardos","full_name":"Tardos, Gábor"},{"first_name":"Junchi","last_name":"Zuo","full_name":"Zuo, Junchi"}],"scopus_import":"1","article_processing_charge":"Yes (in subscription journal)","has_accepted_license":"1","article_number":"105776","quality_controlled":"1","status":"public","article_type":"original","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."}],"ddc":["510"],"date_published":"2023-10-01T00:00:00Z","file":[{"access_level":"open_access","file_size":352555,"file_id":"14902","content_type":"application/pdf","success":1,"file_name":"2023_JourCombinatiorialTheory_Fang.pdf","date_updated":"2024-01-30T12:03:10Z","date_created":"2024-01-30T12:03:10Z","relation":"main_file","creator":"dernst","checksum":"9eebc213b4182a66063a99083ff5bd04"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png"},"intvolume":"       199","oa":1,"publisher":"Elsevier","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1096-0899"],"issn":["0097-3165"]},"doi":"10.1016/j.jcta.2023.105776","language":[{"iso":"eng"}],"oa_version":"Published Version","arxiv":1,"publication":"Journal of Combinatorial Theory. Series A","year":"2023","issue":"10","title":"Successive vertex orderings of fully regular graphs","day":"01","external_id":{"arxiv":["2206.13592"]},"volume":199,"publication_status":"published","license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","date_created":"2023-06-25T22:00:45Z","file_date_updated":"2024-01-30T12:03:10Z","date_updated":"2024-01-30T12:03:51Z","_id":"13165","department":[{"_id":"HeEd"}],"citation":{"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.","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>.","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>","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>.","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>","short":"L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023)."}},{"doi":"10.1038/s41591-023-02365-w","page":"1456-1467","publication_identifier":{"issn":["1078-8956"],"eissn":["1546-170X"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","oa_version":"Published Version","publication":"Nature Medicine","language":[{"iso":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"publisher":"Springer Nature","isi":1,"intvolume":"        29","article_type":"original","status":"public","quality_controlled":"1","file":[{"file_id":"13171","content_type":"application/pdf","access_level":"open_access","file_size":7365360,"file_name":"2023_NatureMedicine_Xu.pdf","date_updated":"2023-06-26T10:15:44Z","success":1,"date_created":"2023-06-26T10:15:44Z","relation":"main_file","checksum":"bcd3225b2731c3442fa98987fd3bd46d","creator":"dernst"}],"date_published":"2023-06-15T00:00:00Z","ddc":["570"],"abstract":[{"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.","lang":"eng"}],"scopus_import":"1","article_processing_charge":"No","author":[{"last_name":"Xu","full_name":"Xu, Jiayuan","first_name":"Jiayuan"},{"first_name":"Nana","last_name":"Liu","full_name":"Liu, Nana"},{"first_name":"Elli","full_name":"Polemiti, Elli","last_name":"Polemiti"},{"first_name":"Liliana","full_name":"Garcia-Mondragon, Liliana","last_name":"Garcia-Mondragon"},{"first_name":"Jie","last_name":"Tang","full_name":"Tang, Jie"},{"last_name":"Liu","full_name":"Liu, Xiaoxuan","first_name":"Xiaoxuan"},{"full_name":"Lett, Tristram","last_name":"Lett","first_name":"Tristram"},{"full_name":"Yu, Le","last_name":"Yu","first_name":"Le"},{"first_name":"Markus M.","last_name":"Nöthen","full_name":"Nöthen, Markus M."},{"first_name":"Jianfeng","full_name":"Feng, Jianfeng","last_name":"Feng"},{"last_name":"Yu","full_name":"Yu, Chunshui","first_name":"Chunshui"},{"full_name":"Marquand, Andre","last_name":"Marquand","first_name":"Andre"},{"first_name":"Gunter","full_name":"Schumann, Gunter","last_name":"Schumann"},{"first_name":"Henrik","last_name":"Walter","full_name":"Walter, Henrik"},{"first_name":"Andreas","last_name":"Heinz","full_name":"Heinz, Andreas"},{"full_name":"Ralser, Markus","last_name":"Ralser","first_name":"Markus"},{"last_name":"Twardziok","full_name":"Twardziok, Sven","first_name":"Sven"},{"full_name":"Vaidya, Nilakshi","last_name":"Vaidya","first_name":"Nilakshi"},{"first_name":"Emin","last_name":"Serin","full_name":"Serin, Emin"},{"first_name":"Marcel","last_name":"Jentsch","full_name":"Jentsch, Marcel"},{"first_name":"Esther","full_name":"Hitchen, Esther","last_name":"Hitchen"},{"last_name":"Eils","full_name":"Eils, Roland","first_name":"Roland"},{"last_name":"Taron","full_name":"Taron, Ulrike Helene","first_name":"Ulrike Helene"},{"first_name":"Tatjana","full_name":"Schütz, Tatjana","last_name":"Schütz"},{"last_name":"Schepanski","full_name":"Schepanski, Kerstin","first_name":"Kerstin"},{"first_name":"Jamie","full_name":"Banks, Jamie","last_name":"Banks"},{"last_name":"Banaschewski","full_name":"Banaschewski, Tobias","first_name":"Tobias"},{"last_name":"Jansone","full_name":"Jansone, Karina","first_name":"Karina"},{"full_name":"Christmann, Nina","last_name":"Christmann","first_name":"Nina"},{"last_name":"Meyer-Lindenberg","full_name":"Meyer-Lindenberg, Andreas","first_name":"Andreas"},{"last_name":"Tost","full_name":"Tost, Heike","first_name":"Heike"},{"last_name":"Holz","full_name":"Holz, Nathalie","first_name":"Nathalie"},{"full_name":"Schwarz, Emanuel","last_name":"Schwarz","first_name":"Emanuel"},{"first_name":"Argyris","full_name":"Stringaris, Argyris","last_name":"Stringaris"},{"full_name":"Neidhart, Maja","last_name":"Neidhart","first_name":"Maja"},{"first_name":"Frauke","full_name":"Nees, Frauke","last_name":"Nees"},{"first_name":"Sebastian","full_name":"Siehl, Sebastian","last_name":"Siehl"},{"first_name":"Ole","last_name":"A. Andreassen","full_name":"A. Andreassen, Ole"},{"first_name":"Lars","full_name":"T. Westlye, Lars","last_name":"T. Westlye"},{"first_name":"Dennis","last_name":"Van Der Meer","full_name":"Van Der Meer, Dennis"},{"first_name":"Sara","last_name":"Fernandez","full_name":"Fernandez, Sara"},{"first_name":"Rikka","last_name":"Kjelkenes","full_name":"Kjelkenes, Rikka"},{"last_name":"Ask","full_name":"Ask, Helga","first_name":"Helga"},{"first_name":"Michael","last_name":"Rapp","full_name":"Rapp, Michael"},{"last_name":"Tschorn","full_name":"Tschorn, Mira","first_name":"Mira"},{"last_name":"Böttger","full_name":"Böttger, Sarah Jane","first_name":"Sarah Jane"},{"full_name":"Novarino, Gaia","last_name":"Novarino","id":"3E57A680-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7673-7178","first_name":"Gaia"},{"first_name":"Lena","id":"4406F586-F248-11E8-B48F-1D18A9856A87","last_name":"Marr","full_name":"Marr, Lena"},{"first_name":"Mel","full_name":"Slater, Mel","last_name":"Slater"},{"last_name":"Viapiana","full_name":"Viapiana, Guillem Feixas","first_name":"Guillem Feixas"},{"full_name":"Orosa, Francisco Eiroa","last_name":"Orosa","first_name":"Francisco Eiroa"},{"full_name":"Gallego, Jaime","last_name":"Gallego","first_name":"Jaime"},{"first_name":"Alvaro","last_name":"Pastor","full_name":"Pastor, Alvaro"},{"first_name":"Andreas","last_name":"Forstner","full_name":"Forstner, Andreas"},{"first_name":"Per","full_name":"Hoffmann, Per","last_name":"Hoffmann"},{"first_name":"Markus","last_name":"M. Nöthen","full_name":"M. Nöthen, Markus"},{"first_name":"Andreas","last_name":"J. Forstner","full_name":"J. Forstner, Andreas"},{"last_name":"Claus","full_name":"Claus, Isabelle","first_name":"Isabelle"},{"first_name":"Abbi","full_name":"Miller, Abbi","last_name":"Miller"},{"first_name":"Stefanie","full_name":"Heilmann-Heimbach, Stefanie","last_name":"Heilmann-Heimbach"},{"last_name":"Sommer","full_name":"Sommer, Peter","first_name":"Peter"},{"first_name":"Mona","last_name":"Boye","full_name":"Boye, Mona"},{"first_name":"Johannes","full_name":"Wilbertz, Johannes","last_name":"Wilbertz"},{"last_name":"Schmitt","full_name":"Schmitt, Karen","first_name":"Karen"},{"full_name":"Jirsa, Viktor","last_name":"Jirsa","first_name":"Viktor"},{"full_name":"Petkoski, Spase","last_name":"Petkoski","first_name":"Spase"},{"full_name":"Pitel, Séverine","last_name":"Pitel","first_name":"Séverine"},{"full_name":"Otten, Lisa","last_name":"Otten","first_name":"Lisa"},{"full_name":"Athanasiadis, Anastasios Polykarpos","last_name":"Athanasiadis","first_name":"Anastasios Polykarpos"},{"last_name":"Pearmund","full_name":"Pearmund, Charlie","first_name":"Charlie"},{"first_name":"Bernhard","full_name":"Spanlang, Bernhard","last_name":"Spanlang"},{"last_name":"Alvarez","full_name":"Alvarez, Elena","first_name":"Elena"},{"full_name":"Sanchez, Mavi","last_name":"Sanchez","first_name":"Mavi"},{"last_name":"Giner","full_name":"Giner, Arantxa","first_name":"Arantxa"},{"first_name":"Sören","full_name":"Hese, Sören","last_name":"Hese"},{"full_name":"Renner, Paul","last_name":"Renner","first_name":"Paul"},{"full_name":"Jia, Tianye","last_name":"Jia","first_name":"Tianye"},{"first_name":"Yanting","last_name":"Gong","full_name":"Gong, Yanting"},{"first_name":"Yunman","last_name":"Xia","full_name":"Xia, Yunman"},{"first_name":"Xiao","last_name":"Chang","full_name":"Chang, Xiao"},{"full_name":"Calhoun, Vince","last_name":"Calhoun","first_name":"Vince"},{"full_name":"Liu, Jingyu","last_name":"Liu","first_name":"Jingyu"},{"first_name":"Paul","last_name":"Thompson","full_name":"Thompson, Paul"},{"last_name":"Clinton","full_name":"Clinton, Nicholas","first_name":"Nicholas"},{"first_name":"Sylvane","full_name":"Desrivieres, Sylvane","last_name":"Desrivieres"},{"first_name":"Allan","last_name":"H. Young","full_name":"H. Young, Allan"},{"first_name":"Bernd","last_name":"Stahl","full_name":"Stahl, Bernd"},{"last_name":"Ogoh","full_name":"Ogoh, George","first_name":"George"}],"month":"06","has_accepted_license":"1","_id":"13168","date_updated":"2023-12-13T11:25:55Z","file_date_updated":"2023-06-26T10:15:44Z","citation":{"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>.","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.","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."},"department":[{"_id":"GaNo"}],"publication_status":"published","date_created":"2023-06-25T22:00:46Z","external_id":{"isi":["001013172700001"]},"day":"15","title":"Effects of urban living environments on mental health in adults","volume":29,"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.","year":"2023"},{"month":"07","author":[{"last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","first_name":"Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87"}],"article_processing_charge":"No","has_accepted_license":"1","year":"2023","title":"Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals","day":"29","status":"public","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."}],"ddc":["571"],"date_published":"2023-07-29T00:00:00Z","file":[{"date_created":"2023-06-29T13:11:22Z","relation":"main_file","creator":"shigemot","checksum":"ed59170869ba621f89f7c1894092192f","access_level":"closed","file_size":542873672,"file_id":"13174","content_type":"application/x-zip-compressed","description":"After review an updated version of the data is provided","title":"Outdated Version","date_updated":"2023-11-17T14:30:44Z","file_name":"Raw data for Koppensteiner et al.zip"},{"access_level":"open_access","file_size":915079,"file_id":"14550","content_type":"application/vnd.openxmlformats-officedocument.spreadsheetml.sheet","success":1,"date_updated":"2023-11-17T14:13:02Z","file_name":"11-17-23 Updated Koppensteiner et al. raw data.xlsx","date_created":"2023-11-17T14:13:02Z","relation":"main_file","creator":"patrickd","checksum":"c07860eb82b4d367245f1b589fe5c250"},{"date_created":"2024-02-06T07:21:43Z","relation":"main_file","creator":"dernst","checksum":"abf84b1699edac4349dc3a92d466fb7b","access_level":"open_access","file_size":544868924,"file_id":"14942","content_type":"application/x-zip-compressed","success":1,"date_updated":"2024-02-06T07:21:43Z","file_name":"EM_Images.zip"}],"tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","short":"CC BY-NC (4.0)"},"license":"https://creativecommons.org/licenses/by-nc/4.0/","date_created":"2023-06-29T13:16:42Z","publisher":"Institute of Science and Technology Austria","oa":1,"file_date_updated":"2024-02-06T07:21:43Z","type":"research_data","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","keyword":["medial habenula","GABAB receptor","vesicle release","Flash and Freeze","Flash and Freeze-fracture"],"date_updated":"2024-02-21T12:19:26Z","doi":"10.15479/AT:ISTA:13173","_id":"13173","department":[{"_id":"RySh"}],"oa_version":"Published Version","citation":{"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>.","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>","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>.","short":"R. Shigemoto, (2023).","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>.","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>","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."}},{"oa_version":"Published Version","language":[{"iso":"eng"}],"ec_funded":1,"related_material":{"record":[{"id":"12900","relation":"old_edition","status":"public"},{"id":"9114","relation":"part_of_dissertation","status":"public"},{"id":"10924","relation":"part_of_dissertation","status":"public"}]},"keyword":["quantum optics","electrooptics","quantum networks","quantum communication","transduction"],"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"SSU"},{"_id":"NanoFab"}],"publication_identifier":{"isbn":["978-3-99078-030-5"],"issn":["2663 - 337X"]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","type":"dissertation","doi":"10.15479/at:ista:13175","page":"202","degree_awarded":"PhD","oa":1,"publisher":"Institute of Science and Technology Austria","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)","image":"/images/cc_by_nc_sa.png"},"date_published":"2023-05-05T00:00:00Z","ddc":["537","535","539"],"abstract":[{"lang":"eng","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. "}],"file":[{"date_updated":"2023-06-30T08:17:25Z","file_name":"thesis_pdfa.pdf","success":1,"content_type":"application/pdf","file_id":"13176","file_size":18688376,"access_level":"open_access","checksum":"7d03f1a5a5258ee43dfc3323dea4e08f","creator":"cchlebak","relation":"main_file","date_created":"2023-06-30T08:17:25Z"},{"creator":"cchlebak","checksum":"c3b45317ae58e0527533f98c202d81b7","relation":"source_file","date_created":"2023-07-06T11:35:15Z","file_name":"thesis.zip","date_updated":"2023-07-06T11:35:15Z","file_size":37847025,"access_level":"closed","content_type":"application/x-zip-compressed","file_id":"13196"}],"status":"public","has_accepted_license":"1","author":[{"first_name":"Rishabh","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6264-2162","last_name":"Sahu","full_name":"Sahu, Rishabh"}],"month":"05","article_processing_charge":"No","citation":{"ieee":"R. Sahu, “Cavity quantum electrooptics,” Institute of Science and Technology Austria, 2023.","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>.","ama":"Sahu R. Cavity quantum electrooptics. 2023. doi:<a href=\"https://doi.org/10.15479/at:ista:13175\">10.15479/at:ista:13175</a>","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.","ista":"Sahu R. 2023. Cavity quantum electrooptics. Institute of Science and Technology Austria.","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>"},"department":[{"_id":"GradSch"},{"_id":"JoFi"}],"project":[{"call_identifier":"H2020","_id":"26336814-B435-11E9-9278-68D0E5697425","name":"A Fiber Optic Transceiver for Superconducting Qubits","grant_number":"758053"},{"grant_number":"899354","name":"Quantum Local Area Networks with Superconducting Qubits","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","call_identifier":"H2020"},{"_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f","name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits"}],"file_date_updated":"2023-07-06T11:35:15Z","_id":"13175","date_updated":"2024-10-29T09:11:06Z","date_created":"2023-06-30T08:07:43Z","publication_status":"published","alternative_title":["ISTA Thesis"],"day":"05","title":"Cavity quantum electrooptics","supervisor":[{"full_name":"Fink, Johannes M","last_name":"Fink","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8112-028X","first_name":"Johannes M"}],"year":"2023"},{"article_processing_charge":"No","scopus_import":"1","month":"08","author":[{"first_name":"Bobo","last_name":"Hua","full_name":"Hua, Bobo"},{"first_name":"Matthias","full_name":"Keller, Matthias","last_name":"Keller"},{"last_name":"Schwarz","full_name":"Schwarz, Michael","first_name":"Michael"},{"first_name":"Melchior","id":"88644358-0A0E-11EA-8FA5-49A33DDC885E","orcid":"0000-0002-0519-4241","last_name":"Wirth","full_name":"Wirth, Melchior"}],"abstract":[{"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.","lang":"eng"}],"date_published":"2023-08-01T00:00:00Z","status":"public","article_type":"original","quality_controlled":"1","publisher":"American Mathematical Society","oa":1,"intvolume":"       151","isi":1,"language":[{"iso":"eng"}],"oa_version":"Preprint","publication":"Proceedings of the American Mathematical Society","arxiv":1,"page":"3401-3414","doi":"10.1090/proc/14361","type":"journal_article","publication_identifier":{"eissn":["1088-6826"],"issn":["0002-9939"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2023","issue":"8","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.","volume":151,"external_id":{"arxiv":["1804.08353"],"isi":["000988204400001"]},"title":"Sobolev-type inequalities and eigenvalue growth on graphs with finite measure","day":"01","date_created":"2023-07-02T22:00:43Z","publication_status":"published","main_file_link":[{"url":" https://doi.org/10.48550/arXiv.1804.08353","open_access":"1"}],"department":[{"_id":"JaMa"}],"citation":{"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>.","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>.","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.","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.","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>","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."},"date_updated":"2023-11-14T13:07:09Z","_id":"13177"},{"oa":1,"publisher":"Cambridge University Press","intvolume":"        11","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"ec_funded":1,"language":[{"iso":"eng"}],"arxiv":1,"publication":"Forum of Mathematics","oa_version":"Published Version","doi":"10.1017/fms.2023.45","page":"1-52","type":"journal_article","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2050-5094"]},"has_accepted_license":"1","scopus_import":"1","article_processing_charge":"Yes","month":"06","author":[{"id":"cbddacee-2b11-11eb-a02e-a2e14d04e52d","first_name":"David Johannes","full_name":"Mitrouskas, David Johannes","last_name":"Mitrouskas"},{"id":"316457FC-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof","full_name":"Mysliwy, Krzysztof","last_name":"Mysliwy"},{"id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-6781-0521","first_name":"Robert","full_name":"Seiringer, Robert","last_name":"Seiringer"}],"file":[{"content_type":"application/pdf","file_id":"13186","file_size":943192,"access_level":"open_access","file_name":"2023_ForumofMathematics.Sigma_Mitrouskas.pdf","date_updated":"2023-07-03T10:36:25Z","success":1,"relation":"main_file","date_created":"2023-07-03T10:36:25Z","checksum":"f672eb7dd015c472c9a04f1b9bf9df7d","creator":"alisjak"}],"ddc":["500"],"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"}],"date_published":"2023-06-13T00:00:00Z","status":"public","article_type":"original","quality_controlled":"1","date_created":"2023-07-02T22:00:43Z","publication_status":"published","department":[{"_id":"RoSe"}],"citation":{"short":"D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 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>","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.","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>.","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>.","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."},"date_updated":"2023-11-02T12:30:50Z","_id":"13178","project":[{"grant_number":"694227","name":"Analysis of quantum many-body systems","call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"}],"file_date_updated":"2023-07-03T10:36:25Z","year":"2023","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.).","volume":11,"external_id":{"isi":["001005008800001"],"arxiv":["2203.02454"]},"title":"Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron","day":"13"},{"file_date_updated":"2023-07-03T13:09:39Z","date_updated":"2023-07-17T08:43:19Z","_id":"13179","department":[{"_id":"DaAl"}],"citation":{"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>","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.","short":"N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).","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>","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>.","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>.","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."},"publication_status":"published","date_created":"2023-07-02T22:00:43Z","title":"CQS: A formally-verified framework for fair and abortable synchronization","day":"06","volume":7,"year":"2023","type":"journal_article","publication_identifier":{"eissn":["2475-1421"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1145/3591230","language":[{"iso":"eng"}],"oa_version":"Published Version","publication":"Proceedings of the ACM on Programming Languages","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":"         7","publisher":"Association for Computing Machinery ","oa":1,"quality_controlled":"1","status":"public","article_type":"original","ddc":["000"],"abstract":[{"lang":"eng","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."}],"date_published":"2023-06-06T00:00:00Z","file":[{"date_updated":"2023-07-03T13:09:39Z","file_name":"2023_ACMProgram.Lang._Koval.pdf","success":1,"file_id":"13187","content_type":"application/pdf","access_level":"open_access","file_size":1266773,"checksum":"5dba6e73f0ed79adbdae14d165bc2f68","creator":"alisjak","date_created":"2023-07-03T13:09:39Z","relation":"main_file"}],"month":"06","author":[{"first_name":"Nikita","id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval","full_name":"Koval, Nikita"},{"first_name":"Dmitry","last_name":"Khalanskiy","full_name":"Khalanskiy, Dmitry"},{"full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian"}],"article_processing_charge":"No","scopus_import":"1","article_number":"116","has_accepted_license":"1"},{"doi":"10.2140/involve.2023.16.331","page":"331-342","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["1944-4184"],"issn":["1944-4176"]},"language":[{"iso":"eng"}],"arxiv":1,"publication":"Involve","oa_version":"Preprint","publisher":"Mathematical Sciences Publishers","oa":1,"intvolume":"        16","status":"public","article_type":"original","quality_controlled":"1","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"}],"date_published":"2023-05-26T00:00:00Z","article_processing_charge":"No","scopus_import":"1","month":"05","author":[{"full_name":"Browning, Timothy D","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","first_name":"Timothy D"},{"last_name":"Lyczak","full_name":"Lyczak, Julian","first_name":"Julian","id":"3572849A-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Roman","last_name":"Sarapin","full_name":"Sarapin, Roman"}],"date_updated":"2023-07-17T08:39:19Z","_id":"13180","department":[{"_id":"TiBr"}],"citation":{"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.","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>.","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>","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>.","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.","short":"T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342."},"publication_status":"published","main_file_link":[{"url":"https://arxiv.org/abs/2203.06881","open_access":"1"}],"date_created":"2023-07-02T22:00:43Z","external_id":{"arxiv":["2203.06881"]},"title":"Local solubility for a family of quadrics over a split quadric surface","day":"26","volume":16,"year":"2023","issue":"2"},{"title":"Geometric characterization of the persistence of 1D maps","day":"17","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.","year":"2023","project":[{"grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Alpha Shape Theory Extended"},{"name":"Discretization in Geometry and Dynamics","_id":"0aa4bc98-070f-11eb-9043-e6fff9c6a316","grant_number":"I4887"},{"grant_number":"Z00342","name":"The Wittgenstein Prize","call_identifier":"FWF","_id":"268116B8-B435-11E9-9278-68D0E5697425"}],"file_date_updated":"2023-07-03T09:41:05Z","date_updated":"2023-10-18T08:13:10Z","_id":"13182","department":[{"_id":"HeEd"}],"citation":{"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.","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>.","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>","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>.","short":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023).","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.","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>"},"publication_status":"epub_ahead","date_created":"2023-07-02T22:00:44Z","quality_controlled":"1","status":"public","article_type":"original","ddc":["000"],"abstract":[{"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.","lang":"eng"}],"date_published":"2023-06-17T00:00:00Z","file":[{"date_created":"2023-07-03T09:41:05Z","relation":"main_file","checksum":"697249d5d1c61dea4410b9f021b70fce","creator":"alisjak","file_id":"13185","content_type":"application/pdf","access_level":"open_access","file_size":487355,"file_name":"2023_Journal of Applied and Computational Topology_Biswas.pdf","date_updated":"2023-07-03T09:41:05Z","success":1}],"month":"06","author":[{"full_name":"Biswas, Ranita","last_name":"Biswas","id":"3C2B033E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5372-7890","first_name":"Ranita"},{"last_name":"Cultrera Di Montesano","full_name":"Cultrera Di Montesano, Sebastiano","first_name":"Sebastiano","id":"34D2A09C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6249-0832"},{"orcid":"0000-0002-9823-6833","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert","full_name":"Edelsbrunner, Herbert","last_name":"Edelsbrunner"},{"last_name":"Saghafian","full_name":"Saghafian, Morteza","first_name":"Morteza","id":"f86f7148-b140-11ec-9577-95435b8df824"}],"scopus_import":"1","article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"issn":["2367-1726"],"eissn":["2367-1734"]},"doi":"10.1007/s41468-023-00126-9","language":[{"iso":"eng"}],"ec_funded":1,"publication":"Journal of Applied and Computational Topology","oa_version":"Published Version","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"publisher":"Springer Nature","oa":1},{"acknowledged_ssus":[{"_id":"M-Shop"}],"publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","keyword":["Computer Graphics","Computational Design","Computational Geometry","Shape Modeling"],"type":"journal_article","doi":"10.1145/3606033","publication":"ACM Transactions on Graphics","oa_version":"Submitted Version","ec_funded":1,"language":[{"iso":"eng"}],"related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"12897"}]},"isi":1,"intvolume":"        42","oa":1,"publisher":"Association for Computing Machinery","quality_controlled":"1","article_type":"original","status":"public","date_published":"2023-09-20T00:00:00Z","ddc":["516"],"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."}],"file":[{"relation":"main_file","date_created":"2023-07-04T08:11:28Z","checksum":"4954c1cfa487725bc156dcfec872478a","creator":"chafner","content_type":"application/pdf","file_id":"13194","file_size":19635168,"access_level":"open_access","file_name":"kirchhoff-rods.pdf","date_updated":"2023-07-04T08:11:28Z","success":1},{"file_id":"13190","content_type":"application/pdf","access_level":"open_access","file_size":420909,"file_name":"supp-main.pdf","date_updated":"2023-07-04T07:46:28Z","title":"Supplemental Material with Proofs","date_created":"2023-07-04T07:46:28Z","relation":"supplementary_material","checksum":"79c9975fbc82ff71f1767331d2204cca","creator":"chafner"},{"checksum":"4ab647e4f03c711e1e6a5fc1eb8684db","creator":"chafner","relation":"supplementary_material","date_created":"2023-07-04T07:46:30Z","file_name":"supp-cheat.pdf","date_updated":"2023-07-04T07:46:30Z","title":"Cheat Sheet for Notation","content_type":"application/pdf","file_id":"13191","file_size":430086,"access_level":"open_access"},{"date_created":"2023-07-04T07:46:39Z","relation":"supplementary_material","checksum":"c0fd9a57d012046de90c185ffa904b76","creator":"chafner","file_id":"13192","content_type":"video/mp4","access_level":"open_access","file_size":268088064,"date_updated":"2023-07-04T07:46:39Z","file_name":"kirchhoff-video-final.mp4","title":"Supplemental Video"},{"relation":"supplementary_material","date_created":"2023-07-04T07:47:10Z","checksum":"71b00712b489ada2cd9815910ee180a9","creator":"chafner","content_type":"application/x-zip-compressed","file_id":"13193","file_size":25790,"access_level":"open_access","date_updated":"2023-07-04T07:47:10Z","file_name":"matlab-submission.zip","title":"Matlab Source Code with Example"}],"author":[{"full_name":"Hafner, Christian","last_name":"Hafner","id":"400429CC-F248-11E8-B48F-1D18A9856A87","first_name":"Christian"},{"full_name":"Bickel, Bernd","last_name":"Bickel","orcid":"0000-0001-6511-9385","id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd"}],"month":"09","article_processing_charge":"No","has_accepted_license":"1","article_number":"171","project":[{"grant_number":"715767","call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425","name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling"}],"file_date_updated":"2023-07-04T08:11:28Z","_id":"13188","date_updated":"2024-03-25T23:30:26Z","citation":{"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.","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>.","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>","short":"C. Hafner, B. Bickel, ACM Transactions on Graphics 42 (2023).","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>","ista":"Hafner C, Bickel B. 2023. The design space of Kirchhoff rods. ACM Transactions on Graphics. 42(5), 171."},"department":[{"_id":"BeBi"}],"publication_status":"published","date_created":"2023-07-04T07:41:30Z","day":"20","title":"The design space of Kirchhoff rods","external_id":{"isi":["001086833300010"]},"volume":42,"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).","issue":"5","year":"2023"},{"citation":{"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).","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>","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>.","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>","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>."},"department":[{"_id":"ScWa"}],"_id":"13197","date_updated":"2023-08-02T06:34:47Z","project":[{"grant_number":"949120","name":"Tribocharge: a multi-scale approach to an enduring problem in physics","call_identifier":"H2020","_id":"0aa60e99-070f-11eb-9043-a6de6bdc3afa"},{"grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships"}],"file_date_updated":"2023-07-07T12:49:51Z","date_created":"2023-07-07T12:48:01Z","publication_status":"published","volume":7,"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. ","external_id":{"isi":["001019565900002"],"arxiv":["2304.12861"]},"day":"13","title":"Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts","issue":"6","year":"2023","oa_version":"Submitted Version","publication":"Physical Review Materials","arxiv":1,"ec_funded":1,"language":[{"iso":"eng"}],"doi":"10.1103/physrevmaterials.7.065601","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","keyword":["Physics and Astronomy (miscellaneous)","General Materials Science"],"publication_identifier":{"issn":["2475-9953"]},"type":"journal_article","publisher":"American Physical Society","oa":1,"isi":1,"intvolume":"         7","file":[{"relation":"main_file","date_created":"2023-07-07T12:49:51Z","checksum":"75584730d9cdd50eeccb4c52c509776d","creator":"ggrosjea","content_type":"application/pdf","file_id":"13198","file_size":1127040,"access_level":"open_access","date_updated":"2023-07-07T12:49:51Z","file_name":"Mosaic_asymmetries.pdf","success":1}],"date_published":"2023-06-13T00:00:00Z","abstract":[{"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.","lang":"eng"}],"ddc":["537"],"article_type":"original","status":"public","quality_controlled":"1","article_number":"065601","has_accepted_license":"1","article_processing_charge":"No","author":[{"full_name":"Grosjean, Galien M","last_name":"Grosjean","id":"0C5FDA4A-9CF6-11E9-8939-FF05E6697425","orcid":"0000-0001-5154-417X","first_name":"Galien M"},{"last_name":"Waitukaitis","full_name":"Waitukaitis, Scott R","first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2299-3176"}],"month":"06"},{"date_created":"2023-07-09T22:01:11Z","pmid":1,"publication_status":"published","department":[{"_id":"JoFi"}],"citation":{"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>.","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>.","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).","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.","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."},"date_updated":"2024-08-07T07:11:55Z","_id":"13200","file_date_updated":"2023-07-10T10:10:54Z","project":[{"grant_number":"758053","_id":"26336814-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"A Fiber Optic Transceiver for Superconducting Qubits"},{"name":"Quantum Local Area Networks with Superconducting Qubits","_id":"9B868D20-BA93-11EA-9121-9846C619BF3A","call_identifier":"H2020","grant_number":"899354"},{"name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f"},{"grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"},{"grant_number":"291734","call_identifier":"FP7","_id":"25681D80-B435-11E9-9278-68D0E5697425","name":"International IST Postdoc Fellowship Programme"},{"name":"Coherent on-chip conversion of superconducting qubit signals from microwaves to optical frequencies","_id":"2671EB66-B435-11E9-9278-68D0E5697425"}],"year":"2023","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.","volume":14,"external_id":{"arxiv":["2210.12443"],"isi":["001018100800002"],"pmid":["37355691"]},"title":"Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action","day":"24","publisher":"Nature Research","oa":1,"intvolume":"        14","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"language":[{"iso":"eng"}],"ec_funded":1,"publication":"Nature Communications","arxiv":1,"oa_version":"Published Version","doi":"10.1038/s41467-023-39493-3","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2041-1723"]},"article_number":"3784","has_accepted_license":"1","scopus_import":"1","article_processing_charge":"No","month":"06","author":[{"id":"45e99c0d-1eb1-11eb-9b96-ed8ab2983cac","orcid":"0000-0003-4345-4267","first_name":"Liu","full_name":"Qiu, Liu","last_name":"Qiu"},{"full_name":"Sahu, Rishabh","last_name":"Sahu","id":"47D26E34-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6264-2162","first_name":"Rishabh"},{"last_name":"Hease","full_name":"Hease, William J","first_name":"William J","orcid":"0000-0001-9868-2166","id":"29705398-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Arnold, Georg M","last_name":"Arnold","id":"3770C838-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1397-7876","first_name":"Georg M"},{"last_name":"Fink","full_name":"Fink, Johannes M","first_name":"Johannes M","orcid":"0000-0001-8112-028X","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87"}],"file":[{"checksum":"ec7ccd2c08f90d59cab302fd0d7776a4","creator":"alisjak","date_created":"2023-07-10T10:10:54Z","relation":"main_file","file_name":"2023_NatureComms_Qiu.pdf","date_updated":"2023-07-10T10:10:54Z","success":1,"file_id":"13206","content_type":"application/pdf","access_level":"open_access","file_size":1349134}],"ddc":["000"],"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"}],"date_published":"2023-06-24T00:00:00Z","status":"public","article_type":"original","quality_controlled":"1"},{"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","pmid":1,"date_created":"2023-07-09T22:01:12Z","publication_status":"published","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.","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>.","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>","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).","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>"},"department":[{"_id":"JiFr"}],"file_date_updated":"2023-12-13T23:30:03Z","_id":"13201","date_updated":"2023-12-13T23:30:04Z","issue":"25","year":"2023","volume":120,"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).","day":"12","title":"The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation","external_id":{"pmid":["37307446"],"isi":["001030689600003"]},"isi":1,"intvolume":"       120","publisher":"National Academy of Sciences","oa":1,"tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"publication":"Proceedings of the National Academy of Sciences of the United States of America","oa_version":"Published Version","language":[{"iso":"eng"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_identifier":{"issn":["0027-8424"],"eissn":["1091-6490"]},"type":"journal_article","doi":"10.1073/pnas.2221313120","has_accepted_license":"1","article_number":"e2221313120","author":[{"full_name":"Wang, Yalu","last_name":"Wang","first_name":"Yalu"},{"full_name":"Yuan, Zhi","last_name":"Yuan","first_name":"Zhi"},{"first_name":"Jinyi","full_name":"Wang, Jinyi","last_name":"Wang"},{"first_name":"Huixin","full_name":"Xiao, Huixin","last_name":"Xiao"},{"full_name":"Wan, Lu","last_name":"Wan","first_name":"Lu"},{"first_name":"Lanxin","id":"367EF8FA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-5607-272X","last_name":"Li","full_name":"Li, Lanxin"},{"full_name":"Guo, Yan","last_name":"Guo","first_name":"Yan"},{"full_name":"Gong, Zhizhong","last_name":"Gong","first_name":"Zhizhong"},{"last_name":"Friml","full_name":"Friml, Jiří","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596"},{"first_name":"Jing","last_name":"Zhang","full_name":"Zhang, Jing"}],"month":"06","scopus_import":"1","article_processing_charge":"No","date_published":"2023-06-12T00:00:00Z","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"}],"ddc":["570"],"file":[{"content_type":"application/pdf","file_id":"13204","file_size":5244581,"access_level":"open_access","date_updated":"2023-12-13T23:30:03Z","file_name":"2023_PNAS_Wang.pdf","relation":"main_file","date_created":"2023-07-10T08:48:40Z","embargo":"2023-12-12","checksum":"d800e06252eaefba28531fa9440f23f0","creator":"alisjak"}],"quality_controlled":"1","article_type":"original","status":"public"},{"publication_status":"published","date_created":"2023-07-09T22:01:12Z","pmid":1,"_id":"13202","date_updated":"2023-10-18T07:12:47Z","file_date_updated":"2023-07-10T09:04:58Z","project":[{"call_identifier":"H2020","_id":"2659CC84-B435-11E9-9278-68D0E5697425","name":"Ultrastructural analysis of phosphoinositides in nerve terminals: distribution, dynamics and physiological roles in synaptic transmission","grant_number":"793482"},{"_id":"25CA28EA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour","grant_number":"694539"}],"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.","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>","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.","short":"K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216.","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>","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>.","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>."},"department":[{"_id":"RySh"}],"issue":"23","year":"2023","external_id":{"pmid":["37160366"],"isi":["001020132100005"]},"day":"07","title":"Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons","volume":43,"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.","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"oa":1,"publisher":"Society for Neuroscience","isi":1,"intvolume":"        43","page":"4197-4216","doi":"10.1523/JNEUROSCI.1514-22.2023","publication_identifier":{"issn":["0270-6474"],"eissn":["1529-2401"]},"acknowledged_ssus":[{"_id":"EM-Fac"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","oa_version":"Published Version","publication":"The Journal of Neuroscience","ec_funded":1,"language":[{"iso":"eng"}],"article_processing_charge":"No","scopus_import":"1","author":[{"last_name":"Eguchi","full_name":"Eguchi, Kohgaku","first_name":"Kohgaku","orcid":"0000-0002-6170-2546","id":"2B7846DC-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Elodie","id":"3B59276A-F248-11E8-B48F-1D18A9856A87","last_name":"Le Monnier","full_name":"Le Monnier, Elodie"},{"id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8761-9444","first_name":"Ryuichi","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto"}],"month":"06","has_accepted_license":"1","article_type":"original","status":"public","quality_controlled":"1","file":[{"relation":"main_file","date_created":"2023-07-10T09:04:58Z","creator":"alisjak","checksum":"70b2141870e0bf1c94fd343e18fdbc32","file_size":7794425,"access_level":"open_access","content_type":"application/pdf","file_id":"13205","success":1,"file_name":"2023_JN_Eguchi.pdf","date_updated":"2023-07-10T09:04:58Z"}],"date_published":"2023-06-07T00:00:00Z","ddc":["570"],"abstract":[{"lang":"eng","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."}]},{"department":[{"_id":"GradSch"},{"_id":"RoSe"}],"citation":{"apa":"Hainzl, C., Roos, B., &#38; Seiringer, R. (2023). Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. EMS Press. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>","ista":"Hainzl C, Roos B, Seiringer R. 2023. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 12(4), 1507–1540.","short":"C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.","ama":"Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. <i>Journal of Spectral Theory</i>. 2023;12(4):1507–1540. doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>","mla":"Hainzl, Christian, et al. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>, vol. 12, no. 4, EMS Press, 2023, pp. 1507–1540, doi:<a href=\"https://doi.org/10.4171/JST/439\">10.4171/JST/439</a>.","chicago":"Hainzl, Christian, Barbara Roos, and Robert Seiringer. “Boundary Superconductivity in the BCS Model.” <i>Journal of Spectral Theory</i>. EMS Press, 2023. <a href=\"https://doi.org/10.4171/JST/439\">https://doi.org/10.4171/JST/439</a>.","ieee":"C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” <i>Journal of Spectral Theory</i>, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023."},"date_updated":"2023-10-27T10:37:29Z","_id":"13207","project":[{"name":"Analysis of quantum many-body systems","_id":"25C6DC12-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"694227"}],"file_date_updated":"2023-07-11T08:19:15Z","date_created":"2023-07-10T16:35:45Z","publication_status":"published","acknowledgement":"We thank Egor Babaev for encouraging us to study this problem, and Rupert Frank for many fruitful discussions. scussions. Funding. Funding from the European Union’s Horizon 2020 research and innovation programme under the ERC grant agreement No. 694227 (Barbara Roos and Robert Seiringer) is gratefully acknowledged.","volume":12,"external_id":{"isi":["000997933500008"],"arxiv":["2201.08090"]},"title":"Boundary superconductivity in the BCS model","day":"18","year":"2023","issue":"4","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"14374"}]},"language":[{"iso":"eng"}],"ec_funded":1,"publication":"Journal of Spectral Theory","arxiv":1,"oa_version":"Published Version","doi":"10.4171/JST/439","page":"1507–1540","type":"journal_article","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_identifier":{"eissn":["1664-0403"],"issn":["1664-039X"]},"publisher":"EMS Press","oa":1,"intvolume":"        12","isi":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"file":[{"file_name":"2023_EMS_Hainzl.pdf","date_updated":"2023-07-11T08:19:15Z","success":1,"file_id":"13208","content_type":"application/pdf","access_level":"open_access","file_size":304619,"checksum":"5501da33be010b5c81440438287584d5","creator":"alisjak","date_created":"2023-07-11T08:19:15Z","relation":"main_file"}],"abstract":[{"lang":"eng","text":"We consider the linear BCS equation, determining the BCS critical temperature, in the presence of a boundary, where Dirichlet boundary conditions are imposed. In the one-dimensional case with point interactions, we prove that the critical temperature is strictly larger than the bulk value, at least at weak coupling. In particular, the Cooper-pair wave function localizes near the boundary, an effect that cannot be modeled by effective Neumann boundary conditions on the order parameter as often imposed in Ginzburg–Landau theory. We also show that the relative shift in critical temperature vanishes if the coupling constant either goes to zero or to infinity."}],"ddc":["530"],"date_published":"2023-05-18T00:00:00Z","status":"public","article_type":"original","quality_controlled":"1","has_accepted_license":"1","article_processing_charge":"No","month":"05","author":[{"first_name":"Christian","full_name":"Hainzl, Christian","last_name":"Hainzl"},{"full_name":"Roos, Barbara","last_name":"Roos","id":"5DA90512-D80F-11E9-8994-2E2EE6697425","orcid":"0000-0002-9071-5880","first_name":"Barbara"},{"first_name":"Robert","orcid":"0000-0002-6781-0521","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer","full_name":"Seiringer, Robert"}]},{"doi":"10.1016/j.xplc.2023.100632","type":"journal_article","publication_identifier":{"eissn":["2590-3462"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"oa_version":"Published Version","publication":"Plant Communications","tmp":{"short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)"},"publisher":"Elsevier ","oa":1,"intvolume":"         4","isi":1,"status":"public","article_type":"original","quality_controlled":"1","file":[{"date_created":"2024-01-30T10:54:40Z","relation":"main_file","creator":"dernst","checksum":"f8ef92af6096834f91ce38587fb1db9f","access_level":"open_access","file_size":1434862,"file_id":"14900","content_type":"application/pdf","success":1,"date_updated":"2024-01-30T10:54:40Z","file_name":"2023_PlantCommunications_Xia.pdf"}],"ddc":["580"],"abstract":[{"lang":"eng","text":"The phytohormone auxin plays central roles in many growth and developmental processes in plants. Development of chemical tools targeting the auxin pathway is useful for both plant biology and agriculture. Here we reveal that naproxen, a synthetic compound with anti-inflammatory activity in humans, acts as an auxin transport inhibitor targeting PIN-FORMED (PIN) transporters in plants. Physiological experiments indicate that exogenous naproxen treatment affects pleiotropic auxin-regulated developmental processes. Additional cellular and biochemical evidence indicates that naproxen suppresses auxin transport, specifically PIN-mediated auxin efflux. Moreover, biochemical and structural analyses confirm that naproxen binds directly to PIN1 protein via the same binding cavity as the indole-3-acetic acid substrate. Thus, by combining cellular, biochemical, and structural approaches, this study clearly establishes that naproxen is a PIN inhibitor and elucidates the underlying mechanisms. Further use of this compound may advance our understanding of the molecular mechanisms of PIN-mediated auxin transport and expand our toolkit in auxin biology and agriculture."}],"date_published":"2023-11-13T00:00:00Z","article_processing_charge":"Yes","month":"11","author":[{"last_name":"Xia","full_name":"Xia, Jing","first_name":"Jing"},{"full_name":"Kong, Mengjuan","last_name":"Kong","first_name":"Mengjuan"},{"first_name":"Zhisen","full_name":"Yang, Zhisen","last_name":"Yang"},{"first_name":"Lianghanxiao","last_name":"Sun","full_name":"Sun, Lianghanxiao"},{"first_name":"Yakun","last_name":"Peng","full_name":"Peng, Yakun"},{"last_name":"Mao","full_name":"Mao, Yanbo","first_name":"Yanbo"},{"full_name":"Wei, Hong","last_name":"Wei","first_name":"Hong"},{"last_name":"Ying","full_name":"Ying, Wei","first_name":"Wei"},{"first_name":"Yongxiao","full_name":"Gao, Yongxiao","last_name":"Gao"},{"first_name":"Jiří","orcid":"0000-0002-8302-7596","id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","full_name":"Friml, Jiří"},{"first_name":"Jianping","full_name":"Weng, Jianping","last_name":"Weng"},{"full_name":"Liu, Xin","last_name":"Liu","first_name":"Xin"},{"first_name":"Linfeng","full_name":"Sun, Linfeng","last_name":"Sun"},{"full_name":"Tan, Shutang","last_name":"Tan","first_name":"Shutang"}],"article_number":"100632","has_accepted_license":"1","date_updated":"2024-01-30T10:55:34Z","_id":"13209","file_date_updated":"2024-01-30T10:54:40Z","department":[{"_id":"JiFr"}],"citation":{"ieee":"J. Xia <i>et al.</i>, “Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen,” <i>Plant Communications</i>, vol. 4, no. 6. Elsevier , 2023.","ista":"Xia J, Kong M, Yang Z, Sun L, Peng Y, Mao Y, Wei H, Ying W, Gao Y, Friml J, Weng J, Liu X, Sun L, Tan S. 2023. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. Plant Communications. 4(6), 100632.","apa":"Xia, J., Kong, M., Yang, Z., Sun, L., Peng, Y., Mao, Y., … Tan, S. (2023). Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. <i>Plant Communications</i>. Elsevier . <a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">https://doi.org/10.1016/j.xplc.2023.100632</a>","short":"J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).","ama":"Xia J, Kong M, Yang Z, et al. Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen. <i>Plant Communications</i>. 2023;4(6). doi:<a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">10.1016/j.xplc.2023.100632</a>","mla":"Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” <i>Plant Communications</i>, vol. 4, no. 6, 100632, Elsevier , 2023, doi:<a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">10.1016/j.xplc.2023.100632</a>.","chicago":"Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” <i>Plant Communications</i>. Elsevier , 2023. <a href=\"https://doi.org/10.1016/j.xplc.2023.100632\">https://doi.org/10.1016/j.xplc.2023.100632</a>."},"publication_status":"published","date_created":"2023-07-12T07:32:00Z","pmid":1,"external_id":{"pmid":["37254481"],"isi":["001113003000001"]},"title":"Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen","day":"13","acknowledgement":"This work was supported by the Strategic Priority Research Program of the Chinese Academy of Sciences (XDB37020103 to Linfeng Sun); research funds from the Center for Advanced Interdisciplinary Science\r\nand Biomedicine of IHM, Division of Life Sciences and Medicine, University of Science and Technology of China (QYPY20220012 to S.T.); start-up funding from the University of Science and Technology of China and the\r\nChinese Academy of Sciences (GG9100007007, KY9100000026,KY9100000051, and KJ2070000079 to S.T.); the National Natural Science Foundation of China (31900885 to X.L. and 31870732 to Linfeng Sun); the Natural Science Foundation of Anhui Province (2008085MC90 to X.L. and 2008085J15 to Linfeng Sun); the Fundamental Research Funds for the Central Universities (WK9100000021 to S.T. and WK9100000031 to Linfeng Sun); and the USTC Research Funds of the Double First-Class Initiative (YD9100002016 to S.T. and YD9100002004 to Linfeng Sun). Linfeng Sun is supported by an Outstanding Young Scholar Award from the Qiu Shi Science and Technologies Foundation and a Young Scholar Award from the Cyrus Tang Foundation.We thank Dr. Yang Zhao for sharing published materials (Center for Excellence in Molecular Plant Sciences, Chinese Academy of Sciences) and the Cryo-EM Center of the University of Science and Technology of China for the EM facility support. We are grateful to Y. Gao and all other staff members for their technical support on cryo-EM data collection. ","volume":4,"year":"2023","issue":"6"}]