title: RepEval: Effective Text Evaluation with LLM Representation

abstract: Automatic evaluation metrics for generated texts play an important role in the NLG field, especially with the rapid growth of LLMs. However, existing metrics are often limited to specific scenarios, making it challenging to meet the evaluation requirements of expanding LLM applications. Therefore, there is a demand for new, flexible, and effective metrics. In this study, we introduce RepEval, the first metric leveraging the projection of LLM representations for evaluation. RepEval requires minimal sample pairs for training, and through simple prompt modifications, it can easily transition to various tasks. Results on ten datasets from three tasks demonstrate the high effectiveness of our method, which exhibits stronger correlations with human judgments compared to previous metrics, even outperforming GPT-4. Our work underscores the richness of information regarding text quality embedded within LLM representations, offering insights for the development of new metrics.


title: Time, Travel, and Energy in the Uniform Dispersion Problem

abstract: We investigate the algorithmic problem of uniformly dispersing a swarm of robots in an unknown, gridlike environment. In this setting, our goal is to comprehensively study the relationships between performance metrics and robot capabilities. We introduce a formal model comparing dispersion algorithms based on makespan, traveled distance, energy consumption, sensing, communication, and memory. Using this framework, we classify several uniform dispersion algorithms according to their capability requirements and performance. We prove that while makespan and travel can be minimized in all environments, energy cannot, as long as the swarm's sensing range is bounded. In contrast, we show that energy can be minimized even by simple, ``ant-like" robots in synchronous settings and asymptotically minimized in asynchronous settings, provided the environment is topologically simply connected. Our findings offer insights into fundamental limitations that arise when designing swarm robotics systems for exploring unknown environments, highlighting the impact of environment's topology on the feasibility of energy-efficient dispersion.


title: Towards a zero magnetic field environment for ultracold atoms experiments

abstract: The minimization of the magnetic field plays a crucial role in ultracold gas research. For instance, the contact interaction dominates all the other energy scales in the zero magnetic field limit, giving rise to novel quantum phases of matter. However, lowering magnetic fields well below the mG level is often challenging in ultracold gas experiments. In this article, we apply Landau-Zener spectroscopy to characterize and reduce the magnetic field on an ultracold gas of sodium atoms to a few tens of {\mu}G. The lowest magnetic field achieved here opens to observing novel phases of matter with ultracold spinor Bose gases.


title: Relativity with or without light and Maxwell

abstract: The complex relationship between Einstein's second postulate and the Maxwell electromagnetic theory is elucidated. A simple deduction of the main results of the Ignatowski approach to the theory of relativity is given. The peculiar status of the principle of relativity among the Maxwellians is illustrated.


title: Causal Perception Inspired Representation Learning for Trustworthy Image Quality Assessment

abstract: Despite great success in modeling visual perception, deep neural network based image quality assessment (IQA) still remains unreliable in real-world applications due to its vulnerability to adversarial perturbations and the inexplicit black-box structure. In this paper, we propose to build a trustworthy IQA model via Causal Perception inspired Representation Learning (CPRL), and a score reflection attack method for IQA model. More specifically, we assume that each image is composed of Causal Perception Representation (CPR) and non-causal perception representation (N-CPR). CPR serves as the causation of the subjective quality label, which is invariant to the imperceptible adversarial perturbations. Inversely, N-CPR presents spurious associations with the subjective quality label, which may significantly change with the adversarial perturbations. To extract the CPR from each input image, we develop a soft ranking based channel-wise activation function to mediate the causally sufficient (beneficial for high prediction accuracy) and necessary (beneficial for high robustness) deep features, and based on intervention employ minimax game to optimize. Experiments on four benchmark databases show that the proposed CPRL method outperforms many state-of-the-art adversarial defense methods and provides explicit model interpretation.


title: Enhancing Deep Learning Model Explainability in Brain Tumor Datasets using Post-Heuristic Approaches

abstract: The application of deep learning models in medical diagnosis has showcased considerable efficacy in recent years. Nevertheless, a notable limitation involves the inherent lack of explainability during decision-making processes. This study addresses such a constraint, by enhancing the interpretability robustness. The primary focus is directed towards refining the explanations generated by the LIME Library and LIME image explainer. This is achieved throuhg post-processing mechanisms, based on scenario-specific rules. Multiple experiments have been conducted using publicly accessible datasets related to brain tumor detection. Our proposed post-heuristic approach demonstrates significant advancements, yielding more robust and concrete results, in the context of medical diagnosis.


title: Consensus + Innovations Approach for Online Distributed Multi-Area Inertia Estimation

abstract: The reduction of overall system inertia in modern power systems due to the increasing deployment of distributed energy resources is generally recognized as a major issue for system stability. Consequently, real-time monitoring of system inertia is critical to ensure a reliable and cost-effective system operation. Large-scale power systems are typically managed by multiple transmission system operators, making it difficult to have a central entity with access to global measurement data, which is usually required for estimating the overall system inertia. We address this problem by proposing a fully distributed inertia estimation algorithm with rigorous analytical convergence guarantees. This method requires only peer-to-peer sharing of local parameter estimates between neighboring control areas, eliminating the need for a centralized collection of real-time measurements. We robustify the algorithm in the presence of typical power system disturbances and demonstrate its performance in simulations based on the well-known New England IEEE-39 bus system.


title: Morphodynamics of chloroplast network control light-avoidance response in the non-motile dinoflagellate Pyrocystis lunula

abstract: Photosynthetic algae play a significant role in oceanic carbon capture. Their performance, however, is constantly challenged by fluctuations in environmental light conditions. Here, we show that the non-motile single-celled marine dinoflagellate Pyrocystis lunula can internally contract its chloroplast network in response to light. By exposing the cell to various physiological light conditions and applying temporal illumination sequences, we find that network morphodynamics follows simple rules, as established in a mathematical model. Our analysis of the chloroplast structure reveals that its unusual reticulated morphology constitutes properties similar to auxetic metamaterials, facilitating drastic deformations for light-avoidance, while confined by the cell wall. Our study shows how the topologically complex network of chloroplasts is crucial in supporting the dinoflagellate's adaptation to varying light conditions, thereby facilitating essential life-sustaining processes.


title: A note on background independence in $\text{AdS}_3$ string theory

abstract: In this note, we comment on the path integral formulation of string theory on $\mathcal{M}\times\text{S}^3\times\mathbb{T}^4$ where $\mathcal{M}$ is any hyperbolic 3-manifold. In the special case of $k=1$ NS-NS flux, we provide a covariant description of the worldsheet theory and argue that the path integral depends only on the details of the conformal boundary $\partial\mathcal{M}$, making the background independence of this theory manifest. We provide a simple path integral argument that the path integral localizes onto holomorphic covering maps from the worldsheet to the boundary. For closed manifolds $\mathcal{M}$, the gravitational path integral is argued to be trivial. This implies that the bulk gravitational theory has precisely one state in its Hilbert space. Finally, we comment on the effect of continuous deformations of the worldsheet theory which introduce non-minimal string tension.


title: Self-assembling of multilayered polymorphs with ion beams

abstract: Polymorphism contributes to the diversity of nature, so that even materials having identical chemical compositions exhibit variations in properties because of different lattice symmetries. Thus, if stacked together into multilayers, polymorphs may work as an alternative approach to the sequential deposition of layers with different chemical compositions. However, selective polymorph crystallization during conventional thin film synthesis is not trivial; e.g. opting for step-like changes of temperature and/or pressure correlated with switching from one polymorph to another during synthesis is tricky, since it may cause degradation of the structural quality. In the present work, applying the disorder-induced ordering approach we fabricated such multilayered polymorph structures using ion beams. We show that during ion irradiation of gallium oxide, the dynamic annealing of disorder may be tuned towards self-assembling of several polymorph interfaces, consistently with theoretical modelling. Specifically, we demonstrated multilayers with two polymorph interface repetitions obtained in one ion beam assisted fabrication step. Importantly, single crystal structure of the polymorphs was maintained in between interfaces exhibiting repeatable crystallographic relationships, correlating with optical cross-sectional maps. This data paves the way for enhancing functionalities in materials with not previously thought capabilities of ion beam technology.


title: War Elephants: Rethinking Combat AI and Human Oversight

abstract: This paper explores the changes that pervasive AI is having on the nature of combat. We look beyond the substitution of AI for experts to an approach where complementary human and machine abilities are blended. Using historical and modern examples, we show how autonomous weapons systems can be effectively managed by teams of human "AI Operators" combined with AI/ML "Proxy Operators." By basing our approach on the principles of complementation, we provide for a flexible and dynamic approach to managing lethal autonomous systems. We conclude by presenting a path to achieving an integrated vision of machine-speed combat where the battlefield AI is operated by AI Operators that watch for patterns of behavior within battlefield to assess the performance of lethal autonomous systems. This approach enables the development of combat systems that are likely to be more ethical, operate at machine speed, and are capable of responding to a broader range of dynamic battlefield conditions than any purely autonomous AI system could support.


title: A Spatio-Temporal based Frame Indexing Algorithm for QoS Improvement in Live Low-Motion Video Streaming

abstract: Real-time video life streaming of events over a network continued to gain more popularity among the populace. However, there is need to ensure the judicious utilization of allocated bandwidth without compromising the Quality of Service (QoS) of the system. In this regard, this paper presents an approach based on spatio-temporal frame indexing that detects and eliminate redundancy within and across captured frame, prior transmission from the server to clients. The standard and local low motion videos were the two scenarios considered in evaluating the performance of the proposed algorithm. Results obtained showed that the proposed approach achieved an improvement of 5.13%, 15.8% and 5%, 15.6% improvement in terms of the buffer size and compression ratio. Though with a tradeoff of the frame-built time, where both the standard and local frame indexing outperforms the proposed scheme with 10.8% and 8.71% respectively.


title: On the non-existence of oscillation numbers in Sturm-Liouville theory

