Search

We report the observation of a light-induced subpicosecond topological phase transition in the antiferromagnetic Dirac semimetal EuAgAs, achieved through precise manipulation of its magnetic configuration. Using ultrafast optical spectroscopy, we probe the nonequilibrium carrier dynamics and reveal a magnetic-order-driven transition between distinct topological states. Our results demonstrate that EuAgAs, with its highly tunable magnetic structure, offers a unique platform for exploring topological phase transitions, distinct from conventional methods like Floquet engineering, coherent-phonon excitation, and lattice structural modifications. These results underscore the potential of ultrashort optical pulses as powerful tools for real-time control of topological phases, opening pathways for advances in spintronics, quantum computing, and energy-efficient information technologies., Comment: 6 pages, 4 figures

The quasiparticle relaxation dynamics of the iron-based superconductor CsCa$_2$Fe$_4$As$_4$F$_2$ ($T_c$ $\sim$ 29 K) were investigated using ultrafast optical spectroscopy. A pseudogap ($\Delta_{PG}$ $\approx$ 3.3 meV) was observed to open below $T^{\ast}$ $\approx$ 60 K, prior to the emergence of a superconducting gap ($\Delta$ $\approx$ 6.6 meV). At high excitation fluence, a coherent $A_{1g}$ phonon mode at 5.49 THz was identified, exhibiting deviations from anharmonic behavior below $T_c$. The electron-phonon coupling constant for this mode was estimated to be $\lambda_{A_{1g}}$ $\approx$ 0.225 $\pm$ 0.02. These results provide insights into the interplay between the electron-phonon interactions, pseudogap, and the superconducting pairing mechanism in CsCa$_2$Fe$_4$As$_4$F$_2$., Comment: 6pages, 4 figures

This study investigates the 5$f$-electron-conduction electron hybridization process in the heavy fermion superconductor UPd$_2$Al$_3$ using a combination of angle-resolved photoemission spectroscopy (ARPES) and time-resolved photoemission spectroscopy (tr-PES). ARPES measurements reveal the formation of a hybridization gap at a temperature of approximately 75 K, which becomes more pronounced as the temperature decreases. Notably, the persistence of a flat U 5$f$ band at temperatures well above the hybridization onset challenges conventional understanding. Our findings demonstrate a non-monotonic temperature dependence of the quasiparticle relaxation time, with an anomalous decrease at 20 K, suggesting complex electronic and magnetic interactions. These findings provide detailed insights into the 5$f$-electron hybridization process in UPd$_2$Al$_3$, with significant implications for the understanding of heavy fermion superconductivity and the role of 5$f$-electron hybridization in uranium-based materials., Comment: 5 pages, 4 figures

In the burgeoning field of Large Language Models (LLMs), developing a robust safety mechanism, colloquially known as "safeguards" or "guardrails", has become imperative to ensure the ethical use of LLMs within prescribed boundaries. This article provides a systematic literature review on the current status of this critical mechanism. It discusses its major challenges and how it can be enhanced into a comprehensive mechanism dealing with ethical issues in various contexts. First, the paper elucidates the current landscape of safeguarding mechanisms that major LLM service providers and the open-source community employ. This is followed by the techniques to evaluate, analyze, and enhance some (un)desirable properties that a guardrail might want to enforce, such as hallucinations, fairness, privacy, and so on. Based on them, we review techniques to circumvent these controls (i.e., attacks), to defend the attacks, and to reinforce the guardrails. While the techniques mentioned above represent the current status and the active research trends, we also discuss several challenges that cannot be easily dealt with by the methods and present our vision on how to implement a comprehensive guardrail through the full consideration of multi-disciplinary approach, neural-symbolic method, and systems development lifecycle., Comment: under review. arXiv admin note: text overlap with arXiv:2402.01822

