[{"abstract":[{"lang":"eng","text":"The implementation of HCN-free transfer hydrocyanation reactions on laboratory scales has recently been achieved by using HCN donor reagents under nickel- and Lewis acid co-catalysis. More recently, malononitrile-based HCN donor reagents were shown to undergo the C(sp3)–CN bond activation by the nickel catalyst in the absence of Lewis acids. However, there is a lack of detailed mechanistic understanding of the challenging C(sp3)–CN bond cleavage step. In this work, in-depth kinetic and computational studies using alkynes as substrates were used to elucidate the overall reaction mechanism of this transfer hydrocyanation, with a particular focus on the activation of the C(sp3)–CN bond to generate the active H–Ni–CN transfer hydrocyanation catalyst. Comparisons of experimentally and computationally derived 13C kinetic isotope effect data support a direct oxidative addition mechanism of the nickel catalyst into the C(sp3)–CN bond facilitated by the coordination of the second nitrile group to the nickel catalyst."}],"citation":{"short":"J. Reisenbauer, P. Finkelstein, M.-O. Ebert, B. Morandi, ACS Catalysis 13 (2023) 11548–11555.","chicago":"Reisenbauer, Julia, Patrick Finkelstein, Marc-Olivier Ebert, and Bill Morandi. “Mechanistic Investigation of the Nickel-Catalyzed Transfer Hydrocyanation of Alkynes.” ACS Catalysis. American Chemical Society, 2023. https://doi.org/10.1021/acscatal.3c02977.","ista":"Reisenbauer J, Finkelstein P, Ebert M-O, Morandi B. 2023. Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS Catalysis. 13(17), 11548–11555.","ieee":"J. Reisenbauer, P. Finkelstein, M.-O. Ebert, and B. Morandi, “Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes,” ACS Catalysis, vol. 13, no. 17. American Chemical Society, pp. 11548–11555, 2023.","mla":"Reisenbauer, Julia, et al. “Mechanistic Investigation of the Nickel-Catalyzed Transfer Hydrocyanation of Alkynes.” ACS Catalysis, vol. 13, no. 17, American Chemical Society, 2023, pp. 11548–55, doi:10.1021/acscatal.3c02977.","ama":"Reisenbauer J, Finkelstein P, Ebert M-O, Morandi B. Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS Catalysis. 2023;13(17):11548-11555. doi:10.1021/acscatal.3c02977","apa":"Reisenbauer, J., Finkelstein, P., Ebert, M.-O., & Morandi, B. (2023). Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes. ACS Catalysis. American Chemical Society. https://doi.org/10.1021/acscatal.3c02977"},"oa_version":"Published Version","author":[{"full_name":"Reisenbauer, Julia","id":"51d862e9-36ee-11f0-86d3-8534c85a5496","first_name":"Julia","last_name":"Reisenbauer"},{"full_name":"Finkelstein, Patrick","first_name":"Patrick","last_name":"Finkelstein"},{"first_name":"Marc-Olivier","last_name":"Ebert","full_name":"Ebert, Marc-Olivier"},{"last_name":"Morandi","first_name":"Bill","full_name":"Morandi, Bill"}],"title":"Mechanistic investigation of the nickel-catalyzed transfer hydrocyanation of alkynes","year":"2023","date_updated":"2025-12-16T11:11:14Z","publication_identifier":{"eissn":["2155-5435"]},"type":"journal_article","extern":"1","language":[{"iso":"eng"}],"article_type":"original","date_published":"2023-08-16T00:00:00Z","volume":13,"PlanS_conform":"1","has_accepted_license":"1","month":"08","doi":"10.1021/acscatal.3c02977","scopus_import":"1","pmid":1,"date_created":"2025-12-09T14:23:42Z","day":"16","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"issue":"17","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1021/acscatal.3c02977"}],"intvolume":" 13","publication_status":"published","publication":"ACS Catalysis","status":"public","OA_place":"publisher","oa":1,"publisher":"American Chemical Society","page":"11548-11555","article_processing_charge":"Yes (in subscription journal)","_id":"20760","OA_type":"hybrid","quality_controlled":"1","external_id":{"pmid":["37671177"]}},{"title":"Nitrogen atom insertion into indenes to access isoquinolines","year":"2023","date_updated":"2025-12-16T11:18:13Z","publication_identifier":{"eissn":["2041-6539"],"issn":["2041-6520"]},"type":"journal_article","abstract":[{"text":"We report a convenient protocol for a nitrogen atom insertion into indenes to afford isoquinolines. The reaction uses a combination of commercially available phenyliodine(III) diacetate (PIDA) and ammonium carbamate as the nitrogen source to furnish a wide range of isoquinolines. Various substitution patterns and commonly used functional groups are well tolerated. The operational simplicity renders this protocol broadly applicable and has been successfully extended towards the direct interconversion of cyclopentadienes into the corresponding pyridines. Furthermore, this strategy enables the facile synthesis of 15N labelled isoquinolines, using 15NH4Cl as a commercial 15N source.","lang":"eng"}],"citation":{"apa":"Finkelstein, P., Reisenbauer, J., Botlik, B. B., Green, O., Florin, A., & Morandi, B. (2023). Nitrogen atom insertion into indenes to access isoquinolines. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d2sc06952k","ama":"Finkelstein P, Reisenbauer J, Botlik BB, Green O, Florin A, Morandi B. Nitrogen atom insertion into indenes to access isoquinolines. Chemical Science. 2023;14(11):2954-2959. doi:10.1039/d2sc06952k","ista":"Finkelstein P, Reisenbauer J, Botlik BB, Green O, Florin A, Morandi B. 2023. Nitrogen atom insertion into indenes to access isoquinolines. Chemical Science. 14(11), 2954–2959.","chicago":"Finkelstein, Patrick, Julia Reisenbauer, Bence B. Botlik, Ori Green, Andri Florin, and Bill Morandi. “Nitrogen Atom Insertion into Indenes to Access Isoquinolines.” Chemical Science. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d2sc06952k.","mla":"Finkelstein, Patrick, et al. “Nitrogen Atom Insertion into Indenes to Access Isoquinolines.” Chemical Science, vol. 14, no. 11, Royal Society of Chemistry, 2023, pp. 2954–59, doi:10.1039/d2sc06952k.","ieee":"P. Finkelstein, J. Reisenbauer, B. B. Botlik, O. Green, A. Florin, and B. Morandi, “Nitrogen atom insertion into indenes to access isoquinolines,” Chemical Science, vol. 14, no. 11. Royal Society of Chemistry, pp. 2954–2959, 2023.","short":"P. Finkelstein, J. Reisenbauer, B.B. Botlik, O. Green, A. Florin, B. Morandi, Chemical Science 14 (2023) 2954–2959."},"oa_version":"Published Version","author":[{"full_name":"Finkelstein, Patrick","first_name":"Patrick","last_name":"Finkelstein"},{"last_name":"Reisenbauer","first_name":"Julia","id":"51d862e9-36ee-11f0-86d3-8534c85a5496","full_name":"Reisenbauer, Julia"},{"full_name":"Botlik, Bence B.","first_name":"Bence B.","last_name":"Botlik"},{"first_name":"Ori","last_name":"Green","full_name":"Green, Ori"},{"first_name":"Andri","last_name":"Florin","full_name":"Florin, Andri"},{"full_name":"Morandi, Bill","last_name":"Morandi","first_name":"Bill"}],"month":"02","license":"https://creativecommons.org/licenses/by-nc/3.0/","doi":"10.1039/d2sc06952k","scopus_import":"1","extern":"1","language":[{"iso":"eng"}],"article_type":"original","volume":14,"date_published":"2023-02-23T00:00:00Z","has_accepted_license":"1","intvolume":" 14","DOAJ_listed":"1","publication_status":"published","pmid":1,"date_created":"2025-12-09T14:23:59Z","day":"23","tmp":{"name":"Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)","image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/3.0/legalcode","short":"CC BY-NC (3.0)"},"issue":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1039/D2SC06952K"}],"OA_type":"gold","_id":"20761","article_processing_charge":"Yes","ddc":["540"],"quality_controlled":"1","external_id":{"pmid":["36937579"]},"publication":"Chemical Science","status":"public","OA_place":"publisher","oa":1,"publisher":"Royal Society of Chemistry","page":"2954-2959"},{"day":"13","date_created":"2025-12-09T14:24:17Z","pmid":1,"issue":"7","tmp":{"name":"Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)","image":"/images/cc_by_nc.png","legal_code_url":"https://creativecommons.org/licenses/by-nc/3.0/legalcode","short":"CC BY-NC (3.0)"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"https://doi.org/10.1039/D2SC06055H","open_access":"1"}],"intvolume":" 14","DOAJ_listed":"1","publication_status":"published","status":"public","publication":"Chemical Science","OA_place":"publisher","oa":1,"page":"1709-1714","publisher":"Royal Society of Chemistry","OA_type":"gold","_id":"20762","article_processing_charge":"Yes","external_id":{"pmid":["36819866"]},"quality_controlled":"1","citation":{"chicago":"Sirvinskaite, Giedre, Julia Reisenbauer, and Bill Morandi. “Deaminative Coupling of Benzylamines and Arylboronic Acids.” Chemical Science. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d2sc06055h.","ista":"Sirvinskaite G, Reisenbauer J, Morandi B. 2023. Deaminative coupling of benzylamines and arylboronic acids. Chemical Science. 14(7), 1709–1714.","mla":"Sirvinskaite, Giedre, et al. “Deaminative Coupling of Benzylamines and Arylboronic Acids.” Chemical Science, vol. 14, no. 7, Royal Society of Chemistry, 2023, pp. 1709–14, doi:10.1039/d2sc06055h.","ieee":"G. Sirvinskaite, J. Reisenbauer, and B. Morandi, “Deaminative coupling of benzylamines and arylboronic acids,” Chemical Science, vol. 14, no. 7. Royal Society of Chemistry, pp. 1709–1714, 2023.","short":"G. Sirvinskaite, J. Reisenbauer, B. Morandi, Chemical Science 14 (2023) 1709–1714.","apa":"Sirvinskaite, G., Reisenbauer, J., & Morandi, B. (2023). Deaminative coupling of benzylamines and arylboronic acids. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d2sc06055h","ama":"Sirvinskaite G, Reisenbauer J, Morandi B. Deaminative coupling of benzylamines and arylboronic acids. Chemical Science. 2023;14(7):1709-1714. doi:10.1039/d2sc06055h"},"abstract":[{"text":"A metal-free deaminative coupling of non-prefunctionalised benzylamines and arylboronic acids is reported. In this operationally simple reaction, a primary amine in benzylamine is converted into a good leaving group in situ using inexpensive and commercially available isoamyl nitrite as a nitrosating reagent. Lewis-acidic arylboronic acids are shown to replace mineral acids such as HCl or HBF4 that are conventionally used in the preparation of aryl diazonium salts. This unlocked the formation of the corresponding diarylmethanes by forging a new C–C bond in good yields.\r\n\r\n","lang":"eng"}],"oa_version":"Published Version","author":[{"full_name":"Sirvinskaite, Giedre","first_name":"Giedre","last_name":"Sirvinskaite"},{"first_name":"Julia","last_name":"Reisenbauer","full_name":"Reisenbauer, Julia","id":"51d862e9-36ee-11f0-86d3-8534c85a5496"},{"full_name":"Morandi, Bill","last_name":"Morandi","first_name":"Bill"}],"title":"Deaminative coupling of benzylamines and arylboronic acids","year":"2023","date_updated":"2025-12-16T11:17:41Z","type":"journal_article","publication_identifier":{"eissn":["2041-6539"],"issn":["2041-6520"]},"language":[{"iso":"eng"}],"extern":"1","article_type":"original","volume":14,"date_published":"2023-01-13T00:00:00Z","has_accepted_license":"1","doi":"10.1039/d2sc06055h","month":"01","scopus_import":"1"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","date_created":"2021-10-17T22:01:17Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":" 58","publication_status":"published","oa":1,"file":[{"content_type":"application/pdf","date_updated":"2023-10-04T09:18:59Z","access_level":"open_access","creator":"dernst","relation":"main_file","file_id":"14387","success":1,"date_created":"2023-10-04T09:18:59Z","file_size":806391,"checksum":"625526482be300ca7281c91c30d41725","file_name":"2023_PotentialAnalysis_DelloSchiavo.pdf"}],"page":"573-615","department":[{"_id":"JaMa"}],"publisher":"Springer Nature","status":"public","publication":"Potential Analysis","external_id":{"arxiv":["2003.01366"],"isi":["000704213400001"]},"quality_controlled":"1","ddc":["510"],"acknowledgement":"The author is grateful to Professors Sergio Albeverio and Andreas Eberle, and to Dr. Kohei Suzuki, for fruitful conversations on the subject of the present work, and for respectively pointing out the references [1, 13], and [3, 20]. Finally, he is especially grateful to an anonymous Reviewer for their very careful reading and their suggestions which improved the readability of the paper.","isi":1,"article_processing_charge":"Yes (via OA deal)","_id":"10145","oa_version":"Published Version","author":[{"id":"ECEBF480-9E4F-11EA-B557-B0823DDC885E","full_name":"Dello Schiavo, Lorenzo","last_name":"Dello Schiavo","first_name":"Lorenzo","orcid":"0000-0002-9881-6870"}],"citation":{"chicago":"Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications.” Potential Analysis. Springer Nature, 2023. https://doi.org/10.1007/s11118-021-09951-y.","ista":"Dello Schiavo L. 2023. Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. 58, 573–615.","ieee":"L. Dello Schiavo, “Ergodic decomposition of Dirichlet forms via direct integrals and applications,” Potential Analysis, vol. 58. Springer Nature, pp. 573–615, 2023.","mla":"Dello Schiavo, Lorenzo. “Ergodic Decomposition of Dirichlet Forms via Direct Integrals and Applications.” Potential Analysis, vol. 58, Springer Nature, 2023, pp. 573–615, doi:10.1007/s11118-021-09951-y.","short":"L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.","apa":"Dello Schiavo, L. (2023). Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. Springer Nature. https://doi.org/10.1007/s11118-021-09951-y","ama":"Dello Schiavo L. Ergodic decomposition of Dirichlet forms via direct integrals and applications. Potential Analysis. 2023;58:573-615. doi:10.1007/s11118-021-09951-y"},"abstract":[{"text":"We study direct integrals of quadratic and Dirichlet forms. We show that each quasi-regular Dirichlet space over a probability space admits a unique representation as a direct integral of irreducible Dirichlet spaces, quasi-regular for the same underlying topology. The same holds for each quasi-regular strongly local Dirichlet space over a metrizable Luzin σ-finite Radon measure space, and admitting carré du champ operator. In this case, the representation is only projectively unique.","lang":"eng"}],"date_updated":"2025-04-14T07:27:46Z","type":"journal_article","arxiv":1,"publication_identifier":{"issn":["0926-2601"],"eissn":["1572-929X"]},"title":"Ergodic decomposition of Dirichlet forms via direct integrals and applications","year":"2023","ec_funded":1,"volume":58,"date_published":"2023-03-01T00:00:00Z","corr_author":"1","has_accepted_license":"1","project":[{"name":"IST Austria Open Access Fund","_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854"},{"name":"Taming Complexity in Partial Differential Systems","grant_number":"F6504","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2"},{"call_identifier":"H2020","grant_number":"716117","_id":"256E75B8-B435-11E9-9278-68D0E5697425","name":"Optimal Transport and Stochastic Dynamics"}],"file_date_updated":"2023-10-04T09:18:59Z","language":[{"iso":"eng"}],"article_type":"original","scopus_import":"1","doi":"10.1007/s11118-021-09951-y","month":"03"},{"publication":"Stochastics and Partial Differential Equations: Analysis and Computations","status":"public","publisher":"Springer Nature","page":"1254–1378","department":[{"_id":"JuFi"}],"file":[{"creator":"dernst","relation":"main_file","file_id":"14052","content_type":"application/pdf","date_updated":"2023-08-14T11:51:04Z","access_level":"open_access","date_created":"2023-08-14T11:51:04Z","file_size":1635193,"checksum":"f83dcaecdbd3ace862c4ed97a20e8501","file_name":"2023_StochPartialDiffEquations_Clozeau.pdf","success":1}],"oa":1,"_id":"10173","article_processing_charge":"Yes (via OA deal)","isi":1,"acknowledgement":"I would like to thank my advisor Antoine Gloria for suggesting this problem to me, as well for many interesting discussions and suggestions.\r\nOpen access funding provided by Institute of Science and Technology (IST Austria).","ddc":["510"],"quality_controlled":"1","external_id":{"isi":["000799715600001"],"arxiv":["2102.07452"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"day":"01","date_created":"2021-10-23T10:50:22Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication_status":"published","intvolume":" 11","article_type":"original","language":[{"iso":"eng"}],"file_date_updated":"2023-08-14T11:51:04Z","has_accepted_license":"1","corr_author":"1","volume":11,"date_published":"2023-09-01T00:00:00Z","month":"09","doi":"10.1007/s40072-022-00254-w","scopus_import":"1","abstract":[{"text":"We study the large scale behavior of elliptic systems with stationary random coefficient that have only slowly decaying correlations. To this aim we analyze the so-called corrector equation, a degenerate elliptic equation posed in the probability space. In this contribution, we use a parabolic approach and optimally quantify the time decay of the semigroup. For the theoretical point of view, we prove an optimal decay estimate of the gradient and flux of the corrector when spatially averaged over a scale R larger than 1. For the numerical point of view, our results provide convenient tools for the analysis of various numerical methods.","lang":"eng"}],"citation":{"ista":"Clozeau N. 2023. Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. 11, 1254–1378.","chicago":"Clozeau, Nicolas. “Optimal Decay of the Parabolic Semigroup in Stochastic Homogenization for Correlated Coefficient Fields.” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2023. https://doi.org/10.1007/s40072-022-00254-w.","ieee":"N. Clozeau, “Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields,” Stochastics and Partial Differential Equations: Analysis and Computations, vol. 11. Springer Nature, pp. 1254–1378, 2023.","mla":"Clozeau, Nicolas. “Optimal Decay of the Parabolic Semigroup in Stochastic Homogenization for Correlated Coefficient Fields.” Stochastics and Partial Differential Equations: Analysis and Computations, vol. 11, Springer Nature, 2023, pp. 1254–1378, doi:10.1007/s40072-022-00254-w.","short":"N. Clozeau, Stochastics and Partial Differential Equations: Analysis and Computations 11 (2023) 1254–1378.","apa":"Clozeau, N. (2023). Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature. https://doi.org/10.1007/s40072-022-00254-w","ama":"Clozeau N. Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields. Stochastics and Partial Differential Equations: Analysis and Computations. 2023;11:1254–1378. doi:10.1007/s40072-022-00254-w"},"author":[{"full_name":"Clozeau, Nicolas","id":"fea1b376-906f-11eb-847d-b2c0cf46455b","first_name":"Nicolas","last_name":"Clozeau"}],"oa_version":"Published Version","year":"2023","title":"Optimal decay of the parabolic semigroup in stochastic homogenization for correlated coefficient fields","publication_identifier":{"issn":["2194-0401"]},"type":"journal_article","arxiv":1,"date_updated":"2024-10-09T21:01:04Z"},{"month":"07","doi":"10.1007/s00205-023-01895-4","scopus_import":"1","article_type":"original","extern":"1","language":[{"iso":"eng"}],"date_published":"2023-07-16T00:00:00Z","volume":247,"year":"2023","title":"Quantitative nonlinear homogenization: Control of oscillations","publication_identifier":{"issn":["0003-9527"],"eissn":["1432-0673"]},"type":"journal_article","arxiv":1,"date_updated":"2025-01-20T14:44:10Z","abstract":[{"text":"Quantitative stochastic homogenization of linear elliptic operators is by now well-understood. In this contribution we move forward to the nonlinear setting of monotone operators with p-growth. This first work is dedicated to a quantitative two-scale expansion result. Fluctuations will be addressed in companion articles. By treating the range of exponents 2≤p<∞ in dimensions d≤3, we are able to consider genuinely nonlinear elliptic equations and systems such as −∇⋅A(x)(1+|∇u|p−2)∇u=f (with A random, non-necessarily symmetric) for the first time. When going from p=2 to p>2, the main difficulty is to analyze the associated linearized operator, whose coefficients are degenerate, unbounded, and depend on the random input A via the solution of a nonlinear equation. One of our main achievements is the control of this intricate nonlinear dependence, leading to annealed Meyers' estimates for the linearized operator, which are key to the quantitative two-scale expansion result.","lang":"eng"}],"citation":{"ama":"Clozeau N, Gloria A. Quantitative nonlinear homogenization: Control of oscillations. Archive for Rational Mechanics and Analysis . 247(4). doi:10.1007/s00205-023-01895-4","apa":"Clozeau, N., & Gloria, A. (n.d.). Quantitative nonlinear homogenization: Control of oscillations. Archive for Rational Mechanics and Analysis . Springer Nature. https://doi.org/10.1007/s00205-023-01895-4","short":"N. Clozeau, A. Gloria, Archive for Rational Mechanics and Analysis 247 (n.d.).","chicago":"Clozeau, Nicolas, and Antoine Gloria. “Quantitative Nonlinear Homogenization: Control of Oscillations.” Archive for Rational Mechanics and Analysis . Springer Nature, n.d. https://doi.org/10.1007/s00205-023-01895-4.","ista":"Clozeau N, Gloria A. Quantitative nonlinear homogenization: Control of oscillations. Archive for Rational Mechanics and Analysis . 247(4), 67.","mla":"Clozeau, Nicolas, and Antoine Gloria. “Quantitative Nonlinear Homogenization: Control of Oscillations.” Archive for Rational Mechanics and Analysis , vol. 247, no. 4, 67, Springer Nature, doi:10.1007/s00205-023-01895-4.","ieee":"N. Clozeau and A. Gloria, “Quantitative nonlinear homogenization: Control of oscillations,” Archive for Rational Mechanics and Analysis , vol. 247, no. 4. Springer Nature."},"article_number":"67","author":[{"id":"fea1b376-906f-11eb-847d-b2c0cf46455b","full_name":"Clozeau, Nicolas","last_name":"Clozeau","first_name":"Nicolas"},{"full_name":"Gloria, Antoine","last_name":"Gloria","first_name":"Antoine"}],"oa_version":"Preprint","OA_type":"green","_id":"10174","article_processing_charge":"No","acknowledgement":"The authors warmly thank Mitia Duerinckx for discussions on annealed estimates, and Mathias Schäffner for pointing out that the conditions of [14] apply to ̄a in the setting of Theorem 2.2 and for discussions on regularity theory for operators with non-standard growth conditions. The authors received financial support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant Agreement n◦ 864066).","quality_controlled":"1","external_id":{"arxiv":["2104.04263"]},"publication":"Archive for Rational Mechanics and Analysis ","status":"public","publisher":"Springer Nature","oa":1,"publication_status":"draft","intvolume":" 247","issue":"4","day":"16","date_created":"2021-10-23T10:50:55Z","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2104.04263"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2021-12-05T23:01:41Z","day":"01","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"issue":"5","intvolume":" 76","publication_status":"published","file":[{"success":1,"file_size":803440,"date_created":"2023-10-04T09:21:48Z","checksum":"8346bc2642afb4ccb7f38979f41df5d9","file_name":"2023_CommPureMathematics_Cipolloni.pdf","date_updated":"2023-10-04T09:21:48Z","content_type":"application/pdf","access_level":"open_access","creator":"dernst","relation":"main_file","file_id":"14388"}],"oa":1,"publisher":"Wiley","department":[{"_id":"LaEr"}],"page":"946-1034","publication":"Communications on Pure and Applied Mathematics","status":"public","ddc":["510"],"quality_controlled":"1","external_id":{"isi":["000724652500001"],"arxiv":["1912.04100"]},"acknowledgement":"L.E. would like to thank Nathanaël Berestycki and D.S.would like to thank Nina Holden for valuable discussions on the Gaussian freefield.G.C. and L.E. are partially supported by ERC Advanced Grant No. 338804.G.C. received funding from the European Union’s Horizon 2020 research and in-novation programme under the Marie Skłodowska-Curie Grant Agreement No.665385. D.S. is supported by Dr. Max Rössler, the Walter Haefner Foundation, and the ETH Zürich Foundation.","article_processing_charge":"Yes (via OA deal)","_id":"10405","isi":1,"oa_version":"Published Version","author":[{"full_name":"Cipolloni, Giorgio","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","first_name":"Giorgio","orcid":"0000-0002-4901-7992","last_name":"Cipolloni"},{"first_name":"László","orcid":"0000-0001-5366-9603","last_name":"Erdös","full_name":"Erdös, László","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Schröder, Dominik J","id":"408ED176-F248-11E8-B48F-1D18A9856A87","first_name":"Dominik J","orcid":"0000-0002-2904-1856","last_name":"Schröder"}],"abstract":[{"text":"We consider large non-Hermitian random matrices X with complex, independent, identically distributed centred entries and show that the linear statistics of their eigenvalues are asymptotically Gaussian for test functions having 2+ϵ derivatives. Previously this result was known only for a few special cases; either the test functions were required to be analytic [72], or the distribution of the matrix elements needed to be Gaussian [73], or at least match the Gaussian up to the first four moments [82, 56]. We find the exact dependence of the limiting variance on the fourth cumulant that was not known before. The proof relies on two novel ingredients: (i) a local law for a product of two resolvents of the Hermitisation of X with different spectral parameters and (ii) a coupling of several weakly dependent Dyson Brownian motions. These methods are also the key inputs for our analogous results on the linear eigenvalue statistics of real matrices X that are presented in the companion paper [32]. ","lang":"eng"}],"citation":{"short":"G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.","mla":"Cipolloni, Giorgio, et al. “Central Limit Theorem for Linear Eigenvalue Statistics of Non-Hermitian Random Matrices.” Communications on Pure and Applied Mathematics, vol. 76, no. 5, Wiley, 2023, pp. 946–1034, doi:10.1002/cpa.22028.","ieee":"G. Cipolloni, L. Erdös, and D. J. Schröder, “Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices,” Communications on Pure and Applied Mathematics, vol. 76, no. 5. Wiley, pp. 946–1034, 2023.","chicago":"Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Central Limit Theorem for Linear Eigenvalue Statistics of Non-Hermitian Random Matrices.” Communications on Pure and Applied Mathematics. Wiley, 2023. https://doi.org/10.1002/cpa.22028.","ista":"Cipolloni G, Erdös L, Schröder DJ. 2023. Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 76(5), 946–1034.","ama":"Cipolloni G, Erdös L, Schröder DJ. Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. 2023;76(5):946-1034. doi:10.1002/cpa.22028","apa":"Cipolloni, G., Erdös, L., & Schröder, D. J. (2023). Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.22028"},"date_updated":"2025-03-31T16:00:54Z","publication_identifier":{"eissn":["1097-0312"],"issn":["0010-3640"]},"type":"journal_article","arxiv":1,"title":"Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices","year":"2023","volume":76,"date_published":"2023-05-01T00:00:00Z","ec_funded":1,"has_accepted_license":"1","file_date_updated":"2023-10-04T09:21:48Z","project":[{"call_identifier":"FP7","grant_number":"338804","_id":"258DCDE6-B435-11E9-9278-68D0E5697425","name":"Random matrices, universality and disordered quantum systems"},{"call_identifier":"H2020","name":"International IST Doctoral Program","grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"corr_author":"1","language":[{"iso":"eng"}],"article_type":"original","scopus_import":"1","month":"05","doi":"10.1002/cpa.22028"},{"article_type":"original","language":[{"iso":"eng"}],"has_accepted_license":"1","file_date_updated":"2023-06-19T07:33:53Z","date_published":"2023-06-07T00:00:00Z","volume":33,"month":"06","doi":"10.1007/s00332-023-09926-w","scopus_import":"1","abstract":[{"text":"The global existence of renormalised solutions and convergence to equilibrium for reaction-diffusion systems with non-linear diffusion are investigated. The system is assumed to have quasi-positive non-linearities and to satisfy an entropy inequality. The difficulties in establishing global renormalised solutions caused by possibly degenerate diffusion are overcome by introducing a new class of weighted truncation functions. By means of the obtained global renormalised solutions, we study the large-time behaviour of complex balanced systems arising from chemical reaction network theory with non-linear diffusion. When the reaction network does not admit boundary equilibria, the complex balanced equilibrium is shown, by using the entropy method, to exponentially attract all renormalised solutions in the same compatibility class. This convergence extends even to a range of non-linear diffusion, where global existence is an open problem, yet we are able to show that solutions to approximate systems converge exponentially to equilibrium uniformly in the regularisation parameter.","lang":"eng"}],"article_number":"66","citation":{"apa":"Fellner, K., Fischer, J. L., Kniely, M., & Tang, B. Q. (2023). Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. Springer Nature. https://doi.org/10.1007/s00332-023-09926-w","ama":"Fellner K, Fischer JL, Kniely M, Tang BQ. Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. 2023;33. doi:10.1007/s00332-023-09926-w","chicago":"Fellner, Klemens, Julian L Fischer, Michael Kniely, and Bao Quoc Tang. “Global Renormalised Solutions and Equilibration of Reaction-Diffusion Systems with Non-Linear Diffusion.” Journal of Nonlinear Science. Springer Nature, 2023. https://doi.org/10.1007/s00332-023-09926-w.","ista":"Fellner K, Fischer JL, Kniely M, Tang BQ. 2023. Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion. Journal of Nonlinear Science. 33, 66.","ieee":"K. Fellner, J. L. Fischer, M. Kniely, and B. Q. Tang, “Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion,” Journal of Nonlinear Science, vol. 33. Springer Nature, 2023.","mla":"Fellner, Klemens, et al. “Global Renormalised Solutions and Equilibration of Reaction-Diffusion Systems with Non-Linear Diffusion.” Journal of Nonlinear Science, vol. 33, 66, Springer Nature, 2023, doi:10.1007/s00332-023-09926-w.","short":"K. Fellner, J.L. Fischer, M. Kniely, B.Q. Tang, Journal of Nonlinear Science 33 (2023)."},"author":[{"last_name":"Fellner","first_name":"Klemens","full_name":"Fellner, Klemens"},{"full_name":"Fischer, Julian L","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0479-558X","first_name":"Julian L","last_name":"Fischer"},{"full_name":"Kniely, Michael","id":"2CA2C08C-F248-11E8-B48F-1D18A9856A87","first_name":"Michael","orcid":"0000-0001-5645-4333","last_name":"Kniely"},{"last_name":"Tang","first_name":"Bao Quoc","full_name":"Tang, Bao Quoc"}],"oa_version":"Published Version","year":"2023","title":"Global renormalised solutions and equilibration of reaction-diffusion systems with non-linear diffusion","publication_identifier":{"eissn":["1432-1467"],"issn":["0938-8974"]},"arxiv":1,"type":"journal_article","date_updated":"2023-08-01T14:40:33Z","publication":"Journal of Nonlinear Science","status":"public","publisher":"Springer Nature","department":[{"_id":"JuFi"}],"oa":1,"file":[{"success":1,"date_created":"2023-06-19T07:33:53Z","file_size":742315,"checksum":"f3f0f0886098e31c81116cff8183750b","file_name":"2023_JourNonlinearScience_Fellner.pdf","content_type":"application/pdf","date_updated":"2023-06-19T07:33:53Z","access_level":"open_access","creator":"dernst","relation":"main_file","file_id":"13149"}],"_id":"10550","article_processing_charge":"No","isi":1,"acknowledgement":"We thank the referees for their valuable comments and suggestions. A major part of this work was carried out when B. Q. Tang visited the Institute of Science and Technology Austria (ISTA). The hospitality of ISTA is greatly acknowledged. This work was partially supported by NAWI Graz.\r\nOpen access funding provided by University of Graz.","ddc":["510"],"quality_controlled":"1","external_id":{"isi":["001002343400002"],"arxiv":["2109.12019"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"date_created":"2021-12-16T12:15:35Z","day":"07","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","publication_status":"published","intvolume":" 33"},{"doi":"10.1007/s00205-023-01903-7","month":"08","scopus_import":"1","article_type":"original","language":[{"iso":"eng"}],"corr_author":"1","project":[{"call_identifier":"H2020","name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411"},{"_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","grant_number":"F6504","name":"Taming Complexity in Partial Differential Systems"}],"file_date_updated":"2024-01-30T12:09:34Z","has_accepted_license":"1","ec_funded":1,"date_published":"2023-08-04T00:00:00Z","volume":247,"year":"2023","title":"The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles","type":"journal_article","arxiv":1,"publication_identifier":{"eissn":["1432-0673"],"issn":["0003-9527"]},"date_updated":"2025-04-23T13:06:01Z","citation":{"ama":"Cornalba F, Fischer JL. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 2023;247(5). doi:10.1007/s00205-023-01903-7","apa":"Cornalba, F., & Fischer, J. L. (2023). The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. Springer Nature. https://doi.org/10.1007/s00205-023-01903-7","short":"F. Cornalba, J.L. Fischer, Archive for Rational Mechanics and Analysis 247 (2023).","ista":"Cornalba F, Fischer JL. 2023. The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles. Archive for Rational Mechanics and Analysis. 247(5), 76.","chicago":"Cornalba, Federico, and Julian L Fischer. “The Dean-Kawasaki Equation and the Structure of Density Fluctuations in Systems of Diffusing Particles.” Archive for Rational Mechanics and Analysis. Springer Nature, 2023. https://doi.org/10.1007/s00205-023-01903-7.","mla":"Cornalba, Federico, and Julian L. Fischer. “The Dean-Kawasaki Equation and the Structure of Density Fluctuations in Systems of Diffusing Particles.” Archive for Rational Mechanics and Analysis, vol. 247, no. 5, 76, Springer Nature, 2023, doi:10.1007/s00205-023-01903-7.","ieee":"F. Cornalba and J. L. Fischer, “The Dean-Kawasaki equation and the structure of density fluctuations in systems of diffusing particles,” Archive for Rational Mechanics and Analysis, vol. 247, no. 5. Springer Nature, 2023."},"article_number":"76","abstract":[{"lang":"eng","text":"The Dean–Kawasaki equation—a strongly singular SPDE—is a basic equation of fluctuating hydrodynamics; it has been proposed in the physics literature to describe the fluctuations of the density of N independent diffusing particles in the regime of large particle numbers N≫1. The singular nature of the Dean–Kawasaki equation presents a substantial challenge for both its analysis and its rigorous mathematical justification. Besides being non-renormalisable by the theory of regularity structures by Hairer et al., it has recently been shown to not even admit nontrivial martingale solutions. In the present work, we give a rigorous and fully quantitative justification of the Dean–Kawasaki equation by considering the natural regularisation provided by standard numerical discretisations: We show that structure-preserving discretisations of the Dean–Kawasaki equation may approximate the density fluctuations of N non-interacting diffusing particles to arbitrary order in N−1 (in suitable weak metrics). In other words, the Dean–Kawasaki equation may be interpreted as a “recipe” for accurate and efficient numerical simulations of the density fluctuations of independent diffusing particles."}],"author":[{"last_name":"Cornalba","orcid":"0000-0002-6269-5149","first_name":"Federico","id":"2CEB641C-A400-11E9-A717-D712E6697425","full_name":"Cornalba, Federico"},{"id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L","last_name":"Fischer","first_name":"Julian L","orcid":"0000-0002-0479-558X"}],"oa_version":"Published Version","isi":1,"article_processing_charge":"Yes (via OA deal)","_id":"10551","acknowledgement":"We thank the anonymous referee for his/her careful reading of the manuscript and valuable suggestions. FC gratefully acknowledges funding from the Austrian Science Fund (FWF) through the project F65, and from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411.\r\nOpen access funding provided by Austrian Science Fund (FWF).","quality_controlled":"1","external_id":{"arxiv":["2109.06500"],"isi":["001043086800001"],"pmid":["37547904"]},"ddc":["510"],"status":"public","publication":"Archive for Rational Mechanics and Analysis","department":[{"_id":"JuFi"}],"publisher":"Springer Nature","file":[{"date_updated":"2024-01-30T12:09:34Z","content_type":"application/pdf","access_level":"open_access","file_id":"14904","relation":"main_file","creator":"dernst","success":1,"checksum":"4529eeff170b6745a461d397ee611b5a","date_created":"2024-01-30T12:09:34Z","file_size":1851185,"file_name":"2023_ArchiveRationalMech_Cornalba.pdf"}],"oa":1,"publication_status":"published","intvolume":" 247","issue":"5","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"day":"04","date_created":"2021-12-16T12:16:03Z","pmid":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"oa":1,"file":[{"success":1,"file_name":"2022_DynamicGamesApplic_Graham.pdf","date_created":"2022-02-21T08:54:17Z","file_size":1890512,"checksum":"cd53b07e96f9030ddb348f305e5b58c7","access_level":"open_access","date_updated":"2022-02-21T08:54:17Z","content_type":"application/pdf","creator":"dernst","relation":"main_file","file_id":"10781"}],"publisher":"Springer Nature","page":"231-264","department":[{"_id":"KrCh"}],"publication":"Dynamic Games and Applications","status":"public","ddc":["000"],"quality_controlled":"1","external_id":{"isi":["000753777100001"]},"acknowledgement":"The authors would like to acknowledge stimulating email discussions with Dr Wayne Lobb of W.A. Lobb LLC on the topic of evolutionary games. We also thank Dr Thomas Taimre for his input to the material in Sect. 3.\r\nThe authors would like to acknowledge partial support from the Australian Research Council under the Discovery grant DP180101602 and support by the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement #754411.","_id":"10770","article_processing_charge":"No","isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","date_created":"2022-02-20T23:01:32Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png"},"intvolume":" 13","publication_status":"published","volume":13,"date_published":"2023-03-01T00:00:00Z","ec_funded":1,"project":[{"call_identifier":"H2020","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","name":"ISTplus - Postdoctoral Fellowships"}],"has_accepted_license":"1","file_date_updated":"2022-02-21T08:54:17Z","language":[{"iso":"eng"}],"article_type":"original","scopus_import":"1","month":"03","doi":"10.1007/s13235-022-00425-3","oa_version":"Published Version","author":[{"full_name":"Graham, Thomas","last_name":"Graham","first_name":"Thomas"},{"id":"4E21749C-F248-11E8-B48F-1D18A9856A87","full_name":"Kleshnina, Maria","last_name":"Kleshnina","first_name":"Maria"},{"full_name":"Filar, Jerzy A.","first_name":"Jerzy A.","last_name":"Filar"}],"abstract":[{"text":"Mathematical models often aim to describe a complicated mechanism in a cohesive and simple manner. However, reaching perfect balance between being simple enough or overly simplistic is a challenging task. Frequently, game-theoretic models have an underlying assumption that players, whenever they choose to execute a specific action, do so perfectly. In fact, it is rare that action execution perfectly coincides with intentions of individuals, giving rise to behavioural mistakes. The concept of incompetence of players was suggested to address this issue in game-theoretic settings. Under the assumption of incompetence, players have non-zero probabilities of executing a different strategy from the one they chose, leading to stochastic outcomes of the interactions. In this article, we survey results related to the concept of incompetence in classic as well as evolutionary game theory and provide several new results. We also suggest future extensions of the model and argue why it is important to take into account behavioural mistakes when analysing interactions among players in both economic and biological settings.","lang":"eng"}],"citation":{"ama":"Graham T, Kleshnina M, Filar JA. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 2023;13:231-264. doi:10.1007/s13235-022-00425-3","apa":"Graham, T., Kleshnina, M., & Filar, J. A. (2023). Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. Springer Nature. https://doi.org/10.1007/s13235-022-00425-3","short":"T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.","mla":"Graham, Thomas, et al. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications, vol. 13, Springer Nature, 2023, pp. 231–64, doi:10.1007/s13235-022-00425-3.","ieee":"T. Graham, M. Kleshnina, and J. A. Filar, “Where do mistakes lead? A survey of games with incompetent players,” Dynamic Games and Applications, vol. 13. Springer Nature, pp. 231–264, 2023.","chicago":"Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.” Dynamic Games and Applications. Springer Nature, 2023. https://doi.org/10.1007/s13235-022-00425-3.","ista":"Graham T, Kleshnina M, Filar JA. 2023. Where do mistakes lead? A survey of games with incompetent players. Dynamic Games and Applications. 13, 231–264."},"date_updated":"2025-04-14T07:43:48Z","publication_identifier":{"issn":["2153-0785"],"eissn":["2153-0793"]},"type":"journal_article","title":"Where do mistakes lead? A survey of games with incompetent players","year":"2023"},{"date_updated":"2023-08-14T11:26:34Z","arxiv":1,"type":"journal_article","publication_identifier":{"eissn":["1565-8511"]},"title":"Highly irregular separated nets","year":"2023","oa_version":"Submitted Version","author":[{"last_name":"Dymond","first_name":"Michael","full_name":"Dymond, Michael"},{"full_name":"Kaluza, Vojtech","id":"21AE5134-9EAC-11EA-BEA2-D7BD3DDC885E","orcid":"0000-0002-2512-8698","first_name":"Vojtech","last_name":"Kaluza"}],"citation":{"short":"M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.","ieee":"M. Dymond and V. Kaluza, “Highly irregular separated nets,” Israel Journal of Mathematics, vol. 253. Springer Nature, pp. 501–554, 2023.","mla":"Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics, vol. 253, Springer Nature, 2023, pp. 501–54, doi:10.1007/s11856-022-2448-6.","ista":"Dymond M, Kaluza V. 2023. Highly irregular separated nets. Israel Journal of Mathematics. 253, 501–554.","chicago":"Dymond, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics. Springer Nature, 2023. https://doi.org/10.1007/s11856-022-2448-6.","ama":"Dymond M, Kaluza V. Highly irregular separated nets. Israel Journal of Mathematics. 2023;253:501-554. doi:10.1007/s11856-022-2448-6","apa":"Dymond, M., & Kaluza, V. (2023). Highly irregular separated nets. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-022-2448-6"},"abstract":[{"lang":"eng","text":"In 1998 Burago and Kleiner and (independently) McMullen gave examples of separated nets in Euclidean space which are non-bilipschitz equivalent to the integer lattice. We study weaker notions of equivalence of separated nets and demonstrate that such notions also give rise to distinct equivalence classes. Put differently, we find occurrences of particularly strong divergence of separated nets from the integer lattice. Our approach generalises that of Burago and Kleiner and McMullen which takes place largely in a continuous setting. Existence of irregular separated nets is verified via the existence of non-realisable density functions ρ:[0,1]d→(0,∞). In the present work we obtain stronger types of non-realisable densities."}],"scopus_import":"1","doi":"10.1007/s11856-022-2448-6","month":"03","volume":253,"date_published":"2023-03-01T00:00:00Z","has_accepted_license":"1","file_date_updated":"2021-07-14T07:41:50Z","language":[{"iso":"eng"}],"article_type":"original","intvolume":" 253","publication_status":"published","keyword":["Lipschitz","bilipschitz","bounded displacement","modulus of continuity","separated net","non-realisable density","Burago--Kleiner construction"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","date_created":"2021-07-14T07:01:28Z","quality_controlled":"1","external_id":{"arxiv":["1903.05923"],"isi":["000904950300003"]},"ddc":["515","516"],"acknowledgement":"This work was done while both authors were employed at the University of Innsbruck and enjoyed the full support of Austrian Science Fund (FWF): P 30902-N35.","isi":1,"article_processing_charge":"No","_id":"9652","oa":1,"file":[{"content_type":"application/pdf","date_updated":"2021-07-14T07:41:50Z","access_level":"open_access","file_id":"9653","relation":"main_file","creator":"vkaluza","checksum":"6fa0a3207dd1d6467c309fd1bcc867d1","file_size":900422,"date_created":"2021-07-14T07:41:50Z","file_name":"separated_nets.pdf"}],"page":"501-554","department":[{"_id":"UlWa"}],"publisher":"Springer Nature","status":"public","publication":"Israel Journal of Mathematics"},{"external_id":{"arxiv":["2308.00516"]},"_id":"17351","article_processing_charge":"No","doi":"10.48550/arXiv.2308.00516","month":"08","department":[{"_id":"JaMa"}],"corr_author":"1","date_published":"2023-08-02T00:00:00Z","oa":1,"OA_place":"repository","publication":"arXiv","status":"public","language":[{"iso":"eng"}],"arxiv":1,"type":"preprint","date_updated":"2026-04-07T13:00:02Z","publication_status":"draft","year":"2023","related_material":{"record":[{"relation":"later_version","status":"public","id":"20040"},{"relation":"dissertation_contains","status":"public","id":"17336"}]},"title":"Contractive coupling rates and curvature lower bounds for Markov chains","author":[{"full_name":"Pedrotti, Francesco","id":"d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c","first_name":"Francesco","last_name":"Pedrotti"}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2308.00516","open_access":"1"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"Preprint","abstract":[{"text":"Contractive coupling rates have been recently introduced by Conforti as a\r\ntool to establish convex Sobolev inequalities (including modified log-Sobolev\r\nand Poincar\\'{e} inequality) for some classes of Markov chains. In this work,\r\nwe show how contractive coupling rates can also be used to prove stronger\r\ninequalities, in the form of curvature lower bounds for Markov chains and\r\ngeodesic convexity of entropic functionals. We illustrate this in several\r\nexamples discussed by Conforti, where in particular, after appropriately\r\nchoosing a parameter function, we establish positive curvature in the entropic\r\nand (discrete) Bakry--\\'{E}mery sense. In addition, we recall and give\r\nstraightforward generalizations of some notions of coarse Ricci curvature, and\r\nwe discuss some of their properties and relations with the concepts of\r\ncouplings and coupling rates: as an application, we show exponential\r\ncontraction of the $p$-Wasserstein distance for the heat flow in the\r\naforementioned examples.","lang":"eng"}],"article_number":"2308.00516","citation":{"apa":"Pedrotti, F. (n.d.). Contractive coupling rates and curvature lower bounds for Markov chains. arXiv. https://doi.org/10.48550/arXiv.2308.00516","ama":"Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov chains. arXiv. doi:10.48550/arXiv.2308.00516","ieee":"F. Pedrotti, “Contractive coupling rates and curvature lower bounds for Markov chains,” arXiv. .","mla":"Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds for Markov Chains.” ArXiv, 2308.00516, doi:10.48550/arXiv.2308.00516.","ista":"Pedrotti F. Contractive coupling rates and curvature lower bounds for Markov chains. arXiv, 2308.00516.","chicago":"Pedrotti, Francesco. “Contractive Coupling Rates and Curvature Lower Bounds for Markov Chains.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2308.00516.","short":"F. Pedrotti, ArXiv (n.d.)."},"date_created":"2024-07-31T08:02:16Z","day":"02"},{"oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","author":[{"last_name":"Becker","first_name":"Quentin","full_name":"Becker, Quentin"},{"full_name":"Suzuki, Seiichi","last_name":"Suzuki","first_name":"Seiichi"},{"full_name":"Ren, Yingying","id":"93d68d10-3540-11ef-a265-f748a50dba3d","first_name":"Yingying","last_name":"Ren"},{"first_name":"Davide","last_name":"Pellis","full_name":"Pellis, Davide"},{"last_name":"Panetta","first_name":"Julian","full_name":"Panetta, Julian"},{"first_name":"Mark","last_name":"Pauly","full_name":"Pauly, Mark"}],"date_created":"2024-08-05T06:15:06Z","day":"05","issue":"6","abstract":[{"lang":"eng","text":"We introduce a computational pipeline for simulating and designing C-shells, a new class of planar-to-spatial deployable linkage structures. A C-shell is composed of curved flexible beams connected at rotational joints that can be assembled in a stress-free planar configuration. When actuated, the elastic beams deform and the assembly deploys towards the target 3D shape.\r\nWe propose two alternative computational design approaches for C-shells: (i) Forward exploration simulates the deployed shape from a planar beam layout provided by the user. Once a satisfactory overall shape is found, a subsequent design optimization adapts the beam geometry to reduce the elastic energy of the linkage while preserving the target shape. (ii) Inverse design is facilitated by a new geometric flattening method that takes a design surface as input and computes an initial layout of piecewise straight linkage beams. Our design optimization algorithm then calculates the smooth curved beams to best reproduce the target shape at minimal elastic energy.\r\nWe find that C-shells offer a rich space for design and show several studies that highlight new shape topologies that cannot be achieved with existing deployable linkage structures."}],"article_number":"173","citation":{"mla":"Becker, Quentin, et al. “C-Shells: Deployable Gridshells with Curved Beams.” ACM Transactions on Graphics, vol. 42, no. 6, 173, Association for Computing Machinery, 2023, doi:10.1145/3618366.","ieee":"Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, and M. Pauly, “C-shells: Deployable gridshells with curved beams,” ACM Transactions on Graphics, vol. 42, no. 6. Association for Computing Machinery, 2023.","ista":"Becker Q, Suzuki S, Ren Y, Pellis D, Panetta J, Pauly M. 2023. C-shells: Deployable gridshells with curved beams. ACM Transactions on Graphics. 42(6), 173.","chicago":"Becker, Quentin, Seiichi Suzuki, Yingying Ren, Davide Pellis, Julian Panetta, and Mark Pauly. “C-Shells: Deployable Gridshells with Curved Beams.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3618366.","short":"Q. Becker, S. Suzuki, Y. Ren, D. Pellis, J. Panetta, M. Pauly, ACM Transactions on Graphics 42 (2023).","apa":"Becker, Q., Suzuki, S., Ren, Y., Pellis, D., Panetta, J., & Pauly, M. (2023). C-shells: Deployable gridshells with curved beams. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3618366","ama":"Becker Q, Suzuki S, Ren Y, Pellis D, Panetta J, Pauly M. C-shells: Deployable gridshells with curved beams. ACM Transactions on Graphics. 2023;42(6). doi:10.1145/3618366"},"date_updated":"2024-08-12T09:56:32Z","publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"type":"journal_article","intvolume":" 42","title":"C-shells: Deployable gridshells with curved beams","publication_status":"published","year":"2023","volume":42,"date_published":"2023-12-05T00:00:00Z","publisher":"Association for Computing Machinery","extern":"1","publication":"ACM Transactions on Graphics","status":"public","language":[{"iso":"eng"}],"article_type":"original","quality_controlled":"1","scopus_import":"1","_id":"17379","doi":"10.1145/3618366","article_processing_charge":"No","month":"12"},{"oa_version":"Published Version","author":[{"last_name":"Suzuki","first_name":"Seiichi","full_name":"Suzuki, Seiichi"},{"first_name":"Alison","last_name":"Martin","full_name":"Martin, Alison"},{"last_name":"Ren","first_name":"Yingying","id":"93d68d10-3540-11ef-a265-f748a50dba3d","full_name":"Ren, Yingying"},{"first_name":"Tzu-Ying","last_name":"Chen","full_name":"Chen, Tzu-Ying"},{"first_name":"Stefana","last_name":"Parascho","full_name":"Parascho, Stefana"},{"full_name":"Pauly, Mark","last_name":"Pauly","first_name":"Mark"}],"editor":[{"first_name":"Kathrin","last_name":"Dörfler","full_name":"Dörfler, Kathrin"},{"full_name":"Knippers, Jan","first_name":"Jan","last_name":"Knippers"},{"first_name":"Achim","last_name":"Menges","full_name":"Menges, Achim"},{"first_name":"Stefana","last_name":"Parascho","full_name":"Parascho, Stefana"},{"first_name":"Helmut","last_name":"Pottmann","full_name":"Pottmann, Helmut"},{"full_name":"Wortmann, Thomas","first_name":"Thomas","last_name":"Wortmann"}],"abstract":[{"lang":"eng","text":"Deployable gridshells are a class of planar-to-spatial structures that achievea 3D curved geometry by inducing bending on a flat grid of elastic beams. However, theslender nature of these beams often conflicts with the structure’s load-bearing capacity.To address this issue, multiple layers are typically stacked to enhance out-of-planestiffness and prevent stability issues. The primary challenge then lies in deploying suchmulti-layered systems globally, as it requires significant shaping forces for actuation.This paper presents an alternative design approach that involves strategically connect-ing compact-to-volumetric gridshell components using weaving principles to shape athick segmented shell. This innovative approach allows for an incremental construc-tion process based entirely on deployable modules with volumetric configurations thatlocally provide the necessary structural depth for the entire system. To demonstrate thisprinciple, we present the realization of BamX, a research pavilion constructed usingdeployable cylindrical components made from raw bamboo slats. These componentsare interconnected at carefully optimized interlocking woven nodes, resulting in abending-active structural frame that is both strong and exceptionally lightweight. Todetermine the optimal topology and geometry of the pavilion, we employ an integrativecomputational approach that leverages advanced numerical optimization techniques.Our method incorporates a physics-based simulation of the bending and twisting be-havior of the bamboo ribbons. By finding the ideal locations for ribbon crossings, weensure that all external and internal forces are in global equilibrium while minimizingthe mechanical stress experienced by each ribbon. BamX exemplifies how a symbiosisof refined weaving craft and advanced computational modeling enables fascinatingnew opportunities for rethinking deployability in architecture."}],"citation":{"apa":"Suzuki, S., Martin, A., Ren, Y., Chen, T.-Y., Parascho, S., & Pauly, M. (2023). BamX: Rethinking Deployability in Architecture through Weaving. In K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, & T. Wortmann (Eds.), Advances in Architectural Geometry 2023. De Gruyter. https://doi.org/10.1515/9783111162683-016","ama":"Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. BamX: Rethinking Deployability in Architecture through Weaving. In: Dörfler K, Knippers J, Menges A, Parascho S, Pottmann H, Wortmann T, eds. Advances in Architectural Geometry 2023. De Gruyter; 2023. doi:10.1515/9783111162683-016","ista":"Suzuki S, Martin A, Ren Y, Chen T-Y, Parascho S, Pauly M. 2023.BamX: Rethinking Deployability in Architecture through Weaving. In: Advances in Architectural Geometry 2023. De Gruyter STEM, .","chicago":"Suzuki, Seiichi, Alison Martin, Yingying Ren, Tzu-Ying Chen, Stefana Parascho, and Mark Pauly. “BamX: Rethinking Deployability in Architecture through Weaving.” In Advances in Architectural Geometry 2023, edited by Kathrin Dörfler, Jan Knippers, Achim Menges, Stefana Parascho, Helmut Pottmann, and Thomas Wortmann. De Gruyter, 2023. https://doi.org/10.1515/9783111162683-016.","mla":"Suzuki, Seiichi, et al. “BamX: Rethinking Deployability in Architecture through Weaving.” Advances in Architectural Geometry 2023, edited by Kathrin Dörfler et al., De Gruyter, 2023, doi:10.1515/9783111162683-016.","ieee":"S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, and M. Pauly, “BamX: Rethinking Deployability in Architecture through Weaving,” in Advances in Architectural Geometry 2023, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, and T. Wortmann, Eds. De Gruyter, 2023.","short":"S. Suzuki, A. Martin, Y. Ren, T.-Y. Chen, S. Parascho, M. Pauly, in:, K. Dörfler, J. Knippers, A. Menges, S. Parascho, H. Pottmann, T. Wortmann (Eds.), Advances in Architectural Geometry 2023, De Gruyter, 2023."},"date_updated":"2024-08-12T09:54:02Z","publication_identifier":{"eisbn":["9783111162683"],"isbn":["9783111160115"]},"type":"book_chapter","title":"BamX: Rethinking Deployability in Architecture through Weaving","year":"2023","date_published":"2023-10-04T00:00:00Z","has_accepted_license":"1","file_date_updated":"2024-08-12T09:52:12Z","extern":"1","language":[{"iso":"eng"}],"scopus_import":"1","doi":"10.1515/9783111162683-016","month":"10","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2024-08-05T06:28:57Z","day":"04","tmp":{"name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","short":"CC BY-NC-ND (4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","image":"/images/cc_by_nc_nd.png"},"publication_status":"published","file":[{"access_level":"open_access","content_type":"application/pdf","date_updated":"2024-08-12T09:52:12Z","file_id":"17421","relation":"main_file","creator":"dernst","success":1,"file_name":"2023_ArchGeometry_Suzuki.pdf","checksum":"bf97dbf1794277f18711adef81b2e218","file_size":775573,"date_created":"2024-08-12T09:52:12Z"}],"oa":1,"publisher":"De Gruyter","publication":"Advances in Architectural Geometry 2023","alternative_title":["De Gruyter STEM"],"status":"public","ddc":["510"],"quality_controlled":"1","article_processing_charge":"Yes","_id":"17380"},{"publication_identifier":{"eissn":["1557-7368"],"issn":["0730-0301"]},"type":"journal_article","date_updated":"2024-08-12T09:48:36Z","publication_status":"published","year":"2023","intvolume":" 42","title":"Computational exploration of multistable elastic knots","author":[{"full_name":"Vidulis, Michele","last_name":"Vidulis","first_name":"Michele"},{"first_name":"Yingying","last_name":"Ren","full_name":"Ren, Yingying","id":"93d68d10-3540-11ef-a265-f748a50dba3d"},{"full_name":"Panetta, Julian","first_name":"Julian","last_name":"Panetta"},{"full_name":"Grinspun, Eitan","first_name":"Eitan","last_name":"Grinspun"},{"full_name":"Pauly, Mark","first_name":"Mark","last_name":"Pauly"}],"oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","abstract":[{"lang":"eng","text":"We present an algorithmic approach to discover, study, and design multistable elastic knots. Elastic knots are physical realizations of closed curves embedded in 3-space. When endowed with the material thickness and bending resistance of a physical wire, these knots settle into equilibrium states that balance the forces induced by elastic deformation and self-contacts of the wire. In general, elastic knots can have many distinct equilibrium states, i.e. they are multistable mechanical systems. We propose a computational pipeline that combines randomized spatial sampling and physics simulation to efficiently find stable equilibrium states of elastic knots. Leveraging results from knot theory, we run our pipeline on thousands of different topological knot types to create an extensive data set of multistable knots. By applying a series of filters to this data, we discover new transformable knots with interesting geometric and physical properties. A further analysis across knot types reveals geometric and topological patterns, yielding constructive principles that generalize beyond the currently tabulated knot types. We show how multistable elastic knots can be used to design novel deployable structures and engaging recreational puzzles. Several physical prototypes at different scales highlight these applications and validate our simulation."}],"issue":"4","citation":{"ama":"Vidulis M, Ren Y, Panetta J, Grinspun E, Pauly M. Computational exploration of multistable elastic knots. ACM Transactions on Graphics. 2023;42(4). doi:10.1145/3592399","apa":"Vidulis, M., Ren, Y., Panetta, J., Grinspun, E., & Pauly, M. (2023). Computational exploration of multistable elastic knots. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3592399","short":"M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, M. Pauly, ACM Transactions on Graphics 42 (2023).","ieee":"M. Vidulis, Y. Ren, J. Panetta, E. Grinspun, and M. Pauly, “Computational exploration of multistable elastic knots,” ACM Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.","mla":"Vidulis, Michele, et al. “Computational Exploration of Multistable Elastic Knots.” ACM Transactions on Graphics, vol. 42, no. 4, 73, Association for Computing Machinery, 2023, doi:10.1145/3592399.","chicago":"Vidulis, Michele, Yingying Ren, Julian Panetta, Eitan Grinspun, and Mark Pauly. “Computational Exploration of Multistable Elastic Knots.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592399.","ista":"Vidulis M, Ren Y, Panetta J, Grinspun E, Pauly M. 2023. Computational exploration of multistable elastic knots. ACM Transactions on Graphics. 42(4), 73."},"article_number":"73","date_created":"2024-08-05T06:29:22Z","day":"01","quality_controlled":"1","scopus_import":"1","_id":"17381","doi":"10.1145/3592399","article_processing_charge":"No","month":"08","publisher":"Association for Computing Machinery","volume":42,"date_published":"2023-08-01T00:00:00Z","article_type":"original","publication":"ACM Transactions on Graphics","extern":"1","language":[{"iso":"eng"}],"status":"public"},{"_id":"17382","article_processing_charge":"No","doi":"10.1115/1.4056350","month":"04","scopus_import":"1","quality_controlled":"1","publication":"Journal of Applied Mechanics","extern":"1","language":[{"iso":"eng"}],"status":"public","article_type":"original","volume":90,"date_published":"2023-04-01T00:00:00Z","publisher":"American Society of Mechanical Engineers","intvolume":" 90","title":"From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces","publication_status":"published","year":"2023","date_updated":"2024-08-12T09:45:05Z","publication_identifier":{"issn":["0021-8936"],"eissn":["1528-9036"]},"type":"journal_article","date_created":"2024-08-05T06:29:41Z","day":"01","abstract":[{"text":"Elastic surfaces that morph between multiple geometrical configurations are of significant engineering value, with applications ranging from the deployment of space-based photovoltaic arrays, the erection of temporary shelters, and the realization of flexible display systems, to understanding the encapsulation and release of viral RNAs. In general, ensuring that a shape with a planar rest configuration can deploy into a target three-dimensional (3D) shape is a nontrivial problem. Moreover, it is difficult to physically realize the local deformations necessary to achieve such global transformation. Here, we give a tutorial on applying conformal mapping to rationalize the geometrical deformation of several microstructure designs. A conformal map is a function that locally preserves angles and shapes but not lengths: some regions are scaled (enlarged or shrunk) more than others. To transform a planar surface to 3D, we implement uniform local scalings as mechanical deformations. Numerous natural and architected material systems exhibit such behavior, including kirigami, origami, hydrogel, linkage mechanisms, and fabric membranes. The design and fabrication of conformally transformable surfaces is a transdisciplinary challenge involving insights from advanced manufacturing, computational design, material science, and mechanics. By recognizing that many material systems exhibit isotropic deformation, we hope to inspire researchers to adopt conformal mapping in designing next-generation surface-based engineering systems.","lang":"eng"}],"issue":"4","citation":{"short":"Y. Wang, Y. Ren, T. Chen, Journal of Applied Mechanics 90 (2023).","chicago":"Wang, Yue, Yingying Ren, and Tian Chen. “From Kirigami to Hydrogels: A Tutorial on Designing Conformally Transformable Surfaces.” Journal of Applied Mechanics. American Society of Mechanical Engineers, 2023. https://doi.org/10.1115/1.4056350.","ista":"Wang Y, Ren Y, Chen T. 2023. From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces. Journal of Applied Mechanics. 90(4), JAM-22-1358.","mla":"Wang, Yue, et al. “From Kirigami to Hydrogels: A Tutorial on Designing Conformally Transformable Surfaces.” Journal of Applied Mechanics, vol. 90, no. 4, JAM-22-1358, American Society of Mechanical Engineers, 2023, doi:10.1115/1.4056350.","ieee":"Y. Wang, Y. Ren, and T. Chen, “From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces,” Journal of Applied Mechanics, vol. 90, no. 4. American Society of Mechanical Engineers, 2023.","ama":"Wang Y, Ren Y, Chen T. From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces. Journal of Applied Mechanics. 2023;90(4). doi:10.1115/1.4056350","apa":"Wang, Y., Ren, Y., & Chen, T. (2023). From kirigami to hydrogels: A tutorial on designing conformally transformable surfaces. Journal of Applied Mechanics. American Society of Mechanical Engineers. https://doi.org/10.1115/1.4056350"},"article_number":"JAM-22-1358","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None","author":[{"full_name":"Wang, Yue","first_name":"Yue","last_name":"Wang"},{"id":"93d68d10-3540-11ef-a265-f748a50dba3d","full_name":"Ren, Yingying","last_name":"Ren","first_name":"Yingying"},{"full_name":"Chen, Tian","first_name":"Tian","last_name":"Chen"}]},{"year":"2023","title":"Melocoton: A program logic for verified interoperability between OCaml and C","type":"journal_article","publication_identifier":{"issn":["2475-1421"]},"date_updated":"2024-09-10T09:04:24Z","citation":{"short":"A. Guéneau, J. Hostert, S. Spies, M.J. Sammler, L. Birkedal, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 716–744.","chicago":"Guéneau, Armaël, Johannes Hostert, Simon Spies, Michael Joachim Sammler, Lars Birkedal, and Derek Dreyer. “Melocoton: A Program Logic for Verified Interoperability between OCaml and C.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3622823.","ista":"Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. 2023. Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. 7(OOPSLA2), 716–744.","ieee":"A. Guéneau, J. Hostert, S. Spies, M. J. Sammler, L. Birkedal, and D. Dreyer, “Melocoton: A program logic for verified interoperability between OCaml and C,” Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2. Association for Computing Machinery, pp. 716–744, 2023.","mla":"Guéneau, Armaël, et al. “Melocoton: A Program Logic for Verified Interoperability between OCaml and C.” Proceedings of the ACM on Programming Languages, vol. 7, no. OOPSLA2, Association for Computing Machinery, 2023, pp. 716–44, doi:10.1145/3622823.","ama":"Guéneau A, Hostert J, Spies S, Sammler MJ, Birkedal L, Dreyer D. Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. 2023;7(OOPSLA2):716-744. doi:10.1145/3622823","apa":"Guéneau, A., Hostert, J., Spies, S., Sammler, M. J., Birkedal, L., & Dreyer, D. (2023). Melocoton: A program logic for verified interoperability between OCaml and C. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3622823"},"abstract":[{"text":"In recent years, there has been tremendous progress on developing program logics for verifying the correctness of programs in a rich and diverse array of languages. Thus far, however, such logics have assumed that programs are written entirely in a single programming language. In practice, this assumption rarely holds since programs are often composed of components written in different programming languages, which interact with one another via some kind of foreign function interface (FFI). In this paper, we take the first steps towards the goal of developing program logics for multi-language verification. Specifically, we present Melocoton, a multi-language program verification system for reasoning about OCaml, C, and their interactions through the OCaml FFI. Melocoton consists of the first formal semantics of (a large subset of) the OCaml FFI—previously only described in prose in the OCaml manual—as well as the first program logic to reason about the interactions of program components written in OCaml and C. Melocoton is fully mechanized in Coq on top of the Iris separation logic framework.","lang":"eng"}],"author":[{"full_name":"Guéneau, Armaël","first_name":"Armaël","last_name":"Guéneau"},{"full_name":"Hostert, Johannes","last_name":"Hostert","first_name":"Johannes"},{"last_name":"Spies","first_name":"Simon","full_name":"Spies, Simon"},{"full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim","last_name":"Sammler"},{"full_name":"Birkedal, Lars","first_name":"Lars","last_name":"Birkedal"},{"full_name":"Dreyer, Derek","last_name":"Dreyer","first_name":"Derek"}],"oa_version":"Published Version","doi":"10.1145/3622823","month":"10","scopus_import":"1","article_type":"original","language":[{"iso":"eng"}],"extern":"1","volume":7,"date_published":"2023-10-16T00:00:00Z","publication_status":"published","intvolume":" 7","issue":"OOPSLA2","date_created":"2024-09-05T08:17:10Z","day":"16","main_file_link":[{"url":"https://doi.org/10.1145/3622823","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","_id":"17498","article_processing_charge":"No","quality_controlled":"1","status":"public","publication":"Proceedings of the ACM on Programming Languages","page":"716-744","publisher":"Association for Computing Machinery","oa":1},{"author":[{"last_name":"Song","first_name":"Youngju","full_name":"Song, Youngju"},{"last_name":"Cho","first_name":"Minki","full_name":"Cho, Minki"},{"full_name":"Lee, Dongjae","last_name":"Lee","first_name":"Dongjae"},{"full_name":"Hur, Chung-Kil","last_name":"Hur","first_name":"Chung-Kil"},{"full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim","last_name":"Sammler"},{"full_name":"Dreyer, Derek","first_name":"Derek","last_name":"Dreyer"}],"oa_version":"Published Version","abstract":[{"lang":"eng","text":"Much work in formal verification of low-level systems is based on one of two approaches: refinement or separation logic. These two approaches have complementary benefits: refinement supports the use of programs as specifications, as well as transitive composition of proofs, whereas separation logic supports conditional specifications, as well as modular ownership reasoning about shared state. A number of verification frameworks employ these techniques in tandem, but in all such cases the benefits of the two techniques remain separate. For example, in frameworks that use relational separation logic to prove contextual refinement, the relational separation logic judgment does not support transitive composition of proofs, while the contextual refinement judgment does not support conditional specifications. \r\nIn this paper, we propose Conditional Contextual Refinement (or CCR, for short), the first verification system to not only combine refinement and separation logic in a single framework but also to truly marry them together into a unified mechanism enjoying all the benefits of refinement and separation logic simultaneously. Specifically, unlike in prior work, CCR’s refinement specifications are both conditional (with separation logic pre- and post-conditions) and transitively composable. We implement CCR in Coq and evaluate its effectiveness on a range of interesting examples."}],"citation":{"short":"Y. Song, M. Cho, D. Lee, C.-K. Hur, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 1121–1151.","mla":"Song, Youngju, et al. “Conditional Contextual Refinement.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Association for Computing Machinery, 2023, pp. 1121–51, doi:10.1145/3571232.","ieee":"Y. Song, M. Cho, D. Lee, C.-K. Hur, M. J. Sammler, and D. Dreyer, “Conditional contextual refinement,” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL. Association for Computing Machinery, pp. 1121–1151, 2023.","ista":"Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. 2023. Conditional contextual refinement. Proceedings of the ACM on Programming Languages. 7(POPL), 1121–1151.","chicago":"Song, Youngju, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Joachim Sammler, and Derek Dreyer. “Conditional Contextual Refinement.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3571232.","ama":"Song Y, Cho M, Lee D, Hur C-K, Sammler MJ, Dreyer D. Conditional contextual refinement. Proceedings of the ACM on Programming Languages. 2023;7(POPL):1121-1151. doi:10.1145/3571232","apa":"Song, Y., Cho, M., Lee, D., Hur, C.-K., Sammler, M. J., & Dreyer, D. (2023). Conditional contextual refinement. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3571232"},"publication_identifier":{"issn":["2475-1421"]},"type":"journal_article","date_updated":"2024-09-10T09:03:17Z","year":"2023","title":"Conditional contextual refinement","volume":7,"date_published":"2023-01-11T00:00:00Z","article_type":"original","extern":"1","language":[{"iso":"eng"}],"scopus_import":"1","doi":"10.1145/3571232","month":"01","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3571232"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","issue":"POPL","date_created":"2024-09-05T08:21:51Z","day":"11","publication_status":"published","intvolume":" 7","publisher":"Association for Computing Machinery","page":"1121-1151","oa":1,"publication":"Proceedings of the ACM on Programming Languages","status":"public","quality_controlled":"1","article_processing_charge":"No","_id":"17499"},{"date_published":"2023-01-11T00:00:00Z","volume":7,"language":[{"iso":"eng"}],"extern":"1","article_type":"original","scopus_import":"1","month":"01","doi":"10.1145/3571220","oa_version":"Published Version","author":[{"last_name":"Sammler","first_name":"Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","full_name":"Sammler, Michael Joachim"},{"full_name":"Spies, Simon","last_name":"Spies","first_name":"Simon"},{"first_name":"Youngju","last_name":"Song","full_name":"Song, Youngju"},{"first_name":"Emanuele","last_name":"D'Osualdo","full_name":"D'Osualdo, Emanuele"},{"full_name":"Krebbers, Robbert","last_name":"Krebbers","first_name":"Robbert"},{"first_name":"Deepak","last_name":"Garg","full_name":"Garg, Deepak"},{"last_name":"Dreyer","first_name":"Derek","full_name":"Dreyer, Derek"}],"citation":{"ama":"Sammler MJ, Spies S, Song Y, et al. DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. 2023;7(POPL):775-805. doi:10.1145/3571220","apa":"Sammler, M. J., Spies, S., Song, Y., D’Osualdo, E., Krebbers, R., Garg, D., & Dreyer, D. (2023). DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3571220","short":"M.J. Sammler, S. Spies, Y. Song, E. D’Osualdo, R. Krebbers, D. Garg, D. Dreyer, Proceedings of the ACM on Programming Languages 7 (2023) 775–805.","mla":"Sammler, Michael Joachim, et al. “DimSum: A Decentralized Approach to Multi-Language Semantics and Verification.” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL, Association for Computing Machinery, 2023, pp. 775–805, doi:10.1145/3571220.","ieee":"M. J. Sammler et al., “DimSum: A decentralized approach to multi-language semantics and verification,” Proceedings of the ACM on Programming Languages, vol. 7, no. POPL. Association for Computing Machinery, pp. 775–805, 2023.","ista":"Sammler MJ, Spies S, Song Y, D’Osualdo E, Krebbers R, Garg D, Dreyer D. 2023. DimSum: A decentralized approach to multi-language semantics and verification. Proceedings of the ACM on Programming Languages. 7(POPL), 775–805.","chicago":"Sammler, Michael Joachim, Simon Spies, Youngju Song, Emanuele D’Osualdo, Robbert Krebbers, Deepak Garg, and Derek Dreyer. “DimSum: A Decentralized Approach to Multi-Language Semantics and Verification.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2023. https://doi.org/10.1145/3571220."},"abstract":[{"text":"Prior work on multi-language program verification has achieved impressive results, including the compositional verification of complex compilers. But the existing approaches to this problem impose a variety of restrictions on the overall structure of multi-language programs (e.g. fixing the source language, fixing the set of involved languages, fixing the memory model, or fixing the semantics of interoperation). In this paper, we explore the problem of how to avoid such global restrictions.\r\nConcretely, we present DimSum: a new, decentralized approach to multi-language semantics and verification, which we have implemented in the Coq proof assistant. Decentralization means that we can define and reason about languages independently from each other (as independent modules communicating via events), but also combine and translate between them when necessary (via a library of combinators).\r\nWe apply DimSum to a high-level imperative language Rec (with an abstract memory model and function calls), a low-level assembly language Asm (with a concrete memory model, arbitrary jumps, and syscalls), and a mathematical specification language Spec. We evaluate DimSum on two case studies: an Asm library extending Rec with support for pointer comparison, and a coroutine library for Rec written in Asm. In both cases, we show how DimSum allows the Asm libraries to be abstracted to Rec-level specifications, despite the behavior of the Asm libraries not being syntactically expressible in Rec itself. We also verify an optimizing multi-pass compiler from Rec to Asm, showing that it is compatible with these Asm libraries.","lang":"eng"}],"date_updated":"2024-09-10T09:13:02Z","type":"journal_article","publication_identifier":{"issn":["2475-1421"]},"title":"DimSum: A decentralized approach to multi-language semantics and verification","year":"2023","oa":1,"page":"775-805","publisher":"Association for Computing Machinery","status":"public","publication":"Proceedings of the ACM on Programming Languages","quality_controlled":"1","_id":"17500","article_processing_charge":"No","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"url":"https://doi.org/10.1145/3571220","open_access":"1"}],"date_created":"2024-09-05T08:24:06Z","day":"11","issue":"POPL","intvolume":" 7","publication_status":"published"},{"scopus_import":"1","doi":"10.3847/2041-8213/acc103","month":"03","volume":946,"date_published":"2023-03-21T00:00:00Z","article_type":"original","extern":"1","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2041-8205","2041-8213"]},"type":"journal_article","date_updated":"2024-09-10T10:52:04Z","year":"2023","title":"Observable signatures of stellar-mass black holes in active galactic nuclei","author":[{"first_name":"Hiromichi","last_name":"Tagawa","full_name":"Tagawa, Hiromichi"},{"full_name":"Kimura, Shigeo S.","last_name":"Kimura","first_name":"Shigeo S."},{"last_name":"Haiman","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán"},{"full_name":"Perna, Rosalba","last_name":"Perna","first_name":"Rosalba"},{"full_name":"Bartos, Imre","last_name":"Bartos","first_name":"Imre"}],"oa_version":"Published Version","abstract":[{"text":"Stellar-mass black holes (BHs) are predicted to be embedded in the disks of active galactic nuclei (AGNs) due to gravitational drag and in situ star formation. However, clear evidence for AGN disk-embedded BHs is currently lacking. Here, as possible electromagnetic signatures of these BHs, we investigate breakout emission from shocks emerging around Blandford–Znajek jets launched from accreting BHs in AGN disks. We assume that most of the highly super-Eddington flow reaches the BH and produces a strong jet, and the jet produces feedback that shuts off accretion and thus leads to episodic flaring. These assumptions, while poorly understood at present, yield observable consequences that can probe the presence of AGN-embedded BHs as well as the accretion process itself. They predict a breakout emission characterized by luminous thermal emission in the X-ray bands and bright broadband nonthermal emission from the infrared to the gamma-ray bands. The flare duration depends on the BH's distance r from the central supermassive BH, varying between 103–106 s for r ∼ 0.01–1 pc. This emission can be discovered by current and future infrared, optical, and X-ray wide-field surveys and monitoring campaigns of nearby AGNs.","lang":"eng"}],"article_number":"L3","citation":{"short":"H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal Letters 946 (2023).","ista":"Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2023. Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 946(1), L3.","chicago":"Tagawa, Hiromichi, Shigeo S. Kimura, Zoltán Haiman, Rosalba Perna, and Imre Bartos. “Observable Signatures of Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters. American Astronomical Society, 2023. https://doi.org/10.3847/2041-8213/acc103.","mla":"Tagawa, Hiromichi, et al. “Observable Signatures of Stellar-Mass Black Holes in Active Galactic Nuclei.” The Astrophysical Journal Letters, vol. 946, no. 1, L3, American Astronomical Society, 2023, doi:10.3847/2041-8213/acc103.","ieee":"H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Observable signatures of stellar-mass black holes in active galactic nuclei,” The Astrophysical Journal Letters, vol. 946, no. 1. American Astronomical Society, 2023.","ama":"Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. 2023;946(1). doi:10.3847/2041-8213/acc103","apa":"Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2023). Observable signatures of stellar-mass black holes in active galactic nuclei. The Astrophysical Journal Letters. American Astronomical Society. https://doi.org/10.3847/2041-8213/acc103"},"quality_controlled":"1","_id":"17507","article_processing_charge":"No","publisher":"American Astronomical Society","oa":1,"publication":"The Astrophysical Journal Letters","status":"public","publication_status":"published","intvolume":" 946","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/2041-8213/acc103"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","issue":"1","date_created":"2024-09-05T08:44:27Z","day":"21"}]