abstract: We prove an old conjecture that relates the existence of non-real eigenvalues of Sturm-Liouville Dirichlet problems on a finite interval to the non-existence of oscillation numbers of its real eigenfunctions, [[6], p.104, Problems 3 and 5]. This extends to the general case, a previous result in [1], [2] where it was shown that the presence of even one pair of non-real eigenvalues implies the non-existence of a positive eigenfunction (or ground state). We also provide estimates on the Haupt and Richardson indices and Haupt and Richardson numbers thereby complementing the original Sturm oscillation theorem with the Haupt-Richardson oscillation theorem discovered over 100 years ago with estimates on the missing oscillation numbers of the real eigenfunctions observed.


title: Topology in a one-dimensional plasmonic crystal

abstract: In this paper we study the topology of the bands of a plasmonic crystal composed of graphene and of a metallic grating. Firstly, we derive a Kronig-Penney type of equation for the plasmonic bands as function of the Bloch wavevector and discuss the propagation of the surface plasmon polaritons on the polaritonic crystal using a transfer-matrix approach considering a finite relaxation time. Second, we reformulate the problem as a tight-binding model that resembles the Su-Schrieffer-Heeger (SSH) Hamiltonian, one difference being that the hopping amplitudes are, in this case, energy dependent. In possession of the tight-binding equations it is a simple task to determine the topology (value of the winding number) of the bands. This allows to determine the existense or absence of topological end modes in the system. Similarly to the SSH model, we show that there is a tunable parameter that induces topological phase transitions from trivial to non-trivial. In our case, it is the distance d between the graphene sheet and the metallic grating. We note that d is a parameter that can be easily tuned experimentally simply by controlling the thickness of the spacer between the grating and the graphene sheet. It is then experimentally feasible to engineer devices with the required topological properties. Finally, we suggest a scattering experiment allowing the observation of the topological states.


title: Test function approach to fully nonlinear equations in thin domains

abstract: In this note we extend to fully nonlinear operators the well known result on thin domains of Hale and Raugel. The result is more general even in the case of the Laplacian.


title: New EVENODD+ Codes with More Flexible Parameters and Lower Complexity

abstract: EVENODD+ codes are binary maximum distance separable (MDS) array codes for correcting double disk failures in RAID-6 with asymptotically optimal encoding/decoding/update complexities. However, the number of bits stored in each disk of EVENODD+ codes should be an odd number minus one. In this paper, we present a new construction of EVENODD+ codes that have more flexible parameters. The number of bits stored in each disk of our codes is an odd minus one times any positive integer. Moreover, our codes not only have asymptotically optimal encoding/decoding/update complexities but also have lower encoding/decoding/update complexities than the existing EVENODD+ codes.


title: Automatic Cardiac Pathology Recognition in Echocardiography Images Using Higher Order Dynamic Mode Decomposition and a Vision Transformer for Small Datasets

abstract: Heart diseases are the main international cause of human defunction. According to the WHO, nearly 18 million people decease each year because of heart diseases. Also considering the increase of medical data, much pressure is put on the health industry to develop systems for early and accurate heart disease recognition. In this work, an automatic cardiac pathology recognition system based on a novel deep learning framework is proposed, which analyses in real-time echocardiography video sequences. The system works in two stages. The first one transforms the data included in a database of echocardiography sequences into a machine-learning-compatible collection of annotated images which can be used in the training stage of any kind of machine learning-based framework, and more specifically with deep learning. This includes the use of the Higher Order Dynamic Mode Decomposition (HODMD) algorithm, for the first time to the authors' knowledge, for both data augmentation and feature extraction in the medical field. The second stage is focused on building and training a Vision Transformer (ViT), barely explored in the related literature. The ViT is adapted for an effective training from scratch, even with small datasets. The designed neural network analyses images from an echocardiography sequence to predict the heart state. The results obtained show the superiority of the proposed system and the efficacy of the HODMD algorithm, even outperforming pretrained Convolutional Neural Networks (CNNs), which are so far the method of choice in the literature.


title: Enduring two-dimensional perturbations with significant non-modal growth

abstract: Laminar shear flows can display large non-modal perturbation growth, often through the lift-up mechansm, and can undergo subcritical transition to turbulence. The process is three-dimensional. Two-dimensional (2D) spanwise-independent perturbations are often considered less important as they typically undergo modest levels of transient growth and are short-lived. Strikingly, we show the existence of 2D non-modal perturbations that get amplified significantly and survive for long periods of time. Two-layer and three-layer viscosity stratified plane shear flows are taken to be the mean states. We show that while the two-layer flow is always modally stable, the three-layer flow supports exponential growing instabilities only when the middle layer is the least viscous. The non-modal stability analysis is performed only for the modally stable configurations of these flows. At later times, the non-modal perturbations feature strongly confined vortical structures near the interface in the two-layer flow. For the three-layer flow, similar observations are noted when all the three layers have different shear rates with the vortices prominently seen in the vicinity of the interface between the least viscous and middle layers. For the three-layer flow configuration with the outer layers having equal shear rates, the perturbation structure shows symmetry about the middle layer and evolves such that the Orr mechanism can repeatedly occur in a regenerative manner resulting in the perturbation energy evolving in a markedly non-monotonic fashion. When these same perturbations are introduced in a uniform plane shear flow, the extent of non-modal transient growth is shown to be significantly smaller.


title: Soft pattern of gravitational Rutherford scattering from heavy target mass expansion

abstract: We investigate the soft behavior of the tree-level Rutherford scattering processes mediated via $t$-channel one-graviton exchange. We consider two types of Rutherford scattering processes, {\it e.g.}, a low-energy massless structureless projectile (up to spin-$1$) hits a static massive composite particle carrying various spins (up to spin-$2$), and a slowly-moving light projectile hits a heavy static composite target. The unpolarized cross sections in the first type are found to exhibit universal forms at the first two orders in $1/M$ expansion, yet differ at the next-to-next-to-leading order, though some terms at this order still remain universal or depend on the target spin in a definite manner. The unpolarized cross sections in the second type are universal at the lowest order in projectile velocity expansion and through all orders in $1/M$, independent of the spins of both projectile and target. The universality partially breaks down at relative order-$v^2/M^2$, albeit some terms at this order still depend on the target spin in a specific manner.


title: Leveraging Label Information for Stealthy Data Stealing in Vertical Federated Learning

abstract: We develop DMAVFL, a novel attack strategy that evades current detection mechanisms. The key idea is to integrate a discriminator with auxiliary classifier that takes a full advantage of the label information (which was completely ignored in previous attacks): on one hand, label information helps to better characterize embeddings of samples from distinct classes, yielding an improved reconstruction performance; on the other hand, computing malicious gradients with label information better mimics the honest training, making the malicious gradients indistinguishable from the honest ones, and the attack much more stealthy. Our comprehensive experiments demonstrate that DMAVFL significantly outperforms existing attacks, and successfully circumvents SOTA defenses for malicious attacks. Additional ablation studies and evaluations on other defenses further underscore the robustness and effectiveness of DMAVFL.


title: Catalan percolation

abstract: In Catalan percolation, all nearest-neighbor edges $\{i,i+1\}$ along $\mathbb Z$ are initially occupied, and all other edges are open independently with probability $p$. Open edges $\{i,j\}$ are occupied if some pair of edges $\{i,k\}$ and $\{k,j\}$, with $i<k<j$, become occupied. This model was introduced by Gravner and the third author, in the context of polluted graph bootstrap percolation. We prove that the critical $p_{\mathrm c}$ is strictly between that of oriented site percolation on $\mathbb Z^2$ and the Catalan growth rate $1/4$. Our main result shows that an enhanced oriented percolation model, with non-decaying infinite-range dependency, has a strictly smaller critical parameter than the classical model. This is reminiscent of the work of Duminil-Copin, Hil\'ario, Kozma and Sidoravicius on brochette percolation. Our proof differs, however, in that we do not use Aizenman--Grimmett enhancements or differential inequalities. Two key ingredients are the work of Hil\'ario, S\'a, Sanchis and Teixeira on stretched lattices, and the Russo--Seymour--Welsh result for oriented percolation by Duminil-Copin, Tassion and Teixeira.


title: Broadband microwave-rate dark pulse microcombs in dissipation-engineered LiNbO$_3$ microresonators

abstract: Kerr microcombs generated in optical microresonators provide broadband light sources bridging optical and microwave signals. Their translation to thin-film lithium niobate unlocks second-order nonlinear optical interfaces such as electro-optic modulation and frequency doubling for completing comb functionalities. However, the strong Raman response of LiNbO$_3$ has complicated the formation of Kerr microcombs. Until now, dark pulse microcombs, requiring a double balance between Kerr nonlinearity and normal group velocity dispersion as well as gain and loss, have remained elusive in LiNbO$_3$ microresonators. Here, by incorporating dissipation engineering, we demonstrate dark pulse microcombs with 25 GHz repetition frequency and 200 nm span in a high-$Q$ LiNbO$_3$ microresonator. Resonances near the Raman-active wavelengths are strongly damped by controlling phase-matching conditions of a specially designed pulley coupler. The coherence and tunability of the dark pulse microcombs are also investigated. Our work provides a solution to realize high-power microcombs operating at microwave rates on LiNbO$_3$ chips, promising new opportunities for the monolithic integration of applications spanning communication to microwave photonics.


title: Integrating Visuo-tactile Sensing with Haptic Feedback for Teleoperated Robot Manipulation

abstract: Telerobotics enables humans to overcome spatial constraints and allows them to physically interact with the environment in remote locations. However, the sensory feedback provided by the system to the operator is often purely visual, limiting the operator's dexterity in manipulation tasks. In this work, we address this issue by equipping the robot's end-effector with high-resolution visuotactile GelSight sensors. Using low-cost MANUS-Gloves, we provide the operator with haptic feedback about forces acting at the points of contact in the form of vibration signals. We propose two different methods for estimating these forces; one based on estimating the movement of markers on the sensor surface and one deep-learning approach. Additionally, we integrate our system into a virtual-reality teleoperation pipeline in which a human operator controls both arms of a Tiago robot while receiving visual and haptic feedback. We believe that integrating haptic feedback is a crucial step for dexterous manipulation in teleoperated robotic systems.


