Search

Collisionless cross-field electron transport in an E x B configuration relevant for electric propulsion is studied using data from a (z, {\theta}) full-PIC simulation. Higher-order spectral analysis shows that transport is dominated by the in-phase interaction of the oscillations of the azimuthal electric field and the electron density associated to the first electron cyclotron drift instability (ECDI) mode. A secondary contribution emanates from a lower-frequency mode, not predicted by linear ECDI theory, while higher modes have a minor direct impact on transport. However, a bicoherence analysis reveals that strong phase couplings exist among the ECDI modes, and a sparse symbolic regression spectral model, based on the three-wave coupling equations, suggests an inverse energy cascade as the most likely explanation, thus suggesting that higher modes contribute indirectly to transport by quadratic power transfer to the first mode. This work provides new insights into the dynamics of anomalous plasma transport in E x B sources and the underlying processes governing energy distribution across different scales, and supports the validity of weak turbulence theory to examine their behavior.

Stellar surface heterogeneities, such as spots and faculae, often contaminate exoplanet transit spectra, hindering precise atmospheric characterization. We demonstrate a novel, epoch-based, model-independent method to mitigate stellar contamination, applicable to multi-planet systems with at least one airless planet. We apply this method using quasi-simultaneous transits of TRAPPIST-1 b and TRAPPIST-1 c observed on July 9, 2024, with JWST NIRSpec PRISM. These two planets, with nearly identical radii and impact parameters, are likely either bare rocks or possess thin, low-pressure atmospheres, making them ideal candidates for this technique, as variations in their transit spectra would be primarily attributed to stellar activity. Our observations reveal their transit spectra exhibit consistent features, indicating similar levels of stellar contamination. We use TRAPPIST-1 b to correct the transit spectrum of TRAPPIST-1 c, achieving a 2.5x reduction in stellar contamination at shorter wavelengths. At longer wavelengths, lower SNR prevents clear detection of contamination or full assessment of mitigation. Still, out-of-transit analysis reveals variations across the spectrum, suggesting contamination extends into the longer wavelengths. Based on the success of the correction at shorter wavelengths, we argue that contamination is also reduced at longer wavelengths to a similar extent. This shifts the challenge of detecting atmospheric features to a predominantly white noise issue, which can be addressed by stacking observations. This method enables epoch-specific stellar contamination corrections, allowing co-addition of planetary spectra for reliable searches of secondary atmospheres with signals of 60-250 ppm. Additionally, we identify small-scale cold (2000 K) and warm (2600 K) regions almost uniformly distributed on TRAPPIST-1, with overall covering fractions varying by 0.1% per hour., Comment: Resubmitted to ApJL after addressing reviewer comments

Synthesizing novel views from in-the-wild monocular videos is challenging due to scene dynamics and the lack of multi-view cues. To address this, we propose SplineGS, a COLMAP-free dynamic 3D Gaussian Splatting (3DGS) framework for high-quality reconstruction and fast rendering from monocular videos. At its core is a novel Motion-Adaptive Spline (MAS) method, which represents continuous dynamic 3D Gaussian trajectories using cubic Hermite splines with a small number of control points. For MAS, we introduce a Motion-Adaptive Control points Pruning (MACP) method to model the deformation of each dynamic 3D Gaussian across varying motions, progressively pruning control points while maintaining dynamic modeling integrity. Additionally, we present a joint optimization strategy for camera parameter estimation and 3D Gaussian attributes, leveraging photometric and geometric consistency. This eliminates the need for Structure-from-Motion preprocessing and enhances SplineGS's robustness in real-world conditions. Experiments show that SplineGS significantly outperforms state-of-the-art methods in novel view synthesis quality for dynamic scenes from monocular videos, achieving thousands times faster rendering speed., Comment: The first two authors contributed equally to this work (equal contribution). The last two authors advised equally to this work. Please visit our project page at this https://kaist-viclab.github.io/splinegs-site/

In risk theory, financial asset returns often follow heavy-tailed distributions. Investors and risk managers used to compare risk measures as the value at risk or tail value at risk in order over the whole confidence levels to avoid the exposure to to large risks. In this paper we analyze the comparison between tail values at risk from a confidence level and beyond which is a reasonable criterion when we are focused on large losses or simply we cannot give a complete ordering over all the confidence levels. A family of stochastic orders indexed by $p_0\in(0,1)$ is proposed. We study their properties and connections with other classical criteria as the increasing convex and tail convex orders and we rank some parametrical families of distributions. Finally, two applications with real datasets are given as well., Comment: 14 pages, 5 figures

Humans have an exquisite sense of touch which robotic and prosthetic systems aim to recreate. We developed algorithms to create neuron-like (neuromorphic) spiking representations of texture that are invariant to the scanning speed and contact force applied in the sensing process. The spiking representations are based on mimicking activity from mechanoreceptors in human skin and further processing up to the brain. The neuromorphic encoding process transforms analog sensor readings into speed and force invariant spiking representations in three sequential stages: the force invariance module (in the analog domain), the spiking activity encoding module (transforms from analog to spiking domain), and the speed invariance module (in the spiking domain). The algorithms were tested on a tactile texture dataset collected in 15 speed-force conditions. An offline texture classification system built on the invariant representations has higher classification accuracy, improved computational efficiency, and increased capability to identify textures explored in novel speed-force conditions. The speed invariance algorithm was adapted to a real-time human-operated texture classification system. Similarly, the invariant representations improved classification accuracy, computational efficiency, and capability to identify textures explored in novel conditions. The invariant representation is even more crucial in this context due to human imprecision which seems to the classification system as a novel condition. These results demonstrate that invariant neuromorphic representations enable better performing neurorobotic tactile sensing systems. Furthermore, because the neuromorphic representations are based on biological processing, this work can be used in the future as the basis for naturalistic sensory feedback for upper limb amputees., Comment: 34 pages, 9 figures, 1 table

