[{"status":"public","date_created":"2025-06-02T09:37:14Z","abstract":[{"lang":"eng","text":"Artifact to reproduce the experimental results presented in the article \"Sound Statistical Model Checking for Probabilities and Expected Rewards\" by Carlos E. Budde, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft (TACAS 2025).\r\n\r\nThe contents include all data and software (formal models, software tools, Python & bash scripts) used in the experimental evaluation presented in sections 3, 4, and 6 of the article. Detailed instructions on how to reproduce the results are bundled in the artifact."}],"doi":"10.5281/ZENODO.14602066","main_file_link":[{"open_access":"1","url":"https://doi.org/10.5281/ZENODO.14602066"}],"type":"research_data_reference","oa_version":"Published Version","article_processing_charge":"No","author":[{"last_name":"Budde","full_name":"Budde, Carlos","first_name":"Carlos"},{"first_name":"Arnd","last_name":"Hartmanns","full_name":"Hartmanns, Arnd"},{"first_name":"Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","last_name":"Meggendorfer"},{"id":"02ab0197-cc70-11ed-ab61-918e71f56881","first_name":"Maximilian","full_name":"Weininger, Maximilian","last_name":"Weininger"},{"first_name":"Patrick","last_name":"Wienhöft","full_name":"Wienhöft, Patrick"}],"oa":1,"date_published":"2025-01-07T00:00:00Z","date_updated":"2025-06-02T09:45:41Z","year":"2025","department":[{"_id":"KrCh"}],"citation":{"chicago":"Budde, Carlos, Arnd Hartmanns, Tobias Meggendorfer, Maximilian Weininger, and Patrick Wienhöft. “Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package).” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14602066.","apa":"Budde, C., Hartmanns, A., Meggendorfer, T., Weininger, M., & Wienhöft, P. (2025). Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). Zenodo. https://doi.org/10.5281/ZENODO.14602066","ama":"Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package). 2025. doi:10.5281/ZENODO.14602066","mla":"Budde, Carlos, et al. Sound Statistical Model Checking for Probabilities and Expected Rewards (Experimental Reproduction Package). Zenodo, 2025, doi:10.5281/ZENODO.14602066.","ieee":"C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, and P. Wienhöft, “Sound statistical model checking for probabilities and expected rewards (experimental reproduction package).” Zenodo, 2025.","ista":"Budde C, Hartmanns A, Meggendorfer T, Weininger M, Wienhöft P. 2025. Sound statistical model checking for probabilities and expected rewards (experimental reproduction package), Zenodo, 10.5281/ZENODO.14602066.","short":"C. Budde, A. Hartmanns, T. Meggendorfer, M. Weininger, P. Wienhöft, (2025)."},"ddc":["000"],"_id":"19769","publisher":"Zenodo","day":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"01","OA_place":"repository","title":"Sound statistical model checking for probabilities and expected rewards (experimental reproduction package)","related_material":{"record":[{"status":"public","relation":"used_in_publication","id":"19742"}]},"OA_type":"green"},{"related_material":{"record":[{"relation":"used_in_publication","status":"public","id":"19743"}]},"OA_type":"green","title":"Artifact: Fixed point certificates for reachability and expected rewards in MDPs","month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_place":"repository","publisher":"Zenodo","day":"09","_id":"19771","ddc":["000"],"citation":{"chicago":"Chatterjee, Krishnendu, Tim Quatmann, Maximilian Schäffeler, Maximilian Weininger, Tobias Winkler, and Daniel Zilken. “Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs.” Zenodo, 2025. https://doi.org/10.5281/ZENODO.14626585.","apa":"Chatterjee, K., Quatmann, T., Schäffeler, M., Weininger, M., Winkler, T., & Zilken, D. (2025). Artifact: Fixed point certificates for reachability and expected rewards in MDPs. Zenodo. https://doi.org/10.5281/ZENODO.14626585","ama":"Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. Artifact: Fixed point certificates for reachability and expected rewards in MDPs. 2025. doi:10.5281/ZENODO.14626585","mla":"Chatterjee, Krishnendu, et al. Artifact: Fixed Point Certificates for Reachability and Expected Rewards in MDPs. Zenodo, 2025, doi:10.5281/ZENODO.14626585.","short":"K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, D. Zilken, (2025).","ieee":"K. Chatterjee, T. Quatmann, M. Schäffeler, M. Weininger, T. Winkler, and D. Zilken, “Artifact: Fixed point certificates for reachability and expected rewards in MDPs.” Zenodo, 2025.","ista":"Chatterjee K, Quatmann T, Schäffeler M, Weininger M, Winkler T, Zilken D. 2025. Artifact: Fixed point certificates for reachability and expected rewards in MDPs, Zenodo, 10.5281/ZENODO.14626585."},"year":"2025","department":[{"_id":"KrCh"}],"date_published":"2025-01-09T00:00:00Z","date_updated":"2025-06-02T10:55:35Z","oa":1,"author":[{"orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"first_name":"Tim","full_name":"Quatmann, Tim","last_name":"Quatmann"},{"first_name":"Maximilian","full_name":"Schäffeler, Maximilian","last_name":"Schäffeler"},{"first_name":"Maximilian","id":"02ab0197-cc70-11ed-ab61-918e71f56881","full_name":"Weininger, Maximilian","last_name":"Weininger"},{"first_name":"Tobias","full_name":"Winkler, Tobias","last_name":"Winkler"},{"first_name":"Daniel","id":"d8ebc24a-3f98-11f0-9044-8296d4f39ab3","full_name":"Zilken, Daniel","last_name":"Zilken"}],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"article_processing_charge":"No","type":"research_data_reference","oa_version":"Published Version","date_created":"2025-06-02T10:13:24Z","abstract":[{"text":"This artifact allows to review and reproduce the Isabelle proofs and practical experiments from the paper *Fixed Point Certificates for Reachability and Expected Rewards in MDPs*.\r\nThe contents are two-fold:\r\nFirst, the artifact contains a formally verified certificate checker for the certificates presented in the paper.\r\nThe formal Isabelle/HOL proofs of the background theory can be inspected, checked by Isabelle and the code extraction can be retraced.\r\n\r\nSecond, the artifact contains a modified version of the model checking tool `Storm` with support for certificate generation. Together with the provided scripts and benchmark files, this allows to reproduce the experiments from the paper.\r\nAn appropriate subset of the experiments is given to allow a review in a timely manner. In addition, original logfiles from our experiments are provided, allowing a detailed inspection.\r\n\r\nThe package includes convenient installation scripts for [the TACAS 2023 VM](https://doi.org/10.5281/zenodo.7113223) (based on Ubuntu 22.04).\r\nA native installation on Linux or macOS systems (including the newer ARM-based machines) is also possible.","lang":"eng"}],"main_file_link":[{"url":"https://doi.org/10.5281/ZENODO.14626585","open_access":"1"}],"doi":"10.5281/ZENODO.14626585","status":"public"},{"year":"2025","issue":"4","date_published":"2025-05-23T00:00:00Z","oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"quality_controlled":"1","intvolume":" 310","abstract":[{"lang":"eng","text":"We use the circle method to prove that a density 1 of elements in Fq[t] are representable as a sum of three cubes of essentially minimal degree from Fq[t], assuming the Ratios Conjecture and that char(Fq)>3. Roughly speaking, to do so, we upgrade an order of magnitude result to a full asymptotic formula that was conjectured by Hooley in the number field setting."}],"date_created":"2025-06-03T07:30:21Z","publication":"Mathematische Zeitschrift","ec_funded":1,"title":"Optimal sums of three cubes in Fq[t]","article_type":"original","volume":310,"OA_place":"publisher","arxiv":1,"publisher":"Springer Nature","day":"23","_id":"19776","ddc":["510"],"department":[{"_id":"TiBr"}],"date_updated":"2025-09-30T12:43:41Z","article_processing_charge":"Yes (via OA deal)","author":[{"last_name":"Browning","full_name":"Browning, Timothy D","orcid":"0000-0002-8314-0177","id":"35827D50-F248-11E8-B48F-1D18A9856A87","first_name":"Timothy D"},{"first_name":"Jakob","id":"d6423cba-dc74-11ea-a0a7-ee61689ff5fb","last_name":"Glas","full_name":"Glas, Jakob"},{"id":"76096395-aea4-11ed-a680-ab8ebbd3f1b9","orcid":"0000-0002-0704-7026","first_name":"Victor","last_name":"Wang","full_name":"Wang, Victor"}],"type":"journal_article","oa_version":"Published Version","publication_status":"published","doi":"10.1007/s00209-025-03765-z","status":"public","isi":1,"publication_identifier":{"issn":["0025-5874"],"eissn":["1432-1823"]},"file":[{"file_size":461622,"relation":"main_file","checksum":"6f71e25740c28257bf89b8bf116c2b4d","date_updated":"2025-06-03T08:28:14Z","file_name":"2025_MathZeitschrift_Browning.pdf","creator":"dernst","content_type":"application/pdf","access_level":"open_access","success":1,"date_created":"2025-06-03T08:28:14Z","file_id":"19782"}],"acknowledgement":"We thank Alexandra Florea for discussions on cubic Gauss sums over function fields, in addition to the anonymous referee for helpful comments. While working on this paper the first two authors were supported by a FWF grant (DOI 10.55776/P36278) and the third author was supported by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413. Open access funding provided by Institute of Science and Technology (IST Austria).","external_id":{"arxiv":["2408.03668 "],"isi":["001494367000001"]},"OA_type":"hybrid","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","month":"05","corr_author":"1","file_date_updated":"2025-06-03T08:28:14Z","project":[{"_id":"bd8a4fdc-d553-11ed-ba76-80a0167441a3","name":"Rational curves via function field analytic number theory","grant_number":"P36278"},{"grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020"}],"scopus_import":"1","language":[{"iso":"eng"}],"citation":{"ama":"Browning TD, Glas J, Wang V. Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. 2025;310(4). doi:10.1007/s00209-025-03765-z","apa":"Browning, T. D., Glas, J., & Wang, V. (2025). Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. Springer Nature. https://doi.org/10.1007/s00209-025-03765-z","chicago":"Browning, Timothy D, Jakob Glas, and Victor Wang. “Optimal Sums of Three Cubes in Fq[T].” Mathematische Zeitschrift. Springer Nature, 2025. https://doi.org/10.1007/s00209-025-03765-z.","short":"T.D. Browning, J. Glas, V. Wang, Mathematische Zeitschrift 310 (2025).","ista":"Browning TD, Glas J, Wang V. 2025. Optimal sums of three cubes in Fq[t]. Mathematische Zeitschrift. 310(4), 65.","ieee":"T. D. Browning, J. Glas, and V. Wang, “Optimal sums of three cubes in Fq[t],” Mathematische Zeitschrift, vol. 310, no. 4. Springer Nature, 2025.","mla":"Browning, Timothy D., et al. “Optimal Sums of Three Cubes in Fq[T].” Mathematische Zeitschrift, vol. 310, no. 4, 65, Springer Nature, 2025, doi:10.1007/s00209-025-03765-z."},"has_accepted_license":"1","article_number":"65"},{"pmid":1,"ddc":["570"],"publisher":"Elsevier","day":"10","_id":"15016","article_type":"original","title":"Adeno-associated viral tools to trace neural development and connectivity across amphibians","OA_place":"publisher","volume":60,"publication":"Developmental Cell","quality_controlled":"1","intvolume":" 60","date_created":"2024-02-20T09:20:32Z","abstract":[{"lang":"eng","text":"Amphibians, by virtue of their phylogenetic position, provide invaluable insights on nervous system evolution, development, and remodeling. The genetic toolkit for amphibians, however, remains limited. Recombinant adeno-associated viral vectors (AAVs) are a powerful alternative to transgenesis for labeling and manipulating neurons. Although successful in mammals, AAVs have never been shown to transduce amphibian cells efficiently. We screened AAVs in three amphibian species—the frogs Xenopus laevis and Pelophylax bedriagae and the salamander Pleurodeles waltl—and identified at least two AAV serotypes per species that transduce neurons. In developing amphibians, AAVs labeled groups of neurons generated at the same time during development. In the mature brain, AAVrg retrogradely traced long-range projections. Our study introduces AAVs as a tool for amphibian research, establishes a generalizable workflow for AAV screening in new species, and expands opportunities for cross-species comparisons of nervous system development, function, and evolution."}],"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"year":"2025","issue":"5","date_published":"2025-03-10T00:00:00Z","language":[{"iso":"eng"}],"citation":{"ama":"Jaeger ECB, Vijatovic D, Deryckere A, et al. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 2025;60(5):794-812.e6. doi:10.1016/j.devcel.2024.10.025","apa":"Jaeger, E. C. B., Vijatovic, D., Deryckere, A., Zorin, N., Nguyen, A. L., Ivanian, G., … Sweeney, L. B. (2025). Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2024.10.025","chicago":"Jaeger, Eliza C.B., David Vijatovic, Astrid Deryckere, Nikol Zorin, Akemi L. Nguyen, Georgiy Ivanian, Jamie Woych, et al. “Adeno-Associated Viral Tools to Trace Neural Development and Connectivity across Amphibians.” Developmental Cell. Elsevier, 2025. https://doi.org/10.1016/j.devcel.2024.10.025.","ista":"Jaeger ECB, Vijatovic D, Deryckere A, Zorin N, Nguyen AL, Ivanian G, Woych J, Arnold RC, Ortega Gurrola A, Shvartsman A, Barbieri F, Toma F-A, Gorbsky GJ, Horb ME, Cline HT, Shay TF, Kelley DB, Yamaguchi A, Shein-Idelson M, Tosches MA, Sweeney LB. 2025. Adeno-associated viral tools to trace neural development and connectivity across amphibians. Developmental Cell. 60(5), 794–812.e6.","ieee":"E. C. B. Jaeger et al., “Adeno-associated viral tools to trace neural development and connectivity across amphibians,” Developmental Cell, vol. 60, no. 5. Elsevier, p. 794–812.e6, 2025.","short":"E.C.B. Jaeger, D. Vijatovic, A. Deryckere, N. Zorin, A.L. Nguyen, G. Ivanian, J. Woych, R.C. Arnold, A. Ortega Gurrola, A. Shvartsman, F. Barbieri, F.-A. Toma, G.J. Gorbsky, M.E. Horb, H.T. Cline, T.F. Shay, D.B. Kelley, A. Yamaguchi, M. Shein-Idelson, M.A. Tosches, L.B. Sweeney, Developmental Cell 60 (2025) 794–812.e6.","mla":"Jaeger, Eliza C. B., et al. “Adeno-Associated Viral Tools to Trace Neural Development and Connectivity across Amphibians.” Developmental Cell, vol. 60, no. 5, Elsevier, 2025, p. 794–812.e6, doi:10.1016/j.devcel.2024.10.025."},"has_accepted_license":"1","corr_author":"1","file_date_updated":"2025-06-04T05:43:27Z","project":[{"name":"Development of V1 interneuron diversity during swim-to-walk transition of Xenopus metamorphosis","_id":"bd73af52-d553-11ed-ba76-912049f0ac7a","grant_number":"FTI21-D-046"},{"_id":"ebb66355-77a9-11ec-83b8-b8ac210a4dae","name":"Development and Evolution of Tetrapod Motor Circuits","grant_number":"101041551"},{"grant_number":"F7814","_id":"8da85f50-16d5-11f0-9cad-eab8b0ff6c9e","name":"Stem Cell Modulation in Neural Development and Regeneration/ P14-Swim-to-limb transition: cell type to connection diversity"}],"scopus_import":"1","month":"03","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_identifier":{"eissn":["1878-1551"],"issn":["1534-5807"]},"file":[{"relation":"main_file","checksum":"a83a4cb58f5941096d3ad91ca0172594","file_size":11936258,"file_name":"2025_DevelopmentalCell_Jaeger.pdf","date_updated":"2025-06-04T05:43:27Z","content_type":"application/pdf","creator":"dernst","file_id":"19790","success":1,"access_level":"open_access","date_created":"2025-06-04T05:43:27Z"}],"page":"794-812.e6","acknowledgement":"We thank members of the Sweeney, Tosches, Shein-Idelson, Yamaguchi, Kelley, and Cline Labs for their contributions to this project, discussion, and support. We additionally thank the Beckman Institute CLOVER Center and Viviana Gradinaru (Caltech), Kimberly Ritola (UNC NeuroTools), and Flavia Gomez-Leite (ISTA Viral Core) for AAV production and consultation; Andras Simon and Alberto Joven (Karolinska Institute) for feedback; Elizabeth Bagnato-Cohen (Columbia) for project coordination; our animal care and imaging facilities; the amphibian stock centers (NXR, EXRC, and XenopusExpress); and our funding sources: NSF IOS 2110086 (D.B.K., L.B.S., M.A.T., A.Y., and H.T.C.); US-Israel Binational Science Foundation (BSF) 2020702 (M.S.-I.); FTI Strategy Lower Austria Dissertation FT121-D-046 (D.V.); Horizon Europe ERC Starting Grant 101041551 and Special Research Programme (SFB) of the Austrian Science Fund (FWF) project F7814-B (L.B.S.); NIH grant R35GM146973, Rita Allen Foundation Award GA_032522_FE, and CZI Ben Barres Early Career Acceleration Award 2023-331758 (M.A.T.); EMBO Long-Term Fellowship ALTF 874-2021 (A.D.); and NSF GRFP DGE 2036197 (E.C.B.J.).","acknowledged_ssus":[{"_id":"PreCl"},{"_id":"Bio"}],"external_id":{"pmid":["39603234"],"isi":["001444798600001"]},"OA_type":"hybrid","status":"public","isi":1,"type":"journal_article","oa_version":"Published Version","publication_status":"published","doi":"10.1016/j.devcel.2024.10.025","article_processing_charge":"Yes (via OA deal)","author":[{"first_name":"Eliza C.B.","last_name":"Jaeger","full_name":"Jaeger, Eliza C.B."},{"id":"cf391e77-ec3c-11ea-a124-d69323410b58","first_name":"David","full_name":"Vijatovic, David","last_name":"Vijatovic"},{"last_name":"Deryckere","full_name":"Deryckere, Astrid","first_name":"Astrid"},{"last_name":"Zorin","full_name":"Zorin, Nikol","first_name":"Nikol"},{"first_name":"Akemi L.","full_name":"Nguyen, Akemi L.","last_name":"Nguyen"},{"id":"eaf2b366-cfd1-11ee-bbdf-c8790f800a05","first_name":"Georgiy","full_name":"Ivanian, Georgiy","last_name":"Ivanian"},{"last_name":"Woych","full_name":"Woych, Jamie","first_name":"Jamie"},{"id":"d6cce458-14c9-11ed-a755-c1c8fc6fde6f","first_name":"Rebecca C","full_name":"Arnold, Rebecca C","last_name":"Arnold"},{"first_name":"Alonso","full_name":"Ortega Gurrola, Alonso","last_name":"Ortega Gurrola"},{"full_name":"Shvartsman, Arik","last_name":"Shvartsman","first_name":"Arik"},{"first_name":"Francesca","id":"a9492887-8972-11ed-ae7b-bfae10998254","full_name":"Barbieri, Francesca","last_name":"Barbieri"},{"full_name":"Toma, Florina-Alexandra","last_name":"Toma","id":"85dd99f2-15b2-11ec-abd3-d1ae4d57f3b5","first_name":"Florina-Alexandra"},{"first_name":"Gary J.","full_name":"Gorbsky, Gary J.","last_name":"Gorbsky"},{"last_name":"Horb","full_name":"Horb, Marko E.","first_name":"Marko E."},{"last_name":"Cline","full_name":"Cline, Hollis T.","first_name":"Hollis T."},{"last_name":"Shay","full_name":"Shay, Timothy F.","first_name":"Timothy F."},{"first_name":"Darcy B.","full_name":"Kelley, Darcy B.","last_name":"Kelley"},{"first_name":"Ayako","last_name":"Yamaguchi","full_name":"Yamaguchi, Ayako"},{"first_name":"Mark","last_name":"Shein-Idelson","full_name":"Shein-Idelson, Mark"},{"first_name":"Maria Antonietta","last_name":"Tosches","full_name":"Tosches, Maria Antonietta"},{"full_name":"Sweeney, Lora Beatrice Jaeger","last_name":"Sweeney","orcid":"0000-0001-9242-5601","id":"56BE8254-C4F0-11E9-8E45-0B23E6697425","first_name":"Lora Beatrice Jaeger"}],"department":[{"_id":"LoSw"},{"_id":"MaDe"},{"_id":"GaNo"}],"date_updated":"2025-09-30T10:00:55Z"},{"publication":"Mathematical Programming","volume":210,"OA_place":"repository","ec_funded":1,"article_type":"original","title":"Multiplicative auction algorithm for approximate maximum weight bipartite matching","_id":"15121","publisher":"Springer Nature","arxiv":1,"day":"01","date_published":"2025-03-01T00:00:00Z","year":"2025","oa":1,"abstract":[{"lang":"eng","text":"We present an auction algorithm using multiplicative instead of constant weight updates to compute a (1-E)-approximate maximum weight matching (MWM) in a bipartite graph with n vertices and m edges in time 0(mE-1), beating the running time of the fastest known approximation algorithm of Duan and Pettie [JACM ’14] that runs in 0(mE-1 log E-1). Our algorithm is very simple and it can be extended to give a dynamic data structure that maintains a (1-E)-approximate maximum weight matching under (1) one-sided vertex deletions (with incident edges) and (2) one-sided vertex insertions (with incident edges sorted by weight) to the other side. The total time time used is 0(mE-1), where m is the sum of the number of initially existing and inserted edges."}],"date_created":"2024-03-17T23:00:58Z","intvolume":" 210","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2301.09217","open_access":"1"}],"quality_controlled":"1","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"13236"}]},"page":"881-894","acknowledgement":"The first author thanks Chandra Chekuri for useful discussions about this paper. This work was done in part at the University of Vienna. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 101019564 “The Design of Modern Fully Dynamic Data Structures (MoDynStruct)” and from the Austrian Science Fund (FWF) project “Fast Algorithms for a Reactive Network Layer (ReactNet)”, P 33775-N, with additional funding from the netidee SCIENCE Stiftung, 2020–2024.","OA_type":"green","external_id":{"isi":["001176048100003"],"arxiv":["2301.09217"]},"publication_identifier":{"eissn":["1436-4646"],"issn":["0025-5610"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"03","scopus_import":"1","corr_author":"1","project":[{"grant_number":"101019564","name":"The design and evaluation of modern fully dynamic data structures","call_identifier":"H2020","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62"},{"grant_number":"P33775","name":"Fast Algorithms for a Reactive Network Layer","_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe"}],"citation":{"mla":"Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” Mathematical Programming, vol. 210, Springer Nature, 2025, pp. 881–94, doi:10.1007/s10107-024-02066-3.","ieee":"D. W. Zheng and M. Henzinger, “Multiplicative auction algorithm for approximate maximum weight bipartite matching,” Mathematical Programming, vol. 210. Springer Nature, pp. 881–894, 2025.","short":"D.W. Zheng, M. Henzinger, Mathematical Programming 210 (2025) 881–894.","ista":"Zheng DW, Henzinger M. 2025. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 210, 881–894.","ama":"Zheng DW, Henzinger M. Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. 2025;210:881-894. doi:10.1007/s10107-024-02066-3","chicago":"Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02066-3.","apa":"Zheng, D. W., & Henzinger, M. (2025). Multiplicative auction algorithm for approximate maximum weight bipartite matching. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02066-3"},"language":[{"iso":"eng"}],"date_updated":"2025-09-09T12:39:58Z","department":[{"_id":"MoHe"}],"article_processing_charge":"No","author":[{"first_name":"Da Wei","last_name":"Zheng","full_name":"Zheng, Da Wei"},{"orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger","full_name":"Henzinger, Monika H"}],"publication_status":"published","doi":"10.1007/s10107-024-02066-3","type":"journal_article","oa_version":"Preprint","isi":1,"status":"public"},{"_id":"15128","day":"01","publisher":"Institute of Mathematical Statistics","arxiv":1,"OA_place":"repository","volume":61,"article_type":"original","title":"Mesoscopic eigenvalue statistics for Wigner-type matrices","ec_funded":1,"publication":"Annales de l'institut Henri Poincare (B) Probability and Statistics","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2301.01712"}],"date_created":"2024-03-20T09:41:04Z","intvolume":" 61","abstract":[{"lang":"eng","text":"We prove a universal mesoscopic central limit theorem for linear eigenvalue statistics of a Wigner-type matrix inside the bulk of the spectrum with compactly supported twice continuously differentiable test functions. The main novel ingredient is an optimal local law for the two-point function $T(z,\\zeta)$ and a general class of related quantities involving two resolvents at nearby spectral parameters."},{"lang":"fre","text":"On établit un théorème limite central universel pour les statistiques linéaires mésoscopiques des valeurs propres d’une matrice de type Wigner au milieu du spectre, avec des fonctions de classe \r\n et à support compact. La principale nouveauté de cette approche est qu’elle repose sur une loi locale optimale pour la fonction à deux points $T(z,\\zeta)$ , ainsi que pour une classe plus générale d’observables impliquant deux résolvantes évaluées en des paramètres proches."}],"quality_controlled":"1","oa":1,"date_published":"2025-02-01T00:00:00Z","issue":"1","year":"2025","citation":{"mla":"Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 61, no. 1, Institute of Mathematical Statistics, 2025, pp. 129–54, doi:10.1214/23-AIHP1438.","ieee":"V. Riabov, “Mesoscopic eigenvalue statistics for Wigner-type matrices,” Annales de l’institut Henri Poincare (B) Probability and Statistics, vol. 61, no. 1. Institute of Mathematical Statistics, pp. 129–154, 2025.","short":"V. Riabov, Annales de l’institut Henri Poincare (B) Probability and Statistics 61 (2025) 129–154.","ista":"Riabov V. 2025. Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. 61(1), 129–154.","ama":"Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. 2025;61(1):129-154. doi:10.1214/23-AIHP1438","chicago":"Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics, 2025. https://doi.org/10.1214/23-AIHP1438.","apa":"Riabov, V. (2025). Mesoscopic eigenvalue statistics for Wigner-type matrices. Annales de l’institut Henri Poincare (B) Probability and Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/23-AIHP1438"},"language":[{"iso":"eng"}],"scopus_import":"1","project":[{"call_identifier":"H2020","name":"Random matrices beyond Wigner-Dyson-Mehta","_id":"62796744-2b32-11ec-9570-940b20777f1d","grant_number":"101020331"}],"corr_author":"1","month":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","OA_type":"green","external_id":{"isi":["001427953600004"],"arxiv":["2301.01712"]},"page":"129-154","acknowledgement":"I would like to express my gratitude to László Erdős for suggesting the project and supervising my work. I am also thankful to Yuanyuan Xu and Oleksii Kolupaiev for many helpful discussions. Furthermore, I am grateful to Guillaume Dubach for translating the abstract into French.\r\nThe author was supported by the ERC Advanced Grant “RMTBeyond” No. 101020331.","publication_identifier":{"issn":["0246-0203"]},"isi":1,"status":"public","doi":"10.1214/23-AIHP1438","publication_status":"published","oa_version":"Preprint","type":"journal_article","author":[{"last_name":"Riabov","full_name":"Riabov, Volodymyr","id":"1949f904-edfb-11eb-afb5-e2dfddabb93b","first_name":"Volodymyr"}],"article_processing_charge":"No","date_updated":"2025-05-19T13:54:31Z","department":[{"_id":"GradSch"},{"_id":"LaEr"}]},{"corr_author":"1","project":[{"grant_number":"948819","call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"scopus_import":"1","language":[{"iso":"eng"}],"citation":{"ama":"Hensel S, Laux T. A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. 2025;130:209-268. doi:10.4310/jdg/1747065796","apa":"Hensel, S., & Laux, T. (2025). A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. International Press. https://doi.org/10.4310/jdg/1747065796","chicago":"Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of the Allen-Cahn Equation and Weak-Strong Uniqueness.” Journal of Differential Geometry. International Press, 2025. https://doi.org/10.4310/jdg/1747065796.","ista":"Hensel S, Laux T. 2025. A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness. Journal of Differential Geometry. 130, 209–268.","ieee":"S. Hensel and T. Laux, “A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness,” Journal of Differential Geometry, vol. 130. International Press, pp. 209–268, 2025.","short":"S. Hensel, T. Laux, Journal of Differential Geometry 130 (2025) 209–268.","mla":"Hensel, Sebastian, and Tim Laux. “A New Varifold Solution Concept for Mean Curvature Flow: Convergence of the Allen-Cahn Equation and Weak-Strong Uniqueness.” Journal of Differential Geometry, vol. 130, International Press, 2025, pp. 209–68, doi:10.4310/jdg/1747065796."},"publication_identifier":{"issn":["0022-040X"],"eissn":["1945-743X"]},"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813. The content of this paper was developed and parts of it were written during a visit of the first author to the Hausdorff Center of Mathematics (HCM), University of Bonn. The hospitality and the support of HCM are gratefully acknowledged.","page":"209-268","external_id":{"arxiv":["2109.04233"]},"OA_type":"green","month":"05","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"journal_article","oa_version":"Preprint","publication_status":"published","doi":"10.4310/jdg/1747065796","status":"public","department":[{"_id":"JuFi"}],"date_updated":"2025-05-28T09:27:05Z","author":[{"full_name":"Hensel, Sebastian","last_name":"Hensel","first_name":"Sebastian","orcid":"0000-0001-7252-8072","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Laux","full_name":"Laux, Tim","first_name":"Tim"}],"article_processing_charge":"No","publisher":"International Press","arxiv":1,"day":"01","_id":"10011","publication":"Journal of Differential Geometry","keyword":["Mean curvature flow","gradient flows","varifolds","weak solutions","weak-strong uniqueness","calibrated geometry","gradient-flow calibrations"],"ec_funded":1,"article_type":"original","title":"A new varifold solution concept for mean curvature flow: Convergence of the Allen-Cahn equation and weak-strong uniqueness","OA_place":"repository","volume":130,"quality_controlled":"1","date_created":"2021-09-13T12:17:10Z","intvolume":" 130","abstract":[{"text":"We propose a new weak solution concept for (two-phase) mean curvature flow which enjoys both (unconditional) existence and (weak-strong) uniqueness properties. These solutions are evolving varifolds, just as in Brakke's formulation, but are coupled to the phase volumes by a simple transport equation. First, we show that, in the exact same setup as in Ilmanen's proof [J. Differential Geom. 38, 417-461, (1993)], any limit point of solutions to the Allen-Cahn equation is a varifold solution in our sense. Second, we prove that any calibrated flow in the sense of Fischer et al. [arXiv:2003.05478] - and hence any classical solution to mean curvature flow-is unique in the class of our new varifold solutions. This is in sharp contrast to the case of Brakke flows, which a priori may disappear at any given time and are therefore fatally non-unique. Finally, we propose an extension of the solution concept to the multi-phase case which is at least guaranteed to satisfy a weak-strong uniqueness principle.","lang":"eng"}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2109.04233"}],"year":"2025","date_published":"2025-05-01T00:00:00Z","oa":1},{"date_published":"2025-01-01T00:00:00Z","year":"2025","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"oa":1,"abstract":[{"lang":"eng","text":"Given a fixed finite metric space (V,μ), the {\\em minimum 0-extension problem}, denoted as 0-Ext[μ], is equivalent to the following optimization problem: minimize function of the form minx∈Vn∑ifi(xi)+∑ijcijμ(xi,xj) where cij,cvi are given nonnegative costs and fi:V→R are functions given by fi(xi)=∑v∈Vcviμ(xi,v). The computational complexity of 0-Ext[μ] has been recently established by Karzanov and by Hirai: if metric μ is {\\em orientable modular} then 0-Ext[μ] can be solved in polynomial time, otherwise 0-Ext[μ] is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as L♮-convex functions. We consider a more general version of the problem in which unary functions fi(xi) can additionally have terms of the form cuv;iμ(xi,{u,v}) for {u,v}∈F, where set F⊆(V2) is fixed. We extend the complexity classification above by providing an explicit condition on (μ,F) for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving 0-Ext on orientable modular graphs.\r\n"}],"date_created":"2021-09-27T10:48:23Z","intvolume":" 209","quality_controlled":"1","publication":"Mathematical Programming","keyword":["minimum 0-extension problem","metric labeling problem","discrete metric spaces","metric extensions","computational complexity","valued constraint satisfaction problems","discrete convex analysis","L-convex functions"],"volume":209,"OA_place":"publisher","title":"Generalized minimum 0-extension problem and discrete convexity","article_type":"original","_id":"10045","day":"01","arxiv":1,"publisher":"Springer Nature","ddc":["004"],"date_updated":"2025-05-19T13:52:10Z","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"article_processing_charge":"Yes (via OA deal)","author":[{"last_name":"Dvorak","full_name":"Dvorak, Martin","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","orcid":"0000-0001-5293-214X","first_name":"Martin"},{"first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov"}],"doi":"10.1007/s10107-024-02064-5","publication_status":"published","oa_version":"Published Version","type":"journal_article","isi":1,"status":"public","OA_type":"hybrid","external_id":{"arxiv":["2109.10203"],"isi":["001176563300001"]},"page":"279-322","acknowledgement":"We thank the anonymous reviewers for their careful reading of our manuscript and their many insightful comments and suggestions. Open access funding provided by Institute of Science and Technology (IST Austria).","file":[{"content_type":"application/pdf","creator":"dernst","date_created":"2025-04-16T09:36:08Z","success":1,"access_level":"open_access","file_id":"19578","file_size":839510,"checksum":"25d9bd490719b45eca84f4d93a06c69f","relation":"main_file","file_name":"2025_MathProgramming_Dvorak.pdf","date_updated":"2025-04-16T09:36:08Z"}],"publication_identifier":{"issn":["0025-5610"],"eissn":["1436-4646"]},"month":"01","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","file_date_updated":"2025-04-16T09:36:08Z","corr_author":"1","has_accepted_license":"1","citation":{"ama":"Dvorak M, Kolmogorov V. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 2025;209:279-322. doi:10.1007/s10107-024-02064-5","apa":"Dvorak, M., & Kolmogorov, V. (2025). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02064-5","chicago":"Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming. Springer Nature, 2025. https://doi.org/10.1007/s10107-024-02064-5.","ista":"Dvorak M, Kolmogorov V. 2025. Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. 209, 279–322.","short":"M. Dvorak, V. Kolmogorov, Mathematical Programming 209 (2025) 279–322.","ieee":"M. Dvorak and V. Kolmogorov, “Generalized minimum 0-extension problem and discrete convexity,” Mathematical Programming, vol. 209. Springer Nature, pp. 279–322, 2025.","mla":"Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming, vol. 209, Springer Nature, 2025, pp. 279–322, doi:10.1007/s10107-024-02064-5."},"language":[{"iso":"eng"}]},{"external_id":{"arxiv":["2410.14649"]},"OA_type":"gold","page":"55556-55590","file":[{"access_level":"open_access","success":1,"date_created":"2025-12-16T12:32:40Z","file_id":"20828","content_type":"application/pdf","creator":"dernst","file_name":"2025_ICML_Sieberling.pdf","date_updated":"2025-12-16T12:32:40Z","file_size":908379,"relation":"main_file","checksum":"1d744fbaeb199b08e8b6f48bc0dd047e"}],"publication_identifier":{"eissn":["2640-3498"]},"conference":{"name":"ICML: International Conference on Machine Learning","start_date":"2025-07-13","location":"Vancouver, Canada","end_date":"2025-07-19"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"05","scopus_import":"1","file_date_updated":"2025-12-16T12:32:40Z","corr_author":"1","has_accepted_license":"1","citation":{"mla":"Sieberling, Oliver, et al. “EvoPress: Accurate Dynamic Model Compression via Evolutionary Search.” 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 55556–90.","ista":"Sieberling O, Kuznedelev D, Kurtic E, Alistarh D-A. 2025. EvoPress: Accurate dynamic model compression via evolutionary search. 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 55556–55590.","short":"O. Sieberling, D. Kuznedelev, E. Kurtic, D.-A. Alistarh, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 55556–55590.","ieee":"O. Sieberling, D. Kuznedelev, E. Kurtic, and D.-A. Alistarh, “EvoPress: Accurate dynamic model compression via evolutionary search,” in 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 55556–55590.","chicago":"Sieberling, Oliver, Denis Kuznedelev, Eldar Kurtic, and Dan-Adrian Alistarh. “EvoPress: Accurate Dynamic Model Compression via Evolutionary Search.” In 42nd International Conference on Machine Learning, 267:55556–90. ML Research Press, 2025.","apa":"Sieberling, O., Kuznedelev, D., Kurtic, E., & Alistarh, D.-A. (2025). EvoPress: Accurate dynamic model compression via evolutionary search. In 42nd International Conference on Machine Learning (Vol. 267, pp. 55556–55590). Vancouver, Canada: ML Research Press.","ama":"Sieberling O, Kuznedelev D, Kurtic E, Alistarh D-A. EvoPress: Accurate dynamic model compression via evolutionary search. In: 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:55556-55590."},"language":[{"iso":"eng"}],"date_updated":"2025-12-16T12:34:32Z","department":[{"_id":"DaAl"}],"article_processing_charge":"No","author":[{"first_name":"Oliver","last_name":"Sieberling","full_name":"Sieberling, Oliver"},{"last_name":"Kuznedelev","full_name":"Kuznedelev, Denis","first_name":"Denis"},{"id":"47beb3a5-07b5-11eb-9b87-b108ec578218","first_name":"Eldar","last_name":"Kurtic","full_name":"Kurtic, Eldar"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh"}],"publication_status":"published","oa_version":"Published Version","type":"conference","status":"public","publication":"42nd International Conference on Machine Learning","OA_place":"publisher","volume":267,"title":"EvoPress: Accurate dynamic model compression via evolutionary search","_id":"20820","day":"01","arxiv":1,"publisher":"ML Research Press","ddc":["000"],"date_published":"2025-05-01T00:00:00Z","alternative_title":["PMLR"],"year":"2025","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"oa":1,"abstract":[{"text":"The high computational costs of large language models (LLMs) have led to a flurry of research on LLM compression, via methods such as quantization, sparsification, or structured pruning. A new frontier in this area is given by dynamic, non-uniform compression methods, which adjust the compression levels (e.g., sparsity) per-block or even per-layer in order to minimize accuracy loss, while guaranteeing a global compression threshold. Yet, current methods rely on estimating the \"importance\" of a given layer, implicitly assuming that layers contribute independently to the overall compression error. We begin from the motivating observation that this independence assumption does not generally hold for LLM compression: pruning a model further may even significantly recover performance. To address this, we propose EvoPress, a novel evolutionary framework for dynamic LLM compression. By formulating dynamic compression as a general optimization problem, EvoPress identifies optimal compression profiles in a highly efficient manner, and generalizes across diverse models and compression techniques. Via EvoPress, we achieve state-of-the-art performance for dynamic compression of Llama, Mistral, and Phi models, setting new benchmarks for structural pruning (block/layer dropping), unstructured sparsity, and quantization with dynamic bitwidths.","lang":"eng"}],"intvolume":" 267","date_created":"2025-12-14T23:02:05Z","quality_controlled":"1"},{"_id":"20821","day":"01","publisher":"ML Research Press","arxiv":1,"ddc":["000"],"publication":"42nd International Conference on Machine Learning","OA_place":"publisher","volume":267,"title":"Layer-wise quantization for quantized optimistic dual averaging","intvolume":" 267","date_created":"2025-12-14T23:02:06Z","abstract":[{"text":"Modern deep neural networks exhibit heterogeneity across numerous layers of various types such as residuals, multi-head attention, etc., due to varying structures (dimensions, activation functions, etc.), distinct representation characteristics, which impact predictions. We develop a general layer-wise quantization framework with tight variance and code-length bounds, adapting to the heterogeneities over the course of training. We then apply a new layer-wise quantization technique within distributed variational inequalities (VIs), proposing a novel Quantized Optimistic Dual Averaging (QODA) algorithm with adaptive learning rates, which achieves competitive convergence rates for monotone VIs. We empirically show that QODA achieves up to a 150% speedup over the baselines in end-to-end training time for training Wasserstein GAN on 12+GPUs.","lang":"eng"}],"quality_controlled":"1","date_published":"2025-05-01T00:00:00Z","alternative_title":["PMLR"],"year":"2025","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"oa":1,"scopus_import":"1","project":[{"_id":"8e35c14b-16d5-11f0-9cad-a3fc35339161","name":"FastML: Efficient and Cost-Effective Distributed Machine Learning","grant_number":"101158077"}],"file_date_updated":"2025-12-16T12:45:41Z","has_accepted_license":"1","citation":{"mla":"Nguyen, Anh Duc, et al. “Layer-Wise Quantization for Quantized Optimistic Dual Averaging.” 42nd International Conference on Machine Learning, vol. 267, ML Research Press, 2025, pp. 46026–72.","short":"A.D. Nguyen, I. Markov, F.Z. Wu, A. Ramezani-Kebrya, K. Antonakopoulos, D.-A. Alistarh, V. Cevher, in:, 42nd International Conference on Machine Learning, ML Research Press, 2025, pp. 46026–46072.","ista":"Nguyen AD, Markov I, Wu FZ, Ramezani-Kebrya A, Antonakopoulos K, Alistarh D-A, Cevher V. 2025. Layer-wise quantization for quantized optimistic dual averaging. 42nd International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 267, 46026–46072.","ieee":"A. D. Nguyen et al., “Layer-wise quantization for quantized optimistic dual averaging,” in 42nd International Conference on Machine Learning, Vancouver, Canada, 2025, vol. 267, pp. 46026–46072.","ama":"Nguyen AD, Markov I, Wu FZ, et al. Layer-wise quantization for quantized optimistic dual averaging. In: 42nd International Conference on Machine Learning. Vol 267. ML Research Press; 2025:46026-46072.","chicago":"Nguyen, Anh Duc, Ilia Markov, Frank Zhengqing Wu, Ali Ramezani-Kebrya, Kimon Antonakopoulos, Dan-Adrian Alistarh, and Volkan Cevher. “Layer-Wise Quantization for Quantized Optimistic Dual Averaging.” In 42nd International Conference on Machine Learning, 267:46026–72. ML Research Press, 2025.","apa":"Nguyen, A. D., Markov, I., Wu, F. Z., Ramezani-Kebrya, A., Antonakopoulos, K., Alistarh, D.-A., & Cevher, V. (2025). Layer-wise quantization for quantized optimistic dual averaging. In 42nd International Conference on Machine Learning (Vol. 267, pp. 46026–46072). Vancouver, Canada: ML Research Press."},"language":[{"iso":"eng"}],"external_id":{"arxiv":["2505.14371"]},"OA_type":"gold","page":"46026-46072","file":[{"creator":"dernst","content_type":"application/pdf","success":1,"access_level":"open_access","date_created":"2025-12-16T12:45:41Z","file_id":"20830","file_size":756213,"relation":"main_file","checksum":"a7edf0e4304171a3e035842b3aab1704","date_updated":"2025-12-16T12:45:41Z","file_name":"2025_ICML_Nguyen.pdf"}],"acknowledgement":"This work was supported by Hasler Foundation Program: Hasler Responsible AI (project number 21043). The research was also sponsored by the Army Research Office and was accomplished under Grant Number W911NF-24-1-0048. This work was further funded by the Swiss National Science Foundation (SNSF) under grant number 200021_205011. We also acknowledge project A11 of the Swiss National Supercomputing Centre (CSCS) for providing computing resources. Dan Alistarh and Ilia Markov were supported in part through the ERC Proofof-Concept grant FastML (Grant Agreement 101158077). Ali Ramezani-Kebrya was supported by the Research Council of Norway through FRIPRO Grant under project number 356103, its Centres of Excellence scheme, Integreat - Norwegian Centre for knowledge-driven machine learning under\r\nproject number 332645 - and its Centre for Research-based Innovation funding scheme (Visual Intelligence under grant no. 309439).","publication_identifier":{"eissn":["2640-3498"]},"conference":{"name":"ICML: International Conference on Machine Learning","location":"Vancouver, Canada","start_date":"2025-07-13","end_date":"2025-07-19"},"month":"05","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","oa_version":"Published Version","type":"conference","status":"public","date_updated":"2025-12-16T12:46:54Z","department":[{"_id":"DaAl"}],"article_processing_charge":"No","author":[{"first_name":"Anh Duc","full_name":"Nguyen, Anh Duc","last_name":"Nguyen"},{"last_name":"Markov","full_name":"Markov, Ilia","id":"D0CF4148-C985-11E9-8066-0BDEE5697425","first_name":"Ilia"},{"full_name":"Wu, Frank Zhengqing","last_name":"Wu","first_name":"Frank Zhengqing"},{"full_name":"Ramezani-Kebrya, Ali","last_name":"Ramezani-Kebrya","first_name":"Ali"},{"first_name":"Kimon","last_name":"Antonakopoulos","full_name":"Antonakopoulos, Kimon"},{"orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian"},{"last_name":"Cevher","full_name":"Cevher, Volkan","first_name":"Volkan"}]},{"_id":"20839","publisher":"EMS Press","day":"07","OA_place":"publisher","article_type":"original","title":"Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces","publication":"Journal of Fractal Geometry","abstract":[{"text":"For every couple of Hausdorff functions ψ and φ verifying some mild assumptions, there exists a compact subset K of the Baire space such that the φ-Hausdorff measure and the ψ-packing measure on K are both finite and positive. Such examples are then embedded in any infinite dimensional Banach space to answer positively a question of Fan on the existence of metric spaces with arbitrary scales.","lang":"eng"}],"date_created":"2025-12-19T10:15:37Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.4171/jfg/177"}],"quality_controlled":"1","oa":1,"date_published":"2025-11-07T00:00:00Z","year":"2025","citation":{"chicago":"Helfter, Mathieu. “Sets with Arbitrary Hausdorff and Packing Scales in Infinite Dimensional Banach Spaces.” Journal of Fractal Geometry. EMS Press, 2025. https://doi.org/10.4171/jfg/177.","apa":"Helfter, M. (2025). Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces. Journal of Fractal Geometry. EMS Press. https://doi.org/10.4171/jfg/177","ama":"Helfter M. Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces. Journal of Fractal Geometry. 2025. doi:10.4171/jfg/177","mla":"Helfter, Mathieu. “Sets with Arbitrary Hausdorff and Packing Scales in Infinite Dimensional Banach Spaces.” Journal of Fractal Geometry, EMS Press, 2025, doi:10.4171/jfg/177.","ieee":"M. Helfter, “Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces,” Journal of Fractal Geometry. EMS Press, 2025.","ista":"Helfter M. 2025. Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces. Journal of Fractal Geometry.","short":"M. Helfter, Journal of Fractal Geometry (2025)."},"language":[{"iso":"eng"}],"scopus_import":"1","corr_author":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","DOAJ_listed":"1","OA_type":"gold","publication_identifier":{"eissn":["2308-1317"],"issn":["2308-1309"]},"status":"public","publication_status":"epub_ahead","doi":"10.4171/jfg/177","type":"journal_article","oa_version":"Published Version","article_processing_charge":"Yes","author":[{"first_name":"Mathieu","id":"7d296fbe-e2c6-11ee-84d3-d5c2945f9a57","full_name":"Helfter, Mathieu","last_name":"Helfter"}],"date_updated":"2026-02-16T11:44:20Z","department":[{"_id":"VaKa"}]},{"_id":"20844","publisher":"Springer Nature","day":"05","volume":16271,"OA_place":"repository","title":"Space-deniable proofs","publication":"23rd International Conference on Theory of Cryptography","abstract":[{"lang":"eng","text":"We introduce and construct a new proof system called Non-interactive Arguments of Knowledge or Space (NArKoS), where a space-bounded prover can convince a verifier they know a secret, while having access to sufficient space allows one to forge indistinguishable proofs without the secret.\r\nAn application of NArKoS are space-deniable proofs, which are proofs of knowledge (say for authentication in access control) that are sound when executed by a lightweight device like a smart-card or an RFID chip that cannot have much storage, but are deniable (in the strong sense of online deniability) as the verifier, like a card reader, can efficiently forge such proofs.\r\nWe construct NArKoS in the random oracle model using an OR-proof combining a sigma protocol (for the proof of knowledge of the secret) with a new proof system called simulatable Proof of Transient Space (simPoTS). We give two different constructions of simPoTS, one based on labelling graphs with high pebbling complexity, a technique used in the construction of memory-hard functions and proofs of space, and a more practical construction based on the verifiable space-hard functions from TCC’24 where a prover must compute a root of a sparse polynomial. In both cases, the main challenge is making the proofs efficiently simulatable."}],"intvolume":" 16271","date_created":"2025-12-21T23:01:33Z","main_file_link":[{"url":"https://eprint.iacr.org/2025/1723","open_access":"1"}],"quality_controlled":"1","oa":1,"date_published":"2025-12-05T00:00:00Z","year":"2025","alternative_title":["LNCS"],"citation":{"ieee":"J. Dujmovic, C. U. Günther, and K. Z. Pietrzak, “Space-deniable proofs,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16271, pp. 171–202.","short":"J. Dujmovic, C.U. Günther, K.Z. Pietrzak, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 171–202.","ista":"Dujmovic J, Günther CU, Pietrzak KZ. 2025. Space-deniable proofs. 23rd International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 16271, 171–202.","mla":"Dujmovic, Jesko, et al. “Space-Deniable Proofs.” 23rd International Conference on Theory of Cryptography, vol. 16271, Springer Nature, 2025, pp. 171–202, doi:10.1007/978-3-032-12290-2_6.","ama":"Dujmovic J, Günther CU, Pietrzak KZ. Space-deniable proofs. In: 23rd International Conference on Theory of Cryptography. Vol 16271. Springer Nature; 2025:171-202. doi:10.1007/978-3-032-12290-2_6","apa":"Dujmovic, J., Günther, C. U., & Pietrzak, K. Z. (2025). Space-deniable proofs. In 23rd International Conference on Theory of Cryptography (Vol. 16271, pp. 171–202). Aarhus, Denmark: Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_6","chicago":"Dujmovic, Jesko, Christoph Ullrich Günther, and Krzysztof Z Pietrzak. “Space-Deniable Proofs.” In 23rd International Conference on Theory of Cryptography, 16271:171–202. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12290-2_6."},"language":[{"iso":"eng"}],"scopus_import":"1","corr_author":"1","project":[{"grant_number":"F8509","name":"Security and Privacy by Design for Complex Systems","_id":"34a34d57-11ca-11ed-8bc3-a2688a8724e1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","conference":{"name":"TCC: Theory of Cryptography","start_date":"2025-12-01","location":"Aarhus, Denmark","end_date":"2025-12-05"},"page":"171-202","acknowledgement":"Jesko Dujmovic: Funded by the European Union (ERC, LACONIC, 101041207). 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. Neither the European Union nor the granting authority can be held responsible for them.\r\nChristoph U. Günther and Krzysztof Pietrzak: This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/F85. For open access purposes, the author has applied a CC BY public copyright license to any author-accepted manuscript version arising from this submission.","OA_type":"green","publication_identifier":{"issn":["0302-9743"],"isbn":["9783032122896"],"eissn":["1611-3349"]},"status":"public","publication_status":"published","doi":"10.1007/978-3-032-12290-2_6","type":"conference","oa_version":"Preprint","author":[{"last_name":"Dujmovic","full_name":"Dujmovic, Jesko","first_name":"Jesko"},{"last_name":"Günther","full_name":"Günther, Christoph Ullrich","id":"ec98511c-eb8e-11eb-b029-edd25d7271a1","first_name":"Christoph Ullrich"},{"first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z"}],"article_processing_charge":"No","date_updated":"2025-12-29T11:44:16Z","department":[{"_id":"KrPi"}]},{"citation":{"ista":"Agrawal S, Modi A, Yadav A, Yamada S. 2025. Zeroizing attacks against evasive and circular evasive LWE. 23rd International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 16269, 259–290.","ieee":"S. Agrawal, A. Modi, A. Yadav, and S. Yamada, “Zeroizing attacks against evasive and circular evasive LWE,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16269, pp. 259–290.","short":"S. Agrawal, A. Modi, A. Yadav, S. Yamada, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 259–290.","mla":"Agrawal, Shweta, et al. “Zeroizing Attacks against Evasive and Circular Evasive LWE.” 23rd International Conference on Theory of Cryptography, vol. 16269, Springer Nature, 2025, pp. 259–90, doi:10.1007/978-3-032-12293-3_9.","apa":"Agrawal, S., Modi, A., Yadav, A., & Yamada, S. (2025). Zeroizing attacks against evasive and circular evasive LWE. In 23rd International Conference on Theory of Cryptography (Vol. 16269, pp. 259–290). Aarhus, Denmark: Springer Nature. https://doi.org/10.1007/978-3-032-12293-3_9","chicago":"Agrawal, Shweta, Anuja Modi, Anshu Yadav, and Shota Yamada. “Zeroizing Attacks against Evasive and Circular Evasive LWE.” In 23rd International Conference on Theory of Cryptography, 16269:259–90. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12293-3_9.","ama":"Agrawal S, Modi A, Yadav A, Yamada S. Zeroizing attacks against evasive and circular evasive LWE. In: 23rd International Conference on Theory of Cryptography. Vol 16269. Springer Nature; 2025:259-290. doi:10.1007/978-3-032-12293-3_9"},"language":[{"iso":"eng"}],"scopus_import":"1","conference":{"name":"TCC: Theory of Cryptography","start_date":"2025-12-01","location":"Aarhus, Denmark","end_date":"2025-12-05"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","OA_type":"green","acknowledgement":"We thank Rachel Lin for expressing concern about the applicability of “HJL-style” attacks [15] on the construction in [2] during a talk by the first author about [2]. This was the starting point of the investigation that led us to develop the attack in [5, Sec 4.1]. The first author also thanks Hoeteck Wee for sharing his rationale for introducing evasive LWE.\r\nThe first author is supported by the CyStar center of excellence, the VHAR faculty chair, and the C3iHub fellowship. The third author thanks Cystar, IIT Madras, for supporting a visit to IIT Madras during which the collaboration was initiated. The 4th author is partly supported by JST CREST Grant Number JPMJCR22M1.","page":"259-290","publication_identifier":{"issn":["0302-9743"],"isbn":["9783032122926"],"eissn":["1611-3349"]},"status":"public","doi":"10.1007/978-3-032-12293-3_9","publication_status":"published","oa_version":"Preprint","type":"conference","author":[{"first_name":"Shweta","last_name":"Agrawal","full_name":"Agrawal, Shweta"},{"first_name":"Anuja","last_name":"Modi","full_name":"Modi, Anuja"},{"full_name":"Yadav, Anshu","last_name":"Yadav","first_name":"Anshu","id":"dc8f1524-403e-11ee-bf07-9649ad996e21"},{"full_name":"Yamada, Shota","last_name":"Yamada","first_name":"Shota"}],"article_processing_charge":"No","date_updated":"2025-12-29T11:51:13Z","department":[{"_id":"KrPi"}],"_id":"20845","day":"05","publisher":"Springer Nature","volume":16269,"OA_place":"repository","title":"Zeroizing attacks against evasive and circular evasive LWE","publication":"23rd International Conference on Theory of Cryptography","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/375"}],"abstract":[{"text":"We develop new attacks against the Evasive LWE family of assumptions, in both the public and private-coin regime. To the best of our knowledge, ours are the first attacks against Evasive LWE in the public-coin regime, for any instantiation from the family. Our attacks are summarized below.\r\n\r\nPublic-Coin Attacks.\r\n1.The recent work by Hseih, Lin and Luo [17] constructed the first Attribute Based Encryption (ABE) for unbounded depth circuits by relying on the “circular” evasive LWE assumption. This assumption has been popularly considered as a safe, public-coin instance of Evasive LWE in contrast to its “private-coin” cousins (for instance, see [10, 11]).\r\nWe provide the first attack against this assumption, challenging the widely held belief that this is a public-coin assumption.\r\n2. We demonstrate a counter-example against vanilla public-coin evasive LWE by Wee [26] in an unnatural parameter regime. Our attack crucially relies on the error in the pre-condition being larger than the error in the post-condition, necessitating a refinement of the assumption.\r\n\r\nPrivate-Coin Attacks.\r\n1. The recent work by Agrawal, Kumari and Yamada [2] constructed the first functional encryption scheme for pseudorandom functionalities (PRFE) and extended this to obfuscation for pseudorandom functionalities (PRIO) [4] by relying on private-coin evasive LWE. We provide a new attack against the assumption stated in the first posting of their work (subsequently refined to avoid these attacks).\r\n2. The recent work by Branco et al. [8] (concurrently to [4]) provides a construction of obfuscation for pseudorandom functionalities by relying on private-coin evasive LWE. We provide a new attack against their stated assumption.\r\n3. Branco et al. [8] showed that there exist contrived, “self-referential” classes of pseudorandom functionalities for which pseudorandom obfuscation cannot exist. We extend their techniques to develop an analogous result for pseudorandom functional encryption.\r\n\r\nWhile Evasive LWE was developed to specifically avoid “zeroizing attacks”, our work shows that in certain settings, such attacks can still apply.","lang":"eng"}],"intvolume":" 16269","date_created":"2025-12-21T23:01:33Z","quality_controlled":"1","oa":1,"date_published":"2025-12-05T00:00:00Z","alternative_title":["LNCS"],"year":"2025"},{"month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"end_date":"2025-12-05","name":"TCC: Theory of Cryptography","location":"Aarhus, Denmark","start_date":"2025-12-01"},"acknowledgement":"We thank Jonas Steinbach and Gertjan De Mulder for helpful discussions on BIP 32, Dennis Hofheinz and Julia Kastner for helpful discussions on early prototypes of our CVRF, and Klaus Kraßnitzer for running pairing benchmarks on his MacBook Pro.\r\nChristoph U. Günther: This research was funded in whole or in part by the Austrian Science Fund (FWF) 10.55776/F85. For open access purposes, the author has applied a CC BY public copyright license to any author-accepted manuscript version arising from this submission.","page":"478-511","OA_type":"green","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783032122896"]},"citation":{"chicago":"Brandt, Nicholas, Miguel Cueto Noval, Christoph Ullrich Günther, Akin Ünal, and Stella Wohnig. “Constrained Verifiable Random Functions without Obfuscation and Friends.” In 23rd International Conference on Theory of Cryptography, 16271:478–511. Springer Nature, 2025. https://doi.org/10.1007/978-3-032-12290-2_16.","apa":"Brandt, N., Cueto Noval, M., Günther, C. U., Ünal, A., & Wohnig, S. (2025). Constrained verifiable random functions without obfuscation and friends. In 23rd International Conference on Theory of Cryptography (Vol. 16271, pp. 478–511). Aarhus, Denmark: Springer Nature. https://doi.org/10.1007/978-3-032-12290-2_16","ama":"Brandt N, Cueto Noval M, Günther CU, Ünal A, Wohnig S. Constrained verifiable random functions without obfuscation and friends. In: 23rd International Conference on Theory of Cryptography. Vol 16271. Springer Nature; 2025:478-511. doi:10.1007/978-3-032-12290-2_16","mla":"Brandt, Nicholas, et al. “Constrained Verifiable Random Functions without Obfuscation and Friends.” 23rd International Conference on Theory of Cryptography, vol. 16271, Springer Nature, 2025, pp. 478–511, doi:10.1007/978-3-032-12290-2_16.","short":"N. Brandt, M. Cueto Noval, C.U. Günther, A. Ünal, S. Wohnig, in:, 23rd International Conference on Theory of Cryptography, Springer Nature, 2025, pp. 478–511.","ieee":"N. Brandt, M. Cueto Noval, C. U. Günther, A. Ünal, and S. Wohnig, “Constrained verifiable random functions without obfuscation and friends,” in 23rd International Conference on Theory of Cryptography, Aarhus, Denmark, 2025, vol. 16271, pp. 478–511.","ista":"Brandt N, Cueto Noval M, Günther CU, Ünal A, Wohnig S. 2025. Constrained verifiable random functions without obfuscation and friends. 23rd International Conference on Theory of Cryptography. TCC: Theory of Cryptography, LNCS, vol. 16271, 478–511."},"language":[{"iso":"eng"}],"scopus_import":"1","corr_author":"1","project":[{"name":"Security and Privacy by Design for Complex Systems","_id":"34a34d57-11ca-11ed-8bc3-a2688a8724e1","grant_number":"F8509"}],"author":[{"last_name":"Brandt","full_name":"Brandt, Nicholas","first_name":"Nicholas"},{"orcid":"0000-0002-2505-4246","id":"ffc563a3-f6e0-11ea-865d-e3cce03d17cc","first_name":"Miguel","full_name":"Cueto Noval, Miguel","last_name":"Cueto Noval"},{"first_name":"Christoph Ullrich","id":"ec98511c-eb8e-11eb-b029-edd25d7271a1","full_name":"Günther, Christoph Ullrich","last_name":"Günther"},{"first_name":"Akin","orcid":"0000-0002-8929-0221","id":"f6b56fb6-dc63-11ee-9dbf-f6780863a85a","full_name":"Ünal, Akin","last_name":"Ünal"},{"first_name":"Stella","last_name":"Wohnig","full_name":"Wohnig, Stella"}],"article_processing_charge":"No","date_updated":"2025-12-29T11:11:29Z","department":[{"_id":"KrPi"}],"status":"public","publication_status":"published","doi":"10.1007/978-3-032-12290-2_16","type":"conference","oa_version":"Preprint","OA_place":"repository","volume":16271,"title":"Constrained verifiable random functions without obfuscation and friends","publication":"23rd International Conference on Theory of Cryptography","_id":"20846","publisher":"Springer Nature","day":"05","oa":1,"date_published":"2025-12-05T00:00:00Z","year":"2025","alternative_title":["LNCS"],"date_created":"2025-12-21T23:01:34Z","intvolume":" 16271","abstract":[{"lang":"eng","text":"CVRFs are PRFs that unify the properties of verifiable and constrained PRFs. Since they were introduced concurrently by Fuchsbauer and Chandran-Raghuraman-Vinayagamurthy in 2014, it has been an open problem to construct CVRFs without using heavy machinery such as multilinear maps, obfuscation or functional encryption.\r\nWe solve this problem by constructing a prefix-constrained verifiable PRF that does not rely on the aforementioned assumptions. Essentially, our construction is a verifiable version of the Goldreich-Goldwasser-Micali PRF. To achieve verifiability we leverage degree-2 algebraic PRGs and bilinear groups. In short, proofs consist of intermediate values of the Goldreich-Goldwasser-Micali PRF raised to the exponents of group elements. These outputs can be verified using pairings since the underlying PRG is of degree 2.\r\nWe prove the selective security of our construction under the Decisional Square Diffie-Hellman (DSDH) assumption and a new assumption, which we dub recursive Decisional Diffie-Hellman (recursive DDH).\r\nWe prove the soundness of recursive DDH in the generic group model assuming the hardness of the Multivariate Quadratic (MQ) problem and a new variant thereof, which we call MQ+.\r\nLast, in terms of applications, we observe that our CVRF is also an exponent (C)VRF in the plain model. Exponent VRFs were recently introduced by Boneh et al. (Eurocrypt’25) with various applications to threshold cryptography in mind. In addition to that, we give further applications for prefix-CVRFs in the blockchain setting, namely, stake-pooling and compressible randomness beacons."}],"main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2025/1045"}],"quality_controlled":"1"},{"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"issue":"6","year":"2025","date_published":"2025-12-01T00:00:00Z","quality_controlled":"1","date_created":"2025-12-21T23:01:34Z","intvolume":" 112","abstract":[{"lang":"eng","text":"We report on an experimental active matter system with motion restricted to four cardinal directions. Our particles are magnetite-doped colloidal spheres driven by the Quincke electrorotational instability. The absence of a magnetic field (|𝑩|=0) leads to circular trajectories interspersed with short spontaneous runs. Intermediate fields (|𝑩|≲20mT) linearize the motion along the axis perpendicular to 𝑩. At high magnetic fields, we observe the surprising emergence of a second, distinct linearization along the axis parallel to 𝑩. With numerical simulations, we show that this behavior can be explained by anisotropic magnetic susceptibility."}],"title":"Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter","article_type":"original","ec_funded":1,"OA_place":"publisher","volume":112,"publication":"Physical Review E","PlanS_conform":"1","ddc":["530"],"day":"01","publisher":"American Physical Society","arxiv":1,"_id":"20847","author":[{"full_name":"Fitzgerald, Eavan","last_name":"Fitzgerald","first_name":"Eavan","id":"2df8ab8f-080d-11ed-979a-bfe651ca3afa"},{"first_name":"Cécile","orcid":"0000-0002-1843-3803","id":"5f654c5d-04a1-11eb-ab36-ba9ffec58bd8","full_name":"Clavaud, Cécile","last_name":"Clavaud"},{"first_name":"Debasish","last_name":"Das","full_name":"Das, Debasish"},{"last_name":"Lenton","full_name":"Lenton, Isaac C","orcid":"0000-0002-5010-6984","id":"a550210f-223c-11ec-8182-e2d45e817efb","first_name":"Isaac C"},{"first_name":"Scott R","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2299-3176","full_name":"Waitukaitis, Scott R","last_name":"Waitukaitis"}],"article_processing_charge":"Yes (via OA deal)","department":[{"_id":"ScWa"}],"date_updated":"2025-12-29T11:19:34Z","status":"public","oa_version":"Published Version","type":"journal_article","doi":"10.1103/1ss8-31rb","publication_status":"published","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_identifier":{"eissn":["2470-0053"],"issn":["2470-0045"]},"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"},{"_id":"ScienComp"},{"_id":"LifeSc"}],"external_id":{"arxiv":["2508.05643"]},"OA_type":"hybrid","file":[{"relation":"main_file","checksum":"d593e933f976c3f3cde37ad66539d57d","file_size":2131491,"date_updated":"2025-12-29T11:15:42Z","file_name":"2025_PhysReviewE_Fitzgerald.pdf","creator":"dernst","content_type":"application/pdf","file_id":"20862","success":1,"access_level":"open_access","date_created":"2025-12-29T11:15:42Z"}],"acknowledgement":"This research was funded in whole or in part by the Austrian Science Fund (FWF) [Grant DOI: 10.55776/ESP298]. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant\r\nAgreement No. 949120). This research was supported by the Scientific Service Units of The Institute of Science and Technology Austria (ISTA) through resources provided by the Miba Machine Shop, Nanofabrication Facility, Scientific Computing Facility, and Lab Support Facility. We wish to acknowledge the crucial contributions of Alexandre Morin in getting the project off the ground, and Jack Merrin for creating the SU-8 deposition protocol used in the construction of our\r\ncells. We also wish to thank Kimberley Modic and Hamza Nasir for their work on single-particle characterization. ","language":[{"iso":"eng"}],"article_number":"065418","has_accepted_license":"1","citation":{"chicago":"Fitzgerald, Eavan, Cécile Clavaud, Debasish Das, Isaac C Lenton, and Scott R Waitukaitis. “Rolling at Right Angles: Magnetic Anisotropy Enables Dual-Anisotropic Active Matter.” Physical Review E. American Physical Society, 2025. https://doi.org/10.1103/1ss8-31rb.","apa":"Fitzgerald, E., Clavaud, C., Das, D., Lenton, I. C., & Waitukaitis, S. R. (2025). Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter. Physical Review E. American Physical Society. https://doi.org/10.1103/1ss8-31rb","ama":"Fitzgerald E, Clavaud C, Das D, Lenton IC, Waitukaitis SR. Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter. Physical Review E. 2025;112(6). doi:10.1103/1ss8-31rb","mla":"Fitzgerald, Eavan, et al. “Rolling at Right Angles: Magnetic Anisotropy Enables Dual-Anisotropic Active Matter.” Physical Review E, vol. 112, no. 6, 065418, American Physical Society, 2025, doi:10.1103/1ss8-31rb.","ieee":"E. Fitzgerald, C. Clavaud, D. Das, I. C. Lenton, and S. R. Waitukaitis, “Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter,” Physical Review E, vol. 112, no. 6. American Physical Society, 2025.","ista":"Fitzgerald E, Clavaud C, Das D, Lenton IC, Waitukaitis SR. 2025. Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter. Physical Review E. 112(6), 065418.","short":"E. Fitzgerald, C. Clavaud, D. Das, I.C. Lenton, S.R. Waitukaitis, Physical Review E 112 (2025)."},"file_date_updated":"2025-12-29T11:15:42Z","project":[{"_id":"bd8eede5-d553-11ed-ba76-eaded0d13485","name":"MixQUIckR: Mixing with QUIncke Rollers","grant_number":"E 298"},{"call_identifier":"H2020","name":"Tribocharge: a multi-scale approach to an enduring problem in physics","_id":"0aa60e99-070f-11eb-9043-a6de6bdc3afa","grant_number":"949120"}],"corr_author":"1","scopus_import":"1"},{"tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"oa":1,"date_published":"2025-12-01T00:00:00Z","issue":"4","year":"2025","date_created":"2025-12-21T23:01:34Z","intvolume":" 231","abstract":[{"lang":"eng","text":"Genetic variation that influences complex disease susceptibility is introduced into the population by mutation and removed by natural selection and genetic drift. This mutation–selection–drift balance (MSDB) shapes the prevalence of a disease and its genetic architecture. To date, however, MSDB has been modeled only for monogenic (Mendelian) diseases. Here, we develop an MSDB model for complex disease susceptibility: we assume that genotype relates to disease risk according to the canonical liability threshold model and that the selection on variants affecting risk stems from the fitness cost of the disease. We focus on diseases that are highly polygenic, entail a substantial fitness cost, and are neither extremely common in the population nor exceedingly rare. The comparison of model predictions with genome-wide association studies and other observations in humans indicates that common genetic variation affecting complex disease susceptibility is little affected by directional selection and instead shaped by pleiotropic stabilizing selection on other traits. In turn, directional selection may exert a more substantial effect on rare, large-effect variants. Our results also suggest that current estimates of disease heritability are likely biased. The model thus provides a better understanding of the evolutionary processes that shape the architecture and prevalence of complex diseases."}],"quality_controlled":"1","volume":231,"OA_place":"publisher","article_type":"original","title":"Mutation–selection–drift balance models of complex diseases","publication":"Genetics","ddc":["570"],"pmid":1,"_id":"20848","day":"01","publisher":"Oxford University Press","article_processing_charge":"Yes (in subscription journal)","author":[{"first_name":"Jeremy J.","full_name":"Berg, Jeremy J.","last_name":"Berg"},{"first_name":"Xinyi","last_name":"Li","full_name":"Li, Xinyi"},{"last_name":"Riall","full_name":"Riall, Kellen","first_name":"Kellen"},{"id":"fc885ee5-24bf-11eb-ad7b-bcc5104c0c1b","first_name":"Laura","last_name":"Hayward","full_name":"Hayward, Laura"},{"first_name":"Guy","full_name":"Sella, Guy","last_name":"Sella"}],"date_updated":"2025-12-29T11:29:16Z","department":[{"_id":"NiBa"}],"status":"public","doi":"10.1093/genetics/iyaf220","publication_status":"published","oa_version":"Published Version","type":"journal_article","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","external_id":{"pmid":["41073879"]},"OA_type":"hybrid","file":[{"success":1,"access_level":"open_access","date_created":"2025-12-29T11:27:51Z","file_id":"20863","creator":"dernst","content_type":"application/pdf","file_name":"2025_Genetics_Berg.pdf","date_updated":"2025-12-29T11:27:51Z","file_size":1182339,"relation":"main_file","checksum":"b02eb6b78028b8bef435edc8435a8468"}],"acknowledgement":"We thank Nick Barton, Magnus Nordborg, John Novembre, Molly Przeworski, and Himani Sachdeva for many helpful discussions and for comments on the manuscript, and we thank Joshua Schraiber and 2 anonymous reviewers for comments on the manuscript. We also thank members of the Sella, Przeworski and Andolfatto labs at Columbia University, and the Berg, Novembre and Steinrücken labs at the University of Chicago, for feedback on the work at various stages. This work was completed in part with resources provided by the University of Chicago's Research Computing Center. This work was supported by National Institutes of Health F32 grant GM126787 and R35 grant GM151257 to J.J.B. and National Institutes of Health R01 grant GM115889 to G.S.","publication_identifier":{"issn":["0016-6731"],"eissn":["1943-2631"]},"article_number":"iyaf220","has_accepted_license":"1","citation":{"ama":"Berg JJ, Li X, Riall K, Hayward L, Sella G. Mutation–selection–drift balance models of complex diseases. Genetics. 2025;231(4). doi:10.1093/genetics/iyaf220","chicago":"Berg, Jeremy J., Xinyi Li, Kellen Riall, Laura Hayward, and Guy Sella. “Mutation–Selection–Drift Balance Models of Complex Diseases.” Genetics. Oxford University Press, 2025. https://doi.org/10.1093/genetics/iyaf220.","apa":"Berg, J. J., Li, X., Riall, K., Hayward, L., & Sella, G. (2025). Mutation–selection–drift balance models of complex diseases. Genetics. Oxford University Press. https://doi.org/10.1093/genetics/iyaf220","mla":"Berg, Jeremy J., et al. “Mutation–Selection–Drift Balance Models of Complex Diseases.” Genetics, vol. 231, no. 4, iyaf220, Oxford University Press, 2025, doi:10.1093/genetics/iyaf220.","ista":"Berg JJ, Li X, Riall K, Hayward L, Sella G. 2025. Mutation–selection–drift balance models of complex diseases. Genetics. 231(4), iyaf220.","ieee":"J. J. Berg, X. Li, K. Riall, L. Hayward, and G. Sella, “Mutation–selection–drift balance models of complex diseases,” Genetics, vol. 231, no. 4. Oxford University Press, 2025.","short":"J.J. Berg, X. Li, K. Riall, L. Hayward, G. Sella, Genetics 231 (2025)."},"language":[{"iso":"eng"}],"scopus_import":"1","file_date_updated":"2025-12-29T11:27:51Z"},{"language":[{"iso":"eng"}],"citation":{"apa":"Diao, Y. (2025). Class numbers and integer points on some Pellian surfaces. Journal de Theorie Des Nombres de Bordeaux. Université de Bordeaux. https://doi.org/10.5802/jtnb.1348","chicago":"Diao, Yijie. “Class Numbers and Integer Points on Some Pellian Surfaces.” Journal de Theorie Des Nombres de Bordeaux. Université de Bordeaux, 2025. https://doi.org/10.5802/jtnb.1348.","ama":"Diao Y. Class numbers and integer points on some Pellian surfaces. Journal de theorie des nombres de Bordeaux. 2025;37(3):973-988. doi:10.5802/jtnb.1348","ista":"Diao Y. 2025. Class numbers and integer points on some Pellian surfaces. Journal de theorie des nombres de Bordeaux. 37(3), 973–988.","ieee":"Y. Diao, “Class numbers and integer points on some Pellian surfaces,” Journal de theorie des nombres de Bordeaux, vol. 37, no. 3. Université de Bordeaux, pp. 973–988, 2025.","short":"Y. Diao, Journal de Theorie Des Nombres de Bordeaux 37 (2025) 973–988.","mla":"Diao, Yijie. “Class Numbers and Integer Points on Some Pellian Surfaces.” Journal de Theorie Des Nombres de Bordeaux, vol. 37, no. 3, Université de Bordeaux, 2025, pp. 973–88, doi:10.5802/jtnb.1348."},"has_accepted_license":"1","corr_author":"1","file_date_updated":"2025-12-29T10:05:22Z","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","publication_identifier":{"eissn":["2118-8572"],"issn":["1246-7405"]},"page":"973-988","acknowledgement":"The author would like to thank his supervisor Tim Browning for suggesting this project and many helpful conversations and useful comments. Moreover, he is grateful to Jakob Glas, Damaris Schindler, Igor Shparlinski, Matteo Verzobio, Victor Wang, Florian Wilsch and Shuntaro Yamagishi for taking their time to answer his questions and their valuable suggestions.","file":[{"file_size":766196,"relation":"main_file","checksum":"67aa0afbc0b5bcbff5341f4d25e6ba20","date_updated":"2025-12-29T10:05:22Z","file_name":"2025_JTNB_Diao.pdf","content_type":"application/pdf","creator":"dernst","access_level":"open_access","success":1,"date_created":"2025-12-29T10:05:22Z","file_id":"20861"}],"external_id":{"arxiv":["2408.03774"]},"OA_type":"hybrid","status":"public","type":"journal_article","oa_version":"Published Version","publication_status":"published","doi":"10.5802/jtnb.1348","author":[{"first_name":"Yijie","id":"7b7eb4ca-eb2c-11ec-b98b-accec0b20c3b","orcid":"0000-0002-4989-5330","last_name":"Diao","full_name":"Diao, Yijie"}],"article_processing_charge":"Yes (in subscription journal)","department":[{"_id":"TiBr"}],"date_updated":"2025-12-29T10:08:46Z","ddc":["510"],"publisher":"Université de Bordeaux","arxiv":1,"day":"27","_id":"20850","article_type":"original","title":"Class numbers and integer points on some Pellian surfaces","OA_place":"publisher","volume":37,"publication":"Journal de theorie des nombres de Bordeaux","quality_controlled":"1","date_created":"2025-12-21T23:01:35Z","intvolume":" 37","abstract":[{"lang":"eng","text":"We provide an estimate for the number of nontrivial integer points on the Pellian surface t^2 - du^2 = 1 in a bounded region. We give a lower bound on the size of fundamental solutions for almost all d in a certain class, based on a recent conjecture of Browning and Wilsch about integer points on log K3 surfaces. We also obtain an upper bound on the average of class number in this class, assuming the same conjecture."},{"text":"Nous donnons une estimation du nombre de points entiers non triviaux sur la surface pellienne \r\nt^2 - du^2 = 1 dans une région bornée. Nous établissons une borne inférieure pour la taille des solutions fondamentales pour presque tout d appartenant à une certaine classe, en nous fondant sur une conjecture récente de Browning et Wilsch concernant les points entiers sur les surfaces log K3. Nous obtenons également une borne supérieure pour la moyenne du nombre de classes dans cette classe, sous la même hypothèse conjecturale.","lang":"fre"}],"oa":1,"tmp":{"short":"CC BY-ND (4.0)","image":"/image/cc_by_nd.png","legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)"},"year":"2025","issue":"3","date_published":"2025-11-27T00:00:00Z"},{"year":"2025","date_published":"2025-12-12T00:00:00Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)"},"quality_controlled":"1","date_created":"2025-12-21T23:01:35Z","abstract":[{"lang":"eng","text":"High-voltage disordered spinel LiNi0.5Mn1.5O4 is a promising cathode material for high power density in lithium-ion batteries. However, it suffers from poor cycle life associated with the rock-salt phase transformation. This study presents a straightforward synthesis approach to enhance the electrochemical performance of LiNi0.5Mn1.5O4 through a synergistic solid-state modification with LiF and AlF3. This dual modification promotes rapid Li⁺ diffusion, enables near-complete delithiation/lithiation, approaching the theoretical capacity of disordered LiNi0.5Mn1.5O4, and, more importantly, effectively mitigates the formation of the rock-salt phase, thereby enhancing structural stability, as confirmed by operando X-ray absorption spectroscopy (XAS) and synchrotron X-ray diffraction (SXRD). As a result, the optimized LiNi0.5Mn1.5O4 (10 mg AlF3 + 30 mg LiF) delivers high reversible capacities of 142.1, 139.1, 129.2, 121.6, 110.3, 93.5, and 76.1 mAh∙g−1 at 0.2C, 0.5C, 1.0C, 2.0C, 3.0C, 4.0C, and 5.0C, respectively. Full cells using graphite as the anode and a high-loading cathode exhibit excellent cycling performance. They retain 80% of their capacity after 200 cycles at 0.5C within a voltage window of 3.5–4.9 V with cathode loading of 11 mg∙cm−2. The findings of this study will significantly advance high-power LiNi0.5Mn1.5O4 materials, offering improved battery life and thereby enhancing their potential for practical applications."}],"PlanS_conform":"1","publication":"Advanced Science","title":"Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications","article_type":"original","OA_place":"publisher","publisher":"Wiley","day":"12","_id":"20851","ddc":["540"],"department":[{"_id":"MaIb"}],"date_updated":"2025-12-29T10:15:43Z","author":[{"full_name":"Chang, Xingqi","last_name":"Chang","first_name":"Xingqi"},{"full_name":"Escudero, Carlos","last_name":"Escudero","first_name":"Carlos"},{"last_name":"Black","full_name":"Black, Ashley P.","first_name":"Ashley P."},{"full_name":"Horta, Sharona","last_name":"Horta","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","first_name":"Sharona"},{"first_name":"Elías","last_name":"Martínez","full_name":"Martínez, Elías"},{"last_name":"Lu","full_name":"Lu, Xuan","first_name":"Xuan"},{"last_name":"Llorca","full_name":"Llorca, Jordi","first_name":"Jordi"},{"orcid":"0000-0001-5013-2843","id":"43C61214-F248-11E8-B48F-1D18A9856A87","first_name":"Maria","last_name":"Ibáñez","full_name":"Ibáñez, Maria"},{"first_name":"Jordi Jacas","full_name":"Biendicho, Jordi Jacas","last_name":"Biendicho"},{"full_name":"Cabot, Andreu","last_name":"Cabot","first_name":"Andreu"}],"article_processing_charge":"Yes","type":"journal_article","oa_version":"Published Version","publication_status":"epub_ahead","doi":"10.1002/advs.202515962","status":"public","publication_identifier":{"eissn":["2198-3844"]},"acknowledgement":"This work was supported by the European Commission-financed project IntelLigent (HORIZON-CL5-2021-D2-01-02) with project ID number 101069765. In collaboration with ALBA staff, the operando SXRD and XAS experiments were performed at BL-16-NOTOS beamline at ALBA Synchrotron Light Source (experiment number: 2023097765). This research was supported by the Scientific Service Units (SSU) of the Institute of Science and Technology Austria (ISTA) through resources provided by the Electron Microscopy Facility (EMF) and the Nanofabrication Facility (NFF), and M.I. and S.H. acknowledge financial support from ISTA and the Werner Siemens Foundation. Jordi Jacas Biendicho acknowledges the fellowship RYC2021-034994-I, funded by MICIU/AEI/10.13039/501100011033 and the European Union «NextGenerationEU»/PRTR». Jordi Llorca is a Serra Húnter Fellow and is grateful to projects MICIN/AEI/FEDER PID2021-124572OB-C31 and Maria de Maeztu Units of Excellence Programme CEX2023-001300-M, and GC 2021 SGR 01061.","OA_type":"gold","acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"NanoFab"}],"DOAJ_listed":"1","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","project":[{"_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A","name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery"}],"scopus_import":"1","language":[{"iso":"eng"}],"citation":{"ieee":"X. Chang et al., “Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications,” Advanced Science. Wiley, 2025.","ista":"Chang X, Escudero C, Black AP, Horta S, Martínez E, Lu X, Llorca J, Ibáñez M, Biendicho JJ, Cabot A. 2025. Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications. Advanced Science., e15962.","short":"X. Chang, C. Escudero, A.P. Black, S. Horta, E. Martínez, X. Lu, J. Llorca, M. Ibáñez, J.J. Biendicho, A. Cabot, Advanced Science (2025).","mla":"Chang, Xingqi, et al. “Mitigating the Rock-Salt Phase Transformation in Disordered LNMO through Synergetic Solid-State AlF3/LiF Modifications.” Advanced Science, e15962, Wiley, 2025, doi:10.1002/advs.202515962.","apa":"Chang, X., Escudero, C., Black, A. P., Horta, S., Martínez, E., Lu, X., … Cabot, A. (2025). Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications. Advanced Science. Wiley. https://doi.org/10.1002/advs.202515962","chicago":"Chang, Xingqi, Carlos Escudero, Ashley P. Black, Sharona Horta, Elías Martínez, Xuan Lu, Jordi Llorca, Maria Ibáñez, Jordi Jacas Biendicho, and Andreu Cabot. “Mitigating the Rock-Salt Phase Transformation in Disordered LNMO through Synergetic Solid-State AlF3/LiF Modifications.” Advanced Science. Wiley, 2025. https://doi.org/10.1002/advs.202515962.","ama":"Chang X, Escudero C, Black AP, et al. Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications. Advanced Science. 2025. doi:10.1002/advs.202515962"},"has_accepted_license":"1","article_number":"e15962"},{"_id":"20857","publisher":"National Academy of Sciences","day":"15","ddc":["000"],"pmid":1,"publication":"Proceedings of the National Academy of Sciences","volume":122,"OA_place":"publisher","ec_funded":1,"article_type":"original","title":"Promoters of cooperation in evolutionary games","intvolume":" 122","date_created":"2025-12-28T23:01:26Z","abstract":[{"text":"Evolutionary games provide a flexible mathematical framework for many problems in biology and social evolution. Prisoners’ dilemma, and in particular, the important special case of donation games, represents social dilemmas where cooperation is mutually beneficial, yet defection is preferred by selfish agents. In evolutionary games on networks, the agents interact over a population structure. The existence of population structures that promote cooperative behavior is a fascinating and active research topic. Previous research establishes structures promoting cooperation in the limit of weak selection where the benefit-to-cost ratio β exceeds 1.5. The existence of such structures for medium and strong selection for 1 < ß < 2 and for weak selection for 1 < ß < 1.5 has been a long-standing open question. First, we answer the open questions in the affirmative: For every selection strength and every ß > 1, we construct networks promoting cooperation. Second, we present a robustness result with respect to β and selection strength: Our structures promote cooperation for a range of these parameter values rather than specific parameter values. Finally, we supplement our theoretical results with simulation results on small population structures that show the effectiveness of our construction over well-studied population structures.","lang":"eng"}],"quality_controlled":"1","date_published":"2025-12-15T00:00:00Z","year":"2025","issue":"51","tmp":{"short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"oa":1,"scopus_import":"1","corr_author":"1","project":[{"grant_number":"863818","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020"}],"file_date_updated":"2025-12-29T09:36:50Z","citation":{"mla":"Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary Games.” Proceedings of the National Academy of Sciences, vol. 122, no. 51, National Academy of Sciences, 2025, p. e2524109122, doi:10.1073/pnas.2524109122.","ista":"Svoboda J, Chatterjee K. 2025. Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. 122(51), e2524109122.","ieee":"J. Svoboda and K. Chatterjee, “Promoters of cooperation in evolutionary games,” Proceedings of the National Academy of Sciences, vol. 122, no. 51. National Academy of Sciences, p. e2524109122, 2025.","short":"J. Svoboda, K. Chatterjee, Proceedings of the National Academy of Sciences 122 (2025) e2524109122.","chicago":"Svoboda, Jakub, and Krishnendu Chatterjee. “Promoters of Cooperation in Evolutionary Games.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2025. https://doi.org/10.1073/pnas.2524109122.","apa":"Svoboda, J., & Chatterjee, K. (2025). Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.2524109122","ama":"Svoboda J, Chatterjee K. Promoters of cooperation in evolutionary games. Proceedings of the National Academy of Sciences. 2025;122(51):e2524109122. doi:10.1073/pnas.2524109122"},"has_accepted_license":"1","language":[{"iso":"eng"}],"acknowledgement":"J.S. and K.C. were supported by the European Research Council CoG 863818 (ForM-SMArt) and Austrian Science Fund (FWF) 10.55776/COE12.","page":"e2524109122","file":[{"creator":"dernst","content_type":"application/pdf","success":1,"access_level":"open_access","date_created":"2025-12-29T09:36:50Z","file_id":"20860","file_size":2308124,"relation":"main_file","checksum":"dd50b62a1efc28c0133fe9c11dbee53c","file_name":"2025_PNAS_Svoboda.pdf","date_updated":"2025-12-29T09:36:50Z"}],"OA_type":"hybrid","external_id":{"pmid":["41397136"]},"publication_identifier":{"eissn":["1091-6490"]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"12","publication_status":"published","doi":"10.1073/pnas.2524109122","type":"journal_article","oa_version":"Published Version","status":"public","date_updated":"2026-02-16T12:34:04Z","department":[{"_id":"KrCh"}],"author":[{"first_name":"Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425","orcid":"0000-0002-1419-3267","full_name":"Svoboda, Jakub","last_name":"Svoboda"},{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"}],"article_processing_charge":"Yes (in subscription journal)"},{"oa":1,"date_published":"2025-10-04T00:00:00Z","year":"2025","date_created":"2025-12-28T23:01:26Z","abstract":[{"lang":"eng","text":"Targeted antigen delivery to immune cells, particularly dendritic cells, has emerged as a promising strategy to enhance therapeutic efficacy of vaccines, while minimizing adverse effects associated with conventional immunization. In this study, we use our previously described small glycomimetic molecule that is selectively recognized by the Langerhans cell (LC)-specific surface receptor Langerin and demonstrate specific delivery of protein antigens to these specialized dendritic cells. Our results show that Langerin-mediated antigen delivery significantly enhances the immune response in vivo, resulting in increased expansion and activation of antigen-specific T cells, compared to immunization with unmodified antigen. We demonstrate the feasibility of our LC-targeted platform for immune cell-specific immunization with protein antigen and underscore the potential of LCs as an access point for next-generation vaccines and immunotherapies."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2025.05.05.652195"}],"quality_controlled":"1","OA_place":"repository","title":"Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response","article_type":"original","publication":"Molecular Therapy","_id":"20858","publisher":"Elsevier","day":"04","author":[{"full_name":"Rica, Ramona","last_name":"Rica","first_name":"Ramona"},{"first_name":"Klara","last_name":"Klein","full_name":"Klein, Klara"},{"first_name":"Litty","full_name":"Johnson, Litty","last_name":"Johnson"},{"full_name":"Carta, Gabriele","last_name":"Carta","first_name":"Gabriele"},{"first_name":"Mirza","full_name":"Sarcevic, Mirza","last_name":"Sarcevic"},{"id":"3C1BE782-F248-11E8-B48F-1D18A9856A87","first_name":"Freyja","full_name":"Langer, Freyja","last_name":"Langer"},{"first_name":"Christoph","last_name":"Rademacher","full_name":"Rademacher, Christoph"},{"first_name":"Robert","last_name":"Wawrzinek","full_name":"Wawrzinek, Robert"},{"last_name":"Quattrone","full_name":"Quattrone, Federica","first_name":"Federica"},{"full_name":"Sparber, Florian","last_name":"Sparber","first_name":"Florian"}],"article_processing_charge":"No","date_updated":"2025-12-29T09:55:05Z","department":[{"_id":"PreCl"}],"status":"public","publication_status":"inpress","doi":"10.1016/j.ymthe.2025.10.008","type":"journal_article","oa_version":"Preprint","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"10","acknowledgement":"This project was generously supported by Seedfinancing (grant no. P2282679) of the Austrian Bundesministerium für Digitalisierung und Wirtschaftsstandort and the Bundesministerium für Klimaschutz, Umwelt, Energie, Mobilität, Innovation, und Technologie, handled by the Austrian Wirtschaftsservice (aws), as well as by Life Science Call 2022 (grant no. FO999896442) of the Austrian Research Promotion Agency (FFG). We thank Mag. Michael Schunn from the PCF of the Institute of Science and Technology Austria for his continuous technical support.","OA_type":"green","publication_identifier":{"eissn":["1525-0024"],"issn":["1525-0016"]},"citation":{"mla":"Rica, Ramona, et al. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific Cellular Immune Response.” Molecular Therapy, Elsevier, doi:10.1016/j.ymthe.2025.10.008.","ista":"Rica R, Klein K, Johnson L, Carta G, Sarcevic M, Langer F, Rademacher C, Wawrzinek R, Quattrone F, Sparber F. Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. Molecular Therapy.","short":"R. Rica, K. Klein, L. Johnson, G. Carta, M. Sarcevic, F. Langer, C. Rademacher, R. Wawrzinek, F. Quattrone, F. Sparber, Molecular Therapy (n.d.).","ieee":"R. Rica et al., “Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response,” Molecular Therapy. Elsevier.","chicago":"Rica, Ramona, Klara Klein, Litty Johnson, Gabriele Carta, Mirza Sarcevic, Freyja Langer, Christoph Rademacher, Robert Wawrzinek, Federica Quattrone, and Florian Sparber. “Langerhans Cell-Targeted Protein Delivery Enhances Antigen-Specific Cellular Immune Response.” Molecular Therapy. Elsevier, n.d. https://doi.org/10.1016/j.ymthe.2025.10.008.","apa":"Rica, R., Klein, K., Johnson, L., Carta, G., Sarcevic, M., Langer, F., … Sparber, F. (n.d.). Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. Molecular Therapy. Elsevier. https://doi.org/10.1016/j.ymthe.2025.10.008","ama":"Rica R, Klein K, Johnson L, et al. Langerhans cell-targeted protein delivery enhances antigen-specific cellular immune response. Molecular Therapy. doi:10.1016/j.ymthe.2025.10.008"},"language":[{"iso":"eng"}],"scopus_import":"1"}]