@inproceedings{20844, abstract = {We introduce and construct a new proof system called Non-interactive Arguments of Knowledge or Space (NArKoS), where a space-bounded prover can convince a verifier they know a secret, while having access to sufficient space allows one to forge indistinguishable proofs without the secret. An application of NArKoS are space-deniable proofs, which are proofs of knowledge (say for authentication in access control) that are sound when executed by a lightweight device like a smart-card or an RFID chip that cannot have much storage, but are deniable (in the strong sense of online deniability) as the verifier, like a card reader, can efficiently forge such proofs. We construct NArKoS in the random oracle model using an OR-proof combining a sigma protocol (for the proof of knowledge of the secret) with a new proof system called simulatable Proof of Transient Space (simPoTS). We give two different constructions of simPoTS, one based on labelling graphs with high pebbling complexity, a technique used in the construction of memory-hard functions and proofs of space, and a more practical construction based on the verifiable space-hard functions from TCC’24 where a prover must compute a root of a sparse polynomial. In both cases, the main challenge is making the proofs efficiently simulatable.}, author = {Dujmovic, Jesko and Günther, Christoph Ullrich and Pietrzak, Krzysztof Z}, booktitle = {23rd International Conference on Theory of Cryptography}, isbn = {9783032122896}, issn = {1611-3349}, location = {Aarhus, Denmark}, pages = {171--202}, publisher = {Springer Nature}, title = {{Space-deniable proofs}}, doi = {10.1007/978-3-032-12290-2_6}, volume = {16271}, year = {2025}, } @article{20931, abstract = {Context. Asymmetries in the observed rotational splittings of a multiplet contain information about the star’s rotation profile and internal magnetic field. Moreover, the frequency regularities of multiplets can be used for mode identification. However, to exploit this information, highly accurate theoretical predictions are needed. Aims. We aim to quantify the difference in the predicted mode asymmetries between a 1D perturbative method and a 2D method that includes a 2D stellar structure model, which takes rotation into account. We then place these differences between 1D and 2D methods in the context of asteroseismic measurements of internal magnetic fields. We only focus on the asymmetries and not on possible additional frequency peaks that can arise when the magnetic and rotation axis are misaligned. Methods. We coupled the 1D pulsation codes GYRE and StORM to the 2D stellar structure code ESTER and compared the oscillation predictions with the results from the 2D TOP pulsation code. We focused on zero-age main-sequence models representative of rotating β Cephei pulsators spinning at up to 20 per cent of the critical Keplerian rotation rate. Specifically, we investigated low-radial-order gravity and pressure modes. Results. We find a generally good agreement between the oscillation frequencies resulting from the 1D and 2D pulsation codes. We report differences in predicted mode multiplet asymmetries of mostly below 0.06 d−1. Since the magnetic asymmetries are small compared to the differences in the rotational asymmetries resulting from the 1D and 2D predictions, accurate measurements of the magnetic field are in most cases challenging. Conclusions. Differences in the predicted mode asymmetries of a rotating star between 1D perturbative methods and 2D non-perturbative methods can greatly hinder accurate measurements of internal magnetic fields in main-sequence pulsators with low-order modes. Nevertheless, reasonably accurate measurements could be possible with npg ≥ 2 modes if the internal rotation is roughly below 10 per cent of the Keplerian critical rotation frequency for (aligned) magnetic fields of the order of a few hundred kilogauss. While the differences between the 1D and 2D frequency predictions are mostly too large for internal magnetic field detections, the rotational asymmetries predicted by StORM are in general accurate enough for asteroseismic modelling of the stellar rotation in main-sequence stars with identified low-order modes.}, author = {Mombarg, J. S.G. and Vanlaer, V. and Das, Srijan B and Rieutord, M. and Aerts, C. and Bugnet, Lisa Annabelle and Mathis, S. and Reese, D. R. and Ballot, J.}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, publisher = {EDP Sciences}, title = {{Is a 1D perturbative method sufficient for asteroseismic modelling of β Cephei pulsators? Implications for measurements of rotation and internal magnetic fields}}, doi = {10.1051/0004-6361/202557247}, volume = {704}, year = {2025}, } @article{20927, abstract = {Cavity-magnon polaritons are hybrid excitations from the interaction between cavity photons and magnons, the quanta of collective spin oscillations. Along with the tunability of the magnon-photon coupling strength, fast information transfer and conversion speed are desired in hybrid devices. This can be achieved utilizing the propagating nature of spin waves with nonzero momentum for their ultrafast time dynamics and reduced ohmic dissipation. Antiferromagnets are particularly interesting as hosts for magnons since stray-field interactions are minimized and they support multiple modes with distinctive magnetic-field behavior across the phase diagram. Chromium trichloride (CrCl3) is a van der Waals layered antiferromagnet having a strong easy-plane anisotropy and a weak in-plane easy-axis anisotropy. Despite some magnetic resonance studies, the impact of magnetic reorientation of spins in CrCl3 on the cavity-magnon-polariton interaction strength as a function of magnetic field remains largely unexplored. In this study, we investigate the coupling between magnons in CrCl3 and photons in a coplanar waveguide resonator as a function of magnetic field. In particular, we find that the magnon-photon coupling strength varies nonmonotonically and distinctly with the magnetic field for the acoustic and the optical magnons, which can be utilized to tune the magnon-photon coupling strength using an external magnetic field as a knob. We find the signature of spin-flop transition in the two harmonics of the cavity due to a stronger dispersive coupling between optical magnons and cavity photons at lower fields. Additionally, we find standing modes formed by spin waves with nonzero momentum associated with the two hybrid magnons when the external field is applied at an angle with the crystal plane. These modes do not undergo substantial coupling with the cavity mode unlike the antiferromagnetic modes and can be used as low-loss propagation channels in hybrid devices.}, author = {Mandal, Supriya and Maji, Krishnendu and Kapoor, Lucky and Sasmal, Souvik and Manni, Soham and Jesudasan, John and Raychaudhuri, Pratap and Thamizhavel, Arumugam and Deshmukh, Mandar M.}, issn = {2469-9969}, journal = {Physical Review B}, number = {21}, publisher = {American Physical Society}, title = {{Cavity based sensing of antiferromagnetic canting and nonzero-momentum spin waves in a van der Waals cavity-magnon-polariton system}}, doi = {10.1103/bdd1-b8ys}, volume = {112}, year = {2025}, } @misc{20936, abstract = {Supplementary material for Mombarg et al. (2025, A&A). Title: "Is a 1D perturbative method sufficient for asteroseismic modelling of ~Cephei pulsators? Implications for measurements of rotation and internal magnetic fields" Content: - Non-rotating ESTER models and associated .GSM models. (Xini = 0.71, Zini = 0.014, vertical/horizonal viscosity 10^7 cm^2/s, vertical chemical diffusion 10^4 cm^2/s for evolution model. More details on the ESTER models can be found in the ESTER manual. - Rotational asymmetries computed with StORM and TOP in 1/d, and the central m=0 frequency from TOP in 1/d. (all_A*_new.pkl) - Magnetic asymmetries in 1/d for different obliquity angles between 0 and 90 deg for ZAMS and MAMS model, for B_0 = 75 kG. *_nu key gives unperturbed mode frequencies, *_npg the radial order (asym_dict.pkl, asym_dict_evol.pkl)}, author = {Mombarg, Joey and Vanlaer, Vincent and Das, Srijan B and Rieutord, Michel and Aerts, Conny and Bugnet, Lisa Annabelle and Mathis, Stephane and Reese, Daniel and Ballot, Jerome}, publisher = {Zenodo}, title = {{Is a 1D perturbative method sufficient for asteroseismic modelling of β Cephei pulsators?}}, doi = {10.5281/ZENODO.17580178}, year = {2025}, } @unpublished{21016, abstract = {Motivated by applications in chemistry, we give a homlogical definition of tunnels, or more generally cobordisms, connecting disjoint parts of a cell complex. For a filtered complex, this defines a persistence module. We give a method for identifying birth and death times using kernel persistence and a matrix reduction algorithm for pairing birth and death times.}, author = {Bleile, Yossi and Fajstrup, Lisbeth and Heiss, Teresa and Svane, Anne Marie and Sørensen, Søren Strandskov}, booktitle = {arXiv}, title = {{Identifying cobordisms using kernel persistence}}, doi = {10.48550/arXiv.2505.17858}, year = {2025}, } @misc{20940, abstract = {These are the raw data files that supplement our study of mode dispersion with magnetic field of a cavity-magnonics system containing chromium trichloride on coplanar waveguide resonator.}, author = {Mandal, Supriya and Maji, Krishnendu and Kapoor, Lucky and Sasmal, Souvik and Manni, Soham and Jesudasan, John and Raychaudhuri, Pratap and Thamizhavel, Arumugam and Deshmukh, Mandar M.}, publisher = {Zenodo}, title = {{Mode dispersion with magnetic field in a cavity-magnonics system}}, doi = {10.5281/ZENODO.15321721}, year = {2025}, } @unpublished{21399, abstract = {We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas.}, author = {Bolan, Matthew and Breitner, Joachim and Brox, Jose and Carlini, Nicholas and Carneiro, Mario and Doorn, Floris van and Dvorak, Martin and Goens, Andrés and Hill, Aaron and Husum, Harald and Mejia, Hernán Ibarra and Kocsis, Zoltan A. and Floch, Bruno Le and Bar-on, Amir and Luccioli, Lorenzo and McNeil, Douglas and Meiburg, Alex and Monticone, Pietro and Nielsen, Pace P. and Osazuwa, Emmanuel Osalotioman and Paolini, Giovanni and Petracci, Marco and Reinke, Bernhard and Renshaw, David and Rossel, Marcus and Roux, Cody and Scanvic, Jérémy and Srinivas, Shreyas and Tadipatri, Anand Rao and Tao, Terence and Tsyrklevich, Vlad and Vaquerizo-Villar, Fernando and Weber, Daniel and Zheng, Fan}, booktitle = {arXiv}, title = {{The equational theories project: Advancing collaborative mathematical research at scale}}, doi = {10.48550/arXiv.2512.07087}, year = {2025}, } @unpublished{21050, abstract = {In 1873, James C. Maxwell conjectured that the electric field generated by $n$ point charges in generic position has at most $(n-1)^2$ isolated zeroes. The first (non-optimal) upper bound was only obtained in 2007 by Gabrielov, Novikov and Shapiro, who also posed two additional interesting conjectures. In this article, we give the best upper bound known to date on the number of zeroes of the electric field, and construct a counterexample to a conjecture of Gabrielov, Novikov and Shapiro that the number of equilibria cannot exceed those of the distance function defined by the unit point charges. Finally, we note that it is quite possible that Maxwell's quadratic upper bound is not tight, so it is prudent to find smaller bounds. Hence, we also explore examples and construct configurations of charges achieving the highest ratios of the number of electric field zeroes by point charges found to this day.}, author = {Edelsbrunner, Herbert and Fillmore, Christopher D and Olivera, Gonçalo}, booktitle = {arXiv}, title = {{Counting equilibria of the electrostatic potential}}, doi = {10.48550/ARXIV.2501.05315}, year = {2025}, } @article{19025, abstract = {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.}, author = {Bhattacharjee, Soumyadeep and Kulkarni, S. R. and Kong, Albert K.H. and Tam, M. S. and Bond, Howard E. and El-Badry, Kareem and Caiazzo, Ilaria and Chornay, Nicholas and Graham, Matthew J. and Rodriguez, Antonio C. and Zeimann, Gregory R. and Fremling, Christoffer and Drake, Andrew J. and Werner, Klaus and Rodriguez, Hector and Prince, Thomas A. and Laher, Russ R. and Chen, Tracy X. and Riddle, Reed}, issn = {0004-6280}, journal = {Publications of the Astronomical Society of the Pacific}, number = {2}, publisher = {IOP Publishing}, 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}}, doi = {10.1088/1538-3873/ada702}, volume = {137}, year = {2025}, } @article{19639, abstract = {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.}, author = {Tenhuisen, Sophia F.R. and Pan, Grace A. and Song, Qi and Baykusheva, Denitsa Rangelova and Ferenc Segedin, Dan and Goodge, Berit H. and Paik, Hanjong and Pelliciari, Jonathan and Bisogni, Valentina and Gu, Yanhong and Agrestini, Stefano and Nag, Abhishek and García-Fernández, Mirian and Zhou, Ke Jin and Kourkoutis, Lena F. and Brooks, Charles M. and Mundy, Julia A. and Dean, Mark P.M. and Mitrano, Matteo}, issn = {2469-9969}, journal = {Physical Review B}, number = {16}, publisher = {American Physical Society}, title = {{Magnetic excitations in Ndn+1Nin O3n+1 Ruddlesden-Popper nickelates observed via resonant inelastic x-ray scattering}}, doi = {10.1103/PhysRevB.111.165145}, volume = {111}, year = {2025}, } @inproceedings{20054, author = {Horta, Sharona}, booktitle = {Proceedings of the MATSUS Spring 2025 Conference}, location = {Sevilla, Spain}, publisher = {Fundació de la comunitat valenciana SCITO}, title = {{Solid state diffusion in metal-semiconductors core-shell nanoparticle}}, doi = {10.29363/nanoge.matsusspring.2025.220}, year = {2025}, } @article{20043, abstract = {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.}, author = {Groechenig, Michael and Shen, Shiyu}, issn = {1435-9863}, journal = {Journal of the European Mathematical Society}, publisher = {EMS Press}, title = {{Complex K-theory of moduli spaces of Higgs bundles}}, doi = {10.4171/jems/1601}, year = {2025}, } @inproceedings{20051, abstract = {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. Our 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).}, author = {El-Hayek, Antoine and Elsässer, Robert and Schmid, Stefan}, booktitle = {Proceedings of the ACM Symposium on Principles of Distributed Computing}, isbn = { 9798400718854}, location = {Huatulco, Mexico}, publisher = {Association for Computing Machinery}, title = {{An almost tight lower bound for plurality consensus with undecided state dynamics in the population protocol model}}, doi = {10.1145/3732772.3733505}, year = {2025}, } @inproceedings{19982, abstract = {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]. We 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.}, author = {El-Hayek, Antoine and Henzinger, Monika H and Li, Jason}, booktitle = {Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms}, location = {New Orleans, LA, United States}, pages = {750--784}, publisher = {Society for Industrial and Applied Mathematics}, title = {{Fully dynamic approximate minimum cut in subpolynomial time per operation}}, doi = {10.1137/1.9781611978322.22}, year = {2025}, } @article{20669, abstract = {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. }, author = {He, Zhen and Westoby, Matthew and Ren, Shaoting and Zhao, Chuanxi and He, Yifei and Zhang, Tianzhao and Yang, Wei}, issn = {1727-5652}, journal = {Journal of Glaciology}, publisher = {Cambridge University Press}, title = {{Quantifying the seasonal dynamics of a transitional ice cliff-pond system on a debris-covered glacier}}, doi = {10.1017/jog.2025.10104}, volume = {71}, year = {2025}, } @inproceedings{19741, abstract = {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.}, author = {Chalupa, Marek and Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E}, booktitle = {31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems}, isbn = {9783031906428}, issn = {1611-3349}, pages = {303--312}, publisher = {Springer Nature}, title = {{Automating the analysis of quantitative automata with QuAK}}, doi = {10.1007/978-3-031-90643-5_16}, volume = {15696}, year = {2025}, } @unpublished{21858, abstract = {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 or 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.}, author = {Iofinova, Eugenia B and Jovanovic, Andrej and Alistarh, Dan-Adrian}, booktitle = {arXiv}, title = {{Position: It's time to act on the risk of efficient personalized text generation}}, doi = {10.48550/arXiv.2502.06560}, year = {2025}, } @article{21144, abstract = {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.}, author = {Kolmogorov, Vladimir and Naldi, Simone and Zapata, Jeferson}, issn = {1095-7189}, journal = {SIAM Journal on Optimization}, number = {3}, pages = {1630--1654}, publisher = {Society for Industrial and Applied Mathematics}, title = {{Certifying solutions of degenerate semidefinite programs}}, doi = {10.1137/24m1664691}, volume = {35}, year = {2025}, } @article{20326, abstract = {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.}, author = {Liu, Yu and Kleinhanns, Tobias and Horta, Sharona and Dutkiewicz, Ewelina and Lu, Shaoqing and Spadaro, Maria Chiara and Genç, Aziz and Chen, Lei and Lim, Khak Ho and Hong, Min and Arbiol, Jordi and Ibáñez, Maria}, issn = {1520-5126}, journal = {Journal of the American Chemical Society}, number = {35}, pages = {32199--32208}, publisher = {American Chemical Society}, title = {{Liquid-solid interface reactions drive enhanced thermoelectric performance in Ag2Se}}, doi = {10.1021/jacs.5c11435}, volume = {147}, year = {2025}, } @article{20331, abstract = {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.}, author = {York, Emma and Stone, Ilana and Shi, Wanzhuo and Roy, Xavier and Venkataraman, Latha}, issn = {1530-6992}, journal = {Nano Letters}, number = {36}, pages = {13697--13702}, publisher = {American Chemical Society}, title = {{Tuning conductance in BODIPY-based single-molecule junctions}}, doi = {10.1021/acs.nanolett.5c03764}, volume = {25}, year = {2025}, }