Spiking Neural Network (SNN) is acknowledged as the next generation of Artificial Neural Network (ANN) and hold great promise in effectively processing spatial-temporal information. However, the choice of timestep becomes crucial as it significantly impacts the accuracy of the neural network training. Specifically, a smaller timestep indicates better performance in efficient computing, resulting in reduced latency and operations. While, using a small timestep may lead to low accuracy due to insufficient information presentation with few spikes. This observation motivates us to develop an SNN that is more reliable for adaptive timestep by introducing a novel regularisation technique, namely Spatial-Temporal Regulariser (STR). Our approach regulates the ratio between the strength of spikes and membrane potential at each timestep. This effectively balances spatial and temporal performance during training, ultimately resulting in an Anytime Optimal Inference (AOI) SNN. Through extensive experiments on frame-based and event-based datasets, our method, in combination with cutoff based on softmax output, achieves state-of-the-art performance in terms of both latency and accuracy. Notably, with STR and cutoff, SNN achieves 2.14 to 2.89 faster in inference compared to the pre-configured timestep with near-zero accuracy drop of 0.50% to 0.64% over the event-based datasets. Code available: https://github.com/Dengyu-Wu/AOI-SNN-Regularisation

In this study, we investigate the electronic structure of a spin-triplet superconductor candidate CeRh$_2$As$_2$ using high-resolution angle-resolved photoemission spectroscopy and density functional theory calculations. Notably, Fermi surface nesting hints at connections to magnetic excitation or quadrupole density wave phenomena, elucidating the superconducting mechanisms. Measured band structures reveal primarily localized 4f electrons, with minor itinerant contributions. Additionally, a transition from localized to itinerant behavior and significant c-f hybridization anisotropy underscore the role of f-electrons in shaping electronic properties. These findings deepen our understanding of CeRh$_2$As$_2$'s unconventional superconductivity and magnetism. Further exploration promises advances in superconductivity research., Comment: 6 pages, 3 figures

In hyperbolic background geometry, we investigate a generalized circle packing (including circles, horocycles and hypercycles) with conical singularities on a surface with boundary, which has a total geodesic curvature on each generalized circle of this circle packing and a discrete Gaussian curvature on the center of each dual circle. The purpose of this paper is to find this type of circle packings with prescribed total geodesic curvatures on generalized circles and discrete Gaussian curvatures on centers of dual circles. To achieve this goal, we firstly establish existence and rigidity on this type of circle packings by the variational principle. Secondly, for $p>1$, we introduce combinatorial $p$-th Calabi flows to find the circle packing with prescribed total geodesic curvatures on generalized circles and discrete Gaussian curvatures on centers of dual circles for the first time., Comment: 30 pages, 10 figures

As Large Language Models (LLMs) become more integrated into our daily lives, it is crucial to identify and mitigate their risks, especially when the risks can have profound impacts on human users and societies. Guardrails, which filter the inputs or outputs of LLMs, have emerged as a core safeguarding technology. This position paper takes a deep look at current open-source solutions (Llama Guard, Nvidia NeMo, Guardrails AI), and discusses the challenges and the road towards building more complete solutions. Drawing on robust evidence from previous research, we advocate for a systematic approach to construct guardrails for LLMs, based on comprehensive consideration of diverse contexts across various LLMs applications. We propose employing socio-technical methods through collaboration with a multi-disciplinary team to pinpoint precise technical requirements, exploring advanced neural-symbolic implementations to embrace the complexity of the requirements, and developing verification and testing to ensure the utmost quality of the final product., Comment: Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria. PMLR 235, 2024

