[{"project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"}],"doi":"10.4230/LIPIcs.ICALP.2025.150","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"short":"K. Chatterjee, L. Doyen, J.-F. Raskin, O. Sankur, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.","chicago":"Chatterjee, Krishnendu, Laurent Doyen, Jean-Francois Raskin, and Ocan Sankur. “The Value Problem for Multiple-Environment MDPs with Parity Objective.” In <i>52nd International Colloquium on Automata, Languages, and Programming</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.150\">https://doi.org/10.4230/LIPIcs.ICALP.2025.150</a>.","ista":"Chatterjee K, Doyen L, Raskin J-F, Sankur O. 2025. The value problem for multiple-environment MDPs with parity objective. 52nd International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, , 150.","apa":"Chatterjee, K., Doyen, L., Raskin, J.-F., &#38; Sankur, O. (2025). The value problem for multiple-environment MDPs with parity objective. In <i>52nd International Colloquium on Automata, Languages, and Programming</i>. Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.150\">https://doi.org/10.4230/LIPIcs.ICALP.2025.150</a>","ama":"Chatterjee K, Doyen L, Raskin J-F, Sankur O. The value problem for multiple-environment MDPs with parity objective. In: <i>52nd International Colloquium on Automata, Languages, and Programming</i>. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.150\">10.4230/LIPIcs.ICALP.2025.150</a>","mla":"Chatterjee, Krishnendu, et al. “The Value Problem for Multiple-Environment MDPs with Parity Objective.” <i>52nd International Colloquium on Automata, Languages, and Programming</i>, 150, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.150\">10.4230/LIPIcs.ICALP.2025.150</a>.","ieee":"K. Chatterjee, L. Doyen, J.-F. Raskin, and O. Sankur, “The value problem for multiple-environment MDPs with parity objective,” in <i>52nd International Colloquium on Automata, Languages, and Programming</i>, Aarhus, Denmark, 2025."},"scopus_import":"1","department":[{"_id":"KrCh"}],"_id":"21268","oa_version":"Published Version","quality_controlled":"1","OA_place":"publisher","conference":{"name":"ICALP: Automata, Languages and Programming","location":"Aarhus, Denmark","start_date":"2025-07-08","end_date":"2025-07-11"},"license":"https://creativecommons.org/licenses/by/4.0/","external_id":{"arxiv":["2504.15960"]},"day":"30","publication_identifier":{"isbn":["9783959773720"]},"acknowledgement":"Krishnendu Chatterjee: ERC CoG 863818 (ForM-SMArt) and Austrian Science Fund\r\n(FWF) 10.55776/COE12. Jean-François Raskin: PDR Weave project FORM-LEARN-POMDP funded by FNRS and DFG, and the support of the Fondation ULB. Ocan Sankur: ANR BisoUS (ANR-22-CE48-0012) and ANR EpiRL (ANR-22-CE23-0029).","file_date_updated":"2026-02-18T07:50:56Z","arxiv":1,"title":"The value problem for multiple-environment MDPs with parity objective","date_updated":"2026-02-18T07:53:26Z","author":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"},{"full_name":"Raskin, Jean-Francois","last_name":"Raskin","first_name":"Jean-Francois"},{"first_name":"Ocan","last_name":"Sankur","full_name":"Sankur, Ocan"}],"OA_type":"gold","language":[{"iso":"eng"}],"has_accepted_license":"1","date_created":"2026-02-17T07:49:17Z","abstract":[{"lang":"eng","text":"We consider multiple-environment Markov decision processes (MEMDP), which consist of a finite set of MDPs over the same state space, representing different scenarios of transition structure and probability. The value of a strategy is the probability to satisfy the objective, here a parity objective, in the worst-case scenario, and the value of an MEMDP is the supremum of the values achievable by a strategy.\r\nWe show that deciding whether the value is 1 is a PSPACE-complete problem, and even in P when the number of environments is fixed, along with new insights to the almost-sure winning problem, which is to decide if there exists a strategy with value 1. Pure strategies are sufficient for theses problems, whereas randomization is necessary in general when the value is smaller than 1. We present an algorithm to approximate the value, running in double exponential space. Our results are in contrast to the related model of partially-observable MDPs where all these problems are known to be undecidable."}],"alternative_title":["LIPIcs"],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","ddc":["000"],"status":"public","month":"07","corr_author":"1","publication":"52nd International Colloquium on Automata, Languages, and Programming","ec_funded":1,"type":"conference","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"150","date_published":"2025-07-30T00:00:00Z","publication_status":"published","year":"2025","article_processing_charge":"No","file":[{"success":1,"file_id":"21313","date_updated":"2026-02-18T07:50:56Z","checksum":"4477a7fd4fbf0ba6c8e9b15683b5a6b8","creator":"dernst","file_name":"2025_LIPIcs_Chatterjee.pdf","relation":"main_file","date_created":"2026-02-18T07:50:56Z","content_type":"application/pdf","access_level":"open_access","file_size":1075724}]},{"language":[{"iso":"eng"}],"OA_type":"gold","PlanS_conform":"1","intvolume":"         3","has_accepted_license":"1","abstract":[{"text":"The spatial organization of chromatin within the nucleus plays a crucial role in gene expression and genome function. However, the quantitative relationship between this organization and nuclear biochemical processes remains under debate. In this study, we present a graph-based generative model, bioSBM, designed to capture long-range chromatin interaction patterns from Hi-C data and, importantly, simultaneously link these patterns to biochemical features. Applying bioSBM to Hi-C maps of the GM12878 lymphoblastoid cell line, we identified a latent structure of chromatin interactions, revealing seven distinct communities that strongly align with known biological annotations. Additionally, we infer a linear transformation that maps biochemical observables, such as histone marks, to the parameters of the generative graph model, enabling accurate genome-wide predictions of chromatin contact maps on out-of-sample data, both within the same cell line and on the completely unseen HCT116 cell line under RAD21 depletion. These findings highlight bioSBM's potential as a powerful tool for elucidating the relationship between biochemistry and chromatin architecture and predicting long-range genome organization from independent biochemical data.","lang":"eng"}],"date_created":"2026-02-17T07:53:01Z","publisher":"American Physical Society","status":"public","ddc":["570"],"corr_author":"1","month":"10","publication":"PRX Life","issue":"4","type":"journal_article","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"043006","date_published":"2025-10-21T00:00:00Z","year":"2025","article_processing_charge":"Yes","publication_status":"published","file":[{"file_size":1888053,"content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_created":"2026-02-18T07:57:39Z","checksum":"76ddfee3efdb4c9d085059b5a142ed78","creator":"dernst","file_name":"2025_PRXLife_Zhang.pdf","date_updated":"2026-02-18T07:57:39Z","file_id":"21314","success":1}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.1103/gy1p-4256","citation":{"chicago":"Zhang, Chen Y, Angelo Rosa, and Guido Sanguinetti. “BioSBM: A Random Graph Model to Integrate Epigenomic Data in Chromatin Structure Prediction.” <i>PRX Life</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/gy1p-4256\">https://doi.org/10.1103/gy1p-4256</a>.","short":"C.Y. Zhang, A. Rosa, G. Sanguinetti, PRX Life 3 (2025).","ieee":"C. Y. Zhang, A. Rosa, and G. Sanguinetti, “bioSBM: A random graph model to integrate epigenomic data in chromatin structure prediction,” <i>PRX Life</i>, vol. 3, no. 4. American Physical Society, 2025.","mla":"Zhang, Chen Y., et al. “BioSBM: A Random Graph Model to Integrate Epigenomic Data in Chromatin Structure Prediction.” <i>PRX Life</i>, vol. 3, no. 4, 043006, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/gy1p-4256\">10.1103/gy1p-4256</a>.","apa":"Zhang, C. Y., Rosa, A., &#38; Sanguinetti, G. (2025). bioSBM: A random graph model to integrate epigenomic data in chromatin structure prediction. <i>PRX Life</i>. American Physical Society. <a href=\"https://doi.org/10.1103/gy1p-4256\">https://doi.org/10.1103/gy1p-4256</a>","ama":"Zhang CY, Rosa A, Sanguinetti G. bioSBM: A random graph model to integrate epigenomic data in chromatin structure prediction. <i>PRX Life</i>. 2025;3(4). doi:<a href=\"https://doi.org/10.1103/gy1p-4256\">10.1103/gy1p-4256</a>","ista":"Zhang CY, Rosa A, Sanguinetti G. 2025. bioSBM: A random graph model to integrate epigenomic data in chromatin structure prediction. PRX Life. 3(4), 043006."},"department":[{"_id":"GaTk"}],"volume":3,"_id":"21269","quality_controlled":"1","oa_version":"Published Version","OA_place":"publisher","external_id":{"arxiv":["2409.14425"]},"acknowledgement":"G.S. acknowledges co-funding from Next Generation EU, in the context of the National Recovery and Resilience Plan, Investment PE1 - Project FAIR “Future Artificial Intelligence Research”. This resource was co-financed by the Next Generation EU [DM 1555 del 11.10.22]. A.R. acknowledges financial support from PNRR Grant CN 00000013 CN-HPC, M4C2I1.4, spoke 7, funded by Next Generation EU.","publication_identifier":{"issn":["2835-8279"]},"article_type":"original","file_date_updated":"2026-02-18T07:57:39Z","day":"21","DOAJ_listed":"1","arxiv":1,"date_updated":"2026-02-18T08:01:00Z","title":"bioSBM: A random graph model to integrate epigenomic data in chromatin structure prediction","author":[{"id":"81b43fb8-c9d5-11ef-bf68-ade532a1f204","full_name":"Zhang, Chen Y","last_name":"Zhang","first_name":"Chen Y"},{"full_name":"Rosa, Angelo","last_name":"Rosa","first_name":"Angelo"},{"first_name":"Guido","last_name":"Sanguinetti","full_name":"Sanguinetti, Guido"}]},{"article_type":"original","acknowledgement":"We are grateful to Dmytro Kolisnyk for his help in working out the spectrum of the Hessian. This work was supported by the Marsden Fund of New Zealand (Contract No. MAU2007) from government funding administered by the Royal Society Te Apārangi and by a summer scholarship from Te Whai Ao – Dodd-Walls Centre for Photonic and Quantum Technologies and the Physics Department, University of Auckland. We acknowledge support by the New Zealand eScience Infrastructure (NeSI) high-performance computing facilities in the form of a merit project allocation.","publication_identifier":{"eissn":["2469-9969"],"issn":["2469-9950"]},"day":"18","arxiv":1,"OA_place":"repository","external_id":{"arxiv":["2506.02440 "]},"author":[{"first_name":"J.","last_name":"Taylor","full_name":"Taylor, J."},{"full_name":"Čufar, M.","first_name":"M.","last_name":"Čufar"},{"id":"cbddacee-2b11-11eb-a02e-a2e14d04e52d","full_name":"Mitrouskas, David Johannes","last_name":"Mitrouskas","first_name":"David Johannes"},{"first_name":"Robert","orcid":"0000-0002-6781-0521","last_name":"Seiringer","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","full_name":"Seiringer, Robert"},{"last_name":"Pahl","first_name":"E.","full_name":"Pahl, E."},{"first_name":"J.","last_name":"Brand","full_name":"Brand, J."}],"date_updated":"2026-02-18T08:23:59Z","title":"Bound excited states of Fröhlich polarons in one dimension","scopus_import":"1","department":[{"_id":"RoSe"}],"volume":112,"citation":{"chicago":"Taylor, J., M. Čufar, David Johannes Mitrouskas, Robert Seiringer, E. Pahl, and J. Brand. “Bound Excited States of Fröhlich Polarons in One Dimension.” <i>Physical Review B</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/s9p9-jflq\">https://doi.org/10.1103/s9p9-jflq</a>.","short":"J. Taylor, M. Čufar, D.J. Mitrouskas, R. Seiringer, E. Pahl, J. Brand, Physical Review B 112 (2025).","ieee":"J. Taylor, M. Čufar, D. J. Mitrouskas, R. Seiringer, E. Pahl, and J. Brand, “Bound excited states of Fröhlich polarons in one dimension,” <i>Physical Review B</i>, vol. 112, no. 18. American Physical Society, 2025.","mla":"Taylor, J., et al. “Bound Excited States of Fröhlich Polarons in One Dimension.” <i>Physical Review B</i>, vol. 112, no. 18, 184312, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/s9p9-jflq\">10.1103/s9p9-jflq</a>.","ista":"Taylor J, Čufar M, Mitrouskas DJ, Seiringer R, Pahl E, Brand J. 2025. Bound excited states of Fröhlich polarons in one dimension. Physical Review B. 112(18), 184312.","ama":"Taylor J, Čufar M, Mitrouskas DJ, Seiringer R, Pahl E, Brand J. Bound excited states of Fröhlich polarons in one dimension. <i>Physical Review B</i>. 2025;112(18). doi:<a href=\"https://doi.org/10.1103/s9p9-jflq\">10.1103/s9p9-jflq</a>","apa":"Taylor, J., Čufar, M., Mitrouskas, D. J., Seiringer, R., Pahl, E., &#38; Brand, J. (2025). Bound excited states of Fröhlich polarons in one dimension. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/s9p9-jflq\">https://doi.org/10.1103/s9p9-jflq</a>"},"doi":"10.1103/s9p9-jflq","_id":"21270","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2506.02440 "}],"oa_version":"Preprint","quality_controlled":"1","type":"journal_article","oa":1,"year":"2025","article_processing_charge":"No","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-11-18T00:00:00Z","article_number":"184312","abstract":[{"lang":"eng","text":"The one-dimensional Fröhlich model describing the motion of a single electron interacting with optical phonons is a paradigmatic model of quantum many-body physics. We predict the existence of an arbitrarily large number of bound excited states in the strong-coupling limit and calculate their excitation energies. Numerical simulations of a discretized model demonstrate the complete amelioration of the projector Monte Carlo sign problem by walker annihilation in an infinite Hilbert space. They reveal the threshold for the occurrence of the first bound excited states at a value of 𝛼≈1.73 for the dimensionless coupling constant. This puts the threshold into the regime of intermediate interaction strength. We find a significant spectral weight and increased phonon number of the bound excited state at threshold."}],"date_created":"2026-02-17T07:56:20Z","publisher":"American Physical Society","language":[{"iso":"eng"}],"OA_type":"green","intvolume":"       112","issue":"18","status":"public","publication":"Physical Review B","month":"11"},{"author":[{"first_name":"Andrew J","last_name":"Campbell","id":"582b06a9-1f1c-11ee-b076-82ffce00dde4","full_name":"Campbell, Andrew J"},{"id":"42198EFA-F248-11E8-B48F-1D18A9856A87","full_name":"Cipolloni, Giorgio","orcid":"0000-0002-4901-7992","last_name":"Cipolloni","first_name":"Giorgio"},{"id":"4DBD5372-F248-11E8-B48F-1D18A9856A87","full_name":"Erdös, László","orcid":"0000-0001-5366-9603","last_name":"Erdös","first_name":"László"},{"last_name":"Ji","first_name":"Hong Chang","id":"dd216c0a-c1f9-11eb-beaf-e9ea9d2de76d","full_name":"Ji, Hong Chang"}],"title":"On the spectral edge of non-Hermitian random matrices","date_updated":"2026-02-18T08:35:38Z","day":"01","article_type":"original","acknowledgement":"The authors would like to thank the anonymous referee for providing helpful comments and suggestions. We also thank Joscha Henheik and Volodymyr Riabov for pointing out a gap in an earlier version of the proof of equation (3.18). The first, third, and fourth authors are supported by ERC Advanced Grant “RMTBeyond” No. 101020331.","publication_identifier":{"issn":["0091-1798"],"eissn":["2168-894X"]},"arxiv":1,"OA_place":"repository","external_id":{"arxiv":["2404.17512"]},"_id":"21271","quality_controlled":"1","oa_version":"Preprint","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2404.17512","open_access":"1"}],"department":[{"_id":"LaEr"}],"volume":53,"project":[{"grant_number":"101020331","name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d","call_identifier":"H2020"}],"citation":{"short":"A.J. Campbell, G. Cipolloni, L. Erdös, H.C. Ji, The Annals of Probability 53 (2025) 2256–2308.","chicago":"Campbell, Andrew J, Giorgio Cipolloni, László Erdös, and Hong Chang Ji. “On the Spectral Edge of Non-Hermitian Random Matrices.” <i>The Annals of Probability</i>. Institute of Mathematical Statistics, 2025. <a href=\"https://doi.org/10.1214/25-aop1761\">https://doi.org/10.1214/25-aop1761</a>.","ama":"Campbell AJ, Cipolloni G, Erdös L, Ji HC. On the spectral edge of non-Hermitian random matrices. <i>The Annals of Probability</i>. 2025;53(6):2256-2308. doi:<a href=\"https://doi.org/10.1214/25-aop1761\">10.1214/25-aop1761</a>","apa":"Campbell, A. J., Cipolloni, G., Erdös, L., &#38; Ji, H. C. (2025). On the spectral edge of non-Hermitian random matrices. <i>The Annals of Probability</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/25-aop1761\">https://doi.org/10.1214/25-aop1761</a>","ista":"Campbell AJ, Cipolloni G, Erdös L, Ji HC. 2025. On the spectral edge of non-Hermitian random matrices. The Annals of Probability. 53(6), 2256–2308.","mla":"Campbell, Andrew J., et al. “On the Spectral Edge of Non-Hermitian Random Matrices.” <i>The Annals of Probability</i>, vol. 53, no. 6, Institute of Mathematical Statistics, 2025, pp. 2256–308, doi:<a href=\"https://doi.org/10.1214/25-aop1761\">10.1214/25-aop1761</a>.","ieee":"A. J. Campbell, G. Cipolloni, L. Erdös, and H. C. Ji, “On the spectral edge of non-Hermitian random matrices,” <i>The Annals of Probability</i>, vol. 53, no. 6. Institute of Mathematical Statistics, pp. 2256–2308, 2025."},"doi":"10.1214/25-aop1761","publication_status":"published","year":"2025","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-11-01T00:00:00Z","page":"2256-2308","ec_funded":1,"type":"journal_article","oa":1,"issue":"6","status":"public","publication":"The Annals of Probability","corr_author":"1","month":"11","abstract":[{"lang":"eng","text":"For general non-Hermitian large random matrices X and deterministic deformation matrices A, we prove that the local eigenvalue statistics of A+X close to the typical edge points of its spectrum are universal. Furthermore, we show that, under natural assumptions, on A the spectrum of A+X does not have outliers at a distance larger than the natural fluctuation scale of the eigenvalues. As a consequence, the number of eigenvalues in each component of Spec(A+X) is deterministic."}],"date_created":"2026-02-17T07:58:20Z","publisher":"Institute of Mathematical Statistics","OA_type":"green","language":[{"iso":"eng"}],"intvolume":"        53"},{"quality_controlled":"1","oa_version":"Preprint","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2508.10656","open_access":"1"}],"_id":"21272","citation":{"short":"P.J. Eder, A. Kerschbaumer, J.R. Finžgar, R.A. Medina Ramos, M.J.A. Schuetz, H.G. Katzgraber, S. Braun, C.B. Mendl, in:, 2025 IEEE International Conference on Quantum Computing and Engineering, IEEE, 2025.","chicago":"Eder, Peter J., Aron Kerschbaumer, Jernej Rudi Finžgar, Raimel A Medina Ramos, Martin J. A. Schuetz, Helmut G. Katzgraber, Sarah Braun, and Christian B. Mendl. “Quantum-Guided Cluster Algorithms for Combinatorial Optimization.” In <i>2025 IEEE International Conference on Quantum Computing and Engineering</i>. IEEE, 2025. <a href=\"https://doi.org/10.1109/qce65121.2025.00033\">https://doi.org/10.1109/qce65121.2025.00033</a>.","ista":"Eder PJ, Kerschbaumer A, Finžgar JR, Medina Ramos RA, Schuetz MJA, Katzgraber HG, Braun S, Mendl CB. 2025. Quantum-guided cluster algorithms for combinatorial optimization. 2025 IEEE International Conference on Quantum Computing and Engineering. QCE: International Conference on Quantum Computing and Engineering.","ama":"Eder PJ, Kerschbaumer A, Finžgar JR, et al. Quantum-guided cluster algorithms for combinatorial optimization. In: <i>2025 IEEE International Conference on Quantum Computing and Engineering</i>. IEEE; 2025. doi:<a href=\"https://doi.org/10.1109/qce65121.2025.00033\">10.1109/qce65121.2025.00033</a>","apa":"Eder, P. J., Kerschbaumer, A., Finžgar, J. R., Medina Ramos, R. A., Schuetz, M. J. A., Katzgraber, H. G., … Mendl, C. B. (2025). Quantum-guided cluster algorithms for combinatorial optimization. In <i>2025 IEEE International Conference on Quantum Computing and Engineering</i>. Albuquerque, NM, United States: IEEE. <a href=\"https://doi.org/10.1109/qce65121.2025.00033\">https://doi.org/10.1109/qce65121.2025.00033</a>","mla":"Eder, Peter J., et al. “Quantum-Guided Cluster Algorithms for Combinatorial Optimization.” <i>2025 IEEE International Conference on Quantum Computing and Engineering</i>, IEEE, 2025, doi:<a href=\"https://doi.org/10.1109/qce65121.2025.00033\">10.1109/qce65121.2025.00033</a>.","ieee":"P. J. Eder <i>et al.</i>, “Quantum-guided cluster algorithms for combinatorial optimization,” in <i>2025 IEEE International Conference on Quantum Computing and Engineering</i>, Albuquerque, NM, United States, 2025."},"doi":"10.1109/qce65121.2025.00033","department":[{"_id":"MaSe"}],"title":"Quantum-guided cluster algorithms for combinatorial optimization","date_updated":"2026-02-18T08:45:56Z","author":[{"full_name":"Eder, Peter J.","first_name":"Peter J.","last_name":"Eder"},{"id":"ade85a9c-3200-11ee-973b-91c1eb240410","full_name":"Kerschbaumer, Aron","first_name":"Aron","orcid":"0009-0002-2370-8661","last_name":"Kerschbaumer"},{"first_name":"Jernej Rudi","last_name":"Finžgar","full_name":"Finžgar, Jernej Rudi"},{"last_name":"Medina Ramos","orcid":"0000-0002-5383-2869","first_name":"Raimel A","full_name":"Medina Ramos, Raimel A","id":"CE680B90-D85A-11E9-B684-C920E6697425"},{"full_name":"Schuetz, Martin J. A.","first_name":"Martin J. A.","last_name":"Schuetz"},{"full_name":"Katzgraber, Helmut G.","last_name":"Katzgraber","first_name":"Helmut G."},{"first_name":"Sarah","last_name":"Braun","full_name":"Braun, Sarah"},{"full_name":"Mendl, Christian B.","first_name":"Christian B.","last_name":"Mendl"}],"external_id":{"arxiv":["2508.10656"]},"conference":{"start_date":"2025-08-30","name":"QCE: International Conference on Quantum Computing and Engineering","location":"Albuquerque, NM, United States","end_date":"2025-09-05"},"OA_place":"repository","arxiv":1,"day":"01","acknowledgement":"P.J.E was partially funded by the German BMWK project QCHALLenge (Grant No. 01MQ22008B).\r\n","publication_identifier":{"eisbn":["9798331557362"]},"status":"public","month":"09","corr_author":"1","publication":"2025 IEEE International Conference on Quantum Computing and Engineering","language":[{"iso":"eng"}],"OA_type":"green","publisher":"IEEE","date_created":"2026-02-17T08:00:17Z","abstract":[{"text":"Finding the ground state of Ising spin glasses is notoriously difficult due to disorder and frustration. Often, this challenge is framed as a combinatorial optimization problem, for which a common strategy employs simulated annealing, a Monte Carlo (MC)-based algorithm that updates spins one at a time. Yet, these localized updates can cause the system to become trapped in local minima. Cluster algorithms (CAs) were developed to address this limitation and have demonstrated considerable success in studying ferromagnetic systems; however, they tend to encounter percolation issues when applied to generic spin glasses. In this work, we introduce a novel CA designed to tackle these challenges by leveraging precomputed two-point correlations, aiming solve combinatorial optimization problems in the form of Max-Cut more efficiently. In our approach, clusters are formed probabilistically based on these correlations. Various classical and quantum algorithms can be employed to generate correlations that embody information about the energy landscape of the problem. By utilizing this information, the algorithm aims to identify groups of spins whose simultaneous flipping induces large transitions in configuration space with high acceptance probability - even at low energy levels - thereby escaping local minima more effectively. Notably, clusters generated using correlations from the Quantum Approximate Optimization Algorithm exhibit high acceptance rates at low temperatures. These acceptance rates often increase with circuit depth, accelerating the algorithm and enabling more efficient exploration of the solution space.","lang":"eng"}],"date_published":"2025-09-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","article_processing_charge":"No","year":"2025","oa":1,"type":"conference"},{"citation":{"short":"A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17.","chicago":"Asadi, Ali, Leonard Brice, Krishnendu Chatterjee, and K. S. Thejaswini. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” In <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, 360:9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/lipics.fsttcs.2025.9\">https://doi.org/10.4230/lipics.fsttcs.2025.9</a>.","apa":"Asadi, A., Brice, L., Chatterjee, K., &#38; Thejaswini, K. S. (2025). ε-stationary Nash equilibria in multi-player stochastic graph games. In <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i> (Vol. 360, p. 9:1-9:17). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/lipics.fsttcs.2025.9\">https://doi.org/10.4230/lipics.fsttcs.2025.9</a>","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>","ista":"Asadi A, Brice L, Chatterjee K, Thejaswini KS. 2025. ε-stationary Nash equilibria in multi-player stochastic graph games. 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 360, 9:1-9:17.","ieee":"A. Asadi, L. Brice, K. Chatterjee, and K. S. Thejaswini, “ε-stationary Nash equilibria in multi-player stochastic graph games,” in <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, Pilani, India, 2025, vol. 360, p. 9:1-9:17.","mla":"Asadi, Ali, et al. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17, doi:<a href=\"https://doi.org/10.4230/lipics.fsttcs.2025.9\">10.4230/lipics.fsttcs.2025.9</a>."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.4230/lipics.fsttcs.2025.9","project":[{"call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093"}],"volume":360,"department":[{"_id":"KrCh"},{"_id":"GradSch"}],"quality_controlled":"1","oa_version":"Published Version","_id":"21281","external_id":{"arxiv":["2508.15356"]},"conference":{"end_date":"2025-12-19","name":"FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science","location":"Pilani, India","start_date":"2025-12-17"},"OA_place":"publisher","arxiv":1,"day":"09","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","file_date_updated":"2026-02-18T09:13:25Z","publication_identifier":{"isbn":["9783959774062"]},"title":"ε-stationary Nash equilibria in multi-player stochastic graph games","date_updated":"2026-02-19T09:39:15Z","author":[{"id":"02d96aae-000e-11ec-b801-cadd0a5eefbb","full_name":"Asadi, Ali","last_name":"Asadi","first_name":"Ali"},{"last_name":"Brice","first_name":"Leonard","full_name":"Brice, Leonard"},{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Thejaswini","first_name":"K. S.","full_name":"Thejaswini, K. S.","id":"3807fb92-fdc1-11ee-bb4a-b4d8a431c753"}],"intvolume":"       360","OA_type":"gold","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_created":"2026-02-17T08:27:14Z","has_accepted_license":"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."}],"alternative_title":["LIPIcs"],"status":"public","month":"12","corr_author":"1","ddc":["000"],"publication":"45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science","oa":1,"ec_funded":1,"type":"conference","page":"9:1-9:17","date_published":"2025-12-09T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_name":"2025_FSTTCS_Asadi.pdf","creator":"dernst","checksum":"a66343e3ccc4a9cc5bc699c03d5764ff","date_created":"2026-02-18T09:13:25Z","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_size":1054007,"file_id":"21316","success":1,"date_updated":"2026-02-18T09:13:25Z"}],"publication_status":"published","article_processing_charge":"Yes","year":"2025"},{"_id":"21309","publication":"arXiv","status":"public","month":"12","oa_version":"Preprint","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2512.15170","open_access":"1"}],"language":[{"iso":"eng"}],"OA_type":"green","doi":"10.48550/arXiv.2512.15170","citation":{"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.).","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>.","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>","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.","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>","ieee":"J. Vandersnickt <i>et al.</i>, “Expanding stellar horizons with polarized light,” <i>arXiv</i>. .","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>."},"department":[{"_id":"LiBu"}],"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."}],"date_created":"2026-02-17T13:53:50Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Expanding stellar horizons with polarized light","article_number":"2512.15170","date_published":"2025-12-17T00:00:00Z","date_updated":"2026-04-07T06:00:40Z","publication_status":"submitted","year":"2025","article_processing_charge":"No","author":[{"full_name":"Vandersnickt, J.","last_name":"Vandersnickt","first_name":"J."},{"full_name":"Armenta, R. Ochoa","last_name":"Armenta","first_name":"R. Ochoa"},{"first_name":"V.","last_name":"Vanlaer","full_name":"Vanlaer, V."},{"last_name":"A. David-Uraz","first_name":"A. David-Uraz","full_name":"A. David-Uraz, A. David-Uraz"},{"first_name":"C.","last_name":"Aerts","full_name":"Aerts, C."},{"first_name":"S. B.","last_name":"Das","full_name":"Das, S. B."},{"last_name":"Bouret","first_name":"J. -C.","full_name":"Bouret, J. -C."},{"full_name":"Bowman, D. M.","last_name":"Bowman","first_name":"D. M."},{"full_name":"Bugnet, Lisa Annabelle","id":"d9edb345-f866-11ec-9b37-d119b5234501","first_name":"Lisa Annabelle","last_name":"Bugnet","orcid":"0000-0003-0142-4000"},{"last_name":"Khalack","first_name":"V.","full_name":"Khalack, V."},{"full_name":"J. Labadie-Bartz, J. Labadie-Bartz","first_name":"J. Labadie-Bartz","last_name":"J. Labadie-Bartz"},{"last_name":"Mathis","first_name":"S.","full_name":"Mathis, S."},{"last_name":"Nazé","first_name":"Y.","full_name":"Nazé, Y."},{"full_name":"Neiner, C.","first_name":"C.","last_name":"Neiner"},{"first_name":"P.","last_name":"Petit","full_name":"Petit, P."},{"last_name":"Petit","first_name":"V.","full_name":"Petit, V."},{"full_name":"K. Thomson-Paressant, K. Thomson-Paressant","first_name":"K. Thomson-Paressant","last_name":"K. Thomson-Paressant"},{"first_name":"T. Van","last_name":"Doorsselaere","full_name":"Doorsselaere, T. Van"},{"full_name":"Vanrespaille, M.","first_name":"M.","last_name":"Vanrespaille"}],"OA_place":"repository","type":"preprint","oa":1,"external_id":{"arxiv":["2512.15170"]},"day":"17","arxiv":1},{"citation":{"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.","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>","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>."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.3847/2041-8213/adff82","volume":990,"department":[{"_id":"IlCa"}],"scopus_import":"1","oa_version":"Published Version","quality_controlled":"1","_id":"21317","external_id":{"arxiv":["2508.20170"]},"OA_place":"publisher","DOAJ_listed":"1","arxiv":1,"publication_identifier":{"eissn":["2041-8213"],"issn":["2041-8205"]},"file_date_updated":"2026-02-19T07:24:10Z","article_type":"original","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.","day":"08","date_updated":"2026-02-19T07:27:01Z","title":"Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor","author":[{"first_name":"Ilkham","last_name":"Galiullin","full_name":"Galiullin, Ilkham"},{"first_name":"Antonio C.","last_name":"Rodriguez","full_name":"Rodriguez, Antonio C."},{"last_name":"El-Badry","first_name":"Kareem","full_name":"El-Badry, Kareem"},{"id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d","full_name":"Caiazzo, Ilaria","first_name":"Ilaria","orcid":"0000-0002-4770-5388","last_name":"Caiazzo"},{"first_name":"Paula","last_name":"Szkody","full_name":"Szkody, Paula"},{"last_name":"Nagarajan","first_name":"Pranav","full_name":"Nagarajan, Pranav"},{"full_name":"Whitebook, Samuel","first_name":"Samuel","last_name":"Whitebook"}],"PlanS_conform":"1","intvolume":"       990","OA_type":"gold","language":[{"iso":"eng"}],"publisher":"IOP Publishing","date_created":"2026-02-18T10:17:04Z","abstract":[{"lang":"eng","text":"Accreting white dwarfs (WDs) in close binary systems, commonly known as cataclysmic variables (CVs), with orbital periods below the canonical period minimum (≈80 minutes) are rare. Such short periods can only be reached if the donor star in the CV is either significantly evolved before initiating mass transfer to the WD or is metal-poor. We present optical photometry and spectroscopy of Gaia19bxc, a high-amplitude variable identified as a polar CV with an exceptionally short orbital period of 64.42 minutes—well below the canonical CV period minimum. High-speed photometry confirms persistent double-peaked variability consistent with cyclotron beaming, thus indicating the presence of a magnetic WD. Phase-resolved Keck/Low-Resolution Imaging Spectrometer (LRIS) spectroscopy reveals strong hydrogen and helium emission lines but no donor features, indicating the accretor is a magnetic WD and the donor is hydrogen-rich, but cold and faint. The absence of a detectable donor and the low inferred temperature (≲3500 K) disfavor an evolved donor scenario. Instead, the short period and the system’s halo-like kinematics suggest Gaia19bxc may be the first known metal-poor polar. Because metal-poor donors are more compact than solar-metallicity donors of the same mass, they can reach shorter minimum periods. Gaia19bxc is one of only a handful of known metal-poor CVs below the canonical period minimum and has the shortest period of any such magnetic system discovered to date."}],"has_accepted_license":"1","publication":"The Astrophysical Journal Letters","status":"public","ddc":["520"],"month":"09","issue":"2","oa":1,"type":"journal_article","article_number":"L57","date_published":"2025-09-08T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_id":"21329","success":1,"date_updated":"2026-02-19T07:24:10Z","date_created":"2026-02-19T07:24:10Z","relation":"main_file","file_name":"2025_AstrophysicalJournal_Galiullin.pdf","checksum":"f76556d129aa0e9facc85602b0b5b54d","creator":"dernst","file_size":3772189,"access_level":"open_access","content_type":"application/pdf"}],"article_processing_charge":"Yes","year":"2025","publication_status":"published"},{"language":[{"iso":"eng"}],"OA_type":"green","intvolume":"       135","abstract":[{"lang":"eng","text":"Matter waves have been observed in double-slit experiments with microscopic objects, such as atoms or molecules. The wave function describing the motion of these objects must extend over a distance comparable to the slit separation, much larger than the characteristic size of the objects. Preparing such states for more massive objects, such as mechanical oscillators, remains an outstanding challenge. Here we delocalize the quantum ground state of an optically levitated nanosphere by modulating the stiffness of the confining potential. We show a more than threefold increase of the initial coherence length, which corresponds to mechanical momentum squeezing of more than 7 dB. Our work is a stepping stone toward the generation of coherence lengths comparable to the object size, a crucial regime for macroscopic quantum experiments."}],"date_created":"2026-02-18T10:19:30Z","pmid":1,"publisher":"American Physical Society","status":"public","month":"08","publication":"Physical Review Letters","issue":"8","type":"journal_article","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-08-19T00:00:00Z","article_number":"083601","publication_status":"published","year":"2025","article_processing_charge":"No","doi":"10.1103/2yzc-fsm3","citation":{"short":"M. Rossi, A. Militaru, N. Carlon Zambon, A. Riera-Campeny, O. Romero-Isart, M. Frimmer, L. Novotny, Physical Review Letters 135 (2025).","chicago":"Rossi, M., Andrei Militaru, N. Carlon Zambon, A. Riera-Campeny, O. Romero-Isart, M. Frimmer, and L. Novotny. “Quantum Delocalization of a Levitated Nanoparticle.” <i>Physical Review Letters</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/2yzc-fsm3\">https://doi.org/10.1103/2yzc-fsm3</a>.","apa":"Rossi, M., Militaru, A., Carlon Zambon, N., Riera-Campeny, A., Romero-Isart, O., Frimmer, M., &#38; Novotny, L. (2025). Quantum delocalization of a levitated nanoparticle. <i>Physical Review Letters</i>. American Physical Society. <a href=\"https://doi.org/10.1103/2yzc-fsm3\">https://doi.org/10.1103/2yzc-fsm3</a>","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.","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>","ieee":"M. Rossi <i>et al.</i>, “Quantum delocalization of a levitated nanoparticle,” <i>Physical Review Letters</i>, vol. 135, no. 8. American Physical Society, 2025.","mla":"Rossi, M., et al. “Quantum Delocalization of a Levitated Nanoparticle.” <i>Physical Review Letters</i>, vol. 135, no. 8, 083601, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/2yzc-fsm3\">10.1103/2yzc-fsm3</a>."},"department":[{"_id":"JoFi"}],"volume":135,"_id":"21318","oa_version":"Preprint","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2408.01264"}],"OA_place":"repository","external_id":{"pmid":["40929305"],"arxiv":["2408.01264"]},"day":"19","article_type":"original","publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"arxiv":1,"title":"Quantum delocalization of a levitated nanoparticle","date_updated":"2026-02-24T07:03:57Z","author":[{"first_name":"M.","last_name":"Rossi","full_name":"Rossi, M."},{"id":"d67706f8-8eb1-11ee-ad1b-9c30dfa19e0b","full_name":"Militaru, Andrei","last_name":"Militaru","first_name":"Andrei"},{"full_name":"Carlon Zambon, N.","first_name":"N.","last_name":"Carlon Zambon"},{"full_name":"Riera-Campeny, A.","first_name":"A.","last_name":"Riera-Campeny"},{"full_name":"Romero-Isart, O.","last_name":"Romero-Isart","first_name":"O."},{"full_name":"Frimmer, M.","last_name":"Frimmer","first_name":"M."},{"full_name":"Novotny, L.","last_name":"Novotny","first_name":"L."}]},{"article_processing_charge":"No","year":"2025","publication_status":"published","file":[{"relation":"main_file","date_created":"2026-02-19T07:41:55Z","checksum":"960110956c26a5cefadde8e47888bfbe","creator":"dernst","file_name":"2025_ICALP_Giambartolomei.pdf","file_size":876167,"content_type":"application/pdf","access_level":"open_access","success":1,"file_id":"21331","date_updated":"2026-02-19T07:41:55Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-06-30T00:00:00Z","ec_funded":1,"type":"conference","oa":1,"ddc":["000"],"month":"06","publication":"52nd International Colloquium on Automata, Languages, and Programming","status":"public","alternative_title":["LIPIcs"],"date_created":"2026-02-18T10:44:14Z","has_accepted_license":"1","abstract":[{"text":"Prophet inequalities are a central object of study in optimal stopping theory. In the iid model, a gambler sees values in an online fashion, sampled independently from a given distribution. Upon observing each value, the gambler either accepts it as a reward, or irrevocably rejects it and proceeds to observe the next value. The goal of the gambler, who cannot see the future, is to maximise the expected value of the reward while competing against the expectation of a prophet (the offline maximum). In other words, one seeks to maximise the gambler-to-prophet ratio of the expectations. \r\nThis model has been studied with infinite, finite and unknown number of values. When the gambler faces a random number of values, the model is said to have a random horizon. We consider the model in which the gambler is given a priori knowledge of the horizon’s distribution. Alijani et al. (2020) designed a single-threshold algorithm achieving a ratio of 1/2 when the random horizon has an increasing hazard rate and is independent of the values. We prove that with a single threshold, a ratio of 1/2 is actually achievable for several larger classes of horizon distributions, with the largest being known as the 𝒢 class in reliability theory. Moreover, we show that this does not extend to its dual, the  ̅𝒢 class (which includes the decreasing hazard rate class), while it can be extended to low-variance horizons. Finally, we construct the first example of a family of horizons, for which multiple thresholds are necessary to achieve a nonzero ratio. We establish that the Secretary Problem optimal stopping rule provides one such algorithm, paving the way towards the study of the model beyond single-threshold algorithms.","lang":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","language":[{"iso":"eng"}],"OA_type":"gold","intvolume":"       334","author":[{"last_name":"Giambartolomei","first_name":"Giordano","full_name":"Giambartolomei, Giordano"},{"first_name":"Frederik","last_name":"Mallmann-Trenn","full_name":"Mallmann-Trenn, Frederik"},{"orcid":"0000-0001-5103-038X","last_name":"Saona Urmeneta","first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","full_name":"Saona Urmeneta, Raimundo J"}],"date_updated":"2026-02-19T07:43:29Z","title":"IID prophet inequality with random horizon: Going beyond increasing hazard rates","file_date_updated":"2026-02-19T07:41:55Z","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.","publication_identifier":{"isbn":["9783959773720"]},"day":"30","arxiv":1,"OA_place":"publisher","conference":{"end_date":"2025-07-11","start_date":"2025-07-08","name":"ICALP: Automata, Languages and Programming","location":"Aarhus, Denmark"},"external_id":{"arxiv":["2407.11752"]},"_id":"21320","oa_version":"Published Version","quality_controlled":"1","department":[{"_id":"KrCh"}],"volume":334,"project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"}],"citation":{"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.","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>","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>","ieee":"G. Giambartolomei, F. Mallmann-Trenn, and R. J. Saona Urmeneta, “IID prophet inequality with random horizon: Going beyond increasing hazard rates,” in <i>52nd International Colloquium on Automata, Languages, and Programming</i>, Aarhus, Denmark, 2025, vol. 334.","mla":"Giambartolomei, Giordano, et al. “IID Prophet Inequality with Random Horizon: Going beyond Increasing Hazard Rates.” <i>52nd International Colloquium on Automata, Languages, and Programming</i>, vol. 334, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2025.87\">10.4230/LIPIcs.ICALP.2025.87</a>.","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.","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>."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"doi":"10.4230/LIPIcs.ICALP.2025.87"},{"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>","date_updated":"2026-02-19T07:32:22Z","author":[{"last_name":"Xiao","first_name":"Shanshan","full_name":"Xiao, Shanshan"},{"full_name":"Zhao, Mingjun","first_name":"Mingjun","last_name":"Zhao"},{"full_name":"Li, Mingquan","last_name":"Li","first_name":"Mingquan"},{"last_name":"Wan","first_name":"Shanhong","full_name":"Wan, Shanhong"},{"full_name":"Genç, Aziz","last_name":"Genç","first_name":"Aziz"},{"last_name":"Huang","first_name":"Lulu","full_name":"Huang, Lulu"},{"full_name":"Chen, Lei","last_name":"Chen","first_name":"Lei"},{"last_name":"Zhang","first_name":"Yu","full_name":"Zhang, Yu"},{"full_name":"Ibáñez, Maria","id":"43C61214-F248-11E8-B48F-1D18A9856A87","first_name":"Maria","last_name":"Ibáñez","orcid":"0000-0001-5013-2843"},{"full_name":"Lim, Khak Ho","last_name":"Lim","first_name":"Khak Ho"},{"full_name":"Hong, Min","last_name":"Hong","first_name":"Min"},{"full_name":"Liu, Yu","first_name":"Yu","last_name":"Liu"},{"last_name":"Cabot","first_name":"Andreu","full_name":"Cabot, Andreu"}],"OA_place":"publisher","day":"01","acknowledgement":"Y. L. acknowledges funding from the National Natural Science Foundation of China (No. 22209034), the Innovation and Entrepreneurship Project of Overseas Returnees in Anhui Province (No. 2022LCX002), and the Fundamental Research Funds for the Central Universities (No. JZ2024HGTB0239). K. H. L. acknowledges financial support from the National Natural Science Foundation of China (No. 22208293). M. I. acknowledge financial support from ISTA and the Werner Siemens Foundation. M. H. acknowledges funding from Australian Research Council (No. FT230100316). L. L. H. and S. H. W. acknowledge the Fundamental Research Funds for the Central Universities (Nos. JZ2023HGTA0179 and JZ2024HGTA0170).","publication_identifier":{"issn":["1998-0124"],"eissn":["1998-0000"]},"article_type":"original","file_date_updated":"2026-02-19T07:31:15Z","_id":"21321","oa_version":"Published Version","project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}],"doi":"10.26599/nr.2025.94907072","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"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>.","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.","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>","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>","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.","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>.","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)."},"department":[{"_id":"MaIb"}],"volume":18,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_number":"94907072","date_published":"2025-01-01T00:00:00Z","publication_status":"published","article_processing_charge":"Yes (in subscription journal)","year":"2025","file":[{"file_size":27740524,"access_level":"open_access","content_type":"application/pdf","date_created":"2026-02-19T07:31:15Z","relation":"main_file","creator":"dernst","file_name":"2025_NanoResearch_Xiao.pdf","checksum":"aa531f1363538fece12ecfad83456b65","date_updated":"2026-02-19T07:31:15Z","file_id":"21330","success":1}],"type":"journal_article","oa":1,"month":"01","ddc":["540"],"status":"public","publication":"Nano Research","issue":"1","OA_type":"hybrid","language":[{"iso":"eng"}],"intvolume":"        18","PlanS_conform":"1","has_accepted_license":"1","date_created":"2026-02-18T10:45:06Z","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."}],"publisher":"Tsinghua University Press"},{"page":"617-636","oa":1,"type":"journal_article","year":"2025","article_processing_charge":"No","publication_status":"published","date_published":"2025-06-01T00:00:00Z","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","publisher":"University of Chicago Press","abstract":[{"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.","lang":"eng"}],"pmid":1,"date_created":"2026-02-18T10:47:18Z","intvolume":"       205","language":[{"iso":"eng"}],"OA_type":"green","issue":"6","publication":"The American Naturalist","corr_author":"1","status":"public","month":"06","related_material":{"record":[{"status":"public","id":"14732","relation":"earlier_version"}]},"publication_identifier":{"eissn":["1537-5323"],"issn":["0003-0147"]},"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.","article_type":"original","day":"01","external_id":{"pmid":["40446297 "]},"OA_place":"repository","author":[{"first_name":"Oluwafunmilola O","last_name":"Olusanya","orcid":"0000-0003-1971-8314","full_name":"Olusanya, Oluwafunmilola O","id":"41AD96DC-F248-11E8-B48F-1D18A9856A87"},{"id":"4E6DC800-AE37-11E9-AC72-31CAE5697425","full_name":"Khudiakova, Kseniia","first_name":"Kseniia","orcid":"0000-0002-6246-1465","last_name":"Khudiakova"},{"full_name":"Sachdeva, Himani","id":"42377A0A-F248-11E8-B48F-1D18A9856A87","last_name":"Sachdeva","first_name":"Himani"}],"date_updated":"2026-04-07T08:45:14Z","title":"Genetic load, eco-evolutionary feedback, and extinction in metapopulations","volume":205,"department":[{"_id":"JaMa"},{"_id":"NiBa"}],"scopus_import":"1","doi":"10.1086/735562","citation":{"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>.","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.","ista":"Olusanya OO, Khudiakova K, Sachdeva H. 2025. Genetic load, eco-evolutionary feedback, and extinction in metapopulations. The American Naturalist. 205(6), 617–636.","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>","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>","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>.","short":"O.O. Olusanya, K. Khudiakova, H. Sachdeva, The American Naturalist 205 (2025) 617–636."},"project":[{"_id":"c08d3278-5a5b-11eb-8a69-fdb09b55f4b8","name":"Causes and consequences of population fragmentation","grant_number":"P32896"},{"_id":"34c872fe-11ca-11ed-8bc3-8534b82131e6","name":"Polygenic Adaptation in a Metapopulation","grant_number":"26380"},{"grant_number":"26293","name":"The impact of deleterious mutations on small populations","_id":"34d33d68-11ca-11ed-8bc3-ec13763c0ca8"}],"main_file_link":[{"url":"https://doi.org/10.1101/2023.12.02.569702","open_access":"1"}],"quality_controlled":"1","oa_version":"Preprint","_id":"21322"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-08-17T00:00:00Z","year":"2025","article_processing_charge":"No","publication_status":"published","type":"conference","oa":1,"page":"584-616","month":"08","status":"public","publication":"45th Annual International Cryptology Conference","OA_type":"green","language":[{"iso":"eng"}],"intvolume":"     16005","alternative_title":["LNCS"],"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"}],"date_created":"2026-02-18T10:59:58Z","publisher":"Springer Nature","date_updated":"2026-02-19T07:50:33Z","title":"On extractability of the KZG family of polynomial commitment schemes","author":[{"full_name":"Belohorec, Juraj","last_name":"Belohorec","first_name":"Juraj"},{"full_name":"Dvořák, Pavel","first_name":"Pavel","last_name":"Dvořák"},{"id":"0f78d746-dc7d-11ea-9b2f-83f92091afe7","full_name":"Hoffmann, Charlotte","first_name":"Charlotte","orcid":"0000-0003-2027-5549","last_name":"Hoffmann"},{"first_name":"Pavel","last_name":"Hubáček","full_name":"Hubáček, Pavel"},{"full_name":"Mašková, Kristýna","last_name":"Mašková","first_name":"Kristýna"},{"full_name":"Pastyřík, Martin","first_name":"Martin","last_name":"Pastyřík"}],"conference":{"end_date":"2025-08-221","name":"CRYPTO: International Cryptology Conference","location":"Santa Barbara, CA, United States","start_date":"2025-08-17"},"OA_place":"repository","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.","publication_identifier":{"isbn":["9783032018861"],"eisbn":["9783032018878"],"issn":["0302-9743"],"eissn":["1611-3349"]},"day":"17","_id":"21323","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/514"}],"quality_controlled":"1","oa_version":"Preprint","citation":{"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.","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>.","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>","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>","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>.","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."},"doi":"10.1007/978-3-032-01887-8_19","department":[{"_id":"KrPi"}],"volume":16005},{"author":[{"last_name":"Bombari","first_name":"Simone","full_name":"Bombari, Simone","id":"ca726dda-de17-11ea-bc14-f9da834f63aa"},{"id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020","last_name":"Mondelli","first_name":"Marco"}],"title":"Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization","date_updated":"2026-02-19T08:08:55Z","arxiv":1,"day":"30","file_date_updated":"2026-02-19T08:04:38Z","publication_identifier":{"eissn":["2640-3498"]},"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.","external_id":{"arxiv":["2502.01347"]},"OA_place":"publisher","conference":{"start_date":"2025-07-13","location":"Vancouver, Canada","name":"ICML: International Conference on Machine Learning","end_date":"2025-07-19"},"oa_version":"Published Version","quality_controlled":"1","_id":"21324","volume":267,"department":[{"_id":"MaMo"}],"citation":{"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.","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.","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.","short":"S. Bombari, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 4839–4873."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","grant_number":"101161364","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf"},{"_id":"92099302-16d5-11f0-9cad-f9a785f54fbd","name":"Trustworthy Deep Learning Theory: Private Over-Parameterized Models and Robust LLMs"}],"file":[{"date_updated":"2026-02-19T08:04:38Z","file_id":"21335","success":1,"file_size":887526,"access_level":"open_access","content_type":"application/pdf","date_created":"2026-02-19T08:04:38Z","relation":"main_file","file_name":"2025_ICML_Bombari.pdf","checksum":"d4ba4f7717b362ca38878f45e57bd643","creator":"dernst"}],"publication_status":"published","year":"2025","article_processing_charge":"No","date_published":"2025-07-30T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"4839-4873","oa":1,"type":"conference","publication":"Proceedings of the 42nd International Conference on Machine Learning","ddc":["000"],"status":"public","month":"07","corr_author":"1","publisher":"ML Research Press","has_accepted_license":"1","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"}],"date_created":"2026-02-18T11:58:00Z","alternative_title":["PMLR"],"intvolume":"       267","OA_type":"gold","language":[{"iso":"eng"}]},{"publication_status":"published","year":"2025","article_processing_charge":"No","file":[{"date_updated":"2026-02-19T08:15:48Z","file_id":"21336","success":1,"content_type":"application/pdf","access_level":"open_access","file_size":471176,"creator":"dernst","file_name":"2025_ICML_Gozeten.pdf","checksum":"f774f8619a0d72f3975d9cb23942a1e9","relation":"main_file","date_created":"2026-02-19T08:15:48Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-11-30T00:00:00Z","page":"20266-20295","type":"conference","oa":1,"status":"public","month":"11","ddc":["000"],"publication":"Proceedings of the 42nd International Conference on Machine Learning","has_accepted_license":"1","date_created":"2026-02-18T12:00:44Z","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."}],"pmid":1,"alternative_title":["PMLR"],"publisher":"ML Research Press","OA_type":"gold","language":[{"iso":"eng"}],"intvolume":"       267","author":[{"last_name":"Gozeten","first_name":"Halil Alperen","full_name":"Gozeten, Halil Alperen"},{"full_name":"Ildiz, Muhammed Emrullah","last_name":"Ildiz","first_name":"Muhammed Emrullah"},{"last_name":"Zhang","first_name":"Xuechen","full_name":"Zhang, Xuechen"},{"first_name":"Mahdi","last_name":"Soltanolkotabi","full_name":"Soltanolkotabi, Mahdi"},{"first_name":"Marco","orcid":"0000-0002-3242-7020","last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco"},{"last_name":"Oymak","first_name":"Samet","full_name":"Oymak, Samet"}],"title":"Test-time training provably improves transformers as in-context learners","date_updated":"2026-02-19T08:18:24Z","day":"30","publication_identifier":{"eissn":["2640-3498"]},"file_date_updated":"2026-02-19T08:15:48Z","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.","OA_place":"publisher","conference":{"start_date":"2025-07-13","location":"Vancouver, Canada","name":"ICML: International Conference on Machine Learning","end_date":"2025-07-19"},"external_id":{"pmid":["41321376"]},"_id":"21325","quality_controlled":"1","oa_version":"Published Version","department":[{"_id":"MaMo"}],"volume":267,"project":[{"_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf","grant_number":"101161364","name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits"}],"citation":{"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.","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.","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.","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.","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.","ieee":"H. A. Gozeten, M. E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, and S. Oymak, “Test-time training provably improves transformers as in-context learners,” in <i>Proceedings of the 42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 20266–20295.","mla":"Gozeten, Halil Alperen, et al. “Test-Time Training Provably Improves Transformers as in-Context Learners.” <i>Proceedings of the 42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 20266–95."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"}},{"_id":"21326","quality_controlled":"1","oa_version":"Published Version","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"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.","short":"D. Wu, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 67499–67536.","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.","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.","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.","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.","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."},"department":[{"_id":"MaMo"}],"volume":267,"title":"Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime","date_updated":"2026-02-19T08:30:42Z","author":[{"first_name":"Diyuan","last_name":"Wu","id":"1a5914c2-896a-11ed-bdf8-fb80621a0635","full_name":"Wu, Diyuan"},{"id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020","last_name":"Mondelli","first_name":"Marco"}],"conference":{"name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","start_date":"2025-07-13","end_date":"2025-07-19"},"OA_place":"publisher","external_id":{"arxiv":["2501.19104"]},"day":"30","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. ","publication_identifier":{"eissn":["2640-3498"]},"file_date_updated":"2026-02-19T08:28:22Z","arxiv":1,"ddc":["000"],"status":"public","corr_author":"1","month":"07","publication":"Proceedings of the 42nd International Conference on Machine Learning","OA_type":"gold","language":[{"iso":"eng"}],"intvolume":"       267","has_accepted_license":"1","abstract":[{"lang":"eng","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."}],"date_created":"2026-02-18T12:02:45Z","alternative_title":["PMLR"],"publisher":"ML Research Press","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-07-30T00:00:00Z","publication_status":"published","article_processing_charge":"No","year":"2025","file":[{"file_size":3994385,"access_level":"open_access","content_type":"application/pdf","date_created":"2026-02-19T08:28:22Z","relation":"main_file","checksum":"c5ce8b1c83e33dc3a11122f4910deb67","creator":"dernst","file_name":"2025_ICML_Wu.pdf","date_updated":"2026-02-19T08:28:22Z","success":1,"file_id":"21337"}],"type":"conference","oa":1,"page":"67499-67536"},{"oa_version":"Published Version","quality_controlled":"1","_id":"21327","volume":267,"department":[{"_id":"PaSc"},{"_id":"AlBr"},{"_id":"GradSch"}],"citation":{"chicago":"Maddipatla, Sai A, Nadav E Sellam, Meital I Bojan, Sanketh Vedula, Paul Schanda, Ailie Marx, and Alex M. Bronstein. “Inverse Problems with Experiment-Guided AlphaFold.” In <i>Proceedings of the 42nd International Conference on Machine Learning</i>, 267:42366–93. ML Research Press, 2025.","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.","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.","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.","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.","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.","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."},"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"project":[{"_id":"eb9c82eb-77a9-11ec-83b8-aadd536561cf","grant_number":"I05812","name":"AlloSpace. The emergence and mechanisms of allostery"},{"grant_number":"I06223","name":"Structure and mechanism of the mitochondrial MIM insertase","_id":"bdb9578d-d553-11ed-ba76-ed5d39fce6f0"}],"author":[{"id":"e957f5e5-91c9-11f0-a95f-e090f66ecb4d","full_name":"Maddipatla, Sai A","last_name":"Maddipatla","first_name":"Sai A"},{"full_name":"Sellam, Nadav E","id":"ef280fe0-91c9-11f0-a95f-8dea3f5bc513","first_name":"Nadav E","last_name":"Sellam"},{"full_name":"Bojan, Meital I","id":"11d88cf5-91ca-11f0-a95f-edf9f08f47b7","first_name":"Meital I","last_name":"Bojan"},{"id":"94f2fe44-70fa-11f0-b76b-92922c09452b","full_name":"Vedula, Sanketh","first_name":"Sanketh","last_name":"Vedula"},{"id":"7B541462-FAF6-11E9-A490-E8DFE5697425","full_name":"Schanda, Paul","first_name":"Paul","orcid":"0000-0002-9350-7606","last_name":"Schanda"},{"full_name":"Marx, Ailie","last_name":"Marx","first_name":"Ailie"},{"last_name":"Bronstein","orcid":"0000-0001-9699-8730","first_name":"Alexander","full_name":"Bronstein, Alexander","id":"58f3726e-7cba-11ef-ad8b-e6e8cb3904e6"}],"title":"Inverse problems with experiment-guided AlphaFold","date_updated":"2026-02-19T08:56:43Z","arxiv":1,"day":"30","publication_identifier":{"eissn":["2640-3498"]},"file_date_updated":"2026-02-19T08:56:10Z","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. ","external_id":{"arxiv":["2502.09372"]},"conference":{"end_date":"2025-07-19","location":"Vancouver, Canada","name":"ICML: International Conference on Machine Learning","start_date":"2025-07-13"},"OA_place":"publisher","publication":"Proceedings of the 42nd International Conference on Machine Learning","ddc":["000","540"],"status":"public","month":"07","corr_author":"1","acknowledged_ssus":[{"_id":"ScienComp"}],"publisher":"ML Research Press","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"}],"date_created":"2026-02-18T12:11:17Z","has_accepted_license":"1","alternative_title":["PMLR"],"intvolume":"       267","OA_type":"gold","language":[{"iso":"eng"}],"file":[{"date_created":"2026-02-19T08:56:10Z","relation":"main_file","checksum":"f33230a6d59b7978d4cd72795e4e9059","creator":"dernst","file_name":"2025_ICML_Maddipatla.pdf","file_size":1924177,"access_level":"open_access","content_type":"application/pdf","file_id":"21338","success":1,"date_updated":"2026-02-19T08:56:10Z"}],"publication_status":"published","article_processing_charge":"No","year":"2025","date_published":"2025-07-30T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"42366 - 42393","oa":1,"type":"conference"},{"alternative_title":["PMLR"],"abstract":[{"lang":"eng","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."}],"has_accepted_license":"1","date_created":"2026-02-18T12:12:47Z","publisher":"ML Research Press","OA_type":"gold","language":[{"iso":"eng"}],"intvolume":"       291","month":"07","status":"public","corr_author":"1","publication":"Proceedings of 38th Conference on Learning Theory","ddc":["000"],"page":"3354-3404","type":"conference","oa":1,"year":"2025","article_processing_charge":"No","publication_status":"published","file":[{"date_updated":"2026-02-19T09:03:43Z","file_id":"21339","success":1,"content_type":"application/pdf","access_level":"open_access","file_size":844611,"file_name":"2025_LearningTheory_Kovacevic.pdf","creator":"dernst","checksum":"19aa70ab4f57fb9067b6ebb99a5fd6f0","relation":"main_file","date_created":"2026-02-19T09:03:43Z"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-07-01T00:00:00Z","scopus_import":"1","department":[{"_id":"MaMo"}],"volume":291,"project":[{"name":"Inference in High Dimensions: Light-speed Algorithms and Information Limits","grant_number":"101161364","_id":"911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf"}],"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"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.","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.","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.","short":"F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference on Learning Theory, ML Research Press, 2025, pp. 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."},"_id":"21328","quality_controlled":"1","oa_version":"Published Version","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).","publication_identifier":{"eissn":["2640-3498"]},"file_date_updated":"2026-02-19T09:03:43Z","day":"01","arxiv":1,"OA_place":"publisher","conference":{"end_date":"2025-07-04","location":"Lyon, France","name":"COLT: Conference on Learning Theory","start_date":"2025-06-30"},"external_id":{"arxiv":["2502.01583"]},"author":[{"first_name":"Filip","last_name":"Kovačević","full_name":"Kovačević, Filip","id":"d0258e7b-50b8-11ef-ad56-8b9f537b6b1b"},{"full_name":"Yihan, Zhang","first_name":"Zhang","last_name":"Yihan"},{"id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco","orcid":"0000-0002-3242-7020","last_name":"Mondelli","first_name":"Marco"}],"date_updated":"2026-02-19T09:03:53Z","title":"Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery"},{"_id":"21412","oa_version":"Published Version","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/1484.pdf"}],"department":[{"_id":"KrCh"}],"scopus_import":"1","volume":356,"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"doi":"10.4230/LIPIcs.DISC.2025.23","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"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>.","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.","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.","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>","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>.","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."},"author":[{"last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Křišťan, Jan Matyáš","first_name":"Jan Matyáš","last_name":"Křišťan"},{"full_name":"Schmid, Stefan","first_name":"Stefan","last_name":"Schmid"},{"first_name":"Jakub","last_name":"Svoboda","orcid":"0000-0002-1419-3267","full_name":"Svoboda, Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425"},{"id":"2D82B818-F248-11E8-B48F-1D18A9856A87","full_name":"Yeo, Michelle X","orcid":"0009-0001-3676-4809","last_name":"Yeo","first_name":"Michelle X"}],"title":"Boosting payment channel network liquidity with topology optimization and transaction selection","date_updated":"2026-03-09T11:52:58Z","day":"22","publication_identifier":{"isbn":["9783959774024"],"issn":["1868-8969"]},"file_date_updated":"2026-03-09T11:51:59Z","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).","arxiv":1,"conference":{"start_date":"2025-10-27","location":"Berlin, Germany","name":"DISC: Symposium on Distributed Computing","end_date":"2025-10-31"},"OA_place":"publisher","external_id":{"arxiv":["2508.14524"]},"month":"10","status":"public","ddc":["000"],"publication":"39th International Symposium on Distributed Computing","abstract":[{"lang":"eng","text":"Payment channel networks (PCNs) are a promising technology that alleviates blockchain scalability by shifting the transaction load from the blockchain to the PCN. Nevertheless, the network topology has to be carefully designed to maximise the transaction throughput in PCNs. Additionally, users in PCNs also have to make optimal decisions on which transactions to forward and which to reject to prolong the lifetime of their channels. In this work, we consider an input sequence of transactions over p parties. Each transaction consists of a transaction size, source, and target, and can be either accepted or rejected (entailing a cost). The goal is to design a PCN topology among the p cooperating parties, along with the channel capacities, and then output a decision for each transaction in the sequence to minimise the cost of creating and augmenting channels, as well as the cost of rejecting transactions. Our main contribution is an 𝒪(p) approximation algorithm for the problem with p parties. We further show that with some assumptions on the distribution of transactions, we can reduce the approximation ratio to 𝒪(√p). We complement our theoretical analysis with an empirical study of our assumptions and approach in the context of the Lightning Network."}],"has_accepted_license":"1","date_created":"2026-03-08T23:01:46Z","alternative_title":["LIPIcs"],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","OA_type":"gold","language":[{"iso":"eng"}],"intvolume":"       356","publication_status":"published","year":"2025","article_processing_charge":"No","file":[{"date_updated":"2026-03-09T11:51:59Z","success":1,"file_id":"21418","access_level":"open_access","content_type":"application/pdf","file_size":1130069,"checksum":"8e3d1594365df60163d9df22158a37b1","file_name":"2025_DISC_Chatterjee.pdf","creator":"dernst","date_created":"2026-03-09T11:51:59Z","relation":"main_file"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2025-10-22T00:00:00Z","article_number":"23","ec_funded":1,"type":"conference","oa":1},{"title":"Learning algorithms for verification of Markov decision processes","date_updated":"2026-03-09T11:43:38Z","author":[{"last_name":"Brázdil","first_name":"Tomáš","full_name":"Brázdil, Tomáš"},{"full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"id":"3624234E-F248-11E8-B48F-1D18A9856A87","full_name":"Chmelik, Martin","first_name":"Martin","last_name":"Chmelik"},{"last_name":"Forejt","first_name":"Vojtěch","full_name":"Forejt, Vojtěch"},{"first_name":"Jan","orcid":"0000-0002-8122-2881","last_name":"Kretinsky","id":"44CEF464-F248-11E8-B48F-1D18A9856A87","full_name":"Kretinsky, Jan"},{"last_name":"Kwiatkowska","first_name":"Marta","full_name":"Kwiatkowska, Marta"},{"id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer","first_name":"Tobias"},{"last_name":"Parker","first_name":"David","full_name":"Parker, David"},{"last_name":"Ujma","first_name":"Mateusz","full_name":"Ujma, Mateusz"}],"external_id":{"arxiv":["2403.09184"]},"OA_place":"publisher","DOAJ_listed":"1","arxiv":1,"day":"01","publication_identifier":{"eissn":["2751-4838"]},"article_type":"original","file_date_updated":"2026-03-09T11:39:59Z","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.","oa_version":"Published Version","quality_controlled":"1","_id":"21413","doi":"10.46298/theoretics.25.10","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"citation":{"chicago":"Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Kretinsky, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz Ujma. “Learning Algorithms for Verification of Markov Decision Processes.” <i>TheoretiCS</i>. TheoretiCS Foundation, 2025. <a href=\"https://doi.org/10.46298/theoretics.25.10\">https://doi.org/10.46298/theoretics.25.10</a>.","short":"T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025).","ieee":"T. Brázdil <i>et al.</i>, “Learning algorithms for verification of Markov decision processes,” <i>TheoretiCS</i>, vol. 4. TheoretiCS Foundation, 2025.","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>.","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.","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>","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>"},"project":[{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989"},{"_id":"2581B60A-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications"},{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"grant_number":"S11402-N23","name":"Rigorous Systems Engineering","_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"},{"grant_number":"P 23499-N23","name":"Modern Graph Algorithmic Techniques in Formal Verification","_id":"2584A770-B435-11E9-9278-68D0E5697425","call_identifier":"FWF"}],"volume":4,"department":[{"_id":"KrCh"}],"scopus_import":"1","date_published":"2025-04-01T00:00:00Z","article_number":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","file":[{"file_id":"21417","success":1,"date_updated":"2026-03-09T11:39:59Z","checksum":"2ccf563ae577ee08d82baf752292ca7b","creator":"dernst","file_name":"2026_TheoretiCS_Brazdil.pdf","relation":"main_file","date_created":"2026-03-09T11:39:59Z","content_type":"application/pdf","access_level":"open_access","file_size":861607}],"publication_status":"published","article_processing_charge":"Yes","year":"2025","oa":1,"ec_funded":1,"type":"journal_article","ddc":["000"],"status":"public","month":"04","publication":"TheoretiCS","intvolume":"         4","PlanS_conform":"1","OA_type":"gold","language":[{"iso":"eng"}],"publisher":"TheoretiCS Foundation","has_accepted_license":"1","date_created":"2026-03-08T23:01:46Z","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."}]}]