title: AI techniques for near real-time monitoring of contaminants in coastal waters on board future Phisat-2 mission

abstract: Differently from conventional procedures, the proposed solution advocates for a groundbreaking paradigm in water quality monitoring through the integration of satellite Remote Sensing (RS) data, Artificial Intelligence (AI) techniques, and onboard processing. The objective is to offer nearly real-time detection of contaminants in coastal waters addressing a significant gap in the existing literature. Moreover, the expected outcomes include substantial advancements in environmental monitoring, public health protection, and resource conservation. The specific focus of our study is on the estimation of Turbidity and pH parameters, for their implications on human and aquatic health. Nevertheless, the designed framework can be extended to include other parameters of interest in the water environment and beyond. Originating from our participation in the European Space Agency (ESA) OrbitalAI Challenge, this article describes the distinctive opportunities and issues for the contaminants monitoring on the Phisat-2 mission. The specific characteristics of this mission, with the tools made available, will be presented, with the methodology proposed by the authors for the onboard monitoring of water contaminants in near real-time. Preliminary promising results are discussed and in progress and future work introduced.


title: Single Atom Substituents in Copper Surfaces May Adsorb Multiple CO Molecules

abstract: Copper is a good CO2 electroreduction catalyst as products beyond CO form, but efficiency and selectivity is low. Experiments have shown that admixture of other elements can help, and computational screening studies have pointed out various promising candidates based on the adsorption of a single CO molecule as a descriptor. Our calculations of CO adsorption on surfaces where a first row transition metal atom replaces a Cu atom show that multiple CO molecules, not just one, bind to the substitutional atom. For Fe, Co, and Ni atoms, a decrease in binding energy is found, but the reverse trend, namely increasing bond strength, is found for V, Cr, and Mn and the first three CO molecules. Magnetic moment, charge, and position of the substitutional atom are also strongly affected by the CO adsorption in most cases. Magnetic moment is stepwise reduced to zero, and the outward displacement of the substitutional atom increased.


title: Boundary effect and quantum phases in spin chains

abstract: Boundary effect is a widespread idea in many-body theories. However, it is more of a conceptual notion than a rigorously defined physical quantity. One can quantify the boundary effect by comparing two ground states of the same physical model, which differ only slightly in system size. Here, we analyze the quantity, which we call a boundary effect function, for an XXZ spin-1/2 model using density matrix renormalization group calculations. We find that three quantum phases of the model manifest as different functional forms of the boundary effect function. As a result, the quantum phase transition of the model is associated with a nonanalytic change of the boundary effect function. This work thus provides and concretizes a novel perspective on the relationship between bulk and boundary properties of ground states.


title: Acceptance Tests of more than 10 000 Photomultiplier Tubes for the multi-PMT Digital Optical Modules of the IceCube Upgrade

abstract: More than 10,000 photomultiplier tubes (PMTs) with a diameter of 80 mm will be installed in multi-PMT Digital Optical Modules (mDOMs) of the IceCube Upgrade. These have been tested and pre-calibrated at two sites. A throughput of more than 1000 PMTs per week with both sites was achieved with a modular design of the testing facilities and highly automated testing procedures. The testing facilities can easily be adapted to other PMTs, such that they can, e.g., be re-used for testing the PMTs for IceCube-Gen2. Single photoelectron response, high voltage dependence, time resolution, prepulse, late pulse, afterpulse probabilities, and dark rates were measured for each PMT. We describe the design of the testing facilities, the testing procedures, and the results of the acceptance tests.


title: Internal migration after a uniform minimum wage introduction

abstract: Internal migration is an essential aspect to study labor mobility. I exploit the German statutory minimum wage introduction in 2015 to estimate its push and pull effects on internal migration using a 2% sample of administrative data. In a conditional fixed effects Poisson difference-in-differences framework with a continuous treatment, I find that the minimum wage introduction leads to an increase in the out-migration of low-skilled workers with migrant background by 25% with an increasing tendency over time from districts where a high share of workers are subject to the minimum wage (high-bite districts). In contrast the migration decision of native-born low-skilled workers is not affected by the policy. However, both native-born low-skilled workers and those with a migrant background do relocate across establishments, leaving high-bite districts as their workplace. In addition, I find an increase for unemployed individuals with a migrant background in out-migrating from high-bite districts. These results emphasize the importance of considering the effects on geographical labor mobility when implementing and analyzing policies that affect the determinants of internal migration.


title: Towards Interactively Improving ML Data Preparation Code via "Shadow Pipelines"

abstract: Data scientists develop ML pipelines in an iterative manner: they repeatedly screen a pipeline for potential issues, debug it, and then revise and improve its code according to their findings. However, this manual process is tedious and error-prone. Therefore, we propose to support data scientists during this development cycle with automatically derived interactive suggestions for pipeline improvements. We discuss our vision to generate these suggestions with so-called shadow pipelines, hidden variants of the original pipeline that modify it to auto-detect potential issues, try out modifications for improvements, and suggest and explain these modifications to the user. We envision to apply incremental view maintenance-based optimisations to ensure low-latency computation and maintenance of the shadow pipelines. We conduct preliminary experiments to showcase the feasibility of our envisioned approach and the potential benefits of our proposed optimisations.


title: Programmable activation of quantum emitters in high-purity silicon with focused carbon ion beams

abstract: Carbon implantation at the nanoscale is highly desired for the engineering of defect-based qubits in a variety of materials, including silicon, diamond, SiC and hBN. However, the lack of focused carbon ion beams does not allow for the full disclosure of their potential for application in quantum technologies. Here, we develop and use a carbon source for focused ion beams for the simultaneous creation of two types of quantum emitters in silicon, the W and G centers. Furthermore, we apply a multi-step implantation protocol for the programmable activation of the G centers with sub-100- nm resolution. This approach provides a route for significant enhancement of the creation yield of single G centers in carbon-free silicon wafers. Our experimental demonstration is an important step towards nanoscale engineering of telecom quantum emitters in silicon of high crystalline quality and isotope purity.


title: Magnetophononics and the Chiral Phonon Misnomer

abstract: The direct, ultrafast excitation of polar phonons with electromagnetic radiation is a potent strategy for controlling the properties of a wide range of materials, particularly in the context of influencing their magnetic behavior. Here, we show that, contrary to common perception, the origin of phonon-induced magnetic activity does not stem from the motion of ions themselves; instead, it arises from the effect their motion exerts on the electron subsystem. Through the mechanism of electron-phonon coupling, a coherent state of circularly polarized phonons generates substantial non-Maxwellian fields that disrupt time reversal symmetry, effectively emulating the behavior of authentic magnetic fields. Notably, the effective field can reach magnitudes as high as 100 T, surpassing by several orders of magnitude the Maxwellian field resulting from the circular motion of the ions. Because the light-induced non-reciprocal fields depend on the square of the phonon displacements, the chirality the photons transferred to the ions plays no role in magnetophononics.


title: Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks

abstract: Robots interacting with humans must be safe, reactive and adapt online to unforeseen environmental and task changes. Achieving these requirements concurrently is a challenge as interactive planners lack formal safety guarantees, while safe motion planners lack flexibility to adapt. To tackle this, we propose a modular control architecture that generates both safe and reactive motion plans for human-robot interaction by integrating temporal logic-based discrete task level plans with continuous Dynamical System (DS)-based motion plans. We formulate a reactive temporal logic formula that enables users to define task specifications through structured language, and propose a planning algorithm at the task level that generates a sequence of desired robot behaviors while being adaptive to environmental changes. At the motion level, we incorporate control Lyapunov functions and control barrier functions to compute stable and safe continuous motion plans for two types of robot behaviors: (i) complex, possibly periodic motions given by autonomous DS and (ii) time-critical tasks specified by Signal Temporal Logic~(STL). Our methodology is demonstrated on the Franka robot arm performing wiping tasks on a whiteboard and a mannequin that is compliant to human interactions and adaptive to environmental changes.


title: Perceptual Constancy Constrained Single Opinion Score Calibration for Image Quality Assessment

abstract: In this paper, we propose a highly efficient method to estimate an image's mean opinion score (MOS) from a single opinion score (SOS). Assuming that each SOS is the observed sample of a normal distribution and the MOS is its unknown expectation, the MOS inference is formulated as a maximum likelihood estimation problem, where the perceptual correlation of pairwise images is considered in modeling the likelihood of SOS. More specifically, by means of the quality-aware representations learned from the self-supervised backbone, we introduce a learnable relative quality measure to predict the MOS difference between two images. Then, the current image's maximum likelihood estimation towards MOS is represented by the sum of another reference image's estimated MOS and their relative quality. Ideally, no matter which image is selected as the reference, the MOS of the current image should remain unchanged, which is termed perceptual cons tancy constrained calibration (PC3). Finally, we alternatively optimize the relative quality measure's parameter and the current image's estimated MOS via backpropagation and Newton's method respectively. Experiments show that the proposed method is efficient in calibrating the biased SOS and significantly improves IQA model learning when only SOSs are available.


title: Debiased Collaborative Filtering with Kernel-Based Causal Balancing