In this study, ultrafast optical spectroscopy was employed to elucidate the intricate topological features of EuIn$_2$As$_2$, a promising candidate for a magnetic topological-crystalline axion insulator. Our investigation, focusing on the real-time evolution of topological states, unveiled a narrow surface magnetic gap (2$\Delta_0$ $\simeq$ 8.2 meV)) emerging at the antiferromagnetic transition temperature ($T_N$ $\approx$ 16 K). Below $T_N$, two extremely low-energy collective modes, $\omega_1$ and $\omega_2$, with frequencies of $\sim$9.9 and 21.6 GHz at $T$ = 4 K, respectively, were observed, exhibiting strong temperature dependence. $\omega_1$ correlates with an acoustic phonon, while $\omega_2$ is associated with a magnon. The results suggest that EuIn$_2$As$_2$ has the potential to manifest a magnetic topological-crystalline axion insulator, presenting a small magnetic energy gap on the (001) surface. The findings further our understanding of the interplay between magnetism and topology in this material, showcasing its potential for applications in quantum information processing and spintronics., Comment: 6 pages, 4 figures

We investigate the antiferromagnetic heavy fermion superconductor UPd$_2$Al$_3$, employing angle-resolved photoemission spectroscopy to unravel the complex electronic structure of its U 5f electrons. We observe unexpected characteristics that challenge the conventional temperature-dependent behavior of heavy fermion systems, revealing unexpected characteristics. At temperatures above the anticipated coherence temperature (T$^*$), we observe itinerant U 5f electrons at temperatures higher than previously postulated. Additionally, a previously unidentified dispersionless band emerges around 600 meV below the Fermi energy, potentially linked to spin-orbit splitting within the U 5f states. Hybridization between the 5f electrons and conduction band was observed with an energy dispersion of 10 meV at low temperatures, suggesting that U 5f electrons near and at the Fermi surface have an itinerant nature. Temperature-dependent 5d-5f resonance spectra reveal that the 5f electron spectrum weight increases with lowering temperature and begins to decrease at temperatures significantly higher than the Neel temperature (T$_N$). We further show that the competition between the Kondo effect and Ruderman-Kittel-Kasuya-Yosida (RKKY) interactions may be responsible for the relocalization of 5f electrons, making relocalization a precursor to the establishment of magnetic order at lower temperatures. Our experiments also provide evidence that 5f electrons with the same orbital are involved in both the Kondo effect and RKKY interactions, suggesting that the two coexist at lower temperatures., Comment: 6 pages, 4 figures

