--- OA_place: repository OA_type: green _id: '21270' abstract: - lang: eng text: "The one-dimensional Fröhlich model describing the motion of a single electron interacting with optical phonons is a paradigmatic model of quantum many-body physics. We predict the existence of an arbitrarily large number of bound excited states in the strong-coupling limit and calculate their excitation energies. Numerical simulations of a discretized model demonstrate the complete amelioration of the projector Monte Carlo sign problem by walker annihilation in an infinite Hilbert space. They reveal the threshold for the occurrence of the first bound excited states at a value of \U0001D6FC≈1.73 for the dimensionless coupling constant. This puts the threshold into the regime of intermediate interaction strength. We find a significant spectral weight and increased phonon number of the bound excited state at threshold." acknowledgement: We are grateful to Dmytro Kolisnyk for his help in working out the spectrum of the Hessian. This work was supported by the Marsden Fund of New Zealand (Contract No. MAU2007) from government funding administered by the Royal Society Te Apārangi and by a summer scholarship from Te Whai Ao – Dodd-Walls Centre for Photonic and Quantum Technologies and the Physics Department, University of Auckland. We acknowledge support by the New Zealand eScience Infrastructure (NeSI) high-performance computing facilities in the form of a merit project allocation. article_number: '184312' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: J. full_name: Taylor, J. last_name: Taylor - first_name: M. full_name: Čufar, M. last_name: Čufar - first_name: David Johannes full_name: Mitrouskas, David Johannes id: cbddacee-2b11-11eb-a02e-a2e14d04e52d last_name: Mitrouskas - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 - first_name: E. full_name: Pahl, E. last_name: Pahl - first_name: J. full_name: Brand, J. last_name: Brand citation: ama: Taylor J, Čufar M, Mitrouskas DJ, Seiringer R, Pahl E, Brand J. Bound excited states of Fröhlich polarons in one dimension. Physical Review B. 2025;112(18). doi:10.1103/s9p9-jflq apa: Taylor, J., Čufar, M., Mitrouskas, D. J., Seiringer, R., Pahl, E., & Brand, J. (2025). Bound excited states of Fröhlich polarons in one dimension. Physical Review B. American Physical Society. https://doi.org/10.1103/s9p9-jflq chicago: Taylor, J., M. Čufar, David Johannes Mitrouskas, Robert Seiringer, E. Pahl, and J. Brand. “Bound Excited States of Fröhlich Polarons in One Dimension.” Physical Review B. American Physical Society, 2025. https://doi.org/10.1103/s9p9-jflq. ieee: J. Taylor, M. Čufar, D. J. Mitrouskas, R. Seiringer, E. Pahl, and J. Brand, “Bound excited states of Fröhlich polarons in one dimension,” Physical Review B, vol. 112, no. 18. American Physical Society, 2025. ista: Taylor J, Čufar M, Mitrouskas DJ, Seiringer R, Pahl E, Brand J. 2025. Bound excited states of Fröhlich polarons in one dimension. Physical Review B. 112(18), 184312. mla: Taylor, J., et al. “Bound Excited States of Fröhlich Polarons in One Dimension.” Physical Review B, vol. 112, no. 18, 184312, American Physical Society, 2025, doi:10.1103/s9p9-jflq. short: J. Taylor, M. Čufar, D.J. Mitrouskas, R. Seiringer, E. Pahl, J. Brand, Physical Review B 112 (2025). date_created: 2026-02-17T07:56:20Z date_published: 2025-11-18T00:00:00Z date_updated: 2026-02-18T08:23:59Z day: '18' department: - _id: RoSe doi: 10.1103/s9p9-jflq external_id: arxiv: - '2506.02440 ' intvolume: ' 112' issue: '18' language: - iso: eng main_file_link: - open_access: '1' url: 'https://doi.org/10.48550/arXiv.2506.02440 ' month: '11' oa: 1 oa_version: Preprint publication: Physical Review B publication_identifier: eissn: - 2469-9969 issn: - 2469-9950 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: Bound excited states of Fröhlich polarons in one dimension type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 112 year: '2025' ... --- OA_place: repository OA_type: green _id: '21271' abstract: - lang: eng text: For general non-Hermitian large random matrices X and deterministic deformation matrices A, we prove that the local eigenvalue statistics of A+X close to the typical edge points of its spectrum are universal. Furthermore, we show that, under natural assumptions, on A the spectrum of A+X does not have outliers at a distance larger than the natural fluctuation scale of the eigenvalues. As a consequence, the number of eigenvalues in each component of Spec(A+X) is deterministic. acknowledgement: The authors would like to thank the anonymous referee for providing helpful comments and suggestions. We also thank Joscha Henheik and Volodymyr Riabov for pointing out a gap in an earlier version of the proof of equation (3.18). The first, third, and fourth authors are supported by ERC Advanced Grant “RMTBeyond” No. 101020331. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Andrew J full_name: Campbell, Andrew J id: 582b06a9-1f1c-11ee-b076-82ffce00dde4 last_name: Campbell - first_name: Giorgio full_name: Cipolloni, Giorgio id: 42198EFA-F248-11E8-B48F-1D18A9856A87 last_name: Cipolloni orcid: 0000-0002-4901-7992 - first_name: László full_name: Erdös, László id: 4DBD5372-F248-11E8-B48F-1D18A9856A87 last_name: Erdös orcid: 0000-0001-5366-9603 - first_name: Hong Chang full_name: Ji, Hong Chang id: dd216c0a-c1f9-11eb-beaf-e9ea9d2de76d last_name: Ji citation: ama: Campbell AJ, Cipolloni G, Erdös L, Ji HC. On the spectral edge of non-Hermitian random matrices. The Annals of Probability. 2025;53(6):2256-2308. doi:10.1214/25-aop1761 apa: Campbell, A. J., Cipolloni, G., Erdös, L., & Ji, H. C. (2025). On the spectral edge of non-Hermitian random matrices. The Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/25-aop1761 chicago: Campbell, Andrew J, Giorgio Cipolloni, László Erdös, and Hong Chang Ji. “On the Spectral Edge of Non-Hermitian Random Matrices.” The Annals of Probability. Institute of Mathematical Statistics, 2025. https://doi.org/10.1214/25-aop1761. ieee: A. J. Campbell, G. Cipolloni, L. Erdös, and H. C. Ji, “On the spectral edge of non-Hermitian random matrices,” The Annals of Probability, vol. 53, no. 6. Institute of Mathematical Statistics, pp. 2256–2308, 2025. ista: Campbell AJ, Cipolloni G, Erdös L, Ji HC. 2025. On the spectral edge of non-Hermitian random matrices. The Annals of Probability. 53(6), 2256–2308. mla: Campbell, Andrew J., et al. “On the Spectral Edge of Non-Hermitian Random Matrices.” The Annals of Probability, vol. 53, no. 6, Institute of Mathematical Statistics, 2025, pp. 2256–308, doi:10.1214/25-aop1761. short: A.J. Campbell, G. Cipolloni, L. Erdös, H.C. Ji, The Annals of Probability 53 (2025) 2256–2308. corr_author: '1' date_created: 2026-02-17T07:58:20Z date_published: 2025-11-01T00:00:00Z date_updated: 2026-02-18T08:35:38Z day: '01' department: - _id: LaEr doi: 10.1214/25-aop1761 ec_funded: 1 external_id: arxiv: - '2404.17512' intvolume: ' 53' issue: '6' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2404.17512 month: '11' oa: 1 oa_version: Preprint page: 2256-2308 project: - _id: 62796744-2b32-11ec-9570-940b20777f1d call_identifier: H2020 grant_number: '101020331' name: Random matrices beyond Wigner-Dyson-Mehta publication: The Annals of Probability publication_identifier: eissn: - 2168-894X issn: - 0091-1798 publication_status: published publisher: Institute of Mathematical Statistics quality_controlled: '1' status: public title: On the spectral edge of non-Hermitian random matrices type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 53 year: '2025' ... --- OA_place: repository OA_type: green _id: '21272' abstract: - lang: eng text: Finding the ground state of Ising spin glasses is notoriously difficult due to disorder and frustration. Often, this challenge is framed as a combinatorial optimization problem, for which a common strategy employs simulated annealing, a Monte Carlo (MC)-based algorithm that updates spins one at a time. Yet, these localized updates can cause the system to become trapped in local minima. Cluster algorithms (CAs) were developed to address this limitation and have demonstrated considerable success in studying ferromagnetic systems; however, they tend to encounter percolation issues when applied to generic spin glasses. In this work, we introduce a novel CA designed to tackle these challenges by leveraging precomputed two-point correlations, aiming solve combinatorial optimization problems in the form of Max-Cut more efficiently. In our approach, clusters are formed probabilistically based on these correlations. Various classical and quantum algorithms can be employed to generate correlations that embody information about the energy landscape of the problem. By utilizing this information, the algorithm aims to identify groups of spins whose simultaneous flipping induces large transitions in configuration space with high acceptance probability - even at low energy levels - thereby escaping local minima more effectively. Notably, clusters generated using correlations from the Quantum Approximate Optimization Algorithm exhibit high acceptance rates at low temperatures. These acceptance rates often increase with circuit depth, accelerating the algorithm and enabling more efficient exploration of the solution space. acknowledgement: "P.J.E was partially funded by the German BMWK project QCHALLenge (Grant No. 01MQ22008B).\r\n" article_processing_charge: No arxiv: 1 author: - first_name: Peter J. full_name: Eder, Peter J. last_name: Eder - first_name: Aron full_name: Kerschbaumer, Aron id: ade85a9c-3200-11ee-973b-91c1eb240410 last_name: Kerschbaumer orcid: 0009-0002-2370-8661 - first_name: Jernej Rudi full_name: Finžgar, Jernej Rudi last_name: Finžgar - first_name: Raimel A full_name: Medina Ramos, Raimel A id: CE680B90-D85A-11E9-B684-C920E6697425 last_name: Medina Ramos orcid: 0000-0002-5383-2869 - first_name: Martin J. A. full_name: Schuetz, Martin J. A. last_name: Schuetz - first_name: Helmut G. full_name: Katzgraber, Helmut G. last_name: Katzgraber - first_name: Sarah full_name: Braun, Sarah last_name: Braun - first_name: Christian B. full_name: Mendl, Christian B. last_name: Mendl citation: ama: 'Eder PJ, Kerschbaumer A, Finžgar JR, et al. Quantum-guided cluster algorithms for combinatorial optimization. In: 2025 IEEE International Conference on Quantum Computing and Engineering. IEEE; 2025. doi:10.1109/qce65121.2025.00033' apa: 'Eder, P. J., Kerschbaumer, A., Finžgar, J. R., Medina Ramos, R. A., Schuetz, M. J. A., Katzgraber, H. G., … Mendl, C. B. (2025). Quantum-guided cluster algorithms for combinatorial optimization. In 2025 IEEE International Conference on Quantum Computing and Engineering. Albuquerque, NM, United States: IEEE. https://doi.org/10.1109/qce65121.2025.00033' chicago: Eder, Peter J., Aron Kerschbaumer, Jernej Rudi Finžgar, Raimel A Medina Ramos, Martin J. A. Schuetz, Helmut G. Katzgraber, Sarah Braun, and Christian B. Mendl. “Quantum-Guided Cluster Algorithms for Combinatorial Optimization.” In 2025 IEEE International Conference on Quantum Computing and Engineering. IEEE, 2025. https://doi.org/10.1109/qce65121.2025.00033. ieee: P. J. Eder et al., “Quantum-guided cluster algorithms for combinatorial optimization,” in 2025 IEEE International Conference on Quantum Computing and Engineering, Albuquerque, NM, United States, 2025. ista: 'Eder PJ, Kerschbaumer A, Finžgar JR, Medina Ramos RA, Schuetz MJA, Katzgraber HG, Braun S, Mendl CB. 2025. Quantum-guided cluster algorithms for combinatorial optimization. 2025 IEEE International Conference on Quantum Computing and Engineering. QCE: International Conference on Quantum Computing and Engineering.' mla: Eder, Peter J., et al. “Quantum-Guided Cluster Algorithms for Combinatorial Optimization.” 2025 IEEE International Conference on Quantum Computing and Engineering, IEEE, 2025, doi:10.1109/qce65121.2025.00033. short: P.J. Eder, A. Kerschbaumer, J.R. Finžgar, R.A. Medina Ramos, M.J.A. Schuetz, H.G. Katzgraber, S. Braun, C.B. Mendl, in:, 2025 IEEE International Conference on Quantum Computing and Engineering, IEEE, 2025. conference: end_date: 2025-09-05 location: Albuquerque, NM, United States name: 'QCE: International Conference on Quantum Computing and Engineering' start_date: 2025-08-30 corr_author: '1' date_created: 2026-02-17T08:00:17Z date_published: 2025-09-01T00:00:00Z date_updated: 2026-02-18T08:45:56Z day: '01' department: - _id: MaSe doi: 10.1109/qce65121.2025.00033 external_id: arxiv: - '2508.10656' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2508.10656 month: '09' oa: 1 oa_version: Preprint publication: 2025 IEEE International Conference on Quantum Computing and Engineering publication_identifier: eisbn: - '9798331557362' publication_status: published publisher: IEEE quality_controlled: '1' status: public title: Quantum-guided cluster algorithms for combinatorial optimization type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21280' abstract: - lang: eng text: We give an algorithm that, with high probability, maintains a (1-ε)-approximate s-t maximum flow in undirected, uncapacitated n-vertex graphs undergoing m edge insertions in Õ(m+ n F^*/ε) total update time, where F^{*} is the maximum flow on the final graph. This is the first algorithm to achieve polylogarithmic amortized update time for dense graphs (m = Ω(n²)), and more generally, for graphs where F^* = Õ(m/n). At the heart of our incremental algorithm is the residual graph sparsification technique of Karger and Levine [SICOMP '15], originally designed for computing exact maximum flows in the static setting. Our main contributions are (i) showing how to maintain such sparsifiers for approximate maximum flows in the incremental setting and (ii) generalizing the cut sparsification framework of Fung et al. [SICOMP '19] from undirected graphs to balanced directed graphs. acknowledgement: "Monika Henzinger and A. R. Sricharan: This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation\r\nprogramme (MoDynStruct, No. 101019564) and the Austrian Science Fund (FWF) grant DOI\r\n10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE Stiftung, 2020–2024. Harald Räcke: This project has received funding from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – 498605858 and 470029389." alternative_title: - LIPIcs article_processing_charge: No arxiv: 1 author: - first_name: Gramoz full_name: Goranci, Gramoz last_name: Goranci - first_name: Monika H full_name: Henzinger, Monika H id: 540c9bbd-f2de-11ec-812d-d04a5be85630 last_name: Henzinger orcid: 0000-0002-5008-6530 - first_name: Harald full_name: Räcke, Harald last_name: Räcke - first_name: A. full_name: Sricharan, A. last_name: Sricharan citation: ama: 'Goranci G, Henzinger M, Räcke H, Sricharan A. Incremental approximate maximum flow via residual graph sparsification. In: 52nd International Colloquium on Automata, Languages, and Programming. Vol 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:91:1-91:20. doi:10.4230/lipics.icalp.2025.91' apa: 'Goranci, G., Henzinger, M., Räcke, H., & Sricharan, A. (2025). Incremental approximate maximum flow via residual graph sparsification. In 52nd International Colloquium on Automata, Languages, and Programming (Vol. 334, p. 91:1-91:20). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/lipics.icalp.2025.91' chicago: Goranci, Gramoz, Monika Henzinger, Harald Räcke, and A. Sricharan. “Incremental Approximate Maximum Flow via Residual Graph Sparsification.” In 52nd International Colloquium on Automata, Languages, and Programming, 334:91:1-91:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/lipics.icalp.2025.91. ieee: G. Goranci, M. Henzinger, H. Räcke, and A. Sricharan, “Incremental approximate maximum flow via residual graph sparsification,” in 52nd International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 2025, vol. 334, p. 91:1-91:20. ista: 'Goranci G, Henzinger M, Räcke H, Sricharan A. 2025. Incremental approximate maximum flow via residual graph sparsification. 52nd International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 334, 91:1-91:20.' mla: Goranci, Gramoz, et al. “Incremental Approximate Maximum Flow via Residual Graph Sparsification.” 52nd International Colloquium on Automata, Languages, and Programming, vol. 334, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 91:1-91:20, doi:10.4230/lipics.icalp.2025.91. short: G. Goranci, M. Henzinger, H. Räcke, A. Sricharan, in:, 52nd International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 91:1-91:20. conference: end_date: 2025-07-11 location: Aarhus, Denmark name: 'ICALP: Automata, Languages and Programming' start_date: 2025-07-08 corr_author: '1' date_created: 2026-02-17T08:26:06Z date_published: 2025-06-30T00:00:00Z date_updated: 2026-02-18T09:06:12Z day: '30' ddc: - '000' department: - _id: MoHe doi: 10.4230/lipics.icalp.2025.91 ec_funded: 1 external_id: arxiv: - '2502.09105' file: - access_level: open_access checksum: c178cf554e44204b9f64ebd9b54cf7ba content_type: application/pdf creator: dernst date_created: 2026-02-18T09:02:33Z date_updated: 2026-02-18T09:02:33Z file_id: '21315' file_name: 2025_ICALP_Goranci.pdf file_size: 944824 relation: main_file success: 1 file_date_updated: 2026-02-18T09:02:33Z has_accepted_license: '1' intvolume: ' 334' language: - iso: eng month: '06' oa: 1 oa_version: Published Version page: 91:1-91:20 project: - _id: bd9ca328-d553-11ed-ba76-dc4f890cfe62 call_identifier: H2020 grant_number: '101019564' name: The design and evaluation of modern fully dynamic data structures - _id: 34def286-11ca-11ed-8bc3-da5948e1613c grant_number: Z00422 name: Efficient algorithms - _id: bda196b2-d553-11ed-ba76-8e8ee6c21103 grant_number: I05982 name: Static and Dynamic Hierarchical Graph Decompositions - _id: bd9e3a2e-d553-11ed-ba76-8aa684ce17fe grant_number: P33775 name: Fast Algorithms for a Reactive Network Layer publication: 52nd International Colloquium on Automata, Languages, and Programming publication_identifier: isbn: - '9783959773720' publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Incremental approximate maximum flow via residual graph sparsification tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 334 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21281' abstract: - lang: eng text: "A strategy profile in a multi-player game is a Nash equilibrium if no player can unilaterally deviate to achieve a strictly better payoff. A profile is an ε-Nash equilibrium if no player can gain more than ε by unilaterally deviating from their strategy. In this work, we use ε-Nash equilibria to approximate the computation of Nash equilibria. Specifically, we focus on turn-based, multiplayer stochastic games played on graphs, where players are restricted to stationary strategies - strategies that use randomness but not memory.\r\nThe problem of deciding the constrained existence of stationary Nash equilibria - where each player’s payoff must lie within a given interval - is known to be ∃ℝ-complete in such a setting (Hansen and Sølvsten, 2020). We extend this line of work to stationary ε-Nash equilibria and present an algorithm that solves the following promise problem: given a game with a Nash equilibrium satisfying the constraints, compute an ε-Nash equilibrium that ε-satisfies those same constraints - satisfies the constraints up to an ε additive error. Our algorithm runs in FNP^NP time.\r\nTo achieve this, we first show that if a constrained Nash equilibrium exists, then one exists where the non-zero probabilities are at least an inverse of a double-exponential in the input. We further prove that such a strategy can be encoded using floating-point representations, as in the work of Frederiksen and Miltersen (2013), which finally gives us our FNP^NP algorithm. \r\nWe further show that the decision version of the promise problem is NP-hard. Finally, we show a partial tightness result by proving a lower bound for such techniques: if a constrained Nash equilibrium exists, then there must be one where the probabilities in the strategies are double-exponentially small." acknowledgement: "This work is a part of project VAMOS that has received funding from the European\r\nResearch Council (ERC), grant agreement No 101020093.\r\n" alternative_title: - LIPIcs article_processing_charge: Yes arxiv: 1 author: - first_name: Ali full_name: Asadi, Ali id: 02d96aae-000e-11ec-b801-cadd0a5eefbb last_name: Asadi - first_name: Leonard full_name: Brice, Leonard last_name: Brice - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: K. S. full_name: Thejaswini, K. S. id: 3807fb92-fdc1-11ee-bb4a-b4d8a431c753 last_name: Thejaswini citation: ama: 'Asadi A, Brice L, Chatterjee K, Thejaswini KS. ε-stationary Nash equilibria in multi-player stochastic graph games. In: 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Vol 360. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:9:1-9:17. doi:10.4230/lipics.fsttcs.2025.9' apa: 'Asadi, A., Brice, L., Chatterjee, K., & Thejaswini, K. S. (2025). ε-stationary Nash equilibria in multi-player stochastic graph games. In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 360, p. 9:1-9:17). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/lipics.fsttcs.2025.9' chicago: Asadi, Ali, Leonard Brice, Krishnendu Chatterjee, and K. S. Thejaswini. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” In 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 360:9:1-9:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/lipics.fsttcs.2025.9. ieee: A. Asadi, L. Brice, K. Chatterjee, and K. S. Thejaswini, “ε-stationary Nash equilibria in multi-player stochastic graph games,” in 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Pilani, India, 2025, vol. 360, p. 9:1-9:17. ista: 'Asadi A, Brice L, Chatterjee K, Thejaswini KS. 2025. ε-stationary Nash equilibria in multi-player stochastic graph games. 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 360, 9:1-9:17.' mla: Asadi, Ali, et al. “ε-Stationary Nash Equilibria in Multi-Player Stochastic Graph Games.” 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17, doi:10.4230/lipics.fsttcs.2025.9. short: A. Asadi, L. Brice, K. Chatterjee, K.S. Thejaswini, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 9:1-9:17. conference: end_date: 2025-12-19 location: Pilani, India name: 'FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science' start_date: 2025-12-17 corr_author: '1' date_created: 2026-02-17T08:27:14Z date_published: 2025-12-09T00:00:00Z date_updated: 2026-02-19T09:39:15Z day: '09' ddc: - '000' department: - _id: KrCh - _id: GradSch doi: 10.4230/lipics.fsttcs.2025.9 ec_funded: 1 external_id: arxiv: - '2508.15356' file: - access_level: open_access checksum: a66343e3ccc4a9cc5bc699c03d5764ff content_type: application/pdf creator: dernst date_created: 2026-02-18T09:13:25Z date_updated: 2026-02-18T09:13:25Z file_id: '21316' file_name: 2025_FSTTCS_Asadi.pdf file_size: 1054007 relation: main_file success: 1 file_date_updated: 2026-02-18T09:13:25Z has_accepted_license: '1' intvolume: ' 360' language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: 9:1-9:17 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science publication_identifier: isbn: - '9783959774062' publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' status: public title: ε-stationary Nash equilibria in multi-player stochastic graph games tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 360 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '21317' abstract: - lang: eng text: Accreting white dwarfs (WDs) in close binary systems, commonly known as cataclysmic variables (CVs), with orbital periods below the canonical period minimum (≈80 minutes) are rare. Such short periods can only be reached if the donor star in the CV is either significantly evolved before initiating mass transfer to the WD or is metal-poor. We present optical photometry and spectroscopy of Gaia19bxc, a high-amplitude variable identified as a polar CV with an exceptionally short orbital period of 64.42 minutes—well below the canonical CV period minimum. High-speed photometry confirms persistent double-peaked variability consistent with cyclotron beaming, thus indicating the presence of a magnetic WD. Phase-resolved Keck/Low-Resolution Imaging Spectrometer (LRIS) spectroscopy reveals strong hydrogen and helium emission lines but no donor features, indicating the accretor is a magnetic WD and the donor is hydrogen-rich, but cold and faint. The absence of a detectable donor and the low inferred temperature (≲3500 K) disfavor an evolved donor scenario. Instead, the short period and the system’s halo-like kinematics suggest Gaia19bxc may be the first known metal-poor polar. Because metal-poor donors are more compact than solar-metallicity donors of the same mass, they can reach shorter minimum periods. Gaia19bxc is one of only a handful of known metal-poor CVs below the canonical period minimum and has the shortest period of any such magnetic system discovered to date. acknowledgement: "Based on observations obtained with the Samuel Oschin Telescope 48 inch and the 60 inch Telescope at the Palomar Observatory as part of the Zwicky Transient Facility project. ZTF is supported by the National Science Foundation under grants No. AST-1440341 and AST-2034437 and a collaboration including current partners Caltech, IPAC, the Weizmann Institute of Science, the Oskar Klein Center at Stockholm University, the University of Maryland, Deutsches Elektronen-Synchrotron and Humboldt University, the TANGO Consortium of Taiwan, the University of Wisconsin at Milwaukee, Trinity College Dublin, Lawrence Livermore National Laboratories, IN2P3, University of Warwick, Ruhr University Bochum, Northwestern University and former partners the University of Washington, Los Alamos National Laboratories, and Lawrence Berkeley National Laboratories. Operations are conducted by COO, IPAC, and UW. This work has made use of data from the European Space Agency (ESA) mission Gaia (https://www.cosmos.esa.int/gaia), processed by the Gaia Data Processing and Analysis Consortium (DPAC; https://www.cosmos.esa.int/web/gaia/dpac/consortium). Funding for the DPAC has been provided by national institutions, in particular the institutions participating in the Gaia Multilateral Agreement. Some of the data presented herein were obtained at Keck Observatory, which is a private 501(c)3 nonprofit organization operated as a scientific partnership among the California Institute of Technology, the University of California, and the National Aeronautics and Space Administration. The Observatory was made possible by the generous financial support of the W. M. Keck Foundation. We wish to recognize and acknowledge the very significant cultural role and reverence that the summit of Maunakea has always had within the Native Hawaiian community. We are most fortunate to have had the opportunity to conduct observations from this mountain. We are grateful to the staff of the Palomar and Keck Observatories for their work in helping us carry out our observations.\r\n\r\nI.G. acknowledges support from Kazan Federal University. A.C.R. acknowledges support from the National Science Foundation via an NSF Graduate Research Fellowship. We thank the anonymous referee for useful comments and suggestions, which contributed to the improvement of this manuscript." article_number: L57 article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Ilkham full_name: Galiullin, Ilkham last_name: Galiullin - first_name: Antonio C. full_name: Rodriguez, Antonio C. last_name: Rodriguez - first_name: Kareem full_name: El-Badry, Kareem last_name: El-Badry - first_name: Ilaria full_name: Caiazzo, Ilaria id: 8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d last_name: Caiazzo orcid: 0000-0002-4770-5388 - first_name: Paula full_name: Szkody, Paula last_name: Szkody - first_name: Pranav full_name: Nagarajan, Pranav last_name: Nagarajan - first_name: Samuel full_name: Whitebook, Samuel last_name: Whitebook citation: ama: Galiullin I, Rodriguez AC, El-Badry K, et al. Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. The Astrophysical Journal Letters. 2025;990(2). doi:10.3847/2041-8213/adff82 apa: Galiullin, I., Rodriguez, A. C., El-Badry, K., Caiazzo, I., Szkody, P., Nagarajan, P., & Whitebook, S. (2025). Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. The Astrophysical Journal Letters. IOP Publishing. https://doi.org/10.3847/2041-8213/adff82 chicago: Galiullin, Ilkham, Antonio C. Rodriguez, Kareem El-Badry, Ilaria Caiazzo, Paula Szkody, Pranav Nagarajan, and Samuel Whitebook. “Optical Spectroscopy of the Most Compact Accreting Binary Harboring a Magnetic White Dwarf and a Hydrogen-Rich Donor.” The Astrophysical Journal Letters. IOP Publishing, 2025. https://doi.org/10.3847/2041-8213/adff82. ieee: I. Galiullin et al., “Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor,” The Astrophysical Journal Letters, vol. 990, no. 2. IOP Publishing, 2025. ista: Galiullin I, Rodriguez AC, El-Badry K, Caiazzo I, Szkody P, Nagarajan P, Whitebook S. 2025. Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor. The Astrophysical Journal Letters. 990(2), L57. mla: Galiullin, Ilkham, et al. “Optical Spectroscopy of the Most Compact Accreting Binary Harboring a Magnetic White Dwarf and a Hydrogen-Rich Donor.” The Astrophysical Journal Letters, vol. 990, no. 2, L57, IOP Publishing, 2025, doi:10.3847/2041-8213/adff82. short: I. Galiullin, A.C. Rodriguez, K. El-Badry, I. Caiazzo, P. Szkody, P. Nagarajan, S. Whitebook, The Astrophysical Journal Letters 990 (2025). date_created: 2026-02-18T10:17:04Z date_published: 2025-09-08T00:00:00Z date_updated: 2026-02-19T07:27:01Z day: '08' ddc: - '520' department: - _id: IlCa doi: 10.3847/2041-8213/adff82 external_id: arxiv: - '2508.20170' file: - access_level: open_access checksum: f76556d129aa0e9facc85602b0b5b54d content_type: application/pdf creator: dernst date_created: 2026-02-19T07:24:10Z date_updated: 2026-02-19T07:24:10Z file_id: '21329' file_name: 2025_AstrophysicalJournal_Galiullin.pdf file_size: 3772189 relation: main_file success: 1 file_date_updated: 2026-02-19T07:24:10Z has_accepted_license: '1' intvolume: ' 990' issue: '2' language: - iso: eng month: '09' oa: 1 oa_version: Published Version publication: The Astrophysical Journal Letters publication_identifier: eissn: - 2041-8213 issn: - 2041-8205 publication_status: published publisher: IOP Publishing quality_controlled: '1' scopus_import: '1' status: public title: Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 990 year: '2025' ... --- OA_place: repository OA_type: green _id: '21318' abstract: - lang: eng text: Matter waves have been observed in double-slit experiments with microscopic objects, such as atoms or molecules. The wave function describing the motion of these objects must extend over a distance comparable to the slit separation, much larger than the characteristic size of the objects. Preparing such states for more massive objects, such as mechanical oscillators, remains an outstanding challenge. Here we delocalize the quantum ground state of an optically levitated nanosphere by modulating the stiffness of the confining potential. We show a more than threefold increase of the initial coherence length, which corresponds to mechanical momentum squeezing of more than 7 dB. Our work is a stepping stone toward the generation of coherence lengths comparable to the object size, a crucial regime for macroscopic quantum experiments. article_number: '083601' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: M. full_name: Rossi, M. last_name: Rossi - first_name: Andrei full_name: Militaru, Andrei id: d67706f8-8eb1-11ee-ad1b-9c30dfa19e0b last_name: Militaru - first_name: N. full_name: Carlon Zambon, N. last_name: Carlon Zambon - first_name: A. full_name: Riera-Campeny, A. last_name: Riera-Campeny - first_name: O. full_name: Romero-Isart, O. last_name: Romero-Isart - first_name: M. full_name: Frimmer, M. last_name: Frimmer - first_name: L. full_name: Novotny, L. last_name: Novotny citation: ama: Rossi M, Militaru A, Carlon Zambon N, et al. Quantum delocalization of a levitated nanoparticle. Physical Review Letters. 2025;135(8). doi:10.1103/2yzc-fsm3 apa: Rossi, M., Militaru, A., Carlon Zambon, N., Riera-Campeny, A., Romero-Isart, O., Frimmer, M., & Novotny, L. (2025). Quantum delocalization of a levitated nanoparticle. Physical Review Letters. American Physical Society. https://doi.org/10.1103/2yzc-fsm3 chicago: Rossi, M., Andrei Militaru, N. Carlon Zambon, A. Riera-Campeny, O. Romero-Isart, M. Frimmer, and L. Novotny. “Quantum Delocalization of a Levitated Nanoparticle.” Physical Review Letters. American Physical Society, 2025. https://doi.org/10.1103/2yzc-fsm3. ieee: M. Rossi et al., “Quantum delocalization of a levitated nanoparticle,” Physical Review Letters, vol. 135, no. 8. American Physical Society, 2025. ista: Rossi M, Militaru A, Carlon Zambon N, Riera-Campeny A, Romero-Isart O, Frimmer M, Novotny L. 2025. Quantum delocalization of a levitated nanoparticle. Physical Review Letters. 135(8), 083601. mla: Rossi, M., et al. “Quantum Delocalization of a Levitated Nanoparticle.” Physical Review Letters, vol. 135, no. 8, 083601, American Physical Society, 2025, doi:10.1103/2yzc-fsm3. short: M. Rossi, A. Militaru, N. Carlon Zambon, A. Riera-Campeny, O. Romero-Isart, M. Frimmer, L. Novotny, Physical Review Letters 135 (2025). date_created: 2026-02-18T10:19:30Z date_published: 2025-08-19T00:00:00Z date_updated: 2026-02-24T07:03:57Z day: '19' department: - _id: JoFi doi: 10.1103/2yzc-fsm3 external_id: arxiv: - '2408.01264' pmid: - '40929305' intvolume: ' 135' issue: '8' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2408.01264 month: '08' oa: 1 oa_version: Preprint pmid: 1 publication: Physical Review Letters publication_identifier: eissn: - 1079-7114 issn: - 0031-9007 publication_status: published publisher: American Physical Society quality_controlled: '1' status: public title: Quantum delocalization of a levitated nanoparticle type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 135 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21320' 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 \U0001D4A2 class in reliability theory. Moreover, we show that this does not extend to its dual, the ̅\U0001D4A2 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." 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.' alternative_title: - LIPIcs article_processing_charge: No arxiv: 1 author: - first_name: Giordano full_name: Giambartolomei, Giordano last_name: Giambartolomei - first_name: Frederik full_name: Mallmann-Trenn, Frederik last_name: Mallmann-Trenn - first_name: Raimundo J full_name: Saona Urmeneta, Raimundo J id: BD1DF4C4-D767-11E9-B658-BC13E6697425 last_name: Saona Urmeneta orcid: 0000-0001-5103-038X citation: ama: 'Giambartolomei G, Mallmann-Trenn F, Saona Urmeneta RJ. IID prophet inequality with random horizon: Going beyond increasing hazard rates. In: 52nd International Colloquium on Automata, Languages, and Programming. Vol 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.ICALP.2025.87' apa: 'Giambartolomei, G., Mallmann-Trenn, F., & Saona Urmeneta, R. J. (2025). IID prophet inequality with random horizon: Going beyond increasing hazard rates. In 52nd International Colloquium on Automata, Languages, and Programming (Vol. 334). Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2025.87' chicago: 'Giambartolomei, Giordano, Frederik Mallmann-Trenn, and Raimundo J Saona Urmeneta. “IID Prophet Inequality with Random Horizon: Going beyond Increasing Hazard Rates.” In 52nd International Colloquium on Automata, Languages, and Programming, Vol. 334. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.ICALP.2025.87.' ieee: 'G. Giambartolomei, F. Mallmann-Trenn, and R. J. Saona Urmeneta, “IID prophet inequality with random horizon: Going beyond increasing hazard rates,” in 52nd International Colloquium on Automata, Languages, and Programming, Aarhus, Denmark, 2025, vol. 334.' 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.” 52nd International Colloquium on Automata, Languages, and Programming, vol. 334, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.ICALP.2025.87.' 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. conference: end_date: 2025-07-11 location: Aarhus, Denmark name: 'ICALP: Automata, Languages and Programming' start_date: 2025-07-08 date_created: 2026-02-18T10:44:14Z date_published: 2025-06-30T00:00:00Z date_updated: 2026-02-19T07:43:29Z day: '30' ddc: - '000' department: - _id: KrCh doi: 10.4230/LIPIcs.ICALP.2025.87 ec_funded: 1 external_id: arxiv: - '2407.11752' file: - access_level: open_access checksum: 960110956c26a5cefadde8e47888bfbe content_type: application/pdf creator: dernst date_created: 2026-02-19T07:41:55Z date_updated: 2026-02-19T07:41:55Z file_id: '21331' file_name: 2025_ICALP_Giambartolomei.pdf file_size: 876167 relation: main_file success: 1 file_date_updated: 2026-02-19T07:41:55Z has_accepted_license: '1' intvolume: ' 334' language: - iso: eng month: '06' oa: 1 oa_version: Published Version project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: 52nd International Colloquium on Automata, Languages, and Programming publication_identifier: isbn: - '9783959773720' publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' status: public title: 'IID prophet inequality with random horizon: Going beyond increasing hazard rates' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 334 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '21321' abstract: - lang: eng text: 'The development of cost-effective and high-performance thermoelectric (TE) materials faces significant challenges, particularly in improving the properties of promising copper-based TE materials such as Cu3SbSe4, which are limited by their poor electrical conductivity. This study presents a detailed comparative analysis of three strategies to promote the electrical transport properties of Cu3SbSe4 through Sn doping: conventional Sn atomic doping, surface treatment with SnSe molecular complexes, and blending with SnSe nanocrystals to form nanocomposites, all followed by annealing and hot pressing under identical conditions. Our results reveal that a surface treatment using SnSe molecular complexes significantly enhances TE performance over atomic doping and nanocomposite formation, achieving a power factor of 1.1 mW·m−1·K−2 and a maximum dimensionless figure of merit zT value of 0.80 at 640 K, representing an excellent performance among Cu3SbSe4-based materials produced via solution-processing methods. This work highlights the effectiveness of surface engineering in optimizing the transport properties of nanostructured materials, demonstrating the versatility and cost-efficiency of solution-based technologies in the development of advanced nanostructured materials for application in the field of TE among others.' acknowledgement: Y. L. acknowledges funding from the National Natural Science Foundation of China (No. 22209034), the Innovation and Entrepreneurship Project of Overseas Returnees in Anhui Province (No. 2022LCX002), and the Fundamental Research Funds for the Central Universities (No. JZ2024HGTB0239). K. H. L. acknowledges financial support from the National Natural Science Foundation of China (No. 22208293). M. I. acknowledge financial support from ISTA and the Werner Siemens Foundation. M. H. acknowledges funding from Australian Research Council (No. FT230100316). L. L. H. and S. H. W. acknowledge the Fundamental Research Funds for the Central Universities (Nos. JZ2023HGTA0179 and JZ2024HGTA0170). article_number: '94907072' article_processing_charge: Yes (in subscription journal) article_type: original author: - first_name: Shanshan full_name: Xiao, Shanshan last_name: Xiao - first_name: Mingjun full_name: Zhao, Mingjun last_name: Zhao - first_name: Mingquan full_name: Li, Mingquan last_name: Li - first_name: Shanhong full_name: Wan, Shanhong last_name: Wan - first_name: Aziz full_name: Genç, Aziz last_name: Genç - first_name: Lulu full_name: Huang, Lulu last_name: Huang - first_name: Lei full_name: Chen, Lei last_name: Chen - first_name: Yu full_name: Zhang, Yu last_name: Zhang - first_name: Maria full_name: Ibáñez, Maria id: 43C61214-F248-11E8-B48F-1D18A9856A87 last_name: Ibáñez orcid: 0000-0001-5013-2843 - first_name: Khak Ho full_name: Lim, Khak Ho last_name: Lim - first_name: Min full_name: Hong, Min last_name: Hong - first_name: Yu full_name: Liu, Yu last_name: Liu - first_name: Andreu full_name: Cabot, Andreu last_name: Cabot citation: ama: 'Xiao S, Zhao M, Li M, et al. Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            3SbSe            4. Nano Research. 2025;18(1). doi:10.26599/nr.2025.94907072' apa: 'Xiao, S., Zhao, M., Li, M., Wan, S., Genç, A., Huang, L., … Cabot, A. (2025). Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            3SbSe            4. Nano Research. Tsinghua University Press. https://doi.org/10.26599/nr.2025.94907072' chicago: 'Xiao, Shanshan, Mingjun Zhao, Mingquan Li, Shanhong Wan, Aziz Genç, Lulu Huang, Lei Chen, et al. “Band and Defect Engineering in Solution-Processed Nanocrystal Building Blocks to Promote Transport Properties in Nanomaterials: The Case of Thermoelectric Cu            3SbSe            4.” Nano Research. Tsinghua University Press, 2025. https://doi.org/10.26599/nr.2025.94907072.' ieee: 'S. Xiao et al., “Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            3SbSe            4,” Nano Research, vol. 18, no. 1. Tsinghua University Press, 2025.' ista: 'Xiao S, Zhao M, Li M, Wan S, Genç A, Huang L, Chen L, Zhang Y, Ibáñez M, Lim KH, Hong M, Liu Y, Cabot A. 2025. Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            3SbSe            4. Nano Research. 18(1), 94907072.' mla: 'Xiao, Shanshan, et al. “Band and Defect Engineering in Solution-Processed Nanocrystal Building Blocks to Promote Transport Properties in Nanomaterials: The Case of Thermoelectric Cu            3SbSe            4.” Nano Research, vol. 18, no. 1, 94907072, Tsinghua University Press, 2025, doi:10.26599/nr.2025.94907072.' short: S. Xiao, M. Zhao, M. Li, S. Wan, A. Genç, L. Huang, L. Chen, Y. Zhang, M. Ibáñez, K.H. Lim, M. Hong, Y. Liu, A. Cabot, Nano Research 18 (2025). date_created: 2026-02-18T10:45:06Z date_published: 2025-01-01T00:00:00Z date_updated: 2026-02-19T07:32:22Z day: '01' ddc: - '540' department: - _id: MaIb doi: 10.26599/nr.2025.94907072 file: - access_level: open_access checksum: aa531f1363538fece12ecfad83456b65 content_type: application/pdf creator: dernst date_created: 2026-02-19T07:31:15Z date_updated: 2026-02-19T07:31:15Z file_id: '21330' file_name: 2025_NanoResearch_Xiao.pdf file_size: 27740524 relation: main_file success: 1 file_date_updated: 2026-02-19T07:31:15Z has_accepted_license: '1' intvolume: ' 18' issue: '1' language: - iso: eng month: '01' oa: 1 oa_version: Published Version project: - _id: 9B8F7476-BA93-11EA-9121-9846C619BF3A name: 'HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery' publication: Nano Research publication_identifier: eissn: - 1998-0000 issn: - 1998-0124 publication_status: published publisher: Tsinghua University Press status: public title: 'Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu 3SbSe 4' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 18 year: '2025' ... --- OA_place: repository OA_type: green _id: '21323' abstract: - lang: eng text: We present a unifying framework for proving the knowledge-soundness of KZG-like polynomial commitment schemes, encompassing both univariate and multivariate variants. By conceptualizing the proof technique of Lipmaa, Parisella, and Siim for the univariate KZG scheme (EUROCRYPT 2024), we present tools and falsifiable hardness assumptions that permit black-box extraction of the multivariate KZG scheme. Central to our approach is the notion of a canonical Proof-of-Knowledge of a Polynomial (PoKoP) of a polynomial commitment scheme, which we use to capture the extractability notion required in constructions of practical zk-SNARKs. We further present an explicit polynomial decomposition lemma for multivariate polynomials, enabling a more direct analysis of interpolating extractors and bridging the gap between univariate and multivariate commitments. Our results provide the first standard-model proofs of extractability for the multivariate KZG scheme and many of its variants under falsifiable assumptions. acknowledgement: Juraj Belohorec, Pavel Hubáček, and Kristýna Mašková were partially supported by the Academy of Sciences of the Czech Republic (RVO 67985840), Czech Science Foundation GAČR grant No. 25-16311S, and by Zircuit. Pavel Dvořák was supported by Czech Science Foundation GAČR grant No. 22-14872O. Juraj Belohorec and Kristýna Mašková were supported by the grant SVV–2025–260822. alternative_title: - LNCS article_processing_charge: No author: - first_name: Juraj full_name: Belohorec, Juraj last_name: Belohorec - first_name: Pavel full_name: Dvořák, Pavel last_name: Dvořák - first_name: Charlotte full_name: Hoffmann, Charlotte id: 0f78d746-dc7d-11ea-9b2f-83f92091afe7 last_name: Hoffmann orcid: 0000-0003-2027-5549 - first_name: Pavel full_name: Hubáček, Pavel last_name: Hubáček - first_name: Kristýna full_name: Mašková, Kristýna last_name: Mašková - first_name: Martin full_name: Pastyřík, Martin last_name: Pastyřík citation: ama: 'Belohorec J, Dvořák P, Hoffmann C, Hubáček P, Mašková K, Pastyřík M. On extractability of the KZG family of polynomial commitment schemes. In: 45th Annual International Cryptology Conference. Vol 16005. Springer Nature; 2025:584-616. doi:10.1007/978-3-032-01887-8_19' apa: 'Belohorec, J., Dvořák, P., Hoffmann, C., Hubáček, P., Mašková, K., & Pastyřík, M. (2025). On extractability of the KZG family of polynomial commitment schemes. In 45th Annual International Cryptology Conference (Vol. 16005, pp. 584–616). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-032-01887-8_19' chicago: Belohorec, Juraj, Pavel Dvořák, Charlotte Hoffmann, Pavel Hubáček, Kristýna Mašková, and Martin Pastyřík. “On Extractability of the KZG Family of Polynomial Commitment Schemes.” In 45th Annual International Cryptology Conference, 16005:584–616. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-01887-8_19. ieee: J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, and M. Pastyřík, “On extractability of the KZG family of polynomial commitment schemes,” in 45th Annual International Cryptology Conference, Santa Barbara, CA, United States, 2025, vol. 16005, pp. 584–616. ista: 'Belohorec J, Dvořák P, Hoffmann C, Hubáček P, Mašková K, Pastyřík M. 2025. On extractability of the KZG family of polynomial commitment schemes. 45th Annual International Cryptology Conference. CRYPTO: International Cryptology Conference, LNCS, vol. 16005, 584–616.' mla: Belohorec, Juraj, et al. “On Extractability of the KZG Family of Polynomial Commitment Schemes.” 45th Annual International Cryptology Conference, vol. 16005, Springer Nature, 2025, pp. 584–616, doi:10.1007/978-3-032-01887-8_19. short: J. Belohorec, P. Dvořák, C. Hoffmann, P. Hubáček, K. Mašková, M. Pastyřík, in:, 45th Annual International Cryptology Conference, Springer Nature, 2025, pp. 584–616. conference: end_date: 2025-08-221 location: Santa Barbara, CA, United States name: 'CRYPTO: International Cryptology Conference' start_date: 2025-08-17 date_created: 2026-02-18T10:59:58Z date_published: 2025-08-17T00:00:00Z date_updated: 2026-02-19T07:50:33Z day: '17' department: - _id: KrPi doi: 10.1007/978-3-032-01887-8_19 intvolume: ' 16005' language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2025/514 month: '08' oa: 1 oa_version: Preprint page: 584-616 publication: 45th Annual International Cryptology Conference publication_identifier: eisbn: - '9783032018878' eissn: - 1611-3349 isbn: - '9783032018861' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' status: public title: On extractability of the KZG family of polynomial commitment schemes type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 16005 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21324' abstract: - lang: eng text: Learning models have been shown to rely on spurious correlations between non-predictive features and the associated labels in the training data, with negative implications on robustness, bias and fairness. In this work, we provide a statistical characterization of this phenomenon for high-dimensional regression, when the data contains a predictive core feature x and a spurious feature y. Specifically, we quantify the amount of spurious correlations C learned via linear regression, in terms of the data covariance and the strength λ of the ridge regularization. As a consequence, we first capture the simplicity of y through the spectrum of its covariance, and its correlation with x through the Schur complement of the full data covariance. Next, we prove a trade-off between C and the in-distribution test loss L, by showing that the value of λ that minimizes L lies in an interval where C is increasing. Finally, we investigate the effects of over-parameterization via the random features model, by showing its equivalence to regularized linear regression. Our theoretical results are supported by numerical experiments on Gaussian, Color-MNIST, and CIFAR-10 datasets. acknowledgement: Marco Mondelli is funded by the European Union (ERC, INF2, project number 101161364). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. Simone Bombari is supported by a Google PhD fellowship. The authors would like to thank GuanWen Qiu for helpful discussions. alternative_title: - PMLR article_processing_charge: No arxiv: 1 author: - first_name: Simone full_name: Bombari, Simone id: ca726dda-de17-11ea-bc14-f9da834f63aa last_name: Bombari - first_name: Marco full_name: Mondelli, Marco id: 27EB676C-8706-11E9-9510-7717E6697425 last_name: Mondelli orcid: 0000-0002-3242-7020 citation: ama: 'Bombari S, Mondelli M. Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:4839-4873.' apa: 'Bombari, S., & Mondelli, M. (2025). Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 4839–4873). Vancouver, Canada: ML Research Press.' chicago: 'Bombari, Simone, and Marco Mondelli. “Spurious Correlations in High Dimensional Regression: The Roles of Regularization, Simplicity Bias and over-Parameterization.” In Proceedings of the 42nd International Conference on Machine Learning, 267:4839–73. ML Research Press, 2025.' ieee: 'S. Bombari and M. Mondelli, “Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization,” in Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 4839–4873.' ista: 'Bombari S, Mondelli M. 2025. Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 4839–4873.' mla: 'Bombari, Simone, and Marco Mondelli. “Spurious Correlations in High Dimensional Regression: The Roles of Regularization, Simplicity Bias and over-Parameterization.” Proceedings of the 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 4839–73.' short: S. Bombari, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 4839–4873. conference: end_date: 2025-07-19 location: Vancouver, Canada name: 'ICML: International Conference on Machine Learning' start_date: 2025-07-13 corr_author: '1' date_created: 2026-02-18T11:58:00Z date_published: 2025-07-30T00:00:00Z date_updated: 2026-02-19T08:08:55Z day: '30' ddc: - '000' department: - _id: MaMo external_id: arxiv: - '2502.01347' file: - access_level: open_access checksum: d4ba4f7717b362ca38878f45e57bd643 content_type: application/pdf creator: dernst date_created: 2026-02-19T08:04:38Z date_updated: 2026-02-19T08:04:38Z file_id: '21335' file_name: 2025_ICML_Bombari.pdf file_size: 887526 relation: main_file success: 1 file_date_updated: 2026-02-19T08:04:38Z has_accepted_license: '1' intvolume: ' 267' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 4839-4873 project: - _id: 911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf grant_number: '101161364' name: 'Inference in High Dimensions: Light-speed Algorithms and Information Limits' - _id: 92099302-16d5-11f0-9cad-f9a785f54fbd name: 'Trustworthy Deep Learning Theory: Private Over-Parameterized Models and Robust LLMs' publication: Proceedings of the 42nd International Conference on Machine Learning publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' status: public title: 'Spurious correlations in high dimensional regression: The roles of regularization, simplicity bias and over-parameterization' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 267 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21325' abstract: - lang: eng text: Test-time training (TTT) methods explicitly update the weights of a model to adapt to the specific test instance, and they have found success in a variety of settings, including most recently language modeling and reasoning. To demystify this success, we investigate a gradient-based TTT algorithm for in-context learning, where we train a transformer model on the in-context demonstrations provided in the test prompt. Specifically, we provide a comprehensive theoretical characterization of linear transformers when the update rule is a single gradient step. Our theory (i) delineates the role of alignment between pretraining distribution and target task, (ii) demystifies how TTT can alleviate distribution shift, and (iii) quantifies the sample complexity of TTT including how it can significantly reduce the eventual sample size required for in-context learning. As our empirical contribution, we study the benefits of TTT for TabPFN, a tabular foundation model. In line with our theory, we demonstrate that TTT significantly reduces the required sample size for tabular classification (3 to 5 times fewer) unlocking substantial inference efficiency with a negligible training cost. acknowledgement: "H.A.G., M.E.I., X.Z., and S.O. were supported in part by the NSF grants CCF2046816, CCF-2403075, CCF-2008020, and the Office of Naval Research grant N000142412289.\r\nM. M. is funded by the European Union (ERC, INF2 , project number 101161364). Views and opinions expressed are, however, those of the author(s) only and do not necessarily\r\nreflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. M.S. is supported by the Packard Fellowship in Science and Engineering, a Sloan Research Fellowship in Mathematics, an NSF-CAREER under award #1846369, DARPA FastNICS program, and NSF-CIF awards #1813877 and #2008443, and NIH DP2LM014564-01. The authors also\r\nacknowledge further support from Open Philanthropy, OpenAI, Amazon Research, Google Research, and Microsoft Research." alternative_title: - PMLR article_processing_charge: No author: - first_name: Halil Alperen full_name: Gozeten, Halil Alperen last_name: Gozeten - first_name: Muhammed Emrullah full_name: Ildiz, Muhammed Emrullah last_name: Ildiz - first_name: Xuechen full_name: Zhang, Xuechen last_name: Zhang - first_name: Mahdi full_name: Soltanolkotabi, Mahdi last_name: Soltanolkotabi - first_name: Marco full_name: Mondelli, Marco id: 27EB676C-8706-11E9-9510-7717E6697425 last_name: Mondelli orcid: 0000-0002-3242-7020 - first_name: Samet full_name: Oymak, Samet last_name: Oymak citation: ama: 'Gozeten HA, Ildiz ME, Zhang X, Soltanolkotabi M, Mondelli M, Oymak S. Test-time training provably improves transformers as in-context learners. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:20266-20295.' apa: 'Gozeten, H. A., Ildiz, M. E., Zhang, X., Soltanolkotabi, M., Mondelli, M., & Oymak, S. (2025). Test-time training provably improves transformers as in-context learners. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 20266–20295). Vancouver, Canada: ML Research Press.' chicago: Gozeten, Halil Alperen, Muhammed Emrullah Ildiz, Xuechen Zhang, Mahdi Soltanolkotabi, Marco Mondelli, and Samet Oymak. “Test-Time Training Provably Improves Transformers as in-Context Learners.” In Proceedings of the 42nd International Conference on Machine Learning, 267:20266–95. ML Research Press, 2025. ieee: H. A. Gozeten, M. E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, and S. Oymak, “Test-time training provably improves transformers as in-context learners,” in Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 20266–20295. ista: 'Gozeten HA, Ildiz ME, Zhang X, Soltanolkotabi M, Mondelli M, Oymak S. 2025. Test-time training provably improves transformers as in-context learners. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 20266–20295.' mla: Gozeten, Halil Alperen, et al. “Test-Time Training Provably Improves Transformers as in-Context Learners.” Proceedings of the 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 20266–95. short: H.A. Gozeten, M.E. Ildiz, X. Zhang, M. Soltanolkotabi, M. Mondelli, S. Oymak, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 20266–20295. conference: end_date: 2025-07-19 location: Vancouver, Canada name: 'ICML: International Conference on Machine Learning' start_date: 2025-07-13 date_created: 2026-02-18T12:00:44Z date_published: 2025-11-30T00:00:00Z date_updated: 2026-02-19T08:18:24Z day: '30' ddc: - '000' department: - _id: MaMo external_id: pmid: - '41321376' file: - access_level: open_access checksum: f774f8619a0d72f3975d9cb23942a1e9 content_type: application/pdf creator: dernst date_created: 2026-02-19T08:15:48Z date_updated: 2026-02-19T08:15:48Z file_id: '21336' file_name: 2025_ICML_Gozeten.pdf file_size: 471176 relation: main_file success: 1 file_date_updated: 2026-02-19T08:15:48Z has_accepted_license: '1' intvolume: ' 267' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: 20266-20295 pmid: 1 project: - _id: 911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf grant_number: '101161364' name: 'Inference in High Dimensions: Light-speed Algorithms and Information Limits' publication: Proceedings of the 42nd International Conference on Machine Learning publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' status: public title: Test-time training provably improves transformers as in-context learners tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 267 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21326' abstract: - lang: eng text: 'Neural Collapse is a phenomenon where the last-layer representations of a well-trained neural network converge to a highly structured geometry. In this paper, we focus on its first (and most basic) property, known as NC1: the within-class variability vanishes. While prior theoretical studies establish the occurrence of NC1 via the data-agnostic unconstrained features model, our work adopts a data-specific perspective, analyzing NC1 in a three-layer neural network, with the first two layers operating in the mean-field regime and followed by a linear layer. In particular, we establish a fundamental connection between NC1 and the loss landscape: we prove that points with small empirical loss and gradient norm (thus, close to being stationary) approximately satisfy NC1, and the closeness to NC1 is controlled by the residual loss and gradient norm. We then show that (i) gradient flow on the mean squared error converges to NC1 solutions with small empirical loss, and (ii) for well-separated data distributions, both NC1 and vanishing test loss are achieved simultaneously. This aligns with the empirical observation that NC1 emerges during training while models attain near-zero test error. Overall, our results demonstrate that NC1 arises from gradient training due to the properties of the loss landscape, and they show the co-occurrence of NC1 and small test error for certain data distributions.' 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. " alternative_title: - PMLR article_processing_charge: No arxiv: 1 author: - first_name: Diyuan full_name: Wu, Diyuan id: 1a5914c2-896a-11ed-bdf8-fb80621a0635 last_name: Wu - first_name: Marco full_name: Mondelli, Marco id: 27EB676C-8706-11E9-9510-7717E6697425 last_name: Mondelli orcid: 0000-0002-3242-7020 citation: ama: 'Wu D, Mondelli M. Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:67499-67536.' apa: 'Wu, D., & Mondelli, M. (2025). Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime. In Proceedings of the 42nd International Conference on Machine Learning (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 Proceedings of the 42nd International Conference on Machine Learning, 267:67499–536. ML Research Press, 2025.' ieee: 'D. Wu and M. Mondelli, “Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime,” in Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 67499–67536.' 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.' mla: 'Wu, Diyuan, and Marco Mondelli. “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, vol. 267, ML Research Press, 2025, pp. 67499–536.' short: D. Wu, M. Mondelli, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 67499–67536. conference: end_date: 2025-07-19 location: Vancouver, Canada name: 'ICML: International Conference on Machine Learning' start_date: 2025-07-13 corr_author: '1' date_created: 2026-02-18T12:02:45Z date_published: 2025-07-30T00:00:00Z date_updated: 2026-02-19T08:30:42Z day: '30' ddc: - '000' department: - _id: MaMo external_id: arxiv: - '2501.19104' file: - access_level: open_access checksum: c5ce8b1c83e33dc3a11122f4910deb67 content_type: application/pdf creator: dernst date_created: 2026-02-19T08:28:22Z date_updated: 2026-02-19T08:28:22Z file_id: '21337' file_name: 2025_ICML_Wu.pdf file_size: 3994385 relation: main_file success: 1 file_date_updated: 2026-02-19T08:28:22Z has_accepted_license: '1' intvolume: ' 267' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 67499-67536 publication: Proceedings of the 42nd International Conference on Machine Learning publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' status: public title: 'Neural collapse beyond the unconstrained features model: Landscape, dynamics, and generalization in the mean-field regime' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 267 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21327' abstract: - lang: eng text: Proteins exist as a dynamic ensemble of multiple conformations, and these motions are often crucial for their functions. However, current structure prediction methods predominantly yield a single conformation, overlooking the conformational heterogeneity revealed by diverse experimental modalities. Here, we present a framework for building experiment-grounded protein structure generative models that infer conformational ensembles consistent with measured experimental data. The key idea is to treat stateof-the-art protein structure predictors (e.g., AlphaFold3) as sequence-conditioned structural priors, and cast ensemble modeling as posterior inference of protein structures given experimental measurements. Through extensive real-data experiments, we demonstrate the generality of our method to incorporate a variety of experimental measurements. In particular, our framework uncovers previously unmodeled conformational heterogeneity from crystallographic densities, and generates high-accuracy NMR ensembles orders of magnitude faster than the status quo. Notably, we demonstrate that our ensembles outperform AlphaFold3 (Abramson et al., 2024) and sometimes better fit experimental data than publicly deposited structures to the Protein Data Bank (PDB, Burley et al. (2017)). We believe that this approach will unlock building predictive models that fully embrace experimentally observed conformational diversity. acknowledged_ssus: - _id: ScienComp acknowledgement: 'This work was supported by the Israeli Science Foundation (ISF) grant number 1834/24. We acknowledge support from the Austrian Science Fund (FWF, grant numbers I5812-B and I6223) and the financial support of the Helmsley Fellowships Program for Sustainability and Health. This research uses resources of the Institute of Science and Technology Austria’s scientific computing cluster. ' alternative_title: - PMLR article_processing_charge: No arxiv: 1 author: - first_name: Sai A full_name: Maddipatla, Sai A id: e957f5e5-91c9-11f0-a95f-e090f66ecb4d last_name: Maddipatla - first_name: Nadav E full_name: Sellam, Nadav E id: ef280fe0-91c9-11f0-a95f-8dea3f5bc513 last_name: Sellam - first_name: Meital I full_name: Bojan, Meital I id: 11d88cf5-91ca-11f0-a95f-edf9f08f47b7 last_name: Bojan - first_name: Sanketh full_name: Vedula, Sanketh id: 94f2fe44-70fa-11f0-b76b-92922c09452b last_name: Vedula - first_name: Paul full_name: Schanda, Paul id: 7B541462-FAF6-11E9-A490-E8DFE5697425 last_name: Schanda orcid: 0000-0002-9350-7606 - first_name: Ailie full_name: Marx, Ailie last_name: Marx - first_name: Alexander full_name: Bronstein, Alexander id: 58f3726e-7cba-11ef-ad8b-e6e8cb3904e6 last_name: Bronstein orcid: 0000-0001-9699-8730 citation: ama: 'Maddipatla SA, Sellam NE, Bojan MI, et al. Inverse problems with experiment-guided AlphaFold. In: Proceedings of the 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:42366-42393.' apa: 'Maddipatla, S. A., Sellam, N. E., Bojan, M. I., Vedula, S., Schanda, P., Marx, A., & Bronstein, A. M. (2025). Inverse problems with experiment-guided AlphaFold. In Proceedings of the 42nd International Conference on Machine Learning (Vol. 267, pp. 42366–42393). Vancouver, Canada: ML Research Press.' chicago: Maddipatla, Sai A, Nadav E Sellam, Meital I Bojan, Sanketh Vedula, Paul Schanda, Ailie Marx, and Alex M. Bronstein. “Inverse Problems with Experiment-Guided AlphaFold.” In Proceedings of the 42nd International Conference on Machine Learning, 267:42366–93. ML Research Press, 2025. ieee: S. A. Maddipatla et al., “Inverse problems with experiment-guided AlphaFold,” in Proceedings of the 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 42366–42393. ista: 'Maddipatla SA, Sellam NE, Bojan MI, Vedula S, Schanda P, Marx A, Bronstein AM. 2025. Inverse problems with experiment-guided AlphaFold. Proceedings of the 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 42366–42393.' mla: Maddipatla, Sai A., et al. “Inverse Problems with Experiment-Guided AlphaFold.” Proceedings of the 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 42366–93. short: S.A. Maddipatla, N.E. Sellam, M.I. Bojan, S. Vedula, P. Schanda, A. Marx, A.M. Bronstein, in:, Proceedings of the 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 42366–42393. conference: end_date: 2025-07-19 location: Vancouver, Canada name: 'ICML: International Conference on Machine Learning' start_date: 2025-07-13 corr_author: '1' date_created: 2026-02-18T12:11:17Z date_published: 2025-07-30T00:00:00Z date_updated: 2026-02-19T08:56:43Z day: '30' ddc: - '000' - '540' department: - _id: PaSc - _id: AlBr - _id: GradSch external_id: arxiv: - '2502.09372' file: - access_level: open_access checksum: f33230a6d59b7978d4cd72795e4e9059 content_type: application/pdf creator: dernst date_created: 2026-02-19T08:56:10Z date_updated: 2026-02-19T08:56:10Z file_id: '21338' file_name: 2025_ICML_Maddipatla.pdf file_size: 1924177 relation: main_file success: 1 file_date_updated: 2026-02-19T08:56:10Z has_accepted_license: '1' intvolume: ' 267' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 42366 - 42393 project: - _id: eb9c82eb-77a9-11ec-83b8-aadd536561cf grant_number: I05812 name: AlloSpace. The emergence and mechanisms of allostery - _id: bdb9578d-d553-11ed-ba76-ed5d39fce6f0 grant_number: I06223 name: Structure and mechanism of the mitochondrial MIM insertase publication: Proceedings of the 42nd International Conference on Machine Learning publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' status: public title: Inverse problems with experiment-guided AlphaFold tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 267 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21328' abstract: - lang: eng text: Multi-index models provide a popular framework to investigate the learnability of functions with low-dimensional structure and, also due to their connections with neural networks, they have been object of recent intensive study. In this paper, we focus on recovering the subspace spanned by the signals via spectral estimators – a family of methods routinely used in practice, often as a warm-start for iterative algorithms. Our main technical contribution is a precise asymptotic characterization of the performance of spectral methods, when sample size and input dimension grow proportionally and the dimension p of the space to recover is fixed. Specifically, we locate the top-p eigenvalues of the spectral matrix and establish the overlaps between the corresponding eigenvectors (which give the spectral estimators) and a basis of the signal subspace. Our analysis unveils a phase transition phenomenon in which, as the sample complexity grows, eigenvalues escape from the bulk of the spectrum and, when that happens, eigenvectors recover directions of the desired subspace. The precise characterization we put forward enables the optimization of the data preprocessing, thus allowing to identify the spectral estimator that requires the minimal sample size for weak recovery. acknowledgement: "This work was done when Y. Z. was at the Institute of Science and Technology Austria. Y. Z. and\r\nM. M. are funded by the European Union (ERC, INF2, project number 101161364). Views and\r\nopinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. The authors would like to acknowledge (in alphabetical order) discussions with Yatin Dandi, Leonardo Defilippis and Bruno Loureiro concerning their parallel work (Defilippis et al., 2025)." alternative_title: - PMLR article_processing_charge: No arxiv: 1 author: - first_name: Filip full_name: Kovačević, Filip id: d0258e7b-50b8-11ef-ad56-8b9f537b6b1b last_name: Kovačević - first_name: Zhang full_name: Yihan, Zhang last_name: Yihan - first_name: Marco full_name: Mondelli, Marco id: 27EB676C-8706-11E9-9510-7717E6697425 last_name: Mondelli orcid: 0000-0002-3242-7020 citation: ama: 'Kovačević F, Yihan Z, Mondelli M. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In: Proceedings of 38th Conference on Learning Theory. Vol 291. ML Research Press; 2025:3354-3404.' apa: 'Kovačević, F., Yihan, Z., & Mondelli, M. (2025). Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. In Proceedings of 38th Conference on Learning Theory (Vol. 291, pp. 3354–3404). Lyon, France: ML Research Press.' chicago: 'Kovačević, Filip, Zhang Yihan, and Marco Mondelli. “Spectral Estimators for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery.” In Proceedings of 38th Conference on Learning Theory, 291:3354–3404. ML Research Press, 2025.' ieee: 'F. Kovačević, Z. Yihan, and M. Mondelli, “Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery,” in Proceedings of 38th Conference on Learning Theory, Lyon, France, 2025, vol. 291, pp. 3354–3404.' ista: 'Kovačević F, Yihan Z, Mondelli M. 2025. Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery. Proceedings of 38th Conference on Learning Theory. COLT: Conference on Learning Theory, PMLR, vol. 291, 3354–3404.' mla: 'Kovačević, Filip, et al. “Spectral Estimators for Multi-Index Models: Precise Asymptotics and Optimal Weak Recovery.” Proceedings of 38th Conference on Learning Theory, vol. 291, ML Research Press, 2025, pp. 3354–404.' short: F. Kovačević, Z. Yihan, M. Mondelli, in:, Proceedings of 38th Conference on Learning Theory, ML Research Press, 2025, pp. 3354–3404. conference: end_date: 2025-07-04 location: Lyon, France name: 'COLT: Conference on Learning Theory' start_date: 2025-06-30 corr_author: '1' date_created: 2026-02-18T12:12:47Z date_published: 2025-07-01T00:00:00Z date_updated: 2026-02-19T09:03:53Z day: '01' ddc: - '000' department: - _id: MaMo external_id: arxiv: - '2502.01583' file: - access_level: open_access checksum: 19aa70ab4f57fb9067b6ebb99a5fd6f0 content_type: application/pdf creator: dernst date_created: 2026-02-19T09:03:43Z date_updated: 2026-02-19T09:03:43Z file_id: '21339' file_name: 2025_LearningTheory_Kovacevic.pdf file_size: 844611 relation: main_file success: 1 file_date_updated: 2026-02-19T09:03:43Z has_accepted_license: '1' intvolume: ' 291' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 3354-3404 project: - _id: 911e6d1f-16d5-11f0-9cad-c5c68c6a1cdf grant_number: '101161364' name: 'Inference in High Dimensions: Light-speed Algorithms and Information Limits' publication: Proceedings of 38th Conference on Learning Theory publication_identifier: eissn: - 2640-3498 publication_status: published publisher: ML Research Press quality_controlled: '1' scopus_import: '1' status: public title: 'Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 291 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '21343' abstract: - lang: eng text: "The large sieve is used to estimate the density of quadratic polynomials Q ∈ Z[x],\r\nsuch that there exists an odd degree polynomial defined over Z which has resultant ±1 with Q.\r\nGiven a monic polynomial R ∈ Z[x] of odd degree, this is used to show that for almost all\r\nquadratic polynomials Q ∈ Z[x], there exists a prime p such that Q and R share a common\r\nroot in Fp. Using recent work of Landesman, an application to the average size of the odd part\r\nof the class group of quadratic number fields is also given" - lang: fre text: ' Le grand crible est utilisé pour estimer la densité des polynômes quadratiques Q ∈ Z[x] tels qu’il existe un polynôme de degré impair défini sur Z dont le résultant avec Q est égal à ±1. Étant donné un polynôme unitaire R ∈ Z[x] de degré impair, on s’en sert pour montrer que, pour presque tous les polynômes quadratiques Q ∈ Z[x], il existe un nombre premier p tel que Q et R aient une racine commune dans Fp. En utilisant des travaux récents de Landesman, on obtient également une application concernant la taille moyenne de la partie impaire du groupe de classe des corps quadratiques.' acknowledgement: While working on this paper, the first author was supported by a FWF grant (DOI 10.55776/P36278). article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 - first_name: Yik Tung full_name: Chan, Yik Tung id: c4c0afc8-9262-11ed-9231-d8b0bc743af1 last_name: Chan orcid: 0000-0001-8467-4106 citation: ama: Browning TD, Chan S. Solubility of a resultant equation and applications. Journal de l’ecole polytechnique mathematiques. 2025;12:1677-1691. doi:10.5802/jep.320 apa: Browning, T. D., & Chan, S. (2025). Solubility of a resultant equation and applications. Journal de l’ecole Polytechnique Mathematiques. Ecole polytechnique. https://doi.org/10.5802/jep.320 chicago: Browning, Timothy D, and Stephanie Chan. “Solubility of a Resultant Equation and Applications.” Journal de l’ecole Polytechnique Mathematiques. Ecole polytechnique, 2025. https://doi.org/10.5802/jep.320. ieee: T. D. Browning and S. Chan, “Solubility of a resultant equation and applications,” Journal de l’ecole polytechnique mathematiques, vol. 12. Ecole polytechnique, pp. 1677–1691, 2025. ista: Browning TD, Chan S. 2025. Solubility of a resultant equation and applications. Journal de l’ecole polytechnique mathematiques. 12, 1677–1691. mla: Browning, Timothy D., and Stephanie Chan. “Solubility of a Resultant Equation and Applications.” Journal de l’ecole Polytechnique Mathematiques, vol. 12, Ecole polytechnique, 2025, pp. 1677–91, doi:10.5802/jep.320. short: T.D. Browning, S. Chan, Journal de l’ecole Polytechnique Mathematiques 12 (2025) 1677–1691. corr_author: '1' date_created: 2026-02-22T23:01:36Z date_published: 2025-10-21T00:00:00Z date_updated: 2026-02-24T07:57:53Z day: '21' ddc: - '510' department: - _id: TiBr doi: 10.5802/jep.320 external_id: arxiv: - '2411.09264' file: - access_level: open_access checksum: 828577ea48ac6109d3e9dd1aeddd45c4 content_type: application/pdf creator: dernst date_created: 2026-02-24T07:56:34Z date_updated: 2026-02-24T07:56:34Z file_id: '21356' file_name: 2025_JEP_Browning.pdf file_size: 1003689 relation: main_file success: 1 file_date_updated: 2026-02-24T07:56:34Z has_accepted_license: '1' intvolume: ' 12' language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 1677-1691 project: - _id: bd8a4fdc-d553-11ed-ba76-80a0167441a3 grant_number: P36278 name: Rational curves via function field analytic number theory publication: Journal de l'ecole polytechnique mathematiques publication_identifier: eissn: - 2270-518X issn: - 2429-7100 publication_status: published publisher: Ecole polytechnique quality_controlled: '1' scopus_import: '1' status: public title: Solubility of a resultant equation and applications tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 12 year: '2025' ... --- OA_place: repository _id: '21399' abstract: - lang: eng text: We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas. article_processing_charge: No arxiv: 1 author: - first_name: Matthew full_name: Bolan, Matthew last_name: Bolan - first_name: Joachim full_name: Breitner, Joachim last_name: Breitner - first_name: Jose full_name: Brox, Jose last_name: Brox - first_name: Nicholas full_name: Carlini, Nicholas last_name: Carlini - first_name: Mario full_name: Carneiro, Mario last_name: Carneiro - first_name: Floris van full_name: Doorn, Floris van last_name: Doorn - first_name: Martin full_name: Dvorak, Martin id: 40ED02A8-C8B4-11E9-A9C0-453BE6697425 last_name: Dvorak orcid: 0000-0001-5293-214X - first_name: Andrés full_name: Goens, Andrés last_name: Goens - first_name: Aaron full_name: Hill, Aaron last_name: Hill - first_name: Harald full_name: Husum, Harald last_name: Husum - first_name: Hernán Ibarra full_name: Mejia, Hernán Ibarra last_name: Mejia - first_name: Zoltan A. full_name: Kocsis, Zoltan A. last_name: Kocsis - first_name: Bruno Le full_name: Floch, Bruno Le last_name: Floch - first_name: Amir full_name: Bar-on, Amir last_name: Bar-on - first_name: Lorenzo full_name: Luccioli, Lorenzo last_name: Luccioli - first_name: Douglas full_name: McNeil, Douglas last_name: McNeil - first_name: Alex full_name: Meiburg, Alex last_name: Meiburg - first_name: Pietro full_name: Monticone, Pietro last_name: Monticone - first_name: Pace P. full_name: Nielsen, Pace P. last_name: Nielsen - first_name: Emmanuel Osalotioman full_name: Osazuwa, Emmanuel Osalotioman last_name: Osazuwa - first_name: Giovanni full_name: Paolini, Giovanni last_name: Paolini - first_name: Marco full_name: Petracci, Marco last_name: Petracci - first_name: Bernhard full_name: Reinke, Bernhard last_name: Reinke - first_name: David full_name: Renshaw, David last_name: Renshaw - first_name: Marcus full_name: Rossel, Marcus last_name: Rossel - first_name: Cody full_name: Roux, Cody last_name: Roux - first_name: Jérémy full_name: Scanvic, Jérémy last_name: Scanvic - first_name: Shreyas full_name: Srinivas, Shreyas last_name: Srinivas - first_name: Anand Rao full_name: Tadipatri, Anand Rao last_name: Tadipatri - first_name: Terence full_name: Tao, Terence last_name: Tao - first_name: Vlad full_name: Tsyrklevich, Vlad last_name: Tsyrklevich - first_name: Fernando full_name: Vaquerizo-Villar, Fernando last_name: Vaquerizo-Villar - first_name: Daniel full_name: Weber, Daniel last_name: Weber - first_name: Fan full_name: Zheng, Fan last_name: Zheng citation: ama: 'Bolan M, Breitner J, Brox J, et al. The equational theories project: Advancing collaborative mathematical research at scale. arXiv. doi:10.48550/arXiv.2512.07087' apa: 'Bolan, M., Breitner, J., Brox, J., Carlini, N., Carneiro, M., Doorn, F. van, … Zheng, F. (n.d.). The equational theories project: Advancing collaborative mathematical research at scale. arXiv. https://doi.org/10.48550/arXiv.2512.07087' chicago: 'Bolan, Matthew, Joachim Breitner, Jose Brox, Nicholas Carlini, Mario Carneiro, Floris van Doorn, Martin Dvorak, et al. “The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2512.07087.' ieee: 'M. Bolan et al., “The equational theories project: Advancing collaborative mathematical research at scale,” arXiv. .' ista: 'Bolan M, Breitner J, Brox J, Carlini N, Carneiro M, Doorn F van, Dvorak M, Goens A, Hill A, Husum H, Mejia HI, Kocsis ZA, Floch BL, Bar-on A, Luccioli L, McNeil D, Meiburg A, Monticone P, Nielsen PP, Osazuwa EO, Paolini G, Petracci M, Reinke B, Renshaw D, Rossel M, Roux C, Scanvic J, Srinivas S, Tadipatri AR, Tao T, Tsyrklevich V, Vaquerizo-Villar F, Weber D, Zheng F. The equational theories project: Advancing collaborative mathematical research at scale. arXiv, 10.48550/arXiv.2512.07087.' mla: 'Bolan, Matthew, et al. “The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale.” ArXiv, doi:10.48550/arXiv.2512.07087.' short: M. Bolan, J. Breitner, J. Brox, N. Carlini, M. Carneiro, F. van Doorn, M. Dvorak, A. Goens, A. Hill, H. Husum, H.I. Mejia, Z.A. Kocsis, B.L. Floch, A. Bar-on, L. Luccioli, D. McNeil, A. Meiburg, P. Monticone, P.P. Nielsen, E.O. Osazuwa, G. Paolini, M. Petracci, B. Reinke, D. Renshaw, M. Rossel, C. Roux, J. Scanvic, S. Srinivas, A.R. Tadipatri, T. Tao, V. Tsyrklevich, F. Vaquerizo-Villar, D. Weber, F. Zheng, ArXiv (n.d.). date_created: 2026-03-04T12:00:16Z date_published: 2025-12-16T00:00:00Z date_updated: 2026-03-12T08:36:21Z day: '16' department: - _id: GradSch - _id: VlKo doi: 10.48550/arXiv.2512.07087 external_id: arxiv: - '2512.07087' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2512.07087 month: '12' oa: 1 oa_version: Preprint publication: arXiv publication_status: submitted status: public title: 'The equational theories project: Advancing collaborative mathematical research at scale' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: preprint user_id: 8b945eb4-e2f2-11eb-945a-df72226e66a9 year: '2025' ... --- OA_place: publisher OA_type: gold _id: '21412' 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 \U0001D4AA(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 \U0001D4AA(√p). We complement our theoretical analysis with an empirical study of our assumptions and approach in the context of the Lightning Network." 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)." alternative_title: - LIPIcs article_number: '23' article_processing_charge: No arxiv: 1 author: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Jan Matyáš full_name: Křišťan, Jan Matyáš last_name: Křišťan - first_name: Stefan full_name: Schmid, Stefan last_name: Schmid - first_name: Jakub full_name: Svoboda, Jakub id: 130759D2-D7DD-11E9-87D2-DE0DE6697425 last_name: Svoboda orcid: 0000-0002-1419-3267 - first_name: Michelle X full_name: Yeo, Michelle X id: 2D82B818-F248-11E8-B48F-1D18A9856A87 last_name: Yeo orcid: 0009-0001-3676-4809 citation: ama: 'Chatterjee K, Křišťan JM, Schmid S, Svoboda J, Yeo MX. Boosting payment channel network liquidity with topology optimization and transaction selection. In: 39th International Symposium on Distributed Computing. Vol 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025. doi:10.4230/LIPIcs.DISC.2025.23' apa: 'Chatterjee, K., Křišťan, J. M., Schmid, S., Svoboda, J., & Yeo, M. X. (2025). Boosting payment channel network liquidity with topology optimization and transaction selection. In 39th International Symposium on Distributed Computing (Vol. 356). Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2025.23' chicago: Chatterjee, Krishnendu, Jan Matyáš Křišťan, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” In 39th International Symposium on Distributed Computing, Vol. 356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. https://doi.org/10.4230/LIPIcs.DISC.2025.23. 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 39th International Symposium on Distributed Computing, Berlin, Germany, 2025, vol. 356. 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.' mla: Chatterjee, Krishnendu, et al. “Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection.” 39th International Symposium on Distributed Computing, vol. 356, 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.DISC.2025.23. short: K. Chatterjee, J.M. Křišťan, S. Schmid, J. Svoboda, M.X. Yeo, in:, 39th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. conference: end_date: 2025-10-31 location: Berlin, Germany name: 'DISC: Symposium on Distributed Computing' start_date: 2025-10-27 date_created: 2026-03-08T23:01:46Z date_published: 2025-10-22T00:00:00Z date_updated: 2026-03-09T11:52:58Z day: '22' ddc: - '000' department: - _id: KrCh doi: 10.4230/LIPIcs.DISC.2025.23 ec_funded: 1 external_id: arxiv: - '2508.14524' file: - access_level: open_access checksum: 8e3d1594365df60163d9df22158a37b1 content_type: application/pdf creator: dernst date_created: 2026-03-09T11:51:59Z date_updated: 2026-03-09T11:51:59Z file_id: '21418' file_name: 2025_DISC_Chatterjee.pdf file_size: 1130069 relation: main_file success: 1 file_date_updated: 2026-03-09T11:51:59Z has_accepted_license: '1' intvolume: ' 356' language: - iso: eng main_file_link: - open_access: '1' url: https://eprint.iacr.org/2025/1484.pdf month: '10' oa: 1 oa_version: Published Version project: - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' publication: 39th International Symposium on Distributed Computing publication_identifier: isbn: - '9783959774024' issn: - 1868-8969 publication_status: published publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik quality_controlled: '1' scopus_import: '1' status: public title: Boosting payment channel network liquidity with topology optimization and transaction selection tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 356 year: '2025' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold PlanS_conform: '1' _id: '21413' abstract: - lang: eng text: "We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs).\r\nThe primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of the state space, instead focussing on particularly relevant areas of the system, guided by heuristics. Our work builds on the previous results of Br{á}zdil et al., significantly extending it as well as refining several details and fixing errors.\r\nThe presented framework focuses on probabilistic reachability, which is a core problem in verification, and is instantiated in two distinct scenarios.\r\nThe first assumes that full knowledge of the MDP is available, in particular precise transition probabilities. It performs a heuristic-driven partial exploration of the model, yielding precise lower and upper bounds on the required probability. The second tackles the case where we may only sample the MDP without knowing the exact transition dynamics. Here, we obtain probabilistic guarantees, again in terms of both the lower and upper bounds, which provides efficient stopping criteria for the approximation. In particular, the latter is an extension of statistical model-checking (SMC) for unbounded properties in MDPs. In contrast to other related approaches, we do not restrict our attention to time-bounded (finite-horizon) or discounted properties, nor assume any particular structural properties of the MDP." acknowledgement: "This research was funded in part by the European Research Council (ERC) under grant agreement AdG-267989 (QUAREM)*, AdG-246967 (VERIWARE)*, StG-279307 (Graph Games)*\r\n, CoG-863818 (ForM-SMArt), and AdG-834115 (FUN2MODEL), by the EU FP7 project HIERATIC*, by the German Research Foundation (DFG) project 427755713 (GOPro), by the Austrian Science Fund (FWF) projects S11402-N23 (RiSE)* , S11407-N23 (RiSE)*\r\n, and P23499-N23* , by the Czech Science Foundation grant No P202/12/P612* and GA23-06963S, by the MUNI Award in Science and Humanities (MUNI/I/1757/2021) of the Grant\r\nAgency of Masaryk University, by EPSRC project EP/K038575/1*, and by the Microsoft faculty fellows award*. A preliminary version of this article appeared at ATVA 2014 [33]. The * indicates funding that supported that version." article_number: '10' article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Tomáš full_name: Brázdil, Tomáš last_name: Brázdil - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Martin full_name: Chmelik, Martin id: 3624234E-F248-11E8-B48F-1D18A9856A87 last_name: Chmelik - first_name: Vojtěch full_name: Forejt, Vojtěch last_name: Forejt - first_name: Jan full_name: Kretinsky, Jan id: 44CEF464-F248-11E8-B48F-1D18A9856A87 last_name: Kretinsky orcid: 0000-0002-8122-2881 - first_name: Marta full_name: Kwiatkowska, Marta last_name: Kwiatkowska - first_name: Tobias full_name: Meggendorfer, Tobias id: b21b0c15-30a2-11eb-80dc-f13ca25802e1 last_name: Meggendorfer orcid: 0000-0002-1712-2165 - first_name: David full_name: Parker, David last_name: Parker - first_name: Mateusz full_name: Ujma, Mateusz last_name: Ujma citation: ama: Brázdil T, Chatterjee K, Chmelik M, et al. Learning algorithms for verification of Markov decision processes. TheoretiCS. 2025;4. doi:10.46298/theoretics.25.10 apa: Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretinsky, J., Kwiatkowska, M., … Ujma, M. (2025). Learning algorithms for verification of Markov decision processes. TheoretiCS. TheoretiCS Foundation. https://doi.org/10.46298/theoretics.25.10 chicago: Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Vojtěch Forejt, Jan Kretinsky, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, and Mateusz Ujma. “Learning Algorithms for Verification of Markov Decision Processes.” TheoretiCS. TheoretiCS Foundation, 2025. https://doi.org/10.46298/theoretics.25.10. ieee: T. Brázdil et al., “Learning algorithms for verification of Markov decision processes,” TheoretiCS, vol. 4. TheoretiCS Foundation, 2025. ista: Brázdil T, Chatterjee K, Chmelik M, Forejt V, Kretinsky J, Kwiatkowska M, Meggendorfer T, Parker D, Ujma M. 2025. Learning algorithms for verification of Markov decision processes. TheoretiCS. 4, 10. mla: Brázdil, Tomáš, et al. “Learning Algorithms for Verification of Markov Decision Processes.” TheoretiCS, vol. 4, 10, TheoretiCS Foundation, 2025, doi:10.46298/theoretics.25.10. short: T. Brázdil, K. Chatterjee, M. Chmelik, V. Forejt, J. Kretinsky, M. Kwiatkowska, T. Meggendorfer, D. Parker, M. Ujma, TheoretiCS 4 (2025). date_created: 2026-03-08T23:01:46Z date_published: 2025-04-01T00:00:00Z date_updated: 2026-03-09T11:43:38Z day: '01' ddc: - '000' department: - _id: KrCh doi: 10.46298/theoretics.25.10 ec_funded: 1 external_id: arxiv: - '2403.09184' file: - access_level: open_access checksum: 2ccf563ae577ee08d82baf752292ca7b content_type: application/pdf creator: dernst date_created: 2026-03-09T11:39:59Z date_updated: 2026-03-09T11:39:59Z file_id: '21417' file_name: 2026_TheoretiCS_Brazdil.pdf file_size: 861607 relation: main_file success: 1 file_date_updated: 2026-03-09T11:39:59Z has_accepted_license: '1' intvolume: ' 4' language: - iso: eng month: '04' oa: 1 oa_version: Published Version project: - _id: 25EE3708-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '267989' name: Quantitative Reactive Modeling - _id: 2581B60A-B435-11E9-9278-68D0E5697425 call_identifier: FP7 grant_number: '279307' name: 'Quantitative Graph Games: Theory and Applications' - _id: 0599E47C-7A3F-11EA-A408-12923DDC885E call_identifier: H2020 grant_number: '863818' name: 'Formal Methods for Stochastic Models: Algorithms and Applications' - _id: 25F2ACDE-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: S11402-N23 name: Rigorous Systems Engineering - _id: 2584A770-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: P 23499-N23 name: Modern Graph Algorithmic Techniques in Formal Verification publication: TheoretiCS publication_identifier: eissn: - 2751-4838 publication_status: published publisher: TheoretiCS Foundation quality_controlled: '1' scopus_import: '1' status: public title: Learning algorithms for verification of Markov decision processes tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 4 year: '2025' ... --- OA_place: publisher OA_type: hybrid PlanS_conform: '1' _id: '17094' abstract: - lang: eng text: Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from the team that implements the component. A theory of formal contracts can be formalized as an interface theory, which supports the composition and refinement of both assumptions and guarantees. Although there is a rich landscape of contract-based design methods that address functional and extra-functional properties, we present the first interface theory designed to ensure system-wide security properties. Our framework provides a refinement relation and a composition operation that support both incremental design and independent implementability. We develop our theory for both stateless and stateful interfaces. Additionally, we introduce information-flow contracts where assumptions and guarantees are sets of flow relations. We use these contracts to illustrate how to enrich information-flow interfaces with a semantic view. We illustrate the applicability of our framework with two examples inspired by the automotive domain. acknowledgement: This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 956123 and it was funded in part by the Austrian Science Fund (FWF) project W1255-N23, by the Austrian FWF project ZK-35, by the FWF project SpyCoDe 10.55776/F85 and by the ERC-2020-AdG 101020093. This paper extends the text and the results of the manuscript published at FASE 2022 [1]. article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Ezio full_name: Bartocci, Ezio last_name: Bartocci - first_name: Thomas full_name: Ferrere, Thomas id: 40960E6E-F248-11E8-B48F-1D18A9856A87 last_name: Ferrere orcid: 0000-0001-5199-3143 - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Dejan full_name: Nickovic, Dejan id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87 last_name: Nickovic - first_name: Ana full_name: Oliveira da Costa, Ana id: f347ec37-6676-11ee-b395-a888cb7b4fb4 last_name: Oliveira da Costa orcid: 0000-0002-8741-5799 citation: ama: Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. Information-flow interfaces. Formal Methods in System Design. 2025;66:3-48. doi:10.1007/s10703-024-00447-0 apa: Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2025). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0 chicago: Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Information-Flow Interfaces.” Formal Methods in System Design. Springer Nature, 2025. https://doi.org/10.1007/s10703-024-00447-0. ieee: E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design, vol. 66. Springer Nature, pp. 3–48, 2025. ista: Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2025. Information-flow interfaces. Formal Methods in System Design. 66, 3–48. mla: Bartocci, Ezio, et al. “Information-Flow Interfaces.” Formal Methods in System Design, vol. 66, Springer Nature, 2025, pp. 3–48, doi:10.1007/s10703-024-00447-0. short: E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48. corr_author: '1' date_created: 2024-06-02T22:00:57Z date_published: 2025-05-01T00:00:00Z date_updated: 2025-12-30T06:50:51Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.1007/s10703-024-00447-0 ec_funded: 1 external_id: arxiv: - '2002.06465' isi: - '001230084200001' file: - access_level: open_access checksum: 244a71a916103b8ea08e9d0bab32bcd9 content_type: application/pdf creator: dernst date_created: 2025-12-30T06:50:12Z date_updated: 2025-12-30T06:50:12Z file_id: '20879' file_name: 2025_FormalMethodsSysDesign_Bartocci.pdf file_size: 3860690 relation: main_file success: 1 file_date_updated: 2025-12-30T06:50:12Z has_accepted_license: '1' intvolume: ' 66' isi: 1 language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: 3-48 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software - _id: 34a1b658-11ca-11ed-8bc3-c75229f0241e grant_number: F8502 name: Interface Theory for Security and Privacy publication: Formal Methods in System Design publication_identifier: eissn: - 1572-8102 issn: - 0925-9856 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '11355' relation: shorter_version status: public scopus_import: '1' status: public title: Information-flow interfaces tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 66 year: '2025' ...