[{"publisher":"Oxford University Press","oa":1,"abstract":[{"lang":"eng","text":"As a discrete analogue of Kac’s celebrated question on ‘hearing the shape of a drum’ and towards a practical\r\ngraph isomorphism test, it is of interest to understand which graphs are determined up to isomorphism by\r\ntheir spectrum (of their adjacency matrix). A striking conjecture in this area, due to van Dam and Haemers,\r\nis that ‘almost all graphs are determined by their spectrum’, meaning that the fraction of unlabelled n-vertex\r\ngraphs which are determined by their spectrum converges to 1 as n → ∞.\r\nIn this paper, we make a step towards this conjecture, showing that there are exponentially many n-vertex\r\ngraphs which are determined by their spectrum. This improves on previous bounds (of shape e\r\nc\r\n√\r\nn\r\n). We also\r\npropose a number of further directions of research.\r\n"}],"file":[{"date_created":"2024-09-06T12:23:57Z","success":1,"file_id":"17851","access_level":"open_access","date_updated":"2024-09-06T12:23:57Z","relation":"main_file","content_type":"application/pdf","checksum":"abf200d37ad69e6f2c0750a30296ad97","creator":"cchlebak","file_name":"2024_QuJofMath_Koval.pdf","file_size":946411}],"arxiv":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-08T09:09:41Z","date_created":"2024-09-01T22:01:07Z","acknowledgement":"Matthew Kwan was supported by ERC Starting Grant ‘RANDSTRUCT’ No. 101076777.","title":"Exponentially many graphs are determined by their spectrum","publication":"Quarterly Journal of Mathematics","date_published":"2024-06-19T00:00:00Z","year":"2024","publication_status":"published","status":"public","citation":{"chicago":"Koval, Illya, and Matthew Alan Kwan. “Exponentially Many Graphs Are Determined by Their Spectrum.” Quarterly Journal of Mathematics. Oxford University Press, 2024. https://doi.org/10.1093/qmath/haae030.","short":"I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.","mla":"Koval, Illya, and Matthew Alan Kwan. “Exponentially Many Graphs Are Determined by Their Spectrum.” Quarterly Journal of Mathematics, vol. 75, no. 3, Oxford University Press, 2024, pp. 869–99, doi:10.1093/qmath/haae030.","apa":"Koval, I., & Kwan, M. A. (2024). Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. Oxford University Press. https://doi.org/10.1093/qmath/haae030","ama":"Koval I, Kwan MA. Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. 2024;75(3):869-899. doi:10.1093/qmath/haae030","ieee":"I. Koval and M. A. Kwan, “Exponentially many graphs are determined by their spectrum,” Quarterly Journal of Mathematics, vol. 75, no. 3. Oxford University Press, pp. 869–899, 2024.","ista":"Koval I, Kwan MA. 2024. Exponentially many graphs are determined by their spectrum. Quarterly Journal of Mathematics. 75(3), 869–899."},"corr_author":"1","file_date_updated":"2024-09-06T12:23:57Z","quality_controlled":"1","external_id":{"arxiv":["2309.09788"],"isi":["001249741500001"]},"language":[{"iso":"eng"}],"license":"https://creativecommons.org/licenses/by/4.0/","intvolume":" 75","issue":"3","author":[{"first_name":"Illya","full_name":"Koval, Illya","id":"2eed1f3b-896a-11ed-bdf8-93c7c4bf159e","last_name":"Koval"},{"last_name":"Kwan","first_name":"Matthew Alan","id":"5fca0887-a1db-11eb-95d1-ca9d5e0453b3","full_name":"Kwan, Matthew Alan","orcid":"0000-0002-4003-7567"}],"has_accepted_license":"1","article_processing_charge":"Yes (via OA deal)","scopus_import":"1","ddc":["500"],"isi":1,"department":[{"_id":"MaKw"},{"_id":"VaKa"}],"page":"869-899","oa_version":"Published Version","type":"journal_article","month":"06","_id":"17475","project":[{"_id":"bd95085b-d553-11ed-ba76-e55d3349be45","name":"Randomness and structure in combinatorics","grant_number":"101076777"}],"volume":75,"publication_identifier":{"issn":["0033-5606"],"eissn":["1464-3847"]},"doi":"10.1093/qmath/haae030","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"day":"19","article_type":"original"},{"article_type":"original","article_number":"085403","doi":"10.1103/PhysRevMaterials.8.085403","day":"23","publication_identifier":{"eissn":["2475-9953"]},"_id":"17476","volume":8,"type":"journal_article","month":"08","oa_version":"None","department":[{"_id":"ZhAl"}],"scopus_import":"1","isi":1,"article_processing_charge":"No","author":[{"last_name":"Lorenc","first_name":"Dusan","full_name":"Lorenc, Dusan","id":"40D8A3E6-F248-11E8-B48F-1D18A9856A87"},{"full_name":"Zhumekenov, Ayan","first_name":"Ayan","last_name":"Zhumekenov"},{"full_name":"Bakr, Osman M.","first_name":"Osman M.","last_name":"Bakr"},{"full_name":"Alpichshev, Zhanybek","id":"45E67A2A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-7183-5203","first_name":"Zhanybek","last_name":"Alpichshev"}],"intvolume":" 8","issue":"8","external_id":{"isi":["001299497800001"]},"language":[{"iso":"eng"}],"quality_controlled":"1","citation":{"apa":"Lorenc, D., Zhumekenov, A., Bakr, O. M., & Alpichshev, Z. (2024). No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. American Physical Society. https://doi.org/10.1103/PhysRevMaterials.8.085403","ama":"Lorenc D, Zhumekenov A, Bakr OM, Alpichshev Z. No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. 2024;8(8). doi:10.1103/PhysRevMaterials.8.085403","ieee":"D. Lorenc, A. Zhumekenov, O. M. Bakr, and Z. Alpichshev, “No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry,” Physical Review Materials, vol. 8, no. 8. American Physical Society, 2024.","ista":"Lorenc D, Zhumekenov A, Bakr OM, Alpichshev Z. 2024. No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry. Physical Review Materials. 8(8), 085403.","mla":"Lorenc, Dusan, et al. “No Extraordinary χ(3) in Lead-Halide Perovskites: Placing an Upper Bound on Kerr Nonlinearity by Means of Time-Resolved Interferometry.” Physical Review Materials, vol. 8, no. 8, 085403, American Physical Society, 2024, doi:10.1103/PhysRevMaterials.8.085403.","short":"D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).","chicago":"Lorenc, Dusan, Ayan Zhumekenov, Osman M. Bakr, and Zhanybek Alpichshev. “No Extraordinary χ(3) in Lead-Halide Perovskites: Placing an Upper Bound on Kerr Nonlinearity by Means of Time-Resolved Interferometry.” Physical Review Materials. American Physical Society, 2024. https://doi.org/10.1103/PhysRevMaterials.8.085403."},"corr_author":"1","date_published":"2024-08-23T00:00:00Z","year":"2024","status":"public","publication_status":"published","title":"No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry","publication":"Physical Review Materials","date_created":"2024-09-01T22:01:08Z","acknowledgement":"We gratefully acknowledge the assistance of Prof. John\r\nDudley.","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-08T09:06:34Z","abstract":[{"text":"Lead halide perovskites have recently been reported to demonstrate an exceptionally high nonlinear (Kerr) refractive index n2 of up to 10−8cm2/W in CH3⁢NH3⁢PbBr3. Other researchers, however, observe different, substantially more conservative numbers. In order to resolve this disagreement, the nonlinear Kerr index of a bulk sample of lead halide perovskite was measured directly by means of an interferometer. This approach has many advantages as compared to the more standard z-scan technique. In particular, this method allows studying the induced changes to the refractive index in a time-resolved manner, thus enabling to separate the different contributions to 𝑛2. The extracted 𝑛2 values for CsPbBr3 and MAPbBr3 at 𝜆≈1µ⁢m are 𝑛2=+2.1×10−14cm2/W and 𝑛2=+6×10−15cm2/W, respectively. Hence, these values are substantially lower than what has been indicated in most of the previous reports, implying the latter one should be regarded with great care.","lang":"eng"}],"publisher":"American Physical Society"},{"issue":"3","intvolume":" 14","author":[{"last_name":"Hawaldar","full_name":"Hawaldar, Samarth","orcid":"0000-0002-1965-4309","id":"221708e1-1ff6-11ee-9fa6-85146607433e","first_name":"Samarth"},{"full_name":"Shahi, Prakriti","first_name":"Prakriti","last_name":"Shahi"},{"last_name":"Carter","first_name":"Allison L.","full_name":"Carter, Allison L."},{"first_name":"Ana Maria","full_name":"Rey, Ana Maria","last_name":"Rey"},{"full_name":"Bollinger, John J.","first_name":"John J.","last_name":"Bollinger"},{"last_name":"Shankar","full_name":"Shankar, Athreya","first_name":"Athreya"}],"has_accepted_license":"1","status":"public","publication_status":"published","date_published":"2024-08-16T00:00:00Z","year":"2024","citation":{"mla":"Hawaldar, Samarth, et al. “Bilayer Crystals of Trapped Ions for Quantum Information Processing.” Physical Review X, vol. 14, no. 3, 031030, American Physical Society, 2024, doi:10.1103/PhysRevX.14.031030.","apa":"Hawaldar, S., Shahi, P., Carter, A. L., Rey, A. M., Bollinger, J. J., & Shankar, A. (2024). Bilayer crystals of trapped ions for quantum information processing. Physical Review X. American Physical Society. https://doi.org/10.1103/PhysRevX.14.031030","ieee":"S. Hawaldar, P. Shahi, A. L. Carter, A. M. Rey, J. J. Bollinger, and A. Shankar, “Bilayer crystals of trapped ions for quantum information processing,” Physical Review X, vol. 14, no. 3. American Physical Society, 2024.","ama":"Hawaldar S, Shahi P, Carter AL, Rey AM, Bollinger JJ, Shankar A. Bilayer crystals of trapped ions for quantum information processing. Physical Review X. 2024;14(3). doi:10.1103/PhysRevX.14.031030","ista":"Hawaldar S, Shahi P, Carter AL, Rey AM, Bollinger JJ, Shankar A. 2024. Bilayer crystals of trapped ions for quantum information processing. Physical Review X. 14(3), 031030.","chicago":"Hawaldar, Samarth, Prakriti Shahi, Allison L. Carter, Ana Maria Rey, John J. Bollinger, and Athreya Shankar. “Bilayer Crystals of Trapped Ions for Quantum Information Processing.” Physical Review X. American Physical Society, 2024. https://doi.org/10.1103/PhysRevX.14.031030.","short":"S. Hawaldar, P. Shahi, A.L. Carter, A.M. Rey, J.J. Bollinger, A. Shankar, Physical Review X 14 (2024)."},"corr_author":"1","file_date_updated":"2024-09-06T09:43:53Z","quality_controlled":"1","external_id":{"isi":["001293977800002"],"arxiv":["2312.10681"]},"language":[{"iso":"eng"}],"arxiv":1,"date_updated":"2025-09-08T09:07:29Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","acknowledgement":"We thank M. Miskeen Khan, Jennifer Lilieholm, and Wes Johnson for a careful reading and feedback on the manuscript. We acknowledge discussions with Dan Dubin, John Zaris, and Scott Parker. S. H. acknowledges the support of Kishore Vaigyanik Protsahan Yojana, Department of Science and Technology, Government of India. A. S. acknowledges the support of a C. V. Raman post-doctoral fellowship. A. L. C., A. M. R., and J. J. B. acknowledge funding from the U.S. Department of Energy, Office of Science, NQI Science Research Centers, Quantum Systems Accelerator (QSA), a collaboration between the U.S. Department of Energy, Office of Science and other agencies. A. M. R. acknowledges additional support from VBFF, ARO Grant No. W911NF-24-1-0128, by the NSF Grants No. JILA-PFC PHY-2317149 and No. QLCI-OMA-2016244, and by NIST. J. J. B. acknowledges additional support from the DARPA ONISQ program and AFOSR Grant No. FA9550-201-0019.","date_created":"2024-09-01T22:01:08Z","publication":"Physical Review X","title":"Bilayer crystals of trapped ions for quantum information processing","publisher":"American Physical Society","oa":1,"file":[{"content_type":"application/pdf","relation":"main_file","checksum":"5d39b7dda67fd7b9a960235f6f38e280","creator":"cchlebak","file_size":3909653,"file_name":"2024_PhysRevX_Hawaldar.pdf","date_created":"2024-09-06T09:43:53Z","file_id":"17757","success":1,"access_level":"open_access","date_updated":"2024-09-06T09:43:53Z"}],"abstract":[{"lang":"eng","text":"Trapped-ion systems are a leading platform for quantum information processing, but they are currently limited to 1D and 2D arrays, which imposes restrictions on both their scalability and their range of applications. Here, we propose a path to overcome this limitation by demonstrating that Penning traps can be used to realize remarkably clean bilayer crystals, wherein hundreds of ions self-organize into two well-defined layers. These bilayer crystals are made possible by the inclusion of an anharmonic trapping potential, which is readily implementable with current technology. We study the normal modes of this system and discover salient differences compared to the modes of single-plane crystals. The bilayer geometry and the unique properties of the normal modes open new opportunities—in particular, in quantum sensing and quantum simulation—that are not straightforward in single-plane crystals. Furthermore, we illustrate that it may be possible to extend the ideas presented here to realize multilayer crystals with more than two layers. Our work increases the dimensionality of trapped-ion systems by efficiently utilizing all three spatial dimensions, and it lays the foundation for a new generation of quantum information processing experiments with multilayer 3D crystals of trapped ions."}],"article_number":"031030","article_type":"original","volume":14,"_id":"17477","publication_identifier":{"eissn":["2160-3308"]},"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"doi":"10.1103/PhysRevX.14.031030","day":"16","DOAJ_listed":"1","oa_version":"Published Version","month":"08","type":"journal_article","article_processing_charge":"Yes","ddc":["530"],"isi":1,"scopus_import":"1","department":[{"_id":"JoFi"}]},{"article_processing_charge":"Yes (in subscription journal)","department":[{"_id":"RoSe"}],"page":"271-309","scopus_import":"1","isi":1,"ddc":["510"],"type":"journal_article","month":"12","oa_version":"Published Version","_id":"17478","volume":140,"doi":"10.1007/s10240-024-00150-0","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"day":"01","publication_identifier":{"issn":["0073-8301"],"eissn":["1618-1913"]},"article_type":"original","publisher":"Springer Nature","file":[{"checksum":"af3becc50f7534c9409d3ff8b5c47ed6","content_type":"application/pdf","relation":"main_file","file_name":"2024_PublicMathIHES_Brooks.pdf","file_size":924342,"creator":"dernst","date_created":"2025-01-13T08:13:42Z","file_id":"18824","success":1,"access_level":"open_access","date_updated":"2025-01-13T08:13:42Z"}],"OA_place":"publisher","abstract":[{"text":"We study the Fröhlich polaron model in R3, and prove a lower bound on its ground state energy as a function of the total momentum. The bound is asymptotically sharp at large coupling. In combination with a corresponding upper bound proved earlier (Mitrouskas et al. in Forum Math. Sigma 11:1–52, 2023), it shows that the energy is approximately parabolic below the continuum threshold, and that the polaron’s effective mass (defined as the semi-latus rectum of the\r\nparabola) is given by the celebrated Landau–Pekar formula. In particular, it diverges as α4 for large coupling constant α.","lang":"eng"}],"oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","arxiv":1,"date_updated":"2025-09-08T09:08:36Z","title":"The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass","publication":"Publications Mathematiques de l'Institut des Hautes Etudes Scientifiques","date_created":"2024-09-01T22:01:08Z","citation":{"short":"M. Brooks, R. Seiringer, Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques 140 (2024) 271–309.","chicago":"Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part II — Energy-Momentum Relation and Effective Mass.” Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques. Springer Nature, 2024. https://doi.org/10.1007/s10240-024-00150-0.","apa":"Brooks, M., & Seiringer, R. (2024). The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass. Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques. Springer Nature. https://doi.org/10.1007/s10240-024-00150-0","ieee":"M. Brooks and R. Seiringer, “The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass,” Publications Mathematiques de l’Institut des Hautes Etudes Scientifiques, vol. 140. Springer Nature, pp. 271–309, 2024.","ama":"Brooks M, Seiringer R. The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass. Publications Mathematiques de l’Institut des Hautes Etudes Scientifiques. 2024;140:271-309. doi:10.1007/s10240-024-00150-0","ista":"Brooks M, Seiringer R. 2024. The Fröhlich polaron at strong coupling: Part II — Energy-momentum relation and effective mass. Publications Mathematiques de l’Institut des Hautes Etudes Scientifiques. 140, 271–309.","mla":"Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part II — Energy-Momentum Relation and Effective Mass.” Publications Mathematiques de l’Institut Des Hautes Etudes Scientifiques, vol. 140, Springer Nature, 2024, pp. 271–309, doi:10.1007/s10240-024-00150-0."},"file_date_updated":"2025-01-13T08:13:42Z","corr_author":"1","OA_type":"hybrid","year":"2024","date_published":"2024-12-01T00:00:00Z","publication_status":"published","status":"public","external_id":{"arxiv":["2211.03353"],"isi":["001297785000001"]},"language":[{"iso":"eng"}],"quality_controlled":"1","author":[{"first_name":"Morris","orcid":"0000-0002-6249-0928","full_name":"Brooks, Morris","id":"B7ECF9FC-AA38-11E9-AC9A-0930E6697425","last_name":"Brooks"},{"last_name":"Seiringer","first_name":"Robert","orcid":"0000-0002-6781-0521","full_name":"Seiringer, Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87"}],"intvolume":" 140","has_accepted_license":"1"},{"quality_controlled":"1","external_id":{"arxiv":["2408.09811"],"pmid":["39310295"],"isi":["001298164600001"]},"language":[{"iso":"eng"}],"year":"2024","date_published":"2024-09-01T00:00:00Z","status":"public","publication_status":"published","OA_type":"hybrid","citation":{"ama":"Taboada-Gutiérrez J, Zhou Y, Tresguerres-Mata AIF, et al. Unveiling the mechanism of phonon-polariton damping in α‑MoO3. ACS Photonics. 2024;11(9):3570-3577. doi:10.1021/acsphotonics.4c00485","apa":"Taboada-Gutiérrez, J., Zhou, Y., Tresguerres-Mata, A. I. F., Lanza, C., Martínez-Suárez, A., Álvarez-Pérez, G., … Alonso-González, P. (2024). Unveiling the mechanism of phonon-polariton damping in α‑MoO3. ACS Photonics. American Chemical Society. https://doi.org/10.1021/acsphotonics.4c00485","ieee":"J. Taboada-Gutiérrez et al., “Unveiling the mechanism of phonon-polariton damping in α‑MoO3,” ACS Photonics, vol. 11, no. 9. American Chemical Society, pp. 3570–3577, 2024.","ista":"Taboada-Gutiérrez J, Zhou Y, Tresguerres-Mata AIF, Lanza C, Martínez-Suárez A, Álvarez-Pérez G, Duan J, Martín JI, Vélez M, Prieto Gonzalez I, Bercher A, Teyssier J, Errea I, Nikitin AY, Martín-Sánchez J, Kuzmenko AB, Alonso-González P. 2024. Unveiling the mechanism of phonon-polariton damping in α‑MoO3. ACS Photonics. 11(9), 3570–3577.","mla":"Taboada-Gutiérrez, Javier, et al. “Unveiling the Mechanism of Phonon-Polariton Damping in Α‑MoO3.” ACS Photonics, vol. 11, no. 9, American Chemical Society, 2024, pp. 3570–77, doi:10.1021/acsphotonics.4c00485.","short":"J. Taboada-Gutiérrez, Y. Zhou, A.I.F. Tresguerres-Mata, C. Lanza, A. Martínez-Suárez, G. Álvarez-Pérez, J. Duan, J.I. Martín, M. Vélez, I. Prieto Gonzalez, A. Bercher, J. Teyssier, I. Errea, A.Y. Nikitin, J. Martín-Sánchez, A.B. Kuzmenko, P. Alonso-González, ACS Photonics 11 (2024) 3570–3577.","chicago":"Taboada-Gutiérrez, Javier, Yixi Zhou, Ana I.F. Tresguerres-Mata, Christian Lanza, Abel Martínez-Suárez, Gonzalo Álvarez-Pérez, Jiahua Duan, et al. “Unveiling the Mechanism of Phonon-Polariton Damping in Α‑MoO3.” ACS Photonics. American Chemical Society, 2024. https://doi.org/10.1021/acsphotonics.4c00485."},"file_date_updated":"2025-01-09T14:01:06Z","has_accepted_license":"1","intvolume":" 11","issue":"9","author":[{"first_name":"Javier","full_name":"Taboada-Gutiérrez, Javier","last_name":"Taboada-Gutiérrez"},{"first_name":"Yixi","full_name":"Zhou, Yixi","last_name":"Zhou"},{"last_name":"Tresguerres-Mata","first_name":"Ana I.F.","full_name":"Tresguerres-Mata, Ana I.F."},{"last_name":"Lanza","first_name":"Christian","full_name":"Lanza, Christian"},{"last_name":"Martínez-Suárez","first_name":"Abel","full_name":"Martínez-Suárez, Abel"},{"first_name":"Gonzalo","full_name":"Álvarez-Pérez, Gonzalo","last_name":"Álvarez-Pérez"},{"last_name":"Duan","full_name":"Duan, Jiahua","first_name":"Jiahua"},{"last_name":"Martín","first_name":"José Ignacio","full_name":"Martín, José Ignacio"},{"last_name":"Vélez","full_name":"Vélez, María","first_name":"María"},{"first_name":"Ivan","id":"2A307FE2-F248-11E8-B48F-1D18A9856A87","full_name":"Prieto Gonzalez, Ivan","orcid":"0000-0002-7370-5357","last_name":"Prieto Gonzalez"},{"first_name":"Adrien","full_name":"Bercher, Adrien","last_name":"Bercher"},{"last_name":"Teyssier","full_name":"Teyssier, Jérémie","first_name":"Jérémie"},{"first_name":"Ion","full_name":"Errea, Ion","last_name":"Errea"},{"last_name":"Nikitin","full_name":"Nikitin, Alexey Y.","first_name":"Alexey Y."},{"first_name":"Javier","full_name":"Martín-Sánchez, Javier","last_name":"Martín-Sánchez"},{"last_name":"Kuzmenko","first_name":"Alexey B.","full_name":"Kuzmenko, Alexey B."},{"full_name":"Alonso-González, Pablo","first_name":"Pablo","last_name":"Alonso-González"}],"oa":1,"OA_place":"publisher","file":[{"access_level":"open_access","date_updated":"2025-01-09T14:01:06Z","date_created":"2025-01-09T14:01:06Z","success":1,"file_id":"18819","file_name":"2024_ACSPhotonics_TaboadaGutierrez_.pdf","file_size":2664512,"creator":"dernst","checksum":"bd7e6a138c406e93eaf0a6268fc42bfe","content_type":"application/pdf","relation":"main_file"}],"abstract":[{"text":"Phonon polaritons (PhPs), light coupled to lattice vibrations, in the highly anisotropic polar layered material molybdenum trioxide (α-MoO3) are currently the focus of intense research efforts due to their extreme subwavelength field confinement, directional propagation, and unprecedented low losses. Nevertheless, prior research has primarily concentrated on exploiting the squeezing and steering capabilities of α-MoO3 PhPs, without inquiring much into the dominant microscopic mechanism that determines their long lifetimes, which is key for their implementation in nanophotonic applications. This study delves into the fundamental processes that govern PhP damping in α-MoO3 by combining ab initio calculations with scattering-type scanning near-field optical microscopy (s-SNOM) and Fourier transform infrared (FTIR) spectroscopy measurements across a broad temperature range (8–300 K). The remarkable agreement between our theoretical predictions and experimental observations allows us to identify third-order anharmonic phonon–phonon scattering as the main damping mechanism of α-MoO3 PhPs. These findings shed light on the fundamental limits of low-loss PhPs, which is a crucial factor for assessing their implementation into nanophotonic devices.","lang":"eng"}],"publisher":"American Chemical Society","date_created":"2024-09-01T22:01:09Z","acknowledgement":"Funding Sources ─ A.I.F.T.-M. and G.Á.-P. acknowledge support through the Severo Ochoa program from the Government of the Principality of Asturias (references PA-21-PF-BP20-117 and PA20-PF-BP19-053, respectively). A.B.K. and J.T.-G. acknowledge support from the Swiss National Science Foundation (grant # 200020_201096). J.M.-S. acknowledges financial support from the Ramón y Cajal Program of the Government of Spain and FSE (RYC2018-026196-I), the Spanish Ministry of Science and Innovation (State Plan for Scientific and Technical Research and Innovation grant number PID2019-110308GA-I00/AEI/10.13039/501100011033) and project PCI2022-132953 funded by MCIN/AEI/10.13039/501100011033 and the EU “NextGenerationEU”/PRTR”. P.A.-G. acknowledges support from the European Research Council under starting grant no. 715496, 2DNANOPTICA and the Spanish Ministry of Science and Innovation (State Plan for Scientific and Technical Research and Innovation grant number PID2019-111156GB-I00). A.Y.N. acknowledges the Spanish Ministry of Science and Innovation (grant PID2020-115221GB-C42) and the Basque Department of Education (grant PIBA-2023-1-0007). M.V. and J.I.M. acknowledge support by Spanish MCIN/AEI/10.13039/501100011033/FEDER, UE under grant PID2022-136784NB and by Asturias FICYT under grant AYUD/2021/51185 with the support of FEDER funds. I.E. acknowledges funding from the Spanish Ministry of Science and Innovation (Grant No. PID2022-142861NA-I00) and the Department of Education, Universities, and Research of the Eusko Jaurlaritza and the University of the Basque Country UPV/EHU (Grant No. IT1527-22). J. Duan acknowledges the support from the Beijing Natural Science Foundation (Grant No. Z240005), and National Natural Science Foundation of China.","title":"Unveiling the mechanism of phonon-polariton damping in α‑MoO3","publication":"ACS Photonics","date_updated":"2025-09-08T09:05:01Z","arxiv":1,"pmid":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication_identifier":{"eissn":["2330-4022"]},"doi":"10.1021/acsphotonics.4c00485","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"day":"01","_id":"17479","volume":11,"article_type":"original","scopus_import":"1","isi":1,"ddc":["530"],"department":[{"_id":"NanoFab"}],"page":"3570-3577","article_processing_charge":"No","oa_version":"Published Version","type":"journal_article","month":"09"},{"scopus_import":"1","ddc":["510"],"isi":1,"department":[{"_id":"JuFi"}],"page":"1117-1178","article_processing_charge":"Yes","oa_version":"Published Version","type":"journal_article","month":"01","publication_identifier":{"issn":["0294-1449"],"eissn":["1873-1430"]},"tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"doi":"10.4171/AIHPC/109","day":"24","_id":"17481","project":[{"call_identifier":"H2020","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials","grant_number":"948819"}],"volume":41,"article_type":"original","oa":1,"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."}],"file":[{"content_type":"application/pdf","relation":"main_file","checksum":"b5ad02d9abd5b4701269cd1ad0a1cc8f","creator":"dernst","file_size":1348896,"file_name":"2024_AnnInstHPoincare_Fischer.pdf","date_created":"2024-09-09T07:46:42Z","success":1,"file_id":"17923","date_updated":"2024-09-09T07:46:42Z","access_level":"open_access"}],"ec_funded":1,"publisher":"EMS Press","date_created":"2024-09-01T22:01:09Z","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.","title":"Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow","related_material":{"record":[{"status":"public","relation":"earlier_version","id":"14597"}]},"publication":"Annales de l'Institut Henri Poincare C","date_updated":"2025-09-08T09:11:01Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","quality_controlled":"1","language":[{"iso":"eng"}],"external_id":{"isi":["001293853900003"]},"date_published":"2024-01-24T00:00:00Z","year":"2024","status":"public","publication_status":"published","citation":{"chicago":"Fischer, Julian L, and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen–Cahn Equation towards Multiphase Mean Curvature Flow.” Annales de l’Institut Henri Poincare C. EMS Press, 2024. https://doi.org/10.4171/AIHPC/109.","short":"J.L. Fischer, A. Marveggio, Annales de l’Institut Henri Poincare C 41 (2024) 1117–1178.","mla":"Fischer, Julian L., and Alice Marveggio. “Quantitative Convergence of the Vectorial Allen–Cahn Equation towards Multiphase Mean Curvature Flow.” Annales de l’Institut Henri Poincare C, vol. 41, no. 5, EMS Press, 2024, pp. 1117–78, doi:10.4171/AIHPC/109.","apa":"Fischer, J. L., & Marveggio, A. (2024). Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. EMS Press. https://doi.org/10.4171/AIHPC/109","ama":"Fischer JL, Marveggio A. Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. 2024;41(5):1117-1178. doi:10.4171/AIHPC/109","ieee":"J. L. Fischer and A. Marveggio, “Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow,” Annales de l’Institut Henri Poincare C, vol. 41, no. 5. EMS Press, pp. 1117–1178, 2024.","ista":"Fischer JL, Marveggio A. 2024. Quantitative convergence of the vectorial Allen–Cahn equation towards multiphase mean curvature flow. Annales de l’Institut Henri Poincare C. 41(5), 1117–1178."},"file_date_updated":"2024-09-09T07:46:42Z","corr_author":"1","has_accepted_license":"1","intvolume":" 41","issue":"5","author":[{"last_name":"Fischer","orcid":"0000-0002-0479-558X","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","full_name":"Fischer, Julian L","first_name":"Julian L"},{"id":"25647992-AA84-11E9-9D75-8427E6697425","full_name":"Marveggio, Alice","first_name":"Alice","last_name":"Marveggio"}]},{"publication_identifier":{"issn":["2160-3308"]},"day":"26","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"doi":"10.1103/physrevx.14.031035","volume":14,"project":[{"call_identifier":"H2020","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","grant_number":"850899","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E"}],"_id":"17493","article_type":"original","article_number":"031035","ddc":["530"],"isi":1,"scopus_import":"1","department":[{"_id":"MaSe"}],"article_processing_charge":"Yes","DOAJ_listed":"1","APC_amount":"4863,6 EUR","oa_version":"Published Version","month":"08","type":"journal_article","quality_controlled":"1","external_id":{"isi":["001299667100002"],"arxiv":["2311.08108"]},"language":[{"iso":"eng"}],"publication_status":"published","status":"public","date_published":"2024-08-26T00:00:00Z","year":"2024","citation":{"chicago":"Vermersch, Benoît, Marko Ljubotina, J. Ignacio Cirac, Peter Zoller, Maksym Serbyn, and Lorenzo Piroli. “Many-Body Entropies and Entanglement from Polynomially Many Local Measurements.” Physical Review X. American Physical Society, 2024. https://doi.org/10.1103/physrevx.14.031035.","short":"B. Vermersch, M. Ljubotina, J.I. Cirac, P. Zoller, M. Serbyn, L. Piroli, Physical Review X 14 (2024).","mla":"Vermersch, Benoît, et al. “Many-Body Entropies and Entanglement from Polynomially Many Local Measurements.” Physical Review X, vol. 14, no. 3, 031035, American Physical Society, 2024, doi:10.1103/physrevx.14.031035.","ista":"Vermersch B, Ljubotina M, Cirac JI, Zoller P, Serbyn M, Piroli L. 2024. Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. 14(3), 031035.","ieee":"B. Vermersch, M. Ljubotina, J. I. Cirac, P. Zoller, M. Serbyn, and L. Piroli, “Many-body entropies and entanglement from polynomially many local measurements,” Physical Review X, vol. 14, no. 3. American Physical Society, 2024.","ama":"Vermersch B, Ljubotina M, Cirac JI, Zoller P, Serbyn M, Piroli L. Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. 2024;14(3). doi:10.1103/physrevx.14.031035","apa":"Vermersch, B., Ljubotina, M., Cirac, J. I., Zoller, P., Serbyn, M., & Piroli, L. (2024). Many-body entropies and entanglement from polynomially many local measurements. Physical Review X. American Physical Society. https://doi.org/10.1103/physrevx.14.031035"},"file_date_updated":"2024-09-05T09:39:00Z","OA_type":"gold","has_accepted_license":"1","issue":"3","intvolume":" 14","author":[{"first_name":"Benoît","full_name":"Vermersch, Benoît","last_name":"Vermersch"},{"last_name":"Ljubotina","first_name":"Marko","orcid":"0000-0003-0038-7068","id":"F75EE9BE-5C90-11EA-905D-16643DDC885E","full_name":"Ljubotina, Marko"},{"first_name":"J. Ignacio","full_name":"Cirac, J. Ignacio","last_name":"Cirac"},{"last_name":"Zoller","full_name":"Zoller, Peter","first_name":"Peter"},{"last_name":"Serbyn","first_name":"Maksym","orcid":"0000-0002-2399-5827","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","full_name":"Serbyn, Maksym"},{"last_name":"Piroli","first_name":"Lorenzo","full_name":"Piroli, Lorenzo"}],"oa":1,"OA_place":"publisher","abstract":[{"text":"Estimating global properties of many-body quantum systems such as entropy or bipartite entanglement is a notoriously difficult task, typically requiring a number of measurements or classical postprocessing resources growing exponentially in the system size. In this work, we address the problem of estimating global entropies and mixed-state entanglement via partial-transposed (PT) moments and show that efficient estimation strategies exist under the assumption that all the spatial correlation lengths are finite. Focusing on one-dimensional systems, we identify a set of approximate factorization conditions (AFCs) on the system density matrix, which allow us to reconstruct entropies and PT moments from information on local subsystems. This identification yields a simple and efficient strategy for entropy and entanglement estimation. Our method could be implemented in different ways, depending on how information on local subsystems is extracted. Focusing on randomized measurements providing a practical and common measurement scheme, we prove that our protocol requires only polynomially many measurements and postprocessing operations, assuming that the state to be measured satisfies the AFCs. We prove that the AFCs hold for finite-depth quantum-circuit states and translation-invariant matrix-product density operators and provide numerical evidence that they are satisfied in more general, physically interesting cases, including thermal states of local Hamiltonians. We argue that our method could be practically useful to detect bipartite mixed-state entanglement for large numbers of qubits available in today’s quantum platforms.","lang":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","checksum":"1b114acc89025120727200681e4e9074","creator":"cchlebak","file_size":1408836,"file_name":"2024_PhysRevX_Vermersch.pdf","date_created":"2024-09-05T09:39:00Z","success":1,"file_id":"17532","access_level":"open_access","date_updated":"2024-09-05T09:39:00Z"}],"ec_funded":1,"publisher":"American Physical Society","acknowledgement":"B. V. acknowledges funding from the Austrian Science Foundation (Grant No. FWF, P 32597 N), from the French National Research Agency via the JCJC project QRand (Grant No. ANR-20-CE47-0005), and via the research programs Plan France 2030 EPIQ (Grant No. ANR-22-PETQ-0007), QUBITAF (Grant No. ANR-22-PETQ-0004), and HQI (Grant No. ANR-22-PNCQ-0002). M. L. and M. S. acknowledge support by the European Research Council under the European Union’s Horizon 2020 research and innovation program (Grant Agreement No. 850899). M. S. acknowledges the hospitality of KITP supported in part by the National Science Foundation under Grants No. NSF PHY-1748958 and No. NSF PHY-2309135. J. I. C. is supported by the Hightech Agenda Bayern Plus through the Munich Quantum Valley and the German Federal Ministry of Education and Research through EQUAHUMO (Grant No. 13N16066). P. Z. acknowledges funding from the European Union’s Horizon 2020 research and innovation program under Grant Agreement No. 101113690 (PASQuanS2.1).","date_created":"2024-09-04T18:57:11Z","publication":"Physical Review X","title":"Many-body entropies and entanglement from polynomially many local measurements","date_updated":"2025-09-08T09:04:14Z","arxiv":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"publisher":"Taylor & Francis","OA_place":"publisher","oa":1,"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2025-09-08T09:03:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1080/17460913.2024.2389720"}],"pmid":1,"title":"Anti-plasmid immunity: A key to pathogen success?","publication":"Future Microbiology","date_created":"2024-09-05T07:32:00Z","acknowledgement":"I would like to thank K Kiernan for insightful comments and feedback. J P K Bravo is supported by IST Austria.","OA_type":"free access","citation":{"mla":"Bravo, Jack Peter Kelly. “Anti-Plasmid Immunity: A Key to Pathogen Success?” Future Microbiology, vol. 19, no. 15, Taylor & Francis, 2024, pp. 1269–72, doi:10.1080/17460913.2024.2389720.","ista":"Bravo JPK. 2024. Anti-plasmid immunity: A key to pathogen success? Future Microbiology. 19(15), 1269–1272.","apa":"Bravo, J. P. K. (2024). Anti-plasmid immunity: A key to pathogen success? Future Microbiology. Taylor & Francis. https://doi.org/10.1080/17460913.2024.2389720","ieee":"J. P. K. Bravo, “Anti-plasmid immunity: A key to pathogen success?,” Future Microbiology, vol. 19, no. 15. Taylor & Francis, pp. 1269–1272, 2024.","ama":"Bravo JPK. Anti-plasmid immunity: A key to pathogen success? Future Microbiology. 2024;19(15):1269-1272. doi:10.1080/17460913.2024.2389720","chicago":"Bravo, Jack Peter Kelly. “Anti-Plasmid Immunity: A Key to Pathogen Success?” Future Microbiology. Taylor & Francis, 2024. https://doi.org/10.1080/17460913.2024.2389720.","short":"J.P.K. Bravo, Future Microbiology 19 (2024) 1269–1272."},"corr_author":"1","date_published":"2024-10-01T00:00:00Z","year":"2024","publication_status":"published","status":"public","external_id":{"pmid":["39230568"],"isi":["001306115400001"]},"language":[{"iso":"eng"}],"quality_controlled":"1","author":[{"last_name":"Bravo","first_name":"Jack Peter Kelly","orcid":"0000-0003-0456-0753","full_name":"Bravo, Jack Peter Kelly","id":"96aecfa5-8931-11ee-af30-aa6a5d6eee0e"}],"intvolume":" 19","issue":"15","has_accepted_license":"1","article_processing_charge":"No","department":[{"_id":"JaBr"}],"page":"1269-1272","scopus_import":"1","isi":1,"type":"journal_article","month":"10","oa_version":"Published Version","_id":"17494","volume":19,"day":"01","doi":"10.1080/17460913.2024.2389720","publication_identifier":{"eissn":["1746-0921"],"issn":["1746-0913"]},"article_type":"letter_note"},{"article_processing_charge":"No","scopus_import":"1","page":"1115-1139","oa_version":"Published Version","type":"journal_article","month":"06","_id":"17495","volume":8,"publication_identifier":{"issn":["2475-1421"]},"doi":"10.1145/3656422","day":"20","article_type":"original","publisher":"Association for Computing Machinery","oa":1,"abstract":[{"lang":"eng","text":"Rust is a modern systems programming language whose ownership-based type system statically guarantees memory safety, making it particularly well-suited to the domain of safety-critical systems. In recent years, a wellspring of automated deductive verification tools have emerged for establishing functional correctness of Rust code. However, none of the previous tools produce foundational proofs (machine-checkable in a general-purpose proof assistant), and all of them are restricted to the safe fragment of Rust. This is a problem because the vast majority of Rust programs make use of unsafe code at critical points, such as in the implementation of widely-used APIs. We propose RefinedRust, a refinement type system—proven sound in the Coq proof assistant—with the goal of establishing foundational semi-automated functional correctness verification of both safe and unsafe Rust code. We have developed a prototype verification tool implementing RefinedRust. Our tool translates Rust code (with user annotations) into a model of Rust embedded in Coq, and then checks its adherence to the RefinedRust type system using separation logic automation in Coq. All proofs generated by RefinedRust are checked by the Coq proof assistant, so the automation and type system do not have to be trusted. We evaluate the effectiveness of RefinedRust by verifying a variant of Rust’s Vec implementation that involves intricate reasoning about unsafe pointer-manipulating code."}],"date_updated":"2024-09-10T07:16:49Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"url":"https://doi.org/10.1145/3656422","open_access":"1"}],"date_created":"2024-09-05T07:52:27Z","title":"RefinedRust: A type system for high-assurance verification of rust programs","publication":"Proceedings of the ACM on Programming Languages","year":"2024","date_published":"2024-06-20T00:00:00Z","publication_status":"published","extern":"1","status":"public","citation":{"ista":"Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. 2024. RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. 8(PLDI), 1115–1139.","ieee":"L. Gäher, M. J. Sammler, R. Jung, R. Krebbers, and D. Dreyer, “RefinedRust: A type system for high-assurance verification of rust programs,” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI. Association for Computing Machinery, pp. 1115–1139, 2024.","ama":"Gäher L, Sammler MJ, Jung R, Krebbers R, Dreyer D. RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. 2024;8(PLDI):1115-1139. doi:10.1145/3656422","apa":"Gäher, L., Sammler, M. J., Jung, R., Krebbers, R., & Dreyer, D. (2024). RefinedRust: A type system for high-assurance verification of rust programs. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656422","mla":"Gäher, Lennard, et al. “RefinedRust: A Type System for High-Assurance Verification of Rust Programs.” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, Association for Computing Machinery, 2024, pp. 1115–39, doi:10.1145/3656422.","short":"L. Gäher, M.J. Sammler, R. Jung, R. Krebbers, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 1115–1139.","chicago":"Gäher, Lennard, Michael Joachim Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer. “RefinedRust: A Type System for High-Assurance Verification of Rust Programs.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656422."},"quality_controlled":"1","language":[{"iso":"eng"}],"intvolume":" 8","issue":"PLDI","author":[{"last_name":"Gäher","first_name":"Lennard","full_name":"Gäher, Lennard"},{"full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","first_name":"Michael Joachim","last_name":"Sammler"},{"first_name":"Ralf","full_name":"Jung, Ralf","last_name":"Jung"},{"last_name":"Krebbers","full_name":"Krebbers, Robbert","first_name":"Robbert"},{"last_name":"Dreyer","first_name":"Derek","full_name":"Dreyer, Derek"}]},{"publication_identifier":{"issn":["2475-1421"]},"day":"20","doi":"10.1145/3656413","volume":8,"_id":"17497","article_type":"original","scopus_import":"1","page":"889-913","article_processing_charge":"No","oa_version":"Published Version","month":"06","type":"journal_article","quality_controlled":"1","language":[{"iso":"eng"}],"publication_status":"published","extern":"1","status":"public","year":"2024","date_published":"2024-06-20T00:00:00Z","citation":{"mla":"Spies, Simon, et al. “Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI, Association for Computing Machinery, 2024, pp. 889–913, doi:10.1145/3656413.","ista":"Spies S, Gäher L, Sammler MJ, Dreyer D. 2024. Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. 8(PLDI), 889–913.","ieee":"S. Spies, L. Gäher, M. J. Sammler, and D. Dreyer, “Quiver: Guided abductive inference of separation logic specifications in coq,” Proceedings of the ACM on Programming Languages, vol. 8, no. PLDI. Association for Computing Machinery, pp. 889–913, 2024.","apa":"Spies, S., Gäher, L., Sammler, M. J., & Dreyer, D. (2024). Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. Association for Computing Machinery. https://doi.org/10.1145/3656413","ama":"Spies S, Gäher L, Sammler MJ, Dreyer D. Quiver: Guided abductive inference of separation logic specifications in coq. Proceedings of the ACM on Programming Languages. 2024;8(PLDI):889-913. doi:10.1145/3656413","chicago":"Spies, Simon, Lennard Gäher, Michael Joachim Sammler, and Derek Dreyer. “Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2024. https://doi.org/10.1145/3656413.","short":"S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913."},"issue":"PLDI","intvolume":" 8","author":[{"full_name":"Spies, Simon","first_name":"Simon","last_name":"Spies"},{"last_name":"Gäher","first_name":"Lennard","full_name":"Gäher, Lennard"},{"first_name":"Michael Joachim","full_name":"Sammler, Michael Joachim","id":"510d3901-2a03-11ee-914d-d9ae9011f0a7","last_name":"Sammler"},{"full_name":"Dreyer, Derek","first_name":"Derek","last_name":"Dreyer"}],"oa":1,"abstract":[{"lang":"eng","text":"Over the past two decades, there has been a great deal of progress on verification of full functional correctness of programs using separation logic, sometimes even producing “foundational” proofs in proof assistants like Coq. Unfortunately, even though existing approaches to this problem provide significant support for automated verification, they still incur a significant specification overhead: the user must supply the specification against which the program is verified, and the specification may be long, complex, or tedious to formulate. In this paper, we introduce Quiver, the first technique for inferring functional correctness specifications in separation logic while simultaneously verifying foundationally that they are correct. To guide Quiver towards the final specification, we take hints from the user in the form of a specification sketch, and then complete the sketch using inference. To do so, Quiver introduces a new abductive deductive verification technique, which integrates ideas from abductive inference (for specification inference) together with deductive separation logic automation (for foundational verification). The result is that users have to provide some guidance, but significantly less than with traditional deductive verification techniques based on separation logic. We have evaluated Quiver on a range of case studies, including code from popular open-source libraries."}],"publisher":"Association for Computing Machinery","date_created":"2024-09-05T08:10:41Z","publication":"Proceedings of the ACM on Programming Languages","title":"Quiver: Guided abductive inference of separation logic specifications in coq","main_file_link":[{"url":"https://doi.org/10.1145/3656413","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2024-09-10T12:00:57Z"},{"publication_identifier":{"issn":["0004-637X","1538-4357"]},"doi":"10.3847/1538-4357/ad372e","day":"29","_id":"17517","volume":966,"article_type":"original","article_number":"104","scopus_import":"1","article_processing_charge":"No","oa_version":"Published Version","type":"journal_article","month":"04","quality_controlled":"1","language":[{"iso":"eng"}],"date_published":"2024-04-29T00:00:00Z","year":"2024","extern":"1","publication_status":"published","status":"public","citation":{"chicago":"Saade, M. Lynne, Murray Brightman, Daniel Stern, Thomas Connor, S. G. Djorgovski, Daniel J. D’Orazio, K. E. S. Ford, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad372e.","short":"M.L. Saade, M. Brightman, D. Stern, T. Connor, S.G. Djorgovski, D.J. D’Orazio, K.E.S. Ford, M.J. Graham, Z. Haiman, H.D. Jun, E. Kammoun, R.P. Kraft, B. McKernan, A. Vikhlinin, D.J. Walton, The Astrophysical Journal 966 (2024).","mla":"Saade, M. Lynne, et al. “NuSTAR Observations of Candidate Subparsec Binary Supermassive Black Holes.” The Astrophysical Journal, vol. 966, no. 1, 104, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad372e.","ista":"Saade ML, Brightman M, Stern D, Connor T, Djorgovski SG, D’Orazio DJ, Ford KES, Graham MJ, Haiman Z, Jun HD, Kammoun E, Kraft RP, McKernan B, Vikhlinin A, Walton DJ. 2024. NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. 966(1), 104.","ieee":"M. L. Saade et al., “NuSTAR observations of candidate subparsec binary supermassive black holes,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.","apa":"Saade, M. L., Brightman, M., Stern, D., Connor, T., Djorgovski, S. G., D’Orazio, D. J., … Walton, D. J. (2024). NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad372e","ama":"Saade ML, Brightman M, Stern D, et al. NuSTAR observations of candidate subparsec binary supermassive black holes. The Astrophysical Journal. 2024;966(1). doi:10.3847/1538-4357/ad372e"},"intvolume":" 966","issue":"1","author":[{"last_name":"Saade","first_name":"M. Lynne","full_name":"Saade, M. Lynne"},{"first_name":"Murray","full_name":"Brightman, Murray","last_name":"Brightman"},{"first_name":"Daniel","full_name":"Stern, Daniel","last_name":"Stern"},{"first_name":"Thomas","full_name":"Connor, Thomas","last_name":"Connor"},{"last_name":"Djorgovski","full_name":"Djorgovski, S. G.","first_name":"S. G."},{"first_name":"Daniel J.","full_name":"D’Orazio, Daniel J.","last_name":"D’Orazio"},{"full_name":"Ford, K. E. S.","first_name":"K. E. S.","last_name":"Ford"},{"first_name":"Matthew J.","full_name":"Graham, Matthew J.","last_name":"Graham"},{"full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán","last_name":"Haiman"},{"last_name":"Jun","first_name":"Hyunsung D.","full_name":"Jun, Hyunsung D."},{"last_name":"Kammoun","full_name":"Kammoun, Elias","first_name":"Elias"},{"full_name":"Kraft, Ralph P.","first_name":"Ralph P.","last_name":"Kraft"},{"full_name":"McKernan, Barry","first_name":"Barry","last_name":"McKernan"},{"full_name":"Vikhlinin, Alexei","first_name":"Alexei","last_name":"Vikhlinin"},{"last_name":"Walton","first_name":"Dominic J.","full_name":"Walton, Dominic J."}],"oa":1,"abstract":[{"text":"We present an analysis of NuSTAR X-ray observations of three active galactic nuclei (AGN) that were identified as candidate subparsec binary supermassive black hole (SMBH) systems in the Catalina Real-Time Transient Survey based on apparent periodicity in their optical light curves. Simulations predict that close-separation accreting SMBH binaries will have different X-ray spectra than single accreting SMBHs. We previously observed these AGN with Chandra and found no differences between their low-energy X-ray properties and the larger AGN population. However, some models predict differences to be more prominent at energies higher than probed by Chandra. We find that even at the higher energies probed by NuSTAR, the spectra of these AGN are indistinguishable from the larger AGN population. This could rule out models predicting large differences in the X-ray spectra in the NuSTAR bands. Alternatively, it might mean that these three AGN are not binary SMBHs.","lang":"eng"}],"publisher":"American Astronomical Society","date_created":"2024-09-05T08:57:37Z","title":"NuSTAR observations of candidate subparsec binary supermassive black holes","publication":"The Astrophysical Journal","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/1538-4357/ad372e"}],"date_updated":"2024-09-10T14:31:31Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"day":"23","doi":"10.3847/1538-4357/ad2e0b","publication_identifier":{"issn":["0004-637X","1538-4357"]},"_id":"17531","volume":966,"article_type":"original","article_number":"21","scopus_import":"1","article_processing_charge":"No","type":"journal_article","month":"04","oa_version":"Published Version","language":[{"iso":"eng"}],"quality_controlled":"1","citation":{"ista":"Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. 2024. Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. 966(1), 21.","apa":"Tagawa, H., Kimura, S. S., Haiman, Z., Perna, R., & Bartos, I. (2024). Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad2e0b","ieee":"H. Tagawa, S. S. Kimura, Z. Haiman, R. Perna, and I. Bartos, “Shock cooling and breakout emission for optical flares associated with gravitational-wave events,” The Astrophysical Journal, vol. 966, no. 1. American Astronomical Society, 2024.","ama":"Tagawa H, Kimura SS, Haiman Z, Perna R, Bartos I. Shock cooling and breakout emission for optical flares associated with gravitational-wave events. The Astrophysical Journal. 2024;966(1). doi:10.3847/1538-4357/ad2e0b","mla":"Tagawa, Hiromichi, et al. “Shock Cooling and Breakout Emission for Optical Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal, vol. 966, no. 1, 21, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad2e0b.","short":"H. Tagawa, S.S. Kimura, Z. Haiman, R. Perna, I. Bartos, The Astrophysical Journal 966 (2024).","chicago":"Tagawa, Hiromichi, Shigeo S Kimura, Zoltán Haiman, Rosalba Perna, and Imre Bartos. “Shock Cooling and Breakout Emission for Optical Flares Associated with Gravitational-Wave Events.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad2e0b."},"year":"2024","date_published":"2024-04-23T00:00:00Z","extern":"1","publication_status":"published","status":"public","author":[{"first_name":"Hiromichi","full_name":"Tagawa, Hiromichi","last_name":"Tagawa"},{"last_name":"Kimura","first_name":"Shigeo S","full_name":"Kimura, Shigeo S"},{"last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán","first_name":"Zoltán"},{"last_name":"Perna","full_name":"Perna, Rosalba","first_name":"Rosalba"},{"first_name":"Imre","full_name":"Bartos, Imre","last_name":"Bartos"}],"intvolume":" 966","issue":"1","abstract":[{"lang":"eng","text":"The astrophysical origin of stellar-mass black hole (BH) mergers discovered through gravitational waves (GWs) is widely debated. Mergers in the disks of active galactic nuclei (AGNs) represent promising environments for at least a fraction of these events, with possible observational clues in the GW data. An additional clue to unveil AGN merger environments is provided by possible electromagnetic emission from postmerger accreting BHs. Associated with BH mergers in AGN disks, emission from shocks emerging around jets launched by accreting merger remnants is expected. Here we compute the properties of the emission produced during breakout and the subsequent adiabatic expansion phase of the shocks, and we then apply this model to optical flares suggested to be possibly associated with GW events. We find that the majority of the reported flares can be explained by breakout and shock cooling emission. If the optical flares are produced by shock cooling emission, they would display moderate color evolution, possibly color variations among different events, and a positive correlation between delay time and flare duration and would be preceded by breakout emission in X-rays. If the breakout emission dominates the observed lightcurve, we predict the color to be distributed in a narrow range in the optical band and the delay time from GW to electromagnetic emission to be longer than ∼2 days. Hence, further explorations of delay time distributions, flare color evolution, and associated X-ray emission will be useful to test the proposed emission model for the observed flares."}],"oa":1,"publisher":"American Astronomical Society","title":"Shock cooling and breakout emission for optical flares associated with gravitational-wave events","publication":"The Astrophysical Journal","date_created":"2024-09-05T09:38:53Z","date_updated":"2024-09-11T09:15:47Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/1538-4357/ad2e0b"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345"},{"author":[{"first_name":"Matthew T","full_name":"Scoggins, Matthew T","last_name":"Scoggins"},{"last_name":"Haiman","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán"}],"issue":"4","intvolume":" 531","citation":{"chicago":"Scoggins, Matthew T, and Zoltán Haiman. “Diagnosing the Massive-Seed Pathway to High-Redshift Black Holes: Statistics of the Evolving Black Hole to Host Galaxy Mass Ratio.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2024. https://doi.org/10.1093/mnras/stae1449.","short":"M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597.","mla":"Scoggins, Matthew T., and Zoltán Haiman. “Diagnosing the Massive-Seed Pathway to High-Redshift Black Holes: Statistics of the Evolving Black Hole to Host Galaxy Mass Ratio.” Monthly Notices of the Royal Astronomical Society, vol. 531, no. 4, Oxford University Press, 2024, pp. 4584–97, doi:10.1093/mnras/stae1449.","ista":"Scoggins MT, Haiman Z. 2024. Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio. Monthly Notices of the Royal Astronomical Society. 531(4), 4584–4597.","apa":"Scoggins, M. T., & Haiman, Z. (2024). Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stae1449","ama":"Scoggins MT, Haiman Z. Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio. Monthly Notices of the Royal Astronomical Society. 2024;531(4):4584-4597. doi:10.1093/mnras/stae1449","ieee":"M. T. Scoggins and Z. Haiman, “Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio,” Monthly Notices of the Royal Astronomical Society, vol. 531, no. 4. Oxford University Press, pp. 4584–4597, 2024."},"status":"public","publication_status":"published","extern":"1","date_published":"2024-06-13T00:00:00Z","year":"2024","language":[{"iso":"eng"}],"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/https://doi.org/10.1093/mnras/stae1449"}],"date_updated":"2024-09-12T09:08:08Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","publication":"Monthly Notices of the Royal Astronomical Society","title":"Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio","date_created":"2024-09-05T09:43:52Z","publisher":"Oxford University Press","abstract":[{"lang":"eng","text":"Supermassive black holes (SMBHs) with masses of ∼109 M⊙ within the first billion year of the universe challenge our conventional understanding of black hole formation and growth. One pathway to these SMBHs proposes that supermassive stars born in pristine atomic cooling haloes yield massive seed BHs evolving to these early SMBHs. This scenario leads to an overly massive BH galaxy (OMBG), in which the BH to stellar mass ratio is initially Mbh/M* ≥ 1, well in excess of the typical values of ∼10−3 at low redshifts. Previously, we have investigated two massive seed BH candidates from the Renaissance simulation and found that they remain outliers on the Mbh–M* relation until the OMBG merges with a much more massive halo at z = 8. In this work, we use Monte-Carlo merger trees to investigate the evolution of the Mbh–M* relation for 50 000 protogalaxies hosting massive BH seeds, across 10 000 trees that merge into a 1012 M⊙ halo at z = 6. We find that up to 60 per cent (depending on growth parameters) of these OMBGs remain strong outliers for several 100 Myr, down to redshifts detectable with JWST and with sensitive X-ray telescopes. This represents a way to diagnose the massive-seed formation pathway for early SMBHs. We expect to find ∼0.1–1 of these objects per JWST Near Infrared Camera (NIRCam) field per unit redshift at z ≳ 6. Recently detected SMBHs with masses of ∼107 M⊙ and low-inferred stellar-mass hosts may be examples of this population."}],"oa":1,"article_type":"original","volume":531,"_id":"17535","doi":"10.1093/mnras/stae1449","day":"13","publication_identifier":{"issn":["0035-8711","1365-2966"]},"month":"06","type":"journal_article","oa_version":"Published Version","article_processing_charge":"No","page":"4584-4597","scopus_import":"1"},{"type":"journal_article","month":"05","oa_version":"Preprint","article_processing_charge":"No","scopus_import":"1","article_number":"103014","article_type":"original","_id":"17545","volume":109,"doi":"10.1103/physrevd.109.103014","day":"10","publication_identifier":{"issn":["2470-0010","2470-0029"]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","main_file_link":[{"open_access":"1","url":" https://doi.org/10.48550/arXiv.2310.19766"}],"date_updated":"2024-09-18T09:01:52Z","arxiv":1,"title":"Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations","publication":"Physical Review D","date_created":"2024-09-05T10:04:45Z","publisher":"American Physical Society (APS)","abstract":[{"lang":"eng","text":"Self-lensing flares (SLFs) are expected to be produced once or twice per orbit by an accreting massive black hole binary (MBHB), if the eclipsing MBHBs are observed close to edge-on. SLFs can provide valuable electromagnetic (EM) signatures to accompany the gravitational waves (GWs) detectable by the upcoming Laser Interferometer Space Antenna (LISA). EM follow-ups are crucial for, e.g., sky-localization, and constraining the Hubble constant and the graviton mass. We use high-resolution two-dimensional viscous hydrodynamical simulations of a circumbinary disk (CBD) embedding a MBHB. We then use very high-cadence output of these hydrodynamical simulation inputs for a general-relativistic ray-tracing code to produce synthetic spectra and phase-folded light curves. Our main results show a significant periodic amplification of the flux with the characteristic shape of a sharp flare with a central dip, as the foreground black hole (BH) transits across the minidisk and shadow of the background BH, respectively. These corroborate previous conclusions based on the microlensing approximation and analytical toy models of the emission geometry. We also find that at lower inclinations, without some occlusion of the minidisk emission by the CBD, shocks from quasi-periodic mass-trading between the minidisks can produce bright flares which can mimic SLFs and could hinder their identification."}],"oa":1,"author":[{"full_name":"Krauth, Luke Major","first_name":"Luke Major","last_name":"Krauth"},{"full_name":"Davelaar, Jordy","first_name":"Jordy","last_name":"Davelaar"},{"full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","first_name":"Zoltán","last_name":"Haiman"},{"last_name":"Westernacher-Schneider","full_name":"Westernacher-Schneider, John Ryan","first_name":"John Ryan"},{"full_name":"Zrake, Jonathan","first_name":"Jonathan","last_name":"Zrake"},{"full_name":"MacFadyen, Andrew","first_name":"Andrew","last_name":"MacFadyen"}],"intvolume":" 109","issue":"10","citation":{"chicago":"Krauth, Luke Major, Jordy Davelaar, Zoltán Haiman, John Ryan Westernacher-Schneider, Jonathan Zrake, and Andrew MacFadyen. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical Review D. American Physical Society (APS), 2024. https://doi.org/10.1103/physrevd.109.103014.","short":"L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Physical Review D 109 (2024).","mla":"Krauth, Luke Major, et al. “Self-Lensing Flares from Black Hole Binaries: General-Relativistic Ray Tracing of Circumbinary Accretion Simulations.” Physical Review D, vol. 109, no. 10, 103014, American Physical Society (APS), 2024, doi:10.1103/physrevd.109.103014.","ista":"Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. 2024. Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. 109(10), 103014.","ama":"Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. 2024;109(10). doi:10.1103/physrevd.109.103014","ieee":"L. M. Krauth, J. Davelaar, Z. Haiman, J. R. Westernacher-Schneider, J. Zrake, and A. MacFadyen, “Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations,” Physical Review D, vol. 109, no. 10. American Physical Society (APS), 2024.","apa":"Krauth, L. M., Davelaar, J., Haiman, Z., Westernacher-Schneider, J. R., Zrake, J., & MacFadyen, A. (2024). Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations. Physical Review D. American Physical Society (APS). https://doi.org/10.1103/physrevd.109.103014"},"year":"2024","date_published":"2024-05-10T00:00:00Z","extern":"1","publication_status":"published","status":"public","external_id":{"arxiv":["2310.19766"]},"language":[{"iso":"eng"}],"quality_controlled":"1"},{"publisher":"American Astronomical Society","oa":1,"abstract":[{"lang":"eng","text":"We show that gas disks around the components of an orbiting binary system (so-called minidisks) may be susceptible to a resonant instability that causes the minidisks to become significantly eccentric. Eccentricity is injected by, and also induces, regular impacts between the minidisks at roughly the orbital period of the binary. Such eccentric minidisks are seen in vertically integrated, two-dimensional simulations of a circular, equal-mass binary accreting from a circumbinary gas disk with a Γ-law equation of state. Minidisk eccentricity is suppressed by the use of an isothermal equation of state. However, the instability still operates and can be revealed in a minimal disk-binary simulation by removing the circumbinary disk and feeding the minidisks from the component positions. Minidisk eccentricity is also suppressed when the gravitational softening length is large (≳4% of the binary semimajor axis), suggesting that its absence could be an artifact of widely adopted numerical approximations; a follow-up study in three dimensions with well-resolved, geometrically thin minidisks (aspect ratios ≲0.02) may be needed to assess whether eccentric minidisks can occur in real astrophysical environments. If they can, the electromagnetic signature may be important for discriminating between binary and single black hole scenarios for quasiperiodic oscillations in active galactic nuclei; in turn, this might aid in targeted searches with pulsar timing arrays for individual supermassive black hole binary sources of low-frequency gravitational waves."}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2024-09-18T09:16:14Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/1538-4357/ad1a17"}],"date_created":"2024-09-05T10:06:09Z","publication":"The Astrophysical Journal","title":"Eccentric minidisks in accreting binaries","status":"public","extern":"1","publication_status":"published","year":"2024","date_published":"2024-02-08T00:00:00Z","citation":{"mla":"Westernacher-Schneider, John Ryan, et al. “Eccentric Minidisks in Accreting Binaries.” The Astrophysical Journal, vol. 962, no. 1, 76, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad1a17.","ista":"Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. 2024. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 962(1), 76.","ama":"Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 2024;962(1). doi:10.3847/1538-4357/ad1a17","ieee":"J. R. Westernacher-Schneider, J. Zrake, A. MacFadyen, and Z. Haiman, “Eccentric minidisks in accreting binaries,” The Astrophysical Journal, vol. 962, no. 1. American Astronomical Society, 2024.","apa":"Westernacher-Schneider, J. R., Zrake, J., MacFadyen, A., & Haiman, Z. (2024). Eccentric minidisks in accreting binaries. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad1a17","chicago":"Westernacher-Schneider, John Ryan, Jonathan Zrake, Andrew MacFadyen, and Zoltán Haiman. “Eccentric Minidisks in Accreting Binaries.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad1a17.","short":"J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 962 (2024)."},"quality_controlled":"1","language":[{"iso":"eng"}],"issue":"1","intvolume":" 962","author":[{"full_name":"Westernacher-Schneider, John Ryan","first_name":"John Ryan","last_name":"Westernacher-Schneider"},{"last_name":"Zrake","first_name":"Jonathan","full_name":"Zrake, Jonathan"},{"last_name":"MacFadyen","full_name":"MacFadyen, Andrew","first_name":"Andrew"},{"first_name":"Zoltán","full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"}],"article_processing_charge":"No","scopus_import":"1","oa_version":"Published Version","month":"02","type":"journal_article","volume":962,"_id":"17546","publication_identifier":{"issn":["0004-637X","1538-4357"]},"doi":"10.3847/1538-4357/ad1a17","day":"08","article_number":"76","article_type":"original"},{"abstract":[{"lang":"eng","text":"Close encounters between stellar-mass black holes (BHs) and stars occur frequently in dense star clusters and in the disks of active galactic nuclei. Recent studies have shown that in highly eccentric close encounters, the star can be tidally disrupted by the BH in a microtidal disruption event (microTDE), resulting in rapid mass accretion and possibly bright electromagnetic signatures. Here we consider a scenario in which the star might approach the stellar-mass BH in a gradual, nearly circular inspiral, under the influence of dynamical friction in a circum-binary gas disk or three-body interactions in a star cluster. We perform hydrodynamics simulations of this scenario using the smoothed particle hydrodynamics code PHANTOM. We find that under certain circumstances (for initial eccentricity e0 ≳ 0.4 and penetration factor β = 1, or e0 < 0.4 and β ≲ 0.67), the mass of the star is slowly stripped away by the BH. We call this gradual tidal disruption a \"tidal-peeling event.\" Additionally, we discover that some low-eccentricity microTDEs (e0 < 0.4 and β = 1) are a new form of fast luminous transients similar to parabolic microTDEs. Depending on the initial distance and eccentricity of the encounter, these low-eccentricity microTDEs might exhibit significant accretion rates and orbital evolution distinct from those of a typical (eccentric) microTDE."}],"oa":1,"publisher":"American Astronomical Society","title":"“Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole","publication":"The Astrophysical Journal","date_created":"2024-09-05T12:36:41Z","main_file_link":[{"url":"https://doi.org/10.3847/1538-4357/ad11d3","open_access":"1"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","date_updated":"2024-09-19T12:21:53Z","language":[{"iso":"eng"}],"quality_controlled":"1","citation":{"short":"C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961 (2024).","chicago":"Xin, Chengcheng, Zoltán Haiman, Rosalba Perna, Yihan Wang, and Taeho Ryu. “‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption of a Star by a Stellar-Mass Black Hole.” The Astrophysical Journal. American Astronomical Society, 2024. https://doi.org/10.3847/1538-4357/ad11d3.","ista":"Xin C, Haiman Z, Perna R, Wang Y, Ryu T. 2024. “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. 961(2), 149.","apa":"Xin, C., Haiman, Z., Perna, R., Wang, Y., & Ryu, T. (2024). “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. American Astronomical Society. https://doi.org/10.3847/1538-4357/ad11d3","ama":"Xin C, Haiman Z, Perna R, Wang Y, Ryu T. “Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole. The Astrophysical Journal. 2024;961(2). doi:10.3847/1538-4357/ad11d3","ieee":"C. Xin, Z. Haiman, R. Perna, Y. Wang, and T. Ryu, “‘Tidal Peeling Events’: Low-eccentricity tidal disruption of a star by a stellar-mass black hole,” The Astrophysical Journal, vol. 961, no. 2. American Astronomical Society, 2024.","mla":"Xin, Chengcheng, et al. “‘Tidal Peeling Events’: Low-Eccentricity Tidal Disruption of a Star by a Stellar-Mass Black Hole.” The Astrophysical Journal, vol. 961, no. 2, 149, American Astronomical Society, 2024, doi:10.3847/1538-4357/ad11d3."},"year":"2024","date_published":"2024-01-22T00:00:00Z","publication_status":"published","extern":"1","status":"public","author":[{"last_name":"Xin","first_name":"Chengcheng","full_name":"Xin, Chengcheng"},{"first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","full_name":"Haiman, Zoltán","last_name":"Haiman"},{"last_name":"Perna","first_name":"Rosalba","full_name":"Perna, Rosalba"},{"full_name":"Wang, Yihan","first_name":"Yihan","last_name":"Wang"},{"last_name":"Ryu","full_name":"Ryu, Taeho","first_name":"Taeho"}],"intvolume":" 961","issue":"2","scopus_import":"1","article_processing_charge":"No","type":"journal_article","month":"01","oa_version":"Published Version","day":"22","doi":"10.3847/1538-4357/ad11d3","publication_identifier":{"issn":["0004-637X","1538-4357"]},"_id":"17590","volume":961,"article_type":"original","article_number":"149"},{"article_type":"original","article_number":"15","day":"01","tmp":{"short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png"},"doi":"10.1007/s10711-023-00862-3","publication_identifier":{"issn":["0046-5755"],"eissn":["1572-9168"]},"volume":218,"_id":"9651","month":"02","type":"journal_article","oa_version":"Published Version","department":[{"_id":"UlWa"}],"isi":1,"ddc":["510"],"scopus_import":"1","article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","author":[{"last_name":"Dymond","first_name":"Michael","full_name":"Dymond, Michael"},{"first_name":"Vojtech","id":"21AE5134-9EAC-11EA-BEA2-D7BD3DDC885E","orcid":"0000-0002-2512-8698","full_name":"Kaluza, Vojtech","last_name":"Kaluza"}],"intvolume":" 218","external_id":{"pmid":["38021107"],"arxiv":["2102.13046"],"isi":["001105681500001"]},"language":[{"iso":"eng"}],"quality_controlled":"1","OA_type":"hybrid","corr_author":"1","file_date_updated":"2024-07-16T10:14:13Z","citation":{"ista":"Dymond M, Kaluza V. 2024. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 218, 15.","ama":"Dymond M, Kaluza V. Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. 2024;218. doi:10.1007/s10711-023-00862-3","apa":"Dymond, M., & Kaluza, V. (2024). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature. https://doi.org/10.1007/s10711-023-00862-3","ieee":"M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata, vol. 218. Springer Nature, 2024.","mla":"Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata, vol. 218, 15, Springer Nature, 2024, doi:10.1007/s10711-023-00862-3.","short":"M. Dymond, V. Kaluza, Geometriae Dedicata 218 (2024).","chicago":"Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata. Springer Nature, 2024. https://doi.org/10.1007/s10711-023-00862-3."},"publication_status":"published","status":"public","year":"2024","date_published":"2024-02-01T00:00:00Z","publication":"Geometriae Dedicata","title":"Divergence of separated nets with respect to displacement equivalence","acknowledgement":"Open access funding provided by Institute of Science and Technology (IST Austria). This work was started while both authors were employed at the University of Innsbruck and enjoyed the full support of Austrian Science Fund (FWF): P 30902-N35. It was continued when the first named author was employed at University of Leipzig and the second named author was employed at Institute of Science and Technology of Austria, where he was supported by an IST Fellowship.","date_created":"2021-07-14T07:01:27Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"date_updated":"2025-04-23T07:37:26Z","arxiv":1,"OA_place":"publisher","abstract":[{"lang":"eng","text":"We introduce a hierachy of equivalence relations on the set of separated nets of a given Euclidean space, indexed by concave increasing functions ϕ:(0,∞)→(0,∞). Two separated nets are called ϕ-displacement equivalent if, roughly speaking, there is a bijection between them which, for large radii R, displaces points of norm at most R by something of order at most ϕ(R). We show that the spectrum of ϕ-displacement equivalence spans from the established notion of bounded displacement equivalence, which corresponds to bounded ϕ, to the indiscrete equivalence relation, coresponding to ϕ(R)∈Ω(R), in which all separated nets are equivalent. In between the two ends of this spectrum, the notions of ϕ-displacement equivalence are shown to be pairwise distinct with respect to the asymptotic classes of ϕ(R) for R→∞. We further undertake a comparison of our notion of ϕ-displacement equivalence with previously studied relations on separated nets. Particular attention is given to the interaction of the notions of ϕ-displacement equivalence with that of bilipschitz equivalence."}],"file":[{"file_name":"2024_GeometriaeDedicata_Dymond.pdf","file_size":540981,"creator":"dernst","checksum":"9418534ac2f3d6f1f091a8b8ccaed01e","content_type":"application/pdf","relation":"main_file","date_updated":"2024-07-16T10:14:13Z","access_level":"open_access","file_id":"17257","date_created":"2024-07-16T10:14:13Z","success":1}],"oa":1,"publisher":"Springer Nature"},{"department":[{"_id":"GradSch"},{"_id":"VlKo"}],"article_processing_charge":"No","month":"09","type":"preprint","oa_version":"Preprint","day":"12","doi":"10.48550/arXiv.2409.08119","_id":"20071","article_number":"2409.08119","abstract":[{"lang":"eng","text":"Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take \"infinite values\"."}],"OA_place":"repository","oa":1,"keyword":["Farkas lemma","linear programming","extended reals","calculus of inductive constructions"],"related_material":{"link":[{"relation":"software","description":"full version of all definitions, statement, and proofs","url":"https://github.com/madvorak/duality/tree/v3.2"}],"record":[{"relation":"dissertation_contains","id":"21393","status":"public"}]},"publication":"arXiv","title":"Duality theory in linear optimization and its extensions -- formally verified","acknowledgement":"We would like to thank David Bartl and Jasmin Blanchette for frequent consultations. We would also like to express gratitude to Andrew Yang for the proof of Finset.univ sum of zero when not and to Henrik B¨oving for a help with generalization from extended rationals to extended linearly ordered fields. We would also like to acknowledge Antoine Chambert-Loir, Apurva Nakade, Ya¨el Dillies, Richard Copley, Edward van de Meent, Markus Himmel, Mario Carneiro, and Kevin Buzzard.","date_created":"2025-07-23T11:21:52Z","date_updated":"2026-03-27T12:36:59Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2409.08119"}],"language":[{"iso":"eng"}],"external_id":{"arxiv":["2409.08119"]},"citation":{"apa":"Dvorak, M., & Kolmogorov, V. (n.d.). Duality theory in linear optimization and its extensions -- formally  verified. arXiv. https://doi.org/10.48550/arXiv.2409.08119","ieee":"M. Dvorak and V. Kolmogorov, “Duality theory in linear optimization and its extensions -- formally  verified,” arXiv. .","ama":"Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally  verified. arXiv. doi:10.48550/arXiv.2409.08119","ista":"Dvorak M, Kolmogorov V. Duality theory in linear optimization and its extensions -- formally  verified. arXiv, 2409.08119.","mla":"Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, 2409.08119, doi:10.48550/arXiv.2409.08119.","short":"M. Dvorak, V. Kolmogorov, ArXiv (n.d.).","chicago":"Dvorak, Martin, and Vladimir Kolmogorov. “Duality Theory in Linear Optimization and Its Extensions -- Formally  Verified.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2409.08119."},"OA_type":"green","corr_author":"1","status":"public","publication_status":"draft","year":"2024","date_published":"2024-09-12T00:00:00Z","author":[{"last_name":"Dvorak","first_name":"Martin","orcid":"0000-0001-5293-214X","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","full_name":"Dvorak, Martin"},{"full_name":"Kolmogorov, Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","first_name":"Vladimir","last_name":"Kolmogorov"}]},{"publisher":"OpenReview","abstract":[{"lang":"eng","text":"We present PeFLL, a new personalized federated learning algorithm that improves\r\nover the state-of-the-art in three aspects: 1) it produces more accurate models,\r\nespecially in the low-data regime, and not only for clients present during its\r\ntraining phase, but also for any that may emerge in the future; 2) it reduces the\r\namount of on-client computation and client-server communication by providing\r\nfuture clients with ready-to-use personalized models that require no additional\r\nfinetuning or optimization; 3) it comes with theoretical guarantees that establish\r\ngeneralization from the observed clients to future ones.\r\nAt the core of PeFLL lies a learning-to-learn approach that jointly trains an\r\nembedding network and a hypernetwork. The embedding network is used to\r\nrepresent clients in a latent descriptor space in a way that reflects their similarity\r\nto each other. The hypernetwork takes as input such descriptors and outputs the\r\nparameters of fully personalized client models. In combination, both networks\r\nconstitute a learning algorithm that achieves state-of-the-art performance in several\r\npersonalized federated learning benchmarks"}],"file":[{"relation":"main_file","content_type":"application/pdf","checksum":"81b7ea2e667adaf9c7a7b6b376b1f251","creator":"dernst","file_name":"2024_ICLR_Scott.pdf","file_size":1029219,"file_id":"17415","date_created":"2024-08-12T07:38:06Z","success":1,"date_updated":"2024-08-12T07:38:06Z","access_level":"open_access"}],"oa":1,"arxiv":1,"date_updated":"2026-04-07T11:46:11Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","title":"PEFLL: Personalized federated learning by learning to learn","publication":"12th International Conference on Learning Representations","related_material":{"record":[{"status":"public","id":"21198","relation":"dissertation_contains"}]},"date_created":"2024-08-11T22:01:12Z","acknowledgement":"This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp).\r\n","corr_author":"1","file_date_updated":"2024-08-12T07:38:06Z","citation":{"chicago":"Scott, Jonathan A, Hossein Zakerinia, and Christoph Lampert. “PEFLL: Personalized Federated Learning by Learning to Learn.” In 12th International Conference on Learning Representations. OpenReview, 2024.","short":"J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.","mla":"Scott, Jonathan A., et al. “PEFLL: Personalized Federated Learning by Learning to Learn.” 12th International Conference on Learning Representations, OpenReview, 2024.","ista":"Scott JA, Zakerinia H, Lampert C. 2024. PEFLL: Personalized federated learning by learning to learn. 12th International Conference on Learning Representations. ICLR: International Conference on Learning Representations.","ieee":"J. A. Scott, H. Zakerinia, and C. Lampert, “PEFLL: Personalized federated learning by learning to learn,” in 12th International Conference on Learning Representations, Vienna, Austria, 2024.","apa":"Scott, J. A., Zakerinia, H., & Lampert, C. (2024). PEFLL: Personalized federated learning by learning to learn. In 12th International Conference on Learning Representations. Vienna, Austria: OpenReview.","ama":"Scott JA, Zakerinia H, Lampert C. PEFLL: Personalized federated learning by learning to learn. In: 12th International Conference on Learning Representations. OpenReview; 2024."},"date_published":"2024-03-07T00:00:00Z","year":"2024","status":"public","publication_status":"published","external_id":{"arxiv":["2306.05515"]},"language":[{"iso":"eng"}],"acknowledged_ssus":[{"_id":"ScienComp"}],"quality_controlled":"1","author":[{"first_name":"Jonathan A","full_name":"Scott, Jonathan A","id":"e499926b-f6e0-11ea-865d-9c63db0031e8","last_name":"Scott"},{"first_name":"Hossein","id":"653bd8b6-f394-11eb-9cf6-c0bbf6cd78d4","full_name":"Zakerinia, Hossein","orcid":"0009-0007-3977-6462","last_name":"Zakerinia"},{"first_name":"Christoph","orcid":"0000-0001-8622-7887","id":"40C20FD2-F248-11E8-B48F-1D18A9856A87","full_name":"Lampert, Christoph","last_name":"Lampert"}],"has_accepted_license":"1","article_processing_charge":"No","department":[{"_id":"ChLa"}],"scopus_import":"1","ddc":["000"],"type":"conference","month":"03","oa_version":"Published Version","conference":{"start_date":"2024-03-07","location":"Vienna, Austria","name":"ICLR: International Conference on Learning Representations","end_date":"2024-03-07"},"_id":"17411","day":"07"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2406.02416","open_access":"1"}],"date_updated":"2026-04-07T11:46:11Z","arxiv":1,"acknowledgement":"We would like to thank: Mona Chitnis and everyone in the Private Federated Learning team at Apple for their help and support throughout the entire project; Audra McMillan, Martin Pelikan, Anosh Raj and Barry Theobold for feedback on the initial versions of the paper; and Christoph Lampert for valuable feedback on the paper structure and suggestions for additional experiments.","date_created":"2024-09-22T22:01:45Z","publication":"Proceedings of the 41st International Conference on Machine Learning","related_material":{"record":[{"id":"21198","relation":"dissertation_contains","status":"public"}]},"title":"Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials","publisher":"ML Research Press","oa":1,"abstract":[{"text":"In practice, training using federated learning can be orders of magnitude slower than standard centralized training. This severely limits the amount of experimentation and tuning that can be done, making it challenging to obtain good performance on a given task. Server-side proxy data can be used to run training simulations, for instance for hyperparameter tuning. This can greatly speed up the training pipeline by reducing the number of tuning runs to be performed overall on the true clients. However, it is challenging to ensure that these simulations accurately reflect the dynamics of the real federated training. In particular, the proxy data used for simulations often comes as a single centralized dataset without a partition into distinct clients, and partitioning this data in a naive way can lead to simulations that poorly reflect real federated training. In this paper we address the challenge of how to partition centralized data in a way that reflects the statistical heterogeneity of the true federated clients. We propose a fully federated, theoretically justified, algorithm that efficiently learns the distribution of the true clients and observe improved server-side simulations when using the inferred distribution to create simulated clients from the centralized data.","lang":"eng"}],"intvolume":" 235","author":[{"id":"e499926b-f6e0-11ea-865d-9c63db0031e8","full_name":"Scott, Jonathan A","first_name":"Jonathan A","last_name":"Scott"},{"last_name":"Cahill","first_name":"Áine","full_name":"Cahill, Áine"}],"status":"public","publication_status":"published","year":"2024","date_published":"2024-09-01T00:00:00Z","citation":{"ista":"Scott JA, Cahill Á. 2024. Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials. Proceedings of the 41st International Conference on Machine Learning. ICML: International Conference on Machine Learning, PMLR, vol. 235, 44012–44037.","ama":"Scott JA, Cahill Á. Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials. In: Proceedings of the 41st International Conference on Machine Learning. Vol 235. ML Research Press; 2024:44012-44037.","apa":"Scott, J. A., & Cahill, Á. (2024). Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials. In Proceedings of the 41st International Conference on Machine Learning (Vol. 235, pp. 44012–44037). Vienna, Austria: ML Research Press.","ieee":"J. A. Scott and Á. Cahill, “Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials,” in Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 44012–44037.","mla":"Scott, Jonathan A., and Áine Cahill. “Improved Modelling of Federated Datasets Using Mixtures-of-Dirichlet-Multinomials.” Proceedings of the 41st International Conference on Machine Learning, vol. 235, ML Research Press, 2024, pp. 44012–37.","short":"J.A. Scott, Á. Cahill, in:, Proceedings of the 41st International Conference on Machine Learning, ML Research Press, 2024, pp. 44012–44037.","chicago":"Scott, Jonathan A, and Áine Cahill. “Improved Modelling of Federated Datasets Using Mixtures-of-Dirichlet-Multinomials.” In Proceedings of the 41st International Conference on Machine Learning, 235:44012–37. ML Research Press, 2024."},"corr_author":"1","alternative_title":["PMLR"],"quality_controlled":"1","external_id":{"arxiv":["2406.02416"]},"language":[{"iso":"eng"}],"oa_version":"Preprint","month":"09","type":"conference","article_processing_charge":"No","scopus_import":"1","page":"44012-44037","department":[{"_id":"ChLa"}],"volume":235,"_id":"18120","conference":{"name":"ICML: International Conference on Machine Learning","end_date":"2024-07-27","location":"Vienna, Austria","start_date":"2024-07-21"},"publication_identifier":{"eissn":["2640-3498"]},"day":"01"}]