abstract: Debiased collaborative filtering aims to learn an unbiased prediction model by removing different biases in observational datasets. To solve this problem, one of the simple and effective methods is based on the propensity score, which adjusts the observational sample distribution to the target one by reweighting observed instances. Ideally, propensity scores should be learned with causal balancing constraints. However, existing methods usually ignore such constraints or implement them with unreasonable approximations, which may affect the accuracy of the learned propensity scores. To bridge this gap, in this paper, we first analyze the gaps between the causal balancing requirements and existing methods such as learning the propensity with cross-entropy loss or manually selecting functions to balance. Inspired by these gaps, we propose to approximate the balancing functions in reproducing kernel Hilbert space and demonstrate that, based on the universal property and representer theorem of kernel functions, the causal balancing constraints can be better satisfied. Meanwhile, we propose an algorithm that adaptively balances the kernel function and theoretically analyze the generalization error bound of our methods. We conduct extensive experiments to demonstrate the effectiveness of our methods, and to promote this research direction, we have released our project at https://github.com/haoxuanli-pku/ICLR24-Kernel-Balancing.


title: Transferring Troubles: Cross-Lingual Transferability of Backdoor Attacks in LLMs with Instruction Tuning

abstract: The implications of backdoor attacks on English-centric large language models (LLMs) have been widely examined - such attacks can be achieved by embedding malicious behaviors during training and activated under specific conditions that trigger malicious outputs. However, the impact of backdoor attacks on multilingual models remains under-explored. Our research focuses on cross-lingual backdoor attacks against multilingual LLMs, particularly investigating how poisoning the instruction-tuning data in one or two languages can affect the outputs in languages whose instruction-tuning data was not poisoned. Despite its simplicity, our empirical analysis reveals that our method exhibits remarkable efficacy in models like mT5, BLOOM, and GPT-3.5-turbo, with high attack success rates, surpassing 95% in several languages across various scenarios. Alarmingly, our findings also indicate that larger models show increased susceptibility to transferable cross-lingual backdoor attacks, which also applies to LLMs predominantly pre-trained on English data, such as Llama2, Llama3, and Gemma. Moreover, our experiments show that triggers can still work even after paraphrasing, and the backdoor mechanism proves highly effective in cross-lingual response settings across 25 languages, achieving an average attack success rate of 50%. Our study aims to highlight the vulnerabilities and significant security risks present in current multilingual LLMs, underscoring the emergent need for targeted security measures.


title: Artificial Intelligence in Bone Metastasis Analysis: Current Advancements, Opportunities and Challenges

abstract: In recent years, Artificial Intelligence (AI) has been widely used in medicine, particularly in the analysis of medical imaging, which has been driven by advances in computer vision and deep learning methods. This is particularly important in overcoming the challenges posed by diseases such as Bone Metastases (BM), a common and complex malignancy of the bones. Indeed, there have been an increasing interest in developing Machine Learning (ML) techniques into oncologic imaging for BM analysis. In order to provide a comprehensive overview of the current state-of-the-art and advancements for BM analysis using artificial intelligence, this review is conducted with the accordance with PRISMA guidelines. Firstly, this review highlights the clinical and oncologic perspectives of BM and the used medical imaging modalities, with discussing their advantages and limitations. Then the review focuses on modern approaches with considering the main BM analysis tasks, which includes: classification, detection and segmentation. The results analysis show that ML technologies can achieve promising performance for BM analysis and have significant potential to improve clinician efficiency and cope with time and cost limitations. Furthermore, there are requirements for further research to validate the clinical performance of ML tools and facilitate their integration into routine clinical practice.


title: Parity and time-reversal symmetry violation in diatomic molecules: LaO, LaS and LuO

abstract: The violation of parity (P) and time-reversal (T) symmetry is enhanced in the LaS, LaO and LuO molecules due to the existence of states of opposite parity with small energy differences and the presence of heavy nuclei. We calculate the molecular enhancement for the P, T-violating electron electric dipole moment ($W_{\mathrm{d}}$), scalar-pseudoscalar nucleon-electron interaction ($W_{\mathrm{s}}$), nuclear magnetic quadrupole moment ($W_{\mathrm{M}}$), and for the nuclear spin-dependent P-violating anapole moment ($W_{\mathrm{A}}$). We use the relativistic 4-components coupled cluster method and perform a systematic study to estimate the associated uncertainties in our approach. We find that the individual contribution of each computational parameter to the total uncertainty in a system is approximately the same for all the calculated enhancement factors, summing up to a total uncertainty of $\sim7$\%. We discuss the energy shifts and matrix elements associated with the calculated molecular enhancement factors and relate them to higher-energy P- and P, T- violating interactions.


title: Stabilized POD Reduced Order Models for convection-dominated incompressible flows

abstract: We present a comparative computational study of two stabilized Reduced Order Models (ROMs) for the simulation of convection-dominated incompressible flow (Reynolds number of the order of a few thousands). Representative solutions in the parameter space, which includes either time only or time and Reynolds number, are computed with a Finite Volume method and used to generate a reduced basis via Proper Orthogonal Decomposition (POD). Galerkin projection of the Navier-Stokes equations onto the reduced space is used to compute the ROM solution. To ensure computational efficiency, the number of POD modes is truncated and ROM solution accuracy is recovered through two stabilization methods: i) adding a global constant artificial viscosity to the reduced dimensional model, and ii) adding a different value of artificial viscosity for the different POD modes. We test the stabilized ROMs for fluid flow in an idealized medical device consisting of a conical convergent, a narrow throat, and a sudden expansion. Both stabilization methods significantly improve the ROM solution accuracy over a standard (non-stabilized) POD-Galerkin model.


title: Recovery of the X-ray polarisation of Swift J1727.8$-$1613 after the soft-to-hard spectral transition

abstract: We report on the detection of X-ray polarisation in the black-hole X-ray binary Swift J1727.8$-$1613 during its dim hard spectral state by the Imaging X-ray Polarimetry Explorer (IXPE). This is the first detection of X-ray polarisation at the transition from the soft to the hard state in an X-ray binary. We find an averaged 2$-$8 keV polarisation degree of (3.3 ${\pm}$ 0.4) % and a corresponding polarisation angle of 3{\deg} ${\pm}$ 4{\deg}, which matches the polarisation detected during the rising stage of the outburst, in September$-$October 2023, within 1${\sigma}$ uncertainty. The observational campaign complements previous studies of this source and enables comparison of the X-ray polarisation properties of a single transient across the X-ray hardness-intensity diagram. The complete recovery of the X-ray polarisation properties, including the energy dependence, came after a dramatic drop in the X-ray polarisation during the soft state. The new IXPE observations in the dim hard state at the reverse transition indicate that the accretion properties, including the geometry of the corona, appear to be strikingly similar to the bright hard state during the outburst rise despite the X-ray luminosities differing by two orders of magnitude.


title: Uncertainty quantification for charge transport in GNRs through particle Galerkin methods for the semiclassical Boltzmann equation

abstract: In this article, we investigate some issues related to the quantification of uncertainties associated with the electrical properties of graphene nanoribbons. The approach is suited to understand the effects of missing information linked to the difficulty of fixing some material parameters, such as the band gap, and the strength of the applied electric field. In particular, we focus on the extension of particle Galerkin methods for kinetic equations in the case of the semiclassical Boltzmann equation for charge transport in graphene nanoribbons with uncertainties. To this end, we develop an efficient particle scheme which allows us to parallelize the computation and then, after a suitable generalization of the scheme to the case of random inputs, we present a Galerkin reformulation of the particle dynamics, obtained by means of a generalized polynomial chaos approach, which allows the reconstruction of the kinetic distribution. As a consequence, the proposed particle-based scheme preserves the physical properties and the positivity of the distribution function also in the presence of a complex scattering in the transport equation of electrons. The impact of the uncertainty of the band gap and applied field on the electrical current is analyzed.

categories: physics.comp-ph cs.NA math.NA physics.app-ph


title: Log prismatic $F$-crystals and purity

abstract: Our goal is to study $p$-adic local systems on a rigid-analytic variety with semistable formal model. We prove that such a local system is semistable if and only if so are its restrictions to the points corresponding to the irreducible components of the special fiber. For this, the main body of the paper concerns analytic prismatic $F$-crystals on the absolute logarithmic prismatic site of a semistable $p$-adic log formal scheme. Analyzing Breuil-Kisin log prisms, we obtain a prismatic purity theorem and deduce the above purity theorem for semistable local systems.


title: X-Diffusion: Generating Detailed 3D MRI Volumes From a Single Image Using Cross-Sectional Diffusion Models

abstract: In this work, we present X-Diffusion, a cross-sectional diffusion model tailored for Magnetic Resonance Imaging (MRI) data. X-Diffusion is capable of generating the entire MRI volume from just a single MRI slice or optionally from few multiple slices, setting new benchmarks in the precision of synthesized MRIs from extremely sparse observations. The uniqueness lies in the novel view-conditional training and inference of X-Diffusion on MRI volumes, allowing for generalized MRI learning. Our evaluations span both brain tumour MRIs from the BRATS dataset and full-body MRIs from the UK Biobank dataset. Utilizing the paired pre-registered Dual-energy X-ray Absorptiometry (DXA) and MRI modalities in the UK Biobank dataset, X-Diffusion is able to generate detailed 3D MRI volume from a single full-body DXA. Remarkably, the resultant MRIs not only stand out in precision on unseen examples (surpassing state-of-the-art results by large margins) but also flawlessly retain essential features of the original MRI, including tumour profiles, spine curvature, brain volume, and beyond. Furthermore, the trained X-Diffusion model on the MRI datasets attains a generalization capacity out-of-domain (e.g. generating knee MRIs even though it is trained on brains). The code is available on the project website https://emmanuelleb985.github.io/XDiffusion/ .


title: Data-Driven Invertible Neural Surrogates of Atmospheric Transmission

abstract: We present a framework for inferring an atmospheric transmission profile from a spectral scene. This framework leverages a lightweight, physics-based simulator that is automatically tuned - by virtue of autodifferentiation and differentiable programming - to construct a surrogate atmospheric profile to model the observed data. We demonstrate utility of the methodology by (i) performing atmospheric correction, (ii) recasting spectral data between various modalities (e.g. radiance and reflectance at the surface and at the sensor), and (iii) inferring atmospheric transmission profiles, such as absorbing bands and their relative magnitudes.


