--- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '19003' abstract: - lang: eng text: 'Super-resolution methods provide far better spatial resolution than the optical diffraction limit of about half the wavelength of light (∼200-300 nm). Nevertheless, they have yet to attain widespread use in plants, largely due to plants’ challenging optical properties. Expansion microscopy improves effective resolution by isotropically increasing the physical distances between sample structures while preserving relative spatial arrangements and clearing the sample. However, its application to plants has been hindered by the rigid, mechanically cohesive structure of plant tissues. Here, we report on whole-mount expansion microscopy of thale cress (Arabidopsis thaliana) root tissues (PlantEx), achieving a four-fold resolution increase over conventional microscopy. Our results highlight the microtubule cytoskeleton organization and interaction between molecularly defined cellular constituents. Combining PlantEx with stimulated emission depletion (STED) microscopy, we increase nanoscale resolution and visualize the complex organization of subcellular organelles from intact tissues by example of the densely packed COPI-coated vesicles associated with the Golgi apparatus and put these into a cellular structural context. Our results show that expansion microscopy can be applied to increase effective imaging resolution in Arabidopsis root specimens. ' acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: E-Lib - _id: M-Shop acknowledgement: "We gratefully acknowledge support by the Scientific Service Units at ISTA, including the Imaging and Optics and Lab Support facilities and the mechanical workshop and Library. We thank Philipp Velicky for STED microscope alignment.\r\nThis project has received funding from the European Research Council under the Horizon 2020 Framework Programme (grant agreement No 742985, J.F.). It has also received funding from the Horizon 2020 Framework Programme under the Marie Skłodowska-Curie Grant Agreement No. 665385 (M.G.). S.T. has received funding as an ISTplus Fellow from the Horizon 2020 Framework Programme under Marie Skłodowska-Curie grant agreement no. 754411 and from EMBO via a Long-Term Fellowship (grant number ALTF 679-2018). M.R.T. received funding from the Austrian Academy of Sciences with DOC fellowship no. 26137. The project has further received funding from the Austrian Science Fund, via grant DK W1232 (M.R.T., N.A.D., and J.G.D). W.J. received a postdoctoral fellowship from the Human Frontier Science Program (LT000557/2018). The funders had no role in study design, data collection and analysis, decision to publish or preparation of the manuscript." article_number: koaf006 article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Michelle C full_name: Gallei, Michelle C id: 35A03822-F248-11E8-B48F-1D18A9856A87 last_name: Gallei orcid: 0000-0003-1286-7368 - first_name: Sven M full_name: Truckenbrodt, Sven M id: 45812BD4-F248-11E8-B48F-1D18A9856A87 last_name: Truckenbrodt - first_name: Caroline full_name: Kreuzinger, Caroline id: 382077BA-F248-11E8-B48F-1D18A9856A87 last_name: Kreuzinger - first_name: Syamala full_name: Inumella, Syamala id: F8660870-D756-11E9-98C5-34DFE5697425 last_name: Inumella orcid: 0009-0002-5890-120X - first_name: Vitali full_name: Vistunou, Vitali id: 7e146587-8972-11ed-ae7b-d7a32ea86a81 last_name: Vistunou - first_name: Christoph M full_name: Sommer, Christoph M id: 4DF26D8C-F248-11E8-B48F-1D18A9856A87 last_name: Sommer orcid: 0000-0003-1216-9105 - first_name: Mojtaba full_name: Tavakoli, Mojtaba id: 3A0A06F4-F248-11E8-B48F-1D18A9856A87 last_name: Tavakoli orcid: 0000-0002-7667-6854 - first_name: Nathalie full_name: Agudelo Duenas, Nathalie id: 40E7F008-F248-11E8-B48F-1D18A9856A87 last_name: Agudelo Duenas - first_name: Jakob full_name: Vorlaufer, Jakob id: 937696FA-C996-11E9-8C7C-CF13E6697425 last_name: Vorlaufer orcid: 0009-0000-7590-3501 - first_name: Wiebke full_name: Jahr, Wiebke id: 425C1CE8-F248-11E8-B48F-1D18A9856A87 last_name: Jahr orcid: 0000-0003-0201-2315 - first_name: Marek full_name: Randuch, Marek id: 6ac4636d-15b2-11ec-abd3-fb8df79972ae last_name: Randuch - first_name: Alexander J full_name: Johnson, Alexander J id: 46A62C3A-F248-11E8-B48F-1D18A9856A87 last_name: Johnson orcid: 0000-0002-2739-8843 - first_name: Eva full_name: Benková, Eva id: 38F4F166-F248-11E8-B48F-1D18A9856A87 last_name: Benková orcid: 0000-0002-8510-9739 - first_name: Jiří full_name: Friml, Jiří id: 4159519E-F248-11E8-B48F-1D18A9856A87 last_name: Friml orcid: 0000-0002-8302-7596 - first_name: Johann G full_name: Danzl, Johann G id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87 last_name: Danzl orcid: 0000-0001-8559-3973 citation: ama: Gallei MC, Truckenbrodt SM, Kreuzinger C, et al. Super-resolution expansion microscopy in plant roots. The Plant Cell. 2025;37(4). doi:10.1093/plcell/koaf006 apa: Gallei, M. C., Truckenbrodt, S. M., Kreuzinger, C., Inumella, S., Vistunou, V., Sommer, C. M., … Danzl, J. G. (2025). Super-resolution expansion microscopy in plant roots. The Plant Cell. Oxford University Press. https://doi.org/10.1093/plcell/koaf006 chicago: Gallei, Michelle C, Sven M Truckenbrodt, Caroline Kreuzinger, Syamala Inumella, Vitali Vistunou, Christoph M Sommer, Mojtaba Tavakoli, et al. “Super-Resolution Expansion Microscopy in Plant Roots.” The Plant Cell. Oxford University Press, 2025. https://doi.org/10.1093/plcell/koaf006. ieee: M. C. Gallei et al., “Super-resolution expansion microscopy in plant roots,” The Plant Cell, vol. 37, no. 4. Oxford University Press, 2025. ista: Gallei MC, Truckenbrodt SM, Kreuzinger C, Inumella S, Vistunou V, Sommer CM, Tavakoli M, Agudelo Duenas N, Vorlaufer J, Jahr W, Randuch M, Johnson AJ, Benková E, Friml J, Danzl JG. 2025. Super-resolution expansion microscopy in plant roots. The Plant Cell. 37(4), koaf006. mla: Gallei, Michelle C., et al. “Super-Resolution Expansion Microscopy in Plant Roots.” The Plant Cell, vol. 37, no. 4, koaf006, Oxford University Press, 2025, doi:10.1093/plcell/koaf006. short: M.C. Gallei, S.M. Truckenbrodt, C. Kreuzinger, S. Inumella, V. Vistunou, C.M. Sommer, M. Tavakoli, N. Agudelo Duenas, J. Vorlaufer, W. Jahr, M. Randuch, A.J. Johnson, E. Benková, J. Friml, J.G. Danzl, The Plant Cell 37 (2025). corr_author: '1' date_created: 2025-02-05T06:52:06Z date_published: 2025-04-01T00:00:00Z date_updated: 2026-10-01T11:19:12Z day: '01' ddc: - '580' department: - _id: EvBe - _id: JoDa - _id: JiFr doi: 10.1093/plcell/koaf006 ec_funded: 1 external_id: isi: - '001462763100001' pmid: - '39792900' file: - access_level: open_access checksum: 9d3f8218ff37a29f29c48a7bbe831bd3 content_type: application/pdf creator: dernst date_created: 2025-07-31T07:03:43Z date_updated: 2025-07-31T07:03:43Z file_id: '20092' file_name: 2025_PlantCell_Gallei.pdf file_size: 53904111 relation: main_file success: 1 file_date_updated: 2025-07-31T07:03:43Z fulldoi: https://doi.org/10.1093/plcell/koaf006 has_accepted_license: '1' intvolume: ' 37' isi: 1 issue: '4' language: - iso: eng license: https://creativecommons.org/licenses/by/4.0/ month: '04' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 261099A6-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '742985' name: Tracing Evolution of Auxin Transport and Polarity in Plants - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 260C2330-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '754411' name: ISTplus - Postdoctoral Fellowships - _id: 269B5B22-B435-11E9-9278-68D0E5697425 grant_number: ALTF 679-2018 name: UltraX - achieving sub-nanometer resolution in light microscopy using iterative X10 microscopy in combination with nanobodies and STED - _id: 6285a163-2b32-11ec-9570-8e204ca2dba5 grant_number: '26137' name: Studying Organelle Structure and Function at Nanoscale Resolution with Expansion Microscopy - _id: 26AA4EF2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W1232-B24 name: Molecular Drug Targets publication: The Plant Cell publication_identifier: eissn: - 1532-298X issn: - 1040-4651 publication_status: published publisher: Oxford University Press quality_controlled: '1' related_material: record: - id: '18837' relation: research_data status: public - id: '18689' relation: earlier_version status: public scopus_import: '1' status: public title: Super-resolution expansion microscopy in plant roots 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: 37 year: '2025' ... --- APC_amount: 12348 EUR OA_place: publisher OA_type: hybrid _id: '17884' abstract: - lang: eng text: Human T cell leukemia virus type 1 (HTLV-1) immature particles differ in morphology from other retroviruses, suggesting a distinct way of assembly. Here we report the results of cryo-electron tomography studies of HTLV-1 virus-like particles assembled in vitro, as well as derived from cells. This work shows that HTLV-1 uses a distinct mechanism of Gag–Gag interactions to form the immature viral lattice. Analysis of high-resolution structural information from immature capsid (CA) tubular arrays reveals that the primary stabilizing component in HTLV-1 is the N-terminal domain of CA. Mutagenesis analysis supports this observation. This distinguishes HTLV-1 from other retroviruses, in which the stabilization is provided primarily by the C-terminal domain of CA. These results provide structural details of the quaternary arrangement of Gag for an immature deltaretrovirus and this helps explain why HTLV-1 particles are morphologically distinct. acknowledged_ssus: - _id: ScienComp - _id: LifeSc - _id: EM-Fac acknowledgement: This work was funded by the Institute of Science and Technology Austria (ISTA) and the Austrian Science Fund (grant P31445 to F.K.M.S.). Access to high-resolution cryo-ET data acquisition at European Molecular Biology Laboratory (EMBL) Heidelberg was supported through the EMBL cryo-EM platform. We thank V.-V. Hodirnau at ISTA and W. Hagen and F. Weis at EMBL Heidelberg for support in cryo-ET data acquisition. This research was also supported by the scientific service units of ISTA through resources provided by Scientific Computing, the Life Science Facility, and the EM Facility. L.M.M. was supported by National Institutes of Health grants R01 GM151775 and R21 DE032878 and by the University of Minnesota Masonic Cancer Center. D.P. was supported by the DOC doctoral fellowship program of the Austrian Academy of Sciences. R.A.D was supported by the National Institute of Allergy and Infectious Diseases (grant R01AI147890). The funders had no role in study design, data collection and analysis, decision to publish or preparation of the manuscript. Specifically, we also want to thank A. Schlögl for computational support and J. Hansen and V. Vogt for critical comments on the manuscript. We also thank the other members of the Schur lab for helpful discussions and experimental advice. article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Martin full_name: Obr, Martin id: 4741CA5A-F248-11E8-B48F-1D18A9856A87 last_name: Obr orcid: 0000-0003-1756-6564 - first_name: Mathias full_name: Percipalle, Mathias id: 4986e21c-eb97-11eb-a6c2-a4ef0b629971 last_name: Percipalle - first_name: Darya full_name: Chernikova, Darya id: 7dbaf460-fa9e-11eb-b0ca-bc7c7ff21ad0 last_name: Chernikova - first_name: Huixin full_name: Yang, Huixin last_name: Yang - first_name: Andreas full_name: Thader, Andreas id: 3A18A7B8-F248-11E8-B48F-1D18A9856A87 last_name: Thader - first_name: Gergely full_name: Pinke, Gergely id: 4D5303E6-F248-11E8-B48F-1D18A9856A87 last_name: Pinke - first_name: Dario J full_name: Porley, Dario J id: 2FD6EA6C-F248-11E8-B48F-1D18A9856A87 last_name: Porley - first_name: Louis M. full_name: Mansky, Louis M. last_name: Mansky - first_name: Robert A. full_name: Dick, Robert A. last_name: Dick - first_name: Florian KM full_name: Schur, Florian KM id: 48AD8942-F248-11E8-B48F-1D18A9856A87 last_name: Schur orcid: 0000-0003-4790-8078 citation: ama: Obr M, Percipalle M, Chernikova D, et al. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. 2025;32:268-276. doi:10.1038/s41594-024-01390-8 apa: Obr, M., Percipalle, M., Chernikova, D., Yang, H., Thader, A., Pinke, G., … Schur, F. K. (2025). Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. Springer Nature. https://doi.org/10.1038/s41594-024-01390-8 chicago: Obr, Martin, Mathias Percipalle, Darya Chernikova, Huixin Yang, Andreas Thader, Gergely Pinke, Darío Porley Esteves, Louis M. Mansky, Robert A. Dick, and Florian KM Schur. “Distinct Stabilization of the Human T Cell Leukemia Virus Type 1 Immature Gag Lattice.” Nature Structural & Molecular Biology. Springer Nature, 2025. https://doi.org/10.1038/s41594-024-01390-8. ieee: M. Obr et al., “Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice,” Nature Structural & Molecular Biology, vol. 32. Springer Nature, pp. 268–276, 2025. ista: Obr M, Percipalle M, Chernikova D, Yang H, Thader A, Pinke G, Porley Esteves D, Mansky LM, Dick RA, Schur FK. 2025. Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice. Nature Structural & Molecular Biology. 32, 268–276. mla: Obr, Martin, et al. “Distinct Stabilization of the Human T Cell Leukemia Virus Type 1 Immature Gag Lattice.” Nature Structural & Molecular Biology, vol. 32, Springer Nature, 2025, pp. 268–76, doi:10.1038/s41594-024-01390-8. short: M. Obr, M. Percipalle, D. Chernikova, H. Yang, A. Thader, G. Pinke, D. Porley Esteves, L.M. Mansky, R.A. Dick, F.K. Schur, Nature Structural & Molecular Biology 32 (2025) 268–276. corr_author: '1' das_tickbox: '1' dataavailabilitystatement: The EM density maps and models for the immature HTLV-1 CA-NTD lattice and representative tomograms were deposited to the EM Data Bank under accession codes EMD-17929, EMD-17930, EMD-17931, EMD-17932, EMD-17933, EMD-17934, EMD-17935, EMD-17936, EMD-17937, EMD-17938, EMD-17939, EMD-17940, EMD-17941, EMD-17942 and EMD-17943 and the PDB under accession codes 8PU6, 8PU7, 8PU8, 8PU9, 8PUA, 8PUB, 8PUC, 8PUD, 8PUE, 8PUF, 8PUG and 8PUH. PDB 1QRJ was used as starting model to derive a refined model of the HTLV-1 CA-NTD. The models used to generate Fig. 3 and Extended Data Fig. 3 were PDB 5L93 (HIV-1), PDB 5A9E (RSV), PDB 6HWI (M-PMV) and PDB 6HWW (MLV). The UniProt codes for the protein sequences used for generating Extended Data Fig. 9 were P03345 (GAG_HTL1A), P03346 (GAG_HTLV2), Q0R5R4 (GAG_HTL32), P25058 (GAG_BLVAU), P04585 (POL_HV1H2), P15832 (GAG_HV2D2), P16087 (GAG_FIVPE), P69732 (GAG_EIAVY), P03322 (GAG_RSVP), P0C776 (GAG_ALVA), P07567 (GAG_MPMV), P31622 (GAG_JSRV), P10258 (GAG_MMTVB), P03355 (POL_MLVMS), P10262 (GAG_FLV) and Q9TTC2 (GAG_KORV). Source data are provided with this paper. date_created: 2024-09-08T10:29:06Z date_published: 2025-02-01T00:00:00Z date_updated: 2026-10-01T11:23:34Z day: '01' ddc: - '570' department: - _id: FlSc - _id: LeSa doi: 10.1038/s41594-024-01390-8 external_id: isi: - '001306564000001' oaworkid: - W4402316284 pmid: - '39242978' file: - access_level: open_access checksum: c641ad94afb28917b20425db676fc3ee content_type: application/pdf creator: dernst date_created: 2025-04-23T07:02:33Z date_updated: 2025-04-23T07:02:33Z file_id: '19608' file_name: 2025_NatureStrucBio_Obr.pdf file_size: 13724041 relation: main_file success: 1 file_date_updated: 2025-04-23T07:02:33Z fulldoi: https://doi.org/10.1038/s41594-024-01390-8 has_accepted_license: '1' intvolume: ' 32' isi: 1 language: - iso: eng month: '02' oa: 1 oa_version: Published Version oaworkid: 1 page: 268-276 pmid: 1 project: - _id: 26736D6A-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P31445 name: Structural conservation and diversity in retroviral capsid - _id: 9B9C98E0-BA93-11EA-9121-9846C619BF3A grant_number: '25762' name: Structural characterization of spumavirus capsid assemblies to understand conserved Ortervirales assembly mechanisms publication: Nature Structural & Molecular Biology publication_identifier: eissn: - 1545-9985 issn: - 1545-9993 publication_status: published publisher: Springer Nature quality_controlled: '1' researchdata_availability: yes scopus_import: '1' status: public supplementarymaterial: yes title: Distinct stabilization of the human T cell leukemia virus type 1 immature Gag lattice 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 32 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '19010' abstract: - lang: eng text: Causal representation learning aims at recovering latent causal variables from high-dimensional observations to solve causal downstream tasks, such as predicting the effect of new interventions or more robust classification. A plethora of methods have been developed, each tackling carefully crafted problem settings that lead to different types of identifiability. The folklore is that these different settings are important, as they are often linked to different rungs of Pearl's causal hierarchy, although not all neatly fit. Our main contribution is to show that many existing causal representation learning approaches methodologically align the representation to known data symmetries. Identification of the variables is guided by equivalence classes across different "data pockets" that are not necessarily causal. This result suggests important implications, allowing us to unify many existing approaches in a single method that can mix and match different assumptions, including non-causal ones, based on the invariances relevant to our application. It also significantly benefits applicability, which we demonstrate by improving treatment effect estimation on real-world high-dimensional ecological data. Overall, this paper clarifies the role of causality assumptions in the discovery of causal variables and shifts the focus to preserving data symmetries. acknowledgement: "We thank Jiaqi Zhang, Francesco Montagna, David Lopez-Paz, Kartik Ahuja, Thomas Kipf, Sara\r\nMagliacane, Julius von Kügelgen, Kun Zhang, and Bernhard Schölkopf for extremely helpful discussion. Riccardo Cadei was supported by a Google Research Scholar Award to Francesco Locatello. We acknowledge the Third Bellairs Workshop on Causal Representation Learning held at the Bellairs Research Institute, February 9/16, 2024, and a debate on the difference between interventions and counterfactuals in disentanglement and CRL that took place during Dhanya Sridhar’s lecture, which motivated us to significantly broaden the scope of the paper. We thank Dhanya and all participants of the workshop." article_processing_charge: No arxiv: 1 author: - first_name: Dingling full_name: Yao, Dingling id: d3e02e50-48a8-11ee-8f62-c108061797fa last_name: Yao - first_name: Dario full_name: Rancati, Dario id: feb58f2e-72ef-11ef-b75a-8f0894539cd0 last_name: Rancati - first_name: Riccardo full_name: Cadei, Riccardo id: 0fa8b76f-72f0-11ef-b75a-a5da96e5ad6b last_name: Cadei - first_name: Marco full_name: Fumero, Marco id: 1c1593eb-393f-11ef-bb8e-ab4f1e979650 last_name: Fumero - first_name: Francesco full_name: Locatello, Francesco id: 26cfd52f-2483-11ee-8040-88983bcc06d4 last_name: Locatello orcid: 0000-0002-4850-0683 citation: ama: 'Yao D, Rancati D, Cadei R, Fumero M, Locatello F. Unifying causal representation learning with the invariance principle. In: 13th International Conference on Learning Representations. ICLR; 2025.' apa: 'Yao, D., Rancati, D., Cadei, R., Fumero, M., & Locatello, F. (2025). Unifying causal representation learning with the invariance principle. In 13th International Conference on Learning Representations. Singapore: ICLR.' chicago: Yao, Dingling, Dario Rancati, Riccardo Cadei, Marco Fumero, and Francesco Locatello. “Unifying Causal Representation Learning with the Invariance Principle.” In 13th International Conference on Learning Representations. ICLR, 2025. ieee: D. Yao, D. Rancati, R. Cadei, M. Fumero, and F. Locatello, “Unifying causal representation learning with the invariance principle,” in 13th International Conference on Learning Representations, Singapore, 2025. ista: 'Yao D, Rancati D, Cadei R, Fumero M, Locatello F. 2025. Unifying causal representation learning with the invariance principle. 13th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.' mla: Yao, Dingling, et al. “Unifying Causal Representation Learning with the Invariance Principle.” 13th International Conference on Learning Representations, ICLR, 2025. short: D. Yao, D. Rancati, R. Cadei, M. Fumero, F. Locatello, in:, 13th International Conference on Learning Representations, ICLR, 2025. conference: end_date: 2025-04-28 location: Singapore name: 'ICLR: International Conference on Learning Representations' start_date: 2025-04-24 corr_author: '1' das_tickbox: '0' date_created: 2025-02-05T09:23:25Z date_published: 2025-01-22T00:00:00Z date_updated: 2026-10-02T08:49:53Z day: '22' ddc: - '000' department: - _id: FrLo external_id: arxiv: - '2409.02772' file: - access_level: open_access checksum: c4b5a4a644228c6d1b0283e1368bce9e content_type: application/pdf creator: flocatel date_created: 2026-01-27T12:43:25Z date_updated: 2026-01-27T12:43:25Z file_id: '21048' file_name: 4356_Unifying_Causal_Represent (1).pdf file_size: 877014 relation: main_file success: 1 file_date_updated: 2026-01-27T12:43:25Z has_accepted_license: '1' language: - iso: eng month: '01' oa: 1 oa_version: Published Version publication: 13th International Conference on Learning Representations publication_status: published publisher: ICLR quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Unifying causal representation learning with the invariance principle 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 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '19704' abstract: - lang: eng text: The information-processing capability of the brain’s cellular network depends on the physical wiring pattern between neurons and their molecular and functional characteristics. Mapping neurons and resolving their individual synaptic connections can be achieved by volumetric imaging at nanoscale resolution1,2 with dense cellular labelling. Light microscopy is uniquely positioned to visualize specific molecules, but dense, synapse-level circuit reconstruction by light microscopy has been out of reach, owing to limitations in resolution, contrast and volumetric imaging capability. Here we describe light-microscopy-based connectomics (LICONN). We integrated specifically engineered hydrogel embedding and expansion with comprehensive deep-learning-based segmentation and analysis of connectivity, thereby directly incorporating molecular information into synapse-level reconstructions of brain tissue. LICONN will allow synapse-level phenotyping of brain tissue in biological experiments in a readily adoptable manner. acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: ScienComp - _id: PreCl - _id: M-Shop - _id: E-Lib acknowledgement: 'We thank S. Dorkenwald and P. Li for critical reading of the manuscript, S. Loomba for discussions and E. Miguel for support with data handling. We acknowledge support from ISTA’s scientific service units: Imaging and Optics, Lab Support, Scientific Computing, the preclinical facility, the Miba Machine Shop and the library. We acknowledge funding from the following sources: Austrian Science Fund (FWF) grant DK W1232 (J.G.D. and M.R.T.); Austrian Academy of Sciences DOC fellowship 26137 (M.R.T.); Gesellschaft für Forschungsförderung NÖ (NFB) grant LSC18-022 (J.G.D.); the European Union’s Horizon 2020 research and innovation programme and Marie Skłodowska-Curie Actions Fellowship 665385 (J.L.); and the European Union’s Horizon 2020 research and innovation programme and European Research Council (ERC) grant 101044865 ‘SecretAutism’ (G.N.).Open access funding provided by Institute of Science and Technology (IST Austria).' article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Mojtaba full_name: Tavakoli, Mojtaba id: 3A0A06F4-F248-11E8-B48F-1D18A9856A87 last_name: Tavakoli orcid: 0000-0002-7667-6854 - first_name: Julia full_name: Lyudchik, Julia id: 46E28B80-F248-11E8-B48F-1D18A9856A87 last_name: Lyudchik - first_name: Michał full_name: Januszewski, Michał last_name: Januszewski - first_name: Vitali full_name: Vistunou, Vitali id: 7e146587-8972-11ed-ae7b-d7a32ea86a81 last_name: Vistunou - first_name: Nathalie full_name: Agudelo Duenas, Nathalie id: 40E7F008-F248-11E8-B48F-1D18A9856A87 last_name: Agudelo Duenas - first_name: Jakob full_name: Vorlaufer, Jakob id: 937696FA-C996-11E9-8C7C-CF13E6697425 last_name: Vorlaufer orcid: 0009-0000-7590-3501 - first_name: Christoph M full_name: Sommer, Christoph M id: 4DF26D8C-F248-11E8-B48F-1D18A9856A87 last_name: Sommer orcid: 0000-0003-1216-9105 - first_name: Caroline full_name: Kreuzinger, Caroline id: 382077BA-F248-11E8-B48F-1D18A9856A87 last_name: Kreuzinger - first_name: Bárbara full_name: Oliveira, Bárbara id: 3B03AA1A-F248-11E8-B48F-1D18A9856A87 last_name: Oliveira - first_name: Alban full_name: Cenameri, Alban id: 9ac8f577-2357-11eb-997a-e566c5550886 last_name: Cenameri - first_name: Gaia full_name: Novarino, Gaia id: 3E57A680-F248-11E8-B48F-1D18A9856A87 last_name: Novarino orcid: 0000-0002-7673-7178 - first_name: Viren full_name: Jain, Viren last_name: Jain - first_name: Johann G full_name: Danzl, Johann G id: 42EFD3B6-F248-11E8-B48F-1D18A9856A87 last_name: Danzl orcid: 0000-0001-8559-3973 citation: ama: Tavakoli M, Lyudchik J, Januszewski M, et al. Light-microscopy-based connectomic reconstruction of mammalian brain tissue. Nature. 2025;642:398-410. doi:10.1038/s41586-025-08985-1 apa: Tavakoli, M., Lyudchik, J., Januszewski, M., Vistunou, V., Agudelo Duenas, N., Vorlaufer, J., … Danzl, J. G. (2025). Light-microscopy-based connectomic reconstruction of mammalian brain tissue. Nature. Springer Nature. https://doi.org/10.1038/s41586-025-08985-1 chicago: Tavakoli, Mojtaba, Julia Lyudchik, Michał Januszewski, Vitali Vistunou, Nathalie Agudelo Duenas, Jakob Vorlaufer, Christoph M Sommer, et al. “Light-Microscopy-Based Connectomic Reconstruction of Mammalian Brain Tissue.” Nature. Springer Nature, 2025. https://doi.org/10.1038/s41586-025-08985-1. ieee: M. Tavakoli et al., “Light-microscopy-based connectomic reconstruction of mammalian brain tissue,” Nature, vol. 642. Springer Nature, pp. 398–410, 2025. ista: Tavakoli M, Lyudchik J, Januszewski M, Vistunou V, Agudelo Duenas N, Vorlaufer J, Sommer CM, Kreuzinger C, Oliveira B, Cenameri A, Novarino G, Jain V, Danzl JG. 2025. Light-microscopy-based connectomic reconstruction of mammalian brain tissue. Nature. 642, 398–410. mla: Tavakoli, Mojtaba, et al. “Light-Microscopy-Based Connectomic Reconstruction of Mammalian Brain Tissue.” Nature, vol. 642, Springer Nature, 2025, pp. 398–410, doi:10.1038/s41586-025-08985-1. short: M. Tavakoli, J. Lyudchik, M. Januszewski, V. Vistunou, N. Agudelo Duenas, J. Vorlaufer, C.M. Sommer, C. Kreuzinger, B. Oliveira, A. Cenameri, G. Novarino, V. Jain, J.G. Danzl, Nature 642 (2025) 398–410. corr_author: '1' date_created: 2025-05-18T22:02:51Z date_published: 2025-06-12T00:00:00Z date_updated: 2026-10-02T09:59:44Z day: '12' ddc: - '570' department: - _id: JoDa - _id: GradSch - _id: Bio - _id: GaNo doi: 10.1038/s41586-025-08985-1 ec_funded: 1 external_id: isi: - '001483477000001' pmid: - '40335689' file: - access_level: open_access checksum: ebc99d7108e728f46db0a009292675ef content_type: application/pdf creator: dernst date_created: 2025-07-03T06:55:20Z date_updated: 2025-07-03T06:55:20Z file_id: '19959' file_name: 2025_Nature_Tavakoli.pdf file_size: 133201290 relation: main_file success: 1 file_date_updated: 2025-07-03T06:55:20Z fulldoi: https://doi.org/10.1038/s41586-025-08985-1 has_accepted_license: '1' intvolume: ' 642' isi: 1 language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 398-410 pmid: 1 project: - _id: 6285a163-2b32-11ec-9570-8e204ca2dba5 grant_number: '26137' name: Studying Organelle Structure and Function at Nanoscale Resolution with Expansion Microscopy - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 34ba8964-11ca-11ed-8bc3-e15864e7e9a6 grant_number: '101044865' name: Toward an understanding of the brain interstitial system and the extracellular proteome in health and autism spectrum disorders - _id: 26AA4EF2-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: W1232-B24 name: Molecular Drug Targets publication: Nature publication_identifier: eissn: - 1476-4687 issn: - 0028-0836 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: link: - description: News on ISTA website relation: press_release url: https://ista.ac.at/en/news/piecing-together-the-brain-puzzle/ record: - id: '18697' relation: research_data status: public - id: '18677' relation: earlier_version status: public scopus_import: '1' status: public title: Light-microscopy-based connectomic reconstruction of mammalian brain tissue 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: ba8df636-2132-11f1-aed0-ed93e2281fdd volume: 642 year: '2025' ... --- OA_place: publisher _id: '20811' abstract: - lang: eng text: "\tThis thesis is organized into two parts, each comprising two chapters: Chapter 1 and 2 offer models for the evolution of vaccine resistance in response to diverse vaccination strategies. Chapter 3 and 4 review the statistics of records, their connection to models of innovation and an application to the cultural evolution of sports.\r\n\tIn chapter 1 we present a modelling study from 2021 on the evolution of SARS-CoV-2. At that time the vaccine-resistant Omicron variant had not yet evolved. In our model we consider a population that is becoming vaccinated over time, while a pathogen is spreading in the population and eventually becoming resistant to the vaccine. We explore effective pharmaceutical and non-pharmaceutical interventions to prevent the emergence of vaccine resistance. \r\n\tIn chapter 2 we model a particular set of complex vaccination strategies, mosaic and pyramid vaccination, where an immunologically diverse portfolio of vaccines is considered. We find that a bet-hatching strategy, in which vaccine types are distributed in the population, is effective at hindering the evolution of vaccine resistance if mutation rates are high. \r\n\tIn chapter 3 we switch gears and present a review on the statistics of records. We highlight similarities and analogies to other models in the fields of statistical physics, evolution and innovation. This offers interesting complimentary perspectives on well-known models. \r\n\tIn chapter 4 we apply models of record statistics and innovation to study cultural evolution in sport. We propose a model of sport evolution that combines deterministic improvements in performance and stochastic bursts of improvements due to innovation. " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Simon full_name: Rella, Simon id: B4765ACA-AA38-11E9-AC9A-0930E6697425 last_name: Rella citation: ama: 'Rella S. Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. 2025. doi:10.15479/AT-ISTA-20811' apa: 'Rella, S. (2025). Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20811' chicago: 'Rella, Simon. “Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20811.' ieee: 'S. Rella, “Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation,” Institute of Science and Technology Austria, 2025.' ista: 'Rella S. 2025. Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation. Institute of Science and Technology Austria.' mla: 'Rella, Simon. Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20811.' short: 'S. Rella, Adaptive Processes in Biology and Culture: Models of Evolving Vaccine Resistance and the Record Statistics of Innovation, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-12-12T14:39:56Z date_published: 2025-12-15T00:00:00Z date_updated: 2026-10-02T10:12:19Z day: '15' ddc: - '616' - '576' - '614' - '519' degree_awarded: PhD department: - _id: GradSch - _id: GaTk - _id: FyKo doi: 10.15479/AT-ISTA-20811 doi_confirm: '1' file: - access_level: open_access checksum: a0bd7a585720e60df284101b8afdf6bb content_type: application/pdf creator: srella date_created: 2025-12-16T21:49:52Z date_updated: 2025-12-16T21:49:52Z file_id: '20831' file_name: 2025_Rella_Simon_Thesis.pdf file_size: 29019662 relation: main_file success: 1 - access_level: open_access checksum: b8b3a90932ae1d96d307838710f46e32 content_type: application/zip creator: srella date_created: 2025-12-16T21:52:19Z date_updated: 2025-12-16T21:52:19Z file_id: '20832' file_name: 2025_Rella_Simon_Thesis_Sourcefiles.zip file_size: 42094025 relation: source_file file_date_updated: 2025-12-16T21:52:19Z fulldoi: https://doi.org/10.15479/AT-ISTA-20811 has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-nd/4.0/ month: '12' oa: 1 oa_version: Published Version page: '95' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9905' relation: part_of_dissertation status: public - id: '18307' relation: part_of_dissertation status: public status: public supervisor: - 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: Fyodor full_name: Kondrashov, Fyodor id: 44FDEF62-F248-11E8-B48F-1D18A9856A87 last_name: Kondrashov orcid: 0000-0001-8243-4694 title: 'Adaptive processes in biology and culture: Models of evolving vaccine resistance and the record statistics of innovation' tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- APC_amount: 7068 EUR DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '19401' abstract: - lang: eng text: High kinetic inductance superconductors are gaining increasing interest for the realisation of qubits, amplifiers and detectors. Moreover, thanks to their high impedance, quantum buses made of such materials enable large zero-point fluctuations of the voltage, boosting the coupling rates to spin and charge qubits. However, fully exploiting the potential of disordered or granular superconductors is challenging, as their inductance and, therefore, impedance at high values are difficult to control. Here, we report a reproducible fabrication of granular aluminium resonators by developing a wireless ohmmeter, which allows in situ measurements during film deposition and, therefore, control of the kinetic inductance of granular aluminium films. Reproducible fabrication of circuits with impedances (inductances) exceeding 13 kΩ (1 nH per square) is now possible. By integrating a 7.9 kΩ resonator with a germanium double quantum dot, we demonstrate strong charge-photon coupling with a rate of gc/2π = 566 ± 2 MHz. This broadly applicable method opens the path for novel qubits and high-fidelity, long-distance two-qubit gates. acknowledged_ssus: - _id: M-Shop - _id: NanoFab acknowledgement: 'We acknowledge Franco De Palma, Mahya Khorramshahi, Fabian Oppliger, Thomas Reisinger, Pasquale Scarlino and Xiao Xue for helpful discussions. We thank Simon Robson for proofreading the manuscript. This research was supported by the Scientific Service Units of ISTA through resources provided by the MIBA Machine Shop and the Nanofabrication facility. This research and related results were made possible with the support of the NOMIS Foundation and the HORIZON-RIA 101069515 project. This research was funded in whole or in part by the Austrian Science Fund (FWF) https://doi.org/10.55776/P32235, https://doi.org/10.55776/I5060 and https://doi.org/10.55776/P36507. For Open Access purposes, the author has applied a CC BY public copyright license to any author accepted manuscript version arising from this submission. M.J. acknowledges funding from FellowQUTE 2024-01. K.R. acknowledges funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant Agreement No. 101034413. I.M.P. acknowledges funding from the Deutsche Forschungsgemeinschaft (DFG - German Research Foundation) under project number 450396347 (GeHoldeQED). ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457. We acknowledge support from CSIC Interdisciplinary Thematic Platform (PTI+) on Quantum Technologies (PTI-QTEP+). This research work has been funded by the European Commission - NextGenerationEU (Regulation EU 2020/2094), through CSIC’s Quantum Technologies Platform (QTEP). ICN2 is supported by the Severo Ochoa programme from Spanish MCIN/AEI (Grant No.: CEX2021-001214-S) and is funded by the CERCA Programme/Generalitat de Catalunya. Part of the present work has been performed in the framework of Universitat Autònoma de Barcelona Materials Science PhD programme. AGM has received funding from Grant RYC2021-033479-I funded by MCIN/AEI/10.13039/501100011033 and by European Union NextGenerationEU/PRTR. M.B. acknowledges support from SUR Generalitat de Catalunya and the EU Social Fund; project ref. 2020 FI 00103. The authors acknowledge the use of instrumentation and the technical advice provided by the Joint Electron Microscopy Centre at ALBA (JEMCA). ICN2 acknowledges funding from Grant IU16-014206 (METCAM-FIB) funded by the European Union through the European Regional Development Fund (ERDF), with the support of the Ministry of Research and Universities, Generalitat de Catalunya. ICN2 is a founding member of e-DREAM60.' article_number: '2103' article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Marian full_name: Janik, Marian id: 396A1950-F248-11E8-B48F-1D18A9856A87 last_name: Janik orcid: 0009-0003-9037-8831 - first_name: Kevin Etienne Robert full_name: Roux, Kevin Etienne Robert id: 53f93ea2-803f-11ed-ab7e-b283135794ef last_name: Roux - first_name: Carla N full_name: Borja Espinosa, Carla N id: 18777c01-896a-11ed-bdf8-e4851dc07d16 last_name: Borja Espinosa - first_name: Oliver full_name: Sagi, Oliver id: 71616374-A8E9-11E9-A7CA-09ECE5697425 last_name: Sagi - first_name: Abdulhamid full_name: Baghdadi, Abdulhamid id: 160D87FA-96B5-11E9-BF77-7626E6697425 last_name: Baghdadi - first_name: Thomas full_name: Adletzberger, Thomas id: 38756BB2-F248-11E8-B48F-1D18A9856A87 last_name: Adletzberger - first_name: Stefano full_name: Calcaterra, Stefano last_name: Calcaterra - first_name: Marc full_name: Botifoll, Marc last_name: Botifoll - first_name: Alba full_name: Garzón Manjón, Alba last_name: Garzón Manjón - first_name: Jordi full_name: Arbiol, Jordi last_name: Arbiol - first_name: Daniel full_name: Chrastina, Daniel last_name: Chrastina - first_name: Giovanni full_name: Isella, Giovanni last_name: Isella - first_name: Ioan M. full_name: Pop, Ioan M. last_name: Pop - first_name: Georgios full_name: Katsaros, Georgios id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros orcid: 0000-0001-8342-202X citation: ama: Janik M, Roux KER, Borja Espinosa CN, et al. Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. Nature Communications. 2025;16. doi:10.1038/s41467-025-57252-4 apa: Janik, M., Roux, K. E. R., Borja Espinosa, C. N., Sagi, O., Baghdadi, A., Adletzberger, T., … Katsaros, G. (2025). Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-025-57252-4 chicago: Janik, Marian, Kevin Etienne Robert Roux, Carla N Borja Espinosa, Oliver Sagi, Abdulhamid Baghdadi, Thomas Adletzberger, Stefano Calcaterra, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular Aluminium Superinductors.” Nature Communications. Springer Nature, 2025. https://doi.org/10.1038/s41467-025-57252-4. ieee: M. Janik et al., “Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors,” Nature Communications, vol. 16. Springer Nature, 2025. ista: Janik M, Roux KER, Borja Espinosa CN, Sagi O, Baghdadi A, Adletzberger T, Calcaterra S, Botifoll M, Garzón Manjón A, Arbiol J, Chrastina D, Isella G, Pop IM, Katsaros G. 2025. Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors. Nature Communications. 16, 2103. mla: Janik, Marian, et al. “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular Aluminium Superinductors.” Nature Communications, vol. 16, 2103, Springer Nature, 2025, doi:10.1038/s41467-025-57252-4. short: M. Janik, K.E.R. Roux, C.N. Borja Espinosa, O. Sagi, A. Baghdadi, T. Adletzberger, S. Calcaterra, M. Botifoll, A. Garzón Manjón, J. Arbiol, D. Chrastina, G. Isella, I.M. Pop, G. Katsaros, Nature Communications 16 (2025). corr_author: '1' date_created: 2025-03-16T23:01:23Z date_published: 2025-03-01T00:00:00Z date_updated: 2026-10-02T11:05:09Z day: '01' ddc: - '530' department: - _id: GeKa - _id: JoFi - _id: M-Shop doi: 10.1038/s41467-025-57252-4 ec_funded: 1 external_id: arxiv: - '2407.03079' isi: - '001434774800001' pmid: - '40025007' file: - access_level: open_access checksum: a9383dd978ca2c50b7dded6c0bb2cd49 content_type: application/pdf creator: dernst date_created: 2025-03-17T10:53:32Z date_updated: 2025-03-17T10:53:32Z file_id: '19415' file_name: 2025_NatureComm_Janik.pdf file_size: 6364878 relation: main_file success: 1 file_date_updated: 2025-03-17T10:53:32Z fulldoi: https://doi.org/10.1038/s41467-025-57252-4 has_accepted_license: '1' intvolume: ' 16' isi: 1 language: - iso: eng month: '03' oa: 1 oa_version: Published Version pmid: 1 project: - _id: 34c0acea-11ca-11ed-8bc3-8775e10fd452 grant_number: '101069515' name: Integrated Germanium Quantum Technology - _id: 237B3DA4-32DE-11EA-91FC-C7463DDC885E call_identifier: FWF grant_number: P32235 name: Towards scalable hut wire quantum devices - _id: c0977eea-5a5b-11eb-8a69-a862db0cf4d1 grant_number: I05060 name: High impedance circuit quantum electrodynamics with hole spins - _id: bd8bd29e-d553-11ed-ba76-f0070d4b237a grant_number: P36507 name: Merging spin and superconducting qubits in planar Ge - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' - _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1 call_identifier: FWF name: FWF Open Access Fund publication: Nature Communications publication_identifier: eissn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '18886' relation: research_data status: public - id: '18144' relation: earlier_version status: public scopus_import: '1' status: public title: Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors 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: 16 year: '2025' ... --- OA_place: repository OA_type: gold _id: '18886' abstract: - lang: eng text: Research Data for publication 'Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors' acknowledged_ssus: - _id: M-Shop - _id: NanoFab acknowledgement: 'We acknowledge Franco De Palma, Mahya Khorramshahi, Fabian Oppliger, Thomas Reisinger, Pasquale Scarlino and Xiao Xue for helpful discussions. We thank Simon Robson for proofreading the manuscript. This research was supported by the Scientific Service Units of ISTA through resources provided by the MIBA Machine Shop and the Nanofabrication facility. This research and related results were made possible with the support of the NOMIS Foundation and the HORIZON-RIA 101069515 project. This research was funded in whole or in part by the Austrian Science Fund (FWF) DOI:10.55776/P32235, DOI:10.55776/I5060 and DOI:10.55776/P36507. For Open Access purposes, the author has applied a CC BY public copyright license to any author accepted manuscript version arising from this submission. M.J. acknowledges funding from FellowQUTE 2024-01. I.M.P. acknowledges funding from the Deutsche Forschungsgemeinschaft (DFG – German Research Foundation) under project number 450396347 (GeHoldeQED). ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457. We acknowledge support from CSIC Interdisciplinary Thematic Platform (PTI+) on Quantum Technologies (PTI-QTEP+). This research work has been funded by the European Commission – NextGenerationEU (Regulation EU 2020/2094), through CSIC''s Quantum Technologies Platform (QTEP). ICN2 is supported by the Severo Ochoa program from Spanish MCIN/AEI (Grant No.: CEX2021-001214-S) and is funded by the CERCA Programme/Generalitat de Catalunya. Part of the present work has been performed in the framework of Universitat Autònoma de Barcelona Materials Science PhD program. AGM has received funding from Grant RYC2021-033479-I funded by MCIN/AEI/10.13039/501100011033 and by European Union NextGenerationEU/PRTR. M.B. acknowledges support from SUR Generalitat de Catalunya and the EU Social Fund; project ref. 2020 FI 00103. The authors acknowledge the use of instrumentation and the technical advice provided by the Joint Electron Microscopy Center at ALBA (JEMCA). ICN2 acknowledges funding from Grant IU16-014206 (METCAM-FIB) funded by the European Union through the European Regional Development Fund (ERDF), with the support of the Ministry of Research and Universities, Generalitat de Catalunya. ICN2 is a founding member of e-DREAM.' article_processing_charge: No author: - first_name: Marian full_name: Janik, Marian id: 396A1950-F248-11E8-B48F-1D18A9856A87 last_name: Janik orcid: 0009-0003-9037-8831 citation: ama: Janik M. Research data for publication “Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors.” 2025. doi:10.15479/AT:ISTA:18886 apa: Janik, M. (2025). Research data for publication “Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:18886 chicago: Janik, Marian. “Research Data for Publication ‘Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular Aluminium Superinductors.’” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT:ISTA:18886. ieee: M. Janik, “Research data for publication ‘Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors.’” Institute of Science and Technology Austria, 2025. ista: Janik M. 2025. Research data for publication ‘Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:18886. mla: Janik, Marian. Research Data for Publication “Strong Charge-Photon Coupling in Planar Germanium Enabled by Granular Aluminium Superinductors.” Institute of Science and Technology Austria, 2025, doi:10.15479/AT:ISTA:18886. short: M. Janik, (2025). contributor: - contributor_type: researcher first_name: Kevin Etienne Robert id: 53f93ea2-803f-11ed-ab7e-b283135794ef last_name: Roux - contributor_type: researcher first_name: Carla N id: 18777c01-896a-11ed-bdf8-e4851dc07d16 last_name: Borja Espinosa - contributor_type: researcher first_name: Oliver id: 71616374-A8E9-11E9-A7CA-09ECE5697425 last_name: Sagi - contributor_type: researcher first_name: Abdulhamid id: 160D87FA-96B5-11E9-BF77-7626E6697425 last_name: Baghdadi - contributor_type: researcher first_name: Thomas id: 38756BB2-F248-11E8-B48F-1D18A9856A87 last_name: Adletzberger - contributor_type: researcher first_name: Stefano last_name: Calcaterra - contributor_type: researcher first_name: Marc last_name: Botifoll - contributor_type: researcher first_name: Alba Garzón last_name: Manjón - contributor_type: researcher first_name: Jordi last_name: Arbiol - contributor_type: researcher first_name: Daniel last_name: Chrastina - contributor_type: researcher first_name: Giovanni last_name: Isella - contributor_type: researcher first_name: Ioan M. last_name: Pop - contributor_type: researcher first_name: Georgios id: 38DB5788-F248-11E8-B48F-1D18A9856A87 last_name: Katsaros orcid: 0000-0001-8342-202X corr_author: '1' date_created: 2025-01-27T09:48:44Z date_published: 2025-01-27T00:00:00Z date_updated: 2026-10-02T11:05:09Z day: '27' ddc: - '530' department: - _id: GeKa - _id: GradSch doi: 10.15479/AT:ISTA:18886 file: - access_level: open_access checksum: 977dffed4bec3c7d6315aa1cbd19e8a7 content_type: text/plain creator: arashid date_created: 2025-01-27T11:27:30Z date_updated: 2025-01-27T11:27:30Z file_id: '18893' file_name: readme.txt file_size: 1017 relation: main_file success: 1 - access_level: open_access checksum: 7ab5e3e65ddf59bbf3622ace8a0cda1c content_type: application/zip creator: arashid date_created: 2025-01-27T11:27:35Z date_updated: 2025-01-27T11:27:35Z file_id: '18894' file_name: research_data.zip file_size: 33815056 relation: main_file success: 1 file_date_updated: 2025-01-27T11:27:35Z fulldoi: https://doi.org/10.15479/AT:ISTA:18886 has_accepted_license: '1' month: '01' oa: 1 oa_version: Published Version project: - _id: 34c0acea-11ca-11ed-8bc3-8775e10fd452 grant_number: '101069515' name: Integrated Germanium Quantum Technology - _id: 237B3DA4-32DE-11EA-91FC-C7463DDC885E call_identifier: FWF grant_number: P32235 name: Towards scalable hut wire quantum devices - _id: bd8bd29e-d553-11ed-ba76-f0070d4b237a grant_number: P36507 name: Merging spin and superconducting qubits in planar Ge - _id: c0977eea-5a5b-11eb-8a69-a862db0cf4d1 grant_number: I05060 name: High impedance circuit quantum electrodynamics with hole spins publisher: Institute of Science and Technology Austria related_material: record: - id: '19401' relation: used_in_publication status: public - id: '18144' relation: used_in_publication status: public status: public title: Research data for publication 'Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors' 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: research_data user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher _id: '20276' abstract: - lang: eng text: "Complex 3D shapes can be created by morphing flat 2D configurations. Such deformations\r\neither preserve the intrinsic material geometry (e.g., folding paper) or modify it through\r\nlocalized contraction. Once transformed, the 3D shape can be further controlled to achieve a\r\ntarget functionality. A key challenge is to take the material specifications and the actuation\r\nprocess as input to automatically design the target 3D shape and its functionality. This thesis\r\npresents two novel computational pipelines for the design and control of shape-morphing\r\nstructures used to create functional prototypes.\r\nThe first pipeline borrows from the art of origami to fold paper into intricate shapes and\r\napplies this principle to make 3D lighting displays. We introduce, PCBend a computational\r\ndesign approach that covers a surface with individually addressable RGB LEDs, effectively\r\nforming a low-resolution surface by folding rigid printed circuit boards (PCBs). We optimize\r\ncut patterns on PCBs to act as hinges and co-design LED placement, circuit routing, and\r\nfabrication constraints to produce PCB blueprints. The PCBs are fabricated using automated\r\nstandard manufacturing services with LEDs embedded on them. Finally, the fabricated PCBs\r\nare cut along the contour and folded onto a 3D-printed support. The 3D lighting display is\r\nthen controlled to display complex surface light patterns.\r\nCreating 3D shapes through folding is only possible if their planar configuration, called ”unfolding” exists without any distortion or overlap. Existing methods often permit distortion\r\nor require multiple patches, which are unsuitable for fabrication pipelines that rely on folding\r\nnon-stretchable materials. We reinforce such fabrication pipelines by providing a geometric\r\nrelaxation to the problem, where the input shape is modified to admit overlap-free unfolding.\r\nThe second fabrication pipeline extends shape morphing to soft robotics by emulating nature’s\r\nblueprint of distributed actuation. Inspired by vertebrates, we build musculoskeletal robots\r\nusing modular active actuators, employing Liquid Crystal Elastomers (LCEs) as shrinkable\r\nartificial muscles integrated with 3D-printed bones. The chemical composition of LCEs is\r\naltered to enable untethered actuation through infrared radiation, allowing active control of\r\nindividual muscles and their corresponding bones. The combined motion of individual bones\r\ndefines the robot’s overall shape and functionality. Our proposed system significantly expands\r\nboth the design and control spaces of soft robots, which we harness using our computational\r\ndesign tools. We build several physical robots that exhibit complex shape morphing and varied\r\nterrain navigation, showcasing the versatility of our pipeline.\r\nThis thesis explores applications ranging from intricate light patterns displayed on 3D shapes\r\nformed by folding rigid PCBs to untethered robots that use contractile muscles to exhibit\r\nshape morphing and locomotion. Through these examples, the thesis highlights how computational design and distributed actuation, integrated with novel materials, can transform\r\npassive structures into functional prototypes." acknowledgement: "Financial support was provided by the European Research Council (ERC) under grant agreement No 715767 - MATERIALIZABLE: Intelligent fabrication-oriented Computational Design\r\nand Modeling that I gratefully acknowledge.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Manas full_name: Bhargava, Manas id: FF8FA64C-AA6A-11E9-99AD-50D4E5697425 last_name: Bhargava orcid: 0009-0007-6138-6890 citation: ama: 'Bhargava M. Design and control of deformable structures: From PCB lighting displays to elastomer robots. 2025. doi:10.15479/AT-ISTA-20276' apa: 'Bhargava, M. (2025). Design and control of deformable structures: From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20276' chicago: 'Bhargava, Manas. “Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20276.' ieee: 'M. Bhargava, “Design and control of deformable structures: From PCB lighting displays to elastomer robots,” Institute of Science and Technology Austria, 2025.' ista: 'Bhargava M. 2025. Design and control of deformable structures: From PCB lighting displays to elastomer robots. Institute of Science and Technology Austria.' mla: 'Bhargava, Manas. Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20276.' short: 'M. Bhargava, Design and Control of Deformable Structures: From PCB Lighting Displays to Elastomer Robots, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-09-02T14:48:39Z date_published: 2025-09-02T00:00:00Z date_updated: 2026-10-02T11:13:08Z day: '02' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: BeBi doi: 10.15479/AT-ISTA-20276 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 5baf8ca46c86a94fc8380ff1007aabd4 content_type: application/pdf creator: mbhargav date_created: 2025-09-03T10:40:52Z date_updated: 2025-09-03T10:40:52Z file_id: '20284' file_name: 2025-Bhargava-Manas-Thesis.pdf file_size: 161436245 relation: main_file success: 1 - access_level: closed checksum: 66878fafbc0074f88ddd18f24a9fc647 content_type: application/x-zip-compressed creator: mbhargav date_created: 2025-09-03T13:18:05Z date_updated: 2025-09-04T09:22:29Z file_id: '20285' file_name: manas_phd_thesis_source_files.zip file_size: 198831315 relation: source_file file_date_updated: 2025-09-04T09:22:29Z fulldoi: https://doi.org/10.15479/AT-ISTA-20276 has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc/4.0/ month: '09' oa: 1 oa_version: Published Version page: '96' project: - _id: 24F9549A-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '715767' name: 'MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling' publication_identifier: isbn: - 978-3-99078-065-7 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '13049' relation: part_of_dissertation status: public - id: '20286' relation: part_of_dissertation status: public - id: '18565' relation: part_of_dissertation status: public status: public supervisor: - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 title: 'Design and control of deformable structures: From PCB lighting displays to elastomer robots' 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: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '18565' abstract: - lang: eng text: 'We present a computational approach for unfolding 3D shapes isometrically into the plane as a single patch without overlapping triangles. This is a hard, sometimes impossible, problem, which existing methods are forced to soften by allowing for map distortions or multiple patches. Instead, we propose a geometric relaxation of the problem: We modify the input shape until it admits an overlap‐free unfolding. We achieve this by locally displacing vertices and collapsing edges, guided by the unfolding process. We validate our algorithm quantitatively and qualitatively on a large dataset of complex shapes and show its proficiency by fabricating real shapes from paper.' acknowledgement: Researchers from INRIA received support from the DORNELL Inria Challenge. Silvia Sellán acknowledges support from NSERC Vanier Doctoral Scholarship and an MIT SoE Postdoctoral Fellowship for Engineering Excellence. article_number: e15269 article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Manas full_name: Bhargava, Manas id: FF8FA64C-AA6A-11E9-99AD-50D4E5697425 last_name: Bhargava orcid: 0009-0007-6138-6890 - first_name: Camille full_name: Schreck, Camille id: 2B14B676-F248-11E8-B48F-1D18A9856A87 last_name: Schreck - first_name: M. full_name: Freire, M. last_name: Freire - first_name: P. A. full_name: Hugron, P. A. last_name: Hugron - first_name: S. full_name: Lefebvre, S. last_name: Lefebvre - first_name: S. full_name: Sellán, S. last_name: Sellán - first_name: Bernd full_name: Bickel, Bernd id: 49876194-F248-11E8-B48F-1D18A9856A87 last_name: Bickel orcid: 0000-0001-6511-9385 citation: ama: Bhargava M, Schreck C, Freire M, et al. Mesh simplification for unfolding. Computer Graphics Forum. 2025;44(1). doi:10.1111/cgf.15269 apa: Bhargava, M., Schreck, C., Freire, M., Hugron, P. A., Lefebvre, S., Sellán, S., & Bickel, B. (2025). Mesh simplification for unfolding. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.15269 chicago: Bhargava, Manas, Camille Schreck, M. Freire, P. A. Hugron, S. Lefebvre, S. Sellán, and Bernd Bickel. “Mesh Simplification for Unfolding.” Computer Graphics Forum. Wiley, 2025. https://doi.org/10.1111/cgf.15269. ieee: M. Bhargava et al., “Mesh simplification for unfolding,” Computer Graphics Forum, vol. 44, no. 1. Wiley, 2025. ista: Bhargava M, Schreck C, Freire M, Hugron PA, Lefebvre S, Sellán S, Bickel B. 2025. Mesh simplification for unfolding. Computer Graphics Forum. 44(1), e15269. mla: Bhargava, Manas, et al. “Mesh Simplification for Unfolding.” Computer Graphics Forum, vol. 44, no. 1, e15269, Wiley, 2025, doi:10.1111/cgf.15269. short: M. Bhargava, C. Schreck, M. Freire, P.A. Hugron, S. Lefebvre, S. Sellán, B. Bickel, Computer Graphics Forum 44 (2025). corr_author: '1' das_tickbox: '0' date_created: 2024-11-19T09:14:32Z date_published: 2025-02-01T00:00:00Z date_updated: 2026-10-02T11:13:08Z day: '01' ddc: - '006' department: - _id: GradSch - _id: BeBi doi: 10.1111/cgf.15269 external_id: arxiv: - '2408.06944' isi: - '001357046100001' file: - access_level: open_access checksum: 34acdd9bfbe43f00eb6c7656afef3ac6 content_type: video/mp4 creator: mbhargav date_created: 2024-11-19T09:23:20Z date_updated: 2024-11-19T09:23:20Z file_id: '18567' file_name: Mesh_Simplification_For_Unfolding_cgf_submission_supplemental_video.mp4 file_size: 36999751 relation: main_file success: 1 - access_level: open_access checksum: efb06b01bae37f470954601bc004374d content_type: application/pdf creator: dernst date_created: 2025-04-16T09:06:45Z date_updated: 2025-04-16T09:06:45Z file_id: '19576' file_name: 2025_CompGraphicsForum_Bhargava.pdf file_size: 5188265 relation: main_file success: 1 file_date_updated: 2025-04-16T09:06:45Z fulldoi: https://doi.org/10.1111/cgf.15269 has_accepted_license: '1' intvolume: ' 44' isi: 1 issue: '1' keyword: - fabrication - single patch unfolding - mesh simplification language: - iso: eng month: '02' oa: 1 oa_version: Published Version publication: Computer Graphics Forum publication_identifier: eissn: - 1467-8659 issn: - 0167-7055 publication_status: published publisher: Wiley quality_controlled: '1' related_material: record: - id: '20276' relation: dissertation_contains status: public researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: yes title: Mesh simplification for unfolding 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: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 44 year: '2025' ... --- OA_place: publisher _id: '19759' abstract: - lang: eng text: "Despite generating remarkable results in various computer vision tasks, deep learning comes\r\nwith some surprising shortcomings. For example, tiny perturbations, often imperceptible to\r\nthe human eye, can completely change the predictions of image classifiers. Despite a decade\r\nof research, the field has made limited progress in developing image classifiers that are both\r\naccurate and robust. This thesis aims to address this gap.\r\nAs our first contribution, we aim to simplify the process of training certifiably robust image\r\nclassifiers. We do this by designing a convolutional layer that does not require executing an\r\niterative procedure in every forward pass, but relies on an explicit bound instead. We also\r\npropose a loss function that allows optimizing for a particular margin more precisely.\r\nNext, we provide an overview and comparison of various methods that create robust image\r\nclassifiers by constraining the Lipschitz constant. This is important since generally longer\r\ntraining times and more parameters improve the performance of robust classifiers, making it\r\nchallenging to determine the most practical and effective methods from existing literature.\r\nIn 1-Lipschitz classification, the performance of current methods is still much worse than what\r\nwe expect on the simple tasks we consider. Therefore, we next investigate potential causes of\r\nthis shortcoming. We first consider the role of the activation function. We prove a theoretical\r\nshortcoming of the commonly used activation function, and provide an alternative without it.\r\nHowever this theoretical improvement does barely translate to the empirical performance of\r\nrobust classifiers, suggesting a different bottleneck.\r\nTherefore, in the final chapter, we study how the performance depends on the amount of\r\ntraining data. We prove that in the worst case, we might require far more data to train a\r\nrobust classifier compared to a normal one. We furthermore find that the amount of training\r\ndata is a key determinant of the performance current methods achieve on popular datasets.\r\nAdditionally, we show that linear subspaces exist with tiny data variance, and yet we can\r\nstill train very accurate classifiers after projecting into those subspaces. This shows that on\r\nthe datasets considered, enforcing robustness in classification makes the task strictly more\r\nchallenging.\r\n\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Bernd full_name: Prach, Bernd id: 2D561D42-C427-11E9-89B4-9C1AE6697425 last_name: Prach citation: ama: Prach B. Robust image classification with 1-Lipschitz networks. 2025. doi:10.15479/10.15479/at-ista-19759 apa: Prach, B. (2025). Robust image classification with 1-Lipschitz networks. Institute of Science and Technology Austria. https://doi.org/10.15479/10.15479/at-ista-19759 chicago: Prach, Bernd. “Robust Image Classification with 1-Lipschitz Networks.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/10.15479/at-ista-19759. ieee: B. Prach, “Robust image classification with 1-Lipschitz networks,” Institute of Science and Technology Austria, 2025. ista: Prach B. 2025. Robust image classification with 1-Lipschitz networks. Institute of Science and Technology Austria. mla: Prach, Bernd. Robust Image Classification with 1-Lipschitz Networks. Institute of Science and Technology Austria, 2025, doi:10.15479/10.15479/at-ista-19759. short: B. Prach, Robust Image Classification with 1-Lipschitz Networks, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-05-28T16:20:48Z date_published: 2025-05-30T00:00:00Z date_updated: 2026-10-02T11:16:04Z day: '30' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: ChLa doi: 10.15479/10.15479/at-ista-19759 doi_confirm: '1' file: - access_level: open_access checksum: e5108e759014e2a9020c973c778fafc9 content_type: application/pdf creator: bprach date_created: 2025-06-10T18:11:05Z date_updated: 2025-06-10T18:11:05Z file_id: '19829' file_name: ThesisFinal.pdf file_size: 3578077 relation: main_file - access_level: closed checksum: 51bf6c11fb6d8a9f8010b458c600a83f content_type: application/x-zip-compressed creator: bprach date_created: 2025-06-10T18:14:03Z date_updated: 2025-06-10T18:14:03Z file_id: '19830' file_name: ThesisFinal.zip file_size: 74894357 relation: source_file file_date_updated: 2025-06-10T18:14:03Z fulldoi: https://doi.org/10.15479/10.15479/at-ista-19759 has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '84' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publisher_comment: "In reference to IEEE copyrighted material which is used with permission in this thesis, the IEEE does not\r\nendorse any of ISTA's products or services. Internal or personal use of this\r\nmaterial is permitted. If interested in reprinting/republishing IEEE copyrighted material for advertising or promotional\r\npurposes or for creating new collective works for resale or redistribution, please go to\r\nhttp://www.ieee.org/publications_standards/publications/rights/rights_link.html to learn how to obtain a License from\r\nRightsLink. If applicable, University Microfilms and/or ProQuest Library, or the Archives of Canada may supply single copies of the dissertation." related_material: record: - id: '15039' relation: part_of_dissertation status: public - id: '11839' relation: part_of_dissertation status: public - id: '18874' relation: part_of_dissertation status: public - id: '17426' relation: part_of_dissertation status: public status: public supervisor: - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 title: Robust image classification with 1-Lipschitz networks type: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: repository OA_type: green _id: '20455' abstract: - lang: eng text: Despite extensive research since the community learned about adversarial examples 10 years ago, we still do not know how to train high-accuracy classifiers that are guaranteed to be robust to small perturbations of their inputs. Previous works often argued that this might be because no classifier exists that is robust and accurate at the same time. However, in computer vision this assumption does not match reality where humans are usually accurate and robust on most tasks of interest. We offer an alternative explanation and show that in certain settings robust generalization is only possible with unrealistically large amounts of data. Specifically, we find a setting where a robust classifier exists, it is easy to learn an accurate classifier, yet it requires an exponential amount of data to learn a robust classifier. Based on this theoretical result, we evaluate the influence of the amount of training data on datasets such as CIFAR10. Our findings indicate that the the amount of training data is the main factor determining the robust performance. Furthermore we show that that there are low magnitude directions in the data which are useful for non-robust generalization but are not available for robust classifiers. This implies that robust classification is a strictly harder tasks than normal classification, thereby providing an explanation why robust classification requires more data. article_processing_charge: No arxiv: 1 author: - first_name: Bernd full_name: Prach, Bernd id: 2D561D42-C427-11E9-89B4-9C1AE6697425 last_name: Prach - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 citation: ama: 'Prach B, Lampert C. Intriguing properties of robust classification. In: 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops. IEEE; 2025:660-669. doi:10.1109/CVPRW67362.2025.00071' apa: 'Prach, B., & Lampert, C. (2025). Intriguing properties of robust classification. In 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (pp. 660–669). Nashville, TN, United States: IEEE. https://doi.org/10.1109/CVPRW67362.2025.00071' chicago: Prach, Bernd, and Christoph Lampert. “Intriguing Properties of Robust Classification.” In 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, 660–69. IEEE, 2025. https://doi.org/10.1109/CVPRW67362.2025.00071. ieee: B. Prach and C. Lampert, “Intriguing properties of robust classification,” in 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, Nashville, TN, United States, 2025, pp. 660–669. ista: 'Prach B, Lampert C. 2025. Intriguing properties of robust classification. 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops. CVPR: Conference on Computer Vision and Pattern Recognition, 660–669.' mla: Prach, Bernd, and Christoph Lampert. “Intriguing Properties of Robust Classification.” 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, IEEE, 2025, pp. 660–69, doi:10.1109/CVPRW67362.2025.00071. short: B. Prach, C. Lampert, in:, 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, IEEE, 2025, pp. 660–669. conference: end_date: 2025-06-12 location: Nashville, TN, United States name: 'CVPR: Conference on Computer Vision and Pattern Recognition' start_date: 2025-06-11 corr_author: '1' date_created: 2025-10-12T22:01:26Z date_published: 2025-06-15T00:00:00Z date_updated: 2026-10-02T11:15:42Z day: '15' department: - _id: ChLa doi: 10.1109/CVPRW67362.2025.00071 external_id: arxiv: - '2412.04245' fulldoi: https://doi.org/10.1109/CVPRW67362.2025.00071 language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2412.04245 month: '06' oa: 1 oa_version: Preprint page: 660-669 publication: 2025 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops publication_identifier: eissn: - 2160-7516 isbn: - '9798331599942' issn: - 2160-7508 publication_status: published publisher: IEEE quality_controlled: '1' related_material: record: - id: '18874' relation: earlier_version status: public scopus_import: '1' status: public title: Intriguing properties of robust classification type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher _id: '19630' abstract: - lang: eng text: "This thesis consists of three chapters, each corresponding to one publication. While each of these projects tackles a topic in a different area of research, they all share a common thread in the type of topological structure they handle - a partition of space into volumes separated by interfaces that meet in non-manifold junctions.\r\n\r\nIn Chapter 2, we study clusters of soap bubbles from a simulation perspective. In particular, we develop a surface-only algorithm that couples large scale motion and shape deformation of soap bubble clusters with the small scale evolution of the thin film's thickness, which is responsible for visual phenomena like surface vortices, Newton's interference patterns, capillary waves, and deformation-dependent rupturing of films in a foam. We model film thickness as a reduced degree of freedom in the Navier-Stokes equations and from them derive three sets of equations governing normal and tangential motion of the soap film surface, as well as the evolution of the thin film thickness. We discretize these equations on a non-manifold triangle mesh, extending and adapting operators to handle complex topology. We also present an incompressible fluid solver for 2.5D films and an advection algorithm for convecting fields across non-manifold surface junctions. Our simulations enhance bubble solvers with additional effects caused by convection, rippling, draining, and evaporation of the thin film.\r\n\r\nIn Chapter 3, we introduce a multi-material non-manifold mesh-based surface tracking algorithm that converts mesh defects, such as overlaps, self-intersections, and inversions into topological changes. Our algorithm generalizes prior work on manifold surface tracking with topological changes: it preserves surface features like mesh-based methods, and it robustly handles topological changes like level set methods. Our method also offers improved efficiency and robustness over the state of the art. We demonstrate the effectiveness of the approach on a range of examples, including complex soap film simulations, such as those presented in Chapter 2, but with an order of magnitude more interacting bubbles than what we could achieve before, and Boolean unions of non-manifold meshes consisting of millions of triangles.\r\n\r\nLastly, in Chapter 4, we utilize developments in the theory of random geometric complexes facilitated by observations from Discrete Morse theory. We survey the methods and results obtained with this new approach, and discuss some of its shortcomings. We use simulations to illustrate the results and to form conjectures, getting numerical estimates for combinatorial, topological, and geometric properties of weighted and unweighted Delaunay mosaics, their dual Voronoi tessellations, and the Alpha and Wrap complexes contained in the mosaics." acknowledged_ssus: - _id: ScienComp acknowledgement: The project in Chapter 2 has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme under grant agreement No. 638176. The project in Chapter 3 was funded in part by the European Union (ERC-2021-COG 101045083 CoDiNA). The project in Chapter 4 has received funding from the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation programme (grant agreements No 78818 Alpha and No 638176). It was also partially supported by the DFG Collaborative Research Center TRR 109, 'Discretization in Geometry and Dynamics', through grant no. I02979-N35 of the Austrian Science Fund (FWF). Thank you for providing funds to support my work. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Peter full_name: Synak, Peter id: 331776E2-F248-11E8-B48F-1D18A9856A87 last_name: Synak citation: ama: Synak P. Methods for fluid simulation, surface tracking, and statistics of non-manifold structures. 2025. doi:10.15479/AT-ISTA-19630 apa: Synak, P. (2025). Methods for fluid simulation, surface tracking, and statistics of non-manifold structures. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19630 chicago: Synak, Peter. “Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19630. ieee: P. Synak, “Methods for fluid simulation, surface tracking, and statistics of non-manifold structures,” Institute of Science and Technology Austria, 2025. ista: Synak P. 2025. Methods for fluid simulation, surface tracking, and statistics of non-manifold structures. Institute of Science and Technology Austria. mla: Synak, Peter. Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19630. short: P. Synak, Methods for Fluid Simulation, Surface Tracking, and Statistics of Non-Manifold Structures, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-04-29T09:39:34Z date_published: 2025-04-29T00:00:00Z date_updated: 2026-10-02T11:19:03Z day: '29' ddc: - '519' - '006' degree_awarded: PhD department: - _id: ChWo - _id: GradSch doi: 10.15479/AT-ISTA-19630 ec_funded: 1 file: - access_level: closed checksum: f00b519c27529daa0c3b2d4102b4fa7b content_type: application/x-zip-compressed creator: cchlebak date_created: 2025-04-30T14:02:25Z date_updated: 2025-04-30T14:02:25Z file_id: '19633' file_name: Thesis_source_Heiss_Synak.zip file_size: 60670543 relation: source_file - access_level: open_access checksum: 6e40a2fd3b1b881af1385670854a682e content_type: application/pdf creator: cchlebak date_created: 2025-04-30T14:02:42Z date_updated: 2025-04-30T15:49:16Z file_id: '19634' file_name: Thesis_PDFA_Heiss_Synak.pdf file_size: 21319043 relation: main_file file_date_updated: 2025-04-30T15:49:16Z fulldoi: https://doi.org/10.15479/AT-ISTA-19630 has_accepted_license: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: '106' project: - _id: 2533E772-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '638176' name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales' - _id: 34bc2376-11ca-11ed-8bc3-9a3b3961a088 grant_number: '101045083' name: Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 2533E772-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '638176' name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales' - _id: 2561EBF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I02979-N35 name: Persistence and stability of geometric complexes publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '8135' relation: part_of_dissertation status: public - id: '8384' relation: part_of_dissertation status: public - id: '17219' relation: part_of_dissertation status: public status: public supervisor: - first_name: Christopher J full_name: Wojtan, Christopher J id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87 last_name: Wojtan orcid: 0000-0001-6646-5546 title: Methods for fluid simulation, surface tracking, and statistics of non-manifold structures type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher _id: '20551' abstract: - lang: eng text: "The space of codimension-2 shapes, such as curves in 3D and surfaces in 4D, is an infinite-dimensional manifold. This thesis explores geometric structures and dynamics on this space, with emphasis on their implications for physics, particularly hydrodynamics.\r\n\r\nOur investigation ranges from theoretical studies of infinite-dimensional symplectic and prequantum geometry to numerical computation of the time evolution of shapes. The thesis presents four main contributions.\r\n\r\nIn the first part, we introduce implicit representations of codimension-2 shapes using a class of complex-valued functions, and prove that the space of these implicit representations forms a prequantum bundle over the codimension-2 shape space. This reveals a new geometric interpretation of the canonical symplectic structure on the codimension-2 shape space.\r\n\r\nIn the second part, we use implicit representations to develop a simulation method for the dynamics of space curves. To handle chaotic systems such as vortex filaments in hydrodynamics, we exploit the infinite degrees of freedom, hidden in both the configuration and dynamics of implicit representations.\r\n\r\nIn the third part, we introduce new symplectic structures on the space of space curves, which generalize the only previously known symplectic structure on this space, allowing for new Hamiltonian dynamics of space curves.\r\n\r\nIn the fourth part, we apply a symplectic viewpoint to a differential geometric problem with practical applications. We derive a new area formula for spherical polygons via prequantization. " acknowledged_ssus: - _id: CampIT acknowledgement: "Projects contained in this thesis were financially supported in part by the\r\nEuropean Research Council with grants 1. ERC Consolidator Grant 101045083 CoDiNA,\r\nand 2. the European Union’s Horizon 2020 research and innovation programme under grant\r\nagreement No. 638176." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Sadashige full_name: Ishida, Sadashige id: 6F7C4B96-A8E9-11E9-A7CA-09ECE5697425 last_name: Ishida orcid: 0000-0002-3121-3100 citation: ama: Ishida S. Symplectic-prequantum structures and dynamics on the codimension-2 shape space. 2025. doi:10.15479/AT-ISTA-20551 apa: Ishida, S. (2025). Symplectic-prequantum structures and dynamics on the codimension-2 shape space. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20551 chicago: Ishida, Sadashige. “Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20551. ieee: S. Ishida, “Symplectic-prequantum structures and dynamics on the codimension-2 shape space,” Institute of Science and Technology Austria, 2025. ista: Ishida S. 2025. Symplectic-prequantum structures and dynamics on the codimension-2 shape space. Institute of Science and Technology Austria. mla: Ishida, Sadashige. Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20551. short: S. Ishida, Symplectic-Prequantum Structures and Dynamics on the Codimension-2 Shape Space, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-10-27T10:28:52Z date_published: 2025-10-31T00:00:00Z date_updated: 2026-10-02T11:17:04Z day: '31' ddc: - '516' degree_awarded: PhD department: - _id: GradSch - _id: ChWo doi: 10.15479/AT-ISTA-20551 ec_funded: 1 file: - access_level: open_access checksum: 4eef80afcb67691cbb6549c4756fa534 content_type: application/zip creator: sishida date_created: 2025-11-01T18:26:14Z date_updated: 2025-11-01T18:26:14Z file_id: '20583' file_name: Thesis_tex.zip file_size: 72487812 relation: source_file - access_level: open_access checksum: 1e5a557900bf2dce01966b211b15d0fe content_type: application/pdf creator: sishida date_created: 2025-11-10T08:45:05Z date_updated: 2025-11-10T08:45:05Z file_id: '20623' file_name: Thesis_Sadashige_Ishida_PDFA.pdf file_size: 8945141 relation: main_file success: 1 file_date_updated: 2025-11-10T08:45:05Z fulldoi: https://doi.org/10.15479/AT-ISTA-20551 has_accepted_license: '1' language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: '141' project: - _id: 2533E772-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '638176' name: 'Big Splash: Efficient Simulation of Natural Phenomena at Extremely Large Scales' - _id: 34bc2376-11ca-11ed-8bc3-9a3b3961a088 grant_number: '101045083' name: Computational Discovery of Numerical Algorithms for Animation and Simulation of Natural Phenomena publication_identifier: isbn: - 978-3-99078-070-1 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '12431' relation: part_of_dissertation status: public - id: '20580' relation: part_of_dissertation status: public - id: '17361' relation: part_of_dissertation status: public - id: '12846' relation: part_of_dissertation status: public status: public supervisor: - first_name: Christopher J full_name: Wojtan, Christopher J id: 3C61F1D2-F248-11E8-B48F-1D18A9856A87 last_name: Wojtan orcid: 0000-0001-6646-5546 - first_name: Albert full_name: Chern, Albert last_name: Chern title: Symplectic-prequantum structures and dynamics on the codimension-2 shape space 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: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher _id: '20234' abstract: - lang: eng text: "Game Theory is the mathematical formalization of social dynamics - systems where agents interact over time and the evolution of the state of the system depends on the decisions of every player. \r\nThis thesis takes the perspective of a single player and focuses on what they can guarantee in the worst case over the behavior of other players.\r\nIn other words, we consider that the objective of every other player in the game is exactly the opposite to the player.\r\nWe focus on sustained interactions over time, where the players repeatedly obtain quantitative rewards over time, and they are interested in maximizing their long-term performance.\t\r\nFormally, this thesis focuses on zero-sum games with the liminf average objective.\r\nTwo fundamental questions that Game Theory aims to answer are the following.\r\n\r\n1. How much can a player guarantee to obtain after the interaction?\r\n\r\n2. How to act in order to obtain the previously mentioned guarantee?\r\n\r\nThese questions are formalized by the concepts of \"value\" and \"optimal strategies\". \t\r\nWe study their properties on games that exhibit one or more of the following properties. \r\n\r\n1. Partial Observation: \r\nthe players can not perfectly observe the current state of the system during the game. We consider the model of (finite) Partially Observable Markov Decision Processes and prove that finite-memory strategies are sufficient to approximately guarantee the value.\r\n\r\n2. Perturbed Description: \r\nthe formal description of the game is perturbed by a small parameter.\r\nWe consider the model of (finite) Perturbed Matrix Games, and provide algorithms to check various robustness properties and to compute the parameterized value and optimal strategies.\r\n\r\n3. Stochastic Transitions: \r\nthe actions of the players determine the behavior of the evolution of the system, described as a probability distribution over the next state.\r\nWe consider the model of (finite) Perturbed Stochastic Games and provide formulas for the marginal value.\r\n\r\n4. Infinite States: \r\nthe system can be in infinitely many states.\r\nWe consider the model of Random Dynamic Games on a class of infinite graphs, prove the existence of the value, and quantify the concentration of finite-horizon values." acknowledgement: "Funding sources The works included in this thesis were partially supported by:\r\n• Austrian Science Fund (FWF), grants 10.55776/COE12 and No RiSE/SHiNE S11407,\r\n• French Agence Nationale de la Recherche (ANR), grants ANR-21-CE40-0020 (CONVERGENCE) and ANR-20-CE40-0002 (GrHyDy),\r\n• Fondation Mathématique Jaques Hadamard, grant PGMO RSG 2018-0031H,\r\n• European Research Council (ERC), Consolidator grant 863818 (ForM-SMArt),\r\n• Agencia Nacional de Investigación y Desarrollo (ANID Chile), grant ACT210005,\r\n• Fondo Nacional de Desarrollo Científico y Tecnológico (Fondecyt Chile), grant 1220174,\r\n• Comisión Nacional de Investigación Científica y Tecnológica (CONICYT Chile), grant\r\nPII 20150140,\r\n• Evaluation-orientation de la Coopération Scientifique and Comisión Nacional de Investigación Científica y Tecnológica (ECOS-CONICYT), grant C15E03,\r\n• European Cooperation in Science and Technology (E-COST), grants CA16228 - European\r\nNetwork for Game Theory (GAMENET) and E-COST-GRANT-CA16228-c5a69859.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Raimundo J full_name: Saona Urmeneta, Raimundo J id: BD1DF4C4-D767-11E9-B658-BC13E6697425 last_name: Saona Urmeneta orcid: 0000-0001-5103-038X citation: ama: 'Saona Urmeneta RJ. Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games. 2025. doi:10.15479/AT-ISTA-20234' apa: 'Saona Urmeneta, R. J. (2025). Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20234' chicago: 'Saona Urmeneta, Raimundo J. “Robustness of Solutions in Game Theory: Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20234.' ieee: 'R. J. Saona Urmeneta, “Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games,” Institute of Science and Technology Austria, 2025.' ista: 'Saona Urmeneta RJ. 2025. Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games. Institute of Science and Technology Austria.' mla: 'Saona Urmeneta, Raimundo J. Robustness of Solutions in Game Theory: Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20234.' short: 'R.J. Saona Urmeneta, Robustness of Solutions in Game Theory: Values and Strategies in Partially Observable, Perturbed, Stochastic, and Infinite Games, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-08-27T14:00:13Z date_published: 2025-08-27T00:00:00Z date_updated: 2026-10-02T11:30:08Z day: '27' ddc: - '519' degree_awarded: PhD department: - _id: GradSch - _id: KrCh doi: 10.15479/AT-ISTA-20234 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 394a651f7de7085e509ef856ffe7bd97 content_type: application/pdf creator: rsaonaur date_created: 2025-08-28T14:47:07Z date_updated: 2025-08-28T14:47:07Z file_id: '20240' file_name: 2025_Saona_Raimundo_Thesis.pdf file_size: 1503623 relation: main_file success: 1 - access_level: closed checksum: 09fb2633e66aac80433d373f4180c5b4 content_type: application/zip creator: rsaonaur date_created: 2025-08-28T14:47:12Z date_updated: 2025-08-28T14:47:12Z file_id: '20241' file_name: 2025_Saona_Raimundo_Thesis.zip file_size: 622747 relation: source_file file_date_updated: 2025-08-28T14:47:12Z fulldoi: https://doi.org/10.15479/AT-ISTA-20234 has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '125' project: - _id: 25863FF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11407 name: Game Theory - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 4029cfc7-b034-11f1-9e55-88ab2ff3b6ee grant_number: COE12 name: Bilateral Artificial Intelligence (Chatterjee) publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '9311' relation: part_of_dissertation status: public - id: '19508' relation: part_of_dissertation status: public - id: '17037' relation: part_of_dissertation status: public - id: '18266' relation: part_of_dissertation status: public status: public supervisor: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X title: 'Robustness of solutions in game theory: Values and strategies in partially observable, perturbed, stochastic, and infinite games' type: dissertation user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_type: closed access _id: '17037' abstract: - lang: eng text: Zero-sum stochastic games are parameterized by payoffs, transitions, and possibly a discount rate. In this article, we study how the main solution concepts, the discounted and undiscounted values, vary when these parameters are perturbed. We focus on the marginal values, introduced by Mills in 1956 in the context of matrix games—that is, the directional derivatives of the value along any fixed perturbation. We provide a formula for the marginal values of a discounted stochastic game. Further, under mild assumptions on the perturbation, we provide a formula for their limit as the discount rate vanishes and for the marginal values of an undiscounted stochastic game. We also show, via an example, that the two latter differ in general. acknowledgement: This work was supported by Fondation CFM pour la Recherche; the European Research Council [Grant ERC-CoG-863818 (ForM-SMArt)]; and Agence Nationale de la Recherche [Grant ANR-21-CE40-0020]. article_processing_charge: No article_type: original author: - first_name: Luc full_name: Attia, Luc last_name: Attia - first_name: Miquel full_name: Oliu-Barton, Miquel last_name: Oliu-Barton - first_name: Raimundo J full_name: Saona Urmeneta, Raimundo J id: BD1DF4C4-D767-11E9-B658-BC13E6697425 last_name: Saona Urmeneta orcid: 0000-0001-5103-038X citation: ama: Attia L, Oliu-Barton M, Saona Urmeneta RJ. Marginal values of a stochastic game. Mathematics of Operations Research. 2025;50(1):482-505. doi:10.1287/moor.2023.0297 apa: Attia, L., Oliu-Barton, M., & Saona Urmeneta, R. J. (2025). Marginal values of a stochastic game. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2023.0297 chicago: Attia, Luc, Miquel Oliu-Barton, and Raimundo J Saona Urmeneta. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research. Institute for Operations Research and the Management Sciences, 2025. https://doi.org/10.1287/moor.2023.0297. ieee: L. Attia, M. Oliu-Barton, and R. J. Saona Urmeneta, “Marginal values of a stochastic game,” Mathematics of Operations Research, vol. 50, no. 1. Institute for Operations Research and the Management Sciences, pp. 482–505, 2025. ista: Attia L, Oliu-Barton M, Saona Urmeneta RJ. 2025. Marginal values of a stochastic game. Mathematics of Operations Research. 50(1), 482–505. mla: Attia, Luc, et al. “Marginal Values of a Stochastic Game.” Mathematics of Operations Research, vol. 50, no. 1, Institute for Operations Research and the Management Sciences, 2025, pp. 482–505, doi:10.1287/moor.2023.0297. short: L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research 50 (2025) 482–505. das_tickbox: '0' date_created: 2024-05-22T11:41:14Z date_published: 2025-02-01T00:00:00Z date_updated: 2026-10-02T11:29:44Z day: '01' department: - _id: GradSch - _id: KrCh doi: 10.1287/moor.2023.0297 ec_funded: 1 external_id: isi: - '001184648000001' fulldoi: https://doi.org/10.1287/moor.2023.0297 intvolume: ' 50' isi: 1 issue: '1' language: - iso: eng month: '02' oa_version: None page: 482-505 project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: Mathematics of Operations Research publication_identifier: eissn: - 1526-5471 issn: - 0364-765X publication_status: published publisher: Institute for Operations Research and the Management Sciences quality_controlled: '1' related_material: record: - id: '20234' relation: dissertation_contains status: public researchdata_availability: unclear scopus_import: '1' status: public supplementarymaterial: unclear title: Marginal values of a stochastic game type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 50 year: '2025' ... --- OA_place: publisher _id: '19540' abstract: - lang: eng text: "This thesis deals with several different models for complex quantum mechanical systems and is structured in three main parts. \r\n\t\r\nIn Part I, we study mean field random matrices as models for quantum Hamiltonians. Our focus lies on proving concentration estimates for resolvents of random matrices, so-called local laws, mostly in the setting of multiple resolvents. These estimates have profound consequences for eigenvector overlaps and thermalization problems. More concretely, we obtain, e.g., the optimal eigenstate thermalization hypothesis (ETH) uniformly in the spectrum for Wigner matrices, an optimal lower bound on non-Hermitian eigenvector overlaps, and prethermalization for deformed Wigner matrices.\tIn order to prove our novel multi-resolvent local laws, we develop and devise two main methods, the static Psi-method and the dynamical Zigzag strategy. \r\n\t\r\nIn Part II, we study Bardeen-Cooper-Schrieffer (BCS) theory, the standard mean field microscopic theory of superconductivity. We focus on asymptotic formulas for the characteristic critical temperature and energy gap of a superconductor and prove universality of their ratio in various physical regimes. Additionally, we investigate multi-band superconductors and show that inter-band coupling effects can only enhance the critical temperature. \r\n\t\r\nIn Part III, we study quantum lattice systems. On the one hand, we show a strong version of the local-perturbations-perturb-locally (LPPL) principle for the ground state of weakly interacting quantum spin systems with a uniform on-site gap. On the other hand, we introduce a notion of a local gap and rigorously justify response theory and the Kubo formula under the weakened assumption of a local gap. \r\n\t\r\nAdditionally, we discuss two classes of problems which do not fit into the three main parts of the thesis. These are deformational rigidity of Liouville metrics on the torus and relativistic toy models of particle creation via interior-boundary-conditions (IBCs). " alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Sven Joscha full_name: Henheik, Sven Joscha id: 31d731d7-d235-11ea-ad11-b50331c8d7fb last_name: Henheik orcid: 0000-0003-1106-327X citation: ama: 'Henheik SJ. Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. 2025. doi:10.15479/AT-ISTA-19540' apa: 'Henheik, S. J. (2025). Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-19540' chicago: 'Henheik, Sven Joscha. “Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-19540.' ieee: 'S. J. Henheik, “Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems,” Institute of Science and Technology Austria, 2025.' ista: 'Henheik SJ. 2025. Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice systems. Institute of Science and Technology Austria.' mla: 'Henheik, Sven Joscha. Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-19540.' short: 'S.J. Henheik, Modeling Complex Quantum Systems: Random Matrices, BCS Theory, and Quantum Lattice Systems, Institute of Science and Technology Austria, 2025.' corr_author: '1' date_created: 2025-04-10T21:21:18Z date_published: 2025-04-10T00:00:00Z date_updated: 2026-10-02T11:31:51Z day: '10' ddc: - '519' degree_awarded: PhD department: - _id: GradSch - _id: LaEr doi: 10.15479/AT-ISTA-19540 doi_confirm: '1' ec_funded: 1 file: - access_level: closed checksum: b8477ae5578436c72c3bb4193ad34ac5 content_type: application/zip creator: shenheik date_created: 2025-04-10T21:14:18Z date_updated: 2025-04-10T21:14:18Z file_id: '19542' file_name: Henheik-Thesis_source_final.zip file_size: 4107587 relation: source_file - access_level: open_access checksum: e9fc0ea12ec46c9f71110c33217c4140 content_type: application/pdf creator: shenheik date_created: 2025-04-11T13:16:05Z date_updated: 2025-04-11T13:16:05Z file_id: '19553' file_name: Henheik-Thesis-pdfa_FINAL.pdf file_size: 9999492 relation: main_file success: 1 - access_level: closed checksum: f94580f86c785e7108eb116cd189e225 content_type: application/pdf creator: cchlebak date_created: 2025-04-23T14:10:27Z date_updated: 2025-04-23T14:10:27Z file_id: '19615' file_name: Henheik-Thesis-Volume1_print.pdf file_size: 13276442 relation: other - access_level: closed checksum: b927ead3c78020ffb32918911deedb74 content_type: application/pdf creator: cchlebak date_created: 2025-04-23T14:11:05Z date_updated: 2025-04-23T14:11:05Z file_id: '19616' file_name: Henheik-Thesis-Volume2_print.pdf file_size: 7628767 relation: other file_date_updated: 2025-04-23T14:11:05Z fulldoi: https://doi.org/10.15479/AT-ISTA-19540 has_accepted_license: '1' language: - iso: eng month: '04' oa: 1 oa_version: Published Version page: '720' project: - _id: 62796744-2b32-11ec-9570-940b20777f1d call_identifier: H2020 grant_number: '101020331' name: Random matrices beyond Wigner-Dyson-Mehta publication_identifier: isbn: - 978-3-99078-057-2 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '14343' relation: part_of_dissertation status: public - id: '13317' relation: part_of_dissertation status: public - id: '11732' relation: part_of_dissertation status: public - id: '12184' relation: part_of_dissertation status: public - id: '14421' relation: part_of_dissertation status: public - id: '10623' relation: part_of_dissertation status: public - id: '18112' relation: part_of_dissertation status: public - id: '19001' relation: part_of_dissertation status: public - id: '10642' relation: part_of_dissertation status: public - id: '19545' relation: part_of_dissertation status: public - id: '19546' relation: part_of_dissertation status: public - id: '19550' relation: part_of_dissertation status: public - id: '19551' relation: part_of_dissertation status: public - id: '19552' relation: part_of_dissertation status: public - id: '17049' relation: part_of_dissertation status: public - id: '18764' relation: part_of_dissertation status: public - id: '19547' relation: part_of_dissertation status: public - id: '19548' relation: part_of_dissertation status: public - id: '18656' relation: part_of_dissertation status: public - id: '14542' relation: part_of_dissertation status: public status: public supervisor: - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 title: 'Modeling complex quantum systems: Random matrices, BCS theory, and quantum lattice 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: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher _id: '19048' abstract: - lang: eng text: 'Rotations are found in physics problems at all scales: from spatial motion of celestial bodies, to transitions between quantum states of atoms and molecules. Mathematically, they represent a fundamental class of transformations and symmetries. Unlike spatial displacements, rotational transformations in three-dimensional space are non-commutative: the result of applying a sequence of rotations depends on the order of these operations. This feature makes the emergent physics that involves rotations rather intricate, but instrumental for studies of highly-interconnected many-body systems. In the presence of an environment, rotational properties of an object change, due to the interaction with particles of the environment. Owing to the complexity of this interaction, it can be engineered to exhibit certain properties of interest. In this Thesis, we examine several scenarios of how the rotational behavior of an impurity can be modified by interactions with its environment.' acknowledged_ssus: - _id: CampIT - _id: E-Lib - _id: SSU acknowledgement: "I am grateful to the European Research Council (ERC) [10.3030/801770] and Austrian\r\nScience Fund (FWF) [10.55776/F1004] for funding my research and to the Physical\r\nReview journals for publishing it. I also want to thank the VCQ (previously CoQuS) and\r\nIQOQI for organizing wonderful networking events for the physics community in Vienna\r\nand Innsbruck, respectively. Moreover, I thank Austrian Science Fund (FWF) for the\r\ncontinuous support for quantum research." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Mikhail full_name: Maslov, Mikhail id: 2E65BB0E-F248-11E8-B48F-1D18A9856A87 last_name: Maslov orcid: 0000-0003-4074-2570 citation: ama: Maslov M. Emergent physics of rotating quantum impurities in many-body environments. 2025. doi:10.15479/at:ista:19048 apa: Maslov, M. (2025). Emergent physics of rotating quantum impurities in many-body environments. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:19048 chicago: Maslov, Mikhail. “Emergent Physics of Rotating Quantum Impurities in Many-Body Environments.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/at:ista:19048. ieee: M. Maslov, “Emergent physics of rotating quantum impurities in many-body environments,” Institute of Science and Technology Austria, 2025. ista: Maslov M. 2025. Emergent physics of rotating quantum impurities in many-body environments. Institute of Science and Technology Austria. mla: Maslov, Mikhail. Emergent Physics of Rotating Quantum Impurities in Many-Body Environments. Institute of Science and Technology Austria, 2025, doi:10.15479/at:ista:19048. short: M. Maslov, Emergent Physics of Rotating Quantum Impurities in Many-Body Environments, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-02-18T01:41:27Z date_published: 2025-02-18T00:00:00Z date_updated: 2026-10-02T11:36:24Z day: '18' ddc: - '539' - '535' - '541' degree_awarded: PhD department: - _id: GradSch - _id: MiLe doi: 10.15479/at:ista:19048 ec_funded: 1 file: - access_level: open_access checksum: 5822a4dd31724c512b37c658af1787ab content_type: application/pdf creator: mmaslov date_created: 2025-02-18T14:25:59Z date_updated: 2025-02-18T14:25:59Z file_id: '19061' file_name: thesis_Maslov.pdf file_size: 7779825 relation: main_file - access_level: open_access checksum: 89bdce4774406d26ceca88a8bbcd6a9a content_type: application/zip creator: mmaslov date_created: 2025-02-18T14:25:59Z date_updated: 2025-02-18T14:25:59Z file_id: '19062' file_name: thesis_Maslov_source.zip file_size: 14453726 relation: source_file file_date_updated: 2025-02-18T14:25:59Z fulldoi: https://doi.org/10.15479/at:ista:19048 has_accepted_license: '1' language: - iso: eng license: https://creativecommons.org/licenses/by-nc-sa/4.0/ month: '02' oa: 1 oa_version: Published Version page: '86' project: - _id: 2688CF98-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '801770' name: 'Angulon: physics and applications of a new quasiparticle' - _id: 7c040762-9f16-11ee-852c-dd79eeee4ab3 grant_number: F100403 name: Coherent Optical Metrology Beyond Electric-Dipole-Allowed Transitions publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10845' relation: part_of_dissertation status: public - id: '7933' relation: part_of_dissertation status: public - id: '18087' relation: part_of_dissertation status: public status: public supervisor: - first_name: Mikhail full_name: Lemeshko, Mikhail id: 37CB05FA-F248-11E8-B48F-1D18A9856A87 last_name: Lemeshko orcid: 0000-0002-6990-7802 title: Emergent physics of rotating quantum impurities in many-body environments tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '17240' abstract: - lang: eng text: We prove an upper bound on the energy density of the dilute spin-\(\frac {1}{2}\) Fermi gas capturing the leading correction to the kinetic energy\(8\pi a\rho _\uparrow\rho _\downarrow\) with an error of size smaller than\(a\rho^{2}(a^ 3\rho)^{1/3-\varepsilon}\) for any\(\varepsilon> 0\), where a denotes the scattering length of the interaction. The result is valid for a large class of interactions including interactions with a hard core. A central ingredient in the proof is a rigorous version of a fermionic cluster expansion adapted from the formal expansion of Gaudin et al. (Nucl Phys A 176(2):237–260, 1971. https://doi.org/10.1016/0375-9474(71)90267-3). acknowledgement: "Open access funding provided by Institute of Science and Technology (IST Austria).\r\nWe thank Alessandro Giuliani and Robert Seiringer for helpful discussions and Robert Seiringer for his comments on the manuscript. Financial support by the Austrian Science Fund (FWF) through Grant https://doi.org/10.55776/I6427 (as part of the SFB/TRR 352) is gratefully acknowledged." article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Asbjørn Bækgaard full_name: Lauritsen, Asbjørn Bækgaard id: e1a2682f-dc8d-11ea-abe3-81da9ac728f1 last_name: Lauritsen orcid: 0000-0003-4476-2288 citation: ama: Lauritsen AB. Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion. Annales Henri Poincare. 2025;26:203-243. doi:10.1007/s00023-024-01450-1 apa: Lauritsen, A. B. (2025). Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion. Annales Henri Poincare. Springer Nature. https://doi.org/10.1007/s00023-024-01450-1 chicago: Lauritsen, Asbjørn Bækgaard. “Almost Optimal Upper Bound for the Ground State Energy of a Dilute Fermi Gas via Cluster Expansion.” Annales Henri Poincare. Springer Nature, 2025. https://doi.org/10.1007/s00023-024-01450-1. ieee: A. B. Lauritsen, “Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion,” Annales Henri Poincare, vol. 26. Springer Nature, pp. 203–243, 2025. ista: Lauritsen AB. 2025. Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion. Annales Henri Poincare. 26, 203–243. mla: Lauritsen, Asbjørn Bækgaard. “Almost Optimal Upper Bound for the Ground State Energy of a Dilute Fermi Gas via Cluster Expansion.” Annales Henri Poincare, vol. 26, Springer Nature, 2025, pp. 203–43, doi:10.1007/s00023-024-01450-1. short: A.B. Lauritsen, Annales Henri Poincare 26 (2025) 203–243. corr_author: '1' das_tickbox: '0' date_created: 2024-07-14T22:01:12Z date_published: 2025-01-01T00:00:00Z date_updated: 2026-10-02T11:43:00Z day: '01' ddc: - '510' department: - _id: RoSe doi: 10.1007/s00023-024-01450-1 external_id: isi: - '001261197700002' pmid: - '39926012' file: - access_level: open_access checksum: 01b6572f55f721e97498522c85072ed2 content_type: application/pdf creator: dernst date_created: 2025-08-05T11:42:27Z date_updated: 2025-08-05T11:42:27Z file_id: '20125' file_name: 2025_AnnalesHenriPoincare_Lauritsen.pdf file_size: 797241 relation: main_file success: 1 file_date_updated: 2025-08-05T11:42:27Z fulldoi: https://doi.org/10.1007/s00023-024-01450-1 has_accepted_license: '1' intvolume: ' 26' isi: 1 language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 203-243 pmid: 1 project: - _id: bda63fe5-d553-11ed-ba76-a16e3d2f256b grant_number: I06427 name: Mathematical Challenges in BCS Theory of Superconductivity publication: Annales Henri Poincare publication_identifier: issn: - 1424-0637 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '18135' relation: dissertation_contains status: public researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Almost optimal upper bound for the ground state energy of a dilute Fermi gas via cluster expansion 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 26 year: '2025' ... --- OA_place: publisher _id: '20147' abstract: - lang: eng text: "Quantitative properties offer a framework for specifying and verifying system behaviors beyond the traditional boolean perspective. For example, while a boolean property may specify whether a server eventually grants every request it receives, a quantitative one may map each server execution to its average response time. This quantitative view is relatively well-studied in the context of static verification. However, although such properties often appear in practice as performance or robustness measures in a dynamic verification context, a general theoretical framework for their analysis and classification from a monitoring perspective is still missing.\r\n\r\nIn this thesis, we aim to develop such a framework that takes resource-precision tradeoffs of monitors as a central consideration. We present the first theory of monitorability for quantitative properties where monitors can be naturally approximate and compared regarding their precision and resource use. In particular, we show that additional monitor resources such as registers or states lead to strictly better approximations for some properties. To enable such analyses in a machine-model independent way, we describe an abstract notion of monitors that can be instantiated with concrete models of monitors. Within this framework, we study how abstract monitors behave and identify classes of properties amenable to approximate monitoring with resource-precision considerations. We then extend the boolean safety-liveness dichotomy and safety-progress hierarchy to the quantitative setting with a monitoring perspective. In particular, we prove that every property is the pointwise minimum of a safety property and a liveness property, and properties that are both safe and co-safe can be approximately monitored arbitrarily precisely using only finitely many states. We also study the classes of quantitative properties definable by finite-state quantitative automata and provide algorithms for deciding their safety or liveness as well as their safety-liveness decompositions. Finally, we present the first general-purpose tool for automating the analysis, verification, and monitoring of quantitative automata.\r\n\r\n\r\n" acknowledgement: "This work was supported in part by the Austrian Science Fund (FWF)\r\nunder grant Z211-N23 (Wittgenstein Award) and the ERC-2020-AdG 101020093.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Naci E full_name: Sarac, Naci E id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 last_name: Sarac citation: ama: Sarac NE. A monitoring-oriented theory and classification of quantitative specifications. 2025. doi:10.15479/AT-ISTA-20147 apa: Sarac, N. E. (2025). A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT-ISTA-20147 chicago: Sarac, Naci E. “A Monitoring-Oriented Theory and Classification of Quantitative Specifications.” Institute of Science and Technology Austria, 2025. https://doi.org/10.15479/AT-ISTA-20147. ieee: N. E. Sarac, “A monitoring-oriented theory and classification of quantitative specifications,” Institute of Science and Technology Austria, 2025. ista: Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria. mla: Sarac, Naci E. A Monitoring-Oriented Theory and Classification of Quantitative Specifications. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20147. short: N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025. corr_author: '1' date_created: 2025-08-07T15:57:57Z date_published: 2025-08-07T00:00:00Z date_updated: 2026-10-02T11:44:51Z day: '07' ddc: - '000' degree_awarded: PhD department: - _id: GradSch - _id: ToHe doi: 10.15479/AT-ISTA-20147 doi_confirm: '1' ec_funded: 1 file: - access_level: closed checksum: 0f3015f1db36576a23d8d669afb60b41 content_type: application/x-zip-compressed creator: esarac date_created: 2025-08-21T09:40:28Z date_updated: 2025-09-10T08:19:51Z file_id: '20200' file_name: 2025_Sarac_NaciEge_Thesis.zip file_size: 8884801 relation: source_file - access_level: open_access checksum: 332ed2fe61f580641664ec3f05d30f14 content_type: application/pdf creator: esarac date_created: 2025-08-21T09:40:34Z date_updated: 2025-08-21T09:40:34Z file_id: '20201' file_name: 2025_Sarac_NaciEge_Thesis.pdf file_size: 2955584 relation: main_file success: 1 file_date_updated: 2025-09-10T08:19:51Z fulldoi: https://doi.org/10.15479/AT-ISTA-20147 has_accepted_license: '1' language: - iso: eng month: '08' oa: 1 oa_version: Published Version page: '149' project: - _id: 25F42A32-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z211 name: Formal methods for the design and analysis of complex systems - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria publisher_comment: "In reference to IEEE copyrighted material which is used with permission in this thesis, the IEEE does not\r\nendorse any of ISTA's products or services. Internal or personal use of this\r\nmaterial is permitted. If interested in reprinting/republishing IEEE copyrighted material for advertising or promotional\r\npurposes or for creating new collective works for resale or redistribution, please go to\r\nhttp://www.ieee.org/publications_standards/publications/rights/rights_link.html to learn how to obtain a License from\r\nRightsLink. If applicable, University Microfilms and/or ProQuest Library, or the Archives of Canada may supply single copies of the dissertation." related_material: record: - id: '11775' relation: part_of_dissertation status: public - id: '13140' relation: part_of_dissertation status: deleted - id: '19741' relation: part_of_dissertation status: public - id: '19643' relation: part_of_dissertation status: deleted - id: '13221' relation: part_of_dissertation status: public - id: '9356' relation: part_of_dissertation status: public - id: '20342' relation: part_of_dissertation status: public - id: '17634' relation: part_of_dissertation status: public status: public supervisor: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 title: A monitoring-oriented theory and classification of quantitative specifications 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: dissertation user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher OA_type: hybrid _id: '10045' abstract: - lang: eng text: "Given a fixed finite metric space (V,μ), the {\\em minimum 0-extension problem}, denoted as 0-Ext[μ], is equivalent to the following optimization problem: minimize function of the form minx∈Vn∑ifi(xi)+∑ijcijμ(xi,xj) where cij,cvi are given nonnegative costs and fi:V→R are functions given by fi(xi)=∑v∈Vcviμ(xi,v). The computational complexity of 0-Ext[μ] has been recently established by Karzanov and by Hirai: if metric μ is {\\em orientable modular} then 0-Ext[μ] can be solved in polynomial time, otherwise 0-Ext[μ] is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as L♮-convex functions. We consider a more general version of the problem in which unary functions fi(xi) can additionally have terms of the form cuv;iμ(xi,{u,v}) for {u,v}∈F, where set F⊆(V2) is fixed. We extend the complexity classification above by providing an explicit condition on (μ,F) for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving 0-Ext on orientable modular graphs.\r\n" acknowledgement: We thank the anonymous reviewers for their careful reading of our manuscript and their many insightful comments and suggestions. Open access funding provided by Institute of Science and Technology (IST Austria). article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Martin full_name: Dvorak, Martin id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425 last_name: Dvorak orcid: 0000-0001-5293-214X - first_name: Vladimir full_name: Kolmogorov, Vladimir id: 3D50B0BA-F248-11E8-B48F-1D18A9856A87 last_name: Kolmogorov citation: ama: Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2025;209:279-322. doi:10.1007/s10107-024-02064-5 apa: Dvorak, M., & Kolmogorov, V. (2025). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02064-5 chicago: Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02064-5. ieee: M. Dvorak and V. Kolmogorov, “Generalized minimum 0-extension problem and discrete convexity,” Mathematical Programming, vol. 209. Springer Nature, pp. 279–322, 2025. ista: Dvorak M, Kolmogorov V. 2025. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 209, 279–322. mla: Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming, vol. 209, Springer Nature, 2025, pp. 279–322, doi:10.1007/s10107-024-02064-5. short: M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322. corr_author: '1' das_tickbox: '0' date_created: 2021-09-27T10:48:23Z date_published: 2025-01-01T00:00:00Z date_updated: 2026-10-02T11:45:16Z day: '01' ddc: - '004' department: - _id: GradSch - _id: VlKo doi: 10.1007/s10107-024-02064-5 external_id: arxiv: - '2109.10203' isi: - '001176563300001' file: - access_level: open_access checksum: 25d9bd490719b45eca84f4d93a06c69f content_type: application/pdf creator: dernst date_created: 2025-04-16T09:36:08Z date_updated: 2025-04-16T09:36:08Z file_id: '19578' file_name: 2025_MathProgramming_Dvorak.pdf file_size: 839510 relation: main_file success: 1 file_date_updated: 2025-04-16T09:36:08Z fulldoi: https://doi.org/10.1007/s10107-024-02064-5 has_accepted_license: '1' intvolume: ' 209' isi: 1 keyword: - minimum 0-extension problem - metric labeling problem - discrete metric spaces - metric extensions - computational complexity - valued constraint satisfaction problems - discrete convex analysis - L-convex functions language: - iso: eng month: '01' oa: 1 oa_version: Published Version page: 279-322 publication: Mathematical Programming publication_identifier: eissn: - 1436-4646 issn: - 0025-5610 publication_status: published publisher: Springer Nature quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Generalized minimum 0-extension problem and discrete convexity 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: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 209 year: '2025' ...