--- _id: '13139' abstract: - lang: eng text: A classical problem for Markov chains is determining their stationary (or steady-state) distribution. This problem has an equally classical solution based on eigenvectors and linear equation systems. However, this approach does not scale to large instances, and iterative solutions are desirable. It turns out that a naive approach, as used by current model checkers, may yield completely wrong results. We present a new approach, which utilizes recent advances in partial exploration and mean payoff computation to obtain a correct, converging approximation. alternative_title: - LNCS article_processing_charge: No arxiv: 1 author: - first_name: Tobias full_name: Meggendorfer, Tobias id: b21b0c15-30a2-11eb-80dc-f13ca25802e1 last_name: Meggendorfer orcid: 0000-0002-1712-2165 citation: ama: 'Meggendorfer T. Correct approximation of stationary distributions. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13993. Springer Nature; 2023:489-507. doi:10.1007/978-3-031-30823-9_25' apa: 'Meggendorfer, T. (2023). Correct approximation of stationary distributions. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 489–507). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_25' chicago: 'Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13993:489–507. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_25.' ieee: 'T. Meggendorfer, “Correct approximation of stationary distributions,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13993, pp. 489–507.' ista: 'Meggendorfer T. 2023. Correct approximation of stationary distributions. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13993, 489–507.' mla: 'Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:10.1007/978-3-031-30823-9_25.' short: 'T. Meggendorfer, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 489–507.' conference: end_date: 2023-04-27 location: Paris, France name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2023-04-22 date_created: 2023-06-18T22:00:46Z date_published: 2023-04-22T00:00:00Z date_updated: 2024-02-27T07:19:33Z day: '22' ddc: - '000' department: - _id: KrCh doi: 10.1007/978-3-031-30823-9_25 external_id: arxiv: - '2301.08137' file: - access_level: open_access checksum: 59f707a3949c03793251b0d04c62542a content_type: application/pdf creator: dernst date_created: 2023-06-19T07:18:40Z date_updated: 2023-06-19T07:18:40Z file_id: '13148' file_name: 2023_LNCS_Meggendorfer.pdf file_size: 521951 relation: main_file success: 1 file_date_updated: 2023-06-19T07:18:40Z has_accepted_license: '1' intvolume: ' 13993' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 489-507 publication: 'TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems' publication_identifier: eissn: - 1611-3349 isbn: - '9783031308222' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '14990' relation: research_data status: public scopus_import: '1' status: public title: Correct approximation of stationary distributions tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 13993 year: '2023' ... --- _id: '13141' abstract: - lang: eng text: "We automatically compute a new class of environment assumptions in two-player turn-based finite graph games which characterize an “adequate cooperation” needed from the environment to allow the system player to win. Given an ω-regular winning condition Φ for the system player, we compute an ω-regular assumption Ψ for the environment player, such that (i) every environment strategy compliant with Ψ allows the system to fulfill Φ (sufficiency), (ii) Ψ\r\n can be fulfilled by the environment for every strategy of the system (implementability), and (iii) Ψ does not prevent any cooperative strategy choice (permissiveness).\r\nFor parity games, which are canonical representations of ω-regular games, we present a polynomial-time algorithm for the symbolic computation of adequately permissive assumptions and show that our algorithm runs faster and produces better assumptions than existing approaches—both theoretically and empirically. To the best of our knowledge, for ω\r\n-regular games, we provide the first algorithm to compute sufficient and implementable environment assumptions that are also permissive." alternative_title: - LNCS article_processing_charge: No author: - first_name: Ashwani full_name: Anand, Ashwani last_name: Anand - first_name: Kaushik full_name: Mallik, Kaushik id: 0834ff3c-6d72-11ec-94e0-b5b0a4fb8598 last_name: Mallik orcid: 0000-0001-9864-7475 - first_name: Satya Prakash full_name: Nayak, Satya Prakash last_name: Nayak - first_name: Anne Kathrin full_name: Schmuck, Anne Kathrin last_name: Schmuck citation: ama: 'Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:211-228. doi:10.1007/978-3-031-30820-8_15' apa: 'Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15' chicago: 'Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_15.' ieee: 'A. Anand, K. Mallik, S. P. Nayak, and A. K. Schmuck, “Computing adequately permissive assumptions for synthesis,” in TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 211–228.' ista: 'Anand A, Mallik K, Nayak SP, Schmuck AK. 2023. Computing adequately permissive assumptions for synthesis. TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 13994, 211–228.' mla: 'Anand, Ashwani, et al. “Computing Adequately Permissive Assumptions for Synthesis.” TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 211–28, doi:10.1007/978-3-031-30820-8_15.' short: 'A. Anand, K. Mallik, S.P. Nayak, A.K. Schmuck, in:, TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 211–228.' conference: end_date: 2023-04-27 location: Paris, France name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2023-04-22 date_created: 2023-06-18T22:00:47Z date_published: 2023-04-20T00:00:00Z date_updated: 2023-06-19T08:49:46Z day: '20' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-031-30820-8_15 file: - access_level: open_access checksum: 60dcafc1b4f6f070be43bad3fe877974 content_type: application/pdf creator: dernst date_created: 2023-06-19T08:43:21Z date_updated: 2023-06-19T08:43:21Z file_id: '13151' file_name: 2023_LNCS_Anand.pdf file_size: 521425 relation: main_file success: 1 file_date_updated: 2023-06-19T08:43:21Z has_accepted_license: '1' intvolume: ' 13994' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 211-228 publication: 'TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems' publication_identifier: eissn: - 1611-3349 isbn: - '9783031308192' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Computing adequately permissive assumptions for synthesis tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 13994 year: '2023' ... --- _id: '13142' 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. 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. alternative_title: - LNCS article_processing_charge: No author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Mathias full_name: Lechner, Mathias id: 3DC22916-F248-11E8-B48F-1D18A9856A87 last_name: Lechner - first_name: Dorde full_name: Zikelic, Dorde id: 294AA7A6-F248-11E8-B48F-1D18A9856A87 last_name: Zikelic orcid: 0000-0002-4681-1699 citation: ama: 'Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi:10.1007/978-3-031-30823-9_1' apa: 'Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1' 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 Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_1. 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 Tools and Algorithms for the Construction and Analysis of Systems , Paris, France, 2023, vol. 13993, pp. 3–25. 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.' mla: Chatterjee, Krishnendu, et al. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” Tools and Algorithms for the Construction and Analysis of Systems , vol. 13993, Springer Nature, 2023, pp. 3–25, doi:10.1007/978-3-031-30823-9_1. 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. conference: end_date: 2023-04-27 location: Paris, France name: 'TACAS: Tools and Algorithms for the Construction and Analysis of Systems' start_date: 2023-04-22 date_created: 2023-06-18T22:00:47Z date_published: 2023-04-22T00:00:00Z date_updated: 2025-07-14T09:09:52Z day: '22' ddc: - '000' department: - _id: KrCh - _id: ToHe doi: 10.1007/978-3-031-30823-9_1 ec_funded: 1 file: - access_level: open_access checksum: 3d8a8bb24d211bc83360dfc2fd744307 content_type: application/pdf creator: dernst date_created: 2023-06-19T08:29:30Z date_updated: 2023-06-19T08:29:30Z file_id: '13150' file_name: 2023_LNCS_Chatterjee.pdf file_size: 528455 relation: main_file success: 1 file_date_updated: 2023-06-19T08:29:30Z has_accepted_license: '1' intvolume: ' 13993' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: 3-25 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication: 'Tools and Algorithms for the Construction and Analysis of Systems ' publication_identifier: eissn: - 1611-3349 isbn: - '9783031308222' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: A learner-verifier framework for neural network controllers and certificates of stochastic systems tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 13993 year: '2023' ... --- _id: '13143' abstract: - lang: eng 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." 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.' alternative_title: - LNCS article_processing_charge: No author: - first_name: Charlotte full_name: Hoffmann, Charlotte id: 0f78d746-dc7d-11ea-9b2f-83f92091afe7 last_name: Hoffmann - first_name: Pavel full_name: Hubáček, Pavel last_name: Hubáček - first_name: Chethan full_name: Kamath, Chethan last_name: Kamath - first_name: Krzysztof Z full_name: Pietrzak, Krzysztof Z id: 3E04A7AA-F248-11E8-B48F-1D18A9856A87 last_name: Pietrzak orcid: 0000-0002-9139-1654 citation: ama: 'Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023. Vol 13940. Springer Nature; 2023:530-553. doi:10.1007/978-3-031-31368-4_19' apa: 'Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19' chicago: Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-31368-4_19. ieee: C. Hoffmann, P. Hubáček, C. Kamath, and K. Z. Pietrzak, “Certifying giant nonprimes,” in Public-Key Cryptography - PKC 2023, Atlanta, GA, United States, 2023, vol. 13940, pp. 530–553. 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.' mla: Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19. short: C. Hoffmann, P. Hubáček, C. Kamath, K.Z. Pietrzak, in:, Public-Key Cryptography - PKC 2023, Springer Nature, 2023, pp. 530–553. conference: end_date: 2023-05-10 location: Atlanta, GA, United States name: 'PKC: Public-Key Cryptography' start_date: 2023-05-07 date_created: 2023-06-18T22:00:47Z date_published: 2023-05-02T00:00:00Z date_updated: 2023-06-19T08:03:37Z day: '02' department: - _id: KrPi doi: 10.1007/978-3-031-31368-4_19 intvolume: ' 13940' language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2023/238 month: '05' oa: 1 oa_version: Submitted Version page: 530-553 publication: Public-Key Cryptography - PKC 2023 publication_identifier: eissn: - 1611-3349 isbn: - '9783031313677' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Certifying giant nonprimes type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 13940 year: '2023' ... --- _id: '13145' abstract: - lang: eng 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. 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. article_processing_charge: No article_type: original author: - first_name: Lorenzo full_name: Dello Schiavo, Lorenzo id: ECEBF480-9E4F-11EA-B557-B0823DDC885E last_name: Dello Schiavo orcid: 0000-0002-9881-6870 - first_name: Eugene full_name: Lytvynov, Eugene last_name: Lytvynov citation: ama: Dello Schiavo L, Lytvynov E. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 2023;28:1-12. doi:10.1214/23-ECP528 apa: Dello Schiavo, L., & Lytvynov, E. (2023). A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/23-ECP528 chicago: Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2023. https://doi.org/10.1214/23-ECP528. ieee: L. Dello Schiavo and E. Lytvynov, “A Mecke-type characterization of the Dirichlet–Ferguson measure,” Electronic Communications in Probability, vol. 28. Institute of Mathematical Statistics, pp. 1–12, 2023. ista: Dello Schiavo L, Lytvynov E. 2023. A Mecke-type characterization of the Dirichlet–Ferguson measure. Electronic Communications in Probability. 28, 1–12. mla: Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” Electronic Communications in Probability, vol. 28, Institute of Mathematical Statistics, 2023, pp. 1–12, doi:10.1214/23-ECP528. short: L. Dello Schiavo, E. Lytvynov, Electronic Communications in Probability 28 (2023) 1–12. date_created: 2023-06-18T22:00:48Z date_published: 2023-05-05T00:00:00Z date_updated: 2023-12-13T11:24:57Z day: '05' ddc: - '510' department: - _id: JaMa doi: 10.1214/23-ECP528 external_id: isi: - '001042025400001' file: - access_level: open_access checksum: 4a543fe4b3f9e747cc52167c17bfb524 content_type: application/pdf creator: dernst date_created: 2023-06-19T09:37:40Z date_updated: 2023-06-19T09:37:40Z file_id: '13152' file_name: 2023_ElectronCommProbability_Schiavo.pdf file_size: 271434 relation: main_file success: 1 file_date_updated: 2023-06-19T09:37:40Z has_accepted_license: '1' intvolume: ' 28' isi: 1 language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 1-12 project: - _id: 34dbf174-11ca-11ed-8bc3-afe9d43d4b9c grant_number: E208 name: Configuration Spaces over Non-Smooth Spaces publication: Electronic Communications in Probability publication_identifier: eissn: - 1083-589X publication_status: published publisher: Institute of Mathematical Statistics quality_controlled: '1' scopus_import: '1' status: public title: A Mecke-type characterization of the Dirichlet–Ferguson measure tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 28 year: '2023' ... --- _id: '13164' abstract: - lang: eng text: Molecular compatibility between gametes is a prerequisite for successful fertilization. As long as a sperm and egg can recognize and bind each other via their surface proteins, gamete fusion may occur even between members of separate species, resulting in hybrids that can impact speciation. The egg membrane protein Bouncer confers species specificity to gamete interactions between medaka and zebrafish, preventing their cross-fertilization. Here, we leverage this specificity to uncover distinct amino acid residues and N-glycosylation patterns that differentially influence the function of medaka and zebrafish Bouncer and contribute to cross-species incompatibility. Curiously, in contrast to the specificity observed for medaka and zebrafish Bouncer, seahorse and fugu Bouncer are compatible with both zebrafish and medaka sperm, in line with the pervasive purifying selection that dominates Bouncer’s evolution. The Bouncer-sperm interaction is therefore the product of seemingly opposing evolutionary forces that, for some species, restrict fertilization to closely related fish, and for others, allow broad gamete compatibility that enables hybridization. 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. article_number: '3506' article_processing_charge: No article_type: original author: - first_name: Krista R.B. full_name: Gert, Krista R.B. last_name: Gert - first_name: Karin full_name: Panser, Karin last_name: Panser - first_name: Joachim full_name: Surm, Joachim last_name: Surm - first_name: Benjamin S. full_name: Steinmetz, Benjamin S. last_name: Steinmetz - first_name: Alexander full_name: Schleiffer, Alexander last_name: Schleiffer - first_name: Luca full_name: Jovine, Luca last_name: Jovine - first_name: Yehu full_name: Moran, Yehu last_name: Moran - first_name: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 - first_name: Andrea full_name: Pauli, Andrea last_name: Pauli citation: ama: Gert KRB, Panser K, Surm J, et al. Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries. Nature Communications. 2023;14. doi:10.1038/s41467-023-39317-4 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. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-39317-4 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.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-39317-4. ieee: K. R. B. Gert et al., “Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries,” Nature Communications, vol. 14. Springer Nature, 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. mla: Gert, Krista R. B., et al. “Divergent Molecular Signatures in Fish Bouncer Proteins Define Cross-Fertilization Boundaries.” Nature Communications, vol. 14, 3506, Springer Nature, 2023, doi:10.1038/s41467-023-39317-4. 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). date_created: 2023-06-25T22:00:45Z date_published: 2023-06-14T00:00:00Z date_updated: 2023-12-13T11:26:34Z day: '14' ddc: - '570' department: - _id: FyKo doi: 10.1038/s41467-023-39317-4 external_id: isi: - '001048208600023' file: - access_level: open_access checksum: d6165f41c7f1c2c04b04256ec9f003fb content_type: application/pdf creator: dernst date_created: 2023-06-26T10:26:04Z date_updated: 2023-06-26T10:26:04Z file_id: '13172' file_name: 2023_NatureComm_Gert.pdf file_size: 1555006 relation: main_file success: 1 file_date_updated: 2023-06-26T10:26:04Z has_accepted_license: '1' intvolume: ' 14' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Divergent molecular signatures in fish Bouncer proteins define cross-fertilization boundaries tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 14 year: '2023' ... --- _id: '13165' 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." article_number: '105776' article_processing_charge: Yes (in subscription journal) article_type: original arxiv: 1 author: - first_name: Lixing full_name: Fang, Lixing last_name: Fang - first_name: Hao full_name: Huang, Hao last_name: Huang - first_name: János full_name: Pach, János id: E62E3130-B088-11EA-B919-BF823C25FEA4 last_name: Pach - first_name: Gábor full_name: Tardos, Gábor last_name: Tardos - first_name: Junchi full_name: Zuo, Junchi last_name: Zuo citation: ama: Fang L, Huang H, Pach J, Tardos G, Zuo J. Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory Series A. 2023;199(10). doi:10.1016/j.jcta.2023.105776 apa: Fang, L., Huang, H., Pach, J., Tardos, G., & Zuo, J. (2023). Successive vertex orderings of fully regular graphs. Journal of Combinatorial Theory. Series A. Elsevier. https://doi.org/10.1016/j.jcta.2023.105776 chicago: Fang, Lixing, Hao Huang, János Pach, Gábor Tardos, and Junchi Zuo. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A. Elsevier, 2023. https://doi.org/10.1016/j.jcta.2023.105776. ieee: L. Fang, H. Huang, J. Pach, G. Tardos, and J. Zuo, “Successive vertex orderings of fully regular graphs,” Journal of Combinatorial Theory. Series A, vol. 199, no. 10. Elsevier, 2023. 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. mla: Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A, vol. 199, no. 10, 105776, Elsevier, 2023, doi:10.1016/j.jcta.2023.105776. short: L. Fang, H. Huang, J. Pach, G. Tardos, J. Zuo, Journal of Combinatorial Theory. Series A 199 (2023). date_created: 2023-06-25T22:00:45Z date_published: 2023-10-01T00:00:00Z date_updated: 2024-01-30T12:03:51Z day: '01' ddc: - '510' department: - _id: HeEd doi: 10.1016/j.jcta.2023.105776 external_id: arxiv: - '2206.13592' file: - access_level: open_access checksum: 9eebc213b4182a66063a99083ff5bd04 content_type: application/pdf creator: dernst date_created: 2024-01-30T12:03:10Z date_updated: 2024-01-30T12:03:10Z file_id: '14902' file_name: 2023_JourCombinatiorialTheory_Fang.pdf file_size: 352555 relation: main_file success: 1 file_date_updated: 2024-01-30T12:03:10Z has_accepted_license: '1' intvolume: ' 199' issue: '10' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '10' oa: 1 oa_version: Published Version publication: Journal of Combinatorial Theory. Series A publication_identifier: eissn: - 1096-0899 issn: - 0097-3165 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Successive vertex orderings of fully regular graphs tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 199 year: '2023' ... --- _id: '13168' abstract: - lang: eng text: Urban-living individuals are exposed to many environmental factors that may combine and interact to influence mental health. While individual factors of an urban environment have been investigated in isolation, no attempt has been made to model how complex, real-life exposure to living in the city relates to brain and mental health, and how this is moderated by genetic factors. Using the data of 156,075 participants from the UK Biobank, we carried out sparse canonical correlation analyses to investigate the relationships between urban environments and psychiatric symptoms. We found an environmental profile of social deprivation, air pollution, street network and urban land-use density that was positively correlated with an affective symptom group (r = 0.22, Pperm < 0.001), mediated by brain volume differences consistent with reward processing, and moderated by genes enriched for stress response, including CRHR1, explaining 2.01% of the variance in brain volume differences. Protective factors such as greenness and generous destination accessibility were negatively correlated with an anxiety symptom group (r = 0.10, Pperm < 0.001), mediated by brain regions necessary for emotion regulation and moderated by EXD3, explaining 1.65% of the variance. The third urban environmental profile was correlated with an emotional instability symptom group (r = 0.03, Pperm < 0.001). Our findings suggest that different environmental profiles of urban living may influence specific psychiatric symptom groups through distinct neurobiological pathways. 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. article_processing_charge: No article_type: original author: - first_name: Jiayuan full_name: Xu, Jiayuan last_name: Xu - first_name: Nana full_name: Liu, Nana last_name: Liu - 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 full_name: Tang, Jie last_name: Tang - first_name: Xiaoxuan full_name: Liu, Xiaoxuan last_name: Liu - first_name: Tristram full_name: Lett, Tristram last_name: Lett - first_name: Le full_name: Yu, Le last_name: Yu - first_name: Markus M. full_name: Nöthen, Markus M. last_name: Nöthen - first_name: Jianfeng full_name: Feng, Jianfeng last_name: Feng - first_name: Chunshui full_name: Yu, Chunshui last_name: Yu - first_name: Andre full_name: Marquand, Andre last_name: Marquand - first_name: Gunter full_name: Schumann, Gunter last_name: Schumann - first_name: Henrik full_name: Walter, Henrik last_name: Walter - first_name: Andreas full_name: Heinz, Andreas last_name: Heinz - first_name: Markus full_name: Ralser, Markus last_name: Ralser - first_name: Sven full_name: Twardziok, Sven last_name: Twardziok - first_name: Nilakshi full_name: Vaidya, Nilakshi last_name: Vaidya - first_name: Emin full_name: Serin, Emin last_name: Serin - first_name: Marcel full_name: Jentsch, Marcel last_name: Jentsch - first_name: Esther full_name: Hitchen, Esther last_name: Hitchen - first_name: Roland full_name: Eils, Roland last_name: Eils - first_name: Ulrike Helene full_name: Taron, Ulrike Helene last_name: Taron - first_name: Tatjana full_name: Schütz, Tatjana last_name: Schütz - first_name: Kerstin full_name: Schepanski, Kerstin last_name: Schepanski - first_name: Jamie full_name: Banks, Jamie last_name: Banks - first_name: Tobias full_name: Banaschewski, Tobias last_name: Banaschewski - first_name: Karina full_name: Jansone, Karina last_name: Jansone - first_name: Nina full_name: Christmann, Nina last_name: Christmann - first_name: Andreas full_name: Meyer-Lindenberg, Andreas last_name: Meyer-Lindenberg - first_name: Heike full_name: Tost, Heike last_name: Tost - first_name: Nathalie full_name: Holz, Nathalie last_name: Holz - first_name: Emanuel full_name: Schwarz, Emanuel last_name: Schwarz - first_name: Argyris full_name: Stringaris, Argyris last_name: Stringaris - first_name: Maja full_name: Neidhart, Maja last_name: Neidhart - first_name: Frauke full_name: Nees, Frauke last_name: Nees - first_name: Sebastian full_name: Siehl, Sebastian last_name: Siehl - first_name: Ole full_name: A. Andreassen, Ole last_name: A. Andreassen - first_name: Lars full_name: T. Westlye, Lars last_name: T. Westlye - first_name: Dennis full_name: Van Der Meer, Dennis last_name: Van Der Meer - first_name: Sara full_name: Fernandez, Sara last_name: Fernandez - first_name: Rikka full_name: Kjelkenes, Rikka last_name: Kjelkenes - first_name: Helga full_name: Ask, Helga last_name: Ask - first_name: Michael full_name: Rapp, Michael last_name: Rapp - first_name: Mira full_name: Tschorn, Mira last_name: Tschorn - first_name: Sarah Jane full_name: Böttger, Sarah Jane last_name: Böttger - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 - first_name: Lena full_name: Marr, Lena id: 4406F586-F248-11E8-B48F-1D18A9856A87 last_name: Marr - first_name: Mel full_name: Slater, Mel last_name: Slater - first_name: Guillem Feixas full_name: Viapiana, Guillem Feixas last_name: Viapiana - first_name: Francisco Eiroa full_name: Orosa, Francisco Eiroa last_name: Orosa - first_name: Jaime full_name: Gallego, Jaime last_name: Gallego - first_name: Alvaro full_name: Pastor, Alvaro last_name: Pastor - first_name: Andreas full_name: Forstner, Andreas last_name: Forstner - first_name: Per full_name: Hoffmann, Per last_name: Hoffmann - first_name: Markus full_name: M. Nöthen, Markus last_name: M. Nöthen - first_name: Andreas full_name: J. Forstner, Andreas last_name: J. Forstner - first_name: Isabelle full_name: Claus, Isabelle last_name: Claus - first_name: Abbi full_name: Miller, Abbi last_name: Miller - first_name: Stefanie full_name: Heilmann-Heimbach, Stefanie last_name: Heilmann-Heimbach - first_name: Peter full_name: Sommer, Peter last_name: Sommer - first_name: Mona full_name: Boye, Mona last_name: Boye - first_name: Johannes full_name: Wilbertz, Johannes last_name: Wilbertz - first_name: Karen full_name: Schmitt, Karen last_name: Schmitt - first_name: Viktor full_name: Jirsa, Viktor last_name: Jirsa - first_name: Spase full_name: Petkoski, Spase last_name: Petkoski - first_name: Séverine full_name: Pitel, Séverine last_name: Pitel - first_name: Lisa full_name: Otten, Lisa last_name: Otten - first_name: Anastasios Polykarpos full_name: Athanasiadis, Anastasios Polykarpos last_name: Athanasiadis - first_name: Charlie full_name: Pearmund, Charlie last_name: Pearmund - first_name: Bernhard full_name: Spanlang, Bernhard last_name: Spanlang - first_name: Elena full_name: Alvarez, Elena last_name: Alvarez - first_name: Mavi full_name: Sanchez, Mavi last_name: Sanchez - first_name: Arantxa full_name: Giner, Arantxa last_name: Giner - first_name: Sören full_name: Hese, Sören last_name: Hese - first_name: Paul full_name: Renner, Paul last_name: Renner - first_name: Tianye full_name: Jia, Tianye last_name: Jia - first_name: Yanting full_name: Gong, Yanting last_name: Gong - first_name: Yunman full_name: Xia, Yunman last_name: Xia - first_name: Xiao full_name: Chang, Xiao last_name: Chang - first_name: Vince full_name: Calhoun, Vince last_name: Calhoun - first_name: Jingyu full_name: Liu, Jingyu last_name: Liu - first_name: Paul full_name: Thompson, Paul last_name: Thompson - first_name: Nicholas full_name: Clinton, Nicholas last_name: Clinton - first_name: Sylvane full_name: Desrivieres, Sylvane last_name: Desrivieres - first_name: Allan full_name: H. Young, Allan last_name: H. Young - first_name: Bernd full_name: Stahl, Bernd last_name: Stahl - first_name: George full_name: Ogoh, George last_name: Ogoh citation: ama: Xu J, Liu N, Polemiti E, et al. Effects of urban living environments on mental health in adults. Nature Medicine. 2023;29:1456-1467. doi:10.1038/s41591-023-02365-w 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. Nature Medicine. Springer Nature. https://doi.org/10.1038/s41591-023-02365-w 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.” Nature Medicine. Springer Nature, 2023. https://doi.org/10.1038/s41591-023-02365-w. ieee: J. Xu et al., “Effects of urban living environments on mental health in adults,” Nature Medicine, vol. 29. Springer Nature, pp. 1456–1467, 2023. 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. mla: Xu, Jiayuan, et al. “Effects of Urban Living Environments on Mental Health in Adults.” Nature Medicine, vol. 29, Springer Nature, 2023, pp. 1456–67, doi:10.1038/s41591-023-02365-w. 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. date_created: 2023-06-25T22:00:46Z date_published: 2023-06-15T00:00:00Z date_updated: 2023-12-13T11:25:55Z day: '15' ddc: - '570' department: - _id: GaNo doi: 10.1038/s41591-023-02365-w external_id: isi: - '001013172700001' file: - access_level: open_access checksum: bcd3225b2731c3442fa98987fd3bd46d content_type: application/pdf creator: dernst date_created: 2023-06-26T10:15:44Z date_updated: 2023-06-26T10:15:44Z file_id: '13171' file_name: 2023_NatureMedicine_Xu.pdf file_size: 7365360 relation: main_file success: 1 file_date_updated: 2023-06-26T10:15:44Z has_accepted_license: '1' intvolume: ' 29' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 1456-1467 publication: Nature Medicine publication_identifier: eissn: - 1546-170X issn: - 1078-8956 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Effects of urban living environments on mental health in adults tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 29 year: '2023' ... --- _id: '13173' 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. article_processing_charge: No author: - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 citation: ama: Shigemoto R. Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals. 2023. doi:10.15479/AT:ISTA:13173 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. https://doi.org/10.15479/AT:ISTA:13173 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. https://doi.org/10.15479/AT:ISTA:13173. 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. 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, 10.15479/AT:ISTA:13173. mla: 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, doi:10.15479/AT:ISTA:13173. short: R. Shigemoto, (2023). date_created: 2023-06-29T13:16:42Z date_published: 2023-07-29T00:00:00Z date_updated: 2024-02-21T12:19:26Z day: '29' ddc: - '571' department: - _id: RySh doi: 10.15479/AT:ISTA:13173 file: - access_level: closed checksum: ed59170869ba621f89f7c1894092192f content_type: application/x-zip-compressed creator: shigemot date_created: 2023-06-29T13:11:22Z date_updated: 2023-11-17T14:30:44Z description: After review an updated version of the data is provided file_id: '13174' file_name: Raw data for Koppensteiner et al.zip file_size: 542873672 relation: main_file title: Outdated Version - access_level: open_access checksum: c07860eb82b4d367245f1b589fe5c250 content_type: application/vnd.openxmlformats-officedocument.spreadsheetml.sheet creator: patrickd date_created: 2023-11-17T14:13:02Z date_updated: 2023-11-17T14:13:02Z file_id: '14550' file_name: 11-17-23 Updated Koppensteiner et al. raw data.xlsx file_size: 915079 relation: main_file success: 1 - access_level: open_access checksum: abf84b1699edac4349dc3a92d466fb7b content_type: application/x-zip-compressed creator: dernst date_created: 2024-02-06T07:21:43Z date_updated: 2024-02-06T07:21:43Z file_id: '14942' file_name: EM_Images.zip file_size: 544868924 relation: main_file success: 1 file_date_updated: 2024-02-06T07:21:43Z has_accepted_license: '1' keyword: - medial habenula - GABAB receptor - vesicle release - Flash and Freeze - Flash and Freeze-fracture license: https://creativecommons.org/licenses/by-nc/4.0/ month: '07' oa: 1 oa_version: Published Version publisher: Institute of Science and Technology Austria status: public title: Transition from tonic to phasic neurotransmitter release by presynaptic GABAB receptor activation in medial habenula terminals tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: research_data user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '13175' 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. " acknowledged_ssus: - _id: M-Shop - _id: SSU - _id: NanoFab alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Rishabh full_name: Sahu, Rishabh id: 47D26E34-F248-11E8-B48F-1D18A9856A87 last_name: Sahu orcid: 0000-0001-6264-2162 citation: ama: Sahu R. Cavity quantum electrooptics. 2023. doi:10.15479/at:ista:13175 apa: Sahu, R. (2023). Cavity quantum electrooptics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13175 chicago: Sahu, Rishabh. “Cavity Quantum Electrooptics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13175. ieee: 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. mla: Sahu, Rishabh. Cavity Quantum Electrooptics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13175. short: R. Sahu, Cavity Quantum Electrooptics, Institute of Science and Technology Austria, 2023. date_created: 2023-06-30T08:07:43Z date_published: 2023-05-05T00:00:00Z date_updated: 2024-10-29T09:11:06Z day: '05' ddc: - '537' - '535' - '539' degree_awarded: PhD department: - _id: GradSch - _id: JoFi doi: 10.15479/at:ista:13175 ec_funded: 1 file: - access_level: open_access checksum: 7d03f1a5a5258ee43dfc3323dea4e08f content_type: application/pdf creator: cchlebak date_created: 2023-06-30T08:17:25Z date_updated: 2023-06-30T08:17:25Z file_id: '13176' file_name: thesis_pdfa.pdf file_size: 18688376 relation: main_file success: 1 - access_level: closed checksum: c3b45317ae58e0527533f98c202d81b7 content_type: application/x-zip-compressed creator: cchlebak date_created: 2023-07-06T11:35:15Z date_updated: 2023-07-06T11:35:15Z file_id: '13196' file_name: thesis.zip file_size: 37847025 relation: source_file file_date_updated: 2023-07-06T11:35:15Z has_accepted_license: '1' keyword: - quantum optics - electrooptics - quantum networks - quantum communication - transduction language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '202' project: - _id: 26336814-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '758053' name: A Fiber Optic Transceiver for Superconducting Qubits - _id: 9B868D20-BA93-11EA-9121-9846C619BF3A call_identifier: H2020 grant_number: '899354' name: Quantum Local Area Networks with Superconducting Qubits - _id: bdb108fd-d553-11ed-ba76-83dc74a9864f name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits publication_identifier: isbn: - 978-3-99078-030-5 issn: - 2663 - 337X publication_status: published publisher: Institute of Science and Technology Austria 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 status: public supervisor: - first_name: Johannes M full_name: Fink, Johannes M id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X title: Cavity quantum electrooptics tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2023' ... --- _id: '13177' abstract: - lang: eng text: In this note we study the eigenvalue growth of infinite graphs with discrete spectrum. We assume that the corresponding Dirichlet forms satisfy certain Sobolev-type inequalities and that the total measure is finite. In this sense, the associated operators on these graphs display similarities to elliptic operators on bounded domains in the continuum. Specifically, we prove lower bounds on the eigenvalue growth and show by examples that corresponding upper bounds cannot be established. 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. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Bobo full_name: Hua, Bobo last_name: Hua - first_name: Matthias full_name: Keller, Matthias last_name: Keller - first_name: Michael full_name: Schwarz, Michael last_name: Schwarz - first_name: Melchior full_name: Wirth, Melchior id: 88644358-0A0E-11EA-8FA5-49A33DDC885E last_name: Wirth orcid: 0000-0002-0519-4241 citation: ama: Hua B, Keller M, Schwarz M, Wirth M. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. 2023;151(8):3401-3414. doi:10.1090/proc/14361 apa: 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. American Mathematical Society. https://doi.org/10.1090/proc/14361 chicago: Hua, Bobo, Matthias Keller, Michael Schwarz, and Melchior Wirth. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” Proceedings of the American Mathematical Society. American Mathematical Society, 2023. https://doi.org/10.1090/proc/14361. ieee: B. Hua, M. Keller, M. Schwarz, and M. Wirth, “Sobolev-type inequalities and eigenvalue growth on graphs with finite measure,” Proceedings of the American Mathematical Society, vol. 151, no. 8. American Mathematical Society, pp. 3401–3414, 2023. ista: Hua B, Keller M, Schwarz M, Wirth M. 2023. Sobolev-type inequalities and eigenvalue growth on graphs with finite measure. Proceedings of the American Mathematical Society. 151(8), 3401–3414. mla: Hua, Bobo, et al. “Sobolev-Type Inequalities and Eigenvalue Growth on Graphs with Finite Measure.” Proceedings of the American Mathematical Society, vol. 151, no. 8, American Mathematical Society, 2023, pp. 3401–14, doi:10.1090/proc/14361. short: B. Hua, M. Keller, M. Schwarz, M. Wirth, Proceedings of the American Mathematical Society 151 (2023) 3401–3414. date_created: 2023-07-02T22:00:43Z date_published: 2023-08-01T00:00:00Z date_updated: 2023-11-14T13:07:09Z day: '01' department: - _id: JaMa doi: 10.1090/proc/14361 external_id: arxiv: - '1804.08353' isi: - '000988204400001' intvolume: ' 151' isi: 1 issue: '8' language: - iso: eng main_file_link: - open_access: '1' url: ' https://doi.org/10.48550/arXiv.1804.08353' month: '08' oa: 1 oa_version: Preprint page: 3401-3414 publication: Proceedings of the American Mathematical Society publication_identifier: eissn: - 1088-6826 issn: - 0002-9939 publication_status: published publisher: American Mathematical Society quality_controlled: '1' scopus_import: '1' status: public title: Sobolev-type inequalities and eigenvalue growth on graphs with finite measure type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 151 year: '2023' ... --- _id: '13178' abstract: - lang: eng 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. 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.). article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: David Johannes full_name: Mitrouskas, David Johannes id: cbddacee-2b11-11eb-a02e-a2e14d04e52d last_name: Mitrouskas - first_name: Krzysztof full_name: Mysliwy, Krzysztof id: 316457FC-F248-11E8-B48F-1D18A9856A87 last_name: Mysliwy - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 citation: ama: Mitrouskas DJ, Mysliwy K, Seiringer R. Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Mathematics. 2023;11:1-52. doi:10.1017/fms.2023.45 apa: Mitrouskas, D. J., Mysliwy, K., & Seiringer, R. (2023). Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron. Forum of Mathematics. Cambridge University Press. https://doi.org/10.1017/fms.2023.45 chicago: Mitrouskas, David Johannes, Krzysztof Mysliwy, and Robert Seiringer. “Optimal Parabolic Upper Bound for the Energy-Momentum Relation of a Strongly Coupled Polaron.” Forum of Mathematics. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.45. ieee: D. J. Mitrouskas, K. Mysliwy, and R. Seiringer, “Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron,” Forum of Mathematics, vol. 11. Cambridge University Press, pp. 1–52, 2023. 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. mla: Mitrouskas, David Johannes, et al. “Optimal Parabolic Upper Bound for the Energy-Momentum Relation of a Strongly Coupled Polaron.” Forum of Mathematics, vol. 11, Cambridge University Press, 2023, pp. 1–52, doi:10.1017/fms.2023.45. short: D.J. Mitrouskas, K. Mysliwy, R. Seiringer, Forum of Mathematics 11 (2023) 1–52. date_created: 2023-07-02T22:00:43Z date_published: 2023-06-13T00:00:00Z date_updated: 2023-11-02T12:30:50Z day: '13' ddc: - '500' department: - _id: RoSe doi: 10.1017/fms.2023.45 ec_funded: 1 external_id: arxiv: - '2203.02454' isi: - '001005008800001' file: - access_level: open_access checksum: f672eb7dd015c472c9a04f1b9bf9df7d content_type: application/pdf creator: alisjak date_created: 2023-07-03T10:36:25Z date_updated: 2023-07-03T10:36:25Z file_id: '13186' file_name: 2023_ForumofMathematics.Sigma_Mitrouskas.pdf file_size: 943192 relation: main_file success: 1 file_date_updated: 2023-07-03T10:36:25Z has_accepted_license: '1' intvolume: ' 11' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 1-52 project: - _id: 25C6DC12-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '694227' name: Analysis of quantum many-body systems publication: Forum of Mathematics publication_identifier: eissn: - 2050-5094 publication_status: published publisher: Cambridge University Press quality_controlled: '1' scopus_import: '1' status: public title: Optimal parabolic upper bound for the energy-momentum relation of a strongly coupled polaron tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 11 year: '2023' ... --- _id: '13179' 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." article_number: '116' article_processing_charge: No article_type: original author: - first_name: Nikita full_name: Koval, Nikita id: 2F4DB10C-F248-11E8-B48F-1D18A9856A87 last_name: Koval - first_name: Dmitry full_name: Khalanskiy, Dmitry last_name: Khalanskiy - first_name: Dan-Adrian full_name: Alistarh, Dan-Adrian id: 4A899BFC-F248-11E8-B48F-1D18A9856A87 last_name: Alistarh orcid: 0000-0003-3650-940X citation: ama: 'Koval N, Khalanskiy D, Alistarh D-A. CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. 2023;7. doi:10.1145/3591230' apa: '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. Association for Computing Machinery . https://doi.org/10.1145/3591230' chicago: 'Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery , 2023. https://doi.org/10.1145/3591230.' ieee: 'N. Koval, D. Khalanskiy, and D.-A. Alistarh, “CQS: A formally-verified framework for fair and abortable synchronization,” Proceedings of the ACM on Programming Languages, vol. 7. Association for Computing Machinery , 2023.' 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.' mla: 'Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.' short: N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023). date_created: 2023-07-02T22:00:43Z date_published: 2023-06-06T00:00:00Z date_updated: 2023-07-17T08:43:19Z day: '06' ddc: - '000' department: - _id: DaAl doi: 10.1145/3591230 file: - access_level: open_access checksum: 5dba6e73f0ed79adbdae14d165bc2f68 content_type: application/pdf creator: alisjak date_created: 2023-07-03T13:09:39Z date_updated: 2023-07-03T13:09:39Z file_id: '13187' file_name: 2023_ACMProgram.Lang._Koval.pdf file_size: 1266773 relation: main_file success: 1 file_date_updated: 2023-07-03T13:09:39Z has_accepted_license: '1' intvolume: ' 7' language: - iso: eng month: '06' oa: 1 oa_version: Published Version publication: Proceedings of the ACM on Programming Languages publication_identifier: eissn: - 2475-1421 publication_status: published publisher: 'Association for Computing Machinery ' quality_controlled: '1' scopus_import: '1' status: public title: 'CQS: A formally-verified framework for fair and abortable synchronization' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 7 year: '2023' ... --- _id: '13180' abstract: - lang: eng text: We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Julian full_name: Lyczak, Julian id: 3572849A-F248-11E8-B48F-1D18A9856A87 last_name: Lyczak - first_name: Roman full_name: Sarapin, Roman last_name: Sarapin citation: ama: Browning TD, Lyczak J, Sarapin R. Local solubility for a family of quadrics over a split quadric surface. Involve. 2023;16(2):331-342. doi:10.2140/involve.2023.16.331 apa: Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331 chicago: Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331. ieee: T. D. Browning, J. Lyczak, and R. Sarapin, “Local solubility for a family of quadrics over a split quadric surface,” Involve, vol. 16, no. 2. Mathematical Sciences Publishers, pp. 331–342, 2023. 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. mla: Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331. short: T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342. date_created: 2023-07-02T22:00:43Z date_published: 2023-05-26T00:00:00Z date_updated: 2023-07-17T08:39:19Z day: '26' department: - _id: TiBr doi: 10.2140/involve.2023.16.331 external_id: arxiv: - '2203.06881' intvolume: ' 16' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://arxiv.org/abs/2203.06881 month: '05' oa: 1 oa_version: Preprint page: 331-342 publication: Involve publication_identifier: eissn: - 1944-4184 issn: - 1944-4176 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' scopus_import: '1' status: public title: Local solubility for a family of quadrics over a split quadric surface type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 16 year: '2023' ... --- _id: '13182' abstract: - lang: eng text: "We characterize critical points of 1-dimensional maps paired in persistent homology\r\ngeometrically and this way get elementary proofs of theorems about the symmetry\r\nof persistence diagrams and the variation of such maps. In particular, we identify\r\nbranching points and endpoints of networks as the sole source of asymmetry and\r\nrelate the cycle basis in persistent homology with a version of the stable marriage\r\nproblem. Our analysis provides the foundations of fast algorithms for maintaining a\r\ncollection of sorted lists together with its persistence diagram." 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. article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Ranita full_name: Biswas, Ranita id: 3C2B033E-F248-11E8-B48F-1D18A9856A87 last_name: Biswas orcid: 0000-0002-5372-7890 - first_name: Sebastiano full_name: Cultrera Di Montesano, Sebastiano id: 34D2A09C-F248-11E8-B48F-1D18A9856A87 last_name: Cultrera Di Montesano orcid: 0000-0001-6249-0832 - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 - first_name: Morteza full_name: Saghafian, Morteza id: f86f7148-b140-11ec-9577-95435b8df824 last_name: Saghafian citation: ama: Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Geometric characterization of the persistence of 1D maps. Journal of Applied and Computational Topology. 2023. doi:10.1007/s41468-023-00126-9 apa: 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. Springer Nature. https://doi.org/10.1007/s41468-023-00126-9 chicago: Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology. Springer Nature, 2023. https://doi.org/10.1007/s41468-023-00126-9. ieee: R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Geometric characterization of the persistence of 1D maps,” Journal of Applied and Computational Topology. Springer Nature, 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. mla: Biswas, Ranita, et al. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology, Springer Nature, 2023, doi:10.1007/s41468-023-00126-9. short: R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Journal of Applied and Computational Topology (2023). date_created: 2023-07-02T22:00:44Z date_published: 2023-06-17T00:00:00Z date_updated: 2023-10-18T08:13:10Z day: '17' ddc: - '000' department: - _id: HeEd doi: 10.1007/s41468-023-00126-9 ec_funded: 1 file: - access_level: open_access checksum: 697249d5d1c61dea4410b9f021b70fce content_type: application/pdf creator: alisjak date_created: 2023-07-03T09:41:05Z date_updated: 2023-07-03T09:41:05Z file_id: '13185' file_name: 2023_Journal of Applied and Computational Topology_Biswas.pdf file_size: 487355 relation: main_file success: 1 file_date_updated: 2023-07-03T09:41:05Z has_accepted_license: '1' language: - iso: eng month: '06' oa: 1 oa_version: Published Version project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 0aa4bc98-070f-11eb-9043-e6fff9c6a316 grant_number: I4887 name: Discretization in Geometry and Dynamics - _id: 268116B8-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z00342 name: The Wittgenstein Prize publication: Journal of Applied and Computational Topology publication_identifier: eissn: - 2367-1734 issn: - 2367-1726 publication_status: epub_ahead publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Geometric characterization of the persistence of 1D maps tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '13188' 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." acknowledged_ssus: - _id: M-Shop 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). article_number: '171' article_processing_charge: No article_type: original author: - first_name: Christian full_name: Hafner, Christian id: 400429CC-F248-11E8-B48F-1D18A9856A87 last_name: Hafner - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: Hafner C, Bickel B. The design space of Kirchhoff rods. ACM Transactions on Graphics. 2023;42(5). doi:10.1145/3606033 apa: Hafner, C., & Bickel, B. (2023). The design space of Kirchhoff rods. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3606033 chicago: Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3606033. ieee: C. Hafner and B. Bickel, “The design space of Kirchhoff rods,” ACM Transactions on Graphics, vol. 42, no. 5. Association for Computing Machinery, 2023. ista: Hafner C, Bickel B. 2023. The design space of Kirchhoff rods. ACM Transactions on Graphics. 42(5), 171. mla: Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.” ACM Transactions on Graphics, vol. 42, no. 5, 171, Association for Computing Machinery, 2023, doi:10.1145/3606033. short: C. Hafner, B. Bickel, ACM Transactions on Graphics 42 (2023). date_created: 2023-07-04T07:41:30Z date_published: 2023-09-20T00:00:00Z date_updated: 2024-03-25T23:30:26Z day: '20' ddc: - '516' department: - _id: BeBi doi: 10.1145/3606033 ec_funded: 1 external_id: isi: - '001086833300010' file: - access_level: open_access checksum: 4954c1cfa487725bc156dcfec872478a content_type: application/pdf creator: chafner date_created: 2023-07-04T08:11:28Z date_updated: 2023-07-04T08:11:28Z file_id: '13194' file_name: kirchhoff-rods.pdf file_size: 19635168 relation: main_file success: 1 - access_level: open_access checksum: 79c9975fbc82ff71f1767331d2204cca content_type: application/pdf creator: chafner date_created: 2023-07-04T07:46:28Z date_updated: 2023-07-04T07:46:28Z file_id: '13190' file_name: supp-main.pdf file_size: 420909 relation: supplementary_material title: Supplemental Material with Proofs - access_level: open_access checksum: 4ab647e4f03c711e1e6a5fc1eb8684db content_type: application/pdf creator: chafner date_created: 2023-07-04T07:46:30Z date_updated: 2023-07-04T07:46:30Z file_id: '13191' file_name: supp-cheat.pdf file_size: 430086 relation: supplementary_material title: Cheat Sheet for Notation - access_level: open_access checksum: c0fd9a57d012046de90c185ffa904b76 content_type: video/mp4 creator: chafner date_created: 2023-07-04T07:46:39Z date_updated: 2023-07-04T07:46:39Z file_id: '13192' file_name: kirchhoff-video-final.mp4 file_size: 268088064 relation: supplementary_material title: Supplemental Video - access_level: open_access checksum: 71b00712b489ada2cd9815910ee180a9 content_type: application/x-zip-compressed creator: chafner date_created: 2023-07-04T07:47:10Z date_updated: 2023-07-04T07:47:10Z file_id: '13193' file_name: matlab-submission.zip file_size: 25790 relation: supplementary_material title: Matlab Source Code with Example file_date_updated: 2023-07-04T08:11:28Z has_accepted_license: '1' intvolume: ' 42' isi: 1 issue: '5' keyword: - Computer Graphics - Computational Design - Computational Geometry - Shape Modeling language: - iso: eng month: '09' oa: 1 oa_version: Submitted Version project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication: ACM Transactions on Graphics publication_identifier: eissn: - 1557-7368 issn: - 0730-0301 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' related_material: record: - id: '12897' relation: part_of_dissertation status: public status: public title: The design space of Kirchhoff rods type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 42 year: '2023' ... --- _id: '13197' abstract: - lang: eng text: "Nominally identical materials exchange net electric charge during contact through a mechanism that is still debated. ‘Mosaic models’, in which surfaces are presumed to consist of a random patchwork of microscopic donor/acceptor sites, offer an appealing explanation for this phenomenon. However, recent experiments have shown that global differences persist even between same-material samples, which the standard mosaic framework does not account for. Here, we expand the mosaic framework by incorporating global differences in the densities of donor/acceptor sites. We develop\r\nan analytical model, backed by numerical simulations, that smoothly connects the global and deterministic charge transfer of different materials to the local and stochastic mosaic picture normally associated with identical materials. Going further, we extend our model to explain the effect of contact asymmetries during sliding, providing a plausible explanation for reversal of charging sign that has been observed experimentally." 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. " article_number: '065601' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Galien M full_name: Grosjean, Galien M id: 0C5FDA4A-9CF6-11E9-8939-FF05E6697425 last_name: Grosjean orcid: 0000-0001-5154-417X - first_name: Scott R full_name: Waitukaitis, Scott R id: 3A1FFC16-F248-11E8-B48F-1D18A9856A87 last_name: Waitukaitis orcid: 0000-0002-2299-3176 citation: ama: 'Grosjean GM, Waitukaitis SR. Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. Physical Review Materials. 2023;7(6). doi:10.1103/physrevmaterials.7.065601' apa: 'Grosjean, G. M., & Waitukaitis, S. R. (2023). Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. Physical Review Materials. American Physical Society. https://doi.org/10.1103/physrevmaterials.7.065601' chicago: 'Grosjean, Galien M, and Scott R Waitukaitis. “Asymmetries in Triboelectric Charging: Generalizing Mosaic Models to Different-Material Samples and Sliding Contacts.” Physical Review Materials. American Physical Society, 2023. https://doi.org/10.1103/physrevmaterials.7.065601.' ieee: 'G. M. Grosjean and S. R. Waitukaitis, “Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts,” Physical Review Materials, vol. 7, no. 6. American Physical Society, 2023.' ista: 'Grosjean GM, Waitukaitis SR. 2023. Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts. Physical Review Materials. 7(6), 065601.' mla: 'Grosjean, Galien M., and Scott R. Waitukaitis. “Asymmetries in Triboelectric Charging: Generalizing Mosaic Models to Different-Material Samples and Sliding Contacts.” Physical Review Materials, vol. 7, no. 6, 065601, American Physical Society, 2023, doi:10.1103/physrevmaterials.7.065601.' short: G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023). date_created: 2023-07-07T12:48:01Z date_published: 2023-06-13T00:00:00Z date_updated: 2023-08-02T06:34:47Z day: '13' ddc: - '537' department: - _id: ScWa doi: 10.1103/physrevmaterials.7.065601 ec_funded: 1 external_id: arxiv: - '2304.12861' isi: - '001019565900002' file: - access_level: open_access checksum: 75584730d9cdd50eeccb4c52c509776d content_type: application/pdf creator: ggrosjea date_created: 2023-07-07T12:49:51Z date_updated: 2023-07-07T12:49:51Z file_id: '13198' file_name: Mosaic_asymmetries.pdf file_size: 1127040 relation: main_file success: 1 file_date_updated: 2023-07-07T12:49:51Z has_accepted_license: '1' intvolume: ' 7' isi: 1 issue: '6' keyword: - Physics and Astronomy (miscellaneous) - General Materials Science language: - iso: eng month: '06' oa: 1 oa_version: Submitted Version project: - _id: 0aa60e99-070f-11eb-9043-a6de6bdc3afa call_identifier: H2020 grant_number: '949120' name: 'Tribocharge: a multi-scale approach to an enduring problem in physics' - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships publication: Physical Review Materials publication_identifier: issn: - 2475-9953 publication_status: published publisher: American Physical Society quality_controlled: '1' status: public title: 'Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts' type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 7 year: '2023' ... --- _id: '13200' abstract: - lang: eng 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. 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. article_number: '3784' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Liu full_name: Qiu, Liu id: 45e99c0d-1eb1-11eb-9b96-ed8ab2983cac last_name: Qiu orcid: 0000-0003-4345-4267 - first_name: Rishabh full_name: Sahu, Rishabh id: 47D26E34-F248-11E8-B48F-1D18A9856A87 last_name: Sahu orcid: 0000-0001-6264-2162 - first_name: William J full_name: Hease, William J id: 29705398-F248-11E8-B48F-1D18A9856A87 last_name: Hease orcid: 0000-0001-9868-2166 - first_name: Georg M full_name: Arnold, Georg M id: 3770C838-F248-11E8-B48F-1D18A9856A87 last_name: Arnold orcid: 0000-0003-1397-7876 - first_name: Johannes M full_name: Fink, Johannes M id: 4B591CBA-F248-11E8-B48F-1D18A9856A87 last_name: Fink orcid: 0000-0001-8112-028X citation: 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. Nature Communications. 2023;14. doi:10.1038/s41467-023-39493-3 apa: Qiu, L., Sahu, R., Hease, W. J., Arnold, G. M., & Fink, J. M. (2023). Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action. Nature Communications. Nature Research. https://doi.org/10.1038/s41467-023-39493-3 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.” Nature Communications. Nature Research, 2023. https://doi.org/10.1038/s41467-023-39493-3. 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,” Nature Communications, vol. 14. Nature Research, 2023. 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. mla: Qiu, Liu, et al. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.” Nature Communications, vol. 14, 3784, Nature Research, 2023, doi:10.1038/s41467-023-39493-3. short: L. Qiu, R. Sahu, W.J. Hease, G.M. Arnold, J.M. Fink, Nature Communications 14 (2023). date_created: 2023-07-09T22:01:11Z date_published: 2023-06-24T00:00:00Z date_updated: 2024-08-07T07:11:55Z day: '24' ddc: - '000' department: - _id: JoFi doi: 10.1038/s41467-023-39493-3 ec_funded: 1 external_id: arxiv: - '2210.12443' isi: - '001018100800002' pmid: - '37355691' file: - access_level: open_access checksum: ec7ccd2c08f90d59cab302fd0d7776a4 content_type: application/pdf creator: alisjak date_created: 2023-07-10T10:10:54Z date_updated: 2023-07-10T10:10:54Z file_id: '13206' file_name: 2023_NatureComms_Qiu.pdf file_size: 1349134 relation: main_file success: 1 file_date_updated: 2023-07-10T10:10:54Z has_accepted_license: '1' intvolume: ' 14' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 26336814-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '758053' name: A Fiber Optic Transceiver for Superconducting Qubits - _id: 9B868D20-BA93-11EA-9121-9846C619BF3A call_identifier: H2020 grant_number: '899354' name: Quantum Local Area Networks with Superconducting Qubits - _id: bdb108fd-d553-11ed-ba76-83dc74a9864f name: QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 25681D80-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '291734' name: International IST Postdoc Fellowship Programme - _id: 2671EB66-B435-11E9-9278-68D0E5697425 name: Coherent on-chip conversion of superconducting qubit signals from microwaves to optical frequencies publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Nature Research quality_controlled: '1' scopus_import: '1' status: public title: Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 14 year: '2023' ... --- _id: '13201' abstract: - lang: eng 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. 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). article_number: e2221313120 article_processing_charge: No article_type: original author: - first_name: Yalu full_name: Wang, Yalu last_name: Wang - first_name: Zhi full_name: Yuan, Zhi last_name: Yuan - first_name: Jinyi full_name: Wang, Jinyi last_name: Wang - first_name: Huixin full_name: Xiao, Huixin last_name: Xiao - first_name: Lu full_name: Wan, Lu last_name: Wan - first_name: Lanxin full_name: Li, Lanxin id: 367EF8FA-F248-11E8-B48F-1D18A9856A87 last_name: Li orcid: 0000-0002-5607-272X - first_name: Yan full_name: Guo, Yan last_name: Guo - first_name: Zhizhong full_name: Gong, Zhizhong last_name: Gong - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Jing full_name: Zhang, Jing last_name: Zhang citation: ama: Wang Y, Yuan Z, Wang J, et al. 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. 2023;120(25). doi:10.1073/pnas.2221313120 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. Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences. https://doi.org/10.1073/pnas.2221313120 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.” Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2023. https://doi.org/10.1073/pnas.2221313120. ieee: Y. Wang et al., “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, vol. 120, no. 25. National Academy of Sciences, 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. mla: Wang, Yalu, et al. “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, vol. 120, no. 25, e2221313120, National Academy of Sciences, 2023, doi:10.1073/pnas.2221313120. 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). date_created: 2023-07-09T22:01:12Z date_published: 2023-06-12T00:00:00Z date_updated: 2023-12-13T23:30:04Z day: '12' ddc: - '570' department: - _id: JiFr doi: 10.1073/pnas.2221313120 external_id: isi: - '001030689600003' pmid: - '37307446' file: - access_level: open_access checksum: d800e06252eaefba28531fa9440f23f0 content_type: application/pdf creator: alisjak date_created: 2023-07-10T08:48:40Z date_updated: 2023-12-13T23:30:03Z embargo: 2023-12-12 file_id: '13204' file_name: 2023_PNAS_Wang.pdf file_size: 5244581 relation: main_file file_date_updated: 2023-12-13T23:30:03Z has_accepted_license: '1' intvolume: ' 120' isi: 1 issue: '25' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '06' oa: 1 oa_version: Published Version pmid: 1 publication: Proceedings of the National Academy of Sciences of the United States of America publication_identifier: eissn: - 1091-6490 issn: - 0027-8424 publication_status: published publisher: National Academy of Sciences quality_controlled: '1' scopus_import: '1' status: public title: The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 120 year: '2023' ... --- _id: '13202' 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. acknowledged_ssus: - _id: EM-Fac 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. article_processing_charge: No article_type: original author: - first_name: Kohgaku full_name: Eguchi, Kohgaku id: 2B7846DC-F248-11E8-B48F-1D18A9856A87 last_name: Eguchi orcid: 0000-0002-6170-2546 - first_name: Elodie full_name: Le Monnier, Elodie id: 3B59276A-F248-11E8-B48F-1D18A9856A87 last_name: Le Monnier - first_name: Ryuichi full_name: Shigemoto, Ryuichi id: 499F3ABC-F248-11E8-B48F-1D18A9856A87 last_name: Shigemoto orcid: 0000-0001-8761-9444 citation: ama: Eguchi K, Le Monnier E, Shigemoto R. Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons. The Journal of Neuroscience. 2023;43(23):4197-4216. doi:10.1523/JNEUROSCI.1514-22.2023 apa: Eguchi, K., Le Monnier, E., & Shigemoto, R. (2023). Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons. The Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1514-22.2023 chicago: Eguchi, Kohgaku, Elodie Le Monnier, and Ryuichi Shigemoto. “Nanoscale Phosphoinositide Distribution on Cell Membranes of Mouse Cerebellar Neurons.” The Journal of Neuroscience. Society for Neuroscience, 2023. https://doi.org/10.1523/JNEUROSCI.1514-22.2023. ieee: K. Eguchi, E. Le Monnier, and R. Shigemoto, “Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons,” The Journal of Neuroscience, vol. 43, no. 23. Society for Neuroscience, pp. 4197–4216, 2023. 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. mla: Eguchi, Kohgaku, et al. “Nanoscale Phosphoinositide Distribution on Cell Membranes of Mouse Cerebellar Neurons.” The Journal of Neuroscience, vol. 43, no. 23, Society for Neuroscience, 2023, pp. 4197–216, doi:10.1523/JNEUROSCI.1514-22.2023. short: K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216. date_created: 2023-07-09T22:01:12Z date_published: 2023-06-07T00:00:00Z date_updated: 2023-10-18T07:12:47Z day: '07' ddc: - '570' department: - _id: RySh doi: 10.1523/JNEUROSCI.1514-22.2023 ec_funded: 1 external_id: isi: - '001020132100005' pmid: - '37160366' file: - access_level: open_access checksum: 70b2141870e0bf1c94fd343e18fdbc32 content_type: application/pdf creator: alisjak date_created: 2023-07-10T09:04:58Z date_updated: 2023-07-10T09:04:58Z file_id: '13205' file_name: 2023_JN_Eguchi.pdf file_size: 7794425 relation: main_file success: 1 file_date_updated: 2023-07-10T09:04:58Z has_accepted_license: '1' intvolume: ' 43' isi: 1 issue: '23' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 4197-4216 pmid: 1 project: - _id: 2659CC84-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '793482' name: 'Ultrastructural analysis of phosphoinositides in nerve terminals: distribution, dynamics and physiological roles in synaptic transmission' - _id: 25CA28EA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '694539' name: 'In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour' publication: The Journal of Neuroscience publication_identifier: eissn: - 1529-2401 issn: - 0270-6474 publication_status: published publisher: Society for Neuroscience quality_controlled: '1' scopus_import: '1' status: public title: Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 43 year: '2023' ...