title: Electronic structure of the surface superconducting Weyl semimetal PtBi$_2$

abstract: Trigonal PtBi$_2$ is a layered semimetal without inversion symmetry, featuring 12 Weyl points in the vicinity of the Fermi energy. Its topological Fermi arcs were recently shown to superconduct at low temperatures where bulk superconductivity is absent. Here, we perform first-principles calculations to investigate in detail the bulk and surface electronic structure of PtBi$_2$, and obtain the spin texture as well as the momentum-dependent localization of the arcs. Motivated by the experimentally observed recovery of inversion symmetry under pressure or upon doping, we interpolate between the two structures and determine the energy and momentum dependence of the Weyl nodes. For deeper insights into the surface superconductivity of PtBi$_2$, we construct a symmetry-adapted effective four-band model that accurately reproduces the Weyl points of PtBi$_2$. We supplement this model with an analysis of the symmetry-allowed pairings between the Fermi arcs, which naturally mix spin-singlet and spin-triplet channels. Moreover, the presence of surface-only superconductivity facilitates an intrinsic superconductor-semimetal-superconductor Josephson junction, with the semimetallic phase sandwiched between the two superconducting surfaces. For a phase difference of $\pi$, zero-energy Andreev bound states develop between the two terminations.


title: Strong minimal model theorem and Massey products

abstract: Kadeishvili's minimal model theorem establishes the existence of an $A_\infty$-structure, unique up to isomorphism, on the cohomology of a dg associative algebra, which captures its homotopy type. In this note we prove the existence of minimal models that are unique up to isotopy, a stronger result obviously known to T. Kadeishvili and certainly to others, yet seemingly overlooked by mankind. We will explore how this stronger result can help in the study of Massey products. First, we show that the attempts to extract a local information from the ternary operation $\mu_3$ of our minimal model leads directly to the rediscovery of the triple Massey product. The motto is: "The triple Massey product is an invariant manifestation of $\mu_3$." We then prove that, under reasonable assumptions, the higher Massey product $\langle x_1,\ldots,x_n\rangle$ equals the set of all values $\mu_n(x_1,\ldots,x_n)$, where $\mu_n$ runs over the $n$-ary products of our minimal models. We believe that this note will help to elucidate the still somewhat enigmatic relationship between minimal models and Massey products.


title: Three-dimensional Moir\'e Crystal

abstract: The work intends to extend the moir\'e physics to three dimensions. Three-dimensional moir\'e patterns can be realized in ultracold atomic gases by coupling two spin states in spin-dependent optical lattices with a relative twist, a structure currently unachievable in solid-state materials. We give the commensurate conditions under which the three-dimensional moir\'e pattern features a periodic structure, termed a three-dimensional moir\'e crystal. We emphasize a key distinction of three-dimensional moir\'e physics: in three dimensions, the twist operation generically does not commute with the rotational symmetry of the original lattice, unlike in two dimensions, where these two always commute. Consequently, the moir\'e crystal can exhibit a crystalline structure that differs from the original underlying lattice. We demonstrate that twisting a simple cubic lattice can generate various crystal structures. This capability of altering crystal structures by twisting offers a broad range of tunability for three-dimensional band structures.


title: Seeing Through the Clouds: Cloud Gap Imputation with Prithvi Foundation Model

abstract: Filling cloudy pixels in multispectral satellite imagery is essential for accurate data analysis and downstream applications, especially for tasks which require time series data. To address this issue, we compare the performance of a foundational Vision Transformer (ViT) model with a baseline Conditional Generative Adversarial Network (CGAN) model for missing value imputation in time series of multispectral satellite imagery. We randomly mask time series of satellite images using real-world cloud masks and train each model to reconstruct the missing pixels. The ViT model is fine-tuned from a pretrained model, while the CGAN is trained from scratch. Using quantitative evaluation metrics such as structural similarity index and mean absolute error as well as qualitative visual analysis, we assess imputation accuracy and contextual preservation.


title: Hilbert series of representations of categories of $G$-sets

abstract: Let $G$ be a finite group. A contravariant functor from the category of finite free $G$-sets to vector spaces has an associated Hilbert series, which records the underlying sequence of $G^n$ representations, $n \in \mathbb N$. We prove that this Hilbert series is rational with denominator given by linear polynomials with coefficients in the field generated by the character table of $G$.


title: Radio Resource Management Design for RSMA: Optimization of Beamforming, User Admission, and Discrete/Continuous Rates with Imperfect SIC

abstract: This paper investigates the radio resource management (RRM) design for multiuser rate-splitting multiple access (RSMA), accounting for various characteristics of practical wireless systems, such as the use of discrete rates, the inability to serve all users, and the imperfect successive interference cancellation (SIC). Specifically, failure to consider these characteristics in RRM design may lead to inefficient use of radio resources. Therefore, we formulate the RRM of RSMA as optimization problems to maximize respectively the weighted sum rate (WSR) and weighted energy efficiency (WEE), and jointly optimize the beamforming, user admission, discrete/continuous rates, accounting for imperfect SIC, which result in nonconvex mixed-integer nonlinear programs that are challenging to solve. Despite the difficulty of the optimization problems, we develop algorithms that can find high-quality solutions. We show via simulations that carefully accounting for the aforementioned characteristics, can lead to significant gains. Precisely, by considering that transmission rates are discrete, the transmit power can be utilized more intelligently, allocating just enough power to guarantee a given discrete rate. Additionally, we reveal that user admission plays a crucial role in RSMA, enabling additional gains compared to random admission by facilitating the servicing of selected users with mutually beneficial channel characteristics. Furthermore, provisioning for possibly imperfect SIC makes RSMA more robust and reliable.


title: Quantum Cloud Computing: Trends and Challenges

abstract: Quantum computing (QC) is a new paradigm that will revolutionize various areas of computing, especially cloud computing. QC, still in its infancy, is a costly technology capable of operating in highly isolated environments due to its rapid response to environmental factors. For this reason, it is still a challenging technology for researchers to reach. Integrating QC into an isolated remote server, like a cloud, and making it available to users can overcome these problems. Furthermore, experts predict that QC, with its ability to swiftly resolve complex and computationally intensive operations, will offer significant benefits in systems that process large amounts of data, like cloud computing. This article presents the vision and challenges for the quantum cloud computing (QCC) paradigm that will emerge with the integration of quantum and cloud computing. Next, we present the advantages of QC over classical computing applications. We analyze the effects of QC on cloud systems, such as cost, security, and scalability. Besides all of these advantages, we highlight research gaps in QCC, such as qubit stability and efficient resource allocation. This article identifies QCC's advantages and challenges for future research, highlighting research gaps.


title: High-throughput discovery of metal oxides with high thermoelectric performance via interpretable feature engineering on small data

abstract: In this work, we have proposed a data-driven screening framework combining the interpretable machine learning with high-throughput calculations to identify a series of metal oxides that exhibit both high-temperature tolerance and high power factors. Aiming at the problem of weak generalization ability of small data with power factors at high temperatures, we employ symbolic regression for feature creation which enhances the robustness of the model while preserving the physical meaning of features. 33 candidate metal oxides are finally targeted for high-temperature thermoelectric applications from a pool of 48,694 compounds in the Materials Project database. The Boltzmann transport theory is utilized to perform electrical transport properties calculations at 1,000 K. The relaxation time is approximated by employing constant electron-phonon coupling based on the deformation potential theory. Considering band degeneracy, the electron group velocity is obtained using the momentum matrix element method, yielding 28 materials with power factors greater than 50 ${\mu}W cm^{-1} K^{-2} $. The high-throughput framework we proposed is instrumental in the selection of metal oxides for high-temperature thermoelectric applications. Furthermore, our data-driven analysis and transport calculation suggest that metal oxides rich in elements such as cerium (Ce), tin (Sn), and lead (Pb) tend to exhibit high power factors at high temperatures.


title: COTS: Connected OpenAPI Test Synthesis for RESTful Applications

abstract: We present a novel model-driven approach for testing RESTful applications. We introduce a (i) domain-specific language for OpenAPI specifications and (ii) a tool to support our methodology. Our DSL is inspired by session types and enables the modelling of communication protocols between a REST client and server. Our tool, dubbed COTS, generates (randomised) model-based test executions and reports software defects. We evaluate the effectiveness of our approach by applying it to test several open source applications. Our findings indicate that our methodology can identify nuanced defects in REST APIs and achieve comparable or superior code coverage when compared to much larger handcrafted test suites.


title: SemiPL: A Semi-supervised Method for Event Sound Source Localization

abstract: In recent years, Event Sound Source Localization has been widely applied in various fields. Recent works typically relying on the contrastive learning framework show impressive performance. However, all work is based on large relatively simple datasets. It's also crucial to understand and analyze human behaviors (actions and interactions of people), voices, and sounds in chaotic events in many applications, e.g., crowd management, and emergency response services. In this paper, we apply the existing model to a more complex dataset, explore the influence of parameters on the model, and propose a semi-supervised improvement method SemiPL. With the increase in data quantity and the influence of label quality, self-supervised learning will be an unstoppable trend. The experiment shows that the parameter adjustment will positively affect the existing model. In particular, SSPL achieved an improvement of 12.2% cIoU and 0.56% AUC in Chaotic World compared to the results provided. The code is available at: https://github.com/ly245422/SSPL


title: Unified Framework of Forced Magnetic Reconnection and Alfven Resonance

abstract: A unified linear theory that includes forced reconnection as a particular case of Alfv\'en resonance is presented. We consider a generalized Taylor problem in which a sheared magnetic field is subject to a time-dependent boundary perturbation oscillating at frequency $\omega_0$. By analyzing the asymptotic time response of the system, the theory demonstrates that the Alfv\'en resonance is due to the residues at the resonant poles, in the complex frequency plane, introduced by the boundary perturbation. Alfv\'en resonance transitions towards forced reconnection, described by the constant-psi regime for (normalized) times $t\gg S^{1/3}$, when the forcing frequency of the boundary perturbation is $\omega_0\ll S^{-1/3}$, allowing the coupling of the Alfv\'en resonances across the neutral line with the reconnecting mode, as originally suggested in [1]. Additionally, it is shown that even if forced reconnection develops for finite, albeit small, frequencies, the reconnection rate and reconnected flux are strongly reduced for frequencies $\omega_0\gg S^{-3/5}$.