Transitioning from quantum computation on physical qubits to quantum computation on encoded, logical qubits can improve the error rate of operations, and will be essential for realizing valuable quantum computational advantages. Using a neutral atom quantum processor with 256 qubits, each an individual Ytterbium atom, we demonstrate the entanglement of 24 logical qubits using the distance-two [[4,2,2]] code, simultaneously detecting errors and correcting for lost qubits. We also implement the Bernstein-Vazirani algorithm with up to 28 logical qubits encoded in the [[4,1,2]] code, showing better-than-physical error rates. We demonstrate fault-tolerant quantum computation in our approach, guided by the proposal of Gottesman (2016), by performing repeated loss correction for both structured and random circuits encoded in the [[4,2,2]] code. Finally, since distance-two codes can correct qubit loss, but not other errors, we show repeated loss and error correction using the distance-three [[9,1,3]] Bacon-Shor code. These results begin to clear a path for achieving scientific quantum advantage with a programmable neutral atom quantum processor., Comment: 17 pages, 16 figures

We prove that for $1\le p,q\le\infty$ the mixed-norm spaces $L_q(L_p)$ are mutually non-isomorphic, with the only exception that $L_q(L_2)$ is isomorphic to $L_q(L_q)$ for all $1

Self-supervised learning (SSL) offers a powerful way to learn robust, generalizable representations without labeled data. In music, where labeled data is scarce, existing SSL methods typically use generated supervision and multi-view redundancy to create pretext tasks. However, these approaches often produce entangled representations and lose view-specific information. We propose a novel self-supervised multi-view learning framework for audio designed to incentivize separation between private and shared representation spaces. A case study on audio disentanglement in a controlled setting demonstrates the effectiveness of our method., Comment: Late Breaking Demo at ISMIR 2024. https://juliawilkins.github.io/marlbymarl/

We consider the linear causal representation learning setting where we observe a linear mixing of $d$ unknown latent factors, which follow a linear structural causal model. Recent work has shown that it is possible to recover the latent factors as well as the underlying structural causal model over them, up to permutation and scaling, provided that we have at least $d$ environments, each of which corresponds to perfect interventions on a single latent node (factor). After this powerful result, a key open problem faced by the community has been to relax these conditions: allow for coarser than perfect single-node interventions, and allow for fewer than $d$ of them, since the number of latent factors $d$ could be very large. In this work, we consider precisely such a setting, where we allow a smaller than $d$ number of environments, and also allow for very coarse interventions that can very coarsely \textit{change the entire causal graph over the latent factors}. On the flip side, we relax what we wish to extract to simply the \textit{list of nodes that have shifted between one or more environments}. We provide a surprising identifiability result that it is indeed possible, under some very mild standard assumptions, to identify the set of shifted nodes. Our identifiability proof moreover is a constructive one: we explicitly provide necessary and sufficient conditions for a node to be a shifted node, and show that we can check these conditions given observed data. Our algorithm lends itself very naturally to the sample setting where instead of just interventional distributions, we are provided datasets of samples from each of these distributions. We corroborate our results on both synthetic experiments as well as an interesting psychometric dataset. The code can be found at https://github.com/TianyuCodings/iLCS., Comment: NeurIPS 2024

In high energy physics, the ability to reconstruct particles based on their detector signatures is essential for downstream data analyses. A particle reconstruction algorithm based on learning hypergraphs (HGPflow) has previously been explored in the context of single jets. In this paper, we expand the scope to full proton-proton and electron-positron collision events and study reconstruction quality using metrics at the particle, jet, and event levels. Rather than operating on the entire event in a single pass, we train HGPflow on smaller partitions to avoid potentially learning long-range correlations related to the physics process. We demonstrate that this approach is feasible and that on most metrics, HGPflow outperforms both traditional particle flow algorithms and a machine learning-based benchmark model.

Quantum computing is a rapidly advancing field facing a significant shortage of qualified experts, creating an urgent demand for skilled professionals. In Latin America, quantum education remains in its early stages, further exacerbating the regional talent gap due to deficiencies in educational infrastructure and limited financial support. This work presents the efforts of the Quantum Computing and Artificial Intelligence research group at Universidad Nacional de Colombia to integrate quantum computing into higher education using the European Competence Framework for Quantum Technologies, which offers a standardized approach to defining competency requirements and assessing essential skills in the field. We propose introductory courses aligned with the frameworks guidelines, designed to meet industry standards and reach a broad audience. Additionally, we introduce supplementary resources, including team dynamics and evaluation methodologies, to enhance the educational ecosystem. These initiatives aim to create a sustainable and comprehensive quantum education model across Latin America, to close the regional skills gap, foster inclusivity, and prepare a diverse workforce to contribute innovative solutions on the global stage., Comment: 9 pages, 6 figures

Estimating steady state properties of open quantum systems is a crucial problem in quantum technology. In this work, we show how to derive in a scalable way using semi-definite programming certified bounds on the expectation value of an arbitrary observable of interest on the steady state of Lindbladian dynamics. We illustrate our method on a series of many-body systems, including a one-dimensional chain and a two-dimensional ladder, and benchmark it with state-of-the-art tensor-network approaches. For the tested models, only modest computational effort is needed to obtain certified bounds whose precision is comparable to variational methods, Comment: See also arXiv:2410.07384

