Frontier Research Intelligence
Preparing the latest research view.
Browse
Search and filter the research library by collection and research area. Results are URL-driven for shareable views.
Strained membrane resonators have emerged as a promising platform for optomechanical accelerometry; however, the desired combination of low frequency and high $Q$ mass product requires a rethinking of their dissipation dilution engineering. Applying Bayesian optimization to a Si$ 3$N$ 4$ membrane, we discover a class of sail like trampoline resonators in which the frequency is decreased by an order of magnitude wh...
This paper presents Earthquaker AI, a hybrid educational framework building upon a previously implemented educational robotics project by integrating a conversational AI assistant based on Retrieval Augmented Generation. It aims to enhance earthquake preparedness and conscious action among primary school students. The system extends the award winning STEM project Earthquaker moving from mechanical simulation with ...
Human centered adaptive systems require behavioral models that are both psychologically interpretable and mathematically analyzable. Many existing predictors either operate as black box input output mappings or provide limited access to latent internal dynamics. This paper addresses this gap by modeling behavior as a perception cognition decision pipeline. We propose a modular state space model in which attentiona...
Large language models are increasingly assisting with demanding formal theorem proving tasks, particularly when grounded in machine checked libraries such as Lean. Agentic systems further amplify this process by searching, reusing, and extending existing formal developments to uncover new discoveries. In quantum computing, Shor's algorithm and its variants present such a demanding case for Lean formalization. In t...
Structural, thermodynamic and electrical transport properties of TbAuPb were investigated on single crystals. The compound was found to crystallize with the cubic MgAgAs type structure characteristic of half Heusler materials. It orders antiferromagnetically at TN = 5 K and undergoes a transition into a different antiferromagnetic phase emerging in high magnetic fields. Electrical transport in TbAuPb exhibits a mu...
The MPC in the head technique (Ishai et al., STOC 2007) is a celebrated method to build zero knowledge protocols with desirable theoretical properties and high practical efficiency. This technique has generated a large body of research and has influenced the design of real world post quantum cryptographic signatures. In this work, we present a generalization of the MPC in the head paradigm to the quantum setting, ...
Brain computer interfaces (BCIs) have achieved impressive performance by decoding motor and articulatory signals associated with speech production. However, considerably less is known about whether higher level semantic representations can be decoded from human cortical activity. Demonstrating semantic decoding would advance both our understanding of language organization and the development of BCIs that rely on c...
Neurofeedback (NFB) and Brain Computer Interface (BCI) research seldom present within session individual learning dynamics. This is even though a large proportion of NFB and BCI users cannot learn the neural self regulation required to control the feedback. Understanding the time course and learning dynamics between subjects will enable us to design more effective NFB and BCI protocols that promote the learning of...
Deuterium is easily destroyed in stellar interiors through nuclear fusion. It is therefore usually not expected to be present in stellar photospheres. Early type stars, with radiative envelopes that mix slowly, may provide a favourable environment for the survival of recently accreted deuterium. In this study, we explore the detectability of deuterium in B , A , and F type stars, which possess radiative envelopes ...
Abstract Quantum steering is one of the most intriguing phenomena in quantum mechanics and is essential for understanding correlations in multipartite systems. Despite its importance, analytical results for coupled three body oscillators remain scarce. In this work, we investigate this phenomenon using a geometrical diagonalization approach, which reduces the degrees of freedom associated with the system’s steerin...
Bioacoustic foundation models rely on large scale citizen science platforms like Xeno Canto for geographically and ecologically diverse data. Recent work has shown that supervision alone can produce SotA species detection models when trained on this large scale data however, there remains unutilized potential in the form of recording metadata readily available within these community driven data hubs. In this work,...
Harnessing Rashba spin orbit interaction and related spintronic functionalities has traditionally relied on metallic surfaces or interfaces containing elemental heavy metals. Here, using first principles calculations and Cu(001)/WO$ 3$(001) as a model heterostructure, we show that interfacing a light metal, Cu, with a band insulator, WO$ 3$, yields an interface state that exhibits a robust Rashba spin splitting ar...
Agentic coding tools are increasingly capable of generating and submitting pull requests (PRs) to software projects, introducing new forms of human agent collaboration in software development. While prior studies have examined PR level outcomes of agent generated contributions, less is known about how agentic coding tools are adopted and managed at the project level. In this paper, we analyze 25,264 agentic PRs fr...
Dexterous manipulation remains a critical bottleneck in industrial automation; tasks such as cable routing, connector insertion, and precision assembly still rely heavily on manual labor despite decades of robotics research. This work presents a progression from classical, modular robotics pipelines toward an end to end multimodal imitation learning framework for industrial dexterous manipulation. As a part of thi...
Supermagnified stars, discovered by HST and JWST in lensing clusters of galaxies, are luminous stars in source galaxies lying near lensing caustics that are magnified by large factors ($\sim 1000$), making them detectable at cosmological distances. Intracluster stars in the lens modify the large scale caustic into a corrugated network of micro caustics, causing frequent microlensing events of the supermagnified st...
Topological insulators have been explored extensively for spin charge interconversion via magnetic interfaces, yet the true response of their spin charge conversion, particularly in the absence of an external magnetic field, remains to be studied. Here, we report electric field control of spin charge conversion in the topological insulator Bi$ 2$Te$ 3$ with the antiferromagnetic multiferroic BiFeO$ 3$, employing a...
We present WEST, an open source plane wave pseudopotential code for large scale excited state materials simulations, and describe its theoretical foundations, software architecture, and capabilities. WEST implements full frequency GW, quantum defect embedding theory, the Bethe Salpeter equation, and time dependent density functional theory within a common algorithmic framework that avoids the explicit computation ...
We formulate timelike entanglement entropy and its Rényi extension in two dimensional conformal field theory through the analytic continuation of replica twist correlators to time ordered, timelike separated insertions. This field theoretic construction grounds and generalizes recent developments, and applies to temporal subregions of arbitrary extent. Within three dimensional holography, the semiclassical boundar...
In this paper, we introduce Lighthouse RL, a sample efficient reinforcement learning (RL) approach for analog circuit sizing. Traditional methods lack generalization across different performance targets, while standard RL approaches waste resources exploring unpromising regions. Our method addresses these inefficiencies through a strategic reset strategy that initializes episodes from high performing configuration...
We investigate how each component of the Transformer feedforward block architecture design determines how much rank survives across depth at initialization. We reinterpret skip connections and normalization, long understood as controlling magnitude, as mechanisms for preserving gradient rank across depth, since the very matrix multiplications and nonlinear activations that make the network expressive also reduce t...