title: More luminous red novae that require jets

abstract: I study two intermediate luminosity optical transients (ILOTs) classified as luminous red novae (LRNe) and argue that their modeling with a common envelope evolution (CEE) without jets encounters challenges. LRNe are ILOTs powered by violent binary interaction. Although popular in the literature is to assume a CEE is the cause of LRNe, I here repeat an old claim that many LRNe are powered by grazing envelope evolution (GEE) events; the GEE might end in a CEE or a detached binary system. I find that the LRN AT 2021biy might have continued to experience mass ejection episodes after its eruption and, therefore, might not suffered a full CEE during the outburst. This adds to an earlier finding that a jet-less model does not account for some of its properties. I find that a suggested jet-less CEE model for the LRN AT 2019zhd does not reproduce its photosphere radius evolution. These results that challenge jet-less models of two LRNe strengthen a previous claim that jets play major roles in powering ILOTs and shaping their ejecta and that in many LRNe, the more compact companion launches the jets during a GEE.


title: Novel Round Trip Time Estimation in 5G NR

abstract: The fifth generation new radio (5G NR) technology is expected to fulfill reliable and accurate positioning requirements of industry use cases, such as autonomous robots, connected vehicles, and future factories. Starting from Third Generation Partnership Project (3GPP) Release-16, several enhanced positioning solutions are featured in the 5G standards, including the multi-cell round trip time (multi-RTT) method. This work presents a novel framework to estimate the round-trip time (RTT) between a user equipment (UE) and a base station (gNB) in 5G NR. Unlike the existing scheme in the standards, RTT can be estimated without the need to send timing measurements from both the gNB and UE to a central node. The proposed method relies on obtaining multiple coherent uplink wide-band channel measurements at the gNB by circumventing the timing advance control loops and the clock drift. The performance is evaluated through experiments leveraging a real world 5G testbed based on OpenAirInterface (OAI). Under a moderate system bandwidth of 40MHz, the experimental results show meter level range accuracy even in low signal-to-noise ratio (SNR) conditions.


title: Physical Non-inertial Poser (PNP): Modeling Non-inertial Effects in Sparse-inertial Human Motion Capture

abstract: Existing inertial motion capture techniques use the human root coordinate frame to estimate local poses and treat it as an inertial frame by default. We argue that when the root has linear acceleration or rotation, the root frame should be considered non-inertial theoretically. In this paper, we model the fictitious forces that are non-neglectable in a non-inertial frame by an auto-regressive estimator delicately designed following physics. With the fictitious forces, the force-related IMU measurement (accelerations) can be correctly compensated in the non-inertial frame and thus Newton's laws of motion are satisfied. In this case, the relationship between the accelerations and body motions is deterministic and learnable, and we train a neural network to model it for better motion capture. Furthermore, to train the neural network with synthetic data, we develop an IMU synthesis by simulation strategy to better model the noise model of IMU hardware and allow parameter tuning to fit different hardware. This strategy not only establishes the network training with synthetic data but also enables calibration error modeling to handle bad motion capture calibration, increasing the robustness of the system. Code is available at https://xinyu-yi.github.io/PNP/.


title: Be Aware of the Neighborhood Effect: Modeling Selection Bias under Interference

abstract: Selection bias in recommender system arises from the recommendation process of system filtering and the interactive process of user selection. Many previous studies have focused on addressing selection bias to achieve unbiased learning of the prediction model, but ignore the fact that potential outcomes for a given user-item pair may vary with the treatments assigned to other user-item pairs, named neighborhood effect. To fill the gap, this paper formally formulates the neighborhood effect as an interference problem from the perspective of causal inference and introduces a treatment representation to capture the neighborhood effect. On this basis, we propose a novel ideal loss that can be used to deal with selection bias in the presence of neighborhood effect. We further develop two new estimators for estimating the proposed ideal loss. We theoretically establish the connection between the proposed and previous debiasing methods ignoring the neighborhood effect, showing that the proposed methods can achieve unbiased learning when both selection bias and neighborhood effect are present, while the existing methods are biased. Extensive semi-synthetic and real-world experiments are conducted to demonstrate the effectiveness of the proposed methods.


title: Fibonacci and Lucas Sequences in Aperiodic Monotile Supertiles

abstract: This paper first discusses the size and orientation of hat supertiles. Fibonacci and Lucas sequences, as well as a third integer sequence linearly related to the Lucas sequence are involved. The result is then generalized to any aperiodic tile in the hat family.


title: Fake it to make it: Using synthetic data to remedy the data shortage in joint multimodal speech-and-gesture synthesis

abstract: Although humans engaged in face-to-face conversation simultaneously communicate both verbally and non-verbally, methods for joint and unified synthesis of speech audio and co-speech 3D gesture motion from text are a new and emerging field. These technologies hold great promise for more human-like, efficient, expressive, and robust synthetic communication, but are currently held back by the lack of suitably large datasets, as existing methods are trained on parallel data from all constituent modalities. Inspired by student-teacher methods, we propose a straightforward solution to the data shortage, by simply synthesising additional training material. Specifically, we use unimodal synthesis models trained on large datasets to create multimodal (but synthetic) parallel training data, and then pre-train a joint synthesis model on that material. In addition, we propose a new synthesis architecture that adds better and more controllable prosody modelling to the state-of-the-art method in the field. Our results confirm that pre-training on large amounts of synthetic data improves the quality of both the speech and the motion synthesised by the multimodal model, with the proposed architecture yielding further benefits when pre-trained on the synthetic data. See https://shivammehta25.github.io/MAGI/ for example output.


title: Level-$k$ Reasoning, Cognitive Hierarchy, and Rationalizability

abstract: We use a uniform framework to give Camerer, Ho, and Chong's (2004) cognitive hierarchy (CH) solution and its dynamic extension a decision-theoretical foundation by the epistemic game theoretical solution concept $\Delta$-rationalizability (Battigalli and Siniscalchi, 2003). We interpret level-$k$ strategic sophistication as an information type and define restriction $\Delta^\kappa$ on information types; based on it, we show that in the behavioral consequence of rationality, common belief in rationality and transparency, called $\Delta^\kappa$-rationalizability, the levels of reasoning is endogenously determined. We show that in static games, CH solution generically coincides with $\Delta^\kappa$-rationalizability; based on this, we connect CH with Bayesian equilibrium. By adapting $\Delta^\kappa$ into dynamic games, we show that Lin and Palfrey's (2024) DCH solution generically coincides with the behavioral consequence of rationality, common strong belief in rationality, and transparency of (dynamic) $\Delta^\kappa$. The same framework could also be used to analyze many variations of CH in the literature.


title: Impact of recent updates to neutrino oscillation parameters on the effective Majorana neutrino mass in 0$\nu\beta\beta$ Decay

abstract: We investigate how recent updates to neutrino oscillation parameters and the sum of neutrino masses influence the sensitivity of neutrinoless double-beta (0$\nu\beta\beta$) decay experiments. Incorporating the latest cosmological constraints on the sum of neutrino masses and laboratory measurements on oscillations, we determine the sum of neutrino masses for both the normal hierarchy (NH) and the inverted hierarchy (IH). Our analysis reveals a narrow range for the sum of neutrino masses, approximately 0.06 eV/c$^2$ for NH and 0.102 eV/c$^2$ for IH. Utilizing these constraints, we calculate the effective Majorana masses for both NH and IH scenarios, establishing the corresponding allowed regions. Importantly, we find that the minimum neutrino mass is non-zero, as constrained by the current oscillation parameters. Additionally, we estimate the half-life of 0$\nu\beta\beta$ decay using these effective Majorana masses for both NH and IH. Our results suggest that upcoming ton-scale experiments will comprehensively explore the IH scenario, while 100-ton-scale experiments will effectively probe the parameter space for the NH scenario, provided the background index can achieve 1 event/kton-year in the region of interest.


title: Dual-Port Grid-Forming Interconnecting Power Converters in Hybrid AC/DC Grids

abstract: Interconnecting power converters (IPC) are the main elements enabling the interconnection of multiple high-voltage alternating current (HVAC) and high-voltage direct current (HVDC) subgrids. These converters can be classified either as grid-forming or grid-following. These roles can be assigned to both ac and dc terminals. This work compares state-of-the-art single-port grid-forming and grid-following control schemes with a dual-port grid-forming control scheme, which can simultaneously form a stable voltage on the ac and the dc sides. The dual-port grid-forming small-signal stability and dynamic behavior under fluctuations in the power flow are studied and compared against state-of-the-art control architectures. Moreover, the dual-port control scheme is validated and tested on a down-scaled laboratory platform with several transient events.


title: Machine learning of continuous and discrete variational ODEs with convergence guarantee and uncertainty quantification

abstract: The article introduces a method to learn dynamical systems that are governed by Euler--Lagrange equations from data. The method is based on Gaussian process regression and identifies continuous or discrete Lagrangians and is, therefore, structure preserving by design. A rigorous proof of convergence as the distance between observation data points converges to zero is provided. Next to convergence guarantees, the method allows for quantification of model uncertainty, which can provide a basis of adaptive sampling techniques. We provide efficient uncertainty quantification of any observable that is linear in the Lagrangian, including of Hamiltonian functions (energy) and symplectic structures, which is of interest in the context of system identification. The article overcomes major practical and theoretical difficulties related to the ill-posedness of the identification task of (discrete) Lagrangians through a careful design of geometric regularisation strategies and through an exploit of a relation to convex minimisation problems in reproducing kernel Hilbert spaces.


