--- _id: '17413' abstract: - lang: eng text: Certification helps to increase trust in formal verification of safety-critical systems which require assurance on their correctness. In hardware model checking, a widely used formal verification technique, phase abstraction is considered one of the most commonly used preprocessing techniques. We present an approach to certify an extended form of phase abstraction using a generic certificate format. As in earlier works our approach involves constructing a witness circuit with an inductive invariant property that certifies the correctness of the entire model checking process, which is then validated by an independent certificate checker. We have implemented and evaluated the proposed approach including certification for various preprocessing configurations on hardware model checking competition benchmarks. As an improvement on previous work in this area, the proposed method is able to efficiently complete certification with an overhead of a fraction of model checking time. acknowledgement: This work is supported by the Austrian Science Fund (FWF) under the project W1255-N23, the LIT AI Lab funded by the State of Upper Austria, the ERC-2020-AdG 101020093, the Academy of Finland under the project 336092 and by a gift from Intel Corporation. alternative_title: - LNCS article_processing_charge: Yes (in subscription journal) arxiv: 1 author: - first_name: Nils full_name: Froleyks, Nils last_name: Froleyks - first_name: Zhengqi full_name: Yu, Zhengqi id: 20aa2ae8-f2f1-11ed-bbfa-8205053f1342 last_name: Yu - first_name: Armin full_name: Biere, Armin last_name: Biere - first_name: Keijo full_name: Heljanko, Keijo last_name: Heljanko citation: ama: 'Froleyks N, Yu E, Biere A, Heljanko K. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 14739. Springer Nature; 2024:284-303. doi:10.1007/978-3-031-63498-7_17' apa: 'Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/10.1007/978-3-031-63498-7_17' chicago: Froleyks, Nils, Emily Yu, Armin Biere, and Keijo Heljanko. “Certifying Phase Abstraction.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14739:284–303. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-63498-7_17. ieee: N. Froleyks, E. Yu, A. Biere, and K. Heljanko, “Certifying phase abstraction,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Nancy, France, 2024, vol. 14739, pp. 284–303. ista: 'Froleyks N, Yu E, Biere A, Heljanko K. 2024. Certifying phase abstraction. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). IJCAR: International Joint Conference on Automated Reasoning, LNCS, vol. 14739, 284–303.' mla: Froleyks, Nils, et al. “Certifying Phase Abstraction.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14739, Springer Nature, 2024, pp. 284–303, doi:10.1007/978-3-031-63498-7_17. short: N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303. conference: end_date: 2024-07-06 location: Nancy, France name: 'IJCAR: International Joint Conference on Automated Reasoning' start_date: 2024-07-03 date_created: 2024-08-11T22:01:13Z date_published: 2024-07-01T00:00:00Z date_updated: 2025-09-08T08:49:53Z day: '01' ddc: - '000' department: - _id: ToHe doi: 10.1007/978-3-031-63498-7_17 ec_funded: 1 external_id: arxiv: - '2405.04297' isi: - '001273489700017' file: - access_level: open_access checksum: 7d7839fc8c5c680ea3ac09f40a66e55d content_type: application/pdf creator: dernst date_created: 2024-08-12T06:53:39Z date_updated: 2024-08-12T06:53:39Z file_id: '17414' file_name: 2024_LNCS_Froleyks.pdf file_size: 556902 relation: main_file success: 1 file_date_updated: 2024-08-12T06:53:39Z fulldoi: https://doi.org/10.1007/978-3-031-63498-7_17 has_accepted_license: '1' intvolume: ' 14739' isi: 1 language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: 284-303 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) publication_identifier: eissn: - 1611-3349 isbn: - '9783031634970' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Certifying phase abstraction tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 14739 year: '2024' ... --- _id: '17423' abstract: - lang: eng text: We introduce an algorithm to reconstruct a mesh from discrete samples of a shape’s Signed Distance Function (SDF). A simple geometric reinterpretation of the SDF lets us formulate the problem through a point cloud, from which a surface can be extracted with existing techniques. We extract all possible information from the SDF data, outperforming commonly used algorithms and imposing no topological or geometric restrictions. article_number: '23' article_processing_charge: No author: - first_name: Silvia full_name: Sellán, Silvia last_name: Sellán - first_name: Yingying full_name: Ren, Yingying id: 93d68d10-3540-11ef-a265-f748a50dba3d last_name: Ren - first_name: Christopher full_name: Batty, Christopher last_name: Batty - first_name: Oded full_name: Stein, Oded last_name: Stein citation: ama: 'Sellán S, Ren Y, Batty C, Stein O. Reach for the arcs: Reconstructing surfaces from SDFs via tangent points. In: SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference. Association for Computing Machinery; 2024. doi:10.1145/3641519.3657419' apa: 'Sellán, S., Ren, Y., Batty, C., & Stein, O. (2024). Reach for the arcs: Reconstructing surfaces from SDFs via tangent points. In SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference. Denver, CO, United States: Association for Computing Machinery. https://doi.org/10.1145/3641519.3657419' chicago: 'Sellán, Silvia, Yingying Ren, Christopher Batty, and Oded Stein. “Reach for the Arcs: Reconstructing Surfaces from SDFs via Tangent Points.” In SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference. Association for Computing Machinery, 2024. https://doi.org/10.1145/3641519.3657419.' ieee: 'S. Sellán, Y. Ren, C. Batty, and O. Stein, “Reach for the arcs: Reconstructing surfaces from SDFs via tangent points,” in SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Denver, CO, United States, 2024.' ista: 'Sellán S, Ren Y, Batty C, Stein O. 2024. Reach for the arcs: Reconstructing surfaces from SDFs via tangent points. SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 23.' mla: 'Sellán, Silvia, et al. “Reach for the Arcs: Reconstructing Surfaces from SDFs via Tangent Points.” SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference, 23, Association for Computing Machinery, 2024, doi:10.1145/3641519.3657419.' short: 'S. Sellán, Y. Ren, C. Batty, O. Stein, in:, SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Association for Computing Machinery, 2024.' conference: end_date: 2024-08-01 location: Denver, CO, United States name: 'SIGGRAPH: Computer Graphics and Interactive Techniques Conference' start_date: 2024-07-27 date_created: 2024-08-12T10:02:58Z date_published: 2024-07-13T00:00:00Z date_updated: 2024-08-12T10:11:19Z day: '13' doi: 10.1145/3641519.3657419 extern: '1' fulldoi: https://doi.org/10.1145/3641519.3657419 language: - iso: eng month: '07' oa_version: None publication: 'SIGGRAPH ''24: Special Interest Group on Computer Graphics and Interactive Techniques Conference' publication_identifier: isbn: - '9798400705250' publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: 'Reach for the arcs: Reconstructing surfaces from SDFs via tangent points' type: conference user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 year: '2024' ... --- _id: '17424' abstract: - lang: eng text: "Surface-based inflatables are composed of two thin layers of nearly inextensible sheet material joined together along carefully selected fusing curves. During inflation, pressure forces separate the two sheets to maximize the enclosed volume. The fusing curves restrict this expansion, leading to a spatially varying in-plane contraction and hence metric frustration. The inflated structure settles into a 3D equilibrium that balances pressure forces with the internal elastic forces of the sheets.\r\nWe present a computational framework for analyzing and designing surface-based inflatable structures with arbitrary fusing patterns. Our approach employs numerical homogenization to characterize the behavior of parametric families of periodic inflatable patch geometries, which can then be combined to tessellate the sheet with smoothly varying patterns. We propose a novel parametrization of the underlying deformation space that allows accurate, efficient, and systematical analysis of the stretching and bending behavior of inflated patches with potentially open boundaries.\r\nWe apply our homogenization algorithm to create a database of geometrically diverse fusing patterns spanning a wide range of material properties and deformation characteristics. This database is employed in an inverse design algorithm that solves for fusing curves to best approximate a given input target surface. Local patches are selected and blended to form a global network of curves based on a geometric flattening algorithm. These fusing curves are then further optimized to minimize the distance of the deployed structure to target surface. We show that this approach offers greater flexibility to approximate given target geometries compared to previous work while significantly improving structural performance." article_number: '87' article_processing_charge: No article_type: original author: - first_name: Yingying full_name: Ren, Yingying id: 93d68d10-3540-11ef-a265-f748a50dba3d last_name: Ren - first_name: Julian full_name: Panetta, Julian last_name: Panetta - first_name: Seiichi full_name: Suzuki, Seiichi last_name: Suzuki - first_name: Uday full_name: Kusupati, Uday last_name: Kusupati - first_name: Florin full_name: Isvoranu, Florin last_name: Isvoranu - first_name: Mark full_name: Pauly, Mark last_name: Pauly citation: ama: Ren Y, Panetta J, Suzuki S, Kusupati U, Isvoranu F, Pauly M. Computational homogenization for inverse design of surface-based inflatables. ACM Transactions on Graphics. 2024;43(4). doi:10.1145/3658125 apa: Ren, Y., Panetta, J., Suzuki, S., Kusupati, U., Isvoranu, F., & Pauly, M. (2024). Computational homogenization for inverse design of surface-based inflatables. ACM Transactions on Graphics. Association for Computing Machinery. https://doi.org/10.1145/3658125 chicago: Ren, Yingying, Julian Panetta, Seiichi Suzuki, Uday Kusupati, Florin Isvoranu, and Mark Pauly. “Computational Homogenization for Inverse Design of Surface-Based Inflatables.” ACM Transactions on Graphics. Association for Computing Machinery, 2024. https://doi.org/10.1145/3658125. ieee: Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, and M. Pauly, “Computational homogenization for inverse design of surface-based inflatables,” ACM Transactions on Graphics, vol. 43, no. 4. Association for Computing Machinery, 2024. ista: Ren Y, Panetta J, Suzuki S, Kusupati U, Isvoranu F, Pauly M. 2024. Computational homogenization for inverse design of surface-based inflatables. ACM Transactions on Graphics. 43(4), 87. mla: Ren, Yingying, et al. “Computational Homogenization for Inverse Design of Surface-Based Inflatables.” ACM Transactions on Graphics, vol. 43, no. 4, 87, Association for Computing Machinery, 2024, doi:10.1145/3658125. short: Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, M. Pauly, ACM Transactions on Graphics 43 (2024). date_created: 2024-08-12T10:03:38Z date_published: 2024-07-19T00:00:00Z date_updated: 2024-08-12T10:08:13Z day: '19' doi: 10.1145/3658125 extern: '1' fulldoi: https://doi.org/10.1145/3658125 intvolume: ' 43' issue: '4' language: - iso: eng month: '07' oa_version: None publication: ACM Transactions on Graphics publication_identifier: eissn: - 1557-7368 issn: - 0730-0301 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: Computational homogenization for inverse design of surface-based inflatables type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 43 year: '2024' ... --- _id: '17449' abstract: - lang: eng text: We prove that the $k$-th positive integer moment of partial sums of Steinhaus random multiplicative functions over the interval $(x, x+H]$ matches the corresponding Gaussian moment, as long as $H\ll x/(\log x)^{2k^2+2+o(1)}$ and $H$ tends to infinity with $x$. We show that properly normalized partial sums of typical multiplicative functions arising from realizations of random multiplicative functions have Gaussian limiting distribution in short moving intervals $(x, x+H]$ with $H\ll X/(\log X)^{W(X)}$ tending to infinity with $X$, where $x$ is uniformly chosen from $\{1,2,\dots, X\}$, and $W(X)$ tends to infinity with $X$ arbitrarily slowly. This makes some initial progress on a recent question of Harper. acknowledgement: "We thank Andrew Granville and the anonymous referee for many detailed comments that led us to significantly improve the results and presentation of our work. We thank and Adam Harper for helpful discussions and useful comments and corrections on earlier versions. We also thank Yuqiu Fu, Larry Guth, Kannan Soundararajan, Katharine Woo, and Liyang Yang for helpful discussions. Finally, we thank Peter Sarnak for introducing us (the authors) to each other during the “50 Years of Number Theory and Random Matrix Theory” Conference at IAS and making the collaboration possible. \r\nOpen Access made possible by participating institutions via Subscribe to Open." article_processing_charge: Yes (via OA deal) article_type: original arxiv: 1 author: - first_name: Mayank full_name: Pandey, Mayank last_name: Pandey - first_name: Victor full_name: Wang, Victor id: 76096395-aea4-11ed-a680-ab8ebbd3f1b9 last_name: Wang orcid: 0000-0002-0704-7026 - first_name: Max Wenqiang full_name: Xu, Max Wenqiang last_name: Xu citation: ama: Pandey M, Wang V, Xu MW. Partial sums of typical multiplicative functions over short moving intervals. Algebra & Number Theory. 2024;18(2):389-408. doi:10.2140/ant.2024.18.389 apa: Pandey, M., Wang, V., & Xu, M. W. (2024). Partial sums of typical multiplicative functions over short moving intervals. Algebra & Number Theory. Mathematical Sciences Publishers. https://doi.org/10.2140/ant.2024.18.389 chicago: Pandey, Mayank, Victor Wang, and Max Wenqiang Xu. “Partial Sums of Typical Multiplicative Functions over Short Moving Intervals.” Algebra & Number Theory. Mathematical Sciences Publishers, 2024. https://doi.org/10.2140/ant.2024.18.389. ieee: M. Pandey, V. Wang, and M. W. Xu, “Partial sums of typical multiplicative functions over short moving intervals,” Algebra & Number Theory, vol. 18, no. 2. Mathematical Sciences Publishers, pp. 389–408, 2024. ista: Pandey M, Wang V, Xu MW. 2024. Partial sums of typical multiplicative functions over short moving intervals. Algebra & Number Theory. 18(2), 389–408. mla: Pandey, Mayank, et al. “Partial Sums of Typical Multiplicative Functions over Short Moving Intervals.” Algebra & Number Theory, vol. 18, no. 2, Mathematical Sciences Publishers, 2024, pp. 389–408, doi:10.2140/ant.2024.18.389. short: M. Pandey, V. Wang, M.W. Xu, Algebra & Number Theory 18 (2024) 389–408. date_created: 2024-08-20T08:48:26Z date_published: 2024-02-06T00:00:00Z date_updated: 2024-08-21T06:58:43Z day: '06' ddc: - '510' doi: 10.2140/ant.2024.18.389 extern: '1' external_id: arxiv: - '2207.11758' file: - access_level: open_access checksum: 1e3467a14de754bf8d3bff03a015e1ce content_type: application/pdf creator: dernst date_created: 2024-08-21T06:46:56Z date_updated: 2024-08-21T06:46:56Z file_id: '17455' file_name: 2024_AlgebraNumberTheory_Pandey.pdf file_size: 1401725 relation: main_file success: 1 file_date_updated: 2024-08-21T06:46:56Z fulldoi: https://doi.org/10.2140/ant.2024.18.389 has_accepted_license: '1' intvolume: ' 18' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.48550/arXiv.2207.11758 month: '02' oa: 1 oa_version: Published Version page: 389-408 publication: Algebra & Number Theory publication_identifier: eissn: - 1944-7833 issn: - 1937-0652 publication_status: published publisher: Mathematical Sciences Publishers quality_controlled: '1' scopus_import: '1' status: public title: Partial sums of typical multiplicative functions over short moving intervals tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 18 year: '2024' ... --- OA_place: publisher OA_type: hybrid _id: '17461' abstract: - lang: eng text: Socially living animals can counteract disease through cooperative defences, leading to social immunity that collectively exceeds the sum of individual defences. In superorganismal colonies of social insects with permanent caste separation between reproductive queen(s) and nonreproducing workers, workers are obligate altruists and thus engage in unconditional social immunity, including highly specialised and self-sacrificial hygiene behaviours. Contrastingly, cooperation is facultative in cooperatively breeding families, where all members are reproductively totipotent but offspring transiently forgo reproduction to help their parents rear more siblings. Here, helpers should either express condition-dependent social immunity or disperse to pursue independent reproduction. We advocate inclusive fitness theory as a framework to predict when and how indirect fitness gains may outweigh direct fitness costs, thus favouring conditional social immunity. acknowledgement: We thank Koos Boomsma and two anonymous reviewers for their constructive comments on the manuscript. article_processing_charge: Yes (via OA deal) article_type: original author: - first_name: Sylvia full_name: Cremer, Sylvia id: 2F64EC8C-F248-11E8-B48F-1D18A9856A87 last_name: Cremer orcid: 0000-0002-2193-3868 - first_name: Christopher full_name: Pull, Christopher id: 3C7F4840-F248-11E8-B48F-1D18A9856A87 last_name: Pull orcid: 0000-0003-1122-3982 citation: ama: Cremer S, Pull C. Unconditional versus condition-dependent social immunity. Trends in Parasitology. 2024;40(9):780-787. doi:10.1016/j.pt.2024.07.014 apa: Cremer, S., & Pull, C. (2024). Unconditional versus condition-dependent social immunity. Trends in Parasitology. Elsevier. https://doi.org/10.1016/j.pt.2024.07.014 chicago: Cremer, Sylvia, and Christopher Pull. “Unconditional versus Condition-Dependent Social Immunity.” Trends in Parasitology. Elsevier, 2024. https://doi.org/10.1016/j.pt.2024.07.014. ieee: S. Cremer and C. Pull, “Unconditional versus condition-dependent social immunity,” Trends in Parasitology, vol. 40, no. 9. Elsevier, pp. 780–787, 2024. ista: Cremer S, Pull C. 2024. Unconditional versus condition-dependent social immunity. Trends in Parasitology. 40(9), 780–787. mla: Cremer, Sylvia, and Christopher Pull. “Unconditional versus Condition-Dependent Social Immunity.” Trends in Parasitology, vol. 40, no. 9, Elsevier, 2024, pp. 780–87, doi:10.1016/j.pt.2024.07.014. short: S. Cremer, C. Pull, Trends in Parasitology 40 (2024) 780–787. corr_author: '1' date_created: 2024-08-25T22:01:08Z date_published: 2024-09-01T00:00:00Z date_updated: 2025-09-08T09:01:42Z day: '01' ddc: - '570' department: - _id: SyCr doi: 10.1016/j.pt.2024.07.014 external_id: isi: - '001307815700001' pmid: - '39152078' file: - access_level: open_access checksum: 362fc994e5df66caf3025b7dc437b647 content_type: application/pdf creator: dernst date_created: 2025-01-09T13:46:05Z date_updated: 2025-01-09T13:46:05Z file_id: '18816' file_name: 2024_TrendsParasitology_Cremer.pdf file_size: 1068464 relation: main_file success: 1 file_date_updated: 2025-01-09T13:46:05Z fulldoi: https://doi.org/10.1016/j.pt.2024.07.014 has_accepted_license: '1' intvolume: ' 40' isi: 1 issue: '9' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 780-787 pmid: 1 publication: Trends in Parasitology publication_identifier: eissn: - 1471-5007 issn: - 1471-4922 publication_status: published publisher: Elsevier quality_controlled: '1' scopus_import: '1' status: public title: Unconditional versus condition-dependent social immunity tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 40 year: '2024' ... --- _id: '17476' abstract: - lang: eng 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 \U0001D45B2. The extracted \U0001D45B2 values for CsPbBr3 and MAPbBr3 at \U0001D706≈1µ⁢m are \U0001D45B2=+2.1×10−14cm2/W and \U0001D45B2=+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." acknowledgement: "We gratefully acknowledge the assistance of Prof. John\r\nDudley." article_number: '085403' article_processing_charge: No article_type: original author: - first_name: Dusan full_name: Lorenc, Dusan id: 40D8A3E6-F248-11E8-B48F-1D18A9856A87 last_name: Lorenc - first_name: Ayan full_name: Zhumekenov, Ayan last_name: Zhumekenov - first_name: Osman M. full_name: Bakr, Osman M. last_name: Bakr - first_name: Zhanybek full_name: Alpichshev, Zhanybek id: 45E67A2A-F248-11E8-B48F-1D18A9856A87 last_name: Alpichshev orcid: 0000-0002-7183-5203 citation: 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' 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' 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.' 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). corr_author: '1' date_created: 2024-09-01T22:01:08Z date_published: 2024-08-23T00:00:00Z date_updated: 2025-09-08T09:06:34Z day: '23' department: - _id: ZhAl doi: 10.1103/PhysRevMaterials.8.085403 external_id: isi: - '001299497800001' fulldoi: https://doi.org/10.1103/PhysRevMaterials.8.085403 intvolume: ' 8' isi: 1 issue: '8' language: - iso: eng month: '08' oa_version: None publication: Physical Review Materials publication_identifier: eissn: - 2475-9953 publication_status: published publisher: American Physical Society quality_controlled: '1' scopus_import: '1' status: public title: 'No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry' type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 8 year: '2024' ... --- OA_place: publisher OA_type: hybrid _id: '17479' abstract: - lang: eng 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. 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.' article_processing_charge: No article_type: original arxiv: 1 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 - first_name: Ana I.F. full_name: Tresguerres-Mata, Ana I.F. last_name: Tresguerres-Mata - first_name: Christian full_name: Lanza, Christian last_name: Lanza - first_name: Abel full_name: Martínez-Suárez, Abel last_name: Martínez-Suárez - first_name: Gonzalo full_name: Álvarez-Pérez, Gonzalo last_name: Álvarez-Pérez - first_name: Jiahua full_name: Duan, Jiahua last_name: Duan - first_name: José Ignacio full_name: Martín, José Ignacio last_name: Martín - first_name: María full_name: Vélez, María last_name: Vélez - first_name: Ivan full_name: Prieto Gonzalez, Ivan id: 2A307FE2-F248-11E8-B48F-1D18A9856A87 last_name: Prieto Gonzalez orcid: 0000-0002-7370-5357 - first_name: Adrien full_name: Bercher, Adrien last_name: Bercher - first_name: Jérémie full_name: Teyssier, Jérémie last_name: Teyssier - first_name: Ion full_name: Errea, Ion last_name: Errea - first_name: Alexey Y. full_name: Nikitin, Alexey Y. last_name: Nikitin - first_name: Javier full_name: Martín-Sánchez, Javier last_name: Martín-Sánchez - first_name: Alexey B. full_name: Kuzmenko, Alexey B. last_name: Kuzmenko - first_name: Pablo full_name: Alonso-González, Pablo last_name: Alonso-González 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 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. 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. date_created: 2024-09-01T22:01:09Z date_published: 2024-09-01T00:00:00Z date_updated: 2025-09-08T09:05:01Z day: '01' ddc: - '530' department: - _id: NanoFab doi: 10.1021/acsphotonics.4c00485 external_id: arxiv: - '2408.09811' isi: - '001298164600001' pmid: - '39310295' file: - access_level: open_access checksum: bd7e6a138c406e93eaf0a6268fc42bfe content_type: application/pdf creator: dernst date_created: 2025-01-09T14:01:06Z date_updated: 2025-01-09T14:01:06Z file_id: '18819' file_name: 2024_ACSPhotonics_TaboadaGutierrez_.pdf file_size: 2664512 relation: main_file success: 1 file_date_updated: 2025-01-09T14:01:06Z fulldoi: https://doi.org/10.1021/acsphotonics.4c00485 has_accepted_license: '1' intvolume: ' 11' isi: 1 issue: '9' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: 3570-3577 pmid: 1 publication: ACS Photonics publication_identifier: eissn: - 2330-4022 publication_status: published publisher: American Chemical Society quality_controlled: '1' scopus_import: '1' status: public title: Unveiling the mechanism of phonon-polariton damping in α‑MoO3 tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 11 year: '2024' ... --- OA_place: publisher OA_type: hybrid _id: '17480' abstract: - lang: eng text: One of the most promising approaches towards large-scale quantum computation uses devices based on many Josephson junctions. Yet, even today, open questions regarding the single junction remain unsolved, such as the detailed understanding of the quantum phase transitions, the coupling of the Josephson junction to the environment or how to improve the coherence of a superconducting qubit. Here we design and build an engineered on-chip reservoir connected to a Josephson junction that acts as an efficient bolometer for detecting the Josephson radiation under non-equilibrium, that is, biased conditions. The bolometer converts the a.c. Josephson current at microwave frequencies up to about 100 GHz into a temperature rise measured by d.c. thermometry. A circuit model based on realistic parameter values captures both the current–voltage characteristics and the measured power quantitatively. The present experiment demonstrates an efficient, wide-band, thermal detection scheme of microwave photons and provides a sensitive detector of Josephson dynamics beyond the standard conductance measurements. acknowledgement: We thank M. Möttönen, D. Subero, V. Vadimov, A. Alizadeh, C. Strunk, N. Roch, S. Kafanov, S. Kubatkin, A. Kerman and J. Peltonen for scientific discussions and Z.-Y. Chen for technical assistance. B.K. and J.P.P. acknowledge funding from the Research Council of Finland Centre of Excellence programme grant 336810 and grant 349601 (THEPOW), G.O.S. and A.L.Y. financial support from the Spanish Ministry of Science through grant TED2021-130292B-C43 funded by MCIN/AEI/10.13039/501100011033, ‘ERDF A way of making Europe’ and the EU through FET-Open project AndQC, A.P.H. support from the NOMIS Foundation, and C.M.M. support from the Danish National Research Foundation and a research grant (Project 43951) from VILLUM FONDEN. We thank the facilities and technical support of Otaniemi Research Infrastructure for Micro and Nanotechnologies (OtaNano). The funders had no role in study design, data collection and analysis, decision to publish or preparation of the paper. article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Bayan full_name: Karimi, Bayan last_name: Karimi - first_name: Gorm Ole full_name: Steffensen, Gorm Ole last_name: Steffensen - first_name: Andrew P full_name: Higginbotham, Andrew P id: 4AD6785A-F248-11E8-B48F-1D18A9856A87 last_name: Higginbotham orcid: 0000-0003-2607-2363 - first_name: Charles M. full_name: Marcus, Charles M. last_name: Marcus - first_name: Alfredo full_name: Levy Yeyati, Alfredo last_name: Levy Yeyati - first_name: Jukka P. full_name: Pekola, Jukka P. last_name: Pekola citation: ama: Karimi B, Steffensen GO, Higginbotham AP, Marcus CM, Levy Yeyati A, Pekola JP. Bolometric detection of Josephson radiation. Nature Nanotechnology. 2024;19:1613-1618. doi:10.1038/s41565-024-01770-7 apa: Karimi, B., Steffensen, G. O., Higginbotham, A. P., Marcus, C. M., Levy Yeyati, A., & Pekola, J. P. (2024). Bolometric detection of Josephson radiation. Nature Nanotechnology. Springer Nature. https://doi.org/10.1038/s41565-024-01770-7 chicago: Karimi, Bayan, Gorm Ole Steffensen, Andrew P Higginbotham, Charles M. Marcus, Alfredo Levy Yeyati, and Jukka P. Pekola. “Bolometric Detection of Josephson Radiation.” Nature Nanotechnology. Springer Nature, 2024. https://doi.org/10.1038/s41565-024-01770-7. ieee: B. Karimi, G. O. Steffensen, A. P. Higginbotham, C. M. Marcus, A. Levy Yeyati, and J. P. Pekola, “Bolometric detection of Josephson radiation,” Nature Nanotechnology, vol. 19. Springer Nature, pp. 1613–1618, 2024. ista: Karimi B, Steffensen GO, Higginbotham AP, Marcus CM, Levy Yeyati A, Pekola JP. 2024. Bolometric detection of Josephson radiation. Nature Nanotechnology. 19, 1613–1618. mla: Karimi, Bayan, et al. “Bolometric Detection of Josephson Radiation.” Nature Nanotechnology, vol. 19, Springer Nature, 2024, pp. 1613–18, doi:10.1038/s41565-024-01770-7. short: B. Karimi, G.O. Steffensen, A.P. Higginbotham, C.M. Marcus, A. Levy Yeyati, J.P. Pekola, Nature Nanotechnology 19 (2024) 1613–1618. date_created: 2024-09-01T22:01:09Z date_published: 2024-11-01T00:00:00Z date_updated: 2026-06-03T07:16:01Z day: '01' ddc: - '530' department: - _id: AnHi doi: 10.1038/s41565-024-01770-7 external_id: arxiv: - '2402.09314' isi: - '001296522000002' file: - access_level: open_access checksum: 8b067ef217ddef63c539ecdfe705ab95 content_type: application/pdf creator: dernst date_created: 2025-01-09T13:51:12Z date_updated: 2025-01-09T13:51:12Z file_id: '18818' file_name: 2024_NatureNanotechnology_Karimi.pdf file_size: 3047567 relation: main_file success: 1 file_date_updated: 2025-01-09T13:51:12Z fulldoi: https://doi.org/10.1038/s41565-024-01770-7 has_accepted_license: '1' intvolume: ' 19' isi: 1 language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: 1613-1618 project: - _id: eb9b30ac-77a9-11ec-83b8-871f581d53d2 name: Protected states of quantum matter publication: Nature Nanotechnology publication_identifier: eissn: - 1748-3395 issn: - 1748-3387 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Bolometric detection of Josephson radiation tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 19 year: '2024' ... --- _id: '17495' 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. article_processing_charge: No article_type: original author: - first_name: Lennard full_name: Gäher, Lennard last_name: Gäher - first_name: Michael Joachim full_name: Sammler, Michael Joachim id: 510d3901-2a03-11ee-914d-d9ae9011f0a7 last_name: Sammler - first_name: Ralf full_name: Jung, Ralf last_name: Jung - first_name: Robbert full_name: Krebbers, Robbert last_name: Krebbers - first_name: Derek full_name: Dreyer, Derek last_name: Dreyer citation: 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' 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.' 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.' 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.' 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. date_created: 2024-09-05T07:52:27Z date_published: 2024-06-20T00:00:00Z date_updated: 2024-09-10T07:16:49Z day: '20' doi: 10.1145/3656422 extern: '1' fulldoi: https://doi.org/10.1145/3656422 intvolume: ' 8' issue: PLDI language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1145/3656422 month: '06' oa: 1 oa_version: Published Version page: 1115-1139 publication: Proceedings of the ACM on Programming Languages publication_identifier: issn: - 2475-1421 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: 'RefinedRust: A type system for high-assurance verification of rust programs' type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 8 year: '2024' ... --- _id: '17497' 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.' article_processing_charge: No article_type: original author: - first_name: Simon full_name: Spies, Simon last_name: Spies - first_name: Lennard full_name: Gäher, Lennard last_name: Gäher - first_name: Michael Joachim full_name: Sammler, Michael Joachim id: 510d3901-2a03-11ee-914d-d9ae9011f0a7 last_name: Sammler - first_name: Derek full_name: Dreyer, Derek last_name: Dreyer citation: 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' 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' 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.' 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.' 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.' 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.' short: S. Spies, L. Gäher, M.J. Sammler, D. Dreyer, Proceedings of the ACM on Programming Languages 8 (2024) 889–913. date_created: 2024-09-05T08:10:41Z date_published: 2024-06-20T00:00:00Z date_updated: 2024-09-10T12:00:57Z day: '20' doi: 10.1145/3656413 extern: '1' fulldoi: https://doi.org/10.1145/3656413 intvolume: ' 8' issue: PLDI language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1145/3656413 month: '06' oa: 1 oa_version: Published Version page: 889-913 publication: Proceedings of the ACM on Programming Languages publication_identifier: issn: - 2475-1421 publication_status: published publisher: Association for Computing Machinery quality_controlled: '1' scopus_import: '1' status: public title: 'Quiver: Guided abductive inference of separation logic specifications in coq' type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 8 year: '2024' ... --- _id: '17517' abstract: - lang: eng 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. article_number: '104' article_processing_charge: No article_type: original author: - first_name: M. Lynne full_name: Saade, M. Lynne last_name: Saade - 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 - first_name: S. G. full_name: Djorgovski, S. G. last_name: Djorgovski - first_name: Daniel J. full_name: D’Orazio, Daniel J. last_name: D’Orazio - first_name: K. E. S. full_name: Ford, K. E. S. last_name: Ford - first_name: Matthew J. full_name: Graham, Matthew J. last_name: Graham - first_name: Zoltán full_name: Haiman, Zoltán id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36 last_name: Haiman - first_name: Hyunsung D. full_name: Jun, Hyunsung D. last_name: Jun - first_name: Elias full_name: Kammoun, Elias last_name: Kammoun - first_name: Ralph P. full_name: Kraft, Ralph P. last_name: Kraft - first_name: Barry full_name: McKernan, Barry last_name: McKernan - first_name: Alexei full_name: Vikhlinin, Alexei last_name: Vikhlinin - first_name: Dominic J. full_name: Walton, Dominic J. last_name: Walton citation: 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 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 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. 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. 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. 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. 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). date_created: 2024-09-05T08:57:37Z date_published: 2024-04-29T00:00:00Z date_updated: 2024-09-10T14:31:31Z day: '29' doi: 10.3847/1538-4357/ad372e extern: '1' fulldoi: https://doi.org/10.3847/1538-4357/ad372e intvolume: ' 966' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.3847/1538-4357/ad372e month: '04' oa: 1 oa_version: Published Version publication: The Astrophysical Journal publication_identifier: issn: - 0004-637X - 1538-4357 publication_status: published publisher: American Astronomical Society quality_controlled: '1' scopus_import: '1' status: public title: NuSTAR observations of candidate subparsec binary supermassive black holes type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 966 year: '2024' ... --- _id: '17531' 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. article_number: '21' article_processing_charge: No article_type: original author: - first_name: Hiromichi full_name: Tagawa, Hiromichi last_name: Tagawa - first_name: Shigeo S full_name: Kimura, Shigeo S last_name: Kimura - first_name: Zoltán full_name: Haiman, Zoltán id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36 last_name: Haiman - first_name: Rosalba full_name: Perna, Rosalba last_name: Perna - first_name: Imre full_name: Bartos, Imre last_name: Bartos citation: 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 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 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. 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. 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. 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). date_created: 2024-09-05T09:38:53Z date_published: 2024-04-23T00:00:00Z date_updated: 2024-09-11T09:15:47Z day: '23' doi: 10.3847/1538-4357/ad2e0b extern: '1' fulldoi: https://doi.org/10.3847/1538-4357/ad2e0b intvolume: ' 966' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.3847/1538-4357/ad2e0b month: '04' oa: 1 oa_version: Published Version publication: The Astrophysical Journal publication_identifier: issn: - 0004-637X - 1538-4357 publication_status: published publisher: American Astronomical Society quality_controlled: '1' scopus_import: '1' status: public title: Shock cooling and breakout emission for optical flares associated with gravitational-wave events type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 966 year: '2024' ... --- _id: '17535' 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. article_processing_charge: No article_type: original author: - first_name: Matthew T full_name: Scoggins, Matthew T last_name: Scoggins - first_name: Zoltán full_name: Haiman, Zoltán id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36 last_name: Haiman citation: 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' 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' 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.' 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.' 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.' 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.' short: M.T. Scoggins, Z. Haiman, Monthly Notices of the Royal Astronomical Society 531 (2024) 4584–4597. date_created: 2024-09-05T09:43:52Z date_published: 2024-06-13T00:00:00Z date_updated: 2024-09-12T09:08:08Z day: '13' doi: 10.1093/mnras/stae1449 extern: '1' fulldoi: https://doi.org/10.1093/mnras/stae1449 intvolume: ' 531' issue: '4' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/https://doi.org/10.1093/mnras/stae1449 month: '06' oa: 1 oa_version: Published Version page: 4584-4597 publication: Monthly Notices of the Royal Astronomical Society publication_identifier: issn: - 0035-8711 - 1365-2966 publication_status: published publisher: Oxford University Press quality_controlled: '1' scopus_import: '1' status: public title: 'Diagnosing the massive-seed pathway to high-redshift black holes: statistics of the evolving black hole to host galaxy mass ratio' type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 531 year: '2024' ... --- _id: '17545' 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. article_number: '103014' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Luke Major full_name: Krauth, Luke Major last_name: Krauth - first_name: Jordy full_name: Davelaar, Jordy last_name: Davelaar - first_name: Zoltán full_name: Haiman, Zoltán id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36 last_name: Haiman - first_name: John Ryan full_name: Westernacher-Schneider, John Ryan last_name: Westernacher-Schneider - first_name: Jonathan full_name: Zrake, Jonathan last_name: Zrake - first_name: Andrew full_name: MacFadyen, Andrew last_name: MacFadyen citation: 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' 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' 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.' 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.' 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.' 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.' short: L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Physical Review D 109 (2024). date_created: 2024-09-05T10:04:45Z date_published: 2024-05-10T00:00:00Z date_updated: 2024-09-18T09:01:52Z day: '10' doi: 10.1103/physrevd.109.103014 extern: '1' external_id: arxiv: - '2310.19766' fulldoi: https://doi.org/10.1103/physrevd.109.103014 intvolume: ' 109' issue: '10' language: - iso: eng main_file_link: - open_access: '1' url: ' https://doi.org/10.48550/arXiv.2310.19766' month: '05' oa: 1 oa_version: Preprint publication: Physical Review D publication_identifier: issn: - 2470-0010 - 2470-0029 publication_status: published publisher: American Physical Society (APS) quality_controlled: '1' scopus_import: '1' status: public title: 'Self-lensing flares from black hole binaries: General-relativistic ray tracing of circumbinary accretion simulations' type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 109 year: '2024' ... --- _id: '17546' 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. article_number: '76' article_processing_charge: No article_type: original author: - first_name: John Ryan full_name: Westernacher-Schneider, John Ryan last_name: Westernacher-Schneider - first_name: Jonathan full_name: Zrake, Jonathan last_name: Zrake - first_name: Andrew full_name: MacFadyen, Andrew last_name: MacFadyen - first_name: Zoltán full_name: Haiman, Zoltán id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36 last_name: Haiman citation: 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 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. 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. ista: Westernacher-Schneider JR, Zrake J, MacFadyen A, Haiman Z. 2024. Eccentric minidisks in accreting binaries. The Astrophysical Journal. 962(1), 76. 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. short: J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Z. Haiman, The Astrophysical Journal 962 (2024). date_created: 2024-09-05T10:06:09Z date_published: 2024-02-08T00:00:00Z date_updated: 2024-09-18T09:16:14Z day: '08' doi: 10.3847/1538-4357/ad1a17 extern: '1' fulldoi: https://doi.org/10.3847/1538-4357/ad1a17 intvolume: ' 962' issue: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.3847/1538-4357/ad1a17 month: '02' oa: 1 oa_version: Published Version publication: The Astrophysical Journal publication_identifier: issn: - 0004-637X - 1538-4357 publication_status: published publisher: American Astronomical Society quality_controlled: '1' scopus_import: '1' status: public title: Eccentric minidisks in accreting binaries type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 962 year: '2024' ... --- _id: '17590' 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. article_number: '149' article_processing_charge: No article_type: original author: - first_name: Chengcheng full_name: Xin, Chengcheng last_name: Xin - first_name: Zoltán full_name: Haiman, Zoltán id: 7c006e8c-cc0d-11ee-8322-cb904ef76f36 last_name: Haiman - first_name: Rosalba full_name: Perna, Rosalba last_name: Perna - first_name: Yihan full_name: Wang, Yihan last_name: Wang - first_name: Taeho full_name: Ryu, Taeho last_name: Ryu citation: 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' 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' 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.' 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.' 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.' 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.' short: C. Xin, Z. Haiman, R. Perna, Y. Wang, T. Ryu, The Astrophysical Journal 961 (2024). date_created: 2024-09-05T12:36:41Z date_published: 2024-01-22T00:00:00Z date_updated: 2024-09-19T12:21:53Z day: '22' doi: 10.3847/1538-4357/ad11d3 extern: '1' fulldoi: https://doi.org/10.3847/1538-4357/ad11d3 intvolume: ' 961' issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.3847/1538-4357/ad11d3 month: '01' oa: 1 oa_version: Published Version publication: The Astrophysical Journal publication_identifier: issn: - 0004-637X - 1538-4357 publication_status: published publisher: American Astronomical Society quality_controlled: '1' scopus_import: '1' status: public title: '“Tidal Peeling Events”: Low-eccentricity tidal disruption of a star by a stellar-mass black hole' type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 961 year: '2024' ... --- DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '17852' abstract: - lang: eng text: Metal-metal contacts, though not yet widely realized, may provide exciting opportunities to serve as tunable and functional interfaces in single-molecule devices. One of the simplest components which might facilitate such binding interactions is the ferrocene group. Notably, direct bonds between the ferrocene iron center and metals such as Pd or Co have been demonstrated in molecular complexes comprising coordinating ligands attached to the cyclopentadienyl rings. Here, we demonstrate that ferrocene-based single-molecule devices with Fe-Au interfacial contact geometries form at room temperature in the absence of supporting coordinating ligands. Applying a photoredox reaction, we propose that ferrocene only functions effectively as a contact group when oxidized, binding to gold through a formal Fe3+ center. This observation is further supported by a series of control measurements and density functional theory calculations. Our findings extend the scope of junction contact chemistries beyond those involving main group elements, lay the foundation for light switchable ferrocene-based single-molecule devices, and highlight new potential mechanistic function(s) of unsubstituted ferrocenium groups in synthetic processes. article_number: '1439' article_processing_charge: Yes article_type: original author: - first_name: Woojung full_name: Lee, Woojung last_name: Lee - first_name: Liang full_name: Li, Liang last_name: Li - first_name: María full_name: Camarasa-Gómez, María last_name: Camarasa-Gómez - first_name: Daniel full_name: Hernangómez-Pérez, Daniel last_name: Hernangómez-Pérez - first_name: Xavier full_name: Roy, Xavier last_name: Roy - first_name: Ferdinand full_name: Evers, Ferdinand last_name: Evers - first_name: Michael S. full_name: Inkpen, Michael S. last_name: Inkpen - first_name: Latha full_name: Venkataraman, Latha id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf last_name: Venkataraman orcid: 0000-0002-6957-6089 citation: ama: Lee W, Li L, Camarasa-Gómez M, et al. Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions. Nature Communications. 2024;15. doi:10.1038/s41467-024-45707-z apa: Lee, W., Li, L., Camarasa-Gómez, M., Hernangómez-Pérez, D., Roy, X., Evers, F., … Venkataraman, L. (2024). Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-45707-z chicago: Lee, Woojung, Liang Li, María Camarasa-Gómez, Daniel Hernangómez-Pérez, Xavier Roy, Ferdinand Evers, Michael S. Inkpen, and Latha Venkataraman. “Photooxidation Driven Formation of Fe-Au Linked Ferrocene-Based Single-Molecule Junctions.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-45707-z. ieee: W. Lee et al., “Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions,” Nature Communications, vol. 15. Springer Nature, 2024. ista: Lee W, Li L, Camarasa-Gómez M, Hernangómez-Pérez D, Roy X, Evers F, Inkpen MS, Venkataraman L. 2024. Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions. Nature Communications. 15, 1439. mla: Lee, Woojung, et al. “Photooxidation Driven Formation of Fe-Au Linked Ferrocene-Based Single-Molecule Junctions.” Nature Communications, vol. 15, 1439, Springer Nature, 2024, doi:10.1038/s41467-024-45707-z. short: W. Lee, L. Li, M. Camarasa-Gómez, D. Hernangómez-Pérez, X. Roy, F. Evers, M.S. Inkpen, L. Venkataraman, Nature Communications 15 (2024). date_created: 2024-09-06T12:38:44Z date_published: 2024-02-16T00:00:00Z date_updated: 2024-11-18T10:47:10Z day: '16' doi: 10.1038/s41467-024-45707-z extern: '1' external_id: pmid: - '38365892' fulldoi: https://doi.org/10.1038/s41467-024-45707-z intvolume: ' 15' language: - iso: eng main_file_link: - open_access: '1' url: https://doi.org/10.1038/s41467-024-45707-z month: '02' oa: 1 oa_version: Published Version pmid: 1 publication: Nature Communications publication_identifier: issn: - 2041-1723 publication_status: published publisher: Springer Nature quality_controlled: '1' scopus_import: '1' status: public title: Photooxidation driven formation of Fe-Au linked ferrocene-based single-molecule junctions type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 15 year: '2024' ... --- OA_type: closed access _id: '17853' abstract: - lang: eng text: Single-molecule one-dimensional topological insulator (1D TI) is a class of molecular wires that exhibit increasing conductance with wire length. This unique trend is due to the coupling between the two low-lying topological edge states of 1D TIs described by the Su–Schrieffer–Heeger model. In principle, this quantum phenomenon within 1D TIs can be utilized to achieve long-range gating in molecular conductors. Here, we study electron transport through a single-edge state of doubly oxidized oligophenylene bis(triarylamine) to understand the effect of the edge state coupling on conductance. We find that conductance is elevated by approximately 1 order of magnitude compared to a control molecule with the same conductance pathway. Density function theory calculations further support that the increase in conductance is due to the interaction between the edge states of 1D TIs. This work demonstrates a new gating paradigm in molecular electronics, while also providing a deeper understanding of how edge states interact and affect electron transport within 1D TIs. article_processing_charge: No article_type: original author: - first_name: Liang full_name: Li, Liang last_name: Li - first_name: Shayan full_name: Louie, Shayan last_name: Louie - first_name: Nicholas M. full_name: Orchanian, Nicholas M. last_name: Orchanian - first_name: Colin full_name: Nuckolls, Colin last_name: Nuckolls - first_name: Latha full_name: Venkataraman, Latha id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf last_name: Venkataraman orcid: 0000-0002-6957-6089 citation: ama: Li L, Louie S, Orchanian NM, Nuckolls C, Venkataraman L. Long-range gating in single-molecule one-dimensional topological insulators. Journal of the American Chemical Society. 2024;146(24):16920-16925. doi:10.1021/jacs.4c05699 apa: Li, L., Louie, S., Orchanian, N. M., Nuckolls, C., & Venkataraman, L. (2024). Long-range gating in single-molecule one-dimensional topological insulators. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/jacs.4c05699 chicago: Li, Liang, Shayan Louie, Nicholas M. Orchanian, Colin Nuckolls, and Latha Venkataraman. “Long-Range Gating in Single-Molecule One-Dimensional Topological Insulators.” Journal of the American Chemical Society. American Chemical Society, 2024. https://doi.org/10.1021/jacs.4c05699. ieee: L. Li, S. Louie, N. M. Orchanian, C. Nuckolls, and L. Venkataraman, “Long-range gating in single-molecule one-dimensional topological insulators,” Journal of the American Chemical Society, vol. 146, no. 24. American Chemical Society, pp. 16920–16925, 2024. ista: Li L, Louie S, Orchanian NM, Nuckolls C, Venkataraman L. 2024. Long-range gating in single-molecule one-dimensional topological insulators. Journal of the American Chemical Society. 146(24), 16920–16925. mla: Li, Liang, et al. “Long-Range Gating in Single-Molecule One-Dimensional Topological Insulators.” Journal of the American Chemical Society, vol. 146, no. 24, American Chemical Society, 2024, pp. 16920–25, doi:10.1021/jacs.4c05699. short: L. Li, S. Louie, N.M. Orchanian, C. Nuckolls, L. Venkataraman, Journal of the American Chemical Society 146 (2024) 16920–16925. date_created: 2024-09-06T12:40:17Z date_published: 2024-06-24T00:00:00Z date_updated: 2024-11-18T10:51:21Z day: '24' doi: 10.1021/jacs.4c05699 extern: '1' external_id: pmid: - '38832840' fulldoi: https://doi.org/10.1021/jacs.4c05699 intvolume: ' 146' issue: '24' language: - iso: eng month: '06' oa_version: None page: 16920-16925 pmid: 1 publication: Journal of the American Chemical Society publication_identifier: eissn: - 1520-5126 issn: - 0002-7863 publication_status: published publisher: American Chemical Society quality_controlled: '1' scopus_import: '1' status: public title: Long-range gating in single-molecule one-dimensional topological insulators type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 146 year: '2024' ... --- OA_type: closed access _id: '17854' abstract: - lang: eng text: As social media platforms continue to grow in popularity, there is an increasing need for science outreach teams to bring STEM content to the virtual landscape. Here, we highlight the use of short-form videos on our TikTok channel─@IvyLeagueScience─as a new way to approach science outreach. Through a combination of content production and data analytics, we were able to build an online platform with >150k followers, 3.6 million likes, and 18 million views. By bringing science to social media, we engage with students across the world, allowing them to experience science-based content. In this case study, we hope to encourage other scientific outreach teams to employ social media as a means of increasing visibility of scientists and STEM careers. article_processing_charge: No article_type: original author: - first_name: Claudia R. full_name: Prindle, Claudia R. last_name: Prindle - first_name: Nicholas M. full_name: Orchanian, Nicholas M. last_name: Orchanian - first_name: Latha full_name: Venkataraman, Latha id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf last_name: Venkataraman orcid: 0000-0002-6957-6089 - first_name: Colin full_name: Nuckolls, Colin last_name: Nuckolls citation: ama: Prindle CR, Orchanian NM, Venkataraman L, Nuckolls C. Short-form videos as an emerging social media tool for STEM edutainment. Journal of Chemical Education. 2024;101(3):1319-1324. doi:10.1021/acs.jchemed.3c01185 apa: Prindle, C. R., Orchanian, N. M., Venkataraman, L., & Nuckolls, C. (2024). Short-form videos as an emerging social media tool for STEM edutainment. Journal of Chemical Education. American Chemical Society. https://doi.org/10.1021/acs.jchemed.3c01185 chicago: Prindle, Claudia R., Nicholas M. Orchanian, Latha Venkataraman, and Colin Nuckolls. “Short-Form Videos as an Emerging Social Media Tool for STEM Edutainment.” Journal of Chemical Education. American Chemical Society, 2024. https://doi.org/10.1021/acs.jchemed.3c01185. ieee: C. R. Prindle, N. M. Orchanian, L. Venkataraman, and C. Nuckolls, “Short-form videos as an emerging social media tool for STEM edutainment,” Journal of Chemical Education, vol. 101, no. 3. American Chemical Society, pp. 1319–1324, 2024. ista: Prindle CR, Orchanian NM, Venkataraman L, Nuckolls C. 2024. Short-form videos as an emerging social media tool for STEM edutainment. Journal of Chemical Education. 101(3), 1319–1324. mla: Prindle, Claudia R., et al. “Short-Form Videos as an Emerging Social Media Tool for STEM Edutainment.” Journal of Chemical Education, vol. 101, no. 3, American Chemical Society, 2024, pp. 1319–24, doi:10.1021/acs.jchemed.3c01185. short: C.R. Prindle, N.M. Orchanian, L. Venkataraman, C. Nuckolls, Journal of Chemical Education 101 (2024) 1319–1324. date_created: 2024-09-06T12:43:20Z date_published: 2024-02-14T00:00:00Z date_updated: 2024-11-18T10:55:30Z day: '14' doi: 10.1021/acs.jchemed.3c01185 extern: '1' fulldoi: https://doi.org/10.1021/acs.jchemed.3c01185 intvolume: ' 101' issue: '3' language: - iso: eng month: '02' oa_version: None page: 1319-1324 publication: Journal of Chemical Education publication_identifier: eissn: - 1938-1328 issn: - 0021-9584 publication_status: published publisher: American Chemical Society quality_controlled: '1' scopus_import: '1' status: public title: Short-form videos as an emerging social media tool for STEM edutainment type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 101 year: '2024' ... --- _id: '17855' abstract: - lang: eng text: Biased metal–molecule–metal junctions emit light through electroluminescence, a phenomenon at the intersection of molecular electronics and nanoplasmonics. This can occur when the junction plasmon mode is excited by inelastic electron current fluctuations. Here, we simultaneously measure the conductance and electroluminescence intensity from single-molecule junctions with time resolution in a solution environment at room temperature. We use current versus bias data to determine the molecular junction transport parameters and then relate these to the expected current shot noise. We find that the electroluminescence signal accurately matches the theoretical prediction of shot-noise-driven emission in a large fraction of the molecular junctions studied. This introduces a novel experimental method for qualitatively estimating finite-frequency shot noise in single-molecule junctions under ambient conditions. We further demonstrate that electroluminescence can be used to obtain the level alignment of the frontier orbital dominating transport in the molecular junction. article_processing_charge: No article_type: letter_note author: - first_name: Angela L. full_name: Paoletta, Angela L. last_name: Paoletta - first_name: Latha full_name: Venkataraman, Latha id: 9ebb78a5-cc0d-11ee-8322-fae086a32caf last_name: Venkataraman orcid: 0000-0002-6957-6089 citation: ama: Paoletta AL, Venkataraman L. Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions. Nano Letters. 2024;24(6):1931-1935. doi:10.1021/acs.nanolett.3c04207 apa: Paoletta, A. L., & Venkataraman, L. (2024). Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.3c04207 chicago: Paoletta, Angela L., and Latha Venkataraman. “Determining Transmission Characteristics from Shot-Noise-Driven Electroluminescence in Single-Molecule Junctions.” Nano Letters. American Chemical Society, 2024. https://doi.org/10.1021/acs.nanolett.3c04207. ieee: A. L. Paoletta and L. Venkataraman, “Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions,” Nano Letters, vol. 24, no. 6. American Chemical Society, pp. 1931–1935, 2024. ista: Paoletta AL, Venkataraman L. 2024. Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions. Nano Letters. 24(6), 1931–1935. mla: Paoletta, Angela L., and Latha Venkataraman. “Determining Transmission Characteristics from Shot-Noise-Driven Electroluminescence in Single-Molecule Junctions.” Nano Letters, vol. 24, no. 6, American Chemical Society, 2024, pp. 1931–35, doi:10.1021/acs.nanolett.3c04207. short: A.L. Paoletta, L. Venkataraman, Nano Letters 24 (2024) 1931–1935. date_created: 2024-09-06T12:44:24Z date_published: 2024-02-05T00:00:00Z date_updated: 2024-11-18T10:58:19Z day: '05' doi: 10.1021/acs.nanolett.3c04207 extern: '1' external_id: pmid: - '38315038' fulldoi: https://doi.org/10.1021/acs.nanolett.3c04207 intvolume: ' 24' issue: '6' language: - iso: eng month: '02' oa_version: None page: 1931-1935 pmid: 1 publication: Nano Letters publication_identifier: issn: - 1530-6984 - 1530-6992 publication_status: published publisher: American Chemical Society quality_controlled: '1' scopus_import: '1' status: public title: Determining transmission characteristics from shot-noise-driven electroluminescence in single-molecule junctions type: journal_article user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87 volume: 24 year: '2024' ...