This paper investigates a generalized hyperbolic circle packing (including circles, horocycles or hypercycles) with respect to the total geodesic curvatures on the surface with boundary. We mainly focus on the existence and rigidity of circle packing whose contact graph is the $1$-skeleton of a finite polygonal cellular decomposition, which is analogous to the construction of Bobenko and Springborn [4]. Motivated by Colin de Verdi\`ere's method [6], we introduce the variational principle for generalized hyperbolic circle packings on polygons. By analyzing limit behaviours of generalized circle packings on polygons, we give an existence and rigidity for the generalized hyperbolic circle packing with conical singularities regarding the total geodesic curvature on each vertex of the contact graph. As a consequence, we introduce the combinatoral Ricci flow to find a desired circle packing with a prescribed total geodesic curvature on each vertex of the contact graph., Comment: 26 pages, 7 figures

Synchrotron-based angle-resolved photoemission spectroscopy was employed to investigate the temperature evolution of the Yb 4f spectral for surface and bulk in the Kondo lattice YbCu$_2$Si$_2$.Our study quantitatively distinguishes between the surface and bulk hybridization processes, revealing that the onset temperatures for both surface and bulk hybridization processes are significantly higher than the Kondo temperature. Additionally, we found that the effective surface Kondo temperature is much lower than that of the bulk. These findings offer valuable insights into the understanding of heavy fermion physics., Comment: 7 pages, 4 figures

We reported the quasiparticle relaxation dynamics of an optimally doped triclinic iron-based superconductor (Ca$_{0.85}$La$_{0.15}$)$_{10}$(Pt$_3$As$_8$)(Fe$_2$As$_2$)$_5$ with bulk $T_c$ = 30 K using polarized ultrafast optical pump-probe spectroscopy. Our results reveal anisotropic transient reflectivity induced by nematic fluctuations develops below $T_{nem}$ $\approx$ 120 K and persists in the superconducting states. Measurements under high pump fluence reveal three distinct, coherent phonon modes at frequencies of 1.6, 3.5, and 4.7 THz, corresponding to $A_{1g}(1)$, $E_g$, and $A_{1g}(2)$ modes, respectively. The high-frequency $A_{1g}(2)$ mode corresponds to the $c$-axis polarized vibrations of FeAs planes with a nominal electron-phonon coupling constant $\lambda _{A_{1g}(2)}$ $\approx$ 0.139 $\pm$ 0.02. Our findings suggest that the superconductivity and nematic state are compatible but competitive at low temperatures, and the $A_{1g}$ phonons play an important role in the formation of Cooper pairs in (Ca$_{0.85}$La$_{0.15}$)$_{10}$(Pt$_3$As$_8$)(Fe$_2$As$_2$)$_5$., Comment: 6 pages, 3 figures and Supplemental Materials

Large Language Models (LLMs) have exploded a new heatwave of AI for their ability to engage end-users in human-level conversations with detailed and articulate answers across many knowledge domains. In response to their fast adoption in many industrial applications, this survey concerns their safety and trustworthiness. First, we review known vulnerabilities and limitations of the LLMs, categorising them into inherent issues, attacks, and unintended bugs. Then, we consider if and how the Verification and Validation (V&V) techniques, which have been widely developed for traditional software and deep learning models such as convolutional neural networks as independent processes to check the alignment of their implementations against the specifications, can be integrated and further extended throughout the lifecycle of the LLMs to provide rigorous analysis to the safety and trustworthiness of LLMs and their applications. Specifically, we consider four complementary techniques: falsification and evaluation, verification, runtime monitoring, and regulations and ethical use. In total, 370+ references are considered to support the quick understanding of the safety and trustworthiness issues from the perspective of V&V. While intensive research has been conducted to identify the safety and trustworthiness issues, rigorous yet practical methods are called for to ensure the alignment of LLMs with safety and trustworthiness requirements.

The three-dimensional electronic structure and the nature of Ce 4f electrons of the Kondo insulator CeRu4Sn6 are investigated by angle-resolved photoemission spectroscopy, utilizing tunable photon energies. Our results reveal (i) the three-dimensional k-space nature of the Fermi surface, (ii) the localized-to-itinerant transition of f electrons occurs at a much high temperature than the hybridization gap opening temperature, and (iii) the "relocalization" of itinerant f electrons below 25 K, which could be the precursor to the establishment of magnetic order., Comment: 6 pages, 4 figures

We investigated the electronic structure of the antiferromagnetic Kondo lattice CePd5Al2 using high-resolution angle-resolved photoemission spectroscopy. The experimentally determined band structure of the conduction electrons is predominated by the Pd 4d character. It contains multiple hole and electron Fermi pockets, in good agreement with density functional theory calculations. The Fermi surface is folded over Q0 = (0, 0, 1), manifested by Fermi surface reconstruction and band folding. Our results suggest that Fermi surface nesting drives the formation of antiferromagnetic order in CePd5Al2., Comment: 6 pages,3 figure

Can safety analysis make use of Large Language Models (LLMs)? A case study explores Systems Theoretic Process Analysis (STPA) applied to Automatic Emergency Brake (AEB) and Electricity Demand Side Management (DSM) systems using ChatGPT. We investigate how collaboration schemes, input semantic complexity, and prompt guidelines influence STPA results. Comparative results show that using ChatGPT without human intervention may be inadequate due to reliability related issues, but with careful design, it may outperform human experts. No statistically significant differences are found when varying the input semantic complexity or using common prompt guidelines, which suggests the necessity for developing domain-specific prompt engineering. We also highlight future challenges, including concerns about LLM trustworthiness and the necessity for standardisation and regulation in this domain., Comment: Under Review

Magnetic reconnection and plasma turbulence are ubiquitous processes important for laboratory, space and astrophysical plasmas. Reconnection has been suggested to play an important role in the energetics and dynamics of turbulence by observations, simulations and theory for two decades. The fundamental properties of reconnection at kinetic scales, essential to understanding the general problem of reconnection in magnetized turbulence, remain largely unknown at present. Here we present an application of the magnetic flux transport method that can accurately identify reconnection in turbulence to a three-dimensional simulation. Contrary to ideas that reconnection in turbulence would be patchy and unpredictable, highly extended reconnection X-lines, on the same order of magnitude as the system size, form at kinetic scales. Extended X-lines develop through bi-directional reconnection spreading. They satisfy critical balance characteristic of turbulence, which predicts the X-line extent at a given scale. These results present a picture of fundamentally extended reconnection in kinetic-scale turbulence., Comment: In press, PRL

Systems Theoretic Process Analysis (STPA) is a systematic approach for hazard analysis that has been used across many industrial sectors including transportation, energy, and defense. The unstoppable trend of using Machine Learning (ML) in safety-critical systems has led to the pressing need of extending STPA to Learning-Enabled Systems (LESs). Although works have been carried out on various example LESs, without a systematic review, it is unclear how effective and generalisable the extended STPA methods are, and whether further improvements can be made. To this end, we present a systematic survey of 31 papers, summarising them from five perspectives (attributes of concern, objects under study, modifications, derivatives and processes being modelled). Furthermore, we identify room for improvement and accordingly introduce DeepSTPA, which enhances STPA from two aspects that are missing from the state-of-the-practice: (i) Control loop structures are explicitly extended to identify hazards from the data-driven development process spanning the ML lifecycle; (ii) Fine-grained functionalities are modelled at the layer-wise levels of ML models to detect root causes. We demonstrate and compare DeepSTPA and STPA through a case study on an autonomous emergency braking system., Comment: Accepted by the 26th IEEE Int. Conf. on Intelligent Transportation Systems (ITSC'23), 8 pages

Ultrafast optical spectroscopy was used to investigate the ultrafast quasiparticle dynamics of antiferromagnetic Kondo lattice CeAuSb$_2$ as a function of temperature and fluence. Our results reveal (i) the opening of a narrow hybridization gap ($\Delta$ $\sim$ 4.5 meV) near the Fermi level below the coherence temperature $T^*$ $\approx$ 100 K, (ii) the coupling of coherent phonon modes with Kondo effect and magnetic orders, leading to the frequencies anomaly at the characteristic temperatures, and (iii) a possible photoinduced nonthermal phase transition. Our observations thus shed light on the hybridization dynamics and magnetic orders in heavy fermion systems., Comment: 6 pages with 4 figures

Hazard and Operability Analysis (HAZOP) is a powerful safety analysis technique with a long history in industrial process control domain. With the increasing use of Machine Learning (ML) components in cyber physical systems--so called Learning-Enabled Systems (LESs), there is a recent trend of applying HAZOP-like analysis to LESs. While it shows a great potential to reserve the capability of doing sufficient and systematic safety analysis, there are new technical challenges raised by the novel characteristics of ML that require retrofit of the conventional HAZOP technique. In this regard, we present a new Hierarchical HAZOP-Like method for LESs (HILLS). To deal with the complexity of LESs, HILLS first does "divide and conquer" by stratifying the whole system into three levels, and then proceeds HAZOP on each level to identify (latent-)hazards, causes, security threats and mitigation (with new nodes and guide words). Finally, HILLS attempts at linking and propagating the causal relationship among those identified elements within and across the three levels via both qualitative and quantitative methods. We examine and illustrate the utility of HILLS by a case study on Autonomous Underwater Vehicles, with discussions on assumptions and extensions to real-world applications. HILLS, as a first HAZOP-like attempt on LESs that explicitly considers ML internal behaviours and its interactions with other components, not only uncovers the inherent difficulties of doing safety analysis for LESs, but also demonstrates a good potential to tackle them., Comment: Accepted by the AISafety2022 Workshop at IJCAI2022. To appear in a volume of CEUR Workshop Proceedings