[{"ddc":["000"],"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093"}],"alternative_title":["LIPIcs"],"conference":{"end_date":"2025-12-19","location":"Pilani, India","name":"FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science","start_date":"2025-12-17"},"oa_version":"Published Version","type":"conference","has_accepted_license":"1","file_date_updated":"2026-02-18T09:13:25Z","doi":"10.4230/lipics.fsttcs.2025.9","publication_status":"published","arxiv":1,"month":"12","file":[{"success":1,"checksum":"a66343e3ccc4a9cc5bc699c03d5764ff","relation":"main_file","access_level":"open_access","file_size":1054007,"date_created":"2026-02-18T09:13:25Z","creator":"dernst","file_id":"21316","file_name":"2025_FSTTCS_Asadi.pdf","date_updated":"2026-02-18T09:13:25Z","content_type":"application/pdf"}],"title":"ε-stationary Nash equilibria in multi-player stochastic graph games","license":"https://creativecommons.org/licenses/by/4.0/","date_updated":"2026-02-19T09:39:15Z","publication_identifier":{"isbn":["9783959774062"]},"date_published":"2025-12-09T00:00:00Z","oa":1,"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."}],"date_created":"2026-02-17T08:27:14Z","_id":"21281","author":[{"last_name":"Asadi","id":"02d96aae-000e-11ec-b801-cadd0a5eefbb","full_name":"Asadi, Ali","first_name":"Ali"},{"last_name":"Brice","full_name":"Brice, Leonard","first_name":"Leonard"},{"orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"first_name":"K. S.","full_name":"Thejaswini, K. S.","last_name":"Thejaswini","id":"3807fb92-fdc1-11ee-bb4a-b4d8a431c753"}],"page":"9:1-9:17","volume":360,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"corr_author":"1","day":"09","article_processing_charge":"Yes","OA_place":"publisher","intvolume":"       360","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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","language":[{"iso":"eng"}],"year":"2025","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","quality_controlled":"1","citation":{"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>","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.","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>.","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>","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>.","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."},"status":"public","OA_type":"gold","publication":"45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science","external_id":{"arxiv":["2508.15356"]},"ec_funded":1,"department":[{"_id":"KrCh"},{"_id":"GradSch"}]},{"title":"Expanding stellar horizons with polarized light","year":"2025","article_number":"2512.15170","date_updated":"2026-04-07T06:00:40Z","date_published":"2025-12-17T00:00:00Z","article_processing_charge":"No","OA_place":"repository","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","language":[{"iso":"eng"}],"oa":1,"abstract":[{"lang":"eng","text":"The polarization of light is a critically under-utilized, rich source of information in astronomy. For stars in particular, surface magnetism polarization that can be detected and measured with spectro-polarimetry. Many questions about these surface fields remain unanswered due to a lack of dedicated instruments capable of probing weak and strong surface magnetic fields for the entire mass range of stars, from M-dwarfs (and even substellar objects) to massive O-type stars at different evolutionary stages and metallicities. These questions range from the origin of these fields to their true incidence rate throughout the stellar population and the dependence on metallicity. Magnetic fields, although currently often excluded from stellar evolution models, play an important role in stellar evolution. Connecting the surface fields to internal fields through asteroseismology will instigate a new era of understanding stellar evolution and the transport of angular momentum and chemical elements throughout stellar interiors, also impacting our understanding of star-planet interactions and stellar remnants. Polarimetry is also an under-utilized tool to observationally constrain the mode identification of nonradial oscillations, which lies at the basis of accurate asteroseismic parameter estimation at percentage-level for stellar radii, masses, ages, internal rotation, and magnetic field strengths. Combining strong constraints on mode identification and surface magnetic properties through the acquisition of time-resolved, high-resolution and high-signal-to-noise (S/N) spectro-polarimetry and spectroscopy promises to bring leaps forward in our understanding of stellar structure, particularly when combined with long-term space photometric data from past, current, and future missions."}],"department":[{"_id":"LiBu"}],"citation":{"mla":"Vandersnickt, J., et al. “Expanding Stellar Horizons with Polarized Light.” <i>ArXiv</i>, 2512.15170, doi:<a href=\"https://doi.org/10.48550/arXiv.2512.15170\">10.48550/arXiv.2512.15170</a>.","ieee":"J. Vandersnickt <i>et al.</i>, “Expanding stellar horizons with polarized light,” <i>arXiv</i>. .","ama":"Vandersnickt J, Armenta RO, Vanlaer V, et al. Expanding stellar horizons with polarized light. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2512.15170\">10.48550/arXiv.2512.15170</a>","ista":"Vandersnickt J, Armenta RO, Vanlaer V, A. David-Uraz AD-U, Aerts C, Das SB, Bouret J-C, Bowman DM, Bugnet LA, Khalack V, J. Labadie-Bartz JL-B, Mathis S, Nazé Y, Neiner C, Petit P, Petit V, K. Thomson-Paressant KT-P, Doorsselaere TV, Vanrespaille M. Expanding stellar horizons with polarized light. arXiv, 2512.15170.","chicago":"Vandersnickt, J., R. Ochoa Armenta, V. Vanlaer, A. David-Uraz A. David-Uraz, C. Aerts, S. B. Das, J. -C. Bouret, et al. “Expanding Stellar Horizons with Polarized Light.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2512.15170\">https://doi.org/10.48550/arXiv.2512.15170</a>.","short":"J. Vandersnickt, R.O. Armenta, V. Vanlaer, A.D.-U. A. David-Uraz, C. Aerts, S.B. Das, J.-C. Bouret, D.M. Bowman, L.A. Bugnet, V. Khalack, J.L.-B. J. Labadie-Bartz, S. Mathis, Y. Nazé, C. Neiner, P. Petit, V. Petit, K.T.-P. K. Thomson-Paressant, T.V. Doorsselaere, M. Vanrespaille, ArXiv (n.d.).","apa":"Vandersnickt, J., Armenta, R. O., Vanlaer, V., A. David-Uraz, A. D.-U., Aerts, C., Das, S. B., … Vanrespaille, M. (n.d.). Expanding stellar horizons with polarized light. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2512.15170\">https://doi.org/10.48550/arXiv.2512.15170</a>"},"publication":"arXiv","status":"public","OA_type":"green","external_id":{"arxiv":["2512.15170"]},"date_created":"2026-02-17T13:53:50Z","_id":"21309","author":[{"full_name":"Vandersnickt, J.","first_name":"J.","last_name":"Vandersnickt"},{"full_name":"Armenta, R. Ochoa","first_name":"R. Ochoa","last_name":"Armenta"},{"first_name":"V.","full_name":"Vanlaer, V.","last_name":"Vanlaer"},{"last_name":"A. David-Uraz","full_name":"A. David-Uraz, A. David-Uraz","first_name":"A. David-Uraz"},{"last_name":"Aerts","first_name":"C.","full_name":"Aerts, C."},{"last_name":"Das","full_name":"Das, S. B.","first_name":"S. B."},{"full_name":"Bouret, J. -C.","first_name":"J. -C.","last_name":"Bouret"},{"first_name":"D. M.","full_name":"Bowman, D. M.","last_name":"Bowman"},{"last_name":"Bugnet","id":"d9edb345-f866-11ec-9b37-d119b5234501","first_name":"Lisa Annabelle","full_name":"Bugnet, Lisa Annabelle","orcid":"0000-0003-0142-4000"},{"full_name":"Khalack, V.","first_name":"V.","last_name":"Khalack"},{"full_name":"J. Labadie-Bartz, J. Labadie-Bartz","first_name":"J. Labadie-Bartz","last_name":"J. Labadie-Bartz"},{"last_name":"Mathis","full_name":"Mathis, S.","first_name":"S."},{"first_name":"Y.","full_name":"Nazé, Y.","last_name":"Nazé"},{"first_name":"C.","full_name":"Neiner, C.","last_name":"Neiner"},{"first_name":"P.","full_name":"Petit, P.","last_name":"Petit"},{"last_name":"Petit","full_name":"Petit, V.","first_name":"V."},{"last_name":"K. Thomson-Paressant","full_name":"K. Thomson-Paressant, K. Thomson-Paressant","first_name":"K. Thomson-Paressant"},{"last_name":"Doorsselaere","full_name":"Doorsselaere, T. Van","first_name":"T. Van"},{"last_name":"Vanrespaille","first_name":"M.","full_name":"Vanrespaille, M."}],"publication_status":"submitted","doi":"10.48550/arXiv.2512.15170","day":"17","arxiv":1,"oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2512.15170"}],"type":"preprint"},{"doi":"10.3847/2041-8213/adff82","file_date_updated":"2026-02-19T07:24:10Z","has_accepted_license":"1","publication_status":"published","PlanS_conform":"1","arxiv":1,"oa_version":"Published Version","type":"journal_article","ddc":["520"],"oa":1,"abstract":[{"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.","lang":"eng"}],"title":"Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor","date_updated":"2026-02-19T07:27:01Z","publication_identifier":{"eissn":["2041-8213"],"issn":["2041-8205"]},"date_published":"2025-09-08T00:00:00Z","article_type":"original","month":"09","file":[{"success":1,"checksum":"f76556d129aa0e9facc85602b0b5b54d","access_level":"open_access","file_size":3772189,"relation":"main_file","creator":"dernst","date_created":"2026-02-19T07:24:10Z","date_updated":"2026-02-19T07:24:10Z","file_id":"21329","file_name":"2025_AstrophysicalJournal_Galiullin.pdf","content_type":"application/pdf"}],"day":"08","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":990,"date_created":"2026-02-18T10:17:04Z","_id":"21317","author":[{"first_name":"Ilkham","full_name":"Galiullin, Ilkham","last_name":"Galiullin"},{"full_name":"Rodriguez, Antonio C.","first_name":"Antonio C.","last_name":"Rodriguez"},{"last_name":"El-Badry","first_name":"Kareem","full_name":"El-Badry, Kareem"},{"orcid":"0000-0002-4770-5388","first_name":"Ilaria","full_name":"Caiazzo, Ilaria","last_name":"Caiazzo","id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d"},{"last_name":"Szkody","full_name":"Szkody, Paula","first_name":"Paula"},{"last_name":"Nagarajan","full_name":"Nagarajan, Pranav","first_name":"Pranav"},{"last_name":"Whitebook","full_name":"Whitebook, Samuel","first_name":"Samuel"}],"scopus_import":"1","department":[{"_id":"IlCa"}],"citation":{"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>","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.","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>.","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).","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>.","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."},"quality_controlled":"1","publication":"The Astrophysical Journal Letters","status":"public","OA_type":"gold","external_id":{"arxiv":["2508.20170"]},"DOAJ_listed":"1","year":"2025","publisher":"IOP Publishing","issue":"2","article_number":"L57","OA_place":"publisher","article_processing_charge":"Yes","intvolume":"       990","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"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."},{"date_published":"2025-08-19T00:00:00Z","article_type":"original","date_updated":"2026-02-24T07:03:57Z","publication_identifier":{"eissn":["1079-7114"],"issn":["0031-9007"]},"pmid":1,"title":"Quantum delocalization of a levitated nanoparticle","month":"08","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."}],"oa":1,"arxiv":1,"publication_status":"published","doi":"10.1103/2yzc-fsm3","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2408.01264"}],"oa_version":"Preprint","issue":"8","article_number":"083601","publisher":"American Physical Society","year":"2025","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"       135","article_processing_charge":"No","OA_place":"repository","department":[{"_id":"JoFi"}],"external_id":{"arxiv":["2408.01264"],"pmid":["40929305"]},"publication":"Physical Review Letters","status":"public","OA_type":"green","quality_controlled":"1","citation":{"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>.","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.","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>","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>.","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).","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>"},"volume":135,"author":[{"last_name":"Rossi","full_name":"Rossi, M.","first_name":"M."},{"id":"d67706f8-8eb1-11ee-ad1b-9c30dfa19e0b","last_name":"Militaru","full_name":"Militaru, Andrei","first_name":"Andrei"},{"last_name":"Carlon Zambon","full_name":"Carlon Zambon, N.","first_name":"N."},{"last_name":"Riera-Campeny","first_name":"A.","full_name":"Riera-Campeny, A."},{"last_name":"Romero-Isart","full_name":"Romero-Isart, O.","first_name":"O."},{"first_name":"M.","full_name":"Frimmer, M.","last_name":"Frimmer"},{"full_name":"Novotny, L.","first_name":"L.","last_name":"Novotny"}],"_id":"21318","date_created":"2026-02-18T10:19:30Z","day":"19"},{"ec_funded":1,"department":[{"_id":"KrCh"}],"citation":{"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>","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>.","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.","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.","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>.","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."},"quality_controlled":"1","status":"public","OA_type":"gold","publication":"52nd International Colloquium on Automata, Languages, and Programming","external_id":{"arxiv":["2407.11752"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2025","article_processing_charge":"No","intvolume":"       334","OA_place":"publisher","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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.","language":[{"iso":"eng"}],"day":"30","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":334,"date_created":"2026-02-18T10:44:14Z","_id":"21320","author":[{"last_name":"Giambartolomei","full_name":"Giambartolomei, Giordano","first_name":"Giordano"},{"last_name":"Mallmann-Trenn","first_name":"Frederik","full_name":"Mallmann-Trenn, Frederik"},{"full_name":"Saona Urmeneta, Raimundo J","first_name":"Raimundo J","orcid":"0000-0001-5103-038X","last_name":"Saona Urmeneta","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425"}],"oa":1,"abstract":[{"lang":"eng","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."}],"title":"IID prophet inequality with random horizon: Going beyond increasing hazard rates","publication_identifier":{"isbn":["9783959773720"]},"date_updated":"2026-02-19T07:43:29Z","date_published":"2025-06-30T00:00:00Z","month":"06","file":[{"content_type":"application/pdf","date_updated":"2026-02-19T07:41:55Z","file_id":"21331","file_name":"2025_ICALP_Giambartolomei.pdf","date_created":"2026-02-19T07:41:55Z","creator":"dernst","success":1,"checksum":"960110956c26a5cefadde8e47888bfbe","file_size":876167,"access_level":"open_access","relation":"main_file"}],"file_date_updated":"2026-02-19T07:41:55Z","doi":"10.4230/LIPIcs.ICALP.2025.87","publication_status":"published","has_accepted_license":"1","arxiv":1,"oa_version":"Published Version","type":"conference","alternative_title":["LIPIcs"],"conference":{"end_date":"2025-07-11","location":"Aarhus, Denmark","name":"ICALP: Automata, Languages and Programming","start_date":"2025-07-08"},"ddc":["000"],"project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","call_identifier":"H2020"}]},{"date_created":"2026-02-18T10:45:06Z","_id":"21321","author":[{"last_name":"Xiao","first_name":"Shanshan","full_name":"Xiao, Shanshan"},{"full_name":"Zhao, Mingjun","first_name":"Mingjun","last_name":"Zhao"},{"first_name":"Mingquan","full_name":"Li, Mingquan","last_name":"Li"},{"full_name":"Wan, Shanhong","first_name":"Shanhong","last_name":"Wan"},{"last_name":"Genç","full_name":"Genç, Aziz","first_name":"Aziz"},{"first_name":"Lulu","full_name":"Huang, Lulu","last_name":"Huang"},{"full_name":"Chen, Lei","first_name":"Lei","last_name":"Chen"},{"last_name":"Zhang","full_name":"Zhang, Yu","first_name":"Yu"},{"orcid":"0000-0001-5013-2843","full_name":"Ibáñez, Maria","first_name":"Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez"},{"last_name":"Lim","full_name":"Lim, Khak Ho","first_name":"Khak Ho"},{"last_name":"Hong","full_name":"Hong, Min","first_name":"Min"},{"last_name":"Liu","full_name":"Liu, Yu","first_name":"Yu"},{"last_name":"Cabot","first_name":"Andreu","full_name":"Cabot, Andreu"}],"volume":18,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"01","article_processing_charge":"Yes (in subscription journal)","OA_place":"publisher","intvolume":"        18","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"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).","publisher":"Tsinghua University Press","year":"2025","article_number":"94907072","issue":"1","citation":{"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>","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>.","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.","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>","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)."},"status":"public","OA_type":"hybrid","publication":"Nano Research","department":[{"_id":"MaIb"}],"ddc":["540"],"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_version":"Published Version","type":"journal_article","publication_status":"published","doi":"10.26599/nr.2025.94907072","file_date_updated":"2026-02-19T07:31:15Z","has_accepted_license":"1","PlanS_conform":"1","month":"01","file":[{"success":1,"access_level":"open_access","file_size":27740524,"relation":"main_file","checksum":"aa531f1363538fece12ecfad83456b65","date_created":"2026-02-19T07:31:15Z","creator":"dernst","content_type":"application/pdf","date_updated":"2026-02-19T07:31:15Z","file_name":"2025_NanoResearch_Xiao.pdf","file_id":"21330"}],"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>","publication_identifier":{"issn":["1998-0124"],"eissn":["1998-0000"]},"date_updated":"2026-02-19T07:32:22Z","article_type":"original","date_published":"2025-01-01T00:00:00Z","oa":1,"abstract":[{"lang":"eng","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."}]},{"day":"01","corr_author":"1","related_material":{"record":[{"id":"14732","relation":"earlier_version","status":"public"}]},"date_created":"2026-02-18T10:47:18Z","page":"617-636","author":[{"last_name":"Olusanya","id":"41AD96DC-F248-11E8-B48F-1D18A9856A87","full_name":"Olusanya, Oluwafunmilola O","first_name":"Oluwafunmilola O","orcid":"0000-0003-1971-8314"},{"id":"4E6DC800-AE37-11E9-AC72-31CAE5697425","last_name":"Khudiakova","full_name":"Khudiakova, Kseniia","first_name":"Kseniia","orcid":"0000-0002-6246-1465"},{"full_name":"Sachdeva, Himani","first_name":"Himani","id":"42377A0A-F248-11E8-B48F-1D18A9856A87","last_name":"Sachdeva"}],"_id":"21322","volume":205,"publication":"The American Naturalist","status":"public","OA_type":"green","citation":{"ama":"Olusanya OO, Khudiakova K, Sachdeva H. Genetic load, eco-evolutionary feedback, and extinction in metapopulations. <i>The American Naturalist</i>. 2025;205(6):617-636. doi:<a href=\"https://doi.org/10.1086/735562\">10.1086/735562</a>","ieee":"O. O. Olusanya, K. Khudiakova, and H. Sachdeva, “Genetic load, eco-evolutionary feedback, and extinction in metapopulations,” <i>The American Naturalist</i>, vol. 205, no. 6. University of Chicago Press, pp. 617–636, 2025.","mla":"Olusanya, Oluwafunmilola O., et al. “Genetic Load, Eco-Evolutionary Feedback, and Extinction in Metapopulations.” <i>The American Naturalist</i>, vol. 205, no. 6, University of Chicago Press, 2025, pp. 617–36, doi:<a href=\"https://doi.org/10.1086/735562\">10.1086/735562</a>.","short":"O.O. Olusanya, K. Khudiakova, H. Sachdeva, The American Naturalist 205 (2025) 617–636.","apa":"Olusanya, O. O., Khudiakova, K., &#38; Sachdeva, H. (2025). Genetic load, eco-evolutionary feedback, and extinction in metapopulations. <i>The American Naturalist</i>. University of Chicago Press. <a href=\"https://doi.org/10.1086/735562\">https://doi.org/10.1086/735562</a>","ista":"Olusanya OO, Khudiakova K, Sachdeva H. 2025. Genetic load, eco-evolutionary feedback, and extinction in metapopulations. The American Naturalist. 205(6), 617–636.","chicago":"Olusanya, Oluwafunmilola O, Kseniia Khudiakova, and Himani Sachdeva. “Genetic Load, Eco-Evolutionary Feedback, and Extinction in Metapopulations.” <i>The American Naturalist</i>. University of Chicago Press, 2025. <a href=\"https://doi.org/10.1086/735562\">https://doi.org/10.1086/735562</a>."},"quality_controlled":"1","external_id":{"pmid":["40446297 "]},"department":[{"_id":"JaMa"},{"_id":"NiBa"}],"scopus_import":"1","OA_place":"repository","intvolume":"       205","article_processing_charge":"No","acknowledgement":"This research was partially funded by the Austrian Science Fund (FWF P-32896B) and DOC Fellowships of the Austrian Academy of Sciences: grants 26380 (O.O.) and 26293 (K.K.). We thank Nick Barton for useful comments on the chapter in O.O.’s thesis that led to this article.","language":[{"iso":"eng"}],"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"University of Chicago Press","year":"2025","issue":"6","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2023.12.02.569702"}],"type":"journal_article","publication_status":"published","doi":"10.1086/735562","project":[{"name":"Causes and consequences of population fragmentation","_id":"c08d3278-5a5b-11eb-8a69-fdb09b55f4b8","grant_number":"P32896"},{"name":"Polygenic Adaptation in a Metapopulation","_id":"34c872fe-11ca-11ed-8bc3-8534b82131e6","grant_number":"26380"},{"name":"The impact of deleterious mutations on small populations","_id":"34d33d68-11ca-11ed-8bc3-ec13763c0ca8","grant_number":"26293"}],"abstract":[{"lang":"eng","text":"Habitat fragmentation poses a significant risk to population survival, causing both demographic stochasticity and genetic drift within local populations to increase, thereby increasing genetic load. Higher load causes population numbers to decline, which reduces the efficiency of selection and further increases load, resulting in a positive feedback that may drive entire populations to extinction. Here, we investigate this eco-evolutionary feedback in a metapopulation consisting of local demes connected via migration, with individuals subject to deleterious mutation at a large number of loci. We first analyze the determinants of load under soft selection, where population sizes are fixed, and then build on this to understand hard selection, where population sizes and load coevolve. We show that under soft selection, very little gene flow (less than one migrant per generation) is enough to prevent fixation of deleterious alleles. By contrast, much higher levels of migration are required to mitigate load and prevent extinction when selection is hard, with critical migration thresholds for metapopulation persistence increasing sharply as the genome-wide deleterious mutation rate becomes comparable to the baseline population growth rate. Moreover, critical migration thresholds are highest if deleterious mutations have intermediate selection coefficients but lower if alleles are predominantly recessive rather than additive (due to more efficient purging of recessive load within local populations). Our analysis is based on a combination of analytical approximations and simulations, allowing for a more comprehensive understanding of the factors influencing load and extinction in fragmented populations."}],"oa":1,"month":"06","pmid":1,"title":"Genetic load, eco-evolutionary feedback, and extinction in metapopulations","date_published":"2025-06-01T00:00:00Z","article_type":"original","publication_identifier":{"issn":["0003-0147"],"eissn":["1537-5323"]},"date_updated":"2026-04-07T08:45:14Z"},{"day":"17","date_created":"2026-02-18T10:59:58Z","author":[{"last_name":"Belohorec","full_name":"Belohorec, Juraj","first_name":"Juraj"},{"last_name":"Dvořák","full_name":"Dvořák, Pavel","first_name":"Pavel"},{"last_name":"Hoffmann","id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","orcid":"0000-0003-2027-5549","full_name":"Hoffmann, Charlotte","first_name":"Charlotte"},{"last_name":"Hubáček","first_name":"Pavel","full_name":"Hubáček, Pavel"},{"full_name":"Mašková, Kristýna","first_name":"Kristýna","last_name":"Mašková"},{"last_name":"Pastyřík","full_name":"Pastyřík, Martin","first_name":"Martin"}],"page":"584-616","_id":"21323","volume":16005,"OA_type":"green","status":"public","publication":"45th Annual International Cryptology Conference","quality_controlled":"1","citation":{"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.","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>","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>.","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.","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>","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."},"department":[{"_id":"KrPi"}],"OA_place":"repository","intvolume":"     16005","article_processing_charge":"No","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.","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","year":"2025","oa_version":"Preprint","type":"conference","main_file_link":[{"url":"https://eprint.iacr.org/2025/514","open_access":"1"}],"doi":"10.1007/978-3-032-01887-8_19","publication_status":"published","alternative_title":["LNCS"],"conference":{"name":"CRYPTO: International Cryptology Conference","start_date":"2025-08-17","location":"Santa Barbara, CA, United States","end_date":"2025-08-221"},"abstract":[{"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.","lang":"eng"}],"oa":1,"month":"08","title":"On extractability of the KZG family of polynomial commitment schemes","date_published":"2025-08-17T00:00:00Z","date_updated":"2026-02-19T07:50:33Z","publication_identifier":{"eissn":["1611-3349"],"eisbn":["9783032018878"],"isbn":["9783032018861"],"issn":["0302-9743"]}},{"date_published":"2025-07-30T00:00:00Z","publication_identifier":{"eissn":["2640-3498"]},"date_updated":"2026-02-19T08:08:55Z","title":"Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization","file":[{"date_created":"2026-02-19T08:04:38Z","creator":"dernst","file_id":"21335","file_name":"2025_ICML_Bombari.pdf","date_updated":"2026-02-19T08:04:38Z","content_type":"application/pdf","success":1,"checksum":"d4ba4f7717b362ca38878f45e57bd643","file_size":887526,"relation":"main_file","access_level":"open_access"}],"month":"07","abstract":[{"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.","lang":"eng"}],"oa":1,"conference":{"location":"Vancouver, Canada","end_date":"2025-07-19","name":"ICML: International Conference on Machine Learning","start_date":"2025-07-13"},"alternative_title":["PMLR"],"project":[{"_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","grant_number":"101161364"},{"_id":"92099302-16d5-11f0-9cad-f9a785f54fbd","name":"Trustworthy Deep Learning Theory: Private Over-Parameterized Models and Robust LLMs"}],"ddc":["000"],"arxiv":1,"has_accepted_license":"1","file_date_updated":"2026-02-19T08:04:38Z","publication_status":"published","type":"conference","oa_version":"Published Version","year":"2025","publisher":"ML Research Press","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.","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","OA_place":"publisher","intvolume":"       267","department":[{"_id":"MaMo"}],"external_id":{"arxiv":["2502.01347"]},"publication":"Proceedings of the 42nd International Conference on Machine Learning","OA_type":"gold","status":"public","citation":{"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.","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.","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.","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.","short":"S. Bombari, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 4839–4873.","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.","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."},"quality_controlled":"1","volume":267,"author":[{"id":"ca726dda-de17-11ea-bc14-f9da834f63aa","last_name":"Bombari","full_name":"Bombari, Simone","first_name":"Simone"},{"id":"27EB676C-8706-11E9-9510-7717E6697425","last_name":"Mondelli","orcid":"0000-0002-3242-7020","first_name":"Marco","full_name":"Mondelli, Marco"}],"page":"4839-4873","_id":"21324","date_created":"2026-02-18T11:58:00Z","day":"30","corr_author":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"status":"public","OA_type":"gold","publication":"Proceedings of the 42nd International Conference on Machine Learning","citation":{"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.","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.","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.","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.","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.","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.","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."},"quality_controlled":"1","external_id":{"pmid":["41321376"]},"department":[{"_id":"MaMo"}],"intvolume":"       267","article_processing_charge":"No","OA_place":"publisher","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.","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","publisher":"ML Research Press","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"30","date_created":"2026-02-18T12:00:44Z","page":"20266-20295","author":[{"last_name":"Gozeten","full_name":"Gozeten, Halil Alperen","first_name":"Halil Alperen"},{"last_name":"Ildiz","first_name":"Muhammed Emrullah","full_name":"Ildiz, Muhammed Emrullah"},{"last_name":"Zhang","first_name":"Xuechen","full_name":"Zhang, Xuechen"},{"full_name":"Soltanolkotabi, Mahdi","first_name":"Mahdi","last_name":"Soltanolkotabi"},{"last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425","orcid":"0000-0002-3242-7020","first_name":"Marco","full_name":"Mondelli, Marco"},{"full_name":"Oymak, Samet","first_name":"Samet","last_name":"Oymak"}],"_id":"21325","volume":267,"abstract":[{"lang":"eng","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."}],"oa":1,"file":[{"success":1,"checksum":"f774f8619a0d72f3975d9cb23942a1e9","file_size":471176,"relation":"main_file","access_level":"open_access","file_id":"21336","content_type":"application/pdf","file_name":"2025_ICML_Gozeten.pdf","date_updated":"2026-02-19T08:15:48Z","date_created":"2026-02-19T08:15:48Z","creator":"dernst"}],"month":"11","pmid":1,"title":"Test-time training provably improves transformers as in-context learners","date_published":"2025-11-30T00:00:00Z","date_updated":"2026-02-19T08:18:24Z","publication_identifier":{"eissn":["2640-3498"]},"oa_version":"Published Version","type":"conference","publication_status":"published","has_accepted_license":"1","file_date_updated":"2026-02-19T08:15:48Z","ddc":["000"],"project":[{"name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","grant_number":"101161364"}],"alternative_title":["PMLR"],"conference":{"start_date":"2025-07-13","name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","end_date":"2025-07-19"}},{"oa":1,"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"}],"publication_identifier":{"eissn":["2640-3498"]},"date_updated":"2026-02-19T08:30:42Z","date_published":"2025-07-30T00:00:00Z","title":"Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime","month":"07","file":[{"success":1,"checksum":"c5ce8b1c83e33dc3a11122f4910deb67","file_size":3994385,"access_level":"open_access","relation":"main_file","date_created":"2026-02-19T08:28:22Z","creator":"dernst","file_name":"2025_ICML_Wu.pdf","file_id":"21337","content_type":"application/pdf","date_updated":"2026-02-19T08:28:22Z"}],"arxiv":1,"has_accepted_license":"1","file_date_updated":"2026-02-19T08:28:22Z","publication_status":"published","type":"conference","oa_version":"Published Version","conference":{"start_date":"2025-07-13","name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","end_date":"2025-07-19"},"alternative_title":["PMLR"],"ddc":["000"],"department":[{"_id":"MaMo"}],"external_id":{"arxiv":["2501.19104"]},"quality_controlled":"1","citation":{"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.","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.","short":"D. Wu, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 67499–67536.","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.","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."},"publication":"Proceedings of the 42nd International Conference on Machine Learning","OA_type":"gold","status":"public","year":"2025","publisher":"ML Research Press","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","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. ","language":[{"iso":"eng"}],"intvolume":"       267","OA_place":"publisher","article_processing_charge":"No","corr_author":"1","day":"30","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":267,"_id":"21326","page":"67499-67536","author":[{"full_name":"Wu, Diyuan","first_name":"Diyuan","last_name":"Wu","id":"1a5914c2-896a-11ed-bdf8-fb80621a0635"},{"last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco","first_name":"Marco","orcid":"0000-0002-3242-7020"}],"date_created":"2026-02-18T12:02:45Z"},{"acknowledged_ssus":[{"_id":"ScienComp"}],"publisher":"ML Research Press","year":"2025","article_processing_charge":"No","OA_place":"publisher","intvolume":"       267","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"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. ","department":[{"_id":"PaSc"},{"_id":"AlBr"},{"_id":"GradSch"}],"quality_controlled":"1","citation":{"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.","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.","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.","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."},"status":"public","publication":"Proceedings of the 42nd International Conference on Machine Learning","OA_type":"gold","external_id":{"arxiv":["2502.09372"]},"volume":267,"date_created":"2026-02-18T12:11:17Z","_id":"21327","page":"42366 - 42393","author":[{"last_name":"Maddipatla","id":"e957f5e5-91c9-11f0-a95f-e090f66ecb4d","first_name":"Sai A","full_name":"Maddipatla, Sai A"},{"full_name":"Sellam, Nadav E","first_name":"Nadav E","id":"ef280fe0-91c9-11f0-a95f-8dea3f5bc513","last_name":"Sellam"},{"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"},{"id":"7B541462-FAF6-11E9-A490-E8DFE5697425","last_name":"Schanda","first_name":"Paul","full_name":"Schanda, Paul","orcid":"0000-0002-9350-7606"},{"last_name":"Marx","first_name":"Ailie","full_name":"Marx, Ailie"},{"id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6","last_name":"Bronstein","orcid":"0000-0001-9699-8730","full_name":"Bronstein, Alexander","first_name":"Alexander"}],"corr_author":"1","day":"30","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"title":"Inverse problems with experiment-guided AlphaFold","date_updated":"2026-02-19T08:56:43Z","publication_identifier":{"eissn":["2640-3498"]},"date_published":"2025-07-30T00:00:00Z","month":"07","file":[{"file_name":"2025_ICML_Maddipatla.pdf","file_id":"21338","content_type":"application/pdf","date_updated":"2026-02-19T08:56:10Z","creator":"dernst","date_created":"2026-02-19T08:56:10Z","success":1,"checksum":"f33230a6d59b7978d4cd72795e4e9059","access_level":"open_access","file_size":1924177,"relation":"main_file"}],"oa":1,"abstract":[{"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.","lang":"eng"}],"alternative_title":["PMLR"],"conference":{"name":"ICML: International Conference on Machine Learning","start_date":"2025-07-13","end_date":"2025-07-19","location":"Vancouver, Canada"},"ddc":["000","540"],"project":[{"grant_number":"I05812","name":"AlloSpace. The emergence and mechanisms of allostery","_id":"eb9c82eb-77a9-11ec-83b8-aadd536561cf"},{"grant_number":"I06223","name":"Structure and mechanism of the mitochondrial MIM insertase","_id":"bdb9578d-d553-11ed-ba76-ed5d39fce6f0"}],"file_date_updated":"2026-02-19T08:56:10Z","has_accepted_license":"1","publication_status":"published","arxiv":1,"oa_version":"Published Version","type":"conference"},{"file":[{"success":1,"relation":"main_file","access_level":"open_access","file_size":844611,"checksum":"19aa70ab4f57fb9067b6ebb99a5fd6f0","date_updated":"2026-02-19T09:03:43Z","file_name":"2025_LearningTheory_Kovacevic.pdf","file_id":"21339","content_type":"application/pdf","creator":"dernst","date_created":"2026-02-19T09:03:43Z"}],"month":"07","date_published":"2025-07-01T00:00:00Z","publication_identifier":{"eissn":["2640-3498"]},"date_updated":"2026-02-19T09:03:53Z","title":"Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery","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"}],"oa":1,"project":[{"grant_number":"101161364","name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf"}],"ddc":["000"],"conference":{"location":"Lyon, France","end_date":"2025-07-04","start_date":"2025-06-30","name":"COLT: Conference on Learning Theory"},"alternative_title":["PMLR"],"type":"conference","oa_version":"Published Version","arxiv":1,"file_date_updated":"2026-02-19T09:03:43Z","has_accepted_license":"1","publication_status":"published","language":[{"iso":"eng"}],"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).","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"publisher","intvolume":"       291","article_processing_charge":"No","publisher":"ML Research Press","year":"2025","external_id":{"arxiv":["2502.01583"]},"publication":"Proceedings of 38th Conference on Learning Theory","status":"public","OA_type":"gold","quality_controlled":"1","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.","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.","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.","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.","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."},"department":[{"_id":"MaMo"}],"scopus_import":"1","page":"3354-3404","author":[{"last_name":"Kovačević","id":"d0258e7b-50b8-11ef-ad56-8b9f537b6b1b","full_name":"Kovačević, Filip","first_name":"Filip"},{"full_name":"Yihan, Zhang","first_name":"Zhang","last_name":"Yihan"},{"orcid":"0000-0002-3242-7020","full_name":"Mondelli, Marco","first_name":"Marco","last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425"}],"_id":"21328","date_created":"2026-02-18T12:12:47Z","volume":291,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"01","corr_author":"1"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"While working on this paper, the first author was supported by a FWF grant (DOI 10.55776/P36278).","language":[{"iso":"eng"}],"OA_place":"publisher","intvolume":"        12","article_processing_charge":"Yes","DOAJ_listed":"1","year":"2025","publisher":"Ecole polytechnique","external_id":{"arxiv":["2411.09264"]},"quality_controlled":"1","citation":{"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>.","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.","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>","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>.","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>"},"OA_type":"gold","publication":"Journal de l'ecole polytechnique mathematiques","status":"public","scopus_import":"1","department":[{"_id":"TiBr"}],"_id":"21343","page":"1677-1691","author":[{"full_name":"Browning, Timothy D","first_name":"Timothy D","orcid":"0000-0002-8314-0177","last_name":"Browning","id":"35827D50-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Chan","id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1","full_name":"Chan, Yik Tung","first_name":"Yik Tung","orcid":"0000-0001-8467-4106"}],"date_created":"2026-02-22T23:01:36Z","volume":12,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"corr_author":"1","day":"21","month":"10","file":[{"success":1,"file_size":1003689,"access_level":"open_access","relation":"main_file","checksum":"828577ea48ac6109d3e9dd1aeddd45c4","content_type":"application/pdf","file_id":"21356","file_name":"2025_JEP_Browning.pdf","date_updated":"2026-02-24T07:56:34Z","date_created":"2026-02-24T07:56:34Z","creator":"dernst"}],"date_updated":"2026-02-24T07:57:53Z","publication_identifier":{"issn":["2429-7100"],"eissn":["2270-518X"]},"date_published":"2025-10-21T00:00:00Z","article_type":"original","title":"Solubility of a resultant equation and applications","oa":1,"abstract":[{"lang":"eng","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":"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."}],"project":[{"name":"Rational curves via function field analytic number theory","_id":"bd8a4fdc-d553-11ed-ba76-80a0167441a3","grant_number":"P36278"}],"ddc":["510"],"type":"journal_article","oa_version":"Published Version","arxiv":1,"PlanS_conform":"1","publication_status":"published","doi":"10.5802/jep.320","file_date_updated":"2026-02-24T07:56:34Z","has_accepted_license":"1"},{"article_processing_charge":"No","OA_place":"repository","language":[{"iso":"eng"}],"acknowledgement":"We would like to dedicate the paper to the memory of Klaus Truemper, whose monograph Matroid Decomposition [12]\r\nlaid the foundation for our entire work.","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","month":"09","year":"2025","title":"Composition direction of Seymour's theorem for regular matroids — Formally verified","date_published":"2025-09-23T00:00:00Z","date_updated":"2026-03-27T12:36:59Z","publication":"arXiv","status":"public","citation":{"ama":"Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s theorem for regular matroids — Formally verified. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>","mla":"Dvorak, Martin, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>.","ieee":"M. Dvorak <i>et al.</i>, “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” <i>arXiv</i>. .","short":"M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).","apa":"Dvorak, M., Figueroa-Reid, T., Hamadani, R., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">https://doi.org/10.48550/arXiv.2509.20539</a>","chicago":"Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">https://doi.org/10.48550/arXiv.2509.20539</a>.","ista":"Dvorak M, Figueroa-Reid T, Hamadani R, Hwang B-H, Karunus E, Kolmogorov V, Meiburg A, Nelson A, Nelson P, Sandey M, Sergeev I. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv, <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>."},"external_id":{"arxiv":["2509.20539"]},"abstract":[{"lang":"eng","text":"Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets."}],"oa":1,"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"related_material":{"record":[{"id":"21393","status":"public","relation":"dissertation_contains"}]},"date_created":"2026-03-04T11:56:29Z","author":[{"full_name":"Dvorak, Martin","first_name":"Martin","orcid":"0000-0001-5293-214X","last_name":"Dvorak","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425"},{"full_name":"Figueroa-Reid, Tristan","first_name":"Tristan","last_name":"Figueroa-Reid"},{"full_name":"Hamadani, Rida","first_name":"Rida","last_name":"Hamadani"},{"full_name":"Hwang, Byung-Hak","first_name":"Byung-Hak","last_name":"Hwang"},{"first_name":"Evgenia","full_name":"Karunus, Evgenia","last_name":"Karunus"},{"id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov","full_name":"Kolmogorov, Vladimir","first_name":"Vladimir"},{"last_name":"Meiburg","first_name":"Alexander","full_name":"Meiburg, Alexander"},{"last_name":"Nelson","full_name":"Nelson, Alexander","first_name":"Alexander"},{"last_name":"Nelson","full_name":"Nelson, Peter","first_name":"Peter"},{"full_name":"Sandey, Mark","first_name":"Mark","last_name":"Sandey"},{"first_name":"Ivan","full_name":"Sergeev, Ivan","orcid":"0009-0004-9145-8785","last_name":"Sergeev","id":"ca3c9187-9a72-11ee-a009-8af825d896b0"}],"page":"21","_id":"21398","oa_version":"Preprint","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2509.20539","open_access":"1"}],"type":"preprint","doi":"10.48550/arXiv.2509.20539","publication_status":"draft","arxiv":1,"day":"23","corr_author":"1"},{"citation":{"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>.","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.).","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>","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>.","ieee":"M. Bolan <i>et al.</i>, “The equational theories project: Advancing collaborative mathematical research at scale,” <i>arXiv</i>. .","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>"},"status":"public","publication":"arXiv","external_id":{"arxiv":["2512.07087"]},"oa":1,"abstract":[{"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.","lang":"eng"}],"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"OA_place":"repository","article_processing_charge":"No","month":"12","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","language":[{"iso":"eng"}],"title":"The equational theories project: Advancing collaborative mathematical research at scale","year":"2025","date_updated":"2026-03-12T08:36:21Z","date_published":"2025-12-16T00:00:00Z","oa_version":"Preprint","type":"preprint","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2512.07087","open_access":"1"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"doi":"10.48550/arXiv.2512.07087","publication_status":"submitted","day":"16","arxiv":1,"date_created":"2026-03-04T12:00:16Z","_id":"21399","author":[{"full_name":"Bolan, Matthew","first_name":"Matthew","last_name":"Bolan"},{"first_name":"Joachim","full_name":"Breitner, Joachim","last_name":"Breitner"},{"first_name":"Jose","full_name":"Brox, Jose","last_name":"Brox"},{"last_name":"Carlini","first_name":"Nicholas","full_name":"Carlini, Nicholas"},{"first_name":"Mario","full_name":"Carneiro, Mario","last_name":"Carneiro"},{"last_name":"Doorn","first_name":"Floris van","full_name":"Doorn, Floris van"},{"full_name":"Dvorak, Martin","first_name":"Martin","orcid":"0000-0001-5293-214X","last_name":"Dvorak","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425"},{"full_name":"Goens, Andrés","first_name":"Andrés","last_name":"Goens"},{"first_name":"Aaron","full_name":"Hill, Aaron","last_name":"Hill"},{"last_name":"Husum","full_name":"Husum, Harald","first_name":"Harald"},{"last_name":"Mejia","first_name":"Hernán Ibarra","full_name":"Mejia, Hernán Ibarra"},{"full_name":"Kocsis, Zoltan A.","first_name":"Zoltan A.","last_name":"Kocsis"},{"first_name":"Bruno Le","full_name":"Floch, Bruno Le","last_name":"Floch"},{"full_name":"Bar-on, Amir","first_name":"Amir","last_name":"Bar-on"},{"full_name":"Luccioli, Lorenzo","first_name":"Lorenzo","last_name":"Luccioli"},{"first_name":"Douglas","full_name":"McNeil, Douglas","last_name":"McNeil"},{"last_name":"Meiburg","full_name":"Meiburg, Alex","first_name":"Alex"},{"full_name":"Monticone, Pietro","first_name":"Pietro","last_name":"Monticone"},{"first_name":"Pace P.","full_name":"Nielsen, Pace P.","last_name":"Nielsen"},{"full_name":"Osazuwa, Emmanuel Osalotioman","first_name":"Emmanuel Osalotioman","last_name":"Osazuwa"},{"full_name":"Paolini, Giovanni","first_name":"Giovanni","last_name":"Paolini"},{"first_name":"Marco","full_name":"Petracci, Marco","last_name":"Petracci"},{"last_name":"Reinke","full_name":"Reinke, Bernhard","first_name":"Bernhard"},{"last_name":"Renshaw","full_name":"Renshaw, David","first_name":"David"},{"full_name":"Rossel, Marcus","first_name":"Marcus","last_name":"Rossel"},{"last_name":"Roux","first_name":"Cody","full_name":"Roux, Cody"},{"last_name":"Scanvic","full_name":"Scanvic, Jérémy","first_name":"Jérémy"},{"first_name":"Shreyas","full_name":"Srinivas, Shreyas","last_name":"Srinivas"},{"full_name":"Tadipatri, Anand Rao","first_name":"Anand Rao","last_name":"Tadipatri"},{"first_name":"Terence","full_name":"Tao, Terence","last_name":"Tao"},{"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","first_name":"Daniel","last_name":"Weber"},{"full_name":"Zheng, Fan","first_name":"Fan","last_name":"Zheng"}]},{"file":[{"date_updated":"2026-03-09T11:51:59Z","file_name":"2025_DISC_Chatterjee.pdf","file_id":"21418","content_type":"application/pdf","date_created":"2026-03-09T11:51:59Z","creator":"dernst","checksum":"8e3d1594365df60163d9df22158a37b1","access_level":"open_access","file_size":1130069,"relation":"main_file","success":1}],"month":"10","title":"Boosting payment channel network liquidity with topology optimization and transaction selection","date_published":"2025-10-22T00:00:00Z","publication_identifier":{"isbn":["9783959774024"],"issn":["1868-8969"]},"date_updated":"2026-03-09T11:52:58Z","abstract":[{"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.","lang":"eng"}],"oa":1,"ddc":["000"],"project":[{"call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"alternative_title":["LIPIcs"],"conference":{"start_date":"2025-10-27","name":"DISC: Symposium on Distributed Computing","end_date":"2025-10-31","location":"Berlin, Germany"},"oa_version":"Published Version","type":"conference","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/1484.pdf"}],"has_accepted_license":"1","doi":"10.4230/LIPIcs.DISC.2025.23","publication_status":"published","file_date_updated":"2026-03-09T11:51:59Z","arxiv":1,"intvolume":"       356","OA_place":"publisher","article_processing_charge":"No","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).","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2025","article_number":"23","status":"public","OA_type":"gold","publication":"39th International Symposium on Distributed Computing","citation":{"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>","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>.","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.","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>","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.","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>."},"quality_controlled":"1","external_id":{"arxiv":["2508.14524"]},"ec_funded":1,"department":[{"_id":"KrCh"}],"scopus_import":"1","date_created":"2026-03-08T23:01:46Z","author":[{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee"},{"first_name":"Jan Matyáš","full_name":"Křišťan, Jan Matyáš","last_name":"Křišťan"},{"last_name":"Schmid","first_name":"Stefan","full_name":"Schmid, Stefan"},{"orcid":"0000-0002-1419-3267","full_name":"Svoboda, Jakub","first_name":"Jakub","last_name":"Svoboda","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425"},{"id":"2D82B818-F248-11E8-B48F-1D18A9856A87","last_name":"Yeo","full_name":"Yeo, Michelle X","first_name":"Michelle X","orcid":"0009-0001-3676-4809"}],"_id":"21412","volume":356,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"22"},{"file":[{"checksum":"2ccf563ae577ee08d82baf752292ca7b","file_size":861607,"access_level":"open_access","relation":"main_file","success":1,"creator":"dernst","date_created":"2026-03-09T11:39:59Z","file_id":"21417","content_type":"application/pdf","date_updated":"2026-03-09T11:39:59Z","file_name":"2026_TheoretiCS_Brazdil.pdf"}],"month":"04","title":"Learning algorithms for verification of Markov decision processes","date_published":"2025-04-01T00:00:00Z","article_type":"original","publication_identifier":{"eissn":["2751-4838"]},"date_updated":"2026-03-09T11:43:38Z","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."}],"oa":1,"ddc":["000"],"project":[{"_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","grant_number":"279307"},{"call_identifier":"H2020","grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"call_identifier":"FWF","grant_number":"S11402-N23","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering"},{"call_identifier":"FWF","grant_number":"P 23499-N23","_id":"2584A770-B435-11E9-9278-68D0E5697425","name":"Modern Graph Algorithmic Techniques in Formal Verification"}],"oa_version":"Published Version","type":"journal_article","doi":"10.46298/theoretics.25.10","has_accepted_license":"1","file_date_updated":"2026-03-09T11:39:59Z","publication_status":"published","PlanS_conform":"1","arxiv":1,"intvolume":"         4","article_processing_charge":"Yes","OA_place":"publisher","language":[{"iso":"eng"}],"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.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","publisher":"TheoretiCS Foundation","DOAJ_listed":"1","article_number":"10","status":"public","OA_type":"gold","publication":"TheoretiCS","quality_controlled":"1","citation":{"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.","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>","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>.","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.","short":"T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (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>"},"external_id":{"arxiv":["2403.09184"]},"ec_funded":1,"department":[{"_id":"KrCh"}],"scopus_import":"1","date_created":"2026-03-08T23:01:46Z","author":[{"full_name":"Brázdil, Tomáš","first_name":"Tomáš","last_name":"Brázdil"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu"},{"last_name":"Chmelik","id":"3624234E-F248-11E8-B48F-1D18A9856A87","first_name":"Martin","full_name":"Chmelik, Martin"},{"first_name":"Vojtěch","full_name":"Forejt, Vojtěch","last_name":"Forejt"},{"id":"44CEF464-F248-11E8-B48F-1D18A9856A87","last_name":"Kretinsky","orcid":"0000-0002-8122-2881","first_name":"Jan","full_name":"Kretinsky, Jan"},{"last_name":"Kwiatkowska","first_name":"Marta","full_name":"Kwiatkowska, Marta"},{"last_name":"Meggendorfer","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","orcid":"0000-0002-1712-2165","first_name":"Tobias","full_name":"Meggendorfer, Tobias"},{"first_name":"David","full_name":"Parker, David","last_name":"Parker"},{"last_name":"Ujma","first_name":"Mateusz","full_name":"Ujma, Mateusz"}],"_id":"21413","volume":4,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"01"},{"abstract":[{"lang":"eng","text":"While tumor malignancy has been extensively studied under the prism of genetic and epigenetic heterogeneity, tumor cell states also critically depend on reciprocal interactions with the microenvironment. This raises the hitherto untested possibility that heterogeneity of the untransformed tumor stroma can actively fuel malignant progression. As biological heterogeneity is inherently difficult to control, we adopted a reductionist approach and let tumor cells invade micro-engineered environments harboring obstacles with precision-controlled geometry. We find that not only the presence of obstacles, but more surprisingly their spatial disorder, causes a drastic shift from a collective to a single-cell mode of invasion – comparable in strength to cadherin loss. Combining live-imaging and perturbation experiments with minimal biophysical modeling, we demonstrate that cell detachments result both from local geometrical constraints and a global integration of spatial disorder over time. We show that different types of microenvironments map onto different universality classes of invasion dynamics - homogeneous substrates follow Kardar–Parisi–Zhang (KPZ) scaling, while disordered ones exhibit exponents consistent with KPZ with quenched disorder (KPZq). Our findings highlight generic physical principles for how the mode of cancer cell invasion depends on environmental heterogeneity, with potential implications to understand tumor evolution in vivo."}],"oa":1,"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","title":"Substrate heterogeneity promotes cancer cell dissemination through interface roughening","date_published":"2025-09-25T00:00:00Z","date_updated":"2026-06-10T09:41:11Z","month":"09","doi":"10.1101/2025.05.20.655037","has_accepted_license":"1","publication_status":"draft","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2025.05.20.655037"}],"type":"preprint","ddc":["539","570"],"project":[{"_id":"bd91e723-d553-11ed-ba76-fe7eeb2185fd","name":"Pushing from within: Control of cell shape, integrity and motility by cytoskeletal pushing forces","grant_number":"101071793"},{"grant_number":"26360","name":"Motile active matter models of migrating cells and chiral filaments","_id":"34d75525-11ca-11ed-8bc3-89b6307fee9d"}],"department":[{"_id":"GradSch"},{"_id":"EdHa"},{"_id":"MiSi"},{"_id":"NanoFab"},{"_id":"AnSa"}],"status":"public","citation":{"mla":"Dunajova, Zuzana, et al. <i>Substrate Heterogeneity Promotes Cancer Cell Dissemination through Interface Roughening</i>. bioRxiv, doi:<a href=\"https://doi.org/10.1101/2025.05.20.655037\">10.1101/2025.05.20.655037</a>.","ieee":"Z. Dunajova <i>et al.</i>, “Substrate heterogeneity promotes cancer cell dissemination through interface roughening.” bioRxiv.","ama":"Dunajova Z, Tasciyan S, Majek J, et al. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. doi:<a href=\"https://doi.org/10.1101/2025.05.20.655037\">10.1101/2025.05.20.655037</a>","ista":"Dunajova Z, Tasciyan S, Majek J, Merrin J, Sahai E, Sixt MK, Hannezo EB. Substrate heterogeneity promotes cancer cell dissemination through interface roughening. <a href=\"https://doi.org/10.1101/2025.05.20.655037\">10.1101/2025.05.20.655037</a>.","chicago":"Dunajova, Zuzana, Saren Tasciyan, Juraj Majek, Jack Merrin, Erik Sahai, Michael K Sixt, and Edouard B Hannezo. “Substrate Heterogeneity Promotes Cancer Cell Dissemination through Interface Roughening.” bioRxiv, n.d. <a href=\"https://doi.org/10.1101/2025.05.20.655037\">https://doi.org/10.1101/2025.05.20.655037</a>.","short":"Z. Dunajova, S. Tasciyan, J. Majek, J. Merrin, E. Sahai, M.K. Sixt, E.B. Hannezo, (n.d.).","apa":"Dunajova, Z., Tasciyan, S., Majek, J., Merrin, J., Sahai, E., Sixt, M. K., &#38; Hannezo, E. B. (n.d.). Substrate heterogeneity promotes cancer cell dissemination through interface roughening. bioRxiv. <a href=\"https://doi.org/10.1101/2025.05.20.655037\">https://doi.org/10.1101/2025.05.20.655037</a>"},"year":"2025","publisher":"bioRxiv","OA_place":"repository","article_processing_charge":"No","acknowledgement":"European Research Council, https://ror.org/0472cxd90, 101071793\r\nAustrian Academy of Sciences, 26360","language":[{"iso":"eng"}],"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","day":"25","corr_author":"1","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"21423"},{"id":"21439","relation":"research_data","status":"public"}]},"date_created":"2026-03-11T08:40:06Z","author":[{"last_name":"Dunajova","id":"4B39F286-F248-11E8-B48F-1D18A9856A87","full_name":"Dunajova, Zuzana","first_name":"Zuzana"},{"orcid":"0000-0003-1671-393X","first_name":"Saren","full_name":"Tasciyan, Saren","id":"4323B49C-F248-11E8-B48F-1D18A9856A87","last_name":"Tasciyan"},{"first_name":"Juraj","full_name":"Majek, Juraj","id":"3e6d9473-f38e-11ec-8ae0-c4e05a8aa9e1","last_name":"Majek"},{"orcid":"0000-0001-5145-4609","full_name":"Merrin, Jack","first_name":"Jack","last_name":"Merrin","id":"4515C308-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Erik","full_name":"Sahai, Erik","last_name":"Sahai"},{"last_name":"Sixt","id":"41E9FBEA-F248-11E8-B48F-1D18A9856A87","full_name":"Sixt, Michael K","first_name":"Michael K","orcid":"0000-0002-6620-9179"},{"id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","last_name":"Hannezo","first_name":"Edouard B","full_name":"Hannezo, Edouard B","orcid":"0000-0001-6005-1561"}],"_id":"21427"},{"external_id":{"arxiv":["2310.15631"]},"citation":{"chicago":"Sunko, Veronika, C. Liu, M. Vila, I. Na, Y. Tang, V. Kozii, S. M. Griffin, J. E. Moore, and J. Orenstein. “Linear Magnetoconductivity as a Probe of Time-Reversal Symmetry Breaking.” <i>Physical Review B</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/33ns-8gwj\">https://doi.org/10.1103/33ns-8gwj</a>.","ista":"Sunko V, Liu C, Vila M, Na I, Tang Y, Kozii V, Griffin SM, Moore JE, Orenstein J. 2025. Linear magnetoconductivity as a probe of time-reversal symmetry breaking. Physical Review B. 112(13), 134407.","short":"V. Sunko, C. Liu, M. Vila, I. Na, Y. Tang, V. Kozii, S.M. Griffin, J.E. Moore, J. Orenstein, Physical Review B 112 (2025).","apa":"Sunko, V., Liu, C., Vila, M., Na, I., Tang, Y., Kozii, V., … Orenstein, J. (2025). Linear magnetoconductivity as a probe of time-reversal symmetry breaking. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/33ns-8gwj\">https://doi.org/10.1103/33ns-8gwj</a>","ieee":"V. Sunko <i>et al.</i>, “Linear magnetoconductivity as a probe of time-reversal symmetry breaking,” <i>Physical Review B</i>, vol. 112, no. 13. American Physical Society, 2025.","mla":"Sunko, Veronika, et al. “Linear Magnetoconductivity as a Probe of Time-Reversal Symmetry Breaking.” <i>Physical Review B</i>, vol. 112, no. 13, 134407, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/33ns-8gwj\">10.1103/33ns-8gwj</a>.","ama":"Sunko V, Liu C, Vila M, et al. Linear magnetoconductivity as a probe of time-reversal symmetry breaking. <i>Physical Review B</i>. 2025;112(13). doi:<a href=\"https://doi.org/10.1103/33ns-8gwj\">10.1103/33ns-8gwj</a>"},"quality_controlled":"1","OA_type":"green","publication":"Physical Review B","status":"public","issue":"13","article_number":"134407","year":"2025","publisher":"American Physical Society","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"OA_place":"repository","article_processing_charge":"No","intvolume":"       112","day":"06","volume":112,"_id":"21431","author":[{"id":"23cb1cf6-2c7a-11ef-91a4-f72fc19f20b3","last_name":"Sunko","orcid":"0000-0003-2724-3523","first_name":"Veronika","full_name":"Sunko, Veronika"},{"last_name":"Liu","first_name":"C.","full_name":"Liu, C."},{"first_name":"M.","full_name":"Vila, M.","last_name":"Vila"},{"full_name":"Na, I.","first_name":"I.","last_name":"Na"},{"last_name":"Tang","full_name":"Tang, Y.","first_name":"Y."},{"last_name":"Kozii","full_name":"Kozii, V.","first_name":"V."},{"full_name":"Griffin, S. M.","first_name":"S. M.","last_name":"Griffin"},{"last_name":"Moore","first_name":"J. E.","full_name":"Moore, J. E."},{"last_name":"Orenstein","first_name":"J.","full_name":"Orenstein, J."}],"date_created":"2026-03-11T10:37:59Z","oa":1,"abstract":[{"text":"Several optical experiments have shown that in magnetic materials, the principal axes of response tensors can rotate as an odd function of an applied magnetic field. Here we offer a microscopic explanation of this effect, and we propose a closely related dc transport phenomenon—an off-diagonal symmetric conductivity, linear and odd in a magnetic field, which we refer to as linear magnetoconductivity (LMC). Although LMC has the same functional dependence on a magnetic field as the Hall effect, its origin is fundamentally different: LMC requires time-reversal symmetry to be broken even before a magnetic field is applied, and is therefore a sensitive probe of magnetism. We demonstrate LMC in three different ways: via a tight-binding toy model, a density functional theory calculation on MnPSe3, and a semiclassical treatment. The third approach identifies two distinct mechanisms yielding LMC: momentum-dependent band magnetization and Berry curvature. Finally, we propose an experimental geometry suitable for detecting LMC, and we demonstrate its applicability using Landauer-Büttiker simulations. Our results emphasize the importance of measuring the full conductivity tensor in magnetic materials, and they introduce LMC as a new transport probe of symmetry.","lang":"eng"}],"date_updated":"2026-03-16T08:22:16Z","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"article_type":"original","date_published":"2025-10-06T00:00:00Z","title":"Linear magnetoconductivity as a probe of time-reversal symmetry breaking","month":"10","arxiv":1,"doi":"10.1103/33ns-8gwj","publication_status":"published","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2310.15631"}],"oa_version":"Preprint","extern":"1"}]
