[{"corr_author":"1","has_accepted_license":"1","abstract":[{"text":"We give an algorithm that, with high probability, maintains a (1-ε)-approximate s-t maximum flow in undirected, uncapacitated n-vertex graphs undergoing m edge insertions in Õ(m+ n F^*/ε) total update time, where F^{*} is the maximum flow on the final graph. This is the first algorithm to achieve polylogarithmic amortized update time for dense graphs (m = Ω(n²)), and more generally, for graphs where F^* = Õ(m/n). At the heart of our incremental algorithm is the residual graph sparsification technique of Karger and Levine [SICOMP '15], originally designed for computing exact maximum flows in the static setting. Our main contributions are (i) showing how to maintain such sparsifiers for approximate maximum flows in the incremental setting and (ii) generalizing the cut sparsification framework of Fung et al. [SICOMP '19] from undirected graphs to balanced directed graphs.","lang":"eng"}],"volume":334,"scopus_import":"1","quality_controlled":"1","type":"conference","file_date_updated":"2026-02-18T09:02:33Z","OA_type":"gold","doi":"10.4230/lipics.icalp.2025.91","file":[{"file_size":944824,"file_id":"21315","relation":"main_file","creator":"dernst","success":1,"date_updated":"2026-02-18T09:02:33Z","content_type":"application/pdf","date_created":"2026-02-18T09:02:33Z","checksum":"c178cf554e44204b9f64ebd9b54cf7ba","file_name":"2025_ICALP_Goranci.pdf","access_level":"open_access"}],"ec_funded":1,"license":"https://creativecommons.org/licenses/by/4.0/","department":[{"_id":"MoHe"}],"OA_place":"publisher","title":"Incremental approximate maximum flow via residual graph sparsification","publication":"52nd International Colloquium on Automata, Languages, and Programming","ddc":["000"],"publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"acknowledgement":"Monika Henzinger and A. R. Sricharan: This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation\r\nprogramme (MoDynStruct, No. 101019564) and the Austrian Science Fund (FWF) grant DOI\r\n10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE Stiftung, 2020–2024. Harald Räcke: This project has received funding from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – 498605858 and 470029389.","day":"30","publication_identifier":{"isbn":["9783959773720"]},"status":"public","language":[{"iso":"eng"}],"external_id":{"arxiv":["2502.09105"]},"arxiv":1,"intvolume":"       334","project":[{"call_identifier":"H2020","name":"The design and evaluation of modern fully dynamic data structures","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62","grant_number":"101019564"},{"name":"Efficient algorithms","grant_number":"Z00422","_id":"34def286-11ca-11ed-8bc3-da5948e1613c"},{"grant_number":"I05982","_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","name":"Static and Dynamic Hierarchical Graph Decompositions"},{"name":"Fast Algorithms for a Reactive Network Layer","grant_number":"P33775","_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe"}],"page":"91:1-91:20","alternative_title":["LIPIcs"],"date_published":"2025-06-30T00:00:00Z","_id":"21280","citation":{"apa":"Goranci, G., Henzinger, M., Räcke, H., &#38; Sricharan, A. (2025). Incremental approximate maximum flow via residual graph sparsification. In <i>52nd International Colloquium on Automata, Languages, and Programming</i> (Vol. 334, p. 91:1-91:20). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/lipics.icalp.2025.91\">https://doi.org/10.4230/lipics.icalp.2025.91</a>","chicago":"Goranci, Gramoz, Monika Henzinger, Harald Räcke, and A. Sricharan. “Incremental Approximate Maximum Flow via Residual Graph Sparsification.” In <i>52nd International Colloquium on Automata, Languages, and Programming</i>, 334:91:1-91:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/lipics.icalp.2025.91\">https://doi.org/10.4230/lipics.icalp.2025.91</a>.","ama":"Goranci G, Henzinger M, Räcke H, Sricharan A. Incremental approximate maximum flow via residual graph sparsification. In: <i>52nd International Colloquium on Automata, Languages, and Programming</i>. Vol 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:91:1-91:20. doi:<a href=\"https://doi.org/10.4230/lipics.icalp.2025.91\">10.4230/lipics.icalp.2025.91</a>","ieee":"G. Goranci, M. Henzinger, H. Räcke, and A. Sricharan, “Incremental approximate maximum flow via residual graph sparsification,” in <i>52nd International Colloquium on Automata, Languages, and Programming</i>, Aarhus, Denmark, 2025, vol. 334, p. 91:1-91:20.","mla":"Goranci, Gramoz, et al. “Incremental Approximate Maximum Flow via Residual Graph Sparsification.” <i>52nd International Colloquium on Automata, Languages, and Programming</i>, vol. 334, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 91:1-91:20, doi:<a href=\"https://doi.org/10.4230/lipics.icalp.2025.91\">10.4230/lipics.icalp.2025.91</a>.","ista":"Goranci G, Henzinger M, Räcke H, Sricharan A. 2025. Incremental approximate maximum flow via residual graph sparsification. 52nd International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 334, 91:1-91:20.","short":"G. Goranci, M. Henzinger, H. Räcke, A. Sricharan, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 91:1-91:20."},"article_processing_charge":"No","date_created":"2026-02-17T08:26:06Z","date_updated":"2026-02-18T09:06:12Z","oa":1,"oa_version":"Published Version","month":"06","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","author":[{"last_name":"Goranci","first_name":"Gramoz","full_name":"Goranci, Gramoz"},{"full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger"},{"full_name":"Räcke, Harald","last_name":"Räcke","first_name":"Harald"},{"first_name":"A.","last_name":"Sricharan","full_name":"Sricharan, A."}],"conference":{"end_date":"2025-07-11","start_date":"2025-07-08","name":"ICALP: Automata, Languages and Programming","location":"Aarhus, Denmark"},"year":"2025"},{"alternative_title":["LIPIcs"],"page":"9:1-9:17","project":[{"call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093"}],"intvolume":"       360","arxiv":1,"external_id":{"arxiv":["2508.15356"]},"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["9783959774062"]},"status":"public","year":"2025","conference":{"end_date":"2025-12-19","start_date":"2025-12-17","location":"Pilani, India","name":"FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science"},"author":[{"last_name":"Asadi","first_name":"Ali","id":"02d96aae-000e-11ec-b801-cadd0a5eefbb","full_name":"Asadi, Ali"},{"last_name":"Brice","first_name":"Leonard","full_name":"Brice, Leonard"},{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Thejaswini, K. S.","last_name":"Thejaswini","id":"3807fb92-fdc1-11ee-bb4a-b4d8a431c753","first_name":"K. S."}],"oa_version":"Published Version","month":"12","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","oa":1,"date_updated":"2026-02-19T09:39:15Z","date_created":"2026-02-17T08:27:14Z","citation":{"short":"A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.","ista":"Asadi A, Brice L, Chatterjee K, Thejaswini KS. 2025. ε-stationary Nash equilibria in multi-player stochastic graph games. 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 360, 9:1-9:17.","ieee":"A. Asadi, L. Brice, K. Chatterjee, and K. S. Thejaswini, “ε-stationary Nash equilibria in multi-player stochastic graph games,” in <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, Pilani, India, 2025, vol. 360, p. 9:1-9:17.","mla":"Asadi, Ali, et al. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17, doi:<a href=\"https://doi.org/10.4230/lipics.fsttcs.2025.9\">10.4230/lipics.fsttcs.2025.9</a>.","ama":"Asadi A, Brice L, Chatterjee K, Thejaswini KS. ε-stationary Nash equilibria in multi-player stochastic graph games. In: <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>. Vol 360. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:9:1-9:17. doi:<a href=\"https://doi.org/10.4230/lipics.fsttcs.2025.9\">10.4230/lipics.fsttcs.2025.9</a>","chicago":"Asadi, Ali, Leonard Brice, Krishnendu Chatterjee, and K. S. Thejaswini. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” In <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, 360:9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/lipics.fsttcs.2025.9\">https://doi.org/10.4230/lipics.fsttcs.2025.9</a>.","apa":"Asadi, A., Brice, L., Chatterjee, K., &#38; Thejaswini, K. S. (2025). ε-stationary Nash equilibria in multi-player stochastic graph games. In <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i> (Vol. 360, p. 9:1-9:17). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/lipics.fsttcs.2025.9\">https://doi.org/10.4230/lipics.fsttcs.2025.9</a>"},"article_processing_charge":"Yes","_id":"21281","date_published":"2025-12-09T00:00:00Z","quality_controlled":"1","type":"conference","volume":360,"abstract":[{"lang":"eng","text":"A strategy profile in a multi-player game is a Nash equilibrium if no player can unilaterally deviate to achieve a strictly better payoff. A profile is an ε-Nash equilibrium if no player can gain more than ε by unilaterally deviating from their strategy. In this work, we use ε-Nash equilibria to approximate the computation of Nash equilibria. Specifically, we focus on turn-based, multiplayer stochastic games played on graphs, where players are restricted to stationary strategies - strategies that use randomness but not memory.\r\nThe problem of deciding the constrained existence of stationary Nash equilibria - where each player’s payoff must lie within a given interval - is known to be ∃ℝ-complete in such a setting (Hansen and Sølvsten, 2020). We extend this line of work to stationary ε-Nash equilibria and present an algorithm that solves the following promise problem: given a game with a Nash equilibrium satisfying the constraints, compute an ε-Nash equilibrium that ε-satisfies those same constraints - satisfies the constraints up to an ε additive error. Our algorithm runs in FNP^NP time.\r\nTo achieve this, we first show that if a constrained Nash equilibrium exists, then one exists where the non-zero probabilities are at least an inverse of a double-exponential in the input. We further prove that such a strategy can be encoded using floating-point representations, as in the work of Frederiksen and Miltersen (2013), which finally gives us our FNP^NP algorithm. \r\nWe further show that the decision version of the promise problem is NP-hard. Finally, we show a partial tightness result by proving a lower bound for such techniques: if a constrained Nash equilibrium exists, then there must be one where the probabilities in the strategies are double-exponentially small."}],"has_accepted_license":"1","corr_author":"1","acknowledgement":"This work is a part of project VAMOS that has received funding from the European\r\nResearch Council (ERC), grant agreement No 101020093.\r\n","day":"09","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","ddc":["000"],"publication":"45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science","title":"ε-stationary Nash equilibria in multi-player stochastic graph games","OA_place":"publisher","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"file":[{"success":1,"creator":"dernst","file_name":"2025_FSTTCS_Asadi.pdf","date_updated":"2026-02-18T09:13:25Z","checksum":"a66343e3ccc4a9cc5bc699c03d5764ff","date_created":"2026-02-18T09:13:25Z","content_type":"application/pdf","access_level":"open_access","file_size":1054007,"file_id":"21316","relation":"main_file"}],"ec_funded":1,"doi":"10.4230/lipics.fsttcs.2025.9","OA_type":"gold","file_date_updated":"2026-02-18T09:13:25Z"},{"year":"2025","article_type":"original","author":[{"last_name":"Galiullin","first_name":"Ilkham","full_name":"Galiullin, Ilkham"},{"full_name":"Rodriguez, Antonio C.","first_name":"Antonio C.","last_name":"Rodriguez"},{"first_name":"Kareem","last_name":"El-Badry","full_name":"El-Badry, Kareem"},{"orcid":"0000-0002-4770-5388","full_name":"Caiazzo, Ilaria","last_name":"Caiazzo","first_name":"Ilaria","id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d"},{"full_name":"Szkody, Paula","last_name":"Szkody","first_name":"Paula"},{"full_name":"Nagarajan, Pranav","first_name":"Pranav","last_name":"Nagarajan"},{"full_name":"Whitebook, Samuel","first_name":"Samuel","last_name":"Whitebook"}],"publisher":"IOP Publishing","oa_version":"Published Version","month":"09","date_updated":"2026-02-19T07:27:01Z","date_created":"2026-02-18T10:17:04Z","oa":1,"DOAJ_listed":"1","article_processing_charge":"Yes","citation":{"mla":"Galiullin, Ilkham, et al. “Optical Spectroscopy of the Most Compact Accreting Binary Harboring a Magnetic White Dwarf and a Hydrogen-Rich Donor.” <i>The Astrophysical Journal Letters</i>, vol. 990, no. 2, L57, IOP Publishing, 2025, doi:<a href=\"https://doi.org/10.3847/2041-8213/adff82\">10.3847/2041-8213/adff82</a>.","ieee":"I. Galiullin <i>et al.</i>, “Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor,” <i>The Astrophysical Journal Letters</i>, vol. 990, no. 2. IOP Publishing, 2025.","ama":"Galiullin I, Rodriguez AC, El-Badry K, et al. Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. <i>The Astrophysical Journal Letters</i>. 2025;990(2). doi:<a href=\"https://doi.org/10.3847/2041-8213/adff82\">10.3847/2041-8213/adff82</a>","chicago":"Galiullin, Ilkham, Antonio C. Rodriguez, Kareem El-Badry, Ilaria Caiazzo, Paula Szkody, Pranav Nagarajan, and Samuel Whitebook. “Optical Spectroscopy of the Most Compact Accreting Binary Harboring a Magnetic White Dwarf and a Hydrogen-Rich Donor.” <i>The Astrophysical Journal Letters</i>. IOP Publishing, 2025. <a href=\"https://doi.org/10.3847/2041-8213/adff82\">https://doi.org/10.3847/2041-8213/adff82</a>.","apa":"Galiullin, I., Rodriguez, A. C., El-Badry, K., Caiazzo, I., Szkody, P., Nagarajan, P., &#38; Whitebook, S. (2025). Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. <i>The Astrophysical Journal Letters</i>. IOP Publishing. <a href=\"https://doi.org/10.3847/2041-8213/adff82\">https://doi.org/10.3847/2041-8213/adff82</a>","short":"I. Galiullin, A.C. Rodriguez, K. El-Badry, I. Caiazzo, P. Szkody, P. Nagarajan, S. Whitebook, The Astrophysical Journal Letters 990 (2025).","ista":"Galiullin I, Rodriguez AC, El-Badry K, Caiazzo I, Szkody P, Nagarajan P, Whitebook S. 2025. Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. The Astrophysical Journal Letters. 990(2), L57."},"date_published":"2025-09-08T00:00:00Z","_id":"21317","intvolume":"       990","article_number":"L57","arxiv":1,"issue":"2","external_id":{"arxiv":["2508.20170"]},"status":"public","publication_identifier":{"eissn":["2041-8213"],"issn":["2041-8205"]},"PlanS_conform":"1","language":[{"iso":"eng"}],"day":"08","acknowledgement":"Based on observations obtained with the Samuel Oschin Telescope 48 inch and the 60 inch Telescope at the Palomar Observatory as part of the Zwicky Transient Facility project. ZTF is supported by the National Science Foundation under grants No. AST-1440341 and AST-2034437 and a collaboration including current partners Caltech, IPAC, the Weizmann Institute of Science, the Oskar Klein Center at Stockholm University, the University of Maryland, Deutsches Elektronen-Synchrotron and Humboldt University, the TANGO Consortium of Taiwan, the University of Wisconsin at Milwaukee, Trinity College Dublin, Lawrence Livermore National Laboratories, IN2P3, University of Warwick, Ruhr University Bochum, Northwestern University and former partners the University of Washington, Los Alamos National Laboratories, and Lawrence Berkeley National Laboratories. Operations are conducted by COO, IPAC, and UW. This work has made use of data from the European Space Agency (ESA) mission Gaia (https://www.cosmos.esa.int/gaia), processed by the Gaia Data Processing and Analysis Consortium (DPAC; https://www.cosmos.esa.int/web/gaia/dpac/consortium). Funding for the DPAC has been provided by national institutions, in particular the institutions participating in the Gaia Multilateral Agreement. Some of the data presented herein were obtained at Keck Observatory, which is a private 501(c)3 nonprofit organization operated as a scientific partnership among the California Institute of Technology, the University of California, and the National Aeronautics and Space Administration. The Observatory was made possible by the generous financial support of the W. M. Keck Foundation. We wish to recognize and acknowledge the very significant cultural role and reverence that the summit of Maunakea has always had within the Native Hawaiian community. We are most fortunate to have had the opportunity to conduct observations from this mountain. We are grateful to the staff of the Palomar and Keck Observatories for their work in helping us carry out our observations.\r\n\r\nI.G. acknowledges support from Kazan Federal University. A.C.R. acknowledges support from the National Science Foundation via an NSF Graduate Research Fellowship. We thank the anonymous referee for useful comments and suggestions, which contributed to the improvement of this manuscript.","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"The Astrophysical Journal Letters","title":"Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor","ddc":["520"],"OA_place":"publisher","department":[{"_id":"IlCa"}],"file":[{"file_size":3772189,"relation":"main_file","file_id":"21329","creator":"dernst","success":1,"access_level":"open_access","content_type":"application/pdf","file_name":"2025_AstrophysicalJournal_Galiullin.pdf","checksum":"f76556d129aa0e9facc85602b0b5b54d","date_updated":"2026-02-19T07:24:10Z","date_created":"2026-02-19T07:24:10Z"}],"doi":"10.3847/2041-8213/adff82","OA_type":"gold","file_date_updated":"2026-02-19T07:24:10Z","scopus_import":"1","quality_controlled":"1","type":"journal_article","volume":990,"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Accreting white dwarfs (WDs) in close binary systems, commonly known as cataclysmic variables (CVs), with orbital periods below the canonical period minimum (≈80 minutes) are rare. Such short periods can only be reached if the donor star in the CV is either significantly evolved before initiating mass transfer to the WD or is metal-poor. We present optical photometry and spectroscopy of Gaia19bxc, a high-amplitude variable identified as a polar CV with an exceptionally short orbital period of 64.42 minutes—well below the canonical CV period minimum. High-speed photometry confirms persistent double-peaked variability consistent with cyclotron beaming, thus indicating the presence of a magnetic WD. Phase-resolved Keck/Low-Resolution Imaging Spectrometer (LRIS) spectroscopy reveals strong hydrogen and helium emission lines but no donor features, indicating the accretor is a magnetic WD and the donor is hydrogen-rich, but cold and faint. The absence of a detectable donor and the low inferred temperature (≲3500 K) disfavor an evolved donor scenario. Instead, the short period and the system’s halo-like kinematics suggest Gaia19bxc may be the first known metal-poor polar. Because metal-poor donors are more compact than solar-metallicity donors of the same mass, they can reach shorter minimum periods. Gaia19bxc is one of only a handful of known metal-poor CVs below the canonical period minimum and has the shortest period of any such magnetic system discovered to date."}]},{"quality_controlled":"1","type":"journal_article","volume":135,"abstract":[{"lang":"eng","text":"Matter waves have been observed in double-slit experiments with microscopic objects, such as atoms or molecules. The wave function describing the motion of these objects must extend over a distance comparable to the slit separation, much larger than the characteristic size of the objects. Preparing such states for more massive objects, such as mechanical oscillators, remains an outstanding challenge. Here we delocalize the quantum ground state of an optically levitated nanosphere by modulating the stiffness of the confining potential. We show a more than threefold increase of the initial coherence length, which corresponds to mechanical momentum squeezing of more than 7 dB. Our work is a stepping stone toward the generation of coherence lengths comparable to the object size, a crucial regime for macroscopic quantum experiments."}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2408.01264","open_access":"1"}],"day":"19","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","publication":"Physical Review Letters","title":"Quantum delocalization of a levitated nanoparticle","department":[{"_id":"JoFi"}],"OA_place":"repository","doi":"10.1103/2yzc-fsm3","pmid":1,"OA_type":"green","intvolume":"       135","arxiv":1,"article_number":"083601","external_id":{"arxiv":["2408.01264"],"pmid":["40929305"]},"issue":"8","language":[{"iso":"eng"}],"status":"public","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"year":"2025","article_type":"original","author":[{"last_name":"Rossi","first_name":"M.","full_name":"Rossi, M."},{"full_name":"Militaru, Andrei","id":"d67706f8-8eb1-11ee-ad1b-9c30dfa19e0b","first_name":"Andrei","last_name":"Militaru"},{"first_name":"N.","last_name":"Carlon Zambon","full_name":"Carlon Zambon, N."},{"full_name":"Riera-Campeny, A.","last_name":"Riera-Campeny","first_name":"A."},{"first_name":"O.","last_name":"Romero-Isart","full_name":"Romero-Isart, O."},{"full_name":"Frimmer, M.","first_name":"M.","last_name":"Frimmer"},{"full_name":"Novotny, L.","first_name":"L.","last_name":"Novotny"}],"month":"08","publisher":"American Physical Society","oa_version":"Preprint","oa":1,"date_updated":"2026-02-24T07:03:57Z","date_created":"2026-02-18T10:19:30Z","citation":{"ista":"Rossi M, Militaru A, Carlon Zambon N, Riera-Campeny A, Romero-Isart O, Frimmer M, Novotny L. 2025. Quantum delocalization of a levitated nanoparticle. Physical Review Letters. 135(8), 083601.","short":"M. Rossi, A. Militaru, N. Carlon Zambon, A. Riera-Campeny, O. Romero-Isart, M. Frimmer, L. Novotny, Physical Review Letters 135 (2025).","chicago":"Rossi, M., Andrei Militaru, N. Carlon Zambon, A. Riera-Campeny, O. Romero-Isart, M. Frimmer, and L. Novotny. “Quantum Delocalization of a Levitated Nanoparticle.” <i>Physical Review Letters</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/2yzc-fsm3\">https://doi.org/10.1103/2yzc-fsm3</a>.","apa":"Rossi, M., Militaru, A., Carlon Zambon, N., Riera-Campeny, A., Romero-Isart, O., Frimmer, M., &#38; Novotny, L. (2025). Quantum delocalization of a levitated nanoparticle. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/2yzc-fsm3\">https://doi.org/10.1103/2yzc-fsm3</a>","ieee":"M. Rossi <i>et al.</i>, “Quantum delocalization of a levitated nanoparticle,” <i>Physical Review Letters</i>, vol. 135, no. 8. American Physical Society, 2025.","mla":"Rossi, M., et al. “Quantum Delocalization of a Levitated Nanoparticle.” <i>Physical Review Letters</i>, vol. 135, no. 8, 083601, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/2yzc-fsm3\">10.1103/2yzc-fsm3</a>.","ama":"Rossi M, Militaru A, Carlon Zambon N, et al. Quantum delocalization of a levitated nanoparticle. <i>Physical Review Letters</i>. 2025;135(8). doi:<a href=\"https://doi.org/10.1103/2yzc-fsm3\">10.1103/2yzc-fsm3</a>"},"article_processing_charge":"No","_id":"21318","date_published":"2025-08-19T00:00:00Z"},{"arxiv":1,"intvolume":"       334","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020"}],"alternative_title":["LIPIcs"],"publication_identifier":{"isbn":["9783959773720"]},"status":"public","language":[{"iso":"eng"}],"external_id":{"arxiv":["2407.11752"]},"oa_version":"Published Version","month":"06","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","author":[{"last_name":"Giambartolomei","first_name":"Giordano","full_name":"Giambartolomei, Giordano"},{"last_name":"Mallmann-Trenn","first_name":"Frederik","full_name":"Mallmann-Trenn, Frederik"},{"orcid":"0000-0001-5103-038X","full_name":"Saona Urmeneta, Raimundo J","last_name":"Saona Urmeneta","first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425"}],"conference":{"end_date":"2025-07-11","start_date":"2025-07-08","name":"ICALP: Automata, Languages and Programming","location":"Aarhus, Denmark"},"year":"2025","date_published":"2025-06-30T00:00:00Z","_id":"21320","article_processing_charge":"No","citation":{"apa":"Giambartolomei, G., Mallmann-Trenn, F., &#38; Saona Urmeneta, R. J. (2025). IID prophet inequality with random horizon: Going beyond increasing hazard rates. In <i>52nd International Colloquium on Automata, Languages, and Programming</i> (Vol. 334). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.87\">https://doi.org/10.4230/LIPIcs.ICALP.2025.87</a>","chicago":"Giambartolomei, Giordano, Frederik Mallmann-Trenn, and Raimundo J Saona Urmeneta. “IID Prophet Inequality with Random Horizon: Going beyond Increasing Hazard Rates.” In <i>52nd International Colloquium on Automata, Languages, and Programming</i>, Vol. 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.87\">https://doi.org/10.4230/LIPIcs.ICALP.2025.87</a>.","ama":"Giambartolomei G, Mallmann-Trenn F, Saona Urmeneta RJ. IID prophet inequality with random horizon: Going beyond increasing hazard rates. In: <i>52nd International Colloquium on Automata, Languages, and Programming</i>. Vol 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.87\">10.4230/LIPIcs.ICALP.2025.87</a>","ieee":"G. Giambartolomei, F. Mallmann-Trenn, and R. J. Saona Urmeneta, “IID prophet inequality with random horizon: Going beyond increasing hazard rates,” in <i>52nd International Colloquium on Automata, Languages, and Programming</i>, Aarhus, Denmark, 2025, vol. 334.","mla":"Giambartolomei, Giordano, et al. “IID Prophet Inequality with Random Horizon: Going beyond Increasing Hazard Rates.” <i>52nd International Colloquium on Automata, Languages, and Programming</i>, vol. 334, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.87\">10.4230/LIPIcs.ICALP.2025.87</a>.","ista":"Giambartolomei G, Mallmann-Trenn F, Saona Urmeneta RJ. 2025. IID prophet inequality with random horizon: Going beyond increasing hazard rates. 52nd International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 334.","short":"G. Giambartolomei, F. Mallmann-Trenn, R.J. Saona Urmeneta, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025."},"date_created":"2026-02-18T10:44:14Z","date_updated":"2026-02-19T07:43:29Z","oa":1,"volume":334,"quality_controlled":"1","type":"conference","has_accepted_license":"1","abstract":[{"text":"Prophet inequalities are a central object of study in optimal stopping theory. In the iid model, a gambler sees values in an online fashion, sampled independently from a given distribution. Upon observing each value, the gambler either accepts it as a reward, or irrevocably rejects it and proceeds to observe the next value. The goal of the gambler, who cannot see the future, is to maximise the expected value of the reward while competing against the expectation of a prophet (the offline maximum). In other words, one seeks to maximise the gambler-to-prophet ratio of the expectations. \r\nThis model has been studied with infinite, finite and unknown number of values. When the gambler faces a random number of values, the model is said to have a random horizon. We consider the model in which the gambler is given a priori knowledge of the horizon’s distribution. Alijani et al. (2020) designed a single-threshold algorithm achieving a ratio of 1/2 when the random horizon has an increasing hazard rate and is independent of the values. We prove that with a single threshold, a ratio of 1/2 is actually achievable for several larger classes of horizon distributions, with the largest being known as the 𝒢 class in reliability theory. Moreover, we show that this does not extend to its dual, the  ̅𝒢 class (which includes the decreasing hazard rate class), while it can be extended to low-variance horizons. Finally, we construct the first example of a family of horizons, for which multiple thresholds are necessary to achieve a nonzero ratio. We establish that the Secretary Problem optimal stopping rule provides one such algorithm, paving the way towards the study of the model beyond single-threshold algorithms.","lang":"eng"}],"ddc":["000"],"title":"IID prophet inequality with random horizon: Going beyond increasing hazard rates","publication":"52nd International Colloquium on Automata, Languages, and Programming","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"30","acknowledgement":"We would like to thank José Correa for his precious advice, Bruno Ziliotto and Vasilis Livanos for early conversations. Giambartolomei, Giordano: EPSRC grants EP/W005573/1 and EP/X021696/1. Mallmann-Trenn, Frederik: EPSRC grant EP/W005573/1. Saona, Raimundo: ERC grant CoG 863818 (ForM-SMArt), ANID Chile grant ACT210005, French Agence Nationale de la Recherche (ANR) grant ANR-21-CE40-0020 (CONVERGENCE), and Austrian Science Fund (FWF) grant 10.55776/COE12.","OA_type":"gold","file_date_updated":"2026-02-19T07:41:55Z","doi":"10.4230/LIPIcs.ICALP.2025.87","file":[{"file_id":"21331","relation":"main_file","file_size":876167,"content_type":"application/pdf","date_updated":"2026-02-19T07:41:55Z","date_created":"2026-02-19T07:41:55Z","file_name":"2025_ICALP_Giambartolomei.pdf","checksum":"960110956c26a5cefadde8e47888bfbe","access_level":"open_access","success":1,"creator":"dernst"}],"ec_funded":1,"department":[{"_id":"KrCh"}],"OA_place":"publisher"},{"doi":"10.26599/nr.2025.94907072","OA_type":"hybrid","file_date_updated":"2026-02-19T07:31:15Z","OA_place":"publisher","department":[{"_id":"MaIb"}],"file":[{"file_size":27740524,"relation":"main_file","file_id":"21330","success":1,"creator":"dernst","access_level":"open_access","file_name":"2025_NanoResearch_Xiao.pdf","date_created":"2026-02-19T07:31:15Z","content_type":"application/pdf","date_updated":"2026-02-19T07:31:15Z","checksum":"aa531f1363538fece12ecfad83456b65"}],"publication":"Nano Research","title":"Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>","ddc":["540"],"day":"01","acknowledgement":"Y. L. acknowledges funding from the National Natural Science Foundation of China (No. 22209034), the Innovation and Entrepreneurship Project of Overseas Returnees in Anhui Province (No. 2022LCX002), and the Fundamental Research Funds for the Central Universities (No. JZ2024HGTB0239). K. H. L. acknowledges financial support from the National Natural Science Foundation of China (No. 22208293). M. I. acknowledge financial support from ISTA and the Werner Siemens Foundation. M. H. acknowledges funding from Australian Research Council (No. FT230100316). L. L. H. and S. H. W. acknowledge the Fundamental Research Funds for the Central Universities (Nos. JZ2023HGTA0179 and JZ2024HGTA0170).","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","abstract":[{"text":"The development of cost-effective and high-performance thermoelectric (TE) materials faces significant challenges, particularly in improving the properties of promising copper-based TE materials such as Cu3SbSe4, which are limited by their poor electrical conductivity. This study presents a detailed comparative analysis of three strategies to promote the electrical transport properties of Cu3SbSe4 through Sn doping: conventional Sn atomic doping, surface treatment with SnSe molecular complexes, and blending with SnSe nanocrystals to form nanocomposites, all followed by annealing and hot pressing under identical conditions. Our results reveal that a surface treatment using SnSe molecular complexes significantly enhances TE performance over atomic doping and nanocomposite formation, achieving a power factor of 1.1 mW·m−1·K−2 and a maximum dimensionless figure of merit zT value of 0.80 at 640 K, representing an excellent performance among Cu3SbSe4-based materials produced via solution-processing methods. This work highlights the effectiveness of surface engineering in optimizing the transport properties of nanostructured materials, demonstrating the versatility and cost-efficiency of solution-based technologies in the development of advanced nanostructured materials for application in the field of TE among others.","lang":"eng"}],"type":"journal_article","volume":18,"citation":{"ista":"Xiao S, Zhao M, Li M, Wan S, Genç A, Huang L, Chen L, Zhang Y, Ibáñez M, Lim KH, Hong M, Liu Y, Cabot A. 2025. Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>. Nano Research. 18(1), 94907072.","short":"S. Xiao, M. Zhao, M. Li, S. Wan, A. Genç, L. Huang, L. Chen, Y. Zhang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, A. Cabot, Nano Research 18 (2025).","chicago":"Xiao, Shanshan, Mingjun Zhao, Mingquan Li, Shanhong Wan, Aziz Genç, Lulu Huang, Lei Chen, et al. “Band and Defect Engineering in Solution-Processed Nanocrystal Building Blocks to Promote Transport Properties in Nanomaterials: The Case of Thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>.” <i>Nano Research</i>. Tsinghua University Press, 2025. <a href=\"https://doi.org/10.26599/nr.2025.94907072\">https://doi.org/10.26599/nr.2025.94907072</a>.","apa":"Xiao, S., Zhao, M., Li, M., Wan, S., Genç, A., Huang, L., … Cabot, A. (2025). Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>. <i>Nano Research</i>. Tsinghua University Press. <a href=\"https://doi.org/10.26599/nr.2025.94907072\">https://doi.org/10.26599/nr.2025.94907072</a>","ieee":"S. Xiao <i>et al.</i>, “Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>,” <i>Nano Research</i>, vol. 18, no. 1. Tsinghua University Press, 2025.","mla":"Xiao, Shanshan, et al. “Band and Defect Engineering in Solution-Processed Nanocrystal Building Blocks to Promote Transport Properties in Nanomaterials: The Case of Thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>.” <i>Nano Research</i>, vol. 18, no. 1, 94907072, Tsinghua University Press, 2025, doi:<a href=\"https://doi.org/10.26599/nr.2025.94907072\">10.26599/nr.2025.94907072</a>.","ama":"Xiao S, Zhao M, Li M, et al. Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>. <i>Nano Research</i>. 2025;18(1). doi:<a href=\"https://doi.org/10.26599/nr.2025.94907072\">10.26599/nr.2025.94907072</a>"},"article_processing_charge":"Yes (in subscription journal)","date_published":"2025-01-01T00:00:00Z","_id":"21321","date_created":"2026-02-18T10:45:06Z","date_updated":"2026-02-19T07:32:22Z","oa":1,"author":[{"full_name":"Xiao, Shanshan","last_name":"Xiao","first_name":"Shanshan"},{"full_name":"Zhao, Mingjun","last_name":"Zhao","first_name":"Mingjun"},{"last_name":"Li","first_name":"Mingquan","full_name":"Li, Mingquan"},{"last_name":"Wan","first_name":"Shanhong","full_name":"Wan, Shanhong"},{"last_name":"Genç","first_name":"Aziz","full_name":"Genç, Aziz"},{"last_name":"Huang","first_name":"Lulu","full_name":"Huang, Lulu"},{"full_name":"Chen, Lei","first_name":"Lei","last_name":"Chen"},{"first_name":"Yu","last_name":"Zhang","full_name":"Zhang, Yu"},{"full_name":"Ibáñez, Maria","orcid":"0000-0001-5013-2843","last_name":"Ibáñez","id":"43C61214-F248-11E8-B48F-1D18A9856A87","first_name":"Maria"},{"full_name":"Lim, Khak Ho","first_name":"Khak Ho","last_name":"Lim"},{"full_name":"Hong, Min","last_name":"Hong","first_name":"Min"},{"full_name":"Liu, Yu","first_name":"Yu","last_name":"Liu"},{"full_name":"Cabot, Andreu","last_name":"Cabot","first_name":"Andreu"}],"month":"01","oa_version":"Published Version","publisher":"Tsinghua University Press","year":"2025","article_type":"original","status":"public","publication_identifier":{"issn":["1998-0124"],"eissn":["1998-0000"]},"PlanS_conform":"1","language":[{"iso":"eng"}],"issue":"1","intvolume":"        18","article_number":"94907072","project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}]},{"OA_type":"green","doi":"10.1007/978-3-032-01887-8_19","OA_place":"repository","department":[{"_id":"KrPi"}],"title":"On extractability of the KZG family of polynomial commitment schemes","publication":"45th Annual International Cryptology Conference","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"Juraj Belohorec, Pavel Hubáček, and Kristýna Mašková were partially supported by the Academy of Sciences of the Czech Republic (RVO 67985840), Czech Science Foundation GAČR grant No. 25-16311S, and by Zircuit. Pavel Dvořák was supported by Czech Science Foundation GAČR grant No. 22-14872O. Juraj Belohorec and Kristýna Mašková were supported by the grant SVV–2025–260822.","day":"17","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/514"}],"abstract":[{"lang":"eng","text":"We present a unifying framework for proving the knowledge-soundness of KZG-like polynomial commitment schemes, encompassing both univariate and multivariate variants. By conceptualizing the proof technique of Lipmaa, Parisella, and Siim for the univariate KZG scheme (EUROCRYPT 2024), we present tools and falsifiable hardness assumptions that permit black-box extraction of the multivariate KZG scheme. Central to our approach is the notion of a canonical Proof-of-Knowledge of a Polynomial (PoKoP) of a polynomial commitment scheme, which we use to capture the extractability notion required in constructions of practical zk-SNARKs. We further present an explicit polynomial decomposition lemma for multivariate polynomials, enabling a more direct analysis of interpolating extractors and bridging the gap between univariate and multivariate commitments. Our results provide the first standard-model proofs of extractability for the multivariate KZG scheme and many of its variants under falsifiable assumptions."}],"volume":16005,"quality_controlled":"1","type":"conference","date_published":"2025-08-17T00:00:00Z","_id":"21323","article_processing_charge":"No","citation":{"short":"J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, M. Pastyřík, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 584–616.","ista":"Belohorec J, Dvořák P, Hoffmann C, Hubáček P, Mašková K, Pastyřík M. 2025. On extractability of the KZG family of polynomial commitment schemes. 45th Annual International Cryptology Conference. CRYPTO: International Cryptology Conference, LNCS, vol. 16005, 584–616.","ama":"Belohorec J, Dvořák P, Hoffmann C, Hubáček P, Mašková K, Pastyřík M. On extractability of the KZG family of polynomial commitment schemes. In: <i>45th Annual International Cryptology Conference</i>. Vol 16005. Springer Nature; 2025:584-616. doi:<a href=\"https://doi.org/10.1007/978-3-032-01887-8_19\">10.1007/978-3-032-01887-8_19</a>","mla":"Belohorec, Juraj, et al. “On Extractability of the KZG Family of Polynomial Commitment Schemes.” <i>45th Annual International Cryptology Conference</i>, vol. 16005, Springer Nature, 2025, pp. 584–616, doi:<a href=\"https://doi.org/10.1007/978-3-032-01887-8_19\">10.1007/978-3-032-01887-8_19</a>.","ieee":"J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, and M. Pastyřík, “On extractability of the KZG family of polynomial commitment schemes,” in <i>45th Annual International Cryptology Conference</i>, Santa Barbara, CA, United States, 2025, vol. 16005, pp. 584–616.","apa":"Belohorec, J., Dvořák, P., Hoffmann, C., Hubáček, P., Mašková, K., &#38; Pastyřík, M. (2025). On extractability of the KZG family of polynomial commitment schemes. In <i>45th Annual International Cryptology Conference</i> (Vol. 16005, pp. 584–616). Santa Barbara, CA, United States: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-032-01887-8_19\">https://doi.org/10.1007/978-3-032-01887-8_19</a>","chicago":"Belohorec, Juraj, Pavel Dvořák, Charlotte Hoffmann, Pavel Hubáček, Kristýna Mašková, and Martin Pastyřík. “On Extractability of the KZG Family of Polynomial Commitment Schemes.” In <i>45th Annual International Cryptology Conference</i>, 16005:584–616. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-032-01887-8_19\">https://doi.org/10.1007/978-3-032-01887-8_19</a>."},"date_created":"2026-02-18T10:59:58Z","date_updated":"2026-02-19T07:50:33Z","oa":1,"oa_version":"Preprint","month":"08","publisher":"Springer Nature","author":[{"full_name":"Belohorec, Juraj","first_name":"Juraj","last_name":"Belohorec"},{"full_name":"Dvořák, Pavel","first_name":"Pavel","last_name":"Dvořák"},{"orcid":"0000-0003-2027-5549","full_name":"Hoffmann, Charlotte","first_name":"Charlotte","id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","last_name":"Hoffmann"},{"full_name":"Hubáček, Pavel","first_name":"Pavel","last_name":"Hubáček"},{"last_name":"Mašková","first_name":"Kristýna","full_name":"Mašková, Kristýna"},{"first_name":"Martin","last_name":"Pastyřík","full_name":"Pastyřík, Martin"}],"conference":{"location":"Santa Barbara, CA, United States","name":"CRYPTO: International Cryptology Conference","end_date":"2025-08-221","start_date":"2025-08-17"},"year":"2025","status":"public","publication_identifier":{"eissn":["1611-3349"],"eisbn":["9783032018878"],"isbn":["9783032018861"],"issn":["0302-9743"]},"language":[{"iso":"eng"}],"intvolume":"     16005","page":"584-616","alternative_title":["LNCS"]},{"type":"conference","quality_controlled":"1","volume":267,"abstract":[{"lang":"eng","text":"Learning models have been shown to rely on spurious correlations between non-predictive features and the associated labels in the training data, with negative implications on robustness, bias and fairness. In this work, we provide a statistical characterization of this phenomenon for high-dimensional regression, when the data contains a predictive core feature x and a spurious feature y. Specifically, we quantify the amount of spurious correlations C learned via linear regression, in terms of the data covariance and the strength λ of the ridge regularization. As a consequence, we first capture the simplicity of y through the spectrum of its covariance, and its correlation with x through the Schur complement of the full data covariance. Next, we prove a trade-off between C and the in-distribution test loss L, by showing that the value of λ that minimizes L lies in an interval where C is increasing. Finally, we investigate the effects of over-parameterization via the random features model, by showing its equivalence to regularized linear regression. Our theoretical results are supported by numerical experiments on Gaussian, Color-MNIST, and CIFAR-10 datasets."}],"has_accepted_license":"1","corr_author":"1","ddc":["000"],"publication":"Proceedings of the 42nd International Conference on Machine Learning","title":"Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization","acknowledgement":"Marco Mondelli is funded by the European Union (ERC, INF2, project number 101161364). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. Simone Bombari is supported by a Google PhD fellowship. The authors would like to thank GuanWen Qiu for helpful discussions.","day":"30","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","OA_type":"gold","file_date_updated":"2026-02-19T08:04:38Z","department":[{"_id":"MaMo"}],"OA_place":"publisher","file":[{"content_type":"application/pdf","date_created":"2026-02-19T08:04:38Z","checksum":"d4ba4f7717b362ca38878f45e57bd643","date_updated":"2026-02-19T08:04:38Z","file_name":"2025_ICML_Bombari.pdf","access_level":"open_access","success":1,"creator":"dernst","file_id":"21335","relation":"main_file","file_size":887526}],"intvolume":"       267","arxiv":1,"alternative_title":["PMLR"],"page":"4839-4873","project":[{"name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","grant_number":"101161364","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf"},{"_id":"92099302-16d5-11f0-9cad-f9a785f54fbd","name":"Trustworthy Deep Learning Theory: Private Over-Parameterized Models and Robust LLMs"}],"language":[{"iso":"eng"}],"status":"public","publication_identifier":{"eissn":["2640-3498"]},"external_id":{"arxiv":["2502.01347"]},"author":[{"last_name":"Bombari","first_name":"Simone","id":"ca726dda-de17-11ea-bc14-f9da834f63aa","full_name":"Bombari, Simone"},{"orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco","first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","last_name":"Mondelli"}],"publisher":"ML Research Press","oa_version":"Published Version","month":"07","year":"2025","conference":{"name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","start_date":"2025-07-13","end_date":"2025-07-19"},"article_processing_charge":"No","citation":{"ista":"Bombari S, Mondelli M. 2025. Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 4839–4873.","short":"S. Bombari, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 4839–4873.","apa":"Bombari, S., &#38; Mondelli, M. (2025). Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization. In <i>Proceedings of the 42nd International Conference on Machine Learning</i> (Vol. 267, pp. 4839–4873). Vancouver, Canada: ML Research Press.","chicago":"Bombari, Simone, and Marco Mondelli. “Spurious Correlations in High Dimensional Regression: The Roles of Regularization, Simplicity Bias and over-Parameterization.” In <i>Proceedings of the 42nd International Conference on Machine Learning</i>, 267:4839–73. ML Research Press, 2025.","ama":"Bombari S, Mondelli M. Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization. In: <i>Proceedings of the 42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:4839-4873.","ieee":"S. Bombari and M. Mondelli, “Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization,” in <i>Proceedings of the 42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 4839–4873.","mla":"Bombari, Simone, and Marco Mondelli. “Spurious Correlations in High Dimensional Regression: The Roles of Regularization, Simplicity Bias and over-Parameterization.” <i>Proceedings of the 42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 4839–73."},"_id":"21324","date_published":"2025-07-30T00:00:00Z","oa":1,"date_updated":"2026-02-19T08:08:55Z","date_created":"2026-02-18T11:58:00Z"},{"author":[{"first_name":"Halil Alperen","last_name":"Gozeten","full_name":"Gozeten, Halil Alperen"},{"first_name":"Muhammed Emrullah","last_name":"Ildiz","full_name":"Ildiz, Muhammed Emrullah"},{"full_name":"Zhang, Xuechen","last_name":"Zhang","first_name":"Xuechen"},{"last_name":"Soltanolkotabi","first_name":"Mahdi","full_name":"Soltanolkotabi, Mahdi"},{"last_name":"Mondelli","first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco"},{"full_name":"Oymak, Samet","first_name":"Samet","last_name":"Oymak"}],"month":"11","publisher":"ML Research Press","oa_version":"Published Version","conference":{"name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","end_date":"2025-07-19","start_date":"2025-07-13"},"year":"2025","citation":{"ama":"Gozeten HA, Ildiz ME, Zhang X, Soltanolkotabi M, Mondelli M, Oymak S. Test-time training provably improves transformers as in-context learners. In: <i>Proceedings of the 42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:20266-20295.","ieee":"H. A. Gozeten, M. E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, and S. Oymak, “Test-time training provably improves transformers as in-context learners,” in <i>Proceedings of the 42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 20266–20295.","mla":"Gozeten, Halil Alperen, et al. “Test-Time Training Provably Improves Transformers as in-Context Learners.” <i>Proceedings of the 42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 20266–95.","apa":"Gozeten, H. A., Ildiz, M. E., Zhang, X., Soltanolkotabi, M., Mondelli, M., &#38; Oymak, S. (2025). Test-time training provably improves transformers as in-context learners. In <i>Proceedings of the 42nd International Conference on Machine Learning</i> (Vol. 267, pp. 20266–20295). Vancouver, Canada: ML Research Press.","chicago":"Gozeten, Halil Alperen, Muhammed Emrullah Ildiz, Xuechen Zhang, Mahdi Soltanolkotabi, Marco Mondelli, and Samet Oymak. “Test-Time Training Provably Improves Transformers as in-Context Learners.” In <i>Proceedings of the 42nd International Conference on Machine Learning</i>, 267:20266–95. ML Research Press, 2025.","short":"H.A. Gozeten, M.E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, S. Oymak, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 20266–20295.","ista":"Gozeten HA, Ildiz ME, Zhang X, Soltanolkotabi M, Mondelli M, Oymak S. 2025. Test-time training provably improves transformers as in-context learners. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 20266–20295."},"article_processing_charge":"No","date_published":"2025-11-30T00:00:00Z","_id":"21325","date_updated":"2026-02-19T08:18:24Z","date_created":"2026-02-18T12:00:44Z","oa":1,"intvolume":"       267","alternative_title":["PMLR"],"project":[{"name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","grant_number":"101161364","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf"}],"page":"20266-20295","status":"public","publication_identifier":{"eissn":["2640-3498"]},"language":[{"iso":"eng"}],"external_id":{"pmid":["41321376"]},"ddc":["000"],"title":"Test-time training provably improves transformers as in-context learners","publication":"Proceedings of the 42nd International Conference on Machine Learning","day":"30","acknowledgement":"H.A.G., M.E.I., X.Z., and S.O. were supported in part by the NSF grants CCF2046816, CCF-2403075, CCF-2008020, and the Office of Naval Research grant N000142412289.\r\nM. M. is funded by the European Union (ERC, INF2 , project number 101161364). Views and opinions expressed are, however, those of the author(s) only and do not necessarily\r\nreflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. M.S. is supported by the Packard Fellowship in Science and Engineering, a Sloan Research Fellowship in Mathematics, an NSF-CAREER under award #1846369, DARPA FastNICS program, and NSF-CIF awards #1813877 and #2008443, and NIH DP2LM014564-01. The authors also\r\nacknowledge further support from Open Philanthropy, OpenAI, Amazon Research, Google Research, and Microsoft Research.","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"file_date_updated":"2026-02-19T08:15:48Z","OA_type":"gold","OA_place":"publisher","department":[{"_id":"MaMo"}],"file":[{"access_level":"open_access","date_updated":"2026-02-19T08:15:48Z","content_type":"application/pdf","date_created":"2026-02-19T08:15:48Z","checksum":"f774f8619a0d72f3975d9cb23942a1e9","file_name":"2025_ICML_Gozeten.pdf","success":1,"creator":"dernst","relation":"main_file","file_id":"21336","file_size":471176}],"quality_controlled":"1","type":"conference","volume":267,"has_accepted_license":"1","abstract":[{"text":"Test-time training (TTT) methods explicitly update the weights of a model to adapt to the specific test instance, and they have found success in a variety of settings, including most recently language modeling and reasoning. To demystify this success, we investigate a gradient-based TTT algorithm for in-context learning, where we train a transformer model on the in-context demonstrations provided in the test prompt. Specifically, we provide a comprehensive theoretical characterization of linear transformers when the update rule is a single gradient step. Our theory (i) delineates the role of alignment between pretraining distribution and target task, (ii) demystifies how TTT can alleviate distribution shift, and (iii) quantifies the sample complexity of TTT including how it can significantly reduce the eventual sample size required for in-context learning. As our empirical contribution, we study the benefits of TTT for TabPFN, a tabular foundation model. In line with our theory, we demonstrate that TTT significantly reduces the required sample size for tabular classification (3 to 5 times fewer) unlocking substantial inference efficiency with a negligible training cost.","lang":"eng"}]},{"department":[{"_id":"MaMo"}],"OA_place":"publisher","file":[{"relation":"main_file","file_id":"21337","file_size":3994385,"access_level":"open_access","content_type":"application/pdf","date_created":"2026-02-19T08:28:22Z","date_updated":"2026-02-19T08:28:22Z","file_name":"2025_ICML_Wu.pdf","checksum":"c5ce8b1c83e33dc3a11122f4910deb67","success":1,"creator":"dernst"}],"OA_type":"gold","file_date_updated":"2026-02-19T08:28:22Z","acknowledgement":"This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/COE12. For the purpose of open access, the authors have applied a CC BY public\r\ncopyright license to any Author Accepted Manuscript version arising from this submission. The authors would like to thank Peter Sukenık for general helpful discussions and for pointing out that all the stationary points are approximately proportional in the case without entropic regularization. ","day":"30","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","ddc":["000"],"publication":"Proceedings of the 42nd International Conference on Machine Learning","title":"Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime","abstract":[{"text":"Neural Collapse is a phenomenon where the last-layer representations of a well-trained neural network converge to a highly structured geometry. In this paper, we focus on its first (and most basic) property, known as NC1: the within-class variability vanishes. While prior theoretical studies establish the occurrence of NC1 via the data-agnostic unconstrained features model, our work adopts a data-specific perspective, analyzing NC1 in a three-layer neural network, with the first two layers operating in the mean-field regime and followed by a linear layer. In particular, we establish a fundamental connection between NC1 and the loss landscape: we prove that points with small empirical loss and gradient norm (thus, close to being stationary) approximately satisfy NC1, and the closeness to NC1 is controlled by the residual loss and gradient norm. We then show that (i) gradient flow on the mean squared error converges to NC1 solutions with small empirical loss, and (ii) for well-separated data distributions, both NC1 and vanishing test loss are achieved simultaneously. This aligns with the empirical observation that NC1 emerges during training while models attain near-zero test error. Overall, our results demonstrate that NC1 arises from gradient training due to the properties of the loss landscape, and they show the co-occurrence of NC1 and small test error for certain data distributions.","lang":"eng"}],"corr_author":"1","has_accepted_license":"1","type":"conference","quality_controlled":"1","volume":267,"oa":1,"date_updated":"2026-02-19T08:30:42Z","date_created":"2026-02-18T12:02:45Z","article_processing_charge":"No","citation":{"ista":"Wu D, Mondelli M. 2025. Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 67499–67536.","short":"D. Wu, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 67499–67536.","apa":"Wu, D., &#38; Mondelli, M. (2025). Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. In <i>Proceedings of the 42nd International Conference on Machine Learning</i> (Vol. 267, pp. 67499–67536). Vancouver, Canada: ML Research Press.","chicago":"Wu, Diyuan, and Marco Mondelli. “Neural Collapse beyond the Unconstrained Features Model: Landscape, Dynamics, and Generalization in the Mean-Field Regime.” In <i>Proceedings of the 42nd International Conference on Machine Learning</i>, 267:67499–536. ML Research Press, 2025.","ama":"Wu D, Mondelli M. Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. In: <i>Proceedings of the 42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:67499-67536.","mla":"Wu, Diyuan, and Marco Mondelli. “Neural Collapse beyond the Unconstrained Features Model: Landscape, Dynamics, and Generalization in the Mean-Field Regime.” <i>Proceedings of the 42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 67499–536.","ieee":"D. Wu and M. Mondelli, “Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime,” in <i>Proceedings of the 42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 67499–67536."},"_id":"21326","date_published":"2025-07-30T00:00:00Z","year":"2025","conference":{"name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","end_date":"2025-07-19","start_date":"2025-07-13"},"author":[{"last_name":"Wu","first_name":"Diyuan","id":"1a5914c2-896a-11ed-bdf8-fb80621a0635","full_name":"Wu, Diyuan"},{"orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco","first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","last_name":"Mondelli"}],"publisher":"ML Research Press","oa_version":"Published Version","month":"07","external_id":{"arxiv":["2501.19104"]},"language":[{"iso":"eng"}],"status":"public","publication_identifier":{"eissn":["2640-3498"]},"alternative_title":["PMLR"],"page":"67499-67536","intvolume":"       267","arxiv":1},{"day":"30","acknowledgement":"This work was supported by the Israeli Science Foundation (ISF) grant number 1834/24. We acknowledge support from the Austrian Science Fund (FWF, grant numbers I5812-B and I6223) and the financial support of the Helmsley Fellowships Program for Sustainability and Health. This research uses resources of the Institute of Science and Technology Austria’s scientific computing cluster. ","publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Inverse problems with experiment-guided AlphaFold","publication":"Proceedings of the 42nd International Conference on Machine Learning","ddc":["000","540"],"department":[{"_id":"PaSc"},{"_id":"AlBr"},{"_id":"GradSch"}],"OA_place":"publisher","file":[{"creator":"dernst","success":1,"date_created":"2026-02-19T08:56:10Z","checksum":"f33230a6d59b7978d4cd72795e4e9059","file_name":"2025_ICML_Maddipatla.pdf","content_type":"application/pdf","date_updated":"2026-02-19T08:56:10Z","access_level":"open_access","file_size":1924177,"file_id":"21338","relation":"main_file"}],"OA_type":"gold","file_date_updated":"2026-02-19T08:56:10Z","quality_controlled":"1","type":"conference","volume":267,"corr_author":"1","has_accepted_license":"1","abstract":[{"lang":"eng","text":"Proteins exist as a dynamic ensemble of multiple conformations, and these motions are often crucial for their functions. However, current structure prediction methods predominantly yield a single conformation, overlooking the conformational heterogeneity revealed by diverse experimental modalities. Here, we present a framework for building experiment-grounded protein structure generative models that infer conformational ensembles consistent with measured experimental data. The key idea is to treat stateof-the-art protein structure predictors (e.g., AlphaFold3) as sequence-conditioned structural priors, and cast ensemble modeling as posterior inference of protein structures given experimental measurements. Through extensive real-data experiments, we demonstrate the generality of our method to incorporate a variety of experimental measurements. In particular, our framework uncovers previously unmodeled conformational heterogeneity from crystallographic densities, and generates high-accuracy NMR ensembles orders of magnitude faster than the status quo. Notably, we demonstrate that our ensembles outperform AlphaFold3 (Abramson et al., 2024) and sometimes better fit experimental data than publicly deposited structures to the Protein Data Bank (PDB, Burley et al. (2017)). We believe that this approach will unlock building predictive models that fully embrace experimentally observed conformational diversity."}],"conference":{"name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","end_date":"2025-07-19","start_date":"2025-07-13"},"year":"2025","author":[{"full_name":"Maddipatla, Sai A","first_name":"Sai A","id":"e957f5e5-91c9-11f0-a95f-e090f66ecb4d","last_name":"Maddipatla"},{"full_name":"Sellam, Nadav E","last_name":"Sellam","first_name":"Nadav E","id":"ef280fe0-91c9-11f0-a95f-8dea3f5bc513"},{"last_name":"Bojan","id":"11d88cf5-91ca-11f0-a95f-edf9f08f47b7","first_name":"Meital I","full_name":"Bojan, Meital I"},{"full_name":"Vedula, Sanketh","first_name":"Sanketh","id":"94f2fe44-70fa-11f0-b76b-92922c09452b","last_name":"Vedula"},{"last_name":"Schanda","first_name":"Paul","id":"7B541462-FAF6-11E9-A490-E8DFE5697425","orcid":"0000-0002-9350-7606","full_name":"Schanda, Paul"},{"first_name":"Ailie","last_name":"Marx","full_name":"Marx, Ailie"},{"orcid":"0000-0001-9699-8730","full_name":"Bronstein, Alexander","last_name":"Bronstein","first_name":"Alexander","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6"}],"publisher":"ML Research Press","oa_version":"Published Version","month":"07","date_updated":"2026-02-19T08:56:43Z","date_created":"2026-02-18T12:11:17Z","oa":1,"citation":{"chicago":"Maddipatla, Sai A, Nadav E Sellam, Meital I Bojan, Sanketh Vedula, Paul Schanda, Ailie Marx, and Alex M. Bronstein. “Inverse Problems with Experiment-Guided AlphaFold.” In <i>Proceedings of the 42nd International Conference on Machine Learning</i>, 267:42366–93. ML Research Press, 2025.","apa":"Maddipatla, S. A., Sellam, N. E., Bojan, M. I., Vedula, S., Schanda, P., Marx, A., &#38; Bronstein, A. M. (2025). Inverse problems with experiment-guided AlphaFold. In <i>Proceedings of the 42nd International Conference on Machine Learning</i> (Vol. 267, pp. 42366–42393). Vancouver, Canada: ML Research Press.","ieee":"S. A. Maddipatla <i>et al.</i>, “Inverse problems with experiment-guided AlphaFold,” in <i>Proceedings of the 42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 42366–42393.","mla":"Maddipatla, Sai A., et al. “Inverse Problems with Experiment-Guided AlphaFold.” <i>Proceedings of the 42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 42366–93.","ama":"Maddipatla SA, Sellam NE, Bojan MI, et al. Inverse problems with experiment-guided AlphaFold. In: <i>Proceedings of the 42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:42366-42393.","ista":"Maddipatla SA, Sellam NE, Bojan MI, Vedula S, Schanda P, Marx A, Bronstein AM. 2025. Inverse problems with experiment-guided AlphaFold. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 42366–42393.","short":"S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393."},"article_processing_charge":"No","date_published":"2025-07-30T00:00:00Z","_id":"21327","acknowledged_ssus":[{"_id":"ScienComp"}],"alternative_title":["PMLR"],"project":[{"grant_number":"I05812","_id":"eb9c82eb-77a9-11ec-83b8-aadd536561cf","name":"AlloSpace. The emergence and mechanisms of allostery"},{"name":"Structure and mechanism of the mitochondrial MIM insertase","_id":"bdb9578d-d553-11ed-ba76-ed5d39fce6f0","grant_number":"I06223"}],"page":"42366 - 42393","intvolume":"       267","arxiv":1,"external_id":{"arxiv":["2502.09372"]},"status":"public","publication_identifier":{"eissn":["2640-3498"]},"language":[{"iso":"eng"}]},{"abstract":[{"text":"Multi-index models provide a popular framework to investigate the learnability of functions with low-dimensional structure and, also due to their connections with neural networks, they have been object of recent intensive study. In this paper, we focus on recovering the subspace spanned by the signals via spectral estimators – a family of methods routinely used in practice, often as a warm-start for iterative algorithms. Our main technical contribution is a precise asymptotic characterization of the performance of spectral methods, when sample size and input dimension grow proportionally and the dimension p of the space to recover is fixed. Specifically, we locate the top-p eigenvalues of the spectral matrix and establish the overlaps between the corresponding eigenvectors (which give the spectral estimators) and a basis of the signal subspace. Our analysis unveils a phase transition phenomenon in which, as the sample complexity grows, eigenvalues escape from the bulk of the spectrum and, when that happens, eigenvectors recover directions of the desired subspace. The precise characterization we put forward enables the optimization of the data preprocessing, thus allowing to identify the spectral estimator that requires the minimal sample size for weak recovery.","lang":"eng"}],"corr_author":"1","has_accepted_license":"1","quality_controlled":"1","type":"conference","scopus_import":"1","volume":291,"file_date_updated":"2026-02-19T09:03:43Z","OA_type":"gold","OA_place":"publisher","department":[{"_id":"MaMo"}],"file":[{"creator":"dernst","success":1,"date_created":"2026-02-19T09:03:43Z","date_updated":"2026-02-19T09:03:43Z","content_type":"application/pdf","file_name":"2025_LearningTheory_Kovacevic.pdf","checksum":"19aa70ab4f57fb9067b6ebb99a5fd6f0","access_level":"open_access","file_size":844611,"file_id":"21339","relation":"main_file"}],"publication":"Proceedings of 38th Conference on Learning Theory","title":"Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery","ddc":["000"],"acknowledgement":"This work was done when Y. Z. was at the Institute of Science and Technology Austria. Y. Z. and\r\nM. M. are funded by the European Union (ERC, INF2, project number 101161364). Views and\r\nopinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. The authors would like to acknowledge (in alphabetical order) discussions with Yatin Dandi, Leonardo Defilippis and Bruno Loureiro concerning their parallel work (Defilippis et al., 2025).","day":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","language":[{"iso":"eng"}],"status":"public","publication_identifier":{"eissn":["2640-3498"]},"external_id":{"arxiv":["2502.01583"]},"intvolume":"       291","arxiv":1,"alternative_title":["PMLR"],"page":"3354-3404","project":[{"grant_number":"101161364","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits"}],"citation":{"ista":"Kovačević F, Yihan Z, Mondelli M. 2025. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. Proceedings of 38th Conference on Learning Theory. COLT: Conference on Learning Theory, PMLR, vol. 291, 3354–3404.","short":"F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference on Learning Theory, ML Research Press, 2025, pp. 3354–3404.","apa":"Kovačević, F., Yihan, Z., &#38; Mondelli, M. (2025). Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In <i>Proceedings of 38th Conference on Learning Theory</i> (Vol. 291, pp. 3354–3404). Lyon, France: ML Research Press.","chicago":"Kovačević, Filip, Zhang Yihan, and Marco Mondelli. “Spectral Estimators for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery.” In <i>Proceedings of 38th Conference on Learning Theory</i>, 291:3354–3404. ML Research Press, 2025.","ama":"Kovačević F, Yihan Z, Mondelli M. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In: <i>Proceedings of 38th Conference on Learning Theory</i>. Vol 291. ML Research Press; 2025:3354-3404.","ieee":"F. Kovačević, Z. Yihan, and M. Mondelli, “Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery,” in <i>Proceedings of 38th Conference on Learning Theory</i>, Lyon, France, 2025, vol. 291, pp. 3354–3404.","mla":"Kovačević, Filip, et al. “Spectral Estimators for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery.” <i>Proceedings of 38th Conference on Learning Theory</i>, vol. 291, ML Research Press, 2025, pp. 3354–404."},"article_processing_charge":"No","_id":"21328","date_published":"2025-07-01T00:00:00Z","oa":1,"date_created":"2026-02-18T12:12:47Z","date_updated":"2026-02-19T09:03:53Z","author":[{"id":"d0258e7b-50b8-11ef-ad56-8b9f537b6b1b","first_name":"Filip","last_name":"Kovačević","full_name":"Kovačević, Filip"},{"last_name":"Yihan","first_name":"Zhang","full_name":"Yihan, Zhang"},{"full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020","id":"27EB676C-8706-11E9-9510-7717E6697425","first_name":"Marco","last_name":"Mondelli"}],"publisher":"ML Research Press","month":"07","oa_version":"Published Version","year":"2025","conference":{"end_date":"2025-07-04","start_date":"2025-06-30","name":"COLT: Conference on Learning Theory","location":"Lyon, France"}},{"corr_author":"1","has_accepted_license":"1","abstract":[{"text":"The large sieve is used to estimate the density of quadratic polynomials Q ∈ Z[x],\r\nsuch that there exists an odd degree polynomial defined over Z which has resultant ±1 with Q.\r\nGiven a monic polynomial R ∈ Z[x] of odd degree, this is used to show that for almost all\r\nquadratic polynomials Q ∈ Z[x], there exists a prime p such that Q and R share a common\r\nroot in Fp. Using recent work of Landesman, an application to the average size of the odd part\r\nof the class group of quadratic number fields is also given","lang":"eng"},{"lang":"fre","text":" Le grand crible est utilisé pour estimer la densité des polynômes quadratiques Q ∈ Z[x] tels qu’il existe un polynôme de degré impair défini sur Z dont le résultant avec Q est égal à ±1. Étant donné un polynôme unitaire R ∈ Z[x] de degré impair, on s’en sert pour montrer que, pour presque tous les polynômes quadratiques Q ∈ Z[x], il existe un nombre premier p tel que Q et R aient une racine commune dans Fp. En utilisant des travaux récents de Landesman, on obtient également une application concernant la taille moyenne de la partie impaire du groupe de classe des corps quadratiques."}],"volume":12,"scopus_import":"1","quality_controlled":"1","type":"journal_article","file_date_updated":"2026-02-24T07:56:34Z","OA_type":"gold","doi":"10.5802/jep.320","file":[{"file_size":1003689,"file_id":"21356","relation":"main_file","success":1,"creator":"dernst","file_name":"2025_JEP_Browning.pdf","date_updated":"2026-02-24T07:56:34Z","checksum":"828577ea48ac6109d3e9dd1aeddd45c4","date_created":"2026-02-24T07:56:34Z","content_type":"application/pdf","access_level":"open_access"}],"department":[{"_id":"TiBr"}],"OA_place":"publisher","ddc":["510"],"title":"Solubility of a resultant equation and applications","publication":"Journal de l'ecole polytechnique mathematiques","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"acknowledgement":"While working on this paper, the first author was supported by a FWF grant (DOI 10.55776/P36278).","day":"21","status":"public","publication_identifier":{"eissn":["2270-518X"],"issn":["2429-7100"]},"language":[{"iso":"eng"}],"PlanS_conform":"1","external_id":{"arxiv":["2411.09264"]},"arxiv":1,"intvolume":"        12","project":[{"name":"Rational curves via function field analytic number theory","_id":"bd8a4fdc-d553-11ed-ba76-80a0167441a3","grant_number":"P36278"}],"page":"1677-1691","date_published":"2025-10-21T00:00:00Z","_id":"21343","article_processing_charge":"Yes","citation":{"apa":"Browning, T. D., &#38; Chan, S. (2025). Solubility of a resultant equation and applications. <i>Journal de l’ecole Polytechnique Mathematiques</i>. Ecole polytechnique. <a href=\"https://doi.org/10.5802/jep.320\">https://doi.org/10.5802/jep.320</a>","chicago":"Browning, Timothy D, and Stephanie Chan. “Solubility of a Resultant Equation and Applications.” <i>Journal de l’ecole Polytechnique Mathematiques</i>. Ecole polytechnique, 2025. <a href=\"https://doi.org/10.5802/jep.320\">https://doi.org/10.5802/jep.320</a>.","ama":"Browning TD, Chan S. Solubility of a resultant equation and applications. <i>Journal de l’ecole polytechnique mathematiques</i>. 2025;12:1677-1691. doi:<a href=\"https://doi.org/10.5802/jep.320\">10.5802/jep.320</a>","ieee":"T. D. Browning and S. Chan, “Solubility of a resultant equation and applications,” <i>Journal de l’ecole polytechnique mathematiques</i>, vol. 12. Ecole polytechnique, pp. 1677–1691, 2025.","mla":"Browning, Timothy D., and Stephanie Chan. “Solubility of a Resultant Equation and Applications.” <i>Journal de l’ecole Polytechnique Mathematiques</i>, vol. 12, Ecole polytechnique, 2025, pp. 1677–91, doi:<a href=\"https://doi.org/10.5802/jep.320\">10.5802/jep.320</a>.","ista":"Browning TD, Chan S. 2025. Solubility of a resultant equation and applications. Journal de l’ecole polytechnique mathematiques. 12, 1677–1691.","short":"T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691."},"DOAJ_listed":"1","date_updated":"2026-02-24T07:57:53Z","date_created":"2026-02-22T23:01:36Z","oa":1,"oa_version":"Published Version","publisher":"Ecole polytechnique","month":"10","author":[{"last_name":"Browning","first_name":"Timothy D","id":"35827D50-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8314-0177","full_name":"Browning, Timothy D"},{"id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1","first_name":"Yik Tung","last_name":"Chan","full_name":"Chan, Yik Tung","orcid":"0000-0001-8467-4106"}],"article_type":"original","year":"2025"},{"_id":"21399","date_published":"2025-12-16T00:00:00Z","doi":"10.48550/arXiv.2512.07087","article_processing_charge":"No","citation":{"ama":"Bolan M, Breitner J, Brox J, et al. The equational theories project: Advancing collaborative mathematical research at scale. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2512.07087\">10.48550/arXiv.2512.07087</a>","ieee":"M. Bolan <i>et al.</i>, “The equational theories project: Advancing collaborative mathematical research at scale,” <i>arXiv</i>. .","mla":"Bolan, Matthew, et al. “The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/arXiv.2512.07087\">10.48550/arXiv.2512.07087</a>.","apa":"Bolan, M., Breitner, J., Brox, J., Carlini, N., Carneiro, M., Doorn, F. van, … Zheng, F. (n.d.). The equational theories project: Advancing collaborative mathematical research at scale. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2512.07087\">https://doi.org/10.48550/arXiv.2512.07087</a>","chicago":"Bolan, Matthew, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, et al. “The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2512.07087\">https://doi.org/10.48550/arXiv.2512.07087</a>.","short":"M. Bolan, J. Breitner, J. Brox, N. Carlini, M. Carneiro, F. van Doorn, M. Dvorak, A. Goens, A. Hill, H. Husum, H.I. Mejia, Z.A. Kocsis, B.L. Floch, A. Bar-on, L. Luccioli, D. McNeil, A. Meiburg, P. Monticone, P.P. Nielsen, E.O. Osazuwa, G. Paolini, M. Petracci, B. Reinke, D. Renshaw, M. Rossel, C. Roux, J. Scanvic, S. Srinivas, A.R. Tadipatri, T. Tao, V. Tsyrklevich, F. Vaquerizo-Villar, D. Weber, F. Zheng, ArXiv (n.d.).","ista":"Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, <a href=\"https://doi.org/10.48550/arXiv.2512.07087\">10.48550/arXiv.2512.07087</a>."},"oa":1,"OA_place":"repository","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"date_created":"2026-03-04T12:00:16Z","date_updated":"2026-03-12T08:36:21Z","oa_version":"Preprint","month":"12","title":"The equational theories project: Advancing collaborative mathematical research at scale","author":[{"full_name":"Bolan, Matthew","last_name":"Bolan","first_name":"Matthew"},{"first_name":"Joachim","last_name":"Breitner","full_name":"Breitner, Joachim"},{"full_name":"Brox, Jose","last_name":"Brox","first_name":"Jose"},{"last_name":"Carlini","first_name":"Nicholas","full_name":"Carlini, Nicholas"},{"full_name":"Carneiro, Mario","first_name":"Mario","last_name":"Carneiro"},{"full_name":"Doorn, Floris van","first_name":"Floris van","last_name":"Doorn"},{"orcid":"0000-0001-5293-214X","full_name":"Dvorak, Martin","first_name":"Martin","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","last_name":"Dvorak"},{"first_name":"Andrés","last_name":"Goens","full_name":"Goens, Andrés"},{"full_name":"Hill, Aaron","last_name":"Hill","first_name":"Aaron"},{"full_name":"Husum, Harald","first_name":"Harald","last_name":"Husum"},{"first_name":"Hernán Ibarra","last_name":"Mejia","full_name":"Mejia, Hernán Ibarra"},{"first_name":"Zoltan A.","last_name":"Kocsis","full_name":"Kocsis, Zoltan A."},{"last_name":"Floch","first_name":"Bruno Le","full_name":"Floch, Bruno Le"},{"first_name":"Amir","last_name":"Bar-on","full_name":"Bar-on, Amir"},{"full_name":"Luccioli, Lorenzo","first_name":"Lorenzo","last_name":"Luccioli"},{"first_name":"Douglas","last_name":"McNeil","full_name":"McNeil, Douglas"},{"last_name":"Meiburg","first_name":"Alex","full_name":"Meiburg, Alex"},{"full_name":"Monticone, Pietro","last_name":"Monticone","first_name":"Pietro"},{"full_name":"Nielsen, Pace P.","last_name":"Nielsen","first_name":"Pace P."},{"last_name":"Osazuwa","first_name":"Emmanuel Osalotioman","full_name":"Osazuwa, Emmanuel Osalotioman"},{"last_name":"Paolini","first_name":"Giovanni","full_name":"Paolini, Giovanni"},{"full_name":"Petracci, Marco","last_name":"Petracci","first_name":"Marco"},{"full_name":"Reinke, Bernhard","last_name":"Reinke","first_name":"Bernhard"},{"full_name":"Renshaw, David","last_name":"Renshaw","first_name":"David"},{"last_name":"Rossel","first_name":"Marcus","full_name":"Rossel, Marcus"},{"first_name":"Cody","last_name":"Roux","full_name":"Roux, Cody"},{"last_name":"Scanvic","first_name":"Jérémy","full_name":"Scanvic, Jérémy"},{"last_name":"Srinivas","first_name":"Shreyas","full_name":"Srinivas, Shreyas"},{"full_name":"Tadipatri, Anand Rao","first_name":"Anand Rao","last_name":"Tadipatri"},{"first_name":"Terence","last_name":"Tao","full_name":"Tao, Terence"},{"full_name":"Tsyrklevich, Vlad","first_name":"Vlad","last_name":"Tsyrklevich"},{"full_name":"Vaquerizo-Villar, Fernando","first_name":"Fernando","last_name":"Vaquerizo-Villar"},{"full_name":"Weber, Daniel","last_name":"Weber","first_name":"Daniel"},{"first_name":"Fan","last_name":"Zheng","full_name":"Zheng, Fan"}],"publication":"arXiv","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"submitted","day":"16","year":"2025","language":[{"iso":"eng"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2512.07087"}],"status":"public","abstract":[{"lang":"eng","text":"We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas."}],"external_id":{"arxiv":["2512.07087"]},"arxiv":1,"type":"preprint"},{"conference":{"location":"Berlin, Germany","name":"DISC: Symposium on Distributed Computing","end_date":"2025-10-31","start_date":"2025-10-27"},"year":"2025","author":[{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Křišťan","first_name":"Jan Matyáš","full_name":"Křišťan, Jan Matyáš"},{"full_name":"Schmid, Stefan","first_name":"Stefan","last_name":"Schmid"},{"last_name":"Svoboda","first_name":"Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","orcid":"0000-0002-1419-3267","full_name":"Svoboda, Jakub"},{"orcid":"0009-0001-3676-4809","full_name":"Yeo, Michelle X","last_name":"Yeo","first_name":"Michelle X","id":"2D82B818-F248-11E8-B48F-1D18A9856A87"}],"oa_version":"Published Version","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","month":"10","date_created":"2026-03-08T23:01:46Z","date_updated":"2026-03-09T11:52:58Z","oa":1,"article_processing_charge":"No","citation":{"chicago":"Chatterjee, Krishnendu, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” In <i>39th International Symposium on Distributed Computing</i>, Vol. 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">https://doi.org/10.4230/LIPIcs.DISC.2025.23</a>.","apa":"Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., &#38; Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In <i>39th International Symposium on Distributed Computing</i> (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">https://doi.org/10.4230/LIPIcs.DISC.2025.23</a>","ieee":"K. Chatterjee, J. M. Křišťan, S. Schmid, J. Svoboda, and M. X. Yeo, “Boosting payment channel network liquidity with topology optimization and transaction selection,” in <i>39th International Symposium on Distributed Computing</i>, Berlin, Germany, 2025, vol. 356.","mla":"Chatterjee, Krishnendu, et al. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” <i>39th International Symposium on Distributed Computing</i>, vol. 356, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">10.4230/LIPIcs.DISC.2025.23</a>.","ama":"Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. Boosting payment channel network liquidity with topology optimization and transaction selection. In: <i>39th International Symposium on Distributed Computing</i>. Vol 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:<a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">10.4230/LIPIcs.DISC.2025.23</a>","ista":"Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. 2025. Boosting payment channel network liquidity with topology optimization and transaction selection. 39th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 356, 23.","short":"K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025."},"date_published":"2025-10-22T00:00:00Z","_id":"21412","alternative_title":["LIPIcs"],"project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020"}],"intvolume":"       356","arxiv":1,"article_number":"23","external_id":{"arxiv":["2508.14524"]},"status":"public","publication_identifier":{"isbn":["9783959774024"],"issn":["1868-8969"]},"language":[{"iso":"eng"}],"acknowledgement":"Chatterjee, Krishnendu: European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund 10.55776/COE12.\r\nKřišťan, Jan Matyáš: Czech Science Foundation Grant no. 24-12046S.\r\nSchmid, Stefan: German Research Foundation (DFG) project ReNO (SPP 2378) from 2023-2027.\r\nSvoboda, Jakub: European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund 10.55776/COE12.\r\nYeo, Michelle: MOE-T2EP20122-0014 (Data-Driven Distributed Algorithms).","day":"22","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Boosting payment channel network liquidity with topology optimization and transaction selection","publication":"39th International Symposium on Distributed Computing","ddc":["000"],"OA_place":"publisher","department":[{"_id":"KrCh"}],"ec_funded":1,"file":[{"creator":"dernst","success":1,"access_level":"open_access","checksum":"8e3d1594365df60163d9df22158a37b1","content_type":"application/pdf","date_created":"2026-03-09T11:51:59Z","date_updated":"2026-03-09T11:51:59Z","file_name":"2025_DISC_Chatterjee.pdf","file_size":1130069,"relation":"main_file","file_id":"21418"}],"doi":"10.4230/LIPIcs.DISC.2025.23","file_date_updated":"2026-03-09T11:51:59Z","OA_type":"gold","scopus_import":"1","type":"conference","quality_controlled":"1","volume":356,"has_accepted_license":"1","abstract":[{"lang":"eng","text":"Payment channel networks (PCNs) are a promising technology that alleviates blockchain scalability by shifting the transaction load from the blockchain to the PCN. Nevertheless, the network topology has to be carefully designed to maximise the transaction throughput in PCNs. Additionally, users in PCNs also have to make optimal decisions on which transactions to forward and which to reject to prolong the lifetime of their channels. In this work, we consider an input sequence of transactions over p parties. Each transaction consists of a transaction size, source, and target, and can be either accepted or rejected (entailing a cost). The goal is to design a PCN topology among the p cooperating parties, along with the channel capacities, and then output a decision for each transaction in the sequence to minimise the cost of creating and augmenting channels, as well as the cost of rejecting transactions. Our main contribution is an 𝒪(p) approximation algorithm for the problem with p parties. We further show that with some assumptions on the distribution of transactions, we can reduce the approximation ratio to 𝒪(√p). We complement our theoretical analysis with an empirical study of our assumptions and approach in the context of the Lightning Network."}],"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/1484.pdf"}]},{"acknowledgement":"This research was funded in part by the European Research Council (ERC) under grant agreement AdG-267989 (QUAREM)*, AdG-246967 (VERIWARE)*, StG-279307 (Graph Games)*\r\n, CoG-863818 (ForM-SMArt), and AdG-834115 (FUN2MODEL), by the EU FP7 project HIERATIC*, by the German Research Foundation (DFG) project 427755713 (GOPro), by the Austrian Science Fund (FWF) projects S11402-N23 (RiSE)* , S11407-N23 (RiSE)*\r\n, and P23499-N23* , by the Czech Science Foundation grant No P202/12/P612* and GA23-06963S, by the MUNI Award in Science and Humanities (MUNI/I/1757/2021) of the Grant\r\nAgency of Masaryk University, by EPSRC project EP/K038575/1*, and by the Microsoft faculty fellows award*. A preliminary version of this article appeared at ATVA 2014 [33]. The * indicates funding that supported that version.","day":"01","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","ddc":["000"],"title":"Learning algorithms for verification of Markov decision processes","publication":"TheoretiCS","OA_place":"publisher","department":[{"_id":"KrCh"}],"ec_funded":1,"file":[{"creator":"dernst","success":1,"date_created":"2026-03-09T11:39:59Z","file_name":"2026_TheoretiCS_Brazdil.pdf","checksum":"2ccf563ae577ee08d82baf752292ca7b","content_type":"application/pdf","date_updated":"2026-03-09T11:39:59Z","access_level":"open_access","file_size":861607,"file_id":"21417","relation":"main_file"}],"doi":"10.46298/theoretics.25.10","OA_type":"gold","file_date_updated":"2026-03-09T11:39:59Z","quality_controlled":"1","type":"journal_article","scopus_import":"1","volume":4,"abstract":[{"lang":"eng","text":"We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs).\r\nThe primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of the state space, instead focussing on particularly relevant areas of the system, guided by heuristics. Our work builds on the previous results of Br{á}zdil et al., significantly extending it as well as refining several details and fixing errors.\r\nThe presented framework focuses on probabilistic reachability, which is a core problem in verification, and is instantiated in two distinct scenarios.\r\nThe first assumes that full knowledge of the MDP is available, in particular precise transition probabilities. It performs a heuristic-driven partial exploration of the model, yielding precise lower and upper bounds on the required probability. The second tackles the case where we may only sample the MDP without knowing the exact transition dynamics. Here, we obtain probabilistic guarantees, again in terms of both the lower and upper bounds, which provides efficient stopping criteria for the approximation. In particular, the latter is an extension of statistical model-checking (SMC) for unbounded properties in MDPs. In contrast to other related approaches, we do not restrict our attention to time-bounded (finite-horizon) or discounted properties, nor assume any particular structural properties of the MDP."}],"has_accepted_license":"1","year":"2025","article_type":"original","author":[{"first_name":"Tomáš","last_name":"Brázdil","full_name":"Brázdil, Tomáš"},{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu"},{"full_name":"Chmelik, Martin","id":"3624234E-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","last_name":"Chmelik"},{"full_name":"Forejt, Vojtěch","last_name":"Forejt","first_name":"Vojtěch"},{"full_name":"Kretinsky, Jan","orcid":"0000-0002-8122-2881","last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","first_name":"Jan"},{"first_name":"Marta","last_name":"Kwiatkowska","full_name":"Kwiatkowska, Marta"},{"orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer","first_name":"Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1"},{"first_name":"David","last_name":"Parker","full_name":"Parker, David"},{"last_name":"Ujma","first_name":"Mateusz","full_name":"Ujma, Mateusz"}],"oa_version":"Published Version","publisher":"TheoretiCS Foundation","month":"04","oa":1,"date_updated":"2026-03-09T11:43:38Z","date_created":"2026-03-08T23:01:46Z","DOAJ_listed":"1","article_processing_charge":"Yes","citation":{"ama":"Brázdil T, Chatterjee K, Chmelik M, et al. Learning algorithms for verification of Markov decision processes. <i>TheoretiCS</i>. 2025;4. doi:<a href=\"https://doi.org/10.46298/theoretics.25.10\">10.46298/theoretics.25.10</a>","mla":"Brázdil, Tomáš, et al. “Learning Algorithms for Verification of Markov Decision Processes.” <i>TheoretiCS</i>, vol. 4, 10, TheoretiCS Foundation, 2025, doi:<a href=\"https://doi.org/10.46298/theoretics.25.10\">10.46298/theoretics.25.10</a>.","ieee":"T. Brázdil <i>et al.</i>, “Learning algorithms for verification of Markov decision processes,” <i>TheoretiCS</i>, vol. 4. TheoretiCS Foundation, 2025.","apa":"Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision processes. <i>TheoretiCS</i>. TheoretiCS Foundation. <a href=\"https://doi.org/10.46298/theoretics.25.10\">https://doi.org/10.46298/theoretics.25.10</a>","chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Kretinsky, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz Ujma. “Learning Algorithms for Verification of Markov Decision Processes.” <i>TheoretiCS</i>. TheoretiCS Foundation, 2025. <a href=\"https://doi.org/10.46298/theoretics.25.10\">https://doi.org/10.46298/theoretics.25.10</a>.","short":"T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).","ista":"Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Meggendorfer T, Parker D, Ujma M. 2025. Learning algorithms for verification of Markov decision processes. TheoretiCS. 4, 10."},"_id":"21413","date_published":"2025-04-01T00:00:00Z","project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","grant_number":"267989","name":"Quantitative Reactive Modeling","call_identifier":"FP7"},{"name":"Quantitative Graph Games: Theory and Applications","grant_number":"279307","_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"},{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"call_identifier":"FWF","name":"Rigorous Systems Engineering","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","grant_number":"S11402-N23"},{"call_identifier":"FWF","name":"Modern Graph Algorithmic Techniques in Formal Verification","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425"}],"intvolume":"         4","arxiv":1,"article_number":"10","external_id":{"arxiv":["2403.09184"]},"PlanS_conform":"1","language":[{"iso":"eng"}],"status":"public","publication_identifier":{"eissn":["2751-4838"]}},{"related_material":{"record":[{"status":"public","id":"11355","relation":"shorter_version"}]},"page":"3-48","project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020"},{"name":"Interface Theory for Security and Privacy","_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e","grant_number":"F8502"}],"arxiv":1,"intvolume":"        66","external_id":{"isi":["001230084200001"],"arxiv":["2002.06465"]},"language":[{"iso":"eng"}],"PlanS_conform":"1","publication_identifier":{"issn":["0925-9856"],"eissn":["1572-8102"]},"status":"public","article_type":"original","year":"2025","isi":1,"oa_version":"Published Version","month":"05","publisher":"Springer Nature","author":[{"last_name":"Bartocci","first_name":"Ezio","full_name":"Bartocci, Ezio"},{"full_name":"Ferrere, Thomas","orcid":"0000-0001-5199-3143","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","first_name":"Thomas","last_name":"Ferrere"},{"orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Nickovic, Dejan","first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic"},{"id":"f347ec37-6676-11ee-b395-a888cb7b4fb4","first_name":"Ana","last_name":"Oliveira da Costa","full_name":"Oliveira da Costa, Ana","orcid":"0000-0002-8741-5799"}],"oa":1,"date_updated":"2025-12-30T06:50:51Z","date_created":"2024-06-02T22:00:57Z","_id":"17094","date_published":"2025-05-01T00:00:00Z","article_processing_charge":"Yes (via OA deal)","citation":{"short":"E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.","ista":"Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025. Information-flow interfaces. Formal Methods in System Design. 66, 3–48.","ama":"Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-flow interfaces. <i>Formal Methods in System Design</i>. 2025;66:3-48. doi:<a href=\"https://doi.org/10.1007/s10703-024-00447-0\">10.1007/s10703-024-00447-0</a>","mla":"Bartocci, Ezio, et al. “Information-Flow Interfaces.” <i>Formal Methods in System Design</i>, vol. 66, Springer Nature, 2025, pp. 3–48, doi:<a href=\"https://doi.org/10.1007/s10703-024-00447-0\">10.1007/s10703-024-00447-0</a>.","ieee":"E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” <i>Formal Methods in System Design</i>, vol. 66. Springer Nature, pp. 3–48, 2025.","apa":"Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., &#38; Oliveira da Costa, A. (2025). Information-flow interfaces. <i>Formal Methods in System Design</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s10703-024-00447-0\">https://doi.org/10.1007/s10703-024-00447-0</a>","chicago":"Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces.” <i>Formal Methods in System Design</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s10703-024-00447-0\">https://doi.org/10.1007/s10703-024-00447-0</a>."},"volume":66,"type":"journal_article","quality_controlled":"1","scopus_import":"1","abstract":[{"text":"Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from the team that implements the component. A theory of formal contracts can be formalized as an interface theory, which supports the composition and refinement of both assumptions and guarantees. Although there is a rich landscape of contract-based design methods that address functional and extra-functional properties, we present the first interface theory designed to ensure system-wide security properties. Our framework provides a refinement relation and a composition operation that support both incremental design and independent implementability. We develop our theory for both stateless and stateful interfaces. Additionally, we introduce information-flow contracts where assumptions and guarantees are sets of flow relations. We use these contracts to illustrate how to enrich information-flow interfaces with a semantic view. We illustrate the applicability of our framework with two examples inspired by the automotive domain.","lang":"eng"}],"has_accepted_license":"1","corr_author":"1","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","acknowledgement":"This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 956123 and it was funded in part by the Austrian Science Fund (FWF) project W1255-N23, by the Austrian FWF project ZK-35, by the FWF project SpyCoDe 10.55776/F85 and by the ERC-2020-AdG 101020093. This paper extends the text and the results of the manuscript published at FASE 2022 [1].","day":"01","title":"Information-flow interfaces","publication":"Formal Methods in System Design","ddc":["000"],"ec_funded":1,"file":[{"creator":"dernst","success":1,"date_created":"2025-12-30T06:50:12Z","date_updated":"2025-12-30T06:50:12Z","content_type":"application/pdf","file_name":"2025_FormalMethodsSysDesign_Bartocci.pdf","checksum":"244a71a916103b8ea08e9d0bab32bcd9","access_level":"open_access","file_size":3860690,"file_id":"20879","relation":"main_file"}],"department":[{"_id":"ToHe"}],"OA_place":"publisher","OA_type":"hybrid","file_date_updated":"2025-12-30T06:50:12Z","doi":"10.1007/s10703-024-00447-0"},{"month":"03","publisher":"Springer Nature","oa_version":"Published Version","author":[{"full_name":"Edelsbrunner, Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","first_name":"Herbert"},{"orcid":"0000-0002-0659-3201","full_name":"Nikitenko, Anton","first_name":"Anton","id":"3E4FF1BA-F248-11E8-B48F-1D18A9856A87","last_name":"Nikitenko"}],"article_type":"original","isi":1,"year":"2025","date_published":"2025-03-01T00:00:00Z","_id":"17149","article_processing_charge":"Yes (via OA deal)","citation":{"ieee":"H. Edelsbrunner and A. Nikitenko, “Average and expected distortion of Voronoi paths and scapes,” <i>Discrete &#38; Computational Geometry</i>, vol. 73. Springer Nature, pp. 490–499, 2025.","mla":"Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion of Voronoi Paths and Scapes.” <i>Discrete &#38; Computational Geometry</i>, vol. 73, Springer Nature, 2025, pp. 490–99, doi:<a href=\"https://doi.org/10.1007/s00454-024-00660-y\">10.1007/s00454-024-00660-y</a>.","ama":"Edelsbrunner H, Nikitenko A. Average and expected distortion of Voronoi paths and scapes. <i>Discrete &#38; Computational Geometry</i>. 2025;73:490-499. doi:<a href=\"https://doi.org/10.1007/s00454-024-00660-y\">10.1007/s00454-024-00660-y</a>","chicago":"Edelsbrunner, Herbert, and Anton Nikitenko. “Average and Expected Distortion of Voronoi Paths and Scapes.” <i>Discrete &#38; Computational Geometry</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s00454-024-00660-y\">https://doi.org/10.1007/s00454-024-00660-y</a>.","apa":"Edelsbrunner, H., &#38; Nikitenko, A. (2025). Average and expected distortion of Voronoi paths and scapes. <i>Discrete &#38; Computational Geometry</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00454-024-00660-y\">https://doi.org/10.1007/s00454-024-00660-y</a>","short":"H. Edelsbrunner, A. Nikitenko, Discrete &#38; Computational Geometry 73 (2025) 490–499.","ista":"Edelsbrunner H, Nikitenko A. 2025. Average and expected distortion of Voronoi paths and scapes. Discrete &#38; Computational Geometry. 73, 490–499."},"date_updated":"2026-02-16T12:18:50Z","date_created":"2024-06-16T22:01:07Z","oa":1,"arxiv":1,"intvolume":"        73","project":[{"call_identifier":"H2020","grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","name":"Alpha Shape Theory Extended"},{"call_identifier":"FWF","name":"Mathematics, Computer Science","_id":"268116B8-B435-11E9-9278-68D0E5697425","grant_number":"Z00342"},{"name":"Persistence and stability of geometric complexes","_id":"2561EBF4-B435-11E9-9278-68D0E5697425","grant_number":"I02979-N35","call_identifier":"FWF"}],"page":"490-499","status":"public","publication_identifier":{"eissn":["1432-0444"],"issn":["0179-5376"]},"language":[{"iso":"eng"}],"external_id":{"isi":["001238566200004"],"pmid":["39974750"],"arxiv":["2012.03350"]},"title":"Average and expected distortion of Voronoi paths and scapes","publication":"Discrete & Computational Geometry","ddc":["510"],"publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"The authors thank Ranita Biswas and Tatiana Ezubova for the collaboration on computational experiments that motivated the work reported in this paper. The authors also thank Daniel Bonnema for proofreading and noticing an issue with the original proof of Lemma 4.3.\r\nOpen access funding provided by Institute of Science and Technology (IST Austria).\r\nThis project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme, Grant No. 788183, from the Wittgenstein Prize, Austrian Science Fund (FWF), Grant No. Z 342-N31, and from the DFG Collaborative Research Center TRR 109, ‘Discretization in Geometry and Dynamics’, Austrian Science Fund (FWF), Grant No. I 02979-N35.","day":"01","file_date_updated":"2025-04-23T07:31:32Z","pmid":1,"OA_type":"hybrid","doi":"10.1007/s00454-024-00660-y","ec_funded":1,"file":[{"relation":"main_file","file_id":"19610","file_size":283443,"access_level":"open_access","content_type":"application/pdf","date_created":"2025-04-23T07:31:32Z","date_updated":"2025-04-23T07:31:32Z","checksum":"ffb0c818222138f9f113f4bbea41e834","file_name":"2025_DiscreteComputGeom_EdelsbrunnerHe.pdf","creator":"dernst","success":1}],"OA_place":"publisher","department":[{"_id":"HeEd"}],"volume":73,"scopus_import":"1","type":"journal_article","quality_controlled":"1","corr_author":"1","has_accepted_license":"1","abstract":[{"text":"The approximation of a circle with the edges of a fine square grid distorts the perimeter by a factor about 4/Pi. We prove that this factor is the same on average (in the ergodic sense) for approximations of any rectifiable curve by the edges of any non-exotic Delaunay mosaic (known as Voronoi path), and extend the results to all dimensions, generalizing Voronoi paths to Voronoi scapes.","lang":"eng"}]},{"doi":"10.1111/bpa.13279","file_date_updated":"2025-04-16T09:56:08Z","OA_type":"gold","pmid":1,"OA_place":"publisher","department":[{"_id":"RySh"}],"file":[{"file_size":8767863,"file_id":"19582","relation":"main_file","success":1,"creator":"dernst","file_name":"2025_BrainPathology_MartinBelmonte.pdf","date_created":"2025-04-16T09:56:08Z","content_type":"application/pdf","date_updated":"2025-04-16T09:56:08Z","checksum":"75a172800ab2e949abb66fba97cf70f0","access_level":"open_access"}],"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","publication":"Brain Pathology","ddc":["570"],"title":"Nanoarchitecture of CaV>2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology","day":"01","acknowledgement":"Funding sources were Spanish Ministerio de Economía y Competitividad, Junta de Comunidades de Castilla-La Mancha (Spain), Life Science Innovation Center at University of Fukui and German Research Foundation.\r\nGrants RTI2018-095812-B-I00 and PID2021-125875OB-I00 funded by MCIN/AEI/10.13039/501100011033 and by “ERDF A way of making Europe” to Rafael Luján. This study was also supported by a grant from Junta de Comunidades de Castilla-La Mancha (SBPLY/17/180501/000229 and SBPLY/21/180501/000064) and Universidad de Castilla-La Mancha (2023-GRIN-34187) to Rafael Luján, and Life Science Innovation Center (Research and Education Program for Life Science) at University of Fukui and JSPS KAKENHI Grant Numbers 16H04662, 17K19446, 18H05120 to Yugo Fukazawa and Margarita Salas fellowship from Ministerio de Universidades and Universidad de Castilla-La Mancha to Alejandro Martín-Belmonte. German Research Foundation (DFG FOR 2143) and BIOSS-2 to Akos Kulik.","publication_status":"published","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","image":"/images/cc_by_nc_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","abstract":[{"text":"Voltage-gated CaV2.1 (P/Q-type) Ca2+ channels play a crucial role in regulating neurotransmitter release, thus contributing to synaptic plasticity and to processes such as learning and memory. Despite their recognized importance in neural function, there is limited information on their potential involvement in neurodegenerative conditions such as Alzheimer's disease (AD). Here, we aimed to explore the impact of AD pathology on the density and nanoscale compartmentalization of CaV2.1 channels in the hippocampus in association with GABAB receptors. Histoblotting experiments showed that the density of CaV2.1 channel was significantly reduced in the hippocampus of APP/PS1 mice in a laminar-dependent manner. CaV2.1 channel was enriched in the active zone of the axon terminals and was present at a very low density over the surface of dendritic tree of the CA1 pyramidal cells, as shown by quantitative SDS-digested freeze-fracture replica labelling (SDS-FRL). In APP/PS1 mice, the density of CaV2.1 channel in the active zone was significantly reduced in the strata radiatum and lacunosum-moleculare, while it remained unaltered in the stratum oriens. The decline in Cav2.1 channel density was found to be associated with a corresponding impairment in the GABAergic synaptic function, as evidenced by electrophysiological experiments carried out in the hippocampus of APP/PS1 mice. Remarkably, double SDS-FRL showed a co-clustering of CaV2.1 channel and GABAB1 receptor in nanodomains (~40–50 nm) in wild type mice, while in APP/PS1 mice this nanoarchitecture was absent. Together, these findings suggest that the AD pathology-induced reduction in CaV2.1 channel density and CaV2.1-GABAB1 de-clustering may play a role in the synaptic transmission alterations shown in the AD hippocampus. Therefore, uncovering these layer-dependent changes in P/Q calcium currents associated with AD pathology can benefit the development of future strategies for AD management.","lang":"eng"}],"scopus_import":"1","quality_controlled":"1","type":"journal_article","volume":35,"citation":{"short":"A. Martín‐Belmonte, C. Aguado, R. Alfaro‐Ruiz, A. Kulik, L. de la Ossa, A.E. Moreno‐Martínez, S. Alberquilla, L. García‐Carracedo, M. Fernández, A. Fajardo‐Serrano, E. Aso, R. Shigemoto, E.D. Martín, Y. Fukazawa, F. Ciruela, R. Luján, Brain Pathology 35 (2025).","ista":"Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, Kulik A, de la Ossa L, Moreno‐Martínez AE, Alberquilla S, García‐Carracedo L, Fernández M, Fajardo‐Serrano A, Aso E, Shigemoto R, Martín ED, Fukazawa Y, Ciruela F, Luján R. 2025. Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. Brain Pathology. 35(2), e13279.","ama":"Martín‐Belmonte A, Aguado C, Alfaro‐Ruiz R, et al. Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. <i>Brain Pathology</i>. 2025;35(2). doi:<a href=\"https://doi.org/10.1111/bpa.13279\">10.1111/bpa.13279</a>","ieee":"A. Martín‐Belmonte <i>et al.</i>, “Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology,” <i>Brain Pathology</i>, vol. 35, no. 2. Wiley, 2025.","mla":"Martín‐Belmonte, Alejandro, et al. “Nanoarchitecture of CaV&#62;2.1 Channels and GABAB Receptors in the Mouse Hippocampus: Impact of APP/PS1 Pathology.” <i>Brain Pathology</i>, vol. 35, no. 2, e13279, Wiley, 2025, doi:<a href=\"https://doi.org/10.1111/bpa.13279\">10.1111/bpa.13279</a>.","apa":"Martín‐Belmonte, A., Aguado, C., Alfaro‐Ruiz, R., Kulik, A., de la Ossa, L., Moreno‐Martínez, A. E., … Luján, R. (2025). Nanoarchitecture of CaV&#62;2.1 channels and GABAB receptors in the mouse hippocampus: Impact of APP/PS1 pathology. <i>Brain Pathology</i>. Wiley. <a href=\"https://doi.org/10.1111/bpa.13279\">https://doi.org/10.1111/bpa.13279</a>","chicago":"Martín‐Belmonte, Alejandro, Carolina Aguado, Rocío Alfaro‐Ruiz, Akos Kulik, Luis de la Ossa, Ana Esther Moreno‐Martínez, Samuel Alberquilla, et al. “Nanoarchitecture of CaV&#62;2.1 Channels and GABAB Receptors in the Mouse Hippocampus: Impact of APP/PS1 Pathology.” <i>Brain Pathology</i>. Wiley, 2025. <a href=\"https://doi.org/10.1111/bpa.13279\">https://doi.org/10.1111/bpa.13279</a>."},"article_processing_charge":"Yes","date_published":"2025-03-01T00:00:00Z","_id":"17293","date_updated":"2025-05-19T13:58:12Z","date_created":"2024-07-22T07:48:20Z","oa":1,"DOAJ_listed":"1","author":[{"full_name":"Martín‐Belmonte, Alejandro","last_name":"Martín‐Belmonte","first_name":"Alejandro"},{"first_name":"Carolina","last_name":"Aguado","full_name":"Aguado, Carolina"},{"last_name":"Alfaro‐Ruiz","first_name":"Rocío","full_name":"Alfaro‐Ruiz, Rocío"},{"full_name":"Kulik, Akos","first_name":"Akos","last_name":"Kulik"},{"first_name":"Luis","last_name":"de la Ossa","full_name":"de la Ossa, Luis"},{"first_name":"Ana Esther","last_name":"Moreno‐Martínez","full_name":"Moreno‐Martínez, Ana Esther"},{"full_name":"Alberquilla, Samuel","last_name":"Alberquilla","first_name":"Samuel"},{"first_name":"Lucía","last_name":"García‐Carracedo","full_name":"García‐Carracedo, Lucía"},{"full_name":"Fernández, Miriam","first_name":"Miriam","last_name":"Fernández"},{"full_name":"Fajardo‐Serrano, Ana","last_name":"Fajardo‐Serrano","first_name":"Ana"},{"first_name":"Ester","last_name":"Aso","full_name":"Aso, Ester"},{"full_name":"Shigemoto, Ryuichi","orcid":"0000-0001-8761-9444","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","last_name":"Shigemoto"},{"full_name":"Martín, Eduardo D.","last_name":"Martín","first_name":"Eduardo D."},{"first_name":"Yugo","last_name":"Fukazawa","full_name":"Fukazawa, Yugo"},{"full_name":"Ciruela, Francisco","first_name":"Francisco","last_name":"Ciruela"},{"last_name":"Luján","first_name":"Rafael","full_name":"Luján, Rafael"}],"publisher":"Wiley","month":"03","oa_version":"Published Version","isi":1,"year":"2025","article_type":"original","publication_identifier":{"eissn":["1750-3639"],"issn":["1015-6305"]},"status":"public","language":[{"iso":"eng"}],"issue":"2","external_id":{"isi":["001250034200001"],"pmid":["38887180"]},"intvolume":"        35","article_number":"e13279"},{"volume":39,"scopus_import":"1","quality_controlled":"1","type":"journal_article","has_accepted_license":"1","abstract":[{"lang":"eng","text":"Atopic dermatitis (AD) is the most common chronic inflammatory skin disease worldwide. AD is a highly complex disease with different subtypes. Many elements of AD pathophysiology have been described, but if/how they interact with each other or which mechanisms are important in which patients is still unclear. Langerhans cells (LCs) are antigen-presenting cells (APCs) in the epidermis. Depending on the context, they can act either pro- or anti-inflammatory. Many different studies have investigated LCs in the context of AD and found them to be connected to all major mechanisms of AD pathophysiology. As APCs, LCs recruit other immune cells and shape the immune response, especially adaptive immunity via polarization of T cells. As sentinel cells, LCs are primary sensors of the skin microbiome and are important for the decision of immunity versus tolerance. LCs are also involved with the integrity of the skin barrier by influencing tight junctions. Finally, LCs are important cells in the neuro-immune crosstalk in the skin. In this review, we provide an overview about the many different roles of LCs in AD. Understanding LCs might bring us closer to a more complete understanding of this highly complex disease. Potentially, modulating LCs might offer new options for targeted therapies for AD patients."}],"publication_status":"published","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","acknowledgement":"This work was supported by the CK-CARE of the KühneFoundation, Switzerland; the China Scholarship Counciland Shanghai Biocelline Enterprise Co. Ltd, China.","ddc":["570"],"publication":"Journal of the European Academy of Dermatology and Venereology","title":"Langerhans cells: Central players in the pathophysiology of atopic dermatitis","file":[{"file_size":457698,"relation":"main_file","file_id":"19583","success":1,"creator":"dernst","access_level":"open_access","date_updated":"2025-04-16T09:59:37Z","content_type":"application/pdf","date_created":"2025-04-16T09:59:37Z","file_name":"2025_JEADV_Pan.pdf","checksum":"12555ddb3490daf10b8d44e334e7312e"}],"department":[{"_id":"MiSi"}],"OA_place":"publisher","file_date_updated":"2025-04-16T09:59:37Z","pmid":1,"OA_type":"hybrid","doi":"10.1111/jdv.20291","page":"278-289","intvolume":"        39","issue":"2","external_id":{"pmid":["39157943"],"isi":["001292894900001"]},"status":"public","publication_identifier":{"issn":["0926-9959"],"eissn":["1468-3083"]},"language":[{"iso":"eng"}],"article_type":"original","year":"2025","isi":1,"publisher":"Wiley","month":"02","oa_version":"Published Version","author":[{"full_name":"Pan, Yi","first_name":"Yi","last_name":"Pan"},{"last_name":"Hochgerner","first_name":"Mathias","full_name":"Hochgerner, Mathias"},{"full_name":"Cichon, Malgorzata Anna","id":"d63197a3-c188-11ed-9387-8d33a3f13871","first_name":"Malgorzata Anna","last_name":"Cichon"},{"last_name":"Benezeder","first_name":"Theresa","full_name":"Benezeder, Theresa"},{"full_name":"Bieber, Thomas","last_name":"Bieber","first_name":"Thomas"},{"full_name":"Wolf, Peter","first_name":"Peter","last_name":"Wolf"}],"date_created":"2024-08-25T22:01:07Z","date_updated":"2025-05-19T13:58:50Z","oa":1,"date_published":"2025-02-01T00:00:00Z","_id":"17459","citation":{"ieee":"Y. Pan, M. Hochgerner, M. A. Cichon, T. Benezeder, T. Bieber, and P. Wolf, “Langerhans cells: Central players in the pathophysiology of atopic dermatitis,” <i>Journal of the European Academy of Dermatology and Venereology</i>, vol. 39, no. 2. Wiley, pp. 278–289, 2025.","mla":"Pan, Yi, et al. “Langerhans Cells: Central Players in the Pathophysiology of Atopic Dermatitis.” <i>Journal of the European Academy of Dermatology and Venereology</i>, vol. 39, no. 2, Wiley, 2025, pp. 278–89, doi:<a href=\"https://doi.org/10.1111/jdv.20291\">10.1111/jdv.20291</a>.","ama":"Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. <i>Journal of the European Academy of Dermatology and Venereology</i>. 2025;39(2):278-289. doi:<a href=\"https://doi.org/10.1111/jdv.20291\">10.1111/jdv.20291</a>","chicago":"Pan, Yi, Mathias Hochgerner, Malgorzata Anna Cichon, Theresa Benezeder, Thomas Bieber, and Peter Wolf. “Langerhans Cells: Central Players in the Pathophysiology of Atopic Dermatitis.” <i>Journal of the European Academy of Dermatology and Venereology</i>. Wiley, 2025. <a href=\"https://doi.org/10.1111/jdv.20291\">https://doi.org/10.1111/jdv.20291</a>.","apa":"Pan, Y., Hochgerner, M., Cichon, M. A., Benezeder, T., Bieber, T., &#38; Wolf, P. (2025). Langerhans cells: Central players in the pathophysiology of atopic dermatitis. <i>Journal of the European Academy of Dermatology and Venereology</i>. Wiley. <a href=\"https://doi.org/10.1111/jdv.20291\">https://doi.org/10.1111/jdv.20291</a>","short":"Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology 39 (2025) 278–289.","ista":"Pan Y, Hochgerner M, Cichon MA, Benezeder T, Bieber T, Wolf P. 2025. Langerhans cells: Central players in the pathophysiology of atopic dermatitis. Journal of the European Academy of Dermatology and Venereology. 39(2), 278–289."},"article_processing_charge":"Yes (in subscription journal)"}]