Fej\'er monotonicity is a well-established property commonly observed in sequences generated by optimization algorithms. In this paper, we introduce an extension of this property, called Fej\'er* monotonicity, which was initially proposed in [SIAM J. Optim., 34(3), 2535-2556 (2024)]. We discuss and build upon the concept by exploring its behavior within Hilbert spaces, presenting an illustrative example and insightful results regarding weak and strong convergence. We also compare Fej\'er* monotonicity with other weak notions of Fej\'er-like monotonicity, to better establish the role of Fej\'er* monotonicity in optimization algorithms.

We present constraints on the shape of Kepler-51d, which is a super-puff with a mass $\sim6\,M_\oplus$ and a radius $\sim9\,R_\oplus$, based on detailed modeling of the transit light curve from JWST NIRSpec. The projected shape of this extremely low-density planet is consistent with being spherical, and a projected oblateness $f_\perp>0.2$ can be excluded regardless of the spin obliquity angles. If this is taken as the limit on the true shape of the planet, Kepler-51d is rotating at $\lesssim 50\%$ of its break-up spin rate, or its rotation period is $\gtrsim 33\,$hr. In the more plausible situation that the planetary spin is aligned with its orbital direction to within $30^\circ$, then its oblateness is $<0.08$, which corresponds to a dimensionless spin rate $\lesssim30\%$ of the break-up rotation and a dimensional rotation period $\gtrsim 53\,$hr. This seems to contradict the theoretical expectation that planets with such low masses may be spinning near break-up. We point out the usefulness of the stellar mean density and the orbital eccentricity in constraining the shape of the transiting planet, so planets with well-characterized host and orbital parameters are preferred in the detection of planetary oblateness with the JWST transit method., Comment: 11 pages, 4 figures. Accepted by ApJL

Existing approaches to differentiable structure learning of directed acyclic graphs (DAGs) rely on strong identifiability assumptions in order to guarantee that global minimizers of the acyclicity-constrained optimization problem identifies the true DAG. Moreover, it has been observed empirically that the optimizer may exploit undesirable artifacts in the loss function. We explain and remedy these issues by studying the behavior of differentiable acyclicity-constrained programs under general likelihoods with multiple global minimizers. By carefully regularizing the likelihood, it is possible to identify the sparsest model in the Markov equivalence class, even in the absence of an identifiable parametrization. We first study the Gaussian case in detail, showing how proper regularization of the likelihood defines a score that identifies the sparsest model. Assuming faithfulness, it also recovers the Markov equivalence class. These results are then generalized to general models and likelihoods, where the same claims hold. These theoretical results are validated empirically, showing how this can be done using standard gradient-based optimizers, thus paving the way for differentiable structure learning under general models and losses., Comment: 38 pages, 14 figures, to appear at NeurIPS 2024

Kepler-51 is a $\lesssim 1\,\mathrm{Gyr}$-old Sun-like star hosting three transiting planets with radii $\approx 6$-$9\,R_\oplus$ and orbital periods $\approx 45$-$130\,\mathrm{days}$. Transit timing variations (TTVs) measured with past Kepler and Hubble Space Telescope (HST) observations have been successfully modeled by considering gravitational interactions between the three transiting planets, yielding low masses and low mean densities ($\lesssim 0.1\,\mathrm{g/cm^3}$) for all three planets. However, the transit time of the outermost transiting planet Kepler-51d recently measured by the James Webb Space Telescope (JWST) 10 years after the Kepler observations is significantly discrepant from the prediction made by the three-planet TTV model, which we confirmed with ground-based and follow-up HST observations. We show that the departure from the three-planet model is explained by including a fourth outer planet, Kepler-51e, in the TTV model. A wide range of masses ($\lesssim M_\mathrm{Jup}$) and orbital periods ($\lesssim 10\,\mathrm{yr}$) are possible for Kepler-51e. Nevertheless, all the coplanar solutions found from our brute-force search imply masses $\lesssim 10\,M_\oplus$ for the inner transiting planets. Thus their densities remain low, though with larger uncertainties than previously estimated. Unlike other possible solutions, the one in which Kepler-51e is around the $2:1$ mean motion resonance with Kepler-51d implies low orbital eccentricities ($\lesssim 0.05$) and comparable masses ($\sim 5\,M_\oplus$) for all four planets, as is seen in other compact multi-planet systems. This work demonstrates the importance of long-term follow-up of TTV systems for probing longer period planets in a system., Comment: 48 pages, 26 figures, accepted for publication in AJ

We present the discovery of Aquarius III, an ultra-faint Milky Way satellite galaxy identified in the second data release of the DECam Local Volume Exploration (DELVE) survey. Based on deeper follow-up imaging with DECam, we find that Aquarius III is a low-luminosity ($M_V = -2.5^{+0.3}_{-0.5}$; $L_V = 850^{+380}_{-260} \ L_{\odot}$), extended ($r_{1/2} = 41^{+9}_{-8}$ pc) stellar system located in the outer halo ($D_{\odot} = 85 \pm 4$ kpc). From medium-resolution Keck/DEIMOS spectroscopy, we identify 11 member stars and measure a mean heliocentric radial velocity of $v_{\rm sys} = -13.1^{+1.0}_{-0.9} \ \rm km \ s^{-1}$ for the system and place an upper limit of $\sigma_v < 3.5 \rm \ km \ s^{-1}$ ($\sigma_v < 1.6 \rm \ km \ s^{-1}$) on its velocity dispersion at the 95% (68%) credible level. Based on Calcium-Triplet-based metallicities of the six brightest red giant members, we find that Aquarius III is very metal-poor ([Fe/H]$ = -2.61 \pm 0.21$) with a statistically-significant metallicity spread ($\sigma_{\rm [Fe/H]} = 0.46^{+0.26}_{-0.14}$ dex). We interpret this metallicity spread as strong evidence that the system is a dwarf galaxy as opposed to a star cluster. Combining our velocity measurement with $Gaia$ proper motions, we find that Aquarius III is currently situated near its orbital pericenter in the outer halo ($r_{\rm peri} = 78 \pm 7$ kpc) and that it is plausibly on first infall onto the Milky Way. This orbital history likely precludes significant tidal disruption from the Galactic disk, notably unlike other satellites with comparably low velocity dispersion limits in the literature. Thus, if further velocity measurements confirm that its velocity dispersion is truly below $\sigma_v \lesssim 2 \rm \ km \ s^{-1}$, Aquarius III may serve as a useful laboratory for probing galaxy formation physics in low-mass halos., Comment: 25 pages, 7 figures. Submitted to AAS Journals

