[{"status":"public","citation":{"ama":"Asadi A, Chatterjee K, De Raaij J. Lower bound on Howard policy iteration for deterministic Markov Decision Processes. In: <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>. Vol 286. ML Research Press; 2025:223-232.","ista":"Asadi A, Chatterjee K, De Raaij J. 2025. Lower bound on Howard policy iteration for deterministic Markov Decision Processes. The 41st Conference on Uncertainty in Artificial Intelligence. UAI: Conference on Uncertainty in Artificial Intelligence, PMLR, vol. 286, 223–232.","mla":"Asadi, Ali, et al. “Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.” <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>, vol. 286, ML Research Press, 2025, pp. 223–32.","ieee":"A. Asadi, K. Chatterjee, and J. De Raaij, “Lower bound on Howard policy iteration for deterministic Markov Decision Processes,” in <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>, Rio de Janeiro, Brazil, 2025, vol. 286, pp. 223–232.","chicago":"Asadi, Ali, Krishnendu Chatterjee, and Jakob De Raaij. “Lower Bound on Howard Policy Iteration for Deterministic Markov Decision Processes.” In <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>, 286:223–32. ML Research Press, 2025.","apa":"Asadi, A., Chatterjee, K., &#38; De Raaij, J. (2025). Lower bound on Howard policy iteration for deterministic Markov Decision Processes. In <i>The 41st Conference on Uncertainty in Artificial Intelligence</i> (Vol. 286, pp. 223–232). Rio de Janeiro, Brazil: ML Research Press.","short":"A. Asadi, K. Chatterjee, J. De Raaij, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 223–232."},"department":[{"_id":"KrCh"},{"_id":"GradSch"}],"language":[{"iso":"eng"}],"oa_version":"Published Version","ec_funded":1,"date_updated":"2026-09-16T07:01:05Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"20299","quality_controlled":"1","date_created":"2025-09-07T22:01:34Z","intvolume":"       286","alternative_title":["PMLR"],"OA_type":"diamond","title":"Lower bound on Howard policy iteration for deterministic Markov Decision Processes","file_date_updated":"2025-09-09T06:27:59Z","page":"223-232","date_published":"2025-01-01T00:00:00Z","author":[{"first_name":"Ali","last_name":"Asadi","id":"02d96aae-000e-11ec-b801-cadd0a5eefbb","full_name":"Asadi, Ali"},{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"full_name":"De Raaij, Jakob","last_name":"De Raaij","first_name":"Jakob"}],"publication_status":"published","file":[{"file_name":"2025_UAI_Asadi.pdf","access_level":"open_access","file_id":"20313","file_size":317097,"content_type":"application/pdf","relation":"main_file","checksum":"4180c81bb6ed3b4f5c7a8e48d06520c6","date_updated":"2025-09-09T06:27:59Z","creator":"dernst","success":1,"date_created":"2025-09-09T06:27:59Z"}],"external_id":{"arxiv":["2506.12254"]},"publication":"The 41st Conference on Uncertainty in Artificial Intelligence","OA_place":"publisher","arxiv":1,"article_processing_charge":"No","oa":1,"month":"01","volume":286,"day":"01","abstract":[{"text":"Deterministic Markov Decision Processes (DMDPs) are a mathematical framework for decision-making where the outcomes and future possible actions are deterministically determined by the current action taken. DMDPs can be viewed as a finite directed weighted graph, where in each step, the controller chooses an outgoing edge. An objective is a measurable function on runs (or infinite trajectories) of the DMDP, and the value for an objective is the maximal cumulative reward (or weight) that the controller can guarantee. We consider the classical mean-payoff (aka limit-average) objective, which is a basic and fundamental objective.\r\n\r\nHoward's policy iteration algorithm is a popular method for solving DMDPs with mean-payoff objectives. Although Howard's algorithm performs well in practice, as experimental studies suggested, the best known upper bound is exponential and the current known lower bound is as follows: For the input size I, the algorithm requires (math formular) iterations, where (math formular) hides the poly-logarithmic factors, i.e., the current lower bound on iterations is sub-linear with respect to the input size. Our main result is an improved lower bound for this fundamental algorithm where we show that for the input size I, the algorithm requires (math formular) iterations.","lang":"eng"}],"scopus_import":"1","publication_identifier":{"eissn":["2640-3498"]},"publisher":"ML Research Press","corr_author":"1","ddc":["000"],"has_accepted_license":"1","acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt) grant and Austrian Science Fund (FWF) 10.55776/COE12.\r\n","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","conference":{"start_date":"2025-07-21","end_date":"2025-07-25","location":"Rio de Janeiro, Brazil","name":"UAI: Conference on Uncertainty in Artificial Intelligence"},"project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"name":"Bilateral Artificial Intelligence (Chatterjee)","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","grant_number":"COE12"}],"type":"conference"},{"type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)","grant_number":"COE12"}],"conference":{"end_date":"2025-07-25","name":"UAI: Conference on Uncertainty in Artificial Intelligence","location":"Rio de Janeiro, Brazil","start_date":"2025-07-21"},"year":"2025","publication_identifier":{"eissn":["2640-3498"]},"scopus_import":"1","abstract":[{"text":"A standard model that arises in several applications in sequential decision-making is partially observable Markov decision processes (POMDPs) where a decision-making agent interacts with an uncertain environment. A basic objective in POMDPs is the reachability objective, where given a target set of states, the goal is to eventually arrive at one of them.\r\n\r\nThe limit-sure problem asks whether reachability can be ensured with probability arbitrarily close to 1. In general, the limit-sure reachability problem for POMDPs is undecidable. However, in many practical cases, the most relevant question is the existence of policies with a small amount of memory. In this work, we study the limit-sure reachability problem for POMDPs with a fixed amount of memory. We establish that the computational complexity of the problem is NP-complete.","lang":"eng"}],"day":"01","volume":286,"acknowledgement":"This research was partially supported by Austrian Science Fund (FWF) 10.55776/COE12, the support of the French Agence Nationale de la Recherche (ANR) under reference ANR-21-CE40-0020 (CONVERGENCE project), and the ERC CoG 863818 (ForM-SMArt) grant.","ddc":["000"],"has_accepted_license":"1","corr_author":"1","publisher":"ML Research Press","oa":1,"article_processing_charge":"No","arxiv":1,"OA_place":"publisher","external_id":{"arxiv":["2412.00941"]},"publication":"The 41st Conference on Uncertainty in Artificial Intelligence","month":"07","title":"Limit-sure reachability for small memory policies in POMDPs is NP-complete","file_date_updated":"2025-09-09T08:19:41Z","date_published":"2025-07-01T00:00:00Z","author":[{"full_name":"Asadi, Ali","first_name":"Ali","last_name":"Asadi","id":"02d96aae-000e-11ec-b801-cadd0a5eefbb"},{"first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","last_name":"Saona Urmeneta","orcid":"0000-0001-5103-038X","full_name":"Saona Urmeneta, Raimundo J"},{"full_name":"Shafiee, Ali","first_name":"Ali","id":"2783031a-7378-11f0-b2d0-f17f1db2ebad","last_name":"Shafiee"}],"publication_status":"published","file":[{"file_id":"20315","access_level":"open_access","file_name":"2025_UAI_AsadiAli.pdf","creator":"dernst","success":1,"date_created":"2025-09-09T08:19:41Z","relation":"main_file","date_updated":"2025-09-09T08:19:41Z","checksum":"1a37ebe7ba73ab6985765bf0d17a0acc","content_type":"application/pdf","file_size":307458}],"page":"238-247","OA_type":"diamond","intvolume":"       286","date_created":"2025-09-07T22:01:34Z","quality_controlled":"1","_id":"20297","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_updated":"2026-09-16T07:03:02Z","alternative_title":["PMLR"],"department":[{"_id":"KrCh"},{"_id":"GradSch"}],"citation":{"short":"A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, A. Shafiee, in:, The 41st Conference on Uncertainty in Artificial Intelligence, ML Research Press, 2025, pp. 238–247.","apa":"Asadi, A., Chatterjee, K., Saona Urmeneta, R. J., &#38; Shafiee, A. (2025). Limit-sure reachability for small memory policies in POMDPs is NP-complete. In <i>The 41st Conference on Uncertainty in Artificial Intelligence</i> (Vol. 286, pp. 238–247). Rio de Janeiro, Brazil: ML Research Press.","chicago":"Asadi, Ali, Krishnendu Chatterjee, Raimundo J Saona Urmeneta, and Ali Shafiee. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” In <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>, 286:238–47. ML Research Press, 2025.","ieee":"A. Asadi, K. Chatterjee, R. J. Saona Urmeneta, and A. Shafiee, “Limit-sure reachability for small memory policies in POMDPs is NP-complete,” in <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>, Rio de Janeiro, Brazil, 2025, vol. 286, pp. 238–247.","ama":"Asadi A, Chatterjee K, Saona Urmeneta RJ, Shafiee A. Limit-sure reachability for small memory policies in POMDPs is NP-complete. In: <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>. Vol 286. ML Research Press; 2025:238-247.","ista":"Asadi A, Chatterjee K, Saona Urmeneta RJ, Shafiee A. 2025. Limit-sure reachability for small memory policies in POMDPs is NP-complete. The 41st Conference on Uncertainty in Artificial Intelligence. UAI: Conference on Uncertainty in Artificial Intelligence, PMLR, vol. 286, 238–247.","mla":"Asadi, Ali, et al. “Limit-Sure Reachability for Small Memory Policies in POMDPs Is NP-Complete.” <i>The 41st Conference on Uncertainty in Artificial Intelligence</i>, vol. 286, ML Research Press, 2025, pp. 238–47."},"status":"public","ec_funded":1,"oa_version":"Published Version","language":[{"iso":"eng"}]},{"type":"conference","acknowledged_ssus":[{"_id":"ScienComp"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","conference":{"start_date":"2025-05-28","name":"NeuS: International Conferenceon Neuro-Symbolic Systems","location":"Philadephia, PA, United States","end_date":"2025-05-30"},"project":[{"grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"},{"grant_number":"COE12","name":"Bilateral Artificial Intelligence (Lampert)","_id":"d8f03aaa-b035-11f1-8588-d5147fa879e0"}],"scopus_import":"1","abstract":[{"text":"Learning-based systems are increasingly deployed across various domains, yet the complexity of traditional neural networks poses significant challenges for formal verification. Unlike conventional neural networks, learned Logic Gate Networks (LGNs) replace multiplications with Boolean logic gates, yielding a sparse, netlist-like architecture that is inherently more amenable to symbolic verification, while still delivering promising performance. In this paper, we introduce a SAT encoding for verifying global robustness and fairness in LGNs. We evaluate our method on five benchmark datasets, including a newly constructed 5-class variant, and find that LGNs are both verification-friendly and maintain strong predictive performance.","lang":"eng"}],"publication_identifier":{"eissn":["2640-3498"]},"volume":288,"day":"01","has_accepted_license":"1","ddc":["000"],"acknowledgement":"This work is supported in part by the ERC grant under Grant No. ERC-2020-AdG 101020093 and\r\nthe Austrian Science Fund (FWF) [10.55776/COE12]. This research was supported by the Scientific\r\nService Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp).","publisher":"ML Research Press","corr_author":"1","arxiv":1,"article_processing_charge":"No","oa":1,"OA_place":"publisher","external_id":{"arxiv":["2505.19932"]},"publication":"2nd International Conferenceon Neuro-Symbolic Systems","month":"06","file_date_updated":"2025-09-09T08:10:13Z","title":"Logic gate neural networks are good for verification","file":[{"file_name":"2025_NeuS_Kresse.pdf","access_level":"open_access","file_id":"20314","content_type":"application/pdf","file_size":295466,"checksum":"90a32defed34787e771a5c1623b6b0d2","date_updated":"2025-09-09T08:10:13Z","relation":"main_file","date_created":"2025-09-09T08:10:13Z","success":1,"creator":"dernst"}],"date_published":"2025-06-01T00:00:00Z","publication_status":"published","author":[{"last_name":"Kresse","id":"faff3c84-23f6-11ef-9085-e5187b51c604","first_name":"Fabian","full_name":"Kresse, Fabian"},{"id":"20aa2ae8-f2f1-11ed-bbfa-8205053f1342","orcid":"0000-0002-4993-773X","last_name":"Yu","first_name":"Zhengqi","full_name":"Yu, Zhengqi"},{"first_name":"Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","last_name":"Lampert","full_name":"Lampert, Christoph"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A"}],"OA_type":"diamond","date_created":"2025-09-07T22:01:34Z","intvolume":"       288","date_updated":"2026-09-16T07:02:18Z","_id":"20296","article_number":"26","quality_controlled":"1","alternative_title":["PMLR"],"citation":{"chicago":"Kresse, Fabian, Emily Yu, Christoph Lampert, and Thomas A Henzinger. “Logic Gate Neural Networks Are Good for Verification.” In <i>2nd International Conferenceon Neuro-Symbolic Systems</i>, Vol. 288. ML Research Press, 2025.","apa":"Kresse, F., Yu, E., Lampert, C., &#38; Henzinger, T. A. (2025). Logic gate neural networks are good for verification. In <i>2nd International Conferenceon Neuro-Symbolic Systems</i> (Vol. 288). Philadephia, PA, United States: ML Research Press.","short":"F. Kresse, E. Yu, C. Lampert, T.A. Henzinger, in:, 2nd International Conferenceon Neuro-Symbolic Systems, ML Research Press, 2025.","ama":"Kresse F, Yu E, Lampert C, Henzinger TA. Logic gate neural networks are good for verification. In: <i>2nd International Conferenceon Neuro-Symbolic Systems</i>. Vol 288. ML Research Press; 2025.","ista":"Kresse F, Yu E, Lampert C, Henzinger TA. 2025. Logic gate neural networks are good for verification. 2nd International Conferenceon Neuro-Symbolic Systems. NeuS: International Conferenceon Neuro-Symbolic Systems, PMLR, vol. 288, 26.","mla":"Kresse, Fabian, et al. “Logic Gate Neural Networks Are Good for Verification.” <i>2nd International Conferenceon Neuro-Symbolic Systems</i>, vol. 288, 26, ML Research Press, 2025.","ieee":"F. Kresse, E. Yu, C. Lampert, and T. A. Henzinger, “Logic gate neural networks are good for verification,” in <i>2nd International Conferenceon Neuro-Symbolic Systems</i>, Philadephia, PA, United States, 2025, vol. 288."},"department":[{"_id":"ChLa"},{"_id":"ToHe"}],"status":"public","oa_version":"Published Version","ec_funded":1,"language":[{"iso":"eng"}]},{"OA_place":"publisher","external_id":{"isi":["001449708900001"]},"publication":"Dynamic Games and Applications","article_processing_charge":"Yes (via OA deal)","oa":1,"month":"11","related_material":{"record":[{"id":"20234","relation":"dissertation_contains","status":"public"}]},"volume":15,"day":"01","scopus_import":"1","abstract":[{"text":"We consider random two-player zero-sum dynamic games with perfect information on a class of infinite directed graphs. Starting from a fixed vertex, the players take turns to move a token along the edges of the graph. Every vertex is assigned a payoff known in advance by both players. Every time the token visits a vertex, Player 2 pays Player 1 the corresponding payoff. We consider a distribution over such games by assigning i.i.d. payoffs to the vertices. On the one hand, for acyclic directed graphs of bounded degree and sub-exponential expansion, we show that, when the duration of the game tends to infinity, the value converges almost surely to a constant at an exponential rate dominated in terms of the expansion. On the other hand, for the infinite d-ary tree (that does not fall into the previous class of graphs), we show convergence at a double-exponential rate.","lang":"eng"}],"publication_identifier":{"issn":["2153-0785"],"eissn":["2153-0793"]},"corr_author":"1","publisher":"Springer Nature","has_accepted_license":"1","ddc":["000"],"acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). This work was supported by the French Agence Nationale de la Recherche (ANR) under references ANR-21-CE40-0020 (CONVERGENCE project) and ANR-20-CE40-0002 (GrHyDy), by Fondecyt grant 1220174, by ANID Chile grant ACT210005, and by the ERC CoG 863818 (ForM-SMArt) grant. This collaboration was mainly conducted during a 1-year visit of Bruno Ziliotto to the Center for Mathematical Modeling (CMM) at University of Chile in 2023, under the IRL program of CNRS. This work was supported by Fondation CFM pour la Recherche. This paper has also been funded by the Agence Nationale de la Recherche under grant ANR-17-EURE-0010 (Investissements d’Avenir program).","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","fulldoi":"https://doi.org/10.1007/s13235-025-00636-4","project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"}],"PlanS_conform":"1","type":"journal_article","article_type":"original","status":"public","citation":{"apa":"Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., &#38; Ziliotto, B. (2025). Random zero-sum dynamic games on infinite directed graphs. <i>Dynamic Games and Applications</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s13235-025-00636-4\">https://doi.org/10.1007/s13235-025-00636-4</a>","chicago":"Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” <i>Dynamic Games and Applications</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/s13235-025-00636-4\">https://doi.org/10.1007/s13235-025-00636-4</a>.","short":"L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, Dynamic Games and Applications 15 (2025) 1517–1535.","mla":"Attia, Luc, et al. “Random Zero-Sum Dynamic Games on Infinite Directed Graphs.” <i>Dynamic Games and Applications</i>, vol. 15, Springer Nature, 2025, pp. 1517–35, doi:<a href=\"https://doi.org/10.1007/s13235-025-00636-4\">10.1007/s13235-025-00636-4</a>.","ama":"Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Random zero-sum dynamic games on infinite directed graphs. <i>Dynamic Games and Applications</i>. 2025;15:1517-1535. doi:<a href=\"https://doi.org/10.1007/s13235-025-00636-4\">10.1007/s13235-025-00636-4</a>","ista":"Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. 2025. Random zero-sum dynamic games on infinite directed graphs. Dynamic Games and Applications. 15, 1517–1535.","ieee":"L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Random zero-sum dynamic games on infinite directed graphs,” <i>Dynamic Games and Applications</i>, vol. 15. Springer Nature, pp. 1517–1535, 2025."},"department":[{"_id":"MaKw"},{"_id":"KrCh"}],"language":[{"iso":"eng"}],"oa_version":"Published Version","ec_funded":1,"date_updated":"2026-09-16T07:00:33Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"19508","quality_controlled":"1","date_created":"2025-04-06T22:01:32Z","intvolume":"        15","OA_type":"hybrid","doi":"10.1007/s13235-025-00636-4","title":"Random zero-sum dynamic games on infinite directed graphs","file_date_updated":"2025-12-30T08:13:04Z","isi":1,"page":"1517-1535","file":[{"date_created":"2025-12-30T08:13:04Z","success":1,"creator":"dernst","checksum":"b3a1b7eef40c9ac2acf3fef563081694","date_updated":"2025-12-30T08:13:04Z","relation":"main_file","content_type":"application/pdf","file_size":570994,"file_id":"20891","access_level":"open_access","file_name":"2025_DynGamesAppl_Attia.pdf"}],"publication_status":"published","date_published":"2025-11-01T00:00:00Z","author":[{"full_name":"Attia, Luc","first_name":"Luc","last_name":"Attia"},{"id":"9aa8388e-d003-11ee-8458-c4c1d7447977","last_name":"Lichev","first_name":"Lyuben","full_name":"Lichev, Lyuben"},{"last_name":"Mitsche","first_name":"Dieter","full_name":"Mitsche, Dieter"},{"full_name":"Saona Urmeneta, Raimundo J","orcid":"0000-0001-5103-038X","last_name":"Saona Urmeneta","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","first_name":"Raimundo J"},{"first_name":"Bruno","last_name":"Ziliotto","full_name":"Ziliotto, Bruno"}]},{"OA_type":"green","title":"Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis","page":"2539-2547","author":[{"full_name":"Luo, Ruichen","last_name":"Luo","id":"b391db08-1ffe-11ee-8b67-d18ddcfb5a14","first_name":"Ruichen"},{"full_name":"Stich, Sebastian U.","last_name":"Stich","first_name":"Sebastian U."},{"full_name":"Horváth, Samuel","first_name":"Samuel","last_name":"Horváth"},{"full_name":"Takáč, Martin","first_name":"Martin","last_name":"Takáč"}],"date_published":"2025-05-01T00:00:00Z","publication_status":"published","status":"public","citation":{"short":"R. Luo, S.U. Stich, S. Horváth, M. Takáč, in:, The 28th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2025, pp. 2539–2547.","chicago":"Luo, Ruichen, Sebastian U. Stich, Samuel Horváth, and Martin Takáč. “Revisiting LocalSGD and SCAFFOLD: Improved Rates and Missing Analysis.” In <i>The 28th International Conference on Artificial Intelligence and Statistics</i>, 258:2539–47. ML Research Press, 2025.","apa":"Luo, R., Stich, S. U., Horváth, S., &#38; Takáč, M. (2025). Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis. In <i>The 28th International Conference on Artificial Intelligence and Statistics</i> (Vol. 258, pp. 2539–2547). Mai Khao, Thailand: ML Research Press.","ieee":"R. Luo, S. U. Stich, S. Horváth, and M. Takáč, “Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis,” in <i>The 28th International Conference on Artificial Intelligence and Statistics</i>, Mai Khao, Thailand, 2025, vol. 258, pp. 2539–2547.","mla":"Luo, Ruichen, et al. “Revisiting LocalSGD and SCAFFOLD: Improved Rates and Missing Analysis.” <i>The 28th International Conference on Artificial Intelligence and Statistics</i>, vol. 258, ML Research Press, 2025, pp. 2539–47.","ista":"Luo R, Stich SU, Horváth S, Takáč M. 2025. Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis. The 28th International Conference on Artificial Intelligence and Statistics. AISTATS: Conference on Artificial Intelligence and Statistics, PMLR, vol. 258, 2539–2547.","ama":"Luo R, Stich SU, Horváth S, Takáč M. Revisiting LocalSGD and SCAFFOLD: Improved rates and missing analysis. In: <i>The 28th International Conference on Artificial Intelligence and Statistics</i>. Vol 258. ML Research Press; 2025:2539-2547."},"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2501.04443"}],"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"oa_version":"Preprint","ec_funded":1,"date_updated":"2026-09-16T07:01:32Z","_id":"20302","quality_controlled":"1","date_created":"2025-09-07T22:01:35Z","intvolume":"       258","alternative_title":["PMLR"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","conference":{"end_date":"2025-05-05","name":"AISTATS: Conference on Artificial Intelligence and Statistics","location":"Mai Khao, Thailand","start_date":"2025-05-03"},"project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020"},{"_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)","grant_number":"COE12"}],"type":"conference","publication":"The 28th International Conference on Artificial Intelligence and Statistics","OA_place":"repository","external_id":{"arxiv":["2501.04443"]},"article_processing_charge":"No","arxiv":1,"oa":1,"month":"05","volume":258,"day":"01","scopus_import":"1","abstract":[{"lang":"eng","text":"LocalSGD and SCAFFOLD are widely used methods in distributed stochastic optimization, with numerous applications in machine learning, large-scale data processing, and federated learning. However, rigorously establishing their theoretical advantages over simpler methods, such as minibatch SGD (MbSGD), has proven challenging, as existing analyses often rely on strong assumptions, unrealistic premises, or overly restrictive scenarios.\r\n\r\nIn this work, we revisit the convergence properties of LocalSGD and SCAFFOLD under a variety of existing or weaker conditions, including gradient similarity, Hessian similarity, weak convexity, and Lipschitz continuity of the Hessian. Our analysis shows that (i) LocalSGD achieves faster convergence compared to MbSGD for weakly convex functions without requiring stronger gradient similarity assumptions; (ii) LocalSGD benefits significantly from higher-order similarity and smoothness; and (iii) SCAFFOLD demonstrates faster convergence than MbSGD for a broader class of non-quadratic functions. These theoretical insights provide a clearer understanding of the conditions under which LocalSGD and SCAFFOLD outperform MbSGD."}],"publication_identifier":{"eissn":["2640-3498"]},"publisher":"ML Research Press","acknowledgement":"The authors thank for the helpful discussions with Eduard Gorbunov, Kumar Kshitij Patel, Anton\r\nRodomanov, and Ali Zindari during the preparation of this work. This work was partially done during the first author’s stays at CISPA and at MBZUAI. The first author also acknowledges ERC CoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12."},{"article_number":"040333","quality_controlled":"1","date_updated":"2026-09-16T07:04:35Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"20646","intvolume":"         6","date_created":"2025-11-14T09:40:52Z","language":[{"iso":"eng"}],"ec_funded":1,"oa_version":"Published Version","status":"public","department":[{"_id":"GradSch"},{"_id":"BjHo"},{"_id":"MaSe"}],"citation":{"ama":"Petrova E, Ljubotina M, Yalniz G, Serbyn M. Finding periodic orbits in projected quantum many-body dynamics. <i>PRX Quantum</i>. 2025;6(4). doi:<a href=\"https://doi.org/10.1103/tldp-kvkd\">10.1103/tldp-kvkd</a>","ista":"Petrova E, Ljubotina M, Yalniz G, Serbyn M. 2025. Finding periodic orbits in projected quantum many-body dynamics. PRX Quantum. 6(4), 040333.","mla":"Petrova, Elena, et al. “Finding Periodic Orbits in Projected Quantum Many-Body Dynamics.” <i>PRX Quantum</i>, vol. 6, no. 4, 040333, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/tldp-kvkd\">10.1103/tldp-kvkd</a>.","ieee":"E. Petrova, M. Ljubotina, G. Yalniz, and M. Serbyn, “Finding periodic orbits in projected quantum many-body dynamics,” <i>PRX Quantum</i>, vol. 6, no. 4. American Physical Society, 2025.","apa":"Petrova, E., Ljubotina, M., Yalniz, G., &#38; Serbyn, M. (2025). Finding periodic orbits in projected quantum many-body dynamics. <i>PRX Quantum</i>. American Physical Society. <a href=\"https://doi.org/10.1103/tldp-kvkd\">https://doi.org/10.1103/tldp-kvkd</a>","chicago":"Petrova, Elena, Marko Ljubotina, Gökhan Yalniz, and Maksym Serbyn. “Finding Periodic Orbits in Projected Quantum Many-Body Dynamics.” <i>PRX Quantum</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/tldp-kvkd\">https://doi.org/10.1103/tldp-kvkd</a>.","short":"E. Petrova, M. Ljubotina, G. Yalniz, M. Serbyn, PRX Quantum 6 (2025)."},"file":[{"file_id":"20647","access_level":"open_access","file_name":"tldp-kvkd.pdf","creator":"gyalniz","date_created":"2025-11-14T09:44:10Z","success":1,"relation":"main_file","date_updated":"2025-11-14T09:44:10Z","checksum":"5d6d04ac518b4118405334e1ddc7a56d","file_size":2504713,"content_type":"application/pdf"}],"author":[{"last_name":"Petrova","id":"0ac84990-897b-11ed-a09c-f5abb56a4ede","first_name":"Elena","full_name":"Petrova, Elena"},{"id":"F75EE9BE-5C90-11EA-905D-16643DDC885E","orcid":"0000-0003-0038-7068","last_name":"Ljubotina","first_name":"Marko","full_name":"Ljubotina, Marko"},{"full_name":"Yalniz, Gökhan","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","orcid":"0000-0002-8490-9312","last_name":"Yalniz","first_name":"Gökhan"},{"first_name":"Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2399-5827","last_name":"Serbyn","full_name":"Serbyn, Maksym"}],"date_published":"2025-11-12T00:00:00Z","publication_status":"published","isi":1,"title":"Finding periodic orbits in projected quantum many-body dynamics","file_date_updated":"2025-11-14T09:44:10Z","doi":"10.1103/tldp-kvkd","OA_type":"gold","corr_author":"1","publisher":"American Physical Society","acknowledgement":"We acknowledge useful discussions with C. Kollath, A. Green, and D. Huse. E.P., M.L., and M.S. acknowledge support by the European Research Council under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 850899). This research was funded in whole or in part by the Austrian Science Fund (FWF) (Grant No. 10.55776/COE1). For open access purposes, the author has applied a CC BY public copyright license to any author accepted manuscript version arising from this submission. M.L. acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC-2111—390814868. This research was supported in part by National Science Foundation (NSF) Grant No. PHY-2309135 to the Kavli Institute for Theoretical Physics (KITP) and by the Erwin Schrödinger International Institute for Mathematics and Physics (ESI).","has_accepted_license":"1","ddc":["539"],"day":"12","volume":6,"publication_identifier":{"eissn":["2691-3399"]},"abstract":[{"text":"Describing general quantum many-body dynamics is a challenging task due to the exponential growth of the Hilbert space with system size. The time-dependent variational principle (TDVP) provides a powerful tool to tackle this task by projecting quantum evolution onto a classical dynamical system within a variational manifold. In classical systems, periodic orbits play a crucial role in understanding the structure of the phase space and the long-term behavior of the system. However, finding periodic orbits is generally difficult, and their existence and properties in generic TDVP dynamics over matrix product states have remained largely unexplored. In this work, we develop an algorithm to systematically identify and characterize periodic orbits in TDVP dynamics. Applying our method to the periodically kicked Ising model, we uncover both stable and unstable periodic orbits. We characterize the Kolmogorov-Arnold-Moser tori in the vicinity of stable periodic orbits and track the change of the periodic orbits as we modify the Hamiltonian parameters. We observe that periodic orbits exist at any value of the coupling constant of the kicked Ising model between prethermal and fully thermalizing regimes, but their relevance to quantum dynamics and imprint on quantum eigenstates diminishes as the system leaves the prethermal regime. Our results demonstrate that periodic orbits provide valuable insights into the TDVP approximation of quantum many-body evolution and establish a closer connection between quantum and classical chaos.","lang":"eng"}],"scopus_import":"1","related_material":{"link":[{"description":"News on ISTA website","relation":"press_release","url":"https://ista.ac.at/en/news/reaching-for-the-quantum-scars/"}]},"month":"11","OA_place":"publisher","publication":"PRX Quantum","external_id":{"isi":["001616473700003"],"arxiv":["2504.12472"]},"oa":1,"DOAJ_listed":"1","arxiv":1,"article_processing_charge":"Yes","article_type":"original","type":"journal_article","PlanS_conform":"1","fulldoi":"https://doi.org/10.1103/tldp-kvkd","project":[{"call_identifier":"H2020","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","grant_number":"850899"},{"name":"FWF Open Access Fund","_id":"3AC91DDA-15DF-11EA-824D-93A3E7B544D1","call_identifier":"FWF"},{"grant_number":"COE01","_id":"92c64506-16d5-11f0-9cad-87ce313ee832","name":"Quantum Science Austria (Serbyn)"}],"year":"2025","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"4","APC_amount":"3599,50 EUR"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"4","fulldoi":"https://doi.org/10.1103/crwj-x7j8","project":[{"grant_number":"COE01","name":"Quantum Science Austria (Serbyn)","_id":"92c64506-16d5-11f0-9cad-87ce313ee832"}],"year":"2025","type":"journal_article","PlanS_conform":"1","article_type":"original","oa":1,"DOAJ_listed":"1","article_processing_charge":"Yes (via OA deal)","arxiv":1,"OA_place":"publisher","publication":"Physical Review Research","external_id":{"arxiv":["2504.02460"]},"month":"10","publication_identifier":{"eissn":["2643-1564"]},"abstract":[{"text":"Non-Hermitian many-body localization (NH MBL) has emerged as a possible scenario for stable localization in open systems, as suggested by spectral indicators identifying a putative transition for finite system sizes. In this work, we shift the focus to dynamical probes, specifically the steady-state spin current, to investigate transport properties in a disordered, non-Hermitian XXZ spin chain. Through exact diagonalization for small systems and tensor-network methods for larger chains, we demonstrate that the steady-state current remains finite and decays exponentially with disorder strength, showing no evidence of a transition up to disorder values far beyond the previously claimed critical point. Our results reveal a stark discrepancy between spectral indicators, which suggest localization, and transport behavior, which indicates delocalization. This highlights the importance of dynamical observables in characterizing NH MBL and suggests that traditional spectral measures may not fully capture the physics of non-Hermitian systems. Additionally, we observe a noncommutativity of limits in system size and time, further complicating the interpretation of finite-size studies. These findings challenge the existence of NH MBL in the studied model and underscore the need for alternative approaches to understanding localization in non-Hermitian settings.","lang":"eng"}],"scopus_import":"1","day":"01","volume":7,"acknowledgement":"F.B. thanks Giuseppe de Tomasi and Oskar A. Prośniak for discussion. P.B. acknowledges support by the Austrian Science Fund (FWF) (Grant Agreement No. 10.55776/ESP9057324). This research was funded in whole or in part by the Austrian Science Fund (FWF) [10.55776/COE1]. The numerical simulations were performed using the ITensor library [73] on the Vienna Scientific Cluster (VSC) and on the MPIPKS HPC cluster. M.L. acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC-2111—390814868. F.R. acknowledges support by the European Union-Next Generation EU with the project “Quantum Optics in Many-Body photonic Environments” (QOMBE) code SOE2024_0000084-CUP B77G24000480006. Open\r\naccess publication funded by Max Planck Society.","ddc":["530"],"has_accepted_license":"1","publisher":"American Physical Society","OA_type":"gold","file_date_updated":"2025-12-01T08:00:19Z","title":"Finite steady-state current defies non-Hermitian many-body localization","doi":"10.1103/crwj-x7j8","file":[{"access_level":"open_access","file_id":"20715","file_name":"2025_PhysReviewResearch_Brighi.pdf","date_updated":"2025-12-01T08:00:19Z","checksum":"c4e582ab64ab9f8fface70bf2fd31882","relation":"main_file","date_created":"2025-12-01T08:00:19Z","success":1,"creator":"dernst","file_size":483879,"content_type":"application/pdf"}],"author":[{"full_name":"Brighi, Pietro","id":"4115AF5C-F248-11E8-B48F-1D18A9856A87","last_name":"Brighi","orcid":"0000-0002-7969-2729","first_name":"Pietro"},{"full_name":"Ljubotina, Marko","first_name":"Marko","last_name":"Ljubotina","orcid":"0000-0003-0038-7068","id":"F75EE9BE-5C90-11EA-905D-16643DDC885E"},{"first_name":"Federico","last_name":"Roccati","full_name":"Roccati, Federico"},{"full_name":"Balducci, Federico","first_name":"Federico","last_name":"Balducci"}],"date_published":"2025-10-01T00:00:00Z","publication_status":"published","department":[{"_id":"MaSe"}],"citation":{"ista":"Brighi P, Ljubotina M, Roccati F, Balducci F. 2025. Finite steady-state current defies non-Hermitian many-body localization. Physical Review Research. 7(4), L042014.","ama":"Brighi P, Ljubotina M, Roccati F, Balducci F. Finite steady-state current defies non-Hermitian many-body localization. <i>Physical Review Research</i>. 2025;7(4). doi:<a href=\"https://doi.org/10.1103/crwj-x7j8\">10.1103/crwj-x7j8</a>","mla":"Brighi, Pietro, et al. “Finite Steady-State Current Defies Non-Hermitian Many-Body Localization.” <i>Physical Review Research</i>, vol. 7, no. 4, L042014, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/crwj-x7j8\">10.1103/crwj-x7j8</a>.","ieee":"P. Brighi, M. Ljubotina, F. Roccati, and F. Balducci, “Finite steady-state current defies non-Hermitian many-body localization,” <i>Physical Review Research</i>, vol. 7, no. 4. American Physical Society, 2025.","chicago":"Brighi, Pietro, Marko Ljubotina, Federico Roccati, and Federico Balducci. “Finite Steady-State Current Defies Non-Hermitian Many-Body Localization.” <i>Physical Review Research</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/crwj-x7j8\">https://doi.org/10.1103/crwj-x7j8</a>.","apa":"Brighi, P., Ljubotina, M., Roccati, F., &#38; Balducci, F. (2025). Finite steady-state current defies non-Hermitian many-body localization. <i>Physical Review Research</i>. American Physical Society. <a href=\"https://doi.org/10.1103/crwj-x7j8\">https://doi.org/10.1103/crwj-x7j8</a>","short":"P. Brighi, M. Ljubotina, F. Roccati, F. Balducci, Physical Review Research 7 (2025)."},"status":"public","oa_version":"Published Version","language":[{"iso":"eng"}],"intvolume":"         7","date_created":"2025-11-30T23:02:08Z","quality_controlled":"1","article_number":"L042014","_id":"20709","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_updated":"2026-09-16T07:06:16Z"},{"OA_type":"green","date_published":"2025-10-26T00:00:00Z","publication_status":"published","author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Amir Kafshdar","orcid":"0000-0003-1702-6584","last_name":"Goharshady","id":"391365CE-F248-11E8-B48F-1D18A9856A87","full_name":"Goharshady, Amir Kafshdar"},{"full_name":"Kafshdar Goharshadi, Ehsan","first_name":"Ehsan","orcid":"0000-0002-8595-0587","last_name":"Kafshdar Goharshadi","id":"103b4fa0-896a-11ed-bdf8-87b697bef40d"},{"first_name":"Mehrdad","last_name":"Karrabi","orcid":"0009-0007-5253-9170","id":"67638922-f394-11eb-9cf6-f20423e08757","full_name":"Karrabi, Mehrdad"},{"last_name":"Saadat","first_name":"Milad","full_name":"Saadat, Milad"},{"full_name":"Seeliger, Maximilian","first_name":"Maximilian","last_name":"Seeliger"},{"first_name":"Dorde","last_name":"Zikelic","orcid":"0000-0002-4681-1699","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","full_name":"Zikelic, Dorde"}],"page":"411-424","title":"PolyQEnt: A polynomial quantified entailment solver","doi":"10.1007/978-3-032-08707-2_19","language":[{"iso":"eng"}],"ec_funded":1,"oa_version":"Preprint","status":"public","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2408.03796","open_access":"1"}],"department":[{"_id":"KrCh"}],"citation":{"ieee":"K. Chatterjee <i>et al.</i>, “PolyQEnt: A polynomial quantified entailment solver,” in <i>23rd International Symposium on Automated Technology for Verification and Analysis</i>, Bengaluru, India, 2025, vol. 16145, pp. 411–424.","mla":"Chatterjee, Krishnendu, et al. “PolyQEnt: A Polynomial Quantified Entailment Solver.” <i>23rd International Symposium on Automated Technology for Verification and Analysis</i>, vol. 16145, Springer Nature, 2025, pp. 411–24, doi:<a href=\"https://doi.org/10.1007/978-3-032-08707-2_19\">10.1007/978-3-032-08707-2_19</a>.","ista":"Chatterjee K, Goharshady AK, Goharshady E, Karrabi M, Saadat M, Seeliger M, Zikelic D. 2025. PolyQEnt: A polynomial quantified entailment solver. 23rd International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 16145, 411–424.","ama":"Chatterjee K, Goharshady AK, Goharshady E, et al. PolyQEnt: A polynomial quantified entailment solver. In: <i>23rd International Symposium on Automated Technology for Verification and Analysis</i>. Vol 16145. Springer Nature; 2025:411-424. doi:<a href=\"https://doi.org/10.1007/978-3-032-08707-2_19\">10.1007/978-3-032-08707-2_19</a>","short":"K. Chatterjee, A.K. Goharshady, E. Goharshady, M. Karrabi, M. Saadat, M. Seeliger, D. Zikelic, in:, 23rd International Symposium on Automated Technology for Verification and Analysis, Springer Nature, 2025, pp. 411–424.","apa":"Chatterjee, K., Goharshady, A. K., Goharshady, E., Karrabi, M., Saadat, M., Seeliger, M., &#38; Zikelic, D. (2025). PolyQEnt: A polynomial quantified entailment solver. In <i>23rd International Symposium on Automated Technology for Verification and Analysis</i> (Vol. 16145, pp. 411–424). Bengaluru, India: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-032-08707-2_19\">https://doi.org/10.1007/978-3-032-08707-2_19</a>","chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Ehsan Goharshady, Mehrdad Karrabi, Milad Saadat, Maximilian Seeliger, and Dorde Zikelic. “PolyQEnt: A Polynomial Quantified Entailment Solver.” In <i>23rd International Symposium on Automated Technology for Verification and Analysis</i>, 16145:411–24. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-032-08707-2_19\">https://doi.org/10.1007/978-3-032-08707-2_19</a>."},"alternative_title":["LNCS"],"quality_controlled":"1","_id":"20648","date_updated":"2026-09-16T07:03:56Z","intvolume":"     16145","date_created":"2025-11-16T23:01:24Z","fulldoi":"https://doi.org/10.1007/978-3-032-08707-2_19","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"grant_number":"COE12","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)"}],"conference":{"name":"ATVA: Automated Technology for Verification and Analysis","location":"Bengaluru, India","end_date":"2025-10-31","start_date":"2025-10-27"},"year":"2025","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","month":"10","publication":"23rd International Symposium on Automated Technology for Verification and Analysis","external_id":{"arxiv":["2408.03796"]},"OA_place":"repository","oa":1,"article_processing_charge":"No","arxiv":1,"corr_author":"1","publisher":"Springer Nature","acknowledgement":"This work was supported by the following grants: ERC CoG 863818 (ForM-SMArt), Austrian Science Fund (FWF) 10.55776/COE12, ERC StG 101222524 (SPES), the Ethereum Foundation Research Grant FY24-1793, and the Singapore Ministry of Education (MOE) Academic Research Fund (AcRF) Tier 1 grant (Project ID:22-SISSMU-100).","day":"26","volume":16145,"publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"isbn":["9783032087065"]},"abstract":[{"text":"Polynomial quantified entailments with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyQEnt which is a tool for solving polynomial quantified entailments in which variables on both sides of the implication are real valued or unbounded integers. Our tool provides a unified framework for polynomial quantified entailment problems that arise in several papers in the literature. Our experimental evaluation over a wide range of benchmarks shows the applicability of the tool as well as its benefits as opposed to simply using existing SMT solvers to solve such constraints.","lang":"eng"}],"scopus_import":"1"},{"oa":1,"article_processing_charge":"No","arxiv":1,"OA_place":"repository","publication":"2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science","external_id":{"arxiv":["2505.09514"]},"month":"10","publication_identifier":{"eisbn":["9798331579005"]},"abstract":[{"text":"Cumulative prospect theory (CPT) is the first theory for decision-making under uncertainty that combines full theoretical soundness and empirically realistic features [1], [Page 2]. While CPT was originally considered in one-shot settings for risk-aware decision-making, we consider CPT in sequential decision-making. The most fundamental and well-studied models for sequential decision-making are Markov chains (MCs), and their generalization Markov decision processes (MDPs). The complexity theoretic study of MCs and MDPs with CPT is a fundamental problem that has not been addressed in the literature.Our contributions are as follows: First, we present an alternative viewpoint for the CPT-value of MCs and MDPs. This allows us to establish a connection with multi-objective reachability analysis and conclude the strategy complexity result that memoryless randomized strategies are necessary and sufficient for optimality. Second, based on this connection, we provide an algorithm for computing the CPT-value in MDPs with infinite-horizon objectives. We show that the problem is in EXPTIME and fixed-parameter tractable. Moreover, we provide a polynomial-time algorithm for the special case of MCs.","lang":"eng"}],"scopus_import":"1","day":"09","acknowledgement":"This project has received funding from the Fonds de la Recherche Scientifique - FNRS under grant No. T.0027.21, the Belgian National Lottery; the ERC CoG 863818 (ForM-SMArt), the Austrian Science Fund (FWF) 10.55776/COE12; the DFG project 427755713, GOPro, and the DFG research training group GRK 2428 Continuous Verification of Cyber-Physical Systems\r\n(ConVeY); the EU’s Horizon 2020 research and innovation programmes under the Marie Sklodowska-Curie grant agreement No. 101034413 (IST-BRIDGE) and the ERC Starting Grant DEUCE (101077178).","publisher":"IEEE","corr_author":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.1109/lics65433.2025.00041","conference":{"start_date":"2025-06-23","end_date":"2025-06-26","name":"LICS: Logic in Computer Science","location":"Singapore, Singapore"},"project":[{"grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"grant_number":"101034413","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program"},{"grant_number":"COE12","name":"Bilateral Artificial Intelligence (Chatterjee)","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee"}],"year":"2025","type":"conference","department":[{"_id":"KrCh"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2505.09514"}],"citation":{"ieee":"T. Brihaye, K. Chatterjee, S. Mohr, and M. Weininger, “Risk-aware Markov decision processes using cumulative prospect theory,” in <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Singapore, Singapore, 2025, pp. 458–471.","mla":"Brihaye, Thomas, et al. “Risk-Aware Markov Decision Processes Using Cumulative Prospect Theory.” <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, IEEE, 2025, pp. 458–71, doi:<a href=\"https://doi.org/10.1109/lics65433.2025.00041\">10.1109/lics65433.2025.00041</a>.","ama":"Brihaye T, Chatterjee K, Mohr S, Weininger M. Risk-aware Markov decision processes using cumulative prospect theory. In: <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE; 2025:458-471. doi:<a href=\"https://doi.org/10.1109/lics65433.2025.00041\">10.1109/lics65433.2025.00041</a>","ista":"Brihaye T, Chatterjee K, Mohr S, Weininger M. 2025. Risk-aware Markov decision processes using cumulative prospect theory. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 458–471.","short":"T. Brihaye, K. Chatterjee, S. Mohr, M. Weininger, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 458–471.","chicago":"Brihaye, Thomas, Krishnendu Chatterjee, Stefanie Mohr, and Maximilian Weininger. “Risk-Aware Markov Decision Processes Using Cumulative Prospect Theory.” In <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 458–71. IEEE, 2025. <a href=\"https://doi.org/10.1109/lics65433.2025.00041\">https://doi.org/10.1109/lics65433.2025.00041</a>.","apa":"Brihaye, T., Chatterjee, K., Mohr, S., &#38; Weininger, M. (2025). Risk-aware Markov decision processes using cumulative prospect theory. In <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 458–471). Singapore, Singapore: IEEE. <a href=\"https://doi.org/10.1109/lics65433.2025.00041\">https://doi.org/10.1109/lics65433.2025.00041</a>"},"status":"public","ec_funded":1,"oa_version":"Preprint","language":[{"iso":"eng"}],"date_created":"2025-11-24T14:43:47Z","quality_controlled":"1","date_updated":"2026-09-16T07:05:13Z","_id":"20690","OA_type":"green","title":"Risk-aware Markov decision processes using cumulative prospect theory","doi":"10.1109/lics65433.2025.00041","publication_status":"published","author":[{"last_name":"Brihaye","first_name":"Thomas","full_name":"Brihaye, Thomas"},{"first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu"},{"full_name":"Mohr, Stefanie","last_name":"Mohr","first_name":"Stefanie"},{"full_name":"Weininger, Maximilian","id":"02ab0197-cc70-11ed-ab61-918e71f56881","orcid":"0000-0002-0163-2152","last_name":"Weininger","first_name":"Maximilian"}],"date_published":"2025-10-09T00:00:00Z","page":"458-471"},{"page":"499-512","publication_status":"published","author":[{"last_name":"Baier","first_name":"Christel","full_name":"Baier, Christel"},{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Meggendorfer, Tobias","orcid":"0000-0002-1712-2165","last_name":"Meggendorfer","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","first_name":"Tobias"},{"first_name":"Jakob","last_name":"Piribauer","full_name":"Piribauer, Jakob"}],"date_published":"2025-10-09T00:00:00Z","doi":"10.1109/lics65433.2025.00044","title":"Multiplicative rewards in Markovian models","OA_type":"green","_id":"20689","date_updated":"2026-09-16T07:05:41Z","quality_controlled":"1","date_created":"2025-11-24T14:24:00Z","language":[{"iso":"eng"}],"oa_version":"Preprint","ec_funded":1,"status":"public","citation":{"chicago":"Baier, Christel, Krishnendu Chatterjee, Tobias Meggendorfer, and Jakob Piribauer. “Multiplicative Rewards in Markovian Models.” In <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 499–512. IEEE, 2025. <a href=\"https://doi.org/10.1109/lics65433.2025.00044\">https://doi.org/10.1109/lics65433.2025.00044</a>.","apa":"Baier, C., Chatterjee, K., Meggendorfer, T., &#38; Piribauer, J. (2025). Multiplicative rewards in Markovian models. In <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i> (pp. 499–512). Singapore, Singapore: IEEE. <a href=\"https://doi.org/10.1109/lics65433.2025.00044\">https://doi.org/10.1109/lics65433.2025.00044</a>","short":"C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2025, pp. 499–512.","mla":"Baier, Christel, et al. “Multiplicative Rewards in Markovian Models.” <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, IEEE, 2025, pp. 499–512, doi:<a href=\"https://doi.org/10.1109/lics65433.2025.00044\">10.1109/lics65433.2025.00044</a>.","ista":"Baier C, Chatterjee K, Meggendorfer T, Piribauer J. 2025. Multiplicative rewards in Markovian models. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 499–512.","ama":"Baier C, Chatterjee K, Meggendorfer T, Piribauer J. Multiplicative rewards in Markovian models. In: <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. IEEE; 2025:499-512. doi:<a href=\"https://doi.org/10.1109/lics65433.2025.00044\">10.1109/lics65433.2025.00044</a>","ieee":"C. Baier, K. Chatterjee, T. Meggendorfer, and J. Piribauer, “Multiplicative rewards in Markovian models,” in <i>2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Singapore, Singapore, 2025, pp. 499–512."},"department":[{"_id":"KrCh"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2504.18277"}],"type":"conference","year":"2025","fulldoi":"https://doi.org/10.1109/lics65433.2025.00044","conference":{"start_date":"2025-06-23","location":"Singapore, Singapore","name":"LICS: Logic in Computer Science","end_date":"2025-06-26"},"project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"grant_number":"COE12","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","corr_author":"1","publisher":"IEEE","acknowledgement":"This work was partly funded by the ERC CoG 863818 (ForM-SMArt), the Austrian Science Fund (FWF) 10.55776/COE12, the DFG Grant 389792660 as part of TRR 248 (Foundations of Perspicuous Software Systems), the Cluster of Excellence EXC 2050/1 (CeTI, project ID\r\n390696704, as part of Germany’s Excellence Strategy), and by the BMBF (Federal Ministry of Education and Research) in DAAD project 57616814 (SECAI, School of Embedded and\r\nComposite AI) as part of the program Konrad Zuse Schools of Excellence in Artificial Intelligence.","day":"09","abstract":[{"text":"This paper studies the expected value of multiplicative rewards, where rewards obtained in each step are multiplied (instead of the usual addition), in Markov chains (MCs) and Markov decision processes (MDPs). One of the key differences to additive rewards is that the expected value may diverge to ∞ not only due to recurrent, but also due to transient states.For MCs, computing the value is shown to be possible in polynomial time given an oracle for the comparison of succinctly represented integers (CSRI), which is only known to be solvable in polynomial time subject to number-theoretic conjectures. Interestingly, distinguishing whether the value is ∞ or 0 is at least as hard as CSRI, while determining if it is one of these two can be done in polynomial time. In MDPs, the optimal value can be computed in polynomial space. Further refined complexity results and results on the complexity of optimal schedulers are presented. The techniques developed for MDPs additionally allow to solve the multiplicative variant of the stochastic shortest path problem. Finally, for MCs and MDPs where an absorbing state is reached almost surely, all considered problems are solvable in polynomial time.","lang":"eng"}],"scopus_import":"1","publication_identifier":{"eisbn":["9798331579005"]},"month":"10","external_id":{"arxiv":["2504.18277"]},"OA_place":"repository","publication":"2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science","arxiv":1,"article_processing_charge":"No","oa":1},{"project":[{"grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"},{"name":"Bilateral Artificial Intelligence (Locatello)","_id":"a392d8f0-b034-11f1-b88e-d3025c6734f6","grant_number":"COE12"}],"conference":{"name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","end_date":"2025-07-19","start_date":"2025-07-13"},"year":"2025","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","related_material":{"link":[{"url":"https://github.com/ alpz/mech-nn-discovery-pde","relation":"software"}]},"month":"05","oa":1,"article_processing_charge":"No","arxiv":1,"publication":"42nd International Conference on Machine Learning","OA_place":"publisher","external_id":{"arxiv":["2502.18377"]},"acknowledgement":"AP. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413.\r\nFL. This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/COE12. For open access purposes, the author has applied a CC BY public\r\ncopyright license to any author accepted manuscript version arising from this submission.","has_accepted_license":"1","ddc":["000"],"corr_author":"1","publisher":"ML Research Press","publication_identifier":{"eissn":["2640-3498"]},"scopus_import":"1","abstract":[{"lang":"eng","text":"We present Mechanistic PDE Networks -- a model for discovery of governing partial differential equations from data. Mechanistic PDE Networks represent spatiotemporal data as space-time dependent linear partial differential equations in neural network hidden representations. The represented PDEs are then solved and decoded for specific tasks. The learned PDE representations naturally express the spatiotemporal dynamics in data in neural network hidden space, enabling increased modeling power. Solving the PDE representations in a compute and memory-efficient way, however, is a significant challenge. We develop a native, GPU-capable, parallel, sparse and differentiable multigrid solver specialized for linear partial differential equations that acts as a module in Mechanistic PDE Networks. Leveraging the PDE solver we propose a discovery architecture that can discovers nonlinear PDEs in complex settings, while being robust to noise. We validate PDE discovery on a number of PDEs including reaction-diffusion and Navier-Stokes equations."}],"day":"01","volume":267,"OA_type":"gold","date_published":"2025-05-01T00:00:00Z","publication_status":"published","file":[{"file_name":"2025_ICML_Pervez.pdf","file_id":"20827","access_level":"open_access","content_type":"application/pdf","file_size":993381,"creator":"dernst","date_created":"2025-12-16T12:21:49Z","success":1,"relation":"main_file","date_updated":"2025-12-16T12:21:49Z","checksum":"933cb673fb41416f537278fb990df6c3"}],"author":[{"full_name":"Pervez, Adeel A","first_name":"Adeel A","last_name":"Pervez","id":"fca6d90c-d47f-11ee-bc87-93ff51604981"},{"full_name":"Gavves, Efstratios","last_name":"Gavves","first_name":"Efstratios"},{"full_name":"Locatello, Francesco","first_name":"Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello","orcid":"0000-0002-4850-0683"}],"page":"48962-48973","title":"Mechanistic PDE networks for discovery of governing equations","file_date_updated":"2025-12-16T12:21:49Z","ec_funded":1,"oa_version":"Published Version","language":[{"iso":"eng"}],"department":[{"_id":"FrLo"}],"citation":{"short":"A.A. Pervez, E. Gavves, F. Locatello, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 48962–48973.","chicago":"Pervez, Adeel A, Efstratios Gavves, and Francesco Locatello. “Mechanistic PDE Networks for Discovery of Governing Equations.” In <i>42nd International Conference on Machine Learning</i>, 267:48962–73. ML Research Press, 2025.","apa":"Pervez, A. A., Gavves, E., &#38; Locatello, F. (2025). Mechanistic PDE networks for discovery of governing equations. In <i>42nd International Conference on Machine Learning</i> (Vol. 267, pp. 48962–48973). Vancouver, Canada: ML Research Press.","ieee":"A. A. Pervez, E. Gavves, and F. Locatello, “Mechanistic PDE networks for discovery of governing equations,” in <i>42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 48962–48973.","ama":"Pervez AA, Gavves E, Locatello F. Mechanistic PDE networks for discovery of governing equations. In: <i>42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:48962-48973.","ista":"Pervez AA, Gavves E, Locatello F. 2025. Mechanistic PDE networks for discovery of governing equations. 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 48962–48973.","mla":"Pervez, Adeel A., et al. “Mechanistic PDE Networks for Discovery of Governing Equations.” <i>42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 48962–73."},"status":"public","alternative_title":["PMLR"],"intvolume":"       267","date_created":"2025-12-14T23:02:04Z","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"20817","date_updated":"2026-09-16T07:17:18Z"},{"publication":"Proceedings of the National Academy of Sciences","OA_place":"publisher","external_id":{"pmid":["41397136"]},"article_processing_charge":"Yes (in subscription journal)","oa":1,"month":"12","volume":122,"day":"15","abstract":[{"lang":"eng","text":"Evolutionary games provide a flexible mathematical framework for many problems in biology and social evolution. Prisoners’ dilemma, and in particular, the important special case of donation games, represents social dilemmas where cooperation is mutually beneficial, yet defection is preferred by selfish agents. In evolutionary games on networks, the agents interact over a population structure. The existence of population structures that promote cooperative behavior is a fascinating and active research topic. Previous research establishes structures promoting cooperation in the limit of weak selection where the benefit-to-cost ratio β exceeds 1.5. The existence of such structures for medium and strong selection for 1 < ß < 2 and for weak selection for 1 < ß < 1.5 has been a long-standing open question. First, we answer the open questions in the affirmative: For every selection strength and every ß > 1, we construct networks promoting cooperation. Second, we present a robustness result with respect to β and selection strength: Our structures promote cooperation for a range of these parameter values rather than specific parameter values. Finally, we supplement our theoretical results with simulation results on small population structures that show the effectiveness of our construction over well-studied population structures."}],"scopus_import":"1","publication_identifier":{"eissn":["1091-6490"]},"corr_author":"1","publisher":"National Academy of Sciences","ddc":["000"],"has_accepted_license":"1","acknowledgement":"J.S. and K.C. were supported by the European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12.","issue":"51","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","APC_amount":"3003,56 EUR","year":"2025","fulldoi":"https://doi.org/10.1073/pnas.2524109122","project":[{"grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"grant_number":"COE12","name":"Bilateral Artificial Intelligence (Chatterjee)","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee"}],"type":"journal_article","article_type":"original","status":"public","citation":{"ieee":"J. Svoboda and K. Chatterjee, “Promoters of cooperation in evolutionary games,” <i>Proceedings of the National Academy of Sciences</i>, vol. 122, no. 51. National Academy of Sciences, p. e2524109122, 2025.","mla":"Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary Games.” <i>Proceedings of the National Academy of Sciences</i>, vol. 122, no. 51, National Academy of Sciences, 2025, p. e2524109122, doi:<a href=\"https://doi.org/10.1073/pnas.2524109122\">10.1073/pnas.2524109122</a>.","ama":"Svoboda J, Chatterjee K. Promoters of cooperation in evolutionary games. <i>Proceedings of the National Academy of Sciences</i>. 2025;122(51):e2524109122. doi:<a href=\"https://doi.org/10.1073/pnas.2524109122\">10.1073/pnas.2524109122</a>","ista":"Svoboda J, Chatterjee K. 2025. Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. 122(51), e2524109122.","short":"J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences 122 (2025) e2524109122.","chicago":"Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary Games.” <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences, 2025. <a href=\"https://doi.org/10.1073/pnas.2524109122\">https://doi.org/10.1073/pnas.2524109122</a>.","apa":"Svoboda, J., &#38; Chatterjee, K. (2025). Promoters of cooperation in evolutionary games. <i>Proceedings of the National Academy of Sciences</i>. National Academy of Sciences. <a href=\"https://doi.org/10.1073/pnas.2524109122\">https://doi.org/10.1073/pnas.2524109122</a>"},"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"oa_version":"Published Version","ec_funded":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)"},"date_updated":"2026-09-16T07:20:45Z","_id":"20857","quality_controlled":"1","date_created":"2025-12-28T23:01:26Z","intvolume":"       122","OA_type":"hybrid","doi":"10.1073/pnas.2524109122","file_date_updated":"2025-12-29T09:36:50Z","title":"Promoters of cooperation in evolutionary games","page":"e2524109122","file":[{"file_size":2308124,"content_type":"application/pdf","creator":"dernst","success":1,"date_created":"2025-12-29T09:36:50Z","relation":"main_file","date_updated":"2025-12-29T09:36:50Z","checksum":"dd50b62a1efc28c0133fe9c11dbee53c","file_name":"2025_PNAS_Svoboda.pdf","file_id":"20860","access_level":"open_access"}],"pmid":1,"publication_status":"published","author":[{"first_name":"Jakub","orcid":"0000-0002-1419-3267","last_name":"Svoboda","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","full_name":"Svoboda, Jakub"},{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"date_published":"2025-12-15T00:00:00Z"},{"OA_type":"gold","doi":"10.4230/LIPIcs.ICALP.2025.87","title":"IID prophet inequality with random horizon: Going beyond increasing hazard rates","file_date_updated":"2026-02-19T07:41:55Z","date_published":"2025-06-30T00:00:00Z","publication_status":"published","file":[{"file_id":"21331","access_level":"open_access","file_name":"2025_ICALP_Giambartolomei.pdf","creator":"dernst","success":1,"date_created":"2026-02-19T07:41:55Z","relation":"main_file","checksum":"960110956c26a5cefadde8e47888bfbe","date_updated":"2026-02-19T07:41:55Z","file_size":876167,"content_type":"application/pdf"}],"author":[{"full_name":"Giambartolomei, Giordano","last_name":"Giambartolomei","first_name":"Giordano"},{"full_name":"Mallmann-Trenn, Frederik","last_name":"Mallmann-Trenn","first_name":"Frederik"},{"orcid":"0000-0001-5103-038X","last_name":"Saona Urmeneta","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","first_name":"Raimundo J","full_name":"Saona Urmeneta, Raimundo J"}],"status":"public","citation":{"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.","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>","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.","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>.","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>"},"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"oa_version":"Published Version","ec_funded":1,"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"21320","date_updated":"2026-09-16T07:25:05Z","quality_controlled":"1","date_created":"2026-02-18T10:44:14Z","intvolume":"       334","alternative_title":["LIPIcs"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","fulldoi":"https://doi.org/10.4230/LIPIcs.ICALP.2025.87","project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"},{"grant_number":"COE12","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)"}],"conference":{"name":"ICALP: Automata, Languages and Programming","location":"Aarhus, Denmark","end_date":"2025-07-11","start_date":"2025-07-08"},"type":"conference","OA_place":"publisher","publication":"52nd International Colloquium on Automata, Languages, and Programming","external_id":{"arxiv":["2407.11752"]},"article_processing_charge":"No","arxiv":1,"oa":1,"month":"06","volume":334,"day":"30","abstract":[{"lang":"eng","text":"Prophet inequalities are a central object of study in optimal stopping theory. In the iid model, a gambler sees values in an online fashion, sampled independently from a given distribution. Upon observing each value, the gambler either accepts it as a reward, or irrevocably rejects it and proceeds to observe the next value. The goal of the gambler, who cannot see the future, is to maximise the expected value of the reward while competing against the expectation of a prophet (the offline maximum). In other words, one seeks to maximise the gambler-to-prophet ratio of the expectations. \r\nThis model has been studied with infinite, finite and unknown number of values. When the gambler faces a random number of values, the model is said to have a random horizon. We consider the model in which the gambler is given a priori knowledge of the horizon’s distribution. Alijani et al. (2020) designed a single-threshold algorithm achieving a ratio of 1/2 when the random horizon has an increasing hazard rate and is independent of the values. We prove that with a single threshold, a ratio of 1/2 is actually achievable for several larger classes of horizon distributions, with the largest being known as the 𝒢 class in reliability theory. Moreover, we show that this does not extend to its dual, the  ̅𝒢 class (which includes the decreasing hazard rate class), while it can be extended to low-variance horizons. Finally, we construct the first example of a family of horizons, for which multiple thresholds are necessary to achieve a nonzero ratio. We establish that the Secretary Problem optimal stopping rule provides one such algorithm, paving the way towards the study of the model beyond single-threshold algorithms."}],"publication_identifier":{"isbn":["9783959773720"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","has_accepted_license":"1","ddc":["000"],"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."},{"type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"start_date":"2025-07-13","end_date":"2025-07-19","name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada"},"project":[{"name":"Bilateral Artificial Intelligence (Mondelli)","_id":"74caaef7-b034-11f1-8f2d-e0e993bb422e","grant_number":"COE12"}],"year":"2025","day":"30","volume":267,"publication_identifier":{"eissn":["2640-3498"]},"abstract":[{"text":"Neural Collapse is a phenomenon where the last-layer representations of a well-trained neural network converge to a highly structured geometry. In this paper, we focus on its first (and most basic) property, known as NC1: the within-class variability vanishes. While prior theoretical studies establish the occurrence of NC1 via the data-agnostic unconstrained features model, our work adopts a data-specific perspective, analyzing NC1 in a three-layer neural network, with the first two layers operating in the mean-field regime and followed by a linear layer. In particular, we establish a fundamental connection between NC1 and the loss landscape: we prove that points with small empirical loss and gradient norm (thus, close to being stationary) approximately satisfy NC1, and the closeness to NC1 is controlled by the residual loss and gradient norm. We then show that (i) gradient flow on the mean squared error converges to NC1 solutions with small empirical loss, and (ii) for well-separated data distributions, both NC1 and vanishing test loss are achieved simultaneously. This aligns with the empirical observation that NC1 emerges during training while models attain near-zero test error. Overall, our results demonstrate that NC1 arises from gradient training due to the properties of the loss landscape, and they show the co-occurrence of NC1 and small test error for certain data distributions.","lang":"eng"}],"corr_author":"1","publisher":"ML Research Press","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. ","ddc":["000"],"has_accepted_license":"1","publication":"Proceedings of the 42nd International Conference on Machine Learning","external_id":{"arxiv":["2501.19104"]},"OA_place":"publisher","oa":1,"article_processing_charge":"No","arxiv":1,"month":"07","title":"Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime","file_date_updated":"2026-02-19T08:28:22Z","publication_status":"published","date_published":"2025-07-30T00:00:00Z","author":[{"full_name":"Wu, Diyuan","last_name":"Wu","id":"1a5914c2-896a-11ed-bdf8-fb80621a0635","first_name":"Diyuan"},{"full_name":"Mondelli, Marco","first_name":"Marco","id":"27EB676C-8706-11E9-9510-7717E6697425","orcid":"0000-0002-3242-7020","last_name":"Mondelli"}],"file":[{"relation":"main_file","date_updated":"2026-02-19T08:28:22Z","checksum":"c5ce8b1c83e33dc3a11122f4910deb67","creator":"dernst","success":1,"date_created":"2026-02-19T08:28:22Z","content_type":"application/pdf","file_size":3994385,"access_level":"open_access","file_id":"21337","file_name":"2025_ICML_Wu.pdf"}],"page":"67499-67536","OA_type":"gold","quality_controlled":"1","_id":"21326","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_updated":"2026-09-16T07:25:42Z","intvolume":"       267","date_created":"2026-02-18T12:02:45Z","alternative_title":["PMLR"],"status":"public","department":[{"_id":"MaMo"}],"citation":{"ista":"Wu D, Mondelli M. 2025. Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 67499–67536.","ama":"Wu D, Mondelli M. Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. In: <i>Proceedings of the 42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:67499-67536.","mla":"Wu, Diyuan, and Marco Mondelli. “Neural Collapse beyond the Unconstrained Features Model: Landscape, Dynamics, and Generalization in the Mean-Field Regime.” <i>Proceedings of the 42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 67499–536.","ieee":"D. Wu and M. Mondelli, “Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime,” in <i>Proceedings of the 42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 67499–67536.","apa":"Wu, D., &#38; Mondelli, M. (2025). Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. In <i>Proceedings of the 42nd International Conference on Machine Learning</i> (Vol. 267, pp. 67499–67536). Vancouver, Canada: ML Research Press.","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."},"language":[{"iso":"eng"}],"oa_version":"Published Version"},{"day":"30","scopus_import":"1","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."}],"publication_identifier":{"isbn":["9783959773720"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","corr_author":"1","has_accepted_license":"1","ddc":["000"],"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).","external_id":{"arxiv":["2504.15960"]},"publication":"52nd International Colloquium on Automata, Languages, and Programming","OA_place":"publisher","arxiv":1,"article_processing_charge":"No","oa":1,"month":"07","type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","conference":{"location":"Aarhus, Denmark","name":"ICALP: Automata, Languages and Programming","end_date":"2025-07-11","start_date":"2025-07-08"},"fulldoi":"https://doi.org/10.4230/LIPIcs.ICALP.2025.150","project":[{"grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)","grant_number":"COE12"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"21268","date_updated":"2026-09-16T07:23:50Z","quality_controlled":"1","article_number":"150","date_created":"2026-02-17T07:49:17Z","alternative_title":["LIPIcs"],"status":"public","citation":{"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>.","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>","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.","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.","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>","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>.","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."},"department":[{"_id":"KrCh"}],"language":[{"iso":"eng"}],"oa_version":"Published Version","ec_funded":1,"doi":"10.4230/LIPIcs.ICALP.2025.150","title":"The value problem for multiple-environment MDPs with parity objective","file_date_updated":"2026-02-18T07:50:56Z","author":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"},{"first_name":"Jean-Francois","last_name":"Raskin","full_name":"Raskin, Jean-Francois"},{"first_name":"Ocan","last_name":"Sankur","full_name":"Sankur, Ocan"}],"file":[{"content_type":"application/pdf","file_size":1075724,"success":1,"date_created":"2026-02-18T07:50:56Z","creator":"dernst","checksum":"4477a7fd4fbf0ba6c8e9b15683b5a6b8","date_updated":"2026-02-18T07:50:56Z","relation":"main_file","file_name":"2025_LIPIcs_Chatterjee.pdf","file_id":"21313","access_level":"open_access"}],"date_published":"2025-07-30T00:00:00Z","publication_status":"published","OA_type":"gold"},{"OA_type":"gold","cryptoeprintid":1,"author":[{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"last_name":"Křišťan","first_name":"Jan Matyáš","full_name":"Křišťan, Jan Matyáš"},{"full_name":"Schmid, Stefan","last_name":"Schmid","first_name":"Stefan"},{"id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","orcid":"0000-0002-1419-3267","last_name":"Svoboda","first_name":"Jakub","full_name":"Svoboda, Jakub"},{"orcid":"0009-0001-3676-4809","last_name":"Yeo","id":"2D82B818-F248-11E8-B48F-1D18A9856A87","first_name":"Michelle X","full_name":"Yeo, Michelle X"}],"date_published":"2025-10-22T00:00:00Z","file":[{"access_level":"open_access","file_id":"21418","file_name":"2025_DISC_Chatterjee.pdf","date_updated":"2026-03-09T11:51:59Z","checksum":"8e3d1594365df60163d9df22158a37b1","relation":"main_file","date_created":"2026-03-09T11:51:59Z","success":1,"creator":"dernst","content_type":"application/pdf","file_size":1130069}],"publication_status":"published","file_date_updated":"2026-03-09T11:51:59Z","title":"Boosting payment channel network liquidity with topology optimization and transaction selection","doi":"10.4230/LIPIcs.DISC.2025.23","ec_funded":1,"oa_version":"Published Version","language":[{"iso":"eng"}],"department":[{"_id":"KrCh"}],"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>.","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>","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.","chicago":"Chatterjee, Krishnendu, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” In <i>39th International Symposium on Distributed Computing</i>, Vol. 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">https://doi.org/10.4230/LIPIcs.DISC.2025.23</a>.","apa":"Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., &#38; Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In <i>39th International Symposium on Distributed Computing</i> (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.DISC.2025.23\">https://doi.org/10.4230/LIPIcs.DISC.2025.23</a>","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."},"status":"public","alternative_title":["LIPIcs"],"intvolume":"       356","date_created":"2026-03-08T23:01:46Z","article_number":"23","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"21412","date_updated":"2026-09-16T07:27:09Z","fulldoi":"https://doi.org/10.4230/LIPIcs.DISC.2025.23","conference":{"start_date":"2025-10-27","end_date":"2025-10-31","location":"Berlin, Germany","name":"DISC: Symposium on Distributed Computing"},"project":[{"grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"grant_number":"COE12","_id":"4029cfc7-b034-11f1-9e55-88ab2ff3b6ee","name":"Bilateral Artificial Intelligence (Chatterjee)"}],"year":"2025","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","month":"10","oa":1,"arxiv":1,"article_processing_charge":"No","OA_place":"publisher","publication":"39th International Symposium on Distributed Computing","external_id":{"arxiv":["2508.14524"],"cryptoeprintid":["2025/1484"]},"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).","ddc":["000"],"has_accepted_license":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","publication_identifier":{"issn":["1868-8969"],"isbn":["9783959774024"]},"scopus_import":"1","abstract":[{"lang":"eng","text":"Payment channel networks (PCNs) are a promising technology that alleviates blockchain scalability by shifting the transaction load from the blockchain to the PCN. Nevertheless, the network topology has to be carefully designed to maximise the transaction throughput in PCNs. Additionally, users in PCNs also have to make optimal decisions on which transactions to forward and which to reject to prolong the lifetime of their channels. In this work, we consider an input sequence of transactions over p parties. Each transaction consists of a transaction size, source, and target, and can be either accepted or rejected (entailing a cost). The goal is to design a PCN topology among the p cooperating parties, along with the channel capacities, and then output a decision for each transaction in the sequence to minimise the cost of creating and augmenting channels, as well as the cost of rejecting transactions. Our main contribution is an 𝒪(p) approximation algorithm for the problem with p parties. We further show that with some assumptions on the distribution of transactions, we can reduce the approximation ratio to 𝒪(√p). We complement our theoretical analysis with an empirical study of our assumptions and approach in the context of the Lightning Network."}],"day":"22","volume":356},{"page":"53757-53790","author":[{"last_name":"Scott","id":"e499926b-f6e0-11ea-865d-9c63db0031e8","first_name":"Jonathan A","full_name":"Scott, Jonathan A"},{"full_name":"Lampert, Christoph","first_name":"Christoph","last_name":"Lampert","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Saulpic, David","first_name":"David","id":"f8e48cf0-b0ff-11ed-b0e9-b4c35598f964","last_name":"Saulpic"}],"file":[{"date_created":"2025-12-16T12:38:29Z","success":1,"creator":"dernst","checksum":"815b32b463023ca21e569c2158745c15","date_updated":"2025-12-16T12:38:29Z","relation":"main_file","content_type":"application/pdf","file_size":746612,"file_id":"20829","access_level":"open_access","file_name":"2025_ICML_Scott.pdf"}],"publication_status":"published","date_published":"2025-05-01T00:00:00Z","title":"Differentially private federated k-means clustering with server-side data","file_date_updated":"2025-12-16T12:38:29Z","OA_type":"gold","alternative_title":["PMLR"],"_id":"20819","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_updated":"2026-09-16T07:26:12Z","quality_controlled":"1","date_created":"2025-12-14T23:02:05Z","intvolume":"       267","language":[{"iso":"eng"}],"oa_version":"Published Version","status":"public","citation":{"short":"J.A. Scott, C. Lampert, D. Saulpic, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 53757–53790.","apa":"Scott, J. A., Lampert, C., &#38; Saulpic, D. (2025). Differentially private federated k-means clustering with server-side data. In <i>42nd International Conference on Machine Learning</i> (Vol. 267, pp. 53757–53790). Vancouver, Canada: ML Research Press.","chicago":"Scott, Jonathan A, Christoph Lampert, and David Saulpic. “Differentially Private Federated K-Means Clustering with Server-Side Data.” In <i>42nd International Conference on Machine Learning</i>, 267:53757–90. ML Research Press, 2025.","ieee":"J. A. Scott, C. Lampert, and D. Saulpic, “Differentially private federated k-means clustering with server-side data,” in <i>42nd International Conference on Machine Learning</i>, Vancouver, Canada, 2025, vol. 267, pp. 53757–53790.","ista":"Scott JA, Lampert C, Saulpic D. 2025. Differentially private federated k-means clustering with server-side data. 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 53757–53790.","ama":"Scott JA, Lampert C, Saulpic D. Differentially private federated k-means clustering with server-side data. In: <i>42nd International Conference on Machine Learning</i>. Vol 267. ML Research Press; 2025:53757-53790.","mla":"Scott, Jonathan A., et al. “Differentially Private Federated K-Means Clustering with Server-Side Data.” <i>42nd International Conference on Machine Learning</i>, vol. 267, ML Research Press, 2025, pp. 53757–90."},"department":[{"_id":"ChLa"},{"_id":"MoHe"}],"acknowledged_ssus":[{"_id":"ScienComp"}],"type":"conference","year":"2025","project":[{"grant_number":"COE12","_id":"d8f03aaa-b035-11f1-8588-d5147fa879e0","name":"Bilateral Artificial Intelligence (Lampert)"}],"conference":{"end_date":"2025-07-19","name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","start_date":"2025-07-13"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"ML Research Press","corr_author":"1","ddc":["000"],"has_accepted_license":"1","acknowledgement":"This research was funded in part by the Austrian Science Fund (FWF) [10.55776/COE12] and supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp).\r\n","volume":267,"day":"01","scopus_import":"1","abstract":[{"text":"Clustering is a cornerstone of data analysis that is particularly suited to identifying coherent subgroups or substructures in unlabeled data, as are generated continuously in large amounts these days. However, in many cases traditional clustering methods are not applicable, because data are increasingly being produced and stored in a distributed way, e.g. on edge devices, and privacy concerns prevent it from being transferred to a central server. To address this challenge, we present FedDP-KMeans, a new algorithm for \r\n-means clustering that is fully-federated as well as differentially private. Our approach leverages (potentially small and out-of-distribution) server-side data to overcome the primary challenge of differentially private clustering methods: the need for a good initialization. Combining our initialization with a simple federated DP-Lloyds algorithm we obtain an algorithm that achieves excellent results on synthetic and real-world benchmark tasks. We also provide a theoretical analysis of our method that provides bounds on the convergence speed and cluster identification success.","lang":"eng"}],"publication_identifier":{"eissn":["2640-3498"]},"month":"05","related_material":{"record":[{"id":"21198","status":"public","relation":"dissertation_contains"}]},"OA_place":"publisher","publication":"42nd International Conference on Machine Learning","external_id":{"arxiv":["2506.05408"]},"article_processing_charge":"No","arxiv":1,"oa":1},{"OA_type":"green","title":"Federated learning with unlabeled clients: Personalization can happen in low dimensions","das_tickbox":"1","doi":"10.48550/ARXIV.2505.15579","author":[{"first_name":"Hossein","id":"653bd8b6-f394-11eb-9cf6-c0bbf6cd78d4","last_name":"Zakerinia","orcid":"0009-0007-3977-6462","full_name":"Zakerinia, Hossein"},{"last_name":"Scott","id":"e499926b-f6e0-11ea-865d-9c63db0031e8","first_name":"Jonathan A","full_name":"Scott, Jonathan A"},{"full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8622-7887","last_name":"Lampert","first_name":"Christoph"}],"date_published":"2025-05-21T00:00:00Z","publication_status":"draft","department":[{"_id":"ChLa"}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2505.15579"}],"citation":{"ieee":"H. Zakerinia, J. A. Scott, and C. Lampert, “Federated learning with unlabeled clients: Personalization can happen in low dimensions,” <i>arXiv</i>. .","ama":"Zakerinia H, Scott JA, Lampert C. Federated learning with unlabeled clients: Personalization can happen in low dimensions. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/ARXIV.2505.15579\">10.48550/ARXIV.2505.15579</a>","ista":"Zakerinia H, Scott JA, Lampert C. Federated learning with unlabeled clients: Personalization can happen in low dimensions. arXiv, 2505.15579.","mla":"Zakerinia, Hossein, et al. “Federated Learning with Unlabeled Clients: Personalization Can Happen in Low Dimensions.” <i>ArXiv</i>, 2505.15579, doi:<a href=\"https://doi.org/10.48550/ARXIV.2505.15579\">10.48550/ARXIV.2505.15579</a>.","short":"H. Zakerinia, J.A. Scott, C. Lampert, ArXiv (n.d.).","chicago":"Zakerinia, Hossein, Jonathan A Scott, and Christoph Lampert. “Federated Learning with Unlabeled Clients: Personalization Can Happen in Low Dimensions.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/ARXIV.2505.15579\">https://doi.org/10.48550/ARXIV.2505.15579</a>.","apa":"Zakerinia, H., Scott, J. A., &#38; Lampert, C. (n.d.). Federated learning with unlabeled clients: Personalization can happen in low dimensions. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/ARXIV.2505.15579\">https://doi.org/10.48550/ARXIV.2505.15579</a>"},"status":"public","oa_version":"Preprint","language":[{"iso":"eng"}],"date_created":"2026-02-10T08:20:59Z","article_number":"2505.15579","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"date_updated":"2026-09-16T07:26:12Z","_id":"21207","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.48550/ARXIV.2505.15579","year":"2025","type":"preprint","oa":1,"article_processing_charge":"No","publication":"arXiv","OA_place":"repository","related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"21198"}]},"month":"05","abstract":[{"lang":"eng","text":"Personalized federated learning has emerged as a popular approach to training on devices holding statistically heterogeneous data, known as clients. However, most existing approaches require a client to have labeled data for training or finetuning in order to obtain their own personalized model. In this paper we address this by proposing FLowDUP, a novel method that is able to generate a personalized model using only a forward pass with unlabeled data. The generated model parameters reside in a low-dimensional subspace, enabling efficient communication and computation. FLowDUP's learning objective is theoretically motivated by our new transductive multi-task PAC-Bayesian generalization bound, that provides performance guarantees for unlabeled clients. The objective is structured in such a way that it allows both clients with labeled data and clients with only unlabeled data to contribute to the training process. To supplement our theoretical results we carry out a thorough experimental evaluation of FLowDUP, demonstrating strong empirical performance on a range of datasets with differing sorts of statistically heterogeneous clients. Through numerous ablation studies, we test the efficacy of the individual components of the method."}],"day":"21","corr_author":"1"},{"OA_type":"free access","publication_status":"published","author":[{"first_name":"Nikita","id":"4b14526e-14d2-11ed-ba64-c14c9553d137","last_name":"Kalinin","full_name":"Kalinin, Nikita"},{"last_name":"Upadhyay","first_name":"Jalaj","full_name":"Upadhyay, Jalaj"},{"full_name":"Lampert, Christoph","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","last_name":"Lampert","orcid":"0000-0001-8622-7887","first_name":"Christoph"}],"date_published":"2025-12-02T00:00:00Z","page":"64002-64047","das_tickbox":"0","title":"Continual release moment estimation with differential privacy","doi":"10.52202/085713-1924","oa_version":"Published Version","language":[{"iso":"eng"}],"department":[{"_id":"GradSch"},{"_id":"ChLa"}],"main_file_link":[{"url":"https://doi.org/10.52202/085713-1924","open_access":"1"}],"citation":{"ieee":"N. Kalinin, J. Upadhyay, and C. Lampert, “Continual release moment estimation with differential privacy,” in <i>Advances in Neural Information Processing Systems</i>, San Diego, CA, United States, 2025, vol. 38, pp. 64002–64047.","mla":"Kalinin, Nikita, et al. “Continual Release Moment Estimation with Differential Privacy.” <i>Advances in Neural Information Processing Systems</i>, vol. 38, Neural Information Processing Systems Foundation, 2025, pp. 64002–47, doi:<a href=\"https://doi.org/10.52202/085713-1924\">10.52202/085713-1924</a>.","ama":"Kalinin N, Upadhyay J, Lampert C. Continual release moment estimation with differential privacy. In: <i>Advances in Neural Information Processing Systems</i>. Vol 38. Neural Information Processing Systems Foundation; 2025:64002-64047. doi:<a href=\"https://doi.org/10.52202/085713-1924\">10.52202/085713-1924</a>","ista":"Kalinin N, Upadhyay J, Lampert C. 2025. Continual release moment estimation with differential privacy. Advances in Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38, 64002–64047.","short":"N. Kalinin, J. Upadhyay, C. Lampert, in:, Advances in Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025, pp. 64002–64047.","chicago":"Kalinin, Nikita, Jalaj Upadhyay, and Christoph Lampert. “Continual Release Moment Estimation with Differential Privacy.” In <i>Advances in Neural Information Processing Systems</i>, 38:64002–47. Neural Information Processing Systems Foundation, 2025. <a href=\"https://doi.org/10.52202/085713-1924\">https://doi.org/10.52202/085713-1924</a>.","apa":"Kalinin, N., Upadhyay, J., &#38; Lampert, C. (2025). Continual release moment estimation with differential privacy. In <i>Advances in Neural Information Processing Systems</i> (Vol. 38, pp. 64002–64047). San Diego, CA, United States: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/085713-1924\">https://doi.org/10.52202/085713-1924</a>"},"status":"public","alternative_title":["Advances in Neural Information Processing Systems"],"intvolume":"        38","date_created":"2026-09-06T22:02:00Z","researchdata_availability":"no","quality_controlled":"1","_id":"22828","date_updated":"2026-09-16T07:40:56Z","conference":{"name":"NeurIPS: Neural Information Processing Systems","location":"San Diego, CA, United States"},"fulldoi":"https://doi.org/10.52202/085713-1924","project":[{"grant_number":"COE12","name":"Bilateral Artificial Intelligence (Lampert)","_id":"d8f03aaa-b035-11f1-8588-d5147fa879e0"}],"year":"2025","supplementarymaterial":"no","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"conference","month":"12","oa":1,"article_processing_charge":"No","publication":"Advances in Neural Information Processing Systems","OA_place":"publisher","acknowledgement":"We thank Monika Henzinger for her valuable feedback and insightful discussions on earlier versions\r\nof this draft. We are also grateful to Mher Safaryan for his contributions to discussions on DP-Adam.\r\nAdditionally, we thank Ryan McKenna for suggesting Joint Clipping as a baseline.\r\nJalaj Upadhyay’s research was funded by the Rutgers Decanal Grant no. 302918, NSF CNS 2433628,\r\nGoogle Research Scholar Award, and Google Seed Fund Grant. A part of this work was done while\r\nvisiting the Institute of Science and Technology Austria (ISTA).\r\nNikita Kalinin’s research was funded in part by the Austrian Science Fund (FWF) [10.55776/COE12]","publisher":"Neural Information Processing Systems Foundation","corr_author":"1","publication_identifier":{"isbn":["9798331338275"],"issn":["1049-5258"]},"scopus_import":"1","abstract":[{"text":"We propose Joint Moment Estimation (JME), a method for continually and privately estimating both the first and second moments of a data stream with reduced noise compared to naive approaches. JME supports the matrix mechanism and exploits a joint sensitivity analysis to identify a privacy regime in which the second-moment estimation incurs no additional privacy cost, thereby improving accuracy while maintaining privacy. We demonstrate JME’s effectiveness in two applications: estimating the running mean and covariance matrix for Gaussian density estimation and model training with DP-Adam.","lang":"eng"}],"day":"02","volume":38},{"external_id":{"isi":["001497903100019"],"arxiv":["2502.12239"]},"OA_place":"publisher","publication":"Astronomy & Astrophysics","article_processing_charge":"Yes","arxiv":1,"oa":1,"month":"06","volume":698,"day":"01","scopus_import":"1","abstract":[{"text":"Context. The blue supergiant (BSG) domain contains a large variety of stars whose past and future evolutionary paths are still highly uncertain. Since binary interaction plays a crucial role in the fate of massive stars, investigating the multiplicity among BSGs helps shed light on the fate of such objects.\r\nAims. We aim to estimate the binary fraction of a large sample of BSGs in the Small Magellanic Cloud (SMC) within the Binarity at LOw Metallicity (BLOeM) survey. In total, we selected 262 targets with spectral types B0-B3 and luminosity classes I-II.\r\n\r\nMethods. This work is based on spectroscopic data collected by the FLAMES instrument, mounted on the Very Large Telescope, which gathered nine epochs over three months. Our spectroscopic analysis for each target includes the individual and peak-to-peak radial velocity measurements, an investigation of the line profile variability, and a periodogram analysis to search for possible short- and long-period binaries.\r\n\r\nResults. By applying a 20 km s−1 threshold on the peak-to-peak radial velocities above which we would consider the star to be binary, the resulting observed spectroscopic binary fraction for our BSG sample is 23 ± 3%. An independent analysis of line profile variability reveals 11 (plus 5 candidates) double-lined spectroscopic binaries and 32 (plus 41 candidates) single-lined spectroscopic binaries. Based on these results, we estimated the overall observed binary fraction in this sample to be 34 ± 3%, which is close to the computed intrinsic binary fraction of 40 ± 4%. In addition, we derived reliable orbital periods for 41 spectroscopic binaries and potential binary candidates, among which there are 17 eclipsing binaries, including 20 SB1 and SB2 systems with periods of less than 10 days. We reported a significant drop in the binary fraction of BSGs with spectral types later than B2 and effective temperatures less than 18 kK, which could indicate the end of the main sequence phase in this temperature regime. We found no metallicity dependence in the binary fraction of BSGs, compared to existing spectroscopic surveys of the Galaxy and Large Magellanic Cloud.","lang":"eng"}],"publication_identifier":{"eissn":["1432-0746"],"issn":["0004-6361"]},"publisher":"EDP Sciences","has_accepted_license":"1","ddc":["520"],"acknowledgement":"We thank the anonymous referee for helpful comments that have improved the manuscript. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement 101164755/METAL) and was supported by the Israel Science Foundation (ISF) under grant number 2434/24. NB acknowledges support from the Belgian federal government grant for Ukrainian postdoctoral researchers (contract UF/2022/10). TS acknowledges support by the Israel Science Foundation (ISF) under grant number 0603225041. DP acknowledges financial support from the Deutsches Zentrum für Luft und Raumfahrt (DLR) grant FKZ 50OR2005 and the FWO junior postdoctoral fellowship No. 1256225N. DMB gratefully acknowledges UK Research and Innovation (UKRI) in the form of a Frontier Research grant under the UK government’s ERC Horizon Europe funding guarantee (SYMPHONY; PI Bowman; grant number: EP/Y031059/1), and a Royal Society University Research Fellowship (PI Bowman; grant number: URF\\R1\\231631). KS is funded by the National Science Center (NCN), Poland, under grant number OPUS 2021/41/B/ST9/00757. IM acknowledges support from the Australian Research Council (ARC) Centre of Excellence for Gravitational Wave Discovery (OzGav), through project number CE230100016. JIV acknowledges support from the European Research Council through ERC Advanced Grant No. 101054731. SS-D, and GH acknowledge support from the Spanish Ministry of Science and Innovation and Universities (MICIU) through the Spanish State Research Agency (AEI) through grants PID2021-122397NB-C21, and the Severo Ochoa Program 2020-2023 (CEX2019-000920-S).","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"no","year":"2025","fulldoi":"https://doi.org/10.1051/0004-6361/202452963","type":"journal_article","article_type":"original","status":"public","citation":{"mla":"Britavskiy, N., et al. “Binarity at LOw Metallicity (BLOeM): Multiplicity of Early B-Type Supergiants in the Small Magellanic Cloud.” <i>Astronomy &#38; Astrophysics</i>, vol. 698, A40, EDP Sciences, 2025, doi:<a href=\"https://doi.org/10.1051/0004-6361/202452963\">10.1051/0004-6361/202452963</a>.","ama":"Britavskiy N, Mahy L, Lennon DJ, et al. Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud. <i>Astronomy &#38; Astrophysics</i>. 2025;698. doi:<a href=\"https://doi.org/10.1051/0004-6361/202452963\">10.1051/0004-6361/202452963</a>","ista":"Britavskiy N, Mahy L, Lennon DJ, Patrick LR, Sana H, Villaseñor JI, Shenar T, Bodensteiner J, Bernini-Peron M, Berlanas SR, Bowman DM, Crowther PA, De Mink SE, Evans CJ, Götberg YLL, Holgado G, Johnston C, Keszthelyi Z, Klencki J, Langer N, Mandel I, Menon A, Moe M, Oskinova LM, Pauli D, Pawlak M, Ramachandran V, Renzo M, Sander AAC, Schneider FRN, Schootemeijer A, Sen K, Simón-Díaz S, Van Loon JT, Vink JS. 2025. Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud. Astronomy &#38; Astrophysics. 698, A40.","ieee":"N. Britavskiy <i>et al.</i>, “Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud,” <i>Astronomy &#38; Astrophysics</i>, vol. 698. EDP Sciences, 2025.","chicago":"Britavskiy, N., L. Mahy, D. J. Lennon, L. R. Patrick, H. Sana, J. I. Villaseñor, T. Shenar, et al. “Binarity at LOw Metallicity (BLOeM): Multiplicity of Early B-Type Supergiants in the Small Magellanic Cloud.” <i>Astronomy &#38; Astrophysics</i>. EDP Sciences, 2025. <a href=\"https://doi.org/10.1051/0004-6361/202452963\">https://doi.org/10.1051/0004-6361/202452963</a>.","apa":"Britavskiy, N., Mahy, L., Lennon, D. J., Patrick, L. R., Sana, H., Villaseñor, J. I., … Vink, J. S. (2025). Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud. <i>Astronomy &#38; Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/202452963\">https://doi.org/10.1051/0004-6361/202452963</a>","short":"N. Britavskiy, L. Mahy, D.J. Lennon, L.R. Patrick, H. Sana, J.I. Villaseñor, T. Shenar, J. Bodensteiner, M. Bernini-Peron, S.R. Berlanas, D.M. Bowman, P.A. Crowther, S.E. De Mink, C.J. Evans, Y.L.L. Götberg, G. Holgado, C. Johnston, Z. Keszthelyi, J. Klencki, N. Langer, I. Mandel, A. Menon, M. Moe, L.M. Oskinova, D. Pauli, M. Pawlak, V. Ramachandran, M. Renzo, A.A.C. Sander, F.R.N. Schneider, A. Schootemeijer, K. Sen, S. Simón-Díaz, J.T. Van Loon, J.S. Vink, Astronomy &#38; Astrophysics 698 (2025)."},"department":[{"_id":"YlGo"}],"language":[{"iso":"eng"}],"oa_version":"Published Version","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"_id":"19841","date_updated":"2026-09-16T09:10:41Z","article_number":"A40","quality_controlled":"1","researchdata_availability":"no","date_created":"2025-06-15T22:01:29Z","intvolume":"       698","OA_type":"diamond","doi":"10.1051/0004-6361/202452963","isi":1,"title":"Binarity at LOw Metallicity (BLOeM): Multiplicity of early B-type supergiants in the Small Magellanic Cloud","file_date_updated":"2025-06-25T08:38:02Z","das_tickbox":"1","publication_status":"published","author":[{"full_name":"Britavskiy, N.","last_name":"Britavskiy","first_name":"N."},{"full_name":"Mahy, L.","first_name":"L.","last_name":"Mahy"},{"last_name":"Lennon","first_name":"D. J.","full_name":"Lennon, D. J."},{"first_name":"L. R.","last_name":"Patrick","full_name":"Patrick, L. R."},{"last_name":"Sana","first_name":"H.","full_name":"Sana, H."},{"full_name":"Villaseñor, J. I.","last_name":"Villaseñor","first_name":"J. I."},{"full_name":"Shenar, T.","first_name":"T.","last_name":"Shenar"},{"first_name":"J.","last_name":"Bodensteiner","full_name":"Bodensteiner, J."},{"last_name":"Bernini-Peron","first_name":"M.","full_name":"Bernini-Peron, M."},{"full_name":"Berlanas, S. R.","last_name":"Berlanas","first_name":"S. R."},{"first_name":"D. M.","last_name":"Bowman","full_name":"Bowman, D. M."},{"full_name":"Crowther, P. A.","first_name":"P. A.","last_name":"Crowther"},{"first_name":"S. E.","last_name":"De Mink","full_name":"De Mink, S. E."},{"full_name":"Evans, C. J.","last_name":"Evans","first_name":"C. J."},{"first_name":"Ylva Louise Linsdotter","orcid":"0000-0002-6960-6911","last_name":"Götberg","id":"d0648d0c-0f64-11ee-a2e0-dd0faa2e4f7d","full_name":"Götberg, Ylva Louise Linsdotter"},{"full_name":"Holgado, G.","first_name":"G.","last_name":"Holgado"},{"full_name":"Johnston, C.","last_name":"Johnston","first_name":"C."},{"full_name":"Keszthelyi, Z.","last_name":"Keszthelyi","first_name":"Z."},{"full_name":"Klencki, J.","first_name":"J.","last_name":"Klencki"},{"first_name":"N.","last_name":"Langer","full_name":"Langer, N."},{"full_name":"Mandel, I.","first_name":"I.","last_name":"Mandel"},{"first_name":"A.","last_name":"Menon","full_name":"Menon, A."},{"full_name":"Moe, M.","last_name":"Moe","first_name":"M."},{"first_name":"L. M.","last_name":"Oskinova","full_name":"Oskinova, L. M."},{"full_name":"Pauli, D.","first_name":"D.","last_name":"Pauli"},{"first_name":"M.","last_name":"Pawlak","full_name":"Pawlak, M."},{"first_name":"V.","last_name":"Ramachandran","full_name":"Ramachandran, V."},{"full_name":"Renzo, M.","first_name":"M.","last_name":"Renzo"},{"full_name":"Sander, A. A.C.","last_name":"Sander","first_name":"A. A.C."},{"full_name":"Schneider, F. R.N.","last_name":"Schneider","first_name":"F. R.N."},{"last_name":"Schootemeijer","first_name":"A.","full_name":"Schootemeijer, A."},{"full_name":"Sen, K.","last_name":"Sen","first_name":"K."},{"first_name":"S.","last_name":"Simón-Díaz","full_name":"Simón-Díaz, S."},{"first_name":"J. T.","last_name":"Van Loon","full_name":"Van Loon, J. T."},{"first_name":"J. S.","last_name":"Vink","full_name":"Vink, J. S."}],"date_published":"2025-06-01T00:00:00Z","file":[{"file_size":7106568,"content_type":"application/pdf","relation":"main_file","checksum":"53a9f290cb1f468895e0d4446e0020f0","date_updated":"2025-06-25T08:38:02Z","creator":"dernst","success":1,"date_created":"2025-06-25T08:38:02Z","file_name":"2025_AstronomyAstrophysics_Britavskiy.pdf","access_level":"open_access","file_id":"19901"}]}]