[{"oa":1,"abstract":[{"text":"Neural models learn representations of high-dimensional data on low-dimensional manifolds. Multiple factors, including stochasticities in the training process, model architectures, and additional inductive biases, may induce different representations, even when learning the same task on the same data. However, it has recently been shown that when a latent structure is shared between distinct latent spaces, relative distances between representations can be preserved, up to distortions. Building on this idea, we demonstrate that exploiting the differential-geometric structure of latent spaces of neural models, it is possible to capture precisely the transformations between representational spaces trained on similar data distributions. Specifically, we assume that distinct neural models parametrize approximately the same underlying manifold, and introduce a representation based on the pullback metric that captures the intrinsic structure of the latent space, while scaling efficiently to large models. We validate experimentally our method on model stitching and retrieval tasks, covering autoencoders and vision foundation discriminative models, across diverse architectures, datasets, pretraining schemes and modalities. Code is available at the following link.","lang":"eng"}],"title":"Connecting neural models latent geometries with relative geodesic representations","publication_identifier":{"issn":["1049-5258"]},"date_updated":"2026-02-11T09:03:37Z","date_published":"2025-12-15T00:00:00Z","month":"12","file":[{"file_size":7749349,"access_level":"open_access","relation":"main_file","checksum":"b1a645418025f46394764cd16d0cb089","success":1,"date_updated":"2026-01-29T14:31:42Z","file_name":"2506.01599v2.pdf","file_id":"21075","content_type":"application/pdf","creator":"flocatel","date_created":"2026-01-29T14:31:42Z"}],"has_accepted_license":"1","file_date_updated":"2026-01-29T14:31:42Z","publication_status":"epub_ahead","arxiv":1,"oa_version":"Published Version","type":"conference","alternative_title":["Advances in Neural Information Processing Systems"],"conference":{"location":"San Diego, CA, United States","end_date":"2025-12-07","name":"NeurIPS: Neural Information Processing Systems","start_date":"2025-12-02"},"ddc":["000"],"project":[{"name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c","grant_number":"101034413","call_identifier":"H2020"}],"ec_funded":1,"department":[{"_id":"FrLo"}],"citation":{"ama":"Yu H, Inal B, Arvanitidis G, Hauberg S, Locatello F, Fumero M. Connecting neural models latent geometries with relative geodesic representations. In: <i>39th Annual Conference on Neural Information Processing Systems</i>. Vol 38. Neural Information Processing Systems Foundation; 2025.","ieee":"H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, and M. Fumero, “Connecting neural models latent geometries with relative geodesic representations,” in <i>39th Annual Conference on Neural Information Processing Systems</i>, San Diego, CA, United States, 2025, vol. 38.","mla":"Yu, Hanlin, et al. “Connecting Neural Models Latent Geometries with Relative Geodesic Representations.” <i>39th Annual Conference on Neural Information Processing Systems</i>, vol. 38, Neural Information Processing Systems Foundation, 2025.","apa":"Yu, H., Inal, B., Arvanitidis, G., Hauberg, S., Locatello, F., &#38; Fumero, M. (2025). Connecting neural models latent geometries with relative geodesic representations. In <i>39th Annual Conference on Neural Information Processing Systems</i> (Vol. 38). San Diego, CA, United States: Neural Information Processing Systems Foundation.","short":"H. Yu, B. Inal, G. Arvanitidis, S. Hauberg, F. Locatello, M. Fumero, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025.","ista":"Yu H, Inal B, Arvanitidis G, Hauberg S, Locatello F, Fumero M. 2025. Connecting neural models latent geometries with relative geodesic representations. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38.","chicago":"Yu, Hanlin, Befrin Inal, Georgios Arvanitidis, Soren Hauberg, Francesco Locatello, and Marco Fumero. “Connecting Neural Models Latent Geometries with Relative Geodesic Representations.” In <i>39th Annual Conference on Neural Information Processing Systems</i>, Vol. 38. Neural Information Processing Systems Foundation, 2025."},"quality_controlled":"1","publication":"39th Annual Conference on Neural Information Processing Systems","status":"public","OA_type":"gold","external_id":{"arxiv":["2506.01599"]},"publisher":"Neural Information Processing Systems Foundation","year":"2025","OA_place":"publisher","article_processing_charge":"No","intvolume":"        38","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"We thank Gregor Krzmanc, German Magai, Vital Fernandez for insightful discussions in the early stages of the project. HY was supported by the Research Council of Finland Flagship programme: Finnish Center for Artificial Intelligence FCAI. HY wishes to acknowledge CSC - IT Center for Science, Finland, for computational resources. GA was supported by the DFF Sapere Aude Starting Grant “GADL”. SH was supported by a research grant (42062) from VILLUM FONDEN and partly funded by the Novo Nordisk Foundation through the Center for Basic Research in Life Science (NNF20OC0062606). SH received funding from the European Research Council (ERC) under the European Union’s Horizon Programme (grant agreement 101125003). MF is supported by the MSCA IST-Bridge fellowship which has received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie grant agreement No 101034413.","language":[{"iso":"eng"}],"corr_author":"1","day":"15","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":38,"date_created":"2026-01-29T14:31:52Z","_id":"21074","author":[{"last_name":"Yu","full_name":"Yu, Hanlin","first_name":"Hanlin"},{"first_name":"Befrin","full_name":"Inal, Befrin","last_name":"Inal"},{"last_name":"Arvanitidis","full_name":"Arvanitidis, Georgios","first_name":"Georgios"},{"full_name":"Hauberg, Soren","first_name":"Soren","last_name":"Hauberg"},{"last_name":"Locatello","id":"26cfd52f-2483-11ee-8040-88983bcc06d4","full_name":"Locatello, Francesco","first_name":"Francesco","orcid":"0000-0002-4850-0683"},{"last_name":"Fumero","id":"1c1593eb-393f-11ef-bb8e-ab4f1e979650","full_name":"Fumero, Marco","first_name":"Marco"}]},{"ddc":["000"],"alternative_title":["Advances in Neural Information Processing Systems"],"conference":{"name":"NeurIPS: Neural Information Processing Systems","start_date":"2025-12-02","location":"San Diego, CA, United States","end_date":"2025-12-07"},"oa_version":"Published Version","type":"conference","publication_status":"epub_ahead","file_date_updated":"2026-01-29T14:35:02Z","has_accepted_license":"1","month":"12","file":[{"creator":"flocatel","date_created":"2026-01-29T14:35:02Z","content_type":"application/pdf","file_id":"21077","file_name":"17546_Prediction_Powered_Causa.pdf","date_updated":"2026-01-29T14:35:02Z","success":1,"relation":"main_file","file_size":8489023,"access_level":"open_access","checksum":"92467fa566cd36671a6a3b9e71ae0f71"}],"title":"Prediction-powered causal inferences","publication_identifier":{"issn":["1049-5258"]},"date_updated":"2026-02-16T11:39:33Z","date_published":"2025-12-15T00:00:00Z","oa":1,"abstract":[{"text":"In many scientific experiments, the data annotating cost constraints the pace for testing novel hypotheses. Yet, modern machine learning pipelines offer a promising solution—provided their predictions yield correct conclusions. We focus on Prediction-Powered Causal Inferences (PPCI), i.e., estimating the treatment effect in an unlabeled target experiment, relying on training data with the same outcome annotated but potentially different treatment or effect modifiers. We first show that conditional calibration guarantees valid PPCI at population level. Then, we introduce a sufficient representation constraint transferring validity across experiments, which we propose to enforce in practice in Deconfounded Empirical Risk Minimization, our new model-agnostic training objective. We validate our method on synthetic and real-world scientific data, solving impossible problem instances for Empirical Risk Minimization even with standard invariance constraints. In particular, for the first time, we achieve valid causal inference on a scientific experiment with complex recording and no human annotations, fine-tuning a foundational model on our similar annotated experiment.","lang":"eng"}],"date_created":"2026-01-29T14:35:11Z","_id":"21076","author":[{"first_name":"Riccardo","full_name":"Cadei, Riccardo","last_name":"Cadei","id":"0fa8b76f-72f0-11ef-b75a-a5da96e5ad6b"},{"full_name":"Demirel, Ilker","first_name":"Ilker","last_name":"Demirel"},{"first_name":"Piersilvio","full_name":"De Bartolomeis, Piersilvio","last_name":"De Bartolomeis"},{"id":"85f0e6d3-06b3-11ec-8982-8c5049fa4455","last_name":"Lindorfer","full_name":"Lindorfer, Lukas","first_name":"Lukas"},{"orcid":"0000-0002-2193-3868","full_name":"Cremer, Sylvia","first_name":"Sylvia","id":"2F64EC8C-F248-11E8-B48F-1D18A9856A87","last_name":"Cremer"},{"full_name":"Schmid, Cordelia","first_name":"Cordelia","last_name":"Schmid"},{"id":"26cfd52f-2483-11ee-8040-88983bcc06d4","last_name":"Locatello","first_name":"Francesco","full_name":"Locatello, Francesco","orcid":"0000-0002-4850-0683"}],"volume":38,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"15","OA_place":"publisher","article_processing_charge":"No","intvolume":"        38","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"acknowledgement":"We thank the Causal Learning and Artificial Intelligence group at ISTA for the continuous feedback on the project and valuable discussions. We thank the Social Immunity group at ISTA, particularly Jinook Oh, for the annotation program and Michaela Hoenigsberger for supporting our ecological experiment. Riccardo Cadei is supported by a Google Research Scholar Award and a Google Initiated Gift to Francesco Locatello. This research was funded in part by the Austrian Science Fund (FWF) 10.55776/COE12). It was further partially supported by the ISTA Interdisciplinary Project Committee for the collaborative project “ALED” between Francesco Locatello and Sylvia Cremer. For open access purposes, the author has applied a CC BY public copyright license to any author accepted manuscript version arising from this submission.","year":"2025","publisher":"Neural Information Processing Systems Foundation","quality_controlled":"1","citation":{"mla":"Cadei, Riccardo, et al. “Prediction-Powered Causal Inferences.” <i>39th Annual Conference on Neural Information Processing Systems</i>, vol. 38, Neural Information Processing Systems Foundation, 2025.","ieee":"R. Cadei <i>et al.</i>, “Prediction-powered causal inferences,” in <i>39th Annual Conference on Neural Information Processing Systems</i>, San Diego, CA, United States, 2025, vol. 38.","ama":"Cadei R, Demirel I, De Bartolomeis P, et al. Prediction-powered causal inferences. In: <i>39th Annual Conference on Neural Information Processing Systems</i>. Vol 38. Neural Information Processing Systems Foundation; 2025.","ista":"Cadei R, Demirel I, De Bartolomeis P, Lindorfer L, Cremer S, Schmid C, Locatello F. 2025. Prediction-powered causal inferences. 39th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 38.","chicago":"Cadei, Riccardo, Ilker Demirel, Piersilvio De Bartolomeis, Lukas Lindorfer, Sylvia Cremer, Cordelia Schmid, and Francesco Locatello. “Prediction-Powered Causal Inferences.” In <i>39th Annual Conference on Neural Information Processing Systems</i>, Vol. 38. Neural Information Processing Systems Foundation, 2025.","apa":"Cadei, R., Demirel, I., De Bartolomeis, P., Lindorfer, L., Cremer, S., Schmid, C., &#38; Locatello, F. (2025). Prediction-powered causal inferences. In <i>39th Annual Conference on Neural Information Processing Systems</i> (Vol. 38). San Diego, CA, United States: Neural Information Processing Systems Foundation.","short":"R. Cadei, I. Demirel, P. De Bartolomeis, L. Lindorfer, S. Cremer, C. Schmid, F. Locatello, in:, 39th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2025."},"publication":"39th Annual Conference on Neural Information Processing Systems","OA_type":"gold","status":"public","department":[{"_id":"FrLo"},{"_id":"SyCr"}]},{"date_created":"2026-01-29T15:39:15Z","_id":"21089","author":[{"id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","last_name":"Chalupa","full_name":"Chalupa, Marek","first_name":"Marek"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"id":"8b282559-50b0-11ef-861e-d6ace0d92e9b","last_name":"Oliveira da Costa","first_name":"Ana A","full_name":"Oliveira da Costa, Ana A"}],"page":"20:1-20:18","volume":360,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"corr_author":"1","day":"09","OA_place":"publisher","intvolume":"       360","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"acknowledgement":"This work was supported in part by the Austrian Science Fund (FWF) SFB project SpyCoDe 10.55776/F85 and by the ERC Advanced Grant VAMOS 101020093.","year":"2025","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","citation":{"mla":"Chalupa, Marek, et al. “Flavors of Quantifiers in Hyperlogics.” <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, vol. 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18, doi:<a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2025.20\">10.4230/LIPICS.FSTTCS.2025.20</a>.","ieee":"M. Chalupa, T. A. Henzinger, and A. A. Oliveira da Costa, “Flavors of quantifiers in hyperlogics,” in <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, Pilani, India, 2025, vol. 360, p. 20:1-20:18.","ama":"Chalupa M, Henzinger TA, Oliveira da Costa AA. Flavors of quantifiers in hyperlogics. In: <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>. Vol 360. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2025:20:1-20:18. doi:<a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2025.20\">10.4230/LIPICS.FSTTCS.2025.20</a>","ista":"Chalupa M, Henzinger TA, Oliveira da Costa AA. 2025. Flavors of quantifiers in hyperlogics. 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 360, 20:1-20:18.","chicago":"Chalupa, Marek, Thomas A Henzinger, and Ana A Oliveira da Costa. “Flavors of Quantifiers in Hyperlogics.” In <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i>, 360:20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. <a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2025.20\">https://doi.org/10.4230/LIPICS.FSTTCS.2025.20</a>.","short":"M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.","apa":"Chalupa, M., Henzinger, T. A., &#38; Oliveira da Costa, A. A. (2025). Flavors of quantifiers in hyperlogics. In <i>45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science</i> (Vol. 360, p. 20:1-20:18). Pilani, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2025.20\">https://doi.org/10.4230/LIPICS.FSTTCS.2025.20</a>"},"quality_controlled":"1","OA_type":"gold","publication":"45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science","status":"public","external_id":{"arxiv":["2510.12298"]},"ec_funded":1,"scopus_import":"1","department":[{"_id":"ToHe"}],"ddc":["000"],"project":[{"grant_number":"F8502","_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e","name":"Interface Theory for Security and Privacy"},{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","call_identifier":"H2020"}],"alternative_title":["LIPIcs"],"conference":{"name":"FSTTCS: Conference on Foundations of Software Technology and Theoretical Computer Science","start_date":"2025-12-17","end_date":"2025-12-19","location":"Pilani, India"},"oa_version":"Published Version","type":"conference","publication_status":"published","doi":"10.4230/LIPICS.FSTTCS.2025.20","file_date_updated":"2026-02-11T09:33:20Z","has_accepted_license":"1","arxiv":1,"month":"12","file":[{"date_created":"2026-02-11T09:33:20Z","creator":"dernst","file_name":"2025_LIPIcS_Chalupa.pdf","date_updated":"2026-02-11T09:33:20Z","file_id":"21213","content_type":"application/pdf","relation":"main_file","access_level":"open_access","file_size":933970,"checksum":"8188ee5c7b14193d48eeb655e9bbdc47","success":1}],"title":"Flavors of quantifiers in hyperlogics","date_updated":"2026-02-11T09:35:04Z","date_published":"2025-12-09T00:00:00Z","oa":1,"abstract":[{"lang":"eng","text":"Hypertrace logic is a sorted first-order logic with separate sorts for time and execution traces. Its formulas specify hyperproperties, which are properties relating multiple traces. In this work, we extend hypertrace logic by introducing trace quantifiers that range over the set of all possible traces. In this extended logic, formulas can quantify over two kinds of trace variables: constrained trace variables, which range over a fixed set of traces defined by the model, and unconstrained trace variables, which can be assigned to any trace. In comparison, hyperlogics such as HyperLTL have only constrained trace quantifiers. We use hypertrace logic to study how different quantifier patterns affect the decidability of the satisfiability problem. We prove that hypertrace logic without constrained trace quantifiers is equivalent to monadic second-order logic of one successor (S1S), and therefore satisfiable, and that the trace-prefixed fragment (all trace quantifiers precede all time quantifiers) is equivalent to HyperQPTL. Moreover, we show that all hypertrace formulas where the only alternation between constrained trace quantifiers is from an existential to a universal quantifier are equisatisfiable to formulas without constraints on their trace variables and, therefore, decidable as well. Our framework allows us to study also time-prefixed hyperlogics, for which we provide new decidability and undecidability results."}]},{"oa":1,"abstract":[{"lang":"eng","text":"Fairness in AI is traditionally studied as a static property evaluated once, over a fixed dataset. However, real-world AI systems operate sequentially, with outcomes and environments evolving over time. This paper proposes a framework for analysing fairness as a runtime property. Using a minimal yet expressive model based on sequences of coin tosses with possibly evolving biases, we study the problems of monitoring and enforcing fairness expressed in either toss outcomes or coin biases. Since there is no one-size-fits-all solution for either problem, we provide a summary of monitoring and enforcement strategies, parametrised by environment dynamics, prediction horizon, and confidence thresholds. For both problems, we present general results under simple or minimal assumptions. We survey existing solutions for the monitoring problem for Markovian and additive dynamics, and existing solutions for the enforcement problem in static settings with known dynamics."}],"title":"Algorithmic fairness: A runtime perspective","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783032054357"]},"date_updated":"2026-02-16T11:57:00Z","date_published":"2025-09-13T00:00:00Z","month":"09","doi":"10.1007/978-3-032-05435-7_1","publication_status":"published","arxiv":1,"oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2507.20711"}],"type":"conference","alternative_title":["LNCS"],"conference":{"end_date":"2025-09-19","location":"Graz, Austria","name":"RV: Runtime Verification","start_date":"2025-09-15"},"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","call_identifier":"H2020","grant_number":"101020093"}],"ec_funded":1,"department":[{"_id":"ToHe"}],"quality_controlled":"1","citation":{"ieee":"F. Cano Cordoba, T. A. Henzinger, and K. Kueffner, “Algorithmic fairness: A runtime perspective,” in <i>25th International Conference on Runtime Verification</i>, Graz, Austria, 2025, vol. 16087, pp. 1–21.","mla":"Cano Cordoba, Filip, et al. “Algorithmic Fairness: A Runtime Perspective.” <i>25th International Conference on Runtime Verification</i>, vol. 16087, Springer Nature, 2025, pp. 1–21, doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_1\">10.1007/978-3-032-05435-7_1</a>.","ama":"Cano Cordoba F, Henzinger TA, Kueffner K. Algorithmic fairness: A runtime perspective. In: <i>25th International Conference on Runtime Verification</i>. Vol 16087. Springer Nature; 2025:1-21. doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_1\">10.1007/978-3-032-05435-7_1</a>","chicago":"Cano Cordoba, Filip, Thomas A Henzinger, and Konstantin Kueffner. “Algorithmic Fairness: A Runtime Perspective.” In <i>25th International Conference on Runtime Verification</i>, 16087:1–21. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_1\">https://doi.org/10.1007/978-3-032-05435-7_1</a>.","ista":"Cano Cordoba F, Henzinger TA, Kueffner K. 2025. Algorithmic fairness: A runtime perspective. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 1–21.","short":"F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.","apa":"Cano Cordoba, F., Henzinger, T. A., &#38; Kueffner, K. (2025). Algorithmic fairness: A runtime perspective. In <i>25th International Conference on Runtime Verification</i> (Vol. 16087, pp. 1–21). Graz, Austria: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_1\">https://doi.org/10.1007/978-3-032-05435-7_1</a>"},"OA_type":"green","publication":"25th International Conference on Runtime Verification","status":"public","external_id":{"arxiv":["2507.20711"]},"year":"2025","publisher":"Springer Nature","OA_place":"repository","article_processing_charge":"No","intvolume":"     16087","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG 101020093.","corr_author":"1","day":"13","volume":16087,"date_created":"2026-01-29T16:01:41Z","_id":"21090","page":"1-21","author":[{"id":"708cad98-e86a-11ef-8098-bdae2d7c6af1","last_name":"Cano Cordoba","full_name":"Cano Cordoba, Filip","first_name":"Filip","orcid":"0000-0002-0783-904X"},{"orcid":"0000-0002-2985-7724","first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"orcid":"0000-0001-8974-2542","first_name":"Konstantin","full_name":"Kueffner, Konstantin","last_name":"Kueffner","id":"8121a2d0-dc85-11ea-9058-af578f3b4515"}]},{"month":"09","publication_identifier":{"eisbn":["9783032054357"],"issn":["0302-9743"],"eissn":["1611-3349"]},"date_updated":"2026-02-16T11:53:25Z","date_published":"2025-09-13T00:00:00Z","title":"Formal verification of neural certificates done dynamically","oa":1,"abstract":[{"text":"Neural certificates have emerged as a powerful tool in cyber-physical systems control, providing witnesses of correctness. These certificates, such as barrier functions, often learned alongside control policies, once verified, serve as mathematical proofs of system safety. However, traditional formal verification of their defining conditions typically faces scalability challenges due to exhaustive state-space exploration. To address this challenge, we propose a lightweight runtime monitoring framework that integrates real-time verification and does not require access to the underlying control policy. Our monitor observes the system during deployment and performs on-the-fly verification of the certificate over a lookahead region to ensure safety within a finite prediction horizon. We instantiate this framework for ReLU-based control barrier functions and demonstrate its practical effectiveness in a case study. Our approach enables timely detection of safety violations and incorrect certificates with minimal overhead, providing an effective but lightweight alternative to the static verification of the certificates.","lang":"eng"}],"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","call_identifier":"H2020"}],"conference":{"end_date":"2025-09-19","location":"Graz, Austria","start_date":"2025-09-15","name":"RV: Runtime Verification"},"alternative_title":["LNCS"],"type":"conference","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2507.11987","open_access":"1"}],"oa_version":"Preprint","arxiv":1,"doi":"10.1007/978-3-032-05435-7_4","publication_status":"published","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG 101020093.","language":[{"iso":"eng"}],"intvolume":"     16087","article_processing_charge":"No","OA_place":"repository","publisher":"Springer Nature","year":"2025","external_id":{"arxiv":["2507.11987"]},"quality_controlled":"1","citation":{"ama":"Henzinger TA, Kueffner K, Yu E. Formal verification of neural certificates done dynamically. In: <i>25th International Conference on Runtime Verification</i>. Vol 16087. Springer Nature; 2025:54-72. doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_4\">10.1007/978-3-032-05435-7_4</a>","mla":"Henzinger, Thomas A., et al. “Formal Verification of Neural Certificates Done Dynamically.” <i>25th International Conference on Runtime Verification</i>, vol. 16087, Springer Nature, 2025, pp. 54–72, doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_4\">10.1007/978-3-032-05435-7_4</a>.","ieee":"T. A. Henzinger, K. Kueffner, and E. Yu, “Formal verification of neural certificates done dynamically,” in <i>25th International Conference on Runtime Verification</i>, Graz, Austria, 2025, vol. 16087, pp. 54–72.","apa":"Henzinger, T. A., Kueffner, K., &#38; Yu, E. (2025). Formal verification of neural certificates done dynamically. In <i>25th International Conference on Runtime Verification</i> (Vol. 16087, pp. 54–72). Graz, Austria: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_4\">https://doi.org/10.1007/978-3-032-05435-7_4</a>","short":"T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.","ista":"Henzinger TA, Kueffner K, Yu E. 2025. Formal verification of neural certificates done dynamically. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 54–72.","chicago":"Henzinger, Thomas A, Konstantin Kueffner, and Emily Yu. “Formal Verification of Neural Certificates Done Dynamically.” In <i>25th International Conference on Runtime Verification</i>, 16087:54–72. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_4\">https://doi.org/10.1007/978-3-032-05435-7_4</a>."},"OA_type":"green","status":"public","publication":"25th International Conference on Runtime Verification","department":[{"_id":"ToHe"}],"ec_funded":1,"_id":"21091","author":[{"full_name":"Henzinger, Thomas A","first_name":"Thomas A","orcid":"0000-0002-2985-7724","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"last_name":"Kueffner","id":"8121a2d0-dc85-11ea-9058-af578f3b4515","orcid":"0000-0001-8974-2542","first_name":"Konstantin","full_name":"Kueffner, Konstantin"},{"id":"20aa2ae8-f2f1-11ed-bbfa-8205053f1342","last_name":"Yu","first_name":"Zhengqi","full_name":"Yu, Zhengqi","orcid":"0000-0002-4993-773X"}],"page":"54-72","date_created":"2026-01-29T16:03:01Z","volume":16087,"corr_author":"1","day":"13"},{"abstract":[{"text":"Formal verification provides assurances that a probabilistic system satisfies its specification—conditioned on the system model being aligned with reality. We propose alignment monitoring to watch that this assumption is justified. We consider a probabilistic model well aligned if it accurately predicts the behaviour of an uncertain system in advance. An alignment score measures this by quantifying the similarity between the model’s predicted and the system’s (unknown) actual distributions. An alignment monitor observes the system at runtime; at each point in time it uses the current state and the model to predict the next state. After the next state is observed, the monitor updates the verdict, which is a high-probability interval estimate for the true alignment score. We utilize tools from sequential forecasting to construct our alignment monitors. Besides a monitor for measuring the expected alignment score, we introduce a differential alignment monitor, designed for comparing two models, and a weighted alignment monitor, which permits task-specific alignment monitoring. We evaluate our monitors experimentally on the PRISM benchmark suite. They are fast, memory-efficient, and detect misalignment early.","lang":"eng"}],"oa":1,"month":"09","title":"Alignment monitoring","date_published":"2025-09-13T00:00:00Z","date_updated":"2026-02-16T11:56:38Z","publication_identifier":{"eissn":["1611-3349"],"issn":["0302-9743"],"eisbn":["9783032054357"]},"oa_version":"Preprint","type":"conference","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2508.00021"}],"publication_status":"published","doi":"10.1007/978-3-032-05435-7_9","arxiv":1,"project":[{"call_identifier":"H2020","grant_number":"101020093","name":"Vigilant Algorithmic Monitoring of Software","_id":"62781420-2b32-11ec-9570-8d9b63373d4d"}],"alternative_title":["LNCS"],"conference":{"start_date":"2025-09-15","name":"RV: Runtime Verification","location":"Graz, Austria","end_date":"2025-09-19"},"OA_type":"green","publication":"25th International Conference on Runtime Verification","status":"public","citation":{"chicago":"Henzinger, Thomas A, Konstantin Kueffner, Vasu Singh, and I Sun. “Alignment Monitoring.” In <i>25th International Conference on Runtime Verification</i>, 16087:140–59. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_9\">https://doi.org/10.1007/978-3-032-05435-7_9</a>.","ista":"Henzinger TA, Kueffner K, Singh V, Sun I. 2025. Alignment monitoring. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 140–159.","apa":"Henzinger, T. A., Kueffner, K., Singh, V., &#38; Sun, I. (2025). Alignment monitoring. In <i>25th International Conference on Runtime Verification</i> (Vol. 16087, pp. 140–159). Graz, Austria: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_9\">https://doi.org/10.1007/978-3-032-05435-7_9</a>","short":"T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.","ieee":"T. A. Henzinger, K. Kueffner, V. Singh, and I. Sun, “Alignment monitoring,” in <i>25th International Conference on Runtime Verification</i>, Graz, Austria, 2025, vol. 16087, pp. 140–159.","mla":"Henzinger, Thomas A., et al. “Alignment Monitoring.” <i>25th International Conference on Runtime Verification</i>, vol. 16087, Springer Nature, 2025, pp. 140–59, doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_9\">10.1007/978-3-032-05435-7_9</a>.","ama":"Henzinger TA, Kueffner K, Singh V, Sun I. Alignment monitoring. In: <i>25th International Conference on Runtime Verification</i>. Vol 16087. Springer Nature; 2025:140-159. doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_9\">10.1007/978-3-032-05435-7_9</a>"},"quality_controlled":"1","external_id":{"arxiv":["2508.00021"]},"ec_funded":1,"department":[{"_id":"ToHe"}],"intvolume":"     16087","OA_place":"repository","article_processing_charge":"No","language":[{"iso":"eng"}],"acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG 101020093.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Springer Nature","year":"2025","day":"13","corr_author":"1","date_created":"2026-01-29T16:03:43Z","page":"140-159","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724"},{"last_name":"Kueffner","id":"8121a2d0-dc85-11ea-9058-af578f3b4515","orcid":"0000-0001-8974-2542","first_name":"Konstantin","full_name":"Kueffner, Konstantin"},{"last_name":"Singh","id":"4DAE2708-F248-11E8-B48F-1D18A9856A87","full_name":"Singh, Vasu","first_name":"Vasu"},{"last_name":"Sun","first_name":"I","full_name":"Sun, I"}],"_id":"21092","volume":16087},{"corr_author":"1","day":"13","date_created":"2026-01-29T16:04:31Z","_id":"21093","page":"417-437","author":[{"id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","last_name":"Chalupa","full_name":"Chalupa, Marek","first_name":"Marek"},{"orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger"},{"id":"8b282559-50b0-11ef-861e-d6ace0d92e9b","last_name":"Oliveira da Costa","first_name":"Ana A","full_name":"Oliveira da Costa, Ana A"}],"volume":16087,"quality_controlled":"1","citation":{"chicago":"Chalupa, Marek, Thomas A Henzinger, and Ana A Oliveira da Costa. “Monitoring Hypernode Logic over Infinite Domains.” In <i>25th International Conference on Runtime Verification</i>, 16087:417–37. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_23\">https://doi.org/10.1007/978-3-032-05435-7_23</a>.","ista":"Chalupa M, Henzinger TA, Oliveira da Costa AA. 2025. Monitoring hypernode logic over infinite domains. 25th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 16087, 417–437.","apa":"Chalupa, M., Henzinger, T. A., &#38; Oliveira da Costa, A. A. (2025). Monitoring hypernode logic over infinite domains. In <i>25th International Conference on Runtime Verification</i> (Vol. 16087, pp. 417–437). Graz, Austria: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-032-05435-7_23\">https://doi.org/10.1007/978-3-032-05435-7_23</a>","short":"M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.","mla":"Chalupa, Marek, et al. “Monitoring Hypernode Logic over Infinite Domains.” <i>25th International Conference on Runtime Verification</i>, vol. 16087, Springer Nature, 2025, pp. 417–37, doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_23\">10.1007/978-3-032-05435-7_23</a>.","ieee":"M. Chalupa, T. A. Henzinger, and A. A. Oliveira da Costa, “Monitoring hypernode logic over infinite domains,” in <i>25th International Conference on Runtime Verification</i>, Graz, Austria, 2025, vol. 16087, pp. 417–437.","ama":"Chalupa M, Henzinger TA, Oliveira da Costa AA. Monitoring hypernode logic over infinite domains. In: <i>25th International Conference on Runtime Verification</i>. Vol 16087. Springer Nature; 2025:417-437. doi:<a href=\"https://doi.org/10.1007/978-3-032-05435-7_23\">10.1007/978-3-032-05435-7_23</a>"},"status":"public","publication":"25th International Conference on Runtime Verification","OA_type":"green","external_id":{"arxiv":["2508.02301"]},"ec_funded":1,"department":[{"_id":"ToHe"}],"intvolume":"     16087","OA_place":"repository","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093 and in part by the FWF-2022-SFB F8502 (SPyCoDe).","year":"2025","publisher":"Springer Nature","oa_version":"Preprint","type":"conference","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2508.02301","open_access":"1"}],"doi":"10.1007/978-3-032-05435-7_23","publication_status":"published","arxiv":1,"project":[{"_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software","grant_number":"101020093","call_identifier":"H2020"},{"_id":"34a1b658-11ca-11ed-8bc3-c75229f0241e","name":"Interface Theory for Security and Privacy","grant_number":"F8502"}],"alternative_title":["LNCS"],"conference":{"name":"RV: Runtime Verification","start_date":"2025-09-15","location":"Graz, Austria","end_date":"2025-09-19"},"oa":1,"abstract":[{"text":"We propose a monitoring approach for hyperproperties where the system’s observations range over infinite domains. The specifications are given as formulas of symbolic hypernode logic, an extension of earlier versions of hypernode logic that supports events with data. We demonstrate how to translate terms of symbolic hypernode logic into multi-tape symbolic transducers and we present a monitoring algorithm for universally quantified formulas that is based on this translation. We evaluate our approach against the previous approach for monitoring hypernode logic, and we also compare it to other monitors for hyperproperties.","lang":"eng"}],"month":"09","title":"Monitoring hypernode logic over infinite domains","publication_identifier":{"eissn":["1611-3349"],"eisbn":["9783032054357"],"issn":["0302-9743"]},"date_updated":"2026-02-16T11:59:20Z","date_published":"2025-09-13T00:00:00Z"},{"file":[{"date_updated":"2026-02-10T06:56:37Z","content_type":"application/pdf","file_name":"2025_AstrophysicalJounalLetters_Silvermann.pdf","file_id":"21202","date_created":"2026-02-10T06:56:37Z","creator":"dernst","success":1,"file_size":997137,"access_level":"open_access","relation":"main_file","checksum":"e38c0c444be9c1507eec28c62ce04cbc"}],"month":"12","title":"SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z > 6","article_type":"original","date_published":"2025-12-17T00:00:00Z","date_updated":"2026-02-10T07:02:39Z","publication_identifier":{"eissn":["2041-8213"],"issn":["2041-8205"]},"abstract":[{"lang":"eng","text":"The relation between the masses of supermassive black holes (SMBHs) and their host galaxies encodes information on their mode of growth, especially at the earliest epochs. The James Webb Space Telescope (JWST) has opened such investigations by detecting the host galaxies of active galactic nuclei (AGN) and more luminous quasars within the first billion years of the Universe (z ≳ 6). Here, we evaluate the relation between the mass of SMBHs and the total stellar mass of their host galaxies using a sample of nine quasars at 6.18 ≤ z ≤ 6.4 from the Subaru High-z Exploration of Low-luminosity Quasars survey with NIRCam and NIRSpec observations. We find that the observed location of these quasars in the SMBH–galaxy mass plane (logMBH/M 8–9; logM*/M 9.5–11) is consistent with a nonevolving intrinsic mass relation with dispersion (0.80 +0.23 -0.28 dex) higher than the local value (∼0.3–0.4 dex) of their more massive descendants. Our analysis is based on a forward model of systematics and includes a consideration of the impact of selection effects and measurement uncertainties with an assumption on the slope of the mass relation. While degeneracies between parameters persist, the best-fit solution has a reasonable AGN fraction (2.3%) of galaxies at z ∼ 6 with an actively growing UV-unobscured black hole. In particular, models with a substantially higher normalisation in MBH would require an unrealistically low intrinsic dispersion (∼0.22 dex). Consequently, our results predict a large population of AGN at lower black hole masses, as are now just starting to be discovered in focused efforts with JWST."}],"oa":1,"ddc":["520"],"oa_version":"Published Version","type":"journal_article","has_accepted_license":"1","file_date_updated":"2026-02-10T06:56:37Z","publication_status":"published","doi":"10.3847/2041-8213/ae279c","PlanS_conform":"1","arxiv":1,"article_processing_charge":"Yes","OA_place":"publisher","intvolume":"       995","acknowledgement":"This work is based on observations made with the NASA/ESA/CSA James Webb Space Telescope. The data were obtained from the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated with programs GO #1967 and GO #3859. The specific observations analyzed can be accessed via DOI: 10.17909/719q-cn32. Support for these programs was provided by NASA through a grant from the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127. This work was supported by World Premier International Research Center Initiative (WPI), MEXT, Japan. This work used computing resources at Kavli IPMU. J.S. is supported by JSPS KAKENHI (JP22H01262). M.O. is supported by the Japan Society for the Promotion of Science (JSPS) KAKENHI grant No. 24K22894. Y.M. was supported by the Japan Society for the Promotion of Science (JSPS) KAKENHI grant No. 21H04494. M.V. gratefully acknowledges financial support from the Independent Research Fund Denmark via grant numbers DFF 8021-00130 and 3103-00146 and from the Carlsberg Foundation via grant CF23-0417. S.E.I.B. is supported by the Deutsche Forschungsgemeinschaft (DFG) under Emmy Noether grant number BO 5771/1-1. K.I. acknowledges support from the National Natural Science Foundation of China (12073003, 11721303, 11991052). K.I. acknowledges support under the grant PID2022-136827NB-C44 provided by MCIN/AEI/10.13039/501100011033 / FEDER, UE. A.L. acknowledges support from PRIN MUR 2022— Project “2022935STW.” J.T.S. is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—project number 518006966. F.W. acknowledges support from NSF award AST-2513040. M.H. acknowledges support from the FNS under the SNSF starting grant 218032. B.T. acknowledges support from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement number 950533) and from the Excellence Cluster ORIGINS, which is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC 2094—390783311.","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","publisher":"IOP Publishing","DOAJ_listed":"1","issue":"2","article_number":"L67","publication":"The Astrophysical Journal Letters","status":"public","OA_type":"gold","quality_controlled":"1","citation":{"ama":"Silverman JD, Li J, Ding X, et al. SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z &#62; 6. <i>The Astrophysical Journal Letters</i>. 2025;995(2). doi:<a href=\"https://doi.org/10.3847/2041-8213/ae279c\">10.3847/2041-8213/ae279c</a>","ieee":"J. D. Silverman <i>et al.</i>, “SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z &#62; 6,” <i>The Astrophysical Journal Letters</i>, vol. 995, no. 2. IOP Publishing, 2025.","mla":"Silverman, John David, et al. “SHELLQs–JWST Perspective on the Intrinsic Mass Relation between Supermassive Black Holes and Their Host Galaxies at z &#62; 6.” <i>The Astrophysical Journal Letters</i>, vol. 995, no. 2, L67, IOP Publishing, 2025, doi:<a href=\"https://doi.org/10.3847/2041-8213/ae279c\">10.3847/2041-8213/ae279c</a>.","short":"J.D. Silverman, J. Li, X. Ding, M. Onoue, M.A. Strauss, Y. Matsuoka, T. Izumi, K. Jahnke, T. Treu, M. Volonteri, C.L. Phillips, I.T. Andika, K. Aoki, J. Arita, S. Baba, S.E.I. Bosman, A.-C. Eilers, X. Fan, S. Fujimoto, M. Habouzit, Z. Haiman, M. Imanishi, K. Inayoshi, K. Iwasawa, N. Kashikawa, T. Kawaguchi, C.-H. Lee, A. Lupi, T. Nagao, J.-T. Schindler, M. Schramm, K. Shimasaku, Y. Toba, B. Trakhtenbrot, H. Umehata, M. Vestergaard, F. Walter, F. Wang, J. Yang, The Astrophysical Journal Letters 995 (2025).","apa":"Silverman, J. D., Li, J., Ding, X., Onoue, M., Strauss, M. A., Matsuoka, Y., … Yang, J. (2025). SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z &#62; 6. <i>The Astrophysical Journal Letters</i>. IOP Publishing. <a href=\"https://doi.org/10.3847/2041-8213/ae279c\">https://doi.org/10.3847/2041-8213/ae279c</a>","ista":"Silverman JD, Li J, Ding X, Onoue M, Strauss MA, Matsuoka Y, Izumi T, Jahnke K, Treu T, Volonteri M, Phillips CL, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fan X, Fujimoto S, Habouzit M, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kashikawa N, Kawaguchi T, Lee C-H, Lupi A, Nagao T, Schindler J-T, Schramm M, Shimasaku K, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Walter F, Wang F, Yang J. 2025. SHELLQs–JWST perspective on the intrinsic mass relation between supermassive black holes and their host galaxies at z &#62; 6. The Astrophysical Journal Letters. 995(2), L67.","chicago":"Silverman, John David, Junyao Li, Xuheng Ding, Masafusa Onoue, Michael A. Strauss, Yoshiki Matsuoka, Takuma Izumi, et al. “SHELLQs–JWST Perspective on the Intrinsic Mass Relation between Supermassive Black Holes and Their Host Galaxies at z &#62; 6.” <i>The Astrophysical Journal Letters</i>. IOP Publishing, 2025. <a href=\"https://doi.org/10.3847/2041-8213/ae279c\">https://doi.org/10.3847/2041-8213/ae279c</a>."},"external_id":{"arxiv":["2507.23066"]},"department":[{"_id":"ZoHa"}],"date_created":"2026-01-31T09:27:53Z","author":[{"last_name":"Silverman","first_name":"John David","full_name":"Silverman, John David"},{"last_name":"Li","full_name":"Li, Junyao","first_name":"Junyao"},{"first_name":"Xuheng","full_name":"Ding, Xuheng","last_name":"Ding"},{"first_name":"Masafusa","full_name":"Onoue, Masafusa","last_name":"Onoue"},{"last_name":"Strauss","first_name":"Michael A.","full_name":"Strauss, Michael A."},{"last_name":"Matsuoka","full_name":"Matsuoka, Yoshiki","first_name":"Yoshiki"},{"full_name":"Izumi, Takuma","first_name":"Takuma","last_name":"Izumi"},{"last_name":"Jahnke","first_name":"Knud","full_name":"Jahnke, Knud"},{"last_name":"Treu","first_name":"Tommaso","full_name":"Treu, Tommaso"},{"last_name":"Volonteri","first_name":"Marta","full_name":"Volonteri, Marta"},{"first_name":"Camryn L.","full_name":"Phillips, Camryn L.","last_name":"Phillips"},{"last_name":"Andika","full_name":"Andika, Irham T.","first_name":"Irham T."},{"last_name":"Aoki","full_name":"Aoki, Kentaro","first_name":"Kentaro"},{"full_name":"Arita, Junya","first_name":"Junya","last_name":"Arita"},{"last_name":"Baba","full_name":"Baba, Shunsuke","first_name":"Shunsuke"},{"last_name":"Bosman","full_name":"Bosman, Sarah E. I.","first_name":"Sarah E. I."},{"first_name":"Anna-Christina","full_name":"Eilers, Anna-Christina","last_name":"Eilers"},{"last_name":"Fan","full_name":"Fan, Xiaohui","first_name":"Xiaohui"},{"first_name":"Seiji","full_name":"Fujimoto, Seiji","last_name":"Fujimoto"},{"full_name":"Habouzit, Melanie","first_name":"Melanie","last_name":"Habouzit"},{"first_name":"Zoltán","full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"},{"last_name":"Imanishi","full_name":"Imanishi, Masatoshi","first_name":"Masatoshi"},{"last_name":"Inayoshi","full_name":"Inayoshi, Kohei","first_name":"Kohei"},{"last_name":"Iwasawa","first_name":"Kazushi","full_name":"Iwasawa, Kazushi"},{"full_name":"Kashikawa, Nobunari","first_name":"Nobunari","last_name":"Kashikawa"},{"last_name":"Kawaguchi","full_name":"Kawaguchi, Toshihiro","first_name":"Toshihiro"},{"first_name":"Chien-Hsiu","full_name":"Lee, Chien-Hsiu","last_name":"Lee"},{"full_name":"Lupi, Alessandro","first_name":"Alessandro","last_name":"Lupi"},{"last_name":"Nagao","full_name":"Nagao, Tohru","first_name":"Tohru"},{"full_name":"Schindler, Jan-Torge","first_name":"Jan-Torge","last_name":"Schindler"},{"last_name":"Schramm","first_name":"Malte","full_name":"Schramm, Malte"},{"full_name":"Shimasaku, Kazuhiro","first_name":"Kazuhiro","last_name":"Shimasaku"},{"last_name":"Toba","first_name":"Yoshiki","full_name":"Toba, Yoshiki"},{"last_name":"Trakhtenbrot","first_name":"Benny","full_name":"Trakhtenbrot, Benny"},{"full_name":"Umehata, Hideki","first_name":"Hideki","last_name":"Umehata"},{"last_name":"Vestergaard","first_name":"Marianne","full_name":"Vestergaard, Marianne"},{"first_name":"Fabian","full_name":"Walter, Fabian","last_name":"Walter"},{"last_name":"Wang","full_name":"Wang, Feige","first_name":"Feige"},{"last_name":"Yang","first_name":"Jinyi","full_name":"Yang, Jinyi"}],"_id":"21121","volume":995,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"17"},{"title":"Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers","article_type":"original","date_published":"2025-11-01T00:00:00Z","date_updated":"2026-02-10T07:10:21Z","publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]},"file":[{"success":1,"access_level":"open_access","file_size":3689696,"relation":"main_file","checksum":"f9b4c6a606df9493f6eb6af5ebcca6db","date_updated":"2026-02-10T07:07:17Z","file_id":"21203","file_name":"2025_MonthlyNoticesRAS_Krauth.pdf","content_type":"application/pdf","creator":"dernst","date_created":"2026-02-10T07:07:17Z"}],"month":"11","abstract":[{"lang":"eng","text":"The multimessenger combination of gravitational waves (GWs) from merging massive black hole binaries (MBHBs) and the electromagnetic (EM) counterpart from the surrounding circumbinary disc (CBD) will open avenues to new scientific pursuits. In order to realize this science, we need to correctly localize the host galaxy of the merging MBHB. Multiwavelength, time-dependent EM signatures can greatly facilitate the identification of the unique EM counterpart among many sources in LISA’s localization volume. To this end, we studied merging unequal-mass MBHBs embedded in a CBD using high-resolution 2D simulations, with a $\\Gamma$-law equation of state, incorporating viscous heating, shock heating, and radiative cooling. We simulate each binary starting from before it decouples from the CBD until just after the merger. We compute EM signatures and identify distinct features before, during, and after the merger. We corroborate previous findings of a several orders of magnitude drop in the thermal X-ray luminosity near the time of merger, but with delayed timing compared to an equal-mass system. The source remains X-ray dark for hours post-merger. Our main results are a potential new signature of a sharp spike in the thermal X-ray emission just before the tell-tale steep drop occurs. This feature may further help to identify EM counterparts of LISA’s unequal MBHBs before merger without the need for extensive pre-merger monitoring. Additionally, we find a role-reversal in which the primary out-accretes the secondary during late inspiral, which may diminish signatures originating from Doppler modulation."}],"oa":1,"ddc":["520"],"file_date_updated":"2026-02-10T07:07:17Z","has_accepted_license":"1","doi":"10.1093/mnras/staf1583","publication_status":"published","PlanS_conform":"1","arxiv":1,"oa_version":"Published Version","type":"journal_article","publisher":"Oxford University Press","year":"2025","DOAJ_listed":"1","issue":"3","OA_place":"publisher","intvolume":"       543","article_processing_charge":"Yes","acknowledgement":"We acknowledge support from the Nationale Wetenschapsagenda Roadmap grant ‘Gravitational Waves Laser Interferometer Space Antenna/Einstein Telescope: Shivers from the Deep Universe: A National Infrastructure for Gravitational Wave Research’ (LMK), National Science Foundation grant AST-2006176 (ZH), and National Aeronautics and Space Administration Astrophysics Theory Program grant 80NSSC22K0822 (AM and ZH). JD was supported by National Aeronautics and Space Administration through the National Aeronautics and Space Administration Hubble Fellowship grant HST-HF2-51552.001A, awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Incorporated, under National Aeronautics and Space Administration contract NAS5-26555. This research was supported in part by the National Science Foundation under grant no. NSF PHY-1748958. This research has made use of National Aeronautics and Space Administration’s Astrophysics Data System. Resources supporting this work were provided by the National Aeronautics and Space Administration High-End Computing (HEC) Program through the National Aeronautics and Space Administration Advanced Supercomputing (NAS) Division at Ames Research Center. Software:  python (Oliphant 2007; Millman & Aivazis 2011), scipy (Jones et al. 2001), numpy (van der Walt, Colbert & Varoquaux 2011), and matplotlib (Hunter 2007).","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ZoHa"}],"publication":"Monthly Notices of the Royal Astronomical Society","status":"public","OA_type":"gold","quality_controlled":"1","citation":{"ieee":"L. M. Krauth, J. Davelaar, Z. Haiman, J. R. Westernacher-Schneider, J. Zrake, and A. MacFadyen, “Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 543, no. 3. Oxford University Press, pp. 2670–2685, 2025.","mla":"Krauth, Luke Major, et al. “Thermal X-Ray Signatures in Late-Stage Unequal-Mass Massive Black Hole Binary Mergers.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 543, no. 3, Oxford University Press, 2025, pp. 2670–85, doi:<a href=\"https://doi.org/10.1093/mnras/staf1583\">10.1093/mnras/staf1583</a>.","ama":"Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers. <i>Monthly Notices of the Royal Astronomical Society</i>. 2025;543(3):2670-2685. doi:<a href=\"https://doi.org/10.1093/mnras/staf1583\">10.1093/mnras/staf1583</a>","ista":"Krauth LM, Davelaar J, Haiman Z, Westernacher-Schneider JR, Zrake J, MacFadyen A. 2025. Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers. Monthly Notices of the Royal Astronomical Society. 543(3), 2670–2685.","chicago":"Krauth, Luke Major, Jordy Davelaar, Zoltán Haiman, John Ryan Westernacher-Schneider, Jonathan Zrake, and Andrew MacFadyen. “Thermal X-Ray Signatures in Late-Stage Unequal-Mass Massive Black Hole Binary Mergers.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2025. <a href=\"https://doi.org/10.1093/mnras/staf1583\">https://doi.org/10.1093/mnras/staf1583</a>.","short":"L.M. Krauth, J. Davelaar, Z. Haiman, J.R. Westernacher-Schneider, J. Zrake, A. MacFadyen, Monthly Notices of the Royal Astronomical Society 543 (2025) 2670–2685.","apa":"Krauth, L. M., Davelaar, J., Haiman, Z., Westernacher-Schneider, J. R., Zrake, J., &#38; MacFadyen, A. (2025). Thermal X-ray signatures in late-stage unequal-mass massive black hole binary mergers. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/staf1583\">https://doi.org/10.1093/mnras/staf1583</a>"},"external_id":{"arxiv":["2503.01494"]},"volume":543,"date_created":"2026-01-31T09:28:28Z","author":[{"full_name":"Krauth, Luke Major","first_name":"Luke Major","last_name":"Krauth"},{"first_name":"Jordy","full_name":"Davelaar, Jordy","last_name":"Davelaar"},{"full_name":"Haiman, Zoltán","first_name":"Zoltán","orcid":"0000-0003-3633-5403","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"full_name":"Westernacher-Schneider, John Ryan","first_name":"John Ryan","last_name":"Westernacher-Schneider"},{"first_name":"Jonathan","full_name":"Zrake, Jonathan","last_name":"Zrake"},{"last_name":"MacFadyen","first_name":"Andrew","full_name":"MacFadyen, Andrew"}],"page":"2670-2685","_id":"21122","day":"01","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"file_date_updated":"2026-02-10T07:19:52Z","publication_status":"published","has_accepted_license":"1","doi":"10.3847/1538-4357/ae0ca8","PlanS_conform":"1","arxiv":1,"oa_version":"Published Version","type":"journal_article","ddc":["520"],"abstract":[{"lang":"eng","text":"We present a study of the late-time interaction between supermassive black hole binaries and retrograde circumbinary disks during the period of gravitational wave-driven inspiral. While mergers in prograde disks have received extensive study, retrograde disks offer distinct dynamics that could promote mergers and produce unique observational signatures. Through 2D numerical hydrodynamical simulations, we explore the process of binary-disk decoupling, where the binary’s orbital decay rate is faster than the disk’s viscous response rate. We find the point of decoupling to be comparable in prograde and retrograde disks, suggesting that any associated electromagnetic (EM) signatures will be produced at comparable times preceding the merger. However, we find smaller central cavities for retrograde disks, likely leading to higher-frequency EM emissions and shorter postmerger rebrightening timescales compared to their prograde counterparts. Retrograde disks form intrabinary bridges, which are prone to instabilities when the viscosity is low. These instabilities manifest as quasiperiodic flares in the accretion rate, which may produce distinctive EM signatures for retrograde disks."}],"oa":1,"title":"Gravitational wave decoupling in retrograde circumbinary disks","date_published":"2025-11-05T00:00:00Z","article_type":"original","publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"date_updated":"2026-02-10T07:22:28Z","file":[{"content_type":"application/pdf","date_updated":"2026-02-10T07:19:52Z","file_id":"21205","file_name":"2025_AstrophysicalJournal_ONeill.pdf","creator":"dernst","date_created":"2026-02-10T07:19:52Z","file_size":8071909,"access_level":"open_access","relation":"main_file","checksum":"65d0a3af314b5706407ad1b57a4ea89d","success":1}],"month":"11","day":"05","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":993,"date_created":"2026-01-31T09:28:50Z","author":[{"last_name":"O’Neill","first_name":"David","full_name":"O’Neill, David"},{"last_name":"Tiede","full_name":"Tiede, Christopher","first_name":"Christopher"},{"first_name":"Daniel J.","full_name":"D’Orazio, Daniel J.","last_name":"D’Orazio"},{"orcid":"0000-0003-3633-5403","full_name":"Haiman, Zoltán","first_name":"Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"last_name":"MacFadyen","first_name":"Andrew","full_name":"MacFadyen, Andrew"}],"_id":"21123","department":[{"_id":"ZoHa"}],"publication":"The Astrophysical Journal","OA_type":"gold","status":"public","quality_controlled":"1","citation":{"chicago":"O’Neill, David, Christopher Tiede, Daniel J. D’Orazio, Zoltán Haiman, and Andrew MacFadyen. “Gravitational Wave Decoupling in Retrograde Circumbinary Disks.” <i>The Astrophysical Journal</i>. IOP Publishing, 2025. <a href=\"https://doi.org/10.3847/1538-4357/ae0ca8\">https://doi.org/10.3847/1538-4357/ae0ca8</a>.","ista":"O’Neill D, Tiede C, D’Orazio DJ, Haiman Z, MacFadyen A. 2025. Gravitational wave decoupling in retrograde circumbinary disks. The Astrophysical Journal. 993(2), 206.","apa":"O’Neill, D., Tiede, C., D’Orazio, D. J., Haiman, Z., &#38; MacFadyen, A. (2025). Gravitational wave decoupling in retrograde circumbinary disks. <i>The Astrophysical Journal</i>. IOP Publishing. <a href=\"https://doi.org/10.3847/1538-4357/ae0ca8\">https://doi.org/10.3847/1538-4357/ae0ca8</a>","short":"D. O’Neill, C. Tiede, D.J. D’Orazio, Z. Haiman, A. MacFadyen, The Astrophysical Journal 993 (2025).","ieee":"D. O’Neill, C. Tiede, D. J. D’Orazio, Z. Haiman, and A. MacFadyen, “Gravitational wave decoupling in retrograde circumbinary disks,” <i>The Astrophysical Journal</i>, vol. 993, no. 2. IOP Publishing, 2025.","mla":"O’Neill, David, et al. “Gravitational Wave Decoupling in Retrograde Circumbinary Disks.” <i>The Astrophysical Journal</i>, vol. 993, no. 2, 206, IOP Publishing, 2025, doi:<a href=\"https://doi.org/10.3847/1538-4357/ae0ca8\">10.3847/1538-4357/ae0ca8</a>.","ama":"O’Neill D, Tiede C, D’Orazio DJ, Haiman Z, MacFadyen A. Gravitational wave decoupling in retrograde circumbinary disks. <i>The Astrophysical Journal</i>. 2025;993(2). doi:<a href=\"https://doi.org/10.3847/1538-4357/ae0ca8\">10.3847/1538-4357/ae0ca8</a>"},"external_id":{"arxiv":["2501.11679"]},"publisher":"IOP Publishing","year":"2025","DOAJ_listed":"1","issue":"2","article_number":"206","article_processing_charge":"Yes","OA_place":"publisher","intvolume":"       993","acknowledgement":"D.J.D., C.T., and D.O.N. acknowledge support from the Danish Independent Research Fund through Sapere Aude Starting grant No. 121587, led by D.J.D. We are grateful to the anonymous referee for the insightful comments and suggestions for improving the manuscript. This work was also supported in part by the LISA Preparatory Science Program (LPS) through NASA grant 80NSSC24K0440, by NASA Astrophysics Theory Program (ATP) grant 80NSSC22K0822, and by the European Union’s Horizon research and innovation program under Marie Sklodowska-Curie grant agreement No. 101148364. This work made use of the following software packages: Sailfish (J. Zrake & A. MacFadyen 2024), numpy (C. R. Harris et al. 2020), Python (G. Van Rossum & F. L. Drake 2009), and scipy (P. Virtanen et al. 2020; R. Gommers et al. 2024). Software citation information aggregated using The Software Citation Station (T. Wagg & F. S. Broekgaarden 2024; T. Wagg et al. 2024). The Tycho supercomputer hosted at the SCIENCE HPC center at the University of Copenhagen was used in this work.","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87"},{"title":"SHELLQs-JWST unveils the host galaxies of 12 quasars at z > 6","article_type":"original","date_published":"2025-10-28T00:00:00Z","date_updated":"2026-02-10T07:44:42Z","publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"file":[{"file_size":10064937,"access_level":"open_access","relation":"main_file","checksum":"36decd55832a270ce62086c1a279a254","success":1,"date_created":"2026-02-10T07:42:21Z","creator":"dernst","content_type":"application/pdf","date_updated":"2026-02-10T07:42:21Z","file_id":"21206","file_name":"2025_AstrophysicalJournal_Ding.pdf"}],"month":"10","abstract":[{"lang":"eng","text":"The advent of the James Webb Space Telescope (JWST) has opened new horizons in the study of quasar host galaxies during the reionization epoch (z > 6). Building upon our previous initial measurements of stellar light from two quasar host galaxies at these redshifts, we now report the detection of the stellar light from the full Cycle 1 sample of 12 distant moderate-luminosity quasar (M1450 > −24 mag) host galaxies at z > 6 from the Hyper Suprime-Cam Subaru Strategic Program. Using JWST/NIRCam observations at 1.5 and 3.6 μm combined with 2D image decomposition analysis, we successfully detect the host galaxies in 11 of the 12 targets, underscoring the high detection rates achievable with moderate-luminosity quasars. Based on two-band photometry and spectral energy distribution fitting, we find that our host galaxies are massive, with log M*/M⊙ = 9.5–11.0. The effective radii range from 0.6 to 3.2 kpc, comparable to the sizes of inactive galaxies with similar masses at z ∼ 6 as measured with imaging from COSMOS-Web. Intriguingly, the two quasar hosts with post-starburst features, which reside at the high-mass end of our sample and exhibit relatively compact morphologies, have similar size and stellar mass surface densities to quiescent galaxies at z ∼ 4–5. These findings suggest that the so-called galaxy compaction scenario is already in place at the reionization epoch, in which gas inflows during starburst phases drive centrally concentrated star formation followed by rapid quenching, bridging the structural transition of massive galaxies from relatively extended star-forming disks to compact quiescent systems."}],"oa":1,"ddc":["520"],"doi":"10.3847/1538-4357/ae045b","has_accepted_license":"1","file_date_updated":"2026-02-10T07:42:21Z","publication_status":"published","arxiv":1,"PlanS_conform":"1","oa_version":"Published Version","type":"journal_article","year":"2025","publisher":"IOP Publishing","DOAJ_listed":"1","article_number":"91","issue":"1","intvolume":"       993","OA_place":"publisher","article_processing_charge":"Yes","acknowledgement":"We sincerely thank Xiaohui Fan and Shenli Tang for their valuable discussions and insightful suggestions.\r\n\r\nThis work is based on observations made with the NASA/ESA/CSA JWST. The data were obtained from the Mikulski Archive for Space Telescopes at the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127 for JWST. These observations are associated with programs GO #1967, GO #3859, and GO #1727. Support for these programs was provided by NASA through a grant from the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-03127. This work was supported by the World Premier International Research Center Initiative (WPI), MEXT, Japan. This work used computing resources at Kavli IPMU. All the JWST data used in this paper can be found in MAST: doi:10.17909/hqaf-an74.\r\n\r\nSupport for this work was provided by NASA through grant JWST-GO-01727 awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., under NASA contract NAS 5-26555. X.D. is supported by Wuhan University's Double First-Class funding. M.O. is supported by the Japan Society for the Promotion of Science (JSPS) KAKENHI grant No. G24K22894. Y.M. is supported by the Japan Society for the Promotion of Science (JSPS) KAKENHI grant No. 21H04494. S.E.I.B. is supported by the Deutsche Forschungsgemeinschaft (DFG) under Emmy Noether grant No. B.O. 5771/1-1. J.S. is supported by JSPS KAKENHI (JP22H01262) and the World Premier International Research Center Initiative (WPI), MEXT, Japan. K.I. acknowledges support from the National Natural Science Foundation of China (12073003, 11721303, 11991052). A.L. acknowledges support from PRIN MUR 2022—Project “2022935STW” J.T.S. is supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—Project No. 518006966. M.V. gratefully acknowledges financial support from the Independent Research Fund Denmark via grant Nos. DFF 8021-00130 and 3103-00146. K.I. acknowledges support under grant PID2022-136827NB-C44 provided by MCIN/AEI/10.13039/501100011033/FEDER, UE. F.W. acknowledges support from NSF award AST-2513040.","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","department":[{"_id":"ZoHa"}],"publication":"The Astrophysical Journal","status":"public","OA_type":"gold","quality_controlled":"1","citation":{"ista":"Ding X, Onoue M, Silverman JD, Matsuoka Y, Izumi T, Strauss MA, Yang L, Jahnke K, Phillips CL, Treu T, Andika IT, Aoki K, Arita J, Baba S, Bosman SEI, Eilers A-C, Fujimoto S, Haiman Z, Imanishi M, Inayoshi K, Iwasawa K, Kartaltepe J, Kashikawa N, Kawaguchi T, Li J, Lee C-H, Lupi A, Schindler J-T, Schramm M, Shimasaku K, Shuntov M, Tanaka TS, Toba Y, Trakhtenbrot B, Umehata H, Vestergaard M, Wang F, Yang J. 2025. SHELLQs-JWST unveils the host galaxies of 12 quasars at z &#62; 6. The Astrophysical Journal. 993(1), 91.","chicago":"Ding, Xuheng, Masafusa Onoue, John D. Silverman, Yoshiki Matsuoka, Takuma Izumi, Michael A. Strauss, Lilan Yang, et al. “SHELLQs-JWST Unveils the Host Galaxies of 12 Quasars at z &#62; 6.” <i>The Astrophysical Journal</i>. IOP Publishing, 2025. <a href=\"https://doi.org/10.3847/1538-4357/ae045b\">https://doi.org/10.3847/1538-4357/ae045b</a>.","apa":"Ding, X., Onoue, M., Silverman, J. D., Matsuoka, Y., Izumi, T., Strauss, M. A., … Yang, J. (2025). SHELLQs-JWST unveils the host galaxies of 12 quasars at z &#62; 6. <i>The Astrophysical Journal</i>. IOP Publishing. <a href=\"https://doi.org/10.3847/1538-4357/ae045b\">https://doi.org/10.3847/1538-4357/ae045b</a>","short":"X. Ding, M. Onoue, J.D. Silverman, Y. Matsuoka, T. Izumi, M.A. Strauss, L. Yang, K. Jahnke, C.L. Phillips, T. Treu, I.T. Andika, K. Aoki, J. Arita, S. Baba, S.E.I. Bosman, A.-C. Eilers, S. Fujimoto, Z. Haiman, M. Imanishi, K. Inayoshi, K. Iwasawa, J. Kartaltepe, N. Kashikawa, T. Kawaguchi, J. Li, C.-H. Lee, A. Lupi, J.-T. Schindler, M. Schramm, K. Shimasaku, M. Shuntov, T.S. Tanaka, Y. Toba, B. Trakhtenbrot, H. Umehata, M. Vestergaard, F. Wang, J. Yang, The Astrophysical Journal 993 (2025).","ieee":"X. Ding <i>et al.</i>, “SHELLQs-JWST unveils the host galaxies of 12 quasars at z &#62; 6,” <i>The Astrophysical Journal</i>, vol. 993, no. 1. IOP Publishing, 2025.","mla":"Ding, Xuheng, et al. “SHELLQs-JWST Unveils the Host Galaxies of 12 Quasars at z &#62; 6.” <i>The Astrophysical Journal</i>, vol. 993, no. 1, 91, IOP Publishing, 2025, doi:<a href=\"https://doi.org/10.3847/1538-4357/ae045b\">10.3847/1538-4357/ae045b</a>.","ama":"Ding X, Onoue M, Silverman JD, et al. SHELLQs-JWST unveils the host galaxies of 12 quasars at z &#62; 6. <i>The Astrophysical Journal</i>. 2025;993(1). doi:<a href=\"https://doi.org/10.3847/1538-4357/ae045b\">10.3847/1538-4357/ae045b</a>"},"external_id":{"arxiv":["2505.03876"]},"volume":993,"date_created":"2026-01-31T09:29:11Z","author":[{"full_name":"Ding, Xuheng","first_name":"Xuheng","last_name":"Ding"},{"first_name":"Masafusa","full_name":"Onoue, Masafusa","last_name":"Onoue"},{"last_name":"Silverman","first_name":"John D.","full_name":"Silverman, John D."},{"full_name":"Matsuoka, Yoshiki","first_name":"Yoshiki","last_name":"Matsuoka"},{"full_name":"Izumi, Takuma","first_name":"Takuma","last_name":"Izumi"},{"full_name":"Strauss, Michael A.","first_name":"Michael A.","last_name":"Strauss"},{"last_name":"Yang","full_name":"Yang, Lilan","first_name":"Lilan"},{"last_name":"Jahnke","first_name":"Knud","full_name":"Jahnke, Knud"},{"last_name":"Phillips","full_name":"Phillips, Camryn L.","first_name":"Camryn L."},{"last_name":"Treu","first_name":"Tommaso","full_name":"Treu, Tommaso"},{"last_name":"Andika","first_name":"Irham T.","full_name":"Andika, Irham T."},{"first_name":"Kentaro","full_name":"Aoki, Kentaro","last_name":"Aoki"},{"last_name":"Arita","first_name":"Junya","full_name":"Arita, Junya"},{"first_name":"Shunsuke","full_name":"Baba, Shunsuke","last_name":"Baba"},{"last_name":"Bosman","first_name":"Sarah E. I.","full_name":"Bosman, Sarah E. I."},{"first_name":"Anna-Christina","full_name":"Eilers, Anna-Christina","last_name":"Eilers"},{"last_name":"Fujimoto","first_name":"Seiji","full_name":"Fujimoto, Seiji"},{"first_name":"Zoltán","full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"},{"first_name":"Masatoshi","full_name":"Imanishi, Masatoshi","last_name":"Imanishi"},{"last_name":"Inayoshi","first_name":"Kohei","full_name":"Inayoshi, Kohei"},{"first_name":"Kazushi","full_name":"Iwasawa, Kazushi","last_name":"Iwasawa"},{"full_name":"Kartaltepe, Jeyhan","first_name":"Jeyhan","last_name":"Kartaltepe"},{"last_name":"Kashikawa","full_name":"Kashikawa, Nobunari","first_name":"Nobunari"},{"first_name":"Toshihiro","full_name":"Kawaguchi, Toshihiro","last_name":"Kawaguchi"},{"last_name":"Li","first_name":"Junyao","full_name":"Li, Junyao"},{"full_name":"Lee, Chien-Hsiu","first_name":"Chien-Hsiu","last_name":"Lee"},{"last_name":"Lupi","full_name":"Lupi, Alessandro","first_name":"Alessandro"},{"full_name":"Schindler, Jan-Torge","first_name":"Jan-Torge","last_name":"Schindler"},{"last_name":"Schramm","full_name":"Schramm, Malte","first_name":"Malte"},{"full_name":"Shimasaku, Kazuhiro","first_name":"Kazuhiro","last_name":"Shimasaku"},{"last_name":"Shuntov","full_name":"Shuntov, Marko","first_name":"Marko"},{"last_name":"Tanaka","full_name":"Tanaka, Takumi S.","first_name":"Takumi S."},{"full_name":"Toba, Yoshiki","first_name":"Yoshiki","last_name":"Toba"},{"first_name":"Benny","full_name":"Trakhtenbrot, Benny","last_name":"Trakhtenbrot"},{"full_name":"Umehata, Hideki","first_name":"Hideki","last_name":"Umehata"},{"last_name":"Vestergaard","full_name":"Vestergaard, Marianne","first_name":"Marianne"},{"last_name":"Wang","full_name":"Wang, Feige","first_name":"Feige"},{"last_name":"Yang","full_name":"Yang, Jinyi","first_name":"Jinyi"}],"_id":"21124","day":"28","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"article_processing_charge":"No","OA_place":"repository","intvolume":"       111","issue":"10","article_number":"103536","year":"2025","publisher":"American Physical Society","external_id":{"arxiv":["2410.21247"]},"citation":{"apa":"Sabyr, A., Hill, J. C., &#38; Haiman, Z. (2025). Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments. <i>Physical Review D</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevd.111.103536\">https://doi.org/10.1103/physrevd.111.103536</a>","short":"A. Sabyr, J.C. Hill, Z. Haiman, Physical Review D 111 (2025).","chicago":"Sabyr, Alina, J. Colin Hill, and Zoltán Haiman. “Constraining Cosmology with Thermal Sunyaev-Zel’dovich Maps: Minkowski Functionals, Peaks, Minima, and Moments.” <i>Physical Review D</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/physrevd.111.103536\">https://doi.org/10.1103/physrevd.111.103536</a>.","ista":"Sabyr A, Hill JC, Haiman Z. 2025. Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments. Physical Review D. 111(10), 103536.","ama":"Sabyr A, Hill JC, Haiman Z. Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments. <i>Physical Review D</i>. 2025;111(10). doi:<a href=\"https://doi.org/10.1103/physrevd.111.103536\">10.1103/physrevd.111.103536</a>","ieee":"A. Sabyr, J. C. Hill, and Z. Haiman, “Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments,” <i>Physical Review D</i>, vol. 111, no. 10. American Physical Society, 2025.","mla":"Sabyr, Alina, et al. “Constraining Cosmology with Thermal Sunyaev-Zel’dovich Maps: Minkowski Functionals, Peaks, Minima, and Moments.” <i>Physical Review D</i>, vol. 111, no. 10, 103536, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/physrevd.111.103536\">10.1103/physrevd.111.103536</a>."},"quality_controlled":"1","status":"public","publication":"Physical Review D","OA_type":"green","_id":"21125","author":[{"last_name":"Sabyr","first_name":"Alina","full_name":"Sabyr, Alina"},{"last_name":"Hill","first_name":"J. Colin","full_name":"Hill, J. Colin"},{"orcid":"0000-0003-3633-5403","first_name":"Zoltán","full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman"}],"date_created":"2026-01-31T09:29:24Z","volume":111,"day":"28","month":"05","date_updated":"2026-02-10T08:11:17Z","publication_identifier":{"issn":["2470-0010"],"eissn":["2470-0029"]},"article_type":"original","date_published":"2025-05-28T00:00:00Z","title":"Constraining cosmology with thermal Sunyaev-Zel’dovich maps: Minkowski functionals, peaks, minima, and moments","oa":1,"abstract":[{"text":"The thermal Sunyaev-Zel’dovich effect (tSZ) is a sensitive probe of cosmology, as it traces the abundance of galaxy clusters and groups in the late-time Universe. Upcoming cosmic microwave background experiments such as the Simons Observatory (SO) and CMB-S4 will provide low-noise and high-resolution component-separated tSZ maps covering a large sky fraction. The tSZ signal is highly non-Gaussian; therefore, higher-order statistics are needed to optimally extract information from these maps. In this work, we study the cosmological constraining power of several tSZ statistics—Minkowski functionals (MFs), peaks, minima, and moments—that have yielded promising results in capturing non-Gaussian information from other cosmological data. Using a large suite of halo-model-based tSZ simulations with varying Ω𝑐 and 𝜎8 (154 cosmologies and over 800,000 maps, each 10.5×10.5  deg2), we show that by combining these observables, we can achieve  ≈29 × tighter constraints compared to using the tSZ power spectrum alone in an idealized noiseless case, with the MFs dominating the constraints. We show that much of the MF constraining power arises from halos below the detection threshold of cluster surveys, suggesting promising synergies with cluster-count analyses. Finally, we demonstrate that these statistics have the potential to deliver tight constraints even in the presence of noise. For example, using post-component-separation tSZ noise expected for SO, we obtain  ≈1.6 × and  ≈1.8 × tighter constraints than the power spectrum with MFs and all statistics combined, respectively. We show that the constraints from MFs approach the noiseless case for white-noise levels ≲1  𝜇⁢K−arcmin.","lang":"eng"}],"extern":"1","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2410.21247","open_access":"1"}],"type":"journal_article","oa_version":"Preprint","arxiv":1,"publication_status":"published","doi":"10.1103/physrevd.111.103536"},{"_id":"21126","author":[{"last_name":"Park","full_name":"Park, Kevin","first_name":"Kevin"},{"full_name":"Xin, Chengcheng","first_name":"Chengcheng","last_name":"Xin"},{"last_name":"Davelaar","full_name":"Davelaar, Jordy","first_name":"Jordy"},{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","orcid":"0000-0003-3633-5403","first_name":"Zoltán","full_name":"Haiman, Zoltán"}],"date_created":"2026-01-31T09:29:42Z","volume":111,"day":"04","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"article_processing_charge":"No","intvolume":"       111","OA_place":"repository","article_number":"063011","issue":"6","year":"2025","publisher":"American Physical Society","external_id":{"arxiv":["2409.04583"]},"citation":{"ama":"Park K, Xin C, Davelaar J, Haiman Z. Self-lensing flares from black hole binaries. IV. The number of detectable shadows. <i>Physical Review D</i>. 2025;111(6). doi:<a href=\"https://doi.org/10.1103/physrevd.111.063011\">10.1103/physrevd.111.063011</a>","mla":"Park, Kevin, et al. “Self-Lensing Flares from Black Hole Binaries. IV. The Number of Detectable Shadows.” <i>Physical Review D</i>, vol. 111, no. 6, 063011, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/physrevd.111.063011\">10.1103/physrevd.111.063011</a>.","ieee":"K. Park, C. Xin, J. Davelaar, and Z. Haiman, “Self-lensing flares from black hole binaries. IV. The number of detectable shadows,” <i>Physical Review D</i>, vol. 111, no. 6. American Physical Society, 2025.","short":"K. Park, C. Xin, J. Davelaar, Z. Haiman, Physical Review D 111 (2025).","apa":"Park, K., Xin, C., Davelaar, J., &#38; Haiman, Z. (2025). Self-lensing flares from black hole binaries. IV. The number of detectable shadows. <i>Physical Review D</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevd.111.063011\">https://doi.org/10.1103/physrevd.111.063011</a>","chicago":"Park, Kevin, Chengcheng Xin, Jordy Davelaar, and Zoltán Haiman. “Self-Lensing Flares from Black Hole Binaries. IV. The Number of Detectable Shadows.” <i>Physical Review D</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/physrevd.111.063011\">https://doi.org/10.1103/physrevd.111.063011</a>.","ista":"Park K, Xin C, Davelaar J, Haiman Z. 2025. Self-lensing flares from black hole binaries. IV. The number of detectable shadows. Physical Review D. 111(6), 063011."},"quality_controlled":"1","publication":"Physical Review D","OA_type":"green","status":"public","extern":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2409.04583"}],"type":"journal_article","oa_version":"Preprint","arxiv":1,"publication_status":"published","doi":"10.1103/physrevd.111.063011","month":"03","date_updated":"2026-02-10T08:14:10Z","publication_identifier":{"issn":["2470-0010"],"eissn":["2470-0029"]},"article_type":"original","date_published":"2025-03-04T00:00:00Z","title":"Self-lensing flares from black hole binaries. IV. The number of detectable shadows","oa":1,"abstract":[{"text":"Subparsec supermassive black hole (SMBH) binaries are expected to be common in active galactic nuclei as a result of the hierarchical buildup of galaxies via mergers. While direct evidence for these compact binaries is lacking, a few hundred candidates have been identified, most based on the apparent periodicities of their optical light curves. Since these signatures can be mimicked by active galactic nuclei red noise, additional evidence is needed to confirm their binary nature. Recurring self-lensing flares, occurring whenever the two BHs are aligned with the line of sight within their Einstein radii, have been suggested as additional binary signatures. Furthermore, in many cases, lensing flares are also predicted to contain a “dip,” whenever the lensed SMBH’s shadow is comparable in angular size to the binary’s Einstein radius. This feature would unambiguously confirm binaries and additionally identify SMBH shadows that are spatially unresolvable by high-resolution Very Long Baseline Interferometry (VLBI). Here we estimate the number of quasars for which these dips may be detectable by Legacy Survey of Space and Time (LSST) by extrapolating the quasar luminosity function to faint magnitudes and assuming that SMBH binaries are randomly oriented and have mass ratios following those in the Illustris simulations. Under plausible assumptions about quasar lifetimes, binary fractions, and Eddington ratios, we expect tens of thousands of detectable flares, of which several dozen contain measurable dips.","lang":"eng"}]},{"date_updated":"2026-02-10T08:36:54Z","publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]},"article_type":"original","date_published":"2025-03-01T00:00:00Z","title":"Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation","month":"03","oa":1,"abstract":[{"lang":"eng","text":"The early growth of black holes (BHs) in atomic-cooling haloes is likely influenced by feedback on the surrounding gas. While the effects of radiative feedback are well-documented, mechanical feedback, particularly from active galactic nucleus (AGN) jets, has been comparatively less explored. Building on our previous work that examined the growth of a 100 M BH in a constant density environment regulated by AGN jets, we expand the initial BH mass range from 1 to 104 M and adopt a more realistic density profile for atomic-cooling haloes. We reaffirm the validity of our analytic models for jet cocoon propagation and feedback regulation. We identify several critical radii – namely, the terminal radius of jet cocoon propagation, the isotropization radius of the jet cocoon, and the core radius of the atomic-cooling halo – that are crucial in determining BH growth given specific gas properties and jet feedback parameters. In a significant portion of the parameter space, our findings show that jet feedback substantially disrupts the halo’s core during the initial feedback episode, preventing BH growth beyond 104 M.\r\nConversely, conditions characterized by low jet velocities and high gas densities enable sustained BH growth over extended periods. We provide a prediction for the BH mass growth as a function of time and feedback parameters. We found that, to form a supermassive BH (> 106 M) within 1 Gyr entirely by accreting gas from an atomic-cooling halo, the jet energy feedback\r\nefficiency must be  10−4M˙ BHc2 even if the seed BH mass is 104 M."}],"extern":"1","ddc":["520"],"PlanS_conform":"1","arxiv":1,"doi":"10.1093/mnras/staf228","publication_status":"published","has_accepted_license":"1","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1093/mnras/staf228"}],"type":"journal_article","oa_version":"Published Version","issue":"1","DOAJ_listed":"1","publisher":"Oxford University Press","year":"2025","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"OA_place":"publisher","intvolume":"       538","article_processing_charge":"Yes","external_id":{"arxiv":["2409.12250"]},"quality_controlled":"1","citation":{"apa":"Su, K.-Y., Bryan, G. L., &#38; Haiman, Z. (2025). Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/staf228\">https://doi.org/10.1093/mnras/staf228</a>","short":"K.-Y. Su, G.L. Bryan, Z. Haiman, Monthly Notices of the Royal Astronomical Society 538 (2025) 11–30.","ista":"Su K-Y, Bryan GL, Haiman Z. 2025. Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation. Monthly Notices of the Royal Astronomical Society. 538(1), 11–30.","chicago":"Su, Kung-Yi, Greg L Bryan, and Zoltán Haiman. “Self-Regulation of High-Redshift Black Hole Accretion via Jets: Challenges for SMBH Formation.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2025. <a href=\"https://doi.org/10.1093/mnras/staf228\">https://doi.org/10.1093/mnras/staf228</a>.","ama":"Su K-Y, Bryan GL, Haiman Z. Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation. <i>Monthly Notices of the Royal Astronomical Society</i>. 2025;538(1):11-30. doi:<a href=\"https://doi.org/10.1093/mnras/staf228\">10.1093/mnras/staf228</a>","mla":"Su, Kung-Yi, et al. “Self-Regulation of High-Redshift Black Hole Accretion via Jets: Challenges for SMBH Formation.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 538, no. 1, Oxford University Press, 2025, pp. 11–30, doi:<a href=\"https://doi.org/10.1093/mnras/staf228\">10.1093/mnras/staf228</a>.","ieee":"K.-Y. Su, G. L. Bryan, and Z. Haiman, “Self-regulation of high-redshift black hole accretion via jets: Challenges for SMBH formation,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 538, no. 1. Oxford University Press, pp. 11–30, 2025."},"publication":"Monthly Notices of the Royal Astronomical Society","status":"public","OA_type":"gold","volume":538,"_id":"21127","page":"11-30","author":[{"last_name":"Su","full_name":"Su, Kung-Yi","first_name":"Kung-Yi"},{"first_name":"Greg L","full_name":"Bryan, Greg L","last_name":"Bryan"},{"orcid":"0000-0003-3633-5403","first_name":"Zoltán","full_name":"Haiman, Zoltán","last_name":"Haiman","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36"}],"date_created":"2026-01-31T09:29:59Z","day":"01","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"}},{"abstract":[{"text":"The brightest steady sources of radiation in the universe, active galactic nuclei (AGNs), are powered by gas accretion on to a central supermassive black hole (SMBH). The large sizes and accretion rates implicated in AGN accretion discs are expected to lead to gravitational instability and fragmentation, effectively cutting off mass inflow to the SMBH. Radiative feedback from disc-embedded stars has been invoked to yield marginally stable, steady-state solutions in the outer discs. Here, we examine the consequences of this star formation with a semi-analytical model in which stellar-mass black hole (sBH) remnants in the disc provide an additional source of stabilizing radiative feedback. Assuming star formation seeds the embedded sBH population, we model the time-evolving feedback from both stars and the growing population of accreting sBHs. We find that in the outer disc, the luminosity of the sBHs quickly dominates that of their parent stars. However, because sBHs consume less gas than stars to stabilize the disc, the presence of the sBHs enhances the mass flux to the inner disc. As a result, star formation persists over the lifetime of the AGN, damped in the outer disc, but amplified in a narrow ring in the inner disc. Heating from the embedded sBHs significantly modifies the disc’s temperature profile and hardens its spectral energy distribution, and direct emission from the sBHs adds a new hard X-ray component.","lang":"eng"}],"oa":1,"month":"03","date_published":"2025-03-01T00:00:00Z","article_type":"original","date_updated":"2026-02-10T09:00:44Z","publication_identifier":{"issn":["0035-8711"],"eissn":["1365-2966"]},"title":"Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes","type":"journal_article","main_file_link":[{"url":"https://doi.org/10.1093/mnras/staf237","open_access":"1"}],"oa_version":"Published Version","PlanS_conform":"1","arxiv":1,"doi":"10.1093/mnras/staf237","publication_status":"published","has_accepted_license":"1","extern":"1","ddc":["520"],"external_id":{"arxiv":["2405.09380"]},"OA_type":"gold","publication":"Monthly Notices of the Royal Astronomical Society","status":"public","citation":{"short":"M. Epstein-Martin, H. Tagawa, Z. Haiman, R. Perna, Monthly Notices of the Royal Astronomical Society 537 (2025) 3396–3420.","apa":"Epstein-Martin, M., Tagawa, H., Haiman, Z., &#38; Perna, R. (2025). Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes. <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/mnras/staf237\">https://doi.org/10.1093/mnras/staf237</a>","ista":"Epstein-Martin M, Tagawa H, Haiman Z, Perna R. 2025. Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes. Monthly Notices of the Royal Astronomical Society. 537(4), 3396–3420.","chicago":"Epstein-Martin, Marguerite, Hiromichi Tagawa, Zoltán Haiman, and Rosalba Perna. “Time-Dependent Models of AGN Discs with Radiation from Embedded Stellar-Mass Black Holes.” <i>Monthly Notices of the Royal Astronomical Society</i>. Oxford University Press, 2025. <a href=\"https://doi.org/10.1093/mnras/staf237\">https://doi.org/10.1093/mnras/staf237</a>.","ama":"Epstein-Martin M, Tagawa H, Haiman Z, Perna R. Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes. <i>Monthly Notices of the Royal Astronomical Society</i>. 2025;537(4):3396-3420. doi:<a href=\"https://doi.org/10.1093/mnras/staf237\">10.1093/mnras/staf237</a>","mla":"Epstein-Martin, Marguerite, et al. “Time-Dependent Models of AGN Discs with Radiation from Embedded Stellar-Mass Black Holes.” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 537, no. 4, Oxford University Press, 2025, pp. 3396–420, doi:<a href=\"https://doi.org/10.1093/mnras/staf237\">10.1093/mnras/staf237</a>.","ieee":"M. Epstein-Martin, H. Tagawa, Z. Haiman, and R. Perna, “Time-dependent models of AGN discs with radiation from embedded stellar-mass black holes,” <i>Monthly Notices of the Royal Astronomical Society</i>, vol. 537, no. 4. Oxford University Press, pp. 3396–3420, 2025."},"quality_controlled":"1","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"Yes","intvolume":"       537","OA_place":"publisher","issue":"4","publisher":"Oxford University Press","year":"2025","DOAJ_listed":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"day":"01","page":"3396-3420","author":[{"full_name":"Epstein-Martin, Marguerite","first_name":"Marguerite","last_name":"Epstein-Martin"},{"first_name":"Hiromichi","full_name":"Tagawa, Hiromichi","last_name":"Tagawa"},{"id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","first_name":"Zoltán","full_name":"Haiman, Zoltán","orcid":"0000-0003-3633-5403"},{"first_name":"Rosalba","full_name":"Perna, Rosalba","last_name":"Perna"}],"_id":"21128","date_created":"2026-01-31T09:30:19Z","volume":537},{"day":"04","date_created":"2026-01-31T09:30:34Z","_id":"21129","author":[{"first_name":"Stanislav","full_name":"DeLaurentiis, Stanislav","last_name":"DeLaurentiis"},{"orcid":"0000-0003-3633-5403","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"},{"last_name":"Krauth","first_name":"Luke Major","full_name":"Krauth, Luke Major"},{"last_name":"Davelaar","full_name":"Davelaar, Jordy","first_name":"Jordy"},{"last_name":"Zrake","first_name":"Jonathan","full_name":"Zrake, Jonathan"},{"last_name":"MacFadyen","first_name":"Andrew","full_name":"MacFadyen, Andrew"}],"volume":980,"quality_controlled":"1","citation":{"ista":"DeLaurentiis S, Haiman Z, Westernacher-Schneider JR, Krauth LM, Davelaar J, Zrake J, MacFadyen A. 2025. Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics. The Astrophysical Journal. 980(1), 55.","chicago":"DeLaurentiis, Stanislav, Zoltán Haiman, John Ryan Westernacher-Schneider, Luke Major Krauth, Jordy Davelaar, Jonathan Zrake, and Andrew MacFadyen. “Relativistic Binary Precession: Impact on Eccentric Massive Binary Black Hole Accretion and Hydrodynamics.” <i>The Astrophysical Journal</i>. IOP Publishing, 2025. <a href=\"https://doi.org/10.3847/1538-4357/ada612\">https://doi.org/10.3847/1538-4357/ada612</a>.","apa":"DeLaurentiis, S., Haiman, Z., Westernacher-Schneider, J. R., Krauth, L. M., Davelaar, J., Zrake, J., &#38; MacFadyen, A. (2025). Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics. <i>The Astrophysical Journal</i>. IOP Publishing. <a href=\"https://doi.org/10.3847/1538-4357/ada612\">https://doi.org/10.3847/1538-4357/ada612</a>","short":"S. DeLaurentiis, Z. Haiman, J.R. Westernacher-Schneider, L.M. Krauth, J. Davelaar, J. Zrake, A. MacFadyen, The Astrophysical Journal 980 (2025).","mla":"DeLaurentiis, Stanislav, et al. “Relativistic Binary Precession: Impact on Eccentric Massive Binary Black Hole Accretion and Hydrodynamics.” <i>The Astrophysical Journal</i>, vol. 980, no. 1, 55, IOP Publishing, 2025, doi:<a href=\"https://doi.org/10.3847/1538-4357/ada612\">10.3847/1538-4357/ada612</a>.","ieee":"S. DeLaurentiis <i>et al.</i>, “Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics,” <i>The Astrophysical Journal</i>, vol. 980, no. 1. IOP Publishing, 2025.","ama":"DeLaurentiis S, Haiman Z, Westernacher-Schneider JR, et al. Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics. <i>The Astrophysical Journal</i>. 2025;980(1). doi:<a href=\"https://doi.org/10.3847/1538-4357/ada612\">10.3847/1538-4357/ada612</a>"},"OA_type":"gold","publication":"The Astrophysical Journal","status":"public","external_id":{"arxiv":["2405.07897"]},"article_processing_charge":"Yes","OA_place":"publisher","intvolume":"       980","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"DOAJ_listed":"1","year":"2025","publisher":"IOP Publishing","issue":"1","article_number":"55","oa_version":"Published Version","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3847/1538-4357/ada612"}],"doi":"10.3847/1538-4357/ada612","publication_status":"published","arxiv":1,"PlanS_conform":"1","extern":"1","oa":1,"abstract":[{"lang":"eng","text":"Recent hydrodynamical simulations have shown that circumbinary gas disks drive the orbits of massive binary black holes (BHs) to become eccentric, even when general relativistic (GR) corrections to the orbit are significant. Here, we study the GR apsidal precession of eccentric equal-mass massive binary BHs in circumbinary disks via two-dimensional hydrodynamical simulations. We perform a suite of simulations comparing precessing and nonprecessing binaries across a range of eccentricities, semimajor axes, and precession rates. We find that the GR precession of the binary’s semimajor axis can introduce a dominant modulation in the binary’s accretion rate and the corresponding high-energy electromagnetic light curves. We discuss the conditions under which this occurs and its detailed characteristics and mechanism. Finally, we discuss the potential to observe these precession signatures in electromagnetic- and gravitational-wave observations, as well as the precession signal’s unique importance as a potential tool to constrain the mass, eccentricity, and semimajor axis of binary merger events."}],"month":"02","title":"Relativistic binary precession: Impact on eccentric massive binary black hole accretion and hydrodynamics","date_updated":"2026-02-10T09:06:07Z","publication_identifier":{"issn":["0004-637X"],"eissn":["1538-4357"]},"article_type":"original","date_published":"2025-02-04T00:00:00Z"},{"citation":{"mla":"Kia, Maryam, et al. “Koopman-Based Linearization of Preparatory EEG Dynamics in Parkinson’s Disease during Galvanic Vestibular Stimulation.” <i>Frontiers in Human Neuroscience</i>, vol. 19, 1566566, Frontiers Media, 2025, doi:<a href=\"https://doi.org/10.3389/fnhum.2025.1566566\">10.3389/fnhum.2025.1566566</a>.","ieee":"M. Kia <i>et al.</i>, “Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation,” <i>Frontiers in Human Neuroscience</i>, vol. 19. Frontiers Media, 2025.","ama":"Kia M, Mirian MS, Soori S, et al. Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation. <i>Frontiers in Human Neuroscience</i>. 2025;19. doi:<a href=\"https://doi.org/10.3389/fnhum.2025.1566566\">10.3389/fnhum.2025.1566566</a>","ista":"Kia M, Mirian MS, Soori S, Saedi S, Arasteh E, Faramarzi M, Chinchani A, Lee S, Luczak A, McKeown MJ. 2025. Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation. Frontiers in Human Neuroscience. 19, 1566566.","chicago":"Kia, Maryam, Maryam S. Mirian, Saeed Soori, Saeed Saedi, Emad Arasteh, Mohamadhosein Faramarzi, Abhijit Chinchani, Soojin Lee, Artur Luczak, and Martin J. McKeown. “Koopman-Based Linearization of Preparatory EEG Dynamics in Parkinson’s Disease during Galvanic Vestibular Stimulation.” <i>Frontiers in Human Neuroscience</i>. Frontiers Media, 2025. <a href=\"https://doi.org/10.3389/fnhum.2025.1566566\">https://doi.org/10.3389/fnhum.2025.1566566</a>.","short":"M. Kia, M.S. Mirian, S. Soori, S. Saedi, E. Arasteh, M. Faramarzi, A. Chinchani, S. Lee, A. Luczak, M.J. McKeown, Frontiers in Human Neuroscience 19 (2025).","apa":"Kia, M., Mirian, M. S., Soori, S., Saedi, S., Arasteh, E., Faramarzi, M., … McKeown, M. J. (2025). Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation. <i>Frontiers in Human Neuroscience</i>. Frontiers Media. <a href=\"https://doi.org/10.3389/fnhum.2025.1566566\">https://doi.org/10.3389/fnhum.2025.1566566</a>"},"quality_controlled":"1","OA_type":"gold","publication":"Frontiers in Human Neuroscience","status":"public","external_id":{"pmid":["40438537"]},"year":"2025","publisher":"Frontiers Media","article_number":"1566566","OA_place":"publisher","article_processing_charge":"No","intvolume":"        19","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"day":"14","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":19,"date_created":"2026-01-31T23:07:16Z","_id":"21131","author":[{"first_name":"Maryam","full_name":"Kia, Maryam","last_name":"Kia"},{"first_name":"Maryam S.","full_name":"Mirian, Maryam S.","last_name":"Mirian"},{"full_name":"Soori, Saeed","first_name":"Saeed","last_name":"Soori"},{"full_name":"Saedi, Saeed","first_name":"Saeed","last_name":"Saedi"},{"last_name":"Arasteh","full_name":"Arasteh, Emad","first_name":"Emad"},{"orcid":"0009-0003-2174-3938","first_name":"Mohamadhosein","full_name":"Faramarzi, Mohamadhosein","id":"9b785ee7-712d-11f0-b3a8-f7a45b28b9c3","last_name":"Faramarzi"},{"last_name":"Chinchani","full_name":"Chinchani, Abhijit","first_name":"Abhijit"},{"full_name":"Lee, Soojin","first_name":"Soojin","last_name":"Lee"},{"last_name":"Luczak","full_name":"Luczak, Artur","first_name":"Artur"},{"full_name":"McKeown, Martin J.","first_name":"Martin J.","last_name":"McKeown"}],"oa":1,"abstract":[{"text":"Introduction: Parkinson’s disease (PD) impairs motor preparation due to basal ganglia dysfunction, contributing to motor deficits. Galvanic Vestibular Stimulation (GVS), a non-invasive neuromodulation technique, shows promise in enhancing motor function in PD, but its underlying neural mechanisms are poorly understood. This study employs a Deep Koopman model to linearize and analyze preparatory EEG dynamics in PD, hypothesizing that GVS restores cortical activity patterns critical for motor planning.\r\nMethods: EEG data from 18 PD participants (on/off medication) and 18 healthy controls were collected during a preparatory phase of a motor task under three conditions: sham, GVS1 (50–100 Hz multi-sine), and GVS2 (100–150 Hz multi-sine). A Deep Koopman framework mapped EEG signals into a three-dimensional latent space for linear dynamical analysis. Temporal dynamics were assessed via eigenvalue analysis, spatial contributions via regression-based scalp mapping, and motor performance correlations via Pearson’s coefficients. A Linear Quadratic Regulator (LQR) simulated control of PD dynamics toward healthy patterns.\r\nResults: The Deep Koopman model accurately captured EEG dynamics, with eigenvalue analysis showing no significant temporal dynamic differences across groups. Spatial contribution analysis revealed that PD-Off sham conditions deviated most from healthy control EEG patterns, while GVS and medication significantly reduced these deviations, aligning PD patterns closer to controls. Closer alignment correlated with improved motor performance metrics, including reduced reaction and squeeze times. LQR control effectively guided PD neural dynamics toward healthy trajectories in the latent space.\r\nDiscussion: GVS enhances motor preparation in PD by restoring healthy cortical EEG patterns, with additive benefits from dopaminergic medication. The Deep Koopman framework offers a powerful approach for dissecting complex EEG dynamics and designing targeted neuromodulation strategies. These findings elucidate GVS’s therapeutic mechanisms and highlight its potential for personalized PD interventions, warranting further exploration in larger cohorts and varied stimulation protocols.","lang":"eng"}],"title":"Koopman-based linearization of preparatory EEG dynamics in Parkinson’s disease during galvanic vestibular stimulation","pmid":1,"publication_identifier":{"issn":["1662-5161"]},"date_updated":"2026-02-10T09:21:56Z","date_published":"2025-05-14T00:00:00Z","article_type":"original","month":"05","has_accepted_license":"1","publication_status":"published","doi":"10.3389/fnhum.2025.1566566","PlanS_conform":"1","oa_version":"Published Version","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://doi.org/10.3389/fnhum.2025.1566566"}],"ddc":["570"],"extern":"1"},{"status":"public","publication":"npj Science of Plants","OA_type":"hybrid","quality_controlled":"1","citation":{"chicago":"Monzer, Aline, and Jiří Friml. “Historical and Mechanistic Perspective on ABP1-TMK1-Mediated Cell Surface Auxin Signaling.” <i>Npj Science of Plants</i>. Springer Nature, 2025. <a href=\"https://doi.org/10.1038/s44383-025-00002-8\">https://doi.org/10.1038/s44383-025-00002-8</a>.","ista":"Monzer A, Friml J. 2025. Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling. npj Science of Plants. 1(1), 2.","apa":"Monzer, A., &#38; Friml, J. (2025). Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling. <i>Npj Science of Plants</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s44383-025-00002-8\">https://doi.org/10.1038/s44383-025-00002-8</a>","short":"A. Monzer, J. Friml, Npj Science of Plants 1 (2025) 2.","mla":"Monzer, Aline, and Jiří Friml. “Historical and Mechanistic Perspective on ABP1-TMK1-Mediated Cell Surface Auxin Signaling.” <i>Npj Science of Plants</i>, vol. 1, no. 1, Springer Nature, 2025, p. 2, doi:<a href=\"https://doi.org/10.1038/s44383-025-00002-8\">10.1038/s44383-025-00002-8</a>.","ieee":"A. Monzer and J. Friml, “Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.,” <i>npj Science of Plants</i>, vol. 1, no. 1. Springer Nature, p. 2, 2025.","ama":"Monzer A, Friml J. Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling. <i>npj Science of Plants</i>. 2025;1(1):2. doi:<a href=\"https://doi.org/10.1038/s44383-025-00002-8\">10.1038/s44383-025-00002-8</a>"},"external_id":{"pmid":["40630787"]},"department":[{"_id":"JiFr"},{"_id":"GradSch"}],"article_processing_charge":"Yes (in subscription journal)","intvolume":"         1","OA_place":"publisher","acknowledgement":"We gratefully acknowledge the funding by the Austrian Science Fund (FWF; I 6123-B and P 37051-B) and the European Research Council (ERC; 101142681 CYNIPS).We would like to thank Lukas Fiedler for his significant input and thoughtful revision of this manuscript.","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2025","publisher":"Springer Nature","issue":"1","tmp":{"image":"/images/cc_by_nc_nd.png","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode","short":"CC BY-NC-ND (4.0)"},"day":"01","corr_author":"1","date_created":"2026-02-03T13:03:53Z","author":[{"full_name":"Monzer, Aline","first_name":"Aline","id":"2DB5D88C-D7B3-11E9-B8FD-7907E6697425","last_name":"Monzer"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","last_name":"Friml","first_name":"Jiří","full_name":"Friml, Jiří","orcid":"0000-0002-8302-7596"}],"page":"2","_id":"21136","volume":1,"abstract":[{"text":"The plant hormone auxin regulates growth and development through at least two distinct signaling pathways. The nuclear pathway, involving TIR1/AFB receptors, mediates transcription; whereas the cell surface ABP1-TMK1 auxin perception triggers global ultrafast phosphorylation response. Here, we revisit the rich history of the disputed ABP1 auxin receptor, highlighting recent findings of the involvement of TMKs and other molecular components and focusing on their role in auxin canalization-mediated development.","lang":"eng"}],"oa":1,"file":[{"success":1,"checksum":"6c190faacf0e3bef98311dc8a12132d4","relation":"main_file","file_size":974106,"access_level":"open_access","creator":"dernst","date_created":"2026-02-10T09:35:43Z","file_name":"2025_NPJSciencePlants_Monzer.pdf","date_updated":"2026-02-10T09:35:43Z","content_type":"application/pdf","file_id":"21208"}],"month":"07","pmid":1,"title":"Historical and mechanistic perspective on ABP1-TMK1-mediated cell surface auxin signaling.","article_type":"original","date_published":"2025-07-01T00:00:00Z","publication_identifier":{"eissn":["3005-1401"]},"date_updated":"2026-02-10T09:39:20Z","oa_version":"Published Version","type":"journal_article","has_accepted_license":"1","doi":"10.1038/s44383-025-00002-8","publication_status":"published","file_date_updated":"2026-02-10T09:35:43Z","ddc":["580"],"project":[{"_id":"bd76d395-d553-11ed-ba76-f678c14f9033","name":"Peptide receptors for auxin canalization in Arabidopsis","grant_number":"I06123"},{"grant_number":"P37051","name":"Guanylate cyclase activity of TIR1/AFBs auxin receptors","_id":"7bcece63-9f16-11ee-852c-ae94e099eeb6"},{"name":"Cyclic nucleotides as second messengers in plants","_id":"8f347782-16d5-11f0-9cad-8c19706ee739","grant_number":"101142681"}]},{"abstract":[{"lang":"eng","text":"The Lovász Local Lemma (LLL) is a powerful tool in probabilistic\r\ncombinatorics which can be used to establish the existence of objects with certain\r\nproperties. The breakthrough paper by Moser & Tardos (STOC’09 and JACM 2010)\r\nand follow-up work revealed that the LLL has intimate connections with a class of\r\nstochastic local search algorithms for finding such desirable objects.\r\nBesides conditions for convergence, many other natural questions can be asked\r\nabout algorithms; for instance, “are they parallelizable?”, “how many solutions can\r\nthey output?”, “what is the expected ‘weight’ of a solution?”. These questions and\r\nmore have been answered for a class of LLL-inspired algorithms called commutative. In\r\nthis paper we introduce a new, very natural and more general notion of commutativity\r\n(essentially matrix commutativity) which allows us to show a number of new refined\r\nproperties of LLL-inspired local search algorithms with significantly simpler proofs."}],"oa":1,"title":"A new notion of commutativity for the algorithmic Lovász Local Lemma","date_published":"2025-09-08T00:00:00Z","article_type":"original","date_updated":"2026-02-10T10:00:00Z","publication_identifier":{"eissn":["1557-2862"]},"file":[{"checksum":"5a9f7cfccac6046fe75a14a4059eed04","access_level":"open_access","file_size":509346,"relation":"main_file","success":1,"date_created":"2026-02-10T09:54:28Z","creator":"dernst","date_updated":"2026-02-10T09:54:28Z","file_id":"21209","file_name":"2025_TheoryComputing_Harris.pdf","content_type":"application/pdf"}],"month":"09","file_date_updated":"2026-02-10T09:54:28Z","publication_status":"published","doi":"10.4086/toc.2025.v021a005","has_accepted_license":"1","PlanS_conform":"1","arxiv":1,"oa_version":"Published Version","type":"journal_article","ddc":["510"],"project":[{"name":"Discrete Optimization in Computer Vision: Theory and Practice","_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"616160"}],"ec_funded":1,"department":[{"_id":"VlKo"}],"publication":"Theory of Computing","OA_type":"diamond","status":"public","citation":{"apa":"Harris, D. G., Iliopoulos, F., &#38; Kolmogorov, V. (2025). A new notion of commutativity for the algorithmic Lovász Local Lemma. <i>Theory of Computing</i>. University of Chicago Press. <a href=\"https://doi.org/10.4086/toc.2025.v021a005\">https://doi.org/10.4086/toc.2025.v021a005</a>","short":"D.G. Harris, F. Iliopoulos, V. Kolmogorov, Theory of Computing 21 (2025) 1–34.","chicago":"Harris, David G., Fotios Iliopoulos, and Vladimir Kolmogorov. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” <i>Theory of Computing</i>. University of Chicago Press, 2025. <a href=\"https://doi.org/10.4086/toc.2025.v021a005\">https://doi.org/10.4086/toc.2025.v021a005</a>.","ista":"Harris DG, Iliopoulos F, Kolmogorov V. 2025. A new notion of commutativity for the algorithmic Lovász Local Lemma. Theory of Computing. 21(5), 1–34.","ama":"Harris DG, Iliopoulos F, Kolmogorov V. A new notion of commutativity for the algorithmic Lovász Local Lemma. <i>Theory of Computing</i>. 2025;21(5):1-34. doi:<a href=\"https://doi.org/10.4086/toc.2025.v021a005\">10.4086/toc.2025.v021a005</a>","mla":"Harris, David G., et al. “A New Notion of Commutativity for the Algorithmic Lovász Local Lemma.” <i>Theory of Computing</i>, vol. 21, no. 5, University of Chicago Press, 2025, pp. 1–34, doi:<a href=\"https://doi.org/10.4086/toc.2025.v021a005\">10.4086/toc.2025.v021a005</a>.","ieee":"D. G. Harris, F. Iliopoulos, and V. Kolmogorov, “A new notion of commutativity for the algorithmic Lovász Local Lemma,” <i>Theory of Computing</i>, vol. 21, no. 5. University of Chicago Press, pp. 1–34, 2025."},"quality_controlled":"1","external_id":{"arxiv":["2008.05569"]},"year":"2025","publisher":"University of Chicago Press","issue":"5","article_processing_charge":"No","OA_place":"publisher","intvolume":"        21","language":[{"iso":"eng"}],"acknowledgement":"This material is based on work directly supported by the IAS Fund for Math and indirectly supported by the National Science Foundation Grant No. CCF-1900460. Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation. This work is also supported by the National Science Foundation Grant No. CCF-1815328. Supported by the European Research Council under the European Union’s Seventh Framework Programme\r\n(FP7/2007-2013)/ERC grant agreement no 616160.","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"08","corr_author":"1","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"volume":21,"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"10072"}]},"date_created":"2026-02-05T12:04:58Z","author":[{"last_name":"Harris","first_name":"David G.","full_name":"Harris, David G."},{"last_name":"Iliopoulos","full_name":"Iliopoulos, Fotios","first_name":"Fotios"},{"first_name":"Vladimir","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"}],"page":"1 - 34","_id":"21143"},{"related_material":{"record":[{"id":"21957","relation":"dissertation_contains","status":"public"}]},"date_created":"2026-02-05T13:33:05Z","page":"1630-1654","author":[{"full_name":"Kolmogorov, Vladimir","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","last_name":"Kolmogorov"},{"first_name":"Simone","full_name":"Naldi, Simone","last_name":"Naldi"},{"id":"00223538-AF8F-11E9-A4C7-F729E6697425","last_name":"Zapata","full_name":"Zapata, Jeferson","first_name":"Jeferson"}],"_id":"21144","volume":35,"day":"01","intvolume":"        35","OA_place":"repository","article_processing_charge":"No","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publisher":"Society for Industrial and Applied Mathematics","year":"2025","issue":"3","status":"public","publication":"SIAM Journal on Optimization","OA_type":"green","citation":{"apa":"Kolmogorov, V., Naldi, S., &#38; Zapata, J. (2025). Certifying solutions of degenerate semidefinite programs. <i>SIAM Journal on Optimization</i>. Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/24m1664691\">https://doi.org/10.1137/24m1664691</a>","short":"V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654.","ista":"Kolmogorov V, Naldi S, Zapata J. 2025. Certifying solutions of degenerate semidefinite programs. SIAM Journal on Optimization. 35(3), 1630–1654.","chicago":"Kolmogorov, Vladimir, Simone Naldi, and Jeferson Zapata. “Certifying Solutions of Degenerate Semidefinite Programs.” <i>SIAM Journal on Optimization</i>. Society for Industrial and Applied Mathematics, 2025. <a href=\"https://doi.org/10.1137/24m1664691\">https://doi.org/10.1137/24m1664691</a>.","ama":"Kolmogorov V, Naldi S, Zapata J. Certifying solutions of degenerate semidefinite programs. <i>SIAM Journal on Optimization</i>. 2025;35(3):1630-1654. doi:<a href=\"https://doi.org/10.1137/24m1664691\">10.1137/24m1664691</a>","ieee":"V. Kolmogorov, S. Naldi, and J. Zapata, “Certifying solutions of degenerate semidefinite programs,” <i>SIAM Journal on Optimization</i>, vol. 35, no. 3. Society for Industrial and Applied Mathematics, pp. 1630–1654, 2025.","mla":"Kolmogorov, Vladimir, et al. “Certifying Solutions of Degenerate Semidefinite Programs.” <i>SIAM Journal on Optimization</i>, vol. 35, no. 3, Society for Industrial and Applied Mathematics, 2025, pp. 1630–54, doi:<a href=\"https://doi.org/10.1137/24m1664691\">10.1137/24m1664691</a>."},"quality_controlled":"1","external_id":{"arxiv":["2405.13625"]},"department":[{"_id":"VlKo"},{"_id":"GradSch"}],"oa_version":"Preprint","type":"journal_article","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2405.13625","open_access":"1"}],"doi":"10.1137/24m1664691","publication_status":"published","arxiv":1,"month":"09","title":"Certifying solutions of degenerate semidefinite programs","article_type":"original","date_published":"2025-09-01T00:00:00Z","date_updated":"2026-06-12T10:36:59Z","publication_identifier":{"eissn":["1095-7189"],"issn":["1052-6234"]},"abstract":[{"lang":"eng","text":"This paper deals with the algorithmic aspects of solving feasibility problems of semidefinite programming (SDP), aka linear matrix inequalities (LMIs). Since in some SDP instances all feasible solutions have irrational entries, numerical solvers that work with rational numbers can only find an approximate solution. We study the following question: Is it possible to certify feasibility of a given SDP using an approximate solution that is sufficiently close to some exact solution? Existing approaches make the assumption that there exist rational feasible solutions (and use techniques such as rounding and lattice reduction algorithms). We propose an alternative approach that does not need this assumption. More specifically, we show how to construct a system of polynomial equations whose set of real solutions is guaranteed to have an isolated correct solution (assuming that the target exact solution is maximum-rank). This allows, in particular, for us to use algorithms from real algebraic geometry for solving systems of polynomial equations, yielding a hybrid (or symbolic-numerical) method for SDPs. We experimentally compare it with a pure symbolic method in [D. Henrion, S. Naldi, and M. Safey El Din, SIAM J. Optim., 26 (2016), pp. 2512–2539]; the hybrid method was able to certify feasibility of many SDP instances on which the aforementioned paper failed. Our approach may have further applications, such as refining an approximate solution using methods of numerical algebraic geometry for systems of polynomial equations."}],"oa":1}]