Neutral sodium (Na I) is an alkali metal with a favorable absorption cross section such that tenuous gases are easily illuminated at select transiting exoplanet systems. We examine both the time-averaged and time-series alkali spectral flux individually, over 4 nights at a hot Saturn system on a $\sim$ 2.8 day orbit about a Sun-like star WASP-49 A. Very Large Telescope/ESPRESSO observations are analyzed, providing new constraints. We recover the previously confirmed residual sodium flux uniquely when averaged, whereas night-to-night Na I varies by more than an order of magnitude. On HARPS/3.6-m Epoch II, we report a Doppler redshift at $v_{ \Gamma, \mathrm{NaD}} =$ +9.7 $\pm$ 1.6 km/s with respect to the planet's rest frame. Upon examining the lightcurves, we confirm night-to-night variability, on the order of $\sim$ 1-4 % in NaD rarely coinciding with exoplanet transit, not readily explained by stellar activity, starspots, tellurics, or the interstellar medium. Coincident with the $\sim$+10 km/s Doppler redshift, we detect a transient sodium absorption event dF$_{\mathrm{NaD}}$/F$_{\star}$ = 3.6 $\pm$ 1 % at a relative difference of $\Delta F_{\mathrm{NaD}} (t) \sim$ 4.4 $\pm$ 1 %, enduring $\Delta t_{\mathrm{NaD}} \gtrsim$ 40 minutes. Since exoplanetary alkali signatures are blueshifted due to the natural vector of radiation pressure, estimated here at roughly $\sim$ -5.7 km/s, the radial velocity is rather at +15.4 km/s, far larger than any known exoplanet system. Given that the redshift magnitude v$_{\Gamma}$ is in between the Roche limit and dynamically stable satellite orbits, the transient sodium may be a putative indication of a natural satellite orbiting WASP-49 A b., Comment: Accepted to ApJ Letters (2024 August 2)

Artificial intelligence and machine learning are increasingly used to offload decision making from people. In the past, one of the rationales for this replacement was that machines, unlike people, can be fair and unbiased. Evidence suggests otherwise. We begin by entertaining the ideas that algorithms can replace people and that algorithms cannot be biased. Taken as axioms, these statements quickly lead to absurdity. Spurred on by this result, we investigate the slogans more closely and identify equivocation surrounding the word 'bias.' We diagnose three forms of outrage-intellectual, moral, and political-that are at play when people react emotionally to algorithmic bias. Then we suggest three practical approaches to addressing bias that the AI community could take, which include clarifying the language around bias, developing new auditing methods for intelligent systems, and building certain capabilities into these systems. We conclude by offering a moral regarding the conversations about algorithmic bias that may transfer to other areas of artificial intelligence., Comment: Distribution Statement A. Approved for public release; distribution is unlimited

We propose a theoretical model for a colloidal heat engine driven by a feedback protocol that is able to fully convert the net heat absorbed by the hot bath into extracted work. The feedback protocol, inspired by gambling strategies, executes a sudden quench at zero work cost when the particle position satisfies a specific first-passage condition. As a result, the engine enhances both power and efficiency with respect to a standard Carnot cycle, surpassing Carnot's efficiency at maximum power. Using first-passage and martingale theory, we derive analytical expressions for the power and efficiency far beyond the quasistatic limit and provide scaling arguments for their dependency with the cycle duration. Numerical simulations are in perfect agreement with our theoretical findings, and illustrate the impact of the data acquisition rate on the engine's performance., Comment: 20 pages (including supplemental material), 8 figures (including supplemental figures)

The integration of photovoltaic systems poses several challenges for the distribution grid, mainly due to the infrastructure not being designed to handle the upstream flow and being dimensioned for consumption only, potentially leading to reliability and stability issues. This study investigates the use of capacity-based tariffs, export tariffs, and curtailment policies to reduce negative grid impacts without hampering PV deployment. We analyze the effect of such export tariffs on three typical Swiss low-voltage networks (rural, semi-urban, and urban), using power flow analysis to evaluate the power exchanges at the transformer station, as well as line overloading and voltage violations. Finally, a simple case of mutualization of resources is analyzed to assess its potential contribution to relieving network constraints and the economic costs of managing LV networks. We found that the tariff with capacity-based components on the export (CT export daily) severely penalizes PV penetration. This applies to other tariffs as well (e.g. IRR monthly, Curtailment 30, and DT variable) but to a lesser extent. However, the inclusion of curtailment at 50\% and 70\%, as well as mixed tariffs with capacity-based components at import and curtailment, allow for a high degree of PV installations in the three zones studied and help to mitigate the impact of PV on the distributed network., Comment: Preprint version. 25 pages, 6 figures

