title: Dual-modal Prior Semantic Guided Infrared and Visible Image Fusion for Intelligent Transportation System

abstract: Infrared and visible image fusion (IVF) plays an important role in intelligent transportation system (ITS). The early works predominantly focus on boosting the visual appeal of the fused result, and only several recent approaches have tried to combine the high-level vision task with IVF. However, they prioritize the design of cascaded structure to seek unified suitable features and fit different tasks. Thus, they tend to typically bias toward to reconstructing raw pixels without considering the significance of semantic features. Therefore, we propose a novel prior semantic guided image fusion method based on the dual-modality strategy, improving the performance of IVF in ITS. Specifically, to explore the independent significant semantic of each modality, we first design two parallel semantic segmentation branches with a refined feature adaptive-modulation (RFaM) mechanism. RFaM can perceive the features that are semantically distinct enough in each semantic segmentation branch. Then, two pilot experiments based on the two branches are conducted to capture the significant prior semantic of two images, which then is applied to guide the fusion task in the integration of semantic segmentation branches and fusion branches. In addition, to aggregate both high-level semantics and impressive visual effects, we further investigate the frequency response of the prior semantics, and propose a multi-level representation-adaptive fusion (MRaF) module to explicitly integrate the low-frequent prior semantic with the high-frequent details. Extensive experiments on two public datasets demonstrate the superiority of our method over the state-of-the-art image fusion approaches, in terms of either the visual appeal or the high-level semantics.


title: Rank-Dependent Predictable Forward Performance Processes

abstract: Predictable forward performance processes (PFPPs) are stochastic optimal control frameworks for an agent who controls a randomly evolving system but can only prescribe the system dynamics for a short period ahead. This is a common scenario in which a controlling agent frequently re-calibrates her model. We introduce a new class of PFPPs based on rank-dependent utility, generalizing existing models that are based on expected utility theory (EUT). We establish existence of rank-dependent PFPPs under a conditionally complete market and exogenous probability distortion functions which are updated periodically. We show that their construction reduces to solving an integral equation that generalizes the integral equation obtained under EUT in previous studies. We then propose a new approach for solving the integral equation via theory of Volterra equations. We illustrate our result in the special case of conditionally complete Black-Scholes model.


title: Non-Inertial Rigid Frames and the Principle of Equivalence

abstract: One version of the principle of equivalence, as originally formulated by Einstein, states that ``gravity" can be mimicked locally by going to an ``accelerated frame of reference". As highlighted by Synge, the physical content of this principle remains obscure in so far as it does not refer to the Riemann tensor $R_{abcd}$, which encodes the true effects of gravity. We here give the acceleration profile of a $Born$ rigid, Rindler$esque$, frame that can mimic a gravitational field corresponding to a given $R_{abcd}$. The generalised deviation equation that yields this result also has Centrifugal and Coriolis terms appearing in a purely relational context, yielding a similar connection between angular velocity of rotating, rigid inertial frames and the Riemann tensor. We comment briefly on implications for Mach principle.


title: On machine learning analysis of atomic force microscopy images for image classification, sample surface recognition

abstract: Atomic force microscopy (AFM or SPM) imaging is one of the best matches with machine learning (ML) analysis among microscopy techniques. The digital format of AFM images allows for direct utilization in ML algorithms without the need for additional processing. Additionally, AFM enables the simultaneous imaging of distributions of over a dozen different physicochemical properties of sample surfaces, a process known as multidimensional imaging. While this wealth of information can be challenging to analyze using traditional methods, ML provides a seamless approach to this task. However, the relatively slow speed of AFM imaging poses a challenge in applying deep learning methods broadly used in image recognition. This Prospective is focused on ML recognition/classification when using a relatively small number of AFM images, small database. We discuss ML methods other than popular deep-learning neural networks. The described approach has already been successfully used to analyze and classify the surfaces of biological cells. It can be applied to recognize medical images, specific material processing, in forensic studies, even to identify the authenticity of arts. A general template for ML analysis specific to AFM is suggested, with a specific example of the identification of cell phenotype. Special attention is given to the analysis of the statistical significance of the obtained results, an important feature that is often overlooked in papers dealing with machine learning. A simple method for finding statistical significance is also described.

categories: physics.bio-ph cs.AI physics.ins-det physics.med-ph


title: Accretion tori around rotating neutron stars -- Paper II: Oscillations and precessions

abstract: The four characteristic oscillation frequencies of accretion flows are, in addition to the Keplerian orbital frequency, often discussed in the context of the time variability of the black hole and neutron star (NS) low-mass X-ray binaries (LMXBs). These are namely the frequencies of the axisymmetric radial and vertical epicyclic oscillations, and the frequencies of non-axisymmetric oscillations corresponding to the periastron (radial) and Lense-Thirring (vertical) precessions. In this context, we investigate the effect of the quadrupole moment of a slowly rotating NS and provide complete formulae for calculating these oscillation and precession frequencies, as well as their convenient approximations. Simple formulae corresponding to the geodesic limit of a slender torus (and test particle motion) and the limit of a marginally overflowing torus (torus exhibiting a critical cusp) are presented, and furthermore, more general approximate formulae are included to allow calculations for arbitrarily thick tori. We provide the Wolfram Mathematica code used for our calculations together with C++ and PYTHON codes for calculations of the frequencies. Our formulae can be used for various calculations describing the astrophysical signatures of the NSs' superdense matter equation of state. For instance, we demonstrate that, even for a given fixed number of free parameters, a model accounting for fluid flow precession better matches the frequencies of twin-peak quasiperiodic oscillations observed in NS LMXBs than a model using geodesic precession.


title: Mean Field Game of Mutual Holding with common noise

abstract: We consider the mean field game of cross--holding introduced in \citeauthor*{DjeteTouzi} \cite{DjeteTouzi} in the context where the equity value dynamics are affected by a common noise. In contrast with \cite{DjeteTouzi}, the problem exhibits the standard paradigm of mean--variance trade off. Our crucial observation is to search for equilibrium solutions of our mean field game among those models which satisfy an appropriate notion of no--arbitrage. Under this condition, it follows that the representative agent optimization step is reduced to a standard portfolio optimization problem with random endowment.


title: An early warning indicator trained on stochastic disease-spreading models with different noises

abstract: The timely detection of disease outbreaks through reliable early warning signals (EWSs) is indispensable for effective public health mitigation strategies. Nevertheless, the intricate dynamics of real-world disease spread, often influenced by diverse sources of noise and limited data in the early stages of outbreaks, pose a significant challenge in developing reliable EWSs, as the performance of existing indicators varies with extrinsic and intrinsic noises. Here, we address the challenge of modeling disease when the measurements are corrupted by additive white noise, multiplicative environmental noise, and demographic noise into a standard epidemic mathematical model. To navigate the complexities introduced by these noise sources, we employ a deep learning algorithm that provides EWS in infectious disease outbreak by training on noise-induced disease-spreading models. The indicator's effectiveness is demonstrated through its application to real-world COVID-19 cases in Edmonton and simulated time series derived from diverse disease spread models affected by noise. Notably, the indicator captures an impending transition in a time series of disease outbreaks and outperforms existing indicators. This study contributes to advancing early warning capabilities by addressing the intricate dynamics inherent in real-world disease spread, presenting a promising avenue for enhancing public health preparedness and response efforts.


title: Towards multi-messenger observations of core-collapse supernovae harboring choked jets

abstract: Over the last decade, choked jets have attracted particular attention as potential sources of high-energy cosmic neutrinos. Testing this hypothesis is challenging because of the missing gamma-ray counterpart, hence the identification of other electromagnetic signatures is crucial. A choked-jet source is expected harboring in core-collapse supernovae with extended hydrogen envelopes, leading to the release of ultraviolet and optical emission for a few days. The ultraviolet band will be visible with an unprecedentedly large field of view by the future mission satellite ULTRASAT, for which we investigate the detection prospects in relation to the chocked source visibility in the optical band with the currently operating telescope ZTF. As these sources can produce neutrinos via hadronic and photohadronic interactions in choked jets, we also investigate how neutrino observations by existing Cherenkov high-energy neutrino telescopes (as IceCube and KM3NeT) can be used in association with electromagnetic signals coming from shock breakout events. By considering fiducial parameters of the source population and instruments performances, we estimate the maximum redshift up to which ULTRASAT and ZTF are able to detect ultraviolet and optical signals from these explosions, respectively. Furthermore, we discuss coordinated multi-messenger observations among those instruments and high-energy neutrino telescopes. ULTRASAT will be able to double the volume of sky currently visible by ZTF for the same emitting sources enlarging the sample of observed Type II supernovae by around 60%. For optimized multi-messenger detections, the delay between neutrino produced at the shock breakout occurrence (during the jet propagation inside the stellar envelope) and ULTRASAT observations should be of around 4(5) days, with a subsequent follow-up by instruments like ZTF about one week after.

categories: astro-ph.HE astro-ph.IM astro-ph.SR hep-ph


title: The Next Generation Virgo Cluster Survey (NGVS). III. A Catalog of Surface Brightness Fluctuation Distances and the Three-Dimensional Distribution of Galaxies in the Virgo Cluster

abstract: The surface brightness fluctuation (SBF) method is a robust and efficient way of measuring distances to galaxies containing evolved stellar populations. Although many recent applications of the method have used space-based imaging, SBF remains a powerful technique for ground-based telescopes. Deep, wide-field imaging surveys with subarsecond seeing enable SBF measurements for numerous nearby galaxies. Using a preliminary calibration, Cantiello et al. (2018) presented SBF distances for 89 bright, mainly early-type galaxies observed in the Next Generation Virgo Cluster Survey (NGVS). Here, we present a refined calibration and SBF distances for 278 galaxies extending several magnitudes fainter than in previous work. The derived distances have uncertainties of 5-12\% depending on the properties of the individual galaxies, and our sample is more than three times larger than any previous SBF study of this region. Virgo has a famously complex structure with numerous subclusters, clouds and groups; we associate individual galaxies with the various substructures and map their three-dimensional spatial distribution. Curiously, subcluster A, centered around M87, appears to have two peaks in distance: the main peak at $\sim$16.5 Mpc and a smaller one at $\sim$19.4 Mpc. Subclusters B and C have distances of $\sim$15.8 Mpc. The W and W' groups form a filament-like structure, extending more than 15~Mpc behind the cluster with a commensurate velocity increase of $\sim$1000 \kms\ along its length. These measurements are a valuable resource for future studies of the relationship between galaxy properties and local environment within a dynamic and evolving region.


title: General Relativistic Magnetohydrodynamic Simulations of Accreting Tori: Resolution Study

abstract: We present two-dimensional general relativistic radiative magnetohydrodynamical simulations of accretion disks around non-rotating stellar-mass black hole. We study the evolution of an equilibrium accreting torus in different grid resolutions to determine an adequate resolution to produce a stable turbulent disk driven by magneto-rotational instability. We evaluate the quality parameter, $Q_{\theta}$, from the ratio of MRI wavelength to the grid zone size and examine the effect of resolution in various quantitative values such as the accretion rate, magnetisation, fluxes of physical quantities and disk scale-height. We also analyse how the resolution affects the formation of plasmoids produced in the magnetic reconnection events.


title: Evaluation of Greedy and CBF for ETSI non-area GeoNetworking: The impact of DCC

abstract: This paper evaluates the performance of the two ETSI non-area forwarding algorithms in the GeoNetworking specification: Greedy Forwarding and Non-Area Contention-Based Forwarding (CBF). Non-area forwarding occurs when a packet is sent to a geographical Destination Area from a node located outside of this area, e.g., when a vehicle wants to alert of hazardous events to other vehicles located in a distant geographical area. The evaluation has been carried out both in urban and highway scenarios and takes into account the complete ETSI Architecture, including the interaction with the Decentralized Congestion Control (DCC) mechanism. We have also compared ETSI-defined mechanisms with optimizations found in the literature. Our main findings are that Greedy Forwarding, when combined with DCC, is extremely ineffective even with optimizations, and Non-Area CBFs (both ETSI CBF and an optimized version called S-FoT+) outperform Greedy Forwarding both in highway and urban scenarios.


title: KITchen: A Real-World Benchmark and Dataset for 6D Object Pose Estimation in Kitchen Environments

abstract: Despite the recent progress on 6D object pose estimation methods for robotic grasping, a substantial performance gap persists between the capabilities of these methods on existing datasets and their efficacy in real-world mobile manipulation tasks, particularly when robots rely solely on their monocular egocentric field of view (FOV). Existing real-world datasets primarily focus on table-top grasping scenarios, where a robotic arm is placed in a fixed position and the objects are centralized within the FOV of fixed external camera(s). Assessing performance on such datasets may not accurately reflect the challenges encountered in everyday mobile manipulation tasks within kitchen environments such as retrieving objects from higher shelves, sinks, dishwashers, ovens, refrigerators, or microwaves. To address this gap, we present Kitchen, a novel benchmark designed specifically for estimating the 6D poses of objects located in diverse positions within kitchen settings. For this purpose, we recorded a comprehensive dataset comprising around 205k real-world RGBD images for 111 kitchen objects captured in two distinct kitchens, utilizing one humanoid robot with its egocentric perspectives. Subsequently, we developed a semi-automated annotation pipeline, to streamline the labeling process of such datasets, resulting in the generation of 2D object labels, 2D object segmentation masks, and 6D object poses with minimized human effort. The benchmark, the dataset, and the annotation pipeline are available at https://kitchen-dataset.github.io/KITchen.


title: Thermal Analysis for NVIDIA GTX480 Fermi GPU Architecture

abstract: In this project, we design a four-layer (Silicon|TIM|Silicon|TIM), 3D floor plan for NVIDIA GTX480 Fermi GPU architecture and compare heat dissipation and power trends for matrix multiplication and Needleman-Wunsch kernels. First, cuda kernels for the two algorithms are written. These kernels are compiled and executed with the GPGPU Simulator to extract power logs for varying tensor sizes. These power logs are converted to ptrace files with an automation script written in Python. The 3D floor plan, along with the generated ptrace files are given to HotSpot, which generates thermal heat maps to show heat dissipation for various components of the Fermi architecture. These heat dissipation trends for both the kernels are observed for multiple tensor sizes to draw qualitative conclusions. The behavioral and execution patterns of both kernels are also observed with these varying heat dissipation trends. With this project, we observe that an increase in tensor size results in an increase of heat dissipation in components of the Fermi Architecture. However, the temperature of the chip remains saturated after a particular tensor size and remains constant thereafter. Heat dissipation is non-uniform with smaller tensor sizes, and becomes more uniform after a certain tensor size. This means, that after a particular tensor size, more cores of the architecture get activated in the computations, thereby resulting in an almost constant temperature. We also observe that Needleman Wunsch uses more data movement between DRAM and caches, thereby showing higher heat dissipation patterns in DRAMs when compared to Matrix multiplication for the same tensor size. Our observations are in accordance with the theoretical concepts behind the working of the two algorithms, thereby making our results consistent.


title: Low Rank Groupwise Deformations for Motion Tracking in Cardiac Cine MRI

abstract: Diffeomorphic image registration is a commonly used method to deform one image to resemble another. While warping a single image to another is useful, it can be advantageous to warp multiple images simultaneously, such as in tracking the motion of the heart across a sequence of images. In this paper, our objective is to propose a novel method capable of registering a group or sequence of images to a target image, resulting in registered images that appear identical and therefore have a low rank. Moreover, we aim for these registered images to closely resemble the target image. Through experimental evidence, we will demonstrate our method's superior efficacy in producing low-rank groupwise deformations compared to other state-of-the-art approaches.


title: AB5 type multicomponent TiVCoNiMn2 high-entropy alloy

abstract: Recent theoretical and practical research has focused on multi-component High Entropy Alloys (HEAs), which have superior mechanical and functional properties than standard alloys based on a single major element, thereby establishing a new field. A multi-component HEA contains five or more primary elements at concentrations ranging from 5 to 35 atomic percent. We examined the microstructure and mechanical properties of TiVCoNiMn2 HEA. The mixing enthalpy and other thermodynamic parameters were determined using Meidma's model. TiVCoNiMn2 exhibits a mixing enthalpy of -15.6 kJ/mol and an atomic radius mismatch of approximately 10.03%. HEA is derived from both hydride and non-hydride-producing elements. This could be a useful hydrogen storage material. The hydrogen absorption/desorption capabilities of these HEAs are promising.


title: Adversarially Masked Video Consistency for Unsupervised Domain Adaptation

abstract: We study the problem of unsupervised domain adaptation for egocentric videos. We propose a transformer-based model to learn class-discriminative and domain-invariant feature representations. It consists of two novel designs. The first module is called Generative Adversarial Domain Alignment Network with the aim of learning domain-invariant representations. It simultaneously learns a mask generator and a domain-invariant encoder in an adversarial way. The domain-invariant encoder is trained to minimize the distance between the source and target domain. The masking generator, conversely, aims at producing challenging masks by maximizing the domain distance. The second is a Masked Consistency Learning module to learn class-discriminative representations. It enforces the prediction consistency between the masked target videos and their full forms. To better evaluate the effectiveness of domain adaptation methods, we construct a more challenging benchmark for egocentric videos, U-Ego4D. Our method achieves state-of-the-art performance on the Epic-Kitchen and the proposed U-Ego4D benchmark.


title: $qt$RSK${}^*$: A probabilistic dual RSK correspondence for Macdonald polynomials

abstract: We introduce a probabilistic generalization of the dual Robinson--Schensted--Knuth correspondence, called $qt$RSK${}^*$, depending on two parameters $q$ and $t$. This correspondence extends the $q$RS$t$ correspondence, recently introduced by the authors, and allows the first tableaux-theoretic proof of the dual Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$, one recovers the row and column insertion version of the classical dual RSK correspondence as well as of $q$- and $t$-deformations thereof which are connected to $q$-Whittaker and Hall--Littlewood polynomials. When restricting to Jack polynomials and $\{0,1\}$-matrices corresponding to words, we prove that the insertion tableaux obtained by $qt$RSK${}^*$ are invariant under swapping letters in the input word. Our approach is based on Fomin's growth diagrams and the notion of probabilistic bijections.


title: On the Equivalency, Substitutability, and Flexibility of Synthetic Data

abstract: We study, from an empirical standpoint, the efficacy of synthetic data in real-world scenarios. Leveraging synthetic data for training perception models has become a key strategy embraced by the community due to its efficiency, scalability, perfect annotations, and low costs. Despite proven advantages, few studies put their stress on how to efficiently generate synthetic datasets to solve real-world problems and to what extent synthetic data can reduce the effort for real-world data collection. To answer the questions, we systematically investigate several interesting properties of synthetic data -- the equivalency of synthetic data to real-world data, the substitutability of synthetic data for real data, and the flexibility of synthetic data generators to close up domain gaps. Leveraging the M3Act synthetic data generator, we conduct experiments on DanceTrack and MOT17. Our results suggest that synthetic data not only enhances model performance but also demonstrates substitutability for real data, with 60% to 80% replacement without performance loss. In addition, our study of the impact of synthetic data distributions on downstream performance reveals the importance of flexible data generators in narrowing domain gaps for improved model adaptability.


title: "How do people decide?": A Model for Software Library Selection

abstract: Modern-day software development is often facilitated by the reuse of third-party software libraries. Despite the significant effort to understand the factors contributing to library selection, it is relatively unknown how the libraries are selected and what tools are still needed to support the selection process. Using Straussian grounded theory, we conducted and analyzed the interviews of 24 professionals across the world and derived a model of library selection process which is governed by six selection patterns (i.e., rules). The model draws from marketing theory and lays the groundwork for the development of a library selection tool which captures the technical and non-technical aspects developers consider.


title: Partially Blinded Unlearning: Class Unlearning for Deep Networks a Bayesian Perspective

abstract: In order to adhere to regulatory standards governing individual data privacy and safety, machine learning models must systematically eliminate information derived from specific subsets of a user's training data that can no longer be utilized. The emerging discipline of Machine Unlearning has arisen as a pivotal area of research, facilitating the process of selectively discarding information designated to specific sets or classes of data from a pre-trained model, thereby eliminating the necessity for extensive retraining from scratch. The principal aim of this study is to formulate a methodology tailored for the purposeful elimination of information linked to a specific class of data from a pre-trained classification network. This intentional removal is crafted to degrade the model's performance specifically concerning the unlearned data class while concurrently minimizing any detrimental impacts on the model's performance in other classes. To achieve this goal, we frame the class unlearning problem from a Bayesian perspective, which yields a loss function that minimizes the log-likelihood associated with the unlearned data with a stability regularization in parameter space. This stability regularization incorporates Mohalanobis distance with respect to the Fisher Information matrix and $l_2$ distance from the pre-trained model parameters. Our novel approach, termed \textbf{Partially-Blinded Unlearning (PBU)}, surpasses existing state-of-the-art class unlearning methods, demonstrating superior effectiveness. Notably, PBU achieves this efficacy without requiring awareness of the entire training dataset but only to the unlearned data points, marking a distinctive feature of its performance.


title: Improving Sequence-to-Sequence Models for Abstractive Text Summarization Using Meta Heuristic Approaches

abstract: As human society transitions into the information age, reduction in our attention span is a contingency, and people who spend time reading lengthy news articles are decreasing rapidly and the need for succinct information is higher than ever before. Therefore, it is essential to provide a quick overview of important news by concisely summarizing the top news article and the most intuitive headline. When humans try to make summaries, they extract the essential information from the source and add useful phrases and grammatical annotations from the original extract. Humans have a unique ability to create abstractions. However, automatic summarization is a complicated problem to solve. The use of sequence-to-sequence (seq2seq) models for neural abstractive text summarization has been ascending as far as prevalence. Numerous innovative strategies have been proposed to develop the current seq2seq models further, permitting them to handle different issues like saliency, familiarity, and human lucidness and create excellent synopses. In this article, we aimed toward enhancing the present architectures and models for abstractive text summarization. The modifications have been aimed at fine-tuning hyper-parameters, attempting specific encoder-decoder combinations. We examined many experiments on an extensively used CNN/DailyMail dataset to check the effectiveness of various models.


title: Large Language Models Offer an Alternative to the Traditional Approach of Topic Modelling

abstract: Topic modelling, as a well-established unsupervised technique, has found extensive use in automatically detecting significant topics within a corpus of documents. However, classic topic modelling approaches (e.g., LDA) have certain drawbacks, such as the lack of semantic understanding and the presence of overlapping topics. In this work, we investigate the untapped potential of large language models (LLMs) as an alternative for uncovering the underlying topics within extensive text corpora. To this end, we introduce a framework that prompts LLMs to generate topics from a given set of documents and establish evaluation protocols to assess the clustering efficacy of LLMs. Our findings indicate that LLMs with appropriate prompts can stand out as a viable alternative, capable of generating relevant topic titles and adhering to human guidelines to refine and merge topics. Through in-depth experiments and evaluation, we summarise the advantages and constraints of employing LLMs in topic extraction.


title: Three Examples of Quasisymmetric Compatible $\mathfrak{S}_n$-modules

abstract: The Schur functions, a basis for the symmetric polynomials (Sym), encode the irreducible representations of the symmetric group, $\mathfrak{S}_n$, via the Frobenius characteristic map. In 1996, Krob and Thibon defined a quasisymmetric Frobenius map on the representations of $\mathcal{H}_n(0)$, mapping them to the quasisymmetric functions (QSym). Despite the obvious inclusion of Sym in QSym and the close relationship between $\mathfrak{S}_n$ and $\mathcal{H}_n(0)$, there is no known direct link between these two Frobenius characteristic maps and the related representations. We explore three specific situations in which a deformation of an $\mathfrak{S}_n$ action results in a valid $\mathcal{H}_n(0)$ action and gives a quasisymmetric Frobenius characteristic that is equal to the symmetric Frobenius characteristic. We introduce the concept of quasisymmetric compatibility, which formalizes a link between the two maps, and we show it applies to all $\mathfrak{S}_n$-modules.


title: The APO-K2 Catalog. II. Accurate Stellar Ages for Red Giant Branch Stars across the Milky Way

abstract: We present stellar age determinations for 4661 red giant branch stars in the APO-K2 catalog, derived using mass estimates from K2 asteroseismology from the K2 Galactic Archaeology Program and elemental abundances from the Apache Point Galactic Evolution Experiment survey. Our sample includes 17 of the 19 fields observed by K2, making it one of the most comprehensive catalogs of accurate stellar ages across the Galaxy in terms of the wide range of populations spanned by its stars, enabling rigorous tests of Galactic chemical evolution models. Taking into account the selection functions of the K2 sample, the data appear to support the age-chemistry morphology of stellar populations predicted by both inside-out and late-burst scenarios. We also investigate trends in age versus stellar chemistry and Galactic position, which are consistent with previous findings. Comparisons against APOKASC-3 asteroseismic ages show agreement to within ~3%. We also discuss offsets between our ages and spectroscopic ages. Finally, we note that ignoring the effects of $\alpha$-enhancement on stellar opacity (either directly or with the Salaris metallicity correction) results in an ~10% offset in age estimates for the most $\alpha$-enhanced stars, which is an important consideration for continued tests of Galactic models with this and other asteroseismic age samples.


title: Spectroscopic approaches for studies of site-specific DNA base and backbone "breathing" using exciton-coupled dimer-labeled DNA

abstract: DNA regulation and repair processes require direct interactions between proteins and DNA at specific sites. Local fluctuations of the sugar-phosphate backbones and bases of DNA (a form of DNA "breathing") play a central role in such processes. Here we review the development and application of novel spectroscopic methods and analyses - both at the ensemble and single-molecule levels - to study structural and dynamic properties of exciton-coupled cyanine and fluorescent nucleobase analogue dimer-labeled DNA constructs at key positions involved in protein-DNA complex assembly and function. The exciton-coupled dimer probes act as "sensors" of the local conformations adopted by the sugar-phosphate backbones and bases immediately surrounding the dimer probes. These methods can be used to study the mechanisms of protein binding and function at these sites.


title: Legged Robot State Estimation within Non-inertial Environments

abstract: This paper investigates the robot state estimation problem within a non-inertial environment. The proposed state estimation approach relaxes the common assumption of static ground in the system modeling. The process and measurement models explicitly treat the movement of the non-inertial environments without requiring knowledge of its motion in the inertial frame or relying on GPS or sensing environmental landmarks. Further, the proposed state estimator is formulated as an invariant extended Kalman filter (InEKF) with the deterministic part of its process model obeying the group-affine property, leading to log-linear error dynamics. The observability analysis of the filter confirms that the robot's pose (i.e., position and orientation) and velocity relative to the non-inertial environment are observable. Hardware experiments on a humanoid robot moving on a rotating and translating treadmill demonstrate the high convergence rate and accuracy of the proposed InEKF even under significant treadmill pitch sway, as well as large estimation errors.


title: Unveiling Lens Light Complexity with A Novel Multi-Gaussian Expansion Approach for Strong Gravitational Lensing

abstract: In a strong gravitational lensing system, the distorted light from a source is analysed to infer the properties of the lens. However, light emitted by the lens itself can contaminate the image of the source, introducing systematic errors in the analysis. We present a simple and efficient lens light model based on the well-tested multi-Gaussian expansion (MGE) method for representing galaxy surface brightness profiles, which we combine with a semi-linear inversion scheme for pixelized source modelling. Testing it against realistic mock lensing images, we show that our scheme can fit the lensed images to the noise level, with relative differences between the true input and best-fit lens light model remaining below 5%. We apply the MGE lens light model to 38 lenses from the HST SLACS sample. We find that the new scheme provides a good fit for the majority of the sample with only 3 exceptions -- these show clear asymmetric residuals in the lens light. We examine the radial dependence of the ellipticity and position angles and confirm that it is common for a typical lens galaxy to exhibit twisting, non-elliptical isophotes and boxy / disky isophotes. Our MGE lens light model will be a valuable tool for understanding the hidden complexity of the lens mass distribution.


title: Instantaneous control strategies for magnetically confined fusion plasma

abstract: The principle behind magnetic fusion is to confine high temperature plasma inside a device in such a way that the nuclei of deuterium and tritium joining together can release energy. The high temperatures generated needs the plasma to be isolated from the wall of the device to avoid damages and the scope of external magnetic fields is to achieve this goal. In this paper, to face this challenge from a numerical perspective, we propose an instantaneous control mathematical approach to steer a plasma into a given spatial region. From the modeling point of view, we focus on the Vlasov equation in a bounded domain with self induced electric field and an external strong magnetic field. The main feature of the control strategy employed is that it provides a feedback on the equation of motion based on an instantaneous prediction of the discretized system. This permits to directly embed the minimization of a given cost functional into the particle interactions of the corresponding Vlasov model. The numerical results demonstrate the validity of our control approach and the capability of an external magnetic field, even if in a simplified setting, to lead the plasma far from the boundaries.


title: Phase retrieval on circles and lines

abstract: Let $f$ and $g$ be analytic functions on the open unit disc $\mathbb D$ such that $|f|=|g|$ on a set $A$. We give an alternative proof of the result of Perez that there exists $c$ in the unit circle $\mathbb T$ such that $f=cg$ when $A$ is the union of two lines in $\mathbb D$ intersecting at an angle that is an irrational multiple of $\pi$, and from this deduce a sequential generalization of the result. Similarly, the same conclusion is valid when $f$ and $g$ are in the Nevanlinna class and $A$ is the union of the unit circle and an interior circle, tangential or not. We also provide sequential versions of this result and analyse the case $A=r\mathbb T$. Finally, we examine the most general situation when there is equality on two distinct circles in the disc, providing a result or counterexample for each possible configuration.


title: Covariate-adjusted marginal cumulative incidence curves for competing risk analysis

abstract: Covariate imbalance between treatment groups makes it difficult to compare cumulative incidence curves in competing risk analyses. In this paper we discuss different methods to estimate adjusted cumulative incidence curves including inverse probability of treatment weighting and outcome regression modeling. For these methods to work, correct specification of the propensity score model or outcome regression model, respectively, is needed. We introduce a new doubly robust estimator, which requires correct specification of only one of the two models. We conduct a simulation study to assess the performance of these three methods, including scenarios with model misspecification of the relationship between covariates and treatment and/or outcome. We illustrate their usage in a cohort study of breast cancer patients estimating covariate-adjusted marginal cumulative incidence curves for recurrence, second primary tumour development and death after undergoing mastectomy treatment or breast-conserving therapy. Our study points out the advantages and disadvantages of each covariate adjustment method when applied in competing risk analysis.


title: Unlearning Backdoor Threats: Enhancing Backdoor Defense in Multimodal Contrastive Learning via Local Token Unlearning

abstract: Multimodal contrastive learning has emerged as a powerful paradigm for building high-quality features using the complementary strengths of various data modalities. However, the open nature of such systems inadvertently increases the possibility of backdoor attacks. These attacks subtly embed malicious behaviors within the model during training, which can be activated by specific triggers in the inference phase, posing significant security risks. Despite existing countermeasures through fine-tuning that reduce the adverse impacts of such attacks, these defenses often degrade the clean accuracy and necessitate the construction of extensive clean training pairs. In this paper, we explore the possibility of a less-cost defense from the perspective of model unlearning, that is, whether the model can be made to quickly \textbf{u}nlearn \textbf{b}ackdoor \textbf{t}hreats (UBT) by constructing a small set of poisoned samples. Specifically, we strengthen the backdoor shortcuts to discover suspicious samples through overfitting training prioritized by weak similarity samples. Building on the initial identification of suspicious samples, we introduce an innovative token-based localized forgetting training regime. This technique specifically targets the poisoned aspects of the model, applying a focused effort to unlearn the backdoor associations and trying not to damage the integrity of the overall model. Experimental results show that our method not only ensures a minimal success rate for attacks, but also preserves the model's high clean accuracy.


title: Laplacian-guided Entropy Model in Neural Codec with Blur-dissipated Synthesis

abstract: While replacing Gaussian decoders with a conditional diffusion model enhances the perceptual quality of reconstructions in neural image compression, their lack of inductive bias for image data restricts their ability to achieve state-of-the-art perceptual levels. To address this limitation, we adopt a non-isotropic diffusion model at the decoder side. This model imposes an inductive bias aimed at distinguishing between frequency contents, thereby facilitating the generation of high-quality images. Moreover, our framework is equipped with a novel entropy model that accurately models the probability distribution of latent representation by exploiting spatio-channel correlations in latent space, while accelerating the entropy decoding step. This channel-wise entropy model leverages both local and global spatial contexts within each channel chunk. The global spatial context is built upon the Transformer, which is specifically designed for image compression tasks. The designed Transformer employs a Laplacian-shaped positional encoding, the learnable parameters of which are adaptively adjusted for each channel cluster. Our experiments demonstrate that our proposed framework yields better perceptual quality compared to cutting-edge generative-based codecs, and the proposed entropy model contributes to notable bitrate savings.


title: On the effective generation of direct images of pluricanonical bundles in mixed characteristic

abstract: We present an effective global generation result for direct images of pluricanonical bundles in mixed characteristic. This is a mixed characteristic analog of Ejiri's theorem in positive characteristic and the theorem of Popa and Schnell regarding their Fujita-type conjecture in characteristic zero. As an application, we establish a weak positivity statement for the relative canonical sheaf of a smooth morphism in mixed characteristic.


title: Out-of-Distribution Detection via Deep Multi-Comprehension Ensemble

abstract: Recent research underscores the pivotal role of the Out-of-Distribution (OOD) feature representation field scale in determining the efficacy of models in OOD detection. Consequently, the adoption of model ensembles has emerged as a prominent strategy to augment this feature representation field, capitalizing on anticipated model diversity. However, our introduction of novel qualitative and quantitative model ensemble evaluation methods, specifically Loss Basin/Barrier Visualization and the Self-Coupling Index, reveals a critical drawback in existing ensemble methods. We find that these methods incorporate weights that are affine-transformable, exhibiting limited variability and thus failing to achieve the desired diversity in feature representation. To address this limitation, we elevate the dimensions of traditional model ensembles, incorporating various factors such as different weight initializations, data holdout, etc., into distinct supervision tasks. This innovative approach, termed Multi-Comprehension (MC) Ensemble, leverages diverse training tasks to generate distinct comprehensions of the data and labels, thereby extending the feature representation field. Our experimental results demonstrate the superior performance of the MC Ensemble strategy in OOD detection compared to both the naive Deep Ensemble method and a standalone model of comparable size. This underscores the effectiveness of our proposed approach in enhancing the model's capability to detect instances outside its training distribution.


title: Symmetry breaker governs synchrony patterns in neuronal inspired networks

abstract: Experiments in the human brain reveal switching between different activity patterns and functional network organization over time. Recently, multilayer modeling has been employed across multiple neurobiological levels (from spiking networks to brain regions) to unveil novel insights into the emergence and time evolution of synchrony patterns. We consider two layers with the top layer directly coupled to the bottom layer. When isolated, the bottom layer would remain in a specific stable pattern. However, in the presence of the top layer, the network exhibits spatiotemporal switching. The top layer in combination with the inter-layer coupling acts as a symmetry breaker, governing the bottom layer and restricting the number of allowed symmetry-induced patterns. This structure allows us to demonstrate the existence and stability of pattern states on the bottom layer, but most remarkably, it enables a simple mechanism for switching between patterns based on the unique symmetry-breaking role of the governing layer. We demonstrate that the symmetry breaker prevents complete synchronization in the bottom layer, a situation that would not be desirable in a normal functioning brain. We illustrate our findings using two layers of Hindmarsh-Rose (HR) oscillators, employing the Master Stability function approach in small networks to investigate the switching between patterns.


title: HT-LIP Model based Robust Control of Quadrupedal Robot Locomotion under Unknown Vertical Ground Motion

abstract: This paper presents a hierarchical control framework that enables robust quadrupedal locomotion on a dynamic rigid surface (DRS) with general and unknown vertical motions. The key novelty of the framework lies in its higher layer, which is a discrete-time, provably stabilizing footstep controller. The basis of the footstep controller is a new hybrid, time-varying, linear inverted pendulum (HT-LIP) model that is low-dimensional and accurately captures the essential robot dynamics during DRS locomotion. A new set of sufficient stability conditions are then derived to directly guide the controller design for ensuring the asymptotic stability of the HT-LIP model under general, unknown, vertical DRS motions. Further, the footstep controller is cast as a computationally efficient quadratic program that incorporates the proposed HT-LIP model and stability conditions. The middle layer takes the desired footstep locations generated by the higher layer as input to produce kinematically feasible full-body reference trajectories, which are then accurately tracked by a lower-layer torque controller. Hardware experiments on a Unitree Go1 quadrupedal robot confirm the robustness of the proposed framework under various unknown, aperiodic, vertical DRS motions and uncertainties (e.g., slippery and uneven surfaces, solid and liquid loads, and sudden pushes).


title: Emotion Recognition from the perspective of Activity Recognition

abstract: Applications of an efficient emotion recognition system can be found in several domains such as medicine, driver fatigue surveillance, social robotics, and human-computer interaction. Appraising human emotional states, behaviors, and reactions displayed in real-world settings can be accomplished using latent continuous dimensions. Continuous dimensional models of human affect, such as those based on valence and arousal are more accurate in describing a broad range of spontaneous everyday emotions than more traditional models of discrete stereotypical emotion categories (e.g. happiness, surprise). Most of the prior work on estimating valence and arousal considers laboratory settings and acted data. But, for emotion recognition systems to be deployed and integrated into real-world mobile and computing devices, we need to consider data collected in the world. Action recognition is a domain of Computer Vision that involves capturing complementary information on appearance from still frames and motion between frames. In this paper, we treat emotion recognition from the perspective of action recognition by exploring the application of deep learning architectures specifically designed for action recognition, for continuous affect recognition. We propose a novel three-stream end-to-end deep learning regression pipeline with an attention mechanism, which is an ensemble design based on sub-modules of multiple state-of-the-art action recognition systems. The pipeline constitutes a novel data pre-processing approach with a spatial self-attention mechanism to extract keyframes. The optical flow of high-attention regions of the face is extracted to capture temporal context. AFEW-VA in-the-wild dataset has been used to conduct comparative experiments. Quantitative analysis shows that the proposed model outperforms multiple standard baselines of both emotion recognition and action recognition models.


title: An extended scheme of classical special functions

abstract: A unifying scheme of classical special functions of hypergeometric type obeying orthogonality or biorthogonality relations is described. It expands the Askey scheme of classical orthogonal polynomials and its $q$-analogue based on the Askey--Wilson polynomials. On the top, it has two-index biorthogonal functions formed from elliptic hypergeometric series with the absolutely continuous measure determined by the elliptic beta integral. A new result is an inclusion of complex hypergeometric functions into the scheme. Its further potential generalizations are discussed as well.


title: Connecting the Dots: Inferring Patent Phrase Similarity with Retrieved Phrase Graphs

abstract: We study the patent phrase similarity inference task, which measures the semantic similarity between two patent phrases. As patent documents employ legal and highly technical language, existing semantic textual similarity methods that use localized contextual information do not perform satisfactorily in inferring patent phrase similarity. To address this, we introduce a graph-augmented approach to amplify the global contextual information of the patent phrases. For each patent phrase, we construct a phrase graph that links to its focal patents and a list of patents that are either cited by or cite these focal patents. The augmented phrase embedding is then derived from combining its localized contextual embedding with its global embedding within the phrase graph. We further propose a self-supervised learning objective that capitalizes on the retrieved topology to refine both the contextualized embedding and the graph parameters in an end-to-end manner. Experimental results from a unique patent phrase similarity dataset demonstrate that our approach significantly enhances the representation of patent phrases, resulting in marked improvements in similarity inference in a self-supervised fashion. Substantial improvements are also observed in the supervised setting, underscoring the potential benefits of leveraging retrieved phrase graph augmentation.


title: What are the quantum commutation relations for the total angular momentum of light?

abstract: The total angular momentum of light has received attention for its application in a variety of phenomena such as optical communication, optical forces and sensing. However, the quantum behavior including the commutation relations have been relatively less explored. Here, we derive the correct commutation relation for the total angular momentum of light using both relativistic and non-relativistic approaches. An important outcome of our work is the proof that the widely-assumed quantum commutation relation for the total observable angular momentum of light is fundamentally incorrect. Our work will motivate experiments and leads to new insight on the quantum behavior of the angular momentum of light.


title: Regular categories, oligomorphic monoids, and tensor categories

abstract: Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure. In this paper, we explain how Knop's approach fits into our theory. The first, and most important, step describes finitely-powered regular categories in terms of oligomorphic monoids; this may be of independent interest. We go on to examine some aspects of this construction when the regular category one starts with is the category of $G$-sets for an oligomorphic group $G$, which yields some interesting examples.


title: Road layout in the KPZ class

abstract: We propose a road layout and traffic model, based on last passage percolation (LPP). An easy naive argument shows that coalescence of traffic trajectories is essential to be considered when observing traffic networks around us. This is a fundamental feature in first passage percolation (FPP) models where nearby geodesics naturally coalesce in search of the easiest passage through the landscape. Road designers seek the same in pursuing cost savings, hence FPP geodesics are straightforward candidates to model road layouts. Unfortunately no detailed knowledge is rigorously available on FPP geodesics. To address this, we use exponential LPP instead to build a stochastic model of road traffic and prove certain characteristics thereof. Cars start from every point of the lattice and follow half-infinite geodesics in random directions. Exponential LPP is known to be in the KPZ universality class and it is widely expected that FPP shares very similar properties, hence our findings should equally apply to FPP-based modelling. We address several traffic-related quantities of this model and compare our theorems to real life road networks.


title: Applied Category Theory in the Wolfram Language using Categorica I: Diagrams, Functors and Fibrations

abstract: This article serves as a preliminary introduction to the design of a new, open-source applied and computational category theory framework, named Categorica, built on top of the Wolfram Language. Categorica allows one to configure and manipulate abstract quivers, categories, groupoids, diagrams, functors and natural transformations, and to perform a vast array of automated abstract algebraic computations using (arbitrary combinations of) the above structures; to manipulate and abstractly reason about arbitrary universal properties, including products, coproducts, pullbacks, pushouts, limits and colimits; and to manipulate, visualize and compute with strict (symmetric) monoidal categories, including full support for automated string diagram rewriting and diagrammatic theorem-proving. In so doing, Categorica combines the capabilities of an abstract computer algebra framework (thus allowing one to compute directly with epimorphisms, monomorphisms, retractions, sections, spans, cospans, fibrations, etc.) with those of a powerful automated theorem-proving system (thus allowing one to convert universal properties and other abstract constructions into (higher-order) equational logic statements that can be reasoned about and proved using standard automated theorem-proving methods, as well as to prove category-theoretic statements directly using purely diagrammatic methods). In this first of two articles introducing the design of the framework, we shall focus principally upon its handling of quivers, categories, diagrams, groupoids, functors and natural transformations, including demonstrations of both its algebraic manipulation and theorem-proving capabilities in each case.


title: Constricting Normal Latent Space for Anomaly Detection with Normal-only Training Data

abstract: In order to devise an anomaly detection model using only normal training data, an autoencoder (AE) is typically trained to reconstruct the data. As a result, the AE can extract normal representations in its latent space. During test time, since AE is not trained using real anomalies, it is expected to poorly reconstruct the anomalous data. However, several researchers have observed that it is not the case. In this work, we propose to limit the reconstruction capability of AE by introducing a novel latent constriction loss, which is added to the existing reconstruction loss. By using our method, no extra computational cost is added to the AE during test time. Evaluations using three video anomaly detection benchmark datasets, i.e., Ped2, Avenue, and ShanghaiTech, demonstrate the effectiveness of our method in limiting the reconstruction capability of AE, which leads to a better anomaly detection model.


title: Object Detectors in the Open Environment: Challenges, Solutions, and Outlook

abstract: With the emergence of foundation models, deep learning-based object detectors have shown practical usability in closed set scenarios. However, for real-world tasks, object detectors often operate in open environments, where crucial factors (e.g., data distribution, objective) that influence model learning are often changing. The dynamic and intricate nature of the open environment poses novel and formidable challenges to object detectors. Unfortunately, current research on object detectors in open environments lacks a comprehensive analysis of their distinctive characteristics, challenges, and corresponding solutions, which hinders their secure deployment in critical real-world scenarios. This paper aims to bridge this gap by conducting a comprehensive review and analysis of object detectors in open environments. We initially identified limitations of key structural components within the existing detection pipeline and propose the open environment object detector challenge framework that includes four quadrants (i.e., out-of-domain, out-of-category, robust learning, and incremental learning) based on the dimensions of the data / target changes. For each quadrant of challenges in the proposed framework, we present a detailed description and systematic analysis of the overarching goals and core difficulties, systematically review the corresponding solutions, and benchmark their performance over multiple widely adopted datasets. In addition, we engage in a discussion of open problems and potential avenues for future research. This paper aims to provide a fresh, comprehensive, and systematic understanding of the challenges and solutions associated with open-environment object detectors, thus catalyzing the development of more solid applications in real-world scenarios. A project related to this survey can be found at https://github.com/LiangSiyuan21/OEOD_Survey.


title: L-MAE: Longitudinal masked auto-encoder with time and severity-aware encoding for diabetic retinopathy progression prediction

abstract: Pre-training strategies based on self-supervised learning (SSL) have proven to be effective pretext tasks for many downstream tasks in computer vision. Due to the significant disparity between medical and natural images, the application of typical SSL is not straightforward in medical imaging. Additionally, those pretext tasks often lack context, which is critical for computer-aided clinical decision support. In this paper, we developed a longitudinal masked auto-encoder (MAE) based on the well-known Transformer-based MAE. In particular, we explored the importance of time-aware position embedding as well as disease progression-aware masking. Taking into account the time between examinations instead of just scheduling them offers the benefit of capturing temporal changes and trends. The masking strategy, for its part, evolves during follow-up to better capture pathological changes, ensuring a more accurate assessment of disease progression. Using OPHDIAT, a large follow-up screening dataset targeting diabetic retinopathy (DR), we evaluated the pre-trained weights on a longitudinal task, which is to predict the severity label of the next visit within 3 years based on the past time series examinations. Our results demonstrated the relevancy of both time-aware position embedding and masking strategies based on disease progression knowledge. Compared to popular baseline models and standard longitudinal Transformers, these simple yet effective extensions significantly enhance the predictive ability of deep classification models.


title: Can Jupiter's atmospheric metallicity be different from the deep interior?

abstract: Updated formation and structure models of Jupiter predict a metal-poor envelope. This is at odds with the two to three times solar metallicity measured by the Galileo probe. Additionally, Juno data imply that water and ammonia are enriched. Here we explore whether Jupiter can have a deep radiative layer separating the atmosphere from the deeper interior. The radiative layer could be caused by a hydrogen-transparency window or depletion of alkali metals. We show that heavy-element accretion during Jupiter's evolution can lead to the desired atmospheric enrichment and that this configuration is stable over billions of years. The origin of the heavy elements could be cumulative small impacts or one large impact. The preferred scenario requires a deep radiative zone due to a local reduction of the opacity at $\sim$ 2000 K by $\sim$ 90%, which is supported by Juno data, and vertical mixing through the boundary with a similar efficiency to molecular diffusion ($D \lesssim 10^{-2}$ cm$^2$/s). Therefore, most of Jupiter's molecular envelope could have solar composition while its uppermost atmosphere is enriched with heavier elements. The enrichment likely originates from the accretion of solid objects. This possibility resolves the long-standing mismatch between Jupiter's interior models and atmospheric composition measurements. Furthermore, our results imply that the measured atmospheric composition of exoplanets does not necessarily reflect their bulk compositions. We also investigate whether the enrichment could be due to the erosion of a dilute core and show that this is highly unlikely. The core-erosion scenario is inconsistent with evolution calculations, the deep radiative layer, and published interior models.


title: Long-lived, pulse-induced absorption in $\mathrm{LiNb}_{1-x}\mathrm{Ta}_x\mathrm{O}_3$ solid solutions: the case of three intrinsic defect sites for electron localization with strong coupling

abstract: Femto-/nanosecond pulse-induced, red and near-infrared absorption is studied in $\mathrm{LiNb}_{1-x}\mathrm{Ta}_{x}\mathrm{O}_3$ (LNT) solid solutions with the goal to probe the intrinsic defect structure via the formation, transport and recombination of optically generated small bound electron polarons with strong coupling to the lattice. As a result, long-lived transients are uncovered for LNT which exceed lifetimes of LN and LT by a factor of up to 100 over the entire range of investigated compositions. At the same time, the starting amplitude varies in the range of $\alpha_\mathrm{li}^0\approx10-100\,\mathrm{m}^{-1}$ as a function of $x$ and exceed the ones of LN and LT by a factor of up to ten. The results are interpreted in the model of three-dimensional small polaron hopping transport considering the simultaneous presence of three different types of small bound polarons, in particular of small electron $\mathrm{Nb}_\mathrm{Li}^{4+}$ and $\mathrm{Ta}_\mathrm{Li}^{4+}$ antisite polarons, and of small electron $\mathrm{Ta}_\mathrm{V}^{4+}$ interstitial polarons. We conclude that the differences between LNT, LN, and LT may point to model systems that consist of one (LN), two (LT) and three (LNT) intrinsic defect centers for electron localization.


title: M^3RS: Multi-robot, Multi-objective, and Multi-mode Routing and Scheduling

abstract: In this paper, we present a novel problem coined multi-robot, multi-objective, and multi-mode routing and scheduling (M^3RS). The formulation for M^3RS is introduced for time-bound multi-robot, multi-objective routing and scheduling missions where each task has multiple execution modes. Different execution modes have distinct resource consumption, associated execution time, and quality. M^3RS assigns the optimal sequence of tasks and the execution modes to each agent. The routes and associated modes depend on user preferences for different objective criteria. The need for M^3RS comes from multi-robot applications in which a trade-off between multiple criteria arises from different task execution modes. We use M^3RS for the application of multi-robot disinfection in public locations. The objectives considered for disinfection application are disinfection quality and number of tasks completed. A mixed-integer linear programming model is proposed for M^3RS. Then, a time-efficient column generation scheme is presented to tackle the issue of computation times for larger problem instances. The advantage of using multiple modes over fixed execution mode is demonstrated using experiments on synthetic data. The results suggest that M^3RS provides flexibility to the user in terms of available solutions and performs well in joint performance metrics. The application of the proposed problem is shown for a team of disinfection robots.} The videos for the experiments are available on the project website: https://sites.google.com/view/g-robot/m3rs/ .


title: AVicuna: Audio-Visual LLM with Interleaver and Context-Boundary Alignment for Temporal Referential Dialogue

abstract: In everyday communication, humans frequently use speech and gestures to refer to specific areas or objects, a process known as Referential Dialogue (RD). While prior studies have investigated RD through Large Language Models (LLMs) or Large Multimodal Models (LMMs) in static contexts, the exploration of Temporal Referential Dialogue (TRD) within audio-visual media remains limited. Two primary challenges hinder progress in this field: (1) the absence of comprehensive, untrimmed audio-visual video datasets with precise temporal annotations, and (2) the need for methods to integrate complex temporal auditory and visual cues effectively. To address these challenges, we introduce a novel framework to generate PU-VALOR, an extensive audio-visual dataset comprising over 114,000 untrimmed videos with accurate temporal demarcations. We also present AVicuna, featuring an Audio-Visual Tokens Interleaver (AVTI) that ensures the temporal alignment of audio-visual information. Additionally, we develop the A5-222K dataset, encompassing more than 200,000 audio-text pairings, to facilitate the audio and text alignments. Our experiments demonstrate that AVicuna can effectively handle TRD in audio-visual videos and achieve state-of-the-art performance on various audio-visual video understanding tasks, particularly in untrimmed videos. We further investigate the optimal audio-interleaving rate for interleaved audio-visual inputs, which maximizes performance on the Audio-Visual Event Dense Localization task.


title: Combined Task and Motion Planning Via Sketch Decompositions (Extended Version with Supplementary Material)

abstract: The challenge in combined task and motion planning (TAMP) is the effective integration of a search over a combinatorial space, usually carried out by a task planner, and a search over a continuous configuration space, carried out by a motion planner. Using motion planners for testing the feasibility of task plans and filling out the details is not effective because it makes the geometrical constraints play a passive role. This work introduces a new interleaved approach for integrating the two dimensions of TAMP that makes use of sketches, a recent simple but powerful language for expressing the decomposition of problems into subproblems. A sketch has width 1 if it decomposes the problem into subproblems that can be solved greedily in linear time. In the paper, a general sketch is introduced for several classes of TAMP problems which has width 1 under suitable assumptions. While sketch decompositions have been developed for classical planning, they offer two important benefits in the context of TAMP. First, when a task plan is found to be unfeasible due to the geometric constraints, the combinatorial search resumes in a specific sub-problem. Second, the sampling of object configurations is not done once, globally, at the start of the search, but locally, at the start of each subproblem. Optimizations of this basic setting are also considered and experimental results over existing and new pick-and-place benchmarks are reported.


title: A descent basis for the Garsia-Procesi module

abstract: We assign to each Young diagram $\lambda$ a subset $\mathcal{B}_{\lambda'}$ of the collection of Garsia-Stanton descent monomials, and prove that it determines a basis of the Garsia-Procesi module $R_\lambda$, whose graded character is the Hall-Littlewood polynomial $\tilde{H}_{\lambda}[X;t]$. This basis is a major index analogue of the basis $\mathcal{B}_\lambda \subset R_\lambda$ defined by certain recursions in due to Garsia and Procesi, in the same way that the descent basis is related to the Artin basis of the coinvariant algebra $R_n$, which in fact corresponds to the case when $\lambda=1^n$. By anti-symmetrizing a subset of this basis with respect to the corresponding Young subgroup under the Springer action, we obtain a basis in the parabolic case, as well as a corresponding formula for the expansion of $\tilde{H}_{\lambda}[X;t]$. Despite a similar appearance, it does not appear obvious how to connect these formulas appear to the specialization of the modified Macdonald formula of Haglund, Haiman and Loehr at $q=0$.


title: The nontrivial effects of annealing on superconducting properties of Nb single crystals

abstract: The effect of annealing on the superconducting properties of niobium single crystals cut from the same master boule was studied by local and global magnetic measurements, as well as scanning tunneling microscopy (STM). The formation of large hydride precipitates was observed in unannealed samples. The variation in structural and magnetic properties was studied after annealing under high vacuum at 800 C, 1400 C, and near the melting point of niobium (2477 C) for a few seconds. The initial samples had a high hydrogen content. Polarized optics and magneto-optical studies show that the formation of large niobium hydride precipitates is suppressed already by 800 C annealing. However, the overall superconducting properties in the annealed samples did not improve after annealing, and in fact, worsened. The superconducting transition temperature decreased, the upper critical field increased, and the pinning strength increased. Parallel studies were conducted using STM, where the sample was annealed initially at 400 C, measured, annealed again at 1700 C, and measured again. These studies revealed a ``dirty'' superconducting gap with a significant spatial variation of tunneling conductance after annealing at 400 C. The clean gap was recovered after annealing at 1700 C. It is likely that these results are due to oxygen redistribution near the surface, which is always covered by oxide layers in as-grown crystals. Overall, the results indicate that vacuum annealing at least up to 1400 C, while expected to remove a large amount of hydrogen, introduces additional nanosized defects, perhaps hydride precipitates, that act as efficient pair-breaking and pinning centers.


title: The Effect of Resistivity on the Periodicity of Oscillatory Reconnection

abstract: The oscillatory reconnection mechanism is investigated for a parameter study of eight orders of magnitude of resistivity, with a particular interest in the evolution of the oscillating current density at the null point and its associated periodicity. The resistive, nonlinear MHD simulations are solved in 2.5D for different levels of resistivity. Three methods (wavelet analysis, Fourier transform and ANOVA) are used to investigate the effect of resistivity versus resultant period. It is found that there is an independence between the level of background resistivity and the period of the oscillatory reconnection mechanism. Conversely, it is found that resistivity has a significant effect on the maximum amplitude of the current density and the nature of its decay rate, as well as the magnitude of ohmic heating at the null.


title: Semi-Automatic Line-System Provisioning with Integrated Physical-Parameter-Aware Methodology: Field Verification and Operational Feasibility

abstract: We propose methods and an architecture to conduct measurements and optimize newly installed optical fiber line systems semi-automatically using integrated physics-aware technologies in a data center interconnection (DCI) transmission scenario. We demonstrate, for the first time, digital longitudinal monitoring (DLM) and optical line system (OLS) physical parameter calibration working together in real-time to extract physical link parameters for transmission performance optimization. Our methodology has the following advantages over traditional design: a minimized footprint at user sites, accurate estimation of the necessary optical network characteristics via complementary telemetry technologies, and the capability to conduct all operation work remotely. The last feature is crucial, as it enables remote operation to implement network design settings for immediate response to quality of transmission (QoT) degradation and reversion in the case of unforeseen problems. We successfully performed semi-automatic line system provisioning over field fiber networks facilities at Duke University, Durham, NC. The tasks of parameter retrieval, equipment setting optimization, and system setup/provisioning were completed within 1 hour. The field operation was supervised by on-duty personnel who could access the system remotely from different time zones. By comparing Q-factor estimates calculated from the extracted link parameters with measured results from 400G transceivers, we confirmed that our methodology has a reduction in the QoT prediction errors (+-0.3 dB) over existing design (+-10.6 dB).


title: The Evolution of Football Betting- A Machine Learning Approach to Match Outcome Forecasting and Bookmaker Odds Estimation

abstract: This paper explores the significant history of professional football and the betting industry, tracing its evolution from clandestine beginnings to a lucrative multi-million-pound enterprise. Initiated by the legalization of gambling in 1960 and complemented by advancements in football data gathering pioneered by Thorold Charles Reep, the symbiotic relationship between these sectors has propelled rapid growth and innovation. Over the past six decades, both industries have undergone radical transformations, with data collection methods evolving from rudimentary notetaking to sophisticated technologies such as high-definition cameras and Artificial Intelligence (AI)-driven analytics. Therefore, the primary aim of this study is to utilize Machine Learning (ML) algorithms to forecast premier league football match outcomes. By analyzing historical data and investigating the significance of various features, the study seeks to identify the most effective predictive models and discern key factors influencing match results. Additionally, the study aims to utilize these forecasting to inform the establishment of bookmaker odds, providing insights into the impact of different variables on match outcomes. By highlighting the potential for informed decision-making in sports forecasting and betting, this study opens up new avenues for research and practical applications in the domain of sports analytics.


title: Sample Empirical Likelihood Methods for Causal Inference

abstract: Causal inference is crucial for understanding the true impact of interventions, policies, or actions, enabling informed decision-making and providing insights into the underlying mechanisms that shape our world. In this paper, we establish a framework for the estimation and inference of average treatment effects using a two-sample empirical likelihood function. Two different approaches to incorporating propensity scores are developed. The first approach introduces propensity scores calibrated constraints in addition to the standard model-calibration constraints; the second approach uses the propensity scores to form weighted versions of the model-calibration constraints. The resulting estimators from both approaches are doubly robust. The limiting distributions of the two sample empirical likelihood ratio statistics are derived, facilitating the construction of confidence intervals and hypothesis tests for the average treatment effect. Bootstrap methods for constructing sample empirical likelihood ratio confidence intervals are also discussed for both approaches. Finite sample performances of the methods are investigated through simulation studies.


title: New results on non-disjoint and classical strong external difference families

abstract: Classical strong external difference families (SEDFs) are much-studied combinatorial structures motivated by information security applications; it is conjectured that only one classical abelian SEDF exists with more than two sets. Recently, non-disjoint SEDFs were introduced; it was shown that families of these exist with arbitrarily many sets. We present constructions for both classical and non-disjoint SEDFs, which encompass all known non-cyclotomic examples for either type (plus many new examples) using a sequence-based framework. Moreover, we introduce a range of new external difference structures (allowing set-sizes to vary, and sets to be replaced by multisets) in both the classical and non-disjoint case, and show how these may be applied to various communications applications.


title: SKdV, SmKdV flows and their supersymmetric gauge-Miura transformations

abstract: The construction of Integrable Hierarchies in terms of zero curvature representation provides a systematic construction for a series of integrable non-linear evolution equations (flows) which shares a common affine Lie algebraic structure. The integrable hierarchies are then classified in terms of a decomposition of the underlying affine Lie algebra $\hat {\cal{G}} $ into graded subspaces defined by a grading operator $Q$. In this paper we shall discuss explicitly the simplest case of the affine $\hat {sl}(2)$ Kac-Moody algebra within the principal gradation given rise to the KdV and mKdV hierarchies and extend to supersymmetric models. It is known that the positive mKdV sub-hierachy is associated to some positive odd graded abelian subalgebra with elements denoted by $E^{(2n+1)}$. Each of these elements in turn, defines a time evolution equation according to time $t=t_{2n+1}$. An interesting observation is that for negative grades, the zero curvature representation allows both, even or odd sub-hierarchies. In both cases, the flows are non-local leading to integro-differential equations. Whilst positive and negative odd sub-hierarchies admit zero vacuum solutions, the negative even admits strictly non-zero vacuum solutions. Soliton solutions can be constructed by gauge transforming the zero curvature from the vacuum into a non trivial configuration (dressing method). Inspired by the dressing transformation method, we have constructed a gauge-Miura transformation mapping mKdV into KdV flows. Interesting new results concerns the negative grade sector of the mKdV hierarchy in which a double degeneracy of flows (odd and its consecutive even) of mKdV are mapped into a single odd KdV flow. These results are extended to supersymmetric hierarchies based upon the affine $\hat {sl}(2,1)$ super-algebra.


title: HemoSet: The First Blood Segmentation Dataset for Automation of Hemostasis Management

abstract: Hemorrhaging occurs in surgeries of all types, forcing surgeons to quickly adapt to the visual interference that results from blood rapidly filling the surgical field. Introducing automation into the crucial surgical task of hemostasis management would offload mental and physical tasks from the surgeon and surgical assistants while simultaneously increasing the efficiency and safety of the operation. The first step in automation of hemostasis management is detection of blood in the surgical field. To propel the development of blood detection algorithms in surgeries, we present HemoSet, the first blood segmentation dataset based on bleeding during a live animal robotic surgery. Our dataset features vessel hemorrhage scenarios where turbulent flow leads to abnormal pooling geometries in surgical fields. These pools are formed in conditions endemic to surgical procedures -- uneven heterogeneous tissue, under glossy lighting conditions and rapid tool movement. We benchmark several state-of-the-art segmentation models and provide insight into the difficulties specific to blood detection. We intend for HemoSet to spur development of autonomous blood suction tools by providing a platform for training and refining blood segmentation models, addressing the precision needed for such robotics.


title: Coupled Requirements-driven Testing of CPS: From Simulation To Reality

abstract: Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans. As a result, extensive simulations and field tests need to be conducted, as part of the verification and validation of system requirements, to ensure system safety. However, current simulation and field testing practices, particularly in the domain of small Unmanned Aerial Systems (sUAS), are ad-hoc and lack a thorough, structured testing process. Furthermore, there is a dearth of standard processes and methodologies to inform the design of comprehensive simulation and field tests. This gap in the testing process leads to the deployment of sUAS applications that are: (a) tested in simulation environments which do not adequately capture the real-world complexity, such as environmental factors, due to a lack of tool support; (b) not subjected to a comprehensive range of scenarios during simulation testing to validate the system requirements, due to the absence of a process defining the relationship between requirements and simulation tests; and (c) not analyzed through standard safety analysis processes, because of missing traceability between simulation testing artifacts and safety analysis artifacts. To address these issues, we have developed an initial framework for validating CPS, specifically focusing on sUAS and robotic applications. We demonstrate the suitability of our framework by applying it to an example from the sUAS domain. Our preliminary results confirm the applicability of our framework. We conclude with a research roadmap to outline our next research goals along with our current proposal.


title: Study of Workload Interference with Intelligent Routing on Dragonfly

abstract: Dragonfly interconnect is a crucial network technology for supercomputers. To support exascale systems, network resources are shared such that links and routers are not dedicated to any node pair. While link utilization is increased, workload performance is often offset by network contention. Recently, intelligent routing built on reinforcement learning demonstrates higher network throughput with lower packet latency. However, its effectiveness in reducing workload interference is unknown. In this work, we present extensive network simulations to study multi-workload contention under different routing mechanisms, intelligent routing and adaptive routing, on a large-scale Dragonfly system. We develop an enhanced network simulation toolkit, along with a suite of workloads with distinctive communication patterns. We also present two metrics to characterize application communication intensity. Our analysis focuses on examining how different workloads interfere with each other under different routing mechanisms by inspecting both application-level and network-level metrics. Several key insights are made from the analysis.


title: Engineering Safety Requirements for Autonomous Driving with Large Language Models

abstract: Changes and updates in the requirement artifacts, which can be frequent in the automotive domain, are a challenge for SafetyOps. Large Language Models (LLMs), with their impressive natural language understanding and generating capabilities, can play a key role in automatically refining and decomposing requirements after each update. In this study, we propose a prototype of a pipeline of prompts and LLMs that receives an item definition and outputs solutions in the form of safety requirements. This pipeline also performs a review of the requirement dataset and identifies redundant or contradictory requirements. We first identified the necessary characteristics for performing HARA and then defined tests to assess an LLM's capability in meeting these criteria. We used design science with multiple iterations and let experts from different companies evaluate each cycle quantitatively and qualitatively. Finally, the prototype was implemented at a case company and the responsible team evaluated its efficiency.


title: An Information Theory Treatment of Animal Movement Tracks

abstract: Position recordings of the two-dimensional tracks of animals moving over landscapes has progressed over the past three decades from hourly to second-by-second locations. Track segmentation methods for analyzing the behavioral information in such relocation data has lagged somewhat behind, with scales of analysis currently at the sub-hourly to minute level. A new approach is needed to bring segmentation analysis down to a second-by-second level. Here, a fine-scale approach is presented that rests heavily on concepts from Shannon's Information Theory. In this paper, we first briefly review and update concepts relating to movement path segmentation. We then discuss how cluster analysis can be used to organize the smallest viable statistical movement elements (StaMEs), which are $\mu$ steps long, and to code the next level of movement elements called ``words'' that are $m \mu$ steps long. Centroids of these word clusters are identified as canonical activity modes (CAMs). Unlike current behavioral change point analysis and hidden Markov model segmentation schemes, the approach presented here allows us to provide entropy measures for movement paths, compute the coding efficiencies of derived StaMEs and CAMs, and to assess error rates in the allocation of strings of $m$ StaMEs to CAM types. In addition our approach allows us to employ the Jensen-Shannon divergence measure to assess and compare the best choices for the various parameters (number of steps in a StaME, number of StaME types, number of StaMEs in a word, number of CAM types), as well as the best clustering methods for generating segments that can then be used to interpret and predict sequences of higher order segments. The theory presented here provides another tool in our toolbox for dealing with the effects of global change on the movement and redistribution of animals across altered landscapes.


title: Guessing human intentions to avoid dangerous situations in caregiving robots

abstract: For robots to interact socially, they must interpret human intentions and anticipate their potential outcomes accurately. This is particularly important for social robots designed for human care, which may face potentially dangerous situations for people, such as unseen obstacles in their way, that should be avoided. This paper explores the Artificial Theory of Mind (ATM) approach to inferring and interpreting human intentions. We propose an algorithm that detects risky situations for humans, selecting a robot action that removes the danger in real time. We use the simulation-based approach to ATM and adopt the 'like-me' policy to assign intentions and actions to people. Using this strategy, the robot can detect and act with a high rate of success under time-constrained situations. The algorithm has been implemented as part of an existing robotics cognitive architecture and tested in simulation scenarios. Three experiments have been conducted to test the implementation's robustness, precision and real-time response, including a simulated scenario, a human-in-the-loop hybrid configuration and a real-world scenario.


title: latentSplat: Autoencoding Variational Gaussians for Fast Generalizable 3D Reconstruction

abstract: We present latentSplat, a method to predict semantic Gaussians in a 3D latent space that can be splatted and decoded by a light-weight generative 2D architecture. Existing methods for generalizable 3D reconstruction either do not enable fast inference of high resolution novel views due to slow volume rendering, or are limited to interpolation of close input views, even in simpler settings with a single central object, where 360-degree generalization is possible. In this work, we combine a regression-based approach with a generative model, moving towards both of these capabilities within the same method, trained purely on readily available real video data. The core of our method are variational 3D Gaussians, a representation that efficiently encodes varying uncertainty within a latent space consisting of 3D feature Gaussians. From these Gaussians, specific instances can be sampled and rendered via efficient Gaussian splatting and a fast, generative decoder network. We show that latentSplat outperforms previous works in reconstruction quality and generalization, while being fast and scalable to high-resolution data.


title: Interpretable Modeling of Deep Reinforcement Learning Driven Scheduling

abstract: In the field of high-performance computing (HPC), there has been recent exploration into the use of deep reinforcement learning for cluster scheduling (DRL scheduling), which has demonstrated promising outcomes. However, a significant challenge arises from the lack of interpretability in deep neural networks (DNN), rendering them as black-box models to system managers. This lack of model interpretability hinders the practical deployment of DRL scheduling. In this work, we present a framework called IRL (Interpretable Reinforcement Learning) to address the issue of interpretability of DRL scheduling. The core idea is to interpret DNN (i.e., the DRL policy) as a decision tree by utilizing imitation learning. Unlike DNN, decision tree models are non-parametric and easily comprehensible to humans. To extract an effective and efficient decision tree, IRL incorporates the Dataset Aggregation (DAgger) algorithm and introduces the notion of critical state to prune the derived decision tree. Through trace-based experiments, we demonstrate that IRL is capable of converting a black-box DNN policy into an interpretable rulebased decision tree while maintaining comparable scheduling performance. Additionally, IRL can contribute to the setting of rewards in DRL scheduling.


title: Unbiased Extremum Seeking Based on Lie Bracket Averaging

abstract: Extremum seeking is an online, model-free optimization algorithm traditionally known for its practical stability. This paper introduces an extremum seeking algorithm designed for unbiased convergence to the extremum asymptotically, allowing users to define the convergence rate. Unlike conventional extremum seeking approaches utilizing constant gains, our algorithms employ time-varying parameters. These parameters reduce perturbation amplitudes towards zero in an asymptotic manner, while incorporating asymptotically growing controller gains. The stability analysis is based on state transformation, achieved through the multiplication of the input state by asymptotic growth function, and Lie bracket averaging applied to the transformed system. The averaging ensures the practical stability of the transformed system, which, in turn, leads to the asymptotic stability of the original system. Moreover, for strongly convex maps, we achieve exponentially fast convergence. The numerical simulations validate the feasibility of the introduced designs.


title: LexDrafter: Terminology Drafting for Legislative Documents using Retrieval Augmented Generation

abstract: With the increase in legislative documents at the EU, the number of new terms and their definitions is increasing as well. As per the Joint Practical Guide of the European Parliament, the Council and the Commission, terms used in legal documents shall be consistent, and identical concepts shall be expressed without departing from their meaning in ordinary, legal, or technical language. Thus, while drafting a new legislative document, having a framework that provides insights about existing definitions and helps define new terms based on a document's context will support such harmonized legal definitions across different regulations and thus avoid ambiguities. In this paper, we present LexDrafter, a framework that assists in drafting Definitions articles for legislative documents using retrieval augmented generation (RAG) and existing term definitions present in different legislative documents. For this, definition elements are built by extracting definitions from existing documents. Using definition elements and RAG, a Definitions article can be suggested on demand for a legislative document that is being drafted. We demonstrate and evaluate the functionality of LexDrafter using a collection of EU documents from the energy domain. The code for LexDrafter framework is available at https://github.com/achouhan93/LexDrafter.


title: Workplace sustainability or financial resilience? Composite-financial resilience index

abstract: Due to the variety of corporate risks in turmoil markets and the consequent financial distress especially in COVID-19 time, this paper investigates corporate resilience and compares different types of resilience that can be potential sources of heterogeneity in firms' implied rate of return. Specifically, the novelty is not only to quantify firms' financial resilience but also to compare it with workplace resilience which matters more in the COVID-19 era. The study prepares several pieces of evidence of the necessity and insufficiency of these two main types of resilience by comparing earnings expectations and implied discount rates of high- and low-resilience firms. Particularly, results present evidence of the possible amplification of workplace resilience by the financial status of firms in the COVID-19 era. The paper proposes a novel composite-financial resilience index as a potential measure for disaster risk that significantly and persistently reveals low-resilience characteristics of firms and resilience-heterogeneity in implied discount rates.


title: Round Robin Active Sequential Change Detection for Dependent Multi-Channel Data

abstract: This paper considers the problem of sequentially detecting a change in the joint distribution of multiple data sources under a sampling constraint. Specifically, the channels or sources generate observations that are independent over time, but not necessarily independent at any given time instant. The sources follow an initial joint distribution, and at an unknown time instant, the joint distribution of an unknown subset of sources changes. Importantly, there is a hard constraint that only a fixed number of sources are allowed to be sampled at each time instant. The goal is to sequentially observe the sources according to the constraint, and stop sampling as quickly as possible after the change while controlling the false alarm rate below a user-specified level. The sources can be selected dynamically based on the already collected data, and thus, a policy for this problem consists of a joint sampling and change-detection rule. A non-randomized policy is studied, and an upper bound is established on its worst-case conditional expected detection delay with respect to both the change point and the observations from the affected sources before the change.


title: MRSch: Multi-Resource Scheduling for HPC

abstract: Emerging workloads in high-performance computing (HPC) are embracing significant changes, such as having diverse resource requirements instead of being CPU-centric. This advancement forces cluster schedulers to consider multiple schedulable resources during decision-making. Existing scheduling studies rely on heuristic or optimization methods, which are limited by an inability to adapt to new scenarios for ensuring long-term scheduling performance. We present an intelligent scheduling agent named MRSch for multi-resource scheduling in HPC that leverages direct future prediction (DFP), an advanced multi-objective reinforcement learning algorithm. While DFP demonstrated outstanding performance in a gaming competition, it has not been previously explored in the context of HPC scheduling. Several key techniques are developed in this study to tackle the challenges involved in multi-resource scheduling. These techniques enable MRSch to learn an appropriate scheduling policy automatically and dynamically adapt its policy in response to workload changes via dynamic resource prioritizing. We compare MRSch with existing scheduling methods through extensive tracebase simulations. Our results demonstrate that MRSch improves scheduling performance by up to 48% compared to the existing scheduling methods.


title: Rigorous ESR spectroscopy of $Fe^{3+}$ impurity ion with oxygen vacancy in ferroelectric $SrTiO_3$ crystal at 20 mK

abstract: Impurity $Fe^{3+}$ ion electron spin resonance (ESR) spectroscopy using multiple dielectric modes in a $SrTiO_3$ dielectric resonator has been performed with a tuneable DC magnetic field of up to $1.6~T$. The $Ti^{4+}(d^0)$ ion is substituted by $Fe^{3+}$ ion forming $FeO_6$ octahedral complex with an iron-oxygen-vacancy $(Fe^{3+}-V_O)$. In such a metal-ligand complex, a giant g-factor of $g_{\scriptscriptstyle\parallel F} = 5.51$ was observed in the ferroelectric phase at $20~mK$. The the change of $Fe^{3+}$ ion center-symmetry in the $FeO_6$ complex as a soft-mode characteristics of ferroelectric phase transition and the influences of iron-oxygen-vacancy $(Fe^{3+}-V_O)$, interactively sensitive to asymmetry in the octahedral rotational parameter $\Phi$ in $SrTi0_3$.


title: Formal Poisson (co)homology of the Lefschetz singularity

abstract: We compute the formal Poisson cohomology groups of a real Poisson structure $\pi$ on $\mathbb{C}^2$ associated to the Lefschetz singularity $(z_1, z_2)\mapsto z_1^2+z_2^2$. In particular we correct an erroneous computation in the literature. The definition of $\pi$ depends on a choice of volume form. Using the main result we formally classify all Poisson structure arising from different choices of volume forms.