--- _id: '13119' abstract: - lang: eng text: A density wave (DW) is a fundamental type of long-range order in quantum matter tied to self-organization into a crystalline structure. The interplay of DW order with superfluidity can lead to complex scenarios that pose a great challenge to theoretical analysis. In the past decades, tunable quantum Fermi gases have served as model systems for exploring the physics of strongly interacting fermions, including most notably magnetic ordering1, pairing and superfluidity2, and the crossover from a Bardeen–Cooper–Schrieffer superfluid to a Bose–Einstein condensate3. Here, we realize a Fermi gas featuring both strong, tunable contact interactions and photon-mediated, spatially structured long-range interactions in a transversely driven high-finesse optical cavity. Above a critical long-range interaction strength, DW order is stabilized in the system, which we identify via its superradiant light-scattering properties. We quantitatively measure the variation of the onset of DW order as the contact interaction is varied across the Bardeen–Cooper–Schrieffer superfluid and Bose–Einstein condensate crossover, in qualitative agreement with a mean-field theory. The atomic DW susceptibility varies over an order of magnitude upon tuning the strength and the sign of the long-range interactions below the self-ordering threshold, demonstrating independent and simultaneous control over the contact and long-range interactions. Therefore, our experimental setup provides a fully tunable and microscopically controllable platform for the experimental study of the interplay of superfluidity and DW order. acknowledgement: Open access funding provided by EPFL Lausanne.We acknowledge discussions with T. Donner and T. Esslinger. We thank G. del Pace and T. Bühler for their assistance in the final stages of the experiment. We acknowledge funding from the European Research Council under the European Union Horizon 2020 Research and Innovation Programme (Grant no. 714309) and the Swiss National Science Foundation (Grant no. 184654). F.M. acknowledges financial support from the Austrian Science Fund (Stand-Alone Project P 35891-N). article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Victor full_name: Helson, Victor last_name: Helson - first_name: Timo full_name: Zwettler, Timo last_name: Zwettler - first_name: Farokh full_name: Mivehvar, Farokh last_name: Mivehvar - first_name: Elvia full_name: Colella, Elvia last_name: Colella - first_name: Kevin Etienne Robert full_name: Roux, Kevin Etienne Robert id: 53f93ea2-803f-11ed-ab7e-b283135794ef last_name: Roux - first_name: Hideki full_name: Konishi, Hideki last_name: Konishi - first_name: Helmut full_name: Ritsch, Helmut last_name: Ritsch - first_name: Jean Philippe full_name: Brantut, Jean Philippe last_name: Brantut citation: ama: Helson V, Zwettler T, Mivehvar F, et al. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 2023;618:716-720. doi:10.1038/s41586-023-06018-3 apa: Helson, V., Zwettler, T., Mivehvar, F., Colella, E., Roux, K. E. R., Konishi, H., … Brantut, J. P. (2023). Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. Springer Nature. https://doi.org/10.1038/s41586-023-06018-3 chicago: Helson, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-06018-3. ieee: V. Helson et al., “Density-wave ordering in a unitary Fermi gas with photon-mediated interactions,” Nature, vol. 618. Springer Nature, pp. 716–720, 2023. ista: Helson V, Zwettler T, Mivehvar F, Colella E, Roux KER, Konishi H, Ritsch H, Brantut JP. 2023. Density-wave ordering in a unitary Fermi gas with photon-mediated interactions. Nature. 618, 716–720. mla: Helson, Victor, et al. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.” Nature, vol. 618, Springer Nature, 2023, pp. 716–20, doi:10.1038/s41586-023-06018-3. short: V. Helson, T. Zwettler, F. Mivehvar, E. Colella, K.E.R. Roux, H. Konishi, H. Ritsch, J.P. Brantut, Nature 618 (2023) 716–720. date_created: 2023-06-04T22:01:03Z date_published: 2023-06-22T00:00:00Z date_updated: 2025-04-23T08:58:21Z day: '22' ddc: - '530' department: - _id: GeKa doi: 10.1038/s41586-023-06018-3 external_id: isi: - '001001139300008' pmid: - '37225993' file: - access_level: open_access checksum: 4887a296e3b6f54e8c0b946cbfd24f49 content_type: application/pdf creator: dernst date_created: 2023-11-14T13:00:19Z date_updated: 2023-11-14T13:00:19Z file_id: '14534' file_name: 2023_Nature_Helson.pdf file_size: 8156497 relation: main_file success: 1 file_date_updated: 2023-11-14T13:00:19Z has_accepted_license: '1' intvolume: ' 618' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 716-720 pmid: 1 publication: Nature publication_identifier: eissn: - 1476-4687 issn: - 0028-0836 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Density-wave ordering in a unitary Fermi gas with photon-mediated interactions 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: 618 year: '2023' ... --- _id: '13127' abstract: - lang: eng text: Cooperative disease defense emerges as group-level collective behavior, yet how group members make the underlying individual decisions is poorly understood. Using garden ants and fungal pathogens as an experimental model, we derive the rules governing individual ant grooming choices and show how they produce colony-level hygiene. Time-resolved behavioral analysis, pathogen quantification, and probabilistic modeling reveal that ants increase grooming and preferentially target highly-infectious individuals when perceiving high pathogen load, but transiently suppress grooming after having been groomed by nestmates. Ants thus react to both, the infectivity of others and the social feedback they receive on their own contagiousness. While inferred solely from momentary ant decisions, these behavioral rules quantitatively predict hour-long experimental dynamics, and synergistically combine into efficient colony-wide pathogen removal. Our analyses show that noisy individual decisions based on only local, incomplete, yet dynamically-updated information on pathogen threat and social feedback can lead to potent collective disease defense. acknowledged_ssus: - _id: LifeSc acknowledgement: We thank Mike Bidochka for the fungal strains, the ISTA Social Immunity Team for ant collection, Hanna Leitner for experimental and molecular support, Jennifer Robb and Lukas Lindorfer for microscopy, and the LabSupport Facility at ISTA for general laboratory support. We further thank Victor Mireles, Iain Couzin, Fabian Theis and the Social Immunity Team for continued feedback throughout, and Michael Sixt, Yuko Ulrich, Koos Boomsma, Erika Dawson, Megan Kutzer and Hinrich Schulenburg for comments on the manuscript. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant No. 771402; EPIDEMICSonCHIP) to SC, from the Scientific Grant Agency of the Slovak Republic (Grant No. 1/0521/20) to KB, and the Human Frontier Science Program (Grant No. RGP0065/2012) to GT. article_number: '3232' article_processing_charge: Yes article_type: original author: - first_name: Barbara E full_name: Casillas Perez, Barbara E id: 351ED2AA-F248-11E8-B48F-1D18A9856A87 last_name: Casillas Perez - first_name: Katarína full_name: Bod'Ová, Katarína id: 2BA24EA0-F248-11E8-B48F-1D18A9856A87 last_name: Bod'Ová orcid: 0000-0002-7214-0171 - first_name: Anna V full_name: Grasse, Anna V id: 406F989C-F248-11E8-B48F-1D18A9856A87 last_name: Grasse - first_name: Gašper full_name: Tkačik, Gašper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkačik orcid: 0000-0002-6699-1455 - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 citation: ama: Casillas Perez BE, Bodova K, Grasse AV, Tkačik G, Cremer S. Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. 2023;14. doi:10.1038/s41467-023-38947-y apa: Casillas Perez, B. E., Bodova, K., Grasse, A. V., Tkačik, G., & Cremer, S. (2023). Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-38947-y chicago: Casillas Perez, Barbara E, Katarina Bodova, Anna V Grasse, Gašper Tkačik, and Sylvia Cremer. “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38947-y. ieee: B. E. Casillas Perez, K. Bodova, A. V. Grasse, G. Tkačik, and S. Cremer, “Dynamic pathogen detection and social feedback shape collective hygiene in ants,” Nature Communications, vol. 14. Springer Nature, 2023. ista: Casillas Perez BE, Bodova K, Grasse AV, Tkačik G, Cremer S. 2023. Dynamic pathogen detection and social feedback shape collective hygiene in ants. Nature Communications. 14, 3232. mla: Casillas Perez, Barbara E., et al. “Dynamic Pathogen Detection and Social Feedback Shape Collective Hygiene in Ants.” Nature Communications, vol. 14, 3232, Springer Nature, 2023, doi:10.1038/s41467-023-38947-y. short: B.E. Casillas Perez, K. Bodova, A.V. Grasse, G. Tkačik, S. Cremer, Nature Communications 14 (2023). corr_author: '1' date_created: 2023-06-11T22:00:40Z date_published: 2023-06-03T00:00:00Z date_updated: 2025-04-14T07:47:53Z day: '03' ddc: - '570' department: - _id: SyCr - _id: GaTk doi: 10.1038/s41467-023-38947-y ec_funded: 1 external_id: isi: - '001002562700005' pmid: - '37270641' file: - access_level: open_access checksum: 4af0393e3ed47b3fc46e68b81c3c1007 content_type: application/pdf creator: dernst date_created: 2023-06-13T08:05:46Z date_updated: 2023-06-13T08:05:46Z file_id: '13132' file_name: 2023_NatureComm_CasillasPerez.pdf file_size: 2358167 relation: main_file success: 1 file_date_updated: 2023-06-13T08:05:46Z has_accepted_license: '1' intvolume: ' 14' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 2649B4DE-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '771402' name: Epidemics in ant societies on a chip - _id: 255008E4-B435-11E9-9278-68D0E5697425 grant_number: RGP0065/2012 name: Information processing and computation in fish groups publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '12945' relation: research_data status: public scopus_import: '1' status: public title: Dynamic pathogen detection and social feedback shape collective hygiene in ants 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: '13134' abstract: - lang: eng text: We propose a characterization of discrete analytical spheres, planes and lines in the body-centered cubic (BCC) grid, both in the Cartesian and in the recently proposed alternative compact coordinate system, in which each integer triplet addresses some voxel in the grid. We define spheres and planes through double Diophantine inequalities and investigate their relevant topological features, such as functionality or the interrelation between the thickness of the objects and their connectivity and separation properties. We define lines as the intersection of planes. The number of the planes (up to six) is equal to the number of the pairs of faces of a BCC voxel that are parallel to the line. acknowledgement: The first author has been partially supported by the Ministry of Science, Technological Development and Innovation of the Republic of Serbia through the project no. 451-03-47/2023-01/200156. The fourth author is funded by the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), grant no. I 02979-N35. article_number: '109693' article_processing_charge: No article_type: original author: - first_name: Lidija full_name: Čomić, Lidija last_name: Čomić - first_name: Gaëlle full_name: Largeteau-Skapin, Gaëlle last_name: Largeteau-Skapin - first_name: Rita full_name: Zrour, Rita last_name: Zrour - first_name: Ranita full_name: Biswas, Ranita id: 3C2B033E-F248-11E8-B48F-1D18A9856A87 last_name: Biswas orcid: 0000-0002-5372-7890 - first_name: Eric full_name: Andres, Eric last_name: Andres citation: ama: Čomić L, Largeteau-Skapin G, Zrour R, Biswas R, Andres E. Discrete analytical objects in the body-centered cubic grid. Pattern Recognition. 2023;142(10). doi:10.1016/j.patcog.2023.109693 apa: Čomić, L., Largeteau-Skapin, G., Zrour, R., Biswas, R., & Andres, E. (2023). Discrete analytical objects in the body-centered cubic grid. Pattern Recognition. Elsevier. https://doi.org/10.1016/j.patcog.2023.109693 chicago: Čomić, Lidija, Gaëlle Largeteau-Skapin, Rita Zrour, Ranita Biswas, and Eric Andres. “Discrete Analytical Objects in the Body-Centered Cubic Grid.” Pattern Recognition. Elsevier, 2023. https://doi.org/10.1016/j.patcog.2023.109693. ieee: L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, and E. Andres, “Discrete analytical objects in the body-centered cubic grid,” Pattern Recognition, vol. 142, no. 10. Elsevier, 2023. ista: Čomić L, Largeteau-Skapin G, Zrour R, Biswas R, Andres E. 2023. Discrete analytical objects in the body-centered cubic grid. Pattern Recognition. 142(10), 109693. mla: Čomić, Lidija, et al. “Discrete Analytical Objects in the Body-Centered Cubic Grid.” Pattern Recognition, vol. 142, no. 10, 109693, Elsevier, 2023, doi:10.1016/j.patcog.2023.109693. short: L. Čomić, G. Largeteau-Skapin, R. Zrour, R. Biswas, E. Andres, Pattern Recognition 142 (2023). corr_author: '1' date_created: 2023-06-18T22:00:45Z date_published: 2023-10-01T00:00:00Z date_updated: 2025-04-15T07:45:32Z day: '01' department: - _id: HeEd doi: 10.1016/j.patcog.2023.109693 external_id: isi: - '001013526000001' intvolume: ' 142' isi: 1 issue: '10' language: - iso: eng month: '10' oa_version: None project: - _id: 2561EBF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I02979-N35 name: Persistence and stability of geometric complexes - _id: 0aa4bc98-070f-11eb-9043-e6fff9c6a316 grant_number: I4887 name: Persistent Homology, Algorithms and Stochastic Geometry publication: Pattern Recognition publication_identifier: issn: - 0031-3203 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Discrete analytical objects in the body-centered cubic grid type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 142 year: '2023' ... --- _id: '13135' abstract: - lang: eng text: In this paper we consider a class of stochastic reaction-diffusion equations. We provide local well-posedness, regularity, blow-up criteria and positivity of solutions. The key novelties of this work are related to the use transport noise, critical spaces and the proof of higher order regularity of solutions – even in case of non-smooth initial data. Crucial tools are Lp(Lp)-theory, maximal regularity estimates and sharp blow-up criteria. We view the results of this paper as a general toolbox for establishing global well-posedness for a large class of reaction-diffusion systems of practical interest, of which many are completely open. In our follow-up work [8], the results of this paper are applied in the specific cases of the Lotka-Volterra equations and the Brusselator model. acknowledgement: The first author has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreement No. 948819) Image 1. The second author is supported by the VICI subsidy VI.C.212.027 of the Netherlands Organisation for Scientific Research (NWO). article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Antonio full_name: Agresti, Antonio id: 673cd0cc-9b9a-11eb-b144-88f30e1fbb72 last_name: Agresti orcid: 0000-0002-9573-2962 - first_name: Mark full_name: Veraar, Mark last_name: Veraar citation: ama: 'Agresti A, Veraar M. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. 2023;368(9):247-300. doi:10.1016/j.jde.2023.05.038' apa: 'Agresti, A., & Veraar, M. (2023). Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2023.05.038' chicago: 'Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport Noise and Critical Superlinear Diffusion: Local Well-Posedness and Positivity.” Journal of Differential Equations. Elsevier, 2023. https://doi.org/10.1016/j.jde.2023.05.038.' ieee: 'A. Agresti and M. Veraar, “Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity,” Journal of Differential Equations, vol. 368, no. 9. Elsevier, pp. 247–300, 2023.' ista: 'Agresti A, Veraar M. 2023. Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity. Journal of Differential Equations. 368(9), 247–300.' mla: 'Agresti, Antonio, and Mark Veraar. “Reaction-Diffusion Equations with Transport Noise and Critical Superlinear Diffusion: Local Well-Posedness and Positivity.” Journal of Differential Equations, vol. 368, no. 9, Elsevier, 2023, pp. 247–300, doi:10.1016/j.jde.2023.05.038.' short: A. Agresti, M. Veraar, Journal of Differential Equations 368 (2023) 247–300. corr_author: '1' date_created: 2023-06-18T22:00:45Z date_published: 2023-09-25T00:00:00Z date_updated: 2025-04-14T07:53:59Z day: '25' ddc: - '510' department: - _id: JuFi doi: 10.1016/j.jde.2023.05.038 ec_funded: 1 external_id: isi: - '001019018700001' file: - access_level: open_access checksum: 246b703b091dfe047bfc79abf0891a63 content_type: application/pdf creator: dernst date_created: 2024-01-29T11:03:09Z date_updated: 2024-01-29T11:03:09Z file_id: '14895' file_name: 2023_JourDifferentialEquations_Agresti.pdf file_size: 834638 relation: main_file success: 1 file_date_updated: 2024-01-29T11:03:09Z has_accepted_license: '1' intvolume: ' 368' isi: 1 issue: '9' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 247-300 project: - _id: 0aa76401-070f-11eb-9043-b5bb049fa26d call_identifier: H2020 grant_number: '948819' name: Bridging Scales in Random Materials publication: Journal of Differential Equations publication_identifier: eissn: - 1090-2732 issn: - 0022-0396 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: 'Reaction-diffusion equations with transport noise and critical superlinear diffusion: Local well-posedness and positivity' 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: 368 year: '2023' ... --- _id: '13138' abstract: - lang: eng text: "We consider the spin-\r\n1\r\n2\r\n Heisenberg chain (XXX model) weakly perturbed away from integrability by an isotropic next-to-nearest neighbor exchange interaction. Recently, it was conjectured that this model possesses an infinite tower of quasiconserved integrals of motion (charges) [D. Kurlov et al., Phys. Rev. B 105, 104302 (2022)]. In this work we first test this conjecture by investigating how the norm of the adiabatic gauge potential (AGP) scales with the system size, which is known to be a remarkably accurate measure of chaos. We find that for the perturbed XXX chain the behavior of the AGP norm corresponds to neither an integrable nor a chaotic regime, which supports the conjectured quasi-integrability of the model. We then prove the conjecture and explicitly construct the infinite set of quasiconserved charges. Our proof relies on the fact that the XXX chain perturbed by next-to-nearest exchange interaction can be viewed as a truncation of an integrable long-range deformation of the Heisenberg spin chain." acknowledgement: "The numerical computations in this work were performed using QuSpin [83, 84]. We acknowledge useful discussions with Igor Aleiner, Boris Altshuler, Jacopo de Nardis, Anatoli Polkovnikov, and Gora Shlyapnikov. We thank Piotr Sierant and Dario Rosa for drawing our attention to Refs. [31, 42, 46] and Ref. [47], respectively. We are grateful to an anonymous referee for very useful comments and for drawing our attention to Refs. [80, 81]. The work of VG is part of the DeltaITP consortium, a program of the Netherlands Organization for Scientific\r\nResearch (NWO) funded by the Dutch Ministry of Education, Culture and Science (OCW). VG is also partially supported by RSF 19-71-10092. The work of AT was supported by the ERC Starting Grant 101042293 (HEPIQ). RS acknowledges support from Slovenian Research Agency (ARRS) - research programme P1-0402. " article_number: '184312' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Pavel full_name: Orlov, Pavel last_name: Orlov - first_name: Anastasiia full_name: Tiutiakina, Anastasiia last_name: Tiutiakina - first_name: Rustem full_name: Sharipov, Rustem last_name: Sharipov - first_name: Elena full_name: Petrova, Elena id: 0ac84990-897b-11ed-a09c-f5abb56a4ede last_name: Petrova - first_name: Vladimir full_name: Gritsev, Vladimir last_name: Gritsev - first_name: Denis V. full_name: Kurlov, Denis V. last_name: Kurlov citation: ama: Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 2023;107(18). doi:10.1103/PhysRevB.107.184312 apa: Orlov, P., Tiutiakina, A., Sharipov, R., Petrova, E., Gritsev, V., & Kurlov, D. V. (2023). Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.107.184312 chicago: Orlov, Pavel, Anastasiia Tiutiakina, Rustem Sharipov, Elena Petrova, Vladimir Gritsev, and Denis V. Kurlov. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.” Physical Review B. American Physical Society, 2023. https://doi.org/10.1103/PhysRevB.107.184312. ieee: P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, and D. V. Kurlov, “Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain,” Physical Review B, vol. 107, no. 18. American Physical Society, 2023. ista: Orlov P, Tiutiakina A, Sharipov R, Petrova E, Gritsev V, Kurlov DV. 2023. Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain. Physical Review B. 107(18), 184312. mla: Orlov, Pavel, et al. “Adiabatic Eigenstate Deformations and Weak Integrability Breaking of Heisenberg Chain.” Physical Review B, vol. 107, no. 18, 184312, American Physical Society, 2023, doi:10.1103/PhysRevB.107.184312. short: P. Orlov, A. Tiutiakina, R. Sharipov, E. Petrova, V. Gritsev, D.V. Kurlov, Physical Review B 107 (2023). date_created: 2023-06-18T22:00:46Z date_published: 2023-05-01T00:00:00Z date_updated: 2023-08-02T06:16:02Z day: '01' department: - _id: GradSch doi: 10.1103/PhysRevB.107.184312 external_id: arxiv: - '2303.00729' isi: - '001003686900004' intvolume: ' 107' isi: 1 issue: '18' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2303.00729 month: '05' oa: 1 oa_version: Preprint publication: Physical Review B publication_identifier: eissn: - 2469-9969 issn: - 2469-9950 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain type: journal_article user_id: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 107 year: '2023' ... --- _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 corr_author: '1' date_created: 2023-06-18T22:00:46Z date_published: 2023-04-22T00:00:00Z date_updated: 2025-09-09T12:28:12Z day: '22' ddc: - '000' department: - _id: KrCh doi: 10.1007/978-3-031-30823-9_25 external_id: arxiv: - '2301.08137' isi: - '001288688000025' 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' isi: 1 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 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: 2025-09-09T12:30:00Z day: '20' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-031-30820-8_15 external_id: isi: - '001288698100015' 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' isi: 1 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 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 corr_author: '1' date_created: 2023-06-18T22:00:47Z date_published: 2023-04-22T00:00:00Z date_updated: 2025-09-09T12:29:26Z day: '22' ddc: - '000' department: - _id: KrCh - _id: ToHe doi: 10.1007/978-3-031-30823-9_1 ec_funded: 1 external_id: isi: - '001288688000001' 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' isi: 1 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 13993 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. corr_author: '1' date_created: 2023-06-18T22:00:48Z date_published: 2023-05-05T00:00:00Z date_updated: 2025-04-14T12:59:08Z 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: '13161' acknowledgement: Thanks to Jesse Hansen for his suggestions on improving the abstract. article_processing_charge: No author: - first_name: Alois full_name: Schlögl, Alois id: 45BF87EE-F248-11E8-B48F-1D18A9856A87 last_name: Schlögl orcid: 0000-0002-5621-8100 - first_name: Stefano full_name: Elefante, Stefano id: 490F40CE-F248-11E8-B48F-1D18A9856A87 last_name: Elefante - first_name: Victor-Valentin full_name: Hodirnau, Victor-Valentin id: 3661B498-F248-11E8-B48F-1D18A9856A87 last_name: Hodirnau orcid: 0000-0003-3904-947X citation: ama: 'Schlögl A, Elefante S, Hodirnau V-V. Running Windows-applications on a Linux HPC cluster using WINE. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; 2023:59-59.' apa: 'Schlögl, A., Elefante, S., & Hodirnau, V.-V. (2023). Running Windows-applications on a Linux HPC cluster using WINE. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.' chicago: Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 59–59. EuroCC, 2023. ieee: A. Schlögl, S. Elefante, and V.-V. Hodirnau, “Running Windows-applications on a Linux HPC cluster using WINE,” in ASHPC23 - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, 2023, pp. 59–59. ista: 'Schlögl A, Elefante S, Hodirnau V-V. 2023. Running Windows-applications on a Linux HPC cluster using WINE. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 59–59.' mla: Schlögl, Alois, et al. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 59–59. short: A. Schlögl, S. Elefante, V.-V. Hodirnau, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 59–59. conference: end_date: 2023-06-15 location: Maribor, Slovenia name: 'ASHPC: Austrian-Slovenian HPC Meeting' start_date: 2023-06-13 corr_author: '1' date_created: 2023-06-23T11:01:23Z date_published: 2023-07-01T00:00:00Z date_updated: 2024-07-16T10:17:09Z day: '01' ddc: - '000' department: - _id: ScienComp - _id: EM-Fac file: - access_level: open_access checksum: ec8e4295d54171032cdd1b01423eb4a6 content_type: application/pdf creator: dernst date_created: 2023-07-18T09:18:55Z date_updated: 2023-07-18T09:18:55Z file_id: '13249' file_name: 2023_ASHPC_Schloegl.pdf file_size: 316959 relation: main_file success: 1 file_date_updated: 2023-07-18T09:18:55Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 59-59 publication: ASHPC23 - Austrian-Slovenian HPC Meeting 2023 publication_status: published publisher: EuroCC quality_controlled: '1' status: public title: Running Windows-applications on a Linux HPC cluster using WINE 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_abstract user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2023' ... --- _id: '13162' article_processing_charge: No author: - first_name: Stefano full_name: Elefante, Stefano id: 490F40CE-F248-11E8-B48F-1D18A9856A87 last_name: Elefante - first_name: Stephan full_name: Stadlbauer, Stephan id: 4D0BC184-F248-11E8-B48F-1D18A9856A87 last_name: Stadlbauer - first_name: Michael F full_name: Alexander, Michael F id: 3A02A8FA-F248-11E8-B48F-1D18A9856A87 last_name: Alexander - first_name: Alois full_name: Schlögl, Alois id: 45BF87EE-F248-11E8-B48F-1D18A9856A87 last_name: Schlögl orcid: 0000-0002-5621-8100 citation: ama: 'Elefante S, Stadlbauer S, Alexander MF, Schlögl A. Cryo-EM software packages: A sys-admins point of view. In: ASHPC23 - Austrian-Slovenian HPC Meeting 2023. EuroCC; 2023:42-42.' apa: 'Elefante, S., Stadlbauer, S., Alexander, M. F., & Schlögl, A. (2023). Cryo-EM software packages: A sys-admins point of view. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.' chicago: 'Elefante, Stefano, Stephan Stadlbauer, Michael F Alexander, and Alois Schlögl. “Cryo-EM Software Packages: A Sys-Admins Point of View.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 42–42. EuroCC, 2023.' ieee: 'S. Elefante, S. Stadlbauer, M. F. Alexander, and A. Schlögl, “Cryo-EM software packages: A sys-admins point of view,” in ASHPC23 - Austrian-Slovenian HPC Meeting 2023, Maribor, Slovenia, 2023, pp. 42–42.' ista: 'Elefante S, Stadlbauer S, Alexander MF, Schlögl A. 2023. Cryo-EM software packages: A sys-admins point of view. ASHPC23 - Austrian-Slovenian HPC Meeting 2023. ASHPC: Austrian-Slovenian HPC Meeting, 42–42.' mla: 'Elefante, Stefano, et al. “Cryo-EM Software Packages: A Sys-Admins Point of View.” ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 42–42.' short: S. Elefante, S. Stadlbauer, M.F. Alexander, A. Schlögl, in:, ASHPC23 - Austrian-Slovenian HPC Meeting 2023, EuroCC, 2023, pp. 42–42. conference: end_date: 2023-06-15 location: Maribor, Slovenia name: 'ASHPC: Austrian-Slovenian HPC Meeting' start_date: 2023-06-12 corr_author: '1' date_created: 2023-06-23T11:03:18Z date_published: 2023-07-01T00:00:00Z date_updated: 2024-07-16T10:24:07Z day: '01' ddc: - '000' department: - _id: ScienComp file: - access_level: open_access checksum: 0ab6173cd5c5634ed773cd37ff012681 content_type: application/pdf creator: dernst date_created: 2023-07-18T09:28:30Z date_updated: 2023-07-18T09:28:30Z file_id: '13250' file_name: 2023_ASHPC_Elefante.pdf file_size: 380354 relation: main_file success: 1 file_date_updated: 2023-07-18T09:28:30Z has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Submitted Version page: 42-42 publication: ASHPC23 - Austrian-Slovenian HPC Meeting 2023 publication_status: published publisher: EuroCC quality_controlled: '1' status: public title: 'Cryo-EM software packages: A sys-admins point of view' 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_abstract user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 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: 2025-04-23T08:59:40Z day: '14' ddc: - '570' department: - _id: FyKo doi: 10.1038/s41467-023-39317-4 external_id: isi: - '001048208600023' pmid: - '37316475' 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 pmid: 1 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). corr_author: '1' date_created: 2023-06-25T22:00:45Z date_published: 2023-10-01T00:00:00Z date_updated: 2025-09-09T12:30:39Z day: '01' ddc: - '510' department: - _id: HeEd doi: 10.1016/j.jcta.2023.105776 external_id: arxiv: - '2206.13592' isi: - '001144487800001' 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' isi: 1 issue: '10' language: - iso: eng 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 199 year: '2023' ... --- _id: '13166' abstract: - lang: eng text: Brachyury, a member of T-box gene family, is widely known for its major role in mesoderm specification in bilaterians. It is also present in non-bilaterian metazoans, such as cnidarians, where it acts as a component of an axial patterning system. In this study, we present a phylogenetic analysis of Brachyury genes within phylum Cnidaria, investigate differential expression and address a functional framework of Brachyury paralogs in hydrozoan Dynamena pumila. Our analysis indicates two duplication events of Brachyury within the cnidarian lineage. The first duplication likely appeared in the medusozoan ancestor, resulting in two copies in medusozoans, while the second duplication arose in the hydrozoan ancestor, resulting in three copies in hydrozoans. Brachyury1 and 2 display a conservative expression pattern marking the oral pole of the body axis in D. pumila. On the contrary, Brachyury3 expression was detected in scattered presumably nerve cells of the D. pumila larva. Pharmacological modulations indicated that Brachyury3 is not under regulation of cWnt signaling in contrast to the other two Brachyury genes. Divergence in expression patterns and regulation suggest neofunctionalization of Brachyury3 in hydrozoans. acknowledgement: "We thank N.A. Pertsov White Sea Biological Station of Moscow State University for the help and support in obtaining samples and providing access to all required facilities and equipment of the “Center of Microscopy WSBS MSU”. We are grateful to Dr. Amro Hamdoun for pCS2+8 plasmid (Addgene plasmid # 34931).\r\nWork in the Walentek lab is supported by the Deutsche Forschungsgemeinschaft (DFG) under the Emmy Noether Programme (grant WA3365/2-2) and under Germany’s Excellence Strategy (CIBSS-EXC-2189-Project ID 390939984). SK is supported by the project No. 0088-2021-0009 of the Koltzov Institute of Developmental Biology of the RAS. The study of molecular patterning of D. pumila colony was funded by RFBR, project number 20-04-00978a (to S.K.)." article_number: '9382' article_processing_charge: No article_type: original author: - first_name: Alexandra A. full_name: Vetrova, Alexandra A. last_name: Vetrova - first_name: Daria M. full_name: Kupaeva, Daria M. last_name: Kupaeva - first_name: Alena full_name: Kizenko, Alena id: a521c60b-0815-11ed-9b02-b8bd522477c8 last_name: Kizenko - first_name: Tatiana S. full_name: Lebedeva, Tatiana S. last_name: Lebedeva - first_name: Peter full_name: Walentek, Peter last_name: Walentek - first_name: Nikoloz full_name: Tsikolia, Nikoloz last_name: Tsikolia - first_name: Stanislav V. full_name: Kremnyov, Stanislav V. last_name: Kremnyov citation: ama: Vetrova AA, Kupaeva DM, Kizenko A, et al. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 2023;13. doi:10.1038/s41598-023-35979-8 apa: Vetrova, A. A., Kupaeva, D. M., Kizenko, A., Lebedeva, T. S., Walentek, P., Tsikolia, N., & Kremnyov, S. V. (2023). The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. Springer Nature. https://doi.org/10.1038/s41598-023-35979-8 chicago: Vetrova, Alexandra A., Daria M. Kupaeva, Alena Kizenko, Tatiana S. Lebedeva, Peter Walentek, Nikoloz Tsikolia, and Stanislav V. Kremnyov. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.” Scientific Reports. Springer Nature, 2023. https://doi.org/10.1038/s41598-023-35979-8. ieee: A. A. Vetrova et al., “The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization,” Scientific Reports, vol. 13. Springer Nature, 2023. ista: Vetrova AA, Kupaeva DM, Kizenko A, Lebedeva TS, Walentek P, Tsikolia N, Kremnyov SV. 2023. The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization. Scientific Reports. 13, 9382. mla: Vetrova, Alexandra A., et al. “The Evolutionary History of Brachyury Genes in Hydrozoa Involves Duplications, Divergence, and Neofunctionalization.” Scientific Reports, vol. 13, 9382, Springer Nature, 2023, doi:10.1038/s41598-023-35979-8. short: A.A. Vetrova, D.M. Kupaeva, A. Kizenko, T.S. Lebedeva, P. Walentek, N. Tsikolia, S.V. Kremnyov, Scientific Reports 13 (2023). date_created: 2023-06-25T22:00:46Z date_published: 2023-06-09T00:00:00Z date_updated: 2023-08-02T06:17:18Z day: '09' ddc: - '570' department: - _id: GradSch doi: 10.1038/s41598-023-35979-8 external_id: isi: - '001006690200045' pmid: - '37296138' file: - access_level: open_access checksum: baddf6b2fa9adf88263d4a3b0998f0f2 content_type: application/pdf creator: dernst date_created: 2023-06-26T09:58:53Z date_updated: 2023-06-26T09:58:53Z file_id: '13170' file_name: 2023_ScientificReports_Vetrova.pdf file_size: 4844149 relation: main_file success: 1 file_date_updated: 2023-06-26T09:58:53Z has_accepted_license: '1' intvolume: ' 13' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version pmid: 1 publication: Scientific Reports publication_identifier: eissn: - 2045-2322 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: The evolutionary history of Brachyury genes in Hydrozoa involves duplications, divergence, and neofunctionalization 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: 4359f0d1-fa6c-11eb-b949-802e58b17ae8 volume: 13 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). corr_author: '1' date_created: 2023-06-29T13:16:42Z date_published: 2023-07-29T00:00:00Z date_updated: 2025-09-04T12:16:24Z 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 month: '07' oa: 1 oa_version: Published Version publisher: Institute of Science and Technology Austria related_material: record: - id: '15084' relation: used_in_publication status: public 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: '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. corr_author: '1' date_created: 2023-07-02T22:00:43Z date_published: 2023-08-01T00:00:00Z date_updated: 2024-10-09T21:05:50Z 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. corr_author: '1' date_created: 2023-07-02T22:00:43Z date_published: 2023-06-13T00:00:00Z date_updated: 2025-04-14T07:26:58Z 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). corr_author: '1' date_created: 2023-07-02T22:00:43Z date_published: 2023-06-06T00:00:00Z date_updated: 2024-10-09T21:05:51Z 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. corr_author: '1' date_created: 2023-07-02T22:00:43Z date_published: 2023-05-26T00:00:00Z date_updated: 2024-10-09T21:05:51Z 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' ...