Despite decades of research and development, myoelectric prosthetic hands lack functionality and are often rejected by users. This lack in functionality can be attributed to the widely accepted anthropomorphic design ideology in the field; attempting to replicate human hand form and function despite severe limitations in control and sensing technology. Instead, prosthetic hands can be tailored to perform specific tasks without increasing complexity by shedding the constraints of anthropomorphism. In this paper, we develop and evaluate four open-source modular non-humanoid devices to perform the motion required to replicate human flicking motion and to twist a screwdriver, and the functionality required to pick and place flat objects and to cut paper. Experimental results from these devices demonstrate that, versus a humanoid prosthesis, non-humanoid prosthesis design dramatically improves task performance, reduces user compensatory movement, and reduces task load. Case studies with two end users demonstrate the translational benefits of this research. We found that special attention should be paid to monitoring end-user task load to ensure positive rehabilitation outcomes., Comment: 10 pages, 10 figures, 2 tables. Submitted to IEEE Transactions on Neural Systems and Rehabilitation Engineering

Myoelectric prosthetic hands are typically controlled to move between discrete positions and do not provide sensory feedback to the user. In this work, we present and evaluate a closed-loop, continuous myoelectric prosthetic hand controller, that can continuously control the position of multiple degrees of freedom of a prosthesis while rendering proprioceptive feedback to the user via a haptic feedback armband. Twenty-eight participants without and ten participants with limb difference were recruited to holistically evaluate the physical and psychological effects of the controller via isolated control and sensory tasks, dexterity assessments, embodiment and task load questionnaires, and post-study interviews. The combination of proprioceptive feedback and continuous control enabled accurate positioning, to within 10% mean absolute motor position error, and grasp-force modulation, to within 20% mean absolute motor force error, and restored blindfolded object identification ability to open-loop discrete controller levels. Dexterity assessment and embodiment questionnaire results revealed no significant physical performance or psychological embodiment differences between control types, with the exception of perceived sensation, which was significantly higher (p < 0.001) for closed-loop controllers. Key differences between participants with and without upper limb difference were identified, including in perceived body completeness and frustration, which can inform future prosthesis development and rehabilitation., Comment: 17 pages, 5 figures, 1 table. Submitted to Scientific Reports

We present Benchpress, a benchmarking suite for evaluating the performance and range of functionality of multiple quantum computing software development kits. This suite consists of a collection of over $1000$ tests measuring key performance metrics for a wide variety of operations on quantum circuits comprised of up to $930$ qubits and $\mathcal{O}(10^{6})$ two-qubit gates, as well as an execution framework for running the tests over multiple quantum software packages in a unified manner. We give a detailed overview of the benchmark suite, its methodology, and generate representative results over seven different quantum software packages. The flexibility of the Benchpress framework allows for benchmarking that not only keeps pace with quantum hardware improvements but can preemptively gauge the quantum circuit processing costs of future device architectures. Being open-source, Benchpress ensures the transparency and verification of performance claims., Comment: 11 pages, 4 figures, 2 tables

Artificial Intelligence (AI) methods are powerful tools for various domains, including critical fields such as avionics, where certification is required to achieve and maintain an acceptable level of safety. General solutions for safety-critical systems must address three main questions: Is it suitable? What drives the system's decisions? Is it robust to errors/attacks? This is more complex in AI than in traditional methods. In this context, this paper presents a comprehensive mind map of formal AI certification in avionics. It highlights the challenges of certifying AI development with an example to emphasize the need for qualification beyond performance metrics.

Plasmonic near-field transducers (NFTs) play a key role in administering nanoscale heating for a number of applications ranging from medical devices to next generation data processing technology. We present a novel multi-scale approach, combining quantum many-body perturbation theory with finite-element modelling, to predict the electric and thermal material parameters of various Au-based, noble metal (M) alloys. Specifically, we focus on modelling their performance within an NFT designed to focus high-intensity, sub-diffracted light for technologies such as nanoscale etching, manipulation, sensing, and heat-assisted magnetic recording (HAMR). Elemental Au is the long-standing general-purpose NFT medium due its excellent plasmonic performance at relevant wavelengths. However, elemental Au is a soft, ductile material that tends to extrude and deform in response to extreme temperature gradients. Therefore, alloying Au with other noble metals such as Ag, Cu, Pd or Pt, has attracted considerable interest for improved mechanical and thermal robustness while reaching threshold plasmonic generation at standard optoelectronics operating wavelengths (e.g., $\approx 830$~nm) and approximate high-power NFT temperatures ($\approx 400$~K). We predict that certain Au-Ag alloys may offer improved thermal stability as whole-NFT media compared to elemental Au, alongside plasmonic figures of merit comparable to that of Au. Simulations of certain solid solution Au-Pd/Pt alloys enable us to predict significantly enhanced thermal conductivity. We predict that alloying with Pd at low concentrations $\sim 10\%$ may preserve the NFT performance of Au, while offering the benefits of improved thermal and mechanical stability., Comment: 8 pages, 4 figures, 1 table. Includes Supplemental Material with 10 tables

Smaller machine learning models, with less complex architectures and sensor inputs, can benefit wearable sensor-based human activity recognition (HAR) systems in many ways, from complexity and cost to battery life. In the specific case of smart factories, optimizing human-robot collaboration hinges on the implementation of cutting-edge, human-centric AI systems. To this end, workers' activity recognition enables accurate quantification of performance metrics, improving efficiency holistically. We present a two-stage semantic-aware knowledge distillation (KD) approach, TSAK, for efficient, privacy-aware, and wearable HAR in manufacturing lines, which reduces the input sensor modalities as well as the machine learning model size, while reaching similar recognition performance as a larger multi-modal and multi-positional teacher model. The first stage incorporates a teacher classifier model encoding attention, causal, and combined representations. The second stage encompasses a semantic classifier merging the three representations from the first stage. To evaluate TSAK, we recorded a multi-modal dataset at a smart factory testbed with wearable and privacy-aware sensors (IMU and capacitive) located on both workers' hands. In addition, we evaluated our approach on OpenPack, the only available open dataset mimicking the wearable sensor placements on both hands in the manufacturing HAR scenario. We compared several KD strategies with different representations to regulate the training process of a smaller student model. Compared to the larger teacher model, the student model takes fewer sensor channels from a single hand, has 79% fewer parameters, runs 8.88 times faster, and requires 96.6% less computing power (FLOPS)., Comment: Accepted in 27th International Conference on Pattern Recognition (ICPR)

The rapid growth of quantum computing in the last few years has led many countries to make relevant public investments in that field. However, Colombia lacks any investment or legislation in this area. Most previous studies have focused on other countries, contributing to the region's significant lag. In this paper, we propose efforts to include quantum computing as a fundamental pillar of Colombia's development plan. In this research we involved three stakeholders: academia (Universidad Nacional de Colombia), industry (Alianza Team), and government (Vice Ministry of Digital Transformation). We anticipate that our work will provide a connection between all stakeholders involved in public investments in quantum technology in the country and will facilitate its legislation., Comment: 5 pages, 3 figures

We study the superradiant decay of a chain of atoms coupled to a chiral waveguide, focusing on the regime of non-negligible photon propagation time. Using an exact master equation description which accounts for delay effects, we obtain evidence to suggest that competition between collective decay and retardation leads to the emergence of an effective maximum number of atoms able to contribute to the superradiant dynamics, resulting in a plateau of the peak emission rate. To develop this analysis further, we investigate the inter-atomic correlations to find features consistent with the formation of individual superradiant domains. Moreover, we find that retardation can also result in persistent oscillatory atomic dynamics accompanied by a periodic sequence of emission bursts., Comment: 5 pages, 3 figures

We investigate a two-qubit open Rabi model, focusing on local ergotropy--the maximum extractable work by acting solely on the two qubits--within a parameter regime where a Berezinskii-Kosterlitz-Thouless dissipative phase transition occurs. First, we aim to define a protocol for charging, storing, and discharging the two-qubit system, interpreted as the working principle of an open quantum battery. Second, we examine the impact of the phase transition on ergotropy and identify potential markers. To achieve these goals, we construct an ad-hoc charging unitary operator, leveraging our knowledge of the ground state near the transition to bring it into a decoherence-free state during storage. Using state-of-the-art numerics based on matrix product state representation, we reveal that high couplings to an external bath approximately double the local ergotropy immediately post-charging. Over time we observe oscillatory behaviors in ergotropy and its fluctuations, which undergo significant changes near the transition, signaling its occurrence. Furthermore, we optimize local ergotropy over time using a physically inspired ansatz, enabling work extraction at a generic time (local ergotropy never reaches zero). Our work proposes a tunable, experimentally realizable protocol for work extraction, leveraging decoherence-free states and phase transitions. Additionally, it sheds light on the complex interaction between local ergotropy and quantum phase transitions., Comment: 10 pages with 5 figures, and 5 appendices with 2 figures

We report the discovery and spectroscopic confirmation of an ultra-faint Milky Way (MW) satellite in the constellation of Leo. This system was discovered as a spatial overdensity of resolved stars observed with Dark Energy Camera (DECam) data from an early version of the third data release of the DECam Local Volume Exploration survey (DELVE EDR3). The low luminosity ($M_V = -3.56_{-0.37}^{+0.47}$; $L_V = 2300_{-800}^{+1000} L_\odot$), large size ($r_{1/2} = 90_{-30}^{+30}$ pc), and large heliocentric distance ($D = 111_{-4}^{+7}$ kpc) are all consistent with the population of ultra-faint dwarf galaxies (UFDs). Using Keck/DEIMOS observations of the system, we were able to spectroscopically confirm 11 member stars, while measuring a mass to light ratio of $1000_{-700}^{+1900} M_\odot/L_\odot$ and a non-zero metallicity dispersion of $\sigma_{[\rm Fe/H]}=0.33_{-0.14}^{+0.19}$, further confirming Leo VI's identity as an UFD. While the system has an highly elliptical shape, $\epsilon = 0.54_{-0.29}^{+0.19}$, we do not find any evidence that it is tidally disrupting. Moreover, despite its apparent on-sky proximity to members of the proposed Crater-Leo infall group, its relatively lower heliocentric distance and inconsistent position in energy-angular momentum space with the other group members make it unlikely for it to be part of the proposed infall group., Comment: 21 pages, 11 figures, 2 tables; to be submitted to AAS Journals

We find conditions on a function space $\bf{L}$ that ensure that it behaves as an $L_p$-space in the sense that any unconditional basis of a complemented subspace of $\bf{L}$ either is equivalent to the unit vector system of $\ell_2$ or has a subbasis equivalent to a disjointly supported basic sequence. This dichotomy allows us to classify the symmetric basic sequences of $\bf{L}$. Several applications to Orlicz function spaces are provided., Comment: 36 pages

Causal reasoning is one of the primary bottlenecks that Large Language Models (LLMs) must overcome to attain human-level intelligence. Recent studies indicate that LLMs display near-random performance on reasoning tasks. To address this, we introduce the Causal Chain of Prompting ($\text{C}^2\text{P}$), a reasoning framework that aims to equip current LLMs with causal reasoning capabilities as the first framework of its kind operating autonomously without relying on external tools or modules during both the causal learning and reasoning phases. To evaluate the performance of $\text{C}^2\text{P}$, we first demonstrate that reasoning accuracy improved by over $30.7\%$ and $25.9\%$ for GPT-4 Turbo and LLaMA 3.1, respectively, when using our framework, compared to the same models without $\text{C}^2\text{P}$ on a synthetic benchmark dataset. Then, using few-shot learning of the same LLMs with $\text{C}^2\text{P}$, the reasoning accuracy increased by more than $20.05\%$ and $20.89\%$, respectively, with as few as ten examples, compared to the corresponding LLMs without $\text{C}^2\text{P}$ on the same dataset. To evaluate $\text{C}^2\text{P}$ in realistic scenarios, we utilized another benchmark dataset containing natural stories across various fields, including healthcare, medicine, economics, education, social sciences, environmental science, and marketing. The results show improved reasoning when $\text{C}^2\text{P}$ is applied, compared to cases where our framework is not used, which often leads to random and hallucinated responses. By showing the improved performance of few-shot learned GPT-4 Turbo and LLaMA 3.1 with $\text{C}^2\text{P}$, we demonstrate the generalizability of our framework., Comment: arXiv admin note: text overlap with arXiv:2306.05836 by other authors

The nature of the close-in rocky planet 55 Cnc e is puzzling despite having been observed extensively. Its optical and infrared occultation depths show temporal variability, in addition to a phase curve variability observed in the optical. We wish to explore the possibility that the variability originates from the planet being in a 3:2 spin-orbit resonance, thus showing different sides during occultations. We proposed and were awarded Cycle 1 time at the James Webb Space Telescope (JWST) to test this hypothesis. JWST/NIRCam observed five occultations (secondary eclipses), of which four were observed within a week, of the planet simultaneously at 2.1 and 4.5 {\mu}m. While the former gives band-integrated photometry, the latter provides a spectrum between 3.9-5.0 {\mu}m. We find that the occultation depths in both bandpasses are highly variable and change between a non-detection (-5 +/- 6 ppm and 7 +/- 9 ppm) to 96 +/- 8 ppm and 119 (+34) (-19) ppm at 2.1 {\mu}m and 4.5 {\mu}m, respectively. Interestingly, the variations in both bandpasses are not correlated and do not support the 3:2 spin-orbit resonance explanation. The measured brightness temperature at 4.5 {\mu}m varies between 873-2256 K and is lower than the expected dayside temperature of bare rock with no heat re-distribution (2500 K) which is indicative of an atmosphere. Our atmospheric retrieval analysis of occultation depth spectra at 4.5 {\mu}m finds that different visits statistically favour various atmospheric scenarios including a thin outgassed CO/CO2 atmosphere and a silicate rock vapour atmosphere. Some visits even support a flat line model. The observed variability could be explained by stochastic outgassing of CO/CO2, which is also hinted by retrievals. Alternatively, the variability, observed at both 2.1 and 4.5 {\mu}m, could be the result of a circumstellar patchy dust torus generated by volcanism on the planet., Comment: 32 pages, 10 + 15 figures, 3+2 tables, accepted for publication in A&A

The concept of an intelligent augmented reality (AR) assistant has significant, wide-ranging applications, with potential uses in medicine, military, and mechanics domains. Such an assistant must be able to perceive the environment and actions, reason about the environment state in relation to a given task, and seamlessly interact with the task performer. These interactions typically involve an AR headset equipped with sensors which capture video, audio, and haptic feedback. Previous works have sought to facilitate the development of intelligent AR assistants by visualizing these sensor data streams in conjunction with the assistant's perception and reasoning model outputs. However, existing visual analytics systems do not focus on user modeling or include biometric data, and are only capable of visualizing a single task session for a single performer at a time. Moreover, they typically assume a task involves linear progression from one step to the next. We propose a visual analytics system that allows users to compare performance during multiple task sessions, focusing on non-linear tasks where different step sequences can lead to success. In particular, we design visualizations for understanding user behavior through functional near-infrared spectroscopy (fNIRS) data as a proxy for perception, attention, and memory as well as corresponding motion data (acceleration, angular velocity, and gaze). We distill these insights into embedding representations that allow users to easily select groups of sessions with similar behaviors. We provide two case studies that demonstrate how to use these visualizations to gain insights about task performance using data collected during helicopter copilot training tasks. Finally, we evaluate our approach by conducting an in-depth examination of a think-aloud experiment with five domain experts., Comment: 11 pages, 6 figures. This is the author's version of the article that has been accepted for publication in IEEE Transactions on Visualization and Computer Graphics (TVCG)

The recent emergence of hybrid models has introduced another transformative approach to solving computer vision tasks, slowly shifting away from conventional CNN (Convolutional Neural Network) and ViT (Vision Transformer). However, not enough effort has been made to efficiently combine these two approaches to improve capturing long-range dependencies prevalent in complex images. In this paper, we introduce iiANET (Inception Inspired Attention Network), an efficient hybrid model designed to capture long-range dependencies in complex images. The fundamental building block, iiABlock, integrates global 2D-MHSA (Multi-Head Self-Attention) with Registers, MBConv2 (MobileNetV2-based convolution), and dilated convolution in parallel, enabling the model to adeptly leverage self-attention for capturing long-range dependencies while utilizing MBConv2 for effective local-detail extraction and dilated convolution for efficiently expanding the kernel receptive field to capture more contextual information. Lastly, we serially integrate an ECANET (Efficient Channel Attention Network) at the end of each iiABlock to calibrate channel-wise attention for enhanced model performance. Extensive qualitative and quantitative comparative evaluation on various benchmarks demonstrates improved performance over some state-of-the-art models.

The recent inference of sulphur dioxide (SO$_2$) in the atmosphere of the hot ($\sim$1100 K), Saturn-mass exoplanet WASP-39b from near-infrared JWST observations suggests that photochemistry is a key process in high temperature exoplanet atmospheres. This is due to the low ($<$1 ppb) abundance of SO$_2$ under thermochemical equilibrium, compared to that produced from the photochemistry of H$_2$O and H$_2$S (1-10 ppm). However, the SO$_2$ inference was made from a single, small molecular feature in the transmission spectrum of WASP-39b at 4.05 $\mu$m, and therefore the detection of other SO$_2$ absorption bands at different wavelengths is needed to better constrain the SO$_2$ abundance. Here we report the detection of SO$_2$ spectral features at 7.7 and 8.5 $\mu$m in the 5-12 $\mu$m transmission spectrum of WASP-39b measured by the JWST Mid-Infrared Instrument (MIRI) Low Resolution Spectrometer (LRS). Our observations suggest an abundance of SO$_2$ of 0.5-25 ppm (1$\sigma$ range), consistent with previous findings. In addition to SO$_2$, we find broad water vapour absorption features, as well as an unexplained decrease in the transit depth at wavelengths longer than 10 $\mu$m. Fitting the spectrum with a grid of atmospheric forward models, we derive an atmospheric heavy element content (metallicity) for WASP-39b of $\sim$7.1-8.0 $\times$ solar and demonstrate that photochemistry shapes the spectra of WASP-39b across a broad wavelength range., Comment: Published in Nature

Many recent advancements in quantum computing leverage strong drives on nonlinear systems for state preparation, signal amplification, or gate operation. However, the interplay within such strongly driven system introduces multi-scale dynamics that affects the long-time behavior of the system in non-trivial ways that are very difficult to model. Therefore, the analysis of these systems often relies on effective Hamiltonian models that introduce additional nonlinear processes which approximate the long-time dynamics so that highly oscillatory terms may be ignored. However, the removal of such high frequency transitions can only be performed rigorously within a systematic framework of time-coarse graining, which is a fundamentally irreversible operation. This implies that standard approaches with unitary effective models cannot accurately capture the long-time behavior of strongly driven nonlinear quantum systems in general. We introduce a systematic perturbation theory for obtaining the complete non-unitary effective model of the time-coarse grained (TCG) dynamics of a driven quantum system to any order in the coupling strengths. We derive a closed-form analytical formula for both unitary and non-unitary contributions, in the form of an effective Hamiltonian and non-unitary (pseudo-)dissipators. Remarkably, even though the effective theory presumes unitary time evolution at the microscopic level, the time-coarse grained dynamics is found to follow a non-unitary time evolution in general. This occurs even when there is no open heat reservoir for the system to become entangled with or dissipate into. We demonstrate the effectiveness of the new method using several typical models of driven nonlinear systems in superconducting circuits, and show that it generalizes and improves on existing methods by providing more accurate results and explaining phenomena that have not been accounted for.

Theories formulated in the arena of teleparallel geometries are generically plagued by ghost-like instabilities or other pathologies that are ultimately caused by the breaking of some symmetries. In this work, we construct a class of ghost-free theories based on a symmetry under Transverse Diffeomorphisms that is naturally realised in symmetric teleparallelism. We explicitly show their equivalence to a family of theories with an extra scalar field plus a global degree of freedom and how Horndeski theories and healthy couplings to matter fields can be readily accommodated., Comment: 11 pages, no figures

Autonomous Vehicles (AVs), furnished with sensors capable of capturing essential vehicle dynamics such as speed, acceleration, and precise location, possess the capacity to execute intelligent maneuvers, including lane changes, in anticipation of approaching roadblocks. Nevertheless, the sheer volume of sensory data and the processing necessary to derive informed decisions can often overwhelm the vehicles, rendering them unable to handle the task independently. Consequently, a common approach in traffic scenarios involves transmitting the data to servers for processing, a practice that introduces challenges, particularly in situations demanding real-time processing. In response to this challenge, we present a novel DL-based semantic traffic control system that entrusts semantic encoding responsibilities to the vehicles themselves. This system processes driving decisions obtained from a Reinforcement Learning (RL) agent, streamlining the decision-making process. Specifically, our framework envisions scenarios where abrupt roadblocks materialize due to factors such as road maintenance, accidents, or vehicle repairs, necessitating vehicles to make determinations concerning lane-keeping or lane-changing actions to navigate past these obstacles. To formulate this scenario mathematically, we employ a Markov Decision Process (MDP) and harness the Deep Q Learning (DQN) algorithm to unearth viable solutions.

Fano resonances are ubiquitous phenomena appearing in many fields of physics, e.g. atomic or molecular photoionization, or electron transport in quantum dots. Recently, attosecond interferometric techniques have been used to measure the amplitude and phase of photoelectron wavepackets close to Fano resonances in argon and helium, allowing for the retrieval of the temporal dynamics of the photoionization process. In this work, we study the photoionization of argon atoms close to the $3s^13p^64p$ autoionizing state using an interferometric technique with high spectral resolution. The phase shows a monotonic $2{\pi}$ increase across the resonance or a sigmo\"idal less than ${\pi}$ variation depending on experimental conditions, e.g. the probe laser bandwidth. Using three different, state-of-the-art calculations, we show that the measured phase is influenced by the interaction between final states reached by two-photon transitions.

The reconstruction of particle tracks from hits in tracking detectors is a computationally intensive task due to the large combinatorics of detector signals. Recent efforts have proven that ML techniques can be successfully applied to the tracking problem, extending and improving the conventional methods based on feature engineering. However, complex models can be challenging to implement on heterogeneous trigger systems, integrating architectures such as FPGAs. Deploying the network on an FPGA is feasible but challenging and limited by its resources. An efficient alternative can employ symbolic regression (SR). We propose a novel approach that uses SR to replace a graph-based neural network. Substituting each network block with a symbolic function preserves the graph structure of the data and enables message passing. The technique is perfectly suitable for heterogeneous hardware, as it can be implemented more easily on FPGAs and grants faster execution times on CPU with respect to conventional methods. While the tracking problem is the target for this work, it also provides a proof-of-principle for the method that can be applied to many use cases., Comment: 15 pages, 5 figures, 1 table