title: Acceso abierto en Argentina: una propuesta para el monitoreo de las publicaciones cient\'ificas con OpenAlex

abstract: This study proposes a methodology using OpenAlex (OA) for tracking Open Access publications in the case of Argentina, a country where a self-archiving mandate has been in effect since 2013 ( Law 26.899, 2013). A sample of 167,240 papers by researchers from the National Council for Scientific and Technical Research (CONICET) was created and analyzed using statistical techniques. We estimate that OA is able to capture between 85-93% of authors for all disciplines, with the exception of Social Sciences and Humanities, where it only reaches an estimated 47%. The availability of papers in Open Access was calculated to be 41% for the period 1953-2021 and 46% when considering exclusively the post-law period (2014-2021). In both periods, gold Open Access made up the most common route. When comparing equal periods post and pre-law, we observed that the upward trend of gold Open Access was pre-existing to the legislation and the availability of closed articles in repositories increased by 5% to what is estimated based on existing trends. However, while the green route has had a positive evolution, it has been the publication in gold journals that has boosted access to Argentine production more rapidly. We concluded that the OA-based methodology, piloted here for the first time, is viable for tracking Open Access in Argentina since it yields percentages similar to other national and international studies. En este estudio se propone una metodolog\'ia utilizando OpenAlex (OA) para monitorear el acceso abierto (AA) a las publicaciones cient\'ificas para el caso de Argentina, pa\'is donde rige el mandato de autoarchivo -Ley 26.899 (2013)-. Se conform\'o una muestra con 167.240 art\'iculos de investigadores del Consejo Nacional de Investigaciones Cient\'ificas y T\'ecnicas (CONICET) que se analizaron con t\'ecnicas estad\'isticas. Se estim\'o que OA puede representar entre 85-93% de los autores para todas las disciplinas, excepto Ciencias Sociales y Humanidades, donde solo alcanza al 47%. Se calcul\'o que 41% de los art\'iculos publicados entre 1953-2021 incluidos en la fuente est\'an en AA, porcentaje que sube a 46% al considerar exclusivamente el periodo post ley (2014-2021). En ambos periodos es la v\'ia dorada la que representa mayor proporci\'on. Al comparar periodos iguales post y pre ley, se observ\'o que la tendencia en alza de la v\'ia dorada era preexistente a la legislaci\'on y la disponibilidad de art\'iculos cerrados en repositorios aument\'o un 5% a lo que se estima en base a tendencias existentes. Se concluye que si bien la v\'ia verde ha tenido una evoluci\'on positiva, ha sido la publicaci\'on en revistas doradas lo que ha impulsado m\'as r\'apidamente el acceso a la producci\'on argentina. Asimismo, que la metodolog\'ia basada en OA, piloteada aqu\'i por primera vez, es viable para monitorear el AA en Argentina ya que arroja porcentajes similares a otros estudios nacionales e internacionales.


title: A Wide Metallicity Range for Gyr-old Stars in the Nuclear Star Cluster

abstract: We report metallicities for three $\sim$Gyr-old stars in the Milky Way nuclear star cluster (NSC) using high-resolution near-infrared spectroscopy. We derive effective temperatures from a calibration with Sc line strength, which yields results in good agreement with other methods, and metallicities from spectral fits to Fe I lines. Our derived metallicities range from -1.2 < [Fe/H] < +0.5, a span of 1.7 dex. In addition we use isochrone projection to obtain masses of 1.6 to 4.3 M$_\odot$, and ages assuming single-star evolution. The oldest of these stars is 1.5 Gyr while the youngest and most metal-rich is only 100 Myr. The wide range in metallicity poses interesting questions concerning the chemical evolution and enrichment of the NSC and adds to the evidence for the presence of a young, metal-rich population in the NSC. We suggest that the candidate intermediate-age, metal-poor ([Fe/H] = -1.2) star may be best explained as a blue straggler from an underlying old population.


title: The Drawback of Insight: Detailed Explanations Can Reduce Agreement with XAI

abstract: With the emergence of Artificial Intelligence (AI)-based decision-making, explanations help increase new technology adoption through enhanced trust and reliability. However, our experimental study challenges the notion that every user universally values explanations. We argue that the agreement with AI suggestions, whether accompanied by explanations or not, is influenced by individual differences in personality traits and the users' comfort with technology. We found that people with higher neuroticism and lower technological comfort showed more agreement with the recommendations without explanations. As more users become exposed to eXplainable AI (XAI) and AI-based systems, we argue that the XAI design should not provide explanations for users with high neuroticism and low technology comfort. Prioritizing user personalities in XAI systems will help users become better collaborators of AI systems.


title: Analyzing and Exploring Training Recipes for Large-Scale Transformer-Based Weather Prediction

abstract: The rapid rise of deep learning (DL) in numerical weather prediction (NWP) has led to a proliferation of models which forecast atmospheric variables with comparable or superior skill than traditional physics-based NWP. However, among these leading DL models, there is a wide variance in both the training settings and architecture used. Further, the lack of thorough ablation studies makes it hard to discern which components are most critical to success. In this work, we show that it is possible to attain high forecast skill even with relatively off-the-shelf architectures, simple training procedures, and moderate compute budgets. Specifically, we train a minimally modified SwinV2 transformer on ERA5 data, and find that it attains superior forecast skill when compared against IFS. We present some ablations on key aspects of the training pipeline, exploring different loss functions, model sizes and depths, and multi-step fine-tuning to investigate their effect. We also examine the model performance with metrics beyond the typical ACC and RMSE, and investigate how the performance scales with model size.


title: On Training a Neural Network to Explain Binaries

abstract: In this work, we begin to investigate the possibility of training a deep neural network on the task of binary code understanding. Specifically, the network would take, as input, features derived directly from binaries and output English descriptions of functionality to aid a reverse engineer in investigating the capabilities of a piece of closed-source software, be it malicious or benign. Given recent success in applying large language models (generative AI) to the task of source code summarization, this seems a promising direction. However, in our initial survey of the available datasets, we found nothing of sufficiently high quality and volume to train these complex models. Instead, we build our own dataset derived from a capture of Stack Overflow containing 1.1M entries. A major result of our work is a novel dataset evaluation method using the correlation between two distances on sample pairs: one distance in the embedding space of inputs and the other in the embedding space of outputs. Intuitively, if two samples have inputs close in the input embedding space, their outputs should also be close in the output embedding space. We found this Embedding Distance Correlation (EDC) test to be highly diagnostic, indicating that our collected dataset and several existing open-source datasets are of low quality as the distances are not well correlated. We proceed to explore the general applicability of EDC, applying it to a number of qualitatively known good datasets and a number of synthetically known bad ones and found it to be a reliable indicator of dataset value.


title: Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques

abstract: Behavioural distances of transition systems modelled as coalgebras for endofunctors generalize the traditional notions of behavioural equivalence to a quantitative setting, in which states are equipped with a measure of how (dis)similar they are. Endowing transition systems with such distances essentially relies on the ability to lift functors describing the one-step behavior of the transition systems to the category of pseudometric spaces. We consider the Kantorovich lifting of a functor on quantale-valued relations, which subsumes equivalences, preorders and (directed) metrics. We use tools from fibred category theory, which allow one to see the Kantorovich lifting as arising from an appropriate fibred adjunction. Our main contributions are compositionality results for the Kantorovich lifting, where we show that that the lifting of a composed functor coincides with the composition of the liftings. In addition we describe how to lift distributive laws in the case where one of the two functors is polynomial. These results are essential ingredients for adopting up-to-techniques to the case of quantale-valued behavioural distances. Up-to techniques are a well-known coinductive technique for efficiently showing lower bounds for behavioural distances. We conclude by illustrating the results of our paper in two case studies.


title: SEArch: an execution infrastructure for service-based software systems

abstract: The shift from monolithic applications to composition of distributed software initiated in the early twentieth, is based on the vision of software-as-service. This vision, found in many technologies such as RESTful APIs, advocates globally available services cooperating through an infrastructure providing (access to) distributed computational resources. Choreographies can support this vision by abstracting away local computation and rendering interoperability with message-passing: cooperation is achieved by sending and receiving messages. Following this choreographic paradigm, we develop SEArch, after Service Execution Architecture, a language-independent execution infrastructure capable of performing transparent dynamic reconfiguration of software artefacts. Choreographic mechanisms are used in SEArch to specify interoperability contracts, thus providing the support needed for automatic discovery and binding of services at runtime.


title: DF Louvain: Fast Incrementally Expanding Approach for Community Detection on Dynamic Graphs

abstract: Community detection is the problem of recognizing natural divisions in networks. A relevant challenge in this problem is to find communities on rapidly evolving graphs. In this report we present our Parallel Dynamic Frontier (DF) Louvain algorithm, which given a batch update of edge deletions and insertions, incrementally identifies and processes an approximate set of affected vertices in the graph with minimal overhead, while using a novel approach of incrementally updating weighted-degrees of vertices and total edge weights of communities. We also present our parallel implementations of Naive-dynamic (ND) and Delta-screening (DS) Louvain. On a server with a 64-core AMD EPYC-7742 processor, our experiments show that DF Louvain obtains speedups of 179x, 7.2x, and 5.3x on real-world dynamic graphs, compared to Static, ND, and DS Louvain, respectively, and is 183x, 13.8x, and 8.7x faster, respectively, on large graphs with random batch updates. Moreover, DF Louvain improves its performance by 1.6x for every doubling of threads.


title: Thermal Fluid Closures and Pressure Anisotropies in Numerical Simulations of Plasma Wakefield Acceleration

abstract: We investigate the dynamics of plasma-based acceleration processes with collisionless particle dynamics and non negligible thermal effects. We aim at assessing the applicability of fluid-like models, obtained by suitable closure assumptions applied to the relativistic kinetic equations, thus not suffering of statistical noise, even in presence of a finite temperature. The work here presented focuses on the characterization of pressure anisotropies, which crucially depend on the adopted closure scheme, and hence are useful to discern the appropriate thermal fluid model. To this aim, simulation results of spatially resolved fluid models with different thermal closure assumptions are compared with the results of particle-in-cell (PIC) simulations at changing temperature and amplitude of plasma oscillations.


title: Inverse Modeling of Bubble Size Dynamics for Interphase Mass Transfer and Gas Holdup in CO2 Bubble Column Reactors

abstract: The use of microbial gas fermentation for transforming captured CO2 into sustainable fuels and chemicals has been identified as a promising decarbonization pathway. To accelerate the scale-up of gaseous CO2 fermentation reactors, computational models need to predict gas-to-liquid mass transfer which requires capturing the bubble size dynamics, i.e. bubble breakup and coalescence. In this work, an inverse modeling approach is used to calibrate the breakup and coalescence closure models, that are used in the Multiple-Size-Group (MUSIG) population balance modeling (PBM). The calibration aims at replicating experimental results obtained in a CO2-air-water-coflowing bubble column reactor. Bayesian inference is used to account for noise in the experimental dataset and bias in the simulation results. The estimated simulation bias also allows identifying the best-performing closure models irrespective of the model parameters used. The calibration results suggest that the breakage rate is underestimated by one order of magnitude in two different breakup modeling approaches.


title: Synchrony for weak coupling in the complexified Kuramoto model

abstract: We present the finite-size Kuramoto model analytically continued from real to complex variables and analyze its collective dynamics. For strong coupling, synchrony appears through locked states that constitute attractors, as for the real-variable system. However, synchrony persists in the form of \textit{complex locked states} for coupling strengths $K$ below the transition $K^{(\text{pl})}$ to classical \textit{phase locking}. Stable complex locked states indicate a locked sub-population of zero mean frequency in the real-variable model and their imaginary parts help identifying which units comprise that sub-population. We uncover a second transition at $K'<K^{(\text{pl})}$ below which complex locked states become linearly unstable yet still exist for arbitrarily small coupling strengths.


title: SpComm3D: A Framework for Enabling Sparse Communication in 3D Sparse Kernels

abstract: Existing 3D algorithms for distributed-memory sparse kernels suffer from limited scalability due to reliance on bulk sparsity-agnostic communication. While easier to use, sparsity-agnostic communication leads to unnecessary bandwidth and memory consumption. We present SpComm3D, a framework for enabling sparsity-aware communication and minimal memory footprint such that no unnecessary data is communicated or stored in memory. SpComm3D performs sparse communication efficiently with minimal or no communication buffers to further reduce memory consumption. SpComm3D detaches the local computation at each processor from the communication, allowing flexibility in choosing the best accelerated version for computation. We build 3D algorithms with SpComm3D for the two important sparse ML kernels: Sampled Dense-Dense Matrix Multiplication (SDDMM) and Sparse matrix-matrix multiplication (SpMM). Experimental evaluations on up to 1800 processors demonstrate that SpComm3D has superior scalability and outperforms state-of-the-art sparsity-agnostic methods with up to 20x improvement in terms of communication, memory, and runtime of SDDMM and SpMM. The code is available at: https://github.com/nfabubaker/SpComm3D


title: ESP-Zero: Unsupervised enhancement of zero-shot classification for Extremely Sparse Point cloud

abstract: In recent years, zero-shot learning has attracted the focus of many researchers, due to its flexibility and generality. Many approaches have been proposed to achieve the zero-shot classification of the point clouds for 3D object understanding, following the schema of CLIP. However, in the real world, the point clouds could be extremely sparse, dramatically limiting the effectiveness of the 3D point cloud encoders, and resulting in the misalignment of point cloud features and text embeddings. To the point cloud encoders to fit the extremely sparse point clouds without re-running the pre-training procedure which could be time-consuming and expensive, in this work, we propose an unsupervised model adaptation approach to enhance the point cloud encoder for the extremely sparse point clouds. We propose a novel fused-cross attention layer that expands the pre-trained self-attention layer with additional learnable tokens and attention blocks, which effectively modifies the point cloud features while maintaining the alignment between point cloud features and text embeddings. We also propose a complementary learning-based self-distillation schema that encourages the modified features to be pulled apart from the irrelevant text embeddings without overfitting the feature space to the observed text embeddings. Extensive experiments demonstrate that the proposed approach effectively increases the zero-shot capability on extremely sparse point clouds, and overwhelms other state-of-the-art model adaptation approaches.


title: Attacking Bayes: On the Adversarial Robustness of Bayesian Neural Networks

abstract: Adversarial examples have been shown to cause neural networks to fail on a wide range of vision and language tasks, but recent work has claimed that Bayesian neural networks (BNNs) are inherently robust to adversarial perturbations. In this work, we examine this claim. To study the adversarial robustness of BNNs, we investigate whether it is possible to successfully break state-of-the-art BNN inference methods and prediction pipelines using even relatively unsophisticated attacks for three tasks: (1) label prediction under the posterior predictive mean, (2) adversarial example detection with Bayesian predictive uncertainty, and (3) semantic shift detection. We find that BNNs trained with state-of-the-art approximate inference methods, and even BNNs trained with Hamiltonian Monte Carlo, are highly susceptible to adversarial attacks. We also identify various conceptual and experimental errors in previous works that claimed inherent adversarial robustness of BNNs and conclusively demonstrate that BNNs and uncertainty-aware Bayesian prediction pipelines are not inherently robust against adversarial attacks.


title: Fast and label-free 3D virtual H&E histology via active modulation-assisted dynamic full-field OCT

abstract: Pathological features are the gold standard for tumor diagnosis, guiding treatment and prognosis. However, standard histopathological process is labor-intensive and time-consuming, while frozen sections have lower accuracy. Dynamic full-field optical coherence tomography (D-FFOCT) offers rapid histologic information by measuring the subcellular dynamics of fresh, unprocessed tissues. However, D-FFOCT images suffer from abrupt shifts in hue and brightness, which is confusing for pathologists and diminish their interpretability and reliability. Here, we present active phase modulation-assisted D-FFOCT (APMD-FFOCT) to improve the imaging stability and enhance the contrast of static tissues. This enables us to further employ an unsupervised deep learning to convert APMD-FFOCT images into virtual hematoxylin and eosin (H&E) stained images for the first time. Three-dimensional (3D) virtual H&E-stained images have been obtained at a scanning rate of 1 frame per second, as demonstrated in cancer diagnosis for human central nervous system and breast. The results prove that this new method will play a unique and important role in intraoperative histology.


title: Monadic aspects of the ideal lattice functor on the category of distributive lattices

abstract: It is known that the construction of the frame of ideals from a distributive lattice induces a monad whose algebras are precisely the frames and frame homomorphisms. Using the Fakir construction of an idempotent approximation of a monad, we extend B. Jacobs' results on lax idempotent monads and show that the sequence of monads and comonads generated by successive iterations of this ideal functor on its algebras and coalgebras do not strictly lead to a new category. We further extend this result and provide a new proof of the equivalence between distributive lattices and coherent frames by showing that when the first inductive step in the Fakir construction is the identity monad, then the ambient category is equivalent to the free algebras.


title: Cybersecurity Pathways Towards CE-Certified Autonomous Forestry Machines

abstract: The increased importance of cybersecurity in autonomous machinery is becoming evident in the forestry domain. Forestry worksites are becoming more complex with the involvement of multiple systems and system of systems. Hence, there is a need to investigate how to address cybersecurity challenges for autonomous systems of systems in the forestry domain. Using a literature review and adapting standards from similar domains, as well as collaborative sessions with domain experts, we identify challenges towards CE-certified autonomous forestry machines focusing on cybersecurity and safety. Furthermore, we discuss the relationship between safety and cybersecurity risk assessment and their relation to AI, highlighting the need for a holistic methodology for their assurance.


title: MetaCoCo: A New Few-Shot Classification Benchmark with Spurious Correlation

abstract: Out-of-distribution (OOD) problems in few-shot classification (FSC) occur when novel classes sampled from testing distributions differ from base classes drawn from training distributions, which considerably degrades the performance of deep learning models deployed in real-world applications. Recent studies suggest that the OOD problems in FSC mainly including: (a) cross-domain few-shot classification (CD-FSC) and (b) spurious-correlation few-shot classification (SC-FSC). Specifically, CD-FSC occurs when a classifier learns transferring knowledge from base classes drawn from seen training distributions but recognizes novel classes sampled from unseen testing distributions. In contrast, SC-FSC arises when a classifier relies on non-causal features (or contexts) that happen to be correlated with the labels (or concepts) in base classes but such relationships no longer hold during the model deployment. Despite CD-FSC has been extensively studied, SC-FSC remains understudied due to lack of the corresponding evaluation benchmarks. To this end, we present Meta Concept Context (MetaCoCo), a benchmark with spurious-correlation shifts collected from real-world scenarios. Moreover, to quantify the extent of spurious-correlation shifts of the presented MetaCoCo, we further propose a metric by using CLIP as a pre-trained vision-language model. Extensive experiments on the proposed benchmark are performed to evaluate the state-of-the-art methods in FSC, cross-domain shifts, and self-supervised learning. The experimental results show that the performance of the existing methods degrades significantly in the presence of spurious-correlation shifts. We open-source all codes of our benchmark and hope that the proposed MetaCoCo can facilitate future research on spurious-correlation shifts problems in FSC. The code is available at: https://github.com/remiMZ/MetaCoCo-ICLR24.


title: Best polynomial approximation for non-autonomous linear ODEs in the $\star$-product framework

abstract: We present the first formulation of the optimal polynomial approximation of the solution of linear non-autonomous systems of ODEs in the framework of the so-called $\star$-product. This product is the basis of new approaches for the solution of such ODEs, both in the analytical and the numerical sense. The paper shows how to formally state the problem and derives upper bounds for its error.