title: Feature Denoising For Low-Light Instance Segmentation Using Weighted Non-Local Blocks

abstract: Instance segmentation for low-light imagery remains largely unexplored due to the challenges imposed by such conditions, for example shot noise due to low photon count, color distortions and reduced contrast. In this paper, we propose an end-to-end solution to address this challenging task. Based on Mask R-CNN, our proposed method implements weighted non-local (NL) blocks in the feature extractor. This integration enables an inherent denoising process at the feature level. As a result, our method eliminates the need for aligned ground truth images during training, thus supporting training on real-world low-light datasets. We introduce additional learnable weights at each layer in order to enhance the network's adaptability to real-world noise characteristics, which affect different feature scales in different ways. Experimental results show that the proposed method outperforms the pretrained Mask R-CNN with an Average Precision (AP) improvement of +10.0, with the introduction of weighted NL Blocks further enhancing AP by +1.0.


title: A restricted memory quasi-Newton bundle method for nonsmooth optimization on Riemannian manifolds

abstract: In this paper, a restricted memory quasi-Newton bundle method for minimizing a locally Lipschitz function over a Riemannian manifold is proposed, which extends the classical one in Euclidean spaces to the manifold setting. The curvature information of the objective function is approximated by applying the Riemannian version of the quasi-Newton updating formulas. The subgradient aggregation technique is used to avoid solving the time-consuming quadratic programming subproblem when calculating the candidate descent direction. Moreover, a new Riemannian line search procedure is proposed to generate the stepsizes, and the process is finitely terminated under a new version of the Riemannian semismooth assumption. Global convergence of the proposed method is established: if the serious iteration steps are finite, then the last serious iterate is stationary; otherwise, every accumulation point of the serious iteration sequence is stationary. Finally, some preliminary numerical results show that the proposed method is efficient.


title: Enhancing Roadway Safety: LiDAR-based Tree Clearance Analysis

abstract: In the efforts for safer roads, ensuring adequate vertical clearance above roadways is of great importance. Frequently, trees or other vegetation is growing above the roads, blocking the sight of traffic signs and lights and posing danger to traffic participants. Accurately estimating this space from simple images proves challenging due to a lack of depth information. This is where LiDAR technology comes into play, a laser scanning sensor that reveals a three-dimensional perspective. Thus far, LiDAR point clouds at the street level have mainly been used for applications in the field of autonomous driving. These scans, however, also open up possibilities in urban management. In this paper, we present a new point cloud algorithm that can automatically detect those parts of the trees that grow over the street and need to be trimmed. Our system uses semantic segmentation to filter relevant points and downstream processing steps to create the required volume to be kept clear above the road. Challenges include obscured stretches of road, the noisy unstructured nature of LiDAR point clouds, and the assessment of the road shape. The identified points of non-compliant trees can be projected from the point cloud onto images, providing municipalities with a visual aid for dealing with such occurrences. By automating this process, municipalities can address potential road space constraints, enhancing safety for all. They may also save valuable time by carrying out the inspections more systematically. Our open-source code gives communities inspiration on how to automate the process themselves.


title: Deformed cluster maps of type $A_{2N}$

abstract: We extend recent work of the third author and Kouloukas by constructing deformations of integrable cluster maps corresponding to the Dynkin types $A_{2N}$, lifting these to higher-dimensional maps possessing the Laurent property and demonstrating integrality of the deformations for $N\leq 3$. This provides the first infinite class of examples (in arbitrarily high rank) of such maps and gives information on the associated discrete integrable systems. Key to our approach is a ``local expansion'' operation on quivers which allows us to construct and study mutations in type $A_{2N}$ from those in type $A_{2(N-1)}$.


title: Escaping Local Optima in Global Placement

abstract: Placement is crucial in the physical design, as it greatly affects power, performance, and area metrics. Recent advancements in analytical methods, such as DREAMPlace, have demonstrated impressive performance in global placement. However, DREAMPlace has some limitations, e.g., may not guarantee legalizable placements under the same settings, leading to fragile and unpredictable results. This paper highlights the main issue as being stuck in local optima, and proposes a hybrid optimization framework to efficiently escape the local optima, by perturbing the placement result iteratively. The proposed framework achieves significant improvements compared to state-of-the-art methods on two popular benchmarks.


title: How to think step-by-step: A mechanistic understanding of chain-of-thought reasoning

abstract: Despite superior reasoning prowess demonstrated by Large Language Models (LLMs) with Chain-of-Thought (CoT) prompting, a lack of understanding prevails around the internal mechanisms of the models that facilitate CoT generation. This work investigates the neural sub-structures within LLMs that manifest CoT reasoning from a mechanistic point of view. From an analysis of Llama-2 7B applied to multistep reasoning over fictional ontologies, we demonstrate that LLMs deploy multiple parallel pathways of answer generation for step-by-step reasoning. These parallel pathways provide sequential answers from the input question context as well as the generated CoT. We observe a functional rift in the middle layers of the LLM. Token representations in the initial half remain strongly biased towards the pretraining prior, with the in-context prior taking over in the later half. This internal phase shift manifests in different functional components: attention heads that write the answer token appear in the later half, attention heads that move information along ontological relationships appear in the initial half, and so on. To the best of our knowledge, this is the first attempt towards mechanistic investigation of CoT reasoning in LLMs.


title: Levelling Up Learning: Exploring the Impact of Gamification in Flipped Classrooms

abstract: In recent years, the integration of gamification into educational settings has garnered significant attention as a means to enhance student engagement and learning outcomes. By leveraging gamified elements such as points and leaderboards, educators aim to promote active participation, motivation, and deeper understanding among students. This study investigates the effects of gamification on student engagement in a flipped classroom environment. The findings suggest that gamification strategies, when effectively implemented, can have a positive impact on student motivation and engagement. This paper concludes with recommendations for educators, potential challenges such as superficial engagement and demotivation, and future directions for research to address these challenges and further explore the potential of gamification in fostering student success.


title: A New Method for Time Domain Displacement Response due to Concentrated Vertical Force on Free Surface of Elastic Half-space

abstract: This article presents the Huygens method as a novel alternative to the Cagniard-de Hoop method, offering insights into wave generation mechanisms and facilitating wave decomposition. It holds promise for various linear boundary problems and provides results without singularities. The study defines surface waves, including the Rayleigh wave, and identifies a novel wave mode, the Huygens wave. Additionally, it investigates displacements near the axis, providing simplified approximations and examining changes in displacements over time and space, noting their gradual attenuation.


title: Rare events in a stochastic vegetation-water dynamical system based on machine learning

abstract: Stochastic vegetation-water dynamical systems play a pivotal role in ecological stability, biodiversity, water resource management, and adaptation to climate change. This research proposes a machine learning-based method for analyzing rare events in stochastic vegetation-water dynamical systems with multiplicative Gaussian noise. Utilizing the Freidlin-Wentzell large deviation theory, we derive the asymptotic expressions for the quasipotential and the mean first exit time. Based on the decomposition of vector field, we design a neural network architecture to compute the most probable transition paths and the mean first exit time for both non-characteristic and characteristic boundary scenarios. The results indicate that this method can effectively predict early warnings of vegetation degradation, providing new theoretical foundations and mathematical tools for ecological management and conservation. Moreover, the method offers new possibilities for exploring more complex and higher-dimensional stochastic dynamical systems.


title: Stability and instability of the quasilinear Gross--Pitaevskii dark solitons

abstract: We study a quasilinear Schr\"odinger equation with nonzero conditions at infinity. In previous works, we obtained a continuous branch of traveling waves, given by dark solitons indexed by their speed. Neglecting the quasilinear term, one recovers the Gross--Pitaevskii equation, for which the branch of dark solitons is stable. Moreover, Z.~Lin showed that the Vakhitov--Kolokolov~(VK) stability criterion (in terms of the momentum of solitons) holds for general semilinear equations with nonvanishing conditions at infinity. In the quasilinear case, we prove that the VK stability criterion still applies, by generalizing Lin's arguments. Therefore, we deduce that the branch of dark solitons is stable for weak quasilinear interactions. For stronger quasilinear interactions, a cusp appears in the energy-momentum diagram, implying the stability of fast waves and the instability of slow waves.


title: Hybrid optomechanical superconducting qubit system

abstract: We propose an integrated nonlinear superconducting device based on a nanoelectromechanical shuttle. The system can be described as a qubit coupled to a bosonic mode. The topology of the circuit gives rise to an adjustable qubit/mechanical coupling, allowing the experimenter to tune between linear and quadratic coupling in the mechanical degrees of freedom. Owing to its flexibility and potential scalability, the proposed setup represents an important step towards the implementation of bosonic error correction with mechanical elements in large-scale superconducting circuits. We give preliminary evidence of this possibility by discussing a simple state-swapping protocol that uses this device as a quantum memory element.


title: SD-SLAM: A Semantic SLAM Approach for Dynamic Scenes Based on LiDAR Point Clouds

abstract: Point cloud maps generated via LiDAR sensors using extensive remotely sensed data are commonly used by autonomous vehicles and robots for localization and navigation. However, dynamic objects contained in point cloud maps not only downgrade localization accuracy and navigation performance but also jeopardize the map quality. In response to this challenge, we propose in this paper a novel semantic SLAM approach for dynamic scenes based on LiDAR point clouds, referred to as SD-SLAM hereafter. The main contributions of this work are in three aspects: 1) introducing a semantic SLAM framework dedicatedly for dynamic scenes based on LiDAR point clouds, 2) Employing semantics and Kalman filtering to effectively differentiate between dynamic and semi-static landmarks, and 3) Making full use of semi-static and pure static landmarks with semantic information in the SD-SLAM process to improve localization and mapping performance. To evaluate the proposed SD-SLAM, tests were conducted using the widely adopted KITTI odometry dataset. Results demonstrate that the proposed SD-SLAM effectively mitigates the adverse effects of dynamic objects on SLAM, improving vehicle localization and mapping performance in dynamic scenes, and simultaneously constructing a static semantic map with multiple semantic classes for enhanced environment understanding.


title: A Multimodal Handover Failure Detection Dataset and Baselines

abstract: An object handover between a robot and a human is a coordinated action which is prone to failure for reasons such as miscommunication, incorrect actions and unexpected object properties. Existing works on handover failure detection and prevention focus on preventing failures due to object slip or external disturbances. However, there is a lack of datasets and evaluation methods that consider unpreventable failures caused by the human participant. To address this deficit, we present the multimodal Handover Failure Detection dataset, which consists of failures induced by the human participant, such as ignoring the robot or not releasing the object. We also present two baseline methods for handover failure detection: (i) a video classification method using 3D CNNs and (ii) a temporal action segmentation approach which jointly classifies the human action, robot action and overall outcome of the action. The results show that video is an important modality, but using force-torque data and gripper position help improve failure detection and action segmentation accuracy.


title: Location-guided Head Pose Estimation for Fisheye Image

abstract: Camera with a fisheye or ultra-wide lens covers a wide field of view that cannot be modeled by the perspective projection. Serious fisheye lens distortion in the peripheral region of the image leads to degraded performance of the existing head pose estimation models trained on undistorted images. This paper presents a new approach for head pose estimation that uses the knowledge of head location in the image to reduce the negative effect of fisheye distortion. We develop an end-to-end convolutional neural network to estimate the head pose with the multi-task learning of head pose and head location. Our proposed network estimates the head pose directly from the fisheye image without the operation of rectification or calibration. We also created a fisheye-distorted version of the three popular head pose estimation datasets, BIWI, 300W-LP, and AFLW2000 for our experiments. Experiments results show that our network remarkably improves the accuracy of head pose estimation compared with other state-of-the-art one-stage and two-stage methods.


title: Privacy Policies and Consent Management Platforms: Growth and Users' Interactions over Time

abstract: In response to growing concerns about user privacy, legislators have introduced new regulations and laws such as the General Data Protection Regulation (GDPR) and the California Consumer Privacy Act (CCPA) that force websites to obtain user consent before activating personal data collection, fundamental to providing targeted advertising. The cornerstone of this consent-seeking process involves the use of Privacy Banners, the technical mechanism to collect users' approval for data collection practices. Consent management platforms (CMPs) have emerged as practical solutions to make it easier for website administrators to properly manage consent, allowing them to outsource the complexities of managing user consent and activating advertising features. This paper presents a detailed and longitudinal analysis of the evolution of CMPs spanning nine years. We take a twofold perspective: Firstly, thanks to the HTTP Archive dataset, we provide insights into the growth, market share, and geographical spread of CMPs. Noteworthy observations include the substantial impact of GDPR on the proliferation of CMPs in Europe. Secondly, we analyse millions of user interactions with a medium-sized CMP present in thousands of websites worldwide. We observe how even small changes in the design of Privacy Banners have a critical impact on the user's giving or denying their consent to data collection. For instance, over 60% of users do not consent when offered a simple "one-click reject-all" option. Conversely, when opting out requires more than one click, about 90% of users prefer to simply give their consent. The main objective is in fact to eliminate the annoying privacy banner rather the make an informed decision. Curiously, we observe iOS users exhibit a higher tendency to accept cookies compared to Android users, possibly indicating greater confidence in the privacy offered by Apple devices.


title: Unveiling novel insights into Kirchhoff migration for effective object detection using experimental Fresnel dataset

abstract: This study investigates the applicability of Kirchhoff migration (KM) for a fast identification of unknown objects in a real-world limited-aperture inverse scattering problem. To demonstrate the theoretical basis for the applicability including unique determination of objects, the imaging function of the KM was formulated using a uniformly convergent infinite series of Bessel functions of integer order of the first kind based on the integral equation formula for the scattered field. Numerical simulations performed using the experimental Fresnel dataset are exhibited to achieve the theoretical results.


title: Equivalent Environments and Covering Spaces for Robots

abstract: This paper formally defines a robot system, including its sensing and actuation components, as a general, topological dynamical system. The focus is on determining general conditions under which various environments in which the robot can be placed are indistinguishable. A key result is that, under very general conditions, covering maps witness such indistinguishability. This formalizes the intuition behind the well studied loop closure problem in robotics. An important special case is where the sensor mapping reports an invariant of the local topological (metric) structure of an environment because such structure is preserved by (metric) covering maps. Whereas coverings provide a sufficient condition for the equivalence of environments, we also give a necessary condition using bisimulation. The overall framework is applied to unify previously identified phenomena in robotics and related fields, in which moving agents with sensors must make inferences about their environments based on limited data. Many open problems are identified.


title: New characterizations of completely useful topologies in mathematical utility theory

abstract: Let $X$ be an arbitrary set. Then a topology $t$ on $X$ is said to be completely useful if every upper semicontinuous linear (total) preorder $\precsim$ on $X$ can be represented by an upper semicontinuous real-valued order preserving function. In this paper, appealing, simple and new characterizations of completely useful topologies will be proved, therefore clarifying the structure of such topologies.


title: Robotising Psychometrics: Validating Wellbeing Assessment Tools in Child-Robot Interactions

abstract: The interdisciplinary nature of Child-Robot Interaction (CRI) fosters incorporating measures and methodologies from many established domains. However, when employing CRI approaches to sensitive avenues of health and wellbeing, caution is critical in adapting metrics to retain their safety standards and ensure accurate utilisation. In this work, we conducted a secondary analysis to previous empirical work, investigating the reliability and construct validity of established psychological questionnaires such as the Short Moods and Feelings Questionnaire (SMFQ) and three subscales (generalised anxiety, panic and low mood) of the Revised Child Anxiety and Depression Scale (RCADS) within a CRI setting for the assessment of mental wellbeing. Through confirmatory principal component analysis, we have observed that these measures are reliable and valid in the context of CRI. Furthermore, our analysis revealed that scales communicated by a robot demonstrated a better fit than when self-reported, underscoring the efficiency and effectiveness of robot-mediated psychological assessments in these settings. Nevertheless, we have also observed variations in item contributions to the main factor, suggesting potential areas of examination and revision (e.g., relating to physiological changes, inactivity and cognitive demands) when used in CRI. Findings from this work highlight the importance of verifying the reliability and validity of standardised metrics and assessment tools when employed in CRI settings, thus, aiming to avoid any misinterpretations and misrepresentations.


title: When Should Algorithms Resign?

abstract: This paper discusses algorithmic resignation, a strategic approach for managing the use of AI systems within organizations. Algorithmic resignation involves the deliberate and informed disengagement from AI assistance in certain scenarios, by embedding governance mechanisms directly into AI systems. Our proposal is not merely about disuse of AI but includes guiding when and how these systems should be used or avoided. We discuss the multifaceted benefits of algorithmic resignation, spanning economic efficiency, reputational gains, and legal compliance. Further, we outline the operationalization of resignation through various methods such as positive and negative nudges, stakeholder incentive alignment, and careful consideration of the level of AI engagement. Using techniques like barring access to AI outputs selectively or providing explicit disclaimers on system performance, algorithmic resignation not only mitigates risks associated with AI but also leverages its benefits, ensuring the responsible and effective use of AI systems.


title: A geometric approach to Poincar\'e inequality and Minkowski content of separating sets

abstract: The goal of this paper is to continue the study of the relation between the Poincar\'e inequality and the lower bounds of Minkowski content of separating sets, initiated in our previous work [Caputo, Cavallucci: Poincar\'e inequality and energy of separating sets, arXiv 2401.02762]. A new shorter proof is provided. An intermediate tool is the study of the lower bound of another geometric quantity, called separating ratio. The main novelty is the description of the relation between the infima of the separating ratio and the Minkowski content of separating sets. We prove a quantitative comparison between the two infima in the local quasigeodesic case and equality in the local geodesic one. No Poincar\'e assumption is needed to prove it. The main tool employed in the proof is a new function, called the position function, which allows in a certain sense to fibrate a set in boundaries of separating sets. We also extend the proof to measure graphs, where due to the combinatorial nature of the problem, the approach is more intuitive. In the appendix, we revise some classical characterizations of the p-Poincar\'e inequality, by proving along the way equivalence with a notion of p-pencil that extends naturally the definition for p = 1.


title: Valley relaxation in a single-electron bilayer graphene quantum dot

abstract: We investigate the valley relaxation due to intervalley coupling in a single-electron bilayer graphene quantum dot. The valley relaxation is assisted by both the emission of acoustic phonons via the deformation potential and bond-length change mechanisms and $1/f$ charge noise. In the perpendicular magnetic-field dependence of the valley relaxation time $T_1$, we predict a monotonic decrease of $T_1$ at higher fields due to electron-phonon coupling, which is in good agreement with recent experiments by Banszerus et al. We find that the dominant valley relaxation channel in the high-field regime is the electron-phonon coupling via the deformation potential. At lower fields, we predict that a peak in $T_1$ can arise from the competition between $1/f$ charge noise and electron-phonon scattering due to bond-length change. We also find that the interlayer hopping $\gamma_3$ opens a valley relaxation channel for electric charge noise for rotationally symmetric quantum dots in bilayer graphene.


title: Living-off-The-Land Reverse-Shell Detection by Informed Data Augmentation

abstract: The living-off-the-land (LOTL) offensive methodologies rely on the perpetration of malicious actions through chains of commands executed by legitimate applications, identifiable exclusively by analysis of system logs. LOTL techniques are well hidden inside the stream of events generated by common legitimate activities, moreover threat actors often camouflage activity through obfuscation, making them particularly difficult to detect without incurring in plenty of false alarms, even using machine learning. To improve the performance of models in such an harsh environment, we propose an augmentation framework to enhance and diversify the presence of LOTL malicious activity inside legitimate logs. Guided by threat intelligence, we generate a dataset by injecting attack templates known to be employed in the wild, further enriched by malleable patterns of legitimate activities to replicate the behavior of evasive threat actors. We conduct an extensive ablation study to understand which models better handle our augmented dataset, also manipulated to mimic the presence of model-agnostic evasion and poisoning attacks. Our results suggest that augmentation is needed to maintain high-predictive capabilities, robustness to attack is achieved through specific hardening techniques like adversarial training, and it is possible to deploy near-real-time models with almost-zero false alarms.


title: Attention-Propagation Network for Egocentric Heatmap to 3D Pose Lifting

abstract: We present EgoTAP, a heatmap-to-3D pose lifting method for highly accurate stereo egocentric 3D pose estimation. Severe self-occlusion and out-of-view limbs in egocentric camera views make accurate pose estimation a challenging problem. To address the challenge, prior methods employ joint heatmaps-probabilistic 2D representations of the body pose, but heatmap-to-3D pose conversion still remains an inaccurate process. We propose a novel heatmap-to-3D lifting method composed of the Grid ViT Encoder and the Propagation Network. The Grid ViT Encoder summarizes joint heatmaps into effective feature embedding using self-attention. Then, the Propagation Network estimates the 3D pose by utilizing skeletal information to better estimate the position of obscure joints. Our method significantly outperforms the previous state-of-the-art qualitatively and quantitatively demonstrated by a 23.9\% reduction of error in an MPJPE metric. Our source code is available in GitHub.


title: FineDiffusion: Scaling up Diffusion Models for Fine-grained Image Generation with 10,000 Classes

abstract: The class-conditional image generation based on diffusion models is renowned for generating high-quality and diverse images. However, most prior efforts focus on generating images for general categories, e.g., 1000 classes in ImageNet-1k. A more challenging task, large-scale fine-grained image generation, remains the boundary to explore. In this work, we present a parameter-efficient strategy, called FineDiffusion, to fine-tune large pre-trained diffusion models scaling to large-scale fine-grained image generation with 10,000 categories. FineDiffusion significantly accelerates training and reduces storage overhead by only fine-tuning tiered class embedder, bias terms, and normalization layers' parameters. To further improve the image generation quality of fine-grained categories, we propose a novel sampling method for fine-grained image generation, which utilizes superclass-conditioned guidance, specifically tailored for fine-grained categories, to replace the conventional classifier-free guidance sampling. Compared to full fine-tuning, FineDiffusion achieves a remarkable 1.56x training speed-up and requires storing merely 1.77% of the total model parameters, while achieving state-of-the-art FID of 9.776 on image generation of 10,000 classes. Extensive qualitative and quantitative experiments demonstrate the superiority of our method compared to other parameter-efficient fine-tuning methods. The code and more generated results are available at our project website: https://finediffusion.github.io/.


title: Recursive GNNs for Learning Precoding Policies with Size-Generalizability

abstract: Graph neural networks (GNNs) have been shown promising in optimizing power allocation and link scheduling with good size generalizability and low training complexity. These merits are important for learning wireless policies under dynamic environments, which partially come from the matched permutation equivariance (PE) properties of the GNNs to the policies to be learned. Nonetheless, it has been noticed in literature that only satisfying the PE property of a precoding policy in multi-antenna systems cannot ensure a GNN for learning precoding to be generalizable to the unseen number of users. Incorporating models with GNNs helps improve size generalizability, which however is only applicable to specific problems, settings, and algorithms. In this paper, we propose a framework of size generalizable GNNs for learning precoding policies that are purely data-driven and can learn wireless policies including but not limited to baseband and hybrid precoding in multi-user multi-antenna systems. To this end, we first find a special structure of each iteration of two numerical algorithms for optimizing precoding, from which we identify the key characteristics of a GNN that affect its size generalizability. Then, we design size-generalizable GNNs that are with these key characteristics and satisfy the PE properties of precoding policies in a recursive manner. Simulation results show that the proposed GNNs can be well-generalized to the number of users for learning baseband and hybrid precoding policies and require much fewer samples than existing counterparts to achieve the same performance.


title: On the simulation of quantum multimeters

abstract: In the quest for robust and universal quantum devices, the notion of simulation plays a crucial role, both from a theoretical and from an applied perspective. In this work, we go beyond the simulation of quantum channels and quantum measurements, studying what it means to simulate a collection of measurements, which we call a multimeter. To this end, we first explicitly characterize the completely positive transformations between multimeters. However, not all of these transformations correspond to valid simulations, as evidenced by the existence of maps that always prepare the same multimeter regardless of the input, which we call trash-and-prepare. We give a new definition of multimeter simulations as transformations that are triviality-preserving, i.e., when given a multimeter consisting of trivial measurements they can only produce another trivial multimeter. In the absence of a quantum ancilla, we then characterize the transformations that are triviality-preserving and the transformations that are trash-and-prepare. Finally, we use these characterizations to compare our new definition of multimeter simulation to three existing ones: classical simulations, compression of multimeters, and compatibility-preserving simulations.


title: Learning to Generate Instruction Tuning Datasets for Zero-Shot Task Adaptation

abstract: We introduce Bonito, an open-source model for conditional task generation that converts unannotated text into task-specific training datasets for instruction tuning. We aim to enable zero-shot task adaptation of large language models on users' specialized, private data. We train Bonito by fine-tuning a pretrained large language model on a new large-scale dataset with 1.65M examples created by remixing existing instruction tuning datasets into meta-templates. The meta-templates for a dataset produce training examples where the input is the unannotated text and the task attribute and the output consists of the instruction and the response. We use Bonito to generate synthetic tasks for seven datasets from specialized domains with unannotated text across three task types -- yes-no question answering, extractive question answering, and natural language inference -- and adapt language models. We show that Bonito significantly improves the average performance of pretrained and instruction tuned models over the de facto self supervised baseline. For example, adapting Mistral-Instruct-v2 and instruction tuned variants of Mistral and Llama2 with Bonito improves the strong zero-shot performance by 22.1 F1 points whereas the next word prediction objective undoes some of the benefits of instruction tuning and reduces the average performance by 0.8 F1 points. We conduct additional experiments with Bonito to understand the effects of the domain, the size of the training set, and the choice of alternative synthetic task generators. Overall, we show that learning with synthetic instruction tuning datasets is an effective way to adapt language models to new domains. The model, dataset, and code are available at https://github.com/BatsResearch/bonito.


title: Detecting Anti-vaccine Content on Twitter using Multiple Message-Based Network Representations

abstract: Social media platforms such as Twitter have a fundamental role in facilitating the spread and discussion of ideas online through the concept of retweeting and replying. However, these features also contribute to the spread of mis/disinformation during the vaccine rollout of the COVID-19 pandemic. Using COVID-19 vaccines as a case study, we analyse multiple social network representation derived from three message-based interactions on Twitter (quote retweets, mentions and replies) based upon a set of known anti-vax hashtags and keywords. Each network represents a certain hashtag or keyword which were labelled as "controversial" and "non-controversial" according to a small group of participants. For each network, we extract a combination of global and local network-based metrics which are used as feature vectors for binary classification. Our results suggest that it is possible to detect controversial from non-controversial terms with high accuracy using simple network-based metrics. Furthermore, these results demonstrate the potential of network representations as language-agnostic models for detecting mis/disinformation at scale, irrespective of content and across multiple social media platforms.


title: Phase diagrams and polarization reversal in nanosized Hf$_x$Zr$_{1-x}$O$_{2-y}$

abstract: To describe the polar properties of the nanosized HfxZr1-xO2-y, we evolve the "effective" Landau-Ginzburg-Devonshire (LGD) model based on the parametrization of the Landau expansion coefficients for the polar and antipolar orderings. We have shown that the effective LGD model can predict the influence of screening conditions and size effects on phase diagrams, polarization reversal and structural properties of the nanosized HfxZr1-xO2-y of various shape and sizes. To verify the model, we use available experimental results for HfxZr1-xO2 thin films and oxygen-deficient HfO2-y nanoparticles prepared at different annealing conditions. X-ray diffraction, which was used to determine the phase composition of the HfO2-y nanoparticles, revealed the formation of the ferroelectric orthorhombic phase in them. Micro-Raman spectroscopy was used to explore the correlation of lattice dynamics and structural changes appearing in dependence on the oxygen vacancies concentration in the HfO2-y nanoparticles. Since our approach allows to determine the conditions (shape, sizes, Zr content and/or oxygen vacancies amount) for which the nanosized HfxZr1-xO2-y are ferroelectrics or antiferroelectrics, we hope that obtained results are useful for creation of next generation of Si-compatible ferroelectric gate oxide nanomaterials.


title: Probabilistic Bayesian optimal experimental design using conditional normalizing flows

abstract: Bayesian optimal experimental design (OED) seeks to conduct the most informative experiment under budget constraints to update the prior knowledge of a system to its posterior from the experimental data in a Bayesian framework. Such problems are computationally challenging because of (1) expensive and repeated evaluation of some optimality criterion that typically involves a double integration with respect to both the system parameters and the experimental data, (2) suffering from the curse-of-dimensionality when the system parameters and design variables are high-dimensional, (3) the optimization is combinatorial and highly non-convex if the design variables are binary, often leading to non-robust designs. To make the solution of the Bayesian OED problem efficient, scalable, and robust for practical applications, we propose a novel joint optimization approach. This approach performs simultaneous (1) training of a scalable conditional normalizing flow (CNF) to efficiently maximize the expected information gain (EIG) of a jointly learned experimental design (2) optimization of a probabilistic formulation of the binary experimental design with a Bernoulli distribution. We demonstrate the performance of our proposed method for a practical MRI data acquisition problem, one of the most challenging Bayesian OED problems that has high-dimensional (320 $\times$ 320) parameters at high image resolution, high-dimensional (640 $\times$ 386) observations, and binary mask designs to select the most informative observations.


title: Generating candidates in global optimization algorithms using complementary energy landscapes

abstract: Global optimization of atomistic structure rely on the generation of new candidate structures in order to drive the exploration of the potential energy surface (PES) in search for the global minimum energy (GM) structure. In this work, we discuss a type of structure generation, which locally optimizes structures in complementary energy (CE) landscapes. These landscapes are formulated temporarily during the searches as machine learned potentials (MLPs) using local atomistic environments sampled from collected data. The CE landscapes are deliberately incomplete MLPs that rather than mimicking every aspect of the true PES are sought to become much smoother, having only few local minima. This means that local optimization in the CE landscapes may facilitate identification of new funnels in the true PES. We discuss how to construct the CE landscapes and we test their influence on global optimization of a reduced rutile SnO2(110)-(4x1) surface, and an olivine (Mg2SiO4)4 cluster for which we report a new global minimum energy structure.


title: Online Edge Coloring is (Nearly) as Easy as Offline

abstract: The classic theorem of Vizing (Diskret. Analiz.'64) asserts that any graph of maximum degree $\Delta$ can be edge colored (offline) using no more than $\Delta+1$ colors (with $\Delta$ being a trivial lower bound). In the online setting, Bar-Noy, Motwani and Naor (IPL'92) conjectured that a $(1+o(1))\Delta$-edge-coloring can be computed online in $n$-vertex graphs of maximum degree $\Delta=\omega(\log n)$. Numerous algorithms made progress on this question, using a higher number of colors or assuming restricted arrival models, such as random-order edge arrivals or vertex arrivals (e.g., AGKM FOCS'03, BMM SODA'10, CPW FOCS'19, BGW SODA'21, KLSST STOC'22). In this work, we resolve this longstanding conjecture in the affirmative in the most general setting of adversarial edge arrivals. We further generalize this result to obtain online counterparts of the list edge coloring result of Kahn (J. Comb. Theory. A'96) and of the recent "local" edge coloring result of Christiansen (STOC'23).


title: Probing Two-body Bound States in the Continuum and Nonlinear Breathers Using Intensity Correlations

abstract: We study Hanbury Brown-Twiss spatial intensity correlations in femtosecond laser-fabricated photonic Su-Schrieffer-Heeger lattices. We first probe edge bound states in the continuum (BICs) of two indistinguishable bosons by mapping the intensity correlations to the two-body bosonic quantum walk. These two-body edge BICs show remarkable robustness in the presence of disorder. The localization of intensity correlation, observed in the linear regime, persists at weak nonlinearity due to the formation of {\it long-lived breathers} and solitons on the edge of the lattice. For stronger nonlinearities, the light tends to be delocalized from the edge site into the bulk, destroying the localization of the intensity correlation. Our results show the interplay of band structure, initial state, and nonlinearity influencing transport and intensity correlations.

categories: physics.optics cond-mat.mes-hall nlin.PS quant-ph


title: Almost diagonalization of $\Psi$DO's over various generalized function spaces

abstract: Inductive and projective type sequence spaces of sub- and super-exponential growth, and the corresponding inductive and projective limits of modulation spaces are considered as a framework for almost diagonalization of pseudo-differential operators. Moreover, recent results of the first author and B. Prangoski related to the almost diagonalization of pseudo-differential operators in the context of H\"ormander metrics are reviewed.


title: Local Fourier uniformity of higher divisor functions on average

abstract: Let $\tau_k$ be the $k$-fold divisor function. By constructing an approximant of $\tau_k$, denoted as $\tau_k^*$, which is a normalized truncation of the $k$-fold divisor function, we prove that when $\exp\left(C\log^{1/2}X(\log\log X)^{1/2}\right)\leq H\leq X$ and $C>0$ is sufficiently large, the following estimate holds for almost all $x\in[X,2X]$: \[ \Big|\sum_{x<n\leq x+H}(\tau_k(n)-\tau_k^*(n)) e(\alpha_dn^d+\cdots+\alpha_1n)\Big|=o(H\log^{k-1}X), \] where $\alpha_1, \dots, \alpha_d\in \mathbb{R}$ are arbitrary frequencies.


title: A class of higher order inverse spectral problems

abstract: In this paper, we consider the recovery of third-order differential operators from two spectra, as well as fourth-order or fifth-order differential operators from three spectra, where these differential operators are endowed with complex-valued distributional coefficients. For the case of multiple spectra, we first establish the relationship between spectra and the Weyl-Yurko matrix. Secondly, we prove the uniqueness theorem for the solution of the inverse problems. Our approach allows us to obtain results for the general case of complex-valued distributional coefficients.


title: Focus on Your Question! Interpreting and Mitigating Toxic CoT Problems in Commonsense Reasoning

abstract: Large language models exhibit high-level commonsense reasoning abilities, especially with enhancement methods like Chain-of-Thought (CoT). However, we find these CoT-like methods lead to a considerable number of originally correct answers turning wrong, which we define as the Toxic CoT problem. To interpret and mitigate this problem, we first utilize attribution tracing and causal tracing methods to probe the internal working mechanism of the LLM during CoT reasoning. Through comparisons, we prove that the model exhibits information loss from the question over the shallow attention layers when generating rationales or answers. Based on the probing findings, we design a novel method called RIDERS (Residual decodIng and sERial-position Swap), which compensates for the information deficit in the model from both decoding and serial-position perspectives. Through extensive experiments on multiple commonsense reasoning benchmarks, we validate that this method not only significantly eliminates Toxic CoT problems (decreased by 23.6%), but also effectively improves the model's overall commonsense reasoning performance (increased by 5.5%).


title: Solving Multi-Entity Robotic Problems Using Permutation Invariant Neural Networks

abstract: Challenges in real-world robotic applications often stem from managing multiple, dynamically varying entities such as neighboring robots, manipulable objects, and navigation goals. Existing multi-agent control strategies face scalability limitations, struggling to handle arbitrary numbers of entities. Additionally, they often rely on engineered heuristics for assigning entities among agents. We propose a data driven approach to address these limitations by introducing a decentralized control system using neural network policies trained in simulation. Leveraging permutation invariant neural network architectures and model-free reinforcement learning, our approach allows control agents to autonomously determine the relative importance of different entities without being biased by ordering or limited by a fixed capacity. We validate our approach through both simulations and real-world experiments involving multiple wheeled-legged quadrupedal robots, demonstrating their collaborative control capabilities. We prove the effectiveness of our architectural choice through experiments with three exemplary multi-entity problems. Our analysis underscores the pivotal role of the end-to-end trained permutation invariant encoders in achieving scalability and improving the task performance in multi-object manipulation or multi-goal navigation problems. The adaptability of our policy is further evidenced by its ability to manage varying numbers of entities in a zero-shot manner, showcasing near-optimal autonomous task distribution and collision avoidance behaviors.


title: A measurement of cluster masses using Planck and SPT-SZ CMB lensing

abstract: We used an unbiased CMB lensing mass estimator on 468 SPT-SZ clusters from the SPT-SZ and the Planck public data, the first such estimation using combined ground- and space-based data. We measured the average ratio between CMB lensing and SZ mass to be $M_{\rm CMBlens}/M_{\rm SZ} = 0.98 \pm 0.19$ (stat.) $\pm 0.03$ (syst.). The average CMB lensing mass from the combination of the two data sets is measured at 4.8$\sigma$, which is a significant gain with respect to the measurement performed on the SPT-SZ only (3.9$\sigma$) or the Planck only (3.7$\sigma$) data set. We showed that the combination not only takes advantage of the two different ranges of spatial scales (i.e. Fourier modes) observed but also exploits the lensing induced correlation between scales observed by one experiment and the other. This result demonstrates the importance of measuring a large range of spatial scales for CMB lensing mass estimation, from arcmin to degrees. This large range of scales will most probably be provided by the combination of various data sets, such as from the large and small aperture telescopes of the upcoming Simons Observatory and future CMB-S4 experiment, and Planck. In this context, the Planck data will remain a key element for CMB lensing cluster studies in the years to come.


title: Threshold solutions of the energy-critical complex Ginzburg-Landau equation

abstract: In this article, we consider energy-critical complex Ginzburg-Landau equation in three and four dimensions. We give the dynamics when the energy of the initial data is equal to the energy of the stationary solution.


title: Ten simple rules for collaborating with wet lab researchers for computational researchers

abstract: Computational biologists are frequently engaged in collaborative data analysis with wet lab researchers. These interdisciplinary projects, as necessary as they are to the scientific endeavour, can be surprisingly challenging due to cultural differences in operations and values. In these Ten Simple Rules guide we aim to help dry lab researchers identify sources of friction; and provide actionable tools to facilitate respectful, open, transparent and rewarding collaborations.


title: Emergence of rogue-like waves in a reaction-diffusion system: Stochastic output from deterministic dissipative dynamics

abstract: Rogue waves are an intriguing nonlinear phenomenon arising across different scales, ranging from ocean waves through optics to Bose-Einstein condensates. We describe the emergence of rogue-like wave dynamics in a reaction-diffusion system that arise as a result of a subcritical Turing instability. This state is present in a regime where all time-independent states are unstable, and consists of intermittent excitation of spatially localized spikes, followed by collapse to an unstable state and subsequent regrowth. We characterize the spatiotemporal organization of spikes and show that in sufficiently large domains the dynamics are consistent with a memoryless process.


title: Brownian symmetrization of planar domains

abstract: One of aims of this note is to capture the interest of the mathematical community to a novel transformation, which we shall call Brownian symmetrization. This transformation arises from the solution of the planar Skorokhod embedding problem. Brownian symmetrization shares some properties with the famous Steiner symmetrization. However, we show that these two transformations are not the same and they do not affect each other.


title: LatentSwap: An Efficient Latent Code Mapping Framework for Face Swapping

abstract: We propose LatentSwap, a simple face swapping framework generating a face swap latent code of a given generator. Utilizing randomly sampled latent codes, our framework is light and does not require datasets besides employing the pre-trained models, with the training procedure also being fast and straightforward. The loss objective consists of only three terms, and can effectively control the face swap results between source and target images. By attaching a pre-trained GAN inversion model independent to the model and using the StyleGAN2 generator, our model produces photorealistic and high-resolution images comparable to other competitive face swap models. We show that our framework is applicable to other generators such as StyleNeRF, paving a way to 3D-aware face swapping and is also compatible with other downstream StyleGAN2 generator tasks. The source code and models can be found at \url{https://github.com/usingcolor/LatentSwap}.


title: Polynomial-time approximation schemes for induced subgraph problems on fractionally tree-independence-number-fragile graphs

abstract: We investigate a relaxation of the notion of fractional treewidth-fragility, namely fractional tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for meta-problems such as finding a maximum-weight sparse induced subgraph satisfying a given $\mathsf{CMSO}_2$ formula on fractionally tree-independence-number-fragile graph classes. Our approach unifies and extends several known polynomial-time approximation schemes on seemingly unrelated graph classes, such as classes of intersection graphs of fat objects in a fixed dimension or proper minor-closed classes. We also study the related notion of layered tree-independence number, a relaxation of layered treewidth, and its applications to exact subexponential-time algorithms.


title: On the $(1^2,2^4)$-packing edge-coloring of subcubic graphs

abstract: An induced matching in a graph $G$ is a matching such that its end vertices also induce a matching. A $(1^{\ell}, 2^k)$-packing edge-coloring of a graph $G$ is a partition of its edge set into disjoint unions of $\ell$ matchings and $k$ induced matchings. Gastineau and Togni (2019), as well as Hocquard, Lajou, and Lu\v{z}ar (2022), have conjectured that every subcubic graph is $(1^2,2^4)$-packing edge-colorable. In this paper, we confirm that their conjecture is true (for connected subcubic graphs with more than $70$ vertices). Our result is sharp due to the existence of subcubic graphs that are not $(1^2,2^3)$-packing edge-colorable.


title: SuperdropNet: a Stable and Accurate Machine Learning Proxy for Droplet-based Cloud Microphysics

abstract: Cloud microphysics has important consequences for climate and weather phenomena, and inaccurate representations can limit forecast accuracy. While atmospheric models increasingly resolve storms and clouds, the accuracy of the underlying microphysics remains limited by computationally expedient bulk moment schemes based on simplifying assumptions. Droplet-based Lagrangian schemes are more accurate but are underutilized due to their large computational overhead. Machine learning (ML) based schemes can bridge this gap by learning from vast droplet-based simulation datasets, but have so far struggled to match the accuracy and stability of bulk moment schemes. To address this challenge, we developed SuperdropNet, an ML-based emulator of the Lagrangian superdroplet simulations. To improve accuracy and stability, we employ multi-step autoregressive prediction during training, impose physical constraints, and carefully control stochasticity in the training data. Superdropnet predicted hydrometeor states and cloud-to-rain transition times more accurately than previous ML emulators, and matched or outperformed bulk moment schemes in many cases. We further carried out detailed analyses to reveal how multistep autoregressive training improves performance, and how the performance of SuperdropNet and other microphysical schemes hydrometeors' mass, number and size distribution. Together our results suggest that ML models can effectively emulate cloud microphysics, in a manner consistent with droplet-based simulations.

categories: physics.ao-ph cs.LG physics.comp-ph physics.flu-dyn


title: COPR -- Efficient, large-scale log storage and retrieval

abstract: Modern, large scale monitoring systems have to process and store vast amounts of log data in near real-time. At query time the systems have to find relevant logs based on the content of the log message using support structures that can scale to these amounts of data while still being efficient to use. We present our novel Compressed Probabilistic Retrieval algorithm (COPR), capable of answering Multi-Set Multi-Membership-Queries, that can be used as an alternative to existing indexing structures for streamed log data. In our experiments, COPR required up to 93% less storage space than the tested state-of-the-art inverted index and had up to four orders of magnitude less false-positives than the tested state-of-the-art membership sketch. Additionally, COPR achieved up to 250 times higher query throughput than the tested inverted index and up to 240 times higher query throughput than the tested membership sketch.


title: Port-Based State Preparation and Applications

abstract: We introduce Port-Based State Preparation (PBSP), a teleportation task where Alice holds a complete classical description of the target state and Bob's correction operations are restricted to only tracing out registers. We show a protocol that implements PBSP with error decreasing exponentially in the number of ports, in contrast to the polynomial trade-off for the related task of Port-Based Teleportation, and we prove that this is optimal when a maximally entangled resource state is used. As an application, we introduce approximate Universal Programmable Hybrid Processors (UPHP). Here the goal is to encode a unitary as a quantum state, and the UPHP can apply this unitary to a quantum state when knowing its classical description. We give a construction that needs strictly less memory in terms of dimension than the optimal approximate Universal Programmable Quantum Processor achieving the same error. Additionally, we provide lower bounds for the optimal trade-off between memory and error of UPHPs.


title: BCS surrogate models for floating superconductor-semiconductor hybrids

abstract: Superconductor-semiconductor hybrid devices, involving quantum dots interfaced with floating and/or grounded superconductors, have reached a level of complexity which calls for the development of versatile and numerically efficient modelling tools. Here, we propose an extension of the surrogate model solver for sub-gap states [Phys. Rev. B 108, L220506 (2023)], which is able to handle floating superconducting islands with finite charging energy. Upon eliminating all finite-size effects of the computationally demanding Richardson model approach, we achieve a more efficient way of calculating the sub-gap spectra and related observables without compromising their accuracy. We provide a number of benchmarks between the two approaches and showcase the versatility of the extended surrogate model solver by studying the stability of spin-triplet ground states in various tunable devices. The methods introduced here set the stage for reliable microscopic simulations of complex superconducting quantum circuits across all their relevant parameter regimes.


title: Analysis of double-resonance crossing in adiabatic trapping phenomena for quasi-integrable area-preserving maps with time-dependent exciters

abstract: In this paper, we analyze the adiabatic crossing of a resonance for Hamiltonian systems when a double-resonance condition is satisfied by the linear frequency at an elliptic fixed point. We discuss in detail the phase-space structure on a class of Hamiltonians and area-preserving maps with an elliptic fixed point in the presence of a time-dependent exciter. Various regimes have been identified and carefully studied. This study extends results obtained recently for the trapping and transport phenomena for periodically perturbed Hamiltonian systems, and it could have relevant applications in the adiabatic beam splitting in accelerator physics.


title: Unveiling unconventional magnetism at the surface of Sr$_2$RuO$_4$

abstract: Materials with strongly correlated electrons exhibit physical properties that are often difficult to predict as they result from the interactions of large numbers of electrons combined with several quantum degrees of freedom. The layered oxide perovskite Sr$_2$RuO$_4$ is a strongly correlated electron material that has been intensively investigated since its discovery due to its unusual physical properties. Whilst recent experiments have reopened the debate on the exact symmetry of the superconducting state in Sr$_2$RuO$_4$, a deeper understanding of the Sr$_2$RuO$_4$ normal state appears crucial as this is the background in which electron pairing occurs. Here, by using low-energy muon spin spectroscopy we discover the existence of magnetism at the surface of Sr$_2$RuO$_4$ in its normal state. We detect static weak dipolar fields yet manifesting below a relatively high onset temperature larger than 50 K, which reveals the unconventional nature of the observed magnetism. We relate the origin of this phase breaking time reversal symmetry to electronic ordering in the form of orbital loop currents that originate at the reconstructed Sr$_2$RuO$_4$ surface. Our observations set a reference for the discovery of the same magnetic phase in other materials and unveil an electronic ordering mechanism that can influence unconventional electron pairing with broken time reversal symmetry in those materials where the observed magnetic phase coexists with superconductivity.


title: Similarity-based analogical proportions

abstract: The author has recently introduced abstract algebraic frameworks of analogical proportions and similarity within the general setting of universal algebra. The purpose of this paper is to build a bridge from similarity to analogical proportions by formulating the latter in terms of the former. The benefit of this similarity-based approach is that the connection between proportions and similarity is built into the framework and therefore evident which is appealing since proportions and similarity are both at the center of analogy; moreover, future results on similarity can directly be applied to analogical proportions.


title: Why Do Animals Need Shaping? A Theory of Task Composition and Curriculum Learning

abstract: Diverse studies in systems neuroscience begin with extended periods of curriculum training known as `shaping' procedures. These involve progressively studying component parts of more complex tasks, and can make the difference between learning a task quickly, slowly or not at all. Despite the importance of shaping to the acquisition of complex tasks, there is as yet no theory that can help guide the design of shaping procedures, or more fundamentally, provide insight into its key role in learning. Modern deep reinforcement learning systems might implicitly learn compositional primitives within their multilayer policy networks. Inspired by these models, we propose and analyse a model of deep policy gradient learning of simple compositional reinforcement learning tasks. Using the tools of statistical physics, we solve for exact learning dynamics and characterise different learning strategies including primitives pre-training, in which task primitives are studied individually before learning compositional tasks. We find a complex interplay between task complexity and the efficacy of shaping strategies. Overall, our theory provides an analytical understanding of the benefits of shaping in a class of compositional tasks and a quantitative account of how training protocols can disclose useful task primitives, ultimately yielding faster and more robust learning.


title: Objective and Interpretable Breast Cosmesis Evaluation with Attention Guided Denoising Diffusion Anomaly Detection Model

abstract: As advancements in the field of breast cancer treatment continue to progress, the assessment of post-surgical cosmetic outcomes has gained increasing significance due to its substantial impact on patients' quality of life. However, evaluating breast cosmesis presents challenges due to the inherently subjective nature of expert labeling. In this study, we present a novel automated approach, Attention-Guided Denoising Diffusion Anomaly Detection (AG-DDAD), designed to assess breast cosmesis following surgery, addressing the limitations of conventional supervised learning and existing anomaly detection models. Our approach leverages the attention mechanism of the distillation with no label (DINO) self-supervised Vision Transformer (ViT) in combination with a diffusion model to achieve high-quality image reconstruction and precise transformation of discriminative regions. By training the diffusion model on unlabeled data predominantly with normal cosmesis, we adopt an unsupervised anomaly detection perspective to automatically score the cosmesis. Real-world data experiments demonstrate the effectiveness of our method, providing visually appealing representations and quantifiable scores for cosmesis evaluation. Compared to commonly used rule-based programs, our fully automated approach eliminates the need for manual annotations and offers objective evaluation. Moreover, our anomaly detection model exhibits state-of-the-art performance, surpassing existing models in accuracy. Going beyond the scope of breast cosmesis, our research represents a significant advancement in unsupervised anomaly detection within the medical domain, thereby paving the way for future investigations.


title: Factors influencing the stability of the motor-clutch model on compliant substrates under external load

abstract: Cellular migration is crucial for biological processes including embryonic development, immune response, and wound healing. The myosin-clutch model is a framework that describes how cells control migration through the interactions between myosin, the clutch mechanism, and the substrate. This model is related to how cells regulate adhesion, generate traction forces, and move on compliant substrates. In this study, we present a five-dimensional nonlinear autonomous system to investigate the influences of myosin, clutches, substrate, and external load on the system's stability. Moreover, we analyze the effects of various parameters on fixed points and explore the frequency and amplitude of the limit cycle associated with oscillations. We discovered that the system demonstrates oscillatory behavior when the velocity of the myosin motor is relatively low, or when the ratio of the motor attachment rate to motor detachment rate is relatively high. The external load shares a fraction of the force exerted by myosin motors, thereby diminishing the force endured by the clutches. Within a specific range, an increase in external load not only diminishes and eventually eliminates the region lacking fixed points but also decelerates clutch detachment, enhancing clutch protein adherence.


title: Extracting the Luttinger parameter from a single wave function

abstract: The low-energy physics of Tomonaga-Luttinger liquids (TLLs) is controlled by the Luttinger parameter. We demonstrate that this parameter can be extracted from a single wave function for one-component TLLs with periodic boundary condition. This method relies on the fact that TLLs are described by conformal field theory in which crosscap states can be constructed. The overlaps between the crosscap states and the ground state as well as some excited states are proved to be universal numbers that directly reveal the Luttinger parameter. In microscopic lattice models, crosscap states are formed by putting each pair of antipodal sites into a maximally entangled state. Analytical and numerical calculations are performed in a few representative models to substantiate the conformal field theory prediction. The extracted Luttinger parameters are generally quite accurate in finite-size systems with moderate lengths, so there is no need to perform data fitting and/or finite-size scaling.


title: Token-based Vehicular Security System (TVSS): Scalable, Secure, Low-latency Public Key Infrastructure for Connected Vehicles

abstract: Connected and Autonomous vehicles stand to drastically improve the safety and efficiency of the transportation system in the near future while also reducing pollution. These systems leverage communication to coordinate among vehicles and infrastructure in service of a number of safety and efficiency driver assist and even fully autonomous applications. Attackers can compromise these systems in a number of ways including by falsifying communication messages, making it critical to support security mechanisms that can operate and scale in dynamic scenarios. Towards this end, we present TVSS, a new VPKI system which improves drastically over prior work in the area (including over SCMS; the US department of transportation standard for VPKI). TVSS leverages the idea of unforgeable tokens to enable rapid verification at the road side units (RSUs), which are part of the road infrastructure at the edge of the network. This edge based solution enables agile authentication by avoiding the need for back-end servers during the potentially short contact time between a moving vehicle and the infrastructure. It also results in several security advantages: (1) Scalable Revocation: it greatly simplifies the revocation problem, a difficult problem in large scale certificate systems; and (2) Faster Refresh: Vehicles interact more frequently with the system to refresh their credentials, improving the privacy of the system. We provide a construction of the system and formally prove its security. Field experiments on a test-bed we develop consisting of on-board units (OBUs) and RSUs shows substantial reduction in the latency of refreshing credentials compared to SCMS, allowing the system to work even with smaller window of connectivity when vehicles are moving at higher speeds. Notably, we are able to execute the bottleneck operation of our scheme with a stationary RSU while traveling at highway speeds .


title: Estimation of railway vehicle response for track geometry evaluation using branch Fourier neural operator

abstract: In railway transportation, the evaluation of track geometry is an indispensable requirement to ensure the safety and comfort of railway vehicles. A promising approach is to directly use vehicle dynamic responses to assess the impact of track geometry defects. However, the computational cost of obtaining the dynamic response of the vehicle body using dynamics simulation methods is large. Thus, it is important to obtain the dynamic response of the vehicle-track coupled system efficiently and accurately. In this work, a branch Fourier neural operator (BFNO) model is proposed to obtain the dynamic response of the vehicle-track coupled system. The model takes into account the nonlinear relationship of the vehicle-track coupled system and realizes the fast and accurate estimation of the system dynamic response. The relative loss (rLSE) of BFNO model is 2.04%, which is reduced by 64%, compared with the traditional neural network (CNN-GRU). In the frequency domain, BFNO model achieves the effective estimation of the dynamic response of the system within the primary frequency range. Compared with the existing methods, our proposed model can make predictions at unseen time steps, enabling predictions from low to high time resolutions. Meanwhile, our proposed model is superior to commercial software in terms of efficiency. In the evaluation of track geometry, users can use pre-trained BFNO to obtain the dynamic response with almost no computational cost.


title: Kernel theorems for operators on co-orbit spaces associated with localised frames

abstract: Kernel theorems, in general, provide a convenient representation of bounded linear operators. For the operator acting on a concrete function space, this means that its action on any element of the space can be expressed as a generalised integral operator, in a way reminiscent of the matrix representation of linear operators acting on finite dimensional vector spaces. We prove kernel theorems for bounded linear operators acting on co-orbit spaces associated with localised frames. Our two main results consist in characterising the spaces of operators whose generalised integral kernels belong to the co-orbit spaces of test functions and distributions associated with the tensor product of the localised frames respectively. Moreover, using a version of Schur's test, we establish a characterisation of the bounded linear operators between some specific co-orbit spaces.


title: TDiff invariant gauge fields in cosmology

abstract: We study the dynamics of Abelian gauge fields invariant under transverse diffeomorphisms (TDiff) in cosmological contexts. We show that in the geometric optics approximation, very much as for Diff invariant theories, the corresponding massless gauge bosons propagate along null geodesics and particle number is conserved. In addition, the polarization vectors are orthogonal to the propagation direction and the physical (transverse projection) polarization is parallel transported along the geodesics. We also consider TDiff invariant Dirac spinors, study the coupling to the gauge fields and analyze the conditions in order to avoid violations of Einstein's Equivalence Principle. The contributions to the energy-momentum tensor of the gauge field are also analyzed. We find that, in general, the breaking of Diff invariance makes the electric and magnetic parts of the vector field to gravitate in a different way. In the sub-Hubble regime we recover the standard radiation-like behaviour of the energy density, however in the super-Hubble regime the behaviour is totally different to the Diff case, thus opening up a wide range of possibilities for cosmological model building. In particular, possible effects on the evolution of large-scale primordial magnetic fields are discussed.


title: Topological charge and spin Hall effects due to skyrmions in canted antiferromagnets

abstract: The topological charge Hall effect (TCHE) and the topological spin Hall effect (TSHE), arising from ferromagnetic (FM) and antiferromagnetic (AFM) skyrmions, respectively; can be elucidated through the emergence of spin-dependent Berry gauge fields that affect the adiabatic flow of electrons within the skyrmion texture. TCHE is absent in systems with parity-time (PT) symmetry, such as collinear AFM systems. In this study, we theoretically study TCHE and TSHE in a canted antiferromagnet within the diffusive regime. Spin canting or weak ferromagnetism in canted AFMs that breaks the PT symmetry may arise from strong homogeneous Dzyaloshinskii-Morya interactions. Using a semiclassical Boltzmann approach, we obtain diffusion equations for the spin and charge accumulations in the presence of finite spin-flip and spin-dependent momentum relaxation times. We show that the finite net magnetization, stemming from spin canting and the subsequent breaking of parity-time symmetry, results in the emergence of both finite TCHE and TSHE in AFM systems.


title: Adversarial Example Soups: Improving Transferability and Stealthiness for Free

abstract: Transferable adversarial examples cause practical security risks since they can mislead a target model without knowing its internal knowledge. A conventional recipe for maximizing transferability is to keep only the optimal adversarial example from all those obtained in the optimization pipeline. In this paper, for the first time, we question this convention and demonstrate that those discarded, sub-optimal adversarial examples can be reused to boost transferability. Specifically, we propose ``Adversarial Example Soups'' (AES), with AES-tune for averaging discarded adversarial examples in hyperparameter tuning and AES-rand for stability testing. In addition, our AES is inspired by ``model soups'', which averages weights of multiple fine-tuned models for improved accuracy without increasing inference time. Extensive experiments validate the global effectiveness of our AES, boosting 10 state-of-the-art transfer attacks and their combinations by up to 13% against 10 diverse (defensive) target models. We also show the possibility of generalizing AES to other types, e.g., directly averaging multiple in-the-wild adversarial examples that yield comparable success. A promising byproduct of AES is the improved stealthiness of adversarial examples since the perturbation variances are naturally reduced.


title: Intersection the twin dragon with rational lines

abstract: The Knuth Twin Dragon is a compact subset of the plane with fractal boundary of Hausdorff dimension $s = (\log \lambda)/(\log \sqrt{2})$, $\lambda^3 = \lambda^2 + 2$. Although the intersection with a generic line has Hausdorff dimension $s-1$, we prove that this does not occur for lines with rational parameters. We further describe the intersection of the Twin Dragon with the two diagonals as well as with various axis parallel lines.


title: FedUV: Uniformity and Variance for Heterogeneous Federated Learning

abstract: Federated learning is a promising framework to train neural networks with widely distributed data. However, performance degrades heavily with heterogeneously distributed data. Recent work has shown this is due to the final layer of the network being most prone to local bias, some finding success freezing the final layer as an orthogonal classifier. We investigate the training dynamics of the classifier by applying SVD to the weights motivated by the observation that freezing weights results in constant singular values. We find that there are differences when training in IID and non-IID settings. Based on this finding, we introduce two regularization terms for local training to continuously emulate IID settings: (1) variance in the dimension-wise probability distribution of the classifier and (2) hyperspherical uniformity of representations of the encoder. These regularizations promote local models to act as if it were in an IID setting regardless of the local data distribution, thus offsetting proneness to bias while being flexible to the data. On extensive experiments in both label-shift and feature-shift settings, we verify that our method achieves highest performance by a large margin especially in highly non-IID cases in addition to being scalable to larger models and datasets.


title: The factorizations of finite classical groups

abstract: We classify the factorizations of finite classical groups with nonsolvable factors, completing the classification of factorizations of finite almost simple groups.


title: VerifiNER: Verification-augmented NER via Knowledge-grounded Reasoning with Large Language Models

abstract: Recent approaches in domain-specific named entity recognition (NER), such as biomedical NER, have shown remarkable advances. However, they still lack of faithfulness, producing erroneous predictions. We assume that knowledge of entities can be useful in verifying the correctness of the predictions. Despite the usefulness of knowledge, resolving such errors with knowledge is nontrivial, since the knowledge itself does not directly indicate the ground-truth label. To this end, we propose VerifiNER, a post-hoc verification framework that identifies errors from existing NER methods using knowledge and revises them into more faithful predictions. Our framework leverages the reasoning abilities of large language models to adequately ground on knowledge and the contextual information in the verification process. We validate effectiveness of VerifiNER through extensive experiments on biomedical datasets. The results suggest that VerifiNER can successfully verify errors from existing models as a model-agnostic approach. Further analyses on out-of-domain and low-resource settings show the usefulness of VerifiNER on real-world applications.


title: Low-Modeling of Software Systems

abstract: There is a growing need for better development methods and tools to keep up with the increasing complexity of new software systems. New types of user interfaces, the need for intelligent components, sustainability concerns, ... bring new challenges that we need to handle. In the last years, model-driven engineering has been key to improving the quality and productivity of software development, but models themselves are becoming increasingly complex to specify and manage. In this paper, we present the concept of low-modeling as a solution to enhance current model-driven engineering techniques and get them ready for this new generation of software systems.


title: Tokenization Is More Than Compression

abstract: Tokenization is a foundational step in Natural Language Processing (NLP) tasks, bridging raw text and language models. Existing tokenization approaches like Byte-Pair Encoding (BPE) originate from the field of data compression, and it has been suggested that the effectiveness of BPE stems from its ability to condense text into a relatively small number of tokens. We test the hypothesis that fewer tokens lead to better downstream performance by introducing PathPiece, a new tokenizer that segments a document's text into the minimum number of tokens for a given vocabulary. Through extensive experimentation we find this hypothesis not to be the case, casting doubt on the understanding of the reasons for effective tokenization. To examine which other factors play a role, we evaluate design decisions across all three phases of tokenization: pre-tokenization, vocabulary construction, and segmentation, offering new insights into the design of effective tokenizers. Specifically, we illustrate the importance of pre-tokenization and the benefits of using BPE to initialize vocabulary construction. We train 64 language models with varying tokenization, ranging in size from 350M to 2.4B parameters, all of which are made publicly available.


title: Out-of-Domain Generalization in Dynamical Systems Reconstruction

abstract: In science we are interested in finding the governing equations, the dynamical rules, underlying empirical phenomena. While traditionally scientific models are derived through cycles of human insight and experimentation, recently deep learning (DL) techniques have been advanced to reconstruct dynamical systems (DS) directly from time series data. State-of-the-art dynamical systems reconstruction (DSR) methods show promise in capturing invariant and long-term properties of observed DS, but their ability to generalize to unobserved domains remains an open challenge. Yet, this is a crucial property we would expect from any viable scientific theory. In this work, we provide a formal framework that addresses generalization in DSR. We explain why and how out-of-domain (OOD) generalization (OODG) in DSR profoundly differs from OODG considered elsewhere in machine learning. We introduce mathematical notions based on topological concepts and ergodic theory to formalize the idea of learnability of a DSR model. We formally prove that black-box DL techniques, without adequate structural priors, generally will not be able to learn a generalizing DSR model. We also show this empirically, considering major classes of DSR algorithms proposed so far, and illustrate where and why they fail to generalize across the whole phase space. Our study provides the first comprehensive mathematical treatment of OODG in DSR, and gives a deeper conceptual understanding of where the fundamental problems in OODG lie and how they could possibly be addressed in practice.


title: Computation-information gap in high-dimensional clustering

abstract: We investigate the existence of a fundamental computation-information gap for the problem of clustering a mixture of isotropic Gaussian in the high-dimensional regime, where the ambient dimension $p$ is larger than the number $n$ of points. The existence of a computation-information gap in a specific Bayesian high-dimensional asymptotic regime has been conjectured by arXiv:1610.02918 based on the replica heuristic from statistical physics. We provide evidence of the existence of such a gap generically in the high-dimensional regime $p \geq n$, by (i) proving a non-asymptotic low-degree polynomials computational barrier for clustering in high-dimension, matching the performance of the best known polynomial time algorithms, and by (ii) establishing that the information barrier for clustering is smaller than the computational barrier, when the number $K$ of clusters is large enough. These results are in contrast with the (moderately) low-dimensional regime $n \geq poly(p, K)$, where there is no computation-information gap for clustering a mixture of isotropic Gaussian. In order to prove our low-degree computational barrier, we develop sophisticated combinatorial arguments to upper-bound the mixed moments of the signal under a Bernoulli Bayesian model.


title: Embracing Disorder in Quantum Materials Design

abstract: Many of the most exciting materials discoveries in fundamental condensed matter physics are made in systems hosting some degree of intrinsic disorder. While disorder has historically been regarded as something to be avoided in materials design, it is often of central importance to correlated and quantum materials. This is largely driven by the conceptual and theoretical ease to handle, predict, and understand highly uniform systems that exhibit complex interactions, symmetries and band structures. In this perspective, we highlight how flipping this paradigm has enabled exciting possibilities in the emerging field of high entropy oxide (HEO) quantum materials. These materials host high levels of cation or anion compositional disorder while maintaining unexpectedly uniform single crystal lattices. The diversity of atomic scale interactions of spin, charge, orbital, and lattice degrees of freedom are found to emerge into coherent properties on much larger length scales. Thus, altering the variance and magnitudes of the atomic scale properties through elemental selection can open new routes to tune global correlated phases such as magnetism, metal-insulator transitions, ferroelectricity, and even emergent topological responses. The strategy of embracing disorder in this way provides a much broader pallet from which functional states can be designed for next-generation microelectronic and quantum information systems.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.mtrl-sci quant-ph


title: UKF-Based Sensor Fusion for Joint-Torque Sensorless Humanoid Robots

abstract: This paper proposes a novel sensor fusion based on Unscented Kalman Filtering for the online estimation of joint-torques of humanoid robots without joint-torque sensors. At the feature level, the proposed approach considers multimodal measurements (e.g. currents, accelerations, etc.) and non-directly measurable effects, such as external contacts, thus leading to joint torques readily usable in control architectures for human-robot interaction. The proposed sensor fusion can also integrate distributed, non-collocated force/torque sensors, thus being a flexible framework with respect to the underlying robot sensor suit. To validate the approach, we show how the proposed sensor fusion can be integrated into a twolevel torque control architecture aiming at task-space torquecontrol. The performances of the proposed approach are shown through extensive tests on the new humanoid robot ergoCub, currently being developed at Istituto Italiano di Tecnologia. We also compare our strategy with the existing state-of-theart approach based on the recursive Newton-Euler algorithm. Results demonstrate that our method achieves low root mean square errors in torque tracking, ranging from 0.05 Nm to 2.5 Nm, even in the presence of external contacts.


title: Large Language Models As Evolution Strategies

abstract: Large Transformer models are capable of implementing a plethora of so-called in-context learning algorithms. These include gradient descent, classification, sequence completion, transformation, and improvement. In this work, we investigate whether large language models (LLMs), which never explicitly encountered the task of black-box optimization, are in principle capable of implementing evolutionary optimization algorithms. While previous works have solely focused on language-based task specification, we move forward and focus on the zero-shot application of LLMs to black-box optimization. We introduce a novel prompting strategy, consisting of least-to-most sorting of discretized population members and querying the LLM to propose an improvement to the mean statistic, i.e. perform a type of black-box recombination operation. Empirically, we find that our setup allows the user to obtain an LLM-based evolution strategy, which we call `EvoLLM', that robustly outperforms baseline algorithms such as random search and Gaussian Hill Climbing on synthetic BBOB functions as well as small neuroevolution tasks. Hence, LLMs can act as `plug-in' in-context recombination operators. We provide several comparative studies of the LLM's model size, prompt strategy, and context construction. Finally, we show that one can flexibly improve EvoLLM's performance by providing teacher algorithm information via instruction fine-tuning on previously collected teacher optimization trajectories.


title: Operating semiconductor quantum processors with hopping spins

abstract: Qubits that can be efficiently controlled are pivotal in the development of scalable quantum hardware. Resonant control is commonly embraced to execute high-fidelity quantum gates but demands integration of high-frequency oscillating signals and results in qubit crosstalk and heating. Establishing quantum control based on discrete signals could therefore result in a paradigm shift. This may be accomplished with single-spin semiconductor qubits, if one can engineer hopping spins between quantum dots with site-dependent spin quantization axis. Here, we introduce hopping-based universal quantum logic and obtain single-qubit gate fidelities of 99.97%, coherent shuttling fidelities of 99.992%, and two-qubit gates fidelities of 99.3%, corresponding to error rates that have been predicted to allow for quantum error correction. We demonstrate that hopping spins also constitute an elegant tuning method by statistically mapping the coherence of a 10-quantum dot system. These results motivate dense quantum dot arrays with sparse occupation for efficient and high-connectivity qubit registers.


title: Robust Quantification of Percent Emphysema on CT via Domain Attention: the Multi-Ethnic Study of Atherosclerosis (MESA) Lung Study

abstract: Robust quantification of pulmonary emphysema on computed tomography (CT) remains challenging for large-scale research studies that involve scans from different scanner types and for translation to clinical scans. Existing studies have explored several directions to tackle this challenge, including density correction, noise filtering, regression, hidden Markov measure field (HMMF) model-based segmentation, and volume-adjusted lung density. Despite some promising results, previous studies either required a tedious workflow or limited opportunities for downstream emphysema subtyping, limiting efficient adaptation on a large-scale study. To alleviate this dilemma, we developed an end-to-end deep learning framework based on an existing HMMF segmentation framework. We first demonstrate that a regular UNet cannot replicate the existing HMMF results because of the lack of scanner priors. We then design a novel domain attention block to fuse image feature with quantitative scanner priors which significantly improves the results.


title: A criterion of containment for tropical hypersurfaces

abstract: For tropical $n$-variable polynomials $f, g$ a criterion of containment for tropical hypersurfaces $Trop(f)\subset Trop(g)$ is provided in terms of their Newton polyhedra $N(f), N(g)\subset \mathbb{R}^{n+1}$. Namely, $Trop(f)\subset Trop(g)$ iff for every vertex $v$ of $N(g)$ there exist a homothety $t\cdot N(f), t>0$ and a parallel shift $s:\mathbb{R}^{n+1} \to \mathbb{R}^{n+1}$ such that $v\in s(t\cdot N(f))\subset N(g)$.


title: The First Place Solution of WSDM Cup 2024: Leveraging Large Language Models for Conversational Multi-Doc QA

abstract: Conversational multi-doc question answering aims to answer specific questions based on the retrieved documents as well as the contextual conversations. In this paper, we introduce our winning approach for the "Conversational Multi-Doc QA" challenge in WSDM Cup 2024, which exploits the superior natural language understanding and generation capability of Large Language Models (LLMs). We first adapt LLMs to the task, then devise a hybrid training strategy to make the most of in-domain unlabeled data. Moreover, an advanced text embedding model is adopted to filter out potentially irrelevant documents and several approaches are designed and compared for the model ensemble. Equipped with all these techniques, our solution finally ranked 1st place in WSDM Cup 2024, surpassing its rivals to a large extent. The source codes have been released at https://github.com/zhangzhao219/WSDM-Cup-2024.


title: TrustRate: A Decentralized Platform for Hijack-Resistant Anonymous Reviews

abstract: Reviews and ratings by users form a central component in several widely used products today (e.g., product reviews, ratings of online content, etc.), but today's platforms for managing such reviews are ad-hoc and vulnerable to various forms of tampering and hijack by fake reviews either by bots or motivated paid workers. We define a new metric called 'hijack-resistance' for such review platforms, and then present TrustRate, an end-to-end decentralized, hijack-resistant platform for authentic, anonymous, tamper-proof reviews. With a prototype implementation and evaluation at the scale of thousands of nodes, we demonstrate the efficacy and performance of our platform, towards a new paradigm for building products based on trusted reviews by end users without having to trust a single organization that manages the reviews.


title: Precoding for Multi-Cell ISAC: from Coordinated Beamforming to Coordinated Multipoint and Bi-Static Sensing

abstract: This paper proposes a framework for designing robust precoders for a multi-input single-output (MISO) system that performs integrated sensing and communication (ISAC) across multiple cells and users. We use Cramer-Rao-Bound (CRB) to measure the sensing performance and derive its expressions for two multi-cell scenarios, namely coordinated beamforming (CBF) and coordinated multi-point (CoMP). In the CBF scheme, a BS shares channel state information (CSI) and estimates target parameters using monostatic sensing. In contrast, a BS in the CoMP scheme shares the CSI and data, allowing bistatic sensing through inter-cell reflection. We consider both block-level (BL) and symbol-level (SL) precoding schemes for both the multi-cell scenarios that are robust to channel state estimation errors. The formulated optimization problems to minimize the CRB in estimating the parameters of a target and maximize the minimum communication signal-to-interference-plus-noise-ratio (SINR) while satisfying a given total transmit power budget are non-convex. We tackle the non-convexity using a combination of semidefinite relaxation (SDR) and alternating optimization (AO) techniques. Simulations suggest that neglecting the inter-cell reflection and communication links degrades the performance of an ISAC system. The CoMP scenario employing SL precoding performs the best, whereas the BL precoding applied in the CBF scenario produces relatively high estimation error for a given minimum SINR value.


title: Exploring Charge Transport Dynamics in a Cryogenic P-Type Germanium Detector

abstract: This study explores the dynamics of charge transport within a cryogenic P-type Ge particle detector, fabricated from a crystal cultivated at the University of South Dakota (USD). By subjecting the detector to cryogenic temperatures and an Am-241 source, we observe evolving charge dynamics and the emergence of cluster dipole states, leading to the impact ionization process at 40 mK. Our analysis focuses on crucial parameters: the zero-field cross-section of cluster dipole states and the binding energy of these states. For the Ge detector in our investigation, the zero-field cross-section of cluster dipole states is determined to be $8.45 \times 10^{-11}\pm 4.22\times 10^{-12}~cm^2$. Examination of the binding energy associated with cluster dipole states, formed by charge trapping onto dipole states during the freeze-out process, reveals a value of $0.034 \pm 0.0017$ meV. These findings shed light on the intricate charge states influenced by the interplay of temperature and electric field, with potential implications for the sensitivity in detecting low-mass dark matter.


title: Discovery of an extended Horizontal Branch in the Large Magellanic Cloud globular cluster NGC1835

abstract: We present a high angular resolution multi-wavelength study of the massive globular cluster NGC 1835 in the Large Magellanic Cloud. Thanks to a combination of optical and near ultraviolet images acquired with the WFC3 on board the HST, we performed a detailed inspection of the stellar population in this stellar system adopting a ``UV-guided search'' to optimize the detection of relatively hot stars. This allowed us to discover a remarkably extended horizontal branch (HB), spanning more than 4.5 magnitudes in both magnitude and colour from the region redder than the instability strip, up to effective temperatures of 30,000 K, and including a large population of RR Lyrae (67 confirmed variables, and 52 new candidates). This is the first time that such a feature has been detected in an extra-Galactic cluster, demonstrating that the physical conditions responsible for the formation of extended HBs are ubiquitous. The acquired dataset has been also used to redetermine the cluster distance modulus, reddening, and absolute age, yielding $(m-M)_0=18.58$, $E(B-V)=0.08$, and $t=12.5$ Gyr, respectively.


title: Neuromorphic Event-Driven Semantic Communication in Microgrids

abstract: Synergies between advanced communications, computing and artificial intelligence are unraveling new directions of coordinated operation and resiliency in microgrids. On one hand, coordination among sources is facilitated by distributed, privacy-minded processing at multiple locations, whereas on the other hand, it also creates exogenous data arrival paths for adversaries that can lead to cyber-physical attacks amongst other reliability issues in the communication layer. This long-standing problem necessitates new intrinsic ways of exchanging information between converters through power lines to optimize the system's control performance. Going beyond the existing power and data co-transfer technologies that are limited by efficiency and scalability concerns, this paper proposes neuromorphic learning to implant communicative features using spiking neural networks (SNNs) at each node, which is trained collaboratively in an online manner simply using the power exchanges between the nodes. As opposed to the conventional neuromorphic sensors that operate with spiking signals, we employ an event-driven selective process to collect sparse data for training of SNNs. Finally, its multi-fold effectiveness and reliable performance is validated under simulation conditions with different microgrid topologies and components to establish a new direction in the sense-actuate-compute cycle for power electronic dominated grids and microgrids.


title: Sound Concurrent Traces for Online Monitoring Technical Report

abstract: Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either not tailored for online monitoring, are no longer maintained, or implement naive instrumentation that often leads to unsound verdicts. We first define the notion of when a trace is representative of a concurrent execution. We then present a non-blocking vector clock algorithm to collect sound concurrent traces on the fly reflecting the partial order between events. Moreover, concurrent events in the representative trace pose a soundness problem for monitors synthesized from total order formalisms. For this, we extract a causal dependence relation from the monitor to check if the trace has the needed orderings and define the conditions to decide at runtime when a collected trace is monitorable. We implement our contributions in a tool, FACTS, which instruments programs compiling to Java bytecode, constructs sound representative traces, and warns the monitor about non-monitorable traces. We evaluate our work and compare it with existing approaches.