[{"publication_identifier":{"issnl":["0004-6280"],"issn":["0004-6280"]},"acknowledgement":"This work is based on observations obtained with the Samuel Oschin Telescope 48 inch and the 60 inch Telescope at the Palomar Observatory as part of the Zwicky Transient Facility project. ZTF is supported by the National Science Foundation under grants No. AST-1440341 and AST-2034437 and a collaboration including current partners Caltech, IPAC, the Oskar Klein Center at Stockholm University, the University of Maryland, University of California, Berkeley, the University of Wisconsin at Milwaukee, University of Warwick, Ruhr University Bochum, Cornell University, Northwestern University, and Drexel University. Operations are conducted by COO, IPAC, and UW.\r\n\r\nThis work has made use of data from the European Space Agency (ESA) mission Gaia (https://www.cosmos.esa.int/gaia), processed by the Gaia Data Processing and Analysis Consortium (DPAC; https://www.cosmos.esa.int/web/gaia/dpac/consortium). Funding for the DPAC has been provided by national institutions, in particular, the institutions participating in the Gaia Multilateral Agreement.\r\n\r\nWe are grateful to the staffs of Palomar Observatory and the Hobby-Eberly Telescope for assistance with the observations and data management. The Liverpool Telescope is operated on the island of La Palma by Liverpool John Moores University in the Spanish Observatorio del Roque de los Muchachos of the Instituto de Astrofisica de Canarias with financial support from the UK Science and Technology Facilities Council.\r\n\r\nThe Low-Resolution Spectrograph 2 (LRS2) on HET was developed and funded by the University of Texas at Austin McDonald Observatory and Department of Astronomy, and by Pennsylvania State University. We thank the Leibniz-Institut für Astrophysik Potsdam (AIP) and the Institut für Astrophysik Göttingen (IAG) for their contributions to the construction of the integral field units. We acknowledge the Texas Advanced Computing Center (TACC) at The University of Texas at Austin for providing high performance computing, visualization, and storage resources that have contributed to the results reported within this paper.\r\n\r\nWe thank the anonymous referee for the detailed comments, which improved the clarity of the manuscript significantly. We also thank Gunter Cibis for pointing out typographical errors in the names of a few PNe in the first draft. S.B. expresses gratitude to Kishalay De for providing the Gattini-IR and WISE data. S.B. thanks Frank J. Masci and Zachary P. Vanderbosch for useful discussions and suggestions regarding solving the issues with ZTF forced photometry on extended sources. S.B. also thanks Jim Fuller, Charles C. Steidel, Lynne Hillenbrand, and Adolfo Carvalho for useful discussions on methods and science. S.B. also thanks David O. Cook for providing access to his CLU image cutout service to generate the WeSb 1 image. S.B. acknowledges the financial support from the Wallace L. W. Sargent Graduate Fellowship during the first year of his graduate studies at Caltech. N.C. was supported through the Cancer Research UK grant A24042. S.B. thanks Martina Veresvarka for drawing our attention to the TESS light curves of WeSb 1.\r\n\r\nWe have used Python packages Numpy (Harris et al. 2020), SciPy (Virtanen et al. 2020), Matplotlib (Hunter 2007), Pandas (pandas development team 2020), Astropy (Astropy Collaboration et al. 2013, 2018), and Astroquery (Ginsburg et al. 2019) at various stages of this research.","publication":"Publications of the Astronomical Society of the Pacific","scopus_import":"1","issue":"2","language":[{"iso":"eng"}],"OA_place":"publisher","OA_type":"hybrid","oa_version":"Published Version","type":"journal_article","article_type":"original","abstract":[{"text":"A complete understanding of the central stars of planetary nebulae (CSPNe) remains elusive. Over the past several decades, time-series photometry of CSPNe has yielded significant results including, but not limited to, discoveries of nearly 100 binary systems, insights into pulsations and winds in young white dwarfs, and studies of stars undergoing very late thermal pulses. We have undertaken a systematic study of optical photometric variability of cataloged CSPNe, using the light curves from the Zwicky Transient Facility (ZTF). By applying appropriate variability metrics, we arrive at a list of 94 highly variable CSPN candidates. Based on the timescales of the light-curve activity, we classify the variables broadly into short- and long-timescale variables. In this first paper in this series, we focus on the former, which is the majority class comprising 83 objects. We report periods for six sources for the first time, and recover several known periodic variables. Among the aperiodic sources, most exhibit a jitter around a median flux with a stable amplitude, and a few show outbursts. We draw attention to WeSb 1, which shows a different kind of variability: prominent deep and aperiodic dips, resembling transits from a dust/debris disk. We find strong evidence for a binary nature of WeSb 1 (possibly an F-type subgiant companion). The compactness of the emission lines and inferred high electron densities make WeSb 1 a candidate for either an EGB 6-type planetary nucleus, or a symbiotic system inside an evolved planetary nebula, both of which are rare objects. To demonstrate further promise with ZTF, we report three additional newly identified periodic sources that do not appear in the list of highly variable sources. Finally, we also introduce a two-dimensional metric space defined by the von Neumann statistics and Pearson Skew and demonstrate its effectiveness in identifying unique variables of astrophysical interest, like WeSb 1.","lang":"eng"}],"title":"Variability of central stars of planetary nebulae with the zwicky transient facility. I. Methods, short-timescale variables, and the unusual nucleus of WeSb 1","_id":"19025","status":"public","author":[{"last_name":"Bhattacharjee","first_name":"Soumyadeep","full_name":"Bhattacharjee, Soumyadeep"},{"first_name":"S. R.","last_name":"Kulkarni","full_name":"Kulkarni, S. R."},{"last_name":"Kong","first_name":"Albert K.H.","full_name":"Kong, Albert K.H."},{"full_name":"Tam, M. S.","first_name":"M. S.","last_name":"Tam"},{"last_name":"Bond","first_name":"Howard E.","full_name":"Bond, Howard E."},{"full_name":"El-Badry, Kareem","first_name":"Kareem","last_name":"El-Badry"},{"orcid":"0000-0002-4770-5388","full_name":"Caiazzo, Ilaria","last_name":"Caiazzo","first_name":"Ilaria","id":"8ae5b6e7-2a03-11ee-914d-b58ed7a3b47d"},{"last_name":"Chornay","first_name":"Nicholas","full_name":"Chornay, Nicholas"},{"full_name":"Graham, Matthew J.","first_name":"Matthew J.","last_name":"Graham"},{"last_name":"Rodriguez","first_name":"Antonio C.","full_name":"Rodriguez, Antonio C."},{"last_name":"Zeimann","first_name":"Gregory R.","full_name":"Zeimann, Gregory R."},{"full_name":"Fremling, Christoffer","last_name":"Fremling","first_name":"Christoffer"},{"full_name":"Drake, Andrew J.","last_name":"Drake","first_name":"Andrew J."},{"last_name":"Werner","first_name":"Klaus","full_name":"Werner, Klaus"},{"full_name":"Rodriguez, Hector","first_name":"Hector","last_name":"Rodriguez"},{"full_name":"Prince, Thomas A.","first_name":"Thomas A.","last_name":"Prince"},{"full_name":"Laher, Russ R.","first_name":"Russ R.","last_name":"Laher"},{"full_name":"Chen, Tracy X.","last_name":"Chen","first_name":"Tracy X."},{"full_name":"Riddle, Reed","last_name":"Riddle","first_name":"Reed"}],"date_created":"2025-02-16T23:02:33Z","date_updated":"2026-07-22T06:39:53Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1088/1538-3873/adbcd8"}]},"citation":{"ieee":"S. Bhattacharjee <i>et al.</i>, “Variability of central stars of planetary nebulae with the zwicky transient facility. I. Methods, short-timescale variables, and the unusual nucleus of WeSb 1,” <i>Publications of the Astronomical Society of the Pacific</i>, vol. 137, no. 2. IOP Publishing, 2025.","short":"S. Bhattacharjee, S.R. Kulkarni, A.K.H. Kong, M.S. Tam, H.E. Bond, K. El-Badry, I. Caiazzo, N. Chornay, M.J. Graham, A.C. Rodriguez, G.R. Zeimann, C. Fremling, A.J. Drake, K. Werner, H. Rodriguez, T.A. Prince, R.R. Laher, T.X. Chen, R. Riddle, Publications of the Astronomical Society of the Pacific 137 (2025).","ista":"Bhattacharjee S, Kulkarni SR, Kong AKH, Tam MS, Bond HE, El-Badry K, Caiazzo I, Chornay N, Graham MJ, Rodriguez AC, Zeimann GR, Fremling C, Drake AJ, Werner K, Rodriguez H, Prince TA, Laher RR, Chen TX, Riddle R. 2025. Variability of central stars of planetary nebulae with the zwicky transient facility. I. Methods, short-timescale variables, and the unusual nucleus of WeSb 1. Publications of the Astronomical Society of the Pacific. 137(2), 024201.","mla":"Bhattacharjee, Soumyadeep, et al. “Variability of Central Stars of Planetary Nebulae with the Zwicky Transient Facility. I. Methods, Short-Timescale Variables, and the Unusual Nucleus of WeSb 1.” <i>Publications of the Astronomical Society of the Pacific</i>, vol. 137, no. 2, 024201, IOP Publishing, 2025, doi:<a href=\"https://doi.org/10.1088/1538-3873/ada702\">10.1088/1538-3873/ada702</a>.","ama":"Bhattacharjee S, Kulkarni SR, Kong AKH, et al. Variability of central stars of planetary nebulae with the zwicky transient facility. I. Methods, short-timescale variables, and the unusual nucleus of WeSb 1. <i>Publications of the Astronomical Society of the Pacific</i>. 2025;137(2). doi:<a href=\"https://doi.org/10.1088/1538-3873/ada702\">10.1088/1538-3873/ada702</a>","apa":"Bhattacharjee, S., Kulkarni, S. R., Kong, A. K. H., Tam, M. S., Bond, H. E., El-Badry, K., … Riddle, R. (2025). Variability of central stars of planetary nebulae with the zwicky transient facility. I. Methods, short-timescale variables, and the unusual nucleus of WeSb 1. <i>Publications of the Astronomical Society of the Pacific</i>. IOP Publishing. <a href=\"https://doi.org/10.1088/1538-3873/ada702\">https://doi.org/10.1088/1538-3873/ada702</a>","chicago":"Bhattacharjee, Soumyadeep, S. R. Kulkarni, Albert K.H. Kong, M. S. Tam, Howard E. Bond, Kareem El-Badry, Ilaria Caiazzo, et al. “Variability of Central Stars of Planetary Nebulae with the Zwicky Transient Facility. I. Methods, Short-Timescale Variables, and the Unusual Nucleus of WeSb 1.” <i>Publications of the Astronomical Society of the Pacific</i>. IOP Publishing, 2025. <a href=\"https://doi.org/10.1088/1538-3873/ada702\">https://doi.org/10.1088/1538-3873/ada702</a>."},"external_id":{"arxiv":["2410.03589"],"isi":["001416903300001"]},"publisher":"IOP Publishing","department":[{"_id":"IlCa"}],"month":"02","day":"01","oa":1,"volume":137,"doi":"10.1088/1538-3873/ada702","file":[{"access_level":"open_access","creator":"dernst","relation":"main_file","success":1,"date_created":"2025-02-17T09:13:41Z","checksum":"42b942ee1bf32ed225024e168174be92","file_name":"2025_PASP_Bhattacharjee.pdf","date_updated":"2025-02-17T09:13:41Z","content_type":"application/pdf","file_size":3657568,"file_id":"19034"}],"isi":1,"article_number":"024201","publication_status":"published","year":"2025","quality_controlled":"1","intvolume":"       137","ddc":["520"],"tmp":{"image":"/images/cc_by.png","short":"CC BY (3.0)","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)","legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode"},"das_tickbox":"1","fulldoi":"https://doi.org/10.1088/1538-3873/ada702","arxiv":1,"has_accepted_license":"1","file_date_updated":"2025-02-17T09:13:41Z","date_published":"2025-02-01T00:00:00Z","article_processing_charge":"No"},{"OA_place":"repository","OA_type":"green","language":[{"iso":"eng"}],"publication":"Physical Review B","issue":"16","scopus_import":"1","acknowledgement":"Work by S.F.R.T., D.R.B., J.P., V.B., M.P.M.D., and M.M. was supported by the U.S. Department of Energy (DOE), Division of Materials Science, under Contract No. DE-SC0012704. G.A.P. and D.F.S. are primarily supported by the DOE, Office of Basic Energy Sciences, Division of Materials Sciences and Engineering, under Grant No. DE-SC0021925, and by NSF Graduate Research Fellowship Grant No. DGE-1745303. S.F.R.T. acknowledges additional support from the DOE, Office of Science, Office of Workforce Development for Teachers and Scientists, Office of Science Graduate Student Research (SCGSR) program. The SCGSR program is administered by the Oak Ridge Institute for Science and Education for the DOE under Contract No. DE-SC0014664. G.A.P. acknowledges additional support from the Paul and Daisy Soros Fellowship for New Americans. Q.S. was supported by the Science and Technology Center for Integrated Quantum Materials, NSF Grant No. DMR-1231319. B.H.G and L.F.K. acknowledge support by PARADIM, NSF Grant No. DMR-2039380. J.A.M. acknowledges support from the DOE, Office of Basic Energy Sciences, Division of Materials Sciences and Engineering, under Grant No. DE-SC0021925. Materials growth and electron microscopy were supported by PARADIM under NSF Cooperative Agreement Grant No. DMR-2039380. Electron microscopy made use of the Cornell Center for Materials Research Shared Facilities. The Thermo Fisher Spectra 300 X-CFEG was acquired with support from PARADIM, an NSF Materials Innovation Platforms (Grant No. DMR-2039380), and Cornell University. The FEI Titan Themis 300 was acquired through Grant No. NSF-MRI-1429155, with additional support from Cornell University, the Weill Institute, and the Kavli Institute at Cornell University. The Thermo Fisher Helios G4 UX FIB was acquired with support by NSF Grant No. DMR-1539918. This research used beamline 2-ID of the National Synchrotron Light Source II, a DOE Office of Science User Facility operated for the DOE Office of Science by Brookhaven National Laboratory under Contract No. DE-SC0012704. We acknowledge Diamond Light Source for time on Beamline I21 under Proposal No. MM27484.","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"citation":{"ama":"Tenhuisen SFR, Pan GA, Song Q, et al. Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering. <i>Physical Review B</i>. 2025;111(16). doi:<a href=\"https://doi.org/10.1103/PhysRevB.111.165145\">10.1103/PhysRevB.111.165145</a>","mla":"Tenhuisen, Sophia F. R., et al. “Magnetic Excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper Nickelates Observed via Resonant Inelastic x-Ray Scattering.” <i>Physical Review B</i>, vol. 111, no. 16, 165145, American Physical Society, 2025, doi:<a href=\"https://doi.org/10.1103/PhysRevB.111.165145\">10.1103/PhysRevB.111.165145</a>.","short":"S.F.R. Tenhuisen, G.A. Pan, Q. Song, D.R. Baykusheva, D. Ferenc Segedin, B.H. Goodge, H. Paik, J. Pelliciari, V. Bisogni, Y. Gu, S. Agrestini, A. Nag, M. García-Fernández, K.J. Zhou, L.F. Kourkoutis, C.M. Brooks, J.A. Mundy, M.P.M. Dean, M. Mitrano, Physical Review B 111 (2025).","ieee":"S. F. R. Tenhuisen <i>et al.</i>, “Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering,” <i>Physical Review B</i>, vol. 111, no. 16. American Physical Society, 2025.","ista":"Tenhuisen SFR, Pan GA, Song Q, Baykusheva DR, Ferenc Segedin D, Goodge BH, Paik H, Pelliciari J, Bisogni V, Gu Y, Agrestini S, Nag A, García-Fernández M, Zhou KJ, Kourkoutis LF, Brooks CM, Mundy JA, Dean MPM, Mitrano M. 2025. Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering. Physical Review B. 111(16), 165145.","chicago":"Tenhuisen, Sophia F.R., Grace A. Pan, Qi Song, Denitsa Rangelova Baykusheva, Dan Ferenc Segedin, Berit H. Goodge, Hanjong Paik, et al. “Magnetic Excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper Nickelates Observed via Resonant Inelastic x-Ray Scattering.” <i>Physical Review B</i>. American Physical Society, 2025. <a href=\"https://doi.org/10.1103/PhysRevB.111.165145\">https://doi.org/10.1103/PhysRevB.111.165145</a>.","apa":"Tenhuisen, S. F. R., Pan, G. A., Song, Q., Baykusheva, D. R., Ferenc Segedin, D., Goodge, B. H., … Mitrano, M. (2025). Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevB.111.165145\">https://doi.org/10.1103/PhysRevB.111.165145</a>"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-22T06:53:20Z","_id":"19639","title":"Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering","date_created":"2025-05-04T22:02:31Z","author":[{"last_name":"Tenhuisen","first_name":"Sophia F.R.","full_name":"Tenhuisen, Sophia F.R."},{"full_name":"Pan, Grace A.","first_name":"Grace A.","last_name":"Pan"},{"last_name":"Song","first_name":"Qi","full_name":"Song, Qi"},{"id":"71b4d059-2a03-11ee-914d-dfa3beed6530","first_name":"Denitsa Rangelova","last_name":"Baykusheva","full_name":"Baykusheva, Denitsa Rangelova","orcid":"0000-0002-7438-1139"},{"last_name":"Ferenc Segedin","first_name":"Dan","full_name":"Ferenc Segedin, Dan"},{"last_name":"Goodge","first_name":"Berit H.","full_name":"Goodge, Berit H."},{"full_name":"Paik, Hanjong","last_name":"Paik","first_name":"Hanjong"},{"last_name":"Pelliciari","first_name":"Jonathan","full_name":"Pelliciari, Jonathan"},{"full_name":"Bisogni, Valentina","first_name":"Valentina","last_name":"Bisogni"},{"full_name":"Gu, Yanhong","last_name":"Gu","first_name":"Yanhong"},{"full_name":"Agrestini, Stefano","first_name":"Stefano","last_name":"Agrestini"},{"full_name":"Nag, Abhishek","last_name":"Nag","first_name":"Abhishek"},{"first_name":"Mirian","last_name":"García-Fernández","full_name":"García-Fernández, Mirian"},{"first_name":"Ke Jin","last_name":"Zhou","full_name":"Zhou, Ke Jin"},{"full_name":"Kourkoutis, Lena F.","first_name":"Lena F.","last_name":"Kourkoutis"},{"full_name":"Brooks, Charles M.","first_name":"Charles M.","last_name":"Brooks"},{"last_name":"Mundy","first_name":"Julia A.","full_name":"Mundy, Julia A."},{"first_name":"Mark P.M.","last_name":"Dean","full_name":"Dean, Mark P.M."},{"full_name":"Mitrano, Matteo","first_name":"Matteo","last_name":"Mitrano"}],"status":"public","article_type":"original","oa_version":"Preprint","type":"journal_article","abstract":[{"lang":"eng","text":"Magnetic interactions are thought to play a key role in the properties of many unconventional superconductors, including cuprates, iron pnictides, and square-planar nickelates. Superconductivity was also recently observed in the bilayer and trilayer Ruddlesden-Popper nickelates, the electronic structure of which is expected to differ from that of cuprates and square-planar nickelates. Here we study how electronic structure and magnetic interactions evolve with the number of layers, 𝑛, in thin film Ruddlesden-Popper nickelates Nd𝑛+1⁢Ni𝑛⁢O3⁢𝑛+1 with 𝑛=1,3, and 5 using resonant inelastic x-ray scattering (RIXS). The RIXS spectra are consistent with a high-spin |3⁢𝑑8⁢ 𝐿̲⟩ electronic configuration, resembling that of La2−𝑥⁢Sr𝑥⁢NiO4 and the parent perovskite, NdNiO3. The magnetic excitations soften to lower energy in the structurally self-doped, higher-𝑛 films. Our observations confirm that structural tuning is an effective route for altering electronic properties, such as magnetic superexchange, in this prominent family of materials."}],"article_number":"165145","volume":111,"doi":"10.1103/PhysRevB.111.165145","day":"15","oa":1,"external_id":{"arxiv":["2504.07268"]},"department":[{"_id":"DeBa"}],"month":"04","publisher":"American Physical Society","date_published":"2025-04-15T00:00:00Z","article_processing_charge":"No","fulldoi":"https://doi.org/10.1103/PhysRevB.111.165145","das_tickbox":"1","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2504.07268"}],"quality_controlled":"1","year":"2025","publication_status":"published","intvolume":"       111"},{"publication_status":"published","type":"conference_abstract","oa_version":"None","year":"2025","quality_controlled":"1","title":"Solid state diffusion in metal-semiconductors core-shell nanoparticle","_id":"20054","status":"public","author":[{"full_name":"Horta, Sharona","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","first_name":"Sharona","last_name":"Horta"}],"date_created":"2025-07-21T08:22:29Z","date_updated":"2026-07-22T06:54:55Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","fulldoi":"https://doi.org/10.29363/nanoge.matsusspring.2025.220","conference":{"name":"MATSUS: Materials for Sustainable Development Conference","end_date":"2025-03-07","start_date":"2025-03-03","location":"Sevilla, Spain"},"date_published":"2025-03-03T00:00:00Z","citation":{"ista":"Horta S. 2025. Solid state diffusion in metal-semiconductors core-shell nanoparticle. Proceedings of the MATSUS Spring 2025 Conference. MATSUS: Materials for Sustainable Development Conference, 220.","ieee":"S. Horta, “Solid state diffusion in metal-semiconductors core-shell nanoparticle,” in <i>Proceedings of the MATSUS Spring 2025 Conference</i>, Sevilla, Spain, 2025.","short":"S. Horta, in:, Proceedings of the MATSUS Spring 2025 Conference, Fundació de la comunitat valenciana SCITO, 2025.","ama":"Horta S. Solid state diffusion in metal-semiconductors core-shell nanoparticle. In: <i>Proceedings of the MATSUS Spring 2025 Conference</i>. Fundació de la comunitat valenciana SCITO; 2025. doi:<a href=\"https://doi.org/10.29363/nanoge.matsusspring.2025.220\">10.29363/nanoge.matsusspring.2025.220</a>","mla":"Horta, Sharona. “Solid State Diffusion in Metal-Semiconductors Core-Shell Nanoparticle.” <i>Proceedings of the MATSUS Spring 2025 Conference</i>, 220, Fundació de la comunitat valenciana SCITO, 2025, doi:<a href=\"https://doi.org/10.29363/nanoge.matsusspring.2025.220\">10.29363/nanoge.matsusspring.2025.220</a>.","apa":"Horta, S. (2025). Solid state diffusion in metal-semiconductors core-shell nanoparticle. In <i>Proceedings of the MATSUS Spring 2025 Conference</i>. Sevilla, Spain: Fundació de la comunitat valenciana SCITO. <a href=\"https://doi.org/10.29363/nanoge.matsusspring.2025.220\">https://doi.org/10.29363/nanoge.matsusspring.2025.220</a>","chicago":"Horta, Sharona. “Solid State Diffusion in Metal-Semiconductors Core-Shell Nanoparticle.” In <i>Proceedings of the MATSUS Spring 2025 Conference</i>. Fundació de la comunitat valenciana SCITO, 2025. <a href=\"https://doi.org/10.29363/nanoge.matsusspring.2025.220\">https://doi.org/10.29363/nanoge.matsusspring.2025.220</a>."},"article_processing_charge":"No","publisher":"Fundació de la comunitat valenciana SCITO","department":[{"_id":"MaIb"}],"month":"03","publication":"Proceedings of the MATSUS Spring 2025 Conference","day":"03","corr_author":"1","language":[{"iso":"eng"}],"doi":"10.29363/nanoge.matsusspring.2025.220","article_number":"220","OA_type":"closed access"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-23T11:16:00Z","project":[{"grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","call_identifier":"H2020","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"citation":{"apa":"Groechenig, M., &#38; Shen, S. (2025). Complex K-theory of moduli spaces of Higgs bundles. <i>Journal of the European Mathematical Society</i>. EMS Press. <a href=\"https://doi.org/10.4171/jems/1601\">https://doi.org/10.4171/jems/1601</a>","chicago":"Groechenig, Michael, and Shiyu Shen. “Complex K-Theory of Moduli Spaces of Higgs Bundles.” <i>Journal of the European Mathematical Society</i>. EMS Press, 2025. <a href=\"https://doi.org/10.4171/jems/1601\">https://doi.org/10.4171/jems/1601</a>.","ieee":"M. Groechenig and S. Shen, “Complex K-theory of moduli spaces of Higgs bundles,” <i>Journal of the European Mathematical Society</i>. EMS Press, 2025.","short":"M. Groechenig, S. Shen, Journal of the European Mathematical Society (2025).","ista":"Groechenig M, Shen S. 2025. Complex K-theory of moduli spaces of Higgs bundles. Journal of the European Mathematical Society.","mla":"Groechenig, Michael, and Shiyu Shen. “Complex K-Theory of Moduli Spaces of Higgs Bundles.” <i>Journal of the European Mathematical Society</i>, EMS Press, 2025, doi:<a href=\"https://doi.org/10.4171/jems/1601\">10.4171/jems/1601</a>.","ama":"Groechenig M, Shen S. Complex K-theory of moduli spaces of Higgs bundles. <i>Journal of the European Mathematical Society</i>. 2025. doi:<a href=\"https://doi.org/10.4171/jems/1601\">10.4171/jems/1601</a>"},"DOAJ_listed":"1","abstract":[{"lang":"eng","text":"We establish an isomorphism of complex K-theory of the moduli space  M  of “SL n​ ”-Higgs bundles of degree d and rank n (in the sense of Hausel–Thaddeus) and twisted complex K-theory of the orbifold  M  of PGL n​ -Higgs bundles of degree e, where (n,d)=(n,e)=1. Along the way, we prove the vanishing of torsion for H ∗ ( M ) and certain twisted complex K-theory groups of  M . We also extend Arinkin’s autoduality of compactified Jacobian to a derived equivalence between SL n​ - and PGL n​ -Hitchin systems over the elliptic locus. In the appendix, we develop a formalism of G-sheaves of spectra, generalising equivariant homotopy theory to a relative setting."}],"article_type":"original","type":"journal_article","oa_version":"Published Version","date_created":"2025-07-21T07:54:50Z","status":"public","author":[{"full_name":"Groechenig, Michael","last_name":"Groechenig","first_name":"Michael"},{"id":"544cccd3-9005-11ec-87bc-94aef1c5b814","last_name":"Shen","first_name":"Shiyu","full_name":"Shen, Shiyu","orcid":"0000-0002-4444-8718"}],"_id":"20043","title":"Complex K-theory of moduli spaces of Higgs bundles","language":[{"iso":"eng"}],"OA_place":"publisher","OA_type":"gold","ec_funded":1,"acknowledgement":"It is a pleasure to thank Tom Baird for sharing his insights about vanishing of torsion for H.M{1\r\n2/. Furthermore, we would like to thank him for bringing [25] to our attention. We also thank Alexander Kupers for enlightening conversations about the Atiyah–Hirzebruch spectral sequence and for pointing out a reference. We are grateful to Victoria Hoskins and Simon Pepin-Lehalleur for sharing a preprint of their recent paper on a motivic version of topological mirror symmetry and for useful remarks on Section 6. Anne Larsen pointed out that our previous proof Lemma 4.5 was incomplete, we thank her for bringing this to our attention. We are grateful to the anonymous referee for many valuable comments that have improved the paper tremendously. The report we received was one of the most detailed referee report either of us has ever seen. We thank them for their hard work and the resulting contribution to this paper. Michael Groechenig was supported by an NSERC discovery grant and an Alfred P. Sloan\r\nfellowship. Shiyu Shen has received funding from the European Union’s Horizon 2020 research\r\nand innovation program under the Marie Skłodowska-Curie grant agreement No. 101034413.","publication_identifier":{"issn":["1435-9855"],"eissn":["1435-9863"]},"publication":"Journal of the European Mathematical Society","arxiv":1,"main_file_link":[{"url":"https://doi.org/10.4171/JEMS/1601","open_access":"1"}],"fulldoi":"https://doi.org/10.4171/jems/1601","das_tickbox":"1","article_processing_charge":"Yes","date_published":"2025-03-20T00:00:00Z","year":"2025","quality_controlled":"1","publication_status":"epub_ahead","ddc":["510"],"doi":"10.4171/jems/1601","isi":1,"month":"03","mathsc":["14H60","19L50"],"department":[{"_id":"TaHa"}],"publisher":"EMS Press","external_id":{"arxiv":["2212.10695"],"isi":["001608254800001"]},"oa":1,"corr_author":"1","day":"20"},{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-24T12:48:28Z","project":[{"_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62","call_identifier":"H2020","name":"The design and evaluation of modern fully dynamic data structures","grant_number":"101019564"},{"name":"Static and Dynamic Hierarchical Graph Decompositions","_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","grant_number":"I05982"},{"grant_number":"P33775","_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe","name":"Fast Algorithms for a Reactive Network Layer"}],"citation":{"chicago":"El-Hayek, Antoine, Robert Elsässer, and Stefan Schmid. “An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model.” In <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>. Association for Computing Machinery, 2025. <a href=\"https://doi.org/10.1145/3732772.3733505\">https://doi.org/10.1145/3732772.3733505</a>.","apa":"El-Hayek, A., Elsässer, R., &#38; Schmid, S. (2025). An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model. In <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>. Huatulco, Mexico: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3732772.3733505\">https://doi.org/10.1145/3732772.3733505</a>","mla":"El-Hayek, Antoine, et al. “An Almost Tight Lower Bound for Plurality Consensus with Undecided State Dynamics in the Population Protocol Model.” <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>, Association for Computing Machinery, 2025, doi:<a href=\"https://doi.org/10.1145/3732772.3733505\">10.1145/3732772.3733505</a>.","ama":"El-Hayek A, Elsässer R, Schmid S. An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model. In: <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>. Association for Computing Machinery; 2025. doi:<a href=\"https://doi.org/10.1145/3732772.3733505\">10.1145/3732772.3733505</a>","short":"A. El-Hayek, R. Elsässer, S. Schmid, in:, Proceedings of the ACM Symposium on Principles of Distributed Computing, Association for Computing Machinery, 2025.","ista":"El-Hayek A, Elsässer R, Schmid S. 2025. An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model. Proceedings of the ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing.","ieee":"A. El-Hayek, R. Elsässer, and S. Schmid, “An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model,” in <i>Proceedings of the ACM Symposium on Principles of Distributed Computing</i>, Huatulco, Mexico, 2025."},"related_material":{"record":[{"relation":"dissertation_contains","id":"22281","status":"public"}]},"abstract":[{"text":"We revisit the majority problem in the population protocol communication model, as first studied by Angluin et al. (Distributed Computing 2008). We consider a more general version of this problem known as plurality consensus, which has already been studied intensively in the literature. In this problem, each node in a system of n nodes, has initially one of k different opinions, and they need to agree on the (relative) majority opinion. In particular, we consider the important and intensively studied model of Undecided State Dynamics.\r\nOur main contribution is an almost tight lower bound on the stabilization time: we prove that there exists an initial configuration, even with bias \\Delta = \\omega(\\sqrt{n\\log n}), where stabilization requires \\Omega(kn\\log \\frac {\\sqrt n} {k \\log n}) interactions, or equivalently, \\Omega(k\\log \\frac {\\sqrt n} {k \\log n}) parallel time for any k = o\\left(\\frac {\\sqrt n}{\\log n}\\right). This bound is tight for any k \\le n^{\\frac 1 2 - \\epsilon}, where \\epsilon >0 can be any small constant, as Amir et al.~(PODC'23) gave a O(k\\log n) parallel time upper bound for k = O\\left(\\frac {\\sqrt n} {\\log ^2 n}\\right).","lang":"eng"}],"oa_version":"Published Version","type":"conference","status":"public","author":[{"id":"888a098e-fcac-11ee-aff7-d347be57b725","last_name":"El-Hayek","first_name":"Antoine","full_name":"El-Hayek, Antoine","orcid":"0000-0003-4268-7368"},{"first_name":"Robert","last_name":"Elsässer","full_name":"Elsässer, Robert"},{"full_name":"Schmid, Stefan","first_name":"Stefan","last_name":"Schmid"}],"date_created":"2025-07-21T08:16:15Z","_id":"20051","title":"An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model","language":[{"iso":"eng"}],"OA_place":"publisher","OA_type":"hybrid","publication_identifier":{"isbn":[" 9798400718854"]},"ec_funded":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (MoDynStruct, No. 101019564) and the Austrian Science Fund (FWF) grant DOI 10.55776/I5862,grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with\r\nadditional funding from the netidee SCIENCE Stiftung, 2020–2024\r\nand the German Research Foundation (DFG), grant 470029389\r\n(FlexNets).","publication":"Proceedings of the ACM Symposium on Principles of Distributed Computing","arxiv":1,"fulldoi":"https://doi.org/10.1145/3732772.3733505","article_processing_charge":"Yes (via OA deal)","file_date_updated":"2025-08-04T09:10:55Z","date_published":"2025-06-13T00:00:00Z","has_accepted_license":"1","conference":{"name":"PODC: Symposium on Principles of Distributed Computing","end_date":"2025-06-20","start_date":"2025-06-16","location":"Huatulco, Mexico"},"year":"2025","quality_controlled":"1","publication_status":"published","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["000"],"file":[{"creator":"dernst","relation":"main_file","access_level":"open_access","date_created":"2025-08-04T09:10:55Z","checksum":"52976d226f3f691aa519d71c1c718fa5","success":1,"file_size":2200347,"date_updated":"2025-08-04T09:10:55Z","content_type":"application/pdf","file_name":"2025_PODC_ElHayek.pdf","file_id":"20115"}],"doi":"10.1145/3732772.3733505","isi":1,"department":[{"_id":"MoHe"}],"month":"06","publisher":"Association for Computing Machinery","external_id":{"arxiv":["2505.02765"],"isi":["001525534800066"]},"corr_author":"1","oa":1,"day":"13"},{"arxiv":1,"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2412.15069","open_access":"1"}],"fulldoi":"https://doi.org/10.1137/1.9781611978322.22","article_processing_charge":"No","date_published":"2025-01-07T00:00:00Z","conference":{"name":"SODA: Symposium on Discrete Algorithms","start_date":"2025-01-12","end_date":"2025-01-15","location":"New Orleans, LA, United States"},"quality_controlled":"1","year":"2025","publication_status":"published","doi":"10.1137/1.9781611978322.22","department":[{"_id":"MoHe"}],"month":"01","publisher":"Society for Industrial and Applied Mathematics","external_id":{"arxiv":["2412.15069"]},"corr_author":"1","oa":1,"day":"07","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-24T12:48:28Z","project":[{"grant_number":"101019564","call_identifier":"H2020","name":"The design and evaluation of modern fully dynamic data structures","_id":"bd9ca328-d553-11ed-ba76-dc4f890cfe62"},{"name":"Efficient algorithms","_id":"34def286-11ca-11ed-8bc3-da5948e1613c","grant_number":"Z00422"},{"grant_number":"I05982","_id":"bda196b2-d553-11ed-ba76-8e8ee6c21103","name":"Static and Dynamic Hierarchical Graph Decompositions"},{"name":"Fast Algorithms for a Reactive Network Layer","_id":"bd9e3a2e-d553-11ed-ba76-8aa684ce17fe","grant_number":"P33775"}],"citation":{"chicago":"El-Hayek, Antoine, Monika Henzinger, and Jason Li. “Fully Dynamic Approximate Minimum Cut in Subpolynomial Time per Operation.” In <i>Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms</i>, 750–84. Society for Industrial and Applied Mathematics, 2025. <a href=\"https://doi.org/10.1137/1.9781611978322.22\">https://doi.org/10.1137/1.9781611978322.22</a>.","apa":"El-Hayek, A., Henzinger, M., &#38; Li, J. (2025). Fully dynamic approximate minimum cut in subpolynomial time per operation. In <i>Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms</i> (pp. 750–784). New Orleans, LA, United States: Society for Industrial and Applied Mathematics. <a href=\"https://doi.org/10.1137/1.9781611978322.22\">https://doi.org/10.1137/1.9781611978322.22</a>","mla":"El-Hayek, Antoine, et al. “Fully Dynamic Approximate Minimum Cut in Subpolynomial Time per Operation.” <i>Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms</i>, Society for Industrial and Applied Mathematics, 2025, pp. 750–84, doi:<a href=\"https://doi.org/10.1137/1.9781611978322.22\">10.1137/1.9781611978322.22</a>.","ama":"El-Hayek A, Henzinger M, Li J. Fully dynamic approximate minimum cut in subpolynomial time per operation. In: <i>Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms</i>. Society for Industrial and Applied Mathematics; 2025:750-784. doi:<a href=\"https://doi.org/10.1137/1.9781611978322.22\">10.1137/1.9781611978322.22</a>","ista":"El-Hayek A, Henzinger M, Li J. 2025. Fully dynamic approximate minimum cut in subpolynomial time per operation. Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 750–784.","short":"A. El-Hayek, M. Henzinger, J. Li, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2025, pp. 750–784.","ieee":"A. El-Hayek, M. Henzinger, and J. Li, “Fully dynamic approximate minimum cut in subpolynomial time per operation,” in <i>Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms</i>, New Orleans, LA, United States, 2025, pp. 750–784."},"page":"750-784","related_material":{"record":[{"status":"public","id":"22281","relation":"dissertation_contains"}]},"abstract":[{"text":"Dynamically maintaining the minimum cut in a graph G under edge insertions and deletion is a fundamental problem in dynamic graph algorithms for which no conditional lower bound on the time per operation exists. In an n-node graph the best known (1 + o (1))-approximate algorithm takes  update time [14]. If the minimum cut is guaranteed to be (log n )o (1), a deterministic exact algorithm with n o (1) update time exists [8].\r\nWe present the first fully dynamic algorithm for (1 + o (1))-approximate minimum cut with n o(1) update time. Our main technical contribution is to show that it suffices to consider small-volume cuts in suitably contracted graphs.","lang":"eng"}],"oa_version":"Preprint","type":"conference","status":"public","author":[{"last_name":"El-Hayek","first_name":"Antoine","id":"888a098e-fcac-11ee-aff7-d347be57b725","full_name":"El-Hayek, Antoine","orcid":"0000-0003-4268-7368"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","last_name":"Henzinger","full_name":"Henzinger, Monika H","orcid":"0000-0002-5008-6530"},{"first_name":"Jason","last_name":"Li","full_name":"Li, Jason"}],"date_created":"2025-07-10T13:08:57Z","_id":"19982","title":"Fully dynamic approximate minimum cut in subpolynomial time per operation","language":[{"iso":"eng"}],"OA_type":"green","OA_place":"repository","publication_identifier":{"eisbn":["9781611978322"]},"ec_funded":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’sHorizon 2020 research and innovation programme (MoDynStruct, No. 101019564) and the Austrian Science Fund(FWF) grant DOI 10.55776/Z422, grant DOI 10.55776/I5982, and grant DOI 10.55776/P33775 with additional funding from the netidee SCIENCE Stiftung, 2020–2024.","publication":"Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms"},{"OA_type":"gold","OA_place":"publisher","language":[{"iso":"eng"}],"publication":"Journal of Glaciology","scopus_import":"1","acknowledgement":"This study was supported by the National Natural Science Foundation of China (grant nos. 42271138, 42201144), Lhasa Science and Technology Plan Project (LSKJ202406), the National Key R&D Program of China (grant nos. 2024YFF0808601), and the Science and Technology Plan Projects of Tibet Autonomous Region (Grants XZ202501ZY0081 and XZ202401ZY0003). ZH additionally acknowledges mobility funding provided by China Scholarship Council (CSC), supporting an extended research stay at the University of Plymouth, where much of this research was completed.","publication_identifier":{"issn":["0022-1430"],"eissn":["1727-5652"]},"DOAJ_listed":"1","citation":{"apa":"He, Z., Westoby, M., REN, S., Zhao, C., He, Y., Zhang, T., &#38; Yang, W. (2025). Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier. <i>Journal of Glaciology</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/jog.2025.10104\">https://doi.org/10.1017/jog.2025.10104</a>","chicago":"He, Zhen, Matthew Westoby, SHAOTING REN, Chuanxi Zhao, Yifei He, Tianzhao Zhang, and Wei Yang. “Quantifying the Seasonal Dynamics of a Transitional Ice Cliff-Pond System on a Debris-Covered Glacier.” <i>Journal of Glaciology</i>. Cambridge University Press, 2025. <a href=\"https://doi.org/10.1017/jog.2025.10104\">https://doi.org/10.1017/jog.2025.10104</a>.","short":"Z. He, M. Westoby, S. REN, C. Zhao, Y. He, T. Zhang, W. Yang, Journal of Glaciology 71 (2025).","ieee":"Z. He <i>et al.</i>, “Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier,” <i>Journal of Glaciology</i>, vol. 71. Cambridge University Press, 2025.","ista":"He Z, Westoby M, REN S, Zhao C, He Y, Zhang T, Yang W. 2025. Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier. Journal of Glaciology. 71, e129.","mla":"He, Zhen, et al. “Quantifying the Seasonal Dynamics of a Transitional Ice Cliff-Pond System on a Debris-Covered Glacier.” <i>Journal of Glaciology</i>, vol. 71, e129, Cambridge University Press, 2025, doi:<a href=\"https://doi.org/10.1017/jog.2025.10104\">10.1017/jog.2025.10104</a>.","ama":"He Z, Westoby M, REN S, et al. Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier. <i>Journal of Glaciology</i>. 2025;71. doi:<a href=\"https://doi.org/10.1017/jog.2025.10104\">10.1017/jog.2025.10104</a>"},"supplementarymaterial":"no","date_updated":"2026-07-27T08:21:14Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","PlanS_conform":"1","title":"Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier","_id":"20669","status":"public","author":[{"full_name":"He, Zhen","last_name":"He","first_name":"Zhen"},{"full_name":"Westoby, Matthew","last_name":"Westoby","first_name":"Matthew"},{"id":"2066b6dd-2d54-11ef-8f8c-c94731161817","last_name":"Ren","first_name":"Shaoting","full_name":"Ren, Shaoting"},{"last_name":"Zhao","first_name":"Chuanxi","full_name":"Zhao, Chuanxi"},{"full_name":"He, Yifei","first_name":"Yifei","last_name":"He"},{"first_name":"Tianzhao","last_name":"Zhang","full_name":"Zhang, Tianzhao"},{"full_name":"Yang, Wei","last_name":"Yang","first_name":"Wei"}],"date_created":"2025-11-23T23:01:40Z","type":"journal_article","oa_version":"Published Version","article_type":"original","abstract":[{"lang":"eng","text":"Ice cliffs and supraglacial ponds are key drivers of mass loss on debris-covered glaciers. However, the relationship between melt ponds and adjacent ice cliffs has not been fully explored. We investigated the seasonal drainage patterns of a melt pond on the debris-covered Zhuxi Glacier in southeast Tibet and estimated the mass loss of its adjacent ice cliff during 2023-2024. Using hourly time-lapse photogrammetry we built a series of high-resolution point clouds to quantify the evolution of the ice cliff-pond system. Our findings indicate that subaerial melting and undercutting were the primary mechanisms of ice cliff mass loss during summer. In winter when the pond water level dropped, ice cliff calving became the dominant mode of ice loss. As the water level rose in spring, calving and subaerial melting occurred simultaneously and ice loss from calving accounted for approximately 19.5 % of total ice loss from February to July 2024. Our results reveal the transitional state of this ice cliff-pond system, exhibiting characteristics of both melt hotspots and lake-terminating calving fronts, and highlight the interplay between seasonal drainage-refill pond and differing modes of ice loss on adjacent ice cliff. Future research should focus on additional high-resolution monitoring of similar systems and incorporation of ice cliff-pond dynamics in glacier-scale numerical models. "}],"article_number":"e129","volume":71,"researchdata_availability":"yes","doi":"10.1017/jog.2025.10104","file":[{"date_created":"2026-07-27T08:19:34Z","checksum":"6b50f39880c70b2e58baaa7713848ab5","success":1,"relation":"main_file","creator":"dernst","access_level":"open_access","file_id":"22411","file_size":6023889,"date_updated":"2026-07-27T08:19:34Z","content_type":"application/pdf","file_name":"2026_JournalGlaciology_He.pdf"}],"dataavailabilitystatement":"The Python scripts to processing of the time-lapse photos to point clouds, as well as ICP registration, are available on Zenodo (https://doi.org/10.5281/zenodo.16272541).","day":"10","oa":1,"publisher":"Cambridge University Press","month":"11","department":[{"_id":"FrPe"}],"has_accepted_license":"1","file_date_updated":"2026-07-27T08:19:34Z","date_published":"2025-11-10T00:00:00Z","article_processing_charge":"Yes","das_tickbox":"1","fulldoi":"https://doi.org/10.1017/jog.2025.10104","ddc":["550"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","year":"2025","quality_controlled":"1","intvolume":"        71"},{"publication":"31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems","scopus_import":"1","publication_identifier":{"issn":["0302-9743"],"isbn":["9783031906428"],"eissn":["1611-3349"]},"acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093.","ec_funded":1,"OA_type":"hybrid","OA_place":"publisher","language":[{"iso":"eng"}],"title":"Automating the analysis of quantitative automata with QuAK","_id":"19741","status":"public","date_created":"2025-05-25T22:17:07Z","author":[{"id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","last_name":"Chalupa","full_name":"Chalupa, Marek"},{"last_name":"Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","full_name":"Henzinger, Thomas A"},{"last_name":"Mazzocchi","first_name":"Nicolas Adrien","id":"b26baa86-3308-11ec-87b0-8990f34baa85","full_name":"Mazzocchi, Nicolas Adrien"},{"full_name":"Sarac, Naci E","id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","last_name":"Sarac","first_name":"Naci E"}],"oa_version":"Published Version","type":"conference","abstract":[{"lang":"eng","text":"Quantitative automata model beyond-boolean aspects of systems: every execution is mapped to a real number by incorporating weighted transitions and value functions that generalize acceptance conditions of boolean w-automata. Despite the theoretical advances in systems analysis through quantitative automata, the first comprehensive software tool for quantitative automata (Quantitative Automata Kit, or QuAK) was developed only recently. QuAK implements algorithms for solving standard decision problems, e.g., emptiness and universality, as well as constructions for safety and liveness of quantitative automata. We present the architecture of QuAK, which reflects that all of these problems reduce to either checking inclusion between two quantitative automata or computing the highest value achievable by an automaton—its so-called top value. We improve QuAK by extending these two algorithms with an option to return, alongside their results, an ultimately periodic word witnessing the algorithm’s output, as well as implementing a new safety-liveness decomposition algorithm that can handle nondeterministic automata, making QuAK more informative and capable."}],"related_material":{"record":[{"status":"public","id":"20147","relation":"dissertation_contains"}]},"page":"303-312","citation":{"chicago":"Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Automating the Analysis of Quantitative Automata with QuAK.” In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 15696:303–12. Springer Nature, 2025. <a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">https://doi.org/10.1007/978-3-031-90643-5_16</a>.","apa":"Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., &#38; Sarac, N. E. (2025). Automating the analysis of quantitative automata with QuAK. In <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i> (Vol. 15696, pp. 303–312). Springer Nature. <a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">https://doi.org/10.1007/978-3-031-90643-5_16</a>","mla":"Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, vol. 15696, Springer Nature, 2025, pp. 303–12, doi:<a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">10.1007/978-3-031-90643-5_16</a>.","ama":"Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. Automating the analysis of quantitative automata with QuAK. In: <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 15696. Springer Nature; 2025:303-312. doi:<a href=\"https://doi.org/10.1007/978-3-031-90643-5_16\">10.1007/978-3-031-90643-5_16</a>","short":"M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.","ista":"Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Automating the analysis of quantitative automata with QuAK. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 15696, 303–312.","ieee":"M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Automating the analysis of quantitative automata with QuAK,” in <i>31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>, 2025, vol. 15696, pp. 303–312."},"project":[{"grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","call_identifier":"H2020","name":"Vigilant Algorithmic Monitoring of Software"}],"date_updated":"2026-07-27T12:48:18Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","corr_author":"1","oa":1,"external_id":{"arxiv":["2501.16088"]},"publisher":"Springer Nature","department":[{"_id":"ToHe"}],"month":"05","volume":15696,"doi":"10.1007/978-3-031-90643-5_16","file":[{"creator":"dernst","relation":"main_file","access_level":"open_access","checksum":"a27fa245be8d83421e9127b48a09c8af","date_created":"2025-06-02T08:13:11Z","success":1,"file_size":420669,"file_name":"2025_TACAS_ChalupaMarek.pdf","content_type":"application/pdf","date_updated":"2025-06-02T08:13:11Z","file_id":"19768"}],"ddc":["000"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"published","year":"2025","quality_controlled":"1","intvolume":"     15696","has_accepted_license":"1","date_published":"2025-05-01T00:00:00Z","file_date_updated":"2025-06-02T08:13:11Z","alternative_title":["LNCS"],"article_processing_charge":"No","fulldoi":"https://doi.org/10.1007/978-3-031-90643-5_16","arxiv":1},{"acknowledgement":"This research was supported by the Scientific Service Units (SSU) of IST Austria through resources\r\nprovided by Scientific Computing (SciComp). EI was supported in part by the FWF DK VGSCO,\r\ngrant agreement number W1260-N35. AJ was supported in part by ERC Proof-of-Concept Grant\r\nFastML, grant agreement 101158077.","publication":"arXiv","language":[{"iso":"eng"}],"OA_type":"green","OA_place":"repository","type":"preprint","oa_version":"Preprint","abstract":[{"text":"The recent surge in high-quality open-source Generative AI text models (colloquially: LLMs), as well as efficient finetuning techniques, have opened the possibility of creating high-quality personalized models that generate text attuned to a specific individual’s needs and are capable of credibly imitating their writing style by refining an open-source model with that person’s own data. The technology to create such models is accessible to private individuals, and training and running such models can be done cheaply on consumer-grade hardware. While these advancements are a huge gain for usability and privacy, this position paper argues that the practical feasibility of impersonating specific individuals also introduces novel safety risks. For instance, this technology enables the creation of phishing emails\r\nor fraudulent social media accounts, based on small amounts of publicly available text, or by the individuals themselves to escape AI text detection. We further argue that these risks are complementary to—and distinct from—the much-discussed risks of other impersonation attacks such as image, voice, or video deepfakes, and are not adequately addressed by the larger research community, or the current generation of open- and closed-source models.","lang":"eng"}],"title":"Position: It's time to act on the risk of efficient personalized text generation","_id":"21858","author":[{"full_name":"Iofinova, Eugenia B","orcid":"0000-0002-7778-3221","first_name":"Eugenia B","last_name":"Iofinova","id":"f9a17499-f6e0-11ea-865d-fdf9a3f77117"},{"first_name":"Andrej","last_name":"Jovanovic","full_name":"Jovanovic, Andrej"},{"full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","last_name":"Alistarh","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87"}],"status":"public","date_created":"2026-05-11T08:55:23Z","date_updated":"2026-07-27T12:50:03Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","related_material":{"record":[{"id":"21854","relation":"dissertation_contains","status":"public"}]},"citation":{"chicago":"Iofinova, Eugenia B, Andrej Jovanovic, and Dan-Adrian Alistarh. “Position: It’s Time to Act on the Risk of Efficient Personalized Text Generation.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2502.06560\">https://doi.org/10.48550/arXiv.2502.06560</a>.","apa":"Iofinova, E. B., Jovanovic, A., &#38; Alistarh, D.-A. (n.d.). Position: It’s time to act on the risk of efficient personalized text generation. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2502.06560\">https://doi.org/10.48550/arXiv.2502.06560</a>","ama":"Iofinova EB, Jovanovic A, Alistarh D-A. Position: It’s time to act on the risk of efficient personalized text generation. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2502.06560\">10.48550/arXiv.2502.06560</a>","mla":"Iofinova, Eugenia B., et al. “Position: It’s Time to Act on the Risk of Efficient Personalized Text Generation.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/arXiv.2502.06560\">10.48550/arXiv.2502.06560</a>.","short":"E.B. Iofinova, A. Jovanovic, D.-A. Alistarh, ArXiv (n.d.).","ista":"Iofinova EB, Jovanovic A, Alistarh D-A. Position: It’s time to act on the risk of efficient personalized text generation. arXiv, <a href=\"https://doi.org/10.48550/arXiv.2502.06560\">10.48550/arXiv.2502.06560</a>.","ieee":"E. B. Iofinova, A. Jovanovic, and D.-A. Alistarh, “Position: It’s time to act on the risk of efficient personalized text generation,” <i>arXiv</i>. ."},"project":[{"grant_number":"101158077","_id":"8e35c14b-16d5-11f0-9cad-a3fc35339161","name":"FastML: Efficient and Cost-Effective Distributed Machine Learning"},{"_id":"9B9290DE-BA93-11EA-9121-9846C619BF3A","name":"Vienna Graduate School on Computational Optimization","grant_number":"W1260-N35"}],"external_id":{"arxiv":["2502.06560"]},"month":"06","department":[{"_id":"GradSch"},{"_id":"DaAl"}],"day":"02","oa":1,"corr_author":"1","doi":"10.48550/arXiv.2502.06560","publication_status":"draft","year":"2025","fulldoi":"https://doi.org/10.48550/arXiv.2502.06560","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2502.06560","open_access":"1"}],"arxiv":1,"date_published":"2025-06-02T00:00:00Z","article_processing_charge":"No"},{"issue":"3","publication":"SIAM Journal on Optimization","publication_identifier":{"eissn":["1095-7189"],"issn":["1052-6234"]},"OA_place":"repository","OA_type":"green","language":[{"iso":"eng"}],"date_created":"2026-02-05T13:33:05Z","status":"public","author":[{"full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Naldi","first_name":"Simone","full_name":"Naldi, Simone"},{"full_name":"Zapata, Jeferson","id":"00223538-AF8F-11E9-A4C7-F729E6697425","first_name":"Jeferson","last_name":"Zapata"}],"title":"Certifying solutions of degenerate semidefinite programs","_id":"21144","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_version":"Preprint","type":"journal_article","article_type":"original","page":"1630-1654","citation":{"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>.","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>","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>.","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.","ista":"Kolmogorov V, Naldi S, Zapata J. 2025. Certifying solutions of degenerate semidefinite programs. SIAM Journal on Optimization. 35(3), 1630–1654.","short":"V. Kolmogorov, S. Naldi, J. Zapata, SIAM Journal on Optimization 35 (2025) 1630–1654."},"related_material":{"record":[{"status":"public","id":"21957","relation":"dissertation_contains"}]},"date_updated":"2026-07-27T14:30:41Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"day":"01","publisher":"Society for Industrial and Applied Mathematics","month":"09","department":[{"_id":"VlKo"},{"_id":"GradSch"}],"external_id":{"arxiv":["2405.13625"]},"doi":"10.1137/24m1664691","volume":35,"intvolume":"        35","publication_status":"published","quality_controlled":"1","year":"2025","article_processing_charge":"No","date_published":"2025-09-01T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2405.13625"}],"arxiv":1,"fulldoi":"https://doi.org/10.1137/24m1664691"},{"abstract":[{"text":"Ag2Se is a promising n-type thermoelectric material, but its performance is limited by excessive carrier concentration, compositional inhomogeneity, and phase instability, challenges rooted in a narrow homogeneity range and uncontrolled Ag+ diffusion in the superionic phase. Here, we address these issues by exploiting liquid–solid interface reactions using CdSe complexes that remove surface excess Ag to yield stoichiometric Ag2Se and generate CdSe nanodomains that inhibit Ag+ diffusion and constrain grain growth. The resulting Ag2Se-CdSe nanocomposites exhibit a reproducible, stable figure of merit (zT) of 1.04 between 300 and 390 K. Beyond demonstrating high performance, we elucidate the interfacial chemical reactions that give rise to the observed microstructure and transport properties, providing a foundation for rationally engineering interfacial chemistry to tailor transport properties across diverse thermoelectric material systems.","lang":"eng"}],"type":"journal_article","oa_version":"Published Version","article_type":"original","status":"public","author":[{"id":"2A70014E-F248-11E8-B48F-1D18A9856A87","last_name":"Liu","first_name":"Yu","orcid":"0000-0001-7313-6740","full_name":"Liu, Yu"},{"id":"8BD9DE16-AB3C-11E9-9C8C-2A03E6697425","first_name":"Tobias","last_name":"Kleinhanns","full_name":"Kleinhanns, Tobias","orcid":"0000-0003-1537-7436"},{"full_name":"Horta, Sharona","id":"03a7e858-01b1-11ec-8b71-99ae6c4a05bc","last_name":"Horta","first_name":"Sharona"},{"id":"0601cc46-c082-11ec-9b07-bb29641d1de9","first_name":"Ewelina","last_name":"Dutkiewicz","full_name":"Dutkiewicz, Ewelina"},{"last_name":"Lu","first_name":"Shaoqing","full_name":"Lu, Shaoqing"},{"full_name":"Spadaro, Maria Chiara","first_name":"Maria Chiara","last_name":"Spadaro"},{"full_name":"Genç, Aziz","first_name":"Aziz","last_name":"Genç"},{"full_name":"Chen, Lei","last_name":"Chen","first_name":"Lei"},{"full_name":"Lim, Khak Ho","last_name":"Lim","first_name":"Khak Ho"},{"first_name":"Min","last_name":"Hong","full_name":"Hong, Min"},{"full_name":"Arbiol, Jordi","first_name":"Jordi","last_name":"Arbiol"},{"id":"43C61214-F248-11E8-B48F-1D18A9856A87","last_name":"Ibáñez","first_name":"Maria","orcid":"0000-0001-5013-2843","full_name":"Ibáñez, Maria"}],"date_created":"2025-09-10T05:44:03Z","title":"Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se","_id":"20326","PlanS_conform":"1","date_updated":"2026-07-28T09:55:14Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","page":"32199-32208","citation":{"ista":"Liu Y, Kleinhanns T, Horta S, Dutkiewicz E, Lu S, Spadaro MC, Genç A, Chen L, Lim KH, Hong M, Arbiol J, Ibáñez M. 2025. Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. Journal of the American Chemical Society. 147(35), 32199–32208.","short":"Y. Liu, T. Kleinhanns, S. Horta, E. Dutkiewicz, S. Lu, M.C. Spadaro, A. Genç, L. Chen, K.H. Lim, M. Hong, J. Arbiol, M. Ibáñez, Journal of the American Chemical Society 147 (2025) 32199–32208.","ieee":"Y. Liu <i>et al.</i>, “Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se,” <i>Journal of the American Chemical Society</i>, vol. 147, no. 35. American Chemical Society, pp. 32199–32208, 2025.","mla":"Liu, Yu, et al. “Liquid-Solid Interface Reactions Drive Enhanced Thermoelectric Performance in Ag2Se.” <i>Journal of the American Chemical Society</i>, vol. 147, no. 35, American Chemical Society, 2025, pp. 32199–208, doi:<a href=\"https://doi.org/10.1021/jacs.5c11435\">10.1021/jacs.5c11435</a>.","ama":"Liu Y, Kleinhanns T, Horta S, et al. Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. <i>Journal of the American Chemical Society</i>. 2025;147(35):32199-32208. doi:<a href=\"https://doi.org/10.1021/jacs.5c11435\">10.1021/jacs.5c11435</a>","apa":"Liu, Y., Kleinhanns, T., Horta, S., Dutkiewicz, E., Lu, S., Spadaro, M. C., … Ibáñez, M. (2025). Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se. <i>Journal of the American Chemical Society</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/jacs.5c11435\">https://doi.org/10.1021/jacs.5c11435</a>","chicago":"Liu, Yu, Tobias Kleinhanns, Sharona Horta, Ewelina Dutkiewicz, Shaoqing Lu, Maria Chiara Spadaro, Aziz Genç, et al. “Liquid-Solid Interface Reactions Drive Enhanced Thermoelectric Performance in Ag2Se.” <i>Journal of the American Chemical Society</i>. American Chemical Society, 2025. <a href=\"https://doi.org/10.1021/jacs.5c11435\">https://doi.org/10.1021/jacs.5c11435</a>."},"project":[{"name":"HighTE: The Werner Siemens Laboratory for the High Throughput Discovery of Semiconductors for Waste Heat Recovery","_id":"9B8F7476-BA93-11EA-9121-9846C619BF3A"}],"related_material":{"record":[{"relation":"dissertation_contains","id":"22017","status":"public"}]},"publication_identifier":{"eissn":["1520-5126"],"issn":["0002-7863"]},"acknowledgement":"M.I. acknowledges financial support from ISTA and the Werner Siemens Foundation. The Scientific Service Units (SSU) of ISTA supported this work through resources provided by the Electron Microscopy Facility (EMF), the Lab Support Facility (LSF) and the Nanofabrication Facility (NNF) and the LSF Mass Spectrometry Service. The members of the Ibáñez research group are acknowledged, especially Christine Fiedler for scientific illustration and Ihor Cherniukh for valuable discussions. Y.L. acknowledges funding from the National Natural Science Foundation of China (NSFC) (Grants No. 22209034), the Innovation and Entrepreneurship Project of Overseas Returnees in Anhui Province (Grant No. 2022LCX002) and the Fundamental Research Funds for the Central Universities (JZ2024HGTB0239). K.H.L. acknowledges financial support from the National Natural Science Foundation of China (NSFC) (Grant No. 22208293). ICN2 acknowledges funding from Generalitat de Catalunya 2021SGR00457. Authors acknowledge the Advanced Materials programme by the Spanish Government with funding from European Union NextGenerationEU (PRTR-C17.I1) and by Generalitat de Catalunya (Project In-CAEM). The authors thank support from the project AMaDE (PID2023-149158OB-C43), funded by MCIN/AEI/10.13039/501100011033/and by “ERDF Away of making Europe”, by the “European Union”. ICN2 is supported by the Severo Ochoa program from Spanish MCIN/AEI (Grant No.: CEX2021-001214-S) and is funded by the CERCA Programme/Generalitat de Catalunya. ICN2 is founding member of e-DREAM. (68) M.H. acknowledges the funding from the Australian Research Council (FT230100316 and IH200100035). M.H. acknowledges the computational support from the National Computational Infrastructure (NCI) and Pawsey Supercomputing Centre, Australia.","scopus_import":"1","issue":"35","publication":"Journal of the American Chemical Society","language":[{"iso":"eng"}],"OA_place":"publisher","OA_type":"hybrid","intvolume":"       147","publication_status":"published","quality_controlled":"1","year":"2025","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["540"],"acknowledged_ssus":[{"_id":"EM-Fac"},{"_id":"LifeSc"},{"_id":"NanoFab"},{"_id":"MassSpec"}],"fulldoi":"https://doi.org/10.1021/jacs.5c11435","article_processing_charge":"Yes (via OA deal)","has_accepted_license":"1","date_published":"2025-08-22T00:00:00Z","file_date_updated":"2025-09-10T06:55:17Z","publisher":"American Chemical Society","month":"08","department":[{"_id":"MaIb"},{"_id":"MassSpec"}],"external_id":{"isi":["001558320100001"]},"oa":1,"corr_author":"1","day":"22","doi":"10.1021/jacs.5c11435","file":[{"file_id":"20334","file_size":9997327,"file_name":"2025_JACS_Liu.pdf","date_updated":"2025-09-10T06:55:17Z","content_type":"application/pdf","checksum":"52892fa91adadd39a1c42da9e01139a5","date_created":"2025-09-10T06:55:17Z","success":1,"relation":"main_file","creator":"dernst","access_level":"open_access"}],"volume":147,"isi":1},{"publication_identifier":{"eissn":["1530-6992"],"issn":["1530-6984"]},"acknowledgement":"We thank the National Science Foundation (No. NSF-DMR 2241180) for supporting this research. Synthetic work at Columbia was funded in part by the Air Force Office of Scientific Research (AFOSR), under Grant No. FA9550-22-1-0389. The cryoprobe on the 500 MHz NMR instrument used in this research at Columbia was purchased through the NIH Award No. S10OD026749. This work was supported in part by the Institute of Science and Technology Austria. HRMS sample preparation, analysis, and data evaluation were performed by Aikaterina Paraskevopoulou, Mass Spec Service, LSF, ISTA.","publication":"Nano Letters","scopus_import":"1","issue":"36","language":[{"iso":"eng"}],"OA_type":"hybrid","OA_place":"publisher","oa_version":"Published Version","type":"journal_article","article_type":"letter_note","abstract":[{"text":"Here, we present a foundational investigation of charge transport through three BODIPY-based molecules using the scanning tunneling microscope–break junction (STM-BJ) technique. We demonstrate that molecular conductance through the BODIPY core can be measured by introducing aurophilic linkers at the 2,6-positions. By varying these linkers, we systematically modulate the frontier molecular orbital energies and fine-tune transport behavior. Our experimental results are supported by DFT-based calculations, which feature a new computationally efficient correction to standard PBE-level transmission predictions. Together, these findings establish the viability of BODIPY-based systems for molecular junction applications and lay the groundwork for future studies of their single-molecule optoelectronic properties.","lang":"eng"}],"title":"Tuning conductance in BODIPY-based single-molecule junctions","_id":"20331","date_created":"2025-09-10T05:48:29Z","status":"public","author":[{"first_name":"Emma","last_name":"York","id":"08dde91e-8e0a-11f0-9d7d-9e8d80864f16","full_name":"York, Emma"},{"full_name":"Stone, Ilana","first_name":"Ilana","last_name":"Stone"},{"full_name":"Shi, Wanzhuo","id":"a3010425-87c8-11f0-8106-bec32bea74da","first_name":"Wanzhuo","last_name":"Shi"},{"full_name":"Roy, Xavier","first_name":"Xavier","last_name":"Roy"},{"orcid":"0000-0002-6957-6089","full_name":"Venkataraman, Latha","last_name":"Venkataraman","first_name":"Latha","id":"9ebb78a5-cc0d-11ee-8322-fae086a32caf"}],"date_updated":"2026-07-28T09:53:54Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","PlanS_conform":"1","citation":{"short":"E. York, I. Stone, W. Shi, X. Roy, L. Venkataraman, Nano Letters 25 (2025) 13697–13702.","ieee":"E. York, I. Stone, W. Shi, X. Roy, and L. Venkataraman, “Tuning conductance in BODIPY-based single-molecule junctions,” <i>Nano Letters</i>, vol. 25, no. 36. American Chemical Society, pp. 13697–13702, 2025.","ista":"York E, Stone I, Shi W, Roy X, Venkataraman L. 2025. Tuning conductance in BODIPY-based single-molecule junctions. Nano Letters. 25(36), 13697–13702.","mla":"York, Emma, et al. “Tuning Conductance in BODIPY-Based Single-Molecule Junctions.” <i>Nano Letters</i>, vol. 25, no. 36, American Chemical Society, 2025, pp. 13697–702, doi:<a href=\"https://doi.org/10.1021/acs.nanolett.5c03764\">10.1021/acs.nanolett.5c03764</a>.","ama":"York E, Stone I, Shi W, Roy X, Venkataraman L. Tuning conductance in BODIPY-based single-molecule junctions. <i>Nano Letters</i>. 2025;25(36):13697-13702. doi:<a href=\"https://doi.org/10.1021/acs.nanolett.5c03764\">10.1021/acs.nanolett.5c03764</a>","apa":"York, E., Stone, I., Shi, W., Roy, X., &#38; Venkataraman, L. (2025). Tuning conductance in BODIPY-based single-molecule junctions. <i>Nano Letters</i>. American Chemical Society. <a href=\"https://doi.org/10.1021/acs.nanolett.5c03764\">https://doi.org/10.1021/acs.nanolett.5c03764</a>","chicago":"York, Emma, Ilana Stone, Wanzhuo Shi, Xavier Roy, and Latha Venkataraman. “Tuning Conductance in BODIPY-Based Single-Molecule Junctions.” <i>Nano Letters</i>. American Chemical Society, 2025. <a href=\"https://doi.org/10.1021/acs.nanolett.5c03764\">https://doi.org/10.1021/acs.nanolett.5c03764</a>."},"page":"13697-13702","external_id":{"pmid":["40855728"],"isi":["001557017200001"]},"publisher":"American Chemical Society","month":"08","department":[{"_id":"LaVe"}],"day":"25","corr_author":"1","oa":1,"volume":25,"doi":"10.1021/acs.nanolett.5c03764","file":[{"relation":"main_file","creator":"dernst","access_level":"open_access","checksum":"bac881601e1f33c3cf8f51d50b958e68","date_created":"2025-12-30T09:39:44Z","success":1,"file_size":3144989,"file_name":"2025_NanoLetters_York.pdf","date_updated":"2025-12-30T09:39:44Z","content_type":"application/pdf","file_id":"20910"}],"isi":1,"publication_status":"published","pmid":1,"quality_controlled":"1","year":"2025","intvolume":"        25","ddc":["540"],"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"das_tickbox":"1","fulldoi":"https://doi.org/10.1021/acs.nanolett.5c03764","acknowledged_ssus":[{"_id":"LifeSc"},{"_id":"MassSpec"}],"has_accepted_license":"1","file_date_updated":"2025-12-30T09:39:44Z","date_published":"2025-08-25T00:00:00Z","article_processing_charge":"Yes (via OA deal)"},{"OA_type":"closed access","language":[{"iso":"eng"}],"publication":"Acta Arithmetica","scopus_import":"1","acknowledgement":"The authors would like to thank the referee and Ilya Shkredov for comments on the manuscript.\r\nC. E. is supported by a joint FWF-ANR project ArithRand, grant numbers FWF I 4945-N and ANR-20-CE91-0006.\r\n","publication_identifier":{"issn":["0065-1036"],"eissn":["1730-6264"]},"page":"289-303","citation":{"ama":"Elsholtz C, Ruzsa IZ, Wurzinger L. Sumset growth in progression-free sets. <i>Acta Arithmetica</i>. 2025;220:289-303. doi:<a href=\"https://doi.org/10.4064/aa250115-14-7\">10.4064/aa250115-14-7</a>","mla":"Elsholtz, Christian, et al. “Sumset Growth in Progression-Free Sets.” <i>Acta Arithmetica</i>, vol. 220, Institute of Mathematics, 2025, pp. 289–303, doi:<a href=\"https://doi.org/10.4064/aa250115-14-7\">10.4064/aa250115-14-7</a>.","short":"C. Elsholtz, I.Z. Ruzsa, L. Wurzinger, Acta Arithmetica 220 (2025) 289–303.","ieee":"C. Elsholtz, I. Z. Ruzsa, and L. Wurzinger, “Sumset growth in progression-free sets,” <i>Acta Arithmetica</i>, vol. 220. Institute of Mathematics, pp. 289–303, 2025.","ista":"Elsholtz C, Ruzsa IZ, Wurzinger L. 2025. Sumset growth in progression-free sets. Acta Arithmetica. 220, 289–303.","chicago":"Elsholtz, Christian, Imre Z. Ruzsa, and Lena Wurzinger. “Sumset Growth in Progression-Free Sets.” <i>Acta Arithmetica</i>. Institute of Mathematics, 2025. <a href=\"https://doi.org/10.4064/aa250115-14-7\">https://doi.org/10.4064/aa250115-14-7</a>.","apa":"Elsholtz, C., Ruzsa, I. Z., &#38; Wurzinger, L. (2025). Sumset growth in progression-free sets. <i>Acta Arithmetica</i>. Institute of Mathematics. <a href=\"https://doi.org/10.4064/aa250115-14-7\">https://doi.org/10.4064/aa250115-14-7</a>"},"supplementarymaterial":"no","date_updated":"2026-07-29T09:51:25Z","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","title":"Sumset growth in progression-free sets","_id":"20603","date_created":"2025-11-04T14:33:16Z","status":"public","author":[{"full_name":"Elsholtz, Christian","first_name":"Christian","last_name":"Elsholtz"},{"last_name":"Ruzsa","first_name":"Imre Z.","full_name":"Ruzsa, Imre Z."},{"id":"50c57d72-32a8-11ee-aeea-d652094d2ccd","last_name":"Wurzinger","first_name":"Lena","full_name":"Wurzinger, Lena","orcid":"0009-0004-5360-0074"}],"type":"journal_article","oa_version":"None","article_type":"original","abstract":[{"text":"We study the growth of sumsets A+B⊂S⊂G, where S does not contain an arithmetic progression of length 2k+1, and where G is a commutative group, in which every nonzero element has an order of at least 2k+1. More specifically, we show the following: if A,B⊂G are sets such that A+B does not contain an arithmetic progression of length 2k+1, then\r\n|A+B|≥|A|2k−13k−2|B|k3k−2.\r\nAs an application we derive upper bounds on the cardinality of the summands in sumsets A+B+C contained in the set of t-th powers, where t≥2 is an integer. In particular, we show that min(|A|,|B|,|C|)≪(logN)4/5 for t=2, and min(|A|,|B|,|C|)≪t(logN)1/2 for t≥3.","lang":"eng"}],"isi":1,"volume":220,"researchdata_availability":"no","doi":"10.4064/aa250115-14-7","day":"12","corr_author":"1","external_id":{"isi":["001570716800001"]},"publisher":"Institute of Mathematics","department":[{"_id":"TiBr"}],"month":"09","date_published":"2025-09-12T00:00:00Z","article_processing_charge":"No","das_tickbox":"0","fulldoi":"https://doi.org/10.4064/aa250115-14-7","publication_status":"published","year":"2025","quality_controlled":"1","intvolume":"       220"},{"language":[{"iso":"eng"}],"doi":"10.1101/2025.02.14.638262","OA_place":"repository","month":"02","department":[{"_id":"CaHe"},{"_id":"EdHa"}],"publication":"bioRxiv","day":"17","oa":1,"corr_author":"1","date_updated":"2026-07-29T10:33:31Z","das_tickbox":"1","fulldoi":"https://doi.org/10.1101/2025.02.14.638262","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1101/2025.02.14.638262"}],"related_material":{"record":[{"relation":"dissertation_contains","id":"20441","status":"public"},{"status":"public","relation":"later_version","id":"22608"}]},"date_published":"2025-02-17T00:00:00Z","article_processing_charge":"No","citation":{"ama":"Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. <i>bioRxiv</i>. doi:<a href=\"https://doi.org/10.1101/2025.02.14.638262\">10.1101/2025.02.14.638262</a>","mla":"Naik, Suyash, et al. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” <i>BioRxiv</i>, doi:<a href=\"https://doi.org/10.1101/2025.02.14.638262\">10.1101/2025.02.14.638262</a>.","ista":"Naik S, Keta Y-E, Pranjic-Ferscha K, Hannezo EB, Henkes S, Heisenberg C-PJ. Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. bioRxiv, <a href=\"https://doi.org/10.1101/2025.02.14.638262\">10.1101/2025.02.14.638262</a>.","ieee":"S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E. B. Hannezo, S. Henkes, and C.-P. J. Heisenberg, “Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties,” <i>bioRxiv</i>. .","short":"S. Naik, Y.-E. Keta, K. Pranjic-Ferscha, E.B. Hannezo, S. Henkes, C.-P.J. Heisenberg, BioRxiv (n.d.).","chicago":"Naik, Suyash, Yann-Edwin Keta, Kornelija Pranjic-Ferscha, Edouard B Hannezo, Silke Henkes, and Carl-Philipp J Heisenberg. “Keratins Coordinate Tissue Spreading by Balancing Spreading Forces with Tissue Material Properties.” <i>BioRxiv</i>, n.d. <a href=\"https://doi.org/10.1101/2025.02.14.638262\">https://doi.org/10.1101/2025.02.14.638262</a>.","apa":"Naik, S., Keta, Y.-E., Pranjic-Ferscha, K., Hannezo, E. B., Henkes, S., &#38; Heisenberg, C.-P. J. (n.d.). Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties. <i>bioRxiv</i>. <a href=\"https://doi.org/10.1101/2025.02.14.638262\">https://doi.org/10.1101/2025.02.14.638262</a>"},"oa_version":"Preprint","publication_status":"draft","type":"preprint","year":"2025","abstract":[{"text":"For tissues to spread, they must be deformable while maintaining their structural integrity. How these opposing requirements are balanced within spreading tissues is not yet well understood. Here, we show that keratin intermediate filaments function in epithelial spreading by adapting tissue mechanical resilience to the stresses arising in the tissue during the spreading process. By analysing the expansion of the enveloping cell layer (EVL) over the large yolk cell in early zebrafish embryos in vivo, we found that keratin network maturation in EVL cells is promoted by stresses building up within the spreading tissue. Through genetic interference and tissue rheology experiments, complemented by a vertex model with mechanochemical feedback, we demonstrate that stress-induced keratin network maturation in the EVL increases tissue viscosity, which is essential for preventing tissue rupture. Interestingly, keratins are also required in the yolk cell for mechanosensitive actomyosin network contraction and flow, the force-generating processes pulling the EVL. These dual mechanosensitive functions of keratins enable a balance between pulling force production in the yolk cell and the mechanical resilience of the EVL against stresses generated by these pulling forces, thereby ensuring uniform and robust tissue spreading.","lang":"eng"}],"title":"Keratins coordinate tissue spreading by balancing spreading forces with tissue material properties","_id":"20465","tmp":{"image":"/image/cc_by_nd.png","short":"CC BY-ND (4.0)","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode"},"date_created":"2025-10-14T07:25:27Z","author":[{"first_name":"Suyash","last_name":"Naik","id":"2C0B105C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8421-5508","full_name":"Naik, Suyash"},{"full_name":"Keta, Yann-Edwin","last_name":"Keta","first_name":"Yann-Edwin"},{"first_name":"Kornelija","last_name":"Pranjic-Ferscha","id":"4362B3C2-F248-11E8-B48F-1D18A9856A87","full_name":"Pranjic-Ferscha, Kornelija"},{"orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","last_name":"Hannezo","first_name":"Edouard B","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Henkes","first_name":"Silke","full_name":"Henkes, Silke"},{"first_name":"Carl-Philipp J","last_name":"Heisenberg","id":"39427864-F248-11E8-B48F-1D18A9856A87","full_name":"Heisenberg, Carl-Philipp J","orcid":"0000-0002-0912-4566"}],"status":"public"},{"article_processing_charge":"No","date_published":"2025-12-09T00:00:00Z","file_date_updated":"2026-01-04T12:58:49Z","alternative_title":["ISTA Master's Thesis"],"has_accepted_license":"1","fulldoi":"https://doi.org/10.15479/AT-ISTA-20735","degree_awarded":"MS","ddc":["570","596","005"],"year":"2025","publication_status":"published","file":[{"access_level":"closed","relation":"source_file","creator":"awilson","checksum":"9e3b6b73f8cbec2c3687d17fe8e30410","date_created":"2026-01-01T17:26:30Z","content_type":"application/zip","date_updated":"2026-01-02T13:05:07Z","file_name":"tadpoleAdEx.zip","file_size":566072368,"file_id":"20919"},{"file_id":"20923","file_size":7170097,"date_updated":"2026-01-04T12:58:49Z","content_type":"application/pdf","file_name":"Masters_Thesis_Alexia_Wilson_FINAL_pdfA.pdf","checksum":"13f4c0d33923e9d5c9d56731345cf21d","date_created":"2026-01-04T12:58:49Z","success":1,"creator":"awilson","relation":"main_file","access_level":"open_access"}],"doi":"10.15479/AT-ISTA-20735","corr_author":"1","oa":1,"day":"09","month":"12","department":[{"_id":"GradSch"},{"_id":"TiVo"},{"_id":"LoSw"}],"publisher":"Institute of Science and Technology Austria","doi_confirm":"1","citation":{"ama":"Wilson AC. Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20735\">10.15479/AT-ISTA-20735</a>","mla":"Wilson, Alexia C. <i>Modelling the Spinal Cord of a Tadpole: Exploring Different Ways to Model the Spinal Cord in the Xenopus Frog</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20735\">10.15479/AT-ISTA-20735</a>.","short":"A.C. Wilson, Modelling the Spinal Cord of a Tadpole: Exploring Different Ways to Model the Spinal Cord in the Xenopus Frog, Institute of Science and Technology Austria, 2025.","ista":"Wilson AC. 2025. Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog. Institute of Science and Technology Austria.","ieee":"A. C. Wilson, “Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog,” Institute of Science and Technology Austria, 2025.","chicago":"Wilson, Alexia C. “Modelling the Spinal Cord of a Tadpole: Exploring Different Ways to Model the Spinal Cord in the Xenopus Frog.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20735\">https://doi.org/10.15479/AT-ISTA-20735</a>.","apa":"Wilson, A. C. (2025). <i>Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20735\">https://doi.org/10.15479/AT-ISTA-20735</a>"},"page":"110","related_material":{"record":[{"status":"public","id":"13097","relation":"part_of_dissertation"}]},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","date_updated":"2026-07-29T12:55:12Z","status":"public","date_created":"2025-12-08T09:49:41Z","author":[{"full_name":"Wilson, Alexia C","orcid":"0000-0001-6191-1367","last_name":"Wilson","first_name":"Alexia C","id":"5230e794-15b2-11ec-abd3-e2d5335ebd1d"}],"_id":"20735","title":"Modelling the spinal cord of a tadpole: Exploring different ways to model the spinal cord in the Xenopus frog","abstract":[{"lang":"eng","text":"Left–right alternation is a defining feature of spinal locomotor circuits, yet the level of neuronal\r\ndetail required to generate and maintain this pattern remains unclear. This thesis investigates how\r\nmodels spanning multiple levels of abstraction—from biophysically detailed Hodgkin–Huxley (HH)\r\nneurons to adaptive integrate–and–fire (I&F) formulations and synfire-chain modules—can account\r\nfor the generation of fictive swimming in the spinal cord of the Xenopus laevis tadpole. The guiding\r\nhypothesis is that a small set of neuronal mechanisms is sufficient to reproduce the essential features\r\nof rhythmic alternation, and that moving between modeling scales helps distinguish core principles\r\nfrom biological detail.\r\nA minimal bilateral HH network comprising only four canonical neuron classes—excitatory\r\ndescending interneurons (dINs), inhibitory commissural interneurons (cINs), ipsilateral inhibitory\r\ninterneurons (aINs) and motoneurons—served as a biophysical proof of concept. Tuned to reproduce\r\nexperimentally observed firing modes, the model demonstrated that rebound-prone dIN excitability,\r\ncontralateral inhibition and modest electrical coupling are sufficient to generate stable alternating\r\nactivity, even in very small networks. These results motivated the transition to simpler models\r\ncapable of efficient analysis and scaling.\r\nAdaptive exponential I&F (AdEx) neurons were calibrated to physiological recordings using\r\nsimulation-based inference, yielding tonic and phasic/rebound templates that preserved the key\r\ndynamical signatures of the HH model. Phase-plane analysis clarified the mechanisms underlying\r\nsingle-spike responses and rebound firing in dINs. At network level, the I&F models robustly\r\nreproduced left–right alternation, while highlighting constraints on synaptic kinetics and adaptation\r\nneeded to avoid multi-spike responses.\r\nFinally, a synfire-chain framework provided a complementary, timing-centric perspective, demonstrating how precise spike synchrony, synaptic delays and minimal inhibitory coupling can generate\r\nalternating left–right sequences in a feedforward setting. Together, these approaches converge on a\r\ncommon conclusion: rebound-prone ipsilateral excitation combined with precisely timed contralateral inhibition constitutes a sufficient substrate for alternating spinal rhythms.\r\nBy integrating bottom-up and top-down modeling strategies, this thesis provides a unified, extensible framework for studying spinal pattern generation. The results show that essential locomotor\r\ndynamics can be captured across multiple abstraction levels, offering both mechanistic insight and\r\npractical tools for future data-driven investigations of spinal circuit development, robustness and\r\nmodulation."}],"type":"dissertation","supervisor":[{"full_name":"Vogels, Tim P","orcid":"0000-0003-3295-6181","id":"CB6FF8D2-008F-11EA-8E08-2637E6697425","first_name":"Tim P","last_name":"Vogels"},{"orcid":"0000-0001-9242-5601","full_name":"Sweeney, Lora Beatrice Jaeger","first_name":"Lora Beatrice Jaeger","last_name":"Sweeney","id":"56BE8254-C4F0-11E9-8E45-0B23E6697425"}],"oa_version":"Published Version","OA_place":"publisher","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2791-4585"]}},{"oa":1,"corr_author":"1","day":"23","month":"09","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"external_id":{"arxiv":["2509.20539"]},"article_number":"2509.20539","doi":"10.48550/arXiv.2509.20539","year":"2025","publication_status":"draft","article_processing_charge":"No","date_published":"2025-09-23T00:00:00Z","arxiv":1,"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.2509.20539"}],"fulldoi":"https://doi.org/10.48550/arXiv.2509.20539","das_tickbox":"1","publication":"arXiv","acknowledgement":"We would like to dedicate the paper to the memory of Klaus Truemper, whose monograph Matroid Decomposition [12]\r\nlaid the foundation for our entire work.","OA_type":"green","OA_place":"repository","language":[{"iso":"eng"}],"status":"public","date_created":"2026-03-04T11:56:29Z","author":[{"full_name":"Dvorak, Martin","orcid":"0000-0001-5293-214X","last_name":"Dvorak","first_name":"Martin","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425"},{"full_name":"Figueroa-Reid, Tristan","last_name":"Figueroa-Reid","first_name":"Tristan"},{"first_name":"Rida","last_name":"Hamadani","full_name":"Hamadani, Rida"},{"full_name":"Hwang, Byung-Hak","first_name":"Byung-Hak","last_name":"Hwang"},{"first_name":"Evgenia","last_name":"Karunus","full_name":"Karunus, Evgenia"},{"full_name":"Kolmogorov, Vladimir","first_name":"Vladimir","last_name":"Kolmogorov","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Meiburg","first_name":"Alexander","full_name":"Meiburg, Alexander"},{"first_name":"Alexander","last_name":"Nelson","full_name":"Nelson, Alexander"},{"last_name":"Nelson","first_name":"Peter","full_name":"Nelson, Peter"},{"full_name":"Sandey, Mark","first_name":"Mark","last_name":"Sandey"},{"orcid":"0009-0004-9145-8785","full_name":"Sergeev, Ivan","first_name":"Ivan","last_name":"Sergeev","id":"ca3c9187-9a72-11ee-a009-8af825d896b0"}],"_id":"21398","title":"Composition direction of Seymour's theorem for regular matroids — Formally verified","abstract":[{"text":"Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets.","lang":"eng"}],"type":"preprint","oa_version":"Preprint","citation":{"short":"M. Dvorak, T. Figueroa-Reid, R. Hamadani, B.-H. Hwang, E. Karunus, V. Kolmogorov, A. Meiburg, A. Nelson, P. Nelson, M. Sandey, I. Sergeev, ArXiv (n.d.).","ista":"Dvorak M, Figueroa-Reid T, Hamadani R, Hwang B-H, Karunus E, Kolmogorov V, Meiburg A, Nelson A, Nelson P, Sandey M, Sergeev I. Composition direction of Seymour’s theorem for regular matroids — Formally verified. arXiv, 2509.20539.","ieee":"M. Dvorak <i>et al.</i>, “Composition direction of Seymour’s theorem for regular matroids — Formally verified,” <i>arXiv</i>. .","mla":"Dvorak, Martin, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” <i>ArXiv</i>, 2509.20539, doi:<a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>.","ama":"Dvorak M, Figueroa-Reid T, Hamadani R, et al. Composition direction of Seymour’s theorem for regular matroids — Formally verified. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2509.20539\">10.48550/arXiv.2509.20539</a>","apa":"Dvorak, M., Figueroa-Reid, T., Hamadani, R., Hwang, B.-H., Karunus, E., Kolmogorov, V., … Sergeev, I. (n.d.). Composition direction of Seymour’s theorem for regular matroids — Formally verified. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">https://doi.org/10.48550/arXiv.2509.20539</a>","chicago":"Dvorak, Martin, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, et al. “Composition Direction of Seymour’s Theorem for Regular Matroids — Formally Verified.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2509.20539\">https://doi.org/10.48550/arXiv.2509.20539</a>."},"related_material":{"record":[{"status":"public","id":"21393","relation":"dissertation_contains"}]},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-29T12:56:51Z"},{"oa":1,"corr_author":"1","day":"31","department":[{"_id":"BeBi"}],"month":"08","external_id":{"arxiv":["2508.05410"]},"doi":"10.48550/arXiv.2508.05410","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication_status":"draft","year":"2025","article_processing_charge":"No","date_published":"2025-08-31T00:00:00Z","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2508.05410","open_access":"1"}],"arxiv":1,"fulldoi":"https://doi.org/10.48550/arXiv.2508.05410","publication":"arXiv","ec_funded":1,"acknowledgement":"The authors express gratitude to Magali Lorion for assisting in the initial fabrication of LCEs,\r\nPengbin Tang for providing the code for simulating discrete elastic rods, the Imaging and\r\nOptics Facility at ISTA for assisting with the spectrometry measurements, and the MIBA\r\nmachine shop at ISTA for their support in manufacturing various devices.\r\nFunding: This project was supported by the European Research Council (ERC) under\r\nthe European Union’s Horizon 2020 research and innovation program (Grant Agreement No.\r\n715767 -– MATERIALIZABLE).","OA_place":"repository","language":[{"iso":"eng"}],"status":"public","author":[{"orcid":"0009-0007-6138-6890","full_name":"Bhargava, Manas","first_name":"Manas","last_name":"Bhargava","id":"FF8FA64C-AA6A-11E9-99AD-50D4E5697425"},{"full_name":"Hiraki, Takefumi","last_name":"Hiraki","first_name":"Takefumi"},{"id":"2afc607f-f128-11eb-9611-8f2a0dfcf074","last_name":"Strugaru","first_name":"Irina-Malina","full_name":"Strugaru, Irina-Malina"},{"full_name":"Zhang, Yuhan","first_name":"Yuhan","last_name":"Zhang"},{"id":"62E473F4-5C99-11EA-A40E-AF823DDC885E","last_name":"Piovarci","first_name":"Michael","orcid":"0000-0002-5062-4474","full_name":"Piovarci, Michael"},{"last_name":"Daraio","first_name":"Chiara","full_name":"Daraio, Chiara"},{"full_name":"Iwai, Daisuke","first_name":"Daisuke","last_name":"Iwai"},{"id":"49876194-F248-11E8-B48F-1D18A9856A87","first_name":"Bernd","last_name":"Bickel","full_name":"Bickel, Bernd","orcid":"0000-0001-6511-9385"}],"date_created":"2025-09-04T09:14:11Z","title":"Computational design and fabrication of modular robots with untethered control","_id":"20286","abstract":[{"lang":"eng","text":"Natural organisms utilize distributed actuation through their musculoskeletal\r\nsystems to adapt their gait for traversing diverse terrains or to morph their\r\nbodies for varied tasks. A longstanding challenge in robotics is to emulate\r\nthis capability of natural organisms, which has motivated the development of\r\nnumerous soft robotic systems. However, such systems are generally optimized\r\nfor a single functionality, lack the ability to change form or function on\r\ndemand, or remain tethered to bulky control systems. To address these\r\nlimitations, we present a framework for designing and controlling robots that\r\nutilize distributed actuation. We propose a novel building block that\r\nintegrates 3D-printed bones with liquid crystal elastomer (LCE) muscles as\r\nlightweight actuators, enabling the modular assembly of musculoskeletal robots.\r\nWe developed LCE rods that contract in response to infrared radiation, thereby\r\nproviding localized, untethered control over the distributed skeletal network\r\nand producing global deformations of the robot. To fully capitalize on the\r\nextensive design space, we introduce two computational tools: one for\r\noptimizing the robot's skeletal graph to achieve multiple target deformations,\r\nand another for co-optimizing skeletal designs and control gaits to realize\r\ndesired locomotion. We validate our framework by constructing several robots\r\nthat demonstrate complex shape morphing, diverse control schemes, and\r\nenvironmental adaptability. Our system integrates advances in modular material\r\nbuilding, untethered and distributed control, and computational design to\r\nintroduce a new generation of robots that brings us closer to the capabilities\r\nof living organisms."}],"oa_version":"Preprint","type":"preprint","citation":{"ama":"Bhargava M, Hiraki T, Strugaru I-M, et al. Computational design and fabrication of modular robots with untethered control. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2508.05410\">10.48550/arXiv.2508.05410</a>","mla":"Bhargava, Manas, et al. “Computational Design and Fabrication of Modular Robots with Untethered Control.” <i>ArXiv</i>, doi:<a href=\"https://doi.org/10.48550/arXiv.2508.05410\">10.48550/arXiv.2508.05410</a>.","ieee":"M. Bhargava <i>et al.</i>, “Computational design and fabrication of modular robots with untethered control,” <i>arXiv</i>. .","ista":"Bhargava M, Hiraki T, Strugaru I-M, Zhang Y, Piovarci M, Daraio C, Iwai D, Bickel B. Computational design and fabrication of modular robots with untethered control. arXiv, <a href=\"https://doi.org/10.48550/arXiv.2508.05410\">10.48550/arXiv.2508.05410</a>.","short":"M. Bhargava, T. Hiraki, I.-M. Strugaru, Y. Zhang, M. Piovarci, C. Daraio, D. Iwai, B. Bickel, ArXiv (n.d.).","chicago":"Bhargava, Manas, Takefumi Hiraki, Irina-Malina Strugaru, Yuhan Zhang, Michael Piovarci, Chiara Daraio, Daisuke Iwai, and Bernd Bickel. “Computational Design and Fabrication of Modular Robots with Untethered Control.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2508.05410\">https://doi.org/10.48550/arXiv.2508.05410</a>.","apa":"Bhargava, M., Hiraki, T., Strugaru, I.-M., Zhang, Y., Piovarci, M., Daraio, C., … Bickel, B. (n.d.). Computational design and fabrication of modular robots with untethered control. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2508.05410\">https://doi.org/10.48550/arXiv.2508.05410</a>"},"project":[{"name":"MATERIALIZABLE: Intelligent fabrication-oriented Computational Design and Modeling","call_identifier":"H2020","_id":"24F9549A-B435-11E9-9278-68D0E5697425","grant_number":"715767"}],"related_material":{"record":[{"id":"20276","relation":"dissertation_contains","status":"public"}]},"date_updated":"2026-07-29T13:03:30Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9"},{"ddc":["539"],"publication_status":"published","year":"2025","article_processing_charge":"No","has_accepted_license":"1","file_date_updated":"2025-09-26T07:20:48Z","alternative_title":["ISTA Thesis"],"date_published":"2025-09-23T00:00:00Z","acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}],"degree_awarded":"PhD","fulldoi":"https://doi.org/10.15479/AT-ISTA-20371","oa":1,"corr_author":"1","day":"23","publisher":"Institute of Science and Technology Austria","month":"09","department":[{"_id":"GradSch"},{"_id":"JoFi"}],"doi_confirm":"1","doi":"10.15479/AT-ISTA-20371","file":[{"file_id":"20392","file_name":"2025_Trioni_Andrea_Thesis.pdf","date_updated":"2025-09-25T14:25:31Z","content_type":"application/pdf","file_size":22351676,"date_created":"2025-09-25T07:15:05Z","checksum":"6fb925648dfa5f4384814c552ee2f099","access_level":"open_access","relation":"main_file","creator":"atrioni"},{"relation":"source_file","creator":"atrioni","access_level":"closed","checksum":"619dc614bdfbf3999b76ac8890b2cebd","date_created":"2025-09-25T14:45:43Z","file_size":60079009,"date_updated":"2025-09-26T07:20:48Z","content_type":"application/x-zip-compressed","file_name":"2025_Trioni_Andrea_Thesis.zip","file_id":"20396"}],"status":"public","date_created":"2025-09-23T09:57:57Z","author":[{"full_name":"Trioni, Andrea","first_name":"Andrea","last_name":"Trioni","id":"42F71B44-F248-11E8-B48F-1D18A9856A87"}],"title":"High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains","_id":"20371","abstract":[{"lang":"eng","text":"Quantum mechanics reveals a world that defies classical determinism, where uncertainty, superposition, and fluctuations are fundamental aspects. Engineering devices that harness these quantum features requires not only precision, but also a deep understanding of how they interact with their surrounding environment. Superconducting circuits, which exploit\r\nmacroscopic quantum coherence in low-loss superconducting materials, provide a scalable platform for implementing such systems. Among the critical elements in these circuits, superinductors—high-impedance, dissipation-free inductive components—play a central role by suppressing charge fluctuations. They allow quantum states to be delocalized in phase space, protect qubits from environmental noise, and facilitate access to phenomena such as dual Josephson physics and ultra-strong coupling regimes. \r\nThis thesis explores two complementary implementations of high-impedance circuits: geometric superinductors, demonstrating that high impedance can be achieved beyond kinetic inductance,\r\nand Josephson junction chains, used to investigate both microwave mode properties and DC transport across the superconductor-to-insulator transition. \r\nPart I addresses geometric superinductors. Contrary to the common belief that high-impedance superconducting circuits require kinetic inductance, we demonstrate that purely geometric designs can achieve characteristic impedance exceeding the resistance quantum. By exploiting mutual coupling between adjacent turns, coil-based inductors achieve enhanced self-inductance, creating a reliable platform for qubits and resonators. Modeling, simulation, fabrication, and\r\ncharacterization confirm that these elements behave as superinductor. With low loss, high linearity, and minimal stray capacitance, these elements are reproducible, free of uncontrolled tunneling events, and capable of strong magnetic coupling. This establishes geometric superinductors as robust, single-wave-function superconducting devices suitable for hardware protected qubits and hybrid systems.\r\nPart II presents classical numerical simulations of a Quantum Phase Slip circuit to study dual Shapiro steps. The circuit consists of an ideal Quantum Phase Slip element embedded in a resistive-inductive environment with a parasitic capacitance.\r\nPart III extends the investigation of high characteristic-impedance circuit elements to one-dimensional Josephson junction chains, which act as a quantum simulator for many-body physics and the superconductor–insulator transition. Different devices are realized on both sides of the DC phase transition, showing either a supercurrent branch or Coulomb blockade at zero bias. The effect of the crossover on microwave modes, however, remains insufficiently investigated. Studying these modes provides insight into the interplay between disorder and phase-slip events. Small differences in circuit component sizes determine which side of the transition a device falls on, making these results relevant not only for fundamental understanding but also for the design of quantum devices, emphasizing the crucial role of the\r\nelectromagnetic environment in stabilizing and controlling fragile quantum states. \r\nTogether, these results illustrate how carefully engineered high characteristic-impedance elements provide a link between macroscopic circuits and the inherently uncertain quantum world, enabling experiments that probe, control, and ultimately exploit quantum fluctuations for applications in quantum information, metrology, solid state physics and beyond.\r\n\r\n"}],"type":"dissertation","oa_version":"Published Version","supervisor":[{"full_name":"Fink, Johannes M","orcid":"0000-0001-8112-028X","id":"4B591CBA-F248-11E8-B48F-1D18A9856A87","last_name":"Fink","first_name":"Johannes M"}],"page":"202","citation":{"mla":"Trioni, Andrea. <i>High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains</i>. Institute of Science and Technology Austria, 2025, doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20371\">10.15479/AT-ISTA-20371</a>.","ama":"Trioni A. High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. 2025. doi:<a href=\"https://doi.org/10.15479/AT-ISTA-20371\">10.15479/AT-ISTA-20371</a>","ista":"Trioni A. 2025. High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains. Institute of Science and Technology Austria.","ieee":"A. Trioni, “High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains,” Institute of Science and Technology Austria, 2025.","short":"A. Trioni, High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains, Institute of Science and Technology Austria, 2025.","chicago":"Trioni, Andrea. “High-Impedance Quantum Circuits for Mesoscopic Physics: Geometric Superinductors and Insulating Josephson Chains.” Institute of Science and Technology Austria, 2025. <a href=\"https://doi.org/10.15479/AT-ISTA-20371\">https://doi.org/10.15479/AT-ISTA-20371</a>.","apa":"Trioni, A. (2025). <i>High-impedance quantum circuits for mesoscopic physics: Geometric superinductors and insulating Josephson Chains</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT-ISTA-20371\">https://doi.org/10.15479/AT-ISTA-20371</a>"},"project":[{"_id":"eb9b30ac-77a9-11ec-83b8-871f581d53d2","name":"Protected states of quantum matter"},{"grant_number":"F07105","_id":"bdb108fd-d553-11ed-ba76-83dc74a9864f","name":"QUANTUM INFORMATION SYSTEMS BEYOND CLASSICAL CAPABILITIES / P5- Integration of Superconducting Quantum Circuits"},{"grant_number":"665385","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020"}],"related_material":{"record":[{"id":"8755","relation":"part_of_dissertation","status":"public"}]},"date_updated":"2026-07-29T13:12:10Z","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","ec_funded":1,"acknowledgement":"I also gratefully acknowledge the generous support of the NOMIS Foundation Project \"Protected\r\nStates of Quantum Matter\" and the grant from the Beyond-C consortium. Their funding\r\nmade this research possible and gave me the freedom to ask ambitious questions, and try to\r\nanswer them.\r\n","publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-067-1"]},"OA_place":"publisher","language":[{"iso":"eng"}]},{"related_material":{"record":[{"status":"public","relation":"dissertation_contains","id":"20339"}]},"project":[{"grant_number":"P31312","name":"Algorithms for Embeddings and Homotopy Theory","call_identifier":"FWF","_id":"26611F5C-B435-11E9-9278-68D0E5697425"},{"grant_number":"101034413","call_identifier":"H2020","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"page":"72-83","citation":{"chicago":"Avvakumov, Sergey, Marek Filakovský, Jakub Opršal, Gianluca Tasinato, and Uli Wagner. “Hardness of 4-Colouring G-Colourable Graphs.” In <i>Proceedings of the 57th Annual ACM Symposium on Theory of Computing</i>, 72–83. Association for Computing Machinery, 2025. <a href=\"https://doi.org/10.1145/3717823.3718154\">https://doi.org/10.1145/3717823.3718154</a>.","apa":"Avvakumov, S., Filakovský, M., Opršal, J., Tasinato, G., &#38; Wagner, U. (2025). Hardness of 4-colouring G-colourable graphs. In <i>Proceedings of the 57th Annual ACM Symposium on Theory of Computing</i> (pp. 72–83). Prague, Czechia: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3717823.3718154\">https://doi.org/10.1145/3717823.3718154</a>","ama":"Avvakumov S, Filakovský M, Opršal J, Tasinato G, Wagner U. Hardness of 4-colouring G-colourable graphs. In: <i>Proceedings of the 57th Annual ACM Symposium on Theory of Computing</i>. Association for Computing Machinery; 2025:72-83. doi:<a href=\"https://doi.org/10.1145/3717823.3718154\">10.1145/3717823.3718154</a>","mla":"Avvakumov, Sergey, et al. “Hardness of 4-Colouring G-Colourable Graphs.” <i>Proceedings of the 57th Annual ACM Symposium on Theory of Computing</i>, Association for Computing Machinery, 2025, pp. 72–83, doi:<a href=\"https://doi.org/10.1145/3717823.3718154\">10.1145/3717823.3718154</a>.","ieee":"S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, and U. Wagner, “Hardness of 4-colouring G-colourable graphs,” in <i>Proceedings of the 57th Annual ACM Symposium on Theory of Computing</i>, Prague, Czechia, 2025, pp. 72–83.","short":"S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, U. Wagner, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83.","ista":"Avvakumov S, Filakovský M, Opršal J, Tasinato G, Wagner U. 2025. Hardness of 4-colouring G-colourable graphs. Proceedings of the 57th Annual ACM Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 72–83."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_updated":"2026-07-29T13:13:17Z","_id":"20008","title":"Hardness of 4-colouring G-colourable graphs","status":"public","author":[{"id":"3827DAC8-F248-11E8-B48F-1D18A9856A87","last_name":"Avvakumov","first_name":"Sergey","full_name":"Avvakumov, Sergey","orcid":"0000-0002-7840-5062"},{"full_name":"Filakovský, Marek","id":"3E8AF77E-F248-11E8-B48F-1D18A9856A87","last_name":"Filakovský","first_name":"Marek"},{"orcid":"0000-0003-1245-3456","full_name":"Opršal, Jakub","last_name":"Opršal","first_name":"Jakub","id":"ec596741-c539-11ec-b829-c79322a91242"},{"full_name":"Tasinato, Gianluca","id":"0433290C-AF8F-11E9-A4C7-F729E6697425","first_name":"Gianluca","last_name":"Tasinato"},{"id":"36690CA2-F248-11E8-B48F-1D18A9856A87","first_name":"Uli","last_name":"Wagner","orcid":"0000-0002-1494-0568","full_name":"Wagner, Uli"}],"date_created":"2025-07-13T22:01:23Z","oa_version":"Published Version","type":"conference","abstract":[{"text":"We study the complexity of a class of promise graph homomorphism problems. For a fixed graph H, the H-colouring problem is to decide whether a given graph has a homomorphism to H. By a result of Hell and Nešetřil, this problem is NP-hard for any non-bipartite loop-less graph H. Brakensiek and Guruswami [SODA 2018] conjectured the hardness extends to promise graph homomorphism problems as follows: fix a pair of non-bipartite loop-less graphs G, H such that there is a homomorphism from G to H, it is NP-hard to distinguish between graphs that are G-colourable and those that are not H-colourable. We confirm this conjecture in the cases when both G and H are 4-colourable. This is a common generalisation of previous results of Khanna, Linial, and Safra [Comb. 20(3): 393-415 (2000)] and of Krokhin and Opršal [FOCS 2019]. The result is obtained by combining the algebraic approach to promise constraint satisfaction with methods of topological combinatorics and equivariant obstruction theory.","lang":"eng"}],"OA_type":"hybrid","OA_place":"publisher","language":[{"iso":"eng"}],"publication":"Proceedings of the 57th Annual ACM Symposium on Theory of Computing","scopus_import":"1","ec_funded":1,"acknowledgement":"This research was supported by the Austrian Science Fund (FWF project P31312-N35) and by project MSCAfellow5_MUNI (CZ.02.01.01/00/22_010/0003229) financed by the Ministry of Education, Youth and Sports of the Czech Republic. This project has also received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No 101034413.","publication_identifier":{"isbn":["9798400715105"],"issn":["0737-8017"]},"file_date_updated":"2025-07-14T06:42:58Z","date_published":"2025-06-15T00:00:00Z","conference":{"location":"Prague, Czechia","name":"STOC: Symposium on Theory of Computing","start_date":"2025-06-23","end_date":"2025-06-27"},"has_accepted_license":"1","article_processing_charge":"Yes (in subscription journal)","fulldoi":"https://doi.org/10.1145/3717823.3718154","tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["000"],"year":"2025","quality_controlled":"1","publication_status":"published","file":[{"content_type":"application/pdf","date_updated":"2025-07-14T06:42:58Z","file_name":"2025_STOC_Avvakumov.pdf","file_size":940827,"file_id":"20013","access_level":"open_access","relation":"main_file","creator":"dernst","success":1,"date_created":"2025-07-14T06:42:58Z","checksum":"2c9ae7ad0102c41124976f4cb5182760"}],"doi":"10.1145/3717823.3718154","day":"15","corr_author":"1","oa":1,"department":[{"_id":"UlWa"}],"month":"06","publisher":"Association for Computing Machinery"},{"tmp":{"image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["510"],"publication_status":"published","year":"2025","quality_controlled":"1","intvolume":"        45","has_accepted_license":"1","file_date_updated":"2025-01-13T08:51:40Z","date_published":"2025-02-01T00:00:00Z","article_processing_charge":"Yes (via OA deal)","fulldoi":"https://doi.org/10.1017/etds.2024.48","day":"01","corr_author":"1","oa":1,"external_id":{"isi":["001308182000001"]},"publisher":"Cambridge University Press","department":[{"_id":"LaEr"}],"month":"02","isi":1,"volume":45,"doi":"10.1017/etds.2024.48","file":[{"checksum":"650fe115d998fe0ac3a8d0c7519447c8","date_created":"2025-01-13T08:51:40Z","success":1,"creator":"dernst","relation":"main_file","access_level":"open_access","file_id":"18828","file_size":659100,"date_updated":"2025-01-13T08:51:40Z","content_type":"application/pdf","file_name":"2025_ErgodicTheory_Henheik.pdf"}],"title":"Deformational rigidity of integrable metrics on the torus","_id":"18112","date_created":"2024-09-22T22:01:43Z","status":"public","author":[{"id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","first_name":"Sven Joscha","last_name":"Henheik","orcid":"0000-0003-1106-327X","full_name":"Henheik, Sven Joscha"}],"type":"journal_article","oa_version":"Published Version","article_type":"original","abstract":[{"text":"It is conjectured that the only integrable metrics on the two-dimensional torus are Liouville metrics. In this paper, we study a deformative version of this conjecture: we consider integrable deformations of a non-flat Liouville metric in a conformal class and show that for a fairly large class of such deformations, the deformed metric is again Liouville. The principal idea of the argument is that the preservation of rational invariant tori in the foliation of the phase space forces a linear combination on the Fourier coefficients of the deformation to vanish. Showing that the resulting linear system is non-degenerate will then yield the claim. Since our method of proof immediately carries over to higher dimensional tori, we obtain analogous statements in this more general case. To put our results in perspective, we review existing results about integrable metrics on the torus.","lang":"eng"}],"related_material":{"record":[{"id":"19540","relation":"dissertation_contains","status":"public"}]},"citation":{"short":"S.J. Henheik, Ergodic Theory and Dynamical Systems 45 (2025) 467–503.","ista":"Henheik SJ. 2025. Deformational rigidity of integrable metrics on the torus. Ergodic Theory and Dynamical Systems. 45(2), 467–503.","ieee":"S. J. Henheik, “Deformational rigidity of integrable metrics on the torus,” <i>Ergodic Theory and Dynamical Systems</i>, vol. 45, no. 2. Cambridge University Press, pp. 467–503, 2025.","ama":"Henheik SJ. Deformational rigidity of integrable metrics on the torus. <i>Ergodic Theory and Dynamical Systems</i>. 2025;45(2):467-503. doi:<a href=\"https://doi.org/10.1017/etds.2024.48\">10.1017/etds.2024.48</a>","mla":"Henheik, Sven Joscha. “Deformational Rigidity of Integrable Metrics on the Torus.” <i>Ergodic Theory and Dynamical Systems</i>, vol. 45, no. 2, Cambridge University Press, 2025, pp. 467–503, doi:<a href=\"https://doi.org/10.1017/etds.2024.48\">10.1017/etds.2024.48</a>.","apa":"Henheik, S. J. (2025). Deformational rigidity of integrable metrics on the torus. <i>Ergodic Theory and Dynamical Systems</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/etds.2024.48\">https://doi.org/10.1017/etds.2024.48</a>","chicago":"Henheik, Sven Joscha. “Deformational Rigidity of Integrable Metrics on the Torus.” <i>Ergodic Theory and Dynamical Systems</i>. Cambridge University Press, 2025. <a href=\"https://doi.org/10.1017/etds.2024.48\">https://doi.org/10.1017/etds.2024.48</a>."},"page":"467-503","project":[{"_id":"62796744-2b32-11ec-9570-940b20777f1d","name":"Random matrices beyond Wigner-Dyson-Mehta","call_identifier":"H2020","grant_number":"101020331"},{"grant_number":"885707","_id":"9B8B92DE-BA93-11EA-9121-9846C619BF3A","call_identifier":"H2020","name":"Spectral rigidity and integrability for billiards and geodesic flows"}],"date_updated":"2026-07-29T13:18:16Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publication":"Ergodic Theory and Dynamical Systems","scopus_import":"1","issue":"2","ec_funded":1,"publication_identifier":{"eissn":["1469-4417"],"issn":["0143-3857"]},"acknowledgement":"I am very grateful to Vadim Kaloshin for suggesting the topic, his guidance during this project, and many helpful comments on an earlier version of the manuscript. Moreover, I would like to thank Comlan Edmond Koudjinan and Volodymyr Riabov for interesting discussions. Partial financial support by the ERC Advanced Grant ‘RMTBeyond’ No. 101020331 is gratefully acknowledged. This project received funding from the European Research Council (ERC) ERC Grant No. 885707.","OA_type":"hybrid","OA_place":"publisher","language":[{"iso":"eng"}]}]
