[{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":6,"file_date_updated":"2026-07-28T07:06:26Z","year":"2026","publication_status":"published","oa":1,"has_accepted_license":"1","OA_type":"gold","intvolume":"         6","corr_author":"1","issue":"5","publication":"Cell Genomics","supplementarymaterial":"yes","author":[{"first_name":"Al","id":"0b77531d-dbcd-11ea-9d1d-a8eee0bf3830","full_name":"Depope, Al","last_name":"Depope"},{"id":"b995e25b-8c4b-11ed-a6d8-f71b7bcd6122","first_name":"Jakub","full_name":"Bajzik, Jakub","last_name":"Bajzik"},{"first_name":"Marco","orcid":"0000-0002-3242-7020","id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco","last_name":"Mondelli"},{"last_name":"Robinson","full_name":"Robinson, Matthew Richard","id":"E5D42276-F5DA-11E9-8E24-6303E6697425","orcid":"0000-0001-8982-8813","first_name":"Matthew Richard"}],"department":[{"_id":"MaMo"},{"_id":"MaRo"}],"project":[{"name":"Prix Lopez-Loretta 2019 - Marco Mondelli","_id":"059876FA-7A3F-11EA-A408-12923DDC885E"},{"grant_number":"101161364","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits"},{"grant_number":"PCEGP3_181181","_id":"9B8D11D6-BA93-11EA-9121-9846C619BF3A","name":"Improving estimation and prediction of common complex disease risk"}],"article_number":"101162","publisher":"Elsevier","das_tickbox":"1","language":[{"iso":"eng"}],"_id":"21488","article_processing_charge":"Yes","scopus_import":"1","related_material":{"link":[{"relation":"press_release","description":"News on ISTA website","url":"https://ista.ac.at/en/news/big-data-and-human-height/"}],"record":[{"status":"public","relation":"dissertation_contains","id":"22258"}]},"date_created":"2026-03-23T15:10:03Z","acknowledgement":"We thank Malgorzata Borczyk for creating the gene burden scores. We thank Robin Beaumont, Amedeo Roberto Esposito, Gareth Hawkes, Philip Schniter, Matthew Stephens, Pragya Sur, Peter Visscher, Michael Weedon, and Harry Wright for providing valuable suggestions and comments on earlier versions of the work. This project was funded by a Lopez-Loreta Prize to M.M., an SNSF Eccellenza Grant to M.R.R. (PCEGP3-181181), an ERC Starting Grant to M.M. (INF2, project number 101161364), and core funding from ISTA. High-performance computing was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp). We would like to acknowledge the participants and investigators of the UK Biobank study. We gratefully acknowledge the All of Us participants for their contributions, without whom this research would not have been possible. We also thank the National Institutes of Health All of Us Research Program for making available the participant data (and/or samples and/or cohort) examined in this study.","date_updated":"2026-07-28T07:08:15Z","ddc":["000","570"],"tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"article_type":"original","external_id":{"pmid":["41713425"]},"title":"Joint modeling of whole-genome sequencing data for human height via approximate message passing","OA_place":"publisher","quality_controlled":"1","status":"public","month":"05","citation":{"chicago":"Depope, Al, Jakub Bajzik, Marco Mondelli, and Matthew Richard Robinson. “Joint Modeling of Whole-Genome Sequencing Data for Human Height via Approximate Message Passing.” <i>Cell Genomics</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">https://doi.org/10.1016/j.xgen.2026.101162</a>.","apa":"Depope, A., Bajzik, J., Mondelli, M., &#38; Robinson, M. R. (2026). Joint modeling of whole-genome sequencing data for human height via approximate message passing. <i>Cell Genomics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">https://doi.org/10.1016/j.xgen.2026.101162</a>","short":"A. Depope, J. Bajzik, M. Mondelli, M.R. Robinson, Cell Genomics 6 (2026).","ama":"Depope A, Bajzik J, Mondelli M, Robinson MR. Joint modeling of whole-genome sequencing data for human height via approximate message passing. <i>Cell Genomics</i>. 2026;6(5). doi:<a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">10.1016/j.xgen.2026.101162</a>","ista":"Depope A, Bajzik J, Mondelli M, Robinson MR. 2026. Joint modeling of whole-genome sequencing data for human height via approximate message passing. Cell Genomics. 6(5), 101162.","mla":"Depope, Al, et al. “Joint Modeling of Whole-Genome Sequencing Data for Human Height via Approximate Message Passing.” <i>Cell Genomics</i>, vol. 6, no. 5, 101162, Elsevier, 2026, doi:<a href=\"https://doi.org/10.1016/j.xgen.2026.101162\">10.1016/j.xgen.2026.101162</a>.","ieee":"A. Depope, J. Bajzik, M. Mondelli, and M. R. Robinson, “Joint modeling of whole-genome sequencing data for human height via approximate message passing,” <i>Cell Genomics</i>, vol. 6, no. 5. Elsevier, 2026."},"publication_identifier":{"eissn":["2666-979X"]},"type":"journal_article","doi":"10.1016/j.xgen.2026.101162","abstract":[{"lang":"eng","text":"Human height is a model for the genetic analysis of complex traits, and recent studies suggest the presence of thousands of common genetic variant associations and hundreds of low-frequency/rare variants. Here, we develop a new algorithmic paradigm based on approximate message passing (genomic vector approximate message passing [gVAMP]) for identifying DNA sequence variants associated with complex traits and common diseases in large-scale whole-genome sequencing (WGS) data. We show that gVAMP accurately localizes associations to variants with the correct frequency and position in the DNA, outperforming existing fine-mapping methods in selecting the appropriate genetic variants within WGS data. We then apply gVAMP to jointly model the relationship of tens of millions of WGS variants with human height in hundreds of thousands of UK Biobank individuals. We identify 59 rare variants and gene burden scores alongside many hundreds of DNA regions containing common variant associations and show that understanding the genetic basis of complex traits will require the joint analysis of hundreds of millions of variables measured on millions of people. The polygenic risk scores obtained from gVAMP have high accuracy (including a prediction accuracy of ∼46% for human height) and outperform current methods for downstream tasks such as mixed linear model association testing across 13 UK Biobank traits. In conclusion, gVAMP offers a scalable foundation for a wider range of analyses in WGS data."}],"oa_version":"Published Version","DOAJ_listed":"1","day":"13","researchdata_availability":"yes","dataavailabilitystatement":"This project uses the UK Biobank data under project number 35520. UK Biobank genotypic and phenotypic data are available through a formal request at http://www.ukbiobank.ac.uk. It also uses genotypic and phenotypic data from the All of Us study, which are also available through a formal request at https://www.researchallofus.org/data-tools/data-access/. All summary statistic estimates are released publicly on Dryad: https://doi.org/10.5061/dryad.cz8w9gjjc.\r\n•\r\nThe gVAMP code developed in this work is open source and has been deposited on GitHub, where it is publicly available at https://github.com/medical-genomics-group/gVAMP, and the code used to generate the data in the manuscript are available from Zenodo https://doi.org/10.5281/zenodo.17935521. The URLs of other software used are listed in the key resources table.","pmid":1,"date_published":"2026-05-13T00:00:00Z","file":[{"file_size":3736705,"date_created":"2026-07-28T07:06:26Z","content_type":"application/pdf","file_id":"22596","relation":"main_file","access_level":"open_access","creator":"dernst","checksum":"6b59686f8d9733add4f23d23f3dd9df0","success":1,"file_name":"2026_CellGenomics_Depope.pdf","date_updated":"2026-07-28T07:06:26Z"}]},{"type":"journal_article","doi":"10.1016/j.cub.2026.06.016","month":"07","citation":{"chicago":"Ewe, Chee Kiang, Hanna Achache, Hanna Schön, Leonid Kontorovich, Guy Teichman, Shir Weiss, Anna Mogilevskaya, et al. “Neuronal RNAi and Oxygen-Sensing Circuit Shape Germline Resilience to Heat Stress.” <i>Current Biology</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">https://doi.org/10.1016/j.cub.2026.06.016</a>.","apa":"Ewe, C. K., Achache, H., Schön, H., Kontorovich, L., Teichman, G., Weiss, S., … Rechavi, O. (2026). Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress. <i>Current Biology</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">https://doi.org/10.1016/j.cub.2026.06.016</a>","ama":"Ewe CK, Achache H, Schön H, et al. Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress. <i>Current Biology</i>. 2026;36(14):3566-3579.e5. doi:<a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">10.1016/j.cub.2026.06.016</a>","short":"C.K. Ewe, H. Achache, H. Schön, L. Kontorovich, G. Teichman, S. Weiss, A. Mogilevskaya, M. Valenski, S. Anava, R. Bardapurkar, H. Gingold, R. Posner, O. Antonova, M. de Bono, Y.B. Tzur, O. Rechavi, Current Biology 36 (2026) 3566–3579.e5.","ista":"Ewe CK, Achache H, Schön H, Kontorovich L, Teichman G, Weiss S, Mogilevskaya A, Valenski M, Anava S, Bardapurkar R, Gingold H, Posner R, Antonova O, de Bono M, Tzur YB, Rechavi O. 2026. Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress. Current Biology. 36(14), 3566–3579.e5.","mla":"Ewe, Chee Kiang, et al. “Neuronal RNAi and Oxygen-Sensing Circuit Shape Germline Resilience to Heat Stress.” <i>Current Biology</i>, vol. 36, no. 14, Elsevier, 2026, p. 3566–3579.e5, doi:<a href=\"https://doi.org/10.1016/j.cub.2026.06.016\">10.1016/j.cub.2026.06.016</a>.","ieee":"C. K. Ewe <i>et al.</i>, “Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress,” <i>Current Biology</i>, vol. 36, no. 14. Elsevier, p. 3566–3579.e5, 2026."},"publication_identifier":{"eissn":["1879-0445"],"issn":["0960-9822"]},"dataavailabilitystatement":"* All NGS data are available through GEO under accession number GSE331410.\r\n* This paper does not report original code.\r\n* Any additional information required to reanalyze the data reported in this paper is available from the lead contact upon request.","date_published":"2026-07-20T00:00:00Z","pmid":1,"researchdata_availability":"upon request","file":[{"file_size":6795092,"date_created":"2026-07-28T07:31:44Z","content_type":"application/pdf","file_id":"22598","access_level":"open_access","relation":"main_file","checksum":"5ec4472d81fd44de03ccb92b1eb690a6","creator":"dernst","success":1,"file_name":"2026_CurrentBiology_KiangEwe.pdf","date_updated":"2026-07-28T07:31:44Z"}],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Thermal pollution, whether local or driven by global warming, threatens biodiversity in part through its detrimental effects on reproduction. Non-coding small RNAs (sRNAs) are crucial for maintaining germline developmental robustness under heat stress. Remarkably, we uncovered that neuronal sRNAs regulate germ cells’ thermotolerance, affecting both spermatogenic and oogenic germlines in a cell-non-autonomous manner. Furthermore, we demonstrate that, in RNAi mutants, an oxygen-sensing neural circuit, modulated by neuropeptide signaling, antagonizes germline maintenance, likely reflecting the nematode’s innate association of reduced oxygen levels with food availability and reproductive permissive environments. Finally, we provide evidence that laboratory-domesticated alleles of oxygen-response genes encoding neuropeptide receptor NPR-1 and hexacoordinated globin GLB-5 compromise germline thermotolerance. Hence, our findings raise the possibility that sensory perception, independent of direct environmental change, modulates germline integrity, highlighting a novel mechanism by which neural circuits integrate environmental information to safeguard reproductive fitness in fluctuating environments."}],"day":"20","ddc":["570"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"article_type":"original","acknowledgement":"We thank Itai Reiger for their assistance with experiments. We thank Cori Bargmann (Rockefeller University) for providing introgressed strains carrying HW alleles of npr-1 and glb-5. Some graphics were created with Biorender.com. We are grateful to WormBase for providing valuable data and resources. Some strains were provided by the Caenorhabditis Genetics Center (CGC), which is funded by NIH Office of Research Infrastructure Programs (P40 OD010440). O.R. is grateful for the support of the Morris Kahn Foundation. C.K.E. was supported by an EMBO fellowship ALTF 6-2022. This work is funded by Eric and Wendy Schmidt Fund for Strategic Innovation Polymath Award 0140001000 (O.R.); European Research Council grant 335624 (O.R.); Israel Science Foundation 979/21 (Y.B.T.); and the US-Israel Binational Science Foundation 2023036 (Y.B.T.).","date_updated":"2026-07-28T07:32:06Z","OA_place":"publisher","quality_controlled":"1","status":"public","page":"3566-3579.e5","external_id":{"pmid":["42409014"]},"title":"Neuronal RNAi and oxygen-sensing circuit shape germline resilience to heat stress","department":[{"_id":"MaDe"}],"author":[{"first_name":"Chee Kiang","last_name":"Ewe","full_name":"Ewe, Chee Kiang"},{"first_name":"Hanna","full_name":"Achache, Hanna","last_name":"Achache"},{"id":"C8E17EDC-D7AA-11E9-B7B7-45ECE5697425","first_name":"Hanna","full_name":"Schön, Hanna","last_name":"Schön"},{"full_name":"Kontorovich, Leonid","last_name":"Kontorovich","first_name":"Leonid"},{"first_name":"Guy","full_name":"Teichman, Guy","last_name":"Teichman"},{"full_name":"Weiss, Shir","last_name":"Weiss","first_name":"Shir"},{"last_name":"Mogilevskaya","full_name":"Mogilevskaya, Anna","first_name":"Anna"},{"last_name":"Valenski","full_name":"Valenski, Myriam","first_name":"Myriam"},{"full_name":"Anava, Sarit","last_name":"Anava","first_name":"Sarit"},{"full_name":"Bardapurkar, Rutwik","last_name":"Bardapurkar","first_name":"Rutwik"},{"first_name":"Hila","last_name":"Gingold","full_name":"Gingold, Hila"},{"first_name":"Rachel","last_name":"Posner","full_name":"Posner, Rachel"},{"full_name":"Antonova, Olga","last_name":"Antonova","first_name":"Olga"},{"full_name":"De Bono, Mario","last_name":"De Bono","orcid":"0000-0001-8347-0443","first_name":"Mario","id":"4E3FF80E-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Yonatan B.","last_name":"Tzur","full_name":"Tzur, Yonatan B."},{"last_name":"Rechavi","full_name":"Rechavi, Oded","first_name":"Oded"}],"article_processing_charge":"Yes (in subscription journal)","scopus_import":"1","date_created":"2026-07-12T22:02:18Z","publisher":"Elsevier","das_tickbox":"1","language":[{"iso":"eng"}],"_id":"22267","publication_status":"published","oa":1,"has_accepted_license":"1","OA_type":"hybrid","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":36,"file_date_updated":"2026-07-28T07:31:44Z","year":"2026","issue":"14","publication":"Current Biology","supplementarymaterial":"yes","intvolume":"        36"},{"das_tickbox":"1","publisher":"American Chemical Society","language":[{"iso":"eng"}],"_id":"21980","scopus_import":"1","article_processing_charge":"Yes (via OA deal)","date_created":"2026-06-10T07:27:19Z","author":[{"id":"83ed7901-7380-11f0-bf20-a0788d5e654d","first_name":"Artem","full_name":"Gulyaev, Artem","last_name":"Gulyaev"},{"full_name":"Hazarika, Jyotisman","last_name":"Hazarika","first_name":"Jyotisman","orcid":"0009-0007-2542-7878","id":"d87714c4-663d-11f0-bd06-caece19833e5"},{"full_name":"Liu, Zhen-Fei","last_name":"Liu","first_name":"Zhen-Fei"},{"orcid":"0000-0002-6957-6089","first_name":"Latha","id":"9ebb78a5-cc0d-11ee-8322-fae086a32caf","last_name":"Venkataraman","full_name":"Venkataraman, Latha"}],"department":[{"_id":"LaVe"},{"_id":"GradSch"}],"intvolume":"        26","corr_author":"1","issue":"22","publication":"Nano Letters","volume":26,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2026","file_date_updated":"2026-06-16T09:11:35Z","PlanS_conform":"1","publication_status":"published","has_accepted_license":"1","OA_type":"hybrid","oa":1,"abstract":[{"text":"Despite significant progress in the field of molecular electronics over the last two decades, the quantitative prediction of metal-molecule-metal junction conductance remains a challenge. The standard computational framework combines density functional theory (DFT) with nonequilibrium Green’s functions (NEGF) using low-rung exchange-correlation functionals such as PBE, which overestimate the conductances. More advanced correction methods exist but require complex workflows and high computational cost, limiting their accessibility. Here, we introduce a physically motivated approach that approximates results obtained with high-rung functionals. Our method fits the PBE-calculated transmission to a Breit-Wigner form and subsequently refines the fit parameters using molecular orbital energies and metal densities of states computed for the isolated subsystems with high-rung functionals. This approach is applicable to a broad range of molecular junctions yielding conductance values in quantitative agreement with experiments. Our approach is simple, low-cost, and accurate, making it well-suited for routine and large-scale prediction of single-molecule junction conductance.","lang":"eng"}],"oa_version":"Published Version","day":"01","pmid":1,"date_published":"2026-06-01T00:00:00Z","file":[{"checksum":"897551374cac28e0db26dcb0b676b8e7","creator":"dernst","access_level":"open_access","relation":"main_file","date_updated":"2026-06-16T09:11:35Z","file_name":"2026_NanoLetters_Gulyaev.pdf","success":1,"file_size":3362800,"date_created":"2026-06-16T09:11:35Z","file_id":"22013","content_type":"application/pdf"}],"publication_identifier":{"eissn":["1530-6992"],"issn":["1530-6984"]},"citation":{"ista":"Gulyaev A, Hazarika J, Liu Z-F, Venkataraman L. 2026. A computationally efficient and accurate method for predicting conductance of single-molecule junctions. Nano Letters. 26(22), 7429–7434.","short":"A. Gulyaev, J. Hazarika, Z.-F. Liu, L. Venkataraman, Nano Letters 26 (2026) 7429–7434.","ama":"Gulyaev A, Hazarika J, Liu Z-F, Venkataraman L. A computationally efficient and accurate method for predicting conductance of single-molecule junctions. <i>Nano Letters</i>. 2026;26(22):7429–7434. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">10.1021/acs.nanolett.6c01462</a>","apa":"Gulyaev, A., Hazarika, J., Liu, Z.-F., &#38; Venkataraman, L. (2026). A computationally efficient and accurate method for predicting conductance of single-molecule junctions. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">https://doi.org/10.1021/acs.nanolett.6c01462</a>","chicago":"Gulyaev, Artem, Jyotisman Hazarika, Zhen-Fei Liu, and Latha Venkataraman. “A Computationally Efficient and Accurate Method for Predicting Conductance of Single-Molecule Junctions.” <i>Nano Letters</i>. American Chemical Society, 2026. <a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">https://doi.org/10.1021/acs.nanolett.6c01462</a>.","ieee":"A. Gulyaev, J. Hazarika, Z.-F. Liu, and L. Venkataraman, “A computationally efficient and accurate method for predicting conductance of single-molecule junctions,” <i>Nano Letters</i>, vol. 26, no. 22. American Chemical Society, pp. 7429–7434, 2026.","mla":"Gulyaev, Artem, et al. “A Computationally Efficient and Accurate Method for Predicting Conductance of Single-Molecule Junctions.” <i>Nano Letters</i>, vol. 26, no. 22, American Chemical Society, 2026, pp. 7429–7434, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.6c01462\">10.1021/acs.nanolett.6c01462</a>."},"month":"06","type":"journal_article","doi":"10.1021/acs.nanolett.6c01462","chemrxivid":1,"external_id":{"pmid":["42223342"],"chemrxivid":["10.26434/chemrxiv.15001696"]},"page":"7429–7434","title":"A computationally efficient and accurate method for predicting conductance of single-molecule junctions","quality_controlled":"1","OA_place":"publisher","status":"public","acknowledgement":"This work was supported primarily by the Institute of Science and Technology Austria. L.V. was supported in part by the National Science Foundation (No. NSF-DMR 2241180). Z.-F.L. was supported by an NSF CAREER Award, No. DMR-2044552 and an Alfred P. Sloan Research Fellowship, No. FG-2024-21750.","date_updated":"2026-07-28T09:57:28Z","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["540"],"article_type":"letter_note"},{"project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}],"department":[{"_id":"GradSch"},{"_id":"MaIb"}],"author":[{"first_name":"Tobias","id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425","orcid":"0000-0003-1537-7436","last_name":"Kleinhanns","full_name":"Kleinhanns, Tobias"}],"article_processing_charge":"No","date_created":"2026-06-18T08:00:03Z","related_material":{"record":[{"status":"public","relation":"part_of_dissertation","id":"15182"},{"status":"public","relation":"part_of_dissertation","id":"12237"},{"id":"20326","relation":"part_of_dissertation","status":"public"}]},"das_tickbox":"1","publisher":"Institute of Science and Technology Austria","language":[{"iso":"eng"}],"_id":"22017","publication_status":"published","has_accepted_license":"1","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","year":"2026","file_date_updated":"2026-07-01T07:35:17Z","supervisor":[{"id":"43C61214-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-5013-2843","first_name":"Maria","full_name":"Ibáñez, Maria","last_name":"Ibáñez"}],"corr_author":"1","type":"dissertation","doi":"10.15479/AT-ISTA-22017","doi_confirm":"1","publication_identifier":{"isbn":["978-3-99078-081-7"],"issn":["2663-337X"]},"citation":{"ama":"Kleinhanns T. Unraveling the origin and evolution of defects to enable advanced thermoelectric performance. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22017\">10.15479/AT-ISTA-22017</a>","short":"T. Kleinhanns, Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance, Institute of Science and Technology Austria, 2026.","ista":"Kleinhanns T. 2026. Unraveling the origin and evolution of defects to enable advanced thermoelectric performance. Institute of Science and Technology Austria.","apa":"Kleinhanns, T. (2026). <i>Unraveling the origin and evolution of defects to enable advanced thermoelectric performance</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-22017\">https://doi.org/10.15479/AT-ISTA-22017</a>","chicago":"Kleinhanns, Tobias. “Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-22017\">https://doi.org/10.15479/AT-ISTA-22017</a>.","ieee":"T. Kleinhanns, “Unraveling the origin and evolution of defects to enable advanced thermoelectric performance,” Institute of Science and Technology Austria, 2026.","mla":"Kleinhanns, Tobias. <i>Unraveling the Origin and Evolution of Defects to Enable Advanced Thermoelectric Performance</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22017\">10.15479/AT-ISTA-22017</a>."},"month":"06","date_published":"2026-06-18T00:00:00Z","file":[{"file_size":15658266,"date_created":"2026-06-30T09:17:15Z","file_id":"22226","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","creator":"tkleinha","checksum":"3df7e865a7d1da8972ccd8acb8b4c16c","relation":"source_file","access_level":"closed","date_updated":"2026-06-30T09:17:15Z","file_name":"2026_Kleinhanns_Tobias_Thesis_Source_File.docx"},{"date_updated":"2026-07-01T07:35:17Z","file_name":"2026_Kleinhanns_Tobias_Thesis_Main_File_A4.pdf","embargo_to":"open_access","creator":"tkleinha","checksum":"40ec279272a963636ff29c964032dcba","relation":"main_file","access_level":"closed","file_id":"22232","content_type":"application/pdf","embargo":"2026-12-18","date_created":"2026-07-01T07:35:17Z","file_size":9909375}],"degree_awarded":"PhD","oa_version":"Published Version","day":"18","ddc":["546","530"],"alternative_title":["ISTA Thesis"],"date_updated":"2026-07-28T09:55:13Z","OA_place":"publisher","status":"public","page":"59","title":"Unraveling the origin and evolution of defects to enable advanced thermoelectric performance"},{"author":[{"id":"D7C012AE-D7ED-11E9-95E8-1EC5E5697425","orcid":"0000-0002-6963-0129","first_name":"Volker","last_name":"Karle","full_name":"Karle, Volker"},{"full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","first_name":"Mikhail","orcid":"0000-0002-6990-7802"},{"full_name":"Bouhon, Adrien","last_name":"Bouhon","first_name":"Adrien"},{"first_name":"Robert-Jan","last_name":"Slager","full_name":"Slager, Robert-Jan"},{"full_name":"Ünal, F. Nur","last_name":"Ünal","first_name":"F. Nur"}],"article_number":"012216","department":[{"_id":"MiLe"}],"project":[{"_id":"2688CF98-B435-11E9-9278-68D0E5697425","grant_number":"801770","call_identifier":"H2020","name":"Angulon: physics and applications of a new quasiparticle"}],"language":[{"iso":"eng"}],"_id":"21009","publisher":"American Physical Society","related_material":{"record":[{"id":"19425","status":"public","relation":"earlier_version"}]},"date_created":"2026-01-20T10:06:07Z","article_processing_charge":"Yes (via OA deal)","scopus_import":"1","file_date_updated":"2026-01-21T09:04:48Z","year":"2026","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":113,"oa":1,"OA_type":"hybrid","has_accepted_license":"1","PlanS_conform":"1","publication_status":"published","ec_funded":1,"corr_author":"1","intvolume":"       113","publication":"Physical Review A","issue":"1","month":"01","citation":{"apa":"Karle, V., Lemeshko, M., Bouhon, A., Slager, R.-J., &#38; Ünal, F. N. (2026). Anomalous multigap topological phases in periodically driven quantum rotors. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/db9d-9bns\">https://doi.org/10.1103/db9d-9bns</a>","chicago":"Karle, Volker, Mikhail Lemeshko, Adrien Bouhon, Robert-Jan Slager, and F. Nur Ünal. “Anomalous Multigap Topological Phases in Periodically Driven Quantum Rotors.” <i>Physical Review A</i>. American Physical Society, 2026. <a href=\"https://doi.org/10.1103/db9d-9bns\">https://doi.org/10.1103/db9d-9bns</a>.","ama":"Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. Anomalous multigap topological phases in periodically driven quantum rotors. <i>Physical Review A</i>. 2026;113(1). doi:<a href=\"https://doi.org/10.1103/db9d-9bns\">10.1103/db9d-9bns</a>","ista":"Karle V, Lemeshko M, Bouhon A, Slager R-J, Ünal FN. 2026. Anomalous multigap topological phases in periodically driven quantum rotors. Physical Review A. 113(1), 012216.","short":"V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, F.N. Ünal, Physical Review A 113 (2026).","mla":"Karle, Volker, et al. “Anomalous Multigap Topological Phases in Periodically Driven Quantum Rotors.” <i>Physical Review A</i>, vol. 113, no. 1, 012216, American Physical Society, 2026, doi:<a href=\"https://doi.org/10.1103/db9d-9bns\">10.1103/db9d-9bns</a>.","ieee":"V. Karle, M. Lemeshko, A. Bouhon, R.-J. Slager, and F. N. Ünal, “Anomalous multigap topological phases in periodically driven quantum rotors,” <i>Physical Review A</i>, vol. 113, no. 1. American Physical Society, 2026."},"publication_identifier":{"eissn":["2469-9934"],"issn":["2469-9926"]},"type":"journal_article","doi":"10.1103/db9d-9bns","day":"12","abstract":[{"lang":"eng","text":"We demonstrate that periodically driven quantum rotors provide a promising and broadly applicable platform to implement multigap topological phases, where groups of bands can acquire topological invariants due to non-Abelian braiding of band degeneracies. By adiabatically varying the periodic kicks to the rotor we find nodal-line braiding, which causes sign flips of topological charges of band nodes and can prevent them from annihilating, indicated by nonzero values of the patch Euler class. In particular, we report on the emergence of an anomalous Dirac string phase arising in the strongly driven regime, a truly out-of-equilibrium phase of the quantum rotor. This phase emanates from braiding processes involving all (quasienergy) gaps and manifests itself with edge states at zero angular momentum. Our results reveal direct applications in state-of-the-art experiments of quantum rotors, such as linear molecules driven by periodic far-off-resonant laser pulses or artificial quantum rotors in optical lattices, whose extensive versatility offers precise modification and observation of novel non-Abelian topological properties."}],"oa_version":"Published Version","arxiv":1,"file":[{"date_updated":"2026-01-21T09:04:48Z","success":1,"file_name":"2026_PhysicalReviewA_Karle.pdf","checksum":"ca62a5050a234c0554e2583b1c126057","creator":"dernst","access_level":"open_access","relation":"main_file","file_id":"21029","content_type":"application/pdf","date_created":"2026-01-21T09:04:48Z","file_size":2650256}],"date_published":"2026-01-12T00:00:00Z","date_updated":"2026-07-29T08:59:30Z","acknowledgement":"We thank G. M. Koutentakis, S. Wimberger, J. G. E. Harris, T. Enss, and A. Ghazaryan for fruitful discussions. M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). R.-J.S. acknowledges funding from a EPSRC ERC underwrite (Grant No. EP/X025829/1), a EPSRC New Investigator Award (Grant No. EP/W00187X/1), and Trinity College, Cambridge. F.N.Ü. acknowledges support from the Marie Skłodowska-Curie Programme of the European Commission (Grant No. 893915), a Simons Investigator Award (Grant No. 511029), Trinity College Cambridge, and the Royal Society (Grant No. URF/R1/241667).","article_type":"original","ddc":["530"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Anomalous multigap topological phases in periodically driven quantum rotors","external_id":{"arxiv":["2408.16848"]},"status":"public","OA_place":"publisher","quality_controlled":"1"},{"das_tickbox":"1","publisher":"Elsevier","language":[{"iso":"eng"}],"_id":"21406","scopus_import":"1","article_processing_charge":"No","date_created":"2026-03-08T23:01:44Z","author":[{"full_name":"Jöst, Anna B.","last_name":"Jöst","first_name":"Anna B."},{"full_name":"Rodriguez Moreno, Maximiliano J","last_name":"Rodriguez Moreno","id":"59bea3b2-8c82-11ef-a41a-af7b0efd9065","first_name":"Maximiliano J"},{"first_name":"Taihun","full_name":"Kim, Taihun","last_name":"Kim"},{"full_name":"Baker, David M.","last_name":"Baker","first_name":"David M."},{"full_name":"Yasuhara, Moriaki","last_name":"Yasuhara","first_name":"Moriaki"},{"full_name":"Not, Christelle A.","last_name":"Not","first_name":"Christelle A."},{"last_name":"Karanovic","full_name":"Karanovic, Ivana","first_name":"Ivana"}],"department":[{"_id":"FrPe"}],"article_number":"119493","intvolume":"       227","issue":"6","supplementarymaterial":"yes","publication":"Marine Pollution Bulletin","volume":227,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2026","publication_status":"published","OA_type":"closed access","oa_version":"None","abstract":[{"lang":"eng","text":"This preliminary study investigates the trace-element composition of ostracod shells (Ostracoda: Crustacea) as biogenic calcium carbonates in their role as environmental sentinels of pollution. Using high-resolution in-situ analysis, we compared two contrasting coastal systems: the highly urbanized seascape of metropolitan megacity Hong Kong (HKSAR) and the agriculturally dominated waters of rural retreat Jeju Island, Republic of Korea (ROK). The goal was to assess whether anthropogenic stress gradients affect trace element-to‑calcium ratios (E/Ca) in the carapaces of shallow-marine Neonesidea Maddocks, 1969 species. Hereby, the focus is laid on potential differences in the effects of extreme urbanization and extreme agriculturalization. We analyzed 12 trace elements commonly incorporated into ostracod shells using Inductively Coupled Plasma–Mass Spectrometry (ICP-MS). Only Mn/Ca, Mg/Ca, and Ni/Ca ratios showed strong correlations with specific seawater physicochemical parameters. Notably, Mn/Ca differed significantly between the two sites, seemingly driven mainly by variations in nitrite nitrogen levels. This suggests that Mn incorporation is sensitive to pollution source, urban versus agricultural, though species-specific uptake effects cannot be excluded. No significant differences in elemental uptake were found between adult and A-1 juvenile stages of Neonesidea mutsuensis Ishizaki, 1961 or Neonesidea elegans (Brady, 1969), supporting the use of both age groups in environmental reconstructions and increasing potential sample yields. While remaining empirical and exploratory, our tentative findings suggest that ostracod geochemistry holds promise for marine pollution monitoring and cautiously supports the application of ostracod Mn/Ca ratios to reconstruct anthropogenic, particularly nitrogen-related, impacts in nearshore environments using sediment core records."}],"day":"01","pmid":1,"dataavailabilitystatement":"The datasets analysed during the current study are available within the manuscript and the associated supplementary materials.","researchdata_availability":"yes","date_published":"2026-06-01T00:00:00Z","publication_identifier":{"issn":["002-5326X"],"eissn":["1879-3363"]},"citation":{"ama":"Jöst AB, Rodriguez Moreno MJ, Kim T, et al. Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. <i>Marine Pollution Bulletin</i>. 2026;227(6). doi:<a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">10.1016/j.marpolbul.2026.119493</a>","ista":"Jöst AB, Rodriguez Moreno MJ, Kim T, Baker DM, Yasuhara M, Not CA, Karanovic I. 2026. Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. Marine Pollution Bulletin. 227(6), 119493.","short":"A.B. Jöst, M.J. Rodriguez Moreno, T. Kim, D.M. Baker, M. Yasuhara, C.A. Not, I. Karanovic, Marine Pollution Bulletin 227 (2026).","chicago":"Jöst, Anna B., Maximiliano J Rodriguez Moreno, Taihun Kim, David M. Baker, Moriaki Yasuhara, Christelle A. Not, and Ivana Karanovic. “Ostracod Shell Chemistry as Proxy for Coastal Marine Conditions of a Highly Urbanized Megacity (Hong Kong SAR) and an Agro-Centric Oceanic Province (Jeju Island, Republic of Korea) – a Preliminary Comparative Analysis.” <i>Marine Pollution Bulletin</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">https://doi.org/10.1016/j.marpolbul.2026.119493</a>.","apa":"Jöst, A. B., Rodriguez Moreno, M. J., Kim, T., Baker, D. M., Yasuhara, M., Not, C. A., &#38; Karanovic, I. (2026). Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis. <i>Marine Pollution Bulletin</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">https://doi.org/10.1016/j.marpolbul.2026.119493</a>","ieee":"A. B. Jöst <i>et al.</i>, “Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis,” <i>Marine Pollution Bulletin</i>, vol. 227, no. 6. Elsevier, 2026.","mla":"Jöst, Anna B., et al. “Ostracod Shell Chemistry as Proxy for Coastal Marine Conditions of a Highly Urbanized Megacity (Hong Kong SAR) and an Agro-Centric Oceanic Province (Jeju Island, Republic of Korea) – a Preliminary Comparative Analysis.” <i>Marine Pollution Bulletin</i>, vol. 227, no. 6, 119493, Elsevier, 2026, doi:<a href=\"https://doi.org/10.1016/j.marpolbul.2026.119493\">10.1016/j.marpolbul.2026.119493</a>."},"month":"06","type":"journal_article","doi":"10.1016/j.marpolbul.2026.119493","external_id":{"pmid":["41774948"]},"title":"Ostracod shell chemistry as proxy for coastal marine conditions of a highly urbanized megacity (Hong Kong SAR) and an agro-centric oceanic province (Jeju Island, Republic of Korea) – a preliminary comparative analysis","quality_controlled":"1","status":"public","acknowledgement":"We thank the KIOST staff of the Jeju Marine Research Center for assisting sample collection, the research assistants and students of the Yoon Idea Lab led by Prof. Dr. Tae-Hyun Yoon at Hanyang University for facilitating and assisting in ICP-MS test runs involved in a pilot study preceding this study, Ms. Garance Perrois and Mr. Léonard Pons for assistance with statistics-related questions, and the two anonymous reviewers for their valuable comments and suggestions. The study described in this article was partially supported by grants from the Brain Pool Program through NRF funded by the Ministry of Science and ICT (reference code: 2019H1D3A1A01070922 to ABJ), by the Ministry of Oceans and Fisheries (grant number RS-2024-00406249 to TK), by the Korea Institute of Marine Science and Technology (KIMST), funded by the Ministry of Oceans and Fisheries (grant number RS-2025-02304432 to TK), and by the Korea Institute of Ocean Science and Technology (PEA0404 to TK).","date_updated":"2026-07-29T10:09:31Z","article_type":"original"},{"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["570"],"article_type":"original","acknowledgement":"We thank all members of the Heisenberg, Henkes, and Hannezo groups for their support. We are also grateful to the Imaging and Optics, Scientific Computing, Life Science Support, and Cryo-Electron Microscopy facilities at ISTA for their technical assistance and support. Numerical simulations were performed using the computational resources from Lorentz Institute and the Academic Leiden Interdisciplinary Cluster Environment (ALICE) provided by Leiden University, and from PMMH provided by Sorbonne Université. S.N has received funding from European Union’s Horizon 2020 research and innovation programme (grant agreement No. 665385). This work was supported by the Austrian Science Fund (FWF) under projects PAT5044023 and W1250 awarded to C.-P.H.","date_updated":"2026-07-29T10:33:31Z","quality_controlled":"1","OA_place":"publisher","status":"public","external_id":{"pmid":["42143048"]},"title":"Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties","type":"journal_article","doi":"10.1038/s41467-026-72366-z","citation":{"ista":"Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. 2026. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. Nature Communications. 17, 6499.","short":"S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E.B. Hannezo, S. Henkes, C.-P.J. Heisenberg, Nature Communications 17 (2026).","ama":"Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. <i>Nature Communications</i>. 2026;17. doi:<a href=\"https://doi.org/10.1038/s41467-026-72366-z\">10.1038/s41467-026-72366-z</a>","chicago":"Naik, Suyash, Yann-Edwin Keta, Kornelija Pranjic-Ferscha, Edouard B Hannezo, Silke Henkes, and Carl-Philipp J Heisenberg. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” <i>Nature Communications</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s41467-026-72366-z\">https://doi.org/10.1038/s41467-026-72366-z</a>.","apa":"Naik, S., Keta, Y.-E., Pranjic-Ferscha, K., Hannezo, E. B., Henkes, S., &#38; Heisenberg, C.-P. J. (2026). Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-026-72366-z\">https://doi.org/10.1038/s41467-026-72366-z</a>","ieee":"S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E. B. Hannezo, S. Henkes, and C.-P. J. Heisenberg, “Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties,” <i>Nature Communications</i>, vol. 17. Springer Nature, 2026.","mla":"Naik, Suyash, et al. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” <i>Nature Communications</i>, vol. 17, 6499, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s41467-026-72366-z\">10.1038/s41467-026-72366-z</a>."},"publication_identifier":{"eissn":["2041-1723"]},"month":"07","date_published":"2026-07-17T00:00:00Z","pmid":1,"dataavailabilitystatement":"The authors declare that the minimum dataset that is necessary to\r\ninterpret, verify, and extend the research in this article is included in\r\nthe supplementary information, the source data, and the archived data\r\nrepository (https://doi.org/10.15479/AT-ISTA-21137). This is also available\r\non GitHub at https://github.com/Suyash-Naik/2026-\r\nKeratinepithlialspreadingcoordinate-Data. Source data are provided\r\nwith this paper. The framework to develop the vertex models used in this paper are\r\navailable online on GitHub and archived in the source data provided.\r\nCustom scripts used for analysis of imaging and simulation data are\r\nprovided along with data files for all panels in the source data for this\r\nmanuscript on GitHub and in data repo (https://doi.org/10.15479/ATISTA-\r\n21137). Framework for the vertex model is available at https://\r\ngithub.com/yketta/cells. Code for analysis is available on GitHub\r\nhttps://github.com/Suyash-Naik/2026-\r\nKeratinepithlialspreadingcoordinate-Data.","researchdata_availability":"yes","file":[{"date_updated":"2026-07-29T10:27:25Z","success":1,"file_name":"2026_NatureComm_Naik.pdf","creator":"dernst","checksum":"f26d96e180c1d034d9c9c8f57c3c258b","relation":"main_file","access_level":"open_access","file_id":"22609","content_type":"application/pdf","date_created":"2026-07-29T10:27:25Z","file_size":15363936}],"acknowledged_ssus":[{"_id":"Bio"},{"_id":"ScienComp"},{"_id":"LifeSc"},{"_id":"EM-Fac"}],"abstract":[{"text":"For tissues to spread, they must deform while staying intact. How spreading tissues balance flexibility with integrity is not yet well understood. Here, we show that keratin intermediate filaments adapt tissue mechanical resilience to the stresses arising in epithelial tissues during spreading. By analyzing the expansion of the enveloping cell layer (EVL) over the yolk cell in zebrafish embryos in vivo, we find that keratin network maturation in EVL cells is promoted by stresses building up within the spreading tissue. Through genetic interference and tissue rheology experiments, complemented by a vertex model with mechanochemical feedback, we demonstrate that stress-induced keratin network maturation in the EVL increases tissue viscosity, to prevent tissue rupture. Further, keratins are required in the yolk cell for mechanosensitive actomyosin network contraction and flow, the forces pulling the EVL. These dual mechanosensitive functions of keratins enable a balance between pulling force production and EVL mechanical resilience, ensuring uniform and robust tissue spreading.","lang":"eng"}],"oa_version":"Published Version","day":"17","publication_status":"published","PlanS_conform":"1","has_accepted_license":"1","OA_type":"gold","oa":1,"volume":17,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2026","file_date_updated":"2026-07-29T10:27:25Z","supplementarymaterial":"yes","publication":"Nature Communications","intvolume":"        17","corr_author":"1","project":[{"name":"Keratins in epithelial tissue spreading","_id":"8f060199-16d5-11f0-9cad-f3253b266c46","grant_number":"PAT 5044023"},{"name":"Nano-Analytics of Cellular Systems","_id":"252C3B08-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"W1250-B20"}],"department":[{"_id":"Bio"},{"_id":"CaHe"},{"_id":"EdHa"}],"article_number":"6499","author":[{"full_name":"Naik, Suyash","last_name":"Naik","id":"2C0B105C-F248-11E8-B48F-1D18A9856A87","first_name":"Suyash","orcid":"0000-0001-8421-5508"},{"first_name":"Yann-Edwin","full_name":"Keta, Yann-Edwin","last_name":"Keta"},{"first_name":"Kornelija","id":"4362B3C2-F248-11E8-B48F-1D18A9856A87","full_name":"Pranjic-Ferscha, Kornelija","last_name":"Pranjic-Ferscha"},{"full_name":"Hannezo, Edouard B","last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","first_name":"Edouard B","orcid":"0000-0001-6005-1561"},{"first_name":"Silke","full_name":"Henkes, Silke","last_name":"Henkes"},{"full_name":"Heisenberg, Carl-Philipp J","last_name":"Heisenberg","first_name":"Carl-Philipp J","orcid":"0000-0002-0912-4566","id":"39427864-F248-11E8-B48F-1D18A9856A87"}],"scopus_import":"1","article_processing_charge":"Yes","date_created":"2026-07-29T09:10:35Z","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"20465"}]},"das_tickbox":"1","publisher":"Springer Nature","_id":"22608","language":[{"iso":"eng"}]},{"doi":"10.1002/ange.5487708","type":"journal_article","citation":{"ieee":"J. R. Hoffman Jr, S. A. Freunberger, and S. R. Waitukaitis, “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung,” <i>Angewandte Chemie</i>. Wiley, 2026.","mla":"Hoffman Jr, John R., et al. “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung.” <i>Angewandte Chemie</i>, e5487708, Wiley, 2026, doi:<a href=\"https://doi.org/10.1002/ange.5487708\">10.1002/ange.5487708</a>.","ista":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. 2026. Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. Angewandte Chemie., e5487708.","short":"J.R. Hoffman Jr, S.A. Freunberger, S.R. Waitukaitis, Angewandte Chemie (2026).","ama":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. <i>Angewandte Chemie</i>. 2026. doi:<a href=\"https://doi.org/10.1002/ange.5487708\">10.1002/ange.5487708</a>","chicago":"Hoffman Jr, John R, Stefan Alexander Freunberger, and Scott R Waitukaitis. “Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung.” <i>Angewandte Chemie</i>. Wiley, 2026. <a href=\"https://doi.org/10.1002/ange.5487708\">https://doi.org/10.1002/ange.5487708</a>.","apa":"Hoffman Jr, J. R., Freunberger, S. A., &#38; Waitukaitis, S. R. (2026). Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung. <i>Angewandte Chemie</i>. Wiley. <a href=\"https://doi.org/10.1002/ange.5487708\">https://doi.org/10.1002/ange.5487708</a>"},"publication_identifier":{"issn":["0044-8249"],"eissn":["1521-3757"]},"month":"07","date_published":"2026-07-26T00:00:00Z","researchdata_availability":"upon request","dataavailabilitystatement":"The data that support the findings of this study are available from the corresponding author upon reasonable request.","main_file_link":[{"url":"https://doi.org/10.1002/ange.5487708","open_access":"1"}],"acknowledged_ssus":[{"_id":"LifeSc"}],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Kontaktelektrifizierung tritt allgegenwärtig in der Natur auf, doch die Identität der Ladungsträger bleibt in den meisten Fällen unklar, mit Elektronen, Ionen oder nanoskopischen Materialfragmenten als mögliche Kandidaten. Ein Material, bei dem die übertragene Spezies mehr gewiss erscheint, sind Ionomere, d. h. Polymere mit mobilen Ionen, deren Ladung durch fest gebundene Gegenladungen ausgeglichen wird. Wenn Ionomere mit einer neutralen Oberfläche in Kontakt kommen, lädt sich diese mit dem Vorzeichen der mobilen Ionen auf, was stark auf Ionentransfer hindeutet. Der zugrundeliegende Mechanismus sowie die bestimmenden Einflussfaktoren dieses Transfers sind jedoch bislang nur unzureichend verstanden. In der vorliegenden Arbeit zeigen wir, dass die Bindungsaffinität zwischen den mobilen Ionen und dem Ionomer den Ladungstransfer maßgeblich bestimmt. Wir untersuchen Ionomere mit gebundenen Anionen und Kationen und erzeugen mittels Ionenaustausch Proben mit einer Reihe unterschiedlicher übertragbarer Ionen. Für das anionische Ionomer beobachten wir eine starke Abhängigkeit von der Bindungsaffinität, wobei mobile Kationen mit der höchsten Affinität am wenigsten Ladung übertragen. Eine schwächere, aber trotzdem klare Abhängigkeit wurde für das kationische Ionomer gemessen, welches der freien Hydratationsenergie der mobilen Anionen folgt. Mithilfe von optischer Emissionsspektroskopie mit induktiv gekoppeltem Plasma (ICP‐OES) bestätigen wir den Transfer von mobilen Ionen auf die Oberfläche der Gegenprobe. Unsere Ergebnisse bestätigen die Ladungsträgeridentität und den Mechanismus des Ladungstransfers bei ionomerischen Materialien, was auch für das allgemeine Verständnis von Kontaktelektrifizierung von Bedeutung sein könnte."}],"day":"26","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["540"],"article_type":"original","acknowledgement":"Diese Forschung wurde durch die Scientific Service Units (SSU) des IST Austria unterstützt, durch Nutzung von Ressourcen der Lab Support Facility (LSF).\r\nOpen Access funding provided by Institute of Science and Technology Austria.","date_updated":"2026-07-29T11:00:05Z","quality_controlled":"1","OA_place":"publisher","status":"public","title":"Ionentransfer während der Ionomer Kontaktelektrifizierung: Bindungsaffinität steuert Aufladung","department":[{"_id":"StFr"},{"_id":"ScWa"}],"article_number":"e5487708","author":[{"full_name":"Hoffman Jr, John R","last_name":"Hoffman Jr","first_name":"John R","id":"0cf4072c-94e2-11ee-bdf9-90a13138901e"},{"full_name":"Freunberger, Stefan Alexander","last_name":"Freunberger","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319"},{"orcid":"0000-0002-2299-3176","first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","full_name":"Waitukaitis, Scott R","last_name":"Waitukaitis"}],"scopus_import":"1","article_processing_charge":"No","date_created":"2026-07-28T18:03:20Z","das_tickbox":"1","publisher":"Wiley","_id":"22601","language":[{"iso":"ger"}],"publication_status":"epub_ahead","has_accepted_license":"1","OA_type":"hybrid","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2026","supplementarymaterial":"yes","publication":"Angewandte Chemie","corr_author":"1"},{"date_created":"2026-07-26T22:01:40Z","scopus_import":"1","article_processing_charge":"No","_id":"22404","language":[{"iso":"eng"}],"das_tickbox":"1","publisher":"Springer Nature","article_number":"82","department":[{"_id":"RoSe"},{"_id":"GradSch"}],"author":[{"first_name":"Giovanna","last_name":"Marcelli","full_name":"Marcelli, Giovanna"},{"last_name":"Pigozzi","full_name":"Pigozzi, Lorenzo","id":"efb8f850-3208-11ee-ac71-8c4f5803b9c6","first_name":"Lorenzo"},{"full_name":"Porta, Marcello","last_name":"Porta","first_name":"Marcello"}],"supplementarymaterial":"no","publication":"Letters in Mathematical Physics","issue":"4","intvolume":"       116","OA_type":"green","oa":1,"publication_status":"published","year":"2026","volume":116,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","dataavailabilitystatement":"Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.","date_published":"2026-08-01T00:00:00Z","researchdata_availability":"not applicable","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2503.01381","open_access":"1"}],"mathsc":["81V70"],"day":"01","arxiv":1,"oa_version":"Preprint","abstract":[{"text":"We consider a class of two-dimensional tight binding models displaying conical intersections of the Bloch bands at the Fermi level. The setting includes the case of generic transitions between quantum Hall phases. We consider the longitudinal conductivity, as given by Kubo formula, describing the variation of the current after introducing a space-homogeneous electric field, in an adiabatic way. We obtain an explicit expression for the longitudinal conductivity, completely determined by the number of conical intersections and by the shape of the cones. In particular, the formula reproduces the known quantized values found for graphene and for the critical Haldane model. Furthermore, we discuss the validity of Kubo formula in presence of conical intersections in the spectrum, starting from the time-dependent Schrödinger equation. For electric fields which are weak and slowly varying in space and in time, we prove the validity of linear response from quantum dynamics.","lang":"eng"}],"type":"journal_article","doi":"10.1007/s11005-026-02087-3","publication_identifier":{"eissn":["1573-0530"],"issn":["0377-9017"]},"citation":{"ama":"Marcelli G, Pigozzi L, Porta M. Longitudinal conductivity at integer quantum Hall transitions. <i>Letters in Mathematical Physics</i>. 2026;116(4). doi:<a href=\"https://doi.org/10.1007/s11005-026-02087-3\">10.1007/s11005-026-02087-3</a>","short":"G. Marcelli, L. Pigozzi, M. Porta, Letters in Mathematical Physics 116 (2026).","ista":"Marcelli G, Pigozzi L, Porta M. 2026. Longitudinal conductivity at integer quantum Hall transitions. Letters in Mathematical Physics. 116(4), 82.","chicago":"Marcelli, Giovanna, Lorenzo Pigozzi, and Marcello Porta. “Longitudinal Conductivity at Integer Quantum Hall Transitions.” <i>Letters in Mathematical Physics</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1007/s11005-026-02087-3\">https://doi.org/10.1007/s11005-026-02087-3</a>.","apa":"Marcelli, G., Pigozzi, L., &#38; Porta, M. (2026). Longitudinal conductivity at integer quantum Hall transitions. <i>Letters in Mathematical Physics</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s11005-026-02087-3\">https://doi.org/10.1007/s11005-026-02087-3</a>","ieee":"G. Marcelli, L. Pigozzi, and M. Porta, “Longitudinal conductivity at integer quantum Hall transitions,” <i>Letters in Mathematical Physics</i>, vol. 116, no. 4. Springer Nature, 2026.","mla":"Marcelli, Giovanna, et al. “Longitudinal Conductivity at Integer Quantum Hall Transitions.” <i>Letters in Mathematical Physics</i>, vol. 116, no. 4, 82, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1007/s11005-026-02087-3\">10.1007/s11005-026-02087-3</a>."},"month":"08","status":"public","quality_controlled":"1","OA_place":"repository","title":"Longitudinal conductivity at integer quantum Hall transitions","external_id":{"arxiv":["2503.01381"]},"article_type":"original","date_updated":"2026-07-29T10:51:55Z","acknowledgement":"G. M. and M. P. acknowledge support by the European Research Council through the ERC-StG MaMBoQ, n. 802901. G. M. acknowledges financial support from the Independent Research Fund Denmark–Natural Sciences, grant DFF–10.46540/2032-00005B and from the European Research Council through the ERC CoG UniCoSM, grant agreement n.724939. M. P. acknowledges support from the MUR, PRIN 2022 project MaIQuFi cod. 20223J85K3. This work has been carried out under the auspices of the GNFM of INdAM. We thank the anonymous referees for comments on a previous version of this manuscript."},{"publisher":"EPI Sciences","das_tickbox":"0","_id":"22607","language":[{"iso":"eng"}],"article_processing_charge":"Yes (in subscription journal)","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"20071"}]},"date_created":"2026-07-29T09:06:55Z","author":[{"id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","first_name":"Martin","orcid":"0000-0001-5293-214X","last_name":"Dvorak","full_name":"Dvorak, Martin"},{"full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","first_name":"Vladimir"}],"department":[{"_id":"VlKo"},{"_id":"GradSch"}],"article_number":"14253","corr_author":"1","intvolume":"         2","keyword":["Farkas lemma","linear programming","extended reals","calculus of inductive constructions"],"publication":"Annals of Formalized Mathematics","supplementarymaterial":"no","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":2,"year":"2026","PlanS_conform":"1","publication_status":"published","has_accepted_license":"1","OA_type":"hybrid","oa_version":"Published Version","arxiv":1,"abstract":[{"lang":"eng","text":"Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take \"infinite values\".\r\nCode: https://github.com/madvorak/duality/tree/v3.2.0"}],"day":"13","mathsc":["68V20","15A39","90C05"],"researchdata_availability":"no","date_published":"2026-03-13T00:00:00Z","month":"03","citation":{"ieee":"M. Dvorak and V. Kolmogorov, “Duality theory in linear optimization and its extensions -- formally verified,” <i>Annals of Formalized Mathematics</i>, vol. 2. EPI Sciences, 2026.","mla":"Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” <i>Annals of Formalized Mathematics</i>, vol. 2, 14253, EPI Sciences, 2026, doi:<a href=\"https://doi.org/10.46298/afm.14253\">10.46298/afm.14253</a>.","short":"M. Dvorak, V. Kolmogorov, Annals of Formalized Mathematics 2 (2026).","ama":"Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally verified. <i>Annals of Formalized Mathematics</i>. 2026;2. doi:<a href=\"https://doi.org/10.46298/afm.14253\">10.46298/afm.14253</a>","ista":"Dvorak M, Kolmogorov V. 2026. Duality theory in linear optimization and its extensions -- formally verified. Annals of Formalized Mathematics. 2, 14253.","apa":"Dvorak, M., &#38; Kolmogorov, V. (2026). Duality theory in linear optimization and its extensions -- formally verified. <i>Annals of Formalized Mathematics</i>. EPI Sciences. <a href=\"https://doi.org/10.46298/afm.14253\">https://doi.org/10.46298/afm.14253</a>","chicago":"Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally Verified.” <i>Annals of Formalized Mathematics</i>. EPI Sciences, 2026. <a href=\"https://doi.org/10.46298/afm.14253\">https://doi.org/10.46298/afm.14253</a>."},"publication_identifier":{"eissn":["3117-4604"]},"type":"journal_article","doi":"10.46298/afm.14253","external_id":{"arxiv":["2409.08119"]},"title":"Duality theory in linear optimization and its extensions -- formally verified","OA_place":"publisher","quality_controlled":"1","status":"public","acknowledgement":"We would like to thank David Bartl and Jasmin Blanchette for frequent consultations.\r\nWe would also like to express gratitude to Henrik Böving for a help with generalization\r\nfrom extended rationals to extended linearly ordered fields and to Andrew Yang for the\r\nproof of Finset.univ_sum_of_zero_when_not. We would also like to acknowledge Antoine\r\nChambert-Loir, Apurva Nakade, Yaël Dillies, Richard Copley, Edward van de Meent, Markus\r\nHimmel, Mario Carneiro, and Kevin Buzzard.","date_updated":"2026-07-29T10:50:17Z","ddc":["500"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"article_type":"original"},{"date_updated":"2026-07-29T11:25:58Z","acknowledgement":"This research was supported by the Scientific Service Units (SSU) of IST-Austria through resources provided by the Lab Support Facility (LSF).\r\nOpen Access funding provided by Institute of Science and Technology Austria.","article_type":"original","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["540"],"title":"Ion transfer during ionomer contact electrification: Binding affinity controls charging","external_id":{"pmid":["42478784"]},"status":"public","quality_controlled":"1","OA_place":"publisher","citation":{"apa":"Hoffman Jr, J. R., Freunberger, S. A., &#38; Waitukaitis, S. R. (2026). Ion transfer during ionomer contact electrification: Binding affinity controls charging. <i>Angewandte Chemie International Edition</i>. Wiley. <a href=\"https://doi.org/10.1002/anie.5487708\">https://doi.org/10.1002/anie.5487708</a>","chicago":"Hoffman Jr, John R, Stefan Alexander Freunberger, and Scott R Waitukaitis. “Ion Transfer during Ionomer Contact Electrification: Binding Affinity Controls Charging.” <i>Angewandte Chemie International Edition</i>. Wiley, 2026. <a href=\"https://doi.org/10.1002/anie.5487708\">https://doi.org/10.1002/anie.5487708</a>.","short":"J.R. Hoffman Jr, S.A. Freunberger, S.R. Waitukaitis, Angewandte Chemie International Edition (2026).","ista":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. 2026. Ion transfer during ionomer contact electrification: Binding affinity controls charging. Angewandte Chemie International Edition., e5487708.","ama":"Hoffman Jr JR, Freunberger SA, Waitukaitis SR. Ion transfer during ionomer contact electrification: Binding affinity controls charging. <i>Angewandte Chemie International Edition</i>. 2026. doi:<a href=\"https://doi.org/10.1002/anie.5487708\">10.1002/anie.5487708</a>","mla":"Hoffman Jr, John R., et al. “Ion Transfer during Ionomer Contact Electrification: Binding Affinity Controls Charging.” <i>Angewandte Chemie International Edition</i>, e5487708, Wiley, 2026, doi:<a href=\"https://doi.org/10.1002/anie.5487708\">10.1002/anie.5487708</a>.","ieee":"J. R. Hoffman Jr, S. A. Freunberger, and S. R. Waitukaitis, “Ion transfer during ionomer contact electrification: Binding affinity controls charging,” <i>Angewandte Chemie International Edition</i>. Wiley, 2026."},"publication_identifier":{"issn":["1433-7851"],"eissn":["1521-3773"]},"month":"07","doi":"10.1002/anie.5487708","type":"journal_article","day":"21","acknowledged_ssus":[{"_id":"LifeSc"}],"abstract":[{"lang":"eng","text":"Contact electrification occurs ubiquitously in nature, but the identity of charge carriers in most situations remains uncertain, with electrons, ions, or nanoscopic material fragments as viable candidates. One material where the species transferred seems more certain is ionomers, i.e., polymers that contain mobile ions balanced by fixed counter‐charges. When ionomers touch a neutral surface, the latter becomes charged in the sign of the mobile ion, strongly suggesting ion transfer. However, the mechanism and governing factors of transfer remain poorly understood. Here, we demonstrate that binding affinity between mobile ion and ionomer controls charge transfer with ionomers. We use ionomers with fixed anions and cations and perform ion exchange to create samples with a series of transferrable ions. We observe a strong binding‐affinity dependence for the anionic ionomer, such that mobile cations with the highest affinity transfers the least charge. Weaker, yet clear dependence was measured for the cationic ionomer, which follows the hydration free energy of the mobile anion. Using inductively coupled plasma optical emission spectroscopy (ICP‐OES), we confirm transfer of the mobile ions to the counter sample's surface. Our results confirm the identify and mechanism of charge transfer with ionomeric materials, with potential implications for contact electrification more broadly."}],"oa_version":"Published Version","researchdata_availability":"upon request","date_published":"2026-07-21T00:00:00Z","dataavailabilitystatement":"The data that support the findings of this study are available from the corresponding author upon reasonable request.","pmid":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1002/anie.5487708"}],"year":"2026","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","OA_type":"hybrid","oa":1,"publication_status":"epub_ahead","corr_author":"1","supplementarymaterial":"yes","publication":"Angewandte Chemie International Edition","author":[{"full_name":"Hoffman Jr, John R","last_name":"Hoffman Jr","id":"0cf4072c-94e2-11ee-bdf9-90a13138901e","first_name":"John R"},{"last_name":"Freunberger","full_name":"Freunberger, Stefan Alexander","first_name":"Stefan Alexander","id":"A8CA28E6-CE23-11E9-AD2D-EC27E6697425","orcid":"0000-0003-2902-5319"},{"last_name":"Waitukaitis","full_name":"Waitukaitis, Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2299-3176","first_name":"Scott R"}],"article_number":"e5487708","department":[{"_id":"StFr"},{"_id":"ScWa"}],"language":[{"iso":"eng"}],"_id":"22602","das_tickbox":"1","publisher":"Wiley","date_created":"2026-07-28T18:04:19Z","scopus_import":"1","article_processing_charge":"Yes (via OA deal)"},{"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"author":[{"full_name":"Dvorak, Martin","last_name":"Dvorak","orcid":"0000-0001-5293-214X","first_name":"Martin","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425"}],"article_processing_charge":"No","date_created":"2026-03-04T09:26:46Z","related_material":{"link":[{"relation":"software","description":"Full version of all definitions, statements, and proofs for Chapter 3.1 (Linear duality)","url":"https://github.com/madvorak/duality/tree/v3.5.0"},{"url":"https://github.com/madvorak/vcsp/tree/v8.2.0","description":"Full version of all definitions, statements, and proofs for Chapter 3.2 (Valued Constraint Satisfaction Problems)","relation":"software"},{"description":"Full version of all definitions, statements, and proofs for Chapter 4 (Seymour project)","relation":"software","url":"https://github.com/Ivan-Sergeyev/seymour/tree/v1.2.0"},{"url":"https://github.com/madvorak/chomsky/tree/v1.2.0","description":"Full version of all definitions, statements, and proofs for Chapter 5 (Theory of grammars)","relation":"software"},{"url":"https://github.com/madvorak/grammars","description":"Old version (Lean 3) of the project about grammars","relation":"software"},{"url":"https://github.com/madvorak/preliminaries/blob/main/Preliminaries.lean","relation":"software","description":"Demonstration of (minimal) requirements for selected algebraic classes used in my Ph.D. thesis"}],"record":[{"id":"13120","relation":"part_of_dissertation","status":"public"},{"id":"20071","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"21398"}]},"publisher":"Institute of Science and Technology Austria","_id":"21393","language":[{"iso":"eng"}],"publication_status":"published","has_accepted_license":"1","oa":1,"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","year":"2026","file_date_updated":"2026-03-04T09:03:37Z","supervisor":[{"first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov","full_name":"Kolmogorov, Vladimir"},{"last_name":"Blanchette","full_name":"Blanchette, Jasmin","first_name":"Jasmin"}],"corr_author":"1","type":"dissertation","doi":"10.15479/AT-ISTA-21393","doi_confirm":"1","citation":{"mla":"Dvorak, Martin. <i>Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-21393\">10.15479/AT-ISTA-21393</a>.","ieee":"M. Dvorak, “Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids,” Institute of Science and Technology Austria, 2026.","apa":"Dvorak, M. (2026). <i>Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-21393\">https://doi.org/10.15479/AT-ISTA-21393</a>","chicago":"Dvorak, Martin. “Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-21393\">https://doi.org/10.15479/AT-ISTA-21393</a>.","ama":"Dvorak M. Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-21393\">10.15479/AT-ISTA-21393</a>","ista":"Dvorak M. 2026. Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids. Institute of Science and Technology Austria.","short":"M. Dvorak, Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids, Institute of Science and Technology Austria, 2026."},"publication_identifier":{"isbn":["978-3-99078-074-9"],"issn":["2663-337X"]},"month":"03","date_published":"2026-03-04T00:00:00Z","degree_awarded":"PhD","file":[{"creator":"mdvorak","checksum":"cface6dc18152680962b5361575f6e4f","relation":"main_file","access_level":"open_access","date_updated":"2026-03-04T08:56:15Z","success":1,"file_name":"2026_Dvorak_Martin_Thesis.pdf","date_created":"2026-03-04T08:56:15Z","file_size":1771231,"file_id":"21394","content_type":"application/pdf"},{"content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_id":"21395","file_size":864585,"date_created":"2026-03-04T09:03:37Z","file_name":"2026_Dvorak_Martin_Thesis.docx","date_updated":"2026-03-04T09:03:37Z","access_level":"closed","relation":"source_file","checksum":"290ddfacfb7e07fb07e6f0b334e67c90","creator":"mdvorak"}],"abstract":[{"lang":"eng","text":"This thesis documents a voyage towards truth and beauty via formal verification of theorems. To this end, we develop libraries in Lean 4 that present definitions and results from diverse areas of MathematiCS (i.e., Mathematics and Computer Science). The aim is to create code that is understandable, believable, useful, and elegant. The code should stand for itself as much as possible without a need for documentation; however, this text redundantly documents our code artifacts and provides additional context that isn’t present in the code. This thesis is written for readers who know Lean 4 but are not familiar with any of the topics presented. We manifest truth and beauty in three formalized areas of MathematiCS.\r\n\r\nWe formalize general grammars in Lean 4 and use grammars to show closure of the class of type-0 languages under four operations; union, reversal, concatenation, and the Kleene star.\r\n\r\nOur second stop is the theory of optimization. Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take “infinite values”. Additionally, we develop the basics of the theory of optimization in terms of the framework called General-Valued Constraint Satisfaction Problems, and we prove that, if a Rational-Valued Constraint Satisfaction Problem template has symmetric fractional polymorphisms of all arities, then its basic LP relaxation is tight.\r\n\r\nOur third stop is matroid theory. Seymour’s decomposition theorem is a hallmark result in matroid theory, presenting a structural characterization of the class of regular matroids. We aim to formally verify Seymour’s theorem in Lean 4. First, we build a library for working with totally unimodular matrices. We define binary matroids and their standard representations, and we prove that they form a matroid in the sense how Mathlib defines matroids. We define regular matroids to be matroids for which there exists a full representation rational matrix that is totally unimodular, and we prove that all regular matroids are binary. We define 1-sum, 2-sum, and 3 sum of binary matroids as specific ways to compose their standard representation matrices. We prove that the 1-sum, the 2-sum, and the 3-sum of regular matroids are a regular matroid, which concludes the composition direction of the Seymour’s theorem. The (more difficult) decomposition direction remains unproved.\r\n\r\nIn the pursuit of truth, we focus on identifying the trusted code in each project and presenting it faithfully. We emphasize the readability and believability of definitions rather than choosing definitions that are easier to work with. In search for beauty, we focus on the philosophical framework of Roger Scruton, who emphasizes that beauty is not a mere decoration but, most importantly, beauty is the means for shaping our place in the world and a source of redemption, where it can be viewed as a substitute for religion."}],"oa_version":"Published Version","day":"04","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["511","000"],"alternative_title":["ISTA Thesis"],"date_updated":"2026-07-29T12:56:52Z","OA_place":"repository","status":"public","page":"160","title":"Pursuit of truth and beauty in Lean 4: Formally verified theory of grammars, optimization, matroids"},{"das_tickbox":"0","publisher":"Springer Nature","language":[{"iso":"eng"}],"_id":"19860","scopus_import":"1","article_processing_charge":"Yes (via OA deal)","date_created":"2025-06-22T22:02:07Z","related_material":{"record":[{"relation":"earlier_version","status":"public","id":"18917"},{"id":"20339","relation":"dissertation_contains","status":"public"}],"link":[{"url":"https://doi.org/10.1007/s00454-025-00759-w","relation":"erratum"}]},"author":[{"last_name":"Aronov","full_name":"Aronov, Boris","first_name":"Boris"},{"full_name":"Basit, Abdul","last_name":"Basit","first_name":"Abdul"},{"first_name":"Indu","full_name":"Ramesh, Indu","last_name":"Ramesh"},{"id":"0433290C-AF8F-11E9-A4C7-F729E6697425","first_name":"Gianluca","last_name":"Tasinato","full_name":"Tasinato, Gianluca"},{"orcid":"0000-0002-1494-0568","first_name":"Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87","full_name":"Wagner, Uli","last_name":"Wagner"}],"department":[{"_id":"UlWa"}],"intvolume":"        75","supplementarymaterial":"yes","publication":"Discrete & Computational Geometry","volume":75,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2026","file_date_updated":"2026-07-23T11:14:05Z","publication_status":"published","PlanS_conform":"1","has_accepted_license":"1","OA_type":"hybrid","oa":1,"abstract":[{"text":"An eight-partition of a finite set of points (respectively, of a continuous mass distribution) in R^3\r\n consists of three planes that divide the space into 8 octants, such that each open octant contains at most 1/8 of the points (respectively, of the mass). In 1966, Hadwiger showed that any mass distribution in R^3 admits an eight-partition; moreover, one can prescribe the normal direction of one of the three planes. The analogous result for finite point sets follows by a standard limit argument. We prove the following variant of this result: any mass distribution (or point set) in R^3 admits an eight-partition for which the intersection of two of the planes is a line with a prescribed direction. Moreover, we present an efficient algorithm for calculating an eight-partition of a set of n points in R^3 (with prescribed normal direction of one of the planes) in time O(n^7/3). A preliminary version of this work appeared in SoCG’24 (Aronov et al., 40th International Symposium on Computational Geometry, 2024).","lang":"eng"}],"oa_version":"Published Version","arxiv":1,"day":"01","researchdata_availability":"no","date_published":"2026-06-01T00:00:00Z","isi":1,"file":[{"access_level":"open_access","relation":"main_file","checksum":"a32774a0d14f46cafbd77bfb9d9ac4b6","creator":"dernst","success":1,"file_name":"2026_DiscreteCompGeom_Aronov.pdf","date_updated":"2026-07-23T11:14:05Z","file_size":525281,"date_created":"2026-07-23T11:14:05Z","content_type":"application/pdf","file_id":"22395"}],"publication_identifier":{"eissn":["1432-0444"],"issn":["0179-5376"]},"citation":{"ieee":"B. Aronov, A. Basit, I. Ramesh, G. Tasinato, and U. Wagner, “Eight-partitioning points in 3D, and efficiently too,” <i>Discrete &#38; Computational Geometry</i>, vol. 75. Springer Nature, pp. 1331–1355, 2026.","mla":"Aronov, Boris, et al. “Eight-Partitioning Points in 3D, and Efficiently Too.” <i>Discrete &#38; Computational Geometry</i>, vol. 75, Springer Nature, 2026, pp. 1331–55, doi:<a href=\"https://doi.org/10.1007/s00454-025-00739-0\">10.1007/s00454-025-00739-0</a>.","ista":"Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. 2026. Eight-partitioning points in 3D, and efficiently too. Discrete &#38; Computational Geometry. 75, 1331–1355.","ama":"Aronov B, Basit A, Ramesh I, Tasinato G, Wagner U. Eight-partitioning points in 3D, and efficiently too. <i>Discrete &#38; Computational Geometry</i>. 2026;75:1331-1355. doi:<a href=\"https://doi.org/10.1007/s00454-025-00739-0\">10.1007/s00454-025-00739-0</a>","short":"B. Aronov, A. Basit, I. Ramesh, G. Tasinato, U. Wagner, Discrete &#38; Computational Geometry 75 (2026) 1331–1355.","chicago":"Aronov, Boris, Abdul Basit, Indu Ramesh, Gianluca Tasinato, and Uli Wagner. “Eight-Partitioning Points in 3D, and Efficiently Too.” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1007/s00454-025-00739-0\">https://doi.org/10.1007/s00454-025-00739-0</a>.","apa":"Aronov, B., Basit, A., Ramesh, I., Tasinato, G., &#38; Wagner, U. (2026). Eight-partitioning points in 3D, and efficiently too. <i>Discrete &#38; Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-025-00739-0\">https://doi.org/10.1007/s00454-025-00739-0</a>"},"month":"06","type":"journal_article","doi":"10.1007/s00454-025-00739-0","external_id":{"arxiv":["2403.02627"],"isi":["001506904300001"]},"page":"1331-1355","title":"Eight-partitioning points in 3D, and efficiently too","quality_controlled":"1","OA_place":"publisher","status":"public","acknowledgement":"Work by BA was supported by NSF grants CCF 15-40656 and CCF 20-08551, and by grant 2014/170 from the US-Israel Binational Science Foundation. Part of this research was conducted while BA was visiting ISTA in the summers of 2022 and 2023. The visit of BA to ISTA in the summer of 2022 was supported by an ISTA Visiting Professorship. Research of BA also partially supported by ERC grant no. 882971, “GeoScape,” and by the Erdős Center. Work by AB was supported by Australian Research Council grant DP220102212. Work by IR was supported by a Tandon School of Engineering Fellowship and by NSF Grant CCF-20-08551. BA and AB would like to thank William Steiger for insightful initial discussions of the problems addressed in this work. Open Access funding enabled and organized by CAUL and its Member Institutions.","date_updated":"2026-07-29T13:13:17Z","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["500"],"article_type":"original"},{"type":"journal_article","doi":"10.1038/s41467-026-75598-1","month":"07","citation":{"mla":"Kerschbaumer, Aron, et al. “Quasi-Solitons in Rydberg Atom Chains.” <i>Nature Communications</i>, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s41467-026-75598-1\">10.1038/s41467-026-75598-1</a>.","ieee":"A. Kerschbaumer, J.-Y. M. Desaules, M. Ljubotina, and M. Serbyn, “Quasi-solitons in Rydberg atom chains,” <i>Nature Communications</i>. Springer Nature, 2026.","chicago":"Kerschbaumer, Aron, Jean-Yves Marc Desaules, Marko Ljubotina, and Maksym Serbyn. “Quasi-Solitons in Rydberg Atom Chains.” <i>Nature Communications</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s41467-026-75598-1\">https://doi.org/10.1038/s41467-026-75598-1</a>.","apa":"Kerschbaumer, A., Desaules, J.-Y. M., Ljubotina, M., &#38; Serbyn, M. (2026). Quasi-solitons in Rydberg atom chains. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-026-75598-1\">https://doi.org/10.1038/s41467-026-75598-1</a>","short":"A. Kerschbaumer, J.-Y.M. Desaules, M. Ljubotina, M. Serbyn, Nature Communications (2026).","ama":"Kerschbaumer A, Desaules J-YM, Ljubotina M, Serbyn M. Quasi-solitons in Rydberg atom chains. <i>Nature Communications</i>. 2026. doi:<a href=\"https://doi.org/10.1038/s41467-026-75598-1\">10.1038/s41467-026-75598-1</a>","ista":"Kerschbaumer A, Desaules J-YM, Ljubotina M, Serbyn M. 2026. Quasi-solitons in Rydberg atom chains. Nature Communications."},"publication_identifier":{"eissn":["2041-1723"]},"main_file_link":[{"url":"https://doi.org/10.1038/s41467-026-75598-1","open_access":"1"}],"date_published":"2026-07-17T00:00:00Z","day":"17","oa_version":"Published Version","abstract":[{"text":"Solitons—localized wave packets that travel without spreading—play a central role in understanding transport and properties of nonlinear systems. In quantum many-body systems, however, such robust excitations are typically destroyed by thermalization. Here, we theoretically demonstrate the existence of solitonic excitations in high-energy states of Rydberg atom chains in the regime of strong nearest-neighbor Rydberg blockade. These localized wave packets propagate directionally atop a special class of reviving initial states related to quantum many-body scars and are capable of carrying energy. Exhibiting long coherence times, these states constitute a form of non-ergodic quantum dynamics and can be efficiently implemented on Rydberg atom simulators. In this work, in addition to a phenomenological description of solitons, we identify their counterpart in a classical nonlinear dynamical system, demonstrate their potential use in quantum information transfer, and conjecture their relevance for anomalous energy transport reported in numerical studies of Rydberg atom arrays.","lang":"eng"}],"DOAJ_listed":"1","article_type":"original","ddc":["530"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-07-30T05:42:17Z","acknowledgement":"We acknowledge useful discussions with J.-S. Caux, E. Demler, J. Dubail, F. Essler, J. Feldmeier, S. Garratt, W. W. Ho, M. Lukin, Z. Papic, S. Rotter, F. Surace, and R. Vasseur. J.-Y.D. acknowledges funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413. M. L. acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC-2111—390814868. We acknowledge support by the Erwin Schrödinger International Institute for Mathematics and Physics (ESI). This research was funded in part by the Austrian Science Fund (FWF) https://doi.org/10.55776/COE1 and the European Union—NextGenerationEU. This research was supported in part by grant NSF PHY2309135 to the Kavli Institute for Theoretical Physics (KITP).","status":"public","OA_place":"publisher","quality_controlled":"1","title":"Quasi-solitons in Rydberg atom chains","department":[{"_id":"MaSe"},{"_id":"GradSch"}],"project":[{"grant_number":"101034413","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program"}],"author":[{"first_name":"Aron","orcid":"0009-0002-2370-8661","id":"ade85a9c-3200-11ee-973b-91c1eb240410","last_name":"Kerschbaumer","full_name":"Kerschbaumer, Aron"},{"full_name":"Desaules, Jean-Yves Marc","last_name":"Desaules","first_name":"Jean-Yves Marc","id":"6c292945-a610-11ed-9eec-c3be1ad62a80","orcid":"0000-0002-3749-6375"},{"first_name":"Marko","id":"F75EE9BE-5C90-11EA-905D-16643DDC885E","orcid":"0000-0003-0038-7068","full_name":"Ljubotina, Marko","last_name":"Ljubotina"},{"full_name":"Serbyn, Maksym","last_name":"Serbyn","first_name":"Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2399-5827"}],"date_created":"2026-07-27T07:26:27Z","article_processing_charge":"Yes","language":[{"iso":"eng"}],"_id":"22408","publisher":"Springer Nature","oa":1,"OA_type":"gold","has_accepted_license":"1","publication_status":"epub_ahead","PlanS_conform":"1","ec_funded":1,"year":"2026","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Nature Communications","supplementarymaterial":"yes","corr_author":"1"},{"supplementarymaterial":"yes","publication":"Nature Communications","intvolume":"        17","corr_author":"1","OA_type":"gold","has_accepted_license":"1","oa":1,"ec_funded":1,"publication_status":"published","year":"2026","file_date_updated":"2026-06-24T06:50:24Z","volume":17,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2026-06-21T22:02:59Z","scopus_import":"1","article_processing_charge":"Yes","language":[{"iso":"eng"}],"_id":"22101","das_tickbox":"1","publisher":"Springer Nature","article_number":"5325","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"department":[{"_id":"KrCh"}],"author":[{"last_name":"Svoboda","full_name":"Svoboda, Jakub","orcid":"0000-0002-1419-3267","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","first_name":"Jakub"},{"last_name":"Nemati","full_name":"Nemati, Hossein","first_name":"Hossein"},{"first_name":"Josef","orcid":"0000-0002-1097-9684","id":"3F24CCC8-F248-11E8-B48F-1D18A9856A87","last_name":"Tkadlec","full_name":"Tkadlec, Josef"},{"last_name":"Kaveh","full_name":"Kaveh, Kamran","first_name":"Kamran"},{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"}],"status":"public","quality_controlled":"1","OA_place":"publisher","title":"The effect of the fitness gradient on fixation probability","external_id":{"pmid":["41997932"]},"article_type":"original","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"ddc":["000"],"date_updated":"2026-07-30T07:24:55Z","acknowledgement":"J.S. and K.C. were supported by the European Research Council (ERC)\r\nCoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/\r\nCOE12. J.T. was supported by GAČR grant 25-17377S and by Charles\r\nUniv. projects UNCE 24/SCI/008 and PRIMUS 24/SCI/012.","file":[{"success":1,"file_name":"2026_NatureComm_Svoboda.pdf","date_updated":"2026-06-24T06:50:24Z","relation":"main_file","access_level":"open_access","creator":"dernst","checksum":"b660048bb271f24d6763803e247d5c32","content_type":"application/pdf","file_id":"22136","date_created":"2026-06-24T06:50:24Z","file_size":1068919}],"date_published":"2026-12-01T00:00:00Z","researchdata_availability":"no","pmid":1,"dataavailabilitystatement":"Correspondence and requests for materials should be addressed to Krishnendu Chatterjee.","day":"01","DOAJ_listed":"1","abstract":[{"lang":"eng","text":"Evolutionary biology examines how the genetic and phenotypic composition\r\nof populations changes over time. An important goal is to determine the\r\nfixation probability of a single advantageous mutant that arises in a homogeneous\r\npopulation of N residents. Many real populations experience environmental\r\ngradients that cause mutations to be beneficial in some spatial\r\nregions but harmful in others. Here, we study the fixation probability of a\r\nmutant placed on a simple one-dimensional spatial structure that experiences\r\nsuch a gradient. The mutant’s fitness varies linearly from1 − s to 1 + s, whereas\r\nthe resident fitness is constant and equal to 1. The existing literature suggests\r\nthat such heterogeneity in the mutant’s fitness should lead to a decrease in its\r\nfixation probability. However, in this work, we find that small, non-negligible\r\ngradients (s < 1=√N) substantially increase the fixation probability,while larger\r\ngradients (s > (log N)/√N) substantially decrease it.Moreover, we quantify the\r\nstrength of this phenomenon analytically and we precisely delimit the range of\r\nthe gradients for which it occurs. Our computer simulations closely match\r\nthose findings. Altogether, our results indicate that subjecting a simple\r\npopulation structure to natural environmental conditions can produce strong\r\ncounterintuitive effects."}],"oa_version":"Published Version","doi":"10.1038/s41467-026-71777-2","type":"journal_article","citation":{"ista":"Svoboda J, Nemati H, Tkadlec J, Kaveh K, Chatterjee K. 2026. The effect of the fitness gradient on fixation probability. Nature Communications. 17, 5325.","ama":"Svoboda J, Nemati H, Tkadlec J, Kaveh K, Chatterjee K. The effect of the fitness gradient on fixation probability. <i>Nature Communications</i>. 2026;17. doi:<a href=\"https://doi.org/10.1038/s41467-026-71777-2\">10.1038/s41467-026-71777-2</a>","short":"J. Svoboda, H. Nemati, J. Tkadlec, K. Kaveh, K. Chatterjee, Nature Communications 17 (2026).","apa":"Svoboda, J., Nemati, H., Tkadlec, J., Kaveh, K., &#38; Chatterjee, K. (2026). The effect of the fitness gradient on fixation probability. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-026-71777-2\">https://doi.org/10.1038/s41467-026-71777-2</a>","chicago":"Svoboda, Jakub, Hossein Nemati, Josef Tkadlec, Kamran Kaveh, and Krishnendu Chatterjee. “The Effect of the Fitness Gradient on Fixation Probability.” <i>Nature Communications</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s41467-026-71777-2\">https://doi.org/10.1038/s41467-026-71777-2</a>.","ieee":"J. Svoboda, H. Nemati, J. Tkadlec, K. Kaveh, and K. Chatterjee, “The effect of the fitness gradient on fixation probability,” <i>Nature Communications</i>, vol. 17. Springer Nature, 2026.","mla":"Svoboda, Jakub, et al. “The Effect of the Fitness Gradient on Fixation Probability.” <i>Nature Communications</i>, vol. 17, 5325, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s41467-026-71777-2\">10.1038/s41467-026-71777-2</a>."},"publication_identifier":{"eissn":["2041-1723"]},"month":"12"},{"das_tickbox":"0","publisher":"Institute of Science and Technology Austria","language":[{"iso":"eng"}],"_id":"22399","article_processing_charge":"No","date_created":"2026-07-25T13:08:32Z","author":[{"first_name":"Aleksa","id":"ecee9d38-4040-11ef-8843-b941efb445d6","full_name":"Spasić, Aleksa","last_name":"Spasić"}],"department":[{"_id":"GradSch"},{"_id":"GaTk"},{"_id":"CaGu"}],"corr_author":"1","supervisor":[{"full_name":"Guet, Calin C","last_name":"Guet","first_name":"Calin C","orcid":"0000-0001-6220-2052","id":"47F8433E-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0002-6699-1455","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","first_name":"Gašper","full_name":"Tkačik, Gašper","last_name":"Tkačik"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","year":"2026","file_date_updated":"2026-07-27T13:07:23Z","publication_status":"published","has_accepted_license":"1","oa":1,"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Gaining an understanding of how biological regulation evolves is a fundamental research \r\nquestion in both evolutionary biology and molecular genetics. In order to gain more insight \r\ninto this topic, we focus on studying the simple gene regulatory system of the lac operon in \r\nE. coli. We show that simple population genetic models can shed light on evolution \r\nexperiments and that this combined approach of modelling the experimental system gives \r\ninsight to better understand the causes of evolutionary change in the experiment. We also \r\nstudy the natural diversity in the lac operon from 308 publicly available E. coli genomes that \r\ncome from various host species and different regions of the world. Evidence that selection is \r\ngenerally maintaining the function of the lac operon across the sample regardless of host \r\nspecies is provided and we show that different protein coding genes in the operon are under \r\ndifferent selective constraints on protein sequence preservation. A similar frameshift \r\nmutation found in experimental evolution studies is shown to be present in the sample we \r\nanalyzed, indicating that selectively relevant variants in evolution experiments are also \r\npresent in natural populations. We show that there is no simple phylogenetic relationship \r\nbetween host species, geographical location and the lac operon sequence. Finally, we argue \r\nthat a combined approach of comparative genomics, experimental evolution and theoretical \r\nmodelling contributes to a more complete understanding of molecular evolution. "}],"day":"27","date_published":"2026-07-27T00:00:00Z","degree_awarded":"MS","file":[{"file_name":"Aleksa_Spasic_Thesis_final.pdf","success":1,"date_updated":"2026-07-27T13:00:07Z","relation":"main_file","access_level":"open_access","creator":"aspasic","checksum":"c29880dd71fcc37f23ac6e2843066ede","content_type":"application/pdf","file_id":"22588","file_size":1986078,"date_created":"2026-07-27T13:00:07Z"},{"file_size":1868853,"date_created":"2026-07-27T13:00:22Z","content_type":"application/vnd.openxmlformats-officedocument.wordprocessingml.document","file_id":"22589","relation":"source_file","access_level":"closed","creator":"aspasic","checksum":"4ebe3bd2d833d913c0756343cca5e5f0","file_name":"Thesis_final.docx","date_updated":"2026-07-27T13:07:23Z"}],"citation":{"mla":"Spasić, Aleksa. <i>Studying the Evolutionary Systems Biology of the Lac Operon</i>. Institute of Science and Technology Austria, 2026, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22399\">10.15479/AT-ISTA-22399</a>.","ieee":"A. Spasić, “Studying the evolutionary systems biology of the lac operon,” Institute of Science and Technology Austria, 2026.","apa":"Spasić, A. (2026). <i>Studying the evolutionary systems biology of the lac operon</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-22399\">https://doi.org/10.15479/AT-ISTA-22399</a>","chicago":"Spasić, Aleksa. “Studying the Evolutionary Systems Biology of the Lac Operon.” Institute of Science and Technology Austria, 2026. <a href=\"https://doi.org/10.15479/AT-ISTA-22399\">https://doi.org/10.15479/AT-ISTA-22399</a>.","ista":"Spasić A. 2026. Studying the evolutionary systems biology of the lac operon. Institute of Science and Technology Austria.","short":"A. Spasić, Studying the Evolutionary Systems Biology of the Lac Operon, Institute of Science and Technology Austria, 2026.","ama":"Spasić A. Studying the evolutionary systems biology of the lac operon. 2026. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-22399\">10.15479/AT-ISTA-22399</a>"},"publication_identifier":{"issn":["2791-4585"]},"month":"07","doi":"10.15479/AT-ISTA-22399","type":"dissertation","doi_confirm":"1","page":"32","title":"Studying the evolutionary systems biology of the lac operon","OA_place":"publisher","status":"public","alternative_title":["ISTA Master’s Thesis"],"date_updated":"2026-07-31T10:52:08Z","ddc":["576"]},{"publication":"41st Annual Symposium on Logic in Computer Science","supplementarymaterial":"no","intvolume":"       380","corr_author":"1","keyword":["Concurrent games","Shared randomness","Topology","Algebraic Geometry"],"conference":{"name":"LICS: Logic in Computer Science","location":"Lisbon, Portugal","end_date":"2026-07-23","start_date":"2026-07-20"},"oa":1,"has_accepted_license":"1","OA_type":"gold","publication_status":"published","ec_funded":1,"file_date_updated":"2026-08-03T07:02:30Z","year":"2026","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":380,"date_created":"2026-08-02T22:01:52Z","article_processing_charge":"No","scopus_import":"1","_id":"22617","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","das_tickbox":"0","article_number":"23:1-23:26","department":[{"_id":"ToHe"}],"project":[{"name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"author":[{"full_name":"Brice, Leonard J","last_name":"Brice","id":"ce3b3409-db6c-11f0-aa64-ad678f7fd937","first_name":"Leonard J"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas A","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger"},{"full_name":"Thejaswini, K. S.","last_name":"Thejaswini","first_name":"K. S."}],"status":"public","OA_place":"publisher","quality_controlled":"1","title":"Dicey games: Shared sources of randomness in distributed systems","external_id":{"arxiv":["2601.18303"]},"ddc":["000"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-08-03T07:03:28Z","alternative_title":["LIPIcs"],"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093 (VAMOS).\r\nLéonard Brice: Part of this work was realised when this author was an FNRS aspirant at Université libre de Bruxelles.\r\nK. S. Thejaswini: Part of this work was realised when this author was a post-doctoral researcher at IST Austria.\r\nAcknowledgements We thank all our colleagues who took the time to hear our puzzle and wasted several hours of their research time in pursuit of the optimal bounds for the 3-player matching.\r\npennies problem.\r\n","file":[{"success":1,"file_name":"2026_LIPICSLICS_Brice.pdf","date_updated":"2026-08-03T07:02:30Z","access_level":"open_access","relation":"main_file","checksum":"5d0ff4d267565188a8b4c7502e1bd243","creator":"dernst","content_type":"application/pdf","file_id":"22625","date_created":"2026-08-03T07:02:30Z","file_size":919708}],"researchdata_availability":"no","date_published":"2026-07-09T00:00:00Z","day":"09","abstract":[{"text":"Consider a 4-player version of Matching Pennies where a team of three players competes against the Devil. Each player simultaneously says \"Heads\" or \"Tails\". The team wins if all four choices match; otherwise the Devil wins. If all team players randomise independently, they win with probability 1/8; if all players share a common source of randomness, they win with probability 1/2. What happens when each pair of team players shares a source of randomness? Can the team do better than win with probability 1/4? The surprising (and nontrivial) answer is yes!\r\nWe introduce Dicey Games, a formal framework motivated by the study of distributed systems with shared sources of randomness (of which the above example is a specific instance). We characterise the existence, representation and computational complexity of optimal strategies in Dicey Games, and we study the problem of allocating limited sources of randomness optimally within a team.","lang":"eng"}],"arxiv":1,"oa_version":"Published Version","type":"conference","doi":"10.4230/LIPIcs.LICS.2026.23","month":"07","citation":{"apa":"Brice, L. J., Henzinger, T. A., &#38; Thejaswini, K. S. (2026). Dicey games: Shared sources of randomness in distributed systems. In <i>41st Annual Symposium on Logic in Computer Science</i> (Vol. 380). Lisbon, Portugal: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.LICS.2026.23\">https://doi.org/10.4230/LIPIcs.LICS.2026.23</a>","chicago":"Brice, Leonard J, Thomas A Henzinger, and K. S. Thejaswini. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” In <i>41st Annual Symposium on Logic in Computer Science</i>, Vol. 380. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. <a href=\"https://doi.org/10.4230/LIPIcs.LICS.2026.23\">https://doi.org/10.4230/LIPIcs.LICS.2026.23</a>.","ama":"Brice LJ, Henzinger TA, Thejaswini KS. Dicey games: Shared sources of randomness in distributed systems. In: <i>41st Annual Symposium on Logic in Computer Science</i>. Vol 380. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2026. doi:<a href=\"https://doi.org/10.4230/LIPIcs.LICS.2026.23\">10.4230/LIPIcs.LICS.2026.23</a>","ista":"Brice LJ, Henzinger TA, Thejaswini KS. 2026. Dicey games: Shared sources of randomness in distributed systems. 41st Annual Symposium on Logic in Computer Science. LICS: Logic in Computer Science, LIPIcs, vol. 380, 23:1-23:26.","short":"L.J. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 41st Annual Symposium on Logic in Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026.","mla":"Brice, Leonard J., et al. “Dicey Games: Shared Sources of Randomness in Distributed Systems.” <i>41st Annual Symposium on Logic in Computer Science</i>, vol. 380, 23:1-23:26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026, doi:<a href=\"https://doi.org/10.4230/LIPIcs.LICS.2026.23\">10.4230/LIPIcs.LICS.2026.23</a>.","ieee":"L. J. Brice, T. A. Henzinger, and K. S. Thejaswini, “Dicey games: Shared sources of randomness in distributed systems,” in <i>41st Annual Symposium on Logic in Computer Science</i>, Lisbon, Portugal, 2026, vol. 380."},"publication_identifier":{"issn":["1868-8969"],"isbn":["9783959774345"]}},{"status":"public","OA_place":"publisher","quality_controlled":"1","title":"DES formulation for recycling synthetic fibre textile waste containing elastane","external_id":{"pmid":["42456595"]},"article_type":"original","ddc":["540"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_updated":"2026-08-03T06:35:45Z","acknowledgement":"The financial support by the Austrian Federal Ministry of Economy, Energy and Tourism, the National Foundation for Research, Technology and Development and the Christian Doppler Research Association is gratefully acknowledged. The authors acknowledge “Open Access Funding by TU Wien” for financial support through its Open Access Funding Program.\r\nSpecial thanks are extended to EREMA Group GmbH, SALESIANER MIETTEX GmbH and Starlinger & Co GmbH for their material support and valuable input throughout the development of this study.","main_file_link":[{"url":"https://doi.org/10.1016/j.wasman.2026.115736","open_access":"1"}],"date_published":"2026-07-15T00:00:00Z","researchdata_availability":"upon request","pmid":1,"dataavailabilitystatement":"Data will be made available on request.","day":"15","abstract":[{"text":"This study presents a sustainable and non-destructive recycling strategy for synthetic fibres, specifically polyethylene terephthalate (PET), polyamide 6 (PA6), polyamide 66 (PA66), and elastane (EL). Two deep eutectic solvents (DESs) were synthesised, enabling selective dissolution of EL without degrading the surrounding polymer matrices. The dissolved EL phase was subsequently recovered by centrifugation, demonstrating its potential for material reuse. Comprehensive characterisation confirmed that the process preserves fibre integrity. SEM imaging revealed no detectable changes in fibre morphology, while DSC and TGA analyses indicated that the thermal properties of both EL and synthetic polymers were preserved. ATR-FTIR spectroscopy verified the absence of measurable chemical modifications. Mechanical testing showed that solvent treatment did not compromise the tensile performance of PET, PA6, or PA66 fibres, confirming their suitability for fibre-to-fibre recycling.\r\nThe recovered fibres were successfully re-extruded into continuous filaments, confirming their melt processability and enabling potential applications in textile yarns, technical fibres, nonwovens, and polymer components via melt-spinning or moulding. These results demonstrate that the proposed DES-based method offers a promising approach for the circular recycling of complex fibre blends and provides a viable pathway towards industrial implementation.","lang":"eng"}],"oa_version":"Published Version","type":"journal_article","doi":"10.1016/j.wasman.2026.115736","month":"07","publication_identifier":{"eissn":["1879-2456"],"issn":["0956-053X"]},"citation":{"ista":"Depope N, Depope A, Archodoulaki VM, Dabrowska A, Lendl B, Mautner A, Ipsmiller W, Bartl A. 2026. DES formulation for recycling synthetic fibre textile waste containing elastane. Waste Management. 224, 115736.","short":"N. Depope, A. Depope, V.M. Archodoulaki, A. Dabrowska, B. Lendl, A. Mautner, W. Ipsmiller, A. Bartl, Waste Management 224 (2026).","ama":"Depope N, Depope A, Archodoulaki VM, et al. DES formulation for recycling synthetic fibre textile waste containing elastane. <i>Waste Management</i>. 2026;224. doi:<a href=\"https://doi.org/10.1016/j.wasman.2026.115736\">10.1016/j.wasman.2026.115736</a>","apa":"Depope, N., Depope, A., Archodoulaki, V. M., Dabrowska, A., Lendl, B., Mautner, A., … Bartl, A. (2026). DES formulation for recycling synthetic fibre textile waste containing elastane. <i>Waste Management</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.wasman.2026.115736\">https://doi.org/10.1016/j.wasman.2026.115736</a>","chicago":"Depope, Nika, Al Depope, Vasiliki Maria Archodoulaki, Alicja Dabrowska, Bernhard Lendl, Andreas Mautner, Wolfgang Ipsmiller, and Andreas Bartl. “DES Formulation for Recycling Synthetic Fibre Textile Waste Containing Elastane.” <i>Waste Management</i>. Elsevier, 2026. <a href=\"https://doi.org/10.1016/j.wasman.2026.115736\">https://doi.org/10.1016/j.wasman.2026.115736</a>.","ieee":"N. Depope <i>et al.</i>, “DES formulation for recycling synthetic fibre textile waste containing elastane,” <i>Waste Management</i>, vol. 224. Elsevier, 2026.","mla":"Depope, Nika, et al. “DES Formulation for Recycling Synthetic Fibre Textile Waste Containing Elastane.” <i>Waste Management</i>, vol. 224, 115736, Elsevier, 2026, doi:<a href=\"https://doi.org/10.1016/j.wasman.2026.115736\">10.1016/j.wasman.2026.115736</a>."},"publication":"Waste Management","supplementarymaterial":"yes","intvolume":"       224","oa":1,"OA_type":"hybrid","has_accepted_license":"1","PlanS_conform":"1","publication_status":"epub_ahead","year":"2026","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":224,"date_created":"2026-08-02T22:01:51Z","article_processing_charge":"Yes (via OA deal)","scopus_import":"1","language":[{"iso":"eng"}],"_id":"22614","publisher":"Elsevier","das_tickbox":"1","article_number":"115736","department":[{"_id":"MaRo"}],"author":[{"first_name":"Nika","full_name":"Depope, Nika","last_name":"Depope"},{"id":"0b77531d-dbcd-11ea-9d1d-a8eee0bf3830","first_name":"Al","full_name":"Depope, Al","last_name":"Depope"},{"last_name":"Archodoulaki","full_name":"Archodoulaki, Vasiliki Maria","first_name":"Vasiliki Maria"},{"first_name":"Alicja","full_name":"Dabrowska, Alicja","last_name":"Dabrowska"},{"last_name":"Lendl","full_name":"Lendl, Bernhard","first_name":"Bernhard"},{"first_name":"Andreas","last_name":"Mautner","full_name":"Mautner, Andreas"},{"first_name":"Wolfgang","full_name":"Ipsmiller, Wolfgang","last_name":"Ipsmiller"},{"first_name":"Andreas","full_name":"Bartl, Andreas","last_name":"Bartl"}]},{"doi":"10.1038/s41467-026-74060-6","type":"journal_article","month":"06","citation":{"ama":"Petrov PN, Zhang JT, Axelrod JJ, Olshin PK, Müller H. Crossed laser phase plates for transmission electron microscopy. <i>Nature Communications</i>. 2026;17. doi:<a href=\"https://doi.org/10.1038/s41467-026-74060-6\">10.1038/s41467-026-74060-6</a>","ista":"Petrov PN, Zhang JT, Axelrod JJ, Olshin PK, Müller H. 2026. Crossed laser phase plates for transmission electron microscopy. Nature Communications. 17, 7199.","short":"P.N. Petrov, J.T. Zhang, J.J. Axelrod, P.K. Olshin, H. Müller, Nature Communications 17 (2026).","apa":"Petrov, P. N., Zhang, J. T., Axelrod, J. J., Olshin, P. K., &#38; Müller, H. (2026). Crossed laser phase plates for transmission electron microscopy. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-026-74060-6\">https://doi.org/10.1038/s41467-026-74060-6</a>","chicago":"Petrov, Petar N, Jessie T. Zhang, Jeremy J. Axelrod, Pavel K. Olshin, and Holger Müller. “Crossed Laser Phase Plates for Transmission Electron Microscopy.” <i>Nature Communications</i>. Springer Nature, 2026. <a href=\"https://doi.org/10.1038/s41467-026-74060-6\">https://doi.org/10.1038/s41467-026-74060-6</a>.","ieee":"P. N. Petrov, J. T. Zhang, J. J. Axelrod, P. K. Olshin, and H. Müller, “Crossed laser phase plates for transmission electron microscopy,” <i>Nature Communications</i>, vol. 17. Springer Nature, 2026.","mla":"Petrov, Petar N., et al. “Crossed Laser Phase Plates for Transmission Electron Microscopy.” <i>Nature Communications</i>, vol. 17, 7199, Springer Nature, 2026, doi:<a href=\"https://doi.org/10.1038/s41467-026-74060-6\">10.1038/s41467-026-74060-6</a>."},"publication_identifier":{"eissn":["2041-1723"]},"dataavailabilitystatement":"The simulated apoferritin exit wave and associated image simulation and analysis code used for generating the figures are available on Code Ocean (https://www.codeocean.com/).","researchdata_availability":"no","date_published":"2026-06-05T00:00:00Z","file":[{"checksum":"9bbcbaed3fd78e99cd728877332953c1","creator":"dernst","access_level":"open_access","relation":"main_file","date_updated":"2026-08-03T06:48:08Z","file_name":"2026_NatureComm_Petrov.pdf","success":1,"file_size":2052058,"date_created":"2026-08-03T06:48:08Z","file_id":"22624","content_type":"application/pdf"}],"abstract":[{"lang":"eng","text":"A phase plate has long been sought in transmission electron microscopy (TEM) to maximize the image contrast of weakly-scattering objects like biomolecules. The laser phase plate (LPP) has recently demonstrated that an amplified, focused laser standing wave reliably phase shifts the electron beam, achieving phase-contrast TEM. Building on the single-beam LPP, here we introduce the crossed laser phase plate (XLPP): two laser standing waves which intersect in the diffraction plane. We present a theoretical model for the XLPP inside the microscope and show that, relative to the original LPP, it increases information transfer at low spatial frequencies while suppressing ghost images formed by Kapitza-Dirac diffraction. We also present a simple acquisition scheme, enabled by the XLPP, which further suppresses ghosts. Finally, we discuss practical considerations of XLPP design and show experimental results from a prototype. The results of this study chart the course for future developments of LPP hardware."}],"oa_version":"Published Version","DOAJ_listed":"1","day":"05","ddc":["530"],"tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"article_type":"original","date_updated":"2026-08-03T06:49:11Z","OA_place":"publisher","quality_controlled":"1","status":"public","title":"Crossed laser phase plates for transmission electron microscopy","department":[{"_id":"MiLe"}],"article_number":"7199","author":[{"last_name":"Petrov","full_name":"Petrov, Petar N","id":"b1d6732d-8cb6-11f0-baab-bd460ee3a287","first_name":"Petar N"},{"last_name":"Zhang","full_name":"Zhang, Jessie T.","first_name":"Jessie T."},{"first_name":"Jeremy J.","full_name":"Axelrod, Jeremy J.","last_name":"Axelrod"},{"full_name":"Olshin, Pavel K.","last_name":"Olshin","first_name":"Pavel K."},{"last_name":"Müller","full_name":"Müller, Holger","first_name":"Holger"}],"article_processing_charge":"Yes","scopus_import":"1","date_created":"2026-08-02T22:01:51Z","publisher":"Springer Nature","das_tickbox":"1","language":[{"iso":"eng"}],"_id":"22613","publication_status":"published","PlanS_conform":"1","oa":1,"has_accepted_license":"1","OA_type":"gold","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","volume":17,"file_date_updated":"2026-08-03T06:48:08Z","year":"2026","publication":"Nature Communications","supplementarymaterial":"yes","intvolume":"        17"},{"doi":"10.1017/etds.2026.10324","type":"journal_article","citation":{"mla":"Kebis, Pavol, et al. “Transcendence for Pisot Morphic Words over an Algebraic Base.” <i>Ergodic Theory and Dynamical Systems</i>, Cambridge University Press, 2026, pp. 1–22, doi:<a href=\"https://doi.org/10.1017/etds.2026.10324\">10.1017/etds.2026.10324</a>.","ieee":"P. Kebis, F. LUCA, J. OUAKNINE, A. SCOONES, and J. WORRELL, “Transcendence for Pisot morphic words over an algebraic base,” <i>Ergodic Theory and Dynamical Systems</i>. Cambridge University Press, pp. 1–22, 2026.","apa":"Kebis, P., LUCA, F., OUAKNINE, J., SCOONES, A., &#38; WORRELL, J. (2026). Transcendence for Pisot morphic words over an algebraic base. <i>Ergodic Theory and Dynamical Systems</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/etds.2026.10324\">https://doi.org/10.1017/etds.2026.10324</a>","chicago":"Kebis, Pavol, FLORIAN LUCA, JOEL OUAKNINE, ANDREW SCOONES, and JAMES WORRELL. “Transcendence for Pisot Morphic Words over an Algebraic Base.” <i>Ergodic Theory and Dynamical Systems</i>. Cambridge University Press, 2026. <a href=\"https://doi.org/10.1017/etds.2026.10324\">https://doi.org/10.1017/etds.2026.10324</a>.","short":"P. Kebis, F. LUCA, J. OUAKNINE, A. SCOONES, J. WORRELL, Ergodic Theory and Dynamical Systems (2026) 1–22.","ama":"Kebis P, LUCA F, OUAKNINE J, SCOONES A, WORRELL J. Transcendence for Pisot morphic words over an algebraic base. <i>Ergodic Theory and Dynamical Systems</i>. 2026:1-22. doi:<a href=\"https://doi.org/10.1017/etds.2026.10324\">10.1017/etds.2026.10324</a>","ista":"Kebis P, LUCA F, OUAKNINE J, SCOONES A, WORRELL J. 2026. Transcendence for Pisot morphic words over an algebraic base. Ergodic Theory and Dynamical Systems., 1–22."},"publication_identifier":{"eissn":["1469-4417"],"issn":["0143-3857"]},"month":"07","researchdata_availability":"no","date_published":"2026-07-10T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1017/etds.2026.10324"}],"arxiv":1,"abstract":[{"lang":"eng","text":"It is known that for a uniform morphic sequence 𝒖 =⟨𝑢𝑛⟩∞\r\n𝑛=0 and an algebraic number 𝛽 such that |𝛽| >1, the number [[𝒖]]𝛽 :=∑∞\r\n𝑛=0(𝑢𝑛/𝛽𝑛) either lies in ℚ⁡(𝛽) or is transcendental. In this paper, we show a similar rational–transcendental dichotomy for sequences defined by irreducible Pisot morphisms on binary alphabets. Subject to the Pisot conjecture (an irreducible Pisot morphism has pure discrete spectrum), we generalise the latter result to arbitrary finite alphabets. In certain cases, we are able to show transcendence of [[𝒖]]𝛽 outright. In particular, for 𝑘 ≥2, if 𝒖 is the k-Bonacci word, then [[𝒖]]𝛽 is transcendental."}],"oa_version":"Published Version","mathsc":["11J81","37B10","11J87"],"day":"10","tmp":{"image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"ddc":["000"],"article_type":"original","acknowledgement":"We thank the anonymous referee for identifying an error in an earlier\r\nversion of the paper. We gratefully acknowledge support from UKRI Frontier Research\r\nGrant EP/X033813/1, ERC grant DynAMiCS (101167561) and DFG grant 389792660 as\r\npart of TRR 248. J.O. is also affiliated with Keble College, Oxford as an Emmy Network\r\nfellow.","date_updated":"2026-08-03T06:17:50Z","quality_controlled":"1","OA_place":"publisher","status":"public","external_id":{"arxiv":["2405.05279"]},"page":"1-22","title":"Transcendence for Pisot morphic words over an algebraic base","department":[{"_id":"ToHe"},{"_id":"GradSch"}],"author":[{"full_name":"Kebis, Pavol","last_name":"Kebis","first_name":"Pavol","id":"2e0132b3-4e98-11ef-b275-cf7281c2802a"},{"last_name":"LUCA","full_name":"LUCA, FLORIAN","first_name":"FLORIAN"},{"first_name":"JOEL","last_name":"OUAKNINE","full_name":"OUAKNINE, JOEL"},{"full_name":"SCOONES, ANDREW","last_name":"SCOONES","first_name":"ANDREW"},{"first_name":"JAMES","last_name":"WORRELL","full_name":"WORRELL, JAMES"}],"scopus_import":"1","article_processing_charge":"Yes (in subscription journal)","date_created":"2026-07-27T05:53:25Z","das_tickbox":"0","publisher":"Cambridge University Press","language":[{"iso":"eng"}],"_id":"22406","publication_status":"epub_ahead","PlanS_conform":"1","has_accepted_license":"1","OA_type":"hybrid","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2026","supplementarymaterial":"no","publication":"Ergodic Theory and Dynamical Systems","keyword":["balanced-pair algorithm","Cobham’s conjecture","k-Bonacci words","Pisot conjecture","subspace theorem"]}]