[{"isi":1,"volume":12,"researchdata_availability":"not applicable","doi":"10.1007/s40072-023-00319-4","file":[{"date_updated":"2025-01-09T08:01:02Z","content_type":"application/pdf","file_name":"2024_StochPartDiffEquations_Agresti.pdf","file_size":1320682,"file_id":"18787","access_level":"open_access","relation":"main_file","creator":"dernst","success":1,"date_created":"2025-01-09T08:01:02Z","checksum":"3c93d07a5f7e0b0caa8062eadcfa69c2"}],"day":"01","dataavailabilitystatement":"This manuscript has no associated data.","oa":1,"corr_author":"1","external_id":{"isi":["001108594600001"],"arxiv":["2207.08293"],"pmid":["39104877"]},"publisher":"Springer Nature","department":[{"_id":"JuFi"}],"month":"09","has_accepted_license":"1","date_published":"2024-09-01T00:00:00Z","file_date_updated":"2025-01-09T08:01:02Z","article_processing_charge":"No","das_tickbox":"1","fulldoi":"https://doi.org/10.1007/s40072-023-00319-4","arxiv":1,"ddc":["510"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","pmid":1,"year":"2024","quality_controlled":"1","intvolume":"        12","OA_type":"hybrid","OA_place":"publisher","language":[{"iso":"eng"}],"publication":"Stochastics and Partial Differential Equations: Analysis and Computations","scopus_import":"1","publication_identifier":{"eissn":["2194-041X"],"issn":["2194-0401"]},"acknowledgement":"The author has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 948819).\r\nThe author thanks Lorenzo Dello Schiavo, Lucio Galeati and Mark Veraar for helpful comments. The author acknowledges Caterina Balzotti for her support in creating the picture. The author\r\nthanks the anonymous referee for helpful comments. ","ec_funded":1,"license":"https://creativecommons.org/licenses/by/4.0/","page":"1907-1981","citation":{"short":"A. Agresti, Stochastics and Partial Differential Equations: Analysis and Computations 12 (2024) 1907–1981.","ista":"Agresti A. 2024. Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations. Stochastics and Partial Differential Equations: Analysis and Computations. 12, 1907–1981.","ieee":"A. Agresti, “Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations,” <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>, vol. 12. Springer Nature, pp. 1907–1981, 2024.","mla":"Agresti, Antonio. “Delayed Blow-up and Enhanced Diffusion by Transport Noise for Systems of Reaction-Diffusion Equations.” <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>, vol. 12, Springer Nature, 2024, pp. 1907–81, doi:<a href=\"https://doi.org/10.1007/s40072-023-00319-4\">10.1007/s40072-023-00319-4</a>.","ama":"Agresti A. Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations. <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>. 2024;12:1907-1981. doi:<a href=\"https://doi.org/10.1007/s40072-023-00319-4\">10.1007/s40072-023-00319-4</a>","apa":"Agresti, A. (2024). Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations. <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s40072-023-00319-4\">https://doi.org/10.1007/s40072-023-00319-4</a>","chicago":"Agresti, Antonio. “Delayed Blow-up and Enhanced Diffusion by Transport Noise for Systems of Reaction-Diffusion Equations.” <i>Stochastics and Partial Differential Equations: Analysis and Computations</i>. Springer Nature, 2024. <a href=\"https://doi.org/10.1007/s40072-023-00319-4\">https://doi.org/10.1007/s40072-023-00319-4</a>."},"project":[{"grant_number":"948819","name":"Bridging Scales in Random Materials","call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d"}],"supplementarymaterial":"no","date_updated":"2026-10-15T09:48:09Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"Delayed blow-up and enhanced diffusion by transport noise for systems of reaction-diffusion equations","_id":"12486","date_created":"2023-02-02T10:45:47Z","status":"public","author":[{"orcid":"0000-0002-9573-2962","full_name":"Agresti, Antonio","id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72","last_name":"Agresti","first_name":"Antonio"}],"type":"journal_article","oa_version":"Published Version","article_type":"original","abstract":[{"lang":"eng","text":"This paper is concerned with the problem of regularization by noise of systems of reaction–diffusion equations with mass control. It is known that strong solutions to such systems of PDEs may blow-up in finite time. Moreover, for many systems of practical interest, establishing whether the blow-up occurs or not is an open question. Here we prove that a suitable multiplicative noise of transport type has a regularizing effect. More precisely, for both a sufficiently noise intensity and a high spectrum, the blow-up of strong solutions is delayed up to an arbitrary large time. Global existence is shown for the case of exponentially decreasing mass. The proofs combine and extend recent developments in regularization by noise and in the Lp(Lq)-approach to stochastic PDEs, highlighting new connections between the two areas."}]},{"oa":1,"corr_author":"1","day":"01","publisher":"Springer Nature","department":[{"_id":"JuFi"}],"month":"10","external_id":{"isi":["001136206200002"],"arxiv":["2303.00353"]},"isi":1,"researchdata_availability":"no","doi":"10.1007/s00440-023-01254-0","file":[{"access_level":"open_access","creator":"dernst","relation":"main_file","success":1,"checksum":"34f44cad6a210ff66791ee37e590af2c","date_created":"2025-01-09T08:10:54Z","content_type":"application/pdf","date_updated":"2025-01-09T08:10:54Z","file_name":"2024_ProbTheoryRelatFields_Clozeau.pdf","file_size":880117,"file_id":"18788"}],"volume":190,"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["510"],"intvolume":"       190","publication_status":"published","year":"2024","quality_controlled":"1","article_processing_charge":"Yes (in subscription journal)","has_accepted_license":"1","date_published":"2024-10-01T00:00:00Z","file_date_updated":"2025-01-09T08:10:54Z","arxiv":1,"das_tickbox":"0","fulldoi":"https://doi.org/10.1007/s00440-023-01254-0","scopus_import":"1","publication":"Probability Theory and Related Fields","ec_funded":1,"acknowledgement":"NC has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No 948819).\r\nFM is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the SPP 2265 Random Geometric Systems. FM has been funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2044 -390685587, Mathematics Münster: Dynamics–Geometry–Structure. FM has been funded by the Max Planck Institute for Mathematics in the Sciences.","publication_identifier":{"eissn":["1432-2064"],"issn":["0178-8051"]},"OA_type":"hybrid","OA_place":"publisher","language":[{"iso":"eng"}],"date_created":"2024-01-14T23:00:57Z","author":[{"first_name":"Nicolas","last_name":"Clozeau","id":"fea1b376-906f-11eb-847d-b2c0cf46455b","full_name":"Clozeau, Nicolas"},{"last_name":"Mattesini","first_name":"Francesco","full_name":"Mattesini, Francesco"}],"status":"public","title":"Annealed quantitative estimates for the quadratic 2D-discrete random matching problem","_id":"14797","abstract":[{"lang":"eng","text":"We study a random matching problem on closed compact  2 -dimensional Riemannian manifolds (with respect to the squared Riemannian distance), with samples of random points whose common law is absolutely continuous with respect to the volume measure with strictly positive and bounded density. We show that given two sequences of numbers  n  and  m=m(n)  of points, asymptotically equivalent as  n  goes to infinity, the optimal transport plan between the two empirical measures  μn  and  νm  is quantitatively well-approximated by  (Id,exp(∇hn))#μn  where  hn  solves a linear elliptic PDE obtained by a regularized first-order linearization of the Monge-Ampère equation. This is obtained in the case of samples of correlated random points for which a stretched exponential decay of the  α -mixing coefficient holds and for a class of discrete-time Markov chains having a unique absolutely continuous invariant measure with respect to the volume measure."}],"type":"journal_article","oa_version":"Published Version","article_type":"original","page":"485-541","citation":{"apa":"Clozeau, N., &#38; Mattesini, F. (2024). Annealed quantitative estimates for the quadratic 2D-discrete random matching problem. <i>Probability Theory and Related Fields</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00440-023-01254-0\">https://doi.org/10.1007/s00440-023-01254-0</a>","chicago":"Clozeau, Nicolas, and Francesco Mattesini. “Annealed Quantitative Estimates for the Quadratic 2D-Discrete Random Matching Problem.” <i>Probability Theory and Related Fields</i>. Springer Nature, 2024. <a href=\"https://doi.org/10.1007/s00440-023-01254-0\">https://doi.org/10.1007/s00440-023-01254-0</a>.","short":"N. Clozeau, F. Mattesini, Probability Theory and Related Fields 190 (2024) 485–541.","ista":"Clozeau N, Mattesini F. 2024. Annealed quantitative estimates for the quadratic 2D-discrete random matching problem. Probability Theory and Related Fields. 190, 485–541.","ieee":"N. Clozeau and F. Mattesini, “Annealed quantitative estimates for the quadratic 2D-discrete random matching problem,” <i>Probability Theory and Related Fields</i>, vol. 190. Springer Nature, pp. 485–541, 2024.","mla":"Clozeau, Nicolas, and Francesco Mattesini. “Annealed Quantitative Estimates for the Quadratic 2D-Discrete Random Matching Problem.” <i>Probability Theory and Related Fields</i>, vol. 190, Springer Nature, 2024, pp. 485–541, doi:<a href=\"https://doi.org/10.1007/s00440-023-01254-0\">10.1007/s00440-023-01254-0</a>.","ama":"Clozeau N, Mattesini F. Annealed quantitative estimates for the quadratic 2D-discrete random matching problem. <i>Probability Theory and Related Fields</i>. 2024;190:485-541. doi:<a href=\"https://doi.org/10.1007/s00440-023-01254-0\">10.1007/s00440-023-01254-0</a>"},"project":[{"grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials","call_identifier":"H2020"}],"supplementarymaterial":"no","date_updated":"2026-10-15T09:48:31Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"title":"Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility","_id":"15334","author":[{"first_name":"Helmut","last_name":"Abels","full_name":"Abels, Helmut"},{"first_name":"Mingwen","last_name":"Fei","full_name":"Fei, Mingwen"},{"first_name":"Maximilian","last_name":"Moser","id":"a60047a9-da77-11eb-85b4-c4dc385ebb8c","full_name":"Moser, Maximilian"}],"date_created":"2024-04-21T22:00:52Z","status":"public","oa_version":"Published Version","type":"journal_article","article_type":"original","abstract":[{"lang":"eng","text":"We consider the sharp interface limit of a Navier-Stokes/Allen Cahn equation in a bounded smooth domain in two space dimensions, in the case of vanishing mobility mε=ε√, where the small parameter ε>0 related to the thickness of the diffuse interface is sent to zero. For well-prepared initial data and sufficiently small times, we rigorously prove convergence to the classical two-phase Navier-Stokes system with surface tension. The idea of the proof is to use asymptotic expansions to construct an approximate solution and to estimate the difference of the exact and approximate solutions with a spectral estimate for the (at the approximate solution) linearized Allen-Cahn operator. In the calculations we use a fractional order ansatz and new ansatz terms in higher orders leading to a suitable ε-scaled and coupled model problem. Moreover, we apply the novel idea of introducing ε-dependent coordinates."}],"citation":{"chicago":"Abels, Helmut, Mingwen Fei, and Maximilian Moser. “Sharp Interface Limit for a Navier–Stokes/Allen–Cahn System in the Case of a Vanishing Mobility.” <i>Calculus of Variations and Partial Differential Equations</i>. Springer Nature, 2024. <a href=\"https://doi.org/10.1007/s00526-024-02715-7\">https://doi.org/10.1007/s00526-024-02715-7</a>.","apa":"Abels, H., Fei, M., &#38; Moser, M. (2024). Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. <i>Calculus of Variations and Partial Differential Equations</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00526-024-02715-7\">https://doi.org/10.1007/s00526-024-02715-7</a>","ama":"Abels H, Fei M, Moser M. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. <i>Calculus of Variations and Partial Differential Equations</i>. 2024;63(4). doi:<a href=\"https://doi.org/10.1007/s00526-024-02715-7\">10.1007/s00526-024-02715-7</a>","mla":"Abels, Helmut, et al. “Sharp Interface Limit for a Navier–Stokes/Allen–Cahn System in the Case of a Vanishing Mobility.” <i>Calculus of Variations and Partial Differential Equations</i>, vol. 63, no. 4, 94, Springer Nature, 2024, doi:<a href=\"https://doi.org/10.1007/s00526-024-02715-7\">10.1007/s00526-024-02715-7</a>.","ista":"Abels H, Fei M, Moser M. 2024. Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility. Calculus of Variations and Partial Differential Equations. 63(4), 94.","short":"H. Abels, M. Fei, M. Moser, Calculus of Variations and Partial Differential Equations 63 (2024).","ieee":"H. Abels, M. Fei, and M. Moser, “Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility,” <i>Calculus of Variations and Partial Differential Equations</i>, vol. 63, no. 4. Springer Nature, 2024."},"project":[{"grant_number":"948819","call_identifier":"H2020","name":"Bridging Scales in Random Materials","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d"}],"date_updated":"2026-10-15T09:47:15Z","supplementarymaterial":"no","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Calculus of Variations and Partial Differential Equations","scopus_import":"1","issue":"4","publication_identifier":{"issn":["0944-2669"],"eissn":["1432-0835"]},"ec_funded":1,"acknowledgement":"Open Access funding enabled and organized by Projekt DEAL.\r\nM. Fei was partially supported by NSF of China under Grant No. 12271004 and Anhui Provincial Funding Project under Grant Nos. gxbjZD2022009 and 2308085J10. Moreover, M. Moser has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No 948819).","language":[{"iso":"eng"}],"ddc":["510"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","year":"2024","quality_controlled":"1","intvolume":"        63","has_accepted_license":"1","file_date_updated":"2024-04-23T07:30:48Z","date_published":"2024-05-01T00:00:00Z","article_processing_charge":"Yes (via OA deal)","das_tickbox":"0","fulldoi":"https://doi.org/10.1007/s00526-024-02715-7","arxiv":1,"day":"01","oa":1,"external_id":{"arxiv":["2304.12096"],"isi":["001199418100002"]},"publisher":"Springer Nature","department":[{"_id":"JuFi"}],"month":"05","isi":1,"article_number":"94","volume":63,"researchdata_availability":"no","doi":"10.1007/s00526-024-02715-7","file":[{"content_type":"application/pdf","date_updated":"2024-04-23T07:30:48Z","file_name":"2024_CalculusEquations_Abels.pdf","file_size":975186,"file_id":"15343","access_level":"open_access","creator":"dernst","relation":"main_file","success":1,"checksum":"b1095fad4cae596f52cc616a973bdde2","date_created":"2024-04-23T07:30:48Z"}]},{"volume":37,"file":[{"creator":"dernst","relation":"main_file","access_level":"open_access","checksum":"d27b3c7102adc28e798fe41001f0b919","date_created":"2025-02-05T08:34:25Z","success":1,"file_size":6943800,"date_updated":"2025-02-05T08:34:25Z","content_type":"application/pdf","file_name":"2024_NeurIPS_Kori.pdf","file_id":"19008"}],"doi":"10.52202/079017-2960","researchdata_availability":"no","day":"01","oa":1,"external_id":{"arxiv":["2406.07141"]},"department":[{"_id":"FrLo"}],"month":"12","publisher":"Neural Information Processing Systems Foundation","date_published":"2024-12-01T00:00:00Z","alternative_title":["Advances in Neural Information Processing Systems"],"file_date_updated":"2025-02-05T08:34:25Z","has_accepted_license":"1","conference":{"location":"Vancouver, Canada","name":"NeurIPS: Neural Information Processing Systems","end_date":"2024-12-16","start_date":"2024-12-16"},"article_processing_charge":"No","fulldoi":"https://doi.org/10.52202/079017-2960","das_tickbox":"0","arxiv":1,"ddc":["000"],"quality_controlled":"1","year":"2024","publication_status":"published","intvolume":"        37","OA_type":"hybrid","OA_place":"publisher","language":[{"iso":"eng"}],"publication":"38th Conference on Neural Information Processing Systems","scopus_import":"1","acknowledgement":"A. Kori is supported by UKRI (grant number EP/S023356/1), as part of the UKRI Centre for Doctoral Training in Safe and Trusted AI. B. Glocker and F.D.S. Ribeiro acknowledge the support of the UKRI AI programme, and the Engineering and Physical Sciences Research Council, for CHAI - EPSRC Causality in Healthcare AI Hub (grant number EP/Y028856/1).","citation":{"short":"A. Kori, F. Locatello, A. Santhirasekaram, F. Toni, B. Glocker, F. De Sousa Ribeiro, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024.","ista":"Kori A, Locatello F, Santhirasekaram A, Toni F, Glocker B, De Sousa Ribeiro F. 2024. Identifiable object-centric representation learning via probabilistic slot attention. 38th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 37.","ieee":"A. Kori, F. Locatello, A. Santhirasekaram, F. Toni, B. Glocker, and F. De Sousa Ribeiro, “Identifiable object-centric representation learning via probabilistic slot attention,” in <i>38th Conference on Neural Information Processing Systems</i>, Vancouver, Canada, 2024, vol. 37.","mla":"Kori, Avinash, et al. “Identifiable Object-Centric Representation Learning via Probabilistic Slot Attention.” <i>38th Conference on Neural Information Processing Systems</i>, vol. 37, Neural Information Processing Systems Foundation, 2024, doi:<a href=\"https://doi.org/10.52202/079017-2960\">10.52202/079017-2960</a>.","ama":"Kori A, Locatello F, Santhirasekaram A, Toni F, Glocker B, De Sousa Ribeiro F. Identifiable object-centric representation learning via probabilistic slot attention. In: <i>38th Conference on Neural Information Processing Systems</i>. Vol 37. Neural Information Processing Systems Foundation; 2024. doi:<a href=\"https://doi.org/10.52202/079017-2960\">10.52202/079017-2960</a>","apa":"Kori, A., Locatello, F., Santhirasekaram, A., Toni, F., Glocker, B., &#38; De Sousa Ribeiro, F. (2024). Identifiable object-centric representation learning via probabilistic slot attention. In <i>38th Conference on Neural Information Processing Systems</i> (Vol. 37). Vancouver, Canada: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/079017-2960\">https://doi.org/10.52202/079017-2960</a>","chicago":"Kori, Avinash, Francesco Locatello, Ainkaran Santhirasekaram, Francesca Toni, Ben Glocker, and Fabio De Sousa Ribeiro. “Identifiable Object-Centric Representation Learning via Probabilistic Slot Attention.” In <i>38th Conference on Neural Information Processing Systems</i>, Vol. 37. Neural Information Processing Systems Foundation, 2024. <a href=\"https://doi.org/10.52202/079017-2960\">https://doi.org/10.52202/079017-2960</a>."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-10-15T09:48:32Z","supplementarymaterial":"no","_id":"19007","title":"Identifiable object-centric representation learning via probabilistic slot attention","date_created":"2025-02-05T08:36:22Z","author":[{"full_name":"Kori, Avinash","first_name":"Avinash","last_name":"Kori"},{"full_name":"Locatello, Francesco","orcid":"0000-0002-4850-0683","first_name":"Francesco","last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4"},{"full_name":"Santhirasekaram, Ainkaran","last_name":"Santhirasekaram","first_name":"Ainkaran"},{"last_name":"Toni","first_name":"Francesca","full_name":"Toni, Francesca"},{"first_name":"Ben","last_name":"Glocker","full_name":"Glocker, Ben"},{"first_name":"Fabio","last_name":"De Sousa Ribeiro","full_name":"De Sousa Ribeiro, Fabio"}],"status":"public","oa_version":"Published Version","type":"conference","abstract":[{"text":"Learning modular object-centric representations is crucial for systematic generalization. Existing methods show promising object-binding capabilities empirically,\r\nbut theoretical identifiability guarantees remain relatively underdeveloped. Understanding when object-centric representations can theoretically be identified is\r\ncrucial for scaling slot-based methods to high-dimensional images with correctness\r\nguarantees. To that end, we propose a probabilistic slot-attention algorithm that\r\nimposes an aggregate mixture prior over object-centric slot representations, thereby\r\nproviding slot identifiability guarantees without supervision, up to an equivalence\r\nrelation. We provide empirical verification of our theoretical identifiability result\r\nusing both simple 2-dimensional data and high-resolution imaging datasets.\r\n","lang":"eng"}]},{"author":[{"id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72","last_name":"Agresti","first_name":"Antonio","orcid":"0000-0002-9573-2962","full_name":"Agresti, Antonio"},{"full_name":"Luongo, Eliseo","last_name":"Luongo","first_name":"Eliseo"}],"date_created":"2024-03-10T23:00:54Z","status":"public","_id":"15098","title":"Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions","abstract":[{"lang":"eng","text":"The paper is devoted to the analysis of the global well-posedness and the interior regularity of the 2D Navier–Stokes equations with inhomogeneous stochastic boundary conditions. The noise, white in time and coloured in space, can be interpreted as the physical law describing the driving mechanism on the atmosphere–ocean interface, i.e. as a balance of the shear stress of the ocean and the horizontal wind force."}],"article_type":"original","oa_version":"Published Version","type":"journal_article","project":[{"_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials","call_identifier":"H2020","grant_number":"948819"}],"citation":{"apa":"Agresti, A., &#38; Luongo, E. (2024). Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions. <i>Mathematische Annalen</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00208-024-02812-0\">https://doi.org/10.1007/s00208-024-02812-0</a>","chicago":"Agresti, Antonio, and Eliseo Luongo. “Global Well-Posedness and Interior Regularity of 2D Navier-Stokes Equations with Stochastic Boundary Conditions.” <i>Mathematische Annalen</i>. Springer Nature, 2024. <a href=\"https://doi.org/10.1007/s00208-024-02812-0\">https://doi.org/10.1007/s00208-024-02812-0</a>.","ieee":"A. Agresti and E. Luongo, “Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions,” <i>Mathematische Annalen</i>, vol. 390. Springer Nature, pp. 2727–2766, 2024.","short":"A. Agresti, E. Luongo, Mathematische Annalen 390 (2024) 2727–2766.","ista":"Agresti A, Luongo E. 2024. Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions. Mathematische Annalen. 390, 2727–2766.","ama":"Agresti A, Luongo E. Global well-posedness and interior regularity of 2D Navier-Stokes equations with stochastic boundary conditions. <i>Mathematische Annalen</i>. 2024;390:2727-2766. doi:<a href=\"https://doi.org/10.1007/s00208-024-02812-0\">10.1007/s00208-024-02812-0</a>","mla":"Agresti, Antonio, and Eliseo Luongo. “Global Well-Posedness and Interior Regularity of 2D Navier-Stokes Equations with Stochastic Boundary Conditions.” <i>Mathematische Annalen</i>, vol. 390, Springer Nature, 2024, pp. 2727–66, doi:<a href=\"https://doi.org/10.1007/s00208-024-02812-0\">10.1007/s00208-024-02812-0</a>."},"page":"2727-2766","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"no","date_updated":"2026-10-15T09:48:57Z","scopus_import":"1","publication":"Mathematische Annalen","acknowledgement":"The authors thank Professor Franco Flandoli for useful discussions and valuable insight into the subject. In particular, A.A. would like to thank professor Franco Flandoli for hosting and financially contributing to his research visit at Scuola Normale di Pisa in January 2023, where this work started. E.L. would like to express sincere gratitude to Professor Marco Fuhrman for igniting his interest in this particular field of research. E.L. want to thank Professor Matthias Hieber and Dr. Martin Saal for useful discussions. Finally, the authors thank the anonymous referee for helpful comments which improved the paper from its initial version.Open access funding provided by Scuola Normale Superiore within the CRUI-CARE Agreement. A. Agresti has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement No. 948819).","ec_funded":1,"publication_identifier":{"eissn":["1432-1807"],"issn":["0025-5831"]},"OA_type":"hybrid","OA_place":"publisher","language":[{"iso":"eng"}],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["510"],"intvolume":"       390","quality_controlled":"1","year":"2024","pmid":1,"publication_status":"published","article_processing_charge":"Yes (via OA deal)","file_date_updated":"2025-01-09T08:23:36Z","date_published":"2024-10-01T00:00:00Z","has_accepted_license":"1","arxiv":1,"fulldoi":"https://doi.org/10.1007/s00208-024-02812-0","das_tickbox":"1","oa":1,"day":"01","dataavailabilitystatement":"Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.","department":[{"_id":"JuFi"}],"month":"10","publisher":"Springer Nature","external_id":{"pmid":["39351582"],"arxiv":["2306.11081"],"isi":["001172711400002"]},"isi":1,"file":[{"file_name":"2024_MathAnnalen_Agresti.pdf","date_updated":"2025-01-09T08:23:36Z","content_type":"application/pdf","file_size":661557,"file_id":"18790","access_level":"open_access","relation":"main_file","creator":"dernst","success":1,"date_created":"2025-01-09T08:23:36Z","checksum":"d55cac8bddea09a97f06612825c4f229"}],"researchdata_availability":"not applicable","doi":"10.1007/s00208-024-02812-0","volume":390},{"quality_controlled":"1","year":"2024","publication_status":"published","intvolume":"        22","fulldoi":"https://doi.org/10.1137/23M1603819","das_tickbox":"0","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2309.06798"}],"date_published":"2024-09-01T00:00:00Z","article_processing_charge":"No","external_id":{"arxiv":["2309.06798"],"isi":["001285416500001"]},"department":[{"_id":"JuFi"}],"month":"09","publisher":"Society for Industrial and Applied Mathematics","day":"01","oa":1,"corr_author":"1","volume":22,"researchdata_availability":"no","doi":"10.1137/23M1603819","isi":1,"article_type":"original","oa_version":"Preprint","type":"journal_article","abstract":[{"lang":"eng","text":"We are interested in numerical algorithms for computing the electrical field generated by a charge distribution localized on scale l in an infinite heterogeneous correlated random medium, in a situation where the medium is only known in a box of diameter L >>l around the support of the charge. We show that the algorithm in [J. Lu, F. Otto, and L. Wang, Optimal Artificial Boundary Conditions Based on Second-Order Correctors for Three Dimensional Random Ellilptic Media, preprint, arXiv:2109.01616, 2021], suggesting optimal Dirichlet boundary conditions motivated by the multipole expansion [P. Bella, A. Giunti, and F. Otto, Comm. Partial Differential Equations, 45 (2020), pp. 561–640], still performs well in correlated media. With overwhelming probability, we obtain a convergence rate in terms of l, L, and the size of the correlations for which optimality is supported with numerical simulations. These estimates are provided for ensembles which satisfy a multiscale logarithmic Sobolev inequality, where our main tool is an extension of the semigroup estimates in [N. Clozeau, Stoch. Partial Differ. Equ. Anal. Comput., 11 (2023), pp. 1254–1378]. As part of our strategy, we construct sublinear second-order correctors in this correlated setting, which is of independent interest."}],"_id":"17462","title":"Artificial boundary conditions for random elliptic systems with correlated coefficient field","date_created":"2024-08-25T22:01:08Z","author":[{"last_name":"Clozeau","first_name":"Nicolas","id":"fea1b376-906f-11eb-847d-b2c0cf46455b","full_name":"Clozeau, Nicolas"},{"last_name":"Wang","first_name":"Lihan","full_name":"Wang, Lihan"}],"status":"public","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"no","date_updated":"2026-10-15T09:49:19Z","project":[{"_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020","name":"Bridging Scales in Random Materials","grant_number":"948819"}],"page":"973-1029","citation":{"ieee":"N. Clozeau and L. Wang, “Artificial boundary conditions for random elliptic systems with correlated coefficient field,” <i>Multiscale Modeling and Simulation</i>, vol. 22, no. 3. Society for Industrial and Applied Mathematics, pp. 973–1029, 2024.","short":"N. Clozeau, L. Wang, Multiscale Modeling and Simulation 22 (2024) 973–1029.","ista":"Clozeau N, Wang L. 2024. Artificial boundary conditions for random elliptic systems with correlated coefficient field. Multiscale Modeling and Simulation. 22(3), 973–1029.","ama":"Clozeau N, Wang L. Artificial boundary conditions for random elliptic systems with correlated coefficient field. <i>Multiscale Modeling and Simulation</i>. 2024;22(3):973-1029. doi:<a href=\"https://doi.org/10.1137/23M1603819\">10.1137/23M1603819</a>","mla":"Clozeau, Nicolas, and Lihan Wang. “Artificial Boundary Conditions for Random Elliptic Systems with Correlated Coefficient Field.” <i>Multiscale Modeling and Simulation</i>, vol. 22, no. 3, Society for Industrial and Applied Mathematics, 2024, pp. 973–1029, doi:<a href=\"https://doi.org/10.1137/23M1603819\">10.1137/23M1603819</a>.","apa":"Clozeau, N., &#38; Wang, L. (2024). Artificial boundary conditions for random elliptic systems with correlated coefficient field. <i>Multiscale Modeling and Simulation</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/23M1603819\">https://doi.org/10.1137/23M1603819</a>","chicago":"Clozeau, Nicolas, and Lihan Wang. “Artificial Boundary Conditions for Random Elliptic Systems with Correlated Coefficient Field.” <i>Multiscale Modeling and Simulation</i>. Society for Industrial and Applied Mathematics, 2024. <a href=\"https://doi.org/10.1137/23M1603819\">https://doi.org/10.1137/23M1603819</a>."},"publication_identifier":{"issn":["1540-3459"],"eissn":["1540-3467"]},"acknowledgement":"We would like to thank our affiliations, Institute of Science and Technology Austria and Max Planck Institute for Mathematics in the Sciences, for supporting the authors’ visits to each other, which greatly facilitated this work. We would like to thank Marc Josien and Quinn Winters for assistance in numerical implementation.","ec_funded":1,"publication":"Multiscale Modeling and Simulation","issue":"3","scopus_import":"1","language":[{"iso":"eng"}],"OA_place":"repository","OA_type":"green"},{"article_type":"original","oa_version":"Preprint","type":"journal_article","abstract":[{"lang":"eng","text":"In this paper we consider an SPDE where the leading term is a second order operator with periodic boundary conditions, coefficients which are measurable in  (t,ω) , and Hölder continuous in space. Assuming stochastic parabolicity conditions, we prove Lp((0,T)×Ω,tκdt;Hσ,q(Td)) -estimates. The main novelty is that we do not require  p=q . Moreover, we allow arbitrary  σ∈R  and weights in time. Such mixed regularity estimates play a crucial role in applications to nonlinear SPDEs which is clear from our previous work. To prove our main results we develop a general perturbation theory for SPDEs. Moreover, we prove a new result on pointwise multiplication in spaces with fractional smoothness."}],"_id":"15119","title":"Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions","date_created":"2024-03-17T23:00:58Z","status":"public","author":[{"full_name":"Agresti, Antonio","orcid":"0000-0002-9573-2962","last_name":"Agresti","first_name":"Antonio","id":"673cd0cc-9b9a-11eb-b144-88f30e1fbb72"},{"full_name":"Veraar, Mark","first_name":"Mark","last_name":"Veraar"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"no","date_updated":"2026-10-15T09:46:19Z","citation":{"apa":"Agresti, A., &#38; Veraar, M. (2024). Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions. <i>Annales de l’Institut Henri Poincaré, Probabilités et Statistiques</i>. Institute of Mathematical Statistics. <a href=\"https://doi.org/10.1214/22-AIHP1333\">https://doi.org/10.1214/22-AIHP1333</a>","chicago":"Agresti, Antonio, and Mark Veraar. “Stochastic Maximal Lp(Lq)-Regularity for Second Order Systems with Periodic Boundary Conditions.” <i>Annales de l’Institut Henri Poincaré, Probabilités et Statistiques</i>. Institute of Mathematical Statistics, 2024. <a href=\"https://doi.org/10.1214/22-AIHP1333\">https://doi.org/10.1214/22-AIHP1333</a>.","ista":"Agresti A, Veraar M. 2024. Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions. Annales de l’Institut Henri Poincaré, Probabilités et Statistiques. 60(1), 413–430.","short":"A. Agresti, M. Veraar, Annales de l’Institut Henri Poincaré, Probabilités et Statistiques 60 (2024) 413–430.","ieee":"A. Agresti and M. Veraar, “Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions,” <i>Annales de l’Institut Henri Poincaré, Probabilités et Statistiques</i>, vol. 60, no. 1. Institute of Mathematical Statistics, pp. 413–430, 2024.","mla":"Agresti, Antonio, and Mark Veraar. “Stochastic Maximal Lp(Lq)-Regularity for Second Order Systems with Periodic Boundary Conditions.” <i>Annales de l’Institut Henri Poincaré, Probabilités et Statistiques</i>, vol. 60, no. 1, Institute of Mathematical Statistics, 2024, pp. 413–30, doi:<a href=\"https://doi.org/10.1214/22-AIHP1333\">10.1214/22-AIHP1333</a>.","ama":"Agresti A, Veraar M. Stochastic maximal Lp(Lq)-regularity for second order systems with periodic boundary conditions. <i>Annales de l’Institut Henri Poincaré, Probabilités et Statistiques</i>. 2024;60(1):413-430. doi:<a href=\"https://doi.org/10.1214/22-AIHP1333\">10.1214/22-AIHP1333</a>"},"page":"413-430","publication_identifier":{"issn":["0246-0203"]},"acknowledgement":"The first author has been partially supported by the Nachwuchsring – Network for the promotion of young scientists – at TU Kaiserslautern. The second author is supported by the VIDI subsidy 639.032.427 of the Netherlands Organisation for Scientific Research (NWO). The authors thank the anonymous referees and Max Sauerbrey for careful reading and helpful suggestions.","publication":"Annales de l'Institut Henri Poincaré, Probabilités et Statistiques","issue":"1","scopus_import":"1","language":[{"iso":"eng"}],"year":"2024","quality_controlled":"1","publication_status":"published","intvolume":"        60","fulldoi":"https://doi.org/10.1214/22-AIHP1333","das_tickbox":"0","arxiv":1,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2106.01274","open_access":"1"}],"date_published":"2024-02-01T00:00:00Z","article_processing_charge":"No","external_id":{"arxiv":["2106.01274"]},"department":[{"_id":"JuFi"}],"month":"02","publisher":"Institute of Mathematical Statistics","day":"01","oa":1,"corr_author":"1","volume":60,"doi":"10.1214/22-AIHP1333","researchdata_availability":"no"},{"project":[{"_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","call_identifier":"H2020","name":"Bridging Scales in Random Materials","grant_number":"948819"}],"page":"1117-1178","citation":{"ama":"Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. <i>Annales de l’Institut Henri Poincaré C</i>. 2024;41(5):1117-1178. doi:<a href=\"https://doi.org/10.4171/AIHPC/109\">10.4171/AIHPC/109</a>","mla":"Fischer, Julian L., and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen–Cahn Equation towards Multiphase Mean Curvature Flow.” <i>Annales de l’Institut Henri Poincaré C</i>, vol. 41, no. 5, EMS Press, 2024, pp. 1117–78, doi:<a href=\"https://doi.org/10.4171/AIHPC/109\">10.4171/AIHPC/109</a>.","ista":"Fischer JL, Marveggio A. 2024. Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincaré C. 41(5), 1117–1178.","short":"J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincaré C 41 (2024) 1117–1178.","ieee":"J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow,” <i>Annales de l’Institut Henri Poincaré C</i>, vol. 41, no. 5. EMS Press, pp. 1117–1178, 2024.","chicago":"Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen–Cahn Equation towards Multiphase Mean Curvature Flow.” <i>Annales de l’Institut Henri Poincaré C</i>. EMS Press, 2024. <a href=\"https://doi.org/10.4171/AIHPC/109\">https://doi.org/10.4171/AIHPC/109</a>.","apa":"Fischer, J. L., &#38; Marveggio, A. (2024). Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. <i>Annales de l’Institut Henri Poincaré C</i>. EMS Press. <a href=\"https://doi.org/10.4171/AIHPC/109\">https://doi.org/10.4171/AIHPC/109</a>"},"related_material":{"record":[{"id":"14597","relation":"earlier_version","status":"public"}]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2026-10-15T09:49:35Z","supplementarymaterial":"no","author":[{"first_name":"Julian L","last_name":"Fischer","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0479-558X","full_name":"Fischer, Julian L"},{"id":"25647992-AA84-11E9-9D75-8427E6697425","last_name":"Marveggio","first_name":"Alice","full_name":"Marveggio, Alice"}],"date_created":"2024-09-01T22:01:09Z","status":"public","_id":"17481","title":"Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow","abstract":[{"lang":"eng","text":"Phase-field models such as the Allen–Cahn equation may give rise to the formation and evolution of geometric shapes, a phenomenon that may be analyzed rigorously in suitable scaling regimes. In its sharp-interface limit, the vectorial Allen–Cahn equation with a potential with N≥3 distinct minima has been conjectured to describe the evolution of branched interfaces by multiphase mean curvature flow. In the present work, we give a rigorous proof for this statement in two and three ambient dimensions and for a suitable class of potentials: as long as a strong solution to multiphase mean curvature flow exists, solutions to the vectorial Allen–Cahn equation with well-prepared initial data converge towards multiphase mean curvature flow in the limit of vanishing interface width parameter ε↘0. We even establish the rate of convergence O(ε \r\n1/2\r\n ). Our approach is based on the gradient-flow structure of the Allen–Cahn equation and its limiting motion: building on the recent concept of “gradient-flow calibrations” for multiphase mean curvature flow, we introduce a notion of relative entropy for the vectorial Allen–Cahn equation with multi-well potential. This enables us to overcome the limitations of other approaches, e.g. avoiding the need for a stability analysis of the Allen–Cahn operator or additional convergence hypotheses for the energy at positive times."}],"article_type":"original","oa_version":"Published Version","type":"journal_article","language":[{"iso":"eng"}],"issue":"5","scopus_import":"1","publication":"Annales de l'Institut Henri Poincaré C","ec_funded":1,"acknowledgement":"The authors thank Sebastian Hensel for useful and helpful commentson the first draft of this work.\r\nThis project has received funding from the European Research Council (ERC)\r\nunder the European Union’s Horizon 2020 research and innovation programme (grant\r\nagreement no. 948819.","publication_identifier":{"eissn":["1873-1430"],"issn":["0294-1449"]},"article_processing_charge":"Yes","file_date_updated":"2024-09-09T07:46:42Z","date_published":"2024-01-24T00:00:00Z","has_accepted_license":"1","fulldoi":"https://doi.org/10.4171/AIHPC/109","das_tickbox":"0","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["510"],"intvolume":"        41","quality_controlled":"1","year":"2024","publication_status":"published","isi":1,"file":[{"file_size":1348896,"date_updated":"2024-09-09T07:46:42Z","content_type":"application/pdf","file_name":"2024_AnnInstHPoincare_Fischer.pdf","file_id":"17923","relation":"main_file","creator":"dernst","access_level":"open_access","date_created":"2024-09-09T07:46:42Z","checksum":"b5ad02d9abd5b4701269cd1ad0a1cc8f","success":1}],"doi":"10.4171/AIHPC/109","researchdata_availability":"no","volume":41,"oa":1,"corr_author":"1","day":"24","month":"01","department":[{"_id":"JuFi"}],"publisher":"EMS Press","external_id":{"isi":["001293853900003"]}},{"project":[{"_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818"}],"citation":{"ista":"Asadi A, Chatterjee K, Svoboda J, Saona Urmeneta RJ. 2024. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. 39th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6.","ieee":"A. Asadi, K. Chatterjee, J. Svoboda, and R. J. Saona Urmeneta, “Deterministic sub-exponential algorithm for discounted-sum games with unary weights,” in <i>39th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, Tallinn, Estonia, 2024.","short":"A. Asadi, K. Chatterjee, J. Svoboda, R.J. Saona Urmeneta, in:, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery, 2024.","mla":"Asadi, Ali, et al. “Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights.” <i>39th Annual ACM/IEEE Symposium on Logic in Computer Science</i>, 6, Association for Computing Machinery, 2024, doi:<a href=\"https://doi.org/10.1145/3661814.3662080\">10.1145/3661814.3662080</a>.","ama":"Asadi A, Chatterjee K, Svoboda J, Saona Urmeneta RJ. Deterministic sub-exponential algorithm for discounted-sum games with unary weights. In: <i>39th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Association for Computing Machinery; 2024. doi:<a href=\"https://doi.org/10.1145/3661814.3662080\">10.1145/3661814.3662080</a>","apa":"Asadi, A., Chatterjee, K., Svoboda, J., &#38; Saona Urmeneta, R. J. (2024). Deterministic sub-exponential algorithm for discounted-sum games with unary weights. In <i>39th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Tallinn, Estonia: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3661814.3662080\">https://doi.org/10.1145/3661814.3662080</a>","chicago":"Asadi, Ali, Krishnendu Chatterjee, Jakub Svoboda, and Raimundo J Saona Urmeneta. “Deterministic Sub-Exponential Algorithm for Discounted-Sum Games with Unary Weights.” In <i>39th Annual ACM/IEEE Symposium on Logic in Computer Science</i>. Association for Computing Machinery, 2024. <a href=\"https://doi.org/10.1145/3661814.3662080\">https://doi.org/10.1145/3661814.3662080</a>."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"no","date_updated":"2026-10-15T09:51:23Z","_id":"17098","title":"Deterministic sub-exponential algorithm for discounted-sum games with unary weights","author":[{"id":"02d96aae-000e-11ec-b801-cadd0a5eefbb","last_name":"Asadi","first_name":"Ali","full_name":"Asadi, Ali"},{"orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","first_name":"Krishnendu"},{"orcid":"0000-0002-1419-3267","full_name":"Svoboda, Jakub","last_name":"Svoboda","first_name":"Jakub","id":"130759D2-D7DD-11E9-87D2-DE0DE6697425"},{"full_name":"Saona Urmeneta, Raimundo J","orcid":"0000-0001-5103-038X","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425","first_name":"Raimundo J","last_name":"Saona Urmeneta"}],"status":"public","date_created":"2024-06-03T07:43:15Z","type":"conference","oa_version":"Preprint","abstract":[{"lang":"eng","text":"Turn-based discounted-sum games are two-player zero-sum games played on finite directed graphs. The vertices of the graph are partitioned between player 1 and player 2. Plays are infinite walks on the graph where the next vertex is decided by a player that owns the current vertex. Each edge is assigned an integer weight and the payoff of a play is the discounted-sum of the weights of the play. The goal of player 1 is to maximize the discounted-sum payoff against the adversarial player 2. These games lie in NP ∩ coNP and are among the rare combinatorial problems that belong to this complexity class and the existence of a polynomial-time algorithm is a major open question. Since breaking the general exponential barrier has been a challenging problem, faster parameterized algorithms have been considered. If the discount factor is expressed in unary, then discounted-sum games can be solved in polynomial time. However, if the discount factor is arbitrary (or expressed in binary), but the weights are in unary, none of the existing approaches yield a sub-exponential bound. Our main result is a new analysis technique for a classical algorithm (namely, the strategy iteration algorithm) that present a new runtime bound which is [EQUATION] for game graphs with n vertices and absolute weights of at most W. In particular, our result yields a deterministic sub-exponential bound for games with weights that are constant or represented in unary."}],"language":[{"iso":"eng"}],"publication":"39th Annual ACM/IEEE Symposium on Logic in Computer Science","scopus_import":"1","ec_funded":1,"publication_identifier":{"isbn":["9798400706608"],"eissn":["1043-6871"]},"acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt) grant.\r\n","date_published":"2024-07-08T00:00:00Z","conference":{"name":"LICS: Logic in Computer Science","start_date":"2024-07-08","end_date":"2024-07-11","location":"Tallinn, Estonia"},"article_processing_charge":"No","fulldoi":"https://doi.org/10.1145/3661814.3662080","das_tickbox":"0","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2405.02479"}],"quality_controlled":"1","year":"2024","publication_status":"published","article_number":"6","isi":1,"researchdata_availability":"no","doi":"10.1145/3661814.3662080","day":"08","oa":1,"corr_author":"1","external_id":{"isi":["001275042100006"],"arxiv":["2405.02479"]},"department":[{"_id":"KrCh"}],"month":"07","publisher":"Association for Computing Machinery"},{"acknowledgement":"The authors thank Razvan Pascanu, Mahdi Nikdan and Soroush Tabesh for their valuable feedback, the IT department from Institute of Science and Technology Austria for the hardware support and Weights and Biases for the infrastructure to track all our experiments. Mher Safaryan has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie grant agreement No 101034413.","publication_identifier":{"issn":["1049-5258"]},"ec_funded":1,"scopus_import":"1","publication":"38th Conference on Neural Information Processing Systems","language":[{"iso":"eng"}],"OA_place":"repository","OA_type":"green","abstract":[{"lang":"eng","text":"We propose a new variant of the Adam optimizer [Kingma and Ba, 2014] called\r\nMICROADAM that specifically minimizes memory overheads, while maintaining\r\ntheoretical convergence guarantees. We achieve this by compressing the gradient\r\ninformation before it is fed into the optimizer state, thereby reducing its memory\r\nfootprint significantly. We control the resulting compression error via a novel\r\ninstance of the classical error feedback mechanism from distributed optimization [Seide et al., 2014, Alistarh et al., 2018, Karimireddy et al., 2019] in which\r\nthe error correction information is itself compressed to allow for practical memory\r\ngains. We prove that the resulting approach maintains theoretical convergence\r\nguarantees competitive to those of AMSGrad, while providing good practical performance. Specifically, we show that MICROADAM can be implemented efficiently\r\non GPUs: on both million-scale (BERT) and billion-scale (LLaMA) models, MICROADAM provides practical convergence competitive to that of the uncompressed\r\nAdam baseline, with lower memory usage and similar running time. Our code is\r\navailable at https://github.com/IST-DASLab/MicroAdam."}],"type":"conference","oa_version":"Preprint","date_created":"2025-04-06T22:01:32Z","author":[{"first_name":"Ionut-Vlad","last_name":"Modoranu","id":"449f7a18-f128-11eb-9611-9b430c0c6333","full_name":"Modoranu, Ionut-Vlad"},{"full_name":"Safaryan, Mher","id":"dd546b39-0804-11ed-9c55-ef075c39778d","first_name":"Mher","last_name":"Safaryan"},{"first_name":"Grigory","last_name":"Malinovsky","full_name":"Malinovsky, Grigory"},{"id":"47beb3a5-07b5-11eb-9b87-b108ec578218","first_name":"Eldar","last_name":"Kurtic","full_name":"Kurtic, Eldar"},{"full_name":"Robert, Thomas","last_name":"Robert","first_name":"Thomas","id":"de632733-1457-11f0-ae22-b5914b8c1c41"},{"full_name":"Richtárik, Peter","last_name":"Richtárik","first_name":"Peter"},{"id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X"}],"status":"public","_id":"19510","title":"MICROADAM: Accurate adaptive optimization with low space overhead and provable convergence","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-10-15T09:49:27Z","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","grant_number":"101034413"}],"citation":{"chicago":"Modoranu, Ionut-Vlad, Mher Safaryan, Grigory Malinovsky, Eldar Kurtic, Thomas Robert, Peter Richtárik, and Dan-Adrian Alistarh. “MICROADAM: Accurate Adaptive Optimization with Low Space Overhead and Provable Convergence.” In <i>38th Conference on Neural Information Processing Systems</i>, Vol. 37. Neural Information Processing Systems Foundation, 2024. <a href=\"https://doi.org/10.52202/079017-0001\">https://doi.org/10.52202/079017-0001</a>.","apa":"Modoranu, I.-V., Safaryan, M., Malinovsky, G., Kurtic, E., Robert, T., Richtárik, P., &#38; Alistarh, D.-A. (2024). MICROADAM: Accurate adaptive optimization with low space overhead and provable convergence. In <i>38th Conference on Neural Information Processing Systems</i> (Vol. 37). Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/079017-0001\">https://doi.org/10.52202/079017-0001</a>","ama":"Modoranu I-V, Safaryan M, Malinovsky G, et al. MICROADAM: Accurate adaptive optimization with low space overhead and provable convergence. In: <i>38th Conference on Neural Information Processing Systems</i>. Vol 37. Neural Information Processing Systems Foundation; 2024. doi:<a href=\"https://doi.org/10.52202/079017-0001\">10.52202/079017-0001</a>","mla":"Modoranu, Ionut-Vlad, et al. “MICROADAM: Accurate Adaptive Optimization with Low Space Overhead and Provable Convergence.” <i>38th Conference on Neural Information Processing Systems</i>, vol. 37, Neural Information Processing Systems Foundation, 2024, doi:<a href=\"https://doi.org/10.52202/079017-0001\">10.52202/079017-0001</a>.","short":"I.-V. Modoranu, M. Safaryan, G. Malinovsky, E. Kurtic, T. Robert, P. Richtárik, D.-A. Alistarh, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024.","ieee":"I.-V. Modoranu <i>et al.</i>, “MICROADAM: Accurate adaptive optimization with low space overhead and provable convergence,” in <i>38th Conference on Neural Information Processing Systems</i>, 2024, vol. 37.","ista":"Modoranu I-V, Safaryan M, Malinovsky G, Kurtic E, Robert T, Richtárik P, Alistarh D-A. 2024. MICROADAM: Accurate adaptive optimization with low space overhead and provable convergence. 38th Conference on Neural Information Processing Systems. , Advances in Neural Information Processing Systems, vol. 37."},"related_material":{"link":[{"relation":"software","url":"https://github.com/IST-DASLab/MicroAdam"}]},"month":"12","department":[{"_id":"DaAl"}],"publisher":"Neural Information Processing Systems Foundation","external_id":{"arxiv":["2405.15593"]},"oa":1,"corr_author":"1","day":"20","doi":"10.52202/079017-0001","volume":37,"intvolume":"        37","quality_controlled":"1","year":"2024","publication_status":"published","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2405.15593"}],"acknowledged_ssus":[{"_id":"CampIT"}],"fulldoi":"https://doi.org/10.52202/079017-0001","article_processing_charge":"No","alternative_title":["Advances in Neural Information Processing Systems"],"date_published":"2024-12-20T00:00:00Z"},{"article_number":"L201114","isi":1,"doi":"10.1103/PhysRevB.110.L201114","researchdata_availability":"no","volume":110,"oa":1,"day":"15","month":"11","department":[{"_id":"KiMo"}],"publisher":"American Physical Society","external_id":{"arxiv":["2312.03080"],"isi":["001447562900001"]},"article_processing_charge":"No","date_published":"2024-11-15T00:00:00Z","arxiv":1,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2312.03080","open_access":"1"}],"fulldoi":"https://doi.org/10.1103/PhysRevB.110.L201114","das_tickbox":"0","intvolume":"       110","year":"2024","quality_controlled":"1","publication_status":"published","OA_type":"green","OA_place":"repository","language":[{"iso":"eng"}],"issue":"20","scopus_import":"1","publication":"Physical Review B","acknowledgement":"We gratefully acknowledge the Gauss Centre for Supercomputing e.V. for funding this project by providing computing time on the GCS Supercomputer SUPERMUC-NG at the Leibniz Supercomputing Centre (Project No. pn73xu) as well as the scientific support and HPC resources provided by the Erlangen National High Performance Computing Center (NHR@FAU) of the Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) under the NHR Project b133ae. NHR funding is provided by federal and Bavarian state authorities. NHR@FAU hardware is partially funded by the German Research Foundation (DFG) – 440719683. T.S. thanks funding from the Deutsche Forschungsgemeinschaft under Grant No. SA 3986/1-1 as well as the Würzburg-Dresden Cluster of Excellence on Complexity and Topology in Quantum Matter ct.qmat (EXC 2147, Project ID 390858490). F.F.A. acknowledges financial support from the German Research Foundation (DFG) under the Grant AS 120/16-1 (Project No. 493886309) that is part of the collaborative research project SFB Q-M&S funded by the Austrian Science Fund (FWF) F 86. K.A.M. thanks financial support from the Austrian Science Fund, SFB F 86, Q-M&S.","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"project":[{"_id":"34ac8b51-11ca-11ed-8bc3-86c15daa9f8f","name":"Center for Correlated Quantum Materials and Solid State Quantum Systems: Scale- invariance in entangled quantum spin systems","grant_number":"F8607"}],"citation":{"chicago":"Sato, Toshihiro, B. J. Ramshaw, Kimberly A Modic, and Fakher F. Assaad. “Scale-Invariant Magnetic Anisotropy in α-RuCl3: A Quantum Monte Carlo Study.” <i>Physical Review B</i>. American Physical Society, 2024. <a href=\"https://doi.org/10.1103/PhysRevB.110.L201114\">https://doi.org/10.1103/PhysRevB.110.L201114</a>.","apa":"Sato, T., Ramshaw, B. J., Modic, K. A., &#38; Assaad, F. F. (2024). Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.110.L201114\">https://doi.org/10.1103/PhysRevB.110.L201114</a>","ama":"Sato T, Ramshaw BJ, Modic KA, Assaad FF. Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study. <i>Physical Review B</i>. 2024;110(20). doi:<a href=\"https://doi.org/10.1103/PhysRevB.110.L201114\">10.1103/PhysRevB.110.L201114</a>","mla":"Sato, Toshihiro, et al. “Scale-Invariant Magnetic Anisotropy in α-RuCl3: A Quantum Monte Carlo Study.” <i>Physical Review B</i>, vol. 110, no. 20, L201114, American Physical Society, 2024, doi:<a href=\"https://doi.org/10.1103/PhysRevB.110.L201114\">10.1103/PhysRevB.110.L201114</a>.","ieee":"T. Sato, B. J. Ramshaw, K. A. Modic, and F. F. Assaad, “Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study,” <i>Physical Review B</i>, vol. 110, no. 20. American Physical Society, 2024.","short":"T. Sato, B.J. Ramshaw, K.A. Modic, F.F. Assaad, Physical Review B 110 (2024).","ista":"Sato T, Ramshaw BJ, Modic KA, Assaad FF. 2024. Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study. Physical Review B. 110(20), L201114."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"yes","date_updated":"2026-10-15T09:50:59Z","date_created":"2024-12-15T23:01:50Z","author":[{"first_name":"Toshihiro","last_name":"Sato","full_name":"Sato, Toshihiro"},{"first_name":"B. J.","last_name":"Ramshaw","full_name":"Ramshaw, B. J."},{"full_name":"Modic, Kimberly A","orcid":"0000-0001-9760-3147","id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","first_name":"Kimberly A","last_name":"Modic"},{"full_name":"Assaad, Fakher F.","last_name":"Assaad","first_name":"Fakher F."}],"status":"public","_id":"18654","title":"Scale-invariant magnetic anisotropy in α-RuCl3: A quantum Monte Carlo study","abstract":[{"text":"We compute the rotational anisotropy of the free energy of 𝛼−RuCl3 in an external magnetic field. This quantity, known as the magnetotropic susceptibility, 𝑘, relates to the second derivative of the free energy with respect to the angle of rotation. We have used approximation-free, auxiliary-field quantum Monte Carlo simulations for a realistic model of 𝛼−RuCl3 and optimized the path integral to alleviate the negative sign problem. This allows us to reach temperatures down to 30K—an energy scale below the dominant Kitaev coupling. We demonstrate that the magnetotropic spin susceptibility in this model of 𝛼−RuCl3 displays scaling behavior 𝑘=𝑇⁢𝑓⁡(𝐵/𝑇) at high temperatures. Once the uniform susceptibility departs from the Curie law (i.e., at the energy scale of the exchange interactions), it appears to transition to an emergent scalinglike behavior, characterized by a different function 𝑓 at lower temperatures, stemming from the locality of torque fluctuations. We observe a remarkable numerical match between experiment and simulations and we also find qualitative agreement with the pure Kitaev model. In comparison, for the XXZ Heisenberg Hamiltonian, the scaling 𝑘=𝑇⁢𝑓⁡(𝐵/𝑇) breaks down at a temperature scale where the uniform spin susceptibility deviates from the Curie law and never reemerges at low temperatures.","lang":"eng"}],"article_type":"letter_note","oa_version":"Preprint","type":"journal_article"},{"_id":"19511","title":"QuaRot: Outlier-free 4-bit inference in rotated LLMs","status":"public","date_created":"2025-04-06T22:01:32Z","author":[{"last_name":"Ashkboos","first_name":"Saleh","full_name":"Ashkboos, Saleh"},{"full_name":"Mohtashami, Amirkeivan","last_name":"Mohtashami","first_name":"Amirkeivan"},{"full_name":"Croci, Maximilian L.","first_name":"Maximilian L.","last_name":"Croci"},{"first_name":"Bo","last_name":"Li","full_name":"Li, Bo"},{"full_name":"Cameron, Pashmina","last_name":"Cameron","first_name":"Pashmina"},{"full_name":"Jaggi, Martin","first_name":"Martin","last_name":"Jaggi"},{"last_name":"Alistarh","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-3650-940X","full_name":"Alistarh, Dan-Adrian"},{"last_name":"Hoefler","first_name":"Torsten","full_name":"Hoefler, Torsten"},{"last_name":"Hensman","first_name":"James","full_name":"Hensman, James"}],"oa_version":"Preprint","type":"conference","abstract":[{"lang":"eng","text":"We introduce QuaRot, a new Quantization scheme based on Rotations, which is able to quantize LLMs end-to-end, including all weights, activations, and KV cache in 4 bits. QuaRot rotates LLMs in a way that removes outliers from the hidden state without changing the output, making quantization easier. This computational invariance is applied to the hidden state (residual) of the LLM, as well as to the activations of the feed-forward components, aspects of the attention mechanism, and to the KV cache. The result is a quantized model where all matrix multiplications are performed in 4 bits, without any channels identified for retention in higher precision. Our 4-bit quantized LLAMA2-70B model has losses of at most 0.47 WikiText-2 perplexity and retains 99% of the zero-shot performance. We also show that QuaRot can provide lossless 6 and 8 bit LLAMA-2 models without any calibration data using round-to-nearest quantization. Code is available at github.com/spcl/QuaRot."}],"related_material":{"link":[{"relation":"software","url":"https://github.com/spcl/QuaRot"}]},"citation":{"chicago":"Ashkboos, Saleh, Amirkeivan Mohtashami, Maximilian L. Croci, Bo Li, Pashmina Cameron, Martin Jaggi, Dan-Adrian Alistarh, Torsten Hoefler, and James Hensman. “QuaRot: Outlier-Free 4-Bit Inference in Rotated LLMs.” In <i>38th Conference on Neural Information Processing Systems</i>, Vol. 37. Neural Information Processing Systems Foundation, 2024. <a href=\"https://doi.org/10.52202/079017-3180\">https://doi.org/10.52202/079017-3180</a>.","apa":"Ashkboos, S., Mohtashami, A., Croci, M. L., Li, B., Cameron, P., Jaggi, M., … Hensman, J. (2024). QuaRot: Outlier-free 4-bit inference in rotated LLMs. In <i>38th Conference on Neural Information Processing Systems</i> (Vol. 37). Vancouver, Canada: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/079017-3180\">https://doi.org/10.52202/079017-3180</a>","mla":"Ashkboos, Saleh, et al. “QuaRot: Outlier-Free 4-Bit Inference in Rotated LLMs.” <i>38th Conference on Neural Information Processing Systems</i>, vol. 37, Neural Information Processing Systems Foundation, 2024, doi:<a href=\"https://doi.org/10.52202/079017-3180\">10.52202/079017-3180</a>.","ama":"Ashkboos S, Mohtashami A, Croci ML, et al. QuaRot: Outlier-free 4-bit inference in rotated LLMs. In: <i>38th Conference on Neural Information Processing Systems</i>. Vol 37. Neural Information Processing Systems Foundation; 2024. doi:<a href=\"https://doi.org/10.52202/079017-3180\">10.52202/079017-3180</a>","short":"S. Ashkboos, A. Mohtashami, M.L. Croci, B. Li, P. Cameron, M. Jaggi, D.-A. Alistarh, T. Hoefler, J. Hensman, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024.","ista":"Ashkboos S, Mohtashami A, Croci ML, Li B, Cameron P, Jaggi M, Alistarh D-A, Hoefler T, Hensman J. 2024. QuaRot: Outlier-free 4-bit inference in rotated LLMs. 38th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 37.","ieee":"S. Ashkboos <i>et al.</i>, “QuaRot: Outlier-free 4-bit inference in rotated LLMs,” in <i>38th Conference on Neural Information Processing Systems</i>, Vancouver, Canada, 2024, vol. 37."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-10-15T09:50:27Z","publication":"38th Conference on Neural Information Processing Systems","scopus_import":"1","publication_identifier":{"issn":["1049-5258"]},"OA_type":"green","OA_place":"repository","language":[{"iso":"eng"}],"quality_controlled":"1","year":"2024","publication_status":"published","intvolume":"        37","date_published":"2024-12-20T00:00:00Z","alternative_title":["Advances in Neural Information Processing Systems"],"conference":{"location":"Vancouver, Canada","name":"NeurIPS: Neural Information Processing Systems","end_date":"2024-12-15","start_date":"2024-12-09"},"article_processing_charge":"No","fulldoi":"https://doi.org/10.52202/079017-3180","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2404.00456"}],"day":"20","oa":1,"external_id":{"arxiv":["2404.00456"]},"month":"12","department":[{"_id":"DaAl"}],"publisher":"Neural Information Processing Systems Foundation","volume":37,"doi":"10.52202/079017-3180"},{"supplementarymaterial":"yes","date_updated":"2026-10-15T09:50:31Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","citation":{"apa":"Franco, D. G., Avalos, R., Hafner, D., Modic, K. A., Prots, Y., Stockert, O., … Geibel, C. (2024). Frustrated magnetism in octahedra-based Ce6 Ni6 P17. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.109.054405\">https://doi.org/10.1103/PhysRevB.109.054405</a>","chicago":"Franco, D. G., R. Avalos, D. Hafner, Kimberly A Modic, Yu Prots, O. Stockert, A. Hoser, et al. “Frustrated Magnetism in Octahedra-Based Ce6 Ni6 P17.” <i>Physical Review B</i>. American Physical Society, 2024. <a href=\"https://doi.org/10.1103/PhysRevB.109.054405\">https://doi.org/10.1103/PhysRevB.109.054405</a>.","ista":"Franco DG, Avalos R, Hafner D, Modic KA, Prots Y, Stockert O, Hoser A, Moll PJW, Brando M, Aligia AA, Geibel C. 2024. Frustrated magnetism in octahedra-based Ce6 Ni6 P17. Physical Review B. 109(5), 054405.","short":"D.G. Franco, R. Avalos, D. Hafner, K.A. Modic, Y. Prots, O. Stockert, A. Hoser, P.J.W. Moll, M. Brando, A.A. Aligia, C. Geibel, Physical Review B 109 (2024).","ieee":"D. G. Franco <i>et al.</i>, “Frustrated magnetism in octahedra-based Ce6 Ni6 P17,” <i>Physical Review B</i>, vol. 109, no. 5. American Physical Society, 2024.","ama":"Franco DG, Avalos R, Hafner D, et al. Frustrated magnetism in octahedra-based Ce6 Ni6 P17. <i>Physical Review B</i>. 2024;109(5). doi:<a href=\"https://doi.org/10.1103/PhysRevB.109.054405\">10.1103/PhysRevB.109.054405</a>","mla":"Franco, D. G., et al. “Frustrated Magnetism in Octahedra-Based Ce6 Ni6 P17.” <i>Physical Review B</i>, vol. 109, no. 5, 054405, American Physical Society, 2024, doi:<a href=\"https://doi.org/10.1103/PhysRevB.109.054405\">10.1103/PhysRevB.109.054405</a>."},"abstract":[{"lang":"eng","text":"Magnetic frustration allows to access novel and intriguing properties of magnetic systems and has been explored mainly in planar triangular-like arrays of magnetic ions. In this work, we describe the phosphide Ce6Ni6P17, where the Ce+3 ions accommodate in a body-centered cubic lattice of Ce6 regular octahedra. From measurements of magnetization, specific heat, and resistivity, we determine a rich phase diagram as a function of temperature and magnetic field in which different magnetic phases are found. Besides clear evidence of magnetic frustration is obtained from entropy analysis. At zero field, a second-order antiferromagnetic transition occurs at TN1≈1 K followed by a first-order transition at TN2≈0.45 K. With magnetic field new magnetic phases appear, including a weakly first-order transition which ends in a classical critical point and a third magnetic phase. We also study the exact solution of the spin-1/2 Heisenberg model in an octahedron which allows us a qualitative understanding of the phase diagram and compare with the experimental results."}],"oa_version":"None","type":"journal_article","article_type":"original","date_created":"2024-02-18T23:01:01Z","status":"public","author":[{"full_name":"Franco, D. G.","last_name":"Franco","first_name":"D. G."},{"first_name":"R.","last_name":"Avalos","full_name":"Avalos, R."},{"full_name":"Hafner, D.","first_name":"D.","last_name":"Hafner"},{"id":"13C26AC0-EB69-11E9-87C6-5F3BE6697425","last_name":"Modic","first_name":"Kimberly A","full_name":"Modic, Kimberly A","orcid":"0000-0001-9760-3147"},{"first_name":"Yu","last_name":"Prots","full_name":"Prots, Yu"},{"full_name":"Stockert, O.","first_name":"O.","last_name":"Stockert"},{"full_name":"Hoser, A.","first_name":"A.","last_name":"Hoser"},{"full_name":"Moll, P. J.W.","last_name":"Moll","first_name":"P. J.W."},{"full_name":"Brando, M.","last_name":"Brando","first_name":"M."},{"full_name":"Aligia, A. A.","last_name":"Aligia","first_name":"A. A."},{"first_name":"C.","last_name":"Geibel","full_name":"Geibel, C."}],"title":"Frustrated magnetism in octahedra-based Ce6 Ni6 P17","_id":"15003","language":[{"iso":"eng"}],"acknowledgement":"The authors thank Bernardo Pentke for the SEM micrographs (Departamento Fisicoquímica de Materiales CABCNEA). We are indebted to Julián Sereni for useful discussions. D. G. F. acknowledges financial support provided by Agencia I+D+i, Argentina, Grant No. PICT-2021-I-INVI00852 and Universidad Nacional de Cuyo (SIIP) Grant No. 06/C018-T1. A. A. A. acknowledges financial support provided by PICT 2018-01546 and PICT 2020A-03661 of the\r\nAgencia I+D+i. ","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"scopus_import":"1","issue":"5","publication":"Physical Review B","das_tickbox":"0","fulldoi":"https://doi.org/10.1103/PhysRevB.109.054405","article_processing_charge":"No","date_published":"2024-02-01T00:00:00Z","intvolume":"       109","publication_status":"published","quality_controlled":"1","year":"2024","doi":"10.1103/PhysRevB.109.054405","researchdata_availability":"no","volume":109,"isi":1,"article_number":"054405","publisher":"American Physical Society","department":[{"_id":"KiMo"}],"month":"02","external_id":{"isi":["001198571800008"]},"day":"01"},{"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2112.11150","open_access":"1"}],"arxiv":1,"fulldoi":"https://doi.org/10.1512/iumj.2024.73.9701","article_processing_charge":"No","date_published":"2024-01-01T00:00:00Z","intvolume":"        73","publication_status":"published","year":"2024","quality_controlled":"1","researchdata_availability":"unclear","doi":"10.1512/iumj.2024.73.9701","volume":73,"publisher":"Indiana University Mathematics Journal","department":[{"_id":"JuFi"}],"month":"01","external_id":{"arxiv":["2112.11150"]},"corr_author":"1","oa":1,"day":"01","date_updated":"2026-10-15T09:49:54Z","supplementarymaterial":"unclear","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","citation":{"chicago":"Hensel, Sebastian, and Tim Laux. “BV Solutions for Mean Curvature Flow with Constant Angle: Allen-Cahn Approximation and Weak-Strong Uniqueness.” <i>Indiana University Mathematics Journal</i>. Indiana University Mathematics Journal, 2024. <a href=\"https://doi.org/10.1512/iumj.2024.73.9701\">https://doi.org/10.1512/iumj.2024.73.9701</a>.","apa":"Hensel, S., &#38; Laux, T. (2024). BV solutions for mean curvature flow with constant angle: Allen-Cahn approximation and weak-strong uniqueness. <i>Indiana University Mathematics Journal</i>. Indiana University Mathematics Journal. <a href=\"https://doi.org/10.1512/iumj.2024.73.9701\">https://doi.org/10.1512/iumj.2024.73.9701</a>","mla":"Hensel, Sebastian, and Tim Laux. “BV Solutions for Mean Curvature Flow with Constant Angle: Allen-Cahn Approximation and Weak-Strong Uniqueness.” <i>Indiana University Mathematics Journal</i>, vol. 73, no. 1, Indiana University Mathematics Journal, 2024, pp. 111–48, doi:<a href=\"https://doi.org/10.1512/iumj.2024.73.9701\">10.1512/iumj.2024.73.9701</a>.","ama":"Hensel S, Laux T. BV solutions for mean curvature flow with constant angle: Allen-Cahn approximation and weak-strong uniqueness. <i>Indiana University Mathematics Journal</i>. 2024;73(1):111-148. doi:<a href=\"https://doi.org/10.1512/iumj.2024.73.9701\">10.1512/iumj.2024.73.9701</a>","ista":"Hensel S, Laux T. 2024. BV solutions for mean curvature flow with constant angle: Allen-Cahn approximation and weak-strong uniqueness. Indiana University Mathematics Journal. 73(1), 111–148.","ieee":"S. Hensel and T. Laux, “BV solutions for mean curvature flow with constant angle: Allen-Cahn approximation and weak-strong uniqueness,” <i>Indiana University Mathematics Journal</i>, vol. 73, no. 1. Indiana University Mathematics Journal, pp. 111–148, 2024.","short":"S. Hensel, T. Laux, Indiana University Mathematics Journal 73 (2024) 111–148."},"page":"111-148","abstract":[{"text":"We study weak solutions to mean curvature flow satisfying Young’s angle condition for general contact angles α ∈ (0, π). First, we construct BV solutions by using the Allen-Cahn approximation with boundary contact energy as proposed by Owen and Sternberg. Second, we prove the weak-strong uniqueness and stability for this solution concept. The main ingredient for both results is a relative energy, which can also be interpreted as a tilt excess. ","lang":"eng"}],"type":"journal_article","oa_version":"Preprint","article_type":"original","author":[{"id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastian","last_name":"Hensel","full_name":"Hensel, Sebastian","orcid":"0000-0001-7252-8072"},{"first_name":"Tim","last_name":"Laux","full_name":"Laux, Tim"}],"date_created":"2025-01-27T15:20:19Z","status":"public","title":"BV solutions for mean curvature flow with constant angle: Allen-Cahn approximation and weak-strong uniqueness","_id":"18926","language":[{"iso":"eng"}],"OA_type":"green","OA_place":"repository","publication_identifier":{"issn":["0022-2518"]},"scopus_import":"1","issue":"1","publication":"Indiana University Mathematics Journal"},{"arxiv":1,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2401.16252","open_access":"1"}],"fulldoi":"https://doi.org/10.48550/arXiv.2401.16252","das_tickbox":"0","article_processing_charge":"No","date_published":"2024-01-29T00:00:00Z","year":"2024","publication_status":"submitted","researchdata_availability":"no","doi":"10.48550/arXiv.2401.16252","article_number":"2401.16252","department":[{"_id":"KrCh"}],"month":"01","external_id":{"arxiv":["2401.16252"]},"oa":1,"day":"29","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"no","date_updated":"2026-10-15T09:51:45Z","citation":{"chicago":"Attia, Luc, Lyuben Lichev, Dieter Mitsche, Raimundo J Saona Urmeneta, and Bruno Ziliotto. “Zero-Sum Random Games on Directed Graphs.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2401.16252\">https://doi.org/10.48550/arXiv.2401.16252</a>.","apa":"Attia, L., Lichev, L., Mitsche, D., Saona Urmeneta, R. J., &#38; Ziliotto, B. (n.d.). Zero-sum random games on directed graphs. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2401.16252\">https://doi.org/10.48550/arXiv.2401.16252</a>","ama":"Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Zero-sum random games on directed graphs. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2401.16252\">10.48550/arXiv.2401.16252</a>","mla":"Attia, Luc, et al. “Zero-Sum Random Games on Directed Graphs.” <i>ArXiv</i>, 2401.16252, doi:<a href=\"https://doi.org/10.48550/arXiv.2401.16252\">10.48550/arXiv.2401.16252</a>.","ista":"Attia L, Lichev L, Mitsche D, Saona Urmeneta RJ, Ziliotto B. Zero-sum random games on directed graphs. arXiv, 2401.16252.","ieee":"L. Attia, L. Lichev, D. Mitsche, R. J. Saona Urmeneta, and B. Ziliotto, “Zero-sum random games on directed graphs,” <i>arXiv</i>. .","short":"L. Attia, L. Lichev, D. Mitsche, R.J. Saona Urmeneta, B. Ziliotto, ArXiv (n.d.)."},"abstract":[{"text":"This paper considers a class of two-player zero-sum games on directed graphs whose vertices are equipped with random payoffs of bounded support known by both players.\r\nStarting from a fixed vertex, players take turns to move a token along the edges of the graph.\r\nOn the one hand, for acyclic directed graphs of bounded degree and sub-exponential expansion, we show that the value of the game converges almost surely to a constant at an exponential rate dominated in terms of the expansion.\r\nOn the other hand, for the infinite d-ary tree that does not fall into the previous class of graphs, we show convergence at a double-exponential rate in terms of the expansion.","lang":"eng"}],"type":"preprint","oa_version":"Preprint","date_created":"2024-06-03T07:45:22Z","author":[{"last_name":"Attia","first_name":"Luc","full_name":"Attia, Luc"},{"last_name":"Lichev","first_name":"Lyuben","full_name":"Lichev, Lyuben"},{"full_name":"Mitsche, Dieter","first_name":"Dieter","last_name":"Mitsche"},{"orcid":"0000-0001-5103-038X","full_name":"Saona Urmeneta, Raimundo J","last_name":"Saona Urmeneta","first_name":"Raimundo J","id":"BD1DF4C4-D767-11E9-B658-BC13E6697425"},{"full_name":"Ziliotto, Bruno","last_name":"Ziliotto","first_name":"Bruno"}],"status":"public","_id":"17101","title":"Zero-sum random games on directed graphs","language":[{"iso":"eng"}],"acknowledgement":"This work was supported by the French Agence Nationale de la Recherche (ANR) under references ANR-21-CE40-0020 (CONVERGENCE project) and ANR-20-CE40-0002 (GrHyDy), and by Fondecyt grant 1220174. This collaboration was mainly conducted during a 1-year visit of Bruno Ziliotto to the Center for Mathematical Modeling (CMM) at University of Chile in 2023,\r\nunder the IRL program of CNRS.","publication":"arXiv"},{"day":"18","corr_author":"1","oa":1,"external_id":{"arxiv":["2102.13457"],"isi":["001585185800011"]},"department":[{"_id":"KrCh"}],"month":"01","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","article_number":"11","isi":1,"volume":286,"file":[{"file_name":"2024_LIPICs_Hirvonen.pdf","content_type":"application/pdf","date_updated":"2024-02-26T09:04:58Z","file_size":867363,"file_id":"15028","access_level":"open_access","creator":"dernst","relation":"main_file","success":1,"date_created":"2024-02-26T09:04:58Z","checksum":"4fc7eea6e4ba140b904781fc7df868ec"}],"researchdata_availability":"no","doi":"10.4230/LIPIcs.OPODIS.2023.11","ddc":["000"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"quality_controlled":"1","year":"2024","publication_status":"published","intvolume":"       286","file_date_updated":"2024-02-26T09:04:58Z","alternative_title":["LIPIcs"],"date_published":"2024-01-18T00:00:00Z","conference":{"location":"Tokyo, Japan","start_date":"2023-12-06","end_date":"2023-12-08","name":"OPODIS: Conference on Principles of Distributed Systems"},"has_accepted_license":"1","article_processing_charge":"No","fulldoi":"https://doi.org/10.4230/LIPIcs.OPODIS.2023.11","das_tickbox":"0","arxiv":1,"publication":"27th International Conference on Principles of Distributed Systems","scopus_import":"1","ec_funded":1,"publication_identifier":{"isbn":["9783959773089"],"issn":["1868-8969"]},"acknowledgement":"This work was partially funded by the Academy of Finland, grant 314888, the European Research Council CoG 863818 (ForM-SMArt), and the Austrian Science Fund (FWF) project I 4800-N (ADVISE). LS was supported by the Stochastic Analysis and Application Research Center (SAARC) under National Research Foundation of Korea grant NRF-2019R1A5A1028324.","language":[{"iso":"eng"}],"_id":"15006","title":"On the convergence time in graphical games: A locality-sensitive approach","author":[{"last_name":"Hirvonen","first_name":"Juho","full_name":"Hirvonen, Juho"},{"first_name":"Laura","last_name":"Schmid","id":"38B437DE-F248-11E8-B48F-1D18A9856A87","full_name":"Schmid, Laura","orcid":"0000-0002-6978-7329"},{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","last_name":"Chatterjee"},{"full_name":"Schmid, Stefan","last_name":"Schmid","first_name":"Stefan"}],"status":"public","date_created":"2024-02-18T23:01:01Z","oa_version":"Published Version","type":"conference","abstract":[{"text":"Graphical games are a useful framework for modeling the interactions of (selfish) agents who are connected via an underlying topology and whose behaviors influence each other. They have wide applications ranging from computer science to economics and biology. Yet, even though an agent’s payoff only depends on the actions of their direct neighbors in graphical games, computing the Nash equilibria and making statements about the convergence time of \"natural\" local dynamics in particular can be highly challenging. In this work, we present a novel approach for classifying complexity of Nash equilibria in graphical games by establishing a connection to local graph algorithms, a subfield of distributed computing. In particular, we make the observation that the equilibria of graphical games are equivalent to locally verifiable labelings (LVL) in graphs; vertex labelings which are verifiable with constant-round local algorithms. This connection allows us to derive novel lower bounds on the convergence time to equilibrium of best-response dynamics in graphical games. Since we establish that distributed convergence can sometimes be provably slow, we also introduce and give bounds on an intuitive notion of \"time-constrained\" inefficiency of best responses. We exemplify how our results can be used in the implementation of mechanisms that ensure convergence of best responses to a Nash equilibrium. Our results thus also give insight into the convergence of strategy-proof algorithms for graphical games, which is still not well understood.","lang":"eng"}],"project":[{"grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"citation":{"ieee":"J. Hirvonen, L. Schmid, K. Chatterjee, and S. Schmid, “On the convergence time in graphical games: A locality-sensitive approach,” in <i>27th International Conference on Principles of Distributed Systems</i>, Tokyo, Japan, 2024, vol. 286.","short":"J. Hirvonen, L. Schmid, K. Chatterjee, S. Schmid, in:, 27th International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.","ista":"Hirvonen J, Schmid L, Chatterjee K, Schmid S. 2024. On the convergence time in graphical games: A locality-sensitive approach. 27th International Conference on Principles of Distributed Systems. OPODIS: Conference on Principles of Distributed Systems, LIPIcs, vol. 286, 11.","ama":"Hirvonen J, Schmid L, Chatterjee K, Schmid S. On the convergence time in graphical games: A locality-sensitive approach. In: <i>27th International Conference on Principles of Distributed Systems</i>. Vol 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2024. doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2023.11\">10.4230/LIPIcs.OPODIS.2023.11</a>","mla":"Hirvonen, Juho, et al. “On the Convergence Time in Graphical Games: A Locality-Sensitive Approach.” <i>27th International Conference on Principles of Distributed Systems</i>, vol. 286, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2023.11\">10.4230/LIPIcs.OPODIS.2023.11</a>.","apa":"Hirvonen, J., Schmid, L., Chatterjee, K., &#38; Schmid, S. (2024). On the convergence time in graphical games: A locality-sensitive approach. In <i>27th International Conference on Principles of Distributed Systems</i> (Vol. 286). Tokyo, Japan: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2023.11\">https://doi.org/10.4230/LIPIcs.OPODIS.2023.11</a>","chicago":"Hirvonen, Juho, Laura Schmid, Krishnendu Chatterjee, and Stefan Schmid. “On the Convergence Time in Graphical Games: A Locality-Sensitive Approach.” In <i>27th International Conference on Principles of Distributed Systems</i>, Vol. 286. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2023.11\">https://doi.org/10.4230/LIPIcs.OPODIS.2023.11</a>."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2026-10-15T10:07:37Z","supplementarymaterial":"no"},{"day":"01","dataavailabilitystatement":"We refer to the artefact with the exact code used for the submission and all logs [31], and the gitlab with the continually developed source code [30].","corr_author":"1","oa":1,"external_id":{"arxiv":["2405.03885"],"isi":["001307897000016"]},"department":[{"_id":"KrCh"}],"month":"07","publisher":"Springer Nature","isi":1,"volume":14683,"file":[{"file_id":"17419","file_size":368487,"content_type":"application/pdf","date_updated":"2024-08-12T08:39:12Z","file_name":"2024_CAV_Meggendorfer.pdf","checksum":"c888231d0a47b55786b7b4c0f02216bb","date_created":"2024-08-12T08:39:12Z","success":1,"creator":"dernst","relation":"main_file","access_level":"open_access"}],"doi":"10.1007/978-3-031-65633-0_16","researchdata_availability":"yes","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["000"],"quality_controlled":"1","year":"2024","publication_status":"published","intvolume":"     14683","file_date_updated":"2024-08-12T08:39:12Z","alternative_title":["LNCS"],"date_published":"2024-07-01T00:00:00Z","conference":{"start_date":"2024-07-24","end_date":"2024-07-27","name":"CAV: Computer Aided Verification","location":"Montreal, Canada"},"has_accepted_license":"1","article_processing_charge":"Yes (in subscription journal)","fulldoi":"https://doi.org/10.1007/978-3-031-65633-0_16","das_tickbox":"1","arxiv":1,"publication":"36th International Conference on Computer Aided Verification","scopus_import":"1","acknowledgement":"M. Weininger has received funding from the EU’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 101034413.","publication_identifier":{"isbn":["9783031656323"],"eisbn":["9783031656330"],"issn":["0302-9743"],"eissn":["1611-3349"]},"ec_funded":1,"language":[{"iso":"eng"}],"_id":"17402","title":"Playing games with your PET: Extending the Partial Exploration Tool to stochastic games","date_created":"2024-08-09T11:24:54Z","status":"public","author":[{"orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","last_name":"Meggendorfer","first_name":"Tobias"},{"last_name":"Weininger","first_name":"Maximilian","id":"02ab0197-cc70-11ed-ab61-918e71f56881","orcid":"0000-0002-0163-2152","full_name":"Weininger, Maximilian"}],"type":"conference","oa_version":"Published Version","abstract":[{"lang":"eng","text":"We present version 2.0 of the Partial Exploration Tool (PET), a tool for verification of probabilistic systems. We extend the previous version by adding support for stochastic games, based on a recent unified framework for sound value iteration algorithms. Thereby, PET2 is the first tool implementing a sound and efficient approach for solving stochastic games with objectives of the type reachability/safety and mean payoff. We complement this approach by developing and implementing a partial-exploration based variant for all three objectives. Our experimental evaluation shows that PET2 offers the most efficient partial-exploration based algorithm and is the most viable tool on SGs, even outperforming unsound tools."}],"project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","grant_number":"101034413"}],"citation":{"ieee":"T. Meggendorfer and M. Weininger, “Playing games with your PET: Extending the Partial Exploration Tool to stochastic games,” in <i>36th International Conference on Computer Aided Verification</i>, Montreal, Canada, 2024, vol. 14683, pp. 359–372.","short":"T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.","ista":"Meggendorfer T, Weininger M. 2024. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. 36th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 14683, 359–372.","mla":"Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” <i>36th International Conference on Computer Aided Verification</i>, vol. 14683, Springer Nature, 2024, pp. 359–72, doi:<a href=\"https://doi.org/10.1007/978-3-031-65633-0_16\">10.1007/978-3-031-65633-0_16</a>.","ama":"Meggendorfer T, Weininger M. Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In: <i>36th International Conference on Computer Aided Verification</i>. Vol 14683. Springer Nature; 2024:359-372. doi:<a href=\"https://doi.org/10.1007/978-3-031-65633-0_16\">10.1007/978-3-031-65633-0_16</a>","apa":"Meggendorfer, T., &#38; Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In <i>36th International Conference on Computer Aided Verification</i> (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-65633-0_16\">https://doi.org/10.1007/978-3-031-65633-0_16</a>","chicago":"Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” In <i>36th International Conference on Computer Aided Verification</i>, 14683:359–72. Springer Nature, 2024. <a href=\"https://doi.org/10.1007/978-3-031-65633-0_16\">https://doi.org/10.1007/978-3-031-65633-0_16</a>."},"page":"359-372","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","supplementarymaterial":"no","date_updated":"2026-10-15T10:06:48Z"},{"language":[{"iso":"eng"}],"ec_funded":1,"publication_identifier":{"eissn":["2475-1421"]},"acknowledgement":"This work was supported in part by the European Research Council (ERC) under Grant No. 863818\r\n(ForM-SMArt) and the Hong Kong Research Grants Council under ECS Project No. 26208122.","publication":"Proceedings of the ACM on Programming Languages","issue":"OOPSLA1","scopus_import":"1","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2026-10-15T10:02:32Z","supplementarymaterial":"no","related_material":{"record":[{"status":"public","id":"23140","relation":"research_data"}]},"project":[{"grant_number":"863818","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"citation":{"chicago":"Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Quantitative Bounds on Resource Usage of Probabilistic Programs.” <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery, 2024. <a href=\"https://doi.org/10.1145/3649824\">https://doi.org/10.1145/3649824</a>.","apa":"Chatterjee, K., Goharshady, A. K., Meggendorfer, T., &#38; Zikelic, D. (2024). Quantitative bounds on resource usage of probabilistic programs. <i>Proceedings of the ACM on Programming Languages</i>. Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3649824\">https://doi.org/10.1145/3649824</a>","mla":"Chatterjee, Krishnendu, et al. “Quantitative Bounds on Resource Usage of Probabilistic Programs.” <i>Proceedings of the ACM on Programming Languages</i>, vol. 8, no. OOPSLA1, 107, Association for Computing Machinery, 2024, doi:<a href=\"https://doi.org/10.1145/3649824\">10.1145/3649824</a>.","ama":"Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. Quantitative bounds on resource usage of probabilistic programs. <i>Proceedings of the ACM on Programming Languages</i>. 2024;8(OOPSLA1). doi:<a href=\"https://doi.org/10.1145/3649824\">10.1145/3649824</a>","ieee":"K. Chatterjee, A. K. Goharshady, T. Meggendorfer, and D. Zikelic, “Quantitative bounds on resource usage of probabilistic programs,” <i>Proceedings of the ACM on Programming Languages</i>, vol. 8, no. OOPSLA1. Association for Computing Machinery, 2024.","ista":"Chatterjee K, Goharshady AK, Meggendorfer T, Zikelic D. 2024. Quantitative bounds on resource usage of probabilistic programs. Proceedings of the ACM on Programming Languages. 8(OOPSLA1), 107.","short":"K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, Proceedings of the ACM on Programming Languages 8 (2024)."},"article_type":"original","type":"journal_article","oa_version":"Published Version","abstract":[{"text":"Cost analysis, also known as resource usage analysis, is the task of finding bounds on the total cost of a program and is a well-studied problem in static analysis. In this work, we consider two classical quantitative problems in cost analysis for probabilistic programs. The first problem is to find a bound on the expected total cost of the program. This is a natural measure for the resource usage of the program and can also be directly applied to average-case runtime analysis. The second problem asks for a tail bound, i.e. ‍given a threshold t the goal is to find a probability bound p such that ℙ[total cost ≥ t] ≤ p. Intuitively, given a threshold t on the resource, the problem is to find the likelihood that the total cost exceeds this threshold.\r\nFirst, for expectation bounds, a major obstacle in previous works on cost analysis is that they can handle only non-negative costs or bounded variable updates. In contrast, we provide a new variant of the standard notion of cost martingales, that allows us to find expectation bounds for a class of programs with general positive or negative costs and no restriction on the variable updates. More specifically, our approach is applicable as long as there is a lower bound on the total cost incurred along every path.\r\nSecond, for tail bounds, all previous methods are limited to programs in which the expected total cost is finite. In contrast, we present a novel approach, based on a combination of our martingale-based method for expectation bounds with a quantitative safety analysis, to obtain a solution to the tail bound problem that is applicable even to programs with infinite expected cost. Specifically, this allows us to obtain runtime tail bounds for programs that do not terminate almost-surely.\r\nIn summary, we provide a novel combination of martingale-based cost analysis and quantitative safety analysis that is able to find expectation and tail cost bounds for probabilistic programs, without the restrictions of non-negative costs, bounded updates, or finiteness of the expected total cost. Finally, we provide experimental results showcasing that our approach can solve instances that were beyond the reach of previous methods.","lang":"eng"}],"_id":"17162","title":"Quantitative bounds on resource usage of probabilistic programs","author":[{"full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Goharshady","first_name":"Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","full_name":"Goharshady, Amir Kafshdar","orcid":"0000-0003-1702-6584"},{"last_name":"Meggendorfer","first_name":"Tobias","id":"b21b0c15-30a2-11eb-80dc-f13ca25802e1","orcid":"0000-0002-1712-2165","full_name":"Meggendorfer, Tobias"},{"orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","last_name":"Zikelic","first_name":"Dorde"}],"status":"public","date_created":"2024-06-23T22:01:02Z","volume":8,"file":[{"file_id":"17182","file_size":413096,"content_type":"application/pdf","date_updated":"2024-06-27T07:48:16Z","file_name":"2024_ProcACMProgLanguage_Chatterjee.pdf","date_created":"2024-06-27T07:48:16Z","checksum":"9243ded966f71df1572be5466019be5c","success":1,"creator":"dernst","relation":"main_file","access_level":"open_access"}],"doi":"10.1145/3649824","researchdata_availability":"yes","article_number":"107","department":[{"_id":"KrCh"}],"month":"04","publisher":"Association for Computing Machinery","day":"29","dataavailabilitystatement":"The software that supports Section 8 is available on Zenodo [Meggendorfer and Žikelić 2024]. https://doi.org/10.5281/zenodo.10457566","oa":1,"fulldoi":"https://doi.org/10.1145/3649824","das_tickbox":"1","date_published":"2024-04-29T00:00:00Z","file_date_updated":"2024-06-27T07:48:16Z","has_accepted_license":"1","article_processing_charge":"Yes (in subscription journal)","year":"2024","quality_controlled":"1","publication_status":"published","intvolume":"         8","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["000"]},{"citation":{"short":"J.D. Andersson, M. Henzinger, R. Pagh, T.A. Steiner, J. Upadhyay, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024.","ista":"Andersson JD, Henzinger M, Pagh R, Steiner TA, Upadhyay J. 2024. Continual counting with gradual privacy expiration. 38th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 37.","ieee":"J. D. Andersson, M. Henzinger, R. Pagh, T. A. Steiner, and J. Upadhyay, “Continual counting with gradual privacy expiration,” in <i>38th Conference on Neural Information Processing Systems</i>, Vancouver, Canada, 2024, vol. 37.","ama":"Andersson JD, Henzinger M, Pagh R, Steiner TA, Upadhyay J. Continual counting with gradual privacy expiration. In: <i>38th Conference on Neural Information Processing Systems</i>. Vol 37. Neural Information Processing Systems Foundation; 2024. doi:<a href=\"https://doi.org/10.52202/079017-0299\">10.52202/079017-0299</a>","mla":"Andersson, Joel Daniel, et al. “Continual Counting with Gradual Privacy Expiration.” <i>38th Conference on Neural Information Processing Systems</i>, vol. 37, Neural Information Processing Systems Foundation, 2024, doi:<a href=\"https://doi.org/10.52202/079017-0299\">10.52202/079017-0299</a>.","apa":"Andersson, J. D., Henzinger, M., Pagh, R., Steiner, T. A., &#38; Upadhyay, J. (2024). Continual counting with gradual privacy expiration. In <i>38th Conference on Neural Information Processing Systems</i> (Vol. 37). Vancouver, Canada: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/079017-0299\">https://doi.org/10.52202/079017-0299</a>","chicago":"Andersson, Joel Daniel, Monika Henzinger, Rasmus Pagh, Teresa Anna Steiner, and Jalaj Upadhyay. “Continual Counting with Gradual Privacy Expiration.” In <i>38th Conference on Neural Information Processing Systems</i>, Vol. 37. Neural Information Processing Systems Foundation, 2024. <a href=\"https://doi.org/10.52202/079017-0299\">https://doi.org/10.52202/079017-0299</a>."},"project":[{"grant_number":"101019564","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62","name":"The design and evaluation of modern fully dynamic data structures","call_identifier":"H2020"},{"grant_number":"Z00422","name":"Efficient algorithms","_id":"34def286-11ca-11ed-8bc3-da5948e1613c"},{"_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","name":"Static and Dynamic Hierarchical Graph Decompositions","grant_number":"I05982"},{"name":"Fast Algorithms for a Reactive Network Layer","_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe","grant_number":"P33775"}],"date_updated":"2026-10-15T09:52:07Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"Continual counting with gradual privacy expiration","_id":"19512","status":"public","author":[{"last_name":"Andersson","first_name":"Joel Daniel","full_name":"Andersson, Joel Daniel"},{"full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","first_name":"Monika H"},{"full_name":"Pagh, Rasmus","last_name":"Pagh","first_name":"Rasmus"},{"last_name":"Steiner","first_name":"Teresa Anna","full_name":"Steiner, Teresa Anna"},{"first_name":"Jalaj","last_name":"Upadhyay","full_name":"Upadhyay, Jalaj"}],"date_created":"2025-04-06T22:01:32Z","oa_version":"Preprint","type":"conference","abstract":[{"lang":"eng","text":"Differential privacy with gradual expiration models the setting where data items\r\narrive in a stream and at a given time t the privacy loss guaranteed for a data item\r\nseen at time (t − d) is εg(d), where g is a monotonically non-decreasing function.\r\nWe study the fundamental continual (binary) counting problem where each data\r\nitem consists of a bit, and the algorithm needs to output at each time step the sum of\r\nall the bits streamed so far. For a stream of length T and privacy without expiration\r\ncontinual counting is possible with maximum (over all time steps) additive error\r\nO(log2\r\n(T)/ε) and the best known lower bound is Ω(log(T)/ε); closing this gap\r\nis a challenging open problem.\r\nWe show that the situation is very different for privacy with gradual expiration by\r\ngiving upper and lower bounds for a large set of expiration functions g. Specifically,\r\nour algorithm achieves an additive error of O(log(T)/ε) for a large set of privacy\r\nexpiration functions. We also give a lower bound that shows that if C is the additive\r\nerror of any ε-DP algorithm for this problem, then the product of C and the privacy\r\nexpiration function after 2C steps must be Ω(log(T)/ε). Our algorithm matches\r\nthis lower bound as its additive error is O(log(T)/ε), even when g(2C) = O(1).\r\nOur empirical evaluation shows that we achieve a slowly growing privacy loss\r\nwith significantly smaller empirical privacy loss for large values of d than a natural\r\nbaseline algorithm."}],"OA_place":"repository","OA_type":"green","language":[{"iso":"eng"}],"publication":"38th Conference on Neural Information Processing Systems","scopus_import":"1","acknowledgement":"Monika Henzinger: 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) and the Austrian Science Fund (FWF) grant DOI 10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE Stiftung, 2020–2024. Joel Daniel Andersson and Rasmus Pagh are affiliated with Basic Algorithms Research Copenhagen (BARC), supported by the VILLUM Foundation grant 16582, and are also supported by Providentia, a Data Science Distinguished Investigator grant from Novo Nordisk Fonden. Teresa Anna Steiner is supported by a research grant (VIL51463) from VILLUM FONDEN. This work was done while Teresa Anna Steiner was a Postdoc at the Technical University of Denmark. Jalaj Upadhyay’s research was funded by the Rutgers Decanal Grant no. 302918 and an unrestricted gift from Google.","publication_identifier":{"eissn":["1049-5258"]},"ec_funded":1,"conference":{"name":"NeurIPS: Neural Information Processing Systems","end_date":"2024-12-15","start_date":"2024-12-09","location":"Vancouver, Canada"},"alternative_title":["Advances in Neural Information Processing Systems"],"date_published":"2024-12-20T00:00:00Z","article_processing_charge":"No","fulldoi":"https://doi.org/10.52202/079017-0299","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2406.03802"}],"arxiv":1,"publication_status":"published","quality_controlled":"1","year":"2024","intvolume":"        37","volume":37,"doi":"10.52202/079017-0299","day":"20","corr_author":"1","oa":1,"external_id":{"arxiv":["2406.03802"]},"publisher":"Neural Information Processing Systems Foundation","department":[{"_id":"MoHe"}],"month":"12"},{"acknowledgement":"MF is supported by the MSCA IST-Bridge fellowship which has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement No 101034413. ER and VM are supported by the PNRR MUR project PE0000013-FAIR. MP is supported by the Sapienza grant \"Predicting and Explaining Clinical Trial Outcomes\", prot. RG12218166FA3F13.","ec_funded":1,"publication_identifier":{"eissn":["1049-5258"]},"scopus_import":"1","publication":"38th Conference on Neural Information Processing Systems","language":[{"iso":"eng"}],"OA_type":"green","OA_place":"repository","abstract":[{"lang":"eng","text":"Neural models learn data representations that lie on low-dimensional manifolds,\r\nyet modeling the relation between these representational spaces is an ongoing challenge. By integrating spectral geometry principles into neural modeling, we show\r\nthat this problem can be better addressed in the functional domain, mitigating complexity, while enhancing interpretability and performances on downstream tasks.\r\nTo this end, we introduce a multi-purpose framework to the representation learning\r\ncommunity, which allows to: (i) compare different spaces in an interpretable way\r\nand measure their intrinsic similarity; (ii) find correspondences between them, both\r\nin unsupervised and weakly supervised settings, and (iii) to effectively transfer\r\nrepresentations between distinct spaces. We validate our framework on various\r\napplications, ranging from stitching to retrieval tasks, and on multiple modalities,\r\ndemonstrating that Latent Functional Maps can serve as a swiss-army knife for\r\nrepresentation alignment"}],"oa_version":"Preprint","type":"conference","date_created":"2025-04-06T22:01:32Z","author":[{"full_name":"Fumero, Marco","last_name":"Fumero","first_name":"Marco","id":"1c1593eb-393f-11ef-bb8e-ab4f1e979650"},{"full_name":"Pegoraro, Marco","first_name":"Marco","last_name":"Pegoraro"},{"full_name":"Maiorca, Valentino","last_name":"Maiorca","first_name":"Valentino"},{"last_name":"Locatello","first_name":"Francesco","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","orcid":"0000-0002-4850-0683","full_name":"Locatello, Francesco"},{"full_name":"Rodolà, Emanuele","first_name":"Emanuele","last_name":"Rodolà"}],"status":"public","_id":"19515","title":"Latent functional maps: A spectral framework for representation alignment","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-10-15T09:52:55Z","project":[{"_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","grant_number":"101034413"}],"citation":{"chicago":"Fumero, Marco, Marco Pegoraro, Valentino Maiorca, Francesco Locatello, and Emanuele Rodolà. “Latent Functional Maps: A Spectral Framework for Representation Alignment.” In <i>38th Conference on Neural Information Processing Systems</i>, Vol. 37. Neural Information Processing Systems Foundation, 2024. <a href=\"https://doi.org/10.52202/079017-2115\">https://doi.org/10.52202/079017-2115</a>.","apa":"Fumero, M., Pegoraro, M., Maiorca, V., Locatello, F., &#38; Rodolà, E. (2024). Latent functional maps: A spectral framework for representation alignment. In <i>38th Conference on Neural Information Processing Systems</i> (Vol. 37). Vancouver, Canada: Neural Information Processing Systems Foundation. <a href=\"https://doi.org/10.52202/079017-2115\">https://doi.org/10.52202/079017-2115</a>","ama":"Fumero M, Pegoraro M, Maiorca V, Locatello F, Rodolà E. Latent functional maps: A spectral framework for representation alignment. In: <i>38th Conference on Neural Information Processing Systems</i>. Vol 37. Neural Information Processing Systems Foundation; 2024. doi:<a href=\"https://doi.org/10.52202/079017-2115\">10.52202/079017-2115</a>","mla":"Fumero, Marco, et al. “Latent Functional Maps: A Spectral Framework for Representation Alignment.” <i>38th Conference on Neural Information Processing Systems</i>, vol. 37, Neural Information Processing Systems Foundation, 2024, doi:<a href=\"https://doi.org/10.52202/079017-2115\">10.52202/079017-2115</a>.","ista":"Fumero M, Pegoraro M, Maiorca V, Locatello F, Rodolà E. 2024. Latent functional maps: A spectral framework for representation alignment. 38th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 37.","ieee":"M. Fumero, M. Pegoraro, V. Maiorca, F. Locatello, and E. Rodolà, “Latent functional maps: A spectral framework for representation alignment,” in <i>38th Conference on Neural Information Processing Systems</i>, Vancouver, Canada, 2024, vol. 37.","short":"M. Fumero, M. Pegoraro, V. Maiorca, F. Locatello, E. Rodolà, in:, 38th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024."},"month":"12","department":[{"_id":"FrLo"}],"publisher":"Neural Information Processing Systems Foundation","external_id":{"arxiv":["2406.14183"]},"oa":1,"corr_author":"1","day":"20","doi":"10.52202/079017-2115","volume":37,"intvolume":"        37","year":"2024","quality_controlled":"1","publication_status":"published","arxiv":1,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2406.14183","open_access":"1"}],"fulldoi":"https://doi.org/10.52202/079017-2115","article_processing_charge":"No","alternative_title":["Advances in Neural Information Processing Systems"],"date_published":"2024-12-20T00:00:00Z","conference":{"end_date":"2024-12-15","start_date":"2024-12-09","name":"NeurIPS: Neural Information Processing Systems","location":"Vancouver